details

property	value
status	memout
benchmark	GulwaniJainKoskinen-PLDI2009-Fig1_true-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)	226.862 seconds
cpu usage	848.44
user time	759.88
system time	88.56
max virtual memory	2.51976864E8
max residence set size	1436.0

stage attributes

unavailable

output

812.26/217.03 2019-03-29 03:29:45 812.26/217.03 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 812.26/217.03 812.26/217.03 "Thread-33153" #33162 daemon prio=6 os_prio=0 tid=0x00002b1a04041000 nid=0x919 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33108" #33160 daemon prio=6 os_prio=0 tid=0x00002b1ab0011000 nid=0x914 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33151" #33159 daemon prio=6 os_prio=0 tid=0x00002b1a04042000 nid=0x913 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33110" #33158 daemon prio=6 os_prio=0 tid=0x00002b1a04036000 nid=0x912 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33148" #33157 daemon prio=6 os_prio=0 tid=0x00002b1a30004800 nid=0x911 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33112" #33156 daemon prio=6 os_prio=0 tid=0x00002b1a30006000 nid=0x910 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33114" #33154 daemon prio=6 os_prio=0 tid=0x00002b1a80005800 nid=0x90d runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33119" #33150 daemon prio=6 os_prio=0 tid=0x00002b1a1c021000 nid=0x906 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33120" #33148 daemon prio=6 os_prio=0 tid=0x00002b1a3c00b000 nid=0x903 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33122" #33146 daemon prio=6 os_prio=0 tid=0x00002b1a2001d800 nid=0x901 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33124" #33144 daemon prio=6 os_prio=0 tid=0x00002b1a94016800 nid=0x8fd runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33135" #33143 daemon prio=6 os_prio=0 tid=0x00002b1a7c003800 nid=0x8fc runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33127" #33142 daemon prio=6 os_prio=0 tid=0x00002b1a7c002000 nid=0x8fb runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33129" #33140 daemon prio=6 os_prio=0 tid=0x00002b1a8c00e000 nid=0x8f8 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33099" #33109 daemon prio=6 os_prio=0 tid=0x00002b1a6400f000 nid=0x8c6 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33091" #33108 daemon prio=6 os_prio=0 tid=0x00002b1a64010800 nid=0x8c5 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33093" #33106 daemon prio=6 os_prio=0 tid=0x00002b1a080de800 nid=0x8c2 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33097" #33105 daemon prio=6 os_prio=0 tid=0x00002b1a6c004800 nid=0x8c1 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33094" #33104 daemon prio=6 os_prio=0 tid=0x00002b1a6c003800 nid=0x8c0 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33095" #33103 daemon prio=6 os_prio=0 tid=0x00002b1a3401b000 nid=0x8bf runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33035" #33102 daemon prio=6 os_prio=0 tid=0x00002b1a34016800 nid=0x8be runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33040" #33045 daemon prio=6 os_prio=0 tid=0x00002b1aa4002000 nid=0x86c runnable [0x00002b19c36ae000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x0000000751569dd8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000075c7aca50> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 812.26/217.03 - locked <0x000000075c7aeb10> (a java.io.InputStreamReader) 812.26/217.03 at java.io.InputStreamReader.read(InputStreamReader.java:184) 812.26/217.03 at java.io.Reader.read(Reader.java:100) 812.26/217.03 at java.util.Scanner.readInput(Scanner.java:804) 812.26/217.03 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 812.26/217.03 at java.util.Scanner.hasNextLine(Scanner.java:1500) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 812.26/217.03 812.26/217.03 "Thread-33034" #33044 daemon prio=6 os_prio=0 tid=0x00002b1aa4001000 nid=0x86a runnable [0x00002b19c34ac000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x0000000751567d18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000075adf9e70> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 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_Integer 2019-03-28 22.15