1 $ ${bindir:=.}/concurrent_rw ${platfdir}/hosts_with_disks.xml "--log=root.fmt:[%10.6r]%e(%a@%h)%e%m%n" --cfg=disk/solver:bmf
2 > [ 0.000000] (maestro@) Configuration change: Set 'disk/solver' to 'bmf'
3 > [ 0.000000] (host@bob) actor 1 is writing!
4 > [ 0.000000] (host@bob) actor 2 is writing!
5 > [ 0.000000] (host@bob) actor 3 is writing!
6 > [ 0.000000] (host@bob) actor 4 is writing!
7 > [ 0.000000] (host@bob) actor 5 is writing!
8 > [ 0.500000] (host@bob) actor 1 goes to sleep for 1 seconds
9 > [ 0.500000] (host@bob) actor 2 goes to sleep for 2 seconds
10 > [ 0.500000] (host@bob) actor 3 goes to sleep for 3 seconds
11 > [ 0.500000] (host@bob) actor 4 goes to sleep for 4 seconds
12 > [ 0.500000] (host@bob) actor 5 goes to sleep for 5 seconds
13 > [ 1.500000] (host@bob) actor 1 is writing again!
14 > [ 1.600000] (host@bob) actor 1 goes to sleep for 5 seconds
15 > [ 2.500000] (host@bob) actor 2 is writing again!
16 > [ 2.600000] (host@bob) actor 2 goes to sleep for 4 seconds
17 > [ 3.500000] (host@bob) actor 3 is writing again!
18 > [ 3.600000] (host@bob) actor 3 goes to sleep for 3 seconds
19 > [ 4.500000] (host@bob) actor 4 is writing again!
20 > [ 4.600000] (host@bob) actor 4 goes to sleep for 2 seconds
21 > [ 5.500000] (host@bob) actor 5 is writing again!
22 > [ 5.600000] (host@bob) actor 5 goes to sleep for 1 seconds
23 > [ 6.600000] (host@bob) actor 1 is reading!
24 > [ 6.600000] (host@bob) actor 2 is reading!
25 > [ 6.600000] (host@bob) actor 3 is reading!
26 > [ 6.600000] (host@bob) actor 4 is reading!
27 > [ 6.600000] (host@bob) actor 5 is reading!
28 > [ 6.800000] (host@bob) actor 1 goes to sleep for 1 seconds
29 > [ 6.800000] (host@bob) actor 2 goes to sleep for 2 seconds
30 > [ 6.800000] (host@bob) actor 3 goes to sleep for 3 seconds
31 > [ 6.800000] (host@bob) actor 4 goes to sleep for 4 seconds
32 > [ 6.800000] (host@bob) actor 5 goes to sleep for 5 seconds
33 > [ 7.800000] (host@bob) actor 1 is reading again!
34 > [ 8.800000] (host@bob) actor 2 is reading again!
35 > [ 9.800000] (host@bob) actor 3 is reading again!
36 > [ 10.800000] (host@bob) actor 4 is reading again!
37 > [ 11.800000] (host@bob) actor 5 is reading again!
38 > [ 11.840000] (maestro@) Simulation time 11.84