Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171506
details
property
value
status
memout
benchmark
AliasDarteFeautrierGonnord-SAS2010-Fig2a_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)
46.7603 seconds
cpu usage
126.39
user time
123.42
system time
2.97
max virtual memory
1.47789804E8
max residence set size
1440.0
stage attributes
unavailable
output
87.04/36.72 2019-03-28 11:56:20 87.04/36.72 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 87.04/36.72 87.04/36.72 "Thread-204" #226 daemon prio=6 os_prio=0 tid=0x00002ad9f8014000 nid=0x5058 runnable [0x0000000000000000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 87.04/36.72 "Thread-199" #225 daemon prio=6 os_prio=0 tid=0x00002ad9f8013000 nid=0x5050 waiting on condition [0x00002ada1a927000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 87.04/36.72 - locked <0x0000000731c2efb0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x0000000779ebd118> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x0000000779ebf1d8> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-202" #224 daemon prio=6 os_prio=0 tid=0x00002ad9c4006000 nid=0x5047 runnable [0x00002ada1a825000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076291d1a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x0000000777742210> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007777442d0> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-200" #223 daemon prio=6 os_prio=0 tid=0x00002ad9c4005800 nid=0x5044 runnable [0x00002ada1a724000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076291b0e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x00000007735d6918> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x00000007735d89d8> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-201" #222 daemon prio=6 os_prio=0 tid=0x00002ad9c0004800 nid=0x5042 runnable [0x00002ad916ac2000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076271f2a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000077114d3c0> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 87.04/36.72 - locked <0x000000077114f480> (a java.io.InputStreamReader) 87.04/36.72 at java.io.InputStreamReader.read(InputStreamReader.java:184) 87.04/36.72 at java.io.Reader.read(Reader.java:100) 87.04/36.72 at java.util.Scanner.readInput(Scanner.java:804) 87.04/36.72 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 87.04/36.72 at java.util.Scanner.hasNextLine(Scanner.java:1500) 87.04/36.72 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 87.04/36.72 87.04/36.72 "Thread-198" #221 daemon prio=6 os_prio=0 tid=0x00002ad9c0001000 nid=0x503d runnable [0x00002ad917d7e000] 87.04/36.72 java.lang.Thread.State: RUNNABLE 87.04/36.72 at java.io.FileInputStream.readBytes(Native Method) 87.04/36.72 at java.io.FileInputStream.read(FileInputStream.java:255) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076271d1e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 87.04/36.72 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 87.04/36.72 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 87.04/36.72 - locked <0x000000076f56f798> (a java.io.BufferedInputStream) 87.04/36.72 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 87.04/36.72 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 87.04/36.72 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 2019-03-28 11.48