details

property	value
status	memout
benchmark	Singapore_v1_false-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Ton_Chanh_15

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	68.3953 seconds
cpu usage	257.24
user time	251.12
system time	6.12
max virtual memory	2.52158244E8
max residence set size	1440.0

stage attributes

unavailable

output

225.60/60.28 2019-03-28 22:47:13 225.60/60.28 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 225.60/60.28 225.60/60.28 "Thread-2367" #2390 daemon prio=6 os_prio=0 tid=0x00002b1a6800b800 nid=0x8fc4 runnable [0x0000000000000000] 225.60/60.28 java.lang.Thread.State: RUNNABLE 225.60/60.28 225.60/60.28 "Thread-2301" #2389 daemon prio=6 os_prio=0 tid=0x00002b1a6800b000 nid=0x8fc3 runnable [0x00002b1a80806000] 225.60/60.28 java.lang.Thread.State: RUNNABLE 225.60/60.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.28 225.60/60.28 "Thread-2366" #2388 daemon prio=6 os_prio=0 tid=0x00002b1a2c006000 nid=0x8fc2 runnable [0x00002b19a2b2d000] 225.60/60.28 java.lang.Thread.State: RUNNABLE 225.60/60.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.28 225.60/60.28 "Thread-2309" #2387 daemon prio=6 os_prio=0 tid=0x00002b1a2c005000 nid=0x8fc1 runnable [0x00002b1a82b29000] 225.60/60.28 java.lang.Thread.State: RUNNABLE 225.60/60.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.28 225.60/60.28 "Thread-2365" #2386 daemon prio=6 os_prio=0 tid=0x00002b1a3c007800 nid=0x8fc0 runnable [0x00002b19a2a2c000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2319" #2385 daemon prio=6 os_prio=0 tid=0x00002b1a3c006000 nid=0x8fbf runnable [0x00002b19a292b000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2364" #2384 daemon prio=6 os_prio=0 tid=0x00002b1a44003800 nid=0x8fbe runnable [0x00002b19a2729000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2320" #2383 daemon prio=6 os_prio=0 tid=0x00002b1a44001000 nid=0x8fbd runnable [0x00002b19879a7000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2363" #2382 daemon prio=6 os_prio=0 tid=0x00002b1a7c003800 nid=0x8fbc runnable [0x00002b19877a5000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2321" #2381 daemon prio=6 os_prio=0 tid=0x00002b1a7c002800 nid=0x8fbb runnable [0x00002b19847e9000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2362" #2380 daemon prio=6 os_prio=0 tid=0x00002b1a38008000 nid=0x8fba runnable [0x00002b19876a4000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2323" #2379 daemon prio=6 os_prio=0 tid=0x00002b1a38006800 nid=0x8fb9 runnable [0x00002b1986593000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2361" #2378 daemon prio=6 os_prio=0 tid=0x00002b1a50007000 nid=0x8fb8 runnable [0x00002b1986492000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2324" #2377 daemon prio=6 os_prio=0 tid=0x00002b1a50003000 nid=0x8fb7 runnable [0x00002b1985c1a000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2360" #2376 daemon prio=6 os_prio=0 tid=0x00002b1a5c015000 nid=0x8fb6 runnable [0x00002b1985b19000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2325" #2375 daemon prio=6 os_prio=0 tid=0x00002b1a5c002000 nid=0x8fb5 runnable [0x00002b1985614000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2359" #2374 daemon prio=6 os_prio=0 tid=0x00002b1a4c006000 nid=0x8fb4 runnable [0x00002b1985513000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2326" #2373 daemon prio=6 os_prio=0 tid=0x00002b1a4c005000 nid=0x8fb3 runnable [0x00002b1985210000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2358" #2372 daemon prio=6 os_prio=0 tid=0x00002b1a6c009800 nid=0x8fb2 runnable [0x00002b1984e0c000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2327" #2371 daemon prio=6 os_prio=0 tid=0x00002b1a6c009000 nid=0x8fb1 runnable [0x00002b197fe07000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2357" #2370 daemon prio=6 os_prio=0 tid=0x00002b1a68009000 nid=0x8fb0 runnable [0x00002b197fc05000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2328" #2369 daemon prio=6 os_prio=0 tid=0x00002b1a68001000 nid=0x8faf runnable [0x00002b197e5bb000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2356" #2368 daemon prio=6 os_prio=0 tid=0x00002b1a5800a800 nid=0x8fae runnable [0x00002b197e2b8000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2329" #2367 daemon prio=6 os_prio=0 tid=0x00002b1a5800a000 nid=0x8fad runnable [0x00002b1a80705000] 225.60/60.30 java.lang.Thread.State: RUNNABLE 225.60/60.30 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 225.60/60.30 225.60/60.30 "Thread-2355" #2366 daemon prio=6 os_prio=0 tid=0x00002b1a48009800 nid=0x8fac runnable [0x00002b19a3537000] 225.60/60.30 java.lang.Thread.State: RUNNABLE popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to C_Integer 2019-03-28 22.15