2019-05-11 07:22:54 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-794" #804 daemon prio=6 os_prio=0 tid=0x00002b7784005800 nid=0x1291 runnable [0x00002b7818a08000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-771" #803 daemon prio=6 os_prio=0 tid=0x00002b7784003800 nid=0x1290 runnable [0x00002b77369cb000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-793" #802 daemon prio=6 os_prio=0 tid=0x00002b7740184800 nid=0x128f runnable [0x00002b7783873000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-772" #801 daemon prio=6 os_prio=0 tid=0x00002b774175d800 nid=0x128e runnable [0x00002b778336e000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-792" #800 daemon prio=6 os_prio=0 tid=0x00002b77d4002000 nid=0x128d runnable [0x00002b7782c67000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-773" #799 daemon prio=6 os_prio=0 tid=0x00002b77d4001000 nid=0x128c runnable [0x00002b7781511000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-791" #798 daemon prio=6 os_prio=0 tid=0x00002b7744574800 nid=0x128b runnable [0x00002b7780b07000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-774" #797 daemon prio=6 os_prio=0 tid=0x00002b7744573800 nid=0x128a runnable [0x00002b77820b3000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-790" #796 daemon prio=6 os_prio=0 tid=0x00002b77fc004800 nid=0x1289 runnable [0x00002b7782863000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-776" #795 daemon prio=6 os_prio=0 tid=0x00002b77fc003800 nid=0x1288 runnable [0x00002b778245f000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-789" #794 daemon prio=6 os_prio=0 tid=0x00002b776c020000 nid=0x1287 runnable [0x00002b7818200000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-777" #793 daemon prio=6 os_prio=0 tid=0x00002b776c014800 nid=0x1286 runnable [0x00002b7783c77000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "ThreadPoolThread259" #792 daemon prio=6 os_prio=0 tid=0x00002b776000d800 nid=0x1285 runnable [0x00002b78180ff000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:224) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000069ba8c670> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TrackThreadPool.startTrackingMe(TrackThreadPool.java:25) at aprove.Strategies.Abortions.PooledJob.startExec(PooledJob.java:135) - locked <0x000000069ba8c650> (a aprove.Strategies.ExecutableStrategies.Executor$Runner) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:98) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Thread-788" #791 daemon prio=6 os_prio=0 tid=0x00002b7794002000 nid=0x1284 runnable [0x00002b7818604000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-779" #790 daemon prio=6 os_prio=0 tid=0x00002b7794001000 nid=0x1283 runnable [0x00002b7818301000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-787" #789 daemon prio=6 os_prio=0 tid=0x00002b77f8004800 nid=0x1282 runnable [0x00002b7818503000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-781" #788 daemon prio=6 os_prio=0 tid=0x00002b77f8003800 nid=0x1281 runnable [0x00002b7818402000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-786" #787 daemon prio=6 os_prio=0 tid=0x0000000000645000 nid=0x1280 runnable [0x00002b7780905000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-783" #786 daemon prio=6 os_prio=0 tid=0x0000000000644000 nid=0x127f runnable [0x00002b7818705000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-785" #785 daemon prio=6 os_prio=0 tid=0x00002b7774002000 nid=0x127e runnable [0x00002b7781410000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-748" #784 daemon prio=6 os_prio=0 tid=0x00002b7774001000 nid=0x127d runnable [0x00002b7818907000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-784" #783 daemon prio=6 os_prio=0 tid=0x00002b7810003000 nid=0x127c runnable [0x00002b7818806000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) "Thread-756" #770 daemon prio=6 os_prio=0 tid=0x00002b7814003000 nid=0x1266 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread258" #767 daemon prio=6 os_prio=0 tid=0x00002b776004c800 nid=0x1258 in Object.wait() [0x00002b778346f000] 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 <0x0000000755939760> (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) "ThreadPoolThread257" #763 daemon prio=6 os_prio=0 tid=0x00002b776004b800 nid=0x124a runnable [0x00002b7783d77000] 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.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) "ThreadPoolThread256" #762 daemon prio=6 os_prio=0 tid=0x00002b776004a800 nid=0x1249 in Object.wait() [0x00002b7783e78000] 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 <0x00000007317b94c0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread254" #760 daemon prio=6 os_prio=0 tid=0x00002b7760048000 nid=0x1247 in Object.wait() [0x00002b7783b76000] 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 <0x000000073209bcb8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.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) "ThreadPoolThread253" #759 daemon prio=6 os_prio=0 tid=0x00002b7760047000 nid=0x1246 runnable [0x00002b7783a75000] 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.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) "ThreadPoolThread252" #758 daemon prio=6 os_prio=0 tid=0x00002b7760046000 nid=0x1245 runnable [0x00002b7783974000] 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.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread251" #757 daemon prio=6 os_prio=0 tid=0x00002b7760045000 nid=0x1244 runnable [0x00002b7781caf000] 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.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) "ThreadPoolThread250" #756 daemon prio=6 os_prio=0 tid=0x00002b7760044000 nid=0x1242 runnable [0x00002b77368c9000] 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.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) "ThreadPoolThread249" #753 daemon prio=6 os_prio=0 tid=0x00002b7760043000 nid=0x123f runnable [0x00002b778255f000] 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.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread248" #752 daemon prio=6 os_prio=0 tid=0x00002b7760042000 nid=0x123e in Object.wait() [0x00002b7782661000] 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 <0x000000076255dcb8> (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) "ThreadPoolThread247" #751 daemon prio=6 os_prio=0 tid=0x00002b7760040800 nid=0x123d runnable [0x00002b778356f000] 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.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread246" #750 daemon prio=6 os_prio=0 tid=0x00002b776003f800 nid=0x123c runnable [0x00002b7781a15000] 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.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread245" #749 daemon prio=6 os_prio=0 tid=0x00002b776003e800 nid=0x123b runnable [0x00002b7781612000] java.lang.Thread.State: RUNNABLE at java.math.BigInteger.negate(BigInteger.java:2431) at java.math.BigInteger.abs(BigInteger.java:2422) 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) "ThreadPoolThread244" #748 daemon prio=6 os_prio=0 tid=0x00002b776003d800 nid=0x123a in Object.wait() [0x00002b7780804000] 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 <0x0000000743e4ebb8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread243" #747 daemon prio=6 os_prio=0 tid=0x00002b776003c800 nid=0x1239 in Object.wait() [0x00002b7780500000] 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 <0x000000073f1bfff8> (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) "ThreadPoolThread242" #721 daemon prio=6 os_prio=0 tid=0x00002b776003b800 nid=0x121c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread241" #720 daemon prio=6 os_prio=0 tid=0x00002b776003a800 nid=0x121b runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread240" #719 daemon prio=6 os_prio=0 tid=0x00002b7760039800 nid=0x121a runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread239" #718 daemon prio=6 os_prio=0 tid=0x00002b7760038800 nid=0x1219 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread238" #717 daemon prio=6 os_prio=0 tid=0x00002b7760037000 nid=0x1218 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread237" #716 daemon prio=6 os_prio=0 tid=0x00002b7760036000 nid=0x1217 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread236" #715 daemon prio=6 os_prio=0 tid=0x00002b7760035000 nid=0x1216 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread235" #714 daemon prio=6 os_prio=0 tid=0x00002b7760034000 nid=0x1215 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread234" #703 daemon prio=6 os_prio=0 tid=0x00002b7760027000 nid=0x1209 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread233" #702 daemon prio=6 os_prio=0 tid=0x00002b7760026000 nid=0x1208 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread232" #701 daemon prio=6 os_prio=0 tid=0x00002b7760025000 nid=0x1206 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread231" #700 daemon prio=6 os_prio=0 tid=0x00002b7760024000 nid=0x1204 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread230" #699 daemon prio=6 os_prio=0 tid=0x00002b7760023000 nid=0x1202 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread229" #696 daemon prio=6 os_prio=0 tid=0x00002b7760029800 nid=0x11f8 runnable [0x00002b7780e09000] 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) "ThreadPoolThread228" #695 daemon prio=6 os_prio=0 tid=0x00002b7760028800 nid=0x11f6 runnable [0x00002b7737f16000] java.lang.Thread.State: RUNNABLE at java.util.HashMap.resize(HashMap.java:703) at java.util.HashMap.putVal(HashMap.java:628) at java.util.HashMap.put(HashMap.java:611) at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:212) 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) "ThreadPoolThread227" #692 daemon prio=6 os_prio=0 tid=0x00002b7760028000 nid=0x11ef runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread225" #690 daemon prio=6 os_prio=0 tid=0x00002b776002b800 nid=0x11ec runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread224" #689 daemon prio=6 os_prio=0 tid=0x00002b7760030000 nid=0x11eb runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread222" #687 daemon prio=6 os_prio=0 tid=0x00002b776002e800 nid=0x11e9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread221" #686 daemon prio=6 os_prio=0 tid=0x00002b776001c000 nid=0x11e8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread220" #685 daemon prio=6 os_prio=0 tid=0x00002b776001b800 nid=0x11e7 in Object.wait() [0x00002b7781fb2000] 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 <0x00000006bbc04d58> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:254) at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:173) 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) "ThreadPoolThread219" #684 daemon prio=6 os_prio=0 tid=0x00002b7760014000 nid=0x11e6 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread218" #683 daemon prio=6 os_prio=0 tid=0x00002b7760013800 nid=0x11e5 runnable [0x00002b7781eb0000] 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.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) "ThreadPoolThread217" #682 daemon prio=6 os_prio=0 tid=0x00002b7760020800 nid=0x11e4 runnable [0x00002b7782963000] 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: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) "ThreadPoolThread216" #681 daemon prio=6 os_prio=0 tid=0x00002b776001a800 nid=0x11e3 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread214" #679 daemon prio=6 os_prio=0 tid=0x00002b7760017800 nid=0x11e1 in Object.wait() [0x00002b7737ddc000] 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 <0x00000007304350a0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread213" #678 daemon prio=6 os_prio=0 tid=0x00002b776001e000 nid=0x11df in Object.wait() [0x00002b7781b17000] 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 <0x00000007518f7958> (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) "ThreadPoolThread212" #665 daemon prio=6 os_prio=0 tid=0x00002b7760011800 nid=0x11d0 in Object.wait() [0x00002b7737cda000] 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 <0x000000073f2b7580> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.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) "ThreadPoolThread205" #642 daemon prio=6 os_prio=0 tid=0x00002b7760032000 nid=0x11ae in Object.wait() [0x00002b7782a64000] 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 <0x00000006b1aaf1d0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.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) "ThreadPoolThread204" #641 daemon prio=6 os_prio=0 tid=0x00002b776001f000 nid=0x11ad runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread203" #640 daemon prio=6 os_prio=0 tid=0x00002b776000f800 nid=0x11ac runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread186" #573 daemon prio=6 os_prio=0 tid=0x00002b7760031000 nid=0x1152 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread173" #536 daemon prio=6 os_prio=0 tid=0x00002b7760022800 nid=0x1123 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread162" #523 daemon prio=6 os_prio=0 tid=0x00002b776000f000 nid=0x110f runnable [0x00002b778120e000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap.newNode(LinkedHashMap.java:256) at java.util.HashMap.putVal(HashMap.java:630) at java.util.HashMap.put(HashMap.java:611) at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:683) at aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 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) "ThreadPoolThread154" #464 daemon prio=6 os_prio=0 tid=0x00002b7760033000 nid=0x10b8 runnable [0x00002b7780703000] java.lang.Thread.State: RUNNABLE at java.math.BigInteger.negate(BigInteger.java:2431) at java.math.BigInteger.abs(BigInteger.java:2422) 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) "ThreadPoolThread130" #427 daemon prio=6 os_prio=0 tid=0x00002b7760015800 nid=0x108c waiting on condition [0x00002b7780a06000] java.lang.Thread.State: RUNNABLE at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:52) 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) "ThreadPoolThread88" #305 daemon prio=6 os_prio=0 tid=0x00002b7760016800 nid=0xfe8 runnable [0x00002b778130e000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:198) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 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) "process reaper" #290 daemon prio=10 os_prio=0 tid=0x00002b775002e800 nid=0xfd4 waiting on condition [0x00002b778235e000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #287 daemon prio=10 os_prio=0 tid=0x00002b77d0003800 nid=0xfd1 waiting on condition [0x00002b7782325000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #282 daemon prio=10 os_prio=0 tid=0x00002b777000f800 nid=0xfcc runnable [0x00002b77822ec000] 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) "ThreadPoolThread81" #273 daemon prio=6 os_prio=0 tid=0x00002b7760018800 nid=0xfb9 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #249 daemon prio=10 os_prio=0 tid=0x00002b77d8001000 nid=0xf98 waiting on condition [0x00002b7781b89000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #246 daemon prio=10 os_prio=0 tid=0x00002b77d0004000 nid=0xf95 runnable [0x00002b7781b50000] 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" #134 daemon prio=10 os_prio=0 tid=0x00002b7778001000 nid=0xe52 waiting on condition [0x00002b7737ffa000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #131 daemon prio=10 os_prio=0 tid=0x00002b77b0001000 nid=0xe4f waiting on condition [0x00002b7737fc1000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #113 daemon prio=10 os_prio=0 tid=0x00002b776c018000 nid=0xe3b waiting on condition [0x00002b7737f88000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #48 daemon prio=10 os_prio=0 tid=0x00002b7770014800 nid=0xdda waiting on condition [0x00002b7737f4f000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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" #25 daemon prio=10 os_prio=0 tid=0x00002b7750019800 nid=0xdb9 waiting on condition [0x00002b7737e15000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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=0x00002b7758013800 nid=0xdae waiting on condition [0x00002b76f7fd3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400098e0> (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=0x00002b776000d000 nid=0xdac waiting on condition [0x00002b7736dcf000] java.lang.Thread.State: TIMED_WAITING (sleeping) at java.lang.Thread.sleep(Native Method) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b76e07d9800 nid=0xdab waiting on condition [0x00002b7736cce000] java.lang.Thread.State: WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x00000004400025d8> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b76e01a1800 nid=0xda1 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b76e0184000 nid=0xda0 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b76e0182000 nid=0xd9f waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b76e017f800 nid=0xd9e waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b76e017e000 nid=0xd9d waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b76e014a000 nid=0xd9c in Object.wait() [0x00002b76f7a95000] 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 <0x000000044012fcd0> (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=0x00002b76e0145800 nid=0xd9b in Object.wait() [0x00002b76f7994000] 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 <0x000000044012ff00> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002b76e0008800 nid=0xd94 in Object.wait() [0x00002b76db260000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440002bc8> (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 <0x0000000440002bc8> (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=0x00002b76e013e000 nid=0xd9a runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b76e001e000 nid=0xd96 runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b76e001f800 nid=0xd97 runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b76e0021800 nid=0xd98 runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b76e0023800 nid=0xd99 runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002b76e01b4000 nid=0xda2 waiting on condition JNI global references: 288 Heap PSYoungGen total 4870656K, used 448986K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 4845568K, 9% used [0x0000000695580000,0x00000006b0377f60,0x00000007bd180000) from space 25088K, 34% used [0x00000007be780000,0x00000007beffec90,0x00000007c0000000) to space 22528K, 0% used [0x00000007bd180000,0x00000007bd180000,0x00000007be780000) ParOldGen total 9786880K, used 24565K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 0% used [0x0000000440000000,0x00000004417fd450,0x0000000695580000) Metaspace used 23141K, capacity 23424K, committed 23680K, reserved 1071104K class space used 2562K, capacity 2652K, committed 2688K, reserved 1048576K