24.33/8.07 2019-03-29 18:58:06 24.33/8.07 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 24.33/8.07 24.33/8.07 "process reaper" #107 daemon prio=10 os_prio=0 tid=0x00002aebc0009000 nid=0xde30 waiting on condition [0x00002aeb2d783000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #99 daemon prio=10 os_prio=0 tid=0x00002aebcc002800 nid=0xde2f waiting on condition [0x00002aeb2d74a000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002aebb0001800 nid=0xde2e waiting on condition [0x00002aeb2d711000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #102 daemon prio=10 os_prio=0 tid=0x00002aebe8002000 nid=0xde2d waiting on condition [0x00002aeb2d6d8000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #105 daemon prio=10 os_prio=0 tid=0x00002aebe0002000 nid=0xde2c waiting on condition [0x00002aeb2d69f000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #104 daemon prio=10 os_prio=0 tid=0x00002aebe4003000 nid=0xde2b waiting on condition [0x00002aeb2d666000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #103 daemon prio=10 os_prio=0 tid=0x00002aebec034800 nid=0xde2a waiting on condition [0x00002aeb2d62d000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #101 daemon prio=10 os_prio=0 tid=0x00002aebb8015000 nid=0xde29 runnable [0x00002aeb2d5f4000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 24.33/8.07 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 24.33/8.07 at java.lang.UNIXProcess$$Lambda$13/38075855.run(Unknown Source) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #100 daemon prio=10 os_prio=0 tid=0x00002aeb9c08e000 nid=0xde27 waiting on condition [0x00002aeb2d5bb000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #98 daemon prio=10 os_prio=0 tid=0x00002aeb7808b800 nid=0xde26 waiting on condition [0x00002aeb2d582000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #97 daemon prio=10 os_prio=0 tid=0x00002aeba0003000 nid=0xde24 waiting on condition [0x00002aeb2d549000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002aebf0002000 nid=0xde20 waiting on condition [0x00002aeb2d510000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002aeb78066000 nid=0xde19 waiting on condition [0x00002aeb2d4d7000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002aebe4001800 nid=0xde13 waiting on condition [0x00002aeb2d49e000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002aebf4002800 nid=0xde10 waiting on condition [0x00002aeb2d465000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #92 daemon prio=10 os_prio=0 tid=0x00002aeb9802f800 nid=0xde0e waiting on condition [0x00002aeb2d42c000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002aeb90047000 nid=0xde0d waiting on condition [0x00002aeb2d3f3000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002aeb90046000 nid=0xde08 waiting on condition [0x00002aeb2d3ba000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002aeb98013800 nid=0xde06 waiting on condition [0x00002aeb2d381000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #89 daemon prio=10 os_prio=0 tid=0x00002aebb8014000 nid=0xde05 waiting on condition [0x00002aeb2d348000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002aebc0045000 nid=0xde04 waiting on condition [0x00002aeb1fff7000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "process reaper" #86 daemon prio=10 os_prio=0 tid=0x00002aebf0001000 nid=0xde03 waiting on condition [0x00002aeb17fe0000] 24.33/8.07 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.07 at sun.misc.Unsafe.park(Native Method) 24.33/8.07 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.07 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.07 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.07 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.07 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread62" #85 daemon prio=6 os_prio=0 tid=0x00002aeb8800d000 nid=0xddf2 runnable [0x00002aeb2d10e000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at aprove.DPFramework.BasicStructures.Utility.FreshVarGenerator.namesFromVariables(FreshVarGenerator.java:34) 24.33/8.07 at aprove.DPFramework.BasicStructures.Utility.FreshVarGenerator.(FreshVarGenerator.java:22) 24.33/8.07 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:271) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread59" #82 daemon prio=6 os_prio=0 tid=0x00002aeb88033800 nid=0xddef waiting on condition [0x00002aeb2d00e000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 24.33/8.07 - locked <0x0000000775692010> (a java.lang.Object) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:447) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.07 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread58" #81 daemon prio=6 os_prio=0 tid=0x00002aeb88031800 nid=0xddee waiting on condition [0x00002aeb2cf0d000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 24.33/8.07 - locked <0x000000077e29a4e8> (a java.lang.Object) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:447) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.07 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread57" #80 daemon prio=6 os_prio=0 tid=0x00002aeb8802f800 nid=0xdded runnable [0x00002aeb1fdbb000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:595) 24.33/8.07 at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691) 24.33/8.07 at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579) 24.33/8.07 at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:271) 24.33/8.07 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:125) 24.33/8.07 - locked <0x000000077f6b0650> (a java.io.OutputStreamWriter) 24.33/8.07 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135) 24.33/8.07 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 24.33/8.07 at java.io.Writer.write(Writer.java:157) 24.33/8.07 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 24.33/8.07 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.07 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread56" #79 daemon prio=6 os_prio=0 tid=0x00002aeb88011000 nid=0xddec waiting on condition [0x00002aeb2ce0c000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 24.33/8.07 - locked <0x0000000775600318> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 24.33/8.07 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.07 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread55" #78 daemon prio=6 os_prio=0 tid=0x00002aeb8802d800 nid=0xddeb runnable [0x00002aeb2cd0b000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 24.33/8.07 - locked <0x000000077f6a8d98> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 24.33/8.07 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 24.33/8.07 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.07 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.07 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread54" #77 daemon prio=6 os_prio=0 tid=0x00002aeb8802b800 nid=0xddea runnable [0x00002aeb2cc09000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.math.BigInteger.shiftLeft(BigInteger.java:3109) 24.33/8.07 at java.math.BigInteger.shiftLeft(BigInteger.java:3073) 24.33/8.07 at aprove.Framework.Algebra.Polynomials.SatSearch.IndefiniteBinarizer.natBig(IndefiniteBinarizer.java:469) 24.33/8.07 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:189) 24.33/8.07 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 24.33/8.07 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 24.33/8.07 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 24.33/8.07 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.07 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.07 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.07 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.07 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.07 at java.lang.Thread.run(Thread.java:748) 24.33/8.07 24.33/8.07 "ThreadPoolThread53" #76 daemon prio=6 os_prio=0 tid=0x00002aeb88029000 nid=0xdde9 runnable [0x00002aeb2cb09000] 24.33/8.07 java.lang.Thread.State: RUNNABLE 24.33/8.07 at java.io.UnixFileSystem.createFileExclusively(Native Method) 24.33/8.07 at java.io.File.createTempFile(File.java:2024) 24.33/8.07 at java.io.File.createTempFile(File.java:2070) 24.33/8.07 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:191) 24.33/8.07 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.07 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread51" #74 daemon prio=6 os_prio=0 tid=0x00002aeb8801a800 nid=0xdde7 runnable [0x00002aeb2c503000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.UnixFileSystem.createFileExclusively(Native Method) 24.33/8.08 at java.io.File.createTempFile(File.java:2024) 24.33/8.08 at java.io.File.createTempFile(File.java:2070) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:191) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread50" #73 daemon prio=6 os_prio=0 tid=0x00002aeb88025800 nid=0xdde6 runnable [0x00002aeb2c0fe000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.UnixFileSystem.createFileExclusively(Native Method) 24.33/8.08 at java.io.File.createTempFile(File.java:2024) 24.33/8.08 at java.io.File.createTempFile(File.java:2070) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:191) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 24.33/8.08 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread45" #68 daemon prio=6 os_prio=0 tid=0x00002aeb88023800 nid=0xdde1 runnable [0x00002aeb2c805000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at immutables.Immutable.ImmutableLinkedHashMap.keySet(Unknown Source) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSSubstitution.getDomain(TRSSubstitution.java:127) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSSubstitution.isEmpty(TRSSubstitution.java:258) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:36) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 24.33/8.08 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:544) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread44" #67 daemon prio=6 os_prio=0 tid=0x00002aeb8801b800 nid=0xdde0 runnable [0x00002aeb2c401000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:595) 24.33/8.08 at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691) 24.33/8.08 at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579) 24.33/8.08 at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:271) 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:125) 24.33/8.08 - locked <0x000000077f4194f0> (a java.io.OutputStreamWriter) 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135) 24.33/8.08 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 24.33/8.08 at java.io.Writer.write(Writer.java:157) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 24.33/8.08 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread42" #65 daemon prio=6 os_prio=0 tid=0x00002aeb88017000 nid=0xddde runnable [0x00002aeb2c704000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:133) 24.33/8.08 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 24.33/8.08 at java.io.Writer.write(Writer.java:157) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 24.33/8.08 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread41" #64 daemon prio=6 os_prio=0 tid=0x00002aeb8801f000 nid=0xdddd waiting on condition [0x00002aeb1eaab000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:133) 24.33/8.08 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 24.33/8.08 at java.io.Writer.write(Writer.java:157) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread39" #62 daemon prio=6 os_prio=0 tid=0x00002aeb88020000 nid=0xdddb runnable [0x00002aeb2c1ff000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at sun.nio.cs.UTF_8$Encoder.encodeArrayLoop(UTF_8.java:595) 24.33/8.08 at sun.nio.cs.UTF_8$Encoder.encodeLoop(UTF_8.java:691) 24.33/8.08 at java.nio.charset.CharsetEncoder.encode(CharsetEncoder.java:579) 24.33/8.08 at sun.nio.cs.StreamEncoder.implWrite(StreamEncoder.java:271) 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:125) 24.33/8.08 - locked <0x00000007802add28> (a java.io.OutputStreamWriter) 24.33/8.08 at sun.nio.cs.StreamEncoder.write(StreamEncoder.java:135) 24.33/8.08 at java.io.OutputStreamWriter.write(OutputStreamWriter.java:220) 24.33/8.08 at java.io.Writer.write(Writer.java:157) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:197) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread37" #60 daemon prio=6 os_prio=0 tid=0x00002aeb8801e000 nid=0xddd9 waiting on condition [0x00002aeb2c604000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.lang.UNIXProcess$ProcessPipeInputStream.close(UNIXProcess.java:547) 24.33/8.08 - locked <0x000000077569c5c0> (a java.lang.Object) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:447) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.08 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread34" #57 daemon prio=6 os_prio=0 tid=0x00002aeb88011800 nid=0xddd6 runnable [0x00002aeb1faba000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.FileInputStream.readBytes(Native Method) 24.33/8.08 at java.io.FileInputStream.read(FileInputStream.java:255) 24.33/8.08 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 24.33/8.08 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 24.33/8.08 - locked <0x00000007756778a8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 24.33/8.08 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 24.33/8.08 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 24.33/8.08 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 24.33/8.08 - locked <0x00000007802afee8> (a java.io.InputStreamReader) 24.33/8.08 at java.io.InputStreamReader.read(InputStreamReader.java:184) 24.33/8.08 at java.io.BufferedReader.fill(BufferedReader.java:161) 24.33/8.08 at java.io.BufferedReader.readLine(BufferedReader.java:324) 24.33/8.08 - locked <0x00000007802afee8> (a java.io.InputStreamReader) 24.33/8.08 at java.io.BufferedReader.readLine(BufferedReader.java:389) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:304) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 24.33/8.08 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 24.33/8.08 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread31" #54 daemon prio=6 os_prio=0 tid=0x00002aeb8800a800 nid=0xddd3 waiting on condition [0x00002aeb1e7a9000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 24.33/8.08 - locked <0x0000000775684328> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 24.33/8.08 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.08 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread26" #49 daemon prio=6 os_prio=0 tid=0x00002aeb8800f000 nid=0xddce runnable [0x00002aeb1f9ba000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.UnixFileSystem.delete0(Native Method) 24.33/8.08 at java.io.UnixFileSystem.delete(UnixFileSystem.java:265) 24.33/8.08 at java.io.File.delete(File.java:1041) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:213) 24.33/8.08 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 24.33/8.08 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 24.33/8.08 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 24.33/8.08 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread22" #45 daemon prio=6 os_prio=0 tid=0x00002aeb88019000 nid=0xddca waiting on condition [0x00002aeb1eeb0000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 24.33/8.08 - locked <0x0000000775670f48> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 24.33/8.08 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 24.33/8.08 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 24.33/8.08 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 24.33/8.08 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "process reaper" #39 daemon prio=10 os_prio=0 tid=0x00002aeb78002800 nid=0xddc4 waiting on condition [0x00002aeb17fa7000] 24.33/8.08 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.08 at sun.misc.Unsafe.park(Native Method) 24.33/8.08 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.08 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.08 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "process reaper" #32 daemon prio=10 os_prio=0 tid=0x00002aeb90037000 nid=0xddbf waiting on condition [0x00002aeafffcb000] 24.33/8.08 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.08 at sun.misc.Unsafe.park(Native Method) 24.33/8.08 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.08 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.08 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "process reaper" #31 daemon prio=10 os_prio=0 tid=0x00002aeb84006800 nid=0xddb9 waiting on condition [0x00002aeafff92000] 24.33/8.08 java.lang.Thread.State: TIMED_WAITING (parking) 24.33/8.08 at sun.misc.Unsafe.park(Native Method) 24.33/8.08 - parking to wait for <0x0000000440ee4dc0> (a java.util.concurrent.SynchronousQueue$TransferStack) 24.33/8.08 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 24.33/8.08 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 24.33/8.08 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 24.33/8.08 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread15" #27 daemon prio=6 os_prio=0 tid=0x00002aeb88013800 nid=0xddb4 runnable [0x00002aeb1febd000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at aprove.DPFramework.BasicStructures.Rule.create(Rule.java:74) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:166) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread9" #21 daemon prio=6 os_prio=0 tid=0x00002aeb8800b800 nid=0xddad runnable [0x00002aeb1edae000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.base(EnrichmentBuilder.java:299) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.buildTermsWithSameBase(EnrichmentBuilder.java:375) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:149) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 24.33/8.08 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002aeb88009800 nid=0xddab sleeping[0x00002aeb1ecae000] 24.33/8.08 java.lang.Thread.State: TIMED_WAITING (sleeping) 24.33/8.08 at java.lang.Thread.sleep(Native Method) 24.33/8.08 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 24.33/8.08 24.33/8.08 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002aeb00803800 nid=0xddaa waiting on condition [0x00002aeb1ebad000] 24.33/8.08 java.lang.Thread.State: WAITING (parking) 24.33/8.08 at sun.misc.Unsafe.park(Native Method) 24.33/8.08 - parking to wait for <0x0000000440001790> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 24.33/8.08 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 24.33/8.08 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 24.33/8.08 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002aeb0027c800 nid=0xdd85 runnable [0x00002aeb1e9ab000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.(WordPattern.java:26) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:572) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:250) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002aeb00276000 nid=0xdd84 runnable [0x00002aeb1e8a9000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 at java.util.ArrayList.grow(ArrayList.java:254) 24.33/8.08 at java.util.ArrayList.ensureExplicitCapacity(ArrayList.java:235) 24.33/8.08 at java.util.ArrayList.ensureCapacityInternal(ArrayList.java:227) 24.33/8.08 at java.util.ArrayList.addAll(ArrayList.java:579) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:653) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.overlapsWith(DerivationPattern.java:250) 24.33/8.08 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 24.33/8.08 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 24.33/8.08 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 24.33/8.08 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 24.33/8.08 at java.lang.Thread.run(Thread.java:748) 24.33/8.08 24.33/8.08 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002aeb0018f800 nid=0xdd78 runnable [0x0000000000000000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 24.33/8.08 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002aeb00184000 nid=0xdd77 runnable [0x0000000000000000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 24.33/8.08 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002aeb00182000 nid=0xdd76 runnable [0x0000000000000000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 24.33/8.08 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002aeb0017f800 nid=0xdd75 runnable [0x0000000000000000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 24.33/8.08 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002aeb0017e000 nid=0xdd74 runnable [0x0000000000000000] 24.33/8.08 java.lang.Thread.State: RUNNABLE 24.33/8.08 24.33/8.08 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002aeb0014a000 nid=0xdd71 in Object.wait() [0x00002aeb1df01000] 24.33/8.08 java.lang.Thread.State: WAITING (on object monitor) 24.33/8.08 at java.lang.Object.wait(Native Method) 24.33/8.08 - waiting on <0x0000000441982a90> (a java.lang.ref.ReferenceQueue$Lock) 24.33/8.08 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 24.33/8.08 - locked <0x0000000441982a90> (a java.lang.ref.ReferenceQueue$Lock) 24.33/8.08 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 24.33/8.08 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 24.33/8.08 24.33/8.08 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002aeb00145800 nid=0xdd70 in Object.wait() [0x00002aeb1de00000] 24.33/8.08 java.lang.Thread.State: WAITING (on object monitor) 24.33/8.08 at java.lang.Object.wait(Native Method) 24.33/8.08 - waiting on <0x0000000440008410> (a java.lang.ref.Reference$Lock) 24.33/8.08 at java.lang.Object.wait(Object.java:502) 24.33/8.08 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 24.33/8.08 - locked <0x0000000440008410> (a java.lang.ref.Reference$Lock) 24.33/8.08 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 24.33/8.08 24.33/8.08 "main" #1 prio=5 os_prio=0 tid=0x00002aeb00008800 nid=0xdd56 in Object.wait() [0x00002aeafd5c4000] 24.33/8.08 java.lang.Thread.State: WAITING (on object monitor) 24.33/8.08 at java.lang.Object.wait(Native Method) 24.33/8.08 - waiting on <0x0000000440001d80> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 24.33/8.08 at java.lang.Object.wait(Object.java:502) 24.33/8.08 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 24.33/8.08 - locked <0x0000000440001d80> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 24.33/8.08 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 24.33/8.08 at aprove.Runtime.AProVE.run(AProVE.java:101) 24.33/8.08 at aprove.CommandLineInterface.Main.run(Main.java:94) 24.33/8.08 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 24.33/8.08 at aprove.Main.doMain(Main.java:54) 24.33/8.08 at aprove.Main.main(Main.java:20) 24.33/8.08 24.33/8.08 "VM Thread" os_prio=0 tid=0x00002aeb0013e000 nid=0xdd6f runnable 24.33/8.08 24.33/8.08 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002aeb0001e000 nid=0xdd6b runnable 24.33/8.08 24.33/8.08 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002aeb0001f800 nid=0xdd6c runnable 24.33/8.08 24.33/8.08 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002aeb00021800 nid=0xdd6d runnable 24.33/8.08 24.33/8.08 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002aeb00023800 nid=0xdd6e runnable 24.33/8.08 24.33/8.08 "VM Periodic Task Thread" os_prio=0 tid=0x00002aeb00192000 nid=0xdd80 waiting on condition 24.33/8.08 24.62/8.15 JNI global references: 324 24.62/8.15 25.29/8.35 Heap 25.29/8.35 PSYoungGen total 4281856K, used 965740K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 25.29/8.35 eden space 3670528K, 20% used [0x0000000695580000,0x00000006c3733a70,0x0000000775600000) 25.29/8.35 from space 611328K, 34% used [0x0000000775600000,0x0000000782367608,0x000000079ab00000) 25.29/8.35 to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 25.29/8.35 ParOldGen total 9786880K, used 133413K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 25.29/8.35 object space 9786880K, 1% used [0x0000000440000000,0x0000000448249450,0x0000000695580000) 25.29/8.35 Metaspace used 21245K, capacity 21510K, committed 21760K, reserved 1069056K 25.29/8.35 class space used 2433K, capacity 2499K, committed 2560K, reserved 1048576K 25.29/8.35 43.32/12.91 YES 43.32/12.91 proof of /export/starexec/sandbox/benchmark/theBenchmark.xml 43.32/12.91 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 43.32/12.91 43.32/12.91 43.32/12.91 Termination w.r.t. Q of the given QTRS could be proven: 43.32/12.91 43.32/12.91 (0) QTRS 43.32/12.91 (1) QTRS Reverse [EQUIVALENT, 0 ms] 43.32/12.91 (2) QTRS 43.32/12.91 (3) DependencyPairsProof [EQUIVALENT, 0 ms] 43.32/12.91 (4) QDP 43.32/12.91 (5) DependencyGraphProof [EQUIVALENT, 6 ms] 43.32/12.91 (6) QDP 43.32/12.91 (7) QDPOrderProof [EQUIVALENT, 64 ms] 43.32/12.91 (8) QDP 43.32/12.91 (9) UsableRulesProof [EQUIVALENT, 0 ms] 43.32/12.91 (10) QDP 43.32/12.91 (11) QDPSizeChangeProof [EQUIVALENT, 0 ms] 43.32/12.91 (12) YES 43.32/12.91 43.32/12.91 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (0) 43.32/12.91 Obligation: 43.32/12.91 Q restricted rewrite system: 43.32/12.91 The TRS R consists of the following rules: 43.32/12.91 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 a(b(x1)) -> c(c(x1)) 43.32/12.91 c(b(x1)) -> b(b(a(x1))) 43.32/12.91 43.32/12.91 Q is empty. 43.32/12.91 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (1) QTRS Reverse (EQUIVALENT) 43.32/12.91 We applied the QTRS Reverse Processor [REVERSE]. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (2) 43.32/12.91 Obligation: 43.32/12.91 Q restricted rewrite system: 43.32/12.91 The TRS R consists of the following rules: 43.32/12.91 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 b(a(x1)) -> c(c(x1)) 43.32/12.91 b(c(x1)) -> a(b(b(x1))) 43.32/12.91 43.32/12.91 Q is empty. 43.32/12.91 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (3) DependencyPairsProof (EQUIVALENT) 43.32/12.91 Using Dependency Pairs [AG00,LPAR04] we result in the following initial DP problem. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (4) 43.32/12.91 Obligation: 43.32/12.91 Q DP problem: 43.32/12.91 The TRS P consists of the following rules: 43.32/12.91 43.32/12.91 B(c(x1)) -> A(b(b(x1))) 43.32/12.91 B(c(x1)) -> B(b(x1)) 43.32/12.91 B(c(x1)) -> B(x1) 43.32/12.91 43.32/12.91 The TRS R consists of the following rules: 43.32/12.91 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 b(a(x1)) -> c(c(x1)) 43.32/12.91 b(c(x1)) -> a(b(b(x1))) 43.32/12.91 43.32/12.91 Q is empty. 43.32/12.91 We have to consider all minimal (P,Q,R)-chains. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (5) DependencyGraphProof (EQUIVALENT) 43.32/12.91 The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 1 SCC with 1 less node. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (6) 43.32/12.91 Obligation: 43.32/12.91 Q DP problem: 43.32/12.91 The TRS P consists of the following rules: 43.32/12.91 43.32/12.91 B(c(x1)) -> B(x1) 43.32/12.91 B(c(x1)) -> B(b(x1)) 43.32/12.91 43.32/12.91 The TRS R consists of the following rules: 43.32/12.91 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 b(a(x1)) -> c(c(x1)) 43.32/12.91 b(c(x1)) -> a(b(b(x1))) 43.32/12.91 43.32/12.91 Q is empty. 43.32/12.91 We have to consider all minimal (P,Q,R)-chains. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (7) QDPOrderProof (EQUIVALENT) 43.32/12.91 We use the reduction pair processor [LPAR04,JAR06]. 43.32/12.91 43.32/12.91 43.32/12.91 The following pairs can be oriented strictly and are deleted. 43.32/12.91 43.32/12.91 B(c(x1)) -> B(b(x1)) 43.32/12.91 The remaining pairs can at least be oriented weakly. 43.32/12.91 Used ordering: Matrix interpretation [MATRO] with arctic natural numbers [ARCTIC]: 43.32/12.91 43.32/12.91 <<< 43.32/12.91 POL(B(x_1)) = [[0A]] + [[0A, 0A, -I]] * x_1 43.32/12.91 >>> 43.32/12.91 43.32/12.91 <<< 43.32/12.91 POL(c(x_1)) = [[1A], [0A], [-I]] + [[0A, 1A, 1A], [-I, 0A, 0A], [-I, 0A, 0A]] * x_1 43.32/12.91 >>> 43.32/12.91 43.32/12.91 <<< 43.32/12.91 POL(b(x_1)) = [[0A], [-I], [0A]] + [[-I, 0A, 0A], [-I, 0A, -I], [0A, 0A, -I]] * x_1 43.32/12.91 >>> 43.32/12.91 43.32/12.91 <<< 43.32/12.91 POL(a(x_1)) = [[0A], [0A], [1A]] + [[-I, 0A, 0A], [-I, 0A, 0A], [0A, 1A, 1A]] * x_1 43.32/12.91 >>> 43.32/12.91 43.32/12.91 43.32/12.91 The following usable rules [FROCOS05] with respect to the argument filtering of the ordering [JAR06] were oriented: 43.32/12.91 43.32/12.91 b(a(x1)) -> c(c(x1)) 43.32/12.91 b(c(x1)) -> a(b(b(x1))) 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 43.32/12.91 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (8) 43.32/12.91 Obligation: 43.32/12.91 Q DP problem: 43.32/12.91 The TRS P consists of the following rules: 43.32/12.91 43.32/12.91 B(c(x1)) -> B(x1) 43.32/12.91 43.32/12.91 The TRS R consists of the following rules: 43.32/12.91 43.32/12.91 a(a(x1)) -> x1 43.32/12.91 b(a(x1)) -> c(c(x1)) 43.32/12.91 b(c(x1)) -> a(b(b(x1))) 43.32/12.91 43.32/12.91 Q is empty. 43.32/12.91 We have to consider all minimal (P,Q,R)-chains. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (9) UsableRulesProof (EQUIVALENT) 43.32/12.91 We can use the usable rules and reduction pair processor [LPAR04] with the Ce-compatible extension of the polynomial order that maps every function symbol to the sum of its arguments. Then, we can delete all non-usable rules [FROCOS05] from R. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (10) 43.32/12.91 Obligation: 43.32/12.91 Q DP problem: 43.32/12.91 The TRS P consists of the following rules: 43.32/12.91 43.32/12.91 B(c(x1)) -> B(x1) 43.32/12.91 43.32/12.91 R is empty. 43.32/12.91 Q is empty. 43.32/12.91 We have to consider all minimal (P,Q,R)-chains. 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (11) QDPSizeChangeProof (EQUIVALENT) 43.32/12.91 By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem. 43.32/12.91 43.32/12.91 From the DPs we obtained the following set of size-change graphs: 43.32/12.91 *B(c(x1)) -> B(x1) 43.32/12.91 The graph contains the following edges 1 > 1 43.32/12.91 43.32/12.91 43.32/12.91 ---------------------------------------- 43.32/12.91 43.32/12.91 (12) 43.32/12.91 YES 43.47/12.96 EOF