Skipping 4,802 KB..
Full LogTest suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.tesh'
16:28:56 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:28:56 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:28:56 [simple_mutex_with_threads_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_deadlock
16:28:56 Output of <simple_mutex_with_threads_deadlock.tesh:5> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,18 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:56 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [ker_engine/INFO] 3 actors are still active, awaiting something. Here is their status:
16:28:56 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:3)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:2)
16:28:56 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 2)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 1, owner: 2)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 3)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 3)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 0, owner: 3)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 2)
16:28:56 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;3'
16:28:56 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 19 unique states visited; 1 explored traces (2 transition replays, 21 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_mutex_with_threads_deadlock.tesh': NOK (<simple_mutex_with_threads_deadlock.tesh:5> output mismatch)
16:28:56 In addition, <simple_mutex_with_threads_deadlock.tesh:5> got signal SIGIOT.
16:28:56
16:28:56 Start 478: mc-mini-simple_semaphore_deadlock
16:28:56 475/889 Test #476: mc-mini-simple_mutex_with_threads_ok ........................***Failed 0.47 sec
16:28:56 Ignore all cruft seen on SimGrid's continuous integration servers
16:28:56 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh'
16:28:56 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:28:56 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:28:56 [simple_mutex_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4
16:28:56 Output of <simple_mutex_with_threads_ok.tesh:4> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,3 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:28:56 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
16:28:56 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:4> output mismatch)
16:28:56 In addition, <simple_mutex_with_threads_ok.tesh:4> got signal SIGIOT.
16:28:56 [simple_mutex_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4
16:28:56 Output of <simple_mutex_with_threads_ok.tesh:9> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,4 +1,5 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:28:56 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor.
16:28:56 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 593 unique states visited; 24 explored traces (80 transition replays, 673 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:9> output mismatch)
16:28:56 In addition, <simple_mutex_with_threads_ok.tesh:9> got signal SIGIOT.
16:28:56 [simple_mutex_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4
16:28:56 Output of <simple_mutex_with_threads_ok.tesh:15> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,3 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:56 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:28:56 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 548 unique states visited; 24 explored traces (125 transition replays, 673 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:15> output mismatch)
16:28:56 In addition, <simple_mutex_with_threads_ok.tesh:15> got signal SIGIOT.
16:28:56 [simple_mutex_with_threads_ok.tesh:20] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:udpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_with_threads_ok 4
16:28:56 Output of <simple_mutex_with_threads_ok.tesh:20> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,3 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'udpor'
16:28:56 -[0.000000] [mc_udpor/INFO] Starting a UDPOR exploration
16:28:56 -[0.000000] [mc_udpor/INFO] UDPOR exploration ended. 85 unique events considered; 23 backtracks
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_mutex_with_threads_ok.tesh': NOK (<simple_mutex_with_threads_ok.tesh:20> output mismatch)
16:28:56 In addition, <simple_mutex_with_threads_ok.tesh:20> got signal SIGIOT.
16:28:56
16:28:56 Start 479: mc-mini-simple_semaphores_deadlock
16:28:56 476/889 Test #478: mc-mini-simple_semaphore_deadlock ...........................***Failed 0.33 sec
16:28:56 Ignore all cruft seen on SimGrid's continuous integration servers
16:28:56 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh'
16:28:56 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:28:56 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:28:56 [simple_semaphore_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphore_deadlock
16:28:56 Output of <simple_semaphore_deadlock.tesh:5> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,18 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:56 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [ker_engine/INFO] 3 actors are still active, awaiting something. Here is their status:
16:28:56 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall SEM_WAIT(sem_id:1 not granted)
16:28:56 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:28:56 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;3'
16:28:56 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 23 unique states visited; 1 explored traces (11 transition replays, 34 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_semaphore_deadlock.tesh': NOK (<simple_semaphore_deadlock.tesh:5> output mismatch)
16:28:56 In addition, <simple_semaphore_deadlock.tesh:5> got signal SIGIOT.
16:28:56 [simple_semaphore_deadlock.tesh:26] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphore_deadlock
16:28:56 Output of <simple_semaphore_deadlock.tesh:26> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,19 +1,5 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:28:56 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: odpor.
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:28:56 -[0.000000] [mc_global/INFO] **************************
16:28:56 -[0.000000] [ker_engine/INFO] 3 actors are still active, awaiting something. Here is their status:
16:28:56 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:28:56 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall SEM_WAIT(sem_id:1 not granted)
16:28:56 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:28:56 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:28:56 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;3'
16:28:56 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 23 unique states visited; 1 explored traces (11 transition replays, 34 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_semaphore_deadlock.tesh': NOK (<simple_semaphore_deadlock.tesh:26> output mismatch)
16:28:56 In addition, <simple_semaphore_deadlock.tesh:26> got signal SIGIOT.
16:28:56
16:28:56 Start 480: mc-mini-simple_semaphores_ok
16:28:56 477/889 Test #480: mc-mini-simple_semaphores_ok ................................***Failed 0.25 sec
16:28:56 Ignore all cruft seen on SimGrid's continuous integration servers
16:28:56 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_semaphores_ok.tesh'
16:28:56 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:28:56 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:28:56 [simple_semaphores_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_ok 5
16:28:56 Output of <simple_semaphores_ok.tesh:4> mismatch:
16:28:56 --- expected
16:28:56 +++ obtained
16:28:56 @@ -1,3 +1,4 @@
16:28:56 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:56 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:28:56 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 17 unique states visited; 1 explored traces (0 transition replays, 17 states visited overall)
16:28:56 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:56 +Backtrace (displayed in actor maestro):
16:28:56 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:56 Test suite `simple_semaphores_ok.tesh': NOK (<simple_semaphores_ok.tesh:4> output mismatch)
16:28:56 In addition, <simple_semaphores_ok.tesh:4> got signal SIGIOT.
16:28:56
16:28:57 Start 481: mc-mini-simple_semaphores_with_threads_ok
16:28:57 478/889 Test #481: mc-mini-simple_semaphores_with_threads_ok ...................***Failed 0.35 sec
16:28:57 Ignore all cruft seen on SimGrid's continuous integration servers
16:28:57 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh'
16:28:57 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:28:57 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:28:57 [simple_semaphores_with_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_with_threads_ok 3
16:28:57 Output of <simple_semaphores_with_threads_ok.tesh:4> mismatch:
16:28:57 --- expected
16:28:57 +++ obtained
16:28:57 @@ -1,3 +1,4 @@
16:28:57 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:28:57 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
16:28:57 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 54 unique states visited; 4 explored traces (20 transition replays, 74 states visited overall)
16:28:57 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:57 +Backtrace (displayed in actor maestro):
16:28:57 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:57 Test suite `simple_semaphores_with_threads_ok.tesh': NOK (<simple_semaphores_with_threads_ok.tesh:4> output mismatch)
16:28:57 In addition, <simple_semaphores_with_threads_ok.tesh:4> got signal SIGIOT.
16:28:57 [simple_semaphores_with_threads_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_with_threads_ok 3
16:28:57 Output of <simple_semaphores_with_threads_ok.tesh:9> mismatch:
16:28:57 --- expected
16:28:57 +++ obtained
16:28:57 @@ -1,4 +1,5 @@
16:28:57 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:28:57 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:28:57 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor.
16:28:57 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 54 unique states visited; 4 explored traces (20 transition replays, 74 states visited overall)
16:28:57 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:57 +Backtrace (displayed in actor maestro):
16:28:57 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:57 Test suite `simple_semaphores_with_threads_ok.tesh': NOK (<simple_semaphores_with_threads_ok.tesh:9> output mismatch)
16:28:57 In addition, <simple_semaphores_with_threads_ok.tesh:9> got signal SIGIOT.
16:28:57 [simple_semaphores_with_threads_ok.tesh:15] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_with_threads_ok 3
16:28:57 Output of <simple_semaphores_with_threads_ok.tesh:15> mismatch:
16:28:57 --- expected
16:28:57 +++ obtained
16:28:57 @@ -1,3 +1,4 @@
16:28:57 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:28:57 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:28:57 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 54 unique states visited; 4 explored traces (20 transition replays, 74 states visited overall)
16:28:57 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:28:57 +Backtrace (displayed in actor maestro):
16:28:57 +(backtrace not set -- did you install Boost.Stacktrace?)
16:28:57 Test suite `simple_semaphores_with_threads_ok.tesh': NOK (<simple_semaphores_with_threads_ok.tesh:15> output mismatch)
16:28:57 In addition, <simple_semaphores_with_threads_ok.tesh:15> got signal SIGIOT.
16:28:57
16:28:57 Start 482: mc-mini-simple_semaphores_with_threads_deadlock
16:29:02 479/889 Test #411: smpi-gemm ................................................... Passed 22.12 sec
16:29:02 Start 483: mc-mini-simple_threads_ok
16:29:03 480/889 Test #483: mc-mini-simple_threads_ok ...................................***Failed 1.23 sec
16:29:03 Ignore all cruft seen on SimGrid's continuous integration servers
16:29:03 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_threads_ok.tesh'
16:29:03 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:29:03 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:29:03 [simple_threads_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_threads_ok 3
16:29:03 Output of <simple_threads_ok.tesh:4> mismatch:
16:29:03 --- expected
16:29:03 +++ obtained
16:29:03 @@ -1,3 +1,4 @@
16:29:03 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:29:03 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:29:03 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 7 unique states visited; 1 explored traces (0 transition replays, 7 states visited overall)
16:29:03 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:29:03 +Backtrace (displayed in actor maestro):
16:29:03 +(backtrace not set -- did you install Boost.Stacktrace?)
16:29:03 Test suite `simple_threads_ok.tesh': NOK (<simple_threads_ok.tesh:4> output mismatch)
16:29:03 In addition, <simple_threads_ok.tesh:4> got signal SIGIOT.
16:29:03
16:29:03 Start 484: mc-mini-barber_shop_ok
16:29:26 481/889 Test #484: mc-mini-barber_shop_ok ......................................***Failed 22.36 sec
16:29:26 Ignore all cruft seen on SimGrid's continuous integration servers
16:29:26 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/barber_shop_ok.tesh'
16:29:26 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:29:26 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:29:26 [barber_shop_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0
16:29:26 Output of <barber_shop_ok.tesh:4> mismatch:
16:29:26 --- expected
16:29:26 +++ obtained
16:29:26 @@ -1,3 +1,4 @@
16:29:26 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:29:26 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:29:26 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 15999 unique states visited; 344 explored traces (74685 transition replays, 90684 states visited overall)
16:29:26 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:29:26 +Backtrace (displayed in actor maestro):
16:29:26 +(backtrace not set -- did you install Boost.Stacktrace?)
16:29:26 Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:4> output mismatch)
16:29:26 In addition, <barber_shop_ok.tesh:4> got signal SIGIOT.
16:29:26 [barber_shop_ok.tesh:9] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-barber_shop_ok 4 2 0 0
16:29:26 Output of <barber_shop_ok.tesh:9> mismatch:
16:29:26 --- expected
16:29:26 +++ obtained
16:29:26 @@ -1,4 +1,5 @@
16:29:26 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:29:26 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:29:26 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: odpor.
16:29:26 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 15999 unique states visited; 344 explored traces (130597 transition replays, 146596 states visited overall)
16:29:26 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:29:26 +Backtrace (displayed in actor maestro):
16:29:26 +(backtrace not set -- did you install Boost.Stacktrace?)
16:29:26 Test suite `barber_shop_ok.tesh': NOK (<barber_shop_ok.tesh:9> output mismatch)
16:29:26 In addition, <barber_shop_ok.tesh:9> got signal SIGIOT.
16:29:26
16:29:26 Start 485: mc-mini-barber_shop_deadlock
16:30:36 482/889 Test #475: mc-mini-simple_mutex_deadlock ...............................***Failed 100.51 sec
16:30:36 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:36 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_mutex_deadlock.tesh'
16:30:36 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:36 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:36 [simple_mutex_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_mutex_deadlock
16:30:36 Test suite `simple_mutex_deadlock.tesh': NOK (<simple_mutex_deadlock.tesh:5> timeout after 100 sec)
16:30:36 Output of <simple_mutex_deadlock.tesh:5> mismatch:
16:30:36 --- expected
16:30:36 +++ obtained
16:30:36 @@ -1,16 +1 @@
16:30:36 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:36 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:36 -[0.000000] [mc_global/INFO] **************************
16:30:36 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:36 -[0.000000] [mc_global/INFO] **************************
16:30:36 -[0.000000] [ker_engine/INFO] 1 actor is still active, awaiting something. Here is its status:
16:30:36 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:1)
16:30:36 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 1)
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_WAIT(mutex: 0, owner: 1)
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 1)
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_WAIT(mutex: 1, owner: 1)
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_UNLOCK(mutex: 1, owner: -1)
16:30:36 -[0.000000] [mc_global/INFO] Actor 1 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 1)
16:30:36 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'1;1;1;1;1;1'
16:30:36 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 7 unique states visited; 0 explored traces (0 transition replays, 7 states visited overall)
16:30:36 Test suite `simple_mutex_deadlock.tesh': NOK (<simple_mutex_deadlock.tesh:5> output mismatch)
16:30:36 In addition, <simple_mutex_deadlock.tesh:5> got signal SIGTERM.
16:30:36
16:30:36 Start 486: mc-mini-philosophers_semaphores_ok
16:30:36 483/889 Test #486: mc-mini-philosophers_semaphores_ok ..........................***Failed 0.32 sec
16:30:36 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:36 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh'
16:30:36 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:36 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:36 [philosophers_semaphores_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_ok 3 0
16:30:36 Output of <philosophers_semaphores_ok.tesh:4> mismatch:
16:30:36 --- expected
16:30:36 +++ obtained
16:30:36 @@ -1,3 +1,4 @@
16:30:36 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:36 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:36 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 896 unique states visited; 48 explored traces (565 transition replays, 1461 states visited overall)
16:30:36 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:36 +Backtrace (displayed in actor maestro):
16:30:36 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:36 Test suite `philosophers_semaphores_ok.tesh': NOK (<philosophers_semaphores_ok.tesh:4> output mismatch)
16:30:36 In addition, <philosophers_semaphores_ok.tesh:4> got signal SIGIOT.
16:30:36
16:30:36 Start 487: mc-mini-philosophers_semaphores_deadlock
16:30:37 484/889 Test #487: mc-mini-philosophers_semaphores_deadlock ....................***Failed 0.27 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [philosophers_semaphores_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0
16:30:37 Output of <philosophers_semaphores_deadlock.tesh:5> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,27 +1,3 @@
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4'
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:5> output mismatch)
16:30:37 In addition, <philosophers_semaphores_deadlock.tesh:5> got signal SIGIOT.
16:30:37 [philosophers_semaphores_deadlock.tesh:35] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_semaphores_deadlock 3 0
16:30:37 Output of <philosophers_semaphores_deadlock.tesh:35> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,28 +1,4 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:30:37 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;3;3;3;2;3;4;4;4;3;4;4'
16:30:37 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 517 unique states visited; 30 explored traces (399 transition replays, 916 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_semaphores_deadlock.tesh': NOK (<philosophers_semaphores_deadlock.tesh:35> output mismatch)
16:30:37 In addition, <philosophers_semaphores_deadlock.tesh:35> got signal SIGIOT.
16:30:37
16:30:37 Start 488: mc-mini-philosophers_mutex_ok
16:30:37 485/889 Test #479: mc-mini-simple_semaphores_deadlock ..........................***Failed 100.54 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_semaphores_deadlock.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [simple_semaphores_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_deadlock
16:30:37 Test suite `simple_semaphores_deadlock.tesh': NOK (<simple_semaphores_deadlock.tesh:5> timeout after 100 sec)
16:30:37 Output of <simple_semaphores_deadlock.tesh:5> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,17 +1 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 1 actor is still active, awaiting something. Here is its status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_UNLOCK(semaphore: 0, capacity: 1)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_UNLOCK(semaphore: 0, capacity: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 1 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'1;1;1;1;1;1;1'
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 8 unique states visited; 0 explored traces (0 transition replays, 8 states visited overall)
16:30:37 Test suite `simple_semaphores_deadlock.tesh': NOK (<simple_semaphores_deadlock.tesh:5> output mismatch)
16:30:37 In addition, <simple_semaphores_deadlock.tesh:5> got signal SIGTERM.
16:30:37
16:30:37 Start 489: mc-mini-philosophers_mutex_deadlock
16:30:37 486/889 Test #488: mc-mini-philosophers_mutex_ok ...............................***Failed 0.30 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_mutex_ok.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [philosophers_mutex_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/cached-states-interval:100 --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_ok 5 0
16:30:37 Output of <philosophers_mutex_ok.tesh:4> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,4 +1,5 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/cached-states-interval' to '100'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 4190 unique states visited; 120 explored traces (1609 transition replays, 5799 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_ok.tesh': NOK (<philosophers_mutex_ok.tesh:4> output mismatch)
16:30:37 In addition, <philosophers_mutex_ok.tesh:4> got signal SIGIOT.
16:30:37 [philosophers_mutex_ok.tesh:10] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:udpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_ok 5 0
16:30:37 Output of <philosophers_mutex_ok.tesh:10> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,3 +1,4 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'udpor'
16:30:37 -[0.000000] [mc_udpor/INFO] Starting a UDPOR exploration
16:30:37 -[0.000000] [mc_udpor/INFO] UDPOR exploration ended. 366 unique events considered; 119 backtracks
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_ok.tesh': NOK (<philosophers_mutex_ok.tesh:10> output mismatch)
16:30:37 In addition, <philosophers_mutex_ok.tesh:10> got signal SIGIOT.
16:30:37
16:30:37 Start 490: mc-mini-producer_consumer_ok
16:30:37 487/889 Test #489: mc-mini-philosophers_mutex_deadlock .........................***Failed 0.40 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [philosophers_mutex_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
16:30:37 Output of <philosophers_mutex_deadlock.tesh:5> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,26 +1,4 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: dpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 5 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:3 owner:5)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 5 (thread 4@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_WAIT(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;4;3;4;5;4;5;5'
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 141 unique states visited; 7 explored traces (68 transition replays, 209 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_deadlock.tesh': NOK (<philosophers_mutex_deadlock.tesh:5> output mismatch)
16:30:37 In addition, <philosophers_mutex_deadlock.tesh:5> got signal SIGIOT.
16:30:37 [philosophers_mutex_deadlock.tesh:34] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:dpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 4 0
16:30:37 Output of <philosophers_mutex_deadlock.tesh:34> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,27 +1,5 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'dpor'
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:30:37 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: dpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 5 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:3 owner:5)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 5 (thread 4@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_WAIT(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;4;3;4;5;4;5;5'
16:30:37 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 141 unique states visited; 7 explored traces (68 transition replays, 209 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_deadlock.tesh': NOK (<philosophers_mutex_deadlock.tesh:34> output mismatch)
16:30:37 In addition, <philosophers_mutex_deadlock.tesh:34> got signal SIGIOT.
16:30:37 [philosophers_mutex_deadlock.tesh:64] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 5 0
16:30:37 Output of <philosophers_mutex_deadlock.tesh:64> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,30 +1,4 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 6 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:3 owner:5)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 5 (thread 4@Lilibeth) simcall MUTEX_WAIT(mutex_id:4 owner:6)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 6 (thread 5@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_WAIT(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_ASYNC_LOCK(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_WAIT(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;4;3;4;5;4;5;6;5;6;6'
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 317 unique states visited; 15 explored traces (224 transition replays, 541 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_deadlock.tesh': NOK (<philosophers_mutex_deadlock.tesh:64> output mismatch)
16:30:37 In addition, <philosophers_mutex_deadlock.tesh:64> got signal SIGIOT.
16:30:37 [philosophers_mutex_deadlock.tesh:97] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/exploration-algo:BFS --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-philosophers_mutex_deadlock 5 0
16:30:37 Output of <philosophers_mutex_deadlock.tesh:97> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,31 +1,5 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/exploration-algo' to 'BFS'
16:30:37 -[0.000000] [mc_bfs/INFO] Start a BFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 6 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall MUTEX_WAIT(mutex_id:1 owner:3)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:2 owner:4)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:3 owner:5)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 5 (thread 4@Lilibeth) simcall MUTEX_WAIT(mutex_id:4 owner:6)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 6 (thread 5@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_WAIT(mutex: 1, owner: 3)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_WAIT(mutex: 2, owner: 4)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_WAIT(mutex: 3, owner: 5)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_ASYNC_LOCK(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_WAIT(mutex: 4, owner: 6)
16:30:37 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;3;2;3;4;3;4;5;4;5;6;5;6;6'
16:30:37 -[0.000000] [mc_bfs/INFO] BFS exploration ended. 317 unique states visited; 15 explored traces (224 transition replays, 541 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `philosophers_mutex_deadlock.tesh': NOK (<philosophers_mutex_deadlock.tesh:97> output mismatch)
16:30:37 In addition, <philosophers_mutex_deadlock.tesh:97> got signal SIGIOT.
16:30:37
16:30:37 Start 491: mc-mini-producer_consumer_deadlock
16:30:37 488/889 Test #490: mc-mini-producer_consumer_ok ................................***Failed 0.26 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/producer_consumer_ok.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [producer_consumer_ok.tesh:4] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-producer_consumer_ok 2 2 2 1 0
16:30:37 Output of <producer_consumer_ok.tesh:4> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,3 +1,4 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 1495 unique states visited; 36 explored traces (2700 transition replays, 4195 states visited overall)
16:30:37 +[0.000000] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/src/mc/remote/Channel.cpp:68: [root/CRITICAL] Channel::receive failure: Connection reset by peer
16:30:37 +Backtrace (displayed in actor maestro):
16:30:37 +(backtrace not set -- did you install Boost.Stacktrace?)
16:30:37 Test suite `producer_consumer_ok.tesh': NOK (<producer_consumer_ok.tesh:4> output mismatch)
16:30:37 In addition, <producer_consumer_ok.tesh:4> got signal SIGIOT.
16:30:37
16:30:37 Start 492: mc-mpi-iprobe_ok
16:30:37 489/889 Test #482: mc-mini-simple_semaphores_with_threads_deadlock .............***Failed 100.52 sec
16:30:37 Ignore all cruft seen on SimGrid's continuous integration servers
16:30:37 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh'
16:30:37 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:30:37 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:30:37 [simple_semaphores_with_threads_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsgmalloc.so:/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-simple_semaphores_with_threads_deadlock 1 0
16:30:37 Test suite `simple_semaphores_with_threads_deadlock.tesh': NOK (<simple_semaphores_with_threads_deadlock.tesh:5> timeout after 100 sec)
16:30:37 Output of <simple_semaphores_with_threads_deadlock.tesh:5> mismatch:
16:30:37 --- expected
16:30:37 +++ obtained
16:30:37 @@ -1,18 +1 @@
16:30:37 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:30:37 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:30:37 -[0.000000] [mc_global/INFO] **************************
16:30:37 -[0.000000] [ker_engine/INFO] 3 actors are still active, awaiting something. Here is their status:
16:30:37 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall SEM_WAIT(sem_id:1 not granted)
16:30:37 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:30:37 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:30:37 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:30:37 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;3;3;3'
16:30:37 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 7 unique states visited; 0 explored traces (0 transition replays, 7 states visited overall)
16:30:37 Test suite `simple_semaphores_with_threads_deadlock.tesh': NOK (<simple_semaphores_with_threads_deadlock.tesh:5> output mismatch)
16:30:37 In addition, <simple_semaphores_with_threads_deadlock.tesh:5> got signal SIGTERM.
16:30:37
16:30:37 Start 493: mc-mpi-iprobe_nok
16:30:38 490/889 Test #492: mc-mpi-iprobe_ok ............................................ Passed 0.46 sec
16:30:38 Start 494: tesh-model-lmm_usage
16:30:38 491/889 Test #493: mc-mpi-iprobe_nok ........................................... Passed 0.29 sec
16:30:38 Start 495: tesh-model-core_usage
16:30:38 492/889 Test #494: tesh-model-lmm_usage ........................................ Passed 0.24 sec
16:30:38 Start 496: tesh-model-core_usage2
16:30:38 493/889 Test #495: tesh-model-core_usage ....................................... Passed 0.24 sec
16:30:38 Start 497: tesh-model-cloud-sharing
16:30:38 494/889 Test #496: tesh-model-core_usage2 ...................................... Passed 0.24 sec
16:30:38 Start 498: tesh-model-ptask_L07_usage
16:30:38 495/889 Test #497: tesh-model-cloud-sharing .................................... Passed 0.30 sec
16:30:38 Start 499: tesh-model-wifi_usage
16:30:38 496/889 Test #498: tesh-model-ptask_L07_usage .................................. Passed 0.25 sec
16:30:38 Start 500: tesh-model-wifi_usage_decay
16:30:38 497/889 Test #499: tesh-model-wifi_usage ....................................... Passed 0.27 sec
16:30:38 Start 501: tesh-model-cm02-set-lat-bw
16:30:39 498/889 Test #500: tesh-model-wifi_usage_decay ................................. Passed 0.25 sec
16:30:39 Start 502: tesh-model-cm02-tcpgamma
16:30:39 499/889 Test #501: tesh-model-cm02-set-lat-bw .................................. Passed 0.24 sec
16:30:39 Start 503: tesh-model-issue105
16:30:39 500/889 Test #502: tesh-model-cm02-tcpgamma .................................... Passed 0.24 sec
16:30:39 Start 504: tesh-model-ptask-subflows
16:30:39 501/889 Test #503: tesh-model-issue105 ......................................... Passed 0.26 sec
16:30:39 Start 505: tesh-model-cm02-set-lat-bw-bmf
16:30:39 502/889 Test #504: tesh-model-ptask-subflows ................................... Passed 0.26 sec
16:30:39 Start 506: tesh-maxmin-small
16:30:39 503/889 Test #505: tesh-model-cm02-set-lat-bw-bmf .............................. Passed 0.24 sec
16:30:39 Start 507: tesh-maxmin-medium
16:30:39 504/889 Test #506: tesh-maxmin-small ........................................... Passed 0.28 sec
16:30:39 Start 508: tesh-maxmin-large
16:30:42 505/889 Test #507: tesh-maxmin-medium .......................................... Passed 2.39 sec
16:30:42 Start 509: tesh-platform-flatifier
16:30:42 506/889 Test #509: tesh-platform-flatifier ..................................... Passed 0.71 sec
16:30:42 Start 510: tesh-parser-bogus-symmetric
16:30:43 507/889 Test #510: tesh-parser-bogus-symmetric ................................. Passed 0.25 sec
16:30:43 Start 511: tesh-parser-bogus-missing-gw
16:30:43 508/889 Test #511: tesh-parser-bogus-missing-gw ................................ Passed 0.28 sec
16:30:43 Start 512: tesh-s4u-actor-thread
16:30:43 509/889 Test #512: tesh-s4u-actor-thread ....................................... Passed 0.26 sec
16:30:43 Start 513: tesh-s4u-actor-boost
16:30:43 510/889 Test #513: tesh-s4u-actor-boost ........................................ Passed 0.25 sec
16:30:43 Start 514: tesh-s4u-actor-ucontext
16:30:44 511/889 Test #514: tesh-s4u-actor-ucontext ..................................... Passed 0.25 sec
16:30:44 Start 515: tesh-s4u-actor-autorestart-thread
16:30:44 512/889 Test #515: tesh-s4u-actor-autorestart-thread ........................... Passed 0.26 sec
16:30:44 Start 516: tesh-s4u-actor-autorestart-boost
16:30:44 513/889 Test #516: tesh-s4u-actor-autorestart-boost ............................ Passed 0.25 sec
16:30:44 Start 517: tesh-s4u-actor-autorestart-ucontext
16:30:44 514/889 Test #517: tesh-s4u-actor-autorestart-ucontext ......................... Passed 0.25 sec
16:30:44 Start 518: tesh-s4u-actor-suspend-thread
16:30:45 515/889 Test #518: tesh-s4u-actor-suspend-thread ............................... Passed 0.26 sec
16:30:45 Start 519: tesh-s4u-actor-suspend-boost
16:30:45 516/889 Test #519: tesh-s4u-actor-suspend-boost ................................ Passed 0.25 sec
16:30:45 Start 520: tesh-s4u-actor-suspend-ucontext
16:30:45 517/889 Test #520: tesh-s4u-actor-suspend-ucontext ............................. Passed 0.25 sec
16:30:45 Start 521: tesh-s4u-activity-lifecycle-thread
16:30:46 518/889 Test #521: tesh-s4u-activity-lifecycle-thread .......................... Passed 0.35 sec
16:30:46 Start 522: tesh-s4u-activity-lifecycle-boost
16:30:46 519/889 Test #522: tesh-s4u-activity-lifecycle-boost ........................... Passed 0.31 sec
16:30:46 Start 523: tesh-s4u-activity-lifecycle-ucontext
16:30:46 520/889 Test #523: tesh-s4u-activity-lifecycle-ucontext ........................ Passed 0.32 sec
16:30:46 Start 524: tesh-s4u-comm-get-sender-thread
16:30:46 521/889 Test #524: tesh-s4u-comm-get-sender-thread ............................. Passed 0.26 sec
16:30:46 Start 525: tesh-s4u-comm-get-sender-boost
16:30:47 522/889 Test #525: tesh-s4u-comm-get-sender-boost .............................. Passed 0.25 sec
16:30:47 Start 526: tesh-s4u-comm-get-sender-ucontext
16:30:47 523/889 Test #526: tesh-s4u-comm-get-sender-ucontext ........................... Passed 0.25 sec
16:30:47 Start 527: tesh-s4u-cloud-interrupt-migration-thread
16:30:47 524/889 Test #527: tesh-s4u-cloud-interrupt-migration-thread ................... Passed 0.26 sec
16:30:47 Start 528: tesh-s4u-cloud-interrupt-migration-boost
16:30:47 525/889 Test #528: tesh-s4u-cloud-interrupt-migration-boost .................... Passed 0.26 sec
16:30:47 Start 529: tesh-s4u-cloud-interrupt-migration-ucontext
16:30:48 526/889 Test #529: tesh-s4u-cloud-interrupt-migration-ucontext ................. Passed 0.26 sec
16:30:48 Start 530: tesh-s4u-cloud-two-execs-thread
16:30:48 527/889 Test #530: tesh-s4u-cloud-two-execs-thread ............................. Passed 0.27 sec
16:30:48 Start 531: tesh-s4u-cloud-two-execs-boost
16:30:48 528/889 Test #531: tesh-s4u-cloud-two-execs-boost .............................. Passed 0.26 sec
16:30:48 Start 532: tesh-s4u-cloud-two-execs-ucontext
16:30:49 529/889 Test #532: tesh-s4u-cloud-two-execs-ucontext ........................... Passed 0.27 sec
16:30:49 Start 533: tesh-s4u-concurrent_rw-thread
16:30:49 530/889 Test #533: tesh-s4u-concurrent_rw-thread ............................... Passed 0.27 sec
16:30:49 Start 534: tesh-s4u-concurrent_rw-boost
16:30:49 531/889 Test #534: tesh-s4u-concurrent_rw-boost ................................ Passed 0.26 sec
16:30:49 Start 535: tesh-s4u-concurrent_rw-ucontext
16:30:49 532/889 Test #535: tesh-s4u-concurrent_rw-ucontext ............................. Passed 0.27 sec
16:30:49 Start 536: tesh-s4u-dag-incomplete-simulation-thread
16:30:49 533/889 Test #508: tesh-maxmin-large ........................................... Passed 10.14 sec
16:30:49 Start 537: tesh-s4u-dag-incomplete-simulation-boost
16:30:50 534/889 Test #536: tesh-s4u-dag-incomplete-simulation-thread ................... Passed 0.25 sec
16:30:50 Start 538: tesh-s4u-dag-incomplete-simulation-ucontext
16:30:50 535/889 Test #537: tesh-s4u-dag-incomplete-simulation-boost .................... Passed 0.23 sec
16:30:50 Start 539: tesh-s4u-dependencies-thread
16:30:50 536/889 Test #538: tesh-s4u-dag-incomplete-simulation-ucontext ................. Passed 0.23 sec
16:30:50 Start 540: tesh-s4u-dependencies-boost
16:30:50 537/889 Test #539: tesh-s4u-dependencies-thread ................................ Passed 0.24 sec
16:30:50 Start 541: tesh-s4u-dependencies-ucontext
16:30:50 538/889 Test #540: tesh-s4u-dependencies-boost ................................. Passed 0.23 sec
16:30:50 Start 542: tesh-s4u-io-set-bw-thread
16:30:50 539/889 Test #541: tesh-s4u-dependencies-ucontext .............................. Passed 0.23 sec
16:30:50 Start 543: tesh-s4u-io-set-bw-boost
16:30:50 540/889 Test #542: tesh-s4u-io-set-bw-thread ................................... Passed 0.24 sec
16:30:50 Start 544: tesh-s4u-io-set-bw-ucontext
16:30:50 541/889 Test #543: tesh-s4u-io-set-bw-boost .................................... Passed 0.23 sec
16:30:50 Start 545: tesh-s4u-io-stream-thread
16:30:51 542/889 Test #544: tesh-s4u-io-set-bw-ucontext ................................. Passed 0.23 sec
16:30:51 Start 546: tesh-s4u-io-stream-boost
16:30:51 543/889 Test #545: tesh-s4u-io-stream-thread ................................... Passed 0.31 sec
16:30:51 Start 547: tesh-s4u-io-stream-ucontext
16:30:51 544/889 Test #546: tesh-s4u-io-stream-boost .................................... Passed 0.28 sec
16:30:51 Start 548: tesh-s4u-vm-live-migration-thread
16:30:51 545/889 Test #547: tesh-s4u-io-stream-ucontext ................................. Passed 0.29 sec
16:30:51 Start 549: tesh-s4u-vm-live-migration-boost
16:30:51 546/889 Test #548: tesh-s4u-vm-live-migration-thread ........................... Passed 0.24 sec
16:30:51 Start 550: tesh-s4u-vm-live-migration-ucontext
16:30:51 547/889 Test #549: tesh-s4u-vm-live-migration-boost ............................ Passed 0.23 sec
16:30:51 Start 551: tesh-s4u-vm-suicide-thread
16:30:51 548/889 Test #550: tesh-s4u-vm-live-migration-ucontext ......................... Passed 0.24 sec
16:30:51 Start 552: tesh-s4u-vm-suicide-boost
16:30:51 549/889 Test #551: tesh-s4u-vm-suicide-thread .................................. Passed 0.24 sec
16:30:51 Start 553: tesh-s4u-vm-suicide-ucontext
16:30:52 550/889 Test #552: tesh-s4u-vm-suicide-boost ................................... Passed 0.24 sec
16:30:52 Start 554: tesh-s4u-basic-link-test
16:30:52 551/889 Test #553: tesh-s4u-vm-suicide-ucontext ................................ Passed 0.24 sec
16:30:52 Start 555: tesh-s4u-basic-parsing-test
16:30:52 552/889 Test #554: tesh-s4u-basic-link-test .................................... Passed 0.26 sec
16:30:52 Start 556: tesh-s4u-host-on-off
16:30:52 553/889 Test #556: tesh-s4u-host-on-off ........................................ Passed 0.23 sec
16:30:52 Start 557: tesh-s4u-host-on-off-actors
16:30:52 554/889 Test #555: tesh-s4u-basic-parsing-test ................................. Passed 0.55 sec
16:30:52 Start 558: tesh-s4u-host-on-off-recv
16:30:52 555/889 Test #557: tesh-s4u-host-on-off-actors ................................. Passed 0.36 sec
16:30:52 Start 559: tesh-s4u-comm-fault-scenarios
16:30:52 556/889 Test #558: tesh-s4u-host-on-off-recv ................................... Passed 0.24 sec
16:30:52 Start 560: tesh-s4u-host-multicore-speed-file
16:30:53 557/889 Test #559: tesh-s4u-comm-fault-scenarios ............................... Passed 0.31 sec
16:30:53 Start 561: tesh-s4u-is-router
16:30:53 558/889 Test #560: tesh-s4u-host-multicore-speed-file .......................... Passed 0.24 sec
16:30:53 Start 562: tesh-s4u-listen_async
16:30:53 559/889 Test #561: tesh-s4u-is-router .......................................... Passed 0.24 sec
16:30:53 Start 563: tesh-s4u-monkey-masterworkers
16:30:53 560/889 Test #562: tesh-s4u-listen_async ....................................... Passed 0.23 sec
16:30:53 Start 564: tesh-s4u-monkey-semaphore
16:30:53 561/889 Test #564: tesh-s4u-monkey-semaphore ................................... Passed 0.23 sec
16:30:53 Start 565: tesh-s4u-pid
16:30:53 562/889 Test #563: tesh-s4u-monkey-masterworkers ............................... Passed 0.27 sec
16:30:53 Start 566: tesh-s4u-storage_client_server
16:30:53 563/889 Test #565: tesh-s4u-pid ................................................ Passed 0.23 sec
16:30:53 Start 567: tesh-s4u-trace-integration
16:30:53 564/889 Test #566: tesh-s4u-storage_client_server .............................. Passed 0.24 sec
16:30:53 Start 568: tesh-s4u-seal-platform
16:30:54 565/889 Test #568: tesh-s4u-seal-platform ...................................... Passed 0.23 sec
16:30:54 Start 569: tesh-s4u-issue71
16:30:54 566/889 Test #569: tesh-s4u-issue71 ............................................ Passed 0.24 sec
16:30:54 Start 570: monkey-s4u-monkey-masterworkers
16:30:54 567/889 Test #567: tesh-s4u-trace-integration .................................. Passed 0.65 sec
16:30:54 Start 571: monkey-s4u-monkey-semaphore
16:30:56 568/889 Test #571: monkey-s4u-monkey-semaphore ................................. Passed 1.65 sec
16:30:56 Start 572: tesh-s4u-comm-pt2pt
16:30:56 569/889 Test #572: tesh-s4u-comm-pt2pt ......................................... Passed 0.04 sec
16:30:56 Start 573: tesh-s4u-cloud-two-execs-bmf
16:30:56 570/889 Test #570: monkey-s4u-monkey-masterworkers ............................. Passed 1.92 sec
16:30:56 Start 574: tesh-s4u-concurrent_rw-bmf
16:30:56 571/889 Test #573: tesh-s4u-cloud-two-execs-bmf ................................ Passed 0.25 sec
16:30:56 Start 575: test-help-version
16:30:56 572/889 Test #575: test-help-version ........................................... Passed 0.02 sec
16:30:56 Start 576: test-help-logs
16:30:56 573/889 Test #576: test-help-logs .............................................. Passed 0.02 sec
16:30:56 Start 577: tesh-parser-bypass
16:30:56 574/889 Test #574: tesh-s4u-concurrent_rw-bmf .................................. Passed 0.24 sec
16:30:56 Start 578: tesh-parser-sym-full
16:30:56 575/889 Test #577: tesh-parser-bypass .......................................... Passed 0.27 sec
16:30:56 Start 579: tesh-parser-full-links01
16:30:56 576/889 Test #579: tesh-parser-full-links01 .................................... Passed 0.02 sec
16:30:56 Start 580: tesh-parser-full-links02
16:30:56 577/889 Test #580: tesh-parser-full-links02 .................................... Passed 0.03 sec
16:30:56 Start 581: tesh-parser-one-link-g5k
16:30:56 578/889 Test #578: tesh-parser-sym-full ........................................ Passed 0.38 sec
16:30:56 Start 582: test-smpi-help-coll
16:30:56 579/889 Test #582: test-smpi-help-coll ......................................... Passed 0.03 sec
16:30:56 Start 583: tesh-smpi-macro-shared-thread
16:30:57 580/889 Test #581: tesh-parser-one-link-g5k .................................... Passed 0.23 sec
16:30:57 Start 584: tesh-smpi-macro-shared-boost
16:30:57 581/889 Test #583: tesh-smpi-macro-shared-thread ............................... Passed 0.33 sec
16:30:57 Start 585: tesh-smpi-macro-shared-ucontext
16:30:57 582/889 Test #584: tesh-smpi-macro-shared-boost ................................ Passed 0.32 sec
16:30:57 Start 586: tesh-smpi-auto-shared-thread
16:30:57 583/889 Test #585: tesh-smpi-macro-shared-ucontext ............................. Passed 0.32 sec
16:30:57 Start 587: tesh-smpi-auto-shared-boost
16:30:57 584/889 Test #586: tesh-smpi-auto-shared-thread ................................ Passed 0.33 sec
16:30:57 Start 588: tesh-smpi-auto-shared-ucontext
16:30:57 585/889 Test #587: tesh-smpi-auto-shared-boost ................................. Passed 0.32 sec
16:30:57 Start 589: tesh-smpi-macro-partial-shared-thread
16:30:58 586/889 Test #588: tesh-smpi-auto-shared-ucontext .............................. Passed 0.32 sec
16:30:58 Start 590: tesh-smpi-macro-partial-shared-boost
16:30:58 587/889 Test #589: tesh-smpi-macro-partial-shared-thread ....................... Passed 0.42 sec
16:30:58 Start 591: tesh-smpi-macro-partial-shared-ucontext
16:30:58 588/889 Test #590: tesh-smpi-macro-partial-shared-boost ........................ Passed 0.42 sec
16:30:58 Start 592: tesh-smpi-macro-partial-shared-communication-thread
16:30:58 589/889 Test #592: tesh-smpi-macro-partial-shared-communication-thread ......... Passed 0.39 sec
16:30:58 Start 593: tesh-smpi-macro-partial-shared-communication-boost
16:30:58 590/889 Test #591: tesh-smpi-macro-partial-shared-ucontext ..................... Passed 0.56 sec
16:30:58 Start 594: tesh-smpi-macro-partial-shared-communication-ucontext
16:30:59 591/889 Test #593: tesh-smpi-macro-partial-shared-communication-boost .......... Passed 0.38 sec
16:30:59 Start 595: tesh-smpi-coll-allgather-thread
16:30:59 592/889 Test #594: tesh-smpi-macro-partial-shared-communication-ucontext ....... Passed 0.40 sec
16:30:59 Start 596: tesh-smpi-coll-allgather-boost
16:30:59 593/889 Test #595: tesh-smpi-coll-allgather-thread ............................. Passed 0.46 sec
16:30:59 Start 597: tesh-smpi-coll-allgather-ucontext
16:30:59 594/889 Test #596: tesh-smpi-coll-allgather-boost .............................. Passed 0.52 sec
16:30:59 Start 598: tesh-smpi-coll-allgatherv-thread
16:31:00 595/889 Test #597: tesh-smpi-coll-allgather-ucontext ........................... Passed 0.46 sec
16:31:00 Start 599: tesh-smpi-coll-allgatherv-boost
16:31:00 596/889 Test #598: tesh-smpi-coll-allgatherv-thread ............................ Passed 0.45 sec
16:31:00 Start 600: tesh-smpi-coll-allgatherv-ucontext
16:31:00 597/889 Test #599: tesh-smpi-coll-allgatherv-boost ............................. Passed 0.46 sec
16:31:00 Start 601: tesh-smpi-coll-allreduce-thread
16:31:00 598/889 Test #600: tesh-smpi-coll-allgatherv-ucontext .......................... Passed 0.47 sec
16:31:00 Start 602: tesh-smpi-coll-allreduce-boost
16:31:01 599/889 Test #601: tesh-smpi-coll-allreduce-thread ............................. Passed 0.46 sec
16:31:01 Start 603: tesh-smpi-coll-allreduce-ucontext
16:31:01 600/889 Test #602: tesh-smpi-coll-allreduce-boost .............................. Passed 0.45 sec
16:31:01 Start 604: tesh-smpi-coll-alltoall-thread
16:31:01 601/889 Test #603: tesh-smpi-coll-allreduce-ucontext ........................... Passed 0.45 sec
16:31:01 Start 605: tesh-smpi-coll-alltoall-boost
16:31:01 602/889 Test #604: tesh-smpi-coll-alltoall-thread .............................. Passed 0.47 sec
16:31:01 Start 606: tesh-smpi-coll-alltoall-ucontext
16:31:02 603/889 Test #605: tesh-smpi-coll-alltoall-boost ............................... Passed 0.46 sec
16:31:02 Start 607: tesh-smpi-coll-alltoallv-thread
16:31:02 604/889 Test #606: tesh-smpi-coll-alltoall-ucontext ............................ Passed 0.44 sec
16:31:02 Start 608: tesh-smpi-coll-alltoallv-boost
16:31:02 605/889 Test #607: tesh-smpi-coll-alltoallv-thread ............................. Passed 0.46 sec
16:31:02 Start 609: tesh-smpi-coll-alltoallv-ucontext
16:31:02 606/889 Test #608: tesh-smpi-coll-alltoallv-boost .............................. Passed 0.47 sec
16:31:02 Start 610: tesh-smpi-coll-barrier-thread
16:31:02 607/889 Test #609: tesh-smpi-coll-alltoallv-ucontext ........................... Passed 0.45 sec
16:31:02 Start 611: tesh-smpi-coll-barrier-boost
16:31:03 608/889 Test #610: tesh-smpi-coll-barrier-thread ............................... Passed 0.45 sec
16:31:03 Start 612: tesh-smpi-coll-barrier-ucontext
16:31:03 609/889 Test #611: tesh-smpi-coll-barrier-boost ................................ Passed 0.46 sec
16:31:03 Start 613: tesh-smpi-coll-bcast-thread
16:31:03 610/889 Test #612: tesh-smpi-coll-barrier-ucontext ............................. Passed 0.46 sec
16:31:03 Start 614: tesh-smpi-coll-bcast-boost
16:31:03 611/889 Test #613: tesh-smpi-coll-bcast-thread ................................. Passed 0.45 sec
16:31:03 Start 615: tesh-smpi-coll-bcast-ucontext
16:31:04 612/889 Test #614: tesh-smpi-coll-bcast-boost .................................. Passed 1.33 sec
16:31:04 Start 616: tesh-smpi-coll-gather-thread
16:31:05 613/889 Test #615: tesh-smpi-coll-bcast-ucontext ............................... Passed 1.23 sec
16:31:05 Start 617: tesh-smpi-coll-gather-boost
16:31:05 614/889 Test #616: tesh-smpi-coll-gather-thread ................................ Passed 0.49 sec
16:31:05 Start 618: tesh-smpi-coll-gather-ucontext
16:31:05 615/889 Test #617: tesh-smpi-coll-gather-boost ................................. Passed 0.45 sec
16:31:05 Start 619: tesh-smpi-coll-reduce-thread
16:31:05 616/889 Test #618: tesh-smpi-coll-gather-ucontext .............................. Passed 0.45 sec
16:31:05 Start 620: tesh-smpi-coll-reduce-boost
16:31:06 617/889 Test #619: tesh-smpi-coll-reduce-thread ................................ Passed 0.51 sec
16:31:06 Start 621: tesh-smpi-coll-reduce-ucontext
16:31:06 618/889 Test #620: tesh-smpi-coll-reduce-boost ................................. Passed 0.70 sec
16:31:06 Start 622: tesh-smpi-coll-reduce-scatter-thread
16:31:06 619/889 Test #485: mc-mini-barber_shop_deadlock ................................***Failed 100.57 sec
16:31:06 Ignore all cruft seen on SimGrid's continuous integration servers
16:31:06 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/barber_shop_deadlock.tesh'
16:31:06 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:31:06 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:31:06 [barber_shop_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-barber_shop_deadlock 5 3 0 0
16:31:06 Test suite `barber_shop_deadlock.tesh': NOK (<barber_shop_deadlock.tesh:5> timeout after 100 sec)
16:31:06 Output of <barber_shop_deadlock.tesh:5> mismatch:
16:31:06 --- expected
16:31:06 +++ obtained
16:31:06 @@ -1,52 +1 @@
16:31:06 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:31:06 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:31:06 -[0.000000] [mc_global/INFO] **************************
16:31:06 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:31:06 -[0.000000] [mc_global/INFO] **************************
16:31:06 -[0.000000] [ker_engine/INFO] 4 actors are still active, awaiting something. Here is their status:
16:31:06 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:6)
16:31:06 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall SEM_WAIT(sem_id:2 not granted)
16:31:06 -[0.000000] [ker_engine/INFO] - pid 6 (thread 5@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:31:06 -[0.000000] [ker_engine/INFO] - pid 7 (thread 6@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:31:06 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_UNLOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 2, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 3, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_ASYNC_LOCK(semaphore: 3, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_WAIT(semaphore: 3, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 3 in simcall SEM_UNLOCK(semaphore: 1, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 1 in simcall ActorJoin(target 3, no timeout)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_UNLOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 2, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 3, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_ASYNC_LOCK(semaphore: 3, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_WAIT(semaphore: 3, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 4 in simcall SEM_UNLOCK(semaphore: 1, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 1 in simcall ActorJoin(target 4, no timeout)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_ASYNC_LOCK(semaphore: 1, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_WAIT(semaphore: 1, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_UNLOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 2, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 3, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 2, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_ASYNC_LOCK(semaphore: 3, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_WAIT(semaphore: 3, capacity: 0, granted: yes)
16:31:06 -[0.000000] [mc_global/INFO] Actor 5 in simcall SEM_UNLOCK(semaphore: 1, capacity: 1)
16:31:06 -[0.000000] [mc_global/INFO] Actor 1 in simcall ActorJoin(target 5, no timeout)
16:31:06 -[0.000000] [mc_global/INFO] Actor 6 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:31:06 -[0.000000] [mc_global/INFO] Actor 7 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:31:06 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;3;3;3;3;3;2;2;2;3;3;3;1;4;4;4;4;4;2;2;2;4;4;4;1;5;5;5;5;5;2;2;2;5;5;5;1;6;7'
16:31:06 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 40 unique states visited; 0 explored traces (0 transition replays, 40 states visited overall)
16:31:06 Test suite `barber_shop_deadlock.tesh': NOK (<barber_shop_deadlock.tesh:5> output mismatch)
16:31:06 In addition, <barber_shop_deadlock.tesh:5> got signal SIGTERM.
16:31:06
16:31:06 Start 623: tesh-smpi-coll-reduce-scatter-boost
16:31:06 620/889 Test #621: tesh-smpi-coll-reduce-ucontext .............................. Passed 0.56 sec
16:31:06 Start 624: tesh-smpi-coll-reduce-scatter-ucontext
16:31:06 621/889 Test #622: tesh-smpi-coll-reduce-scatter-thread ........................ Passed 0.48 sec
16:31:06 Start 625: tesh-smpi-coll-scatter-thread
16:31:07 622/889 Test #623: tesh-smpi-coll-reduce-scatter-boost ......................... Passed 0.78 sec
16:31:07 Start 626: tesh-smpi-coll-scatter-boost
16:31:07 623/889 Test #624: tesh-smpi-coll-reduce-scatter-ucontext ...................... Passed 0.83 sec
16:31:07 Start 627: tesh-smpi-coll-scatter-ucontext
16:31:07 624/889 Test #625: tesh-smpi-coll-scatter-thread ............................... Passed 0.69 sec
16:31:07 Start 628: tesh-smpi-macro-sample-thread
16:31:07 625/889 Test #626: tesh-smpi-coll-scatter-boost ................................ Passed 0.44 sec
16:31:07 Start 629: tesh-smpi-macro-sample-boost
16:31:07 626/889 Test #627: tesh-smpi-coll-scatter-ucontext ............................. Passed 0.45 sec
16:31:07 Start 630: tesh-smpi-macro-sample-ucontext
16:31:11 627/889 Test #628: tesh-smpi-macro-sample-thread ............................... Passed 3.96 sec
16:31:11 Start 631: tesh-smpi-pt2pt-dsend-thread
16:31:11 628/889 Test #629: tesh-smpi-macro-sample-boost ................................ Passed 3.94 sec
16:31:11 Start 632: tesh-smpi-pt2pt-dsend-boost
16:31:11 629/889 Test #630: tesh-smpi-macro-sample-ucontext ............................. Passed 3.93 sec
16:31:11 Start 633: tesh-smpi-pt2pt-dsend-ucontext
16:31:11 630/889 Test #631: tesh-smpi-pt2pt-dsend-thread ................................ Passed 0.31 sec
16:31:11 Start 634: tesh-smpi-pt2pt-pingpong-thread
16:31:12 631/889 Test #632: tesh-smpi-pt2pt-dsend-boost ................................. Passed 0.33 sec
16:31:12 Start 635: tesh-smpi-pt2pt-pingpong-boost
16:31:12 632/889 Test #633: tesh-smpi-pt2pt-dsend-ucontext .............................. Passed 0.34 sec
16:31:12 Start 636: tesh-smpi-pt2pt-pingpong-ucontext
16:31:12 633/889 Test #634: tesh-smpi-pt2pt-pingpong-thread ............................. Passed 0.29 sec
16:31:12 Start 637: tesh-smpi-type-hvector-thread
16:31:12 634/889 Test #635: tesh-smpi-pt2pt-pingpong-boost .............................. Passed 0.29 sec
16:31:12 Start 638: tesh-smpi-type-hvector-boost
16:31:12 635/889 Test #636: tesh-smpi-pt2pt-pingpong-ucontext ........................... Passed 0.29 sec
16:31:12 Start 639: tesh-smpi-type-hvector-ucontext
16:31:12 636/889 Test #637: tesh-smpi-type-hvector-thread ............................... Passed 0.28 sec
16:31:12 Start 640: tesh-smpi-type-indexed-thread
16:31:12 637/889 Test #638: tesh-smpi-type-hvector-boost ................................ Passed 0.28 sec
16:31:12 Start 641: tesh-smpi-type-indexed-boost
16:31:12 638/889 Test #639: tesh-smpi-type-hvector-ucontext ............................. Passed 0.28 sec
16:31:12 Start 642: tesh-smpi-type-indexed-ucontext
16:31:12 639/889 Test #640: tesh-smpi-type-indexed-thread ............................... Passed 0.29 sec
16:31:12 Start 643: tesh-smpi-type-struct-thread
16:31:12 640/889 Test #641: tesh-smpi-type-indexed-boost ................................ Passed 0.28 sec
16:31:12 Start 644: tesh-smpi-type-struct-boost
16:31:13 641/889 Test #642: tesh-smpi-type-indexed-ucontext ............................. Passed 0.28 sec
16:31:13 Start 645: tesh-smpi-type-struct-ucontext
16:31:13 642/889 Test #643: tesh-smpi-type-struct-thread ................................ Passed 0.29 sec
16:31:13 Start 646: tesh-smpi-type-vector-thread
16:31:13 643/889 Test #644: tesh-smpi-type-struct-boost ................................. Passed 0.28 sec
16:31:13 Start 647: tesh-smpi-type-vector-boost
16:31:13 644/889 Test #645: tesh-smpi-type-struct-ucontext .............................. Passed 0.28 sec
16:31:13 Start 648: tesh-smpi-type-vector-ucontext
16:31:13 645/889 Test #646: tesh-smpi-type-vector-thread ................................ Passed 0.29 sec
16:31:13 Start 649: tesh-smpi-bug-17132-thread
16:31:13 646/889 Test #647: tesh-smpi-type-vector-boost ................................. Passed 0.28 sec
16:31:13 Start 650: tesh-smpi-bug-17132-boost
16:31:13 647/889 Test #648: tesh-smpi-type-vector-ucontext .............................. Passed 0.28 sec
16:31:13 Start 651: tesh-smpi-bug-17132-ucontext
16:31:13 648/889 Test #649: tesh-smpi-bug-17132-thread .................................. Passed 0.34 sec
16:31:13 Start 652: tesh-smpi-timers-thread
16:31:13 649/889 Test #650: tesh-smpi-bug-17132-boost ................................... Passed 0.33 sec
16:31:13 Start 653: tesh-smpi-timers-boost
16:31:13 650/889 Test #651: tesh-smpi-bug-17132-ucontext ................................ Passed 0.32 sec
16:31:13 Start 654: tesh-smpi-timers-ucontext
16:31:14 651/889 Test #652: tesh-smpi-timers-thread ..................................... Passed 0.29 sec
16:31:14 Start 655: tesh-smpi-io-simple-thread
16:31:14 652/889 Test #653: tesh-smpi-timers-boost ...................................... Passed 0.28 sec
16:31:14 Start 656: tesh-smpi-io-simple-boost
16:31:14 653/889 Test #654: tesh-smpi-timers-ucontext ................................... Passed 0.28 sec
16:31:14 Start 657: tesh-smpi-io-simple-ucontext
16:31:14 654/889 Test #655: tesh-smpi-io-simple-thread .................................. Passed 0.31 sec
16:31:14 Start 658: tesh-smpi-io-simple-at-thread
16:31:14 655/889 Test #656: tesh-smpi-io-simple-boost ................................... Passed 0.29 sec
16:31:14 Start 659: tesh-smpi-io-simple-at-boost
16:31:14 656/889 Test #657: tesh-smpi-io-simple-ucontext ................................ Passed 0.29 sec
16:31:14 Start 660: tesh-smpi-io-simple-at-ucontext
16:31:14 657/889 Test #658: tesh-smpi-io-simple-at-thread ............................... Passed 0.30 sec
16:31:14 Start 661: tesh-smpi-io-all-thread
16:31:14 658/889 Test #659: tesh-smpi-io-simple-at-boost ................................ Passed 0.29 sec
16:31:14 Start 662: tesh-smpi-io-all-boost
16:31:14 659/889 Test #660: tesh-smpi-io-simple-at-ucontext ............................. Passed 0.30 sec
16:31:14 Start 663: tesh-smpi-io-all-ucontext
16:31:14 660/889 Test #661: tesh-smpi-io-all-thread ..................................... Passed 0.34 sec
16:31:14 Start 664: tesh-smpi-io-all-at-thread
16:31:14 661/889 Test #662: tesh-smpi-io-all-boost ...................................... Passed 0.30 sec
16:31:14 Start 665: tesh-smpi-io-all-at-boost
16:31:15 662/889 Test #663: tesh-smpi-io-all-ucontext ................................... Passed 0.31 sec
16:31:15 Start 666: tesh-smpi-io-all-at-ucontext
16:31:15 663/889 Test #665: tesh-smpi-io-all-at-boost ................................... Passed 0.30 sec
16:31:15 Start 667: tesh-smpi-io-shared-thread
16:31:15 664/889 Test #664: tesh-smpi-io-all-at-thread .................................. Passed 0.34 sec
16:31:15 Start 668: tesh-smpi-io-shared-boost
16:31:15 665/889 Test #666: tesh-smpi-io-all-at-ucontext ................................ Passed 0.31 sec
16:31:15 Start 669: tesh-smpi-io-shared-ucontext
16:31:15 666/889 Test #667: tesh-smpi-io-shared-thread .................................. Passed 0.32 sec
16:31:15 Start 670: tesh-smpi-io-ordered-thread
16:31:15 667/889 Test #668: tesh-smpi-io-shared-boost ................................... Passed 0.30 sec
16:31:15 Start 671: tesh-smpi-io-ordered-boost
16:31:15 668/889 Test #669: tesh-smpi-io-shared-ucontext ................................ Passed 0.30 sec
16:31:15 Start 672: tesh-smpi-io-ordered-ucontext
16:31:15 669/889 Test #671: tesh-smpi-io-ordered-boost .................................. Passed 0.29 sec
16:31:15 Start 673: tesh-smpi-topo-cart-sub-thread
16:31:15 670/889 Test #670: tesh-smpi-io-ordered-thread ................................. Passed 0.31 sec
16:31:15 Start 674: tesh-smpi-topo-cart-sub-boost
16:31:16 671/889 Test #672: tesh-smpi-io-ordered-ucontext ............................... Passed 0.30 sec
16:31:16 Start 675: tesh-smpi-topo-cart-sub-ucontext
16:31:16 672/889 Test #673: tesh-smpi-topo-cart-sub-thread .............................. Passed 0.30 sec
16:31:16 Start 676: tesh-smpi-fort_args-thread
16:31:16 673/889 Test #674: tesh-smpi-topo-cart-sub-boost ............................... Passed 0.29 sec
16:31:16 Start 677: tesh-smpi-fort_args-boost
16:31:16 674/889 Test #675: tesh-smpi-topo-cart-sub-ucontext ............................ Passed 0.29 sec
16:31:16 Start 678: tesh-smpi-fort_args-ucontext
16:31:16 675/889 Test #676: tesh-smpi-fort_args-thread .................................. Passed 0.27 sec
16:31:16 Start 679: tesh-smpi-coll-allgather-2dmesh
16:31:16 676/889 Test #677: tesh-smpi-fort_args-boost ................................... Passed 0.27 sec
16:31:16 Start 680: tesh-smpi-coll-allgather-3dmesh
16:31:16 677/889 Test #678: tesh-smpi-fort_args-ucontext ................................ Passed 0.28 sec
16:31:16 Start 681: tesh-smpi-coll-allgather-bruck
16:31:16 678/889 Test #679: tesh-smpi-coll-allgather-2dmesh ............................. Passed 0.44 sec
16:31:16 Start 682: tesh-smpi-coll-allgather-GB
16:31:16 679/889 Test #680: tesh-smpi-coll-allgather-3dmesh ............................. Passed 0.45 sec
16:31:16 Start 683: tesh-smpi-coll-allgather-loosely_lr
16:31:17 680/889 Test #681: tesh-smpi-coll-allgather-bruck .............................. Passed 0.45 sec
16:31:17 Start 684: tesh-smpi-coll-allgather-NTSLR
16:31:17 681/889 Test #682: tesh-smpi-coll-allgather-GB ................................. Passed 0.44 sec
16:31:17 Start 685: tesh-smpi-coll-allgather-NTSLR_NB
16:31:17 682/889 Test #683: tesh-smpi-coll-allgather-loosely_lr ......................... Passed 0.49 sec
16:31:17 Start 686: tesh-smpi-coll-allgather-pair
16:31:17 683/889 Test #684: tesh-smpi-coll-allgather-NTSLR .............................. Passed 0.47 sec
16:31:17 Start 687: tesh-smpi-coll-allgather-rdb
16:31:17 684/889 Test #685: tesh-smpi-coll-allgather-NTSLR_NB ........................... Passed 0.46 sec
16:31:17 Start 688: tesh-smpi-coll-allgather-rhv
16:31:17 685/889 Test #686: tesh-smpi-coll-allgather-pair ............................... Passed 0.46 sec
16:31:17 Start 689: tesh-smpi-coll-allgather-ring
16:31:17 686/889 Test #687: tesh-smpi-coll-allgather-rdb ................................ Passed 0.45 sec
16:31:17 Start 690: tesh-smpi-coll-allgather-SMP_NTS
16:31:18 687/889 Test #688: tesh-smpi-coll-allgather-rhv ................................ Passed 0.45 sec
16:31:18 Start 691: tesh-smpi-coll-allgather-smp_simple
16:31:18 688/889 Test #689: tesh-smpi-coll-allgather-ring ............................... Passed 0.47 sec
16:31:18 Start 692: tesh-smpi-coll-allgather-spreading_simple
16:31:18 689/889 Test #690: tesh-smpi-coll-allgather-SMP_NTS ............................ Passed 0.48 sec
16:31:18 Start 693: tesh-smpi-coll-allgather-ompi
16:31:18 690/889 Test #691: tesh-smpi-coll-allgather-smp_simple ......................... Passed 0.48 sec
16:31:18 Start 694: tesh-smpi-coll-allgather-mpich
16:31:18 691/889 Test #692: tesh-smpi-coll-allgather-spreading_simple ................... Passed 0.47 sec
16:31:18 Start 695: tesh-smpi-coll-allgather-ompi_neighborexchange
16:31:18 692/889 Test #693: tesh-smpi-coll-allgather-ompi ............................... Passed 0.45 sec
16:31:18 Start 696: tesh-smpi-coll-allgather-mvapich2
16:31:19 693/889 Test #694: tesh-smpi-coll-allgather-mpich .............................. Passed 0.45 sec
16:31:19 Start 697: tesh-smpi-coll-allgather-mvapich2_smp
16:31:19 694/889 Test #695: tesh-smpi-coll-allgather-ompi_neighborexchange .............. Passed 0.46 sec
16:31:19 Start 698: tesh-smpi-coll-allgather-impi
16:31:19 695/889 Test #696: tesh-smpi-coll-allgather-mvapich2 ........................... Passed 0.48 sec
16:31:19 Start 699: tesh-smpi-coll-allgatherv-GB
16:31:19 696/889 Test #697: tesh-smpi-coll-allgather-mvapich2_smp ....................... Passed 0.48 sec
16:31:19 Start 700: tesh-smpi-coll-allgatherv-pair
16:31:19 697/889 Test #698: tesh-smpi-coll-allgather-impi ............................... Passed 0.48 sec
16:31:19 Start 701: tesh-smpi-coll-allgatherv-ring
16:31:19 698/889 Test #699: tesh-smpi-coll-allgatherv-GB ................................ Passed 0.45 sec
16:31:19 Start 702: tesh-smpi-coll-allgatherv-ompi
16:31:20 699/889 Test #700: tesh-smpi-coll-allgatherv-pair .............................. Passed 0.47 sec
16:31:20 Start 703: tesh-smpi-coll-allgatherv-mpich
16:31:20 700/889 Test #701: tesh-smpi-coll-allgatherv-ring .............................. Passed 0.46 sec
16:31:20 Start 704: tesh-smpi-coll-allgatherv-ompi_neighborexchange
16:31:20 701/889 Test #702: tesh-smpi-coll-allgatherv-ompi .............................. Passed 0.45 sec
16:31:20 Start 705: tesh-smpi-coll-allgatherv-ompi_bruck
16:31:20 702/889 Test #703: tesh-smpi-coll-allgatherv-mpich ............................. Passed 0.45 sec
16:31:20 Start 706: tesh-smpi-coll-allgatherv-mpich_rdb
16:31:20 703/889 Test #704: tesh-smpi-coll-allgatherv-ompi_neighborexchange ............. Passed 0.45 sec
16:31:20 Start 707: tesh-smpi-coll-allgatherv-mpich_ring
16:31:20 704/889 Test #705: tesh-smpi-coll-allgatherv-ompi_bruck ........................ Passed 0.45 sec
16:31:20 Start 708: tesh-smpi-coll-allgatherv-mvapich2
16:31:21 705/889 Test #706: tesh-smpi-coll-allgatherv-mpich_rdb ......................... Passed 0.45 sec
16:31:21 Start 709: tesh-smpi-coll-allgatherv-impi
16:31:21 706/889 Test #707: tesh-smpi-coll-allgatherv-mpich_ring ........................ Passed 0.47 sec
16:31:21 Start 710: tesh-smpi-coll-allreduce-lr
16:31:21 707/889 Test #708: tesh-smpi-coll-allgatherv-mvapich2 .......................... Passed 0.47 sec
16:31:21 Start 711: tesh-smpi-coll-allreduce-rab1
16:31:21 708/889 Test #709: tesh-smpi-coll-allgatherv-impi .............................. Passed 0.48 sec
16:31:21 Start 712: tesh-smpi-coll-allreduce-rab2
16:31:21 709/889 Test #710: tesh-smpi-coll-allreduce-lr ................................. Passed 0.48 sec
16:31:21 Start 713: tesh-smpi-coll-allreduce-rab_rdb
16:31:21 710/889 Test #711: tesh-smpi-coll-allreduce-rab1 ............................... Passed 0.47 sec
16:31:21 Start 714: tesh-smpi-coll-allreduce-rdb
16:31:22 711/889 Test #712: tesh-smpi-coll-allreduce-rab2 ............................... Passed 0.47 sec
16:31:22 Start 715: tesh-smpi-coll-allreduce-smp_binomial
16:31:22 712/889 Test #713: tesh-smpi-coll-allreduce-rab_rdb ............................ Passed 0.45 sec
16:31:22 Start 716: tesh-smpi-coll-allreduce-smp_binomial_pipeline
16:31:22 713/889 Test #714: tesh-smpi-coll-allreduce-rdb ................................ Passed 0.45 sec
16:31:22 Start 717: tesh-smpi-coll-allreduce-smp_rdb
16:31:22 714/889 Test #715: tesh-smpi-coll-allreduce-smp_binomial ....................... Passed 0.47 sec
16:31:22 Start 718: tesh-smpi-coll-allreduce-smp_rsag
16:31:22 715/889 Test #716: tesh-smpi-coll-allreduce-smp_binomial_pipeline .............. Passed 0.47 sec
16:31:22 Start 719: tesh-smpi-coll-allreduce-smp_rsag_lr
16:31:22 716/889 Test #717: tesh-smpi-coll-allreduce-smp_rdb ............................ Passed 0.47 sec
16:31:22 Start 720: tesh-smpi-coll-allreduce-impi
16:31:22 717/889 Test #718: tesh-smpi-coll-allreduce-smp_rsag ........................... Passed 0.48 sec
16:31:22 Start 721: tesh-smpi-coll-allreduce-smp_rsag_rab
16:31:23 718/889 Test #719: tesh-smpi-coll-allreduce-smp_rsag_lr ........................ Passed 0.48 sec
16:31:23 Start 722: tesh-smpi-coll-allreduce-redbcast
16:31:23 719/889 Test #720: tesh-smpi-coll-allreduce-impi ............................... Passed 0.47 sec
16:31:23 Start 723: tesh-smpi-coll-allreduce-ompi
16:31:23 720/889 Test #721: tesh-smpi-coll-allreduce-smp_rsag_rab ....................... Passed 0.47 sec
16:31:23 Start 724: tesh-smpi-coll-allreduce-mpich
16:31:23 721/889 Test #722: tesh-smpi-coll-allreduce-redbcast ........................... Passed 0.45 sec
16:31:23 Start 725: tesh-smpi-coll-allreduce-ompi_ring_segmented
16:31:23 722/889 Test #723: tesh-smpi-coll-allreduce-ompi ............................... Passed 0.45 sec
16:31:23 Start 726: tesh-smpi-coll-allreduce-mvapich2
16:31:23 723/889 Test #724: tesh-smpi-coll-allreduce-mpich .............................. Passed 0.47 sec
16:31:23 Start 727: tesh-smpi-coll-allreduce-mvapich2_rs
16:31:23 724/889 Test #725: tesh-smpi-coll-allreduce-ompi_ring_segmented ................ Passed 0.48 sec
16:31:23 Start 728: tesh-smpi-coll-allreduce-mvapich2_two_level
16:31:24 725/889 Test #726: tesh-smpi-coll-allreduce-mvapich2 ........................... Passed 0.47 sec
16:31:24 Start 729: tesh-smpi-coll-alltoall-2dmesh
16:31:24 726/889 Test #727: tesh-smpi-coll-allreduce-mvapich2_rs ........................ Passed 0.45 sec
16:31:24 Start 730: tesh-smpi-coll-alltoall-3dmesh
16:31:24 727/889 Test #729: tesh-smpi-coll-alltoall-2dmesh .............................. Passed 0.45 sec
16:31:24 Start 731: tesh-smpi-coll-alltoall-pair
16:31:24 728/889 Test #728: tesh-smpi-coll-allreduce-mvapich2_two_level ................. Passed 0.48 sec
16:31:24 Start 732: tesh-smpi-coll-alltoall-pair_rma
16:31:24 729/889 Test #730: tesh-smpi-coll-alltoall-3dmesh .............................. Passed 0.45 sec
16:31:24 Start 733: tesh-smpi-coll-alltoall-pair_one_barrier
16:31:24 730/889 Test #731: tesh-smpi-coll-alltoall-pair ................................ Passed 0.45 sec
16:31:24 Start 734: tesh-smpi-coll-alltoall-pair_light_barrier
16:31:24 731/889 Test #732: tesh-smpi-coll-alltoall-pair_rma ............................ Passed 0.51 sec
16:31:24 Start 735: tesh-smpi-coll-alltoall-pair_mpi_barrier
16:31:25 732/889 Test #733: tesh-smpi-coll-alltoall-pair_one_barrier .................... Passed 0.47 sec
16:31:25 Start 736: tesh-smpi-coll-alltoall-rdb
16:31:25 733/889 Test #734: tesh-smpi-coll-alltoall-pair_light_barrier .................. Passed 0.48 sec
16:31:25 Start 737: tesh-smpi-coll-alltoall-ring
16:31:25 734/889 Test #735: tesh-smpi-coll-alltoall-pair_mpi_barrier .................... Passed 0.50 sec
16:31:25 Start 738: tesh-smpi-coll-alltoall-ring_light_barrier
16:31:25 735/889 Test #736: tesh-smpi-coll-alltoall-rdb ................................. Passed 0.45 sec
16:31:25 Start 739: tesh-smpi-coll-alltoall-ring_mpi_barrier
16:31:25 736/889 Test #737: tesh-smpi-coll-alltoall-ring ................................ Passed 0.47 sec
16:31:25 Start 740: tesh-smpi-coll-alltoall-ring_one_barrier
16:31:25 737/889 Test #738: tesh-smpi-coll-alltoall-ring_light_barrier .................. Passed 0.48 sec
16:31:25 Start 741: tesh-smpi-coll-alltoall-bruck
16:31:26 738/889 Test #739: tesh-smpi-coll-alltoall-ring_mpi_barrier .................... Passed 0.51 sec
16:31:26 Start 742: tesh-smpi-coll-alltoall-basic_linear
16:31:26 739/889 Test #740: tesh-smpi-coll-alltoall-ring_one_barrier .................... Passed 0.47 sec
16:31:26 Start 743: tesh-smpi-coll-alltoall-ompi
16:31:26 740/889 Test #741: tesh-smpi-coll-alltoall-bruck ............................... Passed 0.45 sec
16:31:26 Start 744: tesh-smpi-coll-alltoall-mpich
16:31:26 741/889 Test #742: tesh-smpi-coll-alltoall-basic_linear ........................ Passed 0.47 sec
16:31:26 Start 745: tesh-smpi-coll-alltoall-mvapich2
16:31:26 742/889 Test #743: tesh-smpi-coll-alltoall-ompi ................................ Passed 0.45 sec
16:31:26 Start 746: tesh-smpi-coll-alltoall-mvapich2_scatter_dest
16:31:26 743/889 Test #744: tesh-smpi-coll-alltoall-mpich ............................... Passed 0.46 sec
16:31:26 Start 747: tesh-smpi-coll-alltoall-impi
16:31:27 744/889 Test #745: tesh-smpi-coll-alltoall-mvapich2 ............................ Passed 0.45 sec
16:31:27 Start 748: tesh-smpi-coll-alltoallv-pair
16:31:27 745/889 Test #746: tesh-smpi-coll-alltoall-mvapich2_scatter_dest ............... Passed 0.47 sec
16:31:27 Start 749: tesh-smpi-coll-alltoallv-pair_light_barrier
16:31:27 746/889 Test #747: tesh-smpi-coll-alltoall-impi ................................ Passed 0.49 sec
16:31:27 Start 750: tesh-smpi-coll-alltoallv-pair_mpi_barrier
16:31:27 747/889 Test #748: tesh-smpi-coll-alltoallv-pair ............................... Passed 0.48 sec
16:31:27 Start 751: tesh-smpi-coll-alltoallv-pair_one_barrier
16:31:27 748/889 Test #749: tesh-smpi-coll-alltoallv-pair_light_barrier ................. Passed 0.49 sec
16:31:27 Start 752: tesh-smpi-coll-alltoallv-ring
16:31:27 749/889 Test #750: tesh-smpi-coll-alltoallv-pair_mpi_barrier ................... Passed 0.52 sec
16:31:27 Start 753: tesh-smpi-coll-alltoallv-ring_light_barrier
16:31:28 750/889 Test #751: tesh-smpi-coll-alltoallv-pair_one_barrier ................... Passed 0.49 sec
16:31:28 Start 754: tesh-smpi-coll-alltoallv-ring_mpi_barrier
16:31:28 751/889 Test #752: tesh-smpi-coll-alltoallv-ring ............................... Passed 0.48 sec
16:31:28 Start 755: tesh-smpi-coll-alltoallv-ring_one_barrier
16:31:28 752/889 Test #753: tesh-smpi-coll-alltoallv-ring_light_barrier ................. Passed 0.50 sec
16:31:28 Start 756: tesh-smpi-coll-alltoallv-bruck
16:31:28 753/889 Test #754: tesh-smpi-coll-alltoallv-ring_mpi_barrier ................... Passed 0.52 sec
16:31:28 Start 757: tesh-smpi-coll-alltoallv-ompi
16:31:28 754/889 Test #755: tesh-smpi-coll-alltoallv-ring_one_barrier ................... Passed 0.48 sec
16:31:28 Start 758: tesh-smpi-coll-alltoallv-mpich
16:31:28 755/889 Test #756: tesh-smpi-coll-alltoallv-bruck .............................. Passed 0.48 sec
16:31:28 Start 759: tesh-smpi-coll-alltoallv-mvapich2
16:31:29 756/889 Test #757: tesh-smpi-coll-alltoallv-ompi ............................... Passed 0.50 sec
16:31:29 Start 760: tesh-smpi-coll-alltoallv-ompi_basic_linear
16:31:29 757/889 Test #758: tesh-smpi-coll-alltoallv-mpich .............................. Passed 0.48 sec
16:31:29 Start 761: tesh-smpi-coll-alltoallv-impi
16:31:29 758/889 Test #759: tesh-smpi-coll-alltoallv-mvapich2 ........................... Passed 0.48 sec
16:31:29 Start 762: tesh-smpi-coll-barrier-ompi
16:31:29 759/889 Test #760: tesh-smpi-coll-alltoallv-ompi_basic_linear .................. Passed 0.48 sec
16:31:29 Start 763: tesh-smpi-coll-barrier-mpich
16:31:29 760/889 Test #761: tesh-smpi-coll-alltoallv-impi ............................... Passed 0.51 sec
16:31:29 Start 764: tesh-smpi-coll-barrier-mpich_smp
16:31:29 761/889 Test #762: tesh-smpi-coll-barrier-ompi ................................. Passed 0.45 sec
16:31:29 Start 765: tesh-smpi-coll-barrier-ompi_basic_linear
16:31:30 762/889 Test #763: tesh-smpi-coll-barrier-mpich ................................ Passed 0.45 sec
16:31:30 Start 766: tesh-smpi-coll-barrier-ompi_tree
16:31:30 763/889 Test #764: tesh-smpi-coll-barrier-mpich_smp ............................ Passed 0.47 sec
16:31:30 Start 767: tesh-smpi-coll-barrier-ompi_bruck
16:31:30 764/889 Test #765: tesh-smpi-coll-barrier-ompi_basic_linear .................... Passed 0.44 sec
16:31:30 Start 768: tesh-smpi-coll-barrier-ompi_recursivedoubling
16:31:30 765/889 Test #766: tesh-smpi-coll-barrier-ompi_tree ............................ Passed 0.45 sec
16:31:30 Start 769: tesh-smpi-coll-barrier-ompi_doublering
16:31:30 766/889 Test #767: tesh-smpi-coll-barrier-ompi_bruck ........................... Passed 0.45 sec
16:31:30 Start 770: tesh-smpi-coll-barrier-mvapich2_pair
16:31:30 767/889 Test #768: tesh-smpi-coll-barrier-ompi_recursivedoubling ............... Passed 0.44 sec
16:31:30 Start 771: tesh-smpi-coll-barrier-mvapich2
16:31:30 768/889 Test #769: tesh-smpi-coll-barrier-ompi_doublering ...................... Passed 0.44 sec
16:31:30 Start 772: tesh-smpi-coll-barrier-impi
16:31:31 769/889 Test #770: tesh-smpi-coll-barrier-mvapich2_pair ........................ Passed 0.45 sec
16:31:31 Start 773: tesh-smpi-coll-bcast-arrival_pattern_aware
16:31:31 770/889 Test #771: tesh-smpi-coll-barrier-mvapich2 ............................. Passed 0.45 sec
16:31:31 Start 774: tesh-smpi-coll-bcast-arrival_pattern_aware_wait
16:31:31 771/889 Test #772: tesh-smpi-coll-barrier-impi ................................. Passed 0.47 sec
16:31:31 Start 775: tesh-smpi-coll-bcast-arrival_scatter
16:31:31 772/889 Test #773: tesh-smpi-coll-bcast-arrival_pattern_aware .................. Passed 0.46 sec
16:31:31 Start 776: tesh-smpi-coll-bcast-binomial_tree
16:31:31 773/889 Test #774: tesh-smpi-coll-bcast-arrival_pattern_aware_wait ............. Passed 0.47 sec
16:31:31 Start 777: tesh-smpi-coll-bcast-flattree
16:31:31 774/889 Test #775: tesh-smpi-coll-bcast-arrival_scatter ........................ Passed 0.50 sec
16:31:31 Start 778: tesh-smpi-coll-bcast-flattree_pipeline
16:31:31 775/889 Test #776: tesh-smpi-coll-bcast-binomial_tree .......................... Passed 0.45 sec
16:31:31 Start 779: tesh-smpi-coll-bcast-NTSB
16:31:32 776/889 Test #777: tesh-smpi-coll-bcast-flattree ............................... Passed 0.46 sec
16:31:32 Start 780: tesh-smpi-coll-bcast-NTSL
16:31:32 777/889 Test #778: tesh-smpi-coll-bcast-flattree_pipeline ...................... Passed 0.45 sec
16:31:32 Start 781: tesh-smpi-coll-bcast-NTSL_Isend
16:31:32 778/889 Test #779: tesh-smpi-coll-bcast-NTSB ................................... Passed 0.45 sec
16:31:32 Start 782: tesh-smpi-coll-bcast-scatter_LR_allgather
16:31:32 779/889 Test #780: tesh-smpi-coll-bcast-NTSL ................................... Passed 0.45 sec
16:31:32 Start 783: tesh-smpi-coll-bcast-scatter_rdb_allgather
16:31:32 780/889 Test #781: tesh-smpi-coll-bcast-NTSL_Isend ............................. Passed 0.45 sec
16:31:32 Start 784: tesh-smpi-coll-bcast-SMP_binary
16:31:32 781/889 Test #782: tesh-smpi-coll-bcast-scatter_LR_allgather ................... Passed 0.49 sec
16:31:32 Start 785: tesh-smpi-coll-bcast-SMP_binomial
16:31:32 782/889 Test #783: tesh-smpi-coll-bcast-scatter_rdb_allgather .................. Passed 0.47 sec
16:31:32 Start 786: tesh-smpi-coll-bcast-SMP_linear
16:31:33 783/889 Test #784: tesh-smpi-coll-bcast-SMP_binary ............................. Passed 0.48 sec
16:31:33 Start 787: tesh-smpi-coll-bcast-ompi
16:31:33 784/889 Test #785: tesh-smpi-coll-bcast-SMP_binomial ........................... Passed 0.48 sec
16:31:33 Start 788: tesh-smpi-coll-bcast-mpich
16:31:33 785/889 Test #786: tesh-smpi-coll-bcast-SMP_linear ............................. Passed 0.49 sec
16:31:33 Start 789: tesh-smpi-coll-bcast-ompi_split_bintree
16:31:33 786/889 Test #787: tesh-smpi-coll-bcast-ompi ................................... Passed 0.45 sec
16:31:33 Start 790: tesh-smpi-coll-bcast-ompi_pipeline
16:31:33 787/889 Test #788: tesh-smpi-coll-bcast-mpich .................................. Passed 0.48 sec
16:31:33 Start 791: tesh-smpi-coll-bcast-mvapich2
16:31:33 788/889 Test #789: tesh-smpi-coll-bcast-ompi_split_bintree ..................... Passed 0.47 sec
16:31:33 Start 792: tesh-smpi-coll-bcast-mvapich2_intra_node
16:31:34 789/889 Test #790: tesh-smpi-coll-bcast-ompi_pipeline .......................... Passed 0.46 sec
16:31:34 Start 793: tesh-smpi-coll-bcast-mvapich2_knomial_intra_node
16:31:34 790/889 Test #791: tesh-smpi-coll-bcast-mvapich2 ............................... Passed 0.49 sec
16:31:34 Start 794: tesh-smpi-coll-bcast-impi
16:31:34 791/889 Test #792: tesh-smpi-coll-bcast-mvapich2_intra_node .................... Passed 0.48 sec
16:31:34 Start 795: tesh-smpi-coll-gather-ompi
16:31:34 792/889 Test #793: tesh-smpi-coll-bcast-mvapich2_knomial_intra_node ............ Passed 0.48 sec
16:31:34 Start 796: tesh-smpi-coll-gather-mpich
16:31:34 793/889 Test #794: tesh-smpi-coll-bcast-impi ................................... Passed 0.48 sec
16:31:34 Start 797: tesh-smpi-coll-gather-ompi_basic_linear
16:31:34 794/889 Test #795: tesh-smpi-coll-gather-ompi .................................. Passed 0.46 sec
16:31:34 Start 798: tesh-smpi-coll-gather-ompi_linear_sync
16:31:35 795/889 Test #796: tesh-smpi-coll-gather-mpich ................................. Passed 0.45 sec
16:31:35 Start 799: tesh-smpi-coll-gather-ompi_binomial
16:31:35 796/889 Test #797: tesh-smpi-coll-gather-ompi_basic_linear ..................... Passed 0.44 sec
16:31:35 Start 800: tesh-smpi-coll-gather-mvapich2
16:31:35 797/889 Test #798: tesh-smpi-coll-gather-ompi_linear_sync ...................... Passed 0.45 sec
16:31:35 Start 801: tesh-smpi-coll-gather-mvapich2_two_level
16:31:35 798/889 Test #799: tesh-smpi-coll-gather-ompi_binomial ......................... Passed 0.45 sec
16:31:35 Start 802: tesh-smpi-coll-gather-impi
16:31:35 799/889 Test #800: tesh-smpi-coll-gather-mvapich2 .............................. Passed 0.44 sec
16:31:35 Start 803: tesh-smpi-coll-reduce-arrival_pattern_aware
16:31:35 800/889 Test #801: tesh-smpi-coll-gather-mvapich2_two_level .................... Passed 0.47 sec
16:31:35 Start 804: tesh-smpi-coll-reduce-binomial
16:31:36 801/889 Test #802: tesh-smpi-coll-gather-impi .................................. Passed 0.47 sec
16:31:36 Start 805: tesh-smpi-coll-reduce-flat_tree
16:31:36 802/889 Test #803: tesh-smpi-coll-reduce-arrival_pattern_aware ................. Passed 0.46 sec
16:31:36 Start 806: tesh-smpi-coll-reduce-NTSL
16:31:36 803/889 Test #804: tesh-smpi-coll-reduce-binomial .............................. Passed 0.46 sec
16:31:36 Start 807: tesh-smpi-coll-reduce-scatter_gather
16:31:36 804/889 Test #805: tesh-smpi-coll-reduce-flat_tree ............................. Passed 0.45 sec
16:31:36 Start 808: tesh-smpi-coll-reduce-ompi
16:31:36 805/889 Test #806: tesh-smpi-coll-reduce-NTSL .................................. Passed 0.45 sec
16:31:36 Start 809: tesh-smpi-coll-reduce-mpich
16:31:36 806/889 Test #807: tesh-smpi-coll-reduce-scatter_gather ........................ Passed 0.47 sec
16:31:36 Start 810: tesh-smpi-coll-reduce-ompi_chain
16:31:37 807/889 Test #808: tesh-smpi-coll-reduce-ompi .................................. Passed 0.45 sec
16:31:37 Start 811: tesh-smpi-coll-reduce-ompi_binary
16:31:37 808/889 Test #809: tesh-smpi-coll-reduce-mpich ................................. Passed 0.48 sec
16:31:37 Start 812: tesh-smpi-coll-reduce-impi
16:31:37 809/889 Test #810: tesh-smpi-coll-reduce-ompi_chain ............................ Passed 0.46 sec
16:31:37 Start 813: tesh-smpi-coll-reduce-ompi_basic_linear
16:31:37 810/889 Test #811: tesh-smpi-coll-reduce-ompi_binary ........................... Passed 0.45 sec
16:31:37 Start 814: tesh-smpi-coll-reduce-ompi_binomial
16:31:37 811/889 Test #812: tesh-smpi-coll-reduce-impi .................................. Passed 0.48 sec
16:31:37 Start 815: tesh-smpi-coll-reduce-ompi_in_order_binary
16:31:37 812/889 Test #813: tesh-smpi-coll-reduce-ompi_basic_linear ..................... Passed 0.45 sec
16:31:37 Start 816: tesh-smpi-coll-reduce-mvapich2
16:31:37 813/889 Test #814: tesh-smpi-coll-reduce-ompi_binomial ......................... Passed 0.45 sec
16:31:37 Start 817: tesh-smpi-coll-reduce-mvapich2_knomial
16:31:38 814/889 Test #815: tesh-smpi-coll-reduce-ompi_in_order_binary .................. Passed 0.45 sec
16:31:38 Start 818: tesh-smpi-coll-reduce-mvapich2_two_level
16:31:38 815/889 Test #816: tesh-smpi-coll-reduce-mvapich2 .............................. Passed 0.48 sec
16:31:38 Start 819: tesh-smpi-coll-reduce-rab
16:31:38 816/889 Test #817: tesh-smpi-coll-reduce-mvapich2_knomial ...................... Passed 0.46 sec
16:31:38 Start 820: tesh-smpi-coll-reduce-scatter-ompi
16:31:38 817/889 Test #818: tesh-smpi-coll-reduce-mvapich2_two_level .................... Passed 0.48 sec
16:31:38 Start 821: tesh-smpi-coll-reduce-scatter-mpich
16:31:38 818/889 Test #819: tesh-smpi-coll-reduce-rab ................................... Passed 0.47 sec
16:31:38 Start 822: tesh-smpi-coll-reduce-scatter-ompi_basic_recursivehalving
16:31:38 819/889 Test #820: tesh-smpi-coll-reduce-scatter-ompi .......................... Passed 0.45 sec
16:31:38 Start 823: tesh-smpi-coll-reduce-scatter-ompi_ring
16:31:39 820/889 Test #821: tesh-smpi-coll-reduce-scatter-mpich ......................... Passed 0.45 sec
16:31:39 Start 824: tesh-smpi-coll-reduce-scatter-ompi_butterfly
16:31:39 821/889 Test #822: tesh-smpi-coll-reduce-scatter-ompi_basic_recursivehalving ... Passed 0.45 sec
16:31:39 Start 825: tesh-smpi-coll-reduce-scatter-mpich_noncomm
16:31:39 822/889 Test #823: tesh-smpi-coll-reduce-scatter-ompi_ring ..................... Passed 0.46 sec
16:31:39 Start 826: tesh-smpi-coll-reduce-scatter-mpich_pair
16:31:39 823/889 Test #824: tesh-smpi-coll-reduce-scatter-ompi_butterfly ................ Passed 0.45 sec
16:31:39 Start 827: tesh-smpi-coll-reduce-scatter-mvapich2
16:31:39 824/889 Test #825: tesh-smpi-coll-reduce-scatter-mpich_noncomm ................. Passed 0.45 sec
16:31:39 Start 828: tesh-smpi-coll-reduce-scatter-mpich_rdb
16:31:39 825/889 Test #826: tesh-smpi-coll-reduce-scatter-mpich_pair .................... Passed 0.47 sec
16:31:39 Start 829: tesh-smpi-coll-reduce-scatter-impi
16:31:39 826/889 Test #827: tesh-smpi-coll-reduce-scatter-mvapich2 ...................... Passed 0.44 sec
16:31:39 Start 830: tesh-smpi-coll-scatter-ompi
16:31:39 827/889 Test #828: tesh-smpi-coll-reduce-scatter-mpich_rdb ..................... Passed 0.45 sec
16:31:39 Start 831: tesh-smpi-coll-scatter-mpich
16:31:40 828/889 Test #829: tesh-smpi-coll-reduce-scatter-impi .......................... Passed 0.48 sec
16:31:40 Start 832: tesh-smpi-coll-scatter-ompi_basic_linear
16:31:40 829/889 Test #830: tesh-smpi-coll-scatter-ompi ................................. Passed 0.45 sec
16:31:40 Start 833: tesh-smpi-coll-scatter-ompi_binomial
16:31:40 830/889 Test #831: tesh-smpi-coll-scatter-mpich ................................ Passed 0.45 sec
16:31:40 Start 834: tesh-smpi-coll-scatter-ompi_linear_nb
16:31:40 831/889 Test #832: tesh-smpi-coll-scatter-ompi_basic_linear .................... Passed 0.45 sec
16:31:40 Start 835: tesh-smpi-coll-scatter-mvapich2
16:31:40 832/889 Test #833: tesh-smpi-coll-scatter-ompi_binomial ........................ Passed 0.44 sec
16:31:40 Start 836: tesh-smpi-coll-scatter-mvapich2_two_level_binomial
16:31:40 833/889 Test #834: tesh-smpi-coll-scatter-ompi_linear_nb ....................... Passed 0.44 sec
16:31:40 Start 837: tesh-smpi-coll-scatter-mvapich2_two_level_direct
16:31:41 834/889 Test #835: tesh-smpi-coll-scatter-mvapich2 ............................. Passed 0.48 sec
16:31:41 Start 838: tesh-smpi-coll-scatter-impi
16:31:41 835/889 Test #836: tesh-smpi-coll-scatter-mvapich2_two_level_binomial .......... Passed 0.47 sec
16:31:41 Start 839: tesh-smpi-coll-allreduce-large
16:31:41 836/889 Test #837: tesh-smpi-coll-scatter-mvapich2_two_level_direct ............ Passed 0.48 sec
16:31:41 Start 840: tesh-smpi-coll-allreduce-automatic
16:31:41 837/889 Test #838: tesh-smpi-coll-scatter-impi ................................. Passed 0.49 sec
16:31:41 Start 841: tesh-smpi-cluster-types
16:31:41 838/889 Test #839: tesh-smpi-coll-allreduce-large .............................. Passed 0.41 sec
16:31:41 Start 842: tesh-smpi-coll-allreduce-with-leaks
16:31:42 839/889 Test #842: tesh-smpi-coll-allreduce-with-leaks ......................... Passed 0.45 sec
16:31:42 Start 843: tesh-mc-smpi-coll-allreduce-with-leaks
16:31:42 840/889 Test #840: tesh-smpi-coll-allreduce-automatic .......................... Passed 1.00 sec
16:31:42 Start 844: tesh-smpi-broken-thread
16:31:42 841/889 Test #844: tesh-smpi-broken-thread ..................................... Passed 0.29 sec
16:31:42 Start 845: tesh-smpi-replay-ti-tracing
16:31:43 842/889 Test #843: tesh-mc-smpi-coll-allreduce-with-leaks ...................... Passed 0.91 sec
16:31:43 Start 846: tesh-smpi-replay-ti-tracing-coll
16:31:43 843/889 Test #841: tesh-smpi-cluster-types ..................................... Passed 1.49 sec
16:31:43 Start 847: tesh-smpi-gh-139-thread
16:31:43 844/889 Test #845: tesh-smpi-replay-ti-tracing ................................. Passed 0.61 sec
16:31:43 Start 848: tesh-smpi-privatization-dlopen-thread
16:31:43 845/889 Test #847: tesh-smpi-gh-139-thread ..................................... Passed 0.28 sec
16:31:43 Start 849: tesh-smpi-privatization-dlopen-boost
16:31:43 846/889 Test #848: tesh-smpi-privatization-dlopen-thread ....................... Passed 0.41 sec
16:31:43 Start 850: tesh-smpi-privatization-dlopen-ucontext
16:31:43 847/889 Test #849: tesh-smpi-privatization-dlopen-boost ........................ Passed 0.39 sec
16:31:43 Start 851: tesh-smpi-privatization-mmap-thread
16:31:44 848/889 Test #850: tesh-smpi-privatization-dlopen-ucontext ..................... Passed 0.40 sec
16:31:44 Start 852: tesh-smpi-privatization-mmap-boost
16:31:44 849/889 Test #851: tesh-smpi-privatization-mmap-thread ......................... Passed 0.40 sec
16:31:44 Start 853: tesh-smpi-privatization-mmap-ucontext
16:31:44 850/889 Test #846: tesh-smpi-replay-ti-tracing-coll ............................ Passed 1.28 sec
16:31:44 Start 854: test-smpi-mpich3-thread-f77
16:31:44 851/889 Test #852: tesh-smpi-privatization-mmap-boost .......................... Passed 0.34 sec
16:31:44 Start 855: test-smpi-mpich3-thread-f90
16:31:44 852/889 Test #853: tesh-smpi-privatization-mmap-ucontext ....................... Passed 0.34 sec
16:31:44 Start 856: test-smpi-mpich3-coll-default
16:31:51 853/889 Test #855: test-smpi-mpich3-thread-f90 ................................. Passed 6.75 sec
16:31:51 Start 857: test-smpi-mpich3-coll-ompi-dlopen
16:31:53 854/889 Test #854: test-smpi-mpich3-thread-f77 ................................. Passed 8.81 sec
16:31:53 Start 858: test-smpi-mpich3-coll-mpich-dlopen-boost
16:32:17 855/889 Test #491: mc-mini-producer_consumer_deadlock ..........................***Failed 100.52 sec
16:32:17 Ignore all cruft seen on SimGrid's continuous integration servers
16:32:17 Test suite '/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/teshsuite/mc/mcmini/producer_consumer_deadlock.tesh'
16:32:17 [Tesh/INFO] setenv libdir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib
16:32:17 [Tesh/INFO] setenv bindir=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc
16:32:17 [producer_consumer_deadlock.tesh:5] /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/../../bin/simgrid-mc --cfg=model-check/reduction:odpor --cfg=model-check/setenv:LD_PRELOAD=/builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/lib/libsthread.so /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/teshsuite/mc/mcmini/mcmini-producer_consumer_deadlock 5 3 0
16:32:17 Test suite `producer_consumer_deadlock.tesh': NOK (<producer_consumer_deadlock.tesh:5> timeout after 100 sec)
16:32:17 Output of <producer_consumer_deadlock.tesh:5> mismatch:
16:32:17 --- expected
16:32:17 +++ obtained
16:32:17 @@ -1,50 +1 @@
16:32:17 [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/reduction' to 'odpor'
16:32:17 -[0.000000] [mc_dfs/INFO] Start a DFS exploration. Reduction is: odpor.
16:32:17 -[0.000000] [mc_global/INFO] **************************
16:32:17 -[0.000000] [mc_global/INFO] *** DEADLOCK DETECTED ***
16:32:17 -[0.000000] [mc_global/INFO] **************************
16:32:17 -[0.000000] [ker_engine/INFO] 11 actors are still active, awaiting something. Here is their status:
16:32:17 -[0.000000] [ker_engine/INFO] - pid 1 (main thread@Lilibeth) simcall ActorJoin(pid:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 2 (thread 1@Lilibeth) simcall SEM_WAIT(sem_id:0 not granted)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 3 (thread 2@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 4 (thread 3@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 5 (thread 4@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 6 (thread 5@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 7 (thread 6@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 8 (thread 7@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 9 (thread 8@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 10 (thread 9@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [ker_engine/INFO] - pid 11 (thread 10@Lilibeth) simcall MUTEX_WAIT(mutex_id:0 owner:2)
16:32:17 -[0.000000] [mc_global/INFO] Counter-example execution trace:
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 2, granted: yes)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_UNLOCK(mutex: 0, owner: -1)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 1, capacity: 1)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 1)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 1, granted: yes)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_UNLOCK(mutex: 0, owner: -1)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 1, capacity: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_WAIT(semaphore: 0, capacity: 0, granted: yes)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_UNLOCK(mutex: 0, owner: -1)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_UNLOCK(semaphore: 1, capacity: 3)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall MUTEX_WAIT(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 2 in simcall SEM_ASYNC_LOCK(semaphore: 0, capacity: 0)
16:32:17 -[0.000000] [mc_global/INFO] Actor 3 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 4 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 5 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 6 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 7 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 8 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 9 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 10 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_global/INFO] Actor 11 in simcall MUTEX_ASYNC_LOCK(mutex: 0, owner: 2)
16:32:17 -[0.000000] [mc_Session/INFO] You can debug the problem (and see the whole details) by rerunning out of simgrid-mc with --cfg=model-check/replay:'2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;2;3;4;5;6;7;8;9;10;11'
16:32:17 -[0.000000] [mc_dfs/INFO] DFS exploration ended. 31 unique states visited; 0 explored traces (0 transition replays, 31 states visited overall)
16:32:17 Test suite `producer_consumer_deadlock.tesh': NOK (<producer_consumer_deadlock.tesh:5> output mismatch)
16:32:17 In addition, <producer_consumer_deadlock.tesh:5> got signal SIGTERM.
16:32:17
16:32:17 Start 859: test-smpi-mpich3-coll-mvapich2-mmap-ucontext
16:32:53 856/889 Test #858: test-smpi-mpich3-coll-mpich-dlopen-boost .................... Passed 60.44 sec
16:32:53 Start 860: test-smpi-mpich3-coll-impi-mmap
16:33:03 857/889 Test #856: test-smpi-mpich3-coll-default ............................... Passed 78.44 sec
16:33:03 Start 861: test-smpi-mpich3-pt2pt-thread
16:33:08 858/889 Test #857: test-smpi-mpich3-coll-ompi-dlopen ........................... Passed 77.19 sec
16:33:08 Start 862: tesh-xbt-cmdline
16:33:08 859/889 Test #862: tesh-xbt-cmdline ............................................ Passed 0.42 sec
16:33:08 Start 863: tesh-xbt-log_large
16:33:09 860/889 Test #863: tesh-xbt-log_large .......................................... Passed 0.36 sec
16:33:09 Start 864: tesh-xbt-parallel_log_crashtest
16:33:09 861/889 Test #864: tesh-xbt-parallel_log_crashtest ............................. Passed 0.71 sec
16:33:09 Start 865: tesh-xbt-parmap_test
16:33:10 862/889 Test #865: tesh-xbt-parmap_test ........................................ Passed 0.91 sec
16:33:10 Start 866: tesh-xbt-signals
16:33:11 863/889 Test #866: tesh-xbt-signals ............................................ Passed 0.34 sec
16:33:11 Start 867: tesh-xbt-log
16:33:11 864/889 Test #867: tesh-xbt-log ................................................ Passed 0.63 sec
16:33:11 Start 868: graphicator
16:33:12 865/889 Test #868: graphicator ................................................. Passed 0.46 sec
16:33:12 Start 869: tesh-self-setenv
16:33:12 866/889 Test #869: tesh-self-setenv ............................................ Passed 0.52 sec
16:33:12 Start 870: tesh-self-set-output-ignore
16:33:13 867/889 Test #870: tesh-self-set-output-ignore ................................. Passed 0.58 sec
16:33:13 Start 871: tesh-self-set-output-sort
16:33:14 868/889 Test #871: tesh-self-set-output-sort ................................... Passed 1.56 sec
16:33:14 Start 872: tesh-self-set-return
16:33:15 869/889 Test #872: tesh-self-set-return ........................................ Passed 0.41 sec
16:33:15 Start 873: tesh-self-set-timeout
16:33:22 870/889 Test #873: tesh-self-set-timeout ....................................... Passed 7.41 sec
16:33:22 Start 874: tesh-self-background
16:33:25 871/889 Test #874: tesh-self-background ........................................ Passed 2.51 sec
16:33:25 Start 875: tesh-self-basic
16:33:28 872/889 Test #875: tesh-self-basic ............................................. Passed 3.66 sec
16:33:28 Start 876: tesh-self-bg-basic
16:33:29 873/889 Test #876: tesh-self-bg-basic .......................................... Passed 0.34 sec
16:33:29 Start 877: tesh-self-bg-set-signal
16:33:29 874/889 Test #877: tesh-self-bg-set-signal ..................................... Passed 0.60 sec
16:33:29 Start 878: tesh-self-catch-all-bg-output
16:33:32 875/889 Test #878: tesh-self-catch-all-bg-output ............................... Passed 2.71 sec
16:33:32 Start 879: tesh-self-catch-return
16:33:33 876/889 Test #879: tesh-self-catch-return ...................................... Passed 0.65 sec
16:33:33 Start 880: tesh-self-catch-signal
16:33:33 877/889 Test #880: tesh-self-catch-signal ...................................... Passed 0.75 sec
16:33:33 Start 881: tesh-self-catch-timeout
16:33:35 878/889 Test #881: tesh-self-catch-timeout ..................................... Passed 1.79 sec
16:33:35 Start 882: tesh-self-catch-timeout-output
16:33:37 879/889 Test #882: tesh-self-catch-timeout-output .............................. Passed 1.82 sec
16:33:37 Start 883: tesh-self-catch-wrong-output
16:33:38 880/889 Test #883: tesh-self-catch-wrong-output ................................ Passed 0.64 sec
16:33:38 Start 884: tesh-self-cd
16:33:38 881/889 Test #884: tesh-self-cd ................................................ Passed 0.75 sec
16:33:38 Start 885: tesh-self-color
16:33:39 882/889 Test #885: tesh-self-color ............................................. Passed 0.47 sec
16:33:39 Start 886: tesh-self-ignore-regexp
16:33:39 883/889 Test #886: tesh-self-ignore-regexp ..................................... Passed 0.30 sec
16:33:39 Start 887: tesh-self-IO-bigsize
16:33:40 884/889 Test #887: tesh-self-IO-bigsize ........................................ Passed 0.38 sec
16:33:40 Start 888: tesh-self-IO-broken-pipe
16:33:41 885/889 Test #888: tesh-self-IO-broken-pipe .................................... Passed 1.85 sec
16:33:41 Start 889: tesh-self-IO-orders
16:33:43 886/889 Test #889: tesh-self-IO-orders ......................................... Passed 1.98 sec
16:33:53 887/889 Test #859: test-smpi-mpich3-coll-mvapich2-mmap-ucontext ................ Passed 95.63 sec
16:34:21 888/889 Test #860: test-smpi-mpich3-coll-impi-mmap ............................. Passed 87.59 sec
16:34:31 889/889 Test #861: test-smpi-mpich3-pt2pt-thread ............................... Passed 88.42 sec
16:34:31
16:34:31 97% tests passed, 28 tests failed out of 889
16:34:31
16:34:31 Total Test time (real) = 396.01 sec
16:34:31
16:34:31 The following tests FAILED:
16:34:31 464 - mc-mini-simple_barrier_ok (Failed)
16:34:31 465 - mc-mini-simple_barrier_deadlock (Failed)
16:34:31 466 - mc-mini-simple_barrier_with_threads_ok (Failed)
16:34:31 467 - mc-mini-simple_barrier_with_threads_deadlock (Failed)
16:34:31 468 - mc-mini-simple_cond_ok (Failed)
16:34:31 469 - mc-mini-simple_cond_deadlock (Failed)
16:34:31 470 - mc-mini-simple_cond_broadcast_ok (Failed)
16:34:31 471 - mc-mini-simple_cond_broadcast_deadlock (Failed)
16:34:31 472 - mc-mini-simple_cond_broadcast_with_semaphore_deadlock1 (Failed)
16:34:31 473 - mc-mini-simple_cond_broadcast_with_semaphore_deadlock2 (Failed)
16:34:31 474 - mc-mini-simple_mutex_ok (Failed)
16:34:31 475 - mc-mini-simple_mutex_deadlock (Failed)
16:34:31 476 - mc-mini-simple_mutex_with_threads_ok (Failed)
16:34:31 477 - mc-mini-simple_mutex_with_threads_deadlock (Failed)
16:34:31 478 - mc-mini-simple_semaphore_deadlock (Failed)
16:34:31 479 - mc-mini-simple_semaphores_deadlock (Failed)
16:34:31 480 - mc-mini-simple_semaphores_ok (Failed)
16:34:31 481 - mc-mini-simple_semaphores_with_threads_ok (Failed)
16:34:31 482 - mc-mini-simple_semaphores_with_threads_deadlock (Failed)
16:34:31 483 - mc-mini-simple_threads_ok (Failed)
16:34:31 484 - mc-mini-barber_shop_ok (Failed)
16:34:31 485 - mc-mini-barber_shop_deadlock (Failed)
16:34:31 486 - mc-mini-philosophers_semaphores_ok (Failed)
16:34:31 487 - mc-mini-philosophers_semaphores_deadlock (Failed)
16:34:31 488 - mc-mini-philosophers_mutex_ok (Failed)
16:34:31 489 - mc-mini-philosophers_mutex_deadlock (Failed)
16:34:31 490 - mc-mini-producer_consumer_ok (Failed)
16:34:31 491 - mc-mini-producer_consumer_deadlock (Failed)
16:34:32 Create notes file
16:34:32 Add file: /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/Testing/Notes/Build
16:34:32 Errors while running CTest
16:34:32 + true
16:34:32 + test -n /home/ci/simgrid_install
16:34:32 + [ origin/master = origin/master ]
16:34:32 + echo XX
16:34:32 XX
16:34:32 + echo XX Test done. Install everything since it's a regular build, not on a Windows.
16:34:32 XX Test done. Install everything since it's a regular build, not on a Windows.
16:34:32 + echo XX
16:34:32 XX
16:34:32 + rm -rf /home/ci/simgrid_install
16:34:32 + make install
16:34:32 [ 0%] Built target mpi
16:34:32 [ 0%] Built target maintainer_files
16:34:42 [ 90%] Built target simgrid
16:34:42 [ 90%] Built target sthread
16:34:42 [ 90%] Built target simgrid-mc
16:34:42 [ 90%] Built target smpimain
16:34:43 [ 90%] Built target smpireplaymain
16:34:43 [ 90%] Install /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/bin/simgrid_update_xml
16:34:43 [ 90%] Built target simgrid_update_xml
16:34:43 [ 90%] Install /builds/workspace/SimGrid/build_mode/Debug/node/armv8/build/simgrid-3.35.1/build/bin/simgrid_convert_TI_traces
16:34:43 [ 90%] Built target simgrid_convert_TI_traces
16:34:43 [ 95%] Built target griffon
16:34:43 [ 95%] Built target routing_cluster
16:34:43 [ 95%] Built target supernode
16:34:44 [ 95%] Built target smpi_simple-execute
16:34:44 [ 95%] Built target smpi_comm-dynamic-cost
16:34:44 [100%] Built target mtest_c
16:34:44 [100%] Built target mtest_f77
16:34:44 [100%] Built target mtest_f90
16:34:45 [100%] Built target graphicator
16:34:45 Install the project...
16:34:45 -- Install configuration: ""
16:34:45 -- Installing: /home/ci/simgrid_install/bin/simgrid-mc
16:34:45 -- Set non-toolchain portion of runtime path of "/home/ci/simgrid_install/bin/simgrid-mc" to ""
16:34:45 -- Installing: /home/ci/simgrid_install/lib/simgrid/smpimain
16:34:45 -- Set non-toolchain portion of runtime path of "/home/ci/simgrid_install/lib/simgrid/smpimain" to ""
16:34:45 -- Installing: /home/ci/simgrid_install/lib/simgrid/smpireplaymain
16:34:45 -- Set non-toolchain portion of runtime path of "/home/ci/simgrid_install/lib/simgrid/smpireplaymain" to ""
16:34:45 -- Installing: /home/ci/simgrid_install/bin/smpicc
16:34:45 -- Installing: /home/ci/simgrid_install/bin/smpicxx
16:34:45 -- Installing: /home/ci/simgrid_install/bin/smpirun
16:34:45 -- Installing: /home/ci/simgrid_install/bin/smpif90
16:34:45 -- Installing: /home/ci/simgrid_install/bin/smpiff
16:34:45 -- Installing: /home/ci/simgrid_install/include/smpi/mpi.mod
16:34:45 -- Installing: /home/ci/simgrid_install/bin/tesh
16:34:45 -- Installing: /home/ci/simgrid_install/bin/simgrid_update_xml
16:34:45 -- Installing: /home/ci/simgrid_install/bin/simgrid_convert_TI_traces
16:34:45 -- Installing: /home/ci/simgrid_install/lib/libsimgrid.so.3.35.1
16:34:47 -- Installing: /home/ci/simgrid_install/lib/libsimgrid.so
16:34:47 -- Installing: /home/ci/simgrid_install/lib/libsthread.so.3.35.1
16:34:47 -- Set non-toolchain portion of runtime path of "/home/ci/simgrid_install/lib/libsthread.so.3.35.1" to ""
16:34:47 -- Installing: /home/ci/simgrid_install/lib/libsthread.so
16:34:47 -- Installing: /home/ci/simgrid_install/lib/pkgconfig/simgrid.pc
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/actor.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/activity_set.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/barrier.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/comm.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/engine.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/exec.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/Exception.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/chrono.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/battery.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/chiller.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/dvfs.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/energy.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/file_system.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/jbod.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/live_migration.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/load.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/solar_panel.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/plugins/ProducerConsumer.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/instr.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/mailbox.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/modelchecker.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/forward.h
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/simcall.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/simix.hpp
16:34:47 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/ProfileBuilder.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/Timer.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/disk.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/host.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/link.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/cond.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/mutex.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/semaphore.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/vm.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/zone.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Activity.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/ActivitySet.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Actor.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Barrier.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Comm.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/ConditionVariable.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Disk.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Engine.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Exec.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Host.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Io.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Link.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Mailbox.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/MessageQueue.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Mess.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Mutex.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/NetZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Semaphore.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/Task.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u/VirtualMachine.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/s4u.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/resource/Action.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/resource/Model.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/ClusterZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/DijkstraZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/DragonflyZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/EmptyZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/FatTreeZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/FloydZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/FullZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/NetPoint.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/NetZoneImpl.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/RoutedZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/StarZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/TorusZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/VivaldiZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/kernel/routing/WifiZone.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/mpi.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/sampi.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/smpi.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/smpi_helpers.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/smpi_helpers_internal.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/smpi_extended_traces.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/smpi_extended_traces_fortran.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/forward.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/asserts.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/asserts.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/backtrace.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/base.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/config.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/config.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/dict.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/dynar.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/ex.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/Extendable.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/file.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/functional.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/function_types.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/graph.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/log.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/log.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/mallocator.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/misc.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/module.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/PropertyHolder.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/parmap.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/parse_units.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/range.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/random.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/replay.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/signal.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/str.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/string.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/sysdep.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/system_error.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/utility.hpp
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/virtu.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/xbt/xbt_os_time.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/smpi/mpif.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/config.h
16:34:48 -- Installing: /home/ci/simgrid_install/include/simgrid/version.h
16:34:48 -- Installing: /home/ci/simgrid_install/bin/graphicator
16:34:48 -- Set non-toolchain portion of runtime path of "/home/ci/simgrid_install/bin/graphicator" to ""
16:34:48 + echo XX
16:34:48 XX
16:34:48 + echo XX Done. Return the results to cmake
16:34:48 XX Done. Return the results to cmake
16:34:48 + echo XX
16:34:48 XX
16:34:48 INFO: Processing CTest-Version 3.x (default)
16:34:48 INFO: [CTest-Version 3.x (default)] - 1 test report file(s) were found with the pattern 'build/simgrid*/build/Testing/*/Test.xml' relative to '/builds/workspace/SimGrid/build_mode/Debug/node/armv8' for the testing framework 'CTest-Version 3.x (default)'.
16:34:51 INFO: Check 'Failed Tests' threshold.
16:34:51 INFO: The total number of tests for the threshold 'Failed Tests' exceeds the specified "unstable threshold" value.
16:34:51 [Checks API] No suitable checks publisher found.
16:34:51 INFO: Setting the build status to UNSTABLE
16:34:51 Build step 'Publish xUnit test result report' changed build result to UNSTABLE
16:34:51 [Text Finder] Searching console output...
16:34:51 [Text Finder] Finished searching for pattern 'Build\sskipped' in console output.
16:34:51 An attempt to send an e-mail to empty list of recipients, ignored.
16:34:51 [PostBuildScript] - [INFO] Executing post build scripts.
16:34:51 [PostBuildScript] - [INFO] Node does not have the role MASTER. Did not execute build step #0.
16:34:51 Started calculate disk usage of build
16:34:51 Finished Calculation of disk usage of build in 0 seconds
16:34:51 Started calculate disk usage of workspace
16:34:53 Finished Calculation of disk usage of workspace in 2 second
16:34:53 [WS-CLEANUP] Deleting project workspace...
16:34:53 [WS-CLEANUP] Skipped based on build state UNSTABLE
16:34:53 Finished: UNSTABLE