details

property	value
status	memout
benchmark	minepump_spec1_product01_true-unreach-call.cil.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Mixed_Categories

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	30.1766 seconds
cpu usage	112.48
user time	108.0
system time	4.48
max virtual memory	2.15688208E8
max residence set size	1440.0

stage attributes

unavailable

output

85.27/23.51 2019-03-28 12:21:37 85.27/23.51 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 85.27/23.51 85.27/23.51 "Thread-395" #462 daemon prio=6 os_prio=0 tid=0x00002b9bc4005800 nid=0x4f42 runnable [0x0000000000000000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 85.27/23.51 "Thread-394" #461 daemon prio=6 os_prio=0 tid=0x00002b9c2800b000 nid=0x4f41 runnable [0x00002b9c45b1b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000695b6eb20> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000715197660> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000715199720> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-366" #460 daemon prio=6 os_prio=0 tid=0x00002b9c28009000 nid=0x4f3f runnable [0x00002b9c45a1b000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000695b6ca60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000007150b1fb8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x00000007150b4078> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-392" #459 daemon prio=6 os_prio=0 tid=0x00002b9bbc002000 nid=0x4f3d runnable [0x00002b9c44a45000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e174f5a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x0000000711fc6fd0> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x0000000711fc9090> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-367" #458 daemon prio=6 os_prio=0 tid=0x00002b9bbc005000 nid=0x4f3c runnable [0x00002b9c412f3000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x00000006e174d4e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000070eedbfe8> (a java.io.BufferedInputStream) 85.27/23.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 85.27/23.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 85.27/23.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 85.27/23.51 - locked <0x000000070eede0a8> (a java.io.InputStreamReader) 85.27/23.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 85.27/23.51 at java.io.Reader.read(Reader.java:100) 85.27/23.51 at java.util.Scanner.readInput(Scanner.java:804) 85.27/23.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 85.27/23.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 85.27/23.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 85.27/23.51 85.27/23.51 "Thread-391" #457 daemon prio=6 os_prio=0 tid=0x00002b9c1c009800 nid=0x4f3a runnable [0x00002b9c4176a000] 85.27/23.51 java.lang.Thread.State: RUNNABLE 85.27/23.51 at java.io.FileInputStream.readBytes(Native Method) 85.27/23.51 at java.io.FileInputStream.read(FileInputStream.java:255) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000069e87b130> (a java.lang.UNIXProcess$ProcessPipeInputStream) 85.27/23.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 85.27/23.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 85.27/23.51 - locked <0x000000070edf6940> (a java.io.BufferedInputStream) popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48