> Sent 1 to rank 0
> rank 0 recv the data
> rank 1 recv the data
-> Sent 0 to rank 1
-> Sent 1 to rank 0
-> rank 0 recv the data
-> rank 1 recv the data
-> Sent 0 to rank 1
-> Sent 1 to rank 0
-> rank 1 recv the data
-> rank 0 recv the data
> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 0 recv the data
-> rank 1 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 0 recv the data
-> rank 1 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 1 recv the data
-> rank 0 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 0 recv the data
-> rank 1 recv the data
-> Sent 1 to rank 0
-> Sent 0 to rank 1
-> rank 1 recv the data
-> rank 0 recv the data
-> [0.000000] [mc_dfs/INFO] DFS exploration ended. 30 unique states visited; 7 backtracks (19 transition replays, 56 states visited overall)
+> [0.000000] [mc_dfs/INFO] DFS exploration ended. 9 unique states visited; 1 backtracks (0 transition replays, 10 states visited overall)
p Testing the paranoid model
! timeout 60
