5 $ ${bindir:=.}/../../../bin/simgrid-mc ${bindir:=.}/s4u-mc-bugged2 ${platfdir:=.}/model_checker_platform.xml "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n" --log=xbt_cfg.thresh:warning --cfg=contexts/stack-size:256
6 > [ 0.000000] (0:maestro@) Start a DFS exploration. Reduction is: dpor.
7 > [ 0.000000] (1:server@HostA) First pair received: 1 1
8 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
9 > [ 0.000000] (1:server@HostA) First pair received: 1 1
10 > [ 0.000000] (1:server@HostA) First pair received: 1 1
11 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
12 > [ 0.000000] (1:server@HostA) First pair received: 1 1
13 > [ 0.000000] (1:server@HostA) First pair received: 1 1
14 > [ 0.000000] (1:server@HostA) First pair received: 1 1
15 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
16 > [ 0.000000] (1:server@HostA) First pair received: 1 1
17 > [ 0.000000] (1:server@HostA) First pair received: 1 1
18 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
19 > [ 0.000000] (1:server@HostA) First pair received: 1 1
20 > [ 0.000000] (1:server@HostA) First pair received: 1 1
21 > [ 0.000000] (1:server@HostA) First pair received: 1 2
22 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
23 > [ 0.000000] (1:server@HostA) First pair received: 1 2
24 > [ 0.000000] (1:server@HostA) First pair received: 1 2
25 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
26 > [ 0.000000] (1:server@HostA) First pair received: 1 2
27 > [ 0.000000] (1:server@HostA) First pair received: 1 2
28 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
29 > [ 0.000000] (1:server@HostA) First pair received: 1 2
30 > [ 0.000000] (1:server@HostA) First pair received: 1 2
31 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
32 > [ 0.000000] (1:server@HostA) First pair received: 1 2
33 > [ 0.000000] (1:server@HostA) First pair received: 1 2
34 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
35 > [ 0.000000] (1:server@HostA) First pair received: 1 2
36 > [ 0.000000] (1:server@HostA) First pair received: 1 2
37 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
38 > [ 0.000000] (1:server@HostA) First pair received: 1 2
39 > [ 0.000000] (1:server@HostA) First pair received: 1 2
40 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
41 > [ 0.000000] (1:server@HostA) First pair received: 1 2
42 > [ 0.000000] (1:server@HostA) First pair received: 1 2
43 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
44 > [ 0.000000] (1:server@HostA) First pair received: 1 2
45 > [ 0.000000] (1:server@HostA) First pair received: 1 2
46 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
47 > [ 0.000000] (1:server@HostA) First pair received: 1 2
48 > [ 0.000000] (1:server@HostA) First pair received: 1 2
49 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
50 > [ 0.000000] (1:server@HostA) First pair received: 1 2
51 > [ 0.000000] (1:server@HostA) First pair received: 1 2
52 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
53 > [ 0.000000] (1:server@HostA) First pair received: 1 2
54 > [ 0.000000] (1:server@HostA) First pair received: 1 2
55 > [ 0.000000] (1:server@HostA) First pair received: 1 2
56 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
57 > [ 0.000000] (1:server@HostA) First pair received: 1 2
58 > [ 0.000000] (1:server@HostA) First pair received: 1 2
59 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
60 > [ 0.000000] (1:server@HostA) First pair received: 1 2
61 > [ 0.000000] (1:server@HostA) First pair received: 1 2
62 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
63 > [ 0.000000] (1:server@HostA) First pair received: 1 2
64 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
65 > [ 0.000000] (1:server@HostA) First pair received: 1 2
66 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
67 > [ 0.000000] (1:server@HostA) First pair received: 1 2
68 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
69 > [ 0.000000] (1:server@HostA) First pair received: 1 2
70 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
71 > [ 0.000000] (1:server@HostA) First pair received: 1 2
72 > [ 0.000000] (1:server@HostA) First pair received: 1 2
73 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
74 > [ 0.000000] (1:server@HostA) First pair received: 1 2
75 > [ 0.000000] (1:server@HostA) First pair received: 1 2
76 > [ 0.000000] (1:server@HostA) First pair received: 1 1
77 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
78 > [ 0.000000] (1:server@HostA) First pair received: 1 1
79 > [ 0.000000] (1:server@HostA) First pair received: 1 1
80 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
81 > [ 0.000000] (1:server@HostA) First pair received: 1 1
82 > [ 0.000000] (1:server@HostA) First pair received: 1 1
83 > [ 0.000000] (1:server@HostA) First pair received: 1 1
84 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
85 > [ 0.000000] (1:server@HostA) First pair received: 1 1
86 > [ 0.000000] (1:server@HostA) First pair received: 1 1
87 > [ 0.000000] (1:server@HostA) Second pair received: 2 2
88 > [ 0.000000] (1:server@HostA) First pair received: 1 1
89 > [ 0.000000] (1:server@HostA) First pair received: 1 1
90 > [ 0.000000] (1:server@HostA) First pair received: 1 2
91 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
92 > [ 0.000000] (1:server@HostA) First pair received: 1 2
93 > [ 0.000000] (1:server@HostA) First pair received: 1 2
94 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
95 > [ 0.000000] (1:server@HostA) First pair received: 1 2
96 > [ 0.000000] (1:server@HostA) First pair received: 1 2
97 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
98 > [ 0.000000] (1:server@HostA) First pair received: 1 2
99 > [ 0.000000] (1:server@HostA) First pair received: 1 2
100 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
101 > [ 0.000000] (1:server@HostA) First pair received: 1 2
102 > [ 0.000000] (1:server@HostA) First pair received: 1 2
103 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
104 > [ 0.000000] (1:server@HostA) First pair received: 1 2
105 > [ 0.000000] (1:server@HostA) First pair received: 1 2
106 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
107 > [ 0.000000] (1:server@HostA) First pair received: 1 2
108 > [ 0.000000] (1:server@HostA) First pair received: 1 2
109 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
110 > [ 0.000000] (1:server@HostA) First pair received: 1 2
111 > [ 0.000000] (1:server@HostA) First pair received: 1 2
112 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
113 > [ 0.000000] (1:server@HostA) First pair received: 1 2
114 > [ 0.000000] (1:server@HostA) First pair received: 1 2
115 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
116 > [ 0.000000] (1:server@HostA) First pair received: 1 2
117 > [ 0.000000] (1:server@HostA) First pair received: 1 2
118 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
119 > [ 0.000000] (1:server@HostA) First pair received: 1 2
120 > [ 0.000000] (1:server@HostA) First pair received: 1 2
121 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
122 > [ 0.000000] (1:server@HostA) First pair received: 1 2
123 > [ 0.000000] (1:server@HostA) First pair received: 1 2
124 > [ 0.000000] (1:server@HostA) First pair received: 1 2
125 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
126 > [ 0.000000] (1:server@HostA) First pair received: 1 2
127 > [ 0.000000] (1:server@HostA) First pair received: 1 2
128 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
129 > [ 0.000000] (1:server@HostA) First pair received: 1 2
130 > [ 0.000000] (1:server@HostA) First pair received: 1 2
131 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
132 > [ 0.000000] (1:server@HostA) First pair received: 1 2
133 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
134 > [ 0.000000] (1:server@HostA) First pair received: 1 2
135 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
136 > [ 0.000000] (1:server@HostA) First pair received: 1 2
137 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
138 > [ 0.000000] (1:server@HostA) First pair received: 1 2
139 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
140 > [ 0.000000] (1:server@HostA) First pair received: 1 2
141 > [ 0.000000] (1:server@HostA) First pair received: 1 2
142 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
143 > [ 0.000000] (1:server@HostA) First pair received: 1 2
144 > [ 0.000000] (1:server@HostA) First pair received: 1 2
145 > [ 0.000000] (1:server@HostA) First pair received: 2 1
146 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
147 > [ 0.000000] (1:server@HostA) First pair received: 2 1
148 > [ 0.000000] (1:server@HostA) First pair received: 2 1
149 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
150 > [ 0.000000] (1:server@HostA) First pair received: 2 1
151 > [ 0.000000] (1:server@HostA) First pair received: 2 1
152 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
153 > [ 0.000000] (1:server@HostA) First pair received: 2 1
154 > [ 0.000000] (1:server@HostA) First pair received: 2 1
155 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
156 > [ 0.000000] (1:server@HostA) First pair received: 2 1
157 > [ 0.000000] (1:server@HostA) First pair received: 2 1
158 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
159 > [ 0.000000] (1:server@HostA) First pair received: 2 1
160 > [ 0.000000] (1:server@HostA) First pair received: 2 1
161 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
162 > [ 0.000000] (1:server@HostA) First pair received: 2 1
163 > [ 0.000000] (1:server@HostA) First pair received: 2 1
164 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
165 > [ 0.000000] (1:server@HostA) First pair received: 2 1
166 > [ 0.000000] (1:server@HostA) First pair received: 2 1
167 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
168 > [ 0.000000] (1:server@HostA) First pair received: 2 1
169 > [ 0.000000] (1:server@HostA) First pair received: 2 1
170 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
171 > [ 0.000000] (1:server@HostA) First pair received: 2 1
172 > [ 0.000000] (1:server@HostA) First pair received: 2 1
173 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
174 > [ 0.000000] (1:server@HostA) First pair received: 2 1
175 > [ 0.000000] (1:server@HostA) First pair received: 2 1
176 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
177 > [ 0.000000] (1:server@HostA) First pair received: 2 1
178 > [ 0.000000] (1:server@HostA) First pair received: 2 1
179 > [ 0.000000] (1:server@HostA) First pair received: 2 1
180 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
181 > [ 0.000000] (1:server@HostA) First pair received: 2 1
182 > [ 0.000000] (1:server@HostA) First pair received: 2 1
183 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
184 > [ 0.000000] (1:server@HostA) First pair received: 2 1
185 > [ 0.000000] (1:server@HostA) First pair received: 2 1
186 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
187 > [ 0.000000] (1:server@HostA) First pair received: 2 1
188 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
189 > [ 0.000000] (1:server@HostA) First pair received: 2 1
190 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
191 > [ 0.000000] (1:server@HostA) First pair received: 2 1
192 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
193 > [ 0.000000] (1:server@HostA) First pair received: 2 1
194 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
195 > [ 0.000000] (1:server@HostA) First pair received: 2 1
196 > [ 0.000000] (1:server@HostA) First pair received: 2 1
197 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
198 > [ 0.000000] (1:server@HostA) First pair received: 2 1
199 > [ 0.000000] (1:server@HostA) First pair received: 2 1
200 > [ 0.000000] (1:server@HostA) First pair received: 2 1
201 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
202 > [ 0.000000] (1:server@HostA) First pair received: 2 1
203 > [ 0.000000] (1:server@HostA) First pair received: 2 1
204 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
205 > [ 0.000000] (1:server@HostA) First pair received: 2 1
206 > [ 0.000000] (1:server@HostA) First pair received: 2 1
207 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
208 > [ 0.000000] (1:server@HostA) First pair received: 2 1
209 > [ 0.000000] (1:server@HostA) First pair received: 2 1
210 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
211 > [ 0.000000] (1:server@HostA) First pair received: 2 1
212 > [ 0.000000] (1:server@HostA) First pair received: 2 1
213 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
214 > [ 0.000000] (1:server@HostA) First pair received: 2 1
215 > [ 0.000000] (1:server@HostA) First pair received: 2 1
216 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
217 > [ 0.000000] (1:server@HostA) First pair received: 2 1
218 > [ 0.000000] (1:server@HostA) First pair received: 2 1
219 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
220 > [ 0.000000] (1:server@HostA) First pair received: 2 1
221 > [ 0.000000] (1:server@HostA) First pair received: 2 1
222 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
223 > [ 0.000000] (1:server@HostA) First pair received: 2 1
224 > [ 0.000000] (1:server@HostA) First pair received: 2 1
225 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
226 > [ 0.000000] (1:server@HostA) First pair received: 2 1
227 > [ 0.000000] (1:server@HostA) First pair received: 2 1
228 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
229 > [ 0.000000] (1:server@HostA) First pair received: 2 1
230 > [ 0.000000] (1:server@HostA) First pair received: 2 1
231 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
232 > [ 0.000000] (1:server@HostA) First pair received: 2 1
233 > [ 0.000000] (1:server@HostA) First pair received: 2 1
234 > [ 0.000000] (1:server@HostA) First pair received: 2 1
235 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
236 > [ 0.000000] (1:server@HostA) First pair received: 2 1
237 > [ 0.000000] (1:server@HostA) First pair received: 2 1
238 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
239 > [ 0.000000] (1:server@HostA) First pair received: 2 1
240 > [ 0.000000] (1:server@HostA) First pair received: 2 1
241 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
242 > [ 0.000000] (1:server@HostA) First pair received: 2 1
243 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
244 > [ 0.000000] (1:server@HostA) First pair received: 2 1
245 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
246 > [ 0.000000] (1:server@HostA) First pair received: 2 1
247 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
248 > [ 0.000000] (1:server@HostA) First pair received: 2 1
249 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
250 > [ 0.000000] (1:server@HostA) First pair received: 2 1
251 > [ 0.000000] (1:server@HostA) First pair received: 2 1
252 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
253 > [ 0.000000] (1:server@HostA) First pair received: 2 1
254 > [ 0.000000] (1:server@HostA) First pair received: 2 1
255 > [ 0.000000] (1:server@HostA) First pair received: 2 1
256 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
257 > [ 0.000000] (1:server@HostA) First pair received: 2 1
258 > [ 0.000000] (1:server@HostA) First pair received: 2 1
259 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
260 > [ 0.000000] (1:server@HostA) First pair received: 2 1
261 > [ 0.000000] (1:server@HostA) First pair received: 2 1
262 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
263 > [ 0.000000] (1:server@HostA) First pair received: 2 1
264 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
265 > [ 0.000000] (1:server@HostA) First pair received: 2 1
266 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
267 > [ 0.000000] (1:server@HostA) First pair received: 2 1
268 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
269 > [ 0.000000] (1:server@HostA) First pair received: 2 1
270 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
271 > [ 0.000000] (1:server@HostA) First pair received: 2 1
272 > [ 0.000000] (1:server@HostA) First pair received: 2 1
273 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
274 > [ 0.000000] (1:server@HostA) First pair received: 2 1
275 > [ 0.000000] (1:server@HostA) First pair received: 2 1
276 > [ 0.000000] (1:server@HostA) First pair received: 2 1
277 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
278 > [ 0.000000] (1:server@HostA) First pair received: 2 1
279 > [ 0.000000] (1:server@HostA) First pair received: 2 1
280 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
281 > [ 0.000000] (1:server@HostA) First pair received: 2 1
282 > [ 0.000000] (1:server@HostA) First pair received: 2 1
283 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
284 > [ 0.000000] (1:server@HostA) First pair received: 2 1
285 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
286 > [ 0.000000] (1:server@HostA) First pair received: 2 1
287 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
288 > [ 0.000000] (1:server@HostA) First pair received: 2 1
289 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
290 > [ 0.000000] (1:server@HostA) First pair received: 2 1
291 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
292 > [ 0.000000] (1:server@HostA) First pair received: 2 1
293 > [ 0.000000] (1:server@HostA) First pair received: 2 1
294 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
295 > [ 0.000000] (1:server@HostA) First pair received: 2 1
296 > [ 0.000000] (1:server@HostA) First pair received: 2 1
297 > [ 0.000000] (1:server@HostA) First pair received: 2 1
298 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
299 > [ 0.000000] (1:server@HostA) First pair received: 2 1
300 > [ 0.000000] (1:server@HostA) First pair received: 2 1
301 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
302 > [ 0.000000] (1:server@HostA) First pair received: 2 1
303 > [ 0.000000] (1:server@HostA) First pair received: 2 1
304 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
305 > [ 0.000000] (1:server@HostA) First pair received: 2 1
306 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
307 > [ 0.000000] (1:server@HostA) First pair received: 2 1
308 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
309 > [ 0.000000] (1:server@HostA) First pair received: 2 1
310 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
311 > [ 0.000000] (1:server@HostA) First pair received: 2 1
312 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
313 > [ 0.000000] (1:server@HostA) First pair received: 2 1
314 > [ 0.000000] (1:server@HostA) First pair received: 2 1
315 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
316 > [ 0.000000] (1:server@HostA) First pair received: 2 1
317 > [ 0.000000] (1:server@HostA) First pair received: 2 1
318 > [ 0.000000] (1:server@HostA) First pair received: 2 1
319 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
320 > [ 0.000000] (1:server@HostA) First pair received: 2 1
321 > [ 0.000000] (1:server@HostA) First pair received: 2 1
322 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
323 > [ 0.000000] (1:server@HostA) First pair received: 2 1
324 > [ 0.000000] (1:server@HostA) First pair received: 2 1
325 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
326 > [ 0.000000] (1:server@HostA) First pair received: 2 1
327 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
328 > [ 0.000000] (1:server@HostA) First pair received: 2 1
329 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
330 > [ 0.000000] (1:server@HostA) First pair received: 2 1
331 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
332 > [ 0.000000] (1:server@HostA) First pair received: 2 1
333 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
334 > [ 0.000000] (1:server@HostA) First pair received: 2 1
335 > [ 0.000000] (1:server@HostA) First pair received: 2 1
336 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
337 > [ 0.000000] (1:server@HostA) First pair received: 2 1
338 > [ 0.000000] (1:server@HostA) First pair received: 2 1
339 > [ 0.000000] (1:server@HostA) First pair received: 2 1
340 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
341 > [ 0.000000] (1:server@HostA) First pair received: 2 1
342 > [ 0.000000] (1:server@HostA) First pair received: 2 1
343 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
344 > [ 0.000000] (1:server@HostA) First pair received: 2 1
345 > [ 0.000000] (1:server@HostA) First pair received: 2 1
346 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
347 > [ 0.000000] (1:server@HostA) First pair received: 2 1
348 > [ 0.000000] (1:server@HostA) First pair received: 2 1
349 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
350 > [ 0.000000] (1:server@HostA) First pair received: 2 1
351 > [ 0.000000] (1:server@HostA) First pair received: 2 1
352 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
353 > [ 0.000000] (1:server@HostA) First pair received: 2 1
354 > [ 0.000000] (1:server@HostA) First pair received: 2 1
355 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
356 > [ 0.000000] (1:server@HostA) First pair received: 2 1
357 > [ 0.000000] (1:server@HostA) First pair received: 2 1
358 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
359 > [ 0.000000] (1:server@HostA) First pair received: 2 1
360 > [ 0.000000] (1:server@HostA) First pair received: 2 1
361 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
362 > [ 0.000000] (1:server@HostA) First pair received: 2 1
363 > [ 0.000000] (1:server@HostA) First pair received: 2 1
364 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
365 > [ 0.000000] (1:server@HostA) First pair received: 2 1
366 > [ 0.000000] (1:server@HostA) First pair received: 2 1
367 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
368 > [ 0.000000] (1:server@HostA) First pair received: 2 1
369 > [ 0.000000] (1:server@HostA) First pair received: 2 1
370 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
371 > [ 0.000000] (1:server@HostA) First pair received: 2 1
372 > [ 0.000000] (1:server@HostA) First pair received: 2 1
373 > [ 0.000000] (1:server@HostA) First pair received: 2 1
374 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
375 > [ 0.000000] (1:server@HostA) First pair received: 2 1
376 > [ 0.000000] (1:server@HostA) First pair received: 2 1
377 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
378 > [ 0.000000] (1:server@HostA) First pair received: 2 1
379 > [ 0.000000] (1:server@HostA) First pair received: 2 1
380 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
381 > [ 0.000000] (1:server@HostA) First pair received: 2 1
382 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
383 > [ 0.000000] (1:server@HostA) First pair received: 2 1
384 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
385 > [ 0.000000] (1:server@HostA) First pair received: 2 1
386 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
387 > [ 0.000000] (1:server@HostA) First pair received: 2 1
388 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
389 > [ 0.000000] (1:server@HostA) First pair received: 2 1
390 > [ 0.000000] (1:server@HostA) First pair received: 2 1
391 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
392 > [ 0.000000] (1:server@HostA) First pair received: 2 1
393 > [ 0.000000] (1:server@HostA) First pair received: 2 1
394 > [ 0.000000] (1:server@HostA) First pair received: 2 1
395 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
396 > [ 0.000000] (1:server@HostA) First pair received: 2 1
397 > [ 0.000000] (1:server@HostA) First pair received: 2 1
398 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
399 > [ 0.000000] (1:server@HostA) First pair received: 2 1
400 > [ 0.000000] (1:server@HostA) First pair received: 2 1
401 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
402 > [ 0.000000] (1:server@HostA) First pair received: 2 1
403 > [ 0.000000] (1:server@HostA) First pair received: 2 1
404 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
405 > [ 0.000000] (1:server@HostA) First pair received: 2 1
406 > [ 0.000000] (1:server@HostA) First pair received: 2 1
407 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
408 > [ 0.000000] (1:server@HostA) First pair received: 2 1
409 > [ 0.000000] (1:server@HostA) First pair received: 2 1
410 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
411 > [ 0.000000] (1:server@HostA) First pair received: 2 1
412 > [ 0.000000] (1:server@HostA) First pair received: 2 1
413 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
414 > [ 0.000000] (1:server@HostA) First pair received: 2 1
415 > [ 0.000000] (1:server@HostA) First pair received: 2 1
416 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
417 > [ 0.000000] (1:server@HostA) First pair received: 2 1
418 > [ 0.000000] (1:server@HostA) First pair received: 2 1
419 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
420 > [ 0.000000] (1:server@HostA) First pair received: 2 1
421 > [ 0.000000] (1:server@HostA) First pair received: 2 1
422 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
423 > [ 0.000000] (1:server@HostA) First pair received: 2 1
424 > [ 0.000000] (1:server@HostA) First pair received: 2 1
425 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
426 > [ 0.000000] (1:server@HostA) First pair received: 2 1
427 > [ 0.000000] (1:server@HostA) First pair received: 2 1
428 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
429 > [ 0.000000] (1:server@HostA) First pair received: 2 1
430 > [ 0.000000] (1:server@HostA) First pair received: 2 1
431 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
432 > [ 0.000000] (1:server@HostA) First pair received: 2 1
433 > [ 0.000000] (1:server@HostA) First pair received: 2 1
434 > [ 0.000000] (1:server@HostA) First pair received: 2 1
435 > [ 0.000000] (1:server@HostA) First pair received: 2 1
436 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
437 > [ 0.000000] (1:server@HostA) First pair received: 2 1
438 > [ 0.000000] (1:server@HostA) First pair received: 2 1
439 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
440 > [ 0.000000] (1:server@HostA) First pair received: 2 1
441 > [ 0.000000] (1:server@HostA) First pair received: 2 1
442 > [ 0.000000] (1:server@HostA) First pair received: 2 1
443 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
444 > [ 0.000000] (1:server@HostA) First pair received: 2 1
445 > [ 0.000000] (1:server@HostA) First pair received: 2 1
446 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
447 > [ 0.000000] (1:server@HostA) First pair received: 2 1
448 > [ 0.000000] (1:server@HostA) First pair received: 2 1
449 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
450 > [ 0.000000] (1:server@HostA) First pair received: 2 1
451 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
452 > [ 0.000000] (1:server@HostA) First pair received: 2 1
453 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
454 > [ 0.000000] (1:server@HostA) First pair received: 2 1
455 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
456 > [ 0.000000] (1:server@HostA) First pair received: 2 1
457 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
458 > [ 0.000000] (1:server@HostA) First pair received: 2 1
459 > [ 0.000000] (1:server@HostA) First pair received: 2 1
460 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
461 > [ 0.000000] (1:server@HostA) First pair received: 2 1
462 > [ 0.000000] (1:server@HostA) First pair received: 2 1
463 > [ 0.000000] (1:server@HostA) First pair received: 2 1
464 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
465 > [ 0.000000] (1:server@HostA) First pair received: 2 1
466 > [ 0.000000] (1:server@HostA) First pair received: 2 1
467 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
468 > [ 0.000000] (1:server@HostA) First pair received: 2 1
469 > [ 0.000000] (1:server@HostA) First pair received: 2 1
470 > [ 0.000000] (1:server@HostA) First pair received: 2 1
471 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
472 > [ 0.000000] (1:server@HostA) First pair received: 2 1
473 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
474 > [ 0.000000] (1:server@HostA) First pair received: 2 1
475 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
476 > [ 0.000000] (1:server@HostA) First pair received: 2 1
477 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
478 > [ 0.000000] (1:server@HostA) First pair received: 2 1
479 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
480 > [ 0.000000] (1:server@HostA) First pair received: 2 1
481 > [ 0.000000] (1:server@HostA) First pair received: 2 1
482 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
483 > [ 0.000000] (1:server@HostA) First pair received: 2 1
484 > [ 0.000000] (1:server@HostA) First pair received: 2 1
485 > [ 0.000000] (1:server@HostA) First pair received: 2 1
486 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
487 > [ 0.000000] (1:server@HostA) First pair received: 2 1
488 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
489 > [ 0.000000] (1:server@HostA) First pair received: 2 1
490 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
491 > [ 0.000000] (1:server@HostA) First pair received: 2 1
492 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
493 > [ 0.000000] (1:server@HostA) First pair received: 2 1
494 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
495 > [ 0.000000] (1:server@HostA) First pair received: 2 1
496 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
497 > [ 0.000000] (1:server@HostA) First pair received: 2 1
498 > [ 0.000000] (1:server@HostA) First pair received: 2 1
499 > [ 0.000000] (1:server@HostA) First pair received: 2 1
500 > [ 0.000000] (1:server@HostA) First pair received: 2 1
501 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
502 > [ 0.000000] (1:server@HostA) First pair received: 2 1
503 > [ 0.000000] (1:server@HostA) First pair received: 2 1
504 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
505 > [ 0.000000] (1:server@HostA) First pair received: 2 1
506 > [ 0.000000] (1:server@HostA) First pair received: 2 1
507 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
508 > [ 0.000000] (1:server@HostA) First pair received: 2 1
509 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
510 > [ 0.000000] (1:server@HostA) First pair received: 2 1
511 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
512 > [ 0.000000] (1:server@HostA) First pair received: 2 1
513 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
514 > [ 0.000000] (1:server@HostA) First pair received: 2 1
515 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
516 > [ 0.000000] (1:server@HostA) First pair received: 2 1
517 > [ 0.000000] (1:server@HostA) First pair received: 2 1
518 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
519 > [ 0.000000] (1:server@HostA) First pair received: 2 1
520 > [ 0.000000] (1:server@HostA) First pair received: 2 1
521 > [ 0.000000] (1:server@HostA) First pair received: 2 1
522 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
523 > [ 0.000000] (1:server@HostA) First pair received: 2 1
524 > [ 0.000000] (1:server@HostA) First pair received: 2 1
525 > [ 0.000000] (1:server@HostA) Second pair received: 1 2
526 > [ 0.000000] (1:server@HostA) First pair received: 2 1
527 > [ 0.000000] (1:server@HostA) First pair received: 2 1
528 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
529 > [ 0.000000] (1:server@HostA) First pair received: 2 1
530 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
531 > [ 0.000000] (1:server@HostA) First pair received: 2 1
532 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
533 > [ 0.000000] (1:server@HostA) First pair received: 2 1
534 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
535 > [ 0.000000] (1:server@HostA) First pair received: 2 1
536 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
537 > [ 0.000000] (1:server@HostA) First pair received: 2 1
538 > [ 0.000000] (1:server@HostA) First pair received: 2 1
539 > [ 0.000000] (1:server@HostA) Second pair received: 2 1
540 > [ 0.000000] (1:server@HostA) First pair received: 2 1
541 > [ 0.000000] (1:server@HostA) First pair received: 2 1
542 > [ 0.000000] (1:server@HostA) First pair received: 2 2
543 > [ 0.000000] (0:maestro@) **************************
544 > [ 0.000000] (0:maestro@) *** PROPERTY NOT VALID ***
545 > [ 0.000000] (0:maestro@) **************************
546 > [ 0.000000] (0:maestro@) Counter-example execution trace:
547 > [ 0.000000] (0:maestro@) 1: iRecv(mbox=0)
548 > [ 0.000000] (0:maestro@) 3: iSend(mbox=0)
549 > [ 0.000000] (0:maestro@) 1: WaitComm(from 3 to 1, mbox=0, no timeout)
550 > [ 0.000000] (0:maestro@) 3: WaitComm(from 3 to 1, mbox=0, no timeout)
551 > [ 0.000000] (0:maestro@) 1: iRecv(mbox=0)
552 > [ 0.000000] (0:maestro@) 3: iSend(mbox=0)
553 > [ 0.000000] (0:maestro@) 1: WaitComm(from 3 to 1, mbox=0, no timeout)
554 > [ 0.000000] (0:maestro@) You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'1;3;1;3;1;3;1'
555 > [ 0.000000] (0:maestro@) DFS exploration ended. 1006 unique states visited; 350 backtracks (5319 transition replays, 3963 states visited overall)