Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Relative 2019-03-29 08.12 pair #432296703
details
property
value
status
memout
benchmark
random-151.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Waldmann_19
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
27.2478 seconds
cpu usage
102.71
user time
99.8348
system time
2.87552
max virtual memory
1.46836212E8
max residence set size
5661512.0
stage attributes
unavailable
output
78.20/20.94 2019-03-29 09:54:17 78.20/20.94 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 78.20/20.94 78.20/20.94 "ThreadPoolThread309" #390 daemon prio=6 os_prio=0 tid=0x00002b18e40d2800 nid=0x509c waiting for monitor entry [0x00002b194f1f3000] 78.20/20.94 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.94 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.94 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.94 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.94 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.94 at java.lang.Thread.run(Thread.java:748) 78.20/20.94 78.20/20.94 "ThreadPoolThread308" #389 daemon prio=6 os_prio=0 tid=0x00002b18e40d2000 nid=0x5098 waiting for monitor entry [0x00002b194f2f4000] 78.20/20.94 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.94 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.94 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread307" #388 daemon prio=6 os_prio=0 tid=0x00002b18e4095800 nid=0x5093 waiting for monitor entry [0x00002b194cb09000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread306" #387 daemon prio=6 os_prio=0 tid=0x00002b18e406e000 nid=0x508b waiting for monitor entry [0x00002b194f3f5000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread305" #386 daemon prio=6 os_prio=0 tid=0x00002b18e4081800 nid=0x5088 waiting for monitor entry [0x00002b194f5f7000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread304" #385 daemon prio=6 os_prio=0 tid=0x00002b18e4046800 nid=0x5083 waiting for monitor entry [0x00002b194fcfe000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread303" #384 daemon prio=6 os_prio=0 tid=0x00002b18e4061800 nid=0x507a waiting for monitor entry [0x00002b194c503000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread302" #383 daemon prio=6 os_prio=0 tid=0x00002b18e4089800 nid=0x5073 waiting for monitor entry [0x00002b194e622000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread301" #382 daemon prio=6 os_prio=0 tid=0x00002b18e406a000 nid=0x5070 waiting for monitor entry [0x00002b194fdff000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread300" #381 daemon prio=6 os_prio=0 tid=0x00002b18e400e800 nid=0x506e waiting for monitor entry [0x00002b194e01c000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread299" #380 daemon prio=6 os_prio=0 tid=0x00002b18e4043000 nid=0x5069 waiting for monitor entry [0x00002b194ed29000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread298" #379 daemon prio=6 os_prio=0 tid=0x00002b18e4048800 nid=0x5061 waiting for monitor entry [0x00002b194e723000] 78.20/20.95 java.lang.Thread.State: BLOCKED (on object monitor) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 78.20/20.95 - waiting to lock <0x000000044006a5f0> (a aprove.Strategies.Util.PrioritizableThreadPool) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 78.20/20.95 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 78.20/20.95 at java.lang.Thread.run(Thread.java:748) 78.20/20.95 78.20/20.95 "ThreadPoolThread297" #378 daemon prio=6 os_prio=0 tid=0x00002b18e4025000 nid=0x505a waiting for monitor entry [0x00002b194d513000]
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Relative 2019-03-29 08.12