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