Skipping 4,795 KB.. Full Log

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