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@) Check a safety property. Reduction is: dpor.
7 > [ 0.000000] (2:client@HostB) Send 1
8 > [ 0.000000] (3:client@HostC) Send 2
9 > [ 0.000000] (1:server@HostA) Received 1
10 > [ 0.000000] (2:client@HostB) Send 1
11 > [ 0.000000] (1:server@HostA) Received 1
12 > [ 0.000000] (1:server@HostA) Received 2
13 > [ 0.000000] (3:client@HostC) Send 2
14 > [ 0.000000] (1:server@HostA) Received 2
15 > [ 0.000000] (1:server@HostA) OK
16 > [ 0.000000] (1:server@HostA) Received 1
17 > [ 0.000000] (2:client@HostB) Send 1
18 > [ 0.000000] (1:server@HostA) Received 1
19 > [ 0.000000] (1:server@HostA) Received 2
20 > [ 0.000000] (3:client@HostC) Send 2
21 > [ 0.000000] (1:server@HostA) Received 1
22 > [ 0.000000] (2:client@HostB) Send 1
23 > [ 0.000000] (1:server@HostA) Received 1
24 > [ 0.000000] (1:server@HostA) Received 2
25 > [ 0.000000] (3:client@HostC) Send 2
26 > [ 0.000000] (1:server@HostA) Received 2
27 > [ 0.000000] (1:server@HostA) OK
28 > [ 0.000000] (1:server@HostA) Received 1
29 > [ 0.000000] (2:client@HostB) Send 1
30 > [ 0.000000] (1:server@HostA) Received 1
31 > [ 0.000000] (1:server@HostA) Received 2
32 > [ 0.000000] (3:client@HostC) Send 2
33 > [ 0.000000] (1:server@HostA) Received 1
34 > [ 0.000000] (2:client@HostB) Send 1
35 > [ 0.000000] (1:server@HostA) Received 1
36 > [ 0.000000] (1:server@HostA) Received 1
37 > [ 0.000000] (2:client@HostB) Send 1
38 > [ 0.000000] (1:server@HostA) Received 1
39 > [ 0.000000] (1:server@HostA) Received 2
40 > [ 0.000000] (3:client@HostC) Send 2
41 > [ 0.000000] (1:server@HostA) Received 2
42 > [ 0.000000] (1:server@HostA) OK
43 > [ 0.000000] (1:server@HostA) Received 1
44 > [ 0.000000] (2:client@HostB) Send 1
45 > [ 0.000000] (1:server@HostA) Received 1
46 > [ 0.000000] (1:server@HostA) Received 2
47 > [ 0.000000] (3:client@HostC) Send 2
48 > [ 0.000000] (1:server@HostA) Received 1
49 > [ 0.000000] (2:client@HostB) Send 1
50 > [ 0.000000] (1:server@HostA) Received 1
51 > [ 0.000000] (1:server@HostA) Received 2
52 > [ 0.000000] (3:client@HostC) Send 2
53 > [ 0.000000] (1:server@HostA) Received 2
54 > [ 0.000000] (1:server@HostA) OK
55 > [ 0.000000] (1:server@HostA) Received 1
56 > [ 0.000000] (2:client@HostB) Send 1
57 > [ 0.000000] (1:server@HostA) Received 1
58 > [ 0.000000] (1:server@HostA) Received 2
59 > [ 0.000000] (3:client@HostC) Send 2
60 > [ 0.000000] (1:server@HostA) Received 1
61 > [ 0.000000] (2:client@HostB) Send 1
62 > [ 0.000000] (1:server@HostA) Received 1
63 > [ 0.000000] (1:server@HostA) Received 1
64 > [ 0.000000] (2:client@HostB) Send 1
65 > [ 0.000000] (1:server@HostA) Received 2
66 > [ 0.000000] (1:server@HostA) Received 1
67 > [ 0.000000] (3:client@HostC) Send 2
68 > [ 0.000000] (1:server@HostA) Received 2
69 > [ 0.000000] (1:server@HostA) OK
70 > [ 0.000000] (1:server@HostA) Received 1
71 > [ 0.000000] (2:client@HostB) Send 1
72 > [ 0.000000] (1:server@HostA) Received 2
73 > [ 0.000000] (1:server@HostA) Received 1
74 > [ 0.000000] (3:client@HostC) Send 2
75 > [ 0.000000] (1:server@HostA) Received 1
76 > [ 0.000000] (2:client@HostB) Send 1
77 > [ 0.000000] (1:server@HostA) Received 2
78 > [ 0.000000] (1:server@HostA) Received 1
79 > [ 0.000000] (3:client@HostC) Send 2
80 > [ 0.000000] (1:server@HostA) Received 2
81 > [ 0.000000] (1:server@HostA) OK
82 > [ 0.000000] (1:server@HostA) Received 1
83 > [ 0.000000] (2:client@HostB) Send 1
84 > [ 0.000000] (1:server@HostA) Received 2
85 > [ 0.000000] (1:server@HostA) Received 1
86 > [ 0.000000] (3:client@HostC) Send 2
87 > [ 0.000000] (1:server@HostA) Received 1
88 > [ 0.000000] (2:client@HostB) Send 1
89 > [ 0.000000] (1:server@HostA) Received 2
90 > [ 0.000000] (1:server@HostA) Received 1
91 > [ 0.000000] (3:client@HostC) Send 2
92 > [ 0.000000] (1:server@HostA) Received 2
93 > [ 0.000000] (1:server@HostA) OK
94 > [ 0.000000] (1:server@HostA) Received 1
95 > [ 0.000000] (2:client@HostB) Send 1
96 > [ 0.000000] (1:server@HostA) Received 2
97 > [ 0.000000] (1:server@HostA) Received 1
98 > [ 0.000000] (3:client@HostC) Send 2
99 > [ 0.000000] (1:server@HostA) Received 1
100 > [ 0.000000] (2:client@HostB) Send 1
101 > [ 0.000000] (1:server@HostA) Received 2
102 > [ 0.000000] (1:server@HostA) Received 1
103 > [ 0.000000] (3:client@HostC) Send 2
104 > [ 0.000000] (1:server@HostA) Received 2
105 > [ 0.000000] (1:server@HostA) OK
106 > [ 0.000000] (1:server@HostA) Received 1
107 > [ 0.000000] (2:client@HostB) Send 1
108 > [ 0.000000] (1:server@HostA) Received 2
109 > [ 0.000000] (1:server@HostA) Received 1
110 > [ 0.000000] (3:client@HostC) Send 2
111 > [ 0.000000] (1:server@HostA) Received 1
112 > [ 0.000000] (2:client@HostB) Send 1
113 > [ 0.000000] (1:server@HostA) Received 2
114 > [ 0.000000] (1:server@HostA) Received 1
115 > [ 0.000000] (3:client@HostC) Send 2
116 > [ 0.000000] (1:server@HostA) Received 2
117 > [ 0.000000] (1:server@HostA) OK
118 > [ 0.000000] (1:server@HostA) Received 1
119 > [ 0.000000] (2:client@HostB) Send 1
120 > [ 0.000000] (1:server@HostA) Received 2
121 > [ 0.000000] (1:server@HostA) Received 1
122 > [ 0.000000] (3:client@HostC) Send 2
123 > [ 0.000000] (1:server@HostA) Received 1
124 > [ 0.000000] (2:client@HostB) Send 1
125 > [ 0.000000] (1:server@HostA) Received 2
126 > [ 0.000000] (1:server@HostA) Received 1
127 > [ 0.000000] (3:client@HostC) Send 2
128 > [ 0.000000] (1:server@HostA) Received 2
129 > [ 0.000000] (1:server@HostA) OK
130 > [ 0.000000] (1:server@HostA) Received 1
131 > [ 0.000000] (2:client@HostB) Send 1
132 > [ 0.000000] (1:server@HostA) Received 2
133 > [ 0.000000] (1:server@HostA) Received 1
134 > [ 0.000000] (3:client@HostC) Send 2
135 > [ 0.000000] (1:server@HostA) Received 1
136 > [ 0.000000] (2:client@HostB) Send 1
137 > [ 0.000000] (1:server@HostA) Received 2
138 > [ 0.000000] (3:client@HostC) Send 2
139 > [ 0.000000] (1:server@HostA) Received 1
140 > [ 0.000000] (1:server@HostA) Received 2
141 > [ 0.000000] (1:server@HostA) OK
142 > [ 0.000000] (1:server@HostA) Received 1
143 > [ 0.000000] (2:client@HostB) Send 1
144 > [ 0.000000] (1:server@HostA) Received 2
145 > [ 0.000000] (3:client@HostC) Send 2
146 > [ 0.000000] (1:server@HostA) Received 1
147 > [ 0.000000] (1:server@HostA) Received 1
148 > [ 0.000000] (2:client@HostB) Send 1
149 > [ 0.000000] (1:server@HostA) Received 2
150 > [ 0.000000] (3:client@HostC) Send 2
151 > [ 0.000000] (1:server@HostA) Received 1
152 > [ 0.000000] (1:server@HostA) Received 2
153 > [ 0.000000] (1:server@HostA) OK
154 > [ 0.000000] (1:server@HostA) Received 1
155 > [ 0.000000] (2:client@HostB) Send 1
156 > [ 0.000000] (1:server@HostA) Received 2
157 > [ 0.000000] (3:client@HostC) Send 2
158 > [ 0.000000] (1:server@HostA) Received 1
159 > [ 0.000000] (1:server@HostA) Received 1
160 > [ 0.000000] (2:client@HostB) Send 1
161 > [ 0.000000] (1:server@HostA) Received 2
162 > [ 0.000000] (1:server@HostA) Received 1
163 > [ 0.000000] (3:client@HostC) Send 2
164 > [ 0.000000] (1:server@HostA) Received 2
165 > [ 0.000000] (1:server@HostA) OK
166 > [ 0.000000] (1:server@HostA) Received 1
167 > [ 0.000000] (2:client@HostB) Send 1
168 > [ 0.000000] (1:server@HostA) Received 2
169 > [ 0.000000] (1:server@HostA) Received 1
170 > [ 0.000000] (3:client@HostC) Send 2
171 > [ 0.000000] (1:server@HostA) Received 1
172 > [ 0.000000] (2:client@HostB) Send 1
173 > [ 0.000000] (1:server@HostA) Received 2
174 > [ 0.000000] (1:server@HostA) Received 1
175 > [ 0.000000] (3:client@HostC) Send 2
176 > [ 0.000000] (1:server@HostA) Received 2
177 > [ 0.000000] (1:server@HostA) OK
178 > [ 0.000000] (1:server@HostA) Received 1
179 > [ 0.000000] (2:client@HostB) Send 1
180 > [ 0.000000] (1:server@HostA) Received 2
181 > [ 0.000000] (1:server@HostA) Received 1
182 > [ 0.000000] (3:client@HostC) Send 2
183 > [ 0.000000] (1:server@HostA) Received 1
184 > [ 0.000000] (2:client@HostB) Send 1
185 > [ 0.000000] (1:server@HostA) Received 2
186 > [ 0.000000] (3:client@HostC) Send 2
187 > [ 0.000000] (1:server@HostA) Received 1
188 > [ 0.000000] (1:server@HostA) Received 2
189 > [ 0.000000] (1:server@HostA) OK
190 > [ 0.000000] (1:server@HostA) Received 1
191 > [ 0.000000] (2:client@HostB) Send 1
192 > [ 0.000000] (1:server@HostA) Received 2
193 > [ 0.000000] (3:client@HostC) Send 2
194 > [ 0.000000] (1:server@HostA) Received 1
195 > [ 0.000000] (1:server@HostA) Received 1
196 > [ 0.000000] (2:client@HostB) Send 1
197 > [ 0.000000] (1:server@HostA) Received 2
198 > [ 0.000000] (1:server@HostA) Received 1
199 > [ 0.000000] (2:client@HostB) Send 1
200 > [ 0.000000] (1:server@HostA) Received 2
201 > [ 0.000000] (3:client@HostC) Send 2
202 > [ 0.000000] (1:server@HostA) Received 1
203 > [ 0.000000] (1:server@HostA) Received 2
204 > [ 0.000000] (1:server@HostA) OK
205 > [ 0.000000] (1:server@HostA) Received 1
206 > [ 0.000000] (2:client@HostB) Send 1
207 > [ 0.000000] (1:server@HostA) Received 2
208 > [ 0.000000] (3:client@HostC) Send 2
209 > [ 0.000000] (1:server@HostA) Received 1
210 > [ 0.000000] (1:server@HostA) Received 1
211 > [ 0.000000] (2:client@HostB) Send 1
212 > [ 0.000000] (1:server@HostA) Received 2
213 > [ 0.000000] (3:client@HostC) Send 2
214 > [ 0.000000] (1:server@HostA) Received 1
215 > [ 0.000000] (1:server@HostA) Received 2
216 > [ 0.000000] (1:server@HostA) OK
217 > [ 0.000000] (1:server@HostA) Received 1
218 > [ 0.000000] (2:client@HostB) Send 1
219 > [ 0.000000] (1:server@HostA) Received 2
220 > [ 0.000000] (3:client@HostC) Send 2
221 > [ 0.000000] (1:server@HostA) Received 1
222 > [ 0.000000] (1:server@HostA) Received 1
223 > [ 0.000000] (2:client@HostB) Send 1
224 > [ 0.000000] (1:server@HostA) Received 2
225 > [ 0.000000] (3:client@HostC) Send 2
226 > [ 0.000000] (1:server@HostA) Received 2
227 > [ 0.000000] (1:server@HostA) Received 1
228 > [ 0.000000] (1:server@HostA) OK
229 > [ 0.000000] (1:server@HostA) Received 1
230 > [ 0.000000] (2:client@HostB) Send 1
231 > [ 0.000000] (1:server@HostA) Received 2
232 > [ 0.000000] (3:client@HostC) Send 2
233 > [ 0.000000] (1:server@HostA) Received 2
234 > [ 0.000000] (1:server@HostA) Received 1
235 > [ 0.000000] (1:server@HostA) OK
236 > [ 0.000000] (1:server@HostA) Received 1
237 > [ 0.000000] (2:client@HostB) Send 1
238 > [ 0.000000] (1:server@HostA) Received 2
239 > [ 0.000000] (3:client@HostC) Send 2
240 > [ 0.000000] (1:server@HostA) Received 2
241 > [ 0.000000] (1:server@HostA) Received 1
242 > [ 0.000000] (1:server@HostA) OK
243 > [ 0.000000] (1:server@HostA) Received 1
244 > [ 0.000000] (2:client@HostB) Send 1
245 > [ 0.000000] (1:server@HostA) Received 2
246 > [ 0.000000] (3:client@HostC) Send 2
247 > [ 0.000000] (1:server@HostA) Received 2
248 > [ 0.000000] (1:server@HostA) Received 1
249 > [ 0.000000] (1:server@HostA) OK
250 > [ 0.000000] (1:server@HostA) Received 1
251 > [ 0.000000] (2:client@HostB) Send 1
252 > [ 0.000000] (1:server@HostA) Received 2
253 > [ 0.000000] (3:client@HostC) Send 2
254 > [ 0.000000] (1:server@HostA) Received 2
255 > [ 0.000000] (1:server@HostA) Received 1
256 > [ 0.000000] (1:server@HostA) OK
257 > [ 0.000000] (1:server@HostA) Received 1
258 > [ 0.000000] (2:client@HostB) Send 1
259 > [ 0.000000] (1:server@HostA) Received 2
260 > [ 0.000000] (3:client@HostC) Send 2
261 > [ 0.000000] (1:server@HostA) Received 2
262 > [ 0.000000] (1:server@HostA) Received 1
263 > [ 0.000000] (2:client@HostB) Send 1
264 > [ 0.000000] (1:server@HostA) Received 2
265 > [ 0.000000] (3:client@HostC) Send 2
266 > [ 0.000000] (1:server@HostA) Received 2
267 > [ 0.000000] (1:server@HostA) Received 1
268 > [ 0.000000] (1:server@HostA) OK
269 > [ 0.000000] (1:server@HostA) Received 1
270 > [ 0.000000] (2:client@HostB) Send 1
271 > [ 0.000000] (1:server@HostA) Received 2
272 > [ 0.000000] (3:client@HostC) Send 2
273 > [ 0.000000] (1:server@HostA) Received 2
274 > [ 0.000000] (1:server@HostA) Received 1
275 > [ 0.000000] (2:client@HostB) Send 1
276 > [ 0.000000] (1:server@HostA) Received 2
277 > [ 0.000000] (3:client@HostC) Send 2
278 > [ 0.000000] (1:server@HostA) Received 1
279 > [ 0.000000] (2:client@HostB) Send 1
280 > [ 0.000000] (1:server@HostA) Received 1
281 > [ 0.000000] (2:client@HostB) Send 1
282 > [ 0.000000] (1:server@HostA) Received 1
283 > [ 0.000000] (1:server@HostA) Received 2
284 > [ 0.000000] (3:client@HostC) Send 2
285 > [ 0.000000] (1:server@HostA) Received 2
286 > [ 0.000000] (1:server@HostA) OK
287 > [ 0.000000] (1:server@HostA) Received 1
288 > [ 0.000000] (2:client@HostB) Send 1
289 > [ 0.000000] (1:server@HostA) Received 1
290 > [ 0.000000] (1:server@HostA) Received 2
291 > [ 0.000000] (3:client@HostC) Send 2
292 > [ 0.000000] (1:server@HostA) Received 1
293 > [ 0.000000] (2:client@HostB) Send 1
294 > [ 0.000000] (1:server@HostA) Received 1
295 > [ 0.000000] (1:server@HostA) Received 2
296 > [ 0.000000] (3:client@HostC) Send 2
297 > [ 0.000000] (1:server@HostA) Received 2
298 > [ 0.000000] (1:server@HostA) OK
299 > [ 0.000000] (1:server@HostA) Received 1
300 > [ 0.000000] (2:client@HostB) Send 1
301 > [ 0.000000] (1:server@HostA) Received 1
302 > [ 0.000000] (1:server@HostA) Received 2
303 > [ 0.000000] (3:client@HostC) Send 2
304 > [ 0.000000] (1:server@HostA) Received 1
305 > [ 0.000000] (2:client@HostB) Send 1
306 > [ 0.000000] (1:server@HostA) Received 1
307 > [ 0.000000] (1:server@HostA) Received 1
308 > [ 0.000000] (2:client@HostB) Send 1
309 > [ 0.000000] (1:server@HostA) Received 1
310 > [ 0.000000] (1:server@HostA) Received 2
311 > [ 0.000000] (3:client@HostC) Send 2
312 > [ 0.000000] (1:server@HostA) Received 2
313 > [ 0.000000] (1:server@HostA) OK
314 > [ 0.000000] (1:server@HostA) Received 1
315 > [ 0.000000] (2:client@HostB) Send 1
316 > [ 0.000000] (1:server@HostA) Received 1
317 > [ 0.000000] (1:server@HostA) Received 2
318 > [ 0.000000] (3:client@HostC) Send 2
319 > [ 0.000000] (1:server@HostA) Received 1
320 > [ 0.000000] (2:client@HostB) Send 1
321 > [ 0.000000] (1:server@HostA) Received 1
322 > [ 0.000000] (1:server@HostA) Received 2
323 > [ 0.000000] (3:client@HostC) Send 2
324 > [ 0.000000] (1:server@HostA) Received 2
325 > [ 0.000000] (1:server@HostA) OK
326 > [ 0.000000] (1:server@HostA) Received 1
327 > [ 0.000000] (2:client@HostB) Send 1
328 > [ 0.000000] (1:server@HostA) Received 1
329 > [ 0.000000] (1:server@HostA) Received 2
330 > [ 0.000000] (3:client@HostC) Send 2
331 > [ 0.000000] (1:server@HostA) Received 1
332 > [ 0.000000] (2:client@HostB) Send 1
333 > [ 0.000000] (1:server@HostA) Received 1
334 > [ 0.000000] (1:server@HostA) Received 1
335 > [ 0.000000] (2:client@HostB) Send 1
336 > [ 0.000000] (1:server@HostA) Received 2
337 > [ 0.000000] (1:server@HostA) Received 1
338 > [ 0.000000] (3:client@HostC) Send 2
339 > [ 0.000000] (1:server@HostA) Received 2
340 > [ 0.000000] (1:server@HostA) OK
341 > [ 0.000000] (1:server@HostA) Received 1
342 > [ 0.000000] (2:client@HostB) Send 1
343 > [ 0.000000] (1:server@HostA) Received 2
344 > [ 0.000000] (1:server@HostA) Received 1
345 > [ 0.000000] (3:client@HostC) Send 2
346 > [ 0.000000] (1:server@HostA) Received 1
347 > [ 0.000000] (2:client@HostB) Send 1
348 > [ 0.000000] (1:server@HostA) Received 2
349 > [ 0.000000] (1:server@HostA) Received 1
350 > [ 0.000000] (3:client@HostC) Send 2
351 > [ 0.000000] (1:server@HostA) Received 2
352 > [ 0.000000] (1:server@HostA) OK
353 > [ 0.000000] (1:server@HostA) Received 1
354 > [ 0.000000] (2:client@HostB) Send 1
355 > [ 0.000000] (1:server@HostA) Received 2
356 > [ 0.000000] (1:server@HostA) Received 1
357 > [ 0.000000] (3:client@HostC) Send 2
358 > [ 0.000000] (1:server@HostA) Received 1
359 > [ 0.000000] (2:client@HostB) Send 1
360 > [ 0.000000] (1:server@HostA) Received 2
361 > [ 0.000000] (1:server@HostA) Received 1
362 > [ 0.000000] (3:client@HostC) Send 2
363 > [ 0.000000] (1:server@HostA) Received 2
364 > [ 0.000000] (1:server@HostA) OK
365 > [ 0.000000] (1:server@HostA) Received 1
366 > [ 0.000000] (2:client@HostB) Send 1
367 > [ 0.000000] (1:server@HostA) Received 2
368 > [ 0.000000] (1:server@HostA) Received 1
369 > [ 0.000000] (3:client@HostC) Send 2
370 > [ 0.000000] (1:server@HostA) Received 1
371 > [ 0.000000] (2:client@HostB) Send 1
372 > [ 0.000000] (1:server@HostA) Received 2
373 > [ 0.000000] (1:server@HostA) Received 1
374 > [ 0.000000] (3:client@HostC) Send 2
375 > [ 0.000000] (1:server@HostA) Received 2
376 > [ 0.000000] (1:server@HostA) OK
377 > [ 0.000000] (1:server@HostA) Received 1
378 > [ 0.000000] (2:client@HostB) Send 1
379 > [ 0.000000] (1:server@HostA) Received 2
380 > [ 0.000000] (1:server@HostA) Received 1
381 > [ 0.000000] (3:client@HostC) Send 2
382 > [ 0.000000] (1:server@HostA) Received 1
383 > [ 0.000000] (2:client@HostB) Send 1
384 > [ 0.000000] (1:server@HostA) Received 2
385 > [ 0.000000] (1:server@HostA) Received 1
386 > [ 0.000000] (3:client@HostC) Send 2
387 > [ 0.000000] (1:server@HostA) Received 2
388 > [ 0.000000] (1:server@HostA) OK
389 > [ 0.000000] (1:server@HostA) Received 1
390 > [ 0.000000] (2:client@HostB) Send 1
391 > [ 0.000000] (1:server@HostA) Received 2
392 > [ 0.000000] (1:server@HostA) Received 1
393 > [ 0.000000] (3:client@HostC) Send 2
394 > [ 0.000000] (1:server@HostA) Received 1
395 > [ 0.000000] (2:client@HostB) Send 1
396 > [ 0.000000] (1:server@HostA) Received 2
397 > [ 0.000000] (1:server@HostA) Received 1
398 > [ 0.000000] (3:client@HostC) Send 2
399 > [ 0.000000] (1:server@HostA) Received 2
400 > [ 0.000000] (1:server@HostA) OK
401 > [ 0.000000] (1:server@HostA) Received 1
402 > [ 0.000000] (2:client@HostB) Send 1
403 > [ 0.000000] (1:server@HostA) Received 2
404 > [ 0.000000] (1:server@HostA) Received 1
405 > [ 0.000000] (3:client@HostC) Send 2
406 > [ 0.000000] (1:server@HostA) Received 1
407 > [ 0.000000] (2:client@HostB) Send 1
408 > [ 0.000000] (1:server@HostA) Received 2
409 > [ 0.000000] (3:client@HostC) Send 2
410 > [ 0.000000] (1:server@HostA) Received 1
411 > [ 0.000000] (1:server@HostA) Received 2
412 > [ 0.000000] (1:server@HostA) OK
413 > [ 0.000000] (1:server@HostA) Received 1
414 > [ 0.000000] (2:client@HostB) Send 1
415 > [ 0.000000] (1:server@HostA) Received 2
416 > [ 0.000000] (3:client@HostC) Send 2
417 > [ 0.000000] (1:server@HostA) Received 1
418 > [ 0.000000] (1:server@HostA) Received 1
419 > [ 0.000000] (2:client@HostB) Send 1
420 > [ 0.000000] (1:server@HostA) Received 2
421 > [ 0.000000] (3:client@HostC) Send 2
422 > [ 0.000000] (1:server@HostA) Received 1
423 > [ 0.000000] (1:server@HostA) Received 2
424 > [ 0.000000] (1:server@HostA) OK
425 > [ 0.000000] (1:server@HostA) Received 1
426 > [ 0.000000] (2:client@HostB) Send 1
427 > [ 0.000000] (1:server@HostA) Received 2
428 > [ 0.000000] (3:client@HostC) Send 2
429 > [ 0.000000] (1:server@HostA) Received 1
430 > [ 0.000000] (1:server@HostA) Received 1
431 > [ 0.000000] (2:client@HostB) Send 1
432 > [ 0.000000] (1:server@HostA) Received 2
433 > [ 0.000000] (1:server@HostA) Received 1
434 > [ 0.000000] (3:client@HostC) Send 2
435 > [ 0.000000] (1:server@HostA) Received 2
436 > [ 0.000000] (1:server@HostA) OK
437 > [ 0.000000] (1:server@HostA) Received 1
438 > [ 0.000000] (2:client@HostB) Send 1
439 > [ 0.000000] (1:server@HostA) Received 2
440 > [ 0.000000] (1:server@HostA) Received 1
441 > [ 0.000000] (3:client@HostC) Send 2
442 > [ 0.000000] (1:server@HostA) Received 1
443 > [ 0.000000] (2:client@HostB) Send 1
444 > [ 0.000000] (1:server@HostA) Received 2
445 > [ 0.000000] (1:server@HostA) Received 1
446 > [ 0.000000] (3:client@HostC) Send 2
447 > [ 0.000000] (1:server@HostA) Received 2
448 > [ 0.000000] (1:server@HostA) OK
449 > [ 0.000000] (1:server@HostA) Received 1
450 > [ 0.000000] (2:client@HostB) Send 1
451 > [ 0.000000] (1:server@HostA) Received 2
452 > [ 0.000000] (1:server@HostA) Received 1
453 > [ 0.000000] (3:client@HostC) Send 2
454 > [ 0.000000] (1:server@HostA) Received 1
455 > [ 0.000000] (2:client@HostB) Send 1
456 > [ 0.000000] (1:server@HostA) Received 2
457 > [ 0.000000] (3:client@HostC) Send 2
458 > [ 0.000000] (1:server@HostA) Received 1
459 > [ 0.000000] (1:server@HostA) Received 2
460 > [ 0.000000] (1:server@HostA) OK
461 > [ 0.000000] (1:server@HostA) Received 1
462 > [ 0.000000] (2:client@HostB) Send 1
463 > [ 0.000000] (1:server@HostA) Received 2
464 > [ 0.000000] (3:client@HostC) Send 2
465 > [ 0.000000] (1:server@HostA) Received 1
466 > [ 0.000000] (1:server@HostA) Received 1
467 > [ 0.000000] (2:client@HostB) Send 1
468 > [ 0.000000] (1:server@HostA) Received 2
469 > [ 0.000000] (1:server@HostA) Received 1
470 > [ 0.000000] (2:client@HostB) Send 1
471 > [ 0.000000] (1:server@HostA) Received 2
472 > [ 0.000000] (3:client@HostC) Send 2
473 > [ 0.000000] (1:server@HostA) Received 1
474 > [ 0.000000] (1:server@HostA) Received 2
475 > [ 0.000000] (1:server@HostA) OK
476 > [ 0.000000] (1:server@HostA) Received 1
477 > [ 0.000000] (2:client@HostB) Send 1
478 > [ 0.000000] (1:server@HostA) Received 2
479 > [ 0.000000] (3:client@HostC) Send 2
480 > [ 0.000000] (1:server@HostA) Received 1
481 > [ 0.000000] (1:server@HostA) Received 1
482 > [ 0.000000] (2:client@HostB) Send 1
483 > [ 0.000000] (1:server@HostA) Received 2
484 > [ 0.000000] (3:client@HostC) Send 2
485 > [ 0.000000] (1:server@HostA) Received 1
486 > [ 0.000000] (1:server@HostA) Received 2
487 > [ 0.000000] (1:server@HostA) OK
488 > [ 0.000000] (1:server@HostA) Received 1
489 > [ 0.000000] (2:client@HostB) Send 1
490 > [ 0.000000] (1:server@HostA) Received 2
491 > [ 0.000000] (3:client@HostC) Send 2
492 > [ 0.000000] (1:server@HostA) Received 1
493 > [ 0.000000] (1:server@HostA) Received 1
494 > [ 0.000000] (2:client@HostB) Send 1
495 > [ 0.000000] (1:server@HostA) Received 2
496 > [ 0.000000] (3:client@HostC) Send 2
497 > [ 0.000000] (1:server@HostA) Received 2
498 > [ 0.000000] (1:server@HostA) Received 1
499 > [ 0.000000] (1:server@HostA) OK
500 > [ 0.000000] (1:server@HostA) Received 1
501 > [ 0.000000] (2:client@HostB) Send 1
502 > [ 0.000000] (1:server@HostA) Received 2
503 > [ 0.000000] (3:client@HostC) Send 2
504 > [ 0.000000] (1:server@HostA) Received 2
505 > [ 0.000000] (1:server@HostA) Received 1
506 > [ 0.000000] (1:server@HostA) OK
507 > [ 0.000000] (1:server@HostA) Received 1
508 > [ 0.000000] (2:client@HostB) Send 1
509 > [ 0.000000] (1:server@HostA) Received 2
510 > [ 0.000000] (3:client@HostC) Send 2
511 > [ 0.000000] (1:server@HostA) Received 2
512 > [ 0.000000] (1:server@HostA) Received 1
513 > [ 0.000000] (1:server@HostA) OK
514 > [ 0.000000] (1:server@HostA) Received 1
515 > [ 0.000000] (2:client@HostB) Send 1
516 > [ 0.000000] (1:server@HostA) Received 2
517 > [ 0.000000] (3:client@HostC) Send 2
518 > [ 0.000000] (1:server@HostA) Received 2
519 > [ 0.000000] (1:server@HostA) Received 1
520 > [ 0.000000] (1:server@HostA) OK
521 > [ 0.000000] (1:server@HostA) Received 1
522 > [ 0.000000] (2:client@HostB) Send 1
523 > [ 0.000000] (1:server@HostA) Received 2
524 > [ 0.000000] (3:client@HostC) Send 2
525 > [ 0.000000] (1:server@HostA) Received 2
526 > [ 0.000000] (1:server@HostA) Received 1
527 > [ 0.000000] (1:server@HostA) OK
528 > [ 0.000000] (1:server@HostA) Received 1
529 > [ 0.000000] (2:client@HostB) Send 1
530 > [ 0.000000] (1:server@HostA) Received 2
531 > [ 0.000000] (3:client@HostC) Send 2
532 > [ 0.000000] (1:server@HostA) Received 2
533 > [ 0.000000] (1:server@HostA) Received 1
534 > [ 0.000000] (2:client@HostB) Send 1
535 > [ 0.000000] (1:server@HostA) Received 2
536 > [ 0.000000] (3:client@HostC) Send 2
537 > [ 0.000000] (1:server@HostA) Received 2
538 > [ 0.000000] (1:server@HostA) Received 1
539 > [ 0.000000] (1:server@HostA) OK
540 > [ 0.000000] (1:server@HostA) Received 1
541 > [ 0.000000] (2:client@HostB) Send 1
542 > [ 0.000000] (1:server@HostA) Received 2
543 > [ 0.000000] (3:client@HostC) Send 2
544 > [ 0.000000] (1:server@HostA) Received 2
545 > [ 0.000000] (1:server@HostA) Received 1
546 > [ 0.000000] (2:client@HostB) Send 1
547 > [ 0.000000] (1:server@HostA) Received 2
548 > [ 0.000000] (3:client@HostC) Send 2
549 > [ 0.000000] (1:server@HostA) Received 1
550 > [ 0.000000] (2:client@HostB) Send 1
551 > [ 0.000000] (1:server@HostA) Received 2
552 > [ 0.000000] (1:server@HostA) Received 1
553 > [ 0.000000] (2:client@HostB) Send 1
554 > [ 0.000000] (1:server@HostA) Received 1
555 > [ 0.000000] (3:client@HostC) Send 2
556 > [ 0.000000] (1:server@HostA) Received 2
557 > [ 0.000000] (1:server@HostA) OK
558 > [ 0.000000] (1:server@HostA) Received 2
559 > [ 0.000000] (1:server@HostA) Received 1
560 > [ 0.000000] (2:client@HostB) Send 1
561 > [ 0.000000] (1:server@HostA) Received 1
562 > [ 0.000000] (3:client@HostC) Send 2
563 > [ 0.000000] (1:server@HostA) Received 2
564 > [ 0.000000] (1:server@HostA) Received 1
565 > [ 0.000000] (2:client@HostB) Send 1
566 > [ 0.000000] (1:server@HostA) Received 1
567 > [ 0.000000] (3:client@HostC) Send 2
568 > [ 0.000000] (1:server@HostA) Received 2
569 > [ 0.000000] (1:server@HostA) OK
570 > [ 0.000000] (1:server@HostA) Received 2
571 > [ 0.000000] (1:server@HostA) Received 1
572 > [ 0.000000] (2:client@HostB) Send 1
573 > [ 0.000000] (1:server@HostA) Received 1
574 > [ 0.000000] (3:client@HostC) Send 2
575 > [ 0.000000] (1:server@HostA) Received 2
576 > [ 0.000000] (1:server@HostA) Received 1
577 > [ 0.000000] (2:client@HostB) Send 1
578 > [ 0.000000] (1:server@HostA) Received 1
579 > [ 0.000000] (3:client@HostC) Send 2
580 > [ 0.000000] (1:server@HostA) Received 2
581 > [ 0.000000] (1:server@HostA) OK
582 > [ 0.000000] (1:server@HostA) Received 2
583 > [ 0.000000] (1:server@HostA) Received 1
584 > [ 0.000000] (2:client@HostB) Send 1
585 > [ 0.000000] (1:server@HostA) Received 1
586 > [ 0.000000] (3:client@HostC) Send 2
587 > [ 0.000000] (1:server@HostA) Received 2
588 > [ 0.000000] (1:server@HostA) Received 1
589 > [ 0.000000] (2:client@HostB) Send 1
590 > [ 0.000000] (1:server@HostA) Received 1
591 > [ 0.000000] (3:client@HostC) Send 2
592 > [ 0.000000] (1:server@HostA) Received 2
593 > [ 0.000000] (1:server@HostA) OK
594 > [ 0.000000] (1:server@HostA) Received 2
595 > [ 0.000000] (1:server@HostA) Received 1
596 > [ 0.000000] (2:client@HostB) Send 1
597 > [ 0.000000] (1:server@HostA) Received 1
598 > [ 0.000000] (3:client@HostC) Send 2
599 > [ 0.000000] (1:server@HostA) Received 2
600 > [ 0.000000] (1:server@HostA) Received 1
601 > [ 0.000000] (2:client@HostB) Send 1
602 > [ 0.000000] (1:server@HostA) Received 1
603 > [ 0.000000] (3:client@HostC) Send 2
604 > [ 0.000000] (1:server@HostA) Received 2
605 > [ 0.000000] (1:server@HostA) OK
606 > [ 0.000000] (1:server@HostA) Received 2
607 > [ 0.000000] (1:server@HostA) Received 1
608 > [ 0.000000] (2:client@HostB) Send 1
609 > [ 0.000000] (1:server@HostA) Received 1
610 > [ 0.000000] (3:client@HostC) Send 2
611 > [ 0.000000] (1:server@HostA) Received 2
612 > [ 0.000000] (1:server@HostA) Received 1
613 > [ 0.000000] (2:client@HostB) Send 1
614 > [ 0.000000] (1:server@HostA) Received 1
615 > [ 0.000000] (3:client@HostC) Send 2
616 > [ 0.000000] (1:server@HostA) Received 2
617 > [ 0.000000] (1:server@HostA) OK
618 > [ 0.000000] (1:server@HostA) Received 2
619 > [ 0.000000] (1:server@HostA) Received 1
620 > [ 0.000000] (2:client@HostB) Send 1
621 > [ 0.000000] (1:server@HostA) Received 1
622 > [ 0.000000] (3:client@HostC) Send 2
623 > [ 0.000000] (1:server@HostA) Received 2
624 > [ 0.000000] (1:server@HostA) Received 1
625 > [ 0.000000] (2:client@HostB) Send 1
626 > [ 0.000000] (3:client@HostC) Send 2
627 > [ 0.000000] (1:server@HostA) Received 1
628 > [ 0.000000] (1:server@HostA) Received 2
629 > [ 0.000000] (1:server@HostA) OK
630 > [ 0.000000] (1:server@HostA) Received 2
631 > [ 0.000000] (1:server@HostA) Received 1
632 > [ 0.000000] (2:client@HostB) Send 1
633 > [ 0.000000] (3:client@HostC) Send 2
634 > [ 0.000000] (1:server@HostA) Received 1
635 > [ 0.000000] (1:server@HostA) Received 2
636 > [ 0.000000] (1:server@HostA) Received 1
637 > [ 0.000000] (2:client@HostB) Send 1
638 > [ 0.000000] (3:client@HostC) Send 2
639 > [ 0.000000] (1:server@HostA) Received 1
640 > [ 0.000000] (1:server@HostA) Received 2
641 > [ 0.000000] (1:server@HostA) OK
642 > [ 0.000000] (1:server@HostA) Received 2
643 > [ 0.000000] (1:server@HostA) Received 1
644 > [ 0.000000] (2:client@HostB) Send 1
645 > [ 0.000000] (3:client@HostC) Send 2
646 > [ 0.000000] (1:server@HostA) Received 1
647 > [ 0.000000] (1:server@HostA) Received 2
648 > [ 0.000000] (1:server@HostA) Received 1
649 > [ 0.000000] (2:client@HostB) Send 1
650 > [ 0.000000] (1:server@HostA) Received 1
651 > [ 0.000000] (3:client@HostC) Send 2
652 > [ 0.000000] (1:server@HostA) Received 2
653 > [ 0.000000] (1:server@HostA) OK
654 > [ 0.000000] (1:server@HostA) Received 2
655 > [ 0.000000] (1:server@HostA) Received 1
656 > [ 0.000000] (2:client@HostB) Send 1
657 > [ 0.000000] (1:server@HostA) Received 1
658 > [ 0.000000] (3:client@HostC) Send 2
659 > [ 0.000000] (1:server@HostA) Received 2
660 > [ 0.000000] (1:server@HostA) Received 1
661 > [ 0.000000] (2:client@HostB) Send 1
662 > [ 0.000000] (1:server@HostA) Received 1
663 > [ 0.000000] (3:client@HostC) Send 2
664 > [ 0.000000] (1:server@HostA) Received 2
665 > [ 0.000000] (1:server@HostA) OK
666 > [ 0.000000] (1:server@HostA) Received 2
667 > [ 0.000000] (1:server@HostA) Received 1
668 > [ 0.000000] (2:client@HostB) Send 1
669 > [ 0.000000] (1:server@HostA) Received 1
670 > [ 0.000000] (3:client@HostC) Send 2
671 > [ 0.000000] (1:server@HostA) Received 2
672 > [ 0.000000] (1:server@HostA) Received 1
673 > [ 0.000000] (2:client@HostB) Send 1
674 > [ 0.000000] (3:client@HostC) Send 2
675 > [ 0.000000] (1:server@HostA) Received 1
676 > [ 0.000000] (1:server@HostA) Received 2
677 > [ 0.000000] (1:server@HostA) OK
678 > [ 0.000000] (1:server@HostA) Received 2
679 > [ 0.000000] (1:server@HostA) Received 1
680 > [ 0.000000] (2:client@HostB) Send 1
681 > [ 0.000000] (3:client@HostC) Send 2
682 > [ 0.000000] (1:server@HostA) Received 1
683 > [ 0.000000] (1:server@HostA) Received 2
684 > [ 0.000000] (1:server@HostA) Received 1
685 > [ 0.000000] (2:client@HostB) Send 1
686 > [ 0.000000] (1:server@HostA) Received 2
687 > [ 0.000000] (1:server@HostA) Received 1
688 > [ 0.000000] (3:client@HostC) Send 2
689 > [ 0.000000] (2:client@HostB) Send 1
690 > [ 0.000000] (1:server@HostA) Received 1
691 > [ 0.000000] (1:server@HostA) Received 2
692 > [ 0.000000] (1:server@HostA) OK
693 > [ 0.000000] (1:server@HostA) Received 2
694 > [ 0.000000] (1:server@HostA) Received 1
695 > [ 0.000000] (3:client@HostC) Send 2
696 > [ 0.000000] (2:client@HostB) Send 1
697 > [ 0.000000] (1:server@HostA) Received 1
698 > [ 0.000000] (1:server@HostA) Received 2
699 > [ 0.000000] (1:server@HostA) Received 1
700 > [ 0.000000] (3:client@HostC) Send 2
701 > [ 0.000000] (2:client@HostB) Send 1
702 > [ 0.000000] (1:server@HostA) Received 1
703 > [ 0.000000] (1:server@HostA) Received 2
704 > [ 0.000000] (1:server@HostA) OK
705 > [ 0.000000] (1:server@HostA) Received 2
706 > [ 0.000000] (1:server@HostA) Received 1
707 > [ 0.000000] (3:client@HostC) Send 2
708 > [ 0.000000] (2:client@HostB) Send 1
709 > [ 0.000000] (1:server@HostA) Received 1
710 > [ 0.000000] (1:server@HostA) Received 2
711 > [ 0.000000] (1:server@HostA) Received 1
712 > [ 0.000000] (3:client@HostC) Send 2
713 > [ 0.000000] (2:client@HostB) Send 1
714 > [ 0.000000] (1:server@HostA) Received 2
715 > [ 0.000000] (1:server@HostA) Received 1
716 > [ 0.000000] (1:server@HostA) OK
717 > [ 0.000000] (1:server@HostA) Received 2
718 > [ 0.000000] (1:server@HostA) Received 1
719 > [ 0.000000] (3:client@HostC) Send 2
720 > [ 0.000000] (2:client@HostB) Send 1
721 > [ 0.000000] (1:server@HostA) Received 2
722 > [ 0.000000] (1:server@HostA) Received 1
723 > [ 0.000000] (1:server@HostA) OK
724 > [ 0.000000] (1:server@HostA) Received 2
725 > [ 0.000000] (1:server@HostA) Received 1
726 > [ 0.000000] (3:client@HostC) Send 2
727 > [ 0.000000] (2:client@HostB) Send 1
728 > [ 0.000000] (1:server@HostA) Received 2
729 > [ 0.000000] (1:server@HostA) Received 1
730 > [ 0.000000] (1:server@HostA) OK
731 > [ 0.000000] (1:server@HostA) Received 2
732 > [ 0.000000] (1:server@HostA) Received 1
733 > [ 0.000000] (3:client@HostC) Send 2
734 > [ 0.000000] (2:client@HostB) Send 1
735 > [ 0.000000] (1:server@HostA) Received 2
736 > [ 0.000000] (1:server@HostA) Received 1
737 > [ 0.000000] (1:server@HostA) OK
738 > [ 0.000000] (1:server@HostA) Received 2
739 > [ 0.000000] (1:server@HostA) Received 1
740 > [ 0.000000] (3:client@HostC) Send 2
741 > [ 0.000000] (2:client@HostB) Send 1
742 > [ 0.000000] (1:server@HostA) Received 2
743 > [ 0.000000] (1:server@HostA) Received 1
744 > [ 0.000000] (1:server@HostA) OK
745 > [ 0.000000] (1:server@HostA) Received 2
746 > [ 0.000000] (1:server@HostA) Received 1
747 > [ 0.000000] (3:client@HostC) Send 2
748 > [ 0.000000] (2:client@HostB) Send 1
749 > [ 0.000000] (1:server@HostA) Received 2
750 > [ 0.000000] (1:server@HostA) Received 2
751 > [ 0.000000] (1:server@HostA) Received 1
752 > [ 0.000000] (3:client@HostC) Send 2
753 > [ 0.000000] (2:client@HostB) Send 1
754 > [ 0.000000] (1:server@HostA) Received 2
755 > [ 0.000000] (1:server@HostA) Received 1
756 > [ 0.000000] (1:server@HostA) OK
757 > [ 0.000000] (1:server@HostA) Received 2
758 > [ 0.000000] (1:server@HostA) Received 1
759 > [ 0.000000] (3:client@HostC) Send 2
760 > [ 0.000000] (2:client@HostB) Send 1
761 > [ 0.000000] (1:server@HostA) Received 2
762 > [ 0.000000] (1:server@HostA) Received 2
763 > [ 0.000000] (1:server@HostA) Received 1
764 > [ 0.000000] (3:client@HostC) Send 2
765 > [ 0.000000] (2:client@HostB) Send 1
766 > [ 0.000000] (1:server@HostA) Received 2
767 > [ 0.000000] (1:server@HostA) Received 1
768 > [ 0.000000] (2:client@HostB) Send 1
769 > [ 0.000000] (1:server@HostA) Received 1
770 > [ 0.000000] (3:client@HostC) Send 2
771 > [ 0.000000] (1:server@HostA) Received 2
772 > [ 0.000000] (1:server@HostA) OK
773 > [ 0.000000] (1:server@HostA) Received 2
774 > [ 0.000000] (1:server@HostA) Received 1
775 > [ 0.000000] (2:client@HostB) Send 1
776 > [ 0.000000] (1:server@HostA) Received 1
777 > [ 0.000000] (3:client@HostC) Send 2
778 > [ 0.000000] (1:server@HostA) Received 2
779 > [ 0.000000] (1:server@HostA) Received 1
780 > [ 0.000000] (2:client@HostB) Send 1
781 > [ 0.000000] (1:server@HostA) Received 1
782 > [ 0.000000] (3:client@HostC) Send 2
783 > [ 0.000000] (1:server@HostA) Received 2
784 > [ 0.000000] (1:server@HostA) OK
785 > [ 0.000000] (1:server@HostA) Received 2
786 > [ 0.000000] (1:server@HostA) Received 1
787 > [ 0.000000] (2:client@HostB) Send 1
788 > [ 0.000000] (1:server@HostA) Received 1
789 > [ 0.000000] (3:client@HostC) Send 2
790 > [ 0.000000] (1:server@HostA) Received 2
791 > [ 0.000000] (1:server@HostA) Received 1
792 > [ 0.000000] (2:client@HostB) Send 1
793 > [ 0.000000] (1:server@HostA) Received 1
794 > [ 0.000000] (3:client@HostC) Send 2
795 > [ 0.000000] (1:server@HostA) Received 2
796 > [ 0.000000] (1:server@HostA) OK
797 > [ 0.000000] (1:server@HostA) Received 2
798 > [ 0.000000] (1:server@HostA) Received 1
799 > [ 0.000000] (2:client@HostB) Send 1
800 > [ 0.000000] (1:server@HostA) Received 1
801 > [ 0.000000] (3:client@HostC) Send 2
802 > [ 0.000000] (1:server@HostA) Received 2
803 > [ 0.000000] (1:server@HostA) Received 1
804 > [ 0.000000] (2:client@HostB) Send 1
805 > [ 0.000000] (1:server@HostA) Received 1
806 > [ 0.000000] (3:client@HostC) Send 2
807 > [ 0.000000] (1:server@HostA) Received 2
808 > [ 0.000000] (1:server@HostA) OK
809 > [ 0.000000] (1:server@HostA) Received 2
810 > [ 0.000000] (1:server@HostA) Received 1
811 > [ 0.000000] (2:client@HostB) Send 1
812 > [ 0.000000] (1:server@HostA) Received 1
813 > [ 0.000000] (3:client@HostC) Send 2
814 > [ 0.000000] (1:server@HostA) Received 2
815 > [ 0.000000] (1:server@HostA) Received 1
816 > [ 0.000000] (2:client@HostB) Send 1
817 > [ 0.000000] (1:server@HostA) Received 1
818 > [ 0.000000] (3:client@HostC) Send 2
819 > [ 0.000000] (1:server@HostA) Received 2
820 > [ 0.000000] (1:server@HostA) OK
821 > [ 0.000000] (1:server@HostA) Received 2
822 > [ 0.000000] (1:server@HostA) Received 1
823 > [ 0.000000] (2:client@HostB) Send 1
824 > [ 0.000000] (1:server@HostA) Received 1
825 > [ 0.000000] (3:client@HostC) Send 2
826 > [ 0.000000] (1:server@HostA) Received 2
827 > [ 0.000000] (1:server@HostA) Received 1
828 > [ 0.000000] (2:client@HostB) Send 1
829 > [ 0.000000] (1:server@HostA) Received 1
830 > [ 0.000000] (3:client@HostC) Send 2
831 > [ 0.000000] (1:server@HostA) Received 2
832 > [ 0.000000] (1:server@HostA) OK
833 > [ 0.000000] (1:server@HostA) Received 2
834 > [ 0.000000] (1:server@HostA) Received 1
835 > [ 0.000000] (2:client@HostB) Send 1
836 > [ 0.000000] (1:server@HostA) Received 1
837 > [ 0.000000] (3:client@HostC) Send 2
838 > [ 0.000000] (1:server@HostA) Received 2
839 > [ 0.000000] (1:server@HostA) Received 1
840 > [ 0.000000] (2:client@HostB) Send 1
841 > [ 0.000000] (3:client@HostC) Send 2
842 > [ 0.000000] (1:server@HostA) Received 1
843 > [ 0.000000] (1:server@HostA) Received 2
844 > [ 0.000000] (1:server@HostA) OK
845 > [ 0.000000] (1:server@HostA) Received 2
846 > [ 0.000000] (1:server@HostA) Received 1
847 > [ 0.000000] (2:client@HostB) Send 1
848 > [ 0.000000] (3:client@HostC) Send 2
849 > [ 0.000000] (1:server@HostA) Received 1
850 > [ 0.000000] (1:server@HostA) Received 2
851 > [ 0.000000] (1:server@HostA) Received 1
852 > [ 0.000000] (2:client@HostB) Send 1
853 > [ 0.000000] (3:client@HostC) Send 2
854 > [ 0.000000] (1:server@HostA) Received 1
855 > [ 0.000000] (1:server@HostA) Received 2
856 > [ 0.000000] (1:server@HostA) OK
857 > [ 0.000000] (1:server@HostA) Received 2
858 > [ 0.000000] (1:server@HostA) Received 1
859 > [ 0.000000] (2:client@HostB) Send 1
860 > [ 0.000000] (3:client@HostC) Send 2
861 > [ 0.000000] (1:server@HostA) Received 1
862 > [ 0.000000] (1:server@HostA) Received 2
863 > [ 0.000000] (1:server@HostA) Received 1
864 > [ 0.000000] (2:client@HostB) Send 1
865 > [ 0.000000] (1:server@HostA) Received 1
866 > [ 0.000000] (3:client@HostC) Send 2
867 > [ 0.000000] (1:server@HostA) Received 2
868 > [ 0.000000] (1:server@HostA) OK
869 > [ 0.000000] (1:server@HostA) Received 2
870 > [ 0.000000] (1:server@HostA) Received 1
871 > [ 0.000000] (2:client@HostB) Send 1
872 > [ 0.000000] (1:server@HostA) Received 1
873 > [ 0.000000] (3:client@HostC) Send 2
874 > [ 0.000000] (1:server@HostA) Received 2
875 > [ 0.000000] (1:server@HostA) Received 1
876 > [ 0.000000] (2:client@HostB) Send 1
877 > [ 0.000000] (1:server@HostA) Received 1
878 > [ 0.000000] (3:client@HostC) Send 2
879 > [ 0.000000] (1:server@HostA) Received 2
880 > [ 0.000000] (1:server@HostA) OK
881 > [ 0.000000] (1:server@HostA) Received 2
882 > [ 0.000000] (1:server@HostA) Received 1
883 > [ 0.000000] (2:client@HostB) Send 1
884 > [ 0.000000] (1:server@HostA) Received 1
885 > [ 0.000000] (3:client@HostC) Send 2
886 > [ 0.000000] (1:server@HostA) Received 2
887 > [ 0.000000] (1:server@HostA) Received 1
888 > [ 0.000000] (2:client@HostB) Send 1
889 > [ 0.000000] (3:client@HostC) Send 2
890 > [ 0.000000] (1:server@HostA) Received 1
891 > [ 0.000000] (1:server@HostA) Received 2
892 > [ 0.000000] (1:server@HostA) OK
893 > [ 0.000000] (1:server@HostA) Received 2
894 > [ 0.000000] (1:server@HostA) Received 1
895 > [ 0.000000] (2:client@HostB) Send 1
896 > [ 0.000000] (3:client@HostC) Send 2
897 > [ 0.000000] (1:server@HostA) Received 1
898 > [ 0.000000] (1:server@HostA) Received 2
899 > [ 0.000000] (1:server@HostA) Received 1
900 > [ 0.000000] (2:client@HostB) Send 1
901 > [ 0.000000] (1:server@HostA) Received 2
902 > [ 0.000000] (1:server@HostA) Received 1
903 > [ 0.000000] (2:client@HostB) Send 1
904 > [ 0.000000] (3:client@HostC) Send 2
905 > [ 0.000000] (1:server@HostA) Received 1
906 > [ 0.000000] (1:server@HostA) Received 2
907 > [ 0.000000] (1:server@HostA) OK
908 > [ 0.000000] (1:server@HostA) Received 2
909 > [ 0.000000] (1:server@HostA) Received 1
910 > [ 0.000000] (2:client@HostB) Send 1
911 > [ 0.000000] (3:client@HostC) Send 2
912 > [ 0.000000] (1:server@HostA) Received 1
913 > [ 0.000000] (1:server@HostA) Received 2
914 > [ 0.000000] (1:server@HostA) Received 1
915 > [ 0.000000] (2:client@HostB) Send 1
916 > [ 0.000000] (3:client@HostC) Send 2
917 > [ 0.000000] (1:server@HostA) Received 1
918 > [ 0.000000] (1:server@HostA) Received 2
919 > [ 0.000000] (1:server@HostA) OK
920 > [ 0.000000] (1:server@HostA) Received 2
921 > [ 0.000000] (1:server@HostA) Received 1
922 > [ 0.000000] (2:client@HostB) Send 1
923 > [ 0.000000] (3:client@HostC) Send 2
924 > [ 0.000000] (1:server@HostA) Received 1
925 > [ 0.000000] (1:server@HostA) Received 2
926 > [ 0.000000] (1:server@HostA) Received 1
927 > [ 0.000000] (2:client@HostB) Send 1
928 > [ 0.000000] (3:client@HostC) Send 2
929 > [ 0.000000] (1:server@HostA) Received 2
930 > [ 0.000000] (1:server@HostA) Received 1
931 > [ 0.000000] (1:server@HostA) OK
932 > [ 0.000000] (1:server@HostA) Received 2
933 > [ 0.000000] (1:server@HostA) Received 1
934 > [ 0.000000] (2:client@HostB) Send 1
935 > [ 0.000000] (3:client@HostC) Send 2
936 > [ 0.000000] (1:server@HostA) Received 2
937 > [ 0.000000] (1:server@HostA) Received 1
938 > [ 0.000000] (1:server@HostA) OK
939 > [ 0.000000] (1:server@HostA) Received 2
940 > [ 0.000000] (1:server@HostA) Received 1
941 > [ 0.000000] (2:client@HostB) Send 1
942 > [ 0.000000] (3:client@HostC) Send 2
943 > [ 0.000000] (1:server@HostA) Received 2
944 > [ 0.000000] (1:server@HostA) Received 1
945 > [ 0.000000] (1:server@HostA) OK
946 > [ 0.000000] (1:server@HostA) Received 2
947 > [ 0.000000] (1:server@HostA) Received 1
948 > [ 0.000000] (2:client@HostB) Send 1
949 > [ 0.000000] (3:client@HostC) Send 2
950 > [ 0.000000] (1:server@HostA) Received 2
951 > [ 0.000000] (1:server@HostA) Received 1
952 > [ 0.000000] (1:server@HostA) OK
953 > [ 0.000000] (1:server@HostA) Received 2
954 > [ 0.000000] (1:server@HostA) Received 1
955 > [ 0.000000] (2:client@HostB) Send 1
956 > [ 0.000000] (3:client@HostC) Send 2
957 > [ 0.000000] (1:server@HostA) Received 2
958 > [ 0.000000] (1:server@HostA) Received 1
959 > [ 0.000000] (1:server@HostA) OK
960 > [ 0.000000] (1:server@HostA) Received 2
961 > [ 0.000000] (1:server@HostA) Received 1
962 > [ 0.000000] (2:client@HostB) Send 1
963 > [ 0.000000] (3:client@HostC) Send 2
964 > [ 0.000000] (1:server@HostA) Received 2
965 > [ 0.000000] (1:server@HostA) Received 2
966 > [ 0.000000] (1:server@HostA) Received 1
967 > [ 0.000000] (2:client@HostB) Send 1
968 > [ 0.000000] (3:client@HostC) Send 2
969 > [ 0.000000] (1:server@HostA) Received 2
970 > [ 0.000000] (1:server@HostA) Received 1
971 > [ 0.000000] (1:server@HostA) OK
972 > [ 0.000000] (1:server@HostA) Received 2
973 > [ 0.000000] (1:server@HostA) Received 1
974 > [ 0.000000] (2:client@HostB) Send 1
975 > [ 0.000000] (3:client@HostC) Send 2
976 > [ 0.000000] (1:server@HostA) Received 2
977 > [ 0.000000] (1:server@HostA) Received 2
978 > [ 0.000000] (1:server@HostA) Received 1
979 > [ 0.000000] (2:client@HostB) Send 1
980 > [ 0.000000] (3:client@HostC) Send 2
981 > [ 0.000000] (1:server@HostA) Received 2
982 > [ 0.000000] (1:server@HostA) Received 1
983 > [ 0.000000] (3:client@HostC) Send 2
984 > [ 0.000000] (2:client@HostB) Send 1
985 > [ 0.000000] (1:server@HostA) Received 1
986 > [ 0.000000] (1:server@HostA) Received 2
987 > [ 0.000000] (1:server@HostA) OK
988 > [ 0.000000] (1:server@HostA) Received 2
989 > [ 0.000000] (1:server@HostA) Received 1
990 > [ 0.000000] (3:client@HostC) Send 2
991 > [ 0.000000] (2:client@HostB) Send 1
992 > [ 0.000000] (1:server@HostA) Received 1
993 > [ 0.000000] (1:server@HostA) Received 2
994 > [ 0.000000] (1:server@HostA) Received 1
995 > [ 0.000000] (3:client@HostC) Send 2
996 > [ 0.000000] (2:client@HostB) Send 1
997 > [ 0.000000] (1:server@HostA) Received 1
998 > [ 0.000000] (1:server@HostA) Received 2
999 > [ 0.000000] (1:server@HostA) OK
1000 > [ 0.000000] (1:server@HostA) Received 2
1001 > [ 0.000000] (1:server@HostA) Received 1
1002 > [ 0.000000] (3:client@HostC) Send 2
1003 > [ 0.000000] (2:client@HostB) Send 1
1004 > [ 0.000000] (1:server@HostA) Received 1
1005 > [ 0.000000] (1:server@HostA) Received 2
1006 > [ 0.000000] (1:server@HostA) Received 1
1007 > [ 0.000000] (3:client@HostC) Send 2
1008 > [ 0.000000] (2:client@HostB) Send 1
1009 > [ 0.000000] (1:server@HostA) Received 2
1010 > [ 0.000000] (1:server@HostA) Received 1
1011 > [ 0.000000] (1:server@HostA) OK
1012 > [ 0.000000] (1:server@HostA) Received 2
1013 > [ 0.000000] (1:server@HostA) Received 1
1014 > [ 0.000000] (3:client@HostC) Send 2
1015 > [ 0.000000] (2:client@HostB) Send 1
1016 > [ 0.000000] (1:server@HostA) Received 2
1017 > [ 0.000000] (1:server@HostA) Received 1
1018 > [ 0.000000] (1:server@HostA) OK
1019 > [ 0.000000] (1:server@HostA) Received 2
1020 > [ 0.000000] (1:server@HostA) Received 1
1021 > [ 0.000000] (3:client@HostC) Send 2
1022 > [ 0.000000] (2:client@HostB) Send 1
1023 > [ 0.000000] (1:server@HostA) Received 2
1024 > [ 0.000000] (1:server@HostA) Received 1
1025 > [ 0.000000] (1:server@HostA) OK
1026 > [ 0.000000] (1:server@HostA) Received 2
1027 > [ 0.000000] (1:server@HostA) Received 1
1028 > [ 0.000000] (3:client@HostC) Send 2
1029 > [ 0.000000] (2:client@HostB) Send 1
1030 > [ 0.000000] (1:server@HostA) Received 2
1031 > [ 0.000000] (1:server@HostA) Received 1
1032 > [ 0.000000] (1:server@HostA) OK
1033 > [ 0.000000] (1:server@HostA) Received 2
1034 > [ 0.000000] (1:server@HostA) Received 1
1035 > [ 0.000000] (3:client@HostC) Send 2
1036 > [ 0.000000] (2:client@HostB) Send 1
1037 > [ 0.000000] (1:server@HostA) Received 2
1038 > [ 0.000000] (1:server@HostA) Received 1
1039 > [ 0.000000] (1:server@HostA) OK
1040 > [ 0.000000] (1:server@HostA) Received 2
1041 > [ 0.000000] (1:server@HostA) Received 1
1042 > [ 0.000000] (3:client@HostC) Send 2
1043 > [ 0.000000] (2:client@HostB) Send 1
1044 > [ 0.000000] (1:server@HostA) Received 2
1045 > [ 0.000000] (1:server@HostA) Received 2
1046 > [ 0.000000] (1:server@HostA) Received 1
1047 > [ 0.000000] (3:client@HostC) Send 2
1048 > [ 0.000000] (2:client@HostB) Send 1
1049 > [ 0.000000] (1:server@HostA) Received 2
1050 > [ 0.000000] (1:server@HostA) Received 1
1051 > [ 0.000000] (1:server@HostA) OK
1052 > [ 0.000000] (1:server@HostA) Received 2
1053 > [ 0.000000] (1:server@HostA) Received 1
1054 > [ 0.000000] (3:client@HostC) Send 2
1055 > [ 0.000000] (2:client@HostB) Send 1
1056 > [ 0.000000] (1:server@HostA) Received 2
1057 > [ 0.000000] (1:server@HostA) Received 2
1058 > [ 0.000000] (1:server@HostA) Received 1
1059 > [ 0.000000] (3:client@HostC) Send 2
1060 > [ 0.000000] (2:client@HostB) Send 1
1061 > [ 0.000000] (1:server@HostA) Received 2
1062 > [ 0.000000] (1:server@HostA) Received 1
1063 > [ 0.000000] (3:client@HostC) Send 2
1064 > [ 0.000000] (2:client@HostB) Send 1
1065 > [ 0.000000] (1:server@HostA) Received 1
1066 > [ 0.000000] (1:server@HostA) Received 2
1067 > [ 0.000000] (1:server@HostA) OK
1068 > [ 0.000000] (1:server@HostA) Received 2
1069 > [ 0.000000] (1:server@HostA) Received 1
1070 > [ 0.000000] (3:client@HostC) Send 2
1071 > [ 0.000000] (2:client@HostB) Send 1
1072 > [ 0.000000] (1:server@HostA) Received 1
1073 > [ 0.000000] (1:server@HostA) Received 2
1074 > [ 0.000000] (1:server@HostA) Received 1
1075 > [ 0.000000] (3:client@HostC) Send 2
1076 > [ 0.000000] (2:client@HostB) Send 1
1077 > [ 0.000000] (1:server@HostA) Received 1
1078 > [ 0.000000] (1:server@HostA) Received 2
1079 > [ 0.000000] (1:server@HostA) OK
1080 > [ 0.000000] (1:server@HostA) Received 2
1081 > [ 0.000000] (1:server@HostA) Received 1
1082 > [ 0.000000] (3:client@HostC) Send 2
1083 > [ 0.000000] (2:client@HostB) Send 1
1084 > [ 0.000000] (1:server@HostA) Received 1
1085 > [ 0.000000] (1:server@HostA) Received 2
1086 > [ 0.000000] (1:server@HostA) Received 1
1087 > [ 0.000000] (3:client@HostC) Send 2
1088 > [ 0.000000] (2:client@HostB) Send 1
1089 > [ 0.000000] (1:server@HostA) Received 2
1090 > [ 0.000000] (1:server@HostA) Received 1
1091 > [ 0.000000] (1:server@HostA) OK
1092 > [ 0.000000] (1:server@HostA) Received 2
1093 > [ 0.000000] (1:server@HostA) Received 1
1094 > [ 0.000000] (3:client@HostC) Send 2
1095 > [ 0.000000] (2:client@HostB) Send 1
1096 > [ 0.000000] (1:server@HostA) Received 2
1097 > [ 0.000000] (1:server@HostA) Received 1
1098 > [ 0.000000] (1:server@HostA) OK
1099 > [ 0.000000] (1:server@HostA) Received 2
1100 > [ 0.000000] (1:server@HostA) Received 1
1101 > [ 0.000000] (3:client@HostC) Send 2
1102 > [ 0.000000] (2:client@HostB) Send 1
1103 > [ 0.000000] (1:server@HostA) Received 2
1104 > [ 0.000000] (1:server@HostA) Received 1
1105 > [ 0.000000] (1:server@HostA) OK
1106 > [ 0.000000] (1:server@HostA) Received 2
1107 > [ 0.000000] (1:server@HostA) Received 1
1108 > [ 0.000000] (3:client@HostC) Send 2
1109 > [ 0.000000] (2:client@HostB) Send 1
1110 > [ 0.000000] (1:server@HostA) Received 2
1111 > [ 0.000000] (1:server@HostA) Received 1
1112 > [ 0.000000] (1:server@HostA) OK
1113 > [ 0.000000] (1:server@HostA) Received 2
1114 > [ 0.000000] (1:server@HostA) Received 1
1115 > [ 0.000000] (3:client@HostC) Send 2
1116 > [ 0.000000] (2:client@HostB) Send 1
1117 > [ 0.000000] (1:server@HostA) Received 2
1118 > [ 0.000000] (1:server@HostA) Received 1
1119 > [ 0.000000] (1:server@HostA) OK
1120 > [ 0.000000] (1:server@HostA) Received 2
1121 > [ 0.000000] (1:server@HostA) Received 1
1122 > [ 0.000000] (3:client@HostC) Send 2
1123 > [ 0.000000] (2:client@HostB) Send 1
1124 > [ 0.000000] (1:server@HostA) Received 2
1125 > [ 0.000000] (1:server@HostA) Received 2
1126 > [ 0.000000] (1:server@HostA) Received 1
1127 > [ 0.000000] (3:client@HostC) Send 2
1128 > [ 0.000000] (2:client@HostB) Send 1
1129 > [ 0.000000] (1:server@HostA) Received 2
1130 > [ 0.000000] (1:server@HostA) Received 1
1131 > [ 0.000000] (1:server@HostA) OK
1132 > [ 0.000000] (1:server@HostA) Received 2
1133 > [ 0.000000] (1:server@HostA) Received 1
1134 > [ 0.000000] (3:client@HostC) Send 2
1135 > [ 0.000000] (2:client@HostB) Send 1
1136 > [ 0.000000] (1:server@HostA) Received 2
1137 > [ 0.000000] (1:server@HostA) Received 2
1138 > [ 0.000000] (1:server@HostA) Received 1
1139 > [ 0.000000] (3:client@HostC) Send 2
1140 > [ 0.000000] (2:client@HostB) Send 1
1141 > [ 0.000000] (1:server@HostA) Received 2
1142 > [ 0.000000] (3:client@HostC) Send 2
1143 > [ 0.000000] (1:server@HostA) Received 1
1144 > [ 0.000000] (2:client@HostB) Send 1
1145 > [ 0.000000] (1:server@HostA) Received 1
1146 > [ 0.000000] (1:server@HostA) Received 2
1147 > [ 0.000000] (1:server@HostA) OK
1148 > [ 0.000000] (1:server@HostA) Received 2
1149 > [ 0.000000] (3:client@HostC) Send 2
1150 > [ 0.000000] (1:server@HostA) Received 1
1151 > [ 0.000000] (2:client@HostB) Send 1
1152 > [ 0.000000] (1:server@HostA) Received 1
1153 > [ 0.000000] (1:server@HostA) Received 2
1154 > [ 0.000000] (3:client@HostC) Send 2
1155 > [ 0.000000] (1:server@HostA) Received 1
1156 > [ 0.000000] (2:client@HostB) Send 1
1157 > [ 0.000000] (1:server@HostA) Received 1
1158 > [ 0.000000] (1:server@HostA) Received 2
1159 > [ 0.000000] (1:server@HostA) OK
1160 > [ 0.000000] (1:server@HostA) Received 2
1161 > [ 0.000000] (3:client@HostC) Send 2
1162 > [ 0.000000] (1:server@HostA) Received 1
1163 > [ 0.000000] (2:client@HostB) Send 1
1164 > [ 0.000000] (1:server@HostA) Received 1
1165 > [ 0.000000] (1:server@HostA) Received 2
1166 > [ 0.000000] (3:client@HostC) Send 2
1167 > [ 0.000000] (1:server@HostA) Received 1
1168 > [ 0.000000] (2:client@HostB) Send 1
1169 > [ 0.000000] (1:server@HostA) Received 2
1170 > [ 0.000000] (1:server@HostA) Received 1
1171 > [ 0.000000] (1:server@HostA) OK
1172 > [ 0.000000] (1:server@HostA) Received 2
1173 > [ 0.000000] (3:client@HostC) Send 2
1174 > [ 0.000000] (1:server@HostA) Received 1
1175 > [ 0.000000] (2:client@HostB) Send 1
1176 > [ 0.000000] (1:server@HostA) Received 2
1177 > [ 0.000000] (1:server@HostA) Received 1
1178 > [ 0.000000] (1:server@HostA) OK
1179 > [ 0.000000] (1:server@HostA) Received 2
1180 > [ 0.000000] (3:client@HostC) Send 2
1181 > [ 0.000000] (1:server@HostA) Received 1
1182 > [ 0.000000] (2:client@HostB) Send 1
1183 > [ 0.000000] (1:server@HostA) Received 2
1184 > [ 0.000000] (1:server@HostA) Received 1
1185 > [ 0.000000] (1:server@HostA) OK
1186 > [ 0.000000] (1:server@HostA) Received 2
1187 > [ 0.000000] (3:client@HostC) Send 2
1188 > [ 0.000000] (1:server@HostA) Received 1
1189 > [ 0.000000] (2:client@HostB) Send 1
1190 > [ 0.000000] (1:server@HostA) Received 2
1191 > [ 0.000000] (1:server@HostA) Received 1
1192 > [ 0.000000] (1:server@HostA) OK
1193 > [ 0.000000] (1:server@HostA) Received 2
1194 > [ 0.000000] (3:client@HostC) Send 2
1195 > [ 0.000000] (1:server@HostA) Received 1
1196 > [ 0.000000] (2:client@HostB) Send 1
1197 > [ 0.000000] (1:server@HostA) Received 2
1198 > [ 0.000000] (1:server@HostA) Received 1
1199 > [ 0.000000] (1:server@HostA) OK
1200 > [ 0.000000] (1:server@HostA) Received 2
1201 > [ 0.000000] (3:client@HostC) Send 2
1202 > [ 0.000000] (1:server@HostA) Received 1
1203 > [ 0.000000] (2:client@HostB) Send 1
1204 > [ 0.000000] (1:server@HostA) Received 2
1205 > [ 0.000000] (1:server@HostA) Received 2
1206 > [ 0.000000] (3:client@HostC) Send 2
1207 > [ 0.000000] (1:server@HostA) Received 1
1208 > [ 0.000000] (2:client@HostB) Send 1
1209 > [ 0.000000] (1:server@HostA) Received 2
1210 > [ 0.000000] (1:server@HostA) Received 1
1211 > [ 0.000000] (1:server@HostA) OK
1212 > [ 0.000000] (1:server@HostA) Received 2
1213 > [ 0.000000] (3:client@HostC) Send 2
1214 > [ 0.000000] (1:server@HostA) Received 1
1215 > [ 0.000000] (2:client@HostB) Send 1
1216 > [ 0.000000] (1:server@HostA) Received 2
1217 > [ 0.000000] (1:server@HostA) Received 2
1218 > [ 0.000000] (3:client@HostC) Send 2
1219 > [ 0.000000] (1:server@HostA) Received 1
1220 > [ 0.000000] (2:client@HostB) Send 1
1221 > [ 0.000000] (1:server@HostA) Received 2
1222 > [ 0.000000] (3:client@HostC) Send 2
1223 > [ 0.000000] (1:server@HostA) Received 1
1224 > [ 0.000000] (2:client@HostB) Send 1
1225 > [ 0.000000] (1:server@HostA) Received 1
1226 > [ 0.000000] (1:server@HostA) Received 2
1227 > [ 0.000000] (1:server@HostA) OK
1228 > [ 0.000000] (1:server@HostA) Received 2
1229 > [ 0.000000] (3:client@HostC) Send 2
1230 > [ 0.000000] (1:server@HostA) Received 1
1231 > [ 0.000000] (2:client@HostB) Send 1
1232 > [ 0.000000] (1:server@HostA) Received 1
1233 > [ 0.000000] (1:server@HostA) Received 2
1234 > [ 0.000000] (3:client@HostC) Send 2
1235 > [ 0.000000] (1:server@HostA) Received 1
1236 > [ 0.000000] (2:client@HostB) Send 1
1237 > [ 0.000000] (1:server@HostA) Received 1
1238 > [ 0.000000] (1:server@HostA) Received 2
1239 > [ 0.000000] (1:server@HostA) OK
1240 > [ 0.000000] (1:server@HostA) Received 2
1241 > [ 0.000000] (3:client@HostC) Send 2
1242 > [ 0.000000] (1:server@HostA) Received 1
1243 > [ 0.000000] (2:client@HostB) Send 1
1244 > [ 0.000000] (1:server@HostA) Received 1
1245 > [ 0.000000] (1:server@HostA) Received 2
1246 > [ 0.000000] (3:client@HostC) Send 2
1247 > [ 0.000000] (1:server@HostA) Received 1
1248 > [ 0.000000] (2:client@HostB) Send 1
1249 > [ 0.000000] (1:server@HostA) Received 2
1250 > [ 0.000000] (1:server@HostA) Received 1
1251 > [ 0.000000] (1:server@HostA) OK
1252 > [ 0.000000] (1:server@HostA) Received 2
1253 > [ 0.000000] (3:client@HostC) Send 2
1254 > [ 0.000000] (1:server@HostA) Received 1
1255 > [ 0.000000] (2:client@HostB) Send 1
1256 > [ 0.000000] (1:server@HostA) Received 2
1257 > [ 0.000000] (1:server@HostA) Received 1
1258 > [ 0.000000] (1:server@HostA) OK
1259 > [ 0.000000] (1:server@HostA) Received 2
1260 > [ 0.000000] (3:client@HostC) Send 2
1261 > [ 0.000000] (1:server@HostA) Received 1
1262 > [ 0.000000] (2:client@HostB) Send 1
1263 > [ 0.000000] (1:server@HostA) Received 2
1264 > [ 0.000000] (1:server@HostA) Received 1
1265 > [ 0.000000] (1:server@HostA) OK
1266 > [ 0.000000] (1:server@HostA) Received 2
1267 > [ 0.000000] (3:client@HostC) Send 2
1268 > [ 0.000000] (1:server@HostA) Received 1
1269 > [ 0.000000] (2:client@HostB) Send 1
1270 > [ 0.000000] (1:server@HostA) Received 2
1271 > [ 0.000000] (1:server@HostA) Received 1
1272 > [ 0.000000] (1:server@HostA) OK
1273 > [ 0.000000] (1:server@HostA) Received 2
1274 > [ 0.000000] (3:client@HostC) Send 2
1275 > [ 0.000000] (1:server@HostA) Received 1
1276 > [ 0.000000] (2:client@HostB) Send 1
1277 > [ 0.000000] (1:server@HostA) Received 2
1278 > [ 0.000000] (1:server@HostA) Received 1
1279 > [ 0.000000] (1:server@HostA) OK
1280 > [ 0.000000] (1:server@HostA) Received 2
1281 > [ 0.000000] (3:client@HostC) Send 2
1282 > [ 0.000000] (1:server@HostA) Received 1
1283 > [ 0.000000] (2:client@HostB) Send 1
1284 > [ 0.000000] (1:server@HostA) Received 2
1285 > [ 0.000000] (1:server@HostA) Received 2
1286 > [ 0.000000] (3:client@HostC) Send 2
1287 > [ 0.000000] (1:server@HostA) Received 1
1288 > [ 0.000000] (2:client@HostB) Send 1
1289 > [ 0.000000] (1:server@HostA) Received 2
1290 > [ 0.000000] (1:server@HostA) Received 1
1291 > [ 0.000000] (1:server@HostA) OK
1292 > [ 0.000000] (1:server@HostA) Received 2
1293 > [ 0.000000] (3:client@HostC) Send 2
1294 > [ 0.000000] (1:server@HostA) Received 1
1295 > [ 0.000000] (2:client@HostB) Send 1
1296 > [ 0.000000] (1:server@HostA) Received 2
1297 > [ 0.000000] (1:server@HostA) Received 2
1298 > [ 0.000000] (3:client@HostC) Send 2
1299 > [ 0.000000] (1:server@HostA) Received 1
1300 > [ 0.000000] (2:client@HostB) Send 1
1301 > [ 0.000000] (1:server@HostA) Received 2
1302 > [ 0.000000] (2:client@HostB) Send 1
1303 > [ 0.000000] (1:server@HostA) Received 1
1304 > [ 0.000000] (1:server@HostA) Received 1
1305 > [ 0.000000] (3:client@HostC) Send 2
1306 > [ 0.000000] (1:server@HostA) Received 2
1307 > [ 0.000000] (1:server@HostA) OK
1308 > [ 0.000000] (1:server@HostA) Received 2
1309 > [ 0.000000] (2:client@HostB) Send 1
1310 > [ 0.000000] (1:server@HostA) Received 1
1311 > [ 0.000000] (1:server@HostA) Received 1
1312 > [ 0.000000] (3:client@HostC) Send 2
1313 > [ 0.000000] (1:server@HostA) Received 2
1314 > [ 0.000000] (2:client@HostB) Send 1
1315 > [ 0.000000] (1:server@HostA) Received 1
1316 > [ 0.000000] (1:server@HostA) Received 1
1317 > [ 0.000000] (3:client@HostC) Send 2
1318 > [ 0.000000] (1:server@HostA) Received 2
1319 > [ 0.000000] (1:server@HostA) OK
1320 > [ 0.000000] (1:server@HostA) Received 2
1321 > [ 0.000000] (2:client@HostB) Send 1
1322 > [ 0.000000] (1:server@HostA) Received 1
1323 > [ 0.000000] (1:server@HostA) Received 1
1324 > [ 0.000000] (3:client@HostC) Send 2
1325 > [ 0.000000] (1:server@HostA) Received 2
1326 > [ 0.000000] (2:client@HostB) Send 1
1327 > [ 0.000000] (1:server@HostA) Received 1
1328 > [ 0.000000] (1:server@HostA) Received 1
1329 > [ 0.000000] (3:client@HostC) Send 2
1330 > [ 0.000000] (1:server@HostA) Received 2
1331 > [ 0.000000] (1:server@HostA) OK
1332 > [ 0.000000] (1:server@HostA) Received 2
1333 > [ 0.000000] (2:client@HostB) Send 1
1334 > [ 0.000000] (1:server@HostA) Received 1
1335 > [ 0.000000] (1:server@HostA) Received 1
1336 > [ 0.000000] (3:client@HostC) Send 2
1337 > [ 0.000000] (1:server@HostA) Received 2
1338 > [ 0.000000] (2:client@HostB) Send 1
1339 > [ 0.000000] (1:server@HostA) Received 1
1340 > [ 0.000000] (1:server@HostA) Received 1
1341 > [ 0.000000] (3:client@HostC) Send 2
1342 > [ 0.000000] (1:server@HostA) Received 2
1343 > [ 0.000000] (1:server@HostA) OK
1344 > [ 0.000000] (1:server@HostA) Received 2
1345 > [ 0.000000] (2:client@HostB) Send 1
1346 > [ 0.000000] (1:server@HostA) Received 1
1347 > [ 0.000000] (1:server@HostA) Received 1
1348 > [ 0.000000] (3:client@HostC) Send 2
1349 > [ 0.000000] (1:server@HostA) Received 2
1350 > [ 0.000000] (2:client@HostB) Send 1
1351 > [ 0.000000] (1:server@HostA) Received 1
1352 > [ 0.000000] (1:server@HostA) Received 1
1353 > [ 0.000000] (3:client@HostC) Send 2
1354 > [ 0.000000] (1:server@HostA) Received 2
1355 > [ 0.000000] (1:server@HostA) OK
1356 > [ 0.000000] (1:server@HostA) Received 2
1357 > [ 0.000000] (2:client@HostB) Send 1
1358 > [ 0.000000] (1:server@HostA) Received 1
1359 > [ 0.000000] (1:server@HostA) Received 1
1360 > [ 0.000000] (3:client@HostC) Send 2
1361 > [ 0.000000] (1:server@HostA) Received 2
1362 > [ 0.000000] (2:client@HostB) Send 1
1363 > [ 0.000000] (1:server@HostA) Received 1
1364 > [ 0.000000] (1:server@HostA) Received 1
1365 > [ 0.000000] (3:client@HostC) Send 2
1366 > [ 0.000000] (1:server@HostA) Received 2
1367 > [ 0.000000] (1:server@HostA) OK
1368 > [ 0.000000] (1:server@HostA) Received 2
1369 > [ 0.000000] (2:client@HostB) Send 1
1370 > [ 0.000000] (1:server@HostA) Received 1
1371 > [ 0.000000] (1:server@HostA) Received 1
1372 > [ 0.000000] (3:client@HostC) Send 2
1373 > [ 0.000000] (1:server@HostA) Received 2
1374 > [ 0.000000] (2:client@HostB) Send 1
1375 > [ 0.000000] (1:server@HostA) Received 1
1376 > [ 0.000000] (3:client@HostC) Send 2
1377 > [ 0.000000] (1:server@HostA) Received 1
1378 > [ 0.000000] (1:server@HostA) Received 2
1379 > [ 0.000000] (1:server@HostA) OK
1380 > [ 0.000000] (1:server@HostA) Received 2
1381 > [ 0.000000] (2:client@HostB) Send 1
1382 > [ 0.000000] (1:server@HostA) Received 1
1383 > [ 0.000000] (3:client@HostC) Send 2
1384 > [ 0.000000] (1:server@HostA) Received 1
1385 > [ 0.000000] (1:server@HostA) Received 2
1386 > [ 0.000000] (2:client@HostB) Send 1
1387 > [ 0.000000] (1:server@HostA) Received 1
1388 > [ 0.000000] (3:client@HostC) Send 2
1389 > [ 0.000000] (1:server@HostA) Received 1
1390 > [ 0.000000] (1:server@HostA) Received 2
1391 > [ 0.000000] (1:server@HostA) OK
1392 > [ 0.000000] (1:server@HostA) Received 2
1393 > [ 0.000000] (2:client@HostB) Send 1
1394 > [ 0.000000] (1:server@HostA) Received 1
1395 > [ 0.000000] (3:client@HostC) Send 2
1396 > [ 0.000000] (1:server@HostA) Received 1
1397 > [ 0.000000] (1:server@HostA) Received 2
1398 > [ 0.000000] (2:client@HostB) Send 1
1399 > [ 0.000000] (1:server@HostA) Received 1
1400 > [ 0.000000] (1:server@HostA) Received 1
1401 > [ 0.000000] (3:client@HostC) Send 2
1402 > [ 0.000000] (1:server@HostA) Received 2
1403 > [ 0.000000] (1:server@HostA) OK
1404 > [ 0.000000] (1:server@HostA) Received 2
1405 > [ 0.000000] (2:client@HostB) Send 1
1406 > [ 0.000000] (1:server@HostA) Received 1
1407 > [ 0.000000] (1:server@HostA) Received 1
1408 > [ 0.000000] (3:client@HostC) Send 2
1409 > [ 0.000000] (1:server@HostA) Received 2
1410 > [ 0.000000] (2:client@HostB) Send 1
1411 > [ 0.000000] (1:server@HostA) Received 1
1412 > [ 0.000000] (1:server@HostA) Received 1
1413 > [ 0.000000] (3:client@HostC) Send 2
1414 > [ 0.000000] (1:server@HostA) Received 2
1415 > [ 0.000000] (1:server@HostA) OK
1416 > [ 0.000000] (1:server@HostA) Received 2
1417 > [ 0.000000] (2:client@HostB) Send 1
1418 > [ 0.000000] (1:server@HostA) Received 1
1419 > [ 0.000000] (1:server@HostA) Received 1
1420 > [ 0.000000] (3:client@HostC) Send 2
1421 > [ 0.000000] (1:server@HostA) Received 2
1422 > [ 0.000000] (2:client@HostB) Send 1
1423 > [ 0.000000] (1:server@HostA) Received 1
1424 > [ 0.000000] (3:client@HostC) Send 2
1425 > [ 0.000000] (1:server@HostA) Received 1
1426 > [ 0.000000] (1:server@HostA) Received 2
1427 > [ 0.000000] (1:server@HostA) OK
1428 > [ 0.000000] (1:server@HostA) Received 2
1429 > [ 0.000000] (2:client@HostB) Send 1
1430 > [ 0.000000] (1:server@HostA) Received 1
1431 > [ 0.000000] (3:client@HostC) Send 2
1432 > [ 0.000000] (1:server@HostA) Received 1
1433 > [ 0.000000] (1:server@HostA) Received 2
1434 > [ 0.000000] (2:client@HostB) Send 1
1435 > [ 0.000000] (1:server@HostA) Received 1
1436 > [ 0.000000] (1:server@HostA) Received 2
1437 > [ 0.000000] (2:client@HostB) Send 1
1438 > [ 0.000000] (1:server@HostA) Received 1
1439 > [ 0.000000] (3:client@HostC) Send 2
1440 > [ 0.000000] (1:server@HostA) Received 1
1441 > [ 0.000000] (1:server@HostA) Received 2
1442 > [ 0.000000] (1:server@HostA) OK
1443 > [ 0.000000] (1:server@HostA) Received 2
1444 > [ 0.000000] (2:client@HostB) Send 1
1445 > [ 0.000000] (1:server@HostA) Received 1
1446 > [ 0.000000] (3:client@HostC) Send 2
1447 > [ 0.000000] (1:server@HostA) Received 1
1448 > [ 0.000000] (1:server@HostA) Received 2
1449 > [ 0.000000] (2:client@HostB) Send 1
1450 > [ 0.000000] (1:server@HostA) Received 1
1451 > [ 0.000000] (3:client@HostC) Send 2
1452 > [ 0.000000] (1:server@HostA) Received 1
1453 > [ 0.000000] (1:server@HostA) Received 2
1454 > [ 0.000000] (1:server@HostA) OK
1455 > [ 0.000000] (1:server@HostA) Received 2
1456 > [ 0.000000] (2:client@HostB) Send 1
1457 > [ 0.000000] (1:server@HostA) Received 1
1458 > [ 0.000000] (3:client@HostC) Send 2
1459 > [ 0.000000] (1:server@HostA) Received 1
1460 > [ 0.000000] (1:server@HostA) Received 2
1461 > [ 0.000000] (2:client@HostB) Send 1
1462 > [ 0.000000] (1:server@HostA) Received 1
1463 > [ 0.000000] (3:client@HostC) Send 2
1464 > [ 0.000000] (1:server@HostA) Received 2
1465 > [ 0.000000] (1:server@HostA) Received 1
1466 > [ 0.000000] (1:server@HostA) OK
1467 > [ 0.000000] (1:server@HostA) Received 2
1468 > [ 0.000000] (2:client@HostB) Send 1
1469 > [ 0.000000] (1:server@HostA) Received 1
1470 > [ 0.000000] (3:client@HostC) Send 2
1471 > [ 0.000000] (1:server@HostA) Received 2
1472 > [ 0.000000] (1:server@HostA) Received 1
1473 > [ 0.000000] (1:server@HostA) OK
1474 > [ 0.000000] (1:server@HostA) Received 2
1475 > [ 0.000000] (2:client@HostB) Send 1
1476 > [ 0.000000] (1:server@HostA) Received 1
1477 > [ 0.000000] (3:client@HostC) Send 2
1478 > [ 0.000000] (1:server@HostA) Received 2
1479 > [ 0.000000] (1:server@HostA) Received 1
1480 > [ 0.000000] (1:server@HostA) OK
1481 > [ 0.000000] (1:server@HostA) Received 2
1482 > [ 0.000000] (2:client@HostB) Send 1
1483 > [ 0.000000] (1:server@HostA) Received 1
1484 > [ 0.000000] (3:client@HostC) Send 2
1485 > [ 0.000000] (1:server@HostA) Received 2
1486 > [ 0.000000] (1:server@HostA) Received 1
1487 > [ 0.000000] (1:server@HostA) OK
1488 > [ 0.000000] (1:server@HostA) Received 2
1489 > [ 0.000000] (2:client@HostB) Send 1
1490 > [ 0.000000] (1:server@HostA) Received 1
1491 > [ 0.000000] (3:client@HostC) Send 2
1492 > [ 0.000000] (1:server@HostA) Received 2
1493 > [ 0.000000] (1:server@HostA) Received 1
1494 > [ 0.000000] (1:server@HostA) OK
1495 > [ 0.000000] (1:server@HostA) Received 2
1496 > [ 0.000000] (2:client@HostB) Send 1
1497 > [ 0.000000] (1:server@HostA) Received 1
1498 > [ 0.000000] (3:client@HostC) Send 2
1499 > [ 0.000000] (1:server@HostA) Received 2
1500 > [ 0.000000] (1:server@HostA) Received 2
1501 > [ 0.000000] (2:client@HostB) Send 1
1502 > [ 0.000000] (1:server@HostA) Received 1
1503 > [ 0.000000] (3:client@HostC) Send 2
1504 > [ 0.000000] (1:server@HostA) Received 2
1505 > [ 0.000000] (1:server@HostA) Received 1
1506 > [ 0.000000] (1:server@HostA) OK
1507 > [ 0.000000] (1:server@HostA) Received 2
1508 > [ 0.000000] (2:client@HostB) Send 1
1509 > [ 0.000000] (1:server@HostA) Received 1
1510 > [ 0.000000] (3:client@HostC) Send 2
1511 > [ 0.000000] (1:server@HostA) Received 2
1512 > [ 0.000000] (1:server@HostA) Received 2
1513 > [ 0.000000] (2:client@HostB) Send 1
1514 > [ 0.000000] (1:server@HostA) Received 1
1515 > [ 0.000000] (3:client@HostC) Send 2
1516 > [ 0.000000] (1:server@HostA) Received 2
1517 > [ 0.000000] (2:client@HostB) Send 1
1518 > [ 0.000000] (1:server@HostA) Received 1
1519 > [ 0.000000] (1:server@HostA) Received 1
1520 > [ 0.000000] (3:client@HostC) Send 2
1521 > [ 0.000000] (1:server@HostA) Received 2
1522 > [ 0.000000] (1:server@HostA) OK
1523 > [ 0.000000] (1:server@HostA) Received 2
1524 > [ 0.000000] (2:client@HostB) Send 1
1525 > [ 0.000000] (1:server@HostA) Received 1
1526 > [ 0.000000] (1:server@HostA) Received 1
1527 > [ 0.000000] (3:client@HostC) Send 2
1528 > [ 0.000000] (1:server@HostA) Received 2
1529 > [ 0.000000] (2:client@HostB) Send 1
1530 > [ 0.000000] (1:server@HostA) Received 1
1531 > [ 0.000000] (1:server@HostA) Received 1
1532 > [ 0.000000] (3:client@HostC) Send 2
1533 > [ 0.000000] (1:server@HostA) Received 2
1534 > [ 0.000000] (1:server@HostA) OK
1535 > [ 0.000000] (1:server@HostA) Received 2
1536 > [ 0.000000] (2:client@HostB) Send 1
1537 > [ 0.000000] (1:server@HostA) Received 1
1538 > [ 0.000000] (1:server@HostA) Received 1
1539 > [ 0.000000] (3:client@HostC) Send 2
1540 > [ 0.000000] (1:server@HostA) Received 2
1541 > [ 0.000000] (2:client@HostB) Send 1
1542 > [ 0.000000] (1:server@HostA) Received 1
1543 > [ 0.000000] (1:server@HostA) Received 1
1544 > [ 0.000000] (3:client@HostC) Send 2
1545 > [ 0.000000] (1:server@HostA) Received 2
1546 > [ 0.000000] (1:server@HostA) OK
1547 > [ 0.000000] (1:server@HostA) Received 2
1548 > [ 0.000000] (2:client@HostB) Send 1
1549 > [ 0.000000] (1:server@HostA) Received 1
1550 > [ 0.000000] (1:server@HostA) Received 1
1551 > [ 0.000000] (3:client@HostC) Send 2
1552 > [ 0.000000] (1:server@HostA) Received 2
1553 > [ 0.000000] (2:client@HostB) Send 1
1554 > [ 0.000000] (1:server@HostA) Received 1
1555 > [ 0.000000] (1:server@HostA) Received 1
1556 > [ 0.000000] (3:client@HostC) Send 2
1557 > [ 0.000000] (1:server@HostA) Received 2
1558 > [ 0.000000] (1:server@HostA) OK
1559 > [ 0.000000] (1:server@HostA) Received 2
1560 > [ 0.000000] (2:client@HostB) Send 1
1561 > [ 0.000000] (1:server@HostA) Received 1
1562 > [ 0.000000] (1:server@HostA) Received 1
1563 > [ 0.000000] (3:client@HostC) Send 2
1564 > [ 0.000000] (1:server@HostA) Received 2
1565 > [ 0.000000] (2:client@HostB) Send 1
1566 > [ 0.000000] (1:server@HostA) Received 1
1567 > [ 0.000000] (1:server@HostA) Received 1
1568 > [ 0.000000] (3:client@HostC) Send 2
1569 > [ 0.000000] (1:server@HostA) Received 2
1570 > [ 0.000000] (1:server@HostA) OK
1571 > [ 0.000000] (1:server@HostA) Received 2
1572 > [ 0.000000] (2:client@HostB) Send 1
1573 > [ 0.000000] (1:server@HostA) Received 1
1574 > [ 0.000000] (1:server@HostA) Received 1
1575 > [ 0.000000] (3:client@HostC) Send 2
1576 > [ 0.000000] (1:server@HostA) Received 2
1577 > [ 0.000000] (2:client@HostB) Send 1
1578 > [ 0.000000] (1:server@HostA) Received 1
1579 > [ 0.000000] (1:server@HostA) Received 1
1580 > [ 0.000000] (3:client@HostC) Send 2
1581 > [ 0.000000] (1:server@HostA) Received 2
1582 > [ 0.000000] (1:server@HostA) OK
1583 > [ 0.000000] (1:server@HostA) Received 2
1584 > [ 0.000000] (2:client@HostB) Send 1
1585 > [ 0.000000] (1:server@HostA) Received 1
1586 > [ 0.000000] (1:server@HostA) Received 1
1587 > [ 0.000000] (3:client@HostC) Send 2
1588 > [ 0.000000] (1:server@HostA) Received 2
1589 > [ 0.000000] (2:client@HostB) Send 1
1590 > [ 0.000000] (1:server@HostA) Received 1
1591 > [ 0.000000] (3:client@HostC) Send 2
1592 > [ 0.000000] (1:server@HostA) Received 1
1593 > [ 0.000000] (1:server@HostA) Received 2
1594 > [ 0.000000] (1:server@HostA) OK
1595 > [ 0.000000] (1:server@HostA) Received 2
1596 > [ 0.000000] (2:client@HostB) Send 1
1597 > [ 0.000000] (1:server@HostA) Received 1
1598 > [ 0.000000] (3:client@HostC) Send 2
1599 > [ 0.000000] (1:server@HostA) Received 1
1600 > [ 0.000000] (1:server@HostA) Received 2
1601 > [ 0.000000] (2:client@HostB) Send 1
1602 > [ 0.000000] (1:server@HostA) Received 1
1603 > [ 0.000000] (3:client@HostC) Send 2
1604 > [ 0.000000] (1:server@HostA) Received 1
1605 > [ 0.000000] (1:server@HostA) Received 2
1606 > [ 0.000000] (1:server@HostA) OK
1607 > [ 0.000000] (1:server@HostA) Received 2
1608 > [ 0.000000] (2:client@HostB) Send 1
1609 > [ 0.000000] (1:server@HostA) Received 1
1610 > [ 0.000000] (3:client@HostC) Send 2
1611 > [ 0.000000] (1:server@HostA) Received 1
1612 > [ 0.000000] (1:server@HostA) Received 2
1613 > [ 0.000000] (2:client@HostB) Send 1
1614 > [ 0.000000] (1:server@HostA) Received 1
1615 > [ 0.000000] (1:server@HostA) Received 1
1616 > [ 0.000000] (3:client@HostC) Send 2
1617 > [ 0.000000] (1:server@HostA) Received 2
1618 > [ 0.000000] (1:server@HostA) OK
1619 > [ 0.000000] (1:server@HostA) Received 2
1620 > [ 0.000000] (2:client@HostB) Send 1
1621 > [ 0.000000] (1:server@HostA) Received 1
1622 > [ 0.000000] (1:server@HostA) Received 1
1623 > [ 0.000000] (3:client@HostC) Send 2
1624 > [ 0.000000] (1:server@HostA) Received 2
1625 > [ 0.000000] (2:client@HostB) Send 1
1626 > [ 0.000000] (1:server@HostA) Received 1
1627 > [ 0.000000] (1:server@HostA) Received 1
1628 > [ 0.000000] (3:client@HostC) Send 2
1629 > [ 0.000000] (1:server@HostA) Received 2
1630 > [ 0.000000] (1:server@HostA) OK
1631 > [ 0.000000] (1:server@HostA) Received 2
1632 > [ 0.000000] (2:client@HostB) Send 1
1633 > [ 0.000000] (1:server@HostA) Received 1
1634 > [ 0.000000] (1:server@HostA) Received 1
1635 > [ 0.000000] (3:client@HostC) Send 2
1636 > [ 0.000000] (1:server@HostA) Received 2
1637 > [ 0.000000] (2:client@HostB) Send 1
1638 > [ 0.000000] (1:server@HostA) Received 1
1639 > [ 0.000000] (3:client@HostC) Send 2
1640 > [ 0.000000] (1:server@HostA) Received 1
1641 > [ 0.000000] (1:server@HostA) Received 2
1642 > [ 0.000000] (1:server@HostA) OK
1643 > [ 0.000000] (1:server@HostA) Received 2
1644 > [ 0.000000] (2:client@HostB) Send 1
1645 > [ 0.000000] (1:server@HostA) Received 1
1646 > [ 0.000000] (3:client@HostC) Send 2
1647 > [ 0.000000] (1:server@HostA) Received 1
1648 > [ 0.000000] (1:server@HostA) Received 2
1649 > [ 0.000000] (2:client@HostB) Send 1
1650 > [ 0.000000] (1:server@HostA) Received 1
1651 > [ 0.000000] (3:client@HostC) Send 2
1652 > [ 0.000000] (1:server@HostA) Received 1
1653 > [ 0.000000] (1:server@HostA) Received 2
1654 > [ 0.000000] (1:server@HostA) OK
1655 > [ 0.000000] (1:server@HostA) Received 2
1656 > [ 0.000000] (2:client@HostB) Send 1
1657 > [ 0.000000] (1:server@HostA) Received 1
1658 > [ 0.000000] (3:client@HostC) Send 2
1659 > [ 0.000000] (1:server@HostA) Received 1
1660 > [ 0.000000] (1:server@HostA) Received 2
1661 > [ 0.000000] (2:client@HostB) Send 1
1662 > [ 0.000000] (1:server@HostA) Received 1
1663 > [ 0.000000] (3:client@HostC) Send 2
1664 > [ 0.000000] (1:server@HostA) Received 1
1665 > [ 0.000000] (1:server@HostA) Received 2
1666 > [ 0.000000] (1:server@HostA) OK
1667 > [ 0.000000] (1:server@HostA) Received 2
1668 > [ 0.000000] (2:client@HostB) Send 1
1669 > [ 0.000000] (1:server@HostA) Received 1
1670 > [ 0.000000] (3:client@HostC) Send 2
1671 > [ 0.000000] (1:server@HostA) Received 1
1672 > [ 0.000000] (1:server@HostA) Received 2
1673 > [ 0.000000] (2:client@HostB) Send 1
1674 > [ 0.000000] (1:server@HostA) Received 1
1675 > [ 0.000000] (3:client@HostC) Send 2
1676 > [ 0.000000] (1:server@HostA) Received 2
1677 > [ 0.000000] (2:client@HostB) Send 1
1678 > [ 0.000000] (1:server@HostA) Received 1
1679 > [ 0.000000] (1:server@HostA) Received 2
1680 > [ 0.000000] (2:client@HostB) Send 1
1681 > [ 0.000000] (3:client@HostC) Send 2
1682 > [ 0.000000] (1:server@HostA) Received 1
1683 > [ 0.000000] (1:server@HostA) Received 1
1684 > [ 0.000000] (1:server@HostA) Received 2
1685 > [ 0.000000] (1:server@HostA) OK
1686 > [ 0.000000] (1:server@HostA) Received 2
1687 > [ 0.000000] (2:client@HostB) Send 1
1688 > [ 0.000000] (3:client@HostC) Send 2
1689 > [ 0.000000] (1:server@HostA) Received 1
1690 > [ 0.000000] (1:server@HostA) Received 1
1691 > [ 0.000000] (1:server@HostA) Received 2
1692 > [ 0.000000] (2:client@HostB) Send 1
1693 > [ 0.000000] (3:client@HostC) Send 2
1694 > [ 0.000000] (1:server@HostA) Received 1
1695 > [ 0.000000] (1:server@HostA) Received 1
1696 > [ 0.000000] (1:server@HostA) Received 2
1697 > [ 0.000000] (1:server@HostA) OK
1698 > [ 0.000000] (1:server@HostA) Received 2
1699 > [ 0.000000] (2:client@HostB) Send 1
1700 > [ 0.000000] (3:client@HostC) Send 2
1701 > [ 0.000000] (1:server@HostA) Received 1
1702 > [ 0.000000] (1:server@HostA) Received 1
1703 > [ 0.000000] (1:server@HostA) Received 2
1704 > [ 0.000000] (2:client@HostB) Send 1
1705 > [ 0.000000] (3:client@HostC) Send 2
1706 > [ 0.000000] (1:server@HostA) Received 1
1707 > [ 0.000000] (1:server@HostA) Received 2
1708 > [ 0.000000] (2:client@HostB) Send 1
1709 > [ 0.000000] (3:client@HostC) Send 2
1710 > [ 0.000000] (1:server@HostA) Received 1
1711 > [ 0.000000] (1:server@HostA) Received 1
1712 > [ 0.000000] (1:server@HostA) Received 2
1713 > [ 0.000000] (1:server@HostA) OK
1714 > [ 0.000000] (1:server@HostA) Received 2
1715 > [ 0.000000] (2:client@HostB) Send 1
1716 > [ 0.000000] (3:client@HostC) Send 2
1717 > [ 0.000000] (1:server@HostA) Received 1
1718 > [ 0.000000] (1:server@HostA) Received 1
1719 > [ 0.000000] (1:server@HostA) Received 2
1720 > [ 0.000000] (2:client@HostB) Send 1
1721 > [ 0.000000] (3:client@HostC) Send 2
1722 > [ 0.000000] (1:server@HostA) Received 1
1723 > [ 0.000000] (1:server@HostA) Received 1
1724 > [ 0.000000] (1:server@HostA) Received 2
1725 > [ 0.000000] (1:server@HostA) OK
1726 > [ 0.000000] (1:server@HostA) Received 2
1727 > [ 0.000000] (2:client@HostB) Send 1
1728 > [ 0.000000] (3:client@HostC) Send 2
1729 > [ 0.000000] (1:server@HostA) Received 1
1730 > [ 0.000000] (1:server@HostA) Received 1
1731 > [ 0.000000] (1:server@HostA) Received 2
1732 > [ 0.000000] (2:client@HostB) Send 1
1733 > [ 0.000000] (3:client@HostC) Send 2
1734 > [ 0.000000] (1:server@HostA) Received 1
1735 > [ 0.000000] (1:server@HostA) Received 2
1736 > [ 0.000000] (1:server@HostA) Received 1
1737 > [ 0.000000] (1:server@HostA) OK
1738 > [ 0.000000] (1:server@HostA) Received 2
1739 > [ 0.000000] (2:client@HostB) Send 1
1740 > [ 0.000000] (3:client@HostC) Send 2
1741 > [ 0.000000] (1:server@HostA) Received 1
1742 > [ 0.000000] (1:server@HostA) Received 2
1743 > [ 0.000000] (1:server@HostA) Received 1
1744 > [ 0.000000] (1:server@HostA) OK
1745 > [ 0.000000] (1:server@HostA) Received 2
1746 > [ 0.000000] (2:client@HostB) Send 1
1747 > [ 0.000000] (3:client@HostC) Send 2
1748 > [ 0.000000] (1:server@HostA) Received 1
1749 > [ 0.000000] (1:server@HostA) Received 2
1750 > [ 0.000000] (1:server@HostA) Received 1
1751 > [ 0.000000] (1:server@HostA) OK
1752 > [ 0.000000] (1:server@HostA) Received 2
1753 > [ 0.000000] (2:client@HostB) Send 1
1754 > [ 0.000000] (3:client@HostC) Send 2
1755 > [ 0.000000] (1:server@HostA) Received 1
1756 > [ 0.000000] (1:server@HostA) Received 2
1757 > [ 0.000000] (1:server@HostA) Received 1
1758 > [ 0.000000] (1:server@HostA) OK
1759 > [ 0.000000] (1:server@HostA) Received 2
1760 > [ 0.000000] (2:client@HostB) Send 1
1761 > [ 0.000000] (3:client@HostC) Send 2
1762 > [ 0.000000] (1:server@HostA) Received 1
1763 > [ 0.000000] (1:server@HostA) Received 2
1764 > [ 0.000000] (1:server@HostA) Received 1
1765 > [ 0.000000] (1:server@HostA) OK
1766 > [ 0.000000] (1:server@HostA) Received 2
1767 > [ 0.000000] (2:client@HostB) Send 1
1768 > [ 0.000000] (3:client@HostC) Send 2
1769 > [ 0.000000] (1:server@HostA) Received 1
1770 > [ 0.000000] (1:server@HostA) Received 2
1771 > [ 0.000000] (1:server@HostA) Received 2
1772 > [ 0.000000] (2:client@HostB) Send 1
1773 > [ 0.000000] (3:client@HostC) Send 2
1774 > [ 0.000000] (1:server@HostA) Received 1
1775 > [ 0.000000] (1:server@HostA) Received 2
1776 > [ 0.000000] (1:server@HostA) Received 1
1777 > [ 0.000000] (1:server@HostA) OK
1778 > [ 0.000000] (1:server@HostA) Received 2
1779 > [ 0.000000] (2:client@HostB) Send 1
1780 > [ 0.000000] (3:client@HostC) Send 2
1781 > [ 0.000000] (1:server@HostA) Received 1
1782 > [ 0.000000] (1:server@HostA) Received 2
1783 > [ 0.000000] (1:server@HostA) Received 2
1784 > [ 0.000000] (2:client@HostB) Send 1
1785 > [ 0.000000] (3:client@HostC) Send 2
1786 > [ 0.000000] (1:server@HostA) Received 1
1787 > [ 0.000000] (1:server@HostA) Received 2
1788 > [ 0.000000] (2:client@HostB) Send 1
1789 > [ 0.000000] (3:client@HostC) Send 2
1790 > [ 0.000000] (1:server@HostA) Received 1
1791 > [ 0.000000] (1:server@HostA) Received 1
1792 > [ 0.000000] (1:server@HostA) Received 2
1793 > [ 0.000000] (1:server@HostA) OK
1794 > [ 0.000000] (1:server@HostA) Received 2
1795 > [ 0.000000] (2:client@HostB) Send 1
1796 > [ 0.000000] (3:client@HostC) Send 2
1797 > [ 0.000000] (1:server@HostA) Received 1
1798 > [ 0.000000] (1:server@HostA) Received 1
1799 > [ 0.000000] (1:server@HostA) Received 2
1800 > [ 0.000000] (2:client@HostB) Send 1
1801 > [ 0.000000] (3:client@HostC) Send 2
1802 > [ 0.000000] (1:server@HostA) Received 1
1803 > [ 0.000000] (1:server@HostA) Received 1
1804 > [ 0.000000] (1:server@HostA) Received 2
1805 > [ 0.000000] (1:server@HostA) OK
1806 > [ 0.000000] (1:server@HostA) Received 2
1807 > [ 0.000000] (2:client@HostB) Send 1
1808 > [ 0.000000] (3:client@HostC) Send 2
1809 > [ 0.000000] (1:server@HostA) Received 1
1810 > [ 0.000000] (1:server@HostA) Received 1
1811 > [ 0.000000] (1:server@HostA) Received 2
1812 > [ 0.000000] (2:client@HostB) Send 1
1813 > [ 0.000000] (3:client@HostC) Send 2
1814 > [ 0.000000] (1:server@HostA) Received 1
1815 > [ 0.000000] (1:server@HostA) Received 2
1816 > [ 0.000000] (2:client@HostB) Send 1
1817 > [ 0.000000] (3:client@HostC) Send 2
1818 > [ 0.000000] (1:server@HostA) Received 1
1819 > [ 0.000000] (1:server@HostA) Received 2
1820 > [ 0.000000] (1:server@HostA) Received 1
1821 > [ 0.000000] (1:server@HostA) OK
1822 > [ 0.000000] (1:server@HostA) Received 2
1823 > [ 0.000000] (2:client@HostB) Send 1
1824 > [ 0.000000] (3:client@HostC) Send 2
1825 > [ 0.000000] (1:server@HostA) Received 1
1826 > [ 0.000000] (1:server@HostA) Received 2
1827 > [ 0.000000] (1:server@HostA) Received 1
1828 > [ 0.000000] (1:server@HostA) OK
1829 > [ 0.000000] (1:server@HostA) Received 2
1830 > [ 0.000000] (2:client@HostB) Send 1
1831 > [ 0.000000] (3:client@HostC) Send 2
1832 > [ 0.000000] (1:server@HostA) Received 1
1833 > [ 0.000000] (1:server@HostA) Received 2
1834 > [ 0.000000] (1:server@HostA) Received 1
1835 > [ 0.000000] (1:server@HostA) OK
1836 > [ 0.000000] (1:server@HostA) Received 2
1837 > [ 0.000000] (2:client@HostB) Send 1
1838 > [ 0.000000] (3:client@HostC) Send 2
1839 > [ 0.000000] (1:server@HostA) Received 1
1840 > [ 0.000000] (1:server@HostA) Received 2
1841 > [ 0.000000] (1:server@HostA) Received 1
1842 > [ 0.000000] (1:server@HostA) OK
1843 > [ 0.000000] (1:server@HostA) Received 2
1844 > [ 0.000000] (2:client@HostB) Send 1
1845 > [ 0.000000] (3:client@HostC) Send 2
1846 > [ 0.000000] (1:server@HostA) Received 1
1847 > [ 0.000000] (1:server@HostA) Received 2
1848 > [ 0.000000] (1:server@HostA) Received 1
1849 > [ 0.000000] (1:server@HostA) OK
1850 > [ 0.000000] (1:server@HostA) Received 2
1851 > [ 0.000000] (2:client@HostB) Send 1
1852 > [ 0.000000] (3:client@HostC) Send 2
1853 > [ 0.000000] (1:server@HostA) Received 1
1854 > [ 0.000000] (1:server@HostA) Received 2
1855 > [ 0.000000] (1:server@HostA) Received 2
1856 > [ 0.000000] (2:client@HostB) Send 1
1857 > [ 0.000000] (3:client@HostC) Send 2
1858 > [ 0.000000] (1:server@HostA) Received 1
1859 > [ 0.000000] (1:server@HostA) Received 2
1860 > [ 0.000000] (1:server@HostA) Received 1
1861 > [ 0.000000] (1:server@HostA) OK
1862 > [ 0.000000] (1:server@HostA) Received 2
1863 > [ 0.000000] (2:client@HostB) Send 1
1864 > [ 0.000000] (3:client@HostC) Send 2
1865 > [ 0.000000] (1:server@HostA) Received 1
1866 > [ 0.000000] (1:server@HostA) Received 2
1867 > [ 0.000000] (1:server@HostA) Received 2
1868 > [ 0.000000] (2:client@HostB) Send 1
1869 > [ 0.000000] (3:client@HostC) Send 2
1870 > [ 0.000000] (1:server@HostA) Received 1
1871 > [ 0.000000] (1:server@HostA) Received 2
1872 > [ 0.000000] (2:client@HostB) Send 1
1873 > [ 0.000000] (3:client@HostC) Send 2
1874 > [ 0.000000] (1:server@HostA) Received 1
1875 > [ 0.000000] (1:server@HostA) Received 2
1876 > [ 0.000000] (1:server@HostA) Received 1
1877 > [ 0.000000] (1:server@HostA) OK
1878 > [ 0.000000] (1:server@HostA) Received 2
1879 > [ 0.000000] (2:client@HostB) Send 1
1880 > [ 0.000000] (3:client@HostC) Send 2
1881 > [ 0.000000] (1:server@HostA) Received 1
1882 > [ 0.000000] (1:server@HostA) Received 2
1883 > [ 0.000000] (1:server@HostA) Received 1
1884 > [ 0.000000] (1:server@HostA) OK
1885 > [ 0.000000] (1:server@HostA) Received 2
1886 > [ 0.000000] (2:client@HostB) Send 1
1887 > [ 0.000000] (3:client@HostC) Send 2
1888 > [ 0.000000] (1:server@HostA) Received 1
1889 > [ 0.000000] (1:server@HostA) Received 2
1890 > [ 0.000000] (1:server@HostA) Received 1
1891 > [ 0.000000] (1:server@HostA) OK
1892 > [ 0.000000] (1:server@HostA) Received 2
1893 > [ 0.000000] (2:client@HostB) Send 1
1894 > [ 0.000000] (3:client@HostC) Send 2
1895 > [ 0.000000] (1:server@HostA) Received 1
1896 > [ 0.000000] (1:server@HostA) Received 2
1897 > [ 0.000000] (1:server@HostA) Received 1
1898 > [ 0.000000] (1:server@HostA) OK
1899 > [ 0.000000] (1:server@HostA) Received 2
1900 > [ 0.000000] (2:client@HostB) Send 1
1901 > [ 0.000000] (3:client@HostC) Send 2
1902 > [ 0.000000] (1:server@HostA) Received 1
1903 > [ 0.000000] (1:server@HostA) Received 2
1904 > [ 0.000000] (1:server@HostA) Received 1
1905 > [ 0.000000] (1:server@HostA) OK
1906 > [ 0.000000] (1:server@HostA) Received 2
1907 > [ 0.000000] (2:client@HostB) Send 1
1908 > [ 0.000000] (3:client@HostC) Send 2
1909 > [ 0.000000] (1:server@HostA) Received 1
1910 > [ 0.000000] (1:server@HostA) Received 2
1911 > [ 0.000000] (1:server@HostA) Received 1
1912 > [ 0.000000] (1:server@HostA) OK
1913 > [ 0.000000] (1:server@HostA) Received 2
1914 > [ 0.000000] (2:client@HostB) Send 1
1915 > [ 0.000000] (3:client@HostC) Send 2
1916 > [ 0.000000] (1:server@HostA) Received 1
1917 > [ 0.000000] (1:server@HostA) Received 2
1918 > [ 0.000000] (1:server@HostA) Received 2
1919 > [ 0.000000] (2:client@HostB) Send 1
1920 > [ 0.000000] (3:client@HostC) Send 2
1921 > [ 0.000000] (1:server@HostA) Received 1
1922 > [ 0.000000] (1:server@HostA) Received 2
1923 > [ 0.000000] (1:server@HostA) Received 2
1924 > [ 0.000000] (2:client@HostB) Send 1
1925 > [ 0.000000] (3:client@HostC) Send 2
1926 > [ 0.000000] (1:server@HostA) Received 1
1927 > [ 0.000000] (1:server@HostA) Received 2
1928 > [ 0.000000] (1:server@HostA) Received 2
1929 > [ 0.000000] (3:client@HostC) Send 2
1930 > [ 0.000000] (1:server@HostA) Received 1
1931 > [ 0.000000] (2:client@HostB) Send 1
1932 > [ 0.000000] (1:server@HostA) Received 1
1933 > [ 0.000000] (1:server@HostA) Received 2
1934 > [ 0.000000] (1:server@HostA) OK
1935 > [ 0.000000] (1:server@HostA) Received 2
1936 > [ 0.000000] (3:client@HostC) Send 2
1937 > [ 0.000000] (1:server@HostA) Received 1
1938 > [ 0.000000] (2:client@HostB) Send 1
1939 > [ 0.000000] (1:server@HostA) Received 1
1940 > [ 0.000000] (1:server@HostA) Received 2
1941 > [ 0.000000] (3:client@HostC) Send 2
1942 > [ 0.000000] (1:server@HostA) Received 1
1943 > [ 0.000000] (2:client@HostB) Send 1
1944 > [ 0.000000] (1:server@HostA) Received 1
1945 > [ 0.000000] (1:server@HostA) Received 2
1946 > [ 0.000000] (1:server@HostA) OK
1947 > [ 0.000000] (1:server@HostA) Received 2
1948 > [ 0.000000] (3:client@HostC) Send 2
1949 > [ 0.000000] (1:server@HostA) Received 1
1950 > [ 0.000000] (2:client@HostB) Send 1
1951 > [ 0.000000] (1:server@HostA) Received 1
1952 > [ 0.000000] (1:server@HostA) Received 2
1953 > [ 0.000000] (3:client@HostC) Send 2
1954 > [ 0.000000] (1:server@HostA) Received 1
1955 > [ 0.000000] (2:client@HostB) Send 1
1956 > [ 0.000000] (1:server@HostA) Received 2
1957 > [ 0.000000] (1:server@HostA) Received 1
1958 > [ 0.000000] (1:server@HostA) OK
1959 > [ 0.000000] (1:server@HostA) Received 2
1960 > [ 0.000000] (3:client@HostC) Send 2
1961 > [ 0.000000] (1:server@HostA) Received 1
1962 > [ 0.000000] (2:client@HostB) Send 1
1963 > [ 0.000000] (1:server@HostA) Received 2
1964 > [ 0.000000] (1:server@HostA) Received 1
1965 > [ 0.000000] (1:server@HostA) OK
1966 > [ 0.000000] (1:server@HostA) Received 2
1967 > [ 0.000000] (3:client@HostC) Send 2
1968 > [ 0.000000] (1:server@HostA) Received 1
1969 > [ 0.000000] (2:client@HostB) Send 1
1970 > [ 0.000000] (1:server@HostA) Received 2
1971 > [ 0.000000] (1:server@HostA) Received 1
1972 > [ 0.000000] (1:server@HostA) OK
1973 > [ 0.000000] (1:server@HostA) Received 2
1974 > [ 0.000000] (3:client@HostC) Send 2
1975 > [ 0.000000] (1:server@HostA) Received 1
1976 > [ 0.000000] (2:client@HostB) Send 1
1977 > [ 0.000000] (1:server@HostA) Received 2
1978 > [ 0.000000] (1:server@HostA) Received 1
1979 > [ 0.000000] (1:server@HostA) OK
1980 > [ 0.000000] (1:server@HostA) Received 2
1981 > [ 0.000000] (3:client@HostC) Send 2
1982 > [ 0.000000] (1:server@HostA) Received 1
1983 > [ 0.000000] (2:client@HostB) Send 1
1984 > [ 0.000000] (1:server@HostA) Received 2
1985 > [ 0.000000] (1:server@HostA) Received 1
1986 > [ 0.000000] (1:server@HostA) OK
1987 > [ 0.000000] (1:server@HostA) Received 2
1988 > [ 0.000000] (3:client@HostC) Send 2
1989 > [ 0.000000] (1:server@HostA) Received 1
1990 > [ 0.000000] (2:client@HostB) Send 1
1991 > [ 0.000000] (1:server@HostA) Received 2
1992 > [ 0.000000] (1:server@HostA) Received 2
1993 > [ 0.000000] (3:client@HostC) Send 2
1994 > [ 0.000000] (1:server@HostA) Received 1
1995 > [ 0.000000] (2:client@HostB) Send 1
1996 > [ 0.000000] (1:server@HostA) Received 2
1997 > [ 0.000000] (1:server@HostA) Received 1
1998 > [ 0.000000] (1:server@HostA) OK
1999 > [ 0.000000] (1:server@HostA) Received 2
2000 > [ 0.000000] (3:client@HostC) Send 2
2001 > [ 0.000000] (1:server@HostA) Received 1
2002 > [ 0.000000] (2:client@HostB) Send 1
2003 > [ 0.000000] (1:server@HostA) Received 2
2004 > [ 0.000000] (1:server@HostA) Received 2
2005 > [ 0.000000] (3:client@HostC) Send 2
2006 > [ 0.000000] (1:server@HostA) Received 1
2007 > [ 0.000000] (2:client@HostB) Send 1
2008 > [ 0.000000] (1:server@HostA) Received 2
2009 > [ 0.000000] (3:client@HostC) Send 2
2010 > [ 0.000000] (1:server@HostA) Received 1
2011 > [ 0.000000] (2:client@HostB) Send 1
2012 > [ 0.000000] (1:server@HostA) Received 1
2013 > [ 0.000000] (1:server@HostA) Received 2
2014 > [ 0.000000] (1:server@HostA) OK
2015 > [ 0.000000] (1:server@HostA) Received 2
2016 > [ 0.000000] (3:client@HostC) Send 2
2017 > [ 0.000000] (1:server@HostA) Received 1
2018 > [ 0.000000] (2:client@HostB) Send 1
2019 > [ 0.000000] (1:server@HostA) Received 1
2020 > [ 0.000000] (1:server@HostA) Received 2
2021 > [ 0.000000] (3:client@HostC) Send 2
2022 > [ 0.000000] (1:server@HostA) Received 1
2023 > [ 0.000000] (2:client@HostB) Send 1
2024 > [ 0.000000] (1:server@HostA) Received 1
2025 > [ 0.000000] (1:server@HostA) Received 2
2026 > [ 0.000000] (1:server@HostA) OK
2027 > [ 0.000000] (1:server@HostA) Received 2
2028 > [ 0.000000] (3:client@HostC) Send 2
2029 > [ 0.000000] (1:server@HostA) Received 1
2030 > [ 0.000000] (2:client@HostB) Send 1
2031 > [ 0.000000] (1:server@HostA) Received 1
2032 > [ 0.000000] (1:server@HostA) Received 2
2033 > [ 0.000000] (3:client@HostC) Send 2
2034 > [ 0.000000] (1:server@HostA) Received 1
2035 > [ 0.000000] (2:client@HostB) Send 1
2036 > [ 0.000000] (1:server@HostA) Received 2
2037 > [ 0.000000] (1:server@HostA) Received 1
2038 > [ 0.000000] (1:server@HostA) OK
2039 > [ 0.000000] (1:server@HostA) Received 2
2040 > [ 0.000000] (3:client@HostC) Send 2
2041 > [ 0.000000] (1:server@HostA) Received 1
2042 > [ 0.000000] (2:client@HostB) Send 1
2043 > [ 0.000000] (1:server@HostA) Received 2
2044 > [ 0.000000] (1:server@HostA) Received 1
2045 > [ 0.000000] (1:server@HostA) OK
2046 > [ 0.000000] (1:server@HostA) Received 2
2047 > [ 0.000000] (3:client@HostC) Send 2
2048 > [ 0.000000] (1:server@HostA) Received 1
2049 > [ 0.000000] (2:client@HostB) Send 1
2050 > [ 0.000000] (1:server@HostA) Received 2
2051 > [ 0.000000] (1:server@HostA) Received 1
2052 > [ 0.000000] (1:server@HostA) OK
2053 > [ 0.000000] (1:server@HostA) Received 2
2054 > [ 0.000000] (3:client@HostC) Send 2
2055 > [ 0.000000] (1:server@HostA) Received 1
2056 > [ 0.000000] (2:client@HostB) Send 1
2057 > [ 0.000000] (1:server@HostA) Received 2
2058 > [ 0.000000] (1:server@HostA) Received 1
2059 > [ 0.000000] (1:server@HostA) OK
2060 > [ 0.000000] (1:server@HostA) Received 2
2061 > [ 0.000000] (3:client@HostC) Send 2
2062 > [ 0.000000] (1:server@HostA) Received 1
2063 > [ 0.000000] (2:client@HostB) Send 1
2064 > [ 0.000000] (1:server@HostA) Received 2
2065 > [ 0.000000] (1:server@HostA) Received 1
2066 > [ 0.000000] (1:server@HostA) OK
2067 > [ 0.000000] (1:server@HostA) Received 2
2068 > [ 0.000000] (3:client@HostC) Send 2
2069 > [ 0.000000] (1:server@HostA) Received 1
2070 > [ 0.000000] (2:client@HostB) Send 1
2071 > [ 0.000000] (1:server@HostA) Received 2
2072 > [ 0.000000] (1:server@HostA) Received 2
2073 > [ 0.000000] (3:client@HostC) Send 2
2074 > [ 0.000000] (1:server@HostA) Received 1
2075 > [ 0.000000] (2:client@HostB) Send 1
2076 > [ 0.000000] (1:server@HostA) Received 2
2077 > [ 0.000000] (1:server@HostA) Received 1
2078 > [ 0.000000] (1:server@HostA) OK
2079 > [ 0.000000] (1:server@HostA) Received 2
2080 > [ 0.000000] (3:client@HostC) Send 2
2081 > [ 0.000000] (1:server@HostA) Received 1
2082 > [ 0.000000] (2:client@HostB) Send 1
2083 > [ 0.000000] (1:server@HostA) Received 2
2084 > [ 0.000000] (1:server@HostA) Received 2
2085 > [ 0.000000] (3:client@HostC) Send 2
2086 > [ 0.000000] (1:server@HostA) Received 1
2087 > [ 0.000000] (2:client@HostB) Send 1
2088 > [ 0.000000] (1:server@HostA) Received 2
2089 > [ 0.000000] (3:client@HostC) Send 2
2090 > [ 0.000000] (1:server@HostA) Received 2
2091 > [ 0.000000] (0:maestro@) **************************
2092 > [ 0.000000] (0:maestro@) *** PROPERTY NOT VALID ***
2093 > [ 0.000000] (0:maestro@) **************************
2094 > [ 0.000000] (0:maestro@) Counter-example execution trace:
2095 > [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only))
2096 > [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only))
2097 > [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)])
2098 > [ 0.000000] (0:maestro@) [(3)HostC (client)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)])
2099 > [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only))
2100 > [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only))
2101 > [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)])
2102 > [ 0.000000] (0:maestro@) Path = 1;3;1;3;1;3;1
2103 > [ 0.000000] (0:maestro@) Expanded states = 1006
2104 > [ 0.000000] (0:maestro@) Visited states = 5319
2105 > [ 0.000000] (0:maestro@) Executed transitions = 4969