details

property	value
status	memout
benchmark	HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-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)	35.8345 seconds
cpu usage	130.18
user time	126.02
system time	4.16
max virtual memory	2.79173932E8
max residence set size	1440.0

stage attributes

unavailable

output

110.23/30.24 2019-03-28 11:55:58 110.23/30.24 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 110.23/30.24 110.23/30.24 "Thread-584" #643 daemon prio=6 os_prio=0 tid=0x00002afc9800b800 nid=0xa39f runnable [0x0000000000000000] 110.23/30.24 java.lang.Thread.State: RUNNABLE 110.23/30.24 110.23/30.24 "ThreadPoolThread495" #812 daemon prio=6 os_prio=0 tid=0x00002afc3423e800 nid=0xa39e waiting for monitor entry [0x00002afd02d4d000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread494" #811 daemon prio=6 os_prio=0 tid=0x00002afc34240000 nid=0xa39d waiting for monitor entry [0x00002afd02c4c000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread493" #810 daemon prio=6 os_prio=0 tid=0x00002afc34248000 nid=0xa39c waiting for monitor entry [0x00002afd02b4b000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread492" #809 daemon prio=6 os_prio=0 tid=0x00002afc34273800 nid=0xa39b waiting for monitor entry [0x00002afd02a4a000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread491" #808 daemon prio=6 os_prio=0 tid=0x00002afc34197800 nid=0xa39a waiting for monitor entry [0x00002afd02949000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread490" #807 daemon prio=6 os_prio=0 tid=0x00002afc341d7800 nid=0xa399 waiting for monitor entry [0x00002afd02848000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread489" #806 daemon prio=6 os_prio=0 tid=0x00002afc3426f800 nid=0xa398 waiting for monitor entry [0x00002afd02747000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread488" #805 daemon prio=6 os_prio=0 tid=0x00002afc34080800 nid=0xa397 waiting for monitor entry [0x00002afd02646000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread487" #804 daemon prio=6 os_prio=0 tid=0x00002afc3402d800 nid=0xa396 waiting for monitor entry [0x00002afd02545000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread486" #803 daemon prio=6 os_prio=0 tid=0x00002afc34190000 nid=0xa395 waiting for monitor entry [0x00002afd02444000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread485" #802 daemon prio=6 os_prio=0 tid=0x00002afc34174800 nid=0xa394 waiting for monitor entry [0x00002afd02343000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 110.23/30.24 at java.lang.Thread.run(Thread.java:748) 110.23/30.24 110.23/30.24 "ThreadPoolThread484" #801 daemon prio=6 os_prio=0 tid=0x00002afc3426d800 nid=0xa393 waiting for monitor entry [0x00002afd02242000] 110.23/30.24 java.lang.Thread.State: BLOCKED (on object monitor) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 110.23/30.24 - waiting to lock <0x0000000440003f88> (a aprove.Strategies.Util.PrioritizableThreadPool) 110.23/30.24 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 110.23/30.24 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