Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: perform actual model-checking in tesh tests
[simgrid.git] / examples / msg / mc / bugged2.tesh
1 #! ./tesh
2
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=0)
1610 > [  0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=8)
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=0)
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=8)
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