details

property	value
status	memout
benchmark	Singapore_v2_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.8588 seconds
cpu usage	266.65
user time	260.68
system time	5.97
max virtual memory	3.57141152E8
max residence set size	1440.0

stage attributes

unavailable

output

238.18/61.59 2019-03-28 22:54:00 238.18/61.59 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 238.18/61.59 238.18/61.59 "Thread-2530" #2538 daemon prio=6 os_prio=0 tid=0x00002b3610008800 nid=0xc30d runnable [0x0000000000000000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 238.18/61.59 "Thread-2471" #2537 daemon prio=6 os_prio=0 tid=0x00002b3610008000 nid=0xc30c runnable [0x00002b361b533000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2529" #2536 daemon prio=6 os_prio=0 tid=0x00002b35e8004800 nid=0xc30b runnable [0x00002b361b432000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2472" #2535 daemon prio=6 os_prio=0 tid=0x00002b35e8003000 nid=0xc30a runnable [0x00002b361b331000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2473" #2534 daemon prio=6 os_prio=0 tid=0x00002b35fc001000 nid=0xc309 runnable [0x00002b361b230000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2527" #2533 daemon prio=6 os_prio=0 tid=0x00002b35ec001800 nid=0xc308 runnable [0x00002b361b12f000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2474" #2532 daemon prio=6 os_prio=0 tid=0x00002b35ec004000 nid=0xc307 runnable [0x00002b361b02e000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2526" #2531 daemon prio=6 os_prio=0 tid=0x00002b353c005000 nid=0xc306 runnable [0x00002b361ac2a000] 238.18/61.59 java.lang.Thread.State: RUNNABLE 238.18/61.59 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.59 238.18/61.59 "Thread-2475" #2530 daemon prio=6 os_prio=0 tid=0x00002b353c003800 nid=0xc305 runnable [0x00002b361aa28000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2525" #2529 daemon prio=6 os_prio=0 tid=0x00002b3600009800 nid=0xc304 runnable [0x00002b361a725000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2476" #2528 daemon prio=6 os_prio=0 tid=0x00002b3600009000 nid=0xc303 runnable [0x00002b361a624000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2524" #2527 daemon prio=6 os_prio=0 tid=0x00002b35d400d800 nid=0xc302 runnable [0x00002b361a422000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2477" #2526 daemon prio=6 os_prio=0 tid=0x00002b35d400c800 nid=0xc301 runnable [0x00002b361a321000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2523" #2525 daemon prio=6 os_prio=0 tid=0x00002b35d4003000 nid=0xc300 runnable [0x00002b361a220000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2478" #2524 daemon prio=6 os_prio=0 tid=0x00002b35d4001000 nid=0xc2ff runnable [0x00002b361a11f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2522" #2523 daemon prio=6 os_prio=0 tid=0x00002b360c00b800 nid=0xc2fe runnable [0x00002b361a01e000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2479" #2522 daemon prio=6 os_prio=0 tid=0x00002b360c008800 nid=0xc2fd runnable [0x00002b3619f1d000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2521" #2521 daemon prio=6 os_prio=0 tid=0x00002b3608002000 nid=0xc2fc runnable [0x00002b3619a18000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2480" #2520 daemon prio=6 os_prio=0 tid=0x00002b3608003000 nid=0xc2fb runnable [0x00002b3619917000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2520" #2519 daemon prio=6 os_prio=0 tid=0x00002b35f8002000 nid=0xc2fa runnable [0x00002b3619816000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2481" #2518 daemon prio=6 os_prio=0 tid=0x00002b35f8007000 nid=0xc2f9 runnable [0x00002b361910f000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2519" #2517 daemon prio=6 os_prio=0 tid=0x00002b35a8004800 nid=0xc2f8 runnable [0x00002b361900e000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2482" #2516 daemon prio=6 os_prio=0 tid=0x00002b35a8004000 nid=0xc2f7 runnable [0x00002b3618e0c000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2483" #2515 daemon prio=6 os_prio=0 tid=0x00002b35c8001000 nid=0xc2f6 runnable [0x00002b3618d0b000] 238.18/61.60 java.lang.Thread.State: RUNNABLE 238.18/61.60 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 238.18/61.60 238.18/61.60 "Thread-2517" #2514 daemon prio=6 os_prio=0 tid=0x00002b3610007000 nid=0xc2f5 runnable [0x00002b361a927000] 238.18/61.60 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