> ../../scheduler/isp -n 4 ./mlife2d ISP - Insitu Partial Order ----------------------------------------- Executable: ./mlife2d Arguments: Number Procs: 4 Server: localhost:9999 Blocking Sends: Disabled ----------------------------------------- Started Process: 18995 # Iteration 0 1: ** **** **** * ** *** 2: * * * *** ** * 3: * * ** ** ** * * * ** 4: * *** * * * **** * 5: * * * * *** * 6: * * *** * 7: ** ** ** 8: * * * * * * 9: * * ** *** ** *** * 10: * * * * * ** * * * 11: * * * ** * ***** * * * 12: * * * ** *** ** *** *** ** * * * * * * ** ** * ** * ** ** * **** * ** ** * * * ** *** ** * * * ** * * ***** * ** * * *** * * * * * * * * * * * ** * *** * * * **** * * * * * ** ** * * * ** * * * * * * * * * * * ** **** * * * ** * *** * 13: * * * * *** 14: * *** *** * * 15: * * * * * 16: * * *** * * 17: * **** * * ** 18: * * * * * * ** 19: * ** * * * * * ** 20: ** * ** * * 21: * * * * * 22: * * * ** * * 23: * * ** ** 24: * ** ** * 25: ******* ** **** * *** ** * * * ** * * * * * * * ** *** ** ** * * *** **** *** ** * * ** * * **** ** * * * * * * * * * ** * * * * * * *** * * * * * * * * * ** ** ** * * * * *** ** **** * *** * * * * * ** ** ** * * *** * * ** ** * * * * ** ** ********* ** * # Iteration 1 1: ** ** ** * * * ** 2: * *** * * * * ** * * 3: * * * ** * 4: *** * * ** ** * * 5: *** * * * ** * 6: ** * 7: *** * **** 8: * *** * * 9: * *** * ** * * 10: * ** * * ** 11: * *** ******* * * * 12: ** ** ** * ** ** **** ** * * ***** * ** ** * ** * * **** * *** **** ** * * ** * *** * ** * * * * ** ** * *** ** * * * *** * * * * ** * * * * ** * * * * ** *** * * * ** ** ** ** **** * * * ** ** ** ** * * ** ** ** * * ** ** 13: ** * * ** 14: *** * ** * 15: * * ** * * 16: * * * ** * * 17: * * * * * ** 18: * * ** ** ** * * 19: * * ** ** * * * 20: * * ** * * ** ** 21: ** ** ** 22: * * * ** ** 23: *** ** ** ** 24: ******** ** ****** * * * 25: ******** * ** * * * * ** ** * * * * * * * * ** *** * * * ** * * ** * * * * **** ** * ** * * * ** * *** ** * * ** * * ** *** * * * ** * ** * * *** ** * * ** * *** * *** * * * ** ** ** ** *** * * * * *** * **** *** * ** *** ******* *** ** # Iteration 2 1: *** ** ** *** * * 2: * **** ** * * * * 3: * ** ** ** * 4: * ** ** * * 5: * * * ** * ** ** 6: * * * *** 7: * * * *** 8: * ** *** * ** 9: ** ** * 10: ** ** * **** 11: * * ** * **** * * 12: ** ** * ** * *********** * * * * ** * * * ** ** **** * ** * * * * * * * ** * ** ** * * * * * * * *** * *** * * ** ** ** * ** * * ** *** *** ** * * ***** ** ** * ** * * *** **** *** * * * ** ** * * ** *** * * * ** *** * * * * ** 13: ** * * 14: ** * ** ** 15: * * ** 16: * ***** * * 17: *** * * 18: * * ***** * ** * 19: * *** *** ** * ** 20: * ** * * ** *** 21: ** * * * * 22: * ** *** 23: ****** * * * ** * 24: * * * ** ** 25: * * **** *** ** * * * * **** ** * * * * *** * ** ** * ** *** ** ** * * * ** *** * * * * **** ****** ** * * * ** * * ** *** * * ** * ** * * * *** * ** * * * *** * ** * * * ** *** * * ********* * * * ** * * * * ** *** * * **** * * ** * # Iteration 3 1: * * * ** * * * 2: * * * * * * * 3: * * ** ** * * * 4: ** ** 5: * ** * ** * 6: * * * * 7: ** * * 8: * * * * * 9: ** ** ** * * * 10: ** *** * ** ** * 11: ** ** **** ** * * * 12: ** ** ** * * ** * ******** * *** * * * ** * * ********* * ** ** ** * * ** ** * * **** * ** *** * ** ** ** *** * * * ** * * * * * * * * *** * * * * * ** * * ** * * * * ** * * * * * * *** ** * * * ** * * *** * * * ** * 13: * * * ** 14: ** * ** 15: * * **** 16: * **** * ** 17: * * ** 18: * * * ** * ** 19: ** * * * ** * ** 20: * * * * ** * ***** 21: * ** ** * *** 22: * *** * * *** 23: ****** * *** ** * 24: * **** * * *** * ** 25: ****** *** ** * ** * * * ** ** ** ** ****** * ** ** *** *** * * ** * * * * ** * * * * ** * * ** * * * * ** ** * ** * ** * * * *** ** * *** *** ** ** * ** * ** * * ********* ** * * * * ** * **** * ** * # Iteration 4 1: * * 2: * ** * * * 3: * * ** * * 4: * * * ** *** 5: ** * 6: * 7: ** * 8: * **** * 9: * * ** ** * ** 10: ** * *** ** ** * * 11: * * ** * * ** ** 12: ** *** * ** ** ** * *** * *** * * ** * * * ***** * * ***** ** * ** * * * ***** ** * * * ** *** *** ** * * ** * * *** * * * ** * * * ** * * * * *** *** * * * * ** ** * ** ** * ** 13: ** * ****** 14: *** ** * 15: * * *** * 16: * *** * 17: * * * ** ** * 18: ** *** ** 19: ** ** ** ** * * * 20: * ** * * * * 21: ** ** * ** * 22: * * * * * * * * * 23: * ** * * * * * 24: * ** * ** 25: ** *** ** ** *** ** * * * ** ** *** * * * * ** * * ***** * * ******** ** * ** * *** * * ** ** * *** * *** ** * * ** ** ***** * *** * ** * * * * *** * * ** * ** * *** *** * * * * * *** * # Iteration 5 1: * 2: *** *** * 3: * * * 4: * *** * * 5: ** * 6: ** 7: ** *** 8: ** * 9: ** * ** 10: * *** *** * * * 11: * ** * ***** 12: * ***** * ** * * *** ** ** * *** * * ** * * ****** ** * ** * * *** * * * * * ** * ** ** * * ** ** ** **** * * * * ** * * * * * ** * * *** * * * ** ** *** ** *** *** * ** 13: **** * * 14: * ** ** * 15: * * **** 16: **** *** ** 17: * * * * * ** 18: * * ***** * ** 19: ** ** *** ** ** ** 20: * * * * * ** 21: ** ** * * * ** 22: ** ** ** ** ** * ** 23: ** ** * ** ** * 24: * * * * * 25: ** ** ** * **** *** *** *** **** * ***** * * * ** **** ** *** * * * ** *** * ** * * ** * * ** * * * * * * * *** * ** * ** ** * ** ** ** ** * * * * *** ** * # Iteration 6 1: * * * 2: *** ** * 3: * * * 4: ** * 5: * ** * 6: * ** 7: **** * 8: ** ** * 9: * ** **** 10: * * * * * *** 11: ** * ** ** 12: * * * * * ** * * * ** ***** ** * * *** ** * * * * *** ** ** * ** * * * ** **** ** *** * * *** * * * * * ** * ** ** ** ** * * * ** *** * ** * *** * * * 13: * ** ** ** 14: * ** ***** 15: ** ** 16: * * * * * 17: * * * ** ** ** 18: * * * * *** * 19: ** * * * ** ** * 20: * * * * * * 21: *** * * ** ** ** ** * 22: *** ** * ** ** * 23: * * ** ** * 24: ** * * * * * 25: ** **** * * * * * **** * * * * * ** **** ** * * ** * ** ** * * ** * * * ** * ****** ** * * *** * ** * * * * ** * *** * * *** *** * ** ** ** ** **** * # Iteration 7 1: *** ** * 2: * * ** * 3: * * * 4: ** 5: ** ** 6: * * * ** 7: ** * ** 8: * * 9: **** * * 10: * * * * * * 11: * ** * * 12: * * * * *** * ** * * * ** *** ** * * * * ** * * * * * * * * * ** ** * * **** **** **** * * * ** ** ** ** * * ******** * **** * ***** * * *** *** *** * * ** * *** 13: ** ****** ** 14: *** ** ** * 15: *** * * * 16: * ** * * 17: * ** ** 18: ** * *** * * 19: ** ** ** * * 20: * * ** ***** * * * 21: * * * * ***** * * *** 22: * * ** ** *** * * *** 23: * * * * * ** **** 24: **** * * ** 25: *** **** ** * * ** ** * * * * ** ** ** * * * *** ** * **** * ** * * * * * * * * * * ** *** * * * *** ** *** * * * *** * * * * ** * * * *** # Iteration 8 1: * * ** * 2: * ** * * * 3: * * * 4: * * 5: * * ** 6: **** ** 7: ***** * 8: ** * ** 9: ** * *** 10: * * * * * ** 11: * *** 12: * ** **** * **** * * * * * ** * ** * * * ** *** ** * ** * ** * * ** * * ** * * * * ** * ** * **** * ** *** ** *** ** * * ** * * ** * * * * * * * * * * * 13: * * ** 14: * * ** * 15: * * * * ** 16: *** * * * 17: ** * * * * 18: * ** * * * 19: ** * * 20: * * * * * ** 21: * * * * * *** * 22: * * ** * ** * * 23: * ** * * *** * 24: * * * * 25: * * *** * * ** *** * * *** ** * * * * ** *** ** ** * ** * ** ** * * *** * *** * * ** * * ** * * * * ** * * * * * **** # Iteration 9 1: ** ** * 2: * ** * * * 3: ** ** * 4: ** 5: * * ** 6: * * ** 7: *** 8: *** * ** *** 9: *** * 10: * * * * 11: * ** ** 12: * ** **** * ** * * **** * * *** ** * * * * ** * ** * * ** ** *** ** * * *** * * * * * * ** * * ** * *** * * ***** *** *** * ** * *** ** ** *** * * ** * * * ** **** * 13: ** *** * ** 14: * ** * 15: ** ** ****** 16: **** ***** * 17: *** *** * *** 18: *** ** ** 19: * ** ** 20: * * * ** 21: * * * ** * * * ** 22: * * ** * **** * 23: * ** **** *** *** 24: *** * * 25: *** * *** * * * * *** * * * * * **** * ** * ** *** *** * * ** ** * * *** ** * * * ** * ** * **** * ** **** [0] Life finished in 11.484201 secs of calculation INTERLEAVING :1 Transition list for 0 0 1 0 0 Bcast 0{[0, 1]} {} 1 5 1 0 Bcast 0{[0, 2]} {} 2 9 2 0 Comm_dup 1{[0, 3]} {} 3 13 3 0 Comm_dup 2{[0, 104]} {} 4 17 4 0 Isend 1 0 4{[0, 6][0, 14][0, 24][0, 34][0, 44][0, 54][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :5 5 21 5 0 Irecv 1 0 5{[0, 6][0, 15][0, 25][0, 35][0, 45][0, 55][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :4 6 25 6 0 WaitAll{[0, 7][0, 8][0, 9][0, 10][0, 14][0, 15][0, 17][0, 18][0, 24][0, 25][0, 27][0, 28][0, 34][0, 35][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 7 29 7 0 Isend 2 0 7{[0, 9][0, 17][0, 27][0, 37][0, 47][0, 57][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :8 8 31 8 0 Irecv 2 0 8{[0, 9][0, 18][0, 28][0, 38][0, 48][0, 58][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :7 9 33 9 0 WaitAll{[0, 10][0, 14][0, 15][0, 16][0, 17][0, 18][0, 24][0, 25][0, 27][0, 28][0, 34][0, 35][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 10 41 10 0 Barrier 1{[0, 11]} {} 11 45 11 0 Barrier 2{[0, 12]} {} 12 49 12 0 Barrier 3{[0, 13]} {} 13 53 13 0 Barrier 4{[0, 20]} {} 14 57 14 0 Isend 1 0 14{[0, 16][0, 24][0, 34][0, 44][0, 54][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :15 15 61 15 0 Irecv 1 0 15{[0, 16][0, 25][0, 35][0, 45][0, 55][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :14 16 65 16 0 WaitAll{[0, 17][0, 18][0, 19][0, 20][0, 24][0, 25][0, 27][0, 28][0, 34][0, 35][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 17 69 17 0 Isend 2 0 17{[0, 19][0, 27][0, 37][0, 47][0, 57][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :18 18 71 18 0 Irecv 2 0 18{[0, 19][0, 28][0, 38][0, 48][0, 58][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :17 19 73 19 0 WaitAll{[0, 20][0, 24][0, 25][0, 26][0, 27][0, 28][0, 34][0, 35][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 20 81 20 0 Barrier 5{[0, 21]} {} 21 85 21 0 Barrier 6{[0, 22]} {} 22 89 22 0 Barrier 7{[0, 23]} {} 23 93 23 0 Barrier 8{[0, 30]} {} 24 97 24 0 Isend 1 0 24{[0, 26][0, 34][0, 44][0, 54][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :25 25 101 25 0 Irecv 1 0 25{[0, 26][0, 35][0, 45][0, 55][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :24 26 105 26 0 WaitAll{[0, 27][0, 28][0, 29][0, 30][0, 34][0, 35][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 27 109 27 0 Isend 2 0 27{[0, 29][0, 37][0, 47][0, 57][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :28 28 111 28 0 Irecv 2 0 28{[0, 29][0, 38][0, 48][0, 58][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :27 29 113 29 0 WaitAll{[0, 30][0, 34][0, 35][0, 36][0, 37][0, 38][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 30 121 30 0 Barrier 9{[0, 31]} {} 31 125 31 0 Barrier 10{[0, 32]} {} 32 129 32 0 Barrier 11{[0, 33]} {} 33 133 33 0 Barrier 12{[0, 40]} {} 34 137 34 0 Isend 1 0 34{[0, 36][0, 44][0, 54][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :35 35 141 35 0 Irecv 1 0 35{[0, No resource leaks detected, 108 MPI calls made No resource leaks detected, 108 MPI calls made 36][0, 45][0, 55][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :34 36 145 36 0 WaitAll{[0, 37][0, 38][0, 39][0, 40][0, 44][0, 45][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 37 149 37 0 Isend 2 0 37{[0, 39][0, 47][0, 57][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :38 38 151 38 0 Irecv 2 0 38{[0, 39][0, 48][0, 58][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :37 39 153 39 0 WaitAll{[0, 40][0, 44][0, 45][0, 46][0, 47][0, 48][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 40 161 40 0 Barrier 13{[0, 41]} {} 41 165 41 0 Barrier 14{[0, 42]} {} 42 169 42 0 Barrier 15{[0, 43]} {} 43 173 43 0 Barrier 16{[0, 50]} {} 44 177 44 0 Isend 1 0 44{[0, 46][0, 54][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :45 45 181 45 0 Irecv 1 0 45{[0, 46][0, 55][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :44 46 185 46 0 WaitAll{[0, 47][0, 48][0, 49][0, 50][0, 54][0, 55][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 47 189 47 0 Isend 2 0 47{[0, 49][0, 57][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :48 48 191 48 0 Irecv 2 0 48{[0, 49][0, 58][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :47 49 193 49 0 WaitAll{[0, 50][0, 54][0, 55][0, 56][0, 57][0, 58][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 50 201 50 0 Barrier 17{[0, 51]} {} 51 205 51 0 Barrier 18{[0, 52]} {} 52 209 52 0 Barrier 19{[0, 53]} {} 53 213 53 0 Barrier 20{[0, 60]} {} 54 217 54 0 Isend 1 0 54{[0, 56][0, 64][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :55 55 221 55 0 Irecv 1 0 55{[0, 56][0, 65][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :54 56 225 56 0 WaitAll{[0, 57][0, 58][0, 59][0, 60][0, 64][0, 65][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 57 229 57 0 Isend 2 0 57{[0, 59][0, 67][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :58 58 231 58 0 Irecv 2 0 58{[0, 59][0, 68][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :57 59 233 59 0 WaitAll{[0, 60][0, 64][0, 65][0, 66][0, 67][0, 68][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 60 241 60 0 Barrier 21{[0, 61]} {} 61 245 61 0 Barrier 22{[0, 62]} {} 62 249 62 0 Barrier 23{[0, 63]} {} 63 253 63 0 Barrier 24{[0, 70]} {} 64 257 64 0 Isend 1 0 64{[0, 66][0, 74][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :65 65 261 65 0 Irecv 1 0 65{[0, 66][0, 75][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :64 66 265 66 0 WaitAll{[0, 67][0, 68][0, 69][0, 70][0, 74][0, 75][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 67 269 67 0 Isend 2 0 67{[0, 69][0, 77][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :68 68 271 68 0 Irecv 2 0 68{[0, 69][0, 78][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :67 69 273 69 0 WaitAll{[0, 70][0, 74][0, 75][0, 76][0, 77][0, 78][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 70 281 70 0 Barrier 25{[0, 71]} {} 71 285 71 0 Barrier 26{[0, 72]} {} 72 289 72 0 Barrier 27{[0, 73]} {} 73 293 73 0 Barrier 28{[0, 80]} {} 74 297 74 0 Isend 1 0 74{[0, 76][0, 84][0, 94][0, 107]} {} Matched with process :1 transition :75 75 301 75 0 Irecv 1 0 75{[0, 76][0, 85][0, 95][0, 107]} {} Matched with process :1 transition :74 76 305 76 0 WaitAll{[0, 77][0, 78][0, 79][0, 80][0, 84][0, 85][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 77 309 77 0 Isend 2 0 77{[0, 79][0, 87][0, 97][0, 107]} {} Matched with process :2 transition :78 78 311 78 0 Irecv 2 0 78{[0, 79][0, 88][0, 98][0, 107]} {} Matched with process :2 transition :77 79 313 79 0 WaitAll{[0, 80][0, 84][0, 85][0, 86][0, 87][0, 88][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 80 321 80 0 Barrier 29{[0, 81]} {} 81 325 81 0 Barrier 30{[0, 82]} {} 82 329 82 0 Barrier 31{[0, 83]} {} 83 333 83 0 Barrier 32{[0, 90]} {} 84 337 84 0 Isend 1 0 84{[0, 86][0, 94][0, 107]} {} Matched with process :1 transition :85 85 341 85 0 Irecv 1 0 85{[0, 86][0, 95][0, 107]} {} Matched with process :1 transition :84 86 345 86 0 WaitAll{[0, 87][0, 88][0, 89][0, 90][0, 94][0, 95][0, 97][0, 98][0, 104][0, 105]} {} 87 349 87 0 Isend 2 0 87{[0, 89][0, 97][0, 107]} {} Matched with process :2 transition :88 88 351 88 0 Irecv 2 0 88{[0, 89][0, 98][0, 107]} {} Matched with process :2 transition :87 89 353 89 0 WaitAll{[0, 90][0, 94][0, 95][0, 96][0, 97][0, 98][0, 104][0, 105]} {} 90 361 90 0 Barrier 33{[0, 91]} {} 91 365 91 0 Barrier 34{[0, 92]} {} 92 369 92 0 Barrier 35{[0, 93]} {} 93 373 93 0 Barrier 36{[0, 100]} {} 94 377 94 0 Isend 1 0 94{[0, 96][0, 107]} {} Matched with process :1 transition :95 95 381 95 0 Irecv 1 0 95{[0, 96][0, 107]} {} Matched with process :1 transition :94 96 385 96 0 WaitAll{[0, 97][0, 98][0, 99][0, 100][0, 104][0, 105]} {} 97 389 97 0 Isend 2 0 97{[0, 99][0, 107]} {} Matched with process :2 transition :98 98 391 98 0 Irecv 2 0 98{[0, 99][0, 107]} {} Matched with process :2 transition :97 99 393 99 0 WaitAll{[0, 100][0, 104][0, 105][0, 107]} {} 100 401 100 0 Barrier 37{[0, 101][0, 107]} {} 101 405 101 0 Barrier 38{[0, 102][0, 107]} {} 102 409 102 0 Barrier 39{[0, 103][0, 107]} {} 103 413 103 0 Barrier 40{[0, 106][0, 107]} {} 104 417 104 0 Reduce 1{[0, 107]} {} 105 421 105 0 Comm_free 1{[0, 107]} {} 106 425 106 0 Comm_free 2{[0, 107]} {} 107 429 107 0 Finalize{} {} Transition list for 1 0 2 0 1 Bcast 0{[1, 1]} {} 1 6 1 1 Bcast 0{[1, 2]} {} 2 10 2 1 Comm_dup 1{[1, 3]} {} 3 14 3 1 Comm_dup 2{[1, 104]} {} 4 18 4 1 Isend 0 0 4{[1, 6][1, 14][1, 24][1, 34][1, 44][1, 54][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :5 5 22 5 1 Irecv 0 0 5{[1, 6][1, 15][1, 25][1, 35][1, 45][1, 55][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :4 6 26 6 1 WaitAll{[1, 7][1, 8][1, 9][1, 10][1, 14][1, 15][1, 17][1, 18][1, 24][1, 25][1, 27][1, 28][1, 34][1, 35][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 7 30 7 1 Isend 3 0 7{[1, 9][1, 17][1, 27][1, 37][1, 47][1, 57][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :8 8 32 8 1 Irecv 3 0 8{[1, 9][1, 18][1, 28][1, 38][1, 48][1, 58][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :7 9 34 9 1 WaitAll{[1, 10][1, 14][1, 15][1, 16][1, 17][1, 18][1, 24][1, 25][1, 27][1, 28][1, 34][1, 35][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 10 43 10 1 Barrier 1{[1, 11]} {} 11 46 11 1 Barrier 2{[1, 12]} {} 12 50 12 1 Barrier 3{[1, 13]} {} 13 54 13 1 Barrier 4{[1, 20]} {} 14 58 14 1 Isend 0 0 14{[1, 16][1, 24][1, 34][1, 44][1, 54][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :15 15 62 15 1 Irecv 0 0 15{[1, 16][1, 25][1, 35][1, 45][1, 55][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :14 16 66 16 1 WaitAll{[1, 17][1, 18][1, 19][1, 20][1, 24][1, 25][1, 27][1, 28][1, 34][1, 35][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 17 70 17 1 Isend 3 0 17{[1, 19][1, 27][1, 37][1, 47][1, 57][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :18 18 72 18 1 Irecv 3 0 18{[1, 19][1, 28][1, 38][1, 48][1, 58][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :17 19 74 19 1 WaitAll{[1, 20][1, 24][1, 25][1, 26][1, 27][1, 28][1, 34][1, 35][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 20 83 20 1 Barrier 5{[1, 21]} {} 21 86 21 1 Barrier 6{[1, 22]} {} 22 90 22 1 Barrier 7{[1, 23]} {} 23 94 23 1 Barrier 8{[1, 30]} {} 24 98 24 1 Isend 0 0 24{[1, 26][1, 34][1, 44][1, 54][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :25 25 102 25 1 Irecv 0 0 25{[1, 26][1, 35][1, 45][1, 55][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :24 26 106 26 1 WaitAll{[1, 27][1, 28][1, 29][1, 30][1, 34][1, 35][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 27 110 27 1 Isend 3 0 27{[1, 29][1, 37][1, 47][1, 57][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :28 28 112 28 1 Irecv 3 0 28{[1, 29][1, 38][1, 48][1, 58][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :27 29 114 29 1 WaitAll{[1, 30][1, 34][1, 35][1, 36][1, 37][1, 38][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 30 123 30 1 Barrier 9{[1, 31]} {} 31 126 31 1 Barrier 10{[1, 32]} {} 32 130 32 1 Barrier 11{[1, 33]} {} 33 134 33 1 Barrier 12{[1, 40]} {} 34 138 34 1 Isend 0 0 34{[1, 36][1, 44][1, 54][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :35 35 142 35 1 Irecv 0 0 35{[1, 36][1, 45][1, 55][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :34 36 146 36 1 WaitAll{[1, 37][1, 38][1, 39][1, 40][1, 44][1, 45][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 37 150 37 1 Isend 3 0 37{[1, 39][1, 47][1, 57][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :38 38 152 38 1 Irecv 3 0 38{[1, 39][1, 48][1, 58][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :37 39 154 39 1 WaitAll{[1, 40][1, 44][1, 45][1, 46][1, 47][1, 48][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 40 163 40 1 Barrier 13{[1, 41]} {} 41 166 41 1 Barrier 14{[1, 42]} {} 42 170 42 1 Barrier 15{[1, 43]} {} 43 174 43 1 Barrier 16{[1, 50]} {} 44 178 44 1 Isend 0 0 44{[1, 46][1, 54][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :45 45 182 45 1 Irecv 0 0 45{[1, 46][1, 55][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :44 46 186 46 1 WaitAll{[1, 47][1, 48][1, 49][1, 50][1, 54][1, 55][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 47 190 47 1 Isend 3 0 47{[1, 49][1, 57][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :48 48 192 48 1 Irecv 3 0 48{[1, 49][1, 58][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :47 49 194 49 1 WaitAll{[1, 50][1, 54][1, 55][1, 56][1, 57][1, 58][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 50 203 50 1 Barrier 17{[1, 51]} {} 51 206 51 1 Barrier 18{[1, 52]} {} 52 210 52 1 Barrier 19{[1, 53]} {} 53 214 53 1 Barrier 20{[1, 60]} {} 54 218 54 1 Isend 0 0 54{[1, 56][1, 64][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :55 55 222 55 1 Irecv 0 0 55{[1, 56][1, 65][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :54 56 226 56 1 WaitAll{[1, 57][1, 58][1, 59][1, 60][1, 64][1, 65][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 57 230 57 1 Isend 3 0 57{[1, 59][1, 67][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :58 58 232 58 1 Irecv 3 0 58{[1, 59][1, 68][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :57 59 234 59 1 WaitAll{[1, 60][1, 64][1, 65][1, 66][1, 67][1, 68][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 60 243 60 1 Barrier 21{[1, 61]} {} 61 246 61 1 Barrier 22{[1, 62]} {} 62 250 62 1 Barrier 23{[1, 63]} {} 63 254 63 1 Barrier 24{[1, 70]} {} 64 258 64 1 Isend 0 0 64{[1, 66][1, 74][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :65 65 262 65 1 Irecv 0 0 65{[1, 66][1, 75][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :64 66 266 66 1 WaitAll{[1, 67][1, 68][1, 69][1, 70][1, 74][1, 75][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 67 270 67 1 Isend 3 0 67{[1, 69][1, 77][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :68 68 272 68 1 Irecv 3 0 68{[1, 69][1, 78][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :67 69 274 69 1 WaitAll{[1, 70][1, 74][1, 75][1, 76][1, 77][1, 78][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 70 283 70 1 Barrier 25{[1, 71]} {} 71 286 71 1 Barrier 26{[1, 72]} {} 72 290 72 1 Barrier 27{[1, 73]} {} 73 294 73 1 Barrier 28{[1, 80]} {} 74 298 74 1 Isend 0 0 74{[1, 76][1, 84][1, 94][1, 107]} {} Matched with process :0 transition :75 75 302 75 1 Irecv 0 0 75{[1, 76][1, 85][1, 95][1, 107]} {} Matched with process :0 transition :74 76 306 76 1 WaitAll{[1, 77][1, 78][1, 79][1, 80][1, 84][1, 85][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 77 310 77 1 Isend 3 0 77{[1, 79][1, 87][1, 97][1, 107]} {} Matched with process :3 transition :78 78 312 78 1 Irecv 3 0 78{[1, 79][1, 88][1, 98][1, 107]} {} Matched with process :3 transition :77 79 314 79 1 WaitAll{[1, 80][1, 84][1, 85][1, 86][1, 87][1, 88][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 80 323 80 1 Barrier 29{[1, 81]} {} 81 326 81 1 Barrier 30{[1, 82]} {} 82 330 82 1 Barrier 31{[1, 83]} {} 83 334 83 1 Barrier 32{[1, 90]} {} 84 338 84 1 Isend 0 0 84{[1, 86][1, 94][1, 107]} {} Matched with process :0 transition :85 85 342 85 1 Irecv 0 0 85{[1, 86][1, 95][1, 107]} {} Matched with process :0 transition :84 86 346 86 1 WaitAll{[1, 87][1, 88][1, 89][1, 90][1, 94][1, 95][1, 97][1, 98][1, 104][1, 105]} {} 87 350 87 1 Isend 3 0 87{[1, 89][1, 97][1, 107]} {} Matched with process :3 transition :88 88 352 88 1 Irecv 3 0 88{[1, 89][1, 98][1, 107]} {} Matched with process :3 transition :87 89 354 89 1 WaitAll{[1, 90][1, 94][1, 95][1, 96][1, 97][1, 98][1, 104][1, 105]} {} 90 363 90 1 Barrier 33{[1, 91]} {} 91 366 91 1 Barrier 34{[1, 92]} {} 92 370 92 1 Barrier 35{[1, 93]} {} 93 374 93 1 Barrier 36{[1, 100]} {} 94 378 94 1 Isend 0 0 94{[1, 96][1, 107]} {} Matched with process :0 transition :95 95 382 95 1 Irecv 0 0 95{[1, 96][1, 107]} {} Matched with process :0 transition :94 96 386 96 1 WaitAll{[1, 97][1, 98][1, 99][1, 100][1, 104][1, 105]} {} 97 390 97 1 Isend 3 0 97{[1, 99][1, 107]} {} Matched with process :3 transition :98 98 392 98 1 Irecv 3 0 98{[1, 99][1, 107]} {} Matched with process :3 transition :97 99 394 99 1 WaitAll{[1, 100][1, 104][1, 105][1, 107]} {} 100 403 100 1 Barrier 37{[1, 101][1, 107]} {} 101 406 101 1 Barrier 38{[1, 102][1, 107]} {} 102 410 102 1 Barrier 39{[1, 103][1, 107]} {} 103 414 103 1 Barrier 40{[1, 106][1, 107]} {} 104 418 104 1 Reduce 1{[1, 107]} {} 105 422 105 1 Comm_free 1{[1, 107]} {} 106 426 106 1 Comm_free 2{[1, 107]} {} 107 430 107 1 Finalize{} {} Transition list for 2 0 3 0 2 Bcast 0{[2, 1]} {} 1 7 1 2 Bcast 0{[2, 2]} {} 2 11 2 2 Comm_dup 1{[2, 3]} {} 3 15 3 2 Comm_dup 2{[2, 104]} {} 4 19 4 2 Isend 3 0 4{[2, 6][2, 14][2, 24][2, 34][2, 44][2, 54][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :5 5 23 5 2 Irecv 3 0 5{[2, 6][2, 15][2, 25][2, 35][2, 45][2, 55][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :4 6 27 6 2 WaitAll{[2, 7][2, 8][2, 9][2, 10][2, 14][2, 15][2, 17][2, 18][2, 24][2, 25][2, 27][2, 28][2, 34][2, 35][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 7 35 7 2 Isend 0 0 7{[2, 9][2, 17][2, 27][2, 37][2, 47][2, 57][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :8 8 37 8 2 Irecv 0 0 8{[2, 9][2, 18][2, 28][2, 38][2, 48][2, 58][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :7 9 39 9 2 WaitAll{[2, 10][2, 14][2, 15][2, 16][2, 17][2, 18][2, 24][2, 25][2, 27][2, 28][2, 34][2, 35][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 10 42 10 2 Barrier 1{[2, 11]} {} 11 47 11 2 Barrier 2{[2, 12]} {} 12 51 12 2 Barrier 3{[2, 13]} {} 13 55 13 2 Barrier 4{[2, 20]} {} 14 59 14 2 Isend 3 0 14{[2, 16][2, 24][2, 34][2, 44][2, 54][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :15 15 63 15 2 Irecv 3 0 15{[2, 16][2, 25][2, 35][2, 45][2, 55][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :14 16 67 16 2 WaitAll{[2, 17][2, 18][2, 19][2, 20][2, 24][2, 25][2, 27][2, 28][2, 34][2, 35][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 17 75 17 2 Isend 0 0 17{[2, 19][2, 27][2, 37][2, 47][2, 57][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :18 18 77 18 2 Irecv 0 0 18{[2, 19][2, 28][2, 38][2, 48][2, 58][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :17 19 79 19 2 WaitAll{[2, 20][2, 24][2, 25][2, 26][2, 27][2, 28][2, 34][2, 35][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 20 82 20 2 Barrier 5{[2, 21]} {} 21 87 21 2 Barrier 6{[2, 22]} {} 22 91 22 2 Barrier 7{[2, 23]} {} 23 95 23 2 Barrier 8{[2, 30]} {} 24 99 24 2 Isend 3 0 24{[2, 26][2, 34][2, 44][2, 54][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :25 25 103 25 2 Irecv 3 0 25{[2, 26][2, 35][2, 45][2, 55][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :24 26 107 26 2 WaitAll{[2, 27][2, 28][2, 29][2, 30][2, 34][2, 35][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 27 115 27 2 Isend 0 0 27{[2, 29][2, 37][2, 47][2, 57][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :28 28 117 28 2 Irecv 0 0 28{[2, 29][2, 38][2, 48][2, 58][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :27 29 119 29 2 WaitAll{[2, 30][2, 34][2, 35][2, 36][2, 37][2, 38][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 30 122 30 2 Barrier 9{[2, 31]} {} 31 127 31 2 Barrier 10{[2, 32]} {} 32 131 32 2 Barrier 11{[2, 33]} {} 33 135 33 2 Barrier 12{[2, 40]} {} 34 139 34 2 Isend 3 0 34{[2, 36][2, 44][2, 54][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :35 35 143 35 2 Irecv 3 0 35{[2, 36][2, 45][2, 55][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :34 36 147 36 2 WaitAll{[2, 37][2, 38][2, 39][2, 40][2, 44][2, 45][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 37 155 37 2 Isend 0 0 37{[2, 39][2, 47][2, 57][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :38 38 157 38 2 Irecv 0 0 38{[2, 39][2, 48][2, 58][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :37 39 159 39 2 WaitAll{[2, 40][2, 44][2, 45][2, 46][2, 47][2, 48][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 40 162 40 2 Barrier 13{[2, 41]} {} 41 167 41 2 Barrier 14{[2, 42]} {} 42 171 42 2 Barrier 15{[2, 43]} {} 43 175 43 2 Barrier 16{[2, 50]} {} 44 179 44 2 Isend 3 0 44{[2, 46][2, 54][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :45 45 183 45 2 Irecv 3 0 45{[2, 46][2, 55][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :44 46 187 46 2 WaitAll{[2, 47][2, 48][2, 49][2, 50][2, 54][2, 55][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 47 195 47 2 Isend 0 0 47{[2, 49][2, 57][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :48 48 197 48 2 Irecv 0 0 48{[2, 49][2, 58][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :47 49 199 49 2 WaitAll{[2, 50][2, 54][2, 55][2, 56][2, 57][2, 58][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 50 202 50 2 Barrier 17{[2, 51]} {} 51 207 51 2 Barrier 18{[2, 52]} {} 52 211 52 2 Barrier 19{[2, 53]} {} 53 215 53 2 Barrier 20{[2, 60]} {} 54 219 54 2 Isend 3 0 54{[2, 56][2, 64][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :55 55 223 55 2 Irecv 3 0 55{[2, 56][2, 65][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :54 56 227 56 2 WaitAll{[2, 57][2, 58][2, 59][2, 60][2, 64][2, 65][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 57 235 57 2 Isend 0 0 57{[2, 59][2, 67][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :58 58 237 58 2 Irecv 0 0 58{[2, 59][2, 68][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :57 59 239 59 2 WaitAll{[2, 60][2, 64][2, 65][2, 66][2, 67][2, 68][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 60 242 60 2 Barrier 21{[2, 61]} {} 61 247 61 2 Barrier 22{[2, 62]} {} 62 251 62 2 Barrier 23{[2, 63]} {} 63 255 63 2 Barrier 24{[2, 70]} {} 64 259 64 2 Isend 3 0 64{[2, 66][2, 74][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :65 65 263 65 2 Irecv 3 0 65{[2, 66][2, 75][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :64 66 267 66 2 WaitAll{[2, 67][2, 68][2, 69][2, 70][2, 74][2, 75][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 67 275 67 2 Isend 0 0 67{[2, 69][2, 77][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :68 68 277 68 2 Irecv 0 0 68{[2, 69][2, 78][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :67 69 279 69 2 WaitAll{[2, 70][2, 74][2, 75][2, 76][2, 77][2, 78][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 70 282 70 2 Barrier 25{[2, 71]} {} 71 287 71 2 Barrier 26{[2, 72]} {} 72 291 72 2 Barrier 27{[2, 73]} {} 73 295 73 2 Barrier 28{[2, 80]} {} 74 299 74 2 Isend 3 0 74{[2, 76][2, 84][2, 94][2, 107]} {} Matched with process :3 transition :75 75 303 75 2 Irecv 3 0 75{[2, 76][2, 85][2, 95][2, 107]} {} Matched with process :3 transition :74 76 307 76 2 WaitAll{[2, 77][2, 78][2, 79][2, 80][2, 84][2, 85][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 77 315 77 2 Isend 0 0 77{[2, 79][2, 87][2, 97][2, 107]} {} Matched with process :0 transition :78 78 317 78 2 Irecv 0 0 78{[2, 79][2, 88][2, 98][2, 107]} {} Matched with process :0 transition :77 79 319 79 2 WaitAll{[2, 80][2, 84][2, 85][2, 86][2, 87][2, 88][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 80 322 80 2 Barrier 29{[2, 81]} {} 81 327 81 2 Barrier 30{[2, 82]} {} 82 331 82 2 Barrier 31{[2, 83]} {} 83 335 83 2 Barrier 32{[2, 90]} {} 84 339 84 2 Isend 3 0 84{[2, 86][2, 94][2, 107]} {} Matched with process :3 transition :85 85 343 85 2 Irecv 3 0 85{[2, 86][2, 95][2, 107]} {} Matched with process :3 transition :84 86 347 86 2 WaitAll{[2, 87][2, 88][2, 89][2, 90][2, 94][2, 95][2, 97][2, 98][2, 104][2, 105]} {} 87 355 87 2 Isend 0 0 87{[2, 89][2, 97][2, 107]} {} Matched with process :0 transition :88 88 357 88 2 Irecv 0 0 88{[2, 89][2, 98][2, 107]} {} Matched with process :0 transition :87 89 359 89 2 WaitAll{[2, 90][2, 94][2, 95][2, 96][2, 97][2, 98][2, 104][2, 105]} {} 90 362 90 2 Barrier 33{[2, 91]} {} 91 367 91 2 Barrier 34{[2, 92]} {} 92 371 92 2 Barrier 35{[2, 93]} {} 93 375 93 2 Barrier 36{[2, 100]} {} 94 379 94 2 Isend 3 0 94{[2, 96][2, 107]} {} Matched with process :3 transition :95 95 383 95 2 Irecv 3 0 95{[2, 96][2, 107]} {} Matched with process :3 transition :94 96 387 96 2 WaitAll{[2, 97][2, 98][2, 99][2, 100][2, 104][2, 105]} {} 97 395 97 2 Isend 0 0 97{[2, 99][2, 107]} {} Matched with process :0 transition :98 98 397 98 2 Irecv 0 0 98{[2, 99][2, 107]} {} Matched with process :0 transition :97 99 399 99 2 WaitAll{[2, 100][2, 104][2, 105][2, 107]} {} 100 402 100 2 Barrier 37{[2, 101][2, 107]} {} 101 407 101 2 Barrier 38{[2, 102][2, 107]} {} 102 411 102 2 Barrier 39{[2, 103][2, 107]} {} 103 415 103 2 Barrier 40{[2, 106][2, 107]} {} 104 419 104 2 Reduce 1{[2, 107]} {} 105 423 105 2 Comm_free 1{[2, 107]} {} 106 427 106 2 Comm_free 2{[2, 107]} {} 107 431 107 2 Finalize{} {} Transition list for 3 0 4 0 3 Bcast 0{[3, 1]} {} 1 8 1 3 Bcast 0{[3, 2]} {} 2 12 2 3 Comm_dup 1{[3, 3]} {} 3 16 3 3 Comm_dup 2{[3, 104]} {} 4 20 4 3 Isend 2 0 4{[3, 6][3, 14][3, 24][3, 34][3, 44][3, 54][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :5 5 24 5 3 Irecv 2 0 5{[3, 6][3, 15][3, 25][3, 35][3, 45][3, 55][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :4 6 28 6 3 WaitAll{[3, 7][3, 8][3, 9][3, 10][3, 14][3, 15][3, 17][3, 18][3, 24][3, 25][3, 27][3, 28][3, 34][3, 35][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 7 36 7 3 Isend 1 0 7{[3, 9][3, 17][3, 27][3, 37][3, 47][3, 57][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :8 8 38 8 3 Irecv 1 0 8{[3, 9][3, 18][3, 28][3, 38][3, 48][3, 58][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :7 9 40 9 3 WaitAll{[3, 10][3, 14][3, 15][3, 16][3, 17][3, 18][3, 24][3, 25][3, 27][3, 28][3, 34][3, 35][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 10 44 10 3 Barrier 1{[3, 11]} {} 11 48 11 3 Barrier 2{[3, 12]} {} 12 52 12 3 Barrier 3{[3, 13]} {} 13 56 13 3 Barrier 4{[3, 20]} {} 14 60 14 3 Isend 2 0 14{[3, 16][3, 24][3, 34][3, 44][3, 54][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :15 15 64 15 3 Irecv 2 0 15{[3, 16][3, 25][3, 35][3, 45][3, 55][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :14 16 68 16 3 WaitAll{[3, 17][3, 18][3, 19][3, 20][3, 24][3, 25][3, 27][3, 28][3, 34][3, 35][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 17 76 17 3 Isend 1 0 17{[3, 19][3, 27][3, 37][3, 47][3, 57][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :18 18 78 18 3 Irecv 1 0 18{[3, 19][3, 28][3, 38][3, 48][3, 58][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :17 19 80 19 3 WaitAll{[3, 20][3, 24][3, 25][3, 26][3, 27][3, 28][3, 34][3, 35][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 20 84 20 3 Barrier 5{[3, 21]} {} 21 88 21 3 Barrier 6{[3, 22]} {} 22 92 22 3 Barrier 7{[3, 23]} {} 23 96 23 3 Barrier 8{[3, 30]} {} 24 100 24 3 Isend 2 0 24{[3, 26][3, 34][3, 44][3, 54][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :25 25 104 25 3 Irecv 2 0 25{[3, 26][3, 35][3, 45][3, 55][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :24 26 108 26 3 WaitAll{[3, 27][3, 28][3, 29][3, 30][3, 34][3, 35][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 27 116 27 3 Isend 1 0 27{[3, 29][3, 37][3, 47][3, 57][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :28 28 118 28 3 Irecv 1 0 28{[3, 29][3, 38][3, 48][3, 58][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :27 29 120 29 3 WaitAll{[3, 30][3, 34][3, 35][3, 36][3, 37][3, 38][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 30 124 30 3 Barrier 9{[3, 31]} {} 31 128 31 3 Barrier 10{[3, 32]} {} 32 132 32 3 Barrier 11{[3, 33]} {} 33 136 33 3 Barrier 12{[3, 40]} {} 34 140 34 3 Isend 2 0 34{[3, 36][3, 44][3, 54][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :35 35 144 35 3 Irecv 2 0 35{[3, 36][3, 45][3, 55][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :34 36 148 36 3 WaitAll{[3, 37][3, 38][3, 39][3, 40][3, 44][3, 45][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 37 156 37 3 Isend 1 0 37{[3, 39][3, 47][3, 57][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :38 38 158 38 3 Irecv 1 0 38{[3, 39][3, 48][3, 58][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :37 39 160 39 3 WaitAll{[3, 40][3, 44][3, 45][3, 46][3, 47][3, 48][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 40 164 40 3 Barrier 13{[3, 41]} {} 41 168 41 3 Barrier 14{[3, 42]} {} 42 172 42 3 Barrier 15{[3, 43]} {} 43 176 43 3 Barrier 16{[3, 50]} {} 44 180 44 3 Isend 2 0 44{[3, 46][3, 54][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :45 45 184 45 3 Irecv 2 0 45{[3, 46][3, 55][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :44 46 188 46 3 WaitAll{[3, 47][3, 48][3, 49][3, 50][3, 54][3, 55][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 47 196 47 3 Isend 1 0 47{[3, 49][3, 57][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :48 48 198 48 3 Irecv 1 0 48{[3, 49][3, 58][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :47 49 200 49 3 WaitAll{[3, 50][3, 54][3, 55][3, 56][3, 57][3, 58][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 50 204 50 3 Barrier 17{[3, 51]} {} 51 208 51 3 Barrier 18{[3, 52]} {} 52 212 52 3 Barrier 19{[3, 53]} {} 53 216 53 3 Barrier 20{[3, 60]} {} 54 220 54 3 Isend 2 0 54{[3, 56][3, 64][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :55 55 224 55 3 Irecv 2 0 55{[3, 56][3, 65][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :54 56 228 56 3 WaitAll{[3, 57][3, 58][3, 59][3, 60][3, 64][3, 65][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 57 236 57 3 Isend 1 0 57{[3, 59][3, 67][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :58 58 238 58 3 Irecv 1 0 58{[3, 59][3, 68][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :57 59 240 59 3 WaitAll{[3, 60][3, 64][3, 65][3, 66][3, 67][3, 68][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 60 244 60 3 Barrier 21{[3, 61]} {} 61 248 61 3 Barrier 22{[3, 62]} {} 62 252 62 3 Barrier 23{[3, 63]} {} 63 256 63 3 Barrier 24{[3, 70]} {} 64 260 64 3 Isend 2 0 64{[3, 66][3, 74][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :65 65 264 65 3 Irecv 2 0 65{[3, 66][3, 75][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :64 66 268 66 3 WaitAll{[3, 67][3, 68][3, 69][3, 70][3, 74][3, 75][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 67 276 67 3 Isend 1 0 67{[3, 69][3, 77][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :68 68 278 68 3 Irecv 1 0 68{[3, 69][3, 78][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :67 69 280 69 3 WaitAll{[3, 70][3, 74][3, 75][3, 76][3, 77][3, 78][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 70 284 70 3 Barrier 25{[3, 71]} {} 71 288 71 3 Barrier 26{[3, 72]} {} 72 292 72 3 Barrier 27{[3, 73]} {} 73 296 73 3 Barrier 28{[3, 80]} {} 74 300 74 3 Isend 2 0 74{[3, 76][3, 84][3, 94][3, 107]} {} Matched with process :2 transition :75 75 304 75 3 Irecv 2 0 75{[3, 76][3, 85][3, 95][3, 107]} {} Matched with process :2 transition :74 76 308 76 3 WaitAll{[3, 77][3, 78][3, 79][3, 80][3, 84][3, 85][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 77 316 77 3 Isend 1 0 77{[3, 79][3, 87][3, 97][3, 107]} {} Matched with process :1 transition :78 78 318 78 3 Irecv 1 0 78{[3, 79][3, 88][3, 98][3, 107]} {} Matched with process :1 transition :77 79 320 79 3 WaitAll{[3, 80][3, 84][3, 85][3, 86][3, 87][3, 88][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 80 324 80 3 Barrier 29{[3, 81]} {} 81 328 81 3 Barrier 30{[3, 82]} {} 82 332 82 3 Barrier 31{[3, 83]} {} 83 336 83 3 Barrier 32{[3, 90]} {} 84 340 84 3 Isend 2 0 84{[3, 86][3, 94][3, 107]} {} Matched with process :2 transition :85 85 344 85 3 Irecv 2 0 85{[3, 86][3, 95][3, 107]} {} Matched with process :2 transition :84 86 348 86 3 WaitAll{[3, 87][3, 88][3, 89][3, 90][3, 94][3, 95][3, 97][3, 98][3, 104][3, 105]} {} 87 356 87 3 Isend 1 0 87{[3, 89][3, 97][3, 107]} {} Matched with process :1 transition :88 88 358 88 3 Irecv 1 0 88{[3, 89][3, 98][3, 107]} {} Matched with process :1 transition :87 89 360 89 3 WaitAll{[3, 90][3, 94][3, 95][3, 96][3, 97][3, 98][3, 104][3, 105]} {} 90 364 90 3 Barrier 33{[3, 91]} {} 91 368 91 3 Barrier 34{[3, 92]} {} 92 372 92 3 Barrier 35{[3, 93]} {} 93 376 93 3 Barrier 36{[3, 100]} {} 94 380 94 3 Isend 2 0 94{[3, 96][3, 107]} {} Matched with process :2 transition :95 95 384 95 3 Irecv 2 0 95{[3, 96][3, 107]} {} Matched with process :2 transition :94 96 388 96 3 WaitAll{[3, 97][3, 98][3, 99][3, 100][3, 104][3, 105]} {} 97 396 97 3 Isend 1 0 97{[3, 99][3, 107]} {} Matched with process :1 transition :98 98 398 98 3 Irecv 1 0 98{[3, 99][3, 107]} {} Matched with process :1 transition :97 99 400 99 3 WaitAll{[3, 100][3, 104][3, 105][3, 107]} {} 100 404 100 3 Barrier 37{[3, 101][3, 107]} {} 101 408 101 3 Barrier 38{[3, 102][3, 107]} {} 102 412 102 3 Barrier 39{[3, 103][3, 107]} {} 103 416 103 3 Barrier 40{[3, 106][3, 107]} {} 104 420 104 3 Reduce 1{[3, 107]} {} 105 424 105 3 Comm_free 1{[3, 107]} {} 106 428 106 3 Comm_free 2{[3, 107]} {} 107 432 107 3 Finalize{} {} NO MORE INTERLEAVINGS!!! Total Interleavings = 1 No resource leaks detected, 108 MPI calls made No resource leaks detected, 108 MPI calls made