details

property	value
status	memout
benchmark	collatz.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Stroeder_15

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	36.4899 seconds
cpu usage	138.81
user time	132.85
system time	5.96
max virtual memory	1.69323904E8
max residence set size	1404.0

stage attributes

unavailable

output

2020-06-22 04:07:11 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-2113" #2174 daemon prio=6 os_prio=0 tid=0x00002ad1d0003000 nid=0x68b0 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-2128" #2173 daemon prio=6 os_prio=0 tid=0x00002ad1d4018000 nid=0x68af runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2114" #2172 daemon prio=6 os_prio=0 tid=0x00002ad1d4012800 nid=0x68ae runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2115" #2171 daemon prio=6 os_prio=0 tid=0x00002ad23c00b000 nid=0x68ad runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2117" #2169 daemon prio=6 os_prio=0 tid=0x00002ad234003800 nid=0x68a9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2118" #2168 daemon prio=6 os_prio=0 tid=0x00002ad1dc00b000 nid=0x68a7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2122" #2167 daemon prio=6 os_prio=0 tid=0x00002ad1d800b000 nid=0x68a6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2096" #2166 daemon prio=6 os_prio=0 tid=0x00002ad1d8009000 nid=0x68a5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2094" #2151 daemon prio=6 os_prio=0 tid=0x00002ad178014000 nid=0x68a3 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2104" #2155 daemon prio=6 os_prio=0 tid=0x00002ad1d4010800 nid=0x6896 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2106" #2153 daemon prio=6 os_prio=0 tid=0x00002ad1ac027800 nid=0x6895 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2107" #2152 daemon prio=6 os_prio=0 tid=0x00002ad1b4035800 nid=0x6894 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2095" #2150 daemon prio=6 os_prio=0 tid=0x00002ad260003000 nid=0x6893 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2093" #2149 daemon prio=6 os_prio=0 tid=0x00002ad220003800 nid=0x6884 runnable [0x00002ad16df8f000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000069d6f49d0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000070157efc0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000701581080> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-2092" #2148 daemon prio=6 os_prio=0 tid=0x00002ad220002800 nid=0x6881 runnable [0x00002ad171f8a000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000069d6f2910> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006ff9f6ee0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000006ff9f8fa0> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "ThreadPoolThread357" #2145 daemon prio=6 os_prio=0 tid=0x00002ad1b8091000 nid=0x6877 in Object.wait() [0x00002ad171682000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000069d6f07e0> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread355" #2115 daemon prio=6 os_prio=0 tid=0x00002ad1b8049800 nid=0x6850 runnable [0x00002ad172590000] 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