Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432170930
details
property
value
status
memout
benchmark
Parallel_true-termination.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Ultimate
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
5.85233 seconds
cpu usage
18.9425
user time
18.153
system time
0.789446
max virtual memory
1.69118848E8
max residence set size
955992.0
stage attributes
unavailable
output
18.17/5.67 2019-03-28 12:33:03 18.17/5.67 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 18.17/5.67 18.17/5.67 "Thread-118" #148 daemon prio=6 os_prio=0 tid=0x00002aaf38005000 nid=0x6bf9 waiting on condition [0x00002aaf40bb4000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 18.17/5.67 - locked <0x00000006ea8ac278> (a java.io.FileDescriptor) 18.17/5.67 at java.io.FileInputStream.close(FileInputStream.java:326) 18.17/5.67 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 18.17/5.67 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 18.17/5.67 - locked <0x00000006ea8ae2e0> (a java.lang.Object) 18.17/5.67 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 18.17/5.67 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 18.17/5.67 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 18.17/5.67 - locked <0x0000000706ab9608> (a java.io.InputStreamReader) 18.17/5.67 at java.io.InputStreamReader.close(InputStreamReader.java:199) 18.17/5.67 at java.util.Scanner.close(Scanner.java:1093) 18.17/5.67 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 18.17/5.67 18.17/5.67 "Thread-117" #147 daemon prio=6 os_prio=0 tid=0x00002aaf38003000 nid=0x6bf8 waiting on condition [0x00002aaf40ab3000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 18.17/5.67 - locked <0x00000006ea8aa170> (a java.lang.UNIXProcess$ProcessPipeInputStream) 18.17/5.67 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 18.17/5.67 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 18.17/5.67 - locked <0x00000007074f7260> (a java.io.BufferedInputStream) 18.17/5.67 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 18.17/5.67 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 18.17/5.67 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 18.17/5.67 - locked <0x00000007074f9320> (a java.io.InputStreamReader) 18.17/5.67 at java.io.InputStreamReader.read(InputStreamReader.java:184) 18.17/5.67 at java.io.Reader.read(Reader.java:100) 18.17/5.67 at java.util.Scanner.readInput(Scanner.java:804) 18.17/5.67 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 18.17/5.67 at java.util.Scanner.hasNextLine(Scanner.java:1500) 18.17/5.67 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 18.17/5.67 18.17/5.67 "process reaper" #122 daemon prio=10 os_prio=0 tid=0x00002aaf38001800 nid=0x6bf7 waiting on condition [0x00002aaf409b2000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 18.17/5.67 - locked <0x00000006ea8aa1b8> (a java.io.FileDescriptor) 18.17/5.67 at java.io.FileInputStream.close(FileInputStream.java:326) 18.17/5.67 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 18.17/5.67 - locked <0x00000006ea8ac220> (a java.lang.Object) 18.17/5.67 - locked <0x00000006ea8aa170> (a java.lang.UNIXProcess$ProcessPipeInputStream) 18.17/5.67 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 18.17/5.67 at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source) 18.17/5.67 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 18.17/5.67 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.17/5.67 at java.lang.Thread.run(Thread.java:748) 18.17/5.67 18.17/5.67 "Thread-116" #146 daemon prio=6 os_prio=0 tid=0x00002aaef0008000 nid=0x6bf5 waiting on condition [0x00002aaf40979000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 18.17/5.67 - locked <0x00000006e0554f68> (a java.io.FileDescriptor) 18.17/5.67 at java.io.FileInputStream.close(FileInputStream.java:326) 18.17/5.67 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 18.17/5.67 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 18.17/5.67 - locked <0x00000006e0556fd0> (a java.lang.Object) 18.17/5.67 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 18.17/5.67 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 18.17/5.67 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 18.17/5.67 - locked <0x000000070563bb60> (a java.io.InputStreamReader) 18.17/5.67 at java.io.InputStreamReader.close(InputStreamReader.java:199) 18.17/5.67 at java.util.Scanner.close(Scanner.java:1093) 18.17/5.67 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 18.17/5.67 18.17/5.67 "Thread-115" #145 daemon prio=6 os_prio=0 tid=0x00002aaef0006800 nid=0x6bf4 waiting on condition [0x00002aaf40878000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.BufferedInputStream.read(BufferedInputStream.java:336) 18.17/5.67 - locked <0x00000006e0552e60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 18.17/5.67 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 18.17/5.67 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 18.17/5.67 - locked <0x0000000704bf9d88> (a java.io.BufferedInputStream) 18.17/5.67 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 18.17/5.67 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 18.17/5.67 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 18.17/5.67 - locked <0x0000000704bfbe48> (a java.io.InputStreamReader) 18.17/5.67 at java.io.InputStreamReader.read(InputStreamReader.java:184) 18.17/5.67 at java.io.Reader.read(Reader.java:100) 18.17/5.67 at java.util.Scanner.readInput(Scanner.java:804) 18.17/5.67 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 18.17/5.67 at java.util.Scanner.hasNextLine(Scanner.java:1500) 18.17/5.67 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 18.17/5.67 18.17/5.67 "process reaper" #131 daemon prio=10 os_prio=0 tid=0x00002aaef0002800 nid=0x6bf3 waiting on condition [0x00002aaf40777000] 18.17/5.67 java.lang.Thread.State: RUNNABLE 18.17/5.67 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 18.17/5.67 - locked <0x00000006e0552ea8> (a java.io.FileDescriptor) 18.17/5.67 at java.io.FileInputStream.close(FileInputStream.java:326) 18.17/5.67 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 18.17/5.67 - locked <0x00000006e0554f10> (a java.lang.Object) 18.17/5.67 - locked <0x00000006e0552e60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 18.17/5.67 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 18.17/5.67 at java.lang.UNIXProcess$$Lambda$12/1467699158.run(Unknown Source) 18.17/5.67 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 18.17/5.67 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.17/5.67 at java.lang.Thread.run(Thread.java:748) 18.17/5.67 18.17/5.67 "Thread-114" #144 daemon prio=6 os_prio=0 tid=0x00002aaf1c005000 nid=0x6bf2 waiting on condition [0x00002aaf4073e000]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48