-> [0.000000] [mc_global/INFO] [(1)node-0.simgrid.org (0)] iSend(src=(1)node-0.simgrid.org (0), buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_global/INFO] [(2)node-1.simgrid.org (1)] iSend(src=(2)node-1.simgrid.org (1), buff=(verbose only), size=(verbose only))
-> [0.000000] [mc_record/INFO] Path = 1;2
-> [0.000000] [mc_safety/INFO] Expanded states = 3
-> [0.000000] [mc_safety/INFO] Visited states = 3
-> [0.000000] [mc_safety/INFO] Executed transitions = 2
+> [0.000000] [mc_global/INFO] 1: iSend(mbox=2)
+> [0.000000] [mc_global/INFO] 2: iSend(mbox=0)
+> [0.000000] [Api/INFO] Path = 1;2
+> [0.000000] [mc_safety/INFO] 3 unique states visited; 1 backtracks (3 transition replays, 0 states visited overall)