details

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

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	10.3524 seconds
cpu usage	36.6065
user time	34.9317
system time	1.67481
max virtual memory	2.42862904E8
max residence set size	4205260.0

stage attributes

unavailable

output

18.80/5.73 2019-03-29 18:22:34 18.80/5.73 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 18.80/5.73 18.80/5.73 "process reaper" #110 daemon prio=10 os_prio=0 tid=0x00002ac9cc098000 nid=0x42e9 waiting on condition [0x00002ac96fb73000] 18.80/5.73 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.73 at sun.misc.Unsafe.park(Native Method) 18.80/5.73 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.73 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.73 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.73 at java.lang.Thread.run(Thread.java:748) 18.80/5.73 18.80/5.73 "process reaper" #102 daemon prio=10 os_prio=0 tid=0x00002aca04001000 nid=0x42e8 waiting on condition [0x00002ac96fb3a000] 18.80/5.73 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.73 at sun.misc.Unsafe.park(Native Method) 18.80/5.73 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.73 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.73 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.73 at java.lang.Thread.run(Thread.java:748) 18.80/5.73 18.80/5.73 "process reaper" #101 daemon prio=10 os_prio=0 tid=0x00002ac9c800a000 nid=0x42e7 waiting on condition [0x00002ac96fb01000] 18.80/5.73 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.73 at sun.misc.Unsafe.park(Native Method) 18.80/5.73 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.73 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.73 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.73 at java.lang.Thread.run(Thread.java:748) 18.80/5.73 18.80/5.73 "process reaper" #104 daemon prio=10 os_prio=0 tid=0x00002aca00007000 nid=0x42e6 waiting on condition [0x00002ac96fac8000] 18.80/5.73 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.73 at sun.misc.Unsafe.park(Native Method) 18.80/5.73 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.73 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.73 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.73 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.73 at java.lang.Thread.run(Thread.java:748) 18.80/5.73 18.80/5.73 "process reaper" #107 daemon prio=10 os_prio=0 tid=0x00002ac9b4012000 nid=0x42e5 waiting on condition [0x00002ac96fa8f000] 18.80/5.73 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.73 at sun.misc.Unsafe.park(Native Method) 18.80/5.73 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.73 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.73 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.74 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.74 at java.lang.Thread.run(Thread.java:748) 18.80/5.74 18.80/5.74 "process reaper" #109 daemon prio=10 os_prio=0 tid=0x00002ac9e4012000 nid=0x42e3 waiting on condition [0x00002ac96fa56000] 18.80/5.74 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.74 at sun.misc.Unsafe.park(Native Method) 18.80/5.74 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.74 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.74 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.74 at java.lang.Thread.run(Thread.java:748) 18.80/5.74 18.80/5.74 "process reaper" #108 daemon prio=10 os_prio=0 tid=0x00002ac9b0006800 nid=0x42e2 waiting on condition [0x00002ac96fa1d000] 18.80/5.74 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.74 at sun.misc.Unsafe.park(Native Method) 18.80/5.74 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.74 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 18.80/5.74 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 18.80/5.74 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 18.80/5.74 at java.lang.Thread.run(Thread.java:748) 18.80/5.74 18.80/5.74 "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002ac9f4001000 nid=0x42e1 waiting on condition [0x00002ac96f9e4000] 18.80/5.74 java.lang.Thread.State: TIMED_WAITING (parking) 18.80/5.74 at sun.misc.Unsafe.park(Native Method) 18.80/5.74 - parking to wait for <0x000000044113f958> (a java.util.concurrent.SynchronousQueue$TransferStack) 18.80/5.74 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 18.80/5.74 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 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