Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C_Integer 2019-03-28 22.15 pair #432271507
details
property
value
status
memout
benchmark
Singapore_true-termination.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Ton_Chanh_15
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
21.007 seconds
cpu usage
78.22
user time
74.74
system time
3.48
max virtual memory
1.47620096E8
max residence set size
1440.0
stage attributes
unavailable
output
40.07/11.23 2019-03-28 22:47:10 40.07/11.23 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 40.07/11.23 40.07/11.23 "Thread-556" #566 daemon prio=6 os_prio=0 tid=0x00002b57ac009000 nid=0xf884 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 40.07/11.23 "Thread-552" #565 daemon prio=6 os_prio=0 tid=0x00002b57ac00b000 nid=0xf883 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-555" #564 daemon prio=6 os_prio=0 tid=0x00002b5774004000 nid=0xf881 runnable [0x00002b56e2eaa000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 40.07/11.23 40.07/11.23 "Thread-523" #563 daemon prio=6 os_prio=0 tid=0x00002b5774005000 nid=0xf880 runnable [0x00002b5788301000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 40.07/11.23 40.07/11.23 "Thread-535" #561 daemon prio=6 os_prio=0 tid=0x00002b57dc002000 nid=0xf87e runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-553" #560 daemon prio=6 os_prio=0 tid=0x00002b57ec004000 nid=0xf87d runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-537" #559 daemon prio=6 os_prio=0 tid=0x00002b57ec002000 nid=0xf87c runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-550" #556 daemon prio=6 os_prio=0 tid=0x00002b57a8004000 nid=0xf878 runnable [0x00002b5789815000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b17cca18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006bc8a8080> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006bc8aa140> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-539" #555 daemon prio=6 os_prio=0 tid=0x00002b57a8001000 nid=0xf877 runnable [0x00002b56e2d70000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b17ca958> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006bbeea048> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006bbeec108> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-536" #554 daemon prio=6 os_prio=0 tid=0x00002b57380c6000 nid=0xf871 runnable [0x00002b56e21f7000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000007759990b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b9b752f8> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006b9b773b8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-453" #519 daemon prio=6 os_prio=0 tid=0x00002b57380c5800 nid=0xf865 runnable [0x00002b571fd3d000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775997020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b6911b80> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284)
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