Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
C 2019-03-28 11.48 pair #432171328
details
property
value
status
memout
benchmark
HarrisLalNoriRajamani-SAS2010-Fig1_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)
36.8026 seconds
cpu usage
111.02
user time
107.74
system time
3.28
max virtual memory
3.62353144E8
max residence set size
1436.0
stage attributes
unavailable
output
96.61/33.06 2019-03-28 11:57:46 96.61/33.06 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 96.61/33.06 96.61/33.06 "ThreadPoolThread188" #402 daemon prio=6 os_prio=0 tid=0x00002b46940e8800 nid=0xe10b runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 96.61/33.06 "ThreadPoolThread187" #401 daemon prio=6 os_prio=0 tid=0x00002b46940e7000 nid=0xe10a waiting for monitor entry [0x00002b474bba9000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread186" #400 daemon prio=6 os_prio=0 tid=0x00002b469400e000 nid=0xe109 waiting for monitor entry [0x00002b474baa8000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread185" #399 daemon prio=6 os_prio=0 tid=0x00002b4694025000 nid=0xe108 waiting for monitor entry [0x00002b474b9a7000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread184" #398 daemon prio=6 os_prio=0 tid=0x00002b469402c800 nid=0xe107 waiting for monitor entry [0x00002b474b8a6000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread183" #397 daemon prio=6 os_prio=0 tid=0x00002b469407c800 nid=0xe106 waiting for monitor entry [0x00002b474b7a5000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread182" #396 daemon prio=6 os_prio=0 tid=0x00002b4694095800 nid=0xe105 waiting for monitor entry [0x00002b474b6a4000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread181" #395 daemon prio=6 os_prio=0 tid=0x00002b4694093800 nid=0xe104 waiting for monitor entry [0x00002b474b5a3000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread180" #394 daemon prio=6 os_prio=0 tid=0x00002b4694038000 nid=0xe103 waiting for monitor entry [0x00002b474b4a2000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread179" #393 daemon prio=6 os_prio=0 tid=0x00002b46940ac000 nid=0xe102 waiting for monitor entry [0x00002b474b3a1000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread178" #392 daemon prio=6 os_prio=0 tid=0x00002b4694029000 nid=0xe101 waiting for monitor entry [0x00002b474b2a0000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread177" #391 daemon prio=6 os_prio=0 tid=0x00002b469409e000 nid=0xe100 waiting for monitor entry [0x00002b474a841000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread176" #390 daemon prio=6 os_prio=0 tid=0x00002b46940a5800 nid=0xe0ff waiting for monitor entry [0x00002b474a606000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 96.61/33.06 - waiting to lock <0x0000000440015c20> (a aprove.Strategies.Util.PrioritizableThreadPool) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 96.61/33.06 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