details

property	value
status	memout
benchmark	svcomp_TelAviv-Amir-Minimum_true-alloca.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	AProVE_memory_alloca

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	47.8061 seconds
cpu usage	126.78
user time	123.51
system time	3.27
max virtual memory	2.95288292E8
max residence set size	5388928.0

stage attributes

unavailable

output

101.70/41.39 2019-03-28 12:37:40 101.70/41.39 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 101.70/41.39 101.70/41.39 "Thread-304" #338 daemon prio=6 os_prio=0 tid=0x00002b5e5c01b800 nid=0x2d25 runnable [0x0000000000000000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 101.70/41.39 "Thread-262" #337 daemon prio=6 os_prio=0 tid=0x00002b5e5c01d800 nid=0x2d24 runnable [0x00002b5da6cf0000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-303" #336 daemon prio=6 os_prio=0 tid=0x00002b5e08007800 nid=0x2d23 runnable [0x00002b5d9dec2000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-263" #335 daemon prio=6 os_prio=0 tid=0x00002b5e08006800 nid=0x2d22 runnable [0x00002b5d9e7cb000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-302" #333 daemon prio=6 os_prio=0 tid=0x00002b5e50012800 nid=0x2d21 runnable [0x00002b5da4e28000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-268" #332 daemon prio=6 os_prio=0 tid=0x00002b5e5000b800 nid=0x2d20 runnable [0x00002b5da6bef000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-301" #331 daemon prio=6 os_prio=0 tid=0x00002b5e54006800 nid=0x2d1f runnable [0x00002b5da73f7000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-273" #330 daemon prio=6 os_prio=0 tid=0x00002b5e54008800 nid=0x2d1e runnable [0x00002b5da72f6000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-300" #329 daemon prio=6 os_prio=0 tid=0x00002b5e74005800 nid=0x2d1d runnable [0x00002b5da4940000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-275" #328 daemon prio=6 os_prio=0 tid=0x00002b5e74004800 nid=0x2d1c runnable [0x00002b5da67eb000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-299" #327 daemon prio=6 os_prio=0 tid=0x00002b5e4c009800 nid=0x2d1b runnable [0x00002b5d9d8bc000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-277" #326 daemon prio=6 os_prio=0 tid=0x00002b5e4c003000 nid=0x2d1a runnable [0x00002b5da4f29000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-298" #325 daemon prio=6 os_prio=0 tid=0x00002b5e58016000 nid=0x2d19 runnable [0x00002b5da66ea000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-279" #324 daemon prio=6 os_prio=0 tid=0x00002b5e58006800 nid=0x2d16 runnable [0x00002b5da65e9000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-297" #323 daemon prio=6 os_prio=0 tid=0x00002b5de0013000 nid=0x2d15 runnable [0x00002b5da69ed000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-282" #322 daemon prio=6 os_prio=0 tid=0x00002b5de0012800 nid=0x2d14 runnable [0x00002b5da68ec000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-296" #321 daemon prio=6 os_prio=0 tid=0x00002b5e08005000 nid=0x2d13 runnable [0x00002b5d9f1d5000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-285" #320 daemon prio=6 os_prio=0 tid=0x00002b5e08004000 nid=0x2d12 runnable [0x00002b5da62e6000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-295" #319 daemon prio=6 os_prio=0 tid=0x00002b5e58011000 nid=0x2d11 runnable [0x00002b5d9cfb3000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-287" #318 daemon prio=6 os_prio=0 tid=0x00002b5e58013000 nid=0x2d10 runnable [0x00002b5da532d000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-294" #317 daemon prio=6 os_prio=0 tid=0x00002b5e5c01c000 nid=0x2d0f runnable [0x00002b5da4c43000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-288" #316 daemon prio=6 os_prio=0 tid=0x00002b5e5c019800 nid=0x2d0e runnable [0x00002b5d9fbdd000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-293" #315 daemon prio=6 os_prio=0 tid=0x00002b5e10009800 nid=0x2d0c runnable [0x00002b5d9d3b7000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-202" #311 daemon prio=6 os_prio=0 tid=0x00002b5e10008000 nid=0x2d0b runnable [0x00002b5d9e0c4000] 101.70/41.39 java.lang.Thread.State: RUNNABLE 101.70/41.39 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 101.70/41.39 101.70/41.39 "Thread-292" #314 daemon prio=6 os_prio=0 tid=0x00002b5df0003800 nid=0x2d09 runnable [0x00002b5d9fadc000] 101.70/41.39 java.lang.Thread.State: RUNNABLE popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48