3 ! expect signal SIGABRT
4 $ ${bindir:=.}/bugged2 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
5 > [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1'
6 > [ 0.000000] (2:client@HostB) Send 1!
7 > [ 0.000000] (3:client@HostC) Send 2!
8 > [ 0.000000] (1:server@HostA) Received 1
9 > [ 0.000000] (2:client@HostB) Send 1!
10 > [ 0.000000] (1:server@HostA) Received 1
11 > [ 0.000000] (1:server@HostA) Received 2
12 > [ 0.000000] (3:client@HostC) Send 2!
13 > [ 0.000000] (1:server@HostA) Received 2
14 > [ 0.000000] (1:server@HostA) OK
15 > [ 0.000000] (1:server@HostA) Received 1
16 > [ 0.000000] (2:client@HostB) Send 1!
17 > [ 0.000000] (1:server@HostA) Received 1
18 > [ 0.000000] (1:server@HostA) Received 2
19 > [ 0.000000] (3:client@HostC) Send 2!
20 > [ 0.000000] (1:server@HostA) Received 2
21 > [ 0.000000] (1:server@HostA) OK
22 > [ 0.000000] (1:server@HostA) Received 1
23 > [ 0.000000] (2:client@HostB) Send 1!
24 > [ 0.000000] (1:server@HostA) Received 1
25 > [ 0.000000] (1:server@HostA) Received 2
26 > [ 0.000000] (3:client@HostC) Send 2!
27 > [ 0.000000] (1:server@HostA) Received 2
28 > [ 0.000000] (1:server@HostA) OK
29 > [ 0.000000] (1:server@HostA) Received 1
30 > [ 0.000000] (2:client@HostB) Send 1!
31 > [ 0.000000] (1:server@HostA) Received 1
32 > [ 0.000000] (1:server@HostA) Received 2
33 > [ 0.000000] (3:client@HostC) Send 2!
34 > [ 0.000000] (1:server@HostA) Received 2
35 > [ 0.000000] (1:server@HostA) OK
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 2
49 > [ 0.000000] (1:server@HostA) OK
50 > [ 0.000000] (1:server@HostA) Received 1
51 > [ 0.000000] (2:client@HostB) Send 1!
52 > [ 0.000000] (1:server@HostA) Received 1
53 > [ 0.000000] (1:server@HostA) Received 2
54 > [ 0.000000] (3:client@HostC) Send 2!
55 > [ 0.000000] (1:server@HostA) Received 2
56 > [ 0.000000] (1:server@HostA) OK
57 > [ 0.000000] (1:server@HostA) Received 1
58 > [ 0.000000] (2:client@HostB) Send 1!
59 > [ 0.000000] (1:server@HostA) Received 1
60 > [ 0.000000] (1:server@HostA) Received 2
61 > [ 0.000000] (3:client@HostC) Send 2!
62 > [ 0.000000] (1:server@HostA) Received 2
63 > [ 0.000000] (1:server@HostA) OK
64 > [ 0.000000] (1:server@HostA) Received 1
65 > [ 0.000000] (2:client@HostB) Send 1!
66 > [ 0.000000] (1:server@HostA) Received 1
67 > [ 0.000000] (1:server@HostA) Received 2
68 > [ 0.000000] (3:client@HostC) Send 2!
69 > [ 0.000000] (1:server@HostA) Received 1
70 > [ 0.000000] (2:client@HostB) Send 1!
71 > [ 0.000000] (1:server@HostA) Received 1
72 > [ 0.000000] (1:server@HostA) Received 2
73 > [ 0.000000] (1:server@HostA) Received 1
74 > [ 0.000000] (2:client@HostB) Send 1!
75 > [ 0.000000] (1:server@HostA) Received 1
76 > [ 0.000000] (1:server@HostA) Received 1
77 > [ 0.000000] (2:client@HostB) Send 1!
78 > [ 0.000000] (1:server@HostA) Received 1
79 > [ 0.000000] (1:server@HostA) Received 2
80 > [ 0.000000] (3:client@HostC) Send 2!
81 > [ 0.000000] (1:server@HostA) Received 2
82 > [ 0.000000] (1:server@HostA) OK
83 > [ 0.000000] (1:server@HostA) Received 1
84 > [ 0.000000] (2:client@HostB) Send 1!
85 > [ 0.000000] (1:server@HostA) Received 1
86 > [ 0.000000] (1:server@HostA) Received 2
87 > [ 0.000000] (3:client@HostC) Send 2!
88 > [ 0.000000] (1:server@HostA) Received 2
89 > [ 0.000000] (1:server@HostA) OK
90 > [ 0.000000] (1:server@HostA) Received 1
91 > [ 0.000000] (2:client@HostB) Send 1!
92 > [ 0.000000] (1:server@HostA) Received 1
93 > [ 0.000000] (1:server@HostA) Received 2
94 > [ 0.000000] (3:client@HostC) Send 2!
95 > [ 0.000000] (1:server@HostA) Received 2
96 > [ 0.000000] (1:server@HostA) OK
97 > [ 0.000000] (1:server@HostA) Received 1
98 > [ 0.000000] (2:client@HostB) Send 1!
99 > [ 0.000000] (1:server@HostA) Received 1
100 > [ 0.000000] (1:server@HostA) Received 2
101 > [ 0.000000] (3:client@HostC) Send 2!
102 > [ 0.000000] (1:server@HostA) Received 2
103 > [ 0.000000] (1:server@HostA) OK
104 > [ 0.000000] (1:server@HostA) Received 1
105 > [ 0.000000] (2:client@HostB) Send 1!
106 > [ 0.000000] (1:server@HostA) Received 1
107 > [ 0.000000] (1:server@HostA) Received 2
108 > [ 0.000000] (3:client@HostC) Send 2!
109 > [ 0.000000] (1:server@HostA) Received 2
110 > [ 0.000000] (1:server@HostA) OK
111 > [ 0.000000] (1:server@HostA) Received 1
112 > [ 0.000000] (2:client@HostB) Send 1!
113 > [ 0.000000] (1:server@HostA) Received 1
114 > [ 0.000000] (1:server@HostA) Received 2
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 1
121 > [ 0.000000] (1:server@HostA) Received 2
122 > [ 0.000000] (3:client@HostC) Send 2!
123 > [ 0.000000] (1:server@HostA) Received 2
124 > [ 0.000000] (1:server@HostA) OK
125 > [ 0.000000] (1:server@HostA) Received 1
126 > [ 0.000000] (2:client@HostB) Send 1!
127 > [ 0.000000] (1:server@HostA) Received 1
128 > [ 0.000000] (1:server@HostA) Received 2
129 > [ 0.000000] (3:client@HostC) Send 2!
130 > [ 0.000000] (1:server@HostA) Received 1
131 > [ 0.000000] (2:client@HostB) Send 1!
132 > [ 0.000000] (1:server@HostA) Received 1
133 > [ 0.000000] (1:server@HostA) Received 2
134 > [ 0.000000] (1:server@HostA) Received 1
135 > [ 0.000000] (2:client@HostB) Send 1!
136 > [ 0.000000] (1:server@HostA) Received 1
137 > [ 0.000000] (2:client@HostB) Send 1!
138 > [ 0.000000] (1:server@HostA) Received 2
139 > [ 0.000000] (1:server@HostA) Received 1
140 > [ 0.000000] (3:client@HostC) Send 2!
141 > [ 0.000000] (1:server@HostA) Received 2
142 > [ 0.000000] (1:server@HostA) OK
143 > [ 0.000000] (1:server@HostA) Received 1
144 > [ 0.000000] (2:client@HostB) Send 1!
145 > [ 0.000000] (1:server@HostA) Received 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 2
159 > [ 0.000000] (1:server@HostA) Received 1
160 > [ 0.000000] (1:server@HostA) OK
161 > [ 0.000000] (1:server@HostA) Received 1
162 > [ 0.000000] (2:client@HostB) Send 1!
163 > [ 0.000000] (1:server@HostA) Received 2
164 > [ 0.000000] (1:server@HostA) Received 1
165 > [ 0.000000] (2:client@HostB) Send 1!
166 > [ 0.000000] (3:client@HostC) Send 2!
167 > [ 0.000000] (1:server@HostA) Received 2
168 > [ 0.000000] (1:server@HostA) Received 1
169 > [ 0.000000] (1:server@HostA) Received 2
170 > [ 0.000000] (1:server@HostA) OK
171 > [ 0.000000] (1:server@HostA) Received 1
172 > [ 0.000000] (2:client@HostB) Send 1!
173 > [ 0.000000] (3:client@HostC) Send 2!
174 > [ 0.000000] (1:server@HostA) Received 2
175 > [ 0.000000] (1:server@HostA) Received 2
176 > [ 0.000000] (1:server@HostA) Received 1
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] (3:client@HostC) Send 2!
181 > [ 0.000000] (1:server@HostA) Received 2
182 > [ 0.000000] (1:server@HostA) Received 1
183 > [ 0.000000] (1:server@HostA) Received 2
184 > [ 0.000000] (1:server@HostA) OK
185 > [ 0.000000] (1:server@HostA) Received 1
186 > [ 0.000000] (2:client@HostB) Send 1!
187 > [ 0.000000] (3:client@HostC) Send 2!
188 > [ 0.000000] (1:server@HostA) Received 2
189 > [ 0.000000] (1:server@HostA) Received 1
190 > [ 0.000000] (1:server@HostA) Received 2
191 > [ 0.000000] (1:server@HostA) OK
192 > [ 0.000000] (1:server@HostA) Received 1
193 > [ 0.000000] (2:client@HostB) Send 1!
194 > [ 0.000000] (3:client@HostC) Send 2!
195 > [ 0.000000] (1:server@HostA) Received 1
196 > [ 0.000000] (2:client@HostB) Send 1!
197 > [ 0.000000] (3:client@HostC) Send 2!
198 > [ 0.000000] (1:server@HostA) Received 2
199 > [ 0.000000] (1:server@HostA) Received 2
200 > [ 0.000000] (1:server@HostA) Received 1
201 > [ 0.000000] (1:server@HostA) OK
202 > [ 0.000000] (1:server@HostA) Received 1
203 > [ 0.000000] (2:client@HostB) Send 1!
204 > [ 0.000000] (3:client@HostC) Send 2!
205 > [ 0.000000] (1:server@HostA) Received 2
206 > [ 0.000000] (1:server@HostA) Received 2
207 > [ 0.000000] (1:server@HostA) Received 1
208 > [ 0.000000] (1:server@HostA) OK
209 > [ 0.000000] (1:server@HostA) Received 1
210 > [ 0.000000] (2:client@HostB) Send 1!
211 > [ 0.000000] (3:client@HostC) Send 2!
212 > [ 0.000000] (1:server@HostA) Received 1
213 > [ 0.000000] (1:server@HostA) Received 2
214 > [ 0.000000] (2:client@HostB) Send 1!
215 > [ 0.000000] (1:server@HostA) Received 1
216 > [ 0.000000] (3:client@HostC) Send 2!
217 > [ 0.000000] (1:server@HostA) Received 2
218 > [ 0.000000] (1:server@HostA) OK
219 > [ 0.000000] (1:server@HostA) Received 1
220 > [ 0.000000] (1:server@HostA) Received 2
221 > [ 0.000000] (2:client@HostB) Send 1!
222 > [ 0.000000] (1:server@HostA) Received 1
223 > [ 0.000000] (1:server@HostA) Received 1
224 > [ 0.000000] (1:server@HostA) Received 2
225 > [ 0.000000] (2:client@HostB) Send 1!
226 > [ 0.000000] (3:client@HostC) Send 2!
227 > [ 0.000000] (1:server@HostA) Received 1
228 > [ 0.000000] (1:server@HostA) Received 2
229 > [ 0.000000] (1:server@HostA) OK
230 > [ 0.000000] (1:server@HostA) Received 1
231 > [ 0.000000] (1:server@HostA) Received 2
232 > [ 0.000000] (2:client@HostB) Send 1!
233 > [ 0.000000] (3:client@HostC) Send 2!
234 > [ 0.000000] (1:server@HostA) Received 2
235 > [ 0.000000] (1:server@HostA) Received 1
236 > [ 0.000000] (1:server@HostA) OK
237 > [ 0.000000] (1:server@HostA) Received 1
238 > [ 0.000000] (1:server@HostA) Received 2
239 > [ 0.000000] (2:client@HostB) Send 1!
240 > [ 0.000000] (1:server@HostA) Received 1
241 > [ 0.000000] (1:server@HostA) Received 2
242 > [ 0.000000] (3:client@HostC) Send 2!
243 > [ 0.000000] (2:client@HostB) Send 1!
244 > [ 0.000000] (1:server@HostA) Received 1
245 > [ 0.000000] (1:server@HostA) Received 2
246 > [ 0.000000] (1:server@HostA) OK
247 > [ 0.000000] (1:server@HostA) Received 1
248 > [ 0.000000] (1:server@HostA) Received 2
249 > [ 0.000000] (3:client@HostC) Send 2!
250 > [ 0.000000] (2:client@HostB) Send 1!
251 > [ 0.000000] (1:server@HostA) Received 2
252 > [ 0.000000] (1:server@HostA) Received 1
253 > [ 0.000000] (1:server@HostA) OK
254 > [ 0.000000] (1:server@HostA) Received 1
255 > [ 0.000000] (1:server@HostA) Received 2
256 > [ 0.000000] (3:client@HostC) Send 2!
257 > [ 0.000000] (1:server@HostA) Received 2
258 > [ 0.000000] (2:client@HostB) Send 1!
259 > [ 0.000000] (1:server@HostA) Received 1
260 > [ 0.000000] (1:server@HostA) OK
261 > [ 0.000000] (1:server@HostA) Received 1
262 > [ 0.000000] (1:server@HostA) Received 2
263 > [ 0.000000] (3:client@HostC) Send 2!
264 > [ 0.000000] (1:server@HostA) Received 2
265 > [ 0.000000] (2:client@HostB) Send 1!
266 > [ 0.000000] (1:server@HostA) Received 1
267 > [ 0.000000] (1:server@HostA) OK
268 > [ 0.000000] (1:server@HostA) Received 1
269 > [ 0.000000] (1:server@HostA) Received 2
270 > [ 0.000000] (3:client@HostC) Send 2!
271 > [ 0.000000] (2:client@HostB) Send 1!
272 > [ 0.000000] (1:server@HostA) Received 2
273 > [ 0.000000] (1:server@HostA) Received 1
274 > [ 0.000000] (1:server@HostA) OK
275 > [ 0.000000] (1:server@HostA) Received 1
276 > [ 0.000000] (1:server@HostA) Received 2
277 > [ 0.000000] (3:client@HostC) Send 2!
278 > [ 0.000000] (1:server@HostA) Received 2
279 > [ 0.000000] (2:client@HostB) Send 1!
280 > [ 0.000000] (1:server@HostA) Received 1
281 > [ 0.000000] (1:server@HostA) OK
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] (2:client@HostB) Send 1!
286 > [ 0.000000] (1:server@HostA) Received 2
287 > [ 0.000000] (1:server@HostA) Received 1
288 > [ 0.000000] (1:server@HostA) OK
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] (1:server@HostA) Received 2
294 > [ 0.000000] (1:server@HostA) Received 1
295 > [ 0.000000] (3:client@HostC) Send 2!
296 > [ 0.000000] (1:server@HostA) Received 2
297 > [ 0.000000] (2:client@HostB) Send 1!
298 > [ 0.000000] (1:server@HostA) Received 1
299 > [ 0.000000] (1:server@HostA) Received 2
300 > [ 0.000000] (1:server@HostA) OK
301 > [ 0.000000] (1:server@HostA) Received 1
302 > [ 0.000000] (3:client@HostC) Send 2!
303 > [ 0.000000] (1:server@HostA) Received 2
304 > [ 0.000000] (2:client@HostB) Send 1!
305 > [ 0.000000] (1:server@HostA) Received 2
306 > [ 0.000000] (1:server@HostA) Received 1
307 > [ 0.000000] (1:server@HostA) OK
308 > [ 0.000000] (1:server@HostA) Received 1
309 > [ 0.000000] (3:client@HostC) Send 2!
310 > [ 0.000000] (1:server@HostA) Received 2
311 > [ 0.000000] (1:server@HostA) Received 2
312 > [ 0.000000] (2:client@HostB) Send 1!
313 > [ 0.000000] (1:server@HostA) Received 1
314 > [ 0.000000] (1:server@HostA) OK
315 > [ 0.000000] (1:server@HostA) Received 1
316 > [ 0.000000] (3:client@HostC) Send 2!
317 > [ 0.000000] (1:server@HostA) Received 2
318 > [ 0.000000] (1:server@HostA) Received 2
319 > [ 0.000000] (2:client@HostB) Send 1!
320 > [ 0.000000] (1:server@HostA) Received 1
321 > [ 0.000000] (1:server@HostA) OK
322 > [ 0.000000] (1:server@HostA) Received 1
323 > [ 0.000000] (3:client@HostC) Send 2!
324 > [ 0.000000] (1:server@HostA) Received 2
325 > [ 0.000000] (2:client@HostB) Send 1!
326 > [ 0.000000] (1:server@HostA) Received 2
327 > [ 0.000000] (1:server@HostA) Received 1
328 > [ 0.000000] (1:server@HostA) OK
329 > [ 0.000000] (1:server@HostA) Received 1
330 > [ 0.000000] (3:client@HostC) Send 2!
331 > [ 0.000000] (1:server@HostA) Received 2
332 > [ 0.000000] (1:server@HostA) Received 2
333 > [ 0.000000] (2:client@HostB) Send 1!
334 > [ 0.000000] (1:server@HostA) Received 1
335 > [ 0.000000] (1:server@HostA) OK
336 > [ 0.000000] (1:server@HostA) Received 1
337 > [ 0.000000] (3:client@HostC) Send 2!
338 > [ 0.000000] (1:server@HostA) Received 2
339 > [ 0.000000] (2:client@HostB) Send 1!
340 > [ 0.000000] (1:server@HostA) Received 2
341 > [ 0.000000] (1:server@HostA) Received 1
342 > [ 0.000000] (1:server@HostA) OK
343 > [ 0.000000] (1:server@HostA) Received 1
344 > [ 0.000000] (3:client@HostC) Send 2!
345 > [ 0.000000] (1:server@HostA) Received 2
346 > [ 0.000000] (1:server@HostA) Received 1
347 > [ 0.000000] (3:client@HostC) Send 2!
348 > [ 0.000000] (2:client@HostB) Send 1!
349 > [ 0.000000] (1:server@HostA) Received 2
350 > [ 0.000000] (1:server@HostA) Received 1
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] (3:client@HostC) Send 2!
355 > [ 0.000000] (2:client@HostB) Send 1!
356 > [ 0.000000] (1:server@HostA) Received 2
357 > [ 0.000000] (1:server@HostA) Received 2
358 > [ 0.000000] (1:server@HostA) Received 1
359 > [ 0.000000] (1:server@HostA) OK
360 > [ 0.000000] (1:server@HostA) Received 1
361 > [ 0.000000] (3:client@HostC) Send 2!
362 > [ 0.000000] (2:client@HostB) Send 1!
363 > [ 0.000000] (1:server@HostA) Received 2
364 > [ 0.000000] (1:server@HostA) Received 1
365 > [ 0.000000] (1:server@HostA) Received 2
366 > [ 0.000000] (1:server@HostA) OK
367 > [ 0.000000] (1:server@HostA) Received 1
368 > [ 0.000000] (3:client@HostC) Send 2!
369 > [ 0.000000] (2:client@HostB) Send 1!
370 > [ 0.000000] (1:server@HostA) Received 2
371 > [ 0.000000] (1:server@HostA) Received 1
372 > [ 0.000000] (1:server@HostA) Received 2
373 > [ 0.000000] (1:server@HostA) OK
374 > [ 0.000000] (1:server@HostA) Received 1
375 > [ 0.000000] (3:client@HostC) Send 2!
376 > [ 0.000000] (2:client@HostB) Send 1!
377 > [ 0.000000] (1:server@HostA) Received 1
378 > [ 0.000000] (3:client@HostC) Send 2!
379 > [ 0.000000] (2:client@HostB) Send 1!
380 > [ 0.000000] (1:server@HostA) Received 2
381 > [ 0.000000] (1:server@HostA) Received 2
382 > [ 0.000000] (1:server@HostA) Received 1
383 > [ 0.000000] (1:server@HostA) OK
384 > [ 0.000000] (1:server@HostA) Received 1
385 > [ 0.000000] (3:client@HostC) Send 2!
386 > [ 0.000000] (2:client@HostB) Send 1!
387 > [ 0.000000] (1:server@HostA) Received 2
388 > [ 0.000000] (1:server@HostA) Received 2
389 > [ 0.000000] (1:server@HostA) Received 1
390 > [ 0.000000] (1:server@HostA) OK
391 > [ 0.000000] (1:server@HostA) Received 1
392 > [ 0.000000] (3:client@HostC) Send 2!
393 > [ 0.000000] (2:client@HostB) Send 1!
394 > [ 0.000000] (1:server@HostA) Received 1
395 > [ 0.000000] (3:client@HostC) Send 2!
396 > [ 0.000000] (1:server@HostA) Received 2
397 > [ 0.000000] (1:server@HostA) Received 2
398 > [ 0.000000] (2:client@HostB) Send 1!
399 > [ 0.000000] (1:server@HostA) Received 1
400 > [ 0.000000] (1:server@HostA) OK
401 > [ 0.000000] (1:server@HostA) Received 1
402 > [ 0.000000] (3:client@HostC) Send 2!
403 > [ 0.000000] (1:server@HostA) Received 2
404 > [ 0.000000] (1:server@HostA) Received 2
405 > [ 0.000000] (2:client@HostB) Send 1!
406 > [ 0.000000] (1:server@HostA) Received 1
407 > [ 0.000000] (1:server@HostA) OK
408 > [ 0.000000] (1:server@HostA) Received 1
409 > [ 0.000000] (3:client@HostC) Send 2!
410 > [ 0.000000] (1:server@HostA) Received 2
411 > [ 0.000000] (2:client@HostB) Send 1!
412 > [ 0.000000] (1:server@HostA) Received 2
413 > [ 0.000000] (1:server@HostA) Received 1
414 > [ 0.000000] (1:server@HostA) OK
415 > [ 0.000000] (1:server@HostA) Received 1
416 > [ 0.000000] (3:client@HostC) Send 2!
417 > [ 0.000000] (1:server@HostA) Received 2
418 > [ 0.000000] (1:server@HostA) Received 2
419 > [ 0.000000] (2:client@HostB) Send 1!
420 > [ 0.000000] (1:server@HostA) Received 1
421 > [ 0.000000] (1:server@HostA) OK
422 > [ 0.000000] (1:server@HostA) Received 1
423 > [ 0.000000] (3:client@HostC) Send 2!
424 > [ 0.000000] (1:server@HostA) Received 2
425 > [ 0.000000] (2:client@HostB) Send 1!
426 > [ 0.000000] (1:server@HostA) Received 2
427 > [ 0.000000] (1:server@HostA) Received 1
428 > [ 0.000000] (1:server@HostA) OK
429 > [ 0.000000] (1:server@HostA) Received 1
430 > [ 0.000000] (3:client@HostC) Send 2!
431 > [ 0.000000] (2:client@HostB) Send 1!
432 > [ 0.000000] (1:server@HostA) Received 2
433 > [ 0.000000] (1:server@HostA) Received 2
434 > [ 0.000000] (1:server@HostA) Received 1
435 > [ 0.000000] (1:server@HostA) OK
436 > [ 0.000000] (1:server@HostA) Received 1
437 > [ 0.000000] (3:client@HostC) Send 2!
438 > [ 0.000000] (2:client@HostB) Send 1!
439 > [ 0.000000] (1:server@HostA) Received 2
440 > [ 0.000000] (1:server@HostA) Received 2
441 > [ 0.000000] (1:server@HostA) Received 1
442 > [ 0.000000] (1:server@HostA) OK
443 > [ 0.000000] (1:server@HostA) Received 1
444 > [ 0.000000] (3:client@HostC) Send 2!
445 > [ 0.000000] (2:client@HostB) Send 1!
446 > [ 0.000000] (1:server@HostA) Received 1
447 > [ 0.000000] (3:client@HostC) Send 2!
448 > [ 0.000000] (1:server@HostA) Received 1
449 > [ 0.000000] (2:client@HostB) Send 1!
450 > [ 0.000000] (1:server@HostA) Received 1
451 > [ 0.000000] (1:server@HostA) Received 1
452 > [ 0.000000] (1:server@HostA) Received 2
453 > [ 0.000000] (3:client@HostC) Send 2!
454 > [ 0.000000] (1:server@HostA) Received 2
455 > [ 0.000000] (1:server@HostA) OK
456 > [ 0.000000] (2:client@HostB) Send 1!
457 > [ 0.000000] (1:server@HostA) Received 1
458 > [ 0.000000] (1:server@HostA) Received 1
459 > [ 0.000000] (1:server@HostA) Received 2
460 > [ 0.000000] (3:client@HostC) Send 2!
461 > [ 0.000000] (1:server@HostA) Received 2
462 > [ 0.000000] (1:server@HostA) OK
463 > [ 0.000000] (2:client@HostB) Send 1!
464 > [ 0.000000] (1:server@HostA) Received 1
465 > [ 0.000000] (1:server@HostA) Received 1
466 > [ 0.000000] (1:server@HostA) Received 2
467 > [ 0.000000] (3:client@HostC) Send 2!
468 > [ 0.000000] (1:server@HostA) Received 2
469 > [ 0.000000] (1:server@HostA) OK
470 > [ 0.000000] (2:client@HostB) Send 1!
471 > [ 0.000000] (1:server@HostA) Received 1
472 > [ 0.000000] (1:server@HostA) Received 1
473 > [ 0.000000] (1:server@HostA) Received 2
474 > [ 0.000000] (3:client@HostC) Send 2!
475 > [ 0.000000] (1:server@HostA) Received 2
476 > [ 0.000000] (1:server@HostA) OK
477 > [ 0.000000] (2:client@HostB) Send 1!
478 > [ 0.000000] (1:server@HostA) Received 1
479 > [ 0.000000] (1:server@HostA) Received 1
480 > [ 0.000000] (1:server@HostA) Received 2
481 > [ 0.000000] (3:client@HostC) Send 2!
482 > [ 0.000000] (1:server@HostA) Received 2
483 > [ 0.000000] (1:server@HostA) OK
484 > [ 0.000000] (2:client@HostB) Send 1!
485 > [ 0.000000] (1:server@HostA) Received 1
486 > [ 0.000000] (1:server@HostA) Received 1
487 > [ 0.000000] (1:server@HostA) Received 2
488 > [ 0.000000] (3:client@HostC) Send 2!
489 > [ 0.000000] (1:server@HostA) Received 2
490 > [ 0.000000] (1:server@HostA) OK
491 > [ 0.000000] (2:client@HostB) Send 1!
492 > [ 0.000000] (1:server@HostA) Received 1
493 > [ 0.000000] (1:server@HostA) Received 1
494 > [ 0.000000] (1:server@HostA) Received 2
495 > [ 0.000000] (3:client@HostC) Send 2!
496 > [ 0.000000] (1:server@HostA) Received 2
497 > [ 0.000000] (1:server@HostA) OK
498 > [ 0.000000] (2:client@HostB) Send 1!
499 > [ 0.000000] (1:server@HostA) Received 1
500 > [ 0.000000] (1:server@HostA) Received 1
501 > [ 0.000000] (1:server@HostA) Received 2
502 > [ 0.000000] (3:client@HostC) Send 2!
503 > [ 0.000000] (1:server@HostA) Received 2
504 > [ 0.000000] (1:server@HostA) OK
505 > [ 0.000000] (2:client@HostB) Send 1!
506 > [ 0.000000] (1:server@HostA) Received 1
507 > [ 0.000000] (1:server@HostA) Received 1
508 > [ 0.000000] (1:server@HostA) Received 2
509 > [ 0.000000] (3:client@HostC) Send 2!
510 > [ 0.000000] (2:client@HostB) Send 1!
511 > [ 0.000000] (1:server@HostA) Received 1
512 > [ 0.000000] (1:server@HostA) Received 1
513 > [ 0.000000] (1:server@HostA) Received 2
514 > [ 0.000000] (2:client@HostB) Send 1!
515 > [ 0.000000] (1:server@HostA) Received 1
516 > [ 0.000000] (1:server@HostA) Received 1
517 > [ 0.000000] (2:client@HostB) Send 1!
518 > [ 0.000000] (1:server@HostA) Received 1
519 > [ 0.000000] (1:server@HostA) Received 1
520 > [ 0.000000] (1:server@HostA) Received 2
521 > [ 0.000000] (3:client@HostC) Send 2!
522 > [ 0.000000] (1:server@HostA) Received 2
523 > [ 0.000000] (1:server@HostA) OK
524 > [ 0.000000] (2:client@HostB) Send 1!
525 > [ 0.000000] (1:server@HostA) Received 1
526 > [ 0.000000] (1:server@HostA) Received 1
527 > [ 0.000000] (1:server@HostA) Received 2
528 > [ 0.000000] (3:client@HostC) Send 2!
529 > [ 0.000000] (1:server@HostA) Received 2
530 > [ 0.000000] (1:server@HostA) OK
531 > [ 0.000000] (2:client@HostB) Send 1!
532 > [ 0.000000] (1:server@HostA) Received 1
533 > [ 0.000000] (1:server@HostA) Received 1
534 > [ 0.000000] (1:server@HostA) Received 2
535 > [ 0.000000] (3:client@HostC) Send 2!
536 > [ 0.000000] (1:server@HostA) Received 2
537 > [ 0.000000] (1:server@HostA) OK
538 > [ 0.000000] (2:client@HostB) Send 1!
539 > [ 0.000000] (1:server@HostA) Received 1
540 > [ 0.000000] (1:server@HostA) Received 1
541 > [ 0.000000] (1:server@HostA) Received 2
542 > [ 0.000000] (3:client@HostC) Send 2!
543 > [ 0.000000] (1:server@HostA) Received 2
544 > [ 0.000000] (1:server@HostA) OK
545 > [ 0.000000] (2:client@HostB) Send 1!
546 > [ 0.000000] (1:server@HostA) Received 1
547 > [ 0.000000] (1:server@HostA) Received 1
548 > [ 0.000000] (1:server@HostA) Received 2
549 > [ 0.000000] (3:client@HostC) Send 2!
550 > [ 0.000000] (1:server@HostA) Received 2
551 > [ 0.000000] (1:server@HostA) OK
552 > [ 0.000000] (2:client@HostB) Send 1!
553 > [ 0.000000] (1:server@HostA) Received 1
554 > [ 0.000000] (1:server@HostA) Received 1
555 > [ 0.000000] (1:server@HostA) Received 2
556 > [ 0.000000] (3:client@HostC) Send 2!
557 > [ 0.000000] (1:server@HostA) Received 2
558 > [ 0.000000] (1:server@HostA) OK
559 > [ 0.000000] (2:client@HostB) Send 1!
560 > [ 0.000000] (1:server@HostA) Received 1
561 > [ 0.000000] (1:server@HostA) Received 1
562 > [ 0.000000] (1:server@HostA) Received 2
563 > [ 0.000000] (3:client@HostC) Send 2!
564 > [ 0.000000] (1:server@HostA) Received 2
565 > [ 0.000000] (1:server@HostA) OK
566 > [ 0.000000] (2:client@HostB) Send 1!
567 > [ 0.000000] (1:server@HostA) Received 1
568 > [ 0.000000] (1:server@HostA) Received 1
569 > [ 0.000000] (1:server@HostA) Received 2
570 > [ 0.000000] (3:client@HostC) Send 2!
571 > [ 0.000000] (2:client@HostB) Send 1!
572 > [ 0.000000] (1:server@HostA) Received 1
573 > [ 0.000000] (1:server@HostA) Received 1
574 > [ 0.000000] (1:server@HostA) Received 2
575 > [ 0.000000] (2:client@HostB) Send 1!
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] (1:server@HostA) Received 2
580 > [ 0.000000] (1:server@HostA) Received 1
581 > [ 0.000000] (3:client@HostC) Send 2!
582 > [ 0.000000] (1:server@HostA) Received 2
583 > [ 0.000000] (1:server@HostA) OK
584 > [ 0.000000] (2:client@HostB) Send 1!
585 > [ 0.000000] (1:server@HostA) Received 1
586 > [ 0.000000] (1:server@HostA) Received 2
587 > [ 0.000000] (1:server@HostA) Received 1
588 > [ 0.000000] (2:client@HostB) Send 1!
589 > [ 0.000000] (1:server@HostA) Received 1
590 > [ 0.000000] (1:server@HostA) Received 2
591 > [ 0.000000] (3:client@HostC) Send 2!
592 > [ 0.000000] (1:server@HostA) Received 1
593 > [ 0.000000] (1:server@HostA) Received 2
594 > [ 0.000000] (1:server@HostA) OK
595 > [ 0.000000] (2:client@HostB) Send 1!
596 > [ 0.000000] (1:server@HostA) Received 1
597 > [ 0.000000] (1:server@HostA) Received 2
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] (1:server@HostA) OK
602 > [ 0.000000] (2:client@HostB) Send 1!
603 > [ 0.000000] (1:server@HostA) Received 1
604 > [ 0.000000] (1:server@HostA) Received 2
605 > [ 0.000000] (2:client@HostB) Send 1!
606 > [ 0.000000] (1:server@HostA) Received 1
607 > [ 0.000000] (3:client@HostC) Send 2!
608 > [ 0.000000] (1:server@HostA) Received 2
609 > [ 0.000000] (1:server@HostA) Received 1
610 > [ 0.000000] (1:server@HostA) Received 2
611 > [ 0.000000] (1:server@HostA) OK
612 > [ 0.000000] (2:client@HostB) Send 1!
613 > [ 0.000000] (1:server@HostA) Received 1
614 > [ 0.000000] (3:client@HostC) Send 2!
615 > [ 0.000000] (1:server@HostA) Received 2
616 > [ 0.000000] (1:server@HostA) Received 2
617 > [ 0.000000] (1:server@HostA) Received 1
618 > [ 0.000000] (1:server@HostA) OK
619 > [ 0.000000] (2:client@HostB) Send 1!
620 > [ 0.000000] (1:server@HostA) Received 1
621 > [ 0.000000] (3:client@HostC) Send 2!
622 > [ 0.000000] (1:server@HostA) Received 2
623 > [ 0.000000] (1:server@HostA) Received 1
624 > [ 0.000000] (1:server@HostA) Received 2
625 > [ 0.000000] (1:server@HostA) OK
626 > [ 0.000000] (2:client@HostB) Send 1!
627 > [ 0.000000] (1:server@HostA) Received 1
628 > [ 0.000000] (3:client@HostC) Send 2!
629 > [ 0.000000] (1:server@HostA) Received 2
630 > [ 0.000000] (1:server@HostA) Received 1
631 > [ 0.000000] (1:server@HostA) Received 2
632 > [ 0.000000] (1:server@HostA) OK
633 > [ 0.000000] (2:client@HostB) Send 1!
634 > [ 0.000000] (1:server@HostA) Received 1
635 > [ 0.000000] (3:client@HostC) Send 2!
636 > [ 0.000000] (2:client@HostB) Send 1!
637 > [ 0.000000] (1:server@HostA) Received 1
638 > [ 0.000000] (3:client@HostC) Send 2!
639 > [ 0.000000] (1:server@HostA) Received 2
640 > [ 0.000000] (1:server@HostA) Received 2
641 > [ 0.000000] (1:server@HostA) Received 1
642 > [ 0.000000] (1:server@HostA) OK
643 > [ 0.000000] (2:client@HostB) Send 1!
644 > [ 0.000000] (1:server@HostA) Received 1
645 > [ 0.000000] (3:client@HostC) Send 2!
646 > [ 0.000000] (1:server@HostA) Received 2
647 > [ 0.000000] (1:server@HostA) Received 2
648 > [ 0.000000] (1:server@HostA) Received 1
649 > [ 0.000000] (1:server@HostA) OK
650 > [ 0.000000] (2:client@HostB) Send 1!
651 > [ 0.000000] (1:server@HostA) Received 1
652 > [ 0.000000] (3:client@HostC) Send 2!
653 > [ 0.000000] (2:client@HostB) Send 1!
654 > [ 0.000000] (1:server@HostA) Received 1
655 > [ 0.000000] (1:server@HostA) Received 1
656 > [ 0.000000] (1:server@HostA) Received 2
657 > [ 0.000000] (3:client@HostC) Send 2!
658 > [ 0.000000] (1:server@HostA) Received 2
659 > [ 0.000000] (1:server@HostA) OK
660 > [ 0.000000] (2:client@HostB) Send 1!
661 > [ 0.000000] (1:server@HostA) Received 1
662 > [ 0.000000] (1:server@HostA) Received 1
663 > [ 0.000000] (1:server@HostA) Received 2
664 > [ 0.000000] (3:client@HostC) Send 2!
665 > [ 0.000000] (1:server@HostA) Received 2
666 > [ 0.000000] (1:server@HostA) OK
667 > [ 0.000000] (2:client@HostB) Send 1!
668 > [ 0.000000] (1:server@HostA) Received 1
669 > [ 0.000000] (1:server@HostA) Received 1
670 > [ 0.000000] (1:server@HostA) Received 2
671 > [ 0.000000] (3:client@HostC) Send 2!
672 > [ 0.000000] (1:server@HostA) Received 2
673 > [ 0.000000] (1:server@HostA) OK
674 > [ 0.000000] (2:client@HostB) Send 1!
675 > [ 0.000000] (1:server@HostA) Received 1
676 > [ 0.000000] (1:server@HostA) Received 1
677 > [ 0.000000] (1:server@HostA) Received 2
678 > [ 0.000000] (3:client@HostC) Send 2!
679 > [ 0.000000] (1:server@HostA) Received 2
680 > [ 0.000000] (1:server@HostA) OK
681 > [ 0.000000] (2:client@HostB) Send 1!
682 > [ 0.000000] (1:server@HostA) Received 1
683 > [ 0.000000] (1:server@HostA) Received 1
684 > [ 0.000000] (1:server@HostA) Received 2
685 > [ 0.000000] (3:client@HostC) Send 2!
686 > [ 0.000000] (1:server@HostA) Received 2
687 > [ 0.000000] (1:server@HostA) OK
688 > [ 0.000000] (2:client@HostB) Send 1!
689 > [ 0.000000] (1:server@HostA) Received 1
690 > [ 0.000000] (1:server@HostA) Received 1
691 > [ 0.000000] (1:server@HostA) Received 2
692 > [ 0.000000] (3:client@HostC) Send 2!
693 > [ 0.000000] (1:server@HostA) Received 2
694 > [ 0.000000] (1:server@HostA) OK
695 > [ 0.000000] (2:client@HostB) Send 1!
696 > [ 0.000000] (1:server@HostA) Received 1
697 > [ 0.000000] (1:server@HostA) Received 1
698 > [ 0.000000] (1:server@HostA) Received 2
699 > [ 0.000000] (3:client@HostC) Send 2!
700 > [ 0.000000] (1:server@HostA) Received 2
701 > [ 0.000000] (1:server@HostA) OK
702 > [ 0.000000] (2:client@HostB) Send 1!
703 > [ 0.000000] (1:server@HostA) Received 1
704 > [ 0.000000] (1:server@HostA) Received 1
705 > [ 0.000000] (1:server@HostA) Received 2
706 > [ 0.000000] (3:client@HostC) Send 2!
707 > [ 0.000000] (1:server@HostA) Received 2
708 > [ 0.000000] (1:server@HostA) OK
709 > [ 0.000000] (2:client@HostB) Send 1!
710 > [ 0.000000] (1:server@HostA) Received 1
711 > [ 0.000000] (1:server@HostA) Received 1
712 > [ 0.000000] (1:server@HostA) Received 2
713 > [ 0.000000] (3:client@HostC) Send 2!
714 > [ 0.000000] (2:client@HostB) Send 1!
715 > [ 0.000000] (1:server@HostA) Received 1
716 > [ 0.000000] (1:server@HostA) Received 1
717 > [ 0.000000] (1:server@HostA) Received 2
718 > [ 0.000000] (2:client@HostB) Send 1!
719 > [ 0.000000] (1:server@HostA) Received 1
720 > [ 0.000000] (1:server@HostA) Received 1
721 > [ 0.000000] (2:client@HostB) Send 1!
722 > [ 0.000000] (1:server@HostA) Received 1
723 > [ 0.000000] (1:server@HostA) Received 1
724 > [ 0.000000] (1:server@HostA) Received 2
725 > [ 0.000000] (3:client@HostC) Send 2!
726 > [ 0.000000] (1:server@HostA) Received 2
727 > [ 0.000000] (1:server@HostA) OK
728 > [ 0.000000] (2:client@HostB) Send 1!
729 > [ 0.000000] (1:server@HostA) Received 1
730 > [ 0.000000] (1:server@HostA) Received 1
731 > [ 0.000000] (1:server@HostA) Received 2
732 > [ 0.000000] (3:client@HostC) Send 2!
733 > [ 0.000000] (1:server@HostA) Received 2
734 > [ 0.000000] (1:server@HostA) OK
735 > [ 0.000000] (2:client@HostB) Send 1!
736 > [ 0.000000] (1:server@HostA) Received 1
737 > [ 0.000000] (1:server@HostA) Received 1
738 > [ 0.000000] (1:server@HostA) Received 2
739 > [ 0.000000] (3:client@HostC) Send 2!
740 > [ 0.000000] (1:server@HostA) Received 2
741 > [ 0.000000] (1:server@HostA) OK
742 > [ 0.000000] (2:client@HostB) Send 1!
743 > [ 0.000000] (1:server@HostA) Received 1
744 > [ 0.000000] (1:server@HostA) Received 1
745 > [ 0.000000] (1:server@HostA) Received 2
746 > [ 0.000000] (3:client@HostC) Send 2!
747 > [ 0.000000] (1:server@HostA) Received 2
748 > [ 0.000000] (1:server@HostA) OK
749 > [ 0.000000] (2:client@HostB) Send 1!
750 > [ 0.000000] (1:server@HostA) Received 1
751 > [ 0.000000] (1:server@HostA) Received 1
752 > [ 0.000000] (1:server@HostA) Received 2
753 > [ 0.000000] (3:client@HostC) Send 2!
754 > [ 0.000000] (1:server@HostA) Received 2
755 > [ 0.000000] (1:server@HostA) OK
756 > [ 0.000000] (2:client@HostB) Send 1!
757 > [ 0.000000] (1:server@HostA) Received 1
758 > [ 0.000000] (1:server@HostA) Received 1
759 > [ 0.000000] (1:server@HostA) Received 2
760 > [ 0.000000] (3:client@HostC) Send 2!
761 > [ 0.000000] (1:server@HostA) Received 2
762 > [ 0.000000] (1:server@HostA) OK
763 > [ 0.000000] (2:client@HostB) Send 1!
764 > [ 0.000000] (1:server@HostA) Received 1
765 > [ 0.000000] (1:server@HostA) Received 1
766 > [ 0.000000] (1:server@HostA) Received 2
767 > [ 0.000000] (3:client@HostC) Send 2!
768 > [ 0.000000] (1:server@HostA) Received 2
769 > [ 0.000000] (1:server@HostA) OK
770 > [ 0.000000] (2:client@HostB) Send 1!
771 > [ 0.000000] (1:server@HostA) Received 1
772 > [ 0.000000] (1:server@HostA) Received 1
773 > [ 0.000000] (1:server@HostA) Received 2
774 > [ 0.000000] (3:client@HostC) Send 2!
775 > [ 0.000000] (2:client@HostB) Send 1!
776 > [ 0.000000] (1:server@HostA) Received 1
777 > [ 0.000000] (1:server@HostA) Received 1
778 > [ 0.000000] (1:server@HostA) Received 2
779 > [ 0.000000] (2:client@HostB) Send 1!
780 > [ 0.000000] (1:server@HostA) Received 1
781 > [ 0.000000] (2:client@HostB) Send 1!
782 > [ 0.000000] (1:server@HostA) Received 1
783 > [ 0.000000] (1:server@HostA) Received 1
784 > [ 0.000000] (1:server@HostA) Received 2
785 > [ 0.000000] (3:client@HostC) Send 2!
786 > [ 0.000000] (1:server@HostA) Received 2
787 > [ 0.000000] (1:server@HostA) OK
788 > [ 0.000000] (2:client@HostB) Send 1!
789 > [ 0.000000] (1:server@HostA) Received 1
790 > [ 0.000000] (1:server@HostA) Received 1
791 > [ 0.000000] (1:server@HostA) Received 2
792 > [ 0.000000] (3:client@HostC) Send 2!
793 > [ 0.000000] (1:server@HostA) Received 2
794 > [ 0.000000] (1:server@HostA) OK
795 > [ 0.000000] (2:client@HostB) Send 1!
796 > [ 0.000000] (1:server@HostA) Received 1
797 > [ 0.000000] (1:server@HostA) Received 1
798 > [ 0.000000] (1:server@HostA) Received 2
799 > [ 0.000000] (3:client@HostC) Send 2!
800 > [ 0.000000] (1:server@HostA) Received 2
801 > [ 0.000000] (1:server@HostA) OK
802 > [ 0.000000] (2:client@HostB) Send 1!
803 > [ 0.000000] (1:server@HostA) Received 1
804 > [ 0.000000] (1:server@HostA) Received 1
805 > [ 0.000000] (1:server@HostA) Received 2
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] (2:client@HostB) Send 1!
810 > [ 0.000000] (1:server@HostA) Received 1
811 > [ 0.000000] (1:server@HostA) Received 1
812 > [ 0.000000] (1:server@HostA) Received 2
813 > [ 0.000000] (3:client@HostC) Send 2!
814 > [ 0.000000] (1:server@HostA) Received 2
815 > [ 0.000000] (1:server@HostA) OK
816 > [ 0.000000] (2:client@HostB) Send 1!
817 > [ 0.000000] (1:server@HostA) Received 1
818 > [ 0.000000] (1:server@HostA) Received 1
819 > [ 0.000000] (1:server@HostA) Received 2
820 > [ 0.000000] (3:client@HostC) Send 2!
821 > [ 0.000000] (1:server@HostA) Received 2
822 > [ 0.000000] (1:server@HostA) OK
823 > [ 0.000000] (2:client@HostB) Send 1!
824 > [ 0.000000] (1:server@HostA) Received 1
825 > [ 0.000000] (1:server@HostA) Received 1
826 > [ 0.000000] (1:server@HostA) Received 2
827 > [ 0.000000] (3:client@HostC) Send 2!
828 > [ 0.000000] (1:server@HostA) Received 2
829 > [ 0.000000] (1:server@HostA) OK
830 > [ 0.000000] (2:client@HostB) Send 1!
831 > [ 0.000000] (1:server@HostA) Received 1
832 > [ 0.000000] (1:server@HostA) Received 1
833 > [ 0.000000] (1:server@HostA) Received 2
834 > [ 0.000000] (3:client@HostC) Send 2!
835 > [ 0.000000] (2:client@HostB) Send 1!
836 > [ 0.000000] (1:server@HostA) Received 1
837 > [ 0.000000] (1:server@HostA) Received 1
838 > [ 0.000000] (1:server@HostA) Received 2
839 > [ 0.000000] (2:client@HostB) Send 1!
840 > [ 0.000000] (1:server@HostA) Received 1
841 > [ 0.000000] (2:client@HostB) Send 1!
842 > [ 0.000000] (2:client@HostB) Send 1!
843 > [ 0.000000] (1:server@HostA) Received 1
844 > [ 0.000000] (1:server@HostA) Received 2
845 > [ 0.000000] (1:server@HostA) Received 1
846 > [ 0.000000] (3:client@HostC) Send 2!
847 > [ 0.000000] (1:server@HostA) Received 2
848 > [ 0.000000] (1:server@HostA) OK
849 > [ 0.000000] (2:client@HostB) Send 1!
850 > [ 0.000000] (1:server@HostA) Received 1
851 > [ 0.000000] (1:server@HostA) Received 2
852 > [ 0.000000] (1:server@HostA) Received 1
853 > [ 0.000000] (2:client@HostB) Send 1!
854 > [ 0.000000] (1:server@HostA) Received 1
855 > [ 0.000000] (1:server@HostA) Received 2
856 > [ 0.000000] (3:client@HostC) Send 2!
857 > [ 0.000000] (1:server@HostA) Received 1
858 > [ 0.000000] (1:server@HostA) Received 2
859 > [ 0.000000] (1:server@HostA) OK
860 > [ 0.000000] (2:client@HostB) Send 1!
861 > [ 0.000000] (1:server@HostA) Received 1
862 > [ 0.000000] (1:server@HostA) Received 2
863 > [ 0.000000] (3:client@HostC) Send 2!
864 > [ 0.000000] (1:server@HostA) Received 2
865 > [ 0.000000] (1:server@HostA) Received 1
866 > [ 0.000000] (1:server@HostA) OK
867 > [ 0.000000] (2:client@HostB) Send 1!
868 > [ 0.000000] (1:server@HostA) Received 1
869 > [ 0.000000] (1:server@HostA) Received 2
870 > [ 0.000000] (2:client@HostB) Send 1!
871 > [ 0.000000] (1:server@HostA) Received 1
872 > [ 0.000000] (3:client@HostC) Send 2!
873 > [ 0.000000] (1:server@HostA) Received 2
874 > [ 0.000000] (1:server@HostA) Received 1
875 > [ 0.000000] (1:server@HostA) Received 2
876 > [ 0.000000] (1:server@HostA) OK
877 > [ 0.000000] (2:client@HostB) Send 1!
878 > [ 0.000000] (1:server@HostA) Received 1
879 > [ 0.000000] (3:client@HostC) Send 2!
880 > [ 0.000000] (1:server@HostA) Received 2
881 > [ 0.000000] (1:server@HostA) Received 2
882 > [ 0.000000] (1:server@HostA) Received 1
883 > [ 0.000000] (1:server@HostA) OK
884 > [ 0.000000] (2:client@HostB) Send 1!
885 > [ 0.000000] (1:server@HostA) Received 1
886 > [ 0.000000] (3:client@HostC) Send 2!
887 > [ 0.000000] (1:server@HostA) Received 2
888 > [ 0.000000] (1:server@HostA) Received 1
889 > [ 0.000000] (1:server@HostA) Received 2
890 > [ 0.000000] (1:server@HostA) OK
891 > [ 0.000000] (2:client@HostB) Send 1!
892 > [ 0.000000] (1:server@HostA) Received 1
893 > [ 0.000000] (3:client@HostC) Send 2!
894 > [ 0.000000] (1:server@HostA) Received 2
895 > [ 0.000000] (1:server@HostA) Received 1
896 > [ 0.000000] (1:server@HostA) Received 2
897 > [ 0.000000] (1:server@HostA) OK
898 > [ 0.000000] (2:client@HostB) Send 1!
899 > [ 0.000000] (1:server@HostA) Received 1
900 > [ 0.000000] (3:client@HostC) Send 2!
901 > [ 0.000000] (2:client@HostB) Send 1!
902 > [ 0.000000] (1:server@HostA) Received 1
903 > [ 0.000000] (3:client@HostC) Send 2!
904 > [ 0.000000] (1:server@HostA) Received 2
905 > [ 0.000000] (1:server@HostA) Received 2
906 > [ 0.000000] (1:server@HostA) Received 1
907 > [ 0.000000] (1:server@HostA) OK
908 > [ 0.000000] (2:client@HostB) Send 1!
909 > [ 0.000000] (1:server@HostA) Received 1
910 > [ 0.000000] (3:client@HostC) Send 2!
911 > [ 0.000000] (1:server@HostA) Received 2
912 > [ 0.000000] (1:server@HostA) Received 2
913 > [ 0.000000] (1:server@HostA) Received 1
914 > [ 0.000000] (1:server@HostA) OK
915 > [ 0.000000] (2:client@HostB) Send 1!
916 > [ 0.000000] (1:server@HostA) Received 1
917 > [ 0.000000] (3:client@HostC) Send 2!
918 > [ 0.000000] (2:client@HostB) Send 1!
919 > [ 0.000000] (1:server@HostA) Received 1
920 > [ 0.000000] (1:server@HostA) Received 2
921 > [ 0.000000] (1:server@HostA) Received 1
922 > [ 0.000000] (3:client@HostC) Send 2!
923 > [ 0.000000] (1:server@HostA) Received 2
924 > [ 0.000000] (1:server@HostA) OK
925 > [ 0.000000] (2:client@HostB) Send 1!
926 > [ 0.000000] (1:server@HostA) Received 1
927 > [ 0.000000] (1:server@HostA) Received 2
928 > [ 0.000000] (1:server@HostA) Received 1
929 > [ 0.000000] (2:client@HostB) Send 1!
930 > [ 0.000000] (1:server@HostA) Received 1
931 > [ 0.000000] (3:client@HostC) Send 2!
932 > [ 0.000000] (1:server@HostA) Received 2
933 > [ 0.000000] (1:server@HostA) Received 1
934 > [ 0.000000] (1:server@HostA) Received 2
935 > [ 0.000000] (1:server@HostA) OK
936 > [ 0.000000] (2:client@HostB) Send 1!
937 > [ 0.000000] (1:server@HostA) Received 1
938 > [ 0.000000] (3:client@HostC) Send 2!
939 > [ 0.000000] (1:server@HostA) Received 2
940 > [ 0.000000] (1:server@HostA) Received 1
941 > [ 0.000000] (1:server@HostA) Received 2
942 > [ 0.000000] (1:server@HostA) OK
943 > [ 0.000000] (2:client@HostB) Send 1!
944 > [ 0.000000] (1:server@HostA) Received 1
945 > [ 0.000000] (3:client@HostC) Send 2!
946 > [ 0.000000] (2:client@HostB) Send 1!
947 > [ 0.000000] (2:client@HostB) Send 1!
948 > [ 0.000000] (1:server@HostA) Received 1
949 > [ 0.000000] (1:server@HostA) Received 2
950 > [ 0.000000] (2:client@HostB) Send 1!
951 > [ 0.000000] (1:server@HostA) Received 1
952 > [ 0.000000] (3:client@HostC) Send 2!
953 > [ 0.000000] (1:server@HostA) Received 2
954 > [ 0.000000] (1:server@HostA) OK
955 > [ 0.000000] (1:server@HostA) Received 1
956 > [ 0.000000] (1:server@HostA) Received 2
957 > [ 0.000000] (2:client@HostB) Send 1!
958 > [ 0.000000] (1:server@HostA) Received 1
959 > [ 0.000000] (1:server@HostA) Received 1
960 > [ 0.000000] (1:server@HostA) Received 2
961 > [ 0.000000] (2:client@HostB) Send 1!
962 > [ 0.000000] (3:client@HostC) Send 2!
963 > [ 0.000000] (1:server@HostA) Received 1
964 > [ 0.000000] (1:server@HostA) Received 2
965 > [ 0.000000] (1:server@HostA) OK
966 > [ 0.000000] (1:server@HostA) Received 1
967 > [ 0.000000] (1:server@HostA) Received 2
968 > [ 0.000000] (2:client@HostB) Send 1!
969 > [ 0.000000] (3:client@HostC) Send 2!
970 > [ 0.000000] (1:server@HostA) Received 2
971 > [ 0.000000] (1:server@HostA) Received 1
972 > [ 0.000000] (1:server@HostA) OK
973 > [ 0.000000] (1:server@HostA) Received 1
974 > [ 0.000000] (1:server@HostA) Received 2
975 > [ 0.000000] (2:client@HostB) Send 1!
976 > [ 0.000000] (1:server@HostA) Received 1
977 > [ 0.000000] (1:server@HostA) Received 2
978 > [ 0.000000] (3:client@HostC) Send 2!
979 > [ 0.000000] (2:client@HostB) Send 1!
980 > [ 0.000000] (1:server@HostA) Received 1
981 > [ 0.000000] (1:server@HostA) Received 2
982 > [ 0.000000] (1:server@HostA) OK
983 > [ 0.000000] (1:server@HostA) Received 1
984 > [ 0.000000] (1:server@HostA) Received 2
985 > [ 0.000000] (3:client@HostC) Send 2!
986 > [ 0.000000] (2:client@HostB) Send 1!
987 > [ 0.000000] (1:server@HostA) Received 2
988 > [ 0.000000] (1:server@HostA) Received 1
989 > [ 0.000000] (1:server@HostA) OK
990 > [ 0.000000] (1:server@HostA) Received 1
991 > [ 0.000000] (1:server@HostA) Received 2
992 > [ 0.000000] (3:client@HostC) Send 2!
993 > [ 0.000000] (1:server@HostA) Received 2
994 > [ 0.000000] (2:client@HostB) Send 1!
995 > [ 0.000000] (1:server@HostA) Received 1
996 > [ 0.000000] (1:server@HostA) OK
997 > [ 0.000000] (1:server@HostA) Received 1
998 > [ 0.000000] (1:server@HostA) Received 2
999 > [ 0.000000] (3:client@HostC) Send 2!
1000 > [ 0.000000] (1:server@HostA) Received 2
1001 > [ 0.000000] (2:client@HostB) Send 1!
1002 > [ 0.000000] (1:server@HostA) Received 1
1003 > [ 0.000000] (1:server@HostA) OK
1004 > [ 0.000000] (1:server@HostA) Received 1
1005 > [ 0.000000] (1:server@HostA) Received 2
1006 > [ 0.000000] (3:client@HostC) Send 2!
1007 > [ 0.000000] (2:client@HostB) Send 1!
1008 > [ 0.000000] (1:server@HostA) Received 2
1009 > [ 0.000000] (1:server@HostA) Received 1
1010 > [ 0.000000] (1:server@HostA) OK
1011 > [ 0.000000] (1:server@HostA) Received 1
1012 > [ 0.000000] (1:server@HostA) Received 2
1013 > [ 0.000000] (3:client@HostC) Send 2!
1014 > [ 0.000000] (1:server@HostA) Received 2
1015 > [ 0.000000] (2:client@HostB) Send 1!
1016 > [ 0.000000] (1:server@HostA) Received 1
1017 > [ 0.000000] (1:server@HostA) OK
1018 > [ 0.000000] (1:server@HostA) Received 1
1019 > [ 0.000000] (1:server@HostA) Received 2
1020 > [ 0.000000] (3:client@HostC) Send 2!
1021 > [ 0.000000] (2:client@HostB) Send 1!
1022 > [ 0.000000] (1:server@HostA) Received 2
1023 > [ 0.000000] (1:server@HostA) Received 1
1024 > [ 0.000000] (1:server@HostA) OK
1025 > [ 0.000000] (1:server@HostA) Received 1
1026 > [ 0.000000] (1:server@HostA) Received 2
1027 > [ 0.000000] (3:client@HostC) Send 2!
1028 > [ 0.000000] (1:server@HostA) Received 1
1029 > [ 0.000000] (1:server@HostA) Received 2
1030 > [ 0.000000] (1:server@HostA) Received 1
1031 > [ 0.000000] (3:client@HostC) Send 2!
1032 > [ 0.000000] (1:server@HostA) Received 2
1033 > [ 0.000000] (2:client@HostB) Send 1!
1034 > [ 0.000000] (1:server@HostA) Received 1
1035 > [ 0.000000] (1:server@HostA) Received 2
1036 > [ 0.000000] (1:server@HostA) OK
1037 > [ 0.000000] (1:server@HostA) Received 1
1038 > [ 0.000000] (3:client@HostC) Send 2!
1039 > [ 0.000000] (1:server@HostA) Received 2
1040 > [ 0.000000] (2:client@HostB) Send 1!
1041 > [ 0.000000] (1:server@HostA) Received 2
1042 > [ 0.000000] (1:server@HostA) Received 1
1043 > [ 0.000000] (1:server@HostA) OK
1044 > [ 0.000000] (1:server@HostA) Received 1
1045 > [ 0.000000] (3:client@HostC) Send 2!
1046 > [ 0.000000] (1:server@HostA) Received 2
1047 > [ 0.000000] (1:server@HostA) Received 2
1048 > [ 0.000000] (2:client@HostB) Send 1!
1049 > [ 0.000000] (1:server@HostA) Received 1
1050 > [ 0.000000] (1:server@HostA) OK
1051 > [ 0.000000] (1:server@HostA) Received 1
1052 > [ 0.000000] (3:client@HostC) Send 2!
1053 > [ 0.000000] (1:server@HostA) Received 2
1054 > [ 0.000000] (1:server@HostA) Received 2
1055 > [ 0.000000] (2:client@HostB) Send 1!
1056 > [ 0.000000] (1:server@HostA) Received 1
1057 > [ 0.000000] (1:server@HostA) OK
1058 > [ 0.000000] (1:server@HostA) Received 1
1059 > [ 0.000000] (3:client@HostC) Send 2!
1060 > [ 0.000000] (1:server@HostA) Received 2
1061 > [ 0.000000] (2:client@HostB) Send 1!
1062 > [ 0.000000] (1:server@HostA) Received 2
1063 > [ 0.000000] (1:server@HostA) Received 1
1064 > [ 0.000000] (1:server@HostA) OK
1065 > [ 0.000000] (1:server@HostA) Received 1
1066 > [ 0.000000] (3:client@HostC) Send 2!
1067 > [ 0.000000] (1:server@HostA) Received 2
1068 > [ 0.000000] (1:server@HostA) Received 2
1069 > [ 0.000000] (2:client@HostB) Send 1!
1070 > [ 0.000000] (1:server@HostA) Received 1
1071 > [ 0.000000] (1:server@HostA) OK
1072 > [ 0.000000] (1:server@HostA) Received 1
1073 > [ 0.000000] (3:client@HostC) Send 2!
1074 > [ 0.000000] (1:server@HostA) Received 2
1075 > [ 0.000000] (2:client@HostB) Send 1!
1076 > [ 0.000000] (1:server@HostA) Received 2
1077 > [ 0.000000] (1:server@HostA) Received 1
1078 > [ 0.000000] (1:server@HostA) OK
1079 > [ 0.000000] (1:server@HostA) Received 1
1080 > [ 0.000000] (3:client@HostC) Send 2!
1081 > [ 0.000000] (1:server@HostA) Received 2
1082 > [ 0.000000] (1:server@HostA) Received 1
1083 > [ 0.000000] (3:client@HostC) Send 2!
1084 > [ 0.000000] (2:client@HostB) Send 1!
1085 > [ 0.000000] (1:server@HostA) Received 2
1086 > [ 0.000000] (1:server@HostA) Received 1
1087 > [ 0.000000] (1:server@HostA) Received 2
1088 > [ 0.000000] (1:server@HostA) OK
1089 > [ 0.000000] (1:server@HostA) Received 1
1090 > [ 0.000000] (3:client@HostC) Send 2!
1091 > [ 0.000000] (2:client@HostB) Send 1!
1092 > [ 0.000000] (1:server@HostA) Received 2
1093 > [ 0.000000] (1:server@HostA) Received 2
1094 > [ 0.000000] (1:server@HostA) Received 1
1095 > [ 0.000000] (1:server@HostA) OK
1096 > [ 0.000000] (1:server@HostA) Received 1
1097 > [ 0.000000] (3:client@HostC) Send 2!
1098 > [ 0.000000] (2:client@HostB) Send 1!
1099 > [ 0.000000] (1:server@HostA) Received 2
1100 > [ 0.000000] (1:server@HostA) Received 1
1101 > [ 0.000000] (1:server@HostA) Received 2
1102 > [ 0.000000] (1:server@HostA) OK
1103 > [ 0.000000] (1:server@HostA) Received 1
1104 > [ 0.000000] (3:client@HostC) Send 2!
1105 > [ 0.000000] (2:client@HostB) Send 1!
1106 > [ 0.000000] (1:server@HostA) Received 2
1107 > [ 0.000000] (1:server@HostA) Received 1
1108 > [ 0.000000] (1:server@HostA) Received 2
1109 > [ 0.000000] (1:server@HostA) OK
1110 > [ 0.000000] (1:server@HostA) Received 1
1111 > [ 0.000000] (3:client@HostC) Send 2!
1112 > [ 0.000000] (2:client@HostB) Send 1!
1113 > [ 0.000000] (1:server@HostA) Received 1
1114 > [ 0.000000] (3:client@HostC) Send 2!
1115 > [ 0.000000] (2:client@HostB) Send 1!
1116 > [ 0.000000] (1:server@HostA) Received 2
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 1
1121 > [ 0.000000] (3:client@HostC) Send 2!
1122 > [ 0.000000] (2:client@HostB) Send 1!
1123 > [ 0.000000] (1:server@HostA) Received 2
1124 > [ 0.000000] (1:server@HostA) Received 2
1125 > [ 0.000000] (1:server@HostA) Received 1
1126 > [ 0.000000] (1:server@HostA) OK
1127 > [ 0.000000] (1:server@HostA) Received 1
1128 > [ 0.000000] (3:client@HostC) Send 2!
1129 > [ 0.000000] (2:client@HostB) Send 1!
1130 > [ 0.000000] (1:server@HostA) Received 1
1131 > [ 0.000000] (3:client@HostC) Send 2!
1132 > [ 0.000000] (1:server@HostA) Received 2
1133 > [ 0.000000] (1:server@HostA) Received 2
1134 > [ 0.000000] (2:client@HostB) Send 1!
1135 > [ 0.000000] (1:server@HostA) Received 1
1136 > [ 0.000000] (1:server@HostA) OK
1137 > [ 0.000000] (1:server@HostA) Received 1
1138 > [ 0.000000] (3:client@HostC) Send 2!
1139 > [ 0.000000] (1:server@HostA) Received 2
1140 > [ 0.000000] (1:server@HostA) Received 2
1141 > [ 0.000000] (2:client@HostB) Send 1!
1142 > [ 0.000000] (1:server@HostA) Received 1
1143 > [ 0.000000] (1:server@HostA) OK
1144 > [ 0.000000] (1:server@HostA) Received 1
1145 > [ 0.000000] (3:client@HostC) Send 2!
1146 > [ 0.000000] (1:server@HostA) Received 2
1147 > [ 0.000000] (2:client@HostB) Send 1!
1148 > [ 0.000000] (1:server@HostA) Received 2
1149 > [ 0.000000] (1:server@HostA) Received 1
1150 > [ 0.000000] (1:server@HostA) OK
1151 > [ 0.000000] (1:server@HostA) Received 1
1152 > [ 0.000000] (3:client@HostC) Send 2!
1153 > [ 0.000000] (1:server@HostA) Received 2
1154 > [ 0.000000] (1:server@HostA) Received 2
1155 > [ 0.000000] (2:client@HostB) Send 1!
1156 > [ 0.000000] (1:server@HostA) Received 1
1157 > [ 0.000000] (1:server@HostA) OK
1158 > [ 0.000000] (1:server@HostA) Received 1
1159 > [ 0.000000] (3:client@HostC) Send 2!
1160 > [ 0.000000] (1:server@HostA) Received 2
1161 > [ 0.000000] (2:client@HostB) Send 1!
1162 > [ 0.000000] (1:server@HostA) Received 2
1163 > [ 0.000000] (1:server@HostA) Received 1
1164 > [ 0.000000] (1:server@HostA) OK
1165 > [ 0.000000] (1:server@HostA) Received 1
1166 > [ 0.000000] (3:client@HostC) Send 2!
1167 > [ 0.000000] (2:client@HostB) Send 1!
1168 > [ 0.000000] (1:server@HostA) Received 2
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 1
1173 > [ 0.000000] (3:client@HostC) Send 2!
1174 > [ 0.000000] (2:client@HostB) Send 1!
1175 > [ 0.000000] (1:server@HostA) Received 2
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 1
1180 > [ 0.000000] (3:client@HostC) Send 2!
1181 > [ 0.000000] (2:client@HostB) Send 1!
1182 > [ 0.000000] (1:server@HostA) Received 1
1183 > [ 0.000000] (3:client@HostC) Send 2!
1184 > [ 0.000000] (2:client@HostB) Send 1!
1185 > [ 0.000000] (1:server@HostA) Received 1
1186 > [ 0.000000] (1:server@HostA) Received 2
1187 > [ 0.000000] (1:server@HostA) Received 1
1188 > [ 0.000000] (3:client@HostC) Send 2!
1189 > [ 0.000000] (1:server@HostA) Received 2
1190 > [ 0.000000] (1:server@HostA) OK
1191 > [ 0.000000] (2:client@HostB) Send 1!
1192 > [ 0.000000] (1:server@HostA) Received 1
1193 > [ 0.000000] (1:server@HostA) Received 2
1194 > [ 0.000000] (1:server@HostA) Received 1
1195 > [ 0.000000] (2:client@HostB) Send 1!
1196 > [ 0.000000] (1:server@HostA) Received 1
1197 > [ 0.000000] (1:server@HostA) Received 2
1198 > [ 0.000000] (3:client@HostC) Send 2!
1199 > [ 0.000000] (1:server@HostA) Received 1
1200 > [ 0.000000] (1:server@HostA) Received 2
1201 > [ 0.000000] (1:server@HostA) OK
1202 > [ 0.000000] (2:client@HostB) Send 1!
1203 > [ 0.000000] (1:server@HostA) Received 1
1204 > [ 0.000000] (1:server@HostA) Received 2
1205 > [ 0.000000] (3:client@HostC) Send 2!
1206 > [ 0.000000] (1:server@HostA) Received 2
1207 > [ 0.000000] (1:server@HostA) Received 1
1208 > [ 0.000000] (1:server@HostA) OK
1209 > [ 0.000000] (2:client@HostB) Send 1!
1210 > [ 0.000000] (1:server@HostA) Received 1
1211 > [ 0.000000] (1:server@HostA) Received 2
1212 > [ 0.000000] (2:client@HostB) Send 1!
1213 > [ 0.000000] (1:server@HostA) Received 1
1214 > [ 0.000000] (3:client@HostC) Send 2!
1215 > [ 0.000000] (1:server@HostA) Received 2
1216 > [ 0.000000] (1:server@HostA) Received 1
1217 > [ 0.000000] (1:server@HostA) Received 2
1218 > [ 0.000000] (1:server@HostA) OK
1219 > [ 0.000000] (2:client@HostB) Send 1!
1220 > [ 0.000000] (1:server@HostA) Received 1
1221 > [ 0.000000] (3:client@HostC) Send 2!
1222 > [ 0.000000] (1:server@HostA) Received 2
1223 > [ 0.000000] (1:server@HostA) Received 2
1224 > [ 0.000000] (1:server@HostA) Received 1
1225 > [ 0.000000] (1:server@HostA) OK
1226 > [ 0.000000] (2:client@HostB) Send 1!
1227 > [ 0.000000] (1:server@HostA) Received 1
1228 > [ 0.000000] (3:client@HostC) Send 2!
1229 > [ 0.000000] (1:server@HostA) Received 2
1230 > [ 0.000000] (1:server@HostA) Received 1
1231 > [ 0.000000] (1:server@HostA) Received 2
1232 > [ 0.000000] (1:server@HostA) OK
1233 > [ 0.000000] (2:client@HostB) Send 1!
1234 > [ 0.000000] (1:server@HostA) Received 1
1235 > [ 0.000000] (3:client@HostC) Send 2!
1236 > [ 0.000000] (1:server@HostA) Received 2
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] (2:client@HostB) Send 1!
1241 > [ 0.000000] (1:server@HostA) Received 1
1242 > [ 0.000000] (3:client@HostC) Send 2!
1243 > [ 0.000000] (2:client@HostB) Send 1!
1244 > [ 0.000000] (1:server@HostA) Received 1
1245 > [ 0.000000] (3:client@HostC) Send 2!
1246 > [ 0.000000] (1:server@HostA) Received 2
1247 > [ 0.000000] (1:server@HostA) Received 2
1248 > [ 0.000000] (1:server@HostA) Received 1
1249 > [ 0.000000] (1:server@HostA) OK
1250 > [ 0.000000] (2:client@HostB) Send 1!
1251 > [ 0.000000] (1:server@HostA) Received 1
1252 > [ 0.000000] (3:client@HostC) Send 2!
1253 > [ 0.000000] (1:server@HostA) Received 2
1254 > [ 0.000000] (1:server@HostA) Received 2
1255 > [ 0.000000] (1:server@HostA) Received 1
1256 > [ 0.000000] (1:server@HostA) OK
1257 > [ 0.000000] (2:client@HostB) Send 1!
1258 > [ 0.000000] (1:server@HostA) Received 1
1259 > [ 0.000000] (3:client@HostC) Send 2!
1260 > [ 0.000000] (2:client@HostB) Send 1!
1261 > [ 0.000000] (1:server@HostA) Received 1
1262 > [ 0.000000] (1:server@HostA) Received 2
1263 > [ 0.000000] (1:server@HostA) Received 1
1264 > [ 0.000000] (3:client@HostC) Send 2!
1265 > [ 0.000000] (1:server@HostA) Received 2
1266 > [ 0.000000] (1:server@HostA) OK
1267 > [ 0.000000] (2:client@HostB) Send 1!
1268 > [ 0.000000] (1:server@HostA) Received 1
1269 > [ 0.000000] (1:server@HostA) Received 2
1270 > [ 0.000000] (1:server@HostA) Received 1
1271 > [ 0.000000] (2:client@HostB) Send 1!
1272 > [ 0.000000] (1:server@HostA) Received 1
1273 > [ 0.000000] (3:client@HostC) Send 2!
1274 > [ 0.000000] (1:server@HostA) Received 2
1275 > [ 0.000000] (1:server@HostA) Received 1
1276 > [ 0.000000] (1:server@HostA) Received 2
1277 > [ 0.000000] (1:server@HostA) OK
1278 > [ 0.000000] (2:client@HostB) Send 1!
1279 > [ 0.000000] (1:server@HostA) Received 1
1280 > [ 0.000000] (3:client@HostC) Send 2!
1281 > [ 0.000000] (1:server@HostA) Received 2
1282 > [ 0.000000] (1:server@HostA) Received 1
1283 > [ 0.000000] (1:server@HostA) Received 2
1284 > [ 0.000000] (1:server@HostA) OK
1285 > [ 0.000000] (2:client@HostB) Send 1!
1286 > [ 0.000000] (1:server@HostA) Received 1
1287 > [ 0.000000] (3:client@HostC) Send 2!
1288 > [ 0.000000] (2:client@HostB) Send 1!
1289 > [ 0.000000] (2:client@HostB) Send 1!
1290 > [ 0.000000] (1:server@HostA) Received 2
1291 > [ 0.000000] (1:server@HostA) Received 1
1292 > [ 0.000000] (2:client@HostB) Send 1!
1293 > [ 0.000000] (1:server@HostA) Received 1
1294 > [ 0.000000] (3:client@HostC) Send 2!
1295 > [ 0.000000] (1:server@HostA) Received 2
1296 > [ 0.000000] (1:server@HostA) OK
1297 > [ 0.000000] (1:server@HostA) Received 2
1298 > [ 0.000000] (1:server@HostA) Received 1
1299 > [ 0.000000] (2:client@HostB) Send 1!
1300 > [ 0.000000] (1:server@HostA) Received 1
1301 > [ 0.000000] (3:client@HostC) Send 2!
1302 > [ 0.000000] (1:server@HostA) Received 2
1303 > [ 0.000000] (1:server@HostA) OK
1304 > [ 0.000000] (1:server@HostA) Received 2
1305 > [ 0.000000] (1:server@HostA) Received 1
1306 > [ 0.000000] (2:client@HostB) Send 1!
1307 > [ 0.000000] (3:client@HostC) Send 2!
1308 > [ 0.000000] (1:server@HostA) Received 1
1309 > [ 0.000000] (1:server@HostA) Received 2
1310 > [ 0.000000] (1:server@HostA) OK
1311 > [ 0.000000] (1:server@HostA) Received 2
1312 > [ 0.000000] (1:server@HostA) Received 1
1313 > [ 0.000000] (2:client@HostB) Send 1!
1314 > [ 0.000000] (1:server@HostA) Received 1
1315 > [ 0.000000] (3:client@HostC) Send 2!
1316 > [ 0.000000] (1:server@HostA) Received 2
1317 > [ 0.000000] (1:server@HostA) OK
1318 > [ 0.000000] (1:server@HostA) Received 2
1319 > [ 0.000000] (1:server@HostA) Received 1
1320 > [ 0.000000] (2:client@HostB) Send 1!
1321 > [ 0.000000] (3:client@HostC) Send 2!
1322 > [ 0.000000] (1:server@HostA) Received 1
1323 > [ 0.000000] (1:server@HostA) Received 2
1324 > [ 0.000000] (1:server@HostA) OK
1325 > [ 0.000000] (1:server@HostA) Received 2
1326 > [ 0.000000] (1:server@HostA) Received 1
1327 > [ 0.000000] (2:client@HostB) Send 1!
1328 > [ 0.000000] (3:client@HostC) Send 2!
1329 > [ 0.000000] (1:server@HostA) Received 1
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] (1:server@HostA) Received 1
1334 > [ 0.000000] (2:client@HostB) Send 1!
1335 > [ 0.000000] (3:client@HostC) Send 2!
1336 > [ 0.000000] (1:server@HostA) Received 2
1337 > [ 0.000000] (1:server@HostA) Received 1
1338 > [ 0.000000] (1:server@HostA) OK
1339 > [ 0.000000] (1:server@HostA) Received 2
1340 > [ 0.000000] (1:server@HostA) Received 1
1341 > [ 0.000000] (2:client@HostB) Send 1!
1342 > [ 0.000000] (1:server@HostA) Received 2
1343 > [ 0.000000] (1:server@HostA) Received 1
1344 > [ 0.000000] (3:client@HostC) Send 2!
1345 > [ 0.000000] (2:client@HostB) Send 1!
1346 > [ 0.000000] (1:server@HostA) Received 1
1347 > [ 0.000000] (1:server@HostA) Received 2
1348 > [ 0.000000] (1:server@HostA) OK
1349 > [ 0.000000] (1:server@HostA) Received 2
1350 > [ 0.000000] (1:server@HostA) Received 1
1351 > [ 0.000000] (3:client@HostC) Send 2!
1352 > [ 0.000000] (2:client@HostB) Send 1!
1353 > [ 0.000000] (1:server@HostA) Received 2
1354 > [ 0.000000] (1:server@HostA) Received 1
1355 > [ 0.000000] (1:server@HostA) OK
1356 > [ 0.000000] (1:server@HostA) Received 2
1357 > [ 0.000000] (1:server@HostA) Received 1
1358 > [ 0.000000] (3:client@HostC) Send 2!
1359 > [ 0.000000] (1:server@HostA) Received 2
1360 > [ 0.000000] (2:client@HostB) Send 1!
1361 > [ 0.000000] (1:server@HostA) Received 1
1362 > [ 0.000000] (1:server@HostA) OK
1363 > [ 0.000000] (1:server@HostA) Received 2
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) Received 2
1368 > [ 0.000000] (1:server@HostA) Received 1
1369 > [ 0.000000] (3:client@HostC) Send 2!
1370 > [ 0.000000] (1:server@HostA) Received 2
1371 > [ 0.000000] (1:server@HostA) Received 1
1372 > [ 0.000000] (1:server@HostA) Received 2
1373 > [ 0.000000] (2:client@HostB) Send 1!
1374 > [ 0.000000] (1:server@HostA) Received 1
1375 > [ 0.000000] (1:server@HostA) Received 1
1376 > [ 0.000000] (3:client@HostC) Send 2!
1377 > [ 0.000000] (1:server@HostA) Received 2
1378 > [ 0.000000] (1:server@HostA) OK
1379 > [ 0.000000] (1:server@HostA) Received 2
1380 > [ 0.000000] (2:client@HostB) Send 1!
1381 > [ 0.000000] (1:server@HostA) Received 1
1382 > [ 0.000000] (1:server@HostA) Received 1
1383 > [ 0.000000] (3:client@HostC) Send 2!
1384 > [ 0.000000] (1:server@HostA) Received 2
1385 > [ 0.000000] (1:server@HostA) OK
1386 > [ 0.000000] (1:server@HostA) Received 2
1387 > [ 0.000000] (2:client@HostB) Send 1!
1388 > [ 0.000000] (1:server@HostA) Received 1
1389 > [ 0.000000] (3:client@HostC) Send 2!
1390 > [ 0.000000] (1:server@HostA) Received 1
1391 > [ 0.000000] (1:server@HostA) Received 2
1392 > [ 0.000000] (1:server@HostA) OK
1393 > [ 0.000000] (1:server@HostA) Received 2
1394 > [ 0.000000] (2:client@HostB) Send 1!
1395 > [ 0.000000] (1:server@HostA) Received 1
1396 > [ 0.000000] (1:server@HostA) Received 1
1397 > [ 0.000000] (3:client@HostC) Send 2!
1398 > [ 0.000000] (1:server@HostA) Received 2
1399 > [ 0.000000] (1:server@HostA) OK
1400 > [ 0.000000] (1:server@HostA) Received 2
1401 > [ 0.000000] (2:client@HostB) Send 1!
1402 > [ 0.000000] (1:server@HostA) Received 1
1403 > [ 0.000000] (3:client@HostC) Send 2!
1404 > [ 0.000000] (1:server@HostA) Received 1
1405 > [ 0.000000] (1:server@HostA) Received 2
1406 > [ 0.000000] (1:server@HostA) OK
1407 > [ 0.000000] (1:server@HostA) Received 2
1408 > [ 0.000000] (2:client@HostB) Send 1!
1409 > [ 0.000000] (1:server@HostA) Received 1
1410 > [ 0.000000] (3:client@HostC) Send 2!
1411 > [ 0.000000] (1:server@HostA) Received 1
1412 > [ 0.000000] (1:server@HostA) Received 2
1413 > [ 0.000000] (1:server@HostA) OK
1414 > [ 0.000000] (1:server@HostA) Received 2
1415 > [ 0.000000] (2:client@HostB) Send 1!
1416 > [ 0.000000] (1:server@HostA) Received 1
1417 > [ 0.000000] (3:client@HostC) Send 2!
1418 > [ 0.000000] (1:server@HostA) Received 2
1419 > [ 0.000000] (1:server@HostA) Received 1
1420 > [ 0.000000] (1:server@HostA) OK
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] (1:server@HostA) Received 2
1425 > [ 0.000000] (2:client@HostB) Send 1!
1426 > [ 0.000000] (1:server@HostA) Received 1
1427 > [ 0.000000] (1:server@HostA) Received 1
1428 > [ 0.000000] (3:client@HostC) Send 2!
1429 > [ 0.000000] (1:server@HostA) Received 2
1430 > [ 0.000000] (1:server@HostA) OK
1431 > [ 0.000000] (1:server@HostA) Received 2
1432 > [ 0.000000] (2:client@HostB) Send 1!
1433 > [ 0.000000] (1:server@HostA) Received 1
1434 > [ 0.000000] (1:server@HostA) Received 1
1435 > [ 0.000000] (3:client@HostC) Send 2!
1436 > [ 0.000000] (1:server@HostA) Received 2
1437 > [ 0.000000] (1:server@HostA) OK
1438 > [ 0.000000] (1:server@HostA) Received 2
1439 > [ 0.000000] (2:client@HostB) Send 1!
1440 > [ 0.000000] (1:server@HostA) Received 1
1441 > [ 0.000000] (3:client@HostC) Send 2!
1442 > [ 0.000000] (1:server@HostA) Received 1
1443 > [ 0.000000] (1:server@HostA) Received 2
1444 > [ 0.000000] (1:server@HostA) OK
1445 > [ 0.000000] (1:server@HostA) Received 2
1446 > [ 0.000000] (2:client@HostB) Send 1!
1447 > [ 0.000000] (1:server@HostA) Received 1
1448 > [ 0.000000] (1:server@HostA) Received 1
1449 > [ 0.000000] (3:client@HostC) Send 2!
1450 > [ 0.000000] (1:server@HostA) Received 2
1451 > [ 0.000000] (1:server@HostA) OK
1452 > [ 0.000000] (1:server@HostA) Received 2
1453 > [ 0.000000] (2:client@HostB) Send 1!
1454 > [ 0.000000] (1:server@HostA) Received 1
1455 > [ 0.000000] (3:client@HostC) Send 2!
1456 > [ 0.000000] (1:server@HostA) Received 1
1457 > [ 0.000000] (1:server@HostA) Received 2
1458 > [ 0.000000] (1:server@HostA) OK
1459 > [ 0.000000] (1:server@HostA) Received 2
1460 > [ 0.000000] (2:client@HostB) Send 1!
1461 > [ 0.000000] (3:client@HostC) Send 2!
1462 > [ 0.000000] (1:server@HostA) Received 1
1463 > [ 0.000000] (1:server@HostA) Received 1
1464 > [ 0.000000] (1:server@HostA) Received 2
1465 > [ 0.000000] (1:server@HostA) OK
1466 > [ 0.000000] (1:server@HostA) Received 2
1467 > [ 0.000000] (2:client@HostB) Send 1!
1468 > [ 0.000000] (3:client@HostC) Send 2!
1469 > [ 0.000000] (1:server@HostA) Received 1
1470 > [ 0.000000] (1:server@HostA) Received 1
1471 > [ 0.000000] (1:server@HostA) Received 2
1472 > [ 0.000000] (1:server@HostA) OK
1473 > [ 0.000000] (1:server@HostA) Received 2
1474 > [ 0.000000] (2:client@HostB) Send 1!
1475 > [ 0.000000] (3:client@HostC) Send 2!
1476 > [ 0.000000] (1:server@HostA) Received 2
1477 > [ 0.000000] (2:client@HostB) Send 1!
1478 > [ 0.000000] (1:server@HostA) Received 2
1479 > [ 0.000000] (2:client@HostB) Send 1!
1480 > [ 0.000000] (3:client@HostC) Send 2!
1481 > [ 0.000000] (1:server@HostA) Received 1
1482 > [ 0.000000] (1:server@HostA) Received 1
1483 > [ 0.000000] (1:server@HostA) Received 2
1484 > [ 0.000000] (1:server@HostA) OK
1485 > [ 0.000000] (1:server@HostA) Received 2
1486 > [ 0.000000] (2:client@HostB) Send 1!
1487 > [ 0.000000] (3:client@HostC) Send 2!
1488 > [ 0.000000] (1:server@HostA) Received 1
1489 > [ 0.000000] (1:server@HostA) Received 2
1490 > [ 0.000000] (1:server@HostA) Received 1
1491 > [ 0.000000] (1:server@HostA) OK
1492 > [ 0.000000] (1:server@HostA) Received 2
1493 > [ 0.000000] (2:client@HostB) Send 1!
1494 > [ 0.000000] (3:client@HostC) Send 2!
1495 > [ 0.000000] (1:server@HostA) Received 1
1496 > [ 0.000000] (1:server@HostA) Received 1
1497 > [ 0.000000] (1:server@HostA) Received 2
1498 > [ 0.000000] (1:server@HostA) OK
1499 > [ 0.000000] (1:server@HostA) Received 2
1500 > [ 0.000000] (2:client@HostB) Send 1!
1501 > [ 0.000000] (3:client@HostC) Send 2!
1502 > [ 0.000000] (1:server@HostA) Received 1
1503 > [ 0.000000] (1:server@HostA) Received 1
1504 > [ 0.000000] (1:server@HostA) Received 2
1505 > [ 0.000000] (1:server@HostA) OK
1506 > [ 0.000000] (1:server@HostA) Received 2
1507 > [ 0.000000] (2:client@HostB) Send 1!
1508 > [ 0.000000] (3:client@HostC) Send 2!
1509 > [ 0.000000] (1:server@HostA) Received 2
1510 > [ 0.000000] (2:client@HostB) Send 1!
1511 > [ 0.000000] (3:client@HostC) Send 2!
1512 > [ 0.000000] (1:server@HostA) Received 1
1513 > [ 0.000000] (1:server@HostA) Received 2
1514 > [ 0.000000] (1:server@HostA) Received 1
1515 > [ 0.000000] (1:server@HostA) OK
1516 > [ 0.000000] (1:server@HostA) Received 2
1517 > [ 0.000000] (2:client@HostB) Send 1!
1518 > [ 0.000000] (3:client@HostC) Send 2!
1519 > [ 0.000000] (1:server@HostA) Received 1
1520 > [ 0.000000] (1:server@HostA) Received 2
1521 > [ 0.000000] (1:server@HostA) Received 1
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] (3:client@HostC) Send 2!
1526 > [ 0.000000] (1:server@HostA) Received 2
1527 > [ 0.000000] (3:client@HostC) Send 2!
1528 > [ 0.000000] (1:server@HostA) Received 1
1529 > [ 0.000000] (2:client@HostB) Send 1!
1530 > [ 0.000000] (1:server@HostA) Received 1
1531 > [ 0.000000] (1:server@HostA) Received 2
1532 > [ 0.000000] (1:server@HostA) OK
1533 > [ 0.000000] (1:server@HostA) Received 2
1534 > [ 0.000000] (3:client@HostC) Send 2!
1535 > [ 0.000000] (1:server@HostA) Received 1
1536 > [ 0.000000] (2:client@HostB) Send 1!
1537 > [ 0.000000] (1:server@HostA) Received 2
1538 > [ 0.000000] (1:server@HostA) Received 1
1539 > [ 0.000000] (1:server@HostA) OK
1540 > [ 0.000000] (1:server@HostA) Received 2
1541 > [ 0.000000] (3:client@HostC) Send 2!
1542 > [ 0.000000] (1:server@HostA) Received 1
1543 > [ 0.000000] (1:server@HostA) Received 2
1544 > [ 0.000000] (2:client@HostB) Send 1!
1545 > [ 0.000000] (1:server@HostA) Received 1
1546 > [ 0.000000] (1:server@HostA) OK
1547 > [ 0.000000] (1:server@HostA) Received 2
1548 > [ 0.000000] (3:client@HostC) Send 2!
1549 > [ 0.000000] (1:server@HostA) Received 1
1550 > [ 0.000000] (1:server@HostA) Received 2
1551 > [ 0.000000] (1:server@HostA) Received 2
1552 > [ 0.000000] (3:client@HostC) Send 2!
1553 > [ 0.000000] (1:server@HostA) Received 1
1554 > [ 0.000000] (1:server@HostA) Received 2
1555 > [ 0.000000] (3:client@HostC) Send 2!
1556 > [ 0.000000] (2:client@HostB) Send 1!
1557 > [ 0.000000] (1:server@HostA) Received 1
1558 > [ 0.000000] (1:server@HostA) Received 1
1559 > [ 0.000000] (1:server@HostA) Received 2
1560 > [ 0.000000] (1:server@HostA) OK
1561 > [ 0.000000] (1:server@HostA) Received 2
1562 > [ 0.000000] (3:client@HostC) Send 2!
1563 > [ 0.000000] (2:client@HostB) Send 1!
1564 > [ 0.000000] (1:server@HostA) Received 1
1565 > [ 0.000000] (1:server@HostA) Received 2
1566 > [ 0.000000] (1:server@HostA) Received 1
1567 > [ 0.000000] (1:server@HostA) OK
1568 > [ 0.000000] (1:server@HostA) Received 2
1569 > [ 0.000000] (3:client@HostC) Send 2!
1570 > [ 0.000000] (2:client@HostB) Send 1!
1571 > [ 0.000000] (1:server@HostA) Received 1
1572 > [ 0.000000] (1:server@HostA) Received 1
1573 > [ 0.000000] (1:server@HostA) Received 2
1574 > [ 0.000000] (1:server@HostA) OK
1575 > [ 0.000000] (1:server@HostA) Received 2
1576 > [ 0.000000] (3:client@HostC) Send 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] (1:server@HostA) Received 2
1581 > [ 0.000000] (1:server@HostA) OK
1582 > [ 0.000000] (1:server@HostA) Received 2
1583 > [ 0.000000] (3:client@HostC) Send 2!
1584 > [ 0.000000] (2:client@HostB) Send 1!
1585 > [ 0.000000] (1:server@HostA) Received 2
1586 > [ 0.000000] (3:client@HostC) Send 2!
1587 > [ 0.000000] (2:client@HostB) Send 1!
1588 > [ 0.000000] (1:server@HostA) Received 1
1589 > [ 0.000000] (1:server@HostA) Received 2
1590 > [ 0.000000] (1:server@HostA) Received 1
1591 > [ 0.000000] (1:server@HostA) OK
1592 > [ 0.000000] (1:server@HostA) Received 2
1593 > [ 0.000000] (3:client@HostC) Send 2!
1594 > [ 0.000000] (2:client@HostB) Send 1!
1595 > [ 0.000000] (1:server@HostA) Received 1
1596 > [ 0.000000] (1:server@HostA) Received 2
1597 > [ 0.000000] (1:server@HostA) Received 1
1598 > [ 0.000000] (1:server@HostA) OK
1599 > [ 0.000000] (1:server@HostA) Received 2
1600 > [ 0.000000] (3:client@HostC) Send 2!
1601 > [ 0.000000] (2:client@HostB) Send 1!
1602 > [ 0.000000] (1:server@HostA) Received 2
1603 > [ 0.000000] (3:client@HostC) Send 2!
1604 > [ 0.000000] (1:server@HostA) Received 2
1605 > [ 0.000000] (1:server@HostA) **************************
1606 > [ 0.000000] (1:server@HostA) *** PROPERTY NOT VALID ***
1607 > [ 0.000000] (1:server@HostA) **************************
1608 > [ 0.000000] (1:server@HostA) Counter-example execution trace:
1609 > [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=(verbose only))
1610 > [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
1611 > [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server])
1612 > [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=(verbose only))
1613 > [ 0.000000] (1:server@HostA) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)server])
1614 > [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=(verbose only))
1615 > [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server])
1616 > [ 0.000000] (1:server@HostA) State space size ~= 1
1617 > [ 0.000000] (1:server@HostA) Expanded states = 1387
1618 > [ 0.000000] (1:server@HostA) Visited states = 4071
1619 > [ 0.000000] (1:server@HostA) Executed transitions = 3799
1620 > [ 0.000000] (1:server@HostA) Expanded / Visited = 2.935112
