details

property	value
status	memout
benchmark	ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.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)	7.58779 seconds
cpu usage	26.89
user time	25.49
system time	1.4
max virtual memory	1.85528428E8
max residence set size	1404.0

stage attributes

unavailable

output

2020-06-21 23:26:43 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-265" #285 daemon prio=6 os_prio=0 tid=0x00002b0a3c001000 nid=0x84f5 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-266" #292 daemon prio=6 os_prio=0 tid=0x00002b0a2c001000 nid=0x84f3 waiting on condition [0x00002b097bd5a000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075cd495b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000076ac81070> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000076ac83130> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-271" #289 daemon prio=6 os_prio=0 tid=0x00002b0a24001000 nid=0x84f2 waiting on condition [0x00002b097bc58000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075debb390> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000769a94da0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000769a96e60> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-269" #288 daemon prio=6 os_prio=0 tid=0x00002b09b004d000 nid=0x84f1 waiting on condition [0x00002b097bb57000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075970fc80> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007688a8ad0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007688aab90> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-268" #287 daemon prio=6 os_prio=0 tid=0x00002b09b004e000 nid=0x84f0 waiting on condition [0x00002b097ba56000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075970dbc0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000076919ec38> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007691a0cf8> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-267" #286 daemon prio=6 os_prio=0 tid=0x00002b0a20003000 nid=0x84ef waiting on condition [0x00002b097b955000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075e860488> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007676bc810> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000767fb4a28> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-264" #284 daemon prio=6 os_prio=0 tid=0x00002b0a20001000 nid=0x84ee waiting on condition [0x00002b097b854000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075e85e3c8> (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