details

property	value
status	memout
benchmark	Factorial.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)	210.183 seconds
cpu usage	817.21
user time	734.85
system time	82.36
max virtual memory	1.49039988E8
max residence set size	1440.0

stage attributes

unavailable

output

779.65/200.62 2019-03-28 22:44:48 779.65/200.62 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 779.65/200.62 779.65/200.62 "Thread-4753" #4779 daemon prio=6 os_prio=0 tid=0x00002ac5f4002000 nid=0x5bfb runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 779.65/200.62 "Thread-4748" #4778 daemon prio=6 os_prio=0 tid=0x00002ac5f4001000 nid=0x5bf9 runnable [0x00002ac655af2000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000726c96758> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000764757850> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000764759910> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4751" #4777 daemon prio=6 os_prio=0 tid=0x00002ac594046000 nid=0x5bf8 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4750" #4776 daemon prio=6 os_prio=0 tid=0x00002ac594047000 nid=0x5bf7 runnable [0x0000000000000000] 779.65/200.62 java.lang.Thread.State: TERMINATED 779.65/200.62 779.65/200.62 "Thread-4749" #4775 daemon prio=6 os_prio=0 tid=0x00002ac634001000 nid=0x5bf6 runnable [0x00002ac577b75000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000753e79010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000762ed65b0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000762ed8670> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4720" #4774 daemon prio=6 os_prio=0 tid=0x00002ac634003800 nid=0x5bf4 runnable [0x00002ac53bbdd000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000753e76f50> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000076234e448> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x0000000762350508> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4745" #4769 daemon prio=6 os_prio=0 tid=0x00002ac5e0003800 nid=0x5bee runnable [0x00002ac53bddf000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x0000000756d35e88> (a java.lang.UNIXProcess$ProcessPipeInputStream) 779.65/200.62 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 779.65/200.62 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 779.65/200.62 - locked <0x000000075fdd3fe0> (a java.io.BufferedInputStream) 779.65/200.62 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 779.65/200.62 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 779.65/200.62 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 779.65/200.62 - locked <0x000000075fdd60a0> (a java.io.InputStreamReader) 779.65/200.62 at java.io.InputStreamReader.read(InputStreamReader.java:184) 779.65/200.62 at java.io.Reader.read(Reader.java:100) 779.65/200.62 at java.util.Scanner.readInput(Scanner.java:804) 779.65/200.62 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 779.65/200.62 at java.util.Scanner.hasNextLine(Scanner.java:1500) 779.65/200.62 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 779.65/200.62 779.65/200.62 "Thread-4727" #4768 daemon prio=6 os_prio=0 tid=0x00002ac5e0007800 nid=0x5bec runnable [0x00002ac6561f9000] 779.65/200.62 java.lang.Thread.State: RUNNABLE 779.65/200.62 at java.io.FileInputStream.readBytes(Native Method) 779.65/200.62 at java.io.FileInputStream.read(FileInputStream.java:255) 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