40.07/11.23 2019-03-28 22:47:10 40.07/11.23 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 40.07/11.23 40.07/11.23 "Thread-556" #566 daemon prio=6 os_prio=0 tid=0x00002b57ac009000 nid=0xf884 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 40.07/11.23 "Thread-552" #565 daemon prio=6 os_prio=0 tid=0x00002b57ac00b000 nid=0xf883 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-555" #564 daemon prio=6 os_prio=0 tid=0x00002b5774004000 nid=0xf881 runnable [0x00002b56e2eaa000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 40.07/11.23 40.07/11.23 "Thread-523" #563 daemon prio=6 os_prio=0 tid=0x00002b5774005000 nid=0xf880 runnable [0x00002b5788301000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:95) 40.07/11.23 40.07/11.23 "Thread-535" #561 daemon prio=6 os_prio=0 tid=0x00002b57dc002000 nid=0xf87e runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-553" #560 daemon prio=6 os_prio=0 tid=0x00002b57ec004000 nid=0xf87d runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-537" #559 daemon prio=6 os_prio=0 tid=0x00002b57ec002000 nid=0xf87c runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "Thread-550" #556 daemon prio=6 os_prio=0 tid=0x00002b57a8004000 nid=0xf878 runnable [0x00002b5789815000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b17cca18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006bc8a8080> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006bc8aa140> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-539" #555 daemon prio=6 os_prio=0 tid=0x00002b57a8001000 nid=0xf877 runnable [0x00002b56e2d70000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b17ca958> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006bbeea048> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006bbeec108> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-536" #554 daemon prio=6 os_prio=0 tid=0x00002b57380c6000 nid=0xf871 runnable [0x00002b56e21f7000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000007759990b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b9b752f8> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006b9b773b8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-453" #519 daemon prio=6 os_prio=0 tid=0x00002b57380c5800 nid=0xf865 runnable [0x00002b571fd3d000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775997020> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006b6911b80> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006b6913c40> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "ThreadPoolThread174" #553 daemon prio=6 os_prio=0 tid=0x00002b5748057800 nid=0xf861 runnable [0x00002b571ec2d000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread173" #552 daemon prio=6 os_prio=0 tid=0x00002b5748056800 nid=0xf860 runnable [0x00002b571ee2f000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.equals(SimplePolynomial.java:1881) 40.07/11.23 at java.util.LinkedHashMap.containsValue(LinkedHashMap.java:417) 40.07/11.23 at java.util.LinkedHashMap$LinkedValues.contains(LinkedHashMap.java:598) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.create(VarPolynomial.java:169) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:695) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread172" #551 daemon prio=6 os_prio=0 tid=0x00002b574802d800 nid=0xf85f runnable [0x00002b5788805000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread171" #550 daemon prio=6 os_prio=0 tid=0x00002b574802c000 nid=0xf85e runnable [0x00002b5788f0c000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread169" #548 daemon prio=6 os_prio=0 tid=0x00002b5748014000 nid=0xf85c waiting on condition [0x00002b5788a08000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 40.07/11.23 - locked <0x000000069a6d9440> (a aprove.Strategies.Abortions.Clock) 40.07/11.23 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 40.07/11.23 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 40.07/11.23 at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread168" #547 daemon prio=6 os_prio=0 tid=0x00002b5748013800 nid=0xf85b runnable [0x00002b571f536000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread167" #546 daemon prio=6 os_prio=0 tid=0x00002b574801e800 nid=0xf85a runnable [0x00002b571f436000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 40.07/11.23 at aprove.Framework.IntTRS.Ranking.GEConstraint.(GEConstraint.java:42) 40.07/11.23 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:81) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread166" #545 daemon prio=6 os_prio=0 tid=0x00002b574801e000 nid=0xf859 runnable [0x00002b5788c08000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:678) 40.07/11.23 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 40.07/11.23 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 40.07/11.23 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 40.07/11.23 at java.security.AccessController.doPrivileged(Native Method) 40.07/11.23 at java.lang.UNIXProcess.(UNIXProcess.java:257) 40.07/11.23 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 40.07/11.23 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread165" #544 daemon prio=6 os_prio=0 tid=0x00002b5748020800 nid=0xf858 runnable [0x00002b56e3cb7000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "Thread-525" #543 daemon prio=6 os_prio=0 tid=0x00002b57f0002000 nid=0xf857 runnable [0x00002b56e2932000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x000000069e614e20> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006a77b3cf0> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006a77b5db0> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-515" #542 daemon prio=6 os_prio=0 tid=0x00002b57f0001000 nid=0xf856 runnable [0x00002b571f233000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x000000069e612d60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000006a750c128> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000006a750e1e8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "ThreadPoolThread164" #528 daemon prio=6 os_prio=0 tid=0x00002b5748023800 nid=0xf843 runnable [0x00002b56e39b3000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:678) 40.07/11.23 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 40.07/11.23 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 40.07/11.23 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 40.07/11.23 at java.security.AccessController.doPrivileged(Native Method) 40.07/11.23 at java.lang.UNIXProcess.(UNIXProcess.java:257) 40.07/11.23 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 40.07/11.23 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread163" #527 daemon prio=6 os_prio=0 tid=0x00002b574802f000 nid=0xf842 runnable [0x00002b56e10ac000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:678) 40.07/11.23 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 40.07/11.23 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 40.07/11.23 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 40.07/11.23 at java.security.AccessController.doPrivileged(Native Method) 40.07/11.23 at java.lang.UNIXProcess.(UNIXProcess.java:257) 40.07/11.23 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 40.07/11.23 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread162" #526 daemon prio=6 os_prio=0 tid=0x00002b574800e000 nid=0xf841 runnable [0x00002b5789916000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Object.getClass(Native Method) 40.07/11.23 at aprove.Strategies.Abortions.TrackProcessOnLinux.grabUnixPidThroughBlackMagic(TrackProcessOnLinux.java:89) 40.07/11.23 at aprove.Strategies.Abortions.TrackProcessOnLinux.(TrackProcessOnLinux.java:26) 40.07/11.23 at aprove.Strategies.Abortions.TrackProcess.create(TrackProcess.java:26) 40.07/11.23 at aprove.Strategies.Abortions.TrackerFactory.process(TrackerFactory.java:38) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:48) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread161" #525 daemon prio=6 os_prio=0 tid=0x00002b5748030800 nid=0xf840 runnable [0x00002b56e2b34000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread160" #524 daemon prio=6 os_prio=0 tid=0x00002b5748034000 nid=0xf83f runnable [0x00002b578900d000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 40.07/11.23 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread156" #511 daemon prio=6 os_prio=0 tid=0x00002b5748054800 nid=0xf832 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread155" #510 daemon prio=6 os_prio=0 tid=0x00002b5748052800 nid=0xf831 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread154" #509 daemon prio=6 os_prio=0 tid=0x00002b5748050800 nid=0xf830 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread153" #508 daemon prio=6 os_prio=0 tid=0x00002b574804e800 nid=0xf82f runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread152" #507 daemon prio=6 os_prio=0 tid=0x00002b574804c800 nid=0xf82e runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread151" #506 daemon prio=6 os_prio=0 tid=0x00002b574804a800 nid=0xf82d runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread150" #490 daemon prio=6 os_prio=0 tid=0x00002b5748048800 nid=0xf810 runnable [0x00002b5788704000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread148" #488 daemon prio=6 os_prio=0 tid=0x00002b5748044800 nid=0xf80e runnable [0x00002b5788502000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:603) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread144" #484 daemon prio=6 os_prio=0 tid=0x00002b574803d000 nid=0xf80a runnable [0x00002b57880fe000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:448) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread143" #483 daemon prio=6 os_prio=0 tid=0x00002b574803b000 nid=0xf809 runnable [0x00002b571ff3d000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.Thread.setPriority0(Native Method) 40.07/11.23 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.23 at java.lang.Thread.init(Thread.java:417) 40.07/11.23 at java.lang.Thread.init(Thread.java:349) 40.07/11.23 at java.lang.Thread.(Thread.java:678) 40.07/11.23 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$10/973783859.newThread(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 40.07/11.23 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 40.07/11.23 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$11/1064833834.run(Unknown Source) 40.07/11.23 at java.security.AccessController.doPrivileged(Native Method) 40.07/11.23 at java.lang.UNIXProcess.(UNIXProcess.java:257) 40.07/11.23 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 40.07/11.23 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 40.07/11.23 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread140" #480 daemon prio=6 os_prio=0 tid=0x00002b5748036000 nid=0xf806 in Object.wait() [0x00002b571fc3c000] 40.07/11.23 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.23 at java.lang.Object.wait(Native Method) 40.07/11.23 - waiting on <0x00000006b17c8830> (a java.lang.UNIXProcess) 40.07/11.23 at java.lang.Object.wait(Object.java:502) 40.07/11.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 40.07/11.23 - locked <0x00000006b17c8830> (a java.lang.UNIXProcess) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "Thread-452" #463 daemon prio=6 os_prio=0 tid=0x00002b57f0004000 nid=0xf7f2 runnable [0x00002b571f031000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775786828> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775889770> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000007758897f8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-450" #462 daemon prio=6 os_prio=0 tid=0x00002b57f0003000 nid=0xf7f0 runnable [0x00002b56e31ac000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775784790> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775897020> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000007758970a8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "ThreadPoolThread128" #449 daemon prio=6 os_prio=0 tid=0x00002b5748027000 nid=0xf7d7 in Object.wait() [0x00002b571e82a000] 40.07/11.23 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.23 at java.lang.Object.wait(Native Method) 40.07/11.23 - waiting on <0x000000069e610c38> (a java.lang.UNIXProcess) 40.07/11.23 at java.lang.Object.wait(Object.java:502) 40.07/11.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 40.07/11.23 - locked <0x000000069e610c38> (a java.lang.UNIXProcess) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread127" #448 daemon prio=6 os_prio=0 tid=0x00002b574801f800 nid=0xf7d6 runnable [0x0000000000000000] 40.07/11.23 java.lang.Thread.State: TERMINATED 40.07/11.23 40.07/11.23 "ThreadPoolThread126" #447 daemon prio=6 os_prio=0 tid=0x00002b5748016800 nid=0xf7d5 runnable [0x00002b571e627000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 40.07/11.23 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread123" #425 daemon prio=6 os_prio=0 tid=0x00002b574800e800 nid=0xf7b4 in Object.wait() [0x00002b56e15b3000] 40.07/11.23 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.23 at java.lang.Object.wait(Native Method) 40.07/11.23 - waiting on <0x00000007757826f0> (a java.lang.UNIXProcess) 40.07/11.23 at java.lang.Object.wait(Object.java:502) 40.07/11.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 40.07/11.23 - locked <0x00000007757826f0> (a java.lang.UNIXProcess) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 40.07/11.23 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread121" #413 daemon prio=6 os_prio=0 tid=0x00002b5748021800 nid=0xf7a3 runnable [0x00002b56e35b0000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.util.HashMap.hash(HashMap.java:338) 40.07/11.23 at java.util.HashMap.put(HashMap.java:611) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:485) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread116" #408 daemon prio=6 os_prio=0 tid=0x00002b5748024800 nid=0xf79e runnable [0x00002b56e37b2000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:216) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 40.07/11.23 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 40.07/11.23 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread107" #377 daemon prio=6 os_prio=0 tid=0x00002b5748022800 nid=0xf770 runnable [0x00002b571ea2b000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.UNIXProcess.forkAndExec(Native Method) 40.07/11.23 at java.lang.UNIXProcess.(UNIXProcess.java:247) 40.07/11.23 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 40.07/11.23 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "Thread-315" #335 daemon prio=6 os_prio=0 tid=0x00002b57bc003000 nid=0xf6f1 runnable [0x00002b571f132000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000007757c3260> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775970f60> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x0000000775970fe8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "Thread-314" #334 daemon prio=6 os_prio=0 tid=0x00002b57bc001000 nid=0xf6ef runnable [0x00002b56e32ad000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.io.FileInputStream.readBytes(Native Method) 40.07/11.23 at java.io.FileInputStream.read(FileInputStream.java:255) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x00000007757c11c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 40.07/11.23 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 40.07/11.23 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 40.07/11.23 - locked <0x0000000775977020> (a java.io.BufferedInputStream) 40.07/11.23 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 40.07/11.23 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 40.07/11.23 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 40.07/11.23 - locked <0x00000007759770a8> (a java.io.InputStreamReader) 40.07/11.23 at java.io.InputStreamReader.read(InputStreamReader.java:184) 40.07/11.23 at java.io.Reader.read(Reader.java:100) 40.07/11.23 at java.util.Scanner.readInput(Scanner.java:804) 40.07/11.23 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 40.07/11.23 at java.util.Scanner.hasNextLine(Scanner.java:1500) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 40.07/11.23 40.07/11.23 "process reaper" #327 daemon prio=10 os_prio=0 tid=0x00002b5754024800 nid=0xf6e1 runnable [0x00002b56e3623000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 40.07/11.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "process reaper" #324 daemon prio=10 os_prio=0 tid=0x00002b5774001000 nid=0xf6de waiting on condition [0x00002b56e35ea000] 40.07/11.23 java.lang.Thread.State: TIMED_WAITING (parking) 40.07/11.23 at sun.misc.Unsafe.park(Native Method) 40.07/11.23 - parking to wait for <0x000000044000b0c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 40.07/11.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 40.07/11.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "process reaper" #321 daemon prio=10 os_prio=0 tid=0x00002b57ec001000 nid=0xf6da runnable [0x00002b56e22db000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 40.07/11.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "process reaper" #318 daemon prio=10 os_prio=0 tid=0x00002b57d4001000 nid=0xf6d7 waiting on condition [0x00002b56e22a2000] 40.07/11.23 java.lang.Thread.State: TIMED_WAITING (parking) 40.07/11.23 at sun.misc.Unsafe.park(Native Method) 40.07/11.23 - parking to wait for <0x000000044000b0c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 40.07/11.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 40.07/11.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "process reaper" #315 daemon prio=10 os_prio=0 tid=0x00002b57b0002000 nid=0xf6d0 waiting on condition [0x00002b56e2269000] 40.07/11.23 java.lang.Thread.State: TIMED_WAITING (parking) 40.07/11.23 at sun.misc.Unsafe.park(Native Method) 40.07/11.23 - parking to wait for <0x000000044000b0c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 40.07/11.23 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 40.07/11.23 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 40.07/11.23 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread93" #314 daemon prio=6 os_prio=0 tid=0x00002b5748018000 nid=0xf6cf in Object.wait() [0x00002b571eb2d000] 40.07/11.23 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.23 at java.lang.Object.wait(Native Method) 40.07/11.23 - waiting on <0x00000006a32f21b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 40.07/11.23 at java.lang.Object.wait(Object.java:502) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 40.07/11.23 - locked <0x00000006a32f21b0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.isUseless(InductiveConditionFinder.java:267) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.computeInductiveCondition(InductiveConditionFinder.java:200) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:137) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 40.07/11.23 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "process reaper" #309 daemon prio=10 os_prio=0 tid=0x00002b57ac00a000 nid=0xf6c8 runnable [0x00002b56e2230000] 40.07/11.23 java.lang.Thread.State: RUNNABLE 40.07/11.23 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 40.07/11.23 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 40.07/11.23 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 40.07/11.23 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.23 40.07/11.23 "ThreadPoolThread90" #306 daemon prio=6 os_prio=0 tid=0x00002b574801a000 nid=0xf6c1 in Object.wait() [0x00002b56e2a34000] 40.07/11.23 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.23 at java.lang.Object.wait(Native Method) 40.07/11.23 - waiting on <0x00000007757bf128> (a java.lang.UNIXProcess) 40.07/11.23 at java.lang.Object.wait(Object.java:502) 40.07/11.23 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 40.07/11.23 - locked <0x00000007757bf128> (a java.lang.UNIXProcess) 40.07/11.23 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 40.07/11.23 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.23 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.23 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.23 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.23 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "ThreadPoolThread78" #288 daemon prio=6 os_prio=0 tid=0x00002b5748011800 nid=0xf674 in Object.wait() [0x00002b56e0fad000] 40.07/11.24 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.24 at java.lang.Object.wait(Native Method) 40.07/11.24 - waiting on <0x0000000775994640> (a java.lang.UNIXProcess) 40.07/11.24 at java.lang.Object.wait(Object.java:502) 40.07/11.24 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 40.07/11.24 - locked <0x0000000775994640> (a java.lang.UNIXProcess) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 40.07/11.24 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.24 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "ThreadPoolThread77" #277 daemon prio=6 os_prio=0 tid=0x00002b5748015800 nid=0xf63e runnable [0x00002b56e30ab000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 at java.lang.Thread.setPriority0(Native Method) 40.07/11.24 at java.lang.Thread.setPriority(Thread.java:1095) 40.07/11.24 at java.lang.Thread.init(Thread.java:417) 40.07/11.24 at java.lang.Thread.init(Thread.java:349) 40.07/11.24 at java.lang.Thread.(Thread.java:448) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 40.07/11.24 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 40.07/11.24 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 40.07/11.24 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 40.07/11.24 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "process reaper" #57 daemon prio=10 os_prio=0 tid=0x00002b574400f000 nid=0xf515 waiting on condition [0x00002b56e2da9000] 40.07/11.24 java.lang.Thread.State: TIMED_WAITING (parking) 40.07/11.24 at sun.misc.Unsafe.park(Native Method) 40.07/11.24 - parking to wait for <0x000000044000b0c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 40.07/11.24 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 40.07/11.24 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 40.07/11.24 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 40.07/11.24 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "process reaper" #54 daemon prio=10 os_prio=0 tid=0x00002b576c001800 nid=0xf50e waiting on condition [0x00002b56e2b6e000] 40.07/11.24 java.lang.Thread.State: TIMED_WAITING (parking) 40.07/11.24 at sun.misc.Unsafe.park(Native Method) 40.07/11.24 - parking to wait for <0x000000044000b0c0> (a java.util.concurrent.SynchronousQueue$TransferStack) 40.07/11.24 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 40.07/11.24 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 40.07/11.24 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 40.07/11.24 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "process reaper" #25 daemon prio=10 os_prio=0 tid=0x00002b5738024000 nid=0xf4e1 runnable [0x00002b56e2331000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 40.07/11.24 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 40.07/11.24 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b5740011800 nid=0xf4d7 runnable [0x00002b56e20f6000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 40.07/11.24 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 40.07/11.24 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 40.07/11.24 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b574800d000 nid=0xf4d5 waiting on condition [0x00002b56e14b2000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:76) 40.07/11.24 - locked <0x000000077570a5c8> (a aprove.Strategies.Abortions.Clock) 40.07/11.24 at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) 40.07/11.24 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) 40.07/11.24 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 40.07/11.24 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 40.07/11.24 40.07/11.24 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b56c47f8800 nid=0xf4d4 waiting on condition [0x00002b56e13b1000] 40.07/11.24 java.lang.Thread.State: WAITING (parking) 40.07/11.24 at sun.misc.Unsafe.park(Native Method) 40.07/11.24 - parking to wait for <0x000000044000b500> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 40.07/11.24 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 40.07/11.24 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 40.07/11.24 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 40.07/11.24 at java.lang.Thread.run(Thread.java:748) 40.07/11.24 40.07/11.24 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b56c41a1800 nid=0xf4ca runnable [0x0000000000000000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 40.07/11.24 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b56c4184000 nid=0xf4c9 waiting on condition [0x0000000000000000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 40.07/11.24 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b56c4182800 nid=0xf4c8 waiting on condition [0x0000000000000000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 40.07/11.24 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b56c417f800 nid=0xf4c7 waiting on condition [0x0000000000000000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 40.07/11.24 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b56c417e000 nid=0xf4c6 waiting on condition [0x0000000000000000] 40.07/11.24 java.lang.Thread.State: RUNNABLE 40.07/11.24 40.07/11.24 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b56c414a000 nid=0xf4c5 in Object.wait() [0x00002b56e0705000] 40.07/11.24 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.24 at java.lang.Object.wait(Native Method) 40.07/11.24 - waiting on <0x0000000440021550> (a java.lang.ref.ReferenceQueue$Lock) 40.07/11.24 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 40.07/11.24 - locked <0x0000000440021550> (a java.lang.ref.ReferenceQueue$Lock) 40.07/11.24 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 40.07/11.24 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 40.07/11.24 40.07/11.24 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b56c4145800 nid=0xf4c4 in Object.wait() [0x00002b56e0604000] 40.07/11.24 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.24 at java.lang.Object.wait(Native Method) 40.07/11.24 - waiting on <0x0000000440021780> (a java.lang.ref.Reference$Lock) 40.07/11.24 at java.lang.Object.wait(Object.java:502) 40.07/11.24 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 40.07/11.24 - locked <0x0000000440021780> (a java.lang.ref.Reference$Lock) 40.07/11.24 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 40.07/11.24 40.07/11.24 "main" #1 prio=5 os_prio=0 tid=0x00002b56c4008800 nid=0xf4bd in Object.wait() [0x00002b56bfee9000] 40.07/11.24 java.lang.Thread.State: WAITING (on object monitor) 40.07/11.24 at java.lang.Object.wait(Native Method) 40.07/11.24 - waiting on <0x0000000440021818> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 40.07/11.24 at java.lang.Object.wait(Object.java:502) 40.07/11.24 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 40.07/11.24 - locked <0x0000000440021818> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 40.07/11.24 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 40.07/11.24 at aprove.Runtime.AProVE.run(AProVE.java:101) 40.07/11.24 at aprove.CommandLineInterface.Main.run(Main.java:94) 40.07/11.24 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 40.07/11.24 at aprove.Main.doMain(Main.java:54) 40.07/11.24 at aprove.Main.main(Main.java:20) 40.07/11.24 40.07/11.24 "VM Thread" os_prio=0 tid=0x00002b56c413e000 nid=0xf4c3 runnable 40.07/11.24 40.07/11.24 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b56c401e000 nid=0xf4bf runnable 40.07/11.24 40.07/11.24 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b56c401f800 nid=0xf4c0 runnable 40.07/11.24 40.07/11.24 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b56c4021800 nid=0xf4c1 runnable 40.07/11.24 40.07/11.24 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b56c4023800 nid=0xf4c2 runnable 40.07/11.24 40.07/11.24 "VM Periodic Task Thread" os_prio=0 tid=0x00002b56c41ac000 nid=0xf4cb waiting on condition 40.07/11.24 42.40/11.80 JNI global references: 337 42.40/11.80 42.40/11.80 Heap 42.40/11.80 PSYoungGen total 4281856K, used 1013596K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 42.40/11.80 eden space 3670528K, 27% used [0x0000000695580000,0x00000006d2eb8100,0x0000000775600000) 42.40/11.80 from space 611328K, 0% used [0x0000000775600000,0x0000000775a9f1e0,0x000000079ab00000) 42.40/11.80 to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 42.40/11.80 ParOldGen total 9786880K, used 24408K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 42.40/11.80 object space 9786880K, 0% used [0x0000000440000000,0x00000004417d6038,0x0000000695580000) 42.40/11.80 Metaspace used 23034K, capacity 23348K, committed 23680K, reserved 1071104K 42.40/11.80 class space used 2552K, capacity 2652K, committed 2688K, reserved 1048576K 42.40/11.80 78.22/21.01 EOF