$ ${bindir:=.}/concurrent_rw ${platfdir}/hosts_with_disks.xml "--log=root.fmt:[%10.6r]%e(%a@%h)%e%m%n" --cfg=disk/solver:bmf
> [  0.000000] (maestro@) Configuration change: Set 'disk/solver' to 'bmf'
> [  0.000000] (host@bob) actor 1 is writing!
> [  0.000000] (host@bob) actor 2 is writing!
> [  0.000000] (host@bob) actor 3 is writing!
> [  0.000000] (host@bob) actor 4 is writing!
> [  0.000000] (host@bob) actor 5 is writing!
> [  0.500000] (host@bob) actor 1 goes to sleep for 1 seconds
> [  0.500000] (host@bob) actor 2 goes to sleep for 2 seconds
> [  0.500000] (host@bob) actor 3 goes to sleep for 3 seconds
> [  0.500000] (host@bob) actor 4 goes to sleep for 4 seconds
> [  0.500000] (host@bob) actor 5 goes to sleep for 5 seconds
> [  1.500000] (host@bob) actor 1 is writing again!
> [  1.600000] (host@bob) actor 1 goes to sleep for 5 seconds
> [  2.500000] (host@bob) actor 2 is writing again!
> [  2.600000] (host@bob) actor 2 goes to sleep for 4 seconds
> [  3.500000] (host@bob) actor 3 is writing again!
> [  3.600000] (host@bob) actor 3 goes to sleep for 3 seconds
> [  4.500000] (host@bob) actor 4 is writing again!
> [  4.600000] (host@bob) actor 4 goes to sleep for 2 seconds
> [  5.500000] (host@bob) actor 5 is writing again!
> [  5.600000] (host@bob) actor 5 goes to sleep for 1 seconds
> [  6.600000] (host@bob) actor 1 is reading!
> [  6.600000] (host@bob) actor 2 is reading!
> [  6.600000] (host@bob) actor 3 is reading!
> [  6.600000] (host@bob) actor 4 is reading!
> [  6.600000] (host@bob) actor 5 is reading!
> [  6.800000] (host@bob) actor 1 goes to sleep for 1 seconds
> [  6.800000] (host@bob) actor 2 goes to sleep for 2 seconds
> [  6.800000] (host@bob) actor 3 goes to sleep for 3 seconds
> [  6.800000] (host@bob) actor 4 goes to sleep for 4 seconds
> [  6.800000] (host@bob) actor 5 goes to sleep for 5 seconds
> [  7.800000] (host@bob) actor 1 is reading again!
> [  8.800000] (host@bob) actor 2 is reading again!
> [  9.800000] (host@bob) actor 3 is reading again!
> [ 10.800000] (host@bob) actor 4 is reading again!
> [ 11.800000] (host@bob) actor 5 is reading again!
> [ 11.840000] (maestro@) Simulation time 11.84