From 1ab75e7183cfd90b19748fbc0cfc3a7418f3f8ad Mon Sep 17 00:00:00 2001 From: =?utf8?q?Christophe=20Thi=C3=A9ry?= Date: Thu, 7 Apr 2011 13:19:43 +0200 Subject: [PATCH 1/1] MC: perform actual model-checking in tesh tests --- examples/msg/mc/bugged1.tesh | 75 +- examples/msg/mc/bugged2.tesh | 1625 +++++++++++++++++++++++++++++- examples/msg/mc/centralized.tesh | 2 +- src/mc/mc_request.c | 51 +- 4 files changed, 1722 insertions(+), 31 deletions(-) diff --git a/examples/msg/mc/bugged1.tesh b/examples/msg/mc/bugged1.tesh index 61c8dc8d8d..7e5d5ed44d 100644 --- a/examples/msg/mc/bugged1.tesh +++ b/examples/msg/mc/bugged1.tesh @@ -1,8 +1,71 @@ #! ./tesh -! output sort -$ ${bindir:=.}/bugged1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" -> [ 0.008753] (2:client@HostB) Sent! -> [ 0.017506] (3:client@HostC) Sent! -> [ 0.026259] (1:server@HostA) OK -> [ 0.026259] (4:client@HostD) Sent! +! expect signal SIGABRT +$ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1' +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (4:client@HostD) Sent! +> [ 0.000000] (3:client@HostC) Sent! +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (2:client@HostB) Sent! +> [ 0.000000] (1:server@HostA) ************************** +> [ 0.000000] (1:server@HostA) *** PROPERTY NOT VALID *** +> [ 0.000000] (1:server@HostA) ************************** +> [ 0.000000] (1:server@HostA) Counter-example execution trace: +> [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=0) +> [ 0.000000] (1:server@HostA) [(2)client] iSend (src=client, buff=(verbose only), size=8) +> [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(2)client -> (1)server]) +> [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=0) +> [ 0.000000] (1:server@HostA) [(2)client] Wait (comm=(verbose only) [(2)client -> (1)server]) +> [ 0.000000] (1:server@HostA) [(4)client] iSend (src=client, buff=(verbose only), size=8) +> [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(4)client -> (1)server]) +> [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=0) +> [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=8) +> [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server]) +> [ 0.000000] (1:server@HostA) State space size ~= 1 +> [ 0.000000] (1:server@HostA) Expanded states = 47 +> [ 0.000000] (1:server@HostA) Visited states = 170 +> [ 0.000000] (1:server@HostA) Executed transitions = 157 +> [ 0.000000] (1:server@HostA) Expanded / Visited = 3.617021 diff --git a/examples/msg/mc/bugged2.tesh b/examples/msg/mc/bugged2.tesh index 57429e09d0..2d409e91be 100644 --- a/examples/msg/mc/bugged2.tesh +++ b/examples/msg/mc/bugged2.tesh @@ -1,13 +1,1620 @@ #! ./tesh -! output sort -$ ${bindir:=.}/bugged2 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +! expect signal SIGABRT +$ ${bindir:=.}/bugged2 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +> [ 0.000000] (0:@) Configuration change: Set 'model-check' to '1' > [ 0.000000] (2:client@HostB) Send 1! > [ 0.000000] (3:client@HostC) Send 2! -> [ 0.008753] (1:server@HostA) Received 1 -> [ 0.008753] (2:client@HostB) Send 1! -> [ 0.017506] (1:server@HostA) Received 2 -> [ 0.017506] (3:client@HostC) Send 2! -> [ 0.026259] (1:server@HostA) Received 1 -> [ 0.035012] (1:server@HostA) Received 2 -> [ 0.035012] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) Received 1 +> [ 0.000000] (1:server@HostA) OK +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (2:client@HostB) Send 1! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (3:client@HostC) Send 2! +> [ 0.000000] (1:server@HostA) Received 2 +> [ 0.000000] (1:server@HostA) ************************** +> [ 0.000000] (1:server@HostA) *** PROPERTY NOT VALID *** +> [ 0.000000] (1:server@HostA) ************************** +> [ 0.000000] (1:server@HostA) Counter-example execution trace: +> [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=0) +> [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=8) +> [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server]) +> [ 0.000000] (1:server@HostA) [(1)server] iRecv (dst=server, buff=(verbose only), size=0) +> [ 0.000000] (1:server@HostA) [(3)client] Wait (comm=(verbose only) [(3)client -> (1)server]) +> [ 0.000000] (1:server@HostA) [(3)client] iSend (src=client, buff=(verbose only), size=8) +> [ 0.000000] (1:server@HostA) [(1)server] Wait (comm=(verbose only) [(3)client -> (1)server]) +> [ 0.000000] (1:server@HostA) State space size ~= 1 +> [ 0.000000] (1:server@HostA) Expanded states = 1387 +> [ 0.000000] (1:server@HostA) Visited states = 4071 +> [ 0.000000] (1:server@HostA) Executed transitions = 3799 +> [ 0.000000] (1:server@HostA) Expanded / Visited = 2.935112 diff --git a/examples/msg/mc/centralized.tesh b/examples/msg/mc/centralized.tesh index 1e14eb3dbf..f5b08c3382 100644 --- a/examples/msg/mc/centralized.tesh +++ b/examples/msg/mc/centralized.tesh @@ -1,6 +1,6 @@ #! ./tesh -$ ${bindir:=.}/centralized +$ ${bindir:=.}/centralized --cfg=model-check:1 > [Fafard:client:(2) 0.000000] [centralized/INFO] Ask the request > [Boivin:client:(3) 0.000000] [centralized/INFO] Ask the request > [TeX:client:(4) 0.000000] [centralized/INFO] Ask the request diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c index 75a27c0f74..2927c5174e 100644 --- a/src/mc/mc_request.c +++ b/src/mc/mc_request.c @@ -1,5 +1,10 @@ #include "private.h" +XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_request, mc, + "Logging specific to MC (request)"); + +static char* pointer_to_string(void* pointer); + int MC_request_depend(smx_req_t r1, smx_req_t r2) { if(_surf_do_model_check == 2) @@ -142,32 +147,44 @@ int MC_request_depend(smx_req_t r1, smx_req_t r2) return TRUE; } +static char* pointer_to_string(void* pointer) { + + if (XBT_LOG_ISENABLED(mc_request, xbt_log_priority_verbose)) + return bprintf("%p", pointer); + + return xbt_strdup("(verbose only)"); +} + char *MC_request_to_string(smx_req_t req, int value) { - char *type = NULL, *args = NULL, *str = NULL; + char *type = NULL, *args = NULL, *str = NULL, *p = NULL; smx_action_t act = NULL; size_t size = 0; - + switch(req->call){ case REQ_COMM_ISEND: type = xbt_strdup("iSend"); - args = bprintf("src=%s, buff=%p, size=%zu", req->issuer->name, - req->comm_isend.src_buff, req->comm_isend.src_buff_size); + p = pointer_to_string(req->comm_isend.src_buff); + args = bprintf("src=%s, buff=%s, size=%zu", req->issuer->name, + p, req->comm_isend.src_buff_size); break; case REQ_COMM_IRECV: size = req->comm_irecv.dst_buff_size ? *req->comm_irecv.dst_buff_size : 0; type = xbt_strdup("iRecv"); - args = bprintf("dst=%s, buff=%p, size=%zu", req->issuer->name, - req->comm_irecv.dst_buff, size); + p = pointer_to_string(req->comm_irecv.dst_buff); + args = bprintf("dst=%s, buff=%s, size=%zu", req->issuer->name, + p, size); break; case REQ_COMM_WAIT: act = req->comm_wait.comm; if(value == -1){ type = xbt_strdup("WaitTimeout"); - args = bprintf("comm=%p", act); + p = pointer_to_string(act); + args = bprintf("comm=%p", p); }else{ type = xbt_strdup("Wait"); - args = bprintf("comm=%p [(%lu)%s -> (%lu)%s]", act, + p = pointer_to_string(act); + args = bprintf("comm=%s [(%lu)%s -> (%lu)%s]", p, act->comm.src_proc ? act->comm.src_proc->pid : 0, act->comm.src_proc ? act->comm.src_proc->name : "", act->comm.dst_proc ? act->comm.dst_proc->pid : 0, @@ -178,20 +195,23 @@ char *MC_request_to_string(smx_req_t req, int value) act = req->comm_test.comm; if(act->comm.src_proc == NULL || act->comm.src_proc == NULL){ type = xbt_strdup("Test FALSE"); - args = bprintf("comm=%p", act); + p = pointer_to_string(act); + args = bprintf("comm=%s", p); }else{ type = xbt_strdup("Test TRUE"); - args = bprintf("comm=%p [(%lu)%s -> (%lu)%s]", act, - act->comm.src_proc ? act->comm.src_proc->pid : 0, - act->comm.src_proc ? act->comm.src_proc->name : "", - act->comm.dst_proc ? act->comm.dst_proc->pid : 0, - act->comm.dst_proc ? act->comm.dst_proc->name : ""); + p = pointer_to_string(act); + args = bprintf("comm=%s [(%lu)%s -> (%lu)%s]", p, + act->comm.src_proc ? act->comm.src_proc->pid : 0, + act->comm.src_proc ? act->comm.src_proc->name : "", + act->comm.dst_proc ? act->comm.dst_proc->pid : 0, + act->comm.dst_proc ? act->comm.dst_proc->name : ""); } break; case REQ_COMM_WAITANY: type = xbt_strdup("WaitAny"); - args = bprintf("comm=%p (%d of %lu)", xbt_dynar_get_as(req->comm_waitany.comms, value, smx_action_t), + p = pointer_to_string(xbt_dynar_get_as(req->comm_waitany.comms, value, smx_action_t)); + args = bprintf("comm=%s (%d of %lu)", p, value+1, xbt_dynar_length(req->comm_waitany.comms)); break; @@ -212,6 +232,7 @@ char *MC_request_to_string(smx_req_t req, int value) str = bprintf("[(%lu)%s] %s (%s)", req->issuer->pid ,req->issuer->name, type, args); xbt_free(type); xbt_free(args); + xbt_free(p); return str; } -- 2.20.1