details

property	value
status	memout
benchmark	svcomp_BradleyMannaSipma-2005CAV-Fig1_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)	108.126 seconds
cpu usage	185.63
user time	182.53
system time	3.1
max virtual memory	1.48054544E8
max residence set size	1436.0

stage attributes

unavailable

output

152.13/99.63 2019-03-28 12:39:38 152.13/99.63 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 152.13/99.63 152.13/99.63 "Thread-124" #155 daemon prio=6 os_prio=0 tid=0x00002b6af0005800 nid=0xa431 runnable [0x0000000000000000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 152.13/99.63 "process reaper" #125 daemon prio=10 os_prio=0 tid=0x00002b6a98085800 nid=0xa430 runnable [0x00002b6b44e28000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-122" #154 daemon prio=6 os_prio=0 tid=0x00002b6b3c006000 nid=0xa42f runnable [0x00002b6b44def000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-121" #153 daemon prio=6 os_prio=0 tid=0x00002b6b3c004800 nid=0xa42e runnable [0x00002b6b44cee000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #152 daemon prio=10 os_prio=0 tid=0x00002b6b3c002800 nid=0xa42d runnable [0x00002b6b44bed000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a8e47af0> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a8e45a40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-119" #151 daemon prio=6 os_prio=0 tid=0x00002b6aac008800 nid=0xa42b runnable [0x00002b6b44bb4000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #150 daemon prio=10 os_prio=0 tid=0x00002b6aac001800 nid=0xa42a runnable [0x00002b6b44ab3000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a7ead2e8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a7eab238> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-118" #149 daemon prio=6 os_prio=0 tid=0x00002b6b40005000 nid=0xa429 runnable [0x00002b6b44a7a000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-117" #148 daemon prio=6 os_prio=0 tid=0x00002b6b40003000 nid=0xa428 runnable [0x00002b6b44979000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #147 daemon prio=10 os_prio=0 tid=0x00002b6b40001000 nid=0xa427 runnable [0x00002b6b44878000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007aadb1ab8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007aadafa08> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-116" #146 daemon prio=6 os_prio=0 tid=0x00002b6b3800b000 nid=0xa426 runnable [0x00002b6b4483f000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-115" #145 daemon prio=6 os_prio=0 tid=0x00002b6b38009800 nid=0xa425 runnable [0x00002b6b4473e000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #144 daemon prio=10 os_prio=0 tid=0x00002b6b38008000 nid=0xa424 runnable [0x00002b6b4463d000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 152.13/99.63 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 152.13/99.63 - locked <0x00000007a4be72e8> (a java.lang.Object) 152.13/99.63 - locked <0x00000007a4be5238> (a java.lang.UNIXProcess$ProcessPipeInputStream) 152.13/99.63 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 152.13/99.63 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 152.13/99.63 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 152.13/99.63 at java.lang.Thread.run(Thread.java:748) 152.13/99.63 152.13/99.63 "Thread-114" #143 daemon prio=6 os_prio=0 tid=0x00002b6b10005800 nid=0xa423 runnable [0x00002b6b44604000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "Thread-113" #142 daemon prio=6 os_prio=0 tid=0x00002b6b10003800 nid=0xa422 runnable [0x00002b6b44503000] 152.13/99.63 java.lang.Thread.State: RUNNABLE 152.13/99.63 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 152.13/99.63 152.13/99.63 "process reaper" #141 daemon prio=10 os_prio=0 tid=0x00002b6b10001800 nid=0xa421 runnable [0x00002b6a67fe9000] popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48