> ../../scheduler/isp -n 3 ./any_src-can-deadlock2.exe
ISP - Insitu Partial Order
-----------------------------------------
Executable:     ./any_src-can-deadlock2.exe
Arguments:      
Number Procs:   3
Server:         localhost:9999
Blocking Sends: Disabled
-----------------------------------------
Started Process: 11190
(1) is alive on michael-ubuntu
(0) is alive on michael-ubuntu
(2) is alive on michael-ubuntu
No resource leaks detected, 6 MPI calls made
No resource leaks detected, 5 MPI calls made
(1) Finished normally
No resource leaks detected, 4 MPI calls made
(0) Finished normally
INTERLEAVING :1
Started Process: 11199
(2) Finished normally
(0) is alive on michael-ubuntu
(1) is alive on michael-ubuntu
(2) is alive on michael-ubuntu
INTERLEAVING :2
NO MORE INTERLEAVINGS!!!
Total Interleavings = 2
No resource leaks detected, 6 MPI calls made
No resource leaks detected, 5 MPI calls made
(1) Finished normally
(0) Finished normally
No resource leaks detected, 4 MPI calls made
(2) Finished normally