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) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread175" #389 daemon prio=6 os_prio=0 tid=0x00002b46940b7800 nid=0xe0fe waiting for monitor entry [0x00002b474a190000] 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 "ThreadPoolThread174" #388 daemon prio=6 os_prio=0 tid=0x00002b46940bf800 nid=0xe0fd waiting for monitor entry [0x00002b4667032000] 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 "ThreadPoolThread173" #387 daemon prio=6 os_prio=0 tid=0x00002b4694068800 nid=0xe0fc waiting for monitor entry [0x00002b4749f55000] 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 "ThreadPoolThread172" #386 daemon prio=6 os_prio=0 tid=0x00002b4694030800 nid=0xe0fb waiting for monitor entry [0x00002b4632ec7000] 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 "ThreadPoolThread171" #385 daemon prio=6 os_prio=0 tid=0x00002b46940bd800 nid=0xe0fa waiting for monitor entry [0x00002b4749d1a000] 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 "ThreadPoolThread170" #384 daemon prio=6 os_prio=0 tid=0x00002b46940bb800 nid=0xe0f9 waiting for monitor entry [0x00002b4749adf000] 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 "ThreadPoolThread169" #383 daemon prio=6 os_prio=0 tid=0x00002b46940b9800 nid=0xe0f8 waiting for monitor entry [0x00002b47499de000] 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 "ThreadPoolThread168" #382 daemon prio=6 os_prio=0 tid=0x00002b469409c000 nid=0xe0f7 waiting for monitor entry [0x00002b47498a4000] 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 "ThreadPoolThread167" #381 daemon prio=6 os_prio=0 tid=0x00002b469409f800 nid=0xe0f6 waiting for monitor entry [0x00002b47497a3000] 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 "ThreadPoolThread166" #380 daemon prio=6 os_prio=0 tid=0x00002b46940a1800 nid=0xe0f5 waiting for monitor entry [0x00002b4749669000] 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 "ThreadPoolThread165" #379 daemon prio=6 os_prio=0 tid=0x00002b46940a3800 nid=0xe0f4 waiting for monitor entry [0x00002b4749568000] 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 "ThreadPoolThread164" #378 daemon prio=6 os_prio=0 tid=0x00002b46940a7800 nid=0xe0f3 waiting for monitor entry [0x00002b474942e000] 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 "ThreadPoolThread163" #377 daemon prio=6 os_prio=0 tid=0x00002b46940a9800 nid=0xe0f2 waiting for monitor entry [0x00002b474932d000] 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 "ThreadPoolThread162" #376 daemon prio=6 os_prio=0 tid=0x00002b46940ad800 nid=0xe0f1 waiting for monitor entry [0x00002b4748940000] 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 "ThreadPoolThread161" #375 daemon prio=6 os_prio=0 tid=0x00002b46940af800 nid=0xe0ee waiting for monitor entry [0x00002b474883f000] 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 "ThreadPoolThread160" #374 daemon prio=6 os_prio=0 tid=0x00002b46940b1800 nid=0xe0ed waiting for monitor entry [0x00002b4748705000] 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 "ThreadPoolThread159" #373 daemon prio=6 os_prio=0 tid=0x00002b46940b3800 nid=0xe0ec waiting for monitor entry [0x00002b4748604000] 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 "ThreadPoolThread158" #372 daemon prio=6 os_prio=0 tid=0x00002b46940b5800 nid=0xe0eb waiting for monitor entry [0x00002b4748503000] 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 "ThreadPoolThread157" #371 daemon prio=6 os_prio=0 tid=0x00002b469409a000 nid=0xe0ea waiting for monitor entry [0x00002b4748402000] 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 "ThreadPoolThread156" #370 daemon prio=6 os_prio=0 tid=0x00002b4694098000 nid=0xe0e9 waiting for monitor entry [0x00002b4748301000] 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 "ThreadPoolThread155" #369 daemon prio=6 os_prio=0 tid=0x00002b469407e800 nid=0xe0e8 waiting for monitor entry [0x00002b4748200000] 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 "Thread-316" #368 daemon prio=6 os_prio=0 tid=0x00002b46b400c800 nid=0xe0e7 runnable [0x00002b466f00f000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-315" #367 daemon prio=6 os_prio=0 tid=0x00002b46b400b000 nid=0xe0e6 runnable [0x00002b466ef0e000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-314" #366 daemon prio=6 os_prio=0 tid=0x00002b46c800e000 nid=0xe0e5 runnable [0x00002b466ee0d000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-313" #365 daemon prio=6 os_prio=0 tid=0x00002b46c800d800 nid=0xe0e4 runnable [0x00002b466ed0c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-312" #364 daemon prio=6 os_prio=0 tid=0x00002b471400d000 nid=0xe0e3 runnable [0x00002b466ec0b000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-311" #363 daemon prio=6 os_prio=0 tid=0x00002b4714011000 nid=0xe0e2 runnable [0x00002b466eb0a000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-310" #362 daemon prio=6 os_prio=0 tid=0x00002b46c0001000 nid=0xe0e1 runnable [0x00002b466ea09000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-309" #361 daemon prio=6 os_prio=0 tid=0x00002b46c000d800 nid=0xe0e0 runnable [0x00002b466e908000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-308" #360 daemon prio=6 os_prio=0 tid=0x00002b46d8001000 nid=0xe0df runnable [0x00002b466e807000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-307" #359 daemon prio=6 os_prio=0 tid=0x00002b46d8004800 nid=0xe0de runnable [0x00002b466e706000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-306" #358 daemon prio=6 os_prio=0 tid=0x00002b46d4008000 nid=0xe0dd runnable [0x00002b466e605000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-305" #357 daemon prio=6 os_prio=0 tid=0x00002b46d4006000 nid=0xe0dc runnable [0x00002b466e504000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-304" #356 daemon prio=6 os_prio=0 tid=0x00002b46ac013000 nid=0xe0db runnable [0x00002b466e403000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-303" #355 daemon prio=6 os_prio=0 tid=0x00002b46ac00f800 nid=0xe0da runnable [0x00002b466e302000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-302" #354 daemon prio=6 os_prio=0 tid=0x00002b46f4007000 nid=0xe0d9 runnable [0x00002b466e201000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-301" #353 daemon prio=6 os_prio=0 tid=0x00002b46f4003000 nid=0xe0d8 runnable [0x00002b466e100000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-300" #352 daemon prio=6 os_prio=0 tid=0x00002b46dc002000 nid=0xe0d7 runnable [0x00002b466dfff000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-237" #351 daemon prio=6 os_prio=0 tid=0x00002b46dc009800 nid=0xe0d6 runnable [0x00002b466defe000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-299" #350 daemon prio=6 os_prio=0 tid=0x00002b46e0006000 nid=0xe0d4 runnable [0x00002b466ddfd000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-297" #348 daemon prio=6 os_prio=0 tid=0x00002b46e0004800 nid=0xe0d1 runnable [0x00002b466dcfc000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-296" #347 daemon prio=6 os_prio=0 tid=0x00002b4728006800 nid=0xe0cf runnable [0x00002b466dbfb000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-294" #345 daemon prio=6 os_prio=0 tid=0x00002b4728005000 nid=0xe0cc runnable [0x00002b466dafa000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-293" #344 daemon prio=6 os_prio=0 tid=0x00002b46bc003000 nid=0xe0c7 runnable [0x00002b466d9f9000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-238" #343 daemon prio=6 os_prio=0 tid=0x00002b46bc004800 nid=0xe0c3 runnable [0x00002b466d8f8000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-290" #341 daemon prio=6 os_prio=0 tid=0x0000000001162800 nid=0xe0be runnable [0x00002b466d7f7000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-289" #340 daemon prio=6 os_prio=0 tid=0x00002b4740007000 nid=0xe0ba runnable [0x00002b466d6f6000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-288" #339 daemon prio=6 os_prio=0 tid=0x00002b4740005800 nid=0xe0b8 runnable [0x00002b466d5f5000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-287" #338 daemon prio=6 os_prio=0 tid=0x00002b46e4009000 nid=0xe0b6 runnable [0x00002b466d4f4000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-286" #337 daemon prio=6 os_prio=0 tid=0x00002b46e4006800 nid=0xe0b5 runnable [0x00002b466d3f3000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #336 daemon prio=10 os_prio=0 tid=0x00002b46e4005000 nid=0xe0b3 runnable [0x00002b466cd5e000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006ebe3d0d8> (a java.lang.Object) 96.61/33.06 - locked <0x00000006ebe3b028> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-285" #335 daemon prio=6 os_prio=0 tid=0x00002b46d0010000 nid=0xe0b2 runnable [0x00002b466d2f2000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-284" #334 daemon prio=6 os_prio=0 tid=0x00002b46d0012000 nid=0xe0b1 runnable [0x00002b466d1f1000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #333 daemon prio=10 os_prio=0 tid=0x00002b46d000a800 nid=0xe0b0 runnable [0x00002b466cd25000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006ac509400> (a java.lang.Object) 96.61/33.06 - locked <0x00000006ac507350> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-283" #332 daemon prio=6 os_prio=0 tid=0x00002b46ec007800 nid=0xe0af runnable [0x00002b466d0f0000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-282" #331 daemon prio=6 os_prio=0 tid=0x00002b46ec005000 nid=0xe0ae runnable [0x00002b466cfef000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #330 daemon prio=10 os_prio=0 tid=0x00002b46ec003000 nid=0xe0ad runnable [0x00002b466ccec000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006a8b94c30> (a java.lang.Object) 96.61/33.06 - locked <0x00000006a8b92b80> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-281" #329 daemon prio=6 os_prio=0 tid=0x00002b46f800d800 nid=0xe0ab runnable [0x00002b466cb79000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-280" #328 daemon prio=6 os_prio=0 tid=0x00002b46f800d000 nid=0xe0aa runnable [0x00002b466c93e000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #327 daemon prio=10 os_prio=0 tid=0x00002b46f8005000 nid=0xe0a9 runnable [0x00002b466771c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006aa078aa8> (a java.lang.Object) 96.61/33.06 - locked <0x00000006aa0769f8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-279" #326 daemon prio=6 os_prio=0 tid=0x00002b472000e800 nid=0xe0a8 runnable [0x00002b466c703000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-278" #325 daemon prio=6 os_prio=0 tid=0x00002b472000c800 nid=0xe0a7 runnable [0x00002b466c402000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #324 daemon prio=10 os_prio=0 tid=0x00002b472000b000 nid=0xe0a6 runnable [0x00002b46676e3000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006a5656768> (a java.lang.Object) 96.61/33.06 - locked <0x00000006a56546b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-277" #323 daemon prio=6 os_prio=0 tid=0x00002b4724015000 nid=0xe0a5 runnable [0x00002b466c301000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-276" #322 daemon prio=6 os_prio=0 tid=0x00002b472400b800 nid=0xe0a4 runnable [0x00002b4667a3c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #321 daemon prio=10 os_prio=0 tid=0x00002b472400d800 nid=0xe0a3 runnable [0x00002b46676aa000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.FileInputStream.close(FileInputStream.java:326) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 96.61/33.06 - locked <0x0000000752abedb0> (a java.lang.Object) 96.61/33.06 - locked <0x0000000752abcd00> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-275" #320 daemon prio=6 os_prio=0 tid=0x00002b467c004800 nid=0xe0a2 runnable [0x00002b466793b000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-274" #319 daemon prio=6 os_prio=0 tid=0x00002b467c003000 nid=0xe0a1 runnable [0x00002b4667671000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "process reaper" #318 daemon prio=10 os_prio=0 tid=0x00002b467c002800 nid=0xe0a0 runnable [0x00002b4667570000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000007794ba888> (a java.lang.Object) 96.61/33.06 - locked <0x00000007794b87d8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-273" #317 daemon prio=6 os_prio=0 tid=0x00002b472c001000 nid=0xe09f runnable [0x00002b4633bd4000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 96.61/33.06 96.61/33.06 "Thread-272" #316 daemon prio=6 os_prio=0 tid=0x00002b472c003800 nid=0xe09e runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "process reaper" #315 daemon prio=10 os_prio=0 tid=0x00002b472c00b000 nid=0xe09d waiting on condition [0x00002b4632da9000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-271" #314 daemon prio=6 os_prio=0 tid=0x00002b46c4010800 nid=0xe09c waiting for monitor entry [0x00002b46333cc000] 96.61/33.06 java.lang.Thread.State: BLOCKED (on object monitor) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:546) 96.61/33.06 - waiting to lock <0x00000006ea5eeb50> (a java.lang.Object) 96.61/33.06 at java.io.BufferedInputStream.close(BufferedInputStream.java:483) 96.61/33.06 at sun.nio.cs.StreamDecoder.implClose(StreamDecoder.java:378) 96.61/33.06 at sun.nio.cs.StreamDecoder.close(StreamDecoder.java:193) 96.61/33.06 - locked <0x00000007b5f6f3b0> (a java.io.InputStreamReader) 96.61/33.06 at java.io.InputStreamReader.close(InputStreamReader.java:199) 96.61/33.06 at java.util.Scanner.close(Scanner.java:1093) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:102) 96.61/33.06 96.61/33.06 "Thread-270" #313 daemon prio=6 os_prio=0 tid=0x00002b46c400f800 nid=0xe09a runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "process reaper" #311 daemon prio=10 os_prio=0 tid=0x00002b46c400b800 nid=0xe099 runnable [0x00002b4632d70000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.FileInputStream.close(FileInputStream.java:326) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:533) 96.61/33.06 - locked <0x00000006ea5eeb50> (a java.lang.Object) 96.61/33.06 - locked <0x00000006ea5ecaa0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:301) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-269" #310 daemon prio=6 os_prio=0 tid=0x00002b46a8009000 nid=0xe098 runnable [0x00002b46331c9000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.FileInputStream.readBytes(Native Method) 96.61/33.06 at java.io.FileInputStream.read(FileInputStream.java:255) 96.61/33.06 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 96.61/33.06 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 96.61/33.06 - locked <0x00000006a4bbbdd8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 96.61/33.06 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 96.61/33.06 - locked <0x00000007b00c0578> (a java.io.BufferedInputStream) 96.61/33.06 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 96.61/33.06 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 96.61/33.06 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 96.61/33.06 - locked <0x00000007b00c2638> (a java.io.InputStreamReader) 96.61/33.06 at java.io.InputStreamReader.read(InputStreamReader.java:184) 96.61/33.06 at java.io.Reader.read(Reader.java:100) 96.61/33.06 at java.util.Scanner.readInput(Scanner.java:804) 96.61/33.06 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 96.61/33.06 at java.util.Scanner.hasNextLine(Scanner.java:1500) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 96.61/33.06 96.61/33.06 "Thread-268" #309 daemon prio=6 os_prio=0 tid=0x00002b46a8006800 nid=0xe097 runnable [0x00002b4632fc7000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.FileInputStream.readBytes(Native Method) 96.61/33.06 at java.io.FileInputStream.read(FileInputStream.java:255) 96.61/33.06 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 96.61/33.06 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 96.61/33.06 - locked <0x00000006a4bb9d18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 96.61/33.06 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 96.61/33.06 - locked <0x00000007afdb7fe0> (a java.io.BufferedInputStream) 96.61/33.06 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 96.61/33.06 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 96.61/33.06 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 96.61/33.06 - locked <0x00000007afdba0a0> (a java.io.InputStreamReader) 96.61/33.06 at java.io.InputStreamReader.read(InputStreamReader.java:184) 96.61/33.06 at java.io.Reader.read(Reader.java:100) 96.61/33.06 at java.util.Scanner.readInput(Scanner.java:804) 96.61/33.06 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 96.61/33.06 at java.util.Scanner.hasNextLine(Scanner.java:1500) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 96.61/33.06 96.61/33.06 "process reaper" #308 daemon prio=10 os_prio=0 tid=0x00002b46a8004800 nid=0xe096 runnable [0x00002b4632d37000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-267" #307 daemon prio=6 os_prio=0 tid=0x00002b468802c800 nid=0xe095 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-266" #306 daemon prio=6 os_prio=0 tid=0x00002b468802c000 nid=0xe094 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "process reaper" #305 daemon prio=10 os_prio=0 tid=0x00002b468800b800 nid=0xe093 waiting on condition [0x00002b4632afc000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "Thread-265" #304 daemon prio=6 os_prio=0 tid=0x00002b467044e000 nid=0xe092 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-251" #303 daemon prio=6 os_prio=0 tid=0x00002b467044d000 nid=0xe091 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-263" #302 daemon prio=6 os_prio=0 tid=0x00002b465c002800 nid=0xe08c runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-254" #291 daemon prio=6 os_prio=0 tid=0x00002b465c001800 nid=0xe08b runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-262" #301 daemon prio=6 os_prio=0 tid=0x00002b463400a800 nid=0xe08a runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-256" #300 daemon prio=6 os_prio=0 tid=0x00002b4634009000 nid=0xe089 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-257" #296 daemon prio=6 os_prio=0 tid=0x00002b462c009800 nid=0xe087 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-261" #299 daemon prio=6 os_prio=0 tid=0x00002b468c086000 nid=0xe086 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-260" #298 daemon prio=6 os_prio=0 tid=0x00002b468c085800 nid=0xe085 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-259" #297 daemon prio=6 os_prio=0 tid=0x00002b4738003000 nid=0xe084 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-258" #295 daemon prio=6 os_prio=0 tid=0x00002b4738002800 nid=0xe083 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-223" #294 daemon prio=6 os_prio=0 tid=0x00002b462c008800 nid=0xe082 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-255" #293 daemon prio=6 os_prio=0 tid=0x00002b46e8015000 nid=0xe081 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-253" #290 daemon prio=6 os_prio=0 tid=0x00002b46e800e000 nid=0xe080 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-250" #289 daemon prio=6 os_prio=0 tid=0x00002b463800a000 nid=0xe07f runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-249" #288 daemon prio=6 os_prio=0 tid=0x00002b4624009800 nid=0xe07e runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-248" #287 daemon prio=6 os_prio=0 tid=0x00002b4624008800 nid=0xe07c runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-247" #286 daemon prio=6 os_prio=0 tid=0x00002b4628313800 nid=0xe07b runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-246" #285 daemon prio=6 os_prio=0 tid=0x00002b4628312800 nid=0xe07a runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-245" #284 daemon prio=6 os_prio=0 tid=0x00002b470c008000 nid=0xe079 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-244" #283 daemon prio=6 os_prio=0 tid=0x00002b470c001000 nid=0xe078 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-243" #282 daemon prio=6 os_prio=0 tid=0x00002b4658008000 nid=0xe077 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-242" #281 daemon prio=6 os_prio=0 tid=0x00002b4658007000 nid=0xe076 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-241" #280 daemon prio=6 os_prio=0 tid=0x00002b4668002000 nid=0xe074 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-240" #279 daemon prio=6 os_prio=0 tid=0x00002b4668001000 nid=0xe073 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-239" #278 daemon prio=6 os_prio=0 tid=0x00002b4700002800 nid=0xe071 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-236" #277 daemon prio=6 os_prio=0 tid=0x00002b4700001800 nid=0xe05c runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-235" #276 daemon prio=6 os_prio=0 tid=0x00002b460c817000 nid=0xe058 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-234" #275 daemon prio=6 os_prio=0 tid=0x00002b460c266000 nid=0xe052 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-232" #274 daemon prio=6 os_prio=0 tid=0x00002b4708008000 nid=0xe034 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "Thread-230" #273 daemon prio=6 os_prio=0 tid=0x00002b4708007000 nid=0xe027 runnable [0x0000000000000000] 96.61/33.06 java.lang.Thread.State: TERMINATED 96.61/33.06 96.61/33.06 "ThreadPoolThread146" #264 daemon prio=6 os_prio=0 tid=0x00002b4694021000 nid=0xdfe5 waiting on condition [0x00002b466c83d000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x0000000766000b60> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread145" #263 daemon prio=6 os_prio=0 tid=0x00002b469402b000 nid=0xdfe4 waiting on condition [0x00002b466ca78000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x0000000763ea6550> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread144" #262 daemon prio=6 os_prio=0 tid=0x00002b4694032800 nid=0xdfe3 waiting on condition [0x00002b474b02c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007641aeda8> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread143" #261 daemon prio=6 os_prio=0 tid=0x00002b46940db000 nid=0xdfe2 waiting on condition [0x00002b4749e54000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007644b7ce8> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread142" #260 daemon prio=6 os_prio=0 tid=0x00002b46940c2000 nid=0xdfe1 waiting on condition [0x00002b474aa7c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007647c0550> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread141" #259 daemon prio=6 os_prio=0 tid=0x00002b4694014000 nid=0xdfe0 waiting on condition [0x00002b474a08f000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x0000000764ac87b8> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread140" #258 daemon prio=6 os_prio=0 tid=0x00002b469406a800 nid=0xdfdf waiting on condition [0x00002b474abb6000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x0000000764dd1088> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread139" #257 daemon prio=6 os_prio=0 tid=0x00002b469407b000 nid=0xdfde waiting on condition [0x00002b4749c19000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007650cb788> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread138" #256 daemon prio=6 os_prio=0 tid=0x00002b4694074800 nid=0xdfdd waiting on condition [0x00002b474a2ca000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007653d1d28> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread137" #255 daemon prio=6 os_prio=0 tid=0x00002b469404a000 nid=0xdfdc waiting on condition [0x00002b474acb7000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007656e73a0> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread136" #254 daemon prio=6 os_prio=0 tid=0x00002b46940c4000 nid=0xdfdb waiting on condition [0x00002b474a740000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007659f0050> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread135" #253 daemon prio=6 os_prio=0 tid=0x00002b4694016000 nid=0xdfda waiting on condition [0x00002b4631fb8000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x0000000765cf7ea0> (a java.lang.UNIXProcess) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 96.61/33.06 - locked <0x0000000765cf7ea0> (a java.lang.UNIXProcess) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread134" #252 daemon prio=6 os_prio=0 tid=0x00002b4694056000 nid=0xdfd9 runnable [0x00002b474a505000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.setPriority0(Native Method) 96.61/33.06 at java.lang.Thread.setPriority(Thread.java:1095) 96.61/33.06 at java.lang.Thread.init(Thread.java:417) 96.61/33.06 at java.lang.Thread.init(Thread.java:349) 96.61/33.06 at java.lang.Thread.(Thread.java:448) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread133" #251 daemon prio=6 os_prio=0 tid=0x00002b4694046000 nid=0xdfd8 waiting for monitor entry [0x00002b474a3cb000] 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 "ThreadPoolThread131" #249 daemon prio=6 os_prio=0 tid=0x00002b469404e000 nid=0xdfd6 in Object.wait() [0x00002b47490f2000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000007794bcb68> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000007794bcb68> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 96.61/33.06 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread128" #246 daemon prio=6 os_prio=0 tid=0x00002b4694070800 nid=0xdfd3 waiting on condition [0x00002b4748db5000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007706f79b0> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 96.61/33.06 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread127" #245 daemon prio=6 os_prio=0 tid=0x00002b469403f800 nid=0xdfd2 waiting on condition [0x00002b4748a7a000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007686b16d8> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread126" #244 daemon prio=6 os_prio=0 tid=0x00002b4694080800 nid=0xdfd1 waiting on condition [0x00002b46325be000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.06 - locked <0x00000006987f01a0> (a aprove.Strategies.Abortions.Clock) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread125" #243 daemon prio=6 os_prio=0 tid=0x00002b4694066800 nid=0xdfd0 waiting on condition [0x00002b4748cb5000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x0000000766612670> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread124" #242 daemon prio=6 os_prio=0 tid=0x00002b469408b800 nid=0xdfcf waiting on condition [0x00002b4748b7b000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 96.61/33.06 - locked <0x00000007689b9558> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 96.61/33.06 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:57) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread123" #241 daemon prio=6 os_prio=0 tid=0x00002b4694018000 nid=0xdfce runnable [0x00002b466ccb3000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.setPriority0(Native Method) 96.61/33.06 at java.lang.Thread.setPriority(Thread.java:1095) 96.61/33.06 at java.lang.Thread.init(Thread.java:417) 96.61/33.06 at java.lang.Thread.init(Thread.java:349) 96.61/33.06 at java.lang.Thread.(Thread.java:448) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #213 daemon prio=10 os_prio=0 tid=0x00002b46cc040800 nid=0xdfcb waiting on condition [0x00002b474b19f000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #223 daemon prio=10 os_prio=0 tid=0x00002b46dc009000 nid=0xdfc8 waiting on condition [0x00002b474b065000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #234 daemon prio=10 os_prio=0 tid=0x00002b472c007000 nid=0xdfc5 waiting on condition [0x00002b474ae2a000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #174 daemon prio=10 os_prio=0 tid=0x00002b471400f800 nid=0xdfc2 waiting on condition [0x00002b474acf0000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #229 daemon prio=10 os_prio=0 tid=0x00002b46c400a000 nid=0xdfbf waiting on condition [0x00002b474aab5000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #226 daemon prio=10 os_prio=0 tid=0x00002b46bc002000 nid=0xdfbc runnable [0x00002b474a87a000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006eb516638> (a java.lang.Object) 96.61/33.06 - locked <0x00000006eb514588> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #222 daemon prio=10 os_prio=0 tid=0x00002b46c000c000 nid=0xdfb9 waiting on condition [0x00002b474a63f000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #219 daemon prio=10 os_prio=0 tid=0x00002b46d8002800 nid=0xdfb6 waiting on condition [0x00002b474a404000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:292) 96.61/33.06 - locked <0x0000000765cf7ea0> (a java.lang.UNIXProcess) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #216 daemon prio=10 os_prio=0 tid=0x00002b46c8003000 nid=0xdfb3 waiting on condition [0x00002b474a1c9000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #212 daemon prio=10 os_prio=0 tid=0x0000000001161000 nid=0xdfb0 waiting on condition [0x00002b4749f8e000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #209 daemon prio=10 os_prio=0 tid=0x00002b4740002000 nid=0xdfad waiting on condition [0x00002b4749d53000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #206 daemon prio=10 os_prio=0 tid=0x00002b46d000e800 nid=0xdfaa runnable [0x00002b4749b18000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #203 daemon prio=10 os_prio=0 tid=0x00002b46e0003800 nid=0xdfa7 waiting on condition [0x00002b47498dd000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #200 daemon prio=10 os_prio=0 tid=0x00002b46d4004800 nid=0xdfa4 waiting on condition [0x00002b47496a2000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeOutputStream.processExited(UNIXProcess.java:564) 96.61/33.06 - locked <0x0000000763b9e298> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:304) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #197 daemon prio=10 os_prio=0 tid=0x00002b46a8003800 nid=0xdfa0 waiting on condition [0x00002b4749467000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #194 daemon prio=10 os_prio=0 tid=0x00002b46e4002800 nid=0xdf9d waiting on condition [0x00002b474922c000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #189 daemon prio=10 os_prio=0 tid=0x00002b46f4001800 nid=0xdf98 waiting on condition [0x00002b4748def000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #186 daemon prio=10 os_prio=0 tid=0x00002b46d0009000 nid=0xdf95 waiting on condition [0x00002b4748bb4000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #183 daemon prio=10 os_prio=0 tid=0x00002b46f8001800 nid=0xdf92 waiting on condition [0x00002b4748979000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #180 daemon prio=10 os_prio=0 tid=0x00002b46ec001800 nid=0xdf8f waiting on condition [0x00002b474873e000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #177 daemon prio=10 os_prio=0 tid=0x00002b4720009000 nid=0xdf82 waiting on condition [0x00002b466ffc9000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #173 daemon prio=10 os_prio=0 tid=0x00002b4728003000 nid=0xdf62 waiting on condition [0x00002b466ff90000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #170 daemon prio=10 os_prio=0 tid=0x00002b46fc001800 nid=0xdf5f waiting on condition [0x00002b466ff57000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread122" #167 daemon prio=6 os_prio=0 tid=0x00002b46940dc800 nid=0xdf55 in Object.wait() [0x00002b47480ff000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006d7d1dfa8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006d7d1dfa8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread120" #165 daemon prio=6 os_prio=0 tid=0x00002b46940d9000 nid=0xdf52 in Object.wait() [0x00002b466fe1d000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006e9fe0a38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006e9fe0a38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread119" #164 daemon prio=6 os_prio=0 tid=0x00002b46940d7000 nid=0xdf51 in Object.wait() [0x00002b466fd1c000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006ea2e6c50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006ea2e6c50> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread118" #163 daemon prio=6 os_prio=0 tid=0x00002b46940d5000 nid=0xdf50 in Object.wait() [0x00002b466fc1b000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006ea5eefc8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006ea5eefc8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread117" #162 daemon prio=6 os_prio=0 tid=0x00002b46940d3000 nid=0xdf4f in Object.wait() [0x00002b466fb1a000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006ea8f8aa0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006ea8f8aa0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread116" #161 daemon prio=6 os_prio=0 tid=0x00002b46940d1000 nid=0xdf4d runnable [0x00002b466fa19000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.start0(Native Method) 96.61/33.06 at java.lang.Thread.start(Thread.java:717) 96.61/33.06 - locked <0x00000006eac01550> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread115" #160 daemon prio=6 os_prio=0 tid=0x00002b46940cf000 nid=0xdf4b runnable [0x00002b466f918000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.start0(Native Method) 96.61/33.06 at java.lang.Thread.start(Thread.java:717) 96.61/33.06 - locked <0x00000006eaf07700> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread114" #159 daemon prio=6 os_prio=0 tid=0x00002b46940cd000 nid=0xdf49 in Object.wait() [0x00002b466f817000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006eb20fc60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006eb20fc60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread113" #158 daemon prio=6 os_prio=0 tid=0x00002b46940cb000 nid=0xdf44 in Object.wait() [0x00002b466f716000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006eb518738> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006eb518738> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread112" #157 daemon prio=6 os_prio=0 tid=0x00002b46940c9800 nid=0xdf3f in Object.wait() [0x00002b466f615000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006eb82eb80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006eb82eb80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread111" #156 daemon prio=6 os_prio=0 tid=0x00002b46940c7800 nid=0xdf38 in Object.wait() [0x00002b466f514000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006ebb35a70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006ebb35a70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread110" #155 daemon prio=6 os_prio=0 tid=0x00002b46940c6000 nid=0xdf35 in Object.wait() [0x00002b466f413000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006ebe3f3b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006ebe3f3b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #117 daemon prio=10 os_prio=0 tid=0x00002b471400a000 nid=0xdf0a waiting on condition [0x00002b466cded000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #114 daemon prio=10 os_prio=0 tid=0x00002b46f0001800 nid=0xdf07 waiting on condition [0x00002b466cbb2000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #111 daemon prio=10 os_prio=0 tid=0x00002b4744006000 nid=0xdf04 runnable [0x00002b466c977000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006acf9d1f0> (a java.lang.Object) 96.61/33.06 - locked <0x00000006acf9b140> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #108 daemon prio=10 os_prio=0 tid=0x00002b4734022000 nid=0xdf01 runnable [0x00002b466c73c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006ea8f69a0> (a java.lang.Object) 96.61/33.06 - locked <0x00000006ea8f48f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #105 daemon prio=10 os_prio=0 tid=0x00002b473c00d000 nid=0xdefe runnable [0x00002b4667fec000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006d7d1bea8> (a java.lang.Object) 96.61/33.06 - locked <0x00000006d7d19df8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #102 daemon prio=10 os_prio=0 tid=0x00002b472400a000 nid=0xdef7 waiting on condition [0x00002b4667fb3000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #99 daemon prio=10 os_prio=0 tid=0x00002b472c002800 nid=0xdef4 runnable [0x00002b4667f7a000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006eabff450> (a java.lang.Object) 96.61/33.06 - locked <0x00000006eabfd3a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002b473c00a800 nid=0xdef1 runnable [0x00002b4623fe3000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006ebb33970> (a java.lang.Object) 96.61/33.06 - locked <0x00000006ebb318c0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002b4744002800 nid=0xdeee runnable [0x00002b4623faa000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.06 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.06 - locked <0x00000006eaf05600> (a java.lang.Object) 96.61/33.06 - locked <0x00000006eaf03550> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.06 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002b4734020800 nid=0xdee4 waiting on condition [0x00002b4623f71000] 96.61/33.06 java.lang.Thread.State: TIMED_WAITING (parking) 96.61/33.06 at sun.misc.Unsafe.park(Native Method) 96.61/33.06 - parking to wait for <0x00000004400159c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 96.61/33.06 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 96.61/33.06 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 96.61/33.06 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread74" #87 daemon prio=6 os_prio=0 tid=0x00002b4694089800 nid=0xdee0 runnable [0x00002b466c1ff000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.start0(Native Method) 96.61/33.06 at java.lang.Thread.start(Thread.java:717) 96.61/33.06 - locked <0x000000077d6381b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread73" #86 daemon prio=6 os_prio=0 tid=0x00002b4694087800 nid=0xdedf in Object.wait() [0x00002b466c0ff000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006a8b96f10> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006a8b96f10> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread72" #85 daemon prio=6 os_prio=0 tid=0x00002b4694086000 nid=0xdede in Object.wait() [0x00002b4667f41000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006a9608e38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006a9608e38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread71" #84 daemon prio=6 os_prio=0 tid=0x00002b4694084000 nid=0xdedd in Object.wait() [0x00002b4667e40000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006aa07ad88> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006aa07ad88> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread70" #83 daemon prio=6 os_prio=0 tid=0x00002b4694082800 nid=0xdedc runnable [0x00002b4667d3e000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.start0(Native Method) 96.61/33.06 at java.lang.Thread.start(Thread.java:717) 96.61/33.06 - locked <0x00000006d8026b00> (a java.lang.Thread) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:957) 96.61/33.06 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 96.61/33.06 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 96.61/33.06 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 96.61/33.06 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 96.61/33.06 at java.security.AccessController.doPrivileged(Native Method) 96.61/33.06 at java.lang.UNIXProcess.(UNIXProcess.java:257) 96.61/33.06 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 96.61/33.06 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread64" #77 daemon prio=6 os_prio=0 tid=0x00002b4694078800 nid=0xded5 in Object.wait() [0x00002b466783a000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006acf9f2f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006acf9f2f0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread61" #74 daemon prio=6 os_prio=0 tid=0x00002b4694072800 nid=0xded2 in Object.wait() [0x00002b4667537000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006a5658a48> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006a5658a48> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread59" #72 daemon prio=6 os_prio=0 tid=0x00002b469406e800 nid=0xded0 in Object.wait() [0x00002b4667335000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x00000006c3e57730> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x00000006c3e57730> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread58" #71 daemon prio=6 os_prio=0 tid=0x00002b469406c800 nid=0xdecf in Object.wait() [0x00002b4667233000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x0000000699c09190> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x0000000699c09190> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread54" #67 daemon prio=6 os_prio=0 tid=0x00002b4694064800 nid=0xdecb runnable [0x00002b4666e30000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.setPriority0(Native Method) 96.61/33.06 at java.lang.Thread.setPriority(Thread.java:1095) 96.61/33.06 at java.lang.Thread.init(Thread.java:417) 96.61/33.06 at java.lang.Thread.init(Thread.java:349) 96.61/33.06 at java.lang.Thread.(Thread.java:448) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 96.61/33.06 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread53" #66 daemon prio=6 os_prio=0 tid=0x00002b4694062800 nid=0xdeca in Object.wait() [0x00002b4666d2e000] 96.61/33.06 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.06 at java.lang.Object.wait(Native Method) 96.61/33.06 - waiting on <0x000000069b68a760> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at java.lang.Object.wait(Object.java:502) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.06 - locked <0x000000069b68a760> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread52" #65 daemon prio=6 os_prio=0 tid=0x00002b4694060800 nid=0xdec9 waiting for monitor entry [0x00002b4666c2e000] 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 - locked <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 "ThreadPoolThread51" #64 daemon prio=6 os_prio=0 tid=0x00002b469405e800 nid=0xdec8 runnable [0x00002b4666b2c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at java.lang.Thread.setPriority0(Native Method) 96.61/33.06 at java.lang.Thread.setPriority(Thread.java:1095) 96.61/33.06 at java.lang.Thread.init(Thread.java:417) 96.61/33.06 at java.lang.Thread.init(Thread.java:349) 96.61/33.06 at java.lang.Thread.(Thread.java:448) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 96.61/33.06 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 96.61/33.06 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.06 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.06 at java.lang.Thread.run(Thread.java:748) 96.61/33.06 96.61/33.06 "ThreadPoolThread50" #63 daemon prio=6 os_prio=0 tid=0x00002b469405c000 nid=0xdec7 waiting on condition [0x00002b4666a2c000] 96.61/33.06 java.lang.Thread.State: RUNNABLE 96.61/33.06 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.06 - locked <0x00000007bed2c0e8> (a aprove.Strategies.Abortions.Clock) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.06 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.06 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread48" #61 daemon prio=6 os_prio=0 tid=0x00002b4694058000 nid=0xdec5 waiting on condition [0x00002b466682a000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.07 - locked <0x00000007bed4b528> (a aprove.Strategies.Abortions.Clock) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread46" #59 daemon prio=6 os_prio=0 tid=0x00002b4694054000 nid=0xdec3 waiting on condition [0x00002b4666628000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.07 - locked <0x00000007bed59438> (a aprove.Strategies.Abortions.Clock) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread44" #57 daemon prio=6 os_prio=0 tid=0x00002b4694050000 nid=0xdec1 runnable [0x00002b4633ed7000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 96.61/33.07 at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:189) 96.61/33.07 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:501) 96.61/33.07 at aprove.Framework.IntTRS.Nonterm.IntTRSNontermProcessor.turnRuleIntoSMTFormulae(IntTRSNontermProcessor.java:67) 96.61/33.07 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:115) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread42" #55 daemon prio=6 os_prio=0 tid=0x00002b469404c000 nid=0xdebf in Object.wait() [0x00002b4633cd5000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x0000000752ac1090> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.07 - locked <0x0000000752ac1090> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.07 at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) 96.61/33.07 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread38" #51 daemon prio=6 os_prio=0 tid=0x00002b4694044000 nid=0xdebb waiting on condition [0x00002b46338d1000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.07 - locked <0x00000007bedbd4c8> (a aprove.Strategies.Abortions.Clock) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread20" #33 daemon prio=6 os_prio=0 tid=0x00002b4694023000 nid=0xdea8 in Object.wait() [0x00002b46327c0000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x00000006ac50b6e0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.07 - locked <0x00000006ac50b6e0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.07 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread11" #24 daemon prio=6 os_prio=0 tid=0x00002b4694012000 nid=0xde9f in Object.wait() [0x00002b4631eb7000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x00000006a810e568> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 96.61/33.07 - locked <0x00000006a810e568> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 96.61/33.07 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread10" #23 daemon prio=6 os_prio=0 tid=0x00002b4694010800 nid=0xde9e in Object.wait() [0x00002b4631db6000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x00000006a4bb7be8> (a java.lang.UNIXProcess) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 96.61/33.07 - locked <0x00000006a4bb7be8> (a java.lang.UNIXProcess) 96.61/33.07 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 96.61/33.07 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b468c017000 nid=0xde8a runnable [0x00002b4623f38000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at java.lang.UNIXProcess$ProcessPipeInputStream.drainInputStream(UNIXProcess.java:519) 96.61/33.07 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:532) 96.61/33.07 - locked <0x00000006eb82ca80> (a java.lang.Object) 96.61/33.07 - locked <0x00000006eb82a9d0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 96.61/33.07 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 96.61/33.07 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 96.61/33.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 96.61/33.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b469400d000 nid=0xde88 runnable [0x00002b4630caa000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 96.61/33.07 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 96.61/33.07 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 96.61/33.07 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 96.61/33.07 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 96.61/33.07 - locked <0x00000007bf50b578> (a aprove.Strategies.Abortions.TrackThreadPool) 96.61/33.07 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 96.61/33.07 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 96.61/33.07 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 96.61/33.07 96.61/33.07 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b460c812800 nid=0xde87 waiting on condition [0x00002b4630ba9000] 96.61/33.07 java.lang.Thread.State: WAITING (parking) 96.61/33.07 at sun.misc.Unsafe.park(Native Method) 96.61/33.07 - parking to wait for <0x000000044000dc58> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 96.61/33.07 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 96.61/33.07 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 96.61/33.07 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b460c264800 nid=0xde80 waiting on condition [0x00002b46309a7000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at aprove.Strategies.Abortions.Clock.getMillisUsed(Clock.java:61) 96.61/33.07 - locked <0x00000007bf50b5d8> (a aprove.Strategies.Abortions.Clock) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.getFinalTime(Executor.java:311) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.logResult(Executor.java:156) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:142) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002b460c255000 nid=0xde7e waiting on condition [0x00002b46307a5000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 at java.util.LinkedList.addAll(LinkedList.java:424) 96.61/33.07 at java.util.LinkedList.addAll(LinkedList.java:387) 96.61/33.07 at java.util.LinkedList.(LinkedList.java:119) 96.61/33.07 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 96.61/33.07 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 96.61/33.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 96.61/33.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 96.61/33.07 at java.lang.Thread.run(Thread.java:748) 96.61/33.07 96.61/33.07 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b460c199800 nid=0xde7c runnable [0x0000000000000000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 96.61/33.07 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b460c184000 nid=0xde7b runnable [0x0000000000000000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 96.61/33.07 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b460c182800 nid=0xde7a waiting on condition [0x0000000000000000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 96.61/33.07 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b460c17f800 nid=0xde79 runnable [0x0000000000000000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 96.61/33.07 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b460c17e000 nid=0xde78 waiting on condition [0x0000000000000000] 96.61/33.07 java.lang.Thread.State: RUNNABLE 96.61/33.07 96.61/33.07 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b460c14a000 nid=0xde77 in Object.wait() [0x00002b4623dfe000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x000000044001c3b8> (a java.lang.ref.ReferenceQueue$Lock) 96.61/33.07 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 96.61/33.07 - locked <0x000000044001c3b8> (a java.lang.ref.ReferenceQueue$Lock) 96.61/33.07 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 96.61/33.07 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 96.61/33.07 96.61/33.07 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b460c145800 nid=0xde76 in Object.wait() [0x00002b4623cfd000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x0000000440016130> (a java.lang.ref.Reference$Lock) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 96.61/33.07 - locked <0x0000000440016130> (a java.lang.ref.Reference$Lock) 96.61/33.07 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 96.61/33.07 96.61/33.07 "main" #1 prio=5 os_prio=0 tid=0x00002b460c008800 nid=0xde6f in Object.wait() [0x00002b46075eb000] 96.61/33.07 java.lang.Thread.State: WAITING (on object monitor) 96.61/33.07 at java.lang.Object.wait(Native Method) 96.61/33.07 - waiting on <0x000000044001e130> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 96.61/33.07 at java.lang.Object.wait(Object.java:502) 96.61/33.07 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 96.61/33.07 - locked <0x000000044001e130> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 96.61/33.07 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 96.61/33.07 at aprove.Runtime.AProVE.run(AProVE.java:101) 96.61/33.07 at aprove.CommandLineInterface.Main.run(Main.java:94) 96.61/33.07 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 96.61/33.07 at aprove.Main.doMain(Main.java:54) 96.61/33.07 at aprove.Main.main(Main.java:20) 96.61/33.07 96.61/33.07 "VM Thread" os_prio=0 tid=0x00002b460c13e000 nid=0xde75 runnable 96.61/33.07 96.61/33.07 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b460c01e000 nid=0xde71 runnable 96.61/33.07 96.61/33.07 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b460c01f800 nid=0xde72 runnable 96.61/33.07 96.61/33.07 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b460c021800 nid=0xde73 runnable 96.61/33.07 96.61/33.07 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b460c023800 nid=0xde74 runnable 96.61/33.07 96.61/33.07 "VM Periodic Task Thread" os_prio=0 tid=0x00002b460c1a4000 nid=0xde7d waiting on condition 96.61/33.07 110.26/36.70 JNI global references: 362 110.26/36.70 111.02/36.77 Heap 111.02/36.77 PSYoungGen total 4853248K, used 2726703K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 111.02/36.77 eden space 4813312K, 55% used [0x0000000695580000,0x000000073954e928,0x00000007bb200000) 111.02/36.77 from space 39936K, 99% used [0x00000007bb200000,0x00000007bd8fd590,0x00000007bd900000) 111.02/36.77 to space 39936K, 0% used [0x00000007bd900000,0x00000007bd900000,0x00000007c0000000) 111.02/36.77 ParOldGen total 9786880K, used 36259K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 111.02/36.77 object space 9786880K, 0% used [0x0000000440000000,0x0000000442368f68,0x0000000695580000) 111.02/36.77 Metaspace used 23580K, capacity 23852K, committed 24192K, reserved 1071104K 111.02/36.77 class space used 2546K, capacity 2622K, committed 2688K, reserved 1048576K 111.02/36.77 111.02/36.81 EOF