details

property	value
status	memout
benchmark	data_structures_set_multi_proc_false-unreach-call_ground.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)	73.7623 seconds
cpu usage	161.034
user time	157.594
system time	3.44002
max virtual memory	2.13131552E8
max residence set size	5167600.0

stage attributes

unavailable

output

156.85/72.74 2019-03-28 12:20:11 156.85/72.74 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 156.85/72.74 156.85/72.74 "Thread-311" #346 daemon prio=6 os_prio=0 tid=0x00002b3514004800 nid=0xbb74 runnable [0x0000000000000000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 156.85/72.74 "Thread-241" #345 daemon prio=6 os_prio=0 tid=0x00002b3514008800 nid=0xbb72 runnable [0x00002b3550fb7000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 at java.io.FileInputStream.readBytes(Native Method) 156.85/72.74 at java.io.FileInputStream.read(FileInputStream.java:255) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x000000069c515010> (a java.lang.UNIXProcess$ProcessPipeInputStream) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x0000000729ec3768> (a java.io.BufferedInputStream) 156.85/72.74 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 156.85/72.74 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 156.85/72.74 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 156.85/72.74 - locked <0x0000000729ec5828> (a java.io.InputStreamReader) 156.85/72.74 at java.io.InputStreamReader.read(InputStreamReader.java:184) 156.85/72.74 at java.io.Reader.read(Reader.java:100) 156.85/72.74 at java.util.Scanner.readInput(Scanner.java:804) 156.85/72.74 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 156.85/72.74 at java.util.Scanner.hasNextLine(Scanner.java:1500) 156.85/72.74 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 156.85/72.74 156.85/72.74 "Thread-253" #286 daemon prio=6 os_prio=0 tid=0x00002b34e0004000 nid=0xbb6f runnable [0x00002b34cce0b000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 at java.io.FileInputStream.readBytes(Native Method) 156.85/72.74 at java.io.FileInputStream.read(FileInputStream.java:255) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x00000006a33b2328> (a java.lang.UNIXProcess$ProcessPipeInputStream) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x0000000727da0ef8> (a java.io.BufferedInputStream) 156.85/72.74 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 156.85/72.74 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 156.85/72.74 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 156.85/72.74 - locked <0x0000000727da2fb8> (a java.io.InputStreamReader) 156.85/72.74 at java.io.InputStreamReader.read(InputStreamReader.java:184) 156.85/72.74 at java.io.Reader.read(Reader.java:100) 156.85/72.74 at java.util.Scanner.readInput(Scanner.java:804) 156.85/72.74 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 156.85/72.74 at java.util.Scanner.hasNextLine(Scanner.java:1500) 156.85/72.74 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 156.85/72.74 156.85/72.74 "Thread-309" #344 daemon prio=6 os_prio=0 tid=0x00002b350c016800 nid=0xbb6d runnable [0x00002b3551831000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 at java.io.FileInputStream.readBytes(Native Method) 156.85/72.74 at java.io.FileInputStream.read(FileInputStream.java:255) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x000000069aae95f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x0000000725c7e688> (a java.io.BufferedInputStream) 156.85/72.74 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 156.85/72.74 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 156.85/72.74 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 156.85/72.74 - locked <0x0000000725c80748> (a java.io.InputStreamReader) 156.85/72.74 at java.io.InputStreamReader.read(InputStreamReader.java:184) 156.85/72.74 at java.io.Reader.read(Reader.java:100) 156.85/72.74 at java.util.Scanner.readInput(Scanner.java:804) 156.85/72.74 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 156.85/72.74 at java.util.Scanner.hasNextLine(Scanner.java:1500) 156.85/72.74 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 156.85/72.74 156.85/72.74 "Thread-261" #343 daemon prio=6 os_prio=0 tid=0x00002b350c016000 nid=0xbb6b runnable [0x00002b34cead0000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 at java.io.FileInputStream.readBytes(Native Method) 156.85/72.74 at java.io.FileInputStream.read(FileInputStream.java:255) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x000000069aae7538> (a java.lang.UNIXProcess$ProcessPipeInputStream) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x0000000721ca2528> (a java.io.BufferedInputStream) 156.85/72.74 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 156.85/72.74 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 156.85/72.74 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 156.85/72.74 - locked <0x0000000721ca45e8> (a java.io.InputStreamReader) 156.85/72.74 at java.io.InputStreamReader.read(InputStreamReader.java:184) 156.85/72.74 at java.io.Reader.read(Reader.java:100) 156.85/72.74 at java.util.Scanner.readInput(Scanner.java:804) 156.85/72.74 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 156.85/72.74 at java.util.Scanner.hasNextLine(Scanner.java:1500) 156.85/72.74 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 156.85/72.74 156.85/72.74 "Thread-308" #342 daemon prio=6 os_prio=0 tid=0x00002b34dc009800 nid=0xbb69 runnable [0x00002b34cfd37000] 156.85/72.74 java.lang.Thread.State: RUNNABLE 156.85/72.74 at java.io.FileInputStream.readBytes(Native Method) 156.85/72.74 at java.io.FileInputStream.read(FileInputStream.java:255) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x000000069e8f6ab8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 156.85/72.74 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 156.85/72.74 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 156.85/72.74 - locked <0x000000071fb7fcb8> (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