proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.
proof mpich/Umpire_Tests> /opt/mpich/ch-p4/bin/mpirun -n 3 ./any_src-waitall-deadlock2.exe
(0) is alive on proof.cs.utah.edu
(2) is alive on proof.cs.utah.edu
(1) is alive on proof.cs.utah.edu
Killed by signal 2.
Killed by signal 2.