X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/307e967a2b9e26281858b07a5ac598af288fc16a..603a2971cfa9ec8a4fd4493b74c5680956828423:/examples/deprecated/msg/mc/bugged2.tesh diff --git a/examples/deprecated/msg/mc/bugged2.tesh b/examples/deprecated/msg/mc/bugged2.tesh index be3f8b78f1..719ffe2016 100644 --- a/examples/deprecated/msg/mc/bugged2.tesh +++ b/examples/deprecated/msg/mc/bugged2.tesh @@ -124,17 +124,14 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 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 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 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 2 @@ -151,336 +148,404 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 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) 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) 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) 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] (3:client@HostC) Send 2 -> [ 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] (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] (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] (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 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 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 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 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 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] (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] (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 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] (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] (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) 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] (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] (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] (3:client@HostC) Send 2 +> [ 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] (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] (3:client@HostC) Send 2 +> [ 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] (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] (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 2 > [ 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 2 > [ 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 2 > [ 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 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 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 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 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] (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 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) 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] (3:client@HostC) Send 2 -> [ 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] (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] (3:client@HostC) Send 2 -> [ 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] (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] (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] (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 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] (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 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] (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] (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 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] (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] (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] (3:client@HostC) Send 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 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 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] (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] (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 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] (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 2 > [ 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 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 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 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 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 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 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] (2:client@HostB) Send 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] (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] (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] (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] (3:client@HostC) Send 2 +> [ 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) OK +> [ 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] (3:client@HostC) Send 2 +> [ 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] (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 @@ -620,80 +685,56 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 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] (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] (2:client@HostB) Send 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] (2:client@HostB) Send 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] (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] (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] (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] (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] (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] (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] (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 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 @@ -724,111 +765,1260 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 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] (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] (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 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) 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 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 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] (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] (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] (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] (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] (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] (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] (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] (3:client@HostC) Send 2 +> [ 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] (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] (3:client@HostC) Send 2 +> [ 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] (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 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] (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 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 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] (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 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) 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) 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) 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) 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 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) 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) 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] (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] (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] (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] (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] (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] (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] (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] (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] (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 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 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 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] (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] (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] (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] (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] (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] (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] (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] (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] (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 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 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 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] (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] (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] (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] (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] (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] (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] (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] (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 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 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) 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 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 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] (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] (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] (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] (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] (2:client@HostB) Send 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] (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] (2:client@HostB) Send 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] (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] (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 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) 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 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 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] (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] (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] (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] (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] (2:client@HostB) Send 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] (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] (2:client@HostB) Send 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] (2:client@HostB) Send 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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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 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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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 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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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] (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 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 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 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 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] (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] (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] (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] (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 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 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 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 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] (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 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 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 1 +> [ 0.000000] (1:server@HostA) Received 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 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 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 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) 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 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 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] (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] (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] (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] (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] (2:client@HostB) Send 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] (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] (2:client@HostB) Send 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] (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] (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 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 @@ -843,14 +2033,30 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 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] (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] (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] (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 @@ -886,13 +2092,14 @@ $ ${bindir:=.}/../../../../bin/simgrid-mc ${bindir:=.}/bugged2 "--log=root.fmt:[ > [ 0.000000] (0:maestro@) *** PROPERTY NOT VALID *** > [ 0.000000] (0:maestro@) ************************** > [ 0.000000] (0:maestro@) Counter-example execution trace: -> [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only)) -> [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only)) -> [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) -> [ 0.000000] (0:maestro@) [(3)HostC (client)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) -> [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only)) -> [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only)) -> [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) -> [ 0.000000] (0:maestro@) Expanded states = 461 -> [ 0.000000] (0:maestro@) Visited states = 2271 -> [ 0.000000] (0:maestro@) Executed transitions = 2117 +> [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) +> [ 0.000000] (0:maestro@) [(3)HostC (client)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) +> [ 0.000000] (0:maestro@) [(1)HostA (server)] iRecv(dst=(1)HostA (server), buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:maestro@) [(3)HostC (client)] iSend(src=(3)HostC (client), buff=(verbose only), size=(verbose only)) +> [ 0.000000] (0:maestro@) [(1)HostA (server)] Wait(comm=(verbose only) [(3)HostC (client)-> (1)HostA (server)]) +> [ 0.000000] (0:maestro@) Path = 1;3;1;3;1;3;1 +> [ 0.000000] (0:maestro@) Expanded states = 1006 +> [ 0.000000] (0:maestro@) Visited states = 5319 +> [ 0.000000] (0:maestro@) Executed transitions = 4969 \ No newline at end of file