> ../../scheduler/isp -n 3 ./any_src-waitall-deadlock3.exe
ISP - Insitu Partial Order
-----------------------------------------
Executable:     ./any_src-waitall-deadlock3.exe
Arguments:      
Number Procs:   3
Server:         localhost:9999
Blocking Sends: Disabled
-----------------------------------------
Started Process: 10720
(0) is alive on michael-ubuntu
(1) is alive on michael-ubuntu
(2) is alive on michael-ubuntu
INTERLEAVING :1

Transition list for 0
0 1 0 0 Barrier 1{[0, 1][0, 2]} {}
1 4 1 0 Irecv -1 0 1{[0, 2][0, 3]} {}	 Matched with  process :1 transition :1
2 7 2 0 Irecv -1 0 2{[0, 3]} {}
3 9 3 0 WaitAll{} {}


Transition list for 1
0 2 0 1 Barrier 1{[1, 1][1, 2][1, 4]} {}
1 5 1 1 Isend 0 0 1{[1, 3]} {}	 Matched with  process :0 transition :1
2 8 2 1 Isend 2 1 2{[1, 3]} {}	 Matched with  process :2 transition :1
3 10 3 1 WaitAll{} {}
4 12 4 1 Recv 0 1{} {}


Transition list for 2
0 3 0 2 Barrier 1{[2, 1]} {}
1 6 1 2 Recv 1 1{[2, 2]} {}	 Matched with  process :1 transition :2
2 11 2 2 Barrier 2{} {}

No Matching found!!!
Deadlock Detected!!!
Killing program any_src-waitall-deadlock3.exe
rank 0 in job 1262  michael-ubuntu_58126   caused collective abort of all ranks
  exit status of rank 0: return code 1