> [ 0.000000] (0:maestro@) 2: iSend(mbox=0)
> [ 0.000000] (0:maestro@) 1: WaitComm(from 2 to 1, mbox=0, no timeout)
> [ 0.000000] (0:maestro@) Path = 1;3;1;1;2;1
-> [ 0.000000] (0:maestro@) Expanded states = 18
-> [ 0.000000] (0:maestro@) Visited states = 36
-> [ 0.000000] (0:maestro@) Executed transitions = 18
+> [ 0.000000] (0:maestro@) 18 unique states visited; 4 backtracks (36 transition replays, 14 states visited overall)