details

property	value
status	memout
benchmark	dup01.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Trafo_06

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	15.6124 seconds
cpu usage	56.8301
user time	54.7456
system time	2.08448
max virtual memory	2.09256052E8
max residence set size	5406616.0

stage attributes

unavailable

output

41.08/11.53 2019-03-29 17:26:55 41.08/11.53 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 41.08/11.53 41.08/11.53 "ThreadPoolThread95" #133 daemon prio=6 os_prio=0 tid=0x00002b4134065800 nid=0xef74 runnable [0x0000000000000000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 41.08/11.53 "ThreadPoolThread94" #132 daemon prio=6 os_prio=0 tid=0x00002b4134063800 nid=0xef72 waiting for monitor entry [0x00002b410b839000] 41.08/11.53 java.lang.Thread.State: BLOCKED (on object monitor) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 41.08/11.53 - waiting to lock <0x0000000440000b38> (a aprove.Strategies.Util.PrioritizableThreadPool) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "ThreadPoolThread93" #131 daemon prio=6 os_prio=0 tid=0x00002b4134026000 nid=0xef71 waiting for monitor entry [0x00002b410bef3000] 41.08/11.53 java.lang.Thread.State: BLOCKED (on object monitor) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 41.08/11.53 - locked <0x0000000440000b38> (a aprove.Strategies.Util.PrioritizableThreadPool) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 41.08/11.53 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #130 daemon prio=10 os_prio=0 tid=0x00002b41e800a000 nid=0xef70 waiting on condition [0x00002b4186302000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006b91d97c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #129 daemon prio=10 os_prio=0 tid=0x00002b41d0002800 nid=0xef6a waiting on condition [0x00002b41862c9000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.io.FileDescriptor.closeAll(FileDescriptor.java:195) 41.08/11.53 - locked <0x00000006b9ba7a78> (a java.io.FileDescriptor) 41.08/11.53 at java.io.FileInputStream.close(FileInputStream.java:326) 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 41.08/11.53 - locked <0x00000006b9ba9ae0> (a java.lang.Object) 41.08/11.53 - locked <0x00000006b9ba7a30> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #127 daemon prio=10 os_prio=0 tid=0x00002b41ac001000 nid=0xef64 waiting on condition [0x00002b4186290000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006a9932f40> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #126 daemon prio=10 os_prio=0 tid=0x00002b419c001000 nid=0xef56 waiting on condition [0x00002b4186257000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006bacbbbd0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #125 daemon prio=10 os_prio=0 tid=0x00002b41d0001800 nid=0xef51 waiting on condition [0x00002b410bde2000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006b9acf920> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #124 daemon prio=10 os_prio=0 tid=0x00002b41c4001000 nid=0xef49 waiting on condition [0x00002b410bda9000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006bbea7e80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #123 daemon prio=10 os_prio=0 tid=0x00002b41d4001000 nid=0xef48 waiting on condition [0x00002b410bd70000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006ba3c5a78> (a java.lang.UNIXProcess$ProcessPipeInputStream) 41.08/11.53 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 41.08/11.53 at java.lang.UNIXProcess$$Lambda$12/2002498204.run(Unknown Source) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 41.08/11.53 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 41.08/11.53 at java.lang.Thread.run(Thread.java:748) 41.08/11.53 41.08/11.53 "process reaper" #122 daemon prio=10 os_prio=0 tid=0x00002b41e0001000 nid=0xef43 waiting on condition [0x00002b410bd37000] 41.08/11.53 java.lang.Thread.State: RUNNABLE 41.08/11.53 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 41.08/11.53 - locked <0x00000006bc79dfd8> (a java.lang.UNIXProcess$ProcessPipeInputStream) popout

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

job log

popout

actions

all output return to SRS_Standard 2019-03-29 03.29