> ../../scheduler/isp -n 9 -block ./mlife ISP - Insitu Partial Order ----------------------------------------- Executable: ./mlife Arguments: Number Procs: 9 Server: localhost:9999 Blocking Sends: Enabled ----------------------------------------- Started Process: 18834 # 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 77.880935 secs of calculation INTERLEAVING :1 Transition list for 0 0 1 0 0 Bcast 0{[0, 1]} {} 1 10 1 0 Bcast 0{[0, 2]} {} 2 19 2 0 Comm_dup 1{[0, 3]} {} 3 28 3 0 Comm_dup 2{[0, 114]} {} 4 37 4 0 Isend 1 0 4{[0, 6][0, 15][0, 26][0, 37][0, 48][0, 59][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :5 5 46 5 0 Irecv 1 0 5{[0, 6][0, 16][0, 27][0, 38][0, 49][0, 60][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :4 6 55 6 0 WaitAll{[0, 7][0, 15][0, 16][0, 17][0, 26][0, 27][0, 37][0, 38][0, 48][0, 49][0, 59][0, 60][0, 70][0, 71][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 7 78 7 0 Recv 1 1{[0, 8]} {} Matched with process :1 transition :9 8 80 8 0 Recv 2 1{[0, 9]} {} Matched with process :2 transition :9 9 87 9 0 Recv 3 1{[0, 10]} {} Matched with process :3 transition :9 10 94 10 0 Recv 4 1{[0, 11]} {} Matched with process :4 transition :9 11 102 11 0 Recv 5 1{[0, 12]} {} Matched with process :5 transition :9 12 110 12 0 Recv 6 1{[0, 13]} {} Matched with process :6 transition :9 13 118 13 0 Recv 7 1{[0, 14]} {} Matched with process :7 transition :9 14 127 14 0 Recv 8 1{[0, 18]} {} Matched with process :8 transition :7 15 133 15 0 Isend 1 0 15{[0, 17][0, 26][0, 37][0, 48][0, 59][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :11 16 135 16 0 Irecv 1 0 16{[0, 17][0, 27][0, 38][0, 49][0, 60][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :10 17 137 17 0 WaitAll{[0, 18][0, 26][0, 27][0, 28][0, 37][0, 38][0, 48][0, 49][0, 59][0, 60][0, 70][0, 71][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 18 139 18 0 Recv 1 1{[0, 19]} {} Matched with process :1 transition :15 19 141 19 0 Recv 2 1{[0, 20]} {} Matched with process :2 transition :15 20 147 20 0 Recv 3 1{[0, 21]} {} Matched with process :3 transition :15 21 153 21 0 Recv 4 1{[0, 22]} {} Matched with process :4 transition :15 22 159 22 0 Recv 5 1{[0, 23]} {} Matched with process :5 transition :15 23 165 23 0 Recv 6 1{[0, 24]} {} Matched with process :6 transition :15 24 175 24 0 Recv 7 1{[0, 25]} {} Matched with process :7 transition :15 25 184 25 0 Recv 8 1{[0, 29]} {} Matched with process :8 transition :11 26 190 26 0 Isend 1 0 26{[0, 28][0, 37][0, 48][0, 59][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :17 27 192 27 0 Irecv 1 0 27{[0, 28][0, 38][0, 49][0, 60][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :16 28 194 28 0 WaitAll{[0, 29][0, 37][0, 38][0, 39][0, 48][0, 49][0, 59][0, 60][0, 70][0, 71][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 29 196 29 0 Recv 1 1{[0, 30]} {} Matched with process :1 transition :21 30 198 30 0 Recv 2 1{[0, 31]} {} Matched with process :2 transition :21 31 204 31 0 Recv 3 1{[0, 32]} {} Matched with process :3 transition :21 32 210 32 0 Recv 4 1{[0, 33]} {} Matched with process :4 transition :21 33 216 33 0 Recv 5 1{[0, 34]} {} Matched with process :5 transition :21 34 222 34 0 Recv 6 1{[0, 35]} {} Matched with process :6 transition :21 35 232 35 0 Recv 7 1{[0, 36]} {} Matched with process :7 transition :21 36 241 36 0 Recv 8 1{[0, 40]} {} Matched with process :8 transition :15 37 247 37 0 Isend 1 0 37{[0, 39][0, 48][0, 59][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :23 38 249 38 0 Irecv 1 0 38{[0, 39][0, 49][0, 60][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :22 39 251 39 0 WaitAll{[0, 40][0, 48][0, 49][0, 50][0, 59][0, 60][0, 70][0, 71][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 40 253 40 0 Recv 1 1{[0, 41]} {} Matched with process :1 transition :27 41 255 41 0 Recv 2 1{[0, 42]} {} Matched with process :2 transition :27 42 261 42 0 Recv 3 1{[0, 43]} {} Matched with process :3 transition :27 43 267 43 0 Recv 4 1{[0, 44]} {} Matched with process :4 transition :27 44 273 44 0 Recv 5 1{[0, 45]} {} Matched with process :5 transition :27 45 279 45 0 Recv 6 1{[0, 46]} {} Matched with process :6 transition :27 46 289 46 0 Recv 7 1{[0, 47]} {} Matched with process :7 transition :27 47 298 47 0 Recv 8 1{[0, 51]} {} Matched with process :8 transition :19 48 304 48 0 Isend 1 0 48{[0, 50][0, 59][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :29 49 306 49 0 Irecv 1 0 49{[0, 50][0, 60][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :28 50 308 50 0 WaitAll{[0, 51][0, 59][0, 60][0, 61][0, 70][0, 71][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 51 310 51 0 Recv 1 1{[0, 52]} {} Matched with process :1 transition :33 52 312 52 0 Recv 2 1{[0, 53]} {} Matched with process :2 transition :33 53 318 53 0 Recv 3 1{[0, 54]} {} Matched with process :3 transition :33 54 324 54 0 Recv 4 1{[0, 55]} {} Matched with process :4 transition :33 55 330 55 0 Recv 5 1{[0, 56]} {} Matched with process :5 transition :33 56 336 56 0 Recv 6 1{[0, 57]} {} Matched with process :6 transition :33 57 346 57 0 Recv 7 1{[0, 58]} {} Matched with process :7 transition :33 58 355 58 0 Recv 8 1{[0, 62]} {} Matched with process :8 transition :23 59 361 59 0 Isend 1 0 59{[0, 61][0, 70][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :35 60 363 60 0 Irecv 1 0 60{[0, 61][0, 71][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :34 61 365 61 0 WaitAll{[0, 62][0, 70][0, 71][0, 72][0, 81][0, 82][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 62 367 62 0 Recv 1 1{[0, 63]} {} Matched with process :1 transition :39 63 369 63 0 Recv 2 1{[0, 64]} {} Matched with process :2 transition :39 64 375 64 0 Recv 3 1{[0, 65]} {} Matched with process :3 transition :39 65 381 65 0 Recv 4 1{[0, 66]} {} Matched with process :4 transition :39 66 387 66 0 Recv 5 1{[0, 67]} {} Matched with process :5 transition :39 67 393 67 0 Recv 6 1{[0, 68]} {} Matched with process :6 transition :39 68 403 68 0 Recv 7 1{[0, 69]} {} Matched with process :7 transition :39 69 412 69 0 Recv 8 1{[0, 73]} {} Matched with process :8 transition :27 70 418 70 0 Isend 1 0 70{[0, 72][0, 81][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :41 71 420 71 0 Irecv 1 0 71{[0, 72][0, 82][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :40 72 422 72 0 WaitAll{[0, 73][0, 81][0, 82][0, 83][0, 92][0, 93][0, 103][0, 104][0, 114][0, 115]} {} 73 424 73 0 Recv 1 1{[0, 74]} {} Matched with process :1 transition :45 74 426 74 0 Recv 2 1{[0, 75]} {} Matched with process :2 transition :45 75 432 75 0 Recv 3 1{[0, 76]} {} Matched with process :3 transition :45 76 438 76 0 Recv 4 1{[0, 77]} {} Matched with process :4 transition :45 77 444 77 0 Recv 5 1{[0, 78]} {} Matched with process :5 transition :45 78 450 78 0 Recv 6 1{[0, 79]} {} Matched with process :6 transition :45 79 460 79 0 Recv 7 1{[0, 80]} {} Matched with process :7 transition :45 80 469 80 0 Recv 8 1{[0, 84]} {} Matched with process :8 transition :31 81 475 81 0 Isend 1 0 81{[0, 83][0, 92][0, 103][0, 117]} {} Matched with process :1 transition :47 82 477 82 0 Irecv 1 0 82{[0, 83][0, 93][0, 104][0, 117]} {} Matched with process :1 transition :46 83 479 83 0 WaitAll{[0, 84][0, 92][0, 93][0, 94][0, 103][0, 104][0, 114][0, 115]} {} 84 481 84 0 Recv 1 1{[0, 85]} {} Matched with process :1 transition :51 85 483 85 0 Recv 2 1{[0, 86]} {} Matched with process :2 transition :51 86 489 86 0 Recv 3 1{[0, 87]} {} Matched with process :3 transition :51 87 495 87 0 Recv 4 1{[0, 88]} {} Matched with process :4 transition :51 88 501 88 0 Recv 5 1{[0, 89]} {} Matched with process :5 transition :51 89 507 89 0 Recv 6 1{[0, 90]} {} Matched with process :6 transition :51 90 517 90 0 Recv 7 1{[0, 91]} {} Matched with process :7 transition :51 91 526 91 0 Recv 8 1{[0, 95]} {} Matched with process :8 transition :35 92 532 92 0 Isend 1 0 92{[0, 94][0, 103][0, 117]} {} Matched with process :1 transition :53 93 534 93 0 Irecv 1 0 93{[0, 94][0, 104][0, 117]} {} Matched with process :1 transition :52 94 536 94 0 WaitAll{[0, 95][0, 103][0, 104][0, 105][0, 114][0, 115]} {} 95 538 95 0 Recv 1 1{[0, 96]} {} Matched with process :1 transition :57 96 540 96 0 Recv 2 1{[0, 97]} {} Matched with process :2 transition :57 97 546 97 0 Recv 3 1{[0, 98]} {} Matched with process :3 transition :57 98 552 98 0 Recv 4 1{[0, 99]} {} Matched with process :4 transition :57 99 558 99 0 Recv 5 1{[0, 100]} {} Matched with process :5 transition :57 100 564 100 0 Recv 6 1{[0, 101]} {} Matched with process :6 transition :57 101 574 101 0 Recv 7 1{[0, 102]} {} Matched with process :7 transition :57 102 583 102 0 Recv 8 1{[0, 106]} {} Matched with process :8 transition :39 103 589 103 0 Isend 1 0 103{[0, 105][0, 117]} {} Matched with process :1 transition :59 104 591 104 0 Irecv 1 0 104{[0, 105][0, 117]} {} Matched with process :1 transition :58 105 593 105 0 WaitAll{[0, 106][0, 114][0, 115][0, 117]} {} 106 595 106 0 Recv 1 1{[0, 107][0, 117]} {} Matched with process :1 transition :63 107 597 107 0 Recv 2 1{[0, 108][0, 117]} {} Matched with process :2 transition :63 108 599 108 0 Recv 3 1{[0, 109][0, 117]} {} Matched with process :3 transition :63 109 601 109 0 Recv 4 1{[0, 110][0, 117]} {} Matched with process :4 transition :63 110 603 110 0 Recv 5 1{[0, 111][0, 117]} {} Matched with process :5 transition :63 111 605 111 0 Recv 6 1{[0, 112][0, 117]} {} Matched with process :6 transition :63 112 608 112 0 Recv 7 1{[0, 113][0, 117]} {} Matched with process :7 transition :63 113 612 113 0 Recv 8 1{[0, 116][0, 117]} {} Matched with process :8 transition :43 114 614 114 0 Reduce 1{[0, 117]} {} 115 616 115 0 Comm_free 1{[0, 117]} {} 116 625 116 0 Comm_free 2{[0, 117]} {} 117 634 117 0 Finalize{} {} Transition list for 1 0 2 0 1 Bcast 0{[1, 1]} {} 1 11 1 1 Bcast 0{[1, 2]} {} 2 20 2 1 Comm_dup 1{[1, 3]} {} 3 29 3 1 Comm_dup 2{[1, 64]} {} 4 38 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 47 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 56 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 64 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 71 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 79 9 1 Ssend 0 1{[1, 15]} {} Matched with process :0 transition :7 10 81 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 :16 11 82 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 :15 12 83 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 84 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 85 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 140 15 1 Ssend 0 1{[1, 21]} {} Matched with process :0 transition :18 16 142 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 :27 17 143 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 :26 18 144 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 145 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 146 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 197 21 1 Ssend 0 1{[1, 27]} {} Matched with process :0 transition :29 22 199 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 :38 23 200 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 :37 24 201 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 202 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 203 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 254 27 1 Ssend 0 1{[1, 33]} {} Matched with process :0 transition :40 28 256 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 :49 29 257 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 :48 30 258 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 259 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 260 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 311 33 1 Ssend 0 1{[1, 39]} {} Matched with process :0 transition :51 34 313 34 1 Isend 0 0 34{[1, 38][1, 40][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :60 35 314 35 1 Irecv 0 0 35{[1, 38][1, 41][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :59 36 315 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 316 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 317 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 368 39 1 Ssend 0 1{[1, 45]} {} Matched with process :0 transition :62 40 370 40 1 Isend 0 0 40{[1, 44][1, 46][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :71 41 371 41 1 Irecv 0 0 41{[1, 44][1, 47][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :70 42 372 42 1 Isend 2 0 42{[1, 44][1, 48][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :41 43 373 43 1 Irecv 2 0 43{[1, 44][1, 49][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :40 44 374 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 425 45 1 Ssend 0 1{[1, 51]} {} Matched with process :0 transition :73 46 427 46 1 Isend 0 0 46{[1, 50][1, 52][1, 58][1, 67]} {} Matched with process :0 transition :82 47 428 47 1 Irecv 0 0 47{[1, 50][1, 53][1, 59][1, 67]} {} Matched with process :0 transition :81 48 429 48 1 Isend 2 0 48{[1, 50][1, 54][1, 60][1, 67]} {} Matched with process :2 transition :47 49 430 49 1 Irecv 2 0 49{[1, 50][1, 55][1, 61][1, 67]} {} Matched with process :2 transition :46 50 431 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 482 51 1 Ssend 0 1{[1, 57]} {} Matched with process :0 transition :84 52 484 52 1 Isend 0 0 52{[1, 56][1, 58][1, 67]} {} Matched with process :0 transition :93 53 485 53 1 Irecv 0 0 53{[1, 56][1, 59][1, 67]} {} Matched with process :0 transition :92 54 486 54 1 Isend 2 0 54{[No resource leaks detected, 118 MPI calls made 1, 56][1, 60][1, 67]} {} Matched with process :2 transition :53 55 487 55 1 Irecv 2 0 55{[1, 56][1, 61][1, 67]} {} Matched with process :2 transition :52 56 488 56 1 WaitAll{[1, 57][1, 58][1, 59][1, 60][1, 61][1, 62][1, 64][1, 65]} {} 57 539 57 1 Ssend 0 1{[1, 63]} {} Matched with process :0 transition :95 58 541 58 1 Isend 0 0 58{[1, 62][1, 67]} {} Matched with process :0 transition :104 59 542 59 1 Irecv 0 0 59{[1, 62][1, 67]} {} Matched with process :0 transition :103 60 543 60 1 Isend 2 0 60{[1, 62][1, 67]} {} Matched with process :2 transition :59 61 544 61 1 Irecv 2 0 61{[1, 62][1, 67]} {} Matched with process :2 transition :58 62 545 62 1 WaitAll{[1, 63][1, 64][1, 65][1, 67]} {} 63 596 63 1 Ssend 0 1{[1, 66][1, 67]} {} Matched with process :0 transition :106 64 598 64 1 Reduce 1{[1, 67]} {} 65 617 65 1 Comm_free 1{[1, 67]} {} 66 626 66 1 Comm_free 2{[1, 67]} {} 67 635 67 1 Finalize{} {} Transition list for 2 0 3 0 2 Bcast 0{[2, 1]} {} 1 12 1 2 Bcast 0{[2, 2]} {} 2 21 2 2 Comm_dup 1{[2, 3]} {} 3 30 3 2 Comm_dup 2{[2, 64]} {} 4 39 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 48 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 57 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 65 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 72 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 86 9 2 Ssend 0 1{[2, 15]} {} Matched with process :0 transition :8 10 88 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 89 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 90 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 :11 13 91 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 :10 14 92 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 100 15 2 Ssend 0 1{[2, 21]} {} Matched with process :0 transition :19 16 148 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 149 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 150 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 :17 19 151 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 :16 20 152 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 171 21 2 Ssend 0 1{[2, 27]} {} Matched with process :0 transition :30 22 205 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 206 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 207 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 :23 25 208 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 :22 26 209 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 228 27 2 Ssend 0 1{[2, 33]} {} Matched with process :0 transition :41 28 262 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 263 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 264 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 :29 31 265 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 :28 32 266 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 285 33 2 Ssend 0 1{[2, 39]} {} Matched with process :0 transition :52 34 319 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 320 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 321 36 2 Isend 3 0 36{[2, 38][2, 42][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :35 37 322 37 2 Irecv 3 0 37{[2, 38][2, 43][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :34 38 323 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 342 39 2 Ssend 0 1{[2, 45]} {} Matched with process :0 transition :63 40 376 40 2 Isend 1 0 40{[2, 44][2, 46][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :43 41 377 41 2 Irecv 1 0 41{[2, 44][2, 47][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :42 42 378 42 2 Isend 3 0 42{[2, 44][2, 48][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :41 43 379 43 2 Irecv 3 0 43{[2, 44][2, 49][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :40 44 380 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 399 45 2 Ssend 0 1{[2, 51]} {} Matched with process :0 transition :74 46 433 46 2 Isend 1 0 46{[2, 50][2, 52][2, 58][2, 67]} {} Matched with process :1 transition :49 47 434 47 2 Irecv 1 0 47{[2, 50][2, 53][2, 59][2, 67]} {} Matched with process :1 transition :48 48 435 48 2 Isend 3 0 48{[2, 50][2, 54][2, 60][2, 67]} {} Matched with process :3 transition :47 49 436 49 2 Irecv 3 0 49{[2, 50][2, 55][2, 61][2, 67]} {} Matched with process :3 transition :46 50 437 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 456 51 2 Ssend 0 1{[2, 57]} {} Matched with process :0 transition :85 52 490 52 2 Isend 1 0 52{[2, 56][2, 58][2, 67]} {} Matched with process :1 transition :55 53 491 53 2 Irecv 1 0 53{[2, 56][2, 59][2, 67]} {} Matched with process :1 transition :54 54 492 54 2 Isend 3 0 54{[2, 56][2, 60][2, 67]} {} Matched with process :3 transition :53 55 493 55 2 Irecv 3 0 55{[2, 56][2, 61][2, 67]} {} Matched with process :3 transition :52 56 494 56 2 WaitAll{[2, 57][2, 58][2, 59][2, 60][2, 61][2, 62][2, 64][2, 65]} {} 57 513 57 2 Ssend 0 1{[2, 63]} {} Matched with process :0 transition :96 58 547 58 2 Isend 1 0 58{[2, 62][2, 67]} {} Matched with process :1 transition :61 59 548 59 2 Irecv 1 0 59{[2, 62][2, 67]} {} Matched with process :1 transition :60 60 549 60 2 Isend 3 0 60{[2, 62][2, 67]} {} Matched with process :3 transition :59 61 550 61 2 Irecv 3 0 61{[2, 62][2, 67]} {} Matched with process :3 transition :58 62 551 62 2 WaitAll{[2, 63][2, 64][2, 65][2, 67]} {} 63 570 63 2 Ssend 0 1{[2, 66][2, 67]} {} Matched with process :0 transition :107 64 600 64 2 Reduce 1{[2, 67]} {} 65 618 65 2 Comm_free 1{[2, 67]} {} 66 627 66 2 Comm_free 2{[2, 67]} {} 67 636 67 2 Finalize{} {} Transition list for 3 0 4 0 3 Bcast 0{[3, 1]} {} 1 13 1 3 Bcast 0{[3, 2]} {} 2 22 2 3 Comm_dup 1{[3, 3]} {} 3 31 3 3 Comm_dup 2{[3, 64]} {} 4 40 4 3 Isend 2 0 4{[3, 8][3, 10][3, 16][3, 22][3, 28][3, 34][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :7 5 49 5 3 Irecv 2 0 5{[3, 8][3, 11][3, 17][3, 23][3, 29][3, 35][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :6 6 58 6 3 Isend 4 0 6{[3, 8][3, 12][3, 18][3, 24][3, 30][3, 36][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :5 7 66 7 3 Irecv 4 0 7{[3, 8][3, 13][3, 19][3, 25][3, 31][3, 37][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :4 8 73 8 3 WaitAll{[3, 9][3, 10][3, 11][3, 12][3, 13][3, 14][3, 16][3, 17][3, 18][3, 19][3, 22][3, 23][3, 24][3, 25][3, 28][3, 29][3, 30][3, 31][3, 34][3, 35][3, 36][3, 37][3, 40][3, 41][3, 42][3, 43][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 9 93 9 3 Ssend 0 1{[3, 15]} {} Matched with process :0 transition :9 10 95 10 3 Isend 2 0 10{[3, 14][3, 16][3, 22][3, 28][3, 34][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :13 11 96 11 3 Irecv 2 0 11{[3, 14][3, 17][3, 23][3, 29][3, 35][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :12 12 97 12 3 Isend 4 0 12{[3, 14][3, 18][3, 24][3, 30][3, 36][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :11 13 98 13 3 Irecv 4 0 13{[3, 14][3, 19][3, 25][3, 31][3, 37][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :10 14 99 14 3 WaitAll{[3, 15][3, 16][3, 17][3, 18][3, 19][3, 20][3, 22][3, 23][3, 24][3, 25][3, 28][3, 29][3, 30][3, 31][3, 34][3, 35][3, 36][3, 37][3, 40][3, 41][3, 42][3, 43][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 15 108 15 3 Ssend 0 1{[3, 21]} {} Matched with process :0 transition :20 16 154 16 3 Isend 2 0 16{[3, 20][3, 22][3, 28][3, 34][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :19 17 155 17 3 Irecv 2 0 17{[3, 20][3, 23][3, 29][3, 35][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :18 18 156 18 3 Isend 4 0 18{[3, 20][3, 24][3, 30][3, 36][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :17 19 157 19 3 Irecv 4 0 19{[3, 20][3, 25][3, 31][3, 37][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :16 20 158 20 3 WaitAll{[3, 21][3, 22][3, 23][3, 24][3, 25][3, 26][3, 28][3, 29][3, 30][3, 31][3, 34][3, 35][3, 36][3, 37][3, 40][3, 41][3, 42][3, 43][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 21 172 21 3 Ssend 0 1{[3, 27]} {} Matched with process :0 transition :31 22 211 22 3 Isend 2 0 22{[3, 26][3, 28][3, 34][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :25 23 212 23 3 Irecv 2 0 23{[3, 26][3, 29][3, 35][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :24 24 213 24 3 Isend 4 0 24{[3, 26][3, 30][3, 36][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :23 25 214 25 3 Irecv 4 0 25{[3, 26][3, 31][3, 37][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :22 26 215 26 3 WaitAll{[3, 27][3, 28][3, 29][3, 30][3, 31][3, 32][3, 34][3, 35][3, 36][3, 37][3, 40][3, 41][3, 42][3, 43][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 27 229 27 3 Ssend 0 1{[3, 33]} {} Matched with process :0 transition :42 28 268 28 3 Isend 2 0 28{[3, 32][3, 34][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :31 29 269 29 3 Irecv 2 0 29{[3, 32][3, 35][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :30 30 270 30 3 Isend 4 0 30{[3, 32][3, 36][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :29 31 271 31 3 Irecv 4 0 31{[3, 32][3, 37][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :28 32 272 32 3 WaitAll{[3, 33][3, 34][3, 35][3, 36][3, 37][3, 38][3, 40][3, 41][3, 42][3, 43][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 33 286 33 3 Ssend 0 1{[3, 39]} {} Matched with process :0 transition :53 34 325 34 3 Isend 2 0 34{[3, 38][3, 40][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :37 35 326 35 3 Irecv 2 0 35{[3, 38][3, 41][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :36 36 327 36 3 Isend 4 0 36{[3, 38][3, 42][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :35 37 328 37 3 Irecv 4 0 37{[3, 38][3, 43][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :34 38 329 38 3 WaitAll{[3, 39][3, 40][3, 41][3, 42][3, 43][3, 44][3, 46][3, 47][3, 48][3, 49][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 39 343 39 3 Ssend 0 1{[3, 45]} {} Matched with process :0 transition :64 40 382 40 3 Isend 2 0 40{[3, 44][3, 46][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :43 41 383 41 3 Irecv 2 0 41{[3, 44][3, 47][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :42 42 384 42 3 Isend 4 0 42{[3, 44][3, 48][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :41 43 385 43 3 Irecv 4 0 43{[3, 44][3, 49][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :40 44 386 44 3 WaitAll{[3, 45][3, 46][3, 47][3, 48][3, 49][3, 50][3, 52][3, 53][3, 54][3, 55][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 45 400 45 3 Ssend 0 1{[3, 51]} {} Matched with process :0 transition :75 46 439 46 3 Isend 2 0 46{[3, 50][3, 52][3, 58][3, 67]} {} Matched with process :2 transition :49 47 440 47 3 Irecv 2 0 47{[3, 50][3, 53][3, 59][3, 67]} {} Matched with process :2 transition :48 48 441 48 3 Isend 4 0 48{[3, 50][3, 54][3, 60][3, 67]} {} Matched with process :4 transition :47 49 442 49 3 Irecv 4 0 49{[3, 50][3, 55][3, 61][3, 67]} {} Matched with process :4 transition :46 50 443 50 3 WaitAll{[3, 51][3, 52][3, 53][3, 54][3, 55][3, 56][3, 58][3, 59][3, 60][3, 61][3, 64][3, 65]} {} 51 457 51 3 Ssend 0 1{[3, 57]} {} Matched with process :0 transition :86 52 496 52 3 Isend 2 0 52{[3, 56][3, 58][3, 67]} {} Matched with process :2 transition :55 53 497 53 3 Irecv 2 0 53{[3, 56][3, 59][3, 67]} {} Matched with process :2 transition :54 54 498 54 3 Isend 4 0 54{[3, 56][3, 60][3, 67]} {} Matched with process :4 transition :53 55 499 55 3 Irecv 4 0 55{[3, 56][3, 61][3, 67]} {} Matched with process :4 transition :52 56 500 56 3 WaitAll{[3, 57][3, 58][3, 59][3, 60][3, 61][3, 62][3, 64][3, 65]} {} 57 514 57 3 Ssend 0 1{[3, 63]} {} Matched with process :0 transition :97 58 553 58 3 Isend 2 0 58{[3, 62][3, 67]} {} Matched with process :2 transition :61 59 554 59 3 Irecv 2 0 59{[3, 62][3, 67]} {} Matched with process :2 transition :60 60 555 60 3 Isend 4 0 60{[3, 62][3, 67]} {} Matched with process :4 transition :59 61 556 61 3 Irecv 4 0 61{[3, 62][3, 67]} {} Matched with process :4 transition :58 62 557 62 3 WaitAll{[3, 63][3, 64][3, 65][3, 67]} {} 63 571 63 3 Ssend 0 1{[3, 66][3, 67]} {} Matched with process :0 transition :108 64 602 64 3 Reduce 1{[3, 67]} {} 65 619 65 3 Comm_free 1{[3, 67]} {} 66 628 66 3 Comm_free 2{[3, 67]} {} 67 637 67 3 Finalize{} {} Transition list for 4 0 5 0 4 Bcast 0{[4, 1]} {} 1 14 1 4 Bcast 0{[4, 2]} {} 2 23 2 4 Comm_dup 1{[4, 3]} {} 3 32 3 4 Comm_dup 2{[4, 64]} {} 4 41 4 4 Isend 3 0 4{[4, 8][4, 10][4, 16][4, 22][4, 28][4, 34][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :7 5 50 5 4 Irecv 3 0 5{[4, 8][4, 11][4, 17][4, 23][4, 29][4, 35][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :6 6 59 6 4 Isend 5 0 6{[4, 8][4, 12][4, 18][4, 24][4, 30][4, 36][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :5 7 67 7 4 Irecv 5 0 7{[4, 8][4, 13][4, 19][4, 25][4, 31][4, 37][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :4 8 74 8 4 WaitAll{[4, 9][4, 10][4, 11][4, 12][4, 13][4, 14][4, 16][4, 17][4, 18][4, 19][4, 22][4, 23][4, 24][4, 25][4, 28][4, 29][4, 30][4, 31][4, 34][4, 35][4, 36][4, 37][4, 40][4, 41][4, 42][4, 43][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 9 101 9 4 Ssend 0 1{[4, 15]} {} Matched with process :0 transition :10 10 103 10 4 Isend 3 0 10{[4, 14][4, 16][4, 22][4, 28][4, 34][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :13 11 104 11 4 Irecv 3 0 11{[4, 14][4, 17][4, 23][4, 29][4, 35][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :12 12 105 12 4 Isend 5 0 12{[4, 14][4, 18][4, 24][4, 30][4, 36][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :11 13 106 13 4 Irecv 5 0 13{[4, 14][4, 19][4, 25][4, 31][4, 37][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :10 14 107 14 4 WaitAll{[4, 15][4, 16][4, 17][4, 18][4, 19][4, 20][4, 22][4, 23][4, 24][4, 25][4, 28][4, 29][4, 30][4, 31][4, 34][4, 35][4, 36][4, 37][4, 40][4, 41][4, 42][4, 43][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 15 116 15 4 Ssend 0 1{[4, 21]} {} Matched with process :0 transition :21 16 160 16 4 Isend 3 0 16{[4, 20][4, 22][4, 28][4, 34][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :19 17 161 17 4 Irecv 3 0 17{[4, 20][4, 23][4, 29][4, 35][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :18 18 162 18 4 Isend 5 0 18{[4, 20][4, 24][4, 30][4, 36][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :17 19 163 19 4 Irecv 5 0 19{[4, 20][4, 25][4, 31][4, 37][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :16 20 164 20 4 WaitAll{[4, 21][4, 22][4, 23][4, 24][4, 25][4, 26][4, 28][4, 29][4, 30][4No resource leaks detected, 68 MPI calls made No resource leaks detected, 48 MPI calls made No resource leaks detected, 68 MPI calls made , 31][4, 34][4, 35][4, 36][4, 37][4, 40][4, 41][4, 42][4, 43][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 21 173 21 4 Ssend 0 1{[4, 27]} {} Matched with process :0 transition :32 22 217 22 4 Isend 3 0 22{[4, 26][4, 28][4, 34][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :25 23 218 23 4 Irecv 3 0 23{[4, 26][4, 29][4, 35][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :24 24 219 24 4 Isend 5 0 24{[4, 26][4, 30][4, 36][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :23 25 220 25 4 Irecv 5 0 25{[4, 26][4, 31][4, 37][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :22 26 221 26 4 WaitAll{[4, 27][4, 28][4, 29][4, 30][4, 31][4, 32][4, 34][4, 35][4, 36][4, 37][4, 40][4, 41][4, 42][4, 43][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 27 230 27 4 Ssend 0 1{[4, 33]} {} Matched with process :0 transition :43 28 274 28 4 Isend 3 0 28{[4, 32][4, 34][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :31 29 275 29 4 Irecv 3 0 29{[4, 32][4, 35][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :30 30 276 30 4 Isend 5 0 30{[4, 32][4, 36][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :29 31 277 31 4 Irecv 5 0 31{[4, 32][4, 37][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :28 32 278 32 4 WaitAll{[4, 33][4, 34][4, 35][4, 36][4, 37][4, 38][4, 40][4, 41][4, 42][4, 43][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 33 287 33 4 Ssend 0 1{[4, 39]} {} Matched with process :0 transition :54 34 331 34 4 Isend 3 0 34{[4, 38][4, 40][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :37 35 332 35 4 Irecv 3 0 35{[4, 38][4, 41][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :36 36 333 36 4 Isend 5 0 36{[4, 38][4, 42][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :35 37 334 37 4 Irecv 5 0 37{[4, 38][4, 43][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :34 38 335 38 4 WaitAll{[4, 39][4, 40][4, 41][4, 42][4, 43][4, 44][4, 46][4, 47][4, 48][4, 49][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 39 344 39 4 Ssend 0 1{[4, 45]} {} Matched with process :0 transition :65 40 388 40 4 Isend 3 0 40{[4, 44][4, 46][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :43 41 389 41 4 Irecv 3 0 41{[4, 44][4, 47][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :42 42 390 42 4 Isend 5 0 42{[4, 44][4, 48][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :41 43 391 43 4 Irecv 5 0 43{[4, 44][4, 49][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :40 44 392 44 4 WaitAll{[4, 45][4, 46][4, 47][4, 48][4, 49][4, 50][4, 52][4, 53][4, 54][4, 55][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 45 401 45 4 Ssend 0 1{[4, 51]} {} Matched with process :0 transition :76 46 445 46 4 Isend 3 0 46{[4, 50][4, 52][4, 58][4, 67]} {} Matched with process :3 transition :49 47 446 47 4 Irecv 3 0 47{[4, 50][4, 53][4, 59][4, 67]} {} Matched with process :3 transition :48 48 447 48 4 Isend 5 0 48{[4, 50][4, 54][4, 60][4, 67]} {} Matched with process :5 transition :47 49 448 49 4 Irecv 5 0 49{[4, 50][4, 55][4, 61][4, 67]} {} Matched with process :5 transition :46 50 449 50 4 WaitAll{[4, 51][4, 52][4, 53][4, 54][4, 55][4, 56][4, 58][4, 59][4, 60][4, 61][4, 64][4, 65]} {} 51 458 51 4 Ssend 0 1{[4, 57]} {} Matched with process :0 transition :87 52 502 52 4 Isend 3 0 52{[4, 56][4, 58][4, 67]} {} Matched with process :3 transition :55 53 503 53 4 Irecv 3 0 53{[4, 56][4, 59][4, 67]} {} Matched with process :3 transition :54 54 504 54 4 Isend 5 0 54{[4, 56][4, 60][4, 67]} {} Matched with process :5 transition :53 55 505 55 4 Irecv 5 0 55{[4, 56][4, 61][4, 67]} {} Matched with process :5 transition :52 56 506 56 4 WaitAll{[4, 57][4, 58][4, 59][4, 60][4, 61][4, 62][4, 64][4, 65]} {} 57 515 57 4 Ssend 0 1{[4, 63]} {} Matched with process :0 transition :98 58 559 58 4 Isend 3 0 58{[4, 62][4, 67]} {} Matched with process :3 transition :61 59 560 59 4 Irecv 3 0 59{[4, 62][4, 67]} {} Matched with process :3 transition :60 60 561 60 4 Isend 5 0 60{[4, 62][4, 67]} {} Matched with process :5 transition :59 61 562 61 4 Irecv 5 0 61{[4, 62][4, 67]} {} Matched with process :5 transition :58 62 563 62 4 WaitAll{[4, 63][4, 64][4, 65][4, 67]} {} 63 572 63 4 Ssend 0 1{[4, 66][4, 67]} {} Matched with process :0 transition :109 64 604 64 4 Reduce 1{[4, 67]} {} 65 620 65 4 Comm_free 1{[4, 67]} {} 66 629 66 4 Comm_free 2{[4, 67]} {} 67 638 67 4 Finalize{} {} Transition list for 5 0 6 0 5 Bcast 0{[5, 1]} {} 1 15 1 5 Bcast 0{[5, 2]} {} 2 24 2 5 Comm_dup 1{[5, 3]} {} 3 33 3 5 Comm_dup 2{[5, 64]} {} 4 42 4 5 Isend 4 0 4{[5, 8][5, 10][5, 16][5, 22][5, 28][5, 34][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :7 5 51 5 5 Irecv 4 0 5{[5, 8][5, 11][5, 17][5, 23][5, 29][5, 35][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :6 6 60 6 5 Isend 6 0 6{[5, 8][5, 12][5, 18][5, 24][5, 30][5, 36][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :5 7 68 7 5 Irecv 6 0 7{[5, 8][5, 13][5, 19][5, 25][5, 31][5, 37][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :4 8 75 8 5 WaitAll{[5, 9][5, 10][5, 11][5, 12][5, 13][5, 14][5, 16][5, 17][5, 18][5, 19][5, 22][5, 23][5, 24][5, 25][5, 28][5, 29][5, 30][5, 31][5, 34][5, 35][5, 36][5, 37][5, 40][5, 41][5, 42][5, 43][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 9 109 9 5 Ssend 0 1{[5, 15]} {} Matched with process :0 transition :11 10 111 10 5 Isend 4 0 10{[5, 14][5, 16][5, 22][5, 28][5, 34][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :13 11 112 11 5 Irecv 4 0 11{[5, 14][5, 17][5, 23][5, 29][5, 35][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :12 12 113 12 5 Isend 6 0 12{[5, 14][5, 18][5, 24][5, 30][5, 36][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :11 13 114 13 5 Irecv 6 0 13{[5, 14][5, 19][5, 25][5, 31][5, 37][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :10 14 115 14 5 WaitAll{[5, 15][5, 16][5, 17][5, 18][5, 19][5, 20][5, 22][5, 23][5, 24][5, 25][5, 28][5, 29][5, 30][5, 31][5, 34][5, 35][5, 36][5, 37][5, 40][5, 41][5, 42][5, 43][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 15 124 15 5 Ssend 0 1{[5, 21]} {} Matched with process :0 transition :22 16 166 16 5 Isend 4 0 16{[5, 20][5, 22][5, 28][5, 34][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :19 17 167 17 5 Irecv 4 0 17{[5, 20][5, 23][5, 29][5, 35][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :18 18 168 18 5 Isend 6 0 18{[5, 20][5, 24][5, 30][5, 36][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :17 19 169 19 5 Irecv 6 0 19{[5, 20][5, 25][5, 31][5, 37][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :16 20 170 20 5 WaitAll{[5, 21][5, 22][5, 23][5, 24][5, 25][5, 26][5, 28][5, 29][5, 30][5, 31][5, 34][5, 35][5, 36][5, 37][5, 40][5, 41][5, 42][5, 43][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 21 181 21 5 Ssend 0 1{[5, 27]} {} Matched with process :0 transition :33 22 223 22 5 Isend 4 0 22{[5, 26][5, 28][5, 34][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :25 23 224 23 5 Irecv 4 0 23{[5, 26][5, 29][5, 35][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :24 24 225 24 5 Isend 6 0 24{[5, 26][5, 30][5, 36][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :23 25 226 25 5 Irecv 6 0 25{[5, 26][5, 31][5, 37][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :22 26 227 26 5 WaitAll{[5, 27][5, 28][5, 29][5, 30][5, 31][5, 32][5, 34][5, 35][5, 36][5, 37][5, 40][5, 41][5, 42][5, 43][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 27 238 27 5 Ssend 0 1{[5, 33]} {} Matched with process :0 transition :44 28 280 28 5 Isend 4 0 28{[5, 32][5, 34][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :31 29 281 29 5 Irecv 4 0 29{[5, 32][5, 35][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :30 30 282 30 5 Isend 6 0 30{[5, 32][5, 36][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :29 31 283 31 5 Irecv 6 0 31{[5, 32][5, 37][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :28 32 284 32 5 WaitAll{[5, 33][5, 34][5, 35][5, 36][5, 37][5, 38][5, 40][5, 41][5, 42][5, 43][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 33 295 33 5 Ssend 0 1{[5, 39]} {} Matched with process :0 transition :55 34 337 34 5 Isend 4 0 34{[5, 38][5, 40][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :37 35 338 35 5 Irecv 4 0 35{[5, 38][5, 41][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :36 36 339 36 5 Isend 6 0 36{[5, 38][5, 42][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :35 37 340 37 5 Irecv 6 0 37{[5, 38][5, 43][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :34 38 341 38 5 WaitAll{[5, 39][5, 40][5, 41][5, 42][5, 43][5, 44][5, 46][5, 47][5, 48][5, 49][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 39 352 39 5 Ssend 0 1{[5, 45]} {} Matched with process :0 transition :66 40 394 40 5 Isend 4 0 40{[5, 44][5, 46][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :43 41 395 41 5 Irecv 4 0 41{[5, 44][5, 47][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :42 42 396 42 5 Isend 6 0 42{[5, 44][5, 48][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :41 43 397 43 5 Irecv 6 0 43{[5, 44][5, 49][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :40 44 398 44 5 WaitAll{[5, 45][5, 46][5, 47][5, 48][5, 49][5, 50][5, 52][5, 53][5, 54][5, 55][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 45 409 45 5 Ssend 0 1{[5, 51]} {} Matched with process :0 transition :77 46 451 46 5 Isend 4 0 46{[5, 50][5, 52][5, 58][5, 67]} {} Matched with process :4 transition :49 47 452 47 5 Irecv 4 0 47{[5, 50][5, 53][5, 59][5, 67]} {} Matched with process :4 transition :48 48 453 48 5 Isend 6 0 48{[5, 50][5, 54][5, 60][5, 67]} {} Matched with process :6 transition :47 49 454 49 5 Irecv 6 0 49{[5, 50][5, 55][5, 61][5, 67]} {} Matched with process :6 transition :46 50 455 50 5 WaitAll{[5, 51][5, 52][5, 53][5, 54][5, 55][5, 56][5, 58][5, 59][5, 60][5, 61][5, 64][5, 65]} {} 51 466 51 5 Ssend 0 1{[5, 57]} {} Matched with process :0 transition :88 52 508 52 5 Isend 4 0 52{[5, 56][5, 58][5, 67]} {} Matched with process :4 transition :55 53 509 53 5 Irecv 4 0 No resource leaks detected, 68 MPI calls made No resource leaks detected, 68 MPI calls made No resource leaks detected, 68 MPI calls made No resource leaks detected, 68 MPI calls made No resource leaks detected, 68 MPI calls made 53{[5, 56][5, 59][5, 67]} {} Matched with process :4 transition :54 54 510 54 5 Isend 6 0 54{[5, 56][5, 60][5, 67]} {} Matched with process :6 transition :53 55 511 55 5 Irecv 6 0 55{[5, 56][5, 61][5, 67]} {} Matched with process :6 transition :52 56 512 56 5 WaitAll{[5, 57][5, 58][5, 59][5, 60][5, 61][5, 62][5, 64][5, 65]} {} 57 523 57 5 Ssend 0 1{[5, 63]} {} Matched with process :0 transition :99 58 565 58 5 Isend 4 0 58{[5, 62][5, 67]} {} Matched with process :4 transition :61 59 566 59 5 Irecv 4 0 59{[5, 62][5, 67]} {} Matched with process :4 transition :60 60 567 60 5 Isend 6 0 60{[5, 62][5, 67]} {} Matched with process :6 transition :59 61 568 61 5 Irecv 6 0 61{[5, 62][5, 67]} {} Matched with process :6 transition :58 62 569 62 5 WaitAll{[5, 63][5, 64][5, 65][5, 67]} {} 63 580 63 5 Ssend 0 1{[5, 66][5, 67]} {} Matched with process :0 transition :110 64 606 64 5 Reduce 1{[5, 67]} {} 65 621 65 5 Comm_free 1{[5, 67]} {} 66 630 66 5 Comm_free 2{[5, 67]} {} 67 639 67 5 Finalize{} {} Transition list for 6 0 7 0 6 Bcast 0{[6, 1]} {} 1 16 1 6 Bcast 0{[6, 2]} {} 2 25 2 6 Comm_dup 1{[6, 3]} {} 3 34 3 6 Comm_dup 2{[6, 64]} {} 4 43 4 6 Isend 5 0 4{[6, 8][6, 10][6, 16][6, 22][6, 28][6, 34][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :7 5 52 5 6 Irecv 5 0 5{[6, 8][6, 11][6, 17][6, 23][6, 29][6, 35][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :6 6 61 6 6 Isend 7 0 6{[6, 8][6, 12][6, 18][6, 24][6, 30][6, 36][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :5 7 69 7 6 Irecv 7 0 7{[6, 8][6, 13][6, 19][6, 25][6, 31][6, 37][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :4 8 76 8 6 WaitAll{[6, 9][6, 10][6, 11][6, 12][6, 13][6, 14][6, 16][6, 17][6, 18][6, 19][6, 22][6, 23][6, 24][6, 25][6, 28][6, 29][6, 30][6, 31][6, 34][6, 35][6, 36][6, 37][6, 40][6, 41][6, 42][6, 43][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 9 117 9 6 Ssend 0 1{[6, 15]} {} Matched with process :0 transition :12 10 119 10 6 Isend 5 0 10{[6, 14][6, 16][6, 22][6, 28][6, 34][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :13 11 120 11 6 Irecv 5 0 11{[6, 14][6, 17][6, 23][6, 29][6, 35][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :12 12 121 12 6 Isend 7 0 12{[6, 14][6, 18][6, 24][6, 30][6, 36][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :11 13 122 13 6 Irecv 7 0 13{[6, 14][6, 19][6, 25][6, 31][6, 37][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :10 14 123 14 6 WaitAll{[6, 15][6, 16][6, 17][6, 18][6, 19][6, 20][6, 22][6, 23][6, 24][6, 25][6, 28][6, 29][6, 30][6, 31][6, 34][6, 35][6, 36][6, 37][6, 40][6, 41][6, 42][6, 43][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 15 174 15 6 Ssend 0 1{[6, 21]} {} Matched with process :0 transition :23 16 176 16 6 Isend 5 0 16{[6, 20][6, 22][6, 28][6, 34][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :19 17 177 17 6 Irecv 5 0 17{[6, 20][6, 23][6, 29][6, 35][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :18 18 178 18 6 Isend 7 0 18{[6, 20][6, 24][6, 30][6, 36][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :17 19 179 19 6 Irecv 7 0 19{[6, 20][6, 25][6, 31][6, 37][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :16 20 180 20 6 WaitAll{[6, 21][6, 22][6, 23][6, 24][6, 25][6, 26][6, 28][6, 29][6, 30][6, 31][6, 34][6, 35][6, 36][6, 37][6, 40][6, 41][6, 42][6, 43][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 21 231 21 6 Ssend 0 1{[6, 27]} {} Matched with process :0 transition :34 22 233 22 6 Isend 5 0 22{[6, 26][6, 28][6, 34][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :25 23 234 23 6 Irecv 5 0 23{[6, 26][6, 29][6, 35][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :24 24 235 24 6 Isend 7 0 24{[6, 26][6, 30][6, 36][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :23 25 236 25 6 Irecv 7 0 25{[6, 26][6, 31][6, 37][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :22 26 237 26 6 WaitAll{[6, 27][6, 28][6, 29][6, 30][6, 31][6, 32][6, 34][6, 35][6, 36][6, 37][6, 40][6, 41][6, 42][6, 43][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 27 288 27 6 Ssend 0 1{[6, 33]} {} Matched with process :0 transition :45 28 290 28 6 Isend 5 0 28{[6, 32][6, 34][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :31 29 291 29 6 Irecv 5 0 29{[6, 32][6, 35][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :30 30 292 30 6 Isend 7 0 30{[6, 32][6, 36][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :29 31 293 31 6 Irecv 7 0 31{[6, 32][6, 37][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :28 32 294 32 6 WaitAll{[6, 33][6, 34][6, 35][6, 36][6, 37][6, 38][6, 40][6, 41][6, 42][6, 43][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 33 345 33 6 Ssend 0 1{[6, 39]} {} Matched with process :0 transition :56 34 347 34 6 Isend 5 0 34{[6, 38][6, 40][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :37 35 348 35 6 Irecv 5 0 35{[6, 38][6, 41][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :36 36 349 36 6 Isend 7 0 36{[6, 38][6, 42][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :35 37 350 37 6 Irecv 7 0 37{[6, 38][6, 43][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :34 38 351 38 6 WaitAll{[6, 39][6, 40][6, 41][6, 42][6, 43][6, 44][6, 46][6, 47][6, 48][6, 49][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 39 402 39 6 Ssend 0 1{[6, 45]} {} Matched with process :0 transition :67 40 404 40 6 Isend 5 0 40{[6, 44][6, 46][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :43 41 405 41 6 Irecv 5 0 41{[6, 44][6, 47][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :42 42 406 42 6 Isend 7 0 42{[6, 44][6, 48][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :41 43 407 43 6 Irecv 7 0 43{[6, 44][6, 49][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :40 44 408 44 6 WaitAll{[6, 45][6, 46][6, 47][6, 48][6, 49][6, 50][6, 52][6, 53][6, 54][6, 55][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 45 459 45 6 Ssend 0 1{[6, 51]} {} Matched with process :0 transition :78 46 461 46 6 Isend 5 0 46{[6, 50][6, 52][6, 58][6, 67]} {} Matched with process :5 transition :49 47 462 47 6 Irecv 5 0 47{[6, 50][6, 53][6, 59][6, 67]} {} Matched with process :5 transition :48 48 463 48 6 Isend 7 0 48{[6, 50][6, 54][6, 60][6, 67]} {} Matched with process :7 transition :47 49 464 49 6 Irecv 7 0 49{[6, 50][6, 55][6, 61][6, 67]} {} Matched with process :7 transition :46 50 465 50 6 WaitAll{[6, 51][6, 52][6, 53][6, 54][6, 55][6, 56][6, 58][6, 59][6, 60][6, 61][6, 64][6, 65]} {} 51 516 51 6 Ssend 0 1{[6, 57]} {} Matched with process :0 transition :89 52 518 52 6 Isend 5 0 52{[6, 56][6, 58][6, 67]} {} Matched with process :5 transition :55 53 519 53 6 Irecv 5 0 53{[6, 56][6, 59][6, 67]} {} Matched with process :5 transition :54 54 520 54 6 Isend 7 0 54{[6, 56][6, 60][6, 67]} {} Matched with process :7 transition :53 55 521 55 6 Irecv 7 0 55{[6, 56][6, 61][6, 67]} {} Matched with process :7 transition :52 56 522 56 6 WaitAll{[6, 57][6, 58][6, 59][6, 60][6, 61][6, 62][6, 64][6, 65]} {} 57 573 57 6 Ssend 0 1{[6, 63]} {} Matched with process :0 transition :100 58 575 58 6 Isend 5 0 58{[6, 62][6, 67]} {} Matched with process :5 transition :61 59 576 59 6 Irecv 5 0 59{[6, 62][6, 67]} {} Matched with process :5 transition :60 60 577 60 6 Isend 7 0 60{[6, 62][6, 67]} {} Matched with process :7 transition :59 61 578 61 6 Irecv 7 0 61{[6, 62][6, 67]} {} Matched with process :7 transition :58 62 579 62 6 WaitAll{[6, 63][6, 64][6, 65][6, 67]} {} 63 607 63 6 Ssend 0 1{[6, 66][6, 67]} {} Matched with process :0 transition :111 64 609 64 6 Reduce 1{[6, 67]} {} 65 622 65 6 Comm_free 1{[6, 67]} {} 66 631 66 6 Comm_free 2{[6, 67]} {} 67 640 67 6 Finalize{} {} Transition list for 7 0 8 0 7 Bcast 0{[7, 1]} {} 1 17 1 7 Bcast 0{[7, 2]} {} 2 26 2 7 Comm_dup 1{[7, 3]} {} 3 35 3 7 Comm_dup 2{[7, 64]} {} 4 44 4 7 Isend 6 0 4{[7, 8][7, 10][7, 16][7, 22][7, 28][7, 34][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :7 5 53 5 7 Irecv 6 0 5{[7, 8][7, 11][7, 17][7, 23][7, 29][7, 35][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :6 6 62 6 7 Isend 8 0 6{[7, 8][7, 12][7, 18][7, 24][7, 30][7, 36][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :5 7 70 7 7 Irecv 8 0 7{[7, 8][7, 13][7, 19][7, 25][7, 31][7, 37][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :4 8 77 8 7 WaitAll{[7, 9][7, 10][7, 11][7, 12][7, 13][7, 14][7, 16][7, 17][7, 18][7, 19][7, 22][7, 23][7, 24][7, 25][7, 28][7, 29][7, 30][7, 31][7, 34][7, 35][7, 36][7, 37][7, 40][7, 41][7, 42][7, 43][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 9 125 9 7 Ssend 0 1{[7, 15]} {} Matched with process :0 transition :13 10 128 10 7 Isend 6 0 10{[7, 14][7, 16][7, 22][7, 28][7, 34][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :13 11 129 11 7 Irecv 6 0 11{[7, 14][7, 17][7, 23][7, 29][7, 35][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :12 12 130 12 7 Isend 8 0 12{[7, 14][7, 18][7, 24][7, 30][7, 36][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :9 13 131 13 7 Irecv 8 0 13{[7, 14][7, 19][7, 25][7, 31][7, 37][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :8 14 132 14 7 WaitAll{[7, 15][7, 16][7, 17][7, 18][7, 19][7, 20][7, 22][7, 23][7, 24][7, 25][7, 28][7, 29][7, 30][7, 31][7, 34][7, 35][7, 36][7, 37][7, 40][7, 41][7, 42][7, 43][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 15 182 15 7 Ssend 0 1{[7, 21]} {} Matched with process :0 transition :24 16 185 16 7 Isend 6 0 16{[7, 20][7, 22][7, 28][7, 34][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :19 17 186 17 7 Irecv 6 0 17{[7, 20][7, 23][7, 29][7, 35][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :18 18 187 18 7 Isend 8 0 18{[7, 20][7, 24][7, 30][7, 36][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :13 19 188 19 7 Irecv 8 0 19{[7, 20][7, 25][7, 31][7, 37][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :12 20 189 20 7 WaitAll{[7, 21][7, 22][7, 23][7, 24][7, 25][7, 26][7, 28][7, 29][7, 30][7, 31][7, 34][7, 35][7, 36][7, 37][7, 40][7, 41][7, 42][7, 43][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 21 239 21 7 Ssend 0 1{[7, 27]} {} Matched with process :0 transition :35 22 242 22 7 Isend 6 0 22{[7, 26][7, 28][7, 34][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :25 23 243 23 7 Irecv 6 0 23{[7, 26][7, 29][7, 35][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :24 24 244 24 7 Isend 8 0 24{[7, 26][7, 30][7, 36][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :17 25 245 25 7 Irecv 8 0 25{[7, 26][7, 31][7, 37][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :16 26 246 26 7 WaitAll{[7, 27][7, 28][7, 29][7, 30][7, 31][7, 32][7, 34][7, 35][7, 36][7, 37][7, 40][7, 41][7, 42][7, 43][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 27 296 27 7 Ssend 0 1{[7, 33]} {} Matched with process :0 transition :46 28 299 28 7 Isend 6 0 28{[7, 32][7, 34][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :31 29 300 29 7 Irecv 6 0 29{[7, 32][7, 35][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :30 30 301 30 7 Isend 8 0 30{[7, 32][7, 36][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :21 31 302 31 7 Irecv 8 0 31{[7, 32][7, 37][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :20 32 303 32 7 WaitAll{[7, 33][7, 34][7, 35][7, 36][7, 37][7, 38][7, 40][7, 41][7, 42][7, 43][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 33 353 33 7 Ssend 0 1{[7, 39]} {} Matched with process :0 transition :57 34 356 34 7 Isend 6 0 34{[7, 38][7, 40][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :37 35 357 35 7 Irecv 6 0 35{[7, 38][7, 41][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :36 36 358 36 7 Isend 8 0 36{[7, 38][7, 42][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :25 37 359 37 7 Irecv 8 0 37{[7, 38][7, 43][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :24 38 360 38 7 WaitAll{[7, 39][7, 40][7, 41][7, 42][7, 43][7, 44][7, 46][7, 47][7, 48][7, 49][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 39 410 39 7 Ssend 0 1{[7, 45]} {} Matched with process :0 transition :68 40 413 40 7 Isend 6 0 40{[7, 44][7, 46][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :43 41 414 41 7 Irecv 6 0 41{[7, 44][7, 47][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :42 42 415 42 7 Isend 8 0 42{[7, 44][7, 48][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :29 43 416 43 7 Irecv 8 0 43{[7, 44][7, 49][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :28 44 417 44 7 WaitAll{[7, 45][7, 46][7, 47][7, 48][7, 49][7, 50][7, 52][7, 53][7, 54][7, 55][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 45 467 45 7 Ssend 0 1{[7, 51]} {} Matched with process :0 transition :79 46 470 46 7 Isend 6 0 46{[7, 50][7, 52][7, 58][7, 67]} {} Matched with process :6 transition :49 47 471 47 7 Irecv 6 0 47{[7, 50][7, 53][7, 59][7, 67]} {} Matched with process :6 transition :48 48 472 48 7 Isend 8 0 48{[7, 50][7, 54][7, 60][7, 67]} {} Matched with process :8 transition :33 49 473 49 7 Irecv 8 0 49{[7, 50][7, 55][7, 61][7, 67]} {} Matched with process :8 transition :32 50 474 50 7 WaitAll{[7, 51][7, 52][7, 53][7, 54][7, 55][7, 56][7, 58][7, 59][7, 60][7, 61][7, 64][7, 65]} {} 51 524 51 7 Ssend 0 1{[7, 57]} {} Matched with process :0 transition :90 52 527 52 7 Isend 6 0 52{[7, 56][7, 58][7, 67]} {} Matched with process :6 transition :55 53 528 53 7 Irecv 6 0 53{[7, 56][7, 59][7, 67]} {} Matched with process :6 transition :54 54 529 54 7 Isend 8 0 54{[7, 56][7, 60][7, 67]} {} Matched with process :8 transition :37 55 530 55 7 Irecv 8 0 55{[7, 56][7, 61][7, 67]} {} Matched with process :8 transition :36 56 531 56 7 WaitAll{[7, 57][7, 58][7, 59][7, 60][7, 61][7, 62][7, 64][7, 65]} {} 57 581 57 7 Ssend 0 1{[7, 63]} {} Matched with process :0 transition :101 58 584 58 7 Isend 6 0 58{[7, 62][7, 67]} {} Matched with process :6 transition :61 59 585 59 7 Irecv 6 0 59{[7, 62][7, 67]} {} Matched with process :6 transition :60 60 586 60 7 Isend 8 0 60{[7, 62][7, 67]} {} Matched with process :8 transition :41 61 587 61 7 Irecv 8 0 61{[7, 62][7, 67]} {} Matched with process :8 transition :40 62 588 62 7 WaitAll{[7, 63][7, 64][7, 65][7, 67]} {} 63 610 63 7 Ssend 0 1{[7, 66][7, 67]} {} Matched with process :0 transition :112 64 613 64 7 Reduce 1{[7, 67]} {} 65 623 65 7 Comm_free 1{[7, 67]} {} 66 632 66 7 Comm_free 2{[7, 67]} {} 67 641 67 7 Finalize{} {} Transition list for 8 0 9 0 8 Bcast 0{[8, 1]} {} 1 18 1 8 Bcast 0{[8, 2]} {} 2 27 2 8 Comm_dup 1{[8, 3]} {} 3 36 3 8 Comm_dup 2{[8, 44]} {} 4 45 4 8 Isend 7 0 4{[8, 6][8, 8][8, 12][8, 16][8, 20][8, 24][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :7 5 54 5 8 Irecv 7 0 5{[8, 6][8, 9][8, 13][8, 17][8, 21][8, 25][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :6 6 63 6 8 WaitAll{[8, 7][8, 8][8, 9][8, 10][8, 12][8, 13][8, 16][8, 17][8, 20][8, 21][8, 24][8, 25][8, 28][8, 29][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 7 126 7 8 Ssend 0 1{[8, 11]} {} Matched with process :0 transition :14 8 134 8 8 Isend 7 0 8{[8, 10][8, 12][8, 16][8, 20][8, 24][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :13 9 136 9 8 Irecv 7 0 9{[8, 10][8, 13][8, 17][8, 21][8, 25][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :12 10 138 10 8 WaitAll{[8, 11][8, 12][8, 13][8, 14][8, 16][8, 17][8, 20][8, 21][8, 24][8, 25][8, 28][8, 29][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 11 183 11 8 Ssend 0 1{[8, 15]} {} Matched with process :0 transition :25 12 191 12 8 Isend 7 0 12{[8, 14][8, 16][8, 20][8, 24][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :19 13 193 13 8 Irecv 7 0 13{[8, 14][8, 17][8, 21][8, 25][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :18 14 195 14 8 WaitAll{[8, 15][8, 16][8, 17][8, 18][8, 20][8, 21][8, 24][8, 25][8, 28][8, 29][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 15 240 15 8 Ssend 0 1{[8, 19]} {} Matched with process :0 transition :36 16 248 16 8 Isend 7 0 16{[8, 18][8, 20][8, 24][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :25 17 250 17 8 Irecv 7 0 17{[8, 18][8, 21][8, 25][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :24 18 252 18 8 WaitAll{[8, 19][8, 20][8, 21][8, 22][8, 24][8, 25][8, 28][8, 29][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 19 297 19 8 Ssend 0 1{[8, 23]} {} Matched with process :0 transition :47 20 305 20 8 Isend 7 0 20{[8, 22][8, 24][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :31 21 307 21 8 Irecv 7 0 21{[8, 22][8, 25][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :30 22 309 22 8 WaitAll{[8, 23][8, 24][8, 25][8, 26][8, 28][8, 29][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 23 354 23 8 Ssend 0 1{[8, 27]} {} Matched with process :0 transition :58 24 362 24 8 Isend 7 0 24{[8, 26][8, 28][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :37 25 364 25 8 Irecv 7 0 25{[8, 26][8, 29][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :36 26 366 26 8 WaitAll{[8, 27][8, 28][8, 29][8, 30][8, 32][8, 33][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 27 411 27 8 Ssend 0 1{[8, 31]} {} Matched with process :0 transition :69 28 419 28 8 Isend 7 0 28{[8, 30][8, 32][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :43 29 421 29 8 Irecv 7 0 29{[8, 30][8, 33][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :42 30 423 30 8 WaitAll{[8, 31][8, 32][8, 33][8, 34][8, 36][8, 37][8, 40][8, 41][8, 44][8, 45]} {} 31 468 31 8 Ssend 0 1{[8, 35]} {} Matched with process :0 transition :80 32 476 32 8 Isend 7 0 32{[8, 34][8, 36][8, 40][8, 47]} {} Matched with process :7 transition :49 33 478 33 8 Irecv 7 0 33{[8, 34][8, 37][8, 41][8, 47]} {} Matched with process :7 transition :48 34 480 34 8 WaitAll{[8, 35][8, 36][8, 37][8, 38][8, 40][8, 41][8, 44][8, 45]} {} 35 525 35 8 Ssend 0 1{[8, 39]} {} Matched with process :0 transition :91 36 533 36 8 Isend 7 0 36{[8, 38][8, 40][8, 47]} {} Matched with process :7 transition :55 37 535 37 8 Irecv 7 0 37{[8, 38][8, 41][8, 47]} {} Matched with process :7 transition :54 38 537 38 8 WaitAll{[8, 39][8, 40][8, 41][8, 42][8, 44][8, 45]} {} 39 582 39 8 Ssend 0 1{[8, 43]} {} Matched with process :0 transition :102 40 590 40 8 Isend 7 0 40{[8, 42][8, 47]} {} Matched with process :7 transition :61 41 592 41 8 Irecv 7 0 41{[8, 42][8, 47]} {} Matched with process :7 transition :60 42 594 42 8 WaitAll{[8, 43][8, 44][8, 45][8, 47]} {} 43 611 43 8 Ssend 0 1{[8, 46][8, 47]} {} Matched with process :0 transition :113 44 615 44 8 Reduce 1{[8, 47]} {} 45 624 45 8 Comm_free 1{[8, 47]} {} 46 633 46 8 Comm_free 2{[8, 47]} {} 47 642 47 8 Finalize{} {} NO MORE INTERLEAVINGS!!! Total Interleavings = 1