details

property	value
status	memout
benchmark	Ex08.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)	16.8391 seconds
cpu usage	62.8053
user time	59.8581
system time	2.94714
max virtual memory	2.73323452E8
max residence set size	4258576.0

stage attributes

unavailable

output

33.85/9.54 2019-03-29 02:14:05 33.85/9.54 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 33.85/9.54 33.85/9.54 "Thread-343" #368 daemon prio=6 os_prio=0 tid=0x00002b7c84005000 nid=0xdcc9 runnable [0x0000000000000000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 33.85/9.54 "Thread-335" #367 daemon prio=6 os_prio=0 tid=0x00002b7c84003000 nid=0xdcbc runnable [0x00002b7c25e51000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 at java.io.FileInputStream.readBytes(Native Method) 33.85/9.54 at java.io.FileInputStream.read(FileInputStream.java:255) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000072031ee78> (a java.lang.UNIXProcess$ProcessPipeInputStream) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x0000000761a51d58> (a java.io.BufferedInputStream) 33.85/9.54 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 33.85/9.54 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 33.85/9.54 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 33.85/9.54 - locked <0x0000000761a53e18> (a java.io.InputStreamReader) 33.85/9.54 at java.io.InputStreamReader.read(InputStreamReader.java:184) 33.85/9.54 at java.io.Reader.read(Reader.java:100) 33.85/9.54 at java.util.Scanner.readInput(Scanner.java:804) 33.85/9.54 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 33.85/9.54 at java.util.Scanner.hasNextLine(Scanner.java:1500) 33.85/9.54 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 33.85/9.54 33.85/9.54 "Thread-336" #366 daemon prio=6 os_prio=0 tid=0x00002b7c8c008000 nid=0xdcb7 runnable [0x00002b7c25f52000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 at java.io.FileInputStream.readBytes(Native Method) 33.85/9.54 at java.io.FileInputStream.read(FileInputStream.java:255) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000072083fdf0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x00000007605a1bf8> (a java.io.BufferedInputStream) 33.85/9.54 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 33.85/9.54 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 33.85/9.54 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 33.85/9.54 - locked <0x00000007605a3cb8> (a java.io.InputStreamReader) 33.85/9.54 at java.io.InputStreamReader.read(InputStreamReader.java:184) 33.85/9.54 at java.io.Reader.read(Reader.java:100) 33.85/9.54 at java.util.Scanner.readInput(Scanner.java:804) 33.85/9.54 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 33.85/9.54 at java.util.Scanner.hasNextLine(Scanner.java:1500) 33.85/9.54 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 33.85/9.54 33.85/9.54 "Thread-334" #365 daemon prio=6 os_prio=0 tid=0x00002b7c8c009800 nid=0xdcb4 runnable [0x00002b7c27bdf000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 at java.io.FileInputStream.readBytes(Native Method) 33.85/9.54 at java.io.FileInputStream.read(FileInputStream.java:255) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000072083dd30> (a java.lang.UNIXProcess$ProcessPipeInputStream) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x0000000761ce14b8> (a java.io.BufferedInputStream) 33.85/9.54 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 33.85/9.54 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 33.85/9.54 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 33.85/9.54 - locked <0x0000000761ce3578> (a java.io.InputStreamReader) 33.85/9.54 at java.io.InputStreamReader.read(InputStreamReader.java:184) 33.85/9.54 at java.io.Reader.read(Reader.java:100) 33.85/9.54 at java.util.Scanner.readInput(Scanner.java:804) 33.85/9.54 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 33.85/9.54 at java.util.Scanner.hasNextLine(Scanner.java:1500) 33.85/9.54 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 33.85/9.54 33.85/9.54 "Thread-333" #364 daemon prio=5 os_prio=0 tid=0x00002b7c00027000 nid=0xdcaf runnable [0x0000000000000000] 33.85/9.54 java.lang.Thread.State: TERMINATED 33.85/9.54 33.85/9.54 "Thread-329" #360 daemon prio=6 os_prio=0 tid=0x00002b7c70007000 nid=0xdc9e runnable [0x00002b7c27f36000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 at java.io.FileInputStream.readBytes(Native Method) 33.85/9.54 at java.io.FileInputStream.read(FileInputStream.java:255) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000071d1df250> (a java.lang.UNIXProcess$ProcessPipeInputStream) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000075ded1098> (a java.io.BufferedInputStream) 33.85/9.54 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 33.85/9.54 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 33.85/9.54 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 33.85/9.54 - locked <0x000000075ded3158> (a java.io.InputStreamReader) 33.85/9.54 at java.io.InputStreamReader.read(InputStreamReader.java:184) 33.85/9.54 at java.io.Reader.read(Reader.java:100) 33.85/9.54 at java.util.Scanner.readInput(Scanner.java:804) 33.85/9.54 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 33.85/9.54 at java.util.Scanner.hasNextLine(Scanner.java:1500) 33.85/9.54 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 33.85/9.54 33.85/9.54 "Thread-328" #359 daemon prio=6 os_prio=0 tid=0x00002b7c70001000 nid=0xdc9d runnable [0x00002b7c27dfd000] 33.85/9.54 java.lang.Thread.State: RUNNABLE 33.85/9.54 at java.io.FileInputStream.readBytes(Native Method) 33.85/9.54 at java.io.FileInputStream.read(FileInputStream.java:255) 33.85/9.54 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 33.85/9.54 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 33.85/9.54 - locked <0x000000071d1dd190> (a java.lang.UNIXProcess$ProcessPipeInputStream) 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