Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171776
details
property
value
status
memout
benchmark
svcomp_min_rf_true-alloca.c
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
AProVE_memory_alloca
run statistics
property
value
solver
AProVE
configuration
c
runtime (wallclock)
58.945 seconds
cpu usage
137.176
user time
134.344
system time
2.83216
max virtual memory
3.37135072E8
max residence set size
5189684.0
stage attributes
unavailable
output
113.87/53.04 2019-03-28 12:34:51 113.87/53.04 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 113.87/53.04 113.87/53.04 "ThreadPoolThread110" #185 daemon prio=6 os_prio=0 tid=0x00002abd38086000 nid=0x6bc2 runnable [0x0000000000000000] 113.87/53.04 java.lang.Thread.State: RUNNABLE 113.87/53.04 113.87/53.04 "ThreadPoolThread109" #184 daemon prio=6 os_prio=0 tid=0x00002abd38071000 nid=0x6bc0 waiting for monitor entry [0x00002abcdfb6b000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread108" #183 daemon prio=6 os_prio=0 tid=0x00002abd38070800 nid=0x6bbc waiting for monitor entry [0x00002abcdfca5000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread107" #182 daemon prio=6 os_prio=0 tid=0x00002abd3806f800 nid=0x6bb8 waiting for monitor entry [0x00002abcdf32c000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread106" #181 daemon prio=6 os_prio=0 tid=0x00002abd3806f000 nid=0x6bb4 waiting for monitor entry [0x00002abcdeb24000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread105" #180 daemon prio=6 os_prio=0 tid=0x00002abd3806e000 nid=0x6bb1 waiting for monitor entry [0x00002abcdffe1000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread104" #179 daemon prio=6 os_prio=0 tid=0x00002abd38017000 nid=0x6bae waiting for monitor entry [0x00002abd0ef14000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread103" #178 daemon prio=6 os_prio=0 tid=0x00002abd38068800 nid=0x6bac waiting for monitor entry [0x00002abd0e661000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread102" #177 daemon prio=6 os_prio=0 tid=0x00002abd38073800 nid=0x6baa waiting for monitor entry [0x00002abd0f015000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread101" #176 daemon prio=6 os_prio=0 tid=0x00002abd38075000 nid=0x6ba7 waiting for monitor entry [0x00002abcdf22b000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread100" #175 daemon prio=6 os_prio=0 tid=0x00002abd38072800 nid=0x6ba6 waiting for monitor entry [0x00002abd0f250000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread99" #174 daemon prio=6 os_prio=0 tid=0x00002abd38077800 nid=0x6ba5 waiting for monitor entry [0x00002abd0f14f000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 113.87/53.04 at java.lang.Thread.run(Thread.java:748) 113.87/53.04 113.87/53.04 "ThreadPoolThread98" #173 daemon prio=6 os_prio=0 tid=0x00002abd38060800 nid=0x6ba3 waiting for monitor entry [0x00002abd0ead7000] 113.87/53.04 java.lang.Thread.State: BLOCKED (on object monitor) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 113.87/53.04 - waiting to lock <0x000000044000d7e8> (a aprove.Strategies.Util.PrioritizableThreadPool) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 113.87/53.04 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to C 2019-03-28 11.48