> [ 0.000000] (1:server@HostA) Expanded states = 36
> [ 0.000000] (1:server@HostA) Visited states = 75
> [ 0.000000] (1:server@HostA) Executed transitions = 70
> [ 0.000000] (1:server@HostA) Expanded states = 36
> [ 0.000000] (1:server@HostA) Visited states = 75
> [ 0.000000] (1:server@HostA) Executed transitions = 70