178.93/46.28 2019-03-28 22:49:14 178.93/46.28 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 178.93/46.28 178.93/46.28 "Thread-1225" #1244 daemon prio=6 os_prio=0 tid=0x00002b48b8004000 nid=0xd596 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 178.93/46.28 "Thread-1212" #1243 daemon prio=6 os_prio=0 tid=0x00002b48b8003000 nid=0xd594 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: TERMINATED 178.93/46.28 178.93/46.28 "ThreadPoolThread336" #1242 daemon prio=6 os_prio=0 tid=0x00002b4820018000 nid=0xd58e runnable [0x00002b48d0f0c000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread335" #1241 daemon prio=6 os_prio=0 tid=0x00002b482000f800 nid=0xd58d runnable [0x00002b47b7f40000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread334" #1240 daemon prio=6 os_prio=0 tid=0x00002b4820031800 nid=0xd58c runnable [0x00002b47f3f21000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread333" #1239 daemon prio=6 os_prio=0 tid=0x00002b4820016800 nid=0xd58b runnable [0x00002b48d0603000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread332" #1238 daemon prio=6 os_prio=0 tid=0x00002b4820027000 nid=0xd58a runnable [0x00002b47b72fd000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableMap.entrySet(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread331" #1237 daemon prio=6 os_prio=0 tid=0x00002b4820025000 nid=0xd589 runnable [0x00002b47b7d3f000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "Thread-1214" #1233 daemon prio=6 os_prio=0 tid=0x00002b4854005000 nid=0xd585 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: TERMINATED 178.93/46.28 178.93/46.28 "Thread-1202" #1228 daemon prio=6 os_prio=0 tid=0x00002b4854006000 nid=0xd57d runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: TERMINATED 178.93/46.28 178.93/46.28 "Thread-1207" #1223 daemon prio=6 os_prio=0 tid=0x00002b4858006800 nid=0xd578 runnable [0x00002b48d100e000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.io.FileInputStream.readBytes(Native Method) 178.93/46.28 at java.io.FileInputStream.read(FileInputStream.java:255) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000006f7031078> (a java.lang.UNIXProcess$ProcessPipeInputStream) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000007227a7c50> (a java.io.BufferedInputStream) 178.93/46.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 178.93/46.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 178.93/46.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 178.93/46.28 - locked <0x00000007227a9d10> (a java.io.InputStreamReader) 178.93/46.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 178.93/46.28 at java.io.Reader.read(Reader.java:100) 178.93/46.28 at java.util.Scanner.readInput(Scanner.java:804) 178.93/46.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 178.93/46.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 178.93/46.28 178.93/46.28 "Thread-1205" #1221 daemon prio=6 os_prio=0 tid=0x00002b4858007800 nid=0xd577 runnable [0x00002b48d0907000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.io.FileInputStream.readBytes(Native Method) 178.93/46.28 at java.io.FileInputStream.read(FileInputStream.java:255) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000006f702efb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x000000071a4bee40> (a java.io.BufferedInputStream) 178.93/46.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 178.93/46.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 178.93/46.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 178.93/46.28 - locked <0x000000071a4c0f00> (a java.io.InputStreamReader) 178.93/46.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 178.93/46.28 at java.io.Reader.read(Reader.java:100) 178.93/46.28 at java.util.Scanner.readInput(Scanner.java:804) 178.93/46.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 178.93/46.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 178.93/46.28 178.93/46.28 "Thread-1196" #1218 daemon prio=6 os_prio=0 tid=0x00002b4894003000 nid=0xd573 runnable [0x00002b48d110f000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.io.FileInputStream.readBytes(Native Method) 178.93/46.28 at java.io.FileInputStream.read(FileInputStream.java:255) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000006c6916930> (a java.lang.UNIXProcess$ProcessPipeInputStream) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x0000000706f7b5c8> (a java.io.BufferedInputStream) 178.93/46.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 178.93/46.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 178.93/46.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 178.93/46.28 - locked <0x0000000706f7d688> (a java.io.InputStreamReader) 178.93/46.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 178.93/46.28 at java.io.Reader.read(Reader.java:100) 178.93/46.28 at java.util.Scanner.readInput(Scanner.java:804) 178.93/46.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 178.93/46.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 178.93/46.28 178.93/46.28 "ThreadPoolThread325" #1215 daemon prio=6 os_prio=0 tid=0x00002b4820026000 nid=0xd56b runnable [0x00002b48d1310000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread322" #1212 daemon prio=6 os_prio=0 tid=0x00002b482002c800 nid=0xd567 in Object.wait() [0x00002b47b71fc000] 178.93/46.28 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.28 at java.lang.Object.wait(Native Method) 178.93/46.28 at java.lang.Object.wait(Object.java:502) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 178.93/46.28 - locked <0x00000006f98b93e0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread318" #1196 daemon prio=6 os_prio=0 tid=0x00002b4820017800 nid=0xd552 in Object.wait() [0x00002b47f3217000] 178.93/46.28 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.28 at java.lang.Object.wait(Native Method) 178.93/46.28 at java.lang.Object.wait(Object.java:502) 178.93/46.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 178.93/46.28 - locked <0x00000006f702ce90> (a java.lang.UNIXProcess) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread315" #1193 daemon prio=6 os_prio=0 tid=0x00002b4820035800 nid=0xd54f runnable [0x00002b47f30dd000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.start0(Native Method) 178.93/46.28 at java.lang.Thread.start(Thread.java:717) 178.93/46.28 - locked <0x00000006c691ad38> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "Thread-1159" #1179 daemon prio=6 os_prio=0 tid=0x00002b483c006800 nid=0xd53f runnable [0x00002b48d0402000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.io.FileInputStream.readBytes(Native Method) 178.93/46.28 at java.io.FileInputStream.read(FileInputStream.java:255) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000007bdf6a020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000007be0762a8> (a java.io.BufferedInputStream) 178.93/46.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 178.93/46.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 178.93/46.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 178.93/46.28 - locked <0x00000007be076330> (a java.io.InputStreamReader) 178.93/46.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 178.93/46.28 at java.io.Reader.read(Reader.java:100) 178.93/46.28 at java.util.Scanner.readInput(Scanner.java:804) 178.93/46.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 178.93/46.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 178.93/46.28 178.93/46.28 "Thread-1158" #1178 daemon prio=6 os_prio=0 tid=0x00002b483c001800 nid=0xd53c runnable [0x00002b47b7801000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.io.FileInputStream.readBytes(Native Method) 178.93/46.28 at java.io.FileInputStream.read(FileInputStream.java:255) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000007bdf65fe0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 178.93/46.28 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 178.93/46.28 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 178.93/46.28 - locked <0x00000007be07c1f0> (a java.io.BufferedInputStream) 178.93/46.28 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 178.93/46.28 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 178.93/46.28 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 178.93/46.28 - locked <0x00000007be07c278> (a java.io.InputStreamReader) 178.93/46.28 at java.io.InputStreamReader.read(InputStreamReader.java:184) 178.93/46.28 at java.io.Reader.read(Reader.java:100) 178.93/46.28 at java.util.Scanner.readInput(Scanner.java:804) 178.93/46.28 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 178.93/46.28 at java.util.Scanner.hasNextLine(Scanner.java:1500) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 178.93/46.28 178.93/46.28 "ThreadPoolThread306" #1176 daemon prio=6 os_prio=0 tid=0x00002b4820033800 nid=0xd53a runnable [0x00002b47f2928000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.Objects.hashCode(Objects.java:98) 178.93/46.28 at java.util.HashMap$Node.hashCode(HashMap.java:296) 178.93/46.28 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 178.93/46.28 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) 178.93/46.28 at java.util.HashMap.hash(HashMap.java:338) 178.93/46.28 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:612) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:532) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:360) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToPolynomialConstraints(ToolBox.java:71) 178.93/46.28 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMTTheoryAtoms(ToolBox.java:321) 178.93/46.28 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:146) 178.93/46.28 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 178.93/46.28 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 178.93/46.28 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread305" #1169 daemon prio=6 os_prio=0 tid=0x00002b482002a000 nid=0xd530 runnable [0x00002b48d0d0a000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread301" #1133 daemon prio=6 os_prio=0 tid=0x00002b482001f800 nid=0xd4fb runnable [0x00002b47f2a2b000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.Thread.setPriority0(Native Method) 178.93/46.28 at java.lang.Thread.setPriority(Thread.java:1095) 178.93/46.28 at java.lang.Thread.init(Thread.java:417) 178.93/46.28 at java.lang.Thread.init(Thread.java:349) 178.93/46.28 at java.lang.Thread.(Thread.java:448) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread299" #1131 daemon prio=6 os_prio=0 tid=0x00002b482000e800 nid=0xd4f9 runnable [0x00002b47f3b1d000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread277" #1055 daemon prio=6 os_prio=0 tid=0x00002b4820013800 nid=0xd485 runnable [0x00002b47f2da0000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.equals(SimplePolynomial.java:1881) 178.93/46.28 at java.util.LinkedHashMap.containsValue(LinkedHashMap.java:417) 178.93/46.28 at java.util.LinkedHashMap$LinkedValues.contains(LinkedHashMap.java:598) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:169) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread271" #1035 daemon prio=6 os_prio=0 tid=0x00002b482001b000 nid=0xd451 in Object.wait() [0x00002b48d00fe000] 178.93/46.28 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.28 at java.lang.Object.wait(Native Method) 178.93/46.28 at java.lang.Object.wait(Object.java:502) 178.93/46.28 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 178.93/46.28 - locked <0x00000007bdf63f40> (a java.lang.UNIXProcess) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 178.93/46.28 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 178.93/46.28 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread266" #1016 daemon prio=6 os_prio=0 tid=0x00002b4820016000 nid=0xd425 runnable [0x00002b48d120f000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.HashMap.hash(HashMap.java:338) 178.93/46.28 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 178.93/46.28 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.getNumericalAddend(SimplePolynomial.java:893) 178.93/46.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread260" #996 daemon prio=6 os_prio=0 tid=0x00002b4820023000 nid=0xd3f9 runnable [0x00002b48d0805000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread234" #926 daemon prio=6 os_prio=0 tid=0x00002b482001d000 nid=0xd35b runnable [0x00002b47b63b8000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread225" #873 daemon prio=6 os_prio=0 tid=0x00002b4820019000 nid=0xd2dc runnable [0x00002b47b5eb3000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.Objects.hashCode(Objects.java:98) 178.93/46.28 at java.util.HashMap$Node.hashCode(HashMap.java:296) 178.93/46.28 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 178.93/46.28 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.computeHashValue(IndefinitePart.java:1160) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.hashCode(IndefinitePart.java:1155) 178.93/46.28 at java.util.HashMap.hash(HashMap.java:338) 178.93/46.28 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:612) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread216" #840 daemon prio=6 os_prio=0 tid=0x00002b482000e000 nid=0xd29d runnable [0x00002b47f2ea1000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.math.MutableBigInteger.hybridGCD(MutableBigInteger.java:1880) 178.93/46.28 at java.math.BigInteger.gcd(BigInteger.java:2340) 178.93/46.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:58) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread203" #775 daemon prio=6 os_prio=0 tid=0x00002b482002f800 nid=0xd20f runnable [0x00002b47f2fa2000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.HashMap.hash(HashMap.java:338) 178.93/46.28 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 178.93/46.28 at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.getConstantPart(VarPolynomial.java:1013) 178.93/46.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread164" #604 daemon prio=6 os_prio=0 tid=0x00002b4820014800 nid=0xcffb runnable [0x00002b48d1411000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.HashMap.putVal(HashMap.java:628) 178.93/46.28 at java.util.HashMap.put(HashMap.java:611) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:212) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread136" #514 daemon prio=6 os_prio=0 tid=0x00002b4820011800 nid=0xceaa runnable [0x00002b47b7c3d000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.util.HashMap.hash(HashMap.java:338) 178.93/46.28 at java.util.HashMap.put(HashMap.java:611) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:683) 178.93/46.28 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "ThreadPoolThread114" #446 daemon prio=6 os_prio=0 tid=0x00002b482001e000 nid=0xcdff runnable [0x00002b47f2c9f000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:481) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 178.93/46.28 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 178.93/46.28 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 178.93/46.28 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 178.93/46.28 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #153 daemon prio=10 os_prio=0 tid=0x00002b485c003000 nid=0xca6b runnable [0x00002b47f3116000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #150 daemon prio=10 os_prio=0 tid=0x00002b4858004800 nid=0xca68 runnable [0x00002b47f2fdc000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002b4854001000 nid=0xc9ef runnable [0x00002b47f2b9f000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #103 daemon prio=10 os_prio=0 tid=0x00002b4860001000 nid=0xc9ea runnable [0x00002b47f2a65000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #100 daemon prio=10 os_prio=0 tid=0x00002b4840005800 nid=0xc9e4 runnable [0x00002b47b7fec000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #97 daemon prio=10 os_prio=0 tid=0x00002b4858001000 nid=0xc9dd waiting on condition [0x00002b47b7fb3000] 178.93/46.28 java.lang.Thread.State: TIMED_WAITING (parking) 178.93/46.28 at sun.misc.Unsafe.park(Native Method) 178.93/46.28 - parking to wait for <0x0000000440003e50> (a java.util.concurrent.SynchronousQueue$TransferStack) 178.93/46.28 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 178.93/46.28 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b4850001000 nid=0xc9d5 runnable [0x00002b47b7f7a000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #62 daemon prio=10 os_prio=0 tid=0x00002b481c011800 nid=0xc973 waiting on condition [0x00002b47b793b000] 178.93/46.28 java.lang.Thread.State: TIMED_WAITING (parking) 178.93/46.28 at sun.misc.Unsafe.park(Native Method) 178.93/46.28 - parking to wait for <0x0000000440003e50> (a java.util.concurrent.SynchronousQueue$TransferStack) 178.93/46.28 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 178.93/46.28 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002b4810014800 nid=0xc922 runnable [0x00002b47b70fc000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 178.93/46.28 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 178.93/46.28 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b4818013800 nid=0xc919 waiting on condition [0x00002b47affe8000] 178.93/46.28 java.lang.Thread.State: TIMED_WAITING (parking) 178.93/46.28 at sun.misc.Unsafe.park(Native Method) 178.93/46.28 - parking to wait for <0x0000000440003e50> (a java.util.concurrent.SynchronousQueue$TransferStack) 178.93/46.28 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 178.93/46.28 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 178.93/46.28 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 178.93/46.28 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b482000d000 nid=0xc915 runnable [0x00002b47b62b8000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 178.93/46.28 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 178.93/46.28 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 178.93/46.28 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 178.93/46.28 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 178.93/46.28 - locked <0x00000007bdf60fa0> (a aprove.Strategies.Abortions.TrackThreadPool) 178.93/46.28 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 178.93/46.28 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 178.93/46.28 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 178.93/46.28 178.93/46.28 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b47987d9000 nid=0xc914 waiting on condition [0x00002b47b61b7000] 178.93/46.28 java.lang.Thread.State: WAITING (parking) 178.93/46.28 at sun.misc.Unsafe.park(Native Method) 178.93/46.28 - parking to wait for <0x000000044000e878> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 178.93/46.28 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 178.93/46.28 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 178.93/46.28 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 178.93/46.28 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 178.93/46.28 at java.lang.Thread.run(Thread.java:748) 178.93/46.28 178.93/46.28 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b47981a1800 nid=0xc8c9 runnable [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 178.93/46.28 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b4798184000 nid=0xc8c8 waiting on condition [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 178.93/46.28 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b4798182800 nid=0xc8c7 waiting on condition [0x0000000000000000] 178.93/46.28 java.lang.Thread.State: RUNNABLE 178.93/46.28 178.93/46.28 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b479817f800 nid=0xc8c6 runnable [0x0000000000000000] 178.93/46.30 java.lang.Thread.State: RUNNABLE 178.93/46.30 178.93/46.30 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b479817e000 nid=0xc8c5 waiting on condition [0x0000000000000000] 178.93/46.30 java.lang.Thread.State: RUNNABLE 178.93/46.30 178.93/46.30 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b479814a000 nid=0xc8c2 in Object.wait() [0x00002b47b550b000] 178.93/46.30 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.30 at java.lang.Object.wait(Native Method) 178.93/46.30 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 178.93/46.30 - locked <0x0000000440012ac0> (a java.lang.ref.ReferenceQueue$Lock) 178.93/46.30 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 178.93/46.30 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 178.93/46.30 178.93/46.30 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b4798145800 nid=0xc8c1 in Object.wait() [0x00002b47b540a000] 178.93/46.30 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.30 at java.lang.Object.wait(Native Method) 178.93/46.30 at java.lang.Object.wait(Object.java:502) 178.93/46.30 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 178.93/46.30 - locked <0x0000000440012cf0> (a java.lang.ref.Reference$Lock) 178.93/46.30 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 178.93/46.30 178.93/46.30 "main" #1 prio=5 os_prio=0 tid=0x00002b4798008800 nid=0xc8b7 in Object.wait() [0x00002b4794ca4000] 178.93/46.30 java.lang.Thread.State: WAITING (on object monitor) 178.93/46.30 at java.lang.Object.wait(Native Method) 178.93/46.30 - waiting on <0x0000000440017548> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 178.93/46.30 at java.lang.Object.wait(Object.java:502) 178.93/46.30 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 178.93/46.30 - locked <0x0000000440017548> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 178.93/46.30 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 178.93/46.30 at aprove.Runtime.AProVE.run(AProVE.java:101) 178.93/46.30 at aprove.CommandLineInterface.Main.run(Main.java:94) 178.93/46.30 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 178.93/46.30 at aprove.Main.doMain(Main.java:54) 178.93/46.30 at aprove.Main.main(Main.java:20) 178.93/46.30 178.93/46.30 "VM Thread" os_prio=0 tid=0x00002b479813e000 nid=0xc8c0 runnable 178.93/46.30 178.93/46.30 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b479801e000 nid=0xc8b9 runnable 178.93/46.30 178.93/46.30 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b479801f800 nid=0xc8ba runnable 178.93/46.30 178.93/46.30 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b4798021800 nid=0xc8bb runnable 178.93/46.30 178.93/46.30 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b4798023800 nid=0xc8bc runnable 178.93/46.30 178.93/46.30 "VM Periodic Task Thread" os_prio=0 tid=0x00002b47981ac000 nid=0xc8cd waiting on condition 178.93/46.30 178.93/46.30 JNI global references: 286 178.93/46.30 178.93/46.30 Heap 178.93/46.30 PSYoungGen total 4873728K, used 4579726K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 178.93/46.30 eden space 4858368K, 93% used [0x0000000695580000,0x00000007abf04d38,0x00000007bde00000) 178.93/46.30 from space 15360K, 99% used [0x00000007bde00000,0x00000007becdeb98,0x00000007bed00000) 178.93/46.30 to space 18944K, 0% used [0x00000007bed80000,0x00000007bed80000,0x00000007c0000000) 178.93/46.30 ParOldGen total 9786880K, used 25606K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 178.93/46.30 object space 9786880K, 0% used [0x0000000440000000,0x00000004419018f0,0x0000000695580000) 178.93/46.30 Metaspace used 23392K, capacity 23710K, committed 23936K, reserved 1071104K 178.93/46.30 class space used 2562K, capacity 2683K, committed 2688K, reserved 1048576K 178.93/46.30 218.29/56.34 EOF