Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432286519
details
property
value
status
memout
benchmark
24100.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
ICFP_2010
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
81.2842 seconds
cpu usage
315.7
user time
307.63
system time
8.07
max virtual memory
1.46957476E8
max residence set size
1440.0
stage attributes
unavailable
output
276.94/71.47 2019-03-29 05:17:39 276.94/71.47 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 276.94/71.47 276.94/71.47 "ThreadPoolThread575" #613 daemon prio=6 os_prio=0 tid=0x00002b31ac01c000 nid=0x2df waiting for monitor entry [0x00002b3187234000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread574" #612 daemon prio=6 os_prio=0 tid=0x00002b31ac0aa000 nid=0x2de waiting for monitor entry [0x00002b3186f31000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread573" #611 daemon prio=6 os_prio=0 tid=0x00002b31ac0a9800 nid=0x2db waiting for monitor entry [0x00002b3186b2d000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread572" #610 daemon prio=6 os_prio=0 tid=0x00002b31ac037800 nid=0x2d8 waiting for monitor entry [0x00002b318692b000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread571" #609 daemon prio=6 os_prio=0 tid=0x00002b31ac036800 nid=0x2d7 waiting for monitor entry [0x00002b318682a000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread570" #608 daemon prio=6 os_prio=0 tid=0x00002b31ac071000 nid=0x2d2 waiting for monitor entry [0x00002b3186729000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread569" #607 daemon prio=6 os_prio=0 tid=0x00002b31ac0a3800 nid=0x2cf waiting for monitor entry [0x00002b3153f90000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread568" #606 daemon prio=6 os_prio=0 tid=0x00002b31ac021000 nid=0x2ce waiting for monitor entry [0x00002b3153c71000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread567" #605 daemon prio=6 os_prio=0 tid=0x00002b31ac0af800 nid=0x2cd waiting for monitor entry [0x00002b315366b000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread566" #604 daemon prio=6 os_prio=0 tid=0x00002b31ac045800 nid=0x2cc waiting for monitor entry [0x00002b3153469000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread565" #603 daemon prio=6 os_prio=0 tid=0x00002b31ac096000 nid=0x2cb waiting for monitor entry [0x00002b3153368000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread564" #602 daemon prio=6 os_prio=0 tid=0x00002b31ac0c1800 nid=0x2ca waiting for monitor entry [0x00002b3153267000] 276.94/71.47 java.lang.Thread.State: BLOCKED (on object monitor) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 276.94/71.47 - waiting to lock <0x0000000440003008> (a aprove.Strategies.Util.PrioritizableThreadPool) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 276.94/71.47 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 276.94/71.47 at java.lang.Thread.run(Thread.java:748) 276.94/71.47 276.94/71.47 "ThreadPoolThread563" #601 daemon prio=6 os_prio=0 tid=0x00002b31ac0b3800 nid=0x2c9 waiting for monitor entry [0x00002b3153065000]
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