details

property	value
status	memout
benchmark	BradleyMannaSipma-ICALP2005-Fig1_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Termination_Category

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	236.118 seconds
cpu usage	687.89
user time	674.16
system time	13.73
max virtual memory	1.48402216E8
max residence set size	1440.0

stage attributes

unavailable

output

649.48/226.26 2019-03-28 11:56:58 649.48/226.26 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 649.48/226.26 649.48/226.26 "Thread-2476" #2509 daemon prio=6 os_prio=0 tid=0x00002acb18007800 nid=0x3a24 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 649.48/226.26 "Thread-2443" #2508 daemon prio=6 os_prio=0 tid=0x00002acb18006800 nid=0x3a22 runnable [0x00002aca5a5f8000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf1f7190> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006c978b4d8> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006c978d598> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2474" #2507 daemon prio=6 os_prio=0 tid=0x00002acaec003800 nid=0x3a21 runnable [0x00002aca59df0000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006983d4040> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006bf550d18> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006bf552dd8> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2467" #2506 daemon prio=6 os_prio=0 tid=0x00002acac400d000 nid=0x3a1e runnable [0x00002aca551b8000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf23f0e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000006b40bd920> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x00000006b40bf9e0> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2445" #2471 daemon prio=6 os_prio=0 tid=0x00002acac400c800 nid=0x3a19 runnable [0x00002aca46bc4000] 649.48/226.26 java.lang.Thread.State: RUNNABLE 649.48/226.26 at java.io.FileInputStream.readBytes(Native Method) 649.48/226.26 at java.io.FileInputStream.read(FileInputStream.java:255) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x00000007bf23d050> (a java.lang.UNIXProcess$ProcessPipeInputStream) 649.48/226.26 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 649.48/226.26 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 649.48/226.26 - locked <0x000000069c1572d8> (a java.io.BufferedInputStream) 649.48/226.26 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 649.48/226.26 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 649.48/226.26 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 649.48/226.26 - locked <0x000000069c159398> (a java.io.InputStreamReader) 649.48/226.26 at java.io.InputStreamReader.read(InputStreamReader.java:184) 649.48/226.26 at java.io.Reader.read(Reader.java:100) 649.48/226.26 at java.util.Scanner.readInput(Scanner.java:804) 649.48/226.26 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 649.48/226.26 at java.util.Scanner.hasNextLine(Scanner.java:1500) 649.48/226.26 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 649.48/226.26 649.48/226.26 "Thread-2464" #2505 daemon prio=6 os_prio=0 tid=0x00002acb4000b800 nid=0x3a18 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2447" #2504 daemon prio=6 os_prio=0 tid=0x00002acb4000a800 nid=0x3a17 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2463" #2503 daemon prio=6 os_prio=0 tid=0x00002acb24008800 nid=0x3a16 runnable [0x0000000000000000] 649.48/226.26 java.lang.Thread.State: TERMINATED 649.48/226.26 649.48/226.26 "Thread-2448" #2502 daemon prio=6 os_prio=0 tid=0x00002acb24003800 nid=0x3a15 runnable [0x0000000000000000] popout

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

job log

popout

actions

all output return to C 2019-03-28 11.48