2020-06-22 05:07:19 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-3779" #3797 daemon prio=6 os_prio=0 tid=0x00002b929c007000 nid=0x6dce runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-3760" #3796 daemon prio=6 os_prio=0 tid=0x00002b929c006800 nid=0x6dcc runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3761" #3795 daemon prio=6 os_prio=0 tid=0x00002b9250002000 nid=0x6dcb runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3763" #3794 daemon prio=6 os_prio=0 tid=0x00002b927c001000 nid=0x6dc9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3775" #3793 daemon prio=6 os_prio=0 tid=0x00002b926c001800 nid=0x6dc8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3765" #3792 daemon prio=6 os_prio=0 tid=0x00002b926c001000 nid=0x6dc6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3774" #3791 daemon prio=6 os_prio=0 tid=0x00002b91bc011000 nid=0x6dc5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3771" #3790 daemon prio=6 os_prio=0 tid=0x00002b91bc00e800 nid=0x6dc4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3767" #3788 daemon prio=6 os_prio=0 tid=0x00002b92a0003800 nid=0x6dc2 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3742" #3785 daemon prio=6 os_prio=0 tid=0x00002b9274001000 nid=0x6dc1 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3769" #3787 daemon prio=6 os_prio=0 tid=0x00002b9248003000 nid=0x6dbf runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3768" #3786 daemon prio=6 os_prio=0 tid=0x00002b91bc010000 nid=0x6dbe runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3748" #3774 daemon prio=6 os_prio=0 tid=0x00002b929c005800 nid=0x6dab runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3754" #3773 daemon prio=6 os_prio=0 tid=0x00002b91f0a9f800 nid=0x6daa runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3750" #3771 daemon prio=6 os_prio=0 tid=0x00002b91f0edb000 nid=0x6da8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3752" #3770 daemon prio=6 os_prio=0 tid=0x00002b9244011800 nid=0x6da7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3751" #3769 daemon prio=6 os_prio=0 tid=0x00002b9244002000 nid=0x6da5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3739" #3764 daemon prio=6 os_prio=0 tid=0x00002b9294007000 nid=0x6da4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3740" #3768 daemon prio=6 os_prio=0 tid=0x00002b91f42e0000 nid=0x6da3 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-3741" #3767 daemon prio=6 os_prio=0 tid=0x00002b91c400c000 nid=0x6d99 runnable [0x00002b91c3f83000] 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 <0x00000007bc087160> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000698d46850> (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 <0x0000000698d48910> (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-3719" #3749 daemon prio=6 os_prio=0 tid=0x00002b91c400b000 nid=0x6d97 runnable [0x00002b91d0301000] 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 <0x00000007bbf51580> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000069c2370e0> (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 <0x000000069c2391a0> (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-3718" #3751 daemon prio=6 os_prio=0 tid=0x00002b91f40dd000 nid=0x6d96 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread438" #3703 daemon prio=6 os_prio=0 tid=0x00002b921402b800 nid=0x6d43 runnable [0x00002b91c343e000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread435" #3602 daemon prio=6 os_prio=0 tid=0x00002b921400d800 nid=0x6ca8 runnable [0x00002b91d4b8f000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.start0(Native Method) at java.lang.Thread.start(Thread.java:717) - locked <0x00000006bd6f1048> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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-3547" #3575 daemon prio=6 os_prio=0 tid=0x00002b92a8001000 nid=0x6c83 runnable [0x00002b91d10d3000] 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 <0x00000004514f1670> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bbfa7d08> (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 <0x00000007bbfa7d90> (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-3526" #3558 daemon prio=6 os_prio=0 tid=0x00002b92a8003800 nid=0x6c6e runnable [0x00002b91d2155000] 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 <0x00000004514f15e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007bbfb6f40> (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 <0x00000007bbfb6fc8> (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) "ThreadPoolThread431" #3534 daemon prio=6 os_prio=0 tid=0x00002b921403b800 nid=0x6c49 runnable [0x00002b91c28c1000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 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) "ThreadPoolThread428" #3528 daemon prio=6 os_prio=0 tid=0x00002b9214039000 nid=0x6c3c in Object.wait() [0x00002b91d2357000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000004514f1558> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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) "Thread-3496" #3511 daemon prio=6 os_prio=0 tid=0x00002b9200002000 nid=0x6c27 runnable [0x00002b91d164a000] 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 <0x0000000451505f58> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000451eaf340> (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 <0x0000000451eaf3c8> (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-3485" #3510 daemon prio=6 os_prio=0 tid=0x00002b9200001000 nid=0x6c26 runnable [0x00002b91c377b000] 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 <0x0000000451505ed0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000451eb0950> (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 <0x0000000451eb09d8> (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) "ThreadPoolThread426" #3505 daemon prio=6 os_prio=0 tid=0x00002b9214009000 nid=0x6c1d runnable [0x00002b91c3102000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.start0(Native Method) at java.lang.Thread.start(Thread.java:717) - locked <0x00000006971055c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread425" #3503 daemon prio=6 os_prio=0 tid=0x00002b9214021800 nid=0x6c1c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread421" #3499 daemon prio=6 os_prio=0 tid=0x00002b921400f800 nid=0x6c16 in Object.wait() [0x00002b91c24bd000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x0000000451505e40> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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) "ThreadPoolThread419" #3467 daemon prio=6 os_prio=0 tid=0x00002b9214037800 nid=0x6bf2 runnable [0x00002b91c10ae000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableMap.size(Unknown Source) at java.util.AbstractMap.equals(AbstractMap.java:482) at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) at java.util.HashMap.getNode(HashMap.java:571) at java.util.HashMap.containsKey(HashMap.java:595) at immutables.Immutable.ImmutableLinkedHashMap.containsKey(Unknown Source) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.isConstant(SimplePolynomial.java:1701) at aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:980) 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) "ThreadPoolThread416" #3430 daemon prio=6 os_prio=0 tid=0x00002b9214054000 nid=0x6bb2 runnable [0x00002b91d120c000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread415" #3429 daemon prio=6 os_prio=0 tid=0x00002b9214028000 nid=0x6bb0 in Object.wait() [0x00002b91d488c000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000007bc087138> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:267) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 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) "ThreadPoolThread414" #3297 daemon prio=6 os_prio=0 tid=0x00002b921401c000 nid=0x6aea runnable [0x00002b91c3e81000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread413" #3296 daemon prio=6 os_prio=0 tid=0x00002b921404c000 nid=0x6ae8 runnable [0x00002b91c2dc6000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread410" #3234 daemon prio=6 os_prio=0 tid=0x00002b9214018800 nid=0x6a89 runnable [0x00002b91c27c0000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread407" #3201 daemon prio=6 os_prio=0 tid=0x00002b921404e000 nid=0x6a59 runnable [0x00002b91c29c2000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread403" #3161 daemon prio=6 os_prio=0 tid=0x00002b9214050000 nid=0x6a1f runnable [0x00002b91c14b2000] java.lang.Thread.State: RUNNABLE at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 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) "ThreadPoolThread396" #3153 daemon prio=6 os_prio=0 tid=0x00002b9214035000 nid=0x6a14 runnable [0x00002b91c11af000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.start0(Native Method) at java.lang.Thread.start(Thread.java:717) - locked <0x000000069cd0e698> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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-3041" #3066 daemon prio=6 os_prio=0 tid=0x00002b9210052000 nid=0x6994 runnable [0x00002b91c3b7f000] 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 <0x000000044ff9ef90> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000004504b5d20> (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 <0x00000004504b5da8> (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-3036" #3065 daemon prio=6 os_prio=0 tid=0x00002b9210059800 nid=0x6992 runnable [0x00002b91d0503000] 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 <0x000000044ff9ef08> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000450720aa8> (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 <0x0000000450720b30> (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) "ThreadPoolThread392" #2989 daemon prio=6 os_prio=0 tid=0x00002b9214026000 nid=0x691f runnable [0x00002b91c387b000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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-2946" #2972 daemon prio=6 os_prio=0 tid=0x00002b922c006000 nid=0x6908 runnable [0x00002b91c3204000] 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 <0x000000044f94a7c0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000044fafa228> (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 <0x000000044fafa2b0> (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-2944" #2971 daemon prio=6 os_prio=0 tid=0x00002b922c005000 nid=0x6906 runnable [0x00002b91d285c000] 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 <0x000000044f94a738> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000044fb05e80> (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 <0x000000044fb05f08> (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-2927" #2943 daemon prio=6 os_prio=0 tid=0x00002b9264006800 nid=0x68e6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-2925" #2942 daemon prio=6 os_prio=0 tid=0x00002b9264006000 nid=0x68e4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread386" #2919 daemon prio=6 os_prio=0 tid=0x00002b921404a000 nid=0x68bc runnable [0x00002b91d1d50000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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) "ThreadPoolThread376" #2909 daemon prio=6 os_prio=0 tid=0x00002b921403c000 nid=0x68b2 runnable [0x00002b91c3578000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableIterator.next(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 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) "ThreadPoolThread364" #2777 daemon prio=6 os_prio=0 tid=0x00002b9214038800 nid=0x67f4 runnable [0x00002b91c2ec7000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableIterator.next(Unknown Source) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 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) "ThreadPoolThread355" #2610 daemon prio=6 os_prio=0 tid=0x00002b921401a000 nid=0x66fb in Object.wait() [0x00002b91d0704000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000044ff9ee78> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 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) "ThreadPoolThread351" #2513 daemon prio=6 os_prio=0 tid=0x00002b9214029800 nid=0x65d5 in Object.wait() [0x00002b91d0f98000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000044f94a6a8> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 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-2449" #2476 daemon prio=6 os_prio=0 tid=0x00002b9260003000 nid=0x659e runnable [0x00002b91c3305000] 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 <0x000000044d8d91e8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000044dbcbcc8> (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 <0x000000044dbcbd50> (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-2447" #2474 daemon prio=6 os_prio=0 tid=0x00002b9260004800 nid=0x659c runnable [0x00002b91d0e98000] 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 <0x000000044d8d9160> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000044dbd41a0> (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 <0x000000044dbd4228> (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) "ThreadPoolThread346" #2471 daemon prio=6 os_prio=0 tid=0x00002b921402f000 nid=0x6598 runnable [0x00002b91c3d80000] java.lang.Thread.State: RUNNABLE at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 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) "ThreadPoolThread343" #2468 daemon prio=6 os_prio=0 tid=0x00002b9214013000 nid=0x6595 waiting for monitor entry [0x00002b91c25bf000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440014680> (a aprove.Strategies.Util.PrioritizableThreadPool) at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread314" #2120 daemon prio=6 os_prio=0 tid=0x00002b9214014800 nid=0x639e in Object.wait() [0x00002b91d0d5d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000044d8d90d0> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 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.CaseAnalysis.InductiveChecker.check(InductiveChecker.java:112) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:204) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 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) "ThreadPoolThread279" #1780 daemon prio=6 os_prio=0 tid=0x00002b9214024000 nid=0x61b1 in Object.wait() [0x00002b91c3a7d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000696b008f8> (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.solveAndPutIntoFormula(YicesEngine.java:82) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 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-104" #131 daemon prio=6 os_prio=0 tid=0x00002b9290007000 nid=0x585e runnable [0x00002b91d1447000] 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 <0x0000000441546b90> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000440f53918> (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 <0x0000000440f539a0> (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-103" #130 daemon prio=6 os_prio=0 tid=0x00002b9290005000 nid=0x585d runnable [0x00002b91d1346000] 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 <0x0000000441546b58> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000440f54f28> (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 <0x0000000440f54fb0> (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) "process reaper" #129 daemon prio=10 os_prio=0 tid=0x00002b9290003800 nid=0x585c runnable [0x00002b91d1246000] 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/1054514345.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" #126 daemon prio=10 os_prio=0 tid=0x00002b92bc00e800 nid=0x5859 waiting on condition [0x00002b91d110c000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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=0x00002b92b8004000 nid=0x5856 runnable [0x00002b91d0fd2000] 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/1054514345.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" #120 daemon prio=10 os_prio=0 tid=0x00002b927c005800 nid=0x5850 runnable [0x00002b91d0d97000] 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/1054514345.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" #112 daemon prio=10 os_prio=0 tid=0x00002b92c4002000 nid=0x5847 waiting on condition [0x00002b91d0c5d000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #109 daemon prio=10 os_prio=0 tid=0x0000000001357800 nid=0x583e runnable [0x00002b91d0c24000] 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/1054514345.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" #89 daemon prio=10 os_prio=0 tid=0x00002b9240003000 nid=0x5815 waiting on condition [0x00002b91d09eb000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #82 daemon prio=10 os_prio=0 tid=0x00002b927c002000 nid=0x5807 waiting on condition [0x00002b91d09b2000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #79 daemon prio=10 os_prio=0 tid=0x00002b92c4001000 nid=0x5804 waiting on condition [0x00002b91d0979000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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) "ThreadPoolThread38" #78 daemon prio=6 os_prio=0 tid=0x00002b921401e000 nid=0x5801 in Object.wait() [0x00002b91c397d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000441546b18> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x0000000441546b18> (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" #66 daemon prio=10 os_prio=0 tid=0x00002b9280001000 nid=0x57f6 runnable [0x00002b91d0940000] 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/1054514345.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" #62 daemon prio=10 os_prio=0 tid=0x00002b928c001000 nid=0x57ee waiting on condition [0x00002b91c3ff5000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #63 daemon prio=10 os_prio=0 tid=0x00002b9260001000 nid=0x57ea waiting on condition [0x00002b91c3fbc000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #41 daemon prio=10 os_prio=0 tid=0x00002b9240001800 nid=0x57cf waiting on condition [0x00002b91c3478000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #47 daemon prio=10 os_prio=0 tid=0x00002b924400e800 nid=0x57cd runnable [0x00002b91c333e000] 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/1054514345.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" #36 daemon prio=10 os_prio=0 tid=0x00002b9238040800 nid=0x57c5 runnable [0x00002b91c2f01000] 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/1054514345.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" #38 daemon prio=10 os_prio=0 tid=0x00002b923c02a800 nid=0x57c0 waiting on condition [0x00002b91bbff9000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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" #20 daemon prio=10 os_prio=0 tid=0x00002b920c013800 nid=0x5714 waiting on condition [0x00002b91bbfc0000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044001b6a0> (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=0x00002b921400b000 nid=0x5712 runnable [0x00002b91c15b4000] 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 <0x000000044001be00> (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=0x00002b9188969000 nid=0x5711 runnable [0x00002b91c12b0000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:464) at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) - locked <0x0000000440014680> (a aprove.Strategies.Util.PrioritizableThreadPool) at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 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.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 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.ExecAny.exec(ExecAny.java:62) 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) "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002b9188265000 nid=0x5709 runnable [0x00002b91c0ead000] java.lang.Thread.State: RUNNABLE at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:465) at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 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=0x00002b9188199800 nid=0x5706 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b9188184000 nid=0x5705 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b9188182800 nid=0x5704 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b918817f800 nid=0x5703 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b918817e000 nid=0x5702 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b918814a000 nid=0x5701 in Object.wait() [0x00002b91c0604000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x00000004400fc590> (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=0x00002b9188145800 nid=0x5700 in Object.wait() [0x00002b91c0503000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x00000004400fc7c0> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002b9188008800 nid=0x56f9 in Object.wait() [0x00002b9185971000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000004400fc858> (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 <0x00000004400fc858> (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=0x00002b918813e000 nid=0x56ff runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b918801e000 nid=0x56fb runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b918801f800 nid=0x56fc runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b9188021800 nid=0x56fd runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b9188023800 nid=0x56fe runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002b91881ac000 nid=0x5708 waiting on condition JNI global references: 344 Heap PSYoungGen total 4856320K, used 1245802K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 4819456K, 25% used [0x0000000695580000,0x00000006e0a243b8,0x00000007bb800000) from space 36864K, 33% used [0x00000007bb800000,0x00000007bc3f65d0,0x00000007bdc00000) to space 35840K, 0% used [0x00000007bdd00000,0x00000007bdd00000,0x00000007c0000000) ParOldGen total 9786880K, used 299079K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 3% used [0x0000000440000000,0x0000000452411e90,0x0000000695580000) Metaspace used 24032K, capacity 24368K, committed 24704K, reserved 1071104K class space used 2571K, capacity 2686K, committed 2688K, reserved 1048576K