details

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

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	9.55274 seconds
cpu usage	31.6463
user time	30.2655
system time	1.38079
max virtual memory	1.68423976E8
max residence set size	2744420.0

stage attributes

unavailable

output

23.98/7.84 2019-03-28 12:08:02 23.98/7.84 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 23.98/7.84 23.98/7.84 "Thread-120" #146 daemon prio=6 os_prio=0 tid=0x00002b0550006800 nid=0xfe46 runnable [0x00002b05a00ff000] 23.98/7.84 java.lang.Thread.State: RUNNABLE 23.98/7.84 at java.io.FileInputStream.readBytes(Native Method) 23.98/7.84 at java.io.FileInputStream.read(FileInputStream.java:255) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006cc3748f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006f40f6518> (a java.io.BufferedInputStream) 23.98/7.84 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 23.98/7.84 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 23.98/7.84 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 23.98/7.84 - locked <0x00000006f40f85d8> (a java.io.InputStreamReader) 23.98/7.84 at java.io.InputStreamReader.read(InputStreamReader.java:184) 23.98/7.84 at java.io.Reader.read(Reader.java:100) 23.98/7.84 at java.util.Scanner.readInput(Scanner.java:804) 23.98/7.84 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 23.98/7.84 at java.util.Scanner.hasNextLine(Scanner.java:1500) 23.98/7.84 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 23.98/7.84 23.98/7.84 "Thread-119" #145 daemon prio=6 os_prio=0 tid=0x00002b0550002800 nid=0xfe45 runnable [0x00002b04c3f93000] 23.98/7.84 java.lang.Thread.State: RUNNABLE 23.98/7.84 at java.io.FileInputStream.readBytes(Native Method) 23.98/7.84 at java.io.FileInputStream.read(FileInputStream.java:255) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006cc372838> (a java.lang.UNIXProcess$ProcessPipeInputStream) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006f38fd1f8> (a java.io.BufferedInputStream) 23.98/7.84 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 23.98/7.84 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 23.98/7.84 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 23.98/7.84 - locked <0x00000006f38ff2b8> (a java.io.InputStreamReader) 23.98/7.84 at java.io.InputStreamReader.read(InputStreamReader.java:184) 23.98/7.84 at java.io.Reader.read(Reader.java:100) 23.98/7.84 at java.util.Scanner.readInput(Scanner.java:804) 23.98/7.84 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 23.98/7.84 at java.util.Scanner.hasNextLine(Scanner.java:1500) 23.98/7.84 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 23.98/7.84 23.98/7.84 "Thread-118" #144 daemon prio=6 os_prio=0 tid=0x00002b0518004800 nid=0xfe44 runnable [0x00002b04c3e93000] 23.98/7.84 java.lang.Thread.State: RUNNABLE 23.98/7.84 at java.io.FileInputStream.readBytes(Native Method) 23.98/7.84 at java.io.FileInputStream.read(FileInputStream.java:255) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006ceb4b498> (a java.lang.UNIXProcess$ProcessPipeInputStream) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006f3103ed8> (a java.io.BufferedInputStream) 23.98/7.84 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 23.98/7.84 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 23.98/7.84 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 23.98/7.84 - locked <0x00000006f3105f98> (a java.io.InputStreamReader) 23.98/7.84 at java.io.InputStreamReader.read(InputStreamReader.java:184) 23.98/7.84 at java.io.Reader.read(Reader.java:100) 23.98/7.84 at java.util.Scanner.readInput(Scanner.java:804) 23.98/7.84 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 23.98/7.84 at java.util.Scanner.hasNextLine(Scanner.java:1500) 23.98/7.84 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 23.98/7.84 23.98/7.84 "Thread-109" #143 daemon prio=6 os_prio=0 tid=0x00002b0518001000 nid=0xfe43 runnable [0x00002b04c3d91000] 23.98/7.84 java.lang.Thread.State: RUNNABLE 23.98/7.84 at java.io.FileInputStream.readBytes(Native Method) 23.98/7.84 at java.io.FileInputStream.read(FileInputStream.java:255) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006ceb493d8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006f290abb8> (a java.io.BufferedInputStream) 23.98/7.84 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 23.98/7.84 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 23.98/7.84 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 23.98/7.84 - locked <0x00000006f290cc78> (a java.io.InputStreamReader) 23.98/7.84 at java.io.InputStreamReader.read(InputStreamReader.java:184) 23.98/7.84 at java.io.Reader.read(Reader.java:100) 23.98/7.84 at java.util.Scanner.readInput(Scanner.java:804) 23.98/7.84 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 23.98/7.84 at java.util.Scanner.hasNextLine(Scanner.java:1500) 23.98/7.84 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 23.98/7.84 23.98/7.84 "Thread-117" #142 daemon prio=6 os_prio=0 tid=0x00002b052c006000 nid=0xfe42 runnable [0x00002b04c3c90000] 23.98/7.84 java.lang.Thread.State: RUNNABLE 23.98/7.84 at java.io.FileInputStream.readBytes(Native Method) 23.98/7.84 at java.io.FileInputStream.read(FileInputStream.java:255) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006ce350f98> (a java.lang.UNIXProcess$ProcessPipeInputStream) 23.98/7.84 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 23.98/7.84 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 23.98/7.84 - locked <0x00000006f2111898> (a java.io.BufferedInputStream) 23.98/7.84 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 23.98/7.84 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 23.98/7.84 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48