2019-05-11 07:22:13 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-127" #149 daemon prio=6 os_prio=0 tid=0x00002ae674008000 nid=0x42ae runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-126" #148 daemon prio=6 os_prio=0 tid=0x00002ae674007000 nid=0x42ad runnable [0x00002ae6a40ff000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-125" #147 daemon prio=6 os_prio=0 tid=0x00002ae6c8003000 nid=0x42ac runnable [0x00002ae5e3862000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-107" #146 daemon prio=6 os_prio=0 tid=0x00002ae6c8002000 nid=0x42ab runnable [0x00002ae623c74000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-124" #145 daemon prio=6 os_prio=0 tid=0x00002ae66c011000 nid=0x42aa runnable [0x00002ae6a4c43000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-109" #144 daemon prio=6 os_prio=0 tid=0x00002ae66c010800 nid=0x42a9 runnable [0x00002ae623d75000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-123" #143 daemon prio=6 os_prio=0 tid=0x00002ae66400b800 nid=0x42a8 runnable [0x00002ae6a50b9000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-122" #142 daemon prio=6 os_prio=0 tid=0x00002ae66400a800 nid=0x42a7 runnable [0x00002ae623b73000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-121" #141 daemon prio=6 os_prio=0 tid=0x00002ae6cc003000 nid=0x42a6 runnable [0x00002ae6a5da9000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-102" #140 daemon prio=6 os_prio=0 tid=0x00002ae6cc001000 nid=0x42a5 runnable [0x00002ae6a5ca8000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-120" #139 daemon prio=6 os_prio=0 tid=0x00002ae6c4005000 nid=0x42a4 runnable [0x00002ae6a5ba7000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-119" #138 daemon prio=6 os_prio=0 tid=0x00002ae6c4003000 nid=0x42a3 runnable [0x00002ae6a5aa6000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "process reaper" #137 daemon prio=10 os_prio=0 tid=0x00002ae6c4001000 nid=0x42a2 waiting on condition [0x00002ae6a59a5000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-118" #136 daemon prio=5 os_prio=0 tid=0x00002ae64001c800 nid=0x42a1 runnable [0x00002ae6a596c000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-117" #135 daemon prio=5 os_prio=0 tid=0x00002ae640008800 nid=0x42a0 runnable [0x00002ae6a586b000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "process reaper" #134 daemon prio=10 os_prio=0 tid=0x00002ae640009800 nid=0x429f waiting on condition [0x00002ae6a576a000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-116" #133 daemon prio=6 os_prio=0 tid=0x00002ae6e0004800 nid=0x429e runnable [0x00002ae6a5731000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-115" #132 daemon prio=6 os_prio=0 tid=0x00002ae6e0003000 nid=0x429d runnable [0x00002ae6a5630000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "process reaper" #131 daemon prio=10 os_prio=0 tid=0x00002ae6e0001000 nid=0x429c waiting on condition [0x00002ae6a552f000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-114" #130 daemon prio=6 os_prio=0 tid=0x00002ae6d8003000 nid=0x429b runnable [0x00002ae6a54f6000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-103" #129 daemon prio=6 os_prio=0 tid=0x00002ae6d8001000 nid=0x429a runnable [0x00002ae6a53f5000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-113" #128 daemon prio=6 os_prio=0 tid=0x00002ae680005000 nid=0x4299 runnable [0x00002ae6a52f4000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "Thread-112" #127 daemon prio=6 os_prio=0 tid=0x00002ae680003000 nid=0x4298 runnable [0x00002ae6a51f3000] java.lang.Thread.State: RUNNABLE at java.nio.charset.Charset.lookup(Charset.java:459) at java.nio.charset.Charset.isSupported(Charset.java:505) at sun.nio.cs.StreamDecoder.forInputStreamReader(StreamDecoder.java:68) at java.io.InputStreamReader.(InputStreamReader.java:74) at java.util.Scanner.(Scanner.java:563) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:96) "process reaper" #126 daemon prio=10 os_prio=0 tid=0x00002ae680001800 nid=0x4297 waiting on condition [0x00002ae6a50f2000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #123 daemon prio=10 os_prio=0 tid=0x00002ae6e4001000 nid=0x4292 waiting on condition [0x00002ae6a4fb8000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #120 daemon prio=10 os_prio=0 tid=0x00002ae6dc001000 nid=0x428c runnable [0x00002ae6a4f7f000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-104" #118 daemon prio=6 os_prio=0 tid=0x00002ae6d0001000 nid=0x4285 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-101" #117 daemon prio=6 os_prio=0 tid=0x00002ae66800f000 nid=0x4282 runnable [0x00002ae5e3660000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006ab840230> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006f50d2f30> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000006f50d4ff0> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-97" #116 daemon prio=6 os_prio=0 tid=0x00002ae66800e000 nid=0x427c runnable [0x00002ae623937000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006ab83e170> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006f22bacb0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000006f22bcd70> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "ThreadPoolThread43" #115 daemon prio=6 os_prio=0 tid=0x00002ae64c02b800 nid=0x4277 in Object.wait() [0x00002ae6a4f45000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006eefd9b38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006eefd9b38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread41" #113 daemon prio=6 os_prio=0 tid=0x00002ae64c028000 nid=0x4275 in Object.wait() [0x00002ae6a4d44000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006ebcd4a60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ebcd4a60> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread39" #111 daemon prio=6 os_prio=0 tid=0x00002ae64c024800 nid=0x4270 in Object.wait() [0x00002ae6a4b42000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006ed116d80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ed116d80> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread38" #110 daemon prio=6 os_prio=0 tid=0x00002ae64c022800 nid=0x426f runnable [0x00002ae6a4a41000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:979) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:53) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread36" #108 daemon prio=6 os_prio=0 tid=0x00002ae64c01f000 nid=0x426d in Object.wait() [0x00002ae6a483e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006ef9ed6c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ef9ed6c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread35" #107 daemon prio=6 os_prio=0 tid=0x00002ae64c017800 nid=0x426c in Object.wait() [0x00002ae623432000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006f0b02308> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006f0b02308> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread34" #106 daemon prio=6 os_prio=0 tid=0x00002ae64c016800 nid=0x426b in Object.wait() [0x00002ae623634000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006f0e81d20> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006f0e81d20> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread33" #105 daemon prio=6 os_prio=0 tid=0x00002ae64c014800 nid=0x426a runnable [0x00002ae623533000] java.lang.Thread.State: RUNNABLE at sun.misc.Unsafe.unpark(Native Method) at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) at java.security.AccessController.doPrivileged(Native Method) at java.lang.UNIXProcess.(UNIXProcess.java:257) at java.lang.ProcessImpl.start(ProcessImpl.java:134) at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread30" #102 daemon prio=6 os_prio=0 tid=0x00002ae64c01d000 nid=0x4267 in Object.wait() [0x00002ae6a473e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006ea7fe5b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006ea7fe5b8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Thread-85" #100 daemon prio=6 os_prio=0 tid=0x00002ae670005800 nid=0x4265 runnable [0x00002ae6a453c000] java.lang.Thread.State: RUNNABLE at java.util.Scanner.findPatternInBuffer(Scanner.java:1001) at java.util.Scanner.findWithinHorizon(Scanner.java:1679) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-78" #99 daemon prio=6 os_prio=0 tid=0x00002ae670003800 nid=0x4264 runnable [0x00002ae6a443b000] java.lang.Thread.State: RUNNABLE at java.util.Scanner.findPatternInBuffer(Scanner.java:1001) at java.util.Scanner.findWithinHorizon(Scanner.java:1679) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-84" #98 daemon prio=6 os_prio=0 tid=0x00002ae674005000 nid=0x4263 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-83" #97 daemon prio=6 os_prio=0 tid=0x00002ae674003000 nid=0x4262 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002ae674001000 nid=0x4261 waiting on condition [0x00002ae6a4138000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002ae664006000 nid=0x425e runnable [0x00002ae623fe9000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-80" #92 daemon prio=6 os_prio=0 tid=0x00002ae684004800 nid=0x425c runnable [0x00002ae623fb0000] java.lang.Thread.State: RUNNABLE at java.util.Scanner.findPatternInBuffer(Scanner.java:1001) at java.util.Scanner.findWithinHorizon(Scanner.java:1679) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-79" #91 daemon prio=6 os_prio=0 tid=0x00002ae684002800 nid=0x425b runnable [0x00002ae623eaf000] java.lang.Thread.State: RUNNABLE at java.util.Scanner.findPatternInBuffer(Scanner.java:1001) at java.util.Scanner.findWithinHorizon(Scanner.java:1679) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002ae684001800 nid=0x425a waiting on condition [0x00002ae623dae000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread24" #81 daemon prio=6 os_prio=0 tid=0x00002ae64c013800 nid=0x4243 in Object.wait() [0x00002ae5e3d67000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006e03f4948> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000006e03f4948> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread23" #80 daemon prio=6 os_prio=0 tid=0x00002ae64c00d800 nid=0x4242 in Object.wait() [0x00002ae623736000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006e0e31290> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000006e0e31290> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread22" #79 daemon prio=6 os_prio=0 tid=0x00002ae64c00e800 nid=0x4241 in Object.wait() [0x00002ae623a72000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006e189e0a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006e189e0a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread21" #78 daemon prio=6 os_prio=0 tid=0x00002ae64c010800 nid=0x423f in Object.wait() [0x00002ae623031000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006e22ab2c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006e22ab2c8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.InputModules.Programs.t2.T2Processor.determineT2Command(T2Processor.java:215) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:97) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #54 daemon prio=10 os_prio=0 tid=0x00002ae670002800 nid=0x4222 waiting on condition [0x00002ae623971000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread8" #48 daemon prio=6 os_prio=0 tid=0x00002ae64c00c800 nid=0x4215 in Object.wait() [0x00002ae623132000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006ab83c040> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000006ab83c040> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #25 daemon prio=10 os_prio=0 tid=0x00002ae63c025000 nid=0x41f1 runnable [0x00002ae5e3fd9000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002ae64401d800 nid=0x41e7 waiting on condition [0x00002ae5e3fa0000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400050b8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002ae64c00b800 nid=0x41e4 runnable [0x00002ae5e3a64000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x00000006c83deb98> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002ae5cc7f7800 nid=0x41e3 waiting on condition [0x00002ae5e3b64000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:65) at aprove.Strategies.ExecutableStrategies.ExecSimple.exec(ExecSimple.java:40) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002ae5cc266000 nid=0x41ad in Object.wait() [0x00002ae5e3761000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006c55eae88> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x00000006c55eae88> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ae5cc187800 nid=0x41a8 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ae5cc184000 nid=0x41a7 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ae5cc182800 nid=0x41a6 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ae5cc17f800 nid=0x41a5 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ae5cc17e000 nid=0x41a4 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ae5cc14a000 nid=0x41a3 in Object.wait() [0x00002ae5e2db8000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440084f60> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000440084f60> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002ae5cc145800 nid=0x41a2 in Object.wait() [0x00002ae5e2cb7000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440085190> (a java.lang.ref.Reference$Lock) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x0000000440085190> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002ae5cc008800 nid=0x419a in Object.wait() [0x00002ae5c658e000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440042a20> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at java.lang.Object.wait(Object.java:502) at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) - locked <0x0000000440042a20> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) at aprove.Runtime.AProVE.run(AProVE.java:101) at aprove.CommandLineInterface.Main.run(Main.java:94) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) "VM Thread" os_prio=0 tid=0x00002ae5cc13e000 nid=0x41a1 runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ae5cc01e000 nid=0x419d runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ae5cc01f800 nid=0x419e runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ae5cc021800 nid=0x419f runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ae5cc023800 nid=0x41a0 runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002ae5cc18a800 nid=0x41aa waiting on condition JNI global references: 347 Heap PSYoungGen total 4281856K, used 1935356K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 3670528K, 52% used [0x0000000695580000,0x000000070b77f270,0x0000000775600000) from space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) ParOldGen total 9786880K, used 24398K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 0% used [0x0000000440000000,0x00000004417d3bd8,0x0000000695580000) Metaspace used 22521K, capacity 22778K, committed 23168K, reserved 1069056K class space used 2542K, capacity 2617K, committed 2688K, reserved 1048576K