3 $ ${bindir:=.}/../../../bin/simgrid
4 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
5 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
6 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
7 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
8 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
9 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
10 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
11 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
12 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
13 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
14 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
15 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
16 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
17 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
18 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
19 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
20 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
21 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
22 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
23 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
24 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
25 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
26 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
27 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
28 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
29 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
30 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
31 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
32 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
33 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
34 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
35 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
36 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
37 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
38 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
39 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
40 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
41 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
42 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
43 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
44 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
45 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
46 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
47 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
48 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
49 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
50 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
51 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
52 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
53 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
54 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
55 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
56 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
57 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
58 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
59 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
60 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
61 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
62 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
63 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
64 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
65 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
66 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
67 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
68 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
69 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
70 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
71 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
72 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
73 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
74 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
75 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
76 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
77 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
78 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
79 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
80 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
81 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
82 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
83 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
84 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
85 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
86 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
87 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
88 > [HostC:client:(3) 0.000000] [electric_fence/INFO] Sent!
89 > [HostA:server:(1) 0.000000] [electric_fence/INFO] OK
90 > [HostB:client:(2) 0.000000] [electric_fence/INFO] Sent!
91 > [0.000000] [mc_dfs/INFO] DFS exploration ended. 169 unique states visited; 29 backtracks (261 transition replays, 64 states visited overall)
