->[ 1.000000] (2:worker-0(mgr)@Jupiter) updated shared result, which is now 1
->[ 1.000000] (3:worker-1@Tremblay) acquired the mutex manually
->[ 1.000000] (2:worker-0(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 1.000000] (2:worker-0(mgr)@Jupiter) Bye now!
->[ 2.000000] (3:worker-1@Tremblay) updated shared result, which is now 2
->[ 2.000000] (3:worker-1@Tremblay) released the mutex manually
->[ 2.000000] (4:worker-2(mgr)@Jupiter) acquired the mutex with context manager
->[ 2.000000] (3:worker-1@Tremblay) Bye now!
->[ 3.000000] (4:worker-2(mgr)@Jupiter) updated shared result, which is now 3
->[ 3.000000] (5:worker-3@Tremblay) acquired the mutex manually
->[ 3.000000] (4:worker-2(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 3.000000] (4:worker-2(mgr)@Jupiter) Bye now!
->[ 4.000000] (5:worker-3@Tremblay) updated shared result, which is now 4
->[ 4.000000] (5:worker-3@Tremblay) released the mutex manually
->[ 4.000000] (6:worker-4(mgr)@Jupiter) acquired the mutex with context manager
->[ 4.000000] (5:worker-3@Tremblay) Bye now!
->[ 5.000000] (6:worker-4(mgr)@Jupiter) updated shared result, which is now 5
->[ 5.000000] (6:worker-4(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 5.000000] (6:worker-4(mgr)@Jupiter) Bye now!
->[ 5.000000] (1:master@Tremblay) The final result is: 5
-
-$ ${pythoncmd:=python3} ${PYTHON_TOOL_OPTIONS:=} ${bindir:=.}/synchro-mutex.py --platform ${platfdir}/two_hosts.xml --workers 3 --trials-before-success 2 "--log=root.fmt:[%10.6r]%e(%i:%a@%h)%e%m%n"
->[ 0.000000] (2:worker-0(mgr)@Jupiter) I just started
->[ 0.000000] (2:worker-0(mgr)@Jupiter) acquired the mutex with context manager
->[ 0.000000] (3:worker-1@Tremblay) I just started
->[ 0.000000] (4:worker-2(mgr)@Jupiter) I just started
->[ 1.000000] (3:worker-1@Tremblay) acquired the mutex manually
->[ 1.000000] (2:worker-0(mgr)@Jupiter) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 1.000000] (2:worker-0(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 2.000000] (3:worker-1@Tremblay) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 2.000000] (3:worker-1@Tremblay) released the mutex manually
->[ 2.000000] (4:worker-2(mgr)@Jupiter) acquired the mutex with context manager
->[ 3.000000] (2:worker-0(mgr)@Jupiter) acquired the mutex with context manager
->[ 3.000000] (4:worker-2(mgr)@Jupiter) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 3.000000] (4:worker-2(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 4.000000] (3:worker-1@Tremblay) acquired the mutex manually
->[ 4.000000] (2:worker-0(mgr)@Jupiter) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 4.000000] (2:worker-0(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 5.000000] (3:worker-1@Tremblay) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 5.000000] (3:worker-1@Tremblay) released the mutex manually
->[ 5.000000] (4:worker-2(mgr)@Jupiter) acquired the mutex with context manager
->[ 6.000000] (2:worker-0(mgr)@Jupiter) acquired the mutex with context manager
->[ 6.000000] (4:worker-2(mgr)@Jupiter) ran in trouble while calculating: did not manage to find the correct answer. Will retry shortly.
->[ 6.000000] (4:worker-2(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 7.000000] (2:worker-0(mgr)@Jupiter) updated shared result, which is now 1
->[ 7.000000] (3:worker-1@Tremblay) acquired the mutex manually
->[ 7.000000] (2:worker-0(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 7.000000] (2:worker-0(mgr)@Jupiter) Bye now!
->[ 8.000000] (3:worker-1@Tremblay) updated shared result, which is now 2
->[ 8.000000] (3:worker-1@Tremblay) released the mutex manually
->[ 8.000000] (4:worker-2(mgr)@Jupiter) acquired the mutex with context manager
->[ 8.000000] (3:worker-1@Tremblay) Bye now!
->[ 9.000000] (4:worker-2(mgr)@Jupiter) updated shared result, which is now 3
->[ 9.000000] (4:worker-2(mgr)@Jupiter) released the mutex after leaving the context manager
->[ 9.000000] (4:worker-2(mgr)@Jupiter) Bye now!
->[ 9.000000] (1:master@Tremblay) The final result is: 3