> ../../scheduler/isp -n 4 -block ./mlife ISP - Insitu Partial Order ----------------------------------------- Executable: ./mlife Arguments: Number Procs: 4 Server: localhost:9999 Blocking Sends: Enabled ----------------------------------------- Started Process: 18772 # 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 29.753978 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, 64]} {} 4 17 4 0 Isend 1 0 4{[0, 6][0, 10][0, 16][0, 22][0, 28][0, 34][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :5 5 21 5 0 Irecv 1 0 5{[0, 6][0, 11][0, 17][0, 23][0, 29][0, 35][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :4 6 25 6 0 WaitAll{[0, 7][0, 10][0, 11][0, 12][0, 16][0, 17][0, 22][0, 23][0, 28][0, 29][0, 34][0, 35][0, 40][0, 41][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 7 33 7 0 Recv 1 1{[0, 8]} {} Matched with process :1 transition :9 8 35 8 0 Recv 2 1{[0, 9]} {} Matched with process :2 transition :9 9 43 9 0 Recv 3 1{[0, 13]} {} Matched with process :3 transition :7 10 49 10 0 Isend 1 0 10{[0, 12][0, 16][0, 22][0, 28][0, 34][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :11 11 51 11 0 Irecv 1 0 11{[0, 12][0, 17][0, 23][0, 29][0, 35][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :10 12 53 12 0 WaitAll{[0, 13][0, 16][0, 17][0, 18][0, 22][0, 23][0, 28][0, 29][0, 34][0, 35][0, 40][0, 41][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 13 55 13 0 Recv 1 1{[0, 14]} {} Matched with process :1 transition :15 14 57 14 0 Recv 2 1{[0, 15]} {} Matched with process :2 transition :15 15 65 15 0 Recv 3 1{[0, 19]} {} Matched with process :3 transition :11 16 71 16 0 Isend 1 0 16{[0, 18][0, 22][0, 28][0, 34][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :17 17 73 17 0 Irecv 1 0 17{[0, 18][0, 23][0, 29][0, 35][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :16 18 75 18 0 WaitAll{[0, 19][0, 22][0, 23][0, 24][0, 28][0, 29][0, 34][0, 35][0, 40][0, 41][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 19 77 19 0 Recv 1 1{[0, 20]} {} Matched with process :1 transition :21 20 79 20 0 Recv 2 1{[0, 21]} {} Matched with process :2 transition :21 21 87 21 0 Recv 3 1{[0, 25]} {} Matched with process :3 transition :15 22 93 22 0 Isend 1 0 22{[0, 24][0, 28][0, 34][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :23 23 95 23 0 Irecv 1 0 23{[0, 24][0, 29][0, 35][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :22 24 97 24 0 WaitAll{[0, 25][0, 28][0, 29][0, 30][0, 34][0, 35][0, 40][0, 41][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 25 99 25 0 Recv 1 1{[0, 26]} {} Matched with process :1 transition :27 26 101 26 0 Recv 2 1{[0, 27]} {} Matched with process :2 transition :27 27 109 27 0 Recv 3 1{[0, 31]} {} Matched with process :3 transition :19 28 115 28 0 Isend 1 0 28{[0, 30][0, 34][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :29 29 117 29 0 Irecv 1 0 29{[0, 30][0, 35][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :28 30 119 30 0 WaitAll{[0, 31][0, 34][0, 35][0, 36][0, 40][0, 41][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 31 121 31 0 Recv 1 1{[0, 32]} {} Matched with process :1 transition :33 32 123 32 0 Recv 2 1{[0, 33]} {} Matched with process :2 transition :33 33 131 33 0 Recv 3 1{[0, 37]} {} Matched with process :3 transition :23 34 137 34 0 Isend 1 0 34{[0, 36][0, 40][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :35 35 139 35 0 Irecv 1 0 35{[0, 36][0, 41][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :34 36 141 36 0 WaitAll{[0, 37][0, 40][0, 41][0, 42][0, 46][0, 47][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 37 143 37 0 Recv 1 1{[0, 38]} {} Matched with process :1 transition :39 38 145 38 0 Recv 2 1{[0, 39]} {} Matched with process :2 transition :39 39 153 39 0 Recv 3 1{[0, 43]} {} Matched with process :3 transition :27 40 159 40 0 Isend 1 0 40{[0, 42][0, 46][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :41 41 161 41 0 Irecv 1 0 41{[0, 42][0, 47][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :40 42 163 42 0 WaitAll{[0, 43][0, 46][0, 47][0, 48][0, 52][0, 53][0, 58][0, 59][0, 64][0, 65]} {} 43 165 43 0 Recv 1 1{[0, 44]} {} Matched with process :1 transition :45 44 167 44 0 Recv 2 1{[0, 45]} {} Matched with process :2 transition :45 45 175 45 0 Recv 3 1{[0, 49]} {} Matched with process :3 transition :31 46 181 46 0 Isend 1 0 46{[0, 48][0, 52][0, 58][0, 67]} {} Matched with process :1 transition :47 47 183 47 0 Irecv 1 0 47{[0, 48][0, 53][0, 59][0, 67]} {} Matched with process :1 transition :46 48 185 48 0 WaitAll{[0, 49][0, 52][0, 53][0, 54][0, 58][0, 59][0, 64][0, 65]} {} 49 187 49 0 Recv 1 1{[0, 50]} {} Matched with process :1 transition :51 50 189 50 0 Recv 2 1{[0, 51]} {} Matched with process :2 transition :51 51 197 51 0 Recv 3 1{[0, 55]} {} Matched with process :3 transition :35 52 203 52 0 Isend 1 0 52{[0, 54][0, 58][0, 67]} {} Matched with process :1 transition :53 53 205 53 0 Irecv 1 0 53{[0, 54][0, 59][0, 67]} {} Matched with process :1 transition :52 54 207 54 0 WaitAll{[0, 55][0, 58][0, 59][0, 60][0, 64][0, 65]} {} 55 209 55 0 Recv 1 1{[0, 56]} {} Matched with process :1 transition :57 56 211 56 0 Recv 2 1{[0, 57]} {} Matched with process :2 transition :57 57 219 57 0 Recv 3 1{[0, 61]} {} Matched with process :3 transition :39 58 225 58 0 Isend 1 0 58{[0, 60][0, 67]} {} Matched with process :1 transition :59 59 227 59 0 Irecv 1 0 59{[0, 60][0, 67]} {} Matched with process :1 transition :58 60 229 60 0 WaitAll{[0, 61][0, 64][0, 65][0, 67]} {} 61 231 61 0 Recv 1 1{[0, 62][0, 67]} {} Matched with process :1 transition :63 62 233 62 0 Recv 2 1{[0, 63][0, 67]} {} Matched with process :2 transition :63 63 237 63 0 Recv 3 1{[0, 66][0, 67]} {} Matched with process :3 transition :43 64 239 64 0 Reduce 1{[0, 67]} {} 65 241 65 0 Comm_free 1{[0, 67]} {} 66 245 66 0 Comm_free 2{[0, 67]} {} 67 249 67 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, 64]} {} 4 18 4 1 Isend 0 0 4{[1, 8][1, 10][1, 16][1, 22][1, 28][1, 34][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :5 5 22 5 1 Irecv 0 0 5{[1, 8][1, 11][1, 17][1, 23][1, 29][1, 35][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :4 6 26 6 1 Isend 2 0 6{[1, 8][1, 12][1, 18][1, 24][1, 30][1, 36][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :5 7 29 7 1 Irecv 2 0 7{[1, 8][1, 13][1, 19][1, 25][1, 31][1, 37][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :4 8 31 8 1 WaitAll{[1, 9][1, 10][1, 11][1, 12][1, 13][1, 14][1, 16][1, 17][1, 18][1, 19][1, 22][1, 23][1, 24][1, 25][1, 28][1, 29][1, 30][1, 31][1, 34][1, 35][1, 36][1, 37][1, 40][1, 41][1, 42][1, 43][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 9 34 9 1 Ssend 0 1{[1, 15]} {} Matched with process :0 transition :7 10 36 10 1 Isend 0 0 10{[1, 14][1, 16][1, 22][1, 28][1, 34][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :11 11 37 11 1 Irecv 0 0 11{[1, 14][1, 17][1, 23][1, 29][1, 35][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :10 12 38 12 1 Isend 2 0 12{[1, 14][1, 18][1, 24][1, 30][1, 36][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :11 13 39 13 1 Irecv 2 0 13{[1, 14][1, 19][1, 25][1, 31][1, 37][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :10 14 40 14 1 WaitAll{[1, 15][1, 16][1, 17][1, 18][1, 19][1, 20][1, 22][1, 23][1, 24][1, 25][1, 28][1, 29][1, 30][1, 31][1, 34][1, 35][1, 36][1, 37][1, 40][1, 41][1, 42][1, 43][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 15 56 15 1 Ssend 0 1{[1, 21]} {} Matched with process :0 transition :13 16 58 16 1 Isend 0 0 16{[1, 20][1, 22][1, 28][1, 34][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :17 17 59 17 1 Irecv 0 0 17{[1, 20][1, 23][1, 29][1, 35][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :16 18 60 18 1 Isend 2 0 18{[1, 20][1, 24][1, 30][1, 36][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :17 19 61 19 1 Irecv 2 0 19{[1, 20][1, 25][1, 31][1, 37][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :16 20 62 20 1 WaitAll{[1, 21][1, 22][1, 23][1, 24][1, 25][1, 26][1, 28][1, 29][1, 30][1, 31][1, 34][1, 35][1, 36][1, 37][1, 40][1, 41][1, 42][1, 43][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 21 78 21 1 Ssend 0 1{[1, 27]} {} Matched with process :0 transition :19 22 80 22 1 Isend 0 0 22{[1, 26][1, 28][1, 34][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :23 23 81 23 1 Irecv 0 0 23{[1, 26][1, 29][1, 35][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :22 24 82 24 1 Isend 2 0 24{[1, 26][1, 30][1, 36][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :23 25 83 25 1 Irecv 2 0 25{[1, 26][1, 31][1, 37][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :22 26 84 26 1 WaitAll{[1, 27][1, 28][1, 29][1, 30][1, 31][1, 32][1, 34][1, 35][1, 36][1, 37][1, 40][1, 41][1, 42][1, 43][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 27 100 27 1 Ssend 0 1{[1, 33]} {} Matched with process :0 transition :25 28 102 28 1 Isend 0 0 28{[1, 32][1, 34][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :29 29 103 29 1 Irecv 0 0 29{[1, 32][1, 35][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :28 30 104 30 1 Isend 2 0 30{[1, 32][1, 36][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :29 31 105 31 1 Irecv 2 0 31{[1, 32][1, 37][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :28 32 106 32 1 WaitAll{[1, 33][1, 34][1, 35][1, 36][1, 37][1, 38][1, 40][1, 41][1, 42][1, 43][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 33 122 33 1 Ssend 0 1{[1, 39]} {} Matched with process :0 transition :31 34 124 34 1 Isend 0 0 34{[1, 38][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :35 35 125 35 1 Irecv 0 0 35{[1, 38][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :34 36 126 36 1 Isend 2 0 36{[1, 38][1, 42][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :35 37 127 37 1 Irecv 2 0 37{[1, 38][1, 43][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :34 38 128 38 1 WaitAll{[1, 39][1, 40][1, 41][1, 42][1, 43][1, 44][1, 46][1, 47][1, 48][1, 49][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 39 144 39 1 Ssend 0 1{[1, 45]} {} Matched with process :0 transition :37 40 146 40 1 Isend 0 0 40{[1, 44][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :41 41 147 41 1 Irecv 0 0 41{[1, 44][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :40 42 148 42 1 Isend 2 0 42{[1, 44][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :41 43 149 43 1 Irecv 2 0 43{[1, 44][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :40 44 150 44 1 WaitAll{[1, 45][1, 46][1, 47][1, 48][1, 49][1, 50][1, 52][1, 53][1, 54][1, 55][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 45 166 45 1 Ssend 0 1{[1, 51]} {} Matched with process :0 transition :43 46 168 46 1 Isend 0 0 46{[1, 50][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :47 47 169 47 1 Irecv 0 0 47{[1, 50][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :46 48 170 48 1 Isend 2 0 48{[1, 50][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :47 49 171 49 1 Irecv 2 0 49{[1, 50][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :46 50 172 50 1 WaitAll{[1, 51][1, 52][1, 53][1, 54][1, 55][1, 56][1, 58][1, 59][1, 60][1, 61][1, 64][1, 65]} {} 51 188 51 1 Ssend 0 1{[1, 57]} {} Matched with process :0 transition :49 52 190 52 1 Isend 0 0 52{[1, 56][1, 58][1, 67]} {} Matched with process :0 transition :53 53 191 53 1 Irecv 0 0 53{[1, 56][1, 59][1, 67]} {} Matched with process :0 transition :52 54 192 54 1 Isend 2 0 54{[1, 56][1, 60][1, 67]} {} Matched with process :2 transition :53 55 193 55 1 Irecv 2 0 55{[1, 56][1, 61][1, 67]} {} Matched with process :2 transition :52 56 194 56 1 WaitAll{[1, 57][1, 58][1, 59][1, 60][1, 61][1, 62][1, 64][1, 65]} {} 57 210 57 1 Ssend 0 1{[1, 63]} {} Matched with process :0 transition :55 58 212 58 1 Isend 0 0 58{[1, 62][1, 67]} {} Matched with process :0 transition :59 59 213 59 1 Irecv 0 0 59{[1, 62][1, 67]} {} Matched with process :0 transition :58 60 214 60 1 Isend 2 0 60{[1, 62][1, 67]} {} Matched with process :2 transition :59 61 215 61 1 Irecv 2 0 61{[1, 62][1, 67]} {} Matched with process :2 transition :58 62 216 62 1 WaitAll{[1, 63][1, 64][1, 65][1, 67]} {} 63 232 63 1 Ssend 0 1{[1, 66][1, 67]} {} Matched with process :0 transition :61 64 234 64 1 Reduce 1{[1, 67]} {} 65 242 65 1 Comm_free 1{[1, 67]} {} 66 246 66 1 Comm_free 2{[1, 67]} {} 67 250 67 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, 64]} {} 4 19 4 2 Isend 1 0 4{[2, 8][2, 10][2, 16][2, 22][2, 28][2, 34][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :7 5 23 5 2 Irecv 1 0 5{[2, 8][2, 11][2, 17][2, 23][2, 29][2, 35][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :6 6 27 6 2 Isend 3 0 6{[2, 8][2, 12][2, 18][2, 24][2, 30][2, 36][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :5 7 30 7 2 Irecv 3 0 7{[2, 8][2, 13][2, 19][2, 25][2, 31][2, 37][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :4 8 32 8 2 WaitAll{[2, 9][2, 10][2, 11][2, 12][2, 13][2, 14][2, 16][2, 17][2, 18][2, 19][2, 22][2, 23][2, 24][2, 25][2, 28][2, 29][2, 30][2, 31][2, 34][2, 35][2, 36][2, 37][2, 40][2, 41][2, 42][2, 43][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 9 41 9 2 Ssend 0 1{[2, 15]} {} Matched with process :0 transition :8 10 44 10 2 Isend 1 0 10{[2, 14][2, 16][2, 22][2, 28][2, 34][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :13 11 45 11 2 Irecv 1 0 11{[2, 14][2, 17][2, 23][2, 29][2, 35][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :12 12 46 12 2 Isend 3 0 12{[2, 14][2, 18][2, 24][2, 30][2, 36][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :9 13 47 13 2 Irecv 3 0 13{[2, 14][2, 19][2, 25][2, 31][2, 37][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :8 14 48 14 2 WaitAll{[2, 15][2, 16][2, 17][2, 18][2, 19][2, 20][2, 22][2, 23][2, 24][2, 25][2, 28][2, 29][2, 30][2, 31][2, 34][2, 35][2, 36][2, 37][2, 40][2, 41][2, 42][2, 43][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 15 63 15 2 Ssend 0 1{[2, 21]} {} Matched wiNo resource leaks detected, 68 MPI calls made No resource leaks detected, 48 MPI calls made No resource leaks detected, 68 MPI calls made th process :0 transition :14 16 66 16 2 Isend 1 0 16{[2, 20][2, 22][2, 28][2, 34][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :19 17 67 17 2 Irecv 1 0 17{[2, 20][2, 23][2, 29][2, 35][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :18 18 68 18 2 Isend 3 0 18{[2, 20][2, 24][2, 30][2, 36][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :13 19 69 19 2 Irecv 3 0 19{[2, 20][2, 25][2, 31][2, 37][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :12 20 70 20 2 WaitAll{[2, 21][2, 22][2, 23][2, 24][2, 25][2, 26][2, 28][2, 29][2, 30][2, 31][2, 34][2, 35][2, 36][2, 37][2, 40][2, 41][2, 42][2, 43][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 21 85 21 2 Ssend 0 1{[2, 27]} {} Matched with process :0 transition :20 22 88 22 2 Isend 1 0 22{[2, 26][2, 28][2, 34][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :25 23 89 23 2 Irecv 1 0 23{[2, 26][2, 29][2, 35][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :24 24 90 24 2 Isend 3 0 24{[2, 26][2, 30][2, 36][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :17 25 91 25 2 Irecv 3 0 25{[2, 26][2, 31][2, 37][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :16 26 92 26 2 WaitAll{[2, 27][2, 28][2, 29][2, 30][2, 31][2, 32][2, 34][2, 35][2, 36][2, 37][2, 40][2, 41][2, 42][2, 43][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 27 107 27 2 Ssend 0 1{[2, 33]} {} Matched with process :0 transition :26 28 110 28 2 Isend 1 0 28{[2, 32][2, 34][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :31 29 111 29 2 Irecv 1 0 29{[2, 32][2, 35][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :30 30 112 30 2 Isend 3 0 30{[2, 32][2, 36][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :21 31 113 31 2 Irecv 3 0 31{[2, 32][2, 37][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :20 32 114 32 2 WaitAll{[2, 33][2, 34][2, 35][2, 36][2, 37][2, 38][2, 40][2, 41][2, 42][2, 43][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 33 129 33 2 Ssend 0 1{[2, 39]} {} Matched with process :0 transition :32 34 132 34 2 Isend 1 0 34{[2, 38][2, 40][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :37 35 133 35 2 Irecv 1 0 35{[2, 38][2, 41][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :36 36 134 36 2 Isend 3 0 36{[2, 38][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :25 37 135 37 2 Irecv 3 0 37{[2, 38][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :24 38 136 38 2 WaitAll{[2, 39][2, 40][2, 41][2, 42][2, 43][2, 44][2, 46][2, 47][2, 48][2, 49][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 39 151 39 2 Ssend 0 1{[2, 45]} {} Matched with process :0 transition :38 40 154 40 2 Isend 1 0 40{[2, 44][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :43 41 155 41 2 Irecv 1 0 41{[2, 44][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :42 42 156 42 2 Isend 3 0 42{[2, 44][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :29 43 157 43 2 Irecv 3 0 43{[2, 44][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :28 44 158 44 2 WaitAll{[2, 45][2, 46][2, 47][2, 48][2, 49][2, 50][2, 52][2, 53][2, 54][2, 55][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 45 173 45 2 Ssend 0 1{[2, 51]} {} Matched with process :0 transition :44 46 176 46 2 Isend 1 0 46{[2, 50][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :49 47 177 47 2 Irecv 1 0 47{[2, 50][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :48 48 178 48 2 Isend 3 0 48{[2, 50][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :33 49 179 49 2 Irecv 3 0 49{[2, 50][2, 55][No resource leaks detected, 68 MPI calls made 2, 61][2, 67]} {} Matched with process :3 transition :32 50 180 50 2 WaitAll{[2, 51][2, 52][2, 53][2, 54][2, 55][2, 56][2, 58][2, 59][2, 60][2, 61][2, 64][2, 65]} {} 51 195 51 2 Ssend 0 1{[2, 57]} {} Matched with process :0 transition :50 52 198 52 2 Isend 1 0 52{[2, 56][2, 58][2, 67]} {} Matched with process :1 transition :55 53 199 53 2 Irecv 1 0 53{[2, 56][2, 59][2, 67]} {} Matched with process :1 transition :54 54 200 54 2 Isend 3 0 54{[2, 56][2, 60][2, 67]} {} Matched with process :3 transition :37 55 201 55 2 Irecv 3 0 55{[2, 56][2, 61][2, 67]} {} Matched with process :3 transition :36 56 202 56 2 WaitAll{[2, 57][2, 58][2, 59][2, 60][2, 61][2, 62][2, 64][2, 65]} {} 57 217 57 2 Ssend 0 1{[2, 63]} {} Matched with process :0 transition :56 58 220 58 2 Isend 1 0 58{[2, 62][2, 67]} {} Matched with process :1 transition :61 59 221 59 2 Irecv 1 0 59{[2, 62][2, 67]} {} Matched with process :1 transition :60 60 222 60 2 Isend 3 0 60{[2, 62][2, 67]} {} Matched with process :3 transition :41 61 223 61 2 Irecv 3 0 61{[2, 62][2, 67]} {} Matched with process :3 transition :40 62 224 62 2 WaitAll{[2, 63][2, 64][2, 65][2, 67]} {} 63 235 63 2 Ssend 0 1{[2, 66][2, 67]} {} Matched with process :0 transition :62 64 238 64 2 Reduce 1{[2, 67]} {} 65 243 65 2 Comm_free 1{[2, 67]} {} 66 247 66 2 Comm_free 2{[2, 67]} {} 67 251 67 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, 44]} {} 4 20 4 3 Isend 2 0 4{[3, 6][3, 8][3, 12][3, 16][3, 20][3, 24][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :7 5 24 5 3 Irecv 2 0 5{[3, 6][3, 9][3, 13][3, 17][3, 21][3, 25][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :6 6 28 6 3 WaitAll{[3, 7][3, 8][3, 9][3, 10][3, 12][3, 13][3, 16][3, 17][3, 20][3, 21][3, 24][3, 25][3, 28][3, 29][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 7 42 7 3 Ssend 0 1{[3, 11]} {} Matched with process :0 transition :9 8 50 8 3 Isend 2 0 8{[3, 10][3, 12][3, 16][3, 20][3, 24][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :13 9 52 9 3 Irecv 2 0 9{[3, 10][3, 13][3, 17][3, 21][3, 25][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :12 10 54 10 3 WaitAll{[3, 11][3, 12][3, 13][3, 14][3, 16][3, 17][3, 20][3, 21][3, 24][3, 25][3, 28][3, 29][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 11 64 11 3 Ssend 0 1{[3, 15]} {} Matched with process :0 transition :15 12 72 12 3 Isend 2 0 12{[3, 14][3, 16][3, 20][3, 24][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :19 13 74 13 3 Irecv 2 0 13{[3, 14][3, 17][3, 21][3, 25][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :18 14 76 14 3 WaitAll{[3, 15][3, 16][3, 17][3, 18][3, 20][3, 21][3, 24][3, 25][3, 28][3, 29][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 15 86 15 3 Ssend 0 1{[3, 19]} {} Matched with process :0 transition :21 16 94 16 3 Isend 2 0 16{[3, 18][3, 20][3, 24][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :25 17 96 17 3 Irecv 2 0 17{[3, 18][3, 21][3, 25][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :24 18 98 18 3 WaitAll{[3, 19][3, 20][3, 21][3, 22][3, 24][3, 25][3, 28][3, 29][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 19 108 19 3 Ssend 0 1{[3, 23]} {} Matched with process :0 transition :27 20 116 20 3 Isend 2 0 20{[3, 22][3, 24][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :31 21 118 21 3 Irecv 2 0 21{[3, 22][3, 25][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :30 22 120 22 3 WaitAll{[3, 23][3, 24][3, 25][3, 26][3, 28][3, 29][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 23 130 23 3 Ssend 0 1{[3, 27]} {} Matched with process :0 transition :33 24 138 24 3 Isend 2 0 24{[3, 26][3, 28][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :37 25 140 25 3 Irecv 2 0 25{[3, 26][3, 29][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :36 26 142 26 3 WaitAll{[3, 27][3, 28][3, 29][3, 30][3, 32][3, 33][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 27 152 27 3 Ssend 0 1{[3, 31]} {} Matched with process :0 transition :39 28 160 28 3 Isend 2 0 28{[3, 30][3, 32][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :43 29 162 29 3 Irecv 2 0 29{[3, 30][3, 33][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :42 30 164 30 3 WaitAll{[3, 31][3, 32][3, 33][3, 34][3, 36][3, 37][3, 40][3, 41][3, 44][3, 45]} {} 31 174 31 3 Ssend 0 1{[3, 35]} {} Matched with process :0 transition :45 32 182 32 3 Isend 2 0 32{[3, 34][3, 36][3, 40][3, 47]} {} Matched with process :2 transition :49 33 184 33 3 Irecv 2 0 33{[3, 34][3, 37][3, 41][3, 47]} {} Matched with process :2 transition :48 34 186 34 3 WaitAll{[3, 35][3, 36][3, 37][3, 38][3, 40][3, 41][3, 44][3, 45]} {} 35 196 35 3 Ssend 0 1{[3, 39]} {} Matched with process :0 transition :51 36 204 36 3 Isend 2 0 36{[3, 38][3, 40][3, 47]} {} Matched with process :2 transition :55 37 206 37 3 Irecv 2 0 37{[3, 38][3, 41][3, 47]} {} Matched with process :2 transition :54 38 208 38 3 WaitAll{[3, 39][3, 40][3, 41][3, 42][3, 44][3, 45]} {} 39 218 39 3 Ssend 0 1{[3, 43]} {} Matched with process :0 transition :57 40 226 40 3 Isend 2 0 40{[3, 42][3, 47]} {} Matched with process :2 transition :61 41 228 41 3 Irecv 2 0 41{[3, 42][3, 47]} {} Matched with process :2 transition :60 42 230 42 3 WaitAll{[3, 43][3, 44][3, 45][3, 47]} {} 43 236 43 3 Ssend 0 1{[3, 46][3, 47]} {} Matched with process :0 transition :63 44 240 44 3 Reduce 1{[3, 47]} {} 45 244 45 3 Comm_free 1{[3, 47]} {} 46 248 46 3 Comm_free 2{[3, 47]} {} 47 252 47 3 Finalize{} {} NO MORE INTERLEAVINGS!!! Total Interleavings = 1