details

property	value
status	memout
benchmark	CookSeeZuleger-TACAS2013-Fig7b_true-termination.c
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	SV-COMP_Termination_Category

run statistics

property	value
solver	AProVE
configuration	c
runtime (wallclock)	28.8594 seconds
cpu usage	99.66
user time	96.88
system time	2.78
max virtual memory	1.124159988E9
max residence set size	1436.0

stage attributes

unavailable

output

66.13/19.68 2019-03-28 11:54:03 66.13/19.68 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 66.13/19.68 66.13/19.68 "ThreadPoolThread198" #237 daemon prio=6 os_prio=0 tid=0x00002af290167000 nid=0x11d2 runnable [0x0000000000000000] 66.13/19.68 java.lang.Thread.State: RUNNABLE 66.13/19.68 66.13/19.68 "ThreadPoolThread197" #236 daemon prio=6 os_prio=0 tid=0x00002af290164800 nid=0x11d1 waiting for monitor entry [0x00002af34fb39000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread196" #235 daemon prio=6 os_prio=0 tid=0x00002af290162800 nid=0x11d0 waiting for monitor entry [0x00002af34fa38000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread195" #234 daemon prio=6 os_prio=0 tid=0x00002af290161000 nid=0x11cf waiting for monitor entry [0x00002af34f937000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread194" #233 daemon prio=6 os_prio=0 tid=0x00002af29015f000 nid=0x11ce waiting for monitor entry [0x00002af34f836000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread193" #232 daemon prio=6 os_prio=0 tid=0x00002af29015d000 nid=0x11cd waiting for monitor entry [0x00002af34f735000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread192" #231 daemon prio=6 os_prio=0 tid=0x00002af29015b000 nid=0x11cc waiting for monitor entry [0x00002af34f634000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread191" #230 daemon prio=6 os_prio=0 tid=0x00002af290159000 nid=0x11cb waiting for monitor entry [0x00002af34f533000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread190" #229 daemon prio=6 os_prio=0 tid=0x00002af290157000 nid=0x11c8 waiting for monitor entry [0x00002af34f432000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread189" #228 daemon prio=6 os_prio=0 tid=0x00002af290155000 nid=0x11c7 waiting for monitor entry [0x00002af34f331000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread188" #227 daemon prio=6 os_prio=0 tid=0x00002af290153000 nid=0x11c6 waiting for monitor entry [0x00002af34f230000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread187" #226 daemon prio=6 os_prio=0 tid=0x00002af290151000 nid=0x11c5 waiting for monitor entry [0x00002af34f12f000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 66.13/19.68 at java.lang.Thread.run(Thread.java:748) 66.13/19.68 66.13/19.68 "ThreadPoolThread186" #225 daemon prio=6 os_prio=0 tid=0x00002af29014f000 nid=0x11c4 waiting for monitor entry [0x00002af34f02e000] 66.13/19.68 java.lang.Thread.State: BLOCKED (on object monitor) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 66.13/19.68 - waiting to lock <0x000000044000a2b0> (a aprove.Strategies.Util.PrioritizableThreadPool) 66.13/19.68 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 66.13/19.68 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