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