2019-05-11 07:24:17 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-542" #563 daemon prio=6 os_prio=0 tid=0x00002ab7c400a000 nid=0x97ef runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-512" #562 daemon prio=6 os_prio=0 tid=0x00002ab7c4008000 nid=0x97ed runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-538" #561 daemon prio=6 os_prio=0 tid=0x00002ab7dc00e800 nid=0x97ec runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-513" #560 daemon prio=6 os_prio=0 tid=0x00002ab7dc007000 nid=0x97eb runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread175" #559 daemon prio=6 os_prio=0 tid=0x00002ab7a002a800 nid=0x97e7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread174" #558 daemon prio=6 os_prio=0 tid=0x00002ab7a0027000 nid=0x97e6 runnable [0x00002ab7bbe6f000] 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.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 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-527" #556 daemon prio=6 os_prio=0 tid=0x00002ab7d4004800 nid=0x97e4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-501" #554 daemon prio=6 os_prio=0 tid=0x00002ab7dc005800 nid=0x97e2 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-534" #553 daemon prio=6 os_prio=0 tid=0x00002ab7cc00a800 nid=0x97e1 runnable [0x00002ab858401000] 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 <0x00000006dd68a530> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000700d0bfe8> (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 <0x0000000700d0e0a8> (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-533" #552 daemon prio=6 os_prio=0 tid=0x00002ab7cc008800 nid=0x97df runnable [0x00002ab858300000] 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 <0x00000006dd688470> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006ff8905b0> (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 <0x00000006ff892670> (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-505" #528 daemon prio=6 os_prio=0 tid=0x00002ab820001000 nid=0x97c2 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-504" #527 daemon prio=6 os_prio=0 tid=0x00002ab7e4003800 nid=0x97c0 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-503" #526 daemon prio=6 os_prio=0 tid=0x00002ab7e4007800 nid=0x97bf runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread173" #519 daemon prio=6 os_prio=0 tid=0x00002ab7a004c800 nid=0x97a5 in Object.wait() [0x00002ab7b8804000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006e5999c80> (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 <0x00000006e5999c80> (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) "ThreadPoolThread172" #518 daemon prio=6 os_prio=0 tid=0x00002ab7a004b800 nid=0x97a4 in Object.wait() [0x00002ab7b9814000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x00000006dd686340> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x00000006dd686340> (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) "ThreadPoolThread171" #517 daemon prio=6 os_prio=0 tid=0x00002ab7a004a800 nid=0x97a3 runnable [0x00002ab7b920e000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.Polynomials.SimplePolynomial.negate(SimplePolynomial.java:536) at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:691) at aprove.Framework.IntTRS.PoloRedPair.PolynomialConstraint.isStrongerThan(PolynomialConstraint.java:598) at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:245) at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyCondition(RuleSimplification.java:171) at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.runSimplification(RuleSimplification.java:115) at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplify(RuleSimplification.java:99) at aprove.Framework.IntTRS.TerminationGraph.RuleSimplification.simplifyRules(RuleSimplification.java:80) at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.getSimplifiedSCCs(TerminationGraph.java:253) at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:134) 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) "ThreadPoolThread170" #516 daemon prio=6 os_prio=0 tid=0x00002ab7a0049800 nid=0x97a2 runnable [0x00002ab7b9712000] 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.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:254) 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) "ThreadPoolThread169" #515 daemon prio=6 os_prio=0 tid=0x00002ab7a0048000 nid=0x97a1 runnable [0x00002ab7b910c000] 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) "ThreadPoolThread168" #514 daemon prio=6 os_prio=0 tid=0x00002ab7a0047000 nid=0x97a0 runnable [0x00002ab7b8702000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.forkAndExec(Native Method) at java.lang.UNIXProcess.(UNIXProcess.java:247) 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.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.canBeLTZero(InductiveConditionFinder.java:522) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 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) "ThreadPoolThread166" #512 daemon prio=6 os_prio=0 tid=0x00002ab7a0045000 nid=0x979e runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread165" #511 daemon prio=6 os_prio=0 tid=0x00002ab7a0044000 nid=0x979d runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread164" #510 daemon prio=6 os_prio=0 tid=0x00002ab7a0043000 nid=0x979c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread163" #505 daemon prio=6 os_prio=0 tid=0x00002ab7a000d800 nid=0x979a runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread162" #488 daemon prio=6 os_prio=0 tid=0x00002ab7a0042000 nid=0x9784 runnable [0x00002ab7ba270000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:148) at aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) at aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) at aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:65) at aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:112) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) 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) "ThreadPoolThread161" #487 daemon prio=6 os_prio=0 tid=0x00002ab7a0041000 nid=0x9783 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread160" #486 daemon prio=6 os_prio=0 tid=0x00002ab7a003f800 nid=0x9782 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread159" #485 daemon prio=6 os_prio=0 tid=0x00002ab7a003e800 nid=0x9781 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread158" #484 daemon prio=6 os_prio=0 tid=0x00002ab7a003d800 nid=0x9780 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread157" #483 daemon prio=6 os_prio=0 tid=0x00002ab7a003c800 nid=0x977f runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread156" #476 daemon prio=6 os_prio=0 tid=0x00002ab7a003b800 nid=0x9775 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread155" #475 daemon prio=6 os_prio=0 tid=0x00002ab7a003a800 nid=0x9773 waiting on condition [0x00002ab7b9511000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978eee30> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread154" #474 daemon prio=6 os_prio=0 tid=0x00002ab7a0039800 nid=0x9772 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread153" #473 daemon prio=6 os_prio=0 tid=0x00002ab7a0038800 nid=0x9770 waiting for monitor entry [0x00002ab776cce000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Abortions.TrackThread.scheduleKill(TrackThread.java:161) - waiting to lock <0x00000006978e5d78> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.abortionFired(TrackThread.java:157) at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 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) "ThreadPoolThread152" #472 daemon prio=6 os_prio=0 tid=0x00002ab7a002d000 nid=0x976f runnable [0x00002ab7b940f000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap$LinkedEntrySet.iterator(LinkedHashMap.java:642) at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) at aprove.Framework.IntTRS.Ranking.PCS.eliminateVariable(PCS.java:147) at aprove.Framework.IntTRS.Ranking.PCS.eliminateOtherVariables(PCS.java:85) at aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:113) at aprove.Framework.IntTRS.Ranking.TransitionRelation.(TransitionRelation.java:65) at aprove.Framework.IntTRS.Ranking.RuleToTransitionRelation.ruleToTransitionRelation(RuleToTransitionRelation.java:112) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.translateRules(RankingRedPairWorker.java:239) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:182) 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) "ThreadPoolThread150" #470 daemon prio=6 os_prio=0 tid=0x00002ab7a002b000 nid=0x976c waiting on condition [0x00002ab7b8602000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978e8f50> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread149" #469 daemon prio=6 os_prio=0 tid=0x00002ab7a0015800 nid=0x9768 waiting on condition [0x00002ab7bab5d000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978e9218> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread148" #468 daemon prio=6 os_prio=0 tid=0x00002ab7a0015000 nid=0x9766 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread147" #467 daemon prio=6 os_prio=0 tid=0x00002ab7a0031800 nid=0x9765 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread146" #466 daemon prio=6 os_prio=0 tid=0x00002ab7a0030800 nid=0x9764 waiting on condition [0x00002ab7b9915000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978e8f50> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread144" #464 daemon prio=6 os_prio=0 tid=0x00002ab7a0035800 nid=0x9762 waiting on condition [0x00002ab7ba6e7000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978e9218> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread143" #463 daemon prio=6 os_prio=0 tid=0x00002ab7a0029000 nid=0x9761 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread142" #462 daemon prio=6 os_prio=0 tid=0x00002ab7a0013000 nid=0x9760 waiting on condition [0x00002ab776bcd000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978eeb68> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread141" #461 daemon prio=6 os_prio=0 tid=0x00002ab7a000e800 nid=0x975f runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread140" #460 daemon prio=6 os_prio=0 tid=0x00002ab7a002e800 nid=0x975e runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread138" #452 daemon prio=6 os_prio=0 tid=0x00002ab7a0014000 nid=0x9753 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread132" #422 daemon prio=6 os_prio=0 tid=0x00002ab7a0028000 nid=0x972b waiting on condition [0x00002ab7ba922000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) - locked <0x00000006978eeb68> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread130" #420 daemon prio=6 os_prio=0 tid=0x00002ab7a0034000 nid=0x9729 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread129" #419 daemon prio=6 os_prio=0 tid=0x00002ab7a0010800 nid=0x9728 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread127" #417 daemon prio=6 os_prio=0 tid=0x00002ab7a000c800 nid=0x9724 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #336 daemon prio=10 os_prio=0 tid=0x00002ab7c4005000 nid=0x96ac waiting on condition [0x00002ab7baa5c000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #333 daemon prio=10 os_prio=0 tid=0x00002ab7e0001000 nid=0x96a9 waiting on condition [0x00002ab7ba821000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #330 daemon prio=10 os_prio=0 tid=0x00002ab7f4003000 nid=0x96a4 waiting on condition [0x00002ab7ba5e6000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #327 daemon prio=10 os_prio=0 tid=0x00002ab80c003000 nid=0x96a0 waiting on condition [0x00002ab7ba3ab000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #324 daemon prio=10 os_prio=0 tid=0x00002ab7d0002000 nid=0x969c waiting on condition [0x00002ab7ba170000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #321 daemon prio=10 os_prio=0 tid=0x00002ab79c02b800 nid=0x9699 waiting on condition [0x00002ab7ba036000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #318 daemon prio=10 os_prio=0 tid=0x00002ab7dc001800 nid=0x9695 waiting on condition [0x00002ab7b9ffd000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #270 daemon prio=10 os_prio=0 tid=0x00002ab7c4004000 nid=0x9666 waiting on condition [0x00002ab7b9cc3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #269 daemon prio=10 os_prio=0 tid=0x00002ab82c001000 nid=0x9652 waiting on condition [0x00002ab7b9c8a000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #250 daemon prio=10 os_prio=0 tid=0x00002ab7fc001000 nid=0x9630 waiting on condition [0x00002ab7b9c51000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #170 daemon prio=10 os_prio=0 tid=0x00002ab7cc003000 nid=0x95c1 waiting on condition [0x00002ab737fe3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #26 daemon prio=10 os_prio=0 tid=0x00002ab794017800 nid=0x94f8 waiting on condition [0x00002ab737faa000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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" #22 daemon prio=10 os_prio=0 tid=0x00002ab790017000 nid=0x94f5 runnable [0x00002ab737f71000] 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=0x00002ab798017800 nid=0x94eb waiting on condition [0x00002ab737f38000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400489e8> (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=0x00002ab7a000b800 nid=0x94e9 runnable [0x00002ab7770d2000] 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 <0x00000006978e5d78> (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=0x00002ab7207e9000 nid=0x94e8 waiting on condition [0x00002ab776fd0000] java.lang.Thread.State: RUNNABLE at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) - locked <0x00000006bb79fde0> (a aprove.ProofTree.Obligations.JunctorObligationNode) at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:120) - locked <0x00000006c53acbe8> (a aprove.ProofTree.Obligations.BasicObligationNode) at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 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.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.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.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) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002ab72018f800 nid=0x94de runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002ab720184000 nid=0x94dd waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002ab720182800 nid=0x94dc runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002ab72017f800 nid=0x94db runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002ab72017e000 nid=0x94da waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002ab72014a000 nid=0x94d9 in Object.wait() [0x00002ab737cfd000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440076620> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000440076620> (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=0x00002ab720145800 nid=0x94d8 in Object.wait() [0x00002ab737bfc000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000044000f978> (a java.lang.ref.Reference$Lock) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x000000044000f978> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002ab720008800 nid=0x94d1 in Object.wait() [0x00002ab71b4e4000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440005ef8> (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 <0x0000000440005ef8> (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=0x00002ab72013e000 nid=0x94d7 runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002ab72001e000 nid=0x94d3 runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002ab72001f800 nid=0x94d4 runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002ab720021800 nid=0x94d5 runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002ab720023800 nid=0x94d6 runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002ab720192000 nid=0x94df waiting on condition JNI global references: 299 Heap PSYoungGen total 4281856K, used 1926197K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 3670528K, 52% used [0x0000000695580000,0x000000070aa15450,0x0000000775600000) from space 611328K, 0% used [0x000000079ab00000,0x000000079af78140,0x00000007c0000000) to space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) ParOldGen total 9786880K, used 24396K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 0% used [0x0000000440000000,0x00000004417d3028,0x0000000695580000) Metaspace used 22914K, capacity 23168K, committed 23424K, reserved 1071104K class space used 2549K, capacity 2618K, committed 2688K, reserved 1048576K