2020-06-21 23:26:43 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "Thread-265" #285 daemon prio=6 os_prio=0 tid=0x00002b0a3c001000 nid=0x84f5 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Thread-266" #292 daemon prio=6 os_prio=0 tid=0x00002b0a2c001000 nid=0x84f3 waiting on condition [0x00002b097bd5a000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075cd495b8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000076ac81070> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000076ac83130> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-271" #289 daemon prio=6 os_prio=0 tid=0x00002b0a24001000 nid=0x84f2 waiting on condition [0x00002b097bc58000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075debb390> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000769a94da0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000769a96e60> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-269" #288 daemon prio=6 os_prio=0 tid=0x00002b09b004d000 nid=0x84f1 waiting on condition [0x00002b097bb57000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075970fc80> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007688a8ad0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007688aab90> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-268" #287 daemon prio=6 os_prio=0 tid=0x00002b09b004e000 nid=0x84f0 waiting on condition [0x00002b097ba56000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075970dbc0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000076919ec38> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007691a0cf8> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-267" #286 daemon prio=6 os_prio=0 tid=0x00002b0a20003000 nid=0x84ef waiting on condition [0x00002b097b955000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075e860488> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007676bc810> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000767fb4a28> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-264" #284 daemon prio=6 os_prio=0 tid=0x00002b0a20001000 nid=0x84ee waiting on condition [0x00002b097b854000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075e85e3c8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007664d0568> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007664d2628> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-263" #283 daemon prio=6 os_prio=0 tid=0x00002b09e0006000 nid=0x84ed waiting on condition [0x00002b097b753000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x0000000757bfae68> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007652e4278> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007652e6338> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-262" #282 daemon prio=6 os_prio=0 tid=0x00002b09e0005000 nid=0x84ec waiting on condition [0x00002b097b653000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x0000000757bf8da8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007649ee110> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007649f01d0> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-261" #281 daemon prio=6 os_prio=0 tid=0x00002b0a38002000 nid=0x84ea waiting on condition [0x00002b093e2b9000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075b2b1450> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007640f7fa8> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007640fa068> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-260" #280 daemon prio=6 os_prio=0 tid=0x00002b0a38001000 nid=0x84e9 waiting on condition [0x00002b093e1b7000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075b2af390> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000761d1f9e8> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000761d21aa8> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-259" #279 daemon prio=6 os_prio=0 tid=0x00002b0a28002000 nid=0x84e8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-258" #278 daemon prio=6 os_prio=0 tid=0x00002b0a28001000 nid=0x84e7 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-257" #277 daemon prio=6 os_prio=0 tid=0x00002b0a00003800 nid=0x84e5 waiting on condition [0x00002b093fa75000] java.lang.Thread.State: RUNNABLE at java.io.BufferedInputStream.read(BufferedInputStream.java:336) - locked <0x000000075caf65a0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000762f0bcb8> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000762f0dd78> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "ThreadPoolThread87" #275 daemon prio=6 os_prio=0 tid=0x00002b09ac01f800 nid=0x84da runnable [0x00002b093ddb4000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:688) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread86" #274 daemon prio=6 os_prio=0 tid=0x00002b09ac01e800 nid=0x84d8 in Object.wait() [0x00002b093f975000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000075e862578> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000075e862578> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread85" #273 daemon prio=6 os_prio=0 tid=0x00002b09ac01d800 nid=0x84d7 runnable [0x00002b097ac2e000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread84" #272 daemon prio=6 os_prio=0 tid=0x00002b09ac015800 nid=0x84d6 waiting on condition [0x00002b097ad30000] java.lang.Thread.State: RUNNABLE at aprove.Strategies.Abortions.Clock.increaseTime(Clock.java:77) - locked <0x000000069799e5f8> (a aprove.Strategies.Abortions.Clock) at aprove.Strategies.Abortions.Abortion.increaseTime(Abortion.java:211) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:115) at aprove.Strategies.Abortions.TrackThreadPool.stopTracking(TrackThreadPool.java:29) at aprove.Strategies.Abortions.PooledJob.finish(PooledJob.java:146) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:125) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread83" #271 daemon prio=6 os_prio=0 tid=0x00002b09ac014000 nid=0x84d5 runnable [0x00002b097a628000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread82" #270 daemon prio=6 os_prio=0 tid=0x00002b09ac013000 nid=0x84d4 runnable [0x00002b097b552000] java.lang.Thread.State: RUNNABLE at java.lang.ThreadGroup.addUnstarted(ThreadGroup.java:866) - locked <0x0000000440003c48> (a java.lang.ThreadGroup) at java.lang.Thread.init(Thread.java:405) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread81" #269 daemon prio=6 os_prio=0 tid=0x00002b09ac012000 nid=0x84d3 in Object.wait() [0x00002b097b450000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000075b2b3540> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000075b2b3540> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread80" #268 daemon prio=6 os_prio=0 tid=0x00002b09ac010800 nid=0x84d2 runnable [0x00002b097a72a000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:471) at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread79" #267 daemon prio=6 os_prio=0 tid=0x00002b09ac00f800 nid=0x84d1 in Object.wait() [0x00002b097a82b000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000759711d70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000759711d70> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread78" #266 daemon prio=6 os_prio=0 tid=0x00002b09ac00b800 nid=0x84d0 runnable [0x00002b093fb77000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.start0(Native Method) at java.lang.Thread.start(Thread.java:717) - locked <0x0000000758e642f8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread77" #265 daemon prio=6 os_prio=0 tid=0x00002b09ac00a800 nid=0x84cf runnable [0x00002b097af32000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.start0(Native Method) at java.lang.Thread.start(Thread.java:717) - locked <0x000000075859cdb8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:70) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread76" #264 daemon prio=6 os_prio=0 tid=0x00002b09ac018000 nid=0x84ce in Object.wait() [0x00002b093f874000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000757bfcf58> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x0000000757bfcf58> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread75" #263 daemon prio=6 os_prio=0 tid=0x00002b09ac00d000 nid=0x84cd runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #245 daemon prio=10 os_prio=0 tid=0x00002b09b004b800 nid=0x84ba runnable [0x00002b097b350000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "Thread-227" #243 daemon prio=6 os_prio=0 tid=0x00002b09f4003000 nid=0x84b5 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "Thread-219" #242 daemon prio=6 os_prio=0 tid=0x00002b09f4002000 nid=0x84b4 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #238 daemon prio=10 os_prio=0 tid=0x00002b09e0004000 nid=0x84af waiting on condition [0x00002b097b317000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440004198> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #237 daemon prio=10 os_prio=0 tid=0x00002b09f8002000 nid=0x84ad waiting on condition [0x00002b097b2de000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) - locked <0x000000075d60f950> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread69" #234 daemon prio=6 os_prio=0 tid=0x00002b09ac01b800 nid=0x84a3 runnable [0x00002b097b033000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.setPriority0(Native Method) at java.lang.Thread.setPriority(Thread.java:1095) at java.lang.Thread.init(Thread.java:417) at java.lang.Thread.init(Thread.java:349) at java.lang.Thread.(Thread.java:448) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread67" #232 daemon prio=6 os_prio=0 tid=0x00002b09ac019000 nid=0x84a1 in Object.wait() [0x00002b093fe79000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000075caf88e8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at java.lang.Object.wait(Object.java:502) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) - locked <0x000000075caf88e8> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Thread-209" #225 daemon prio=6 os_prio=0 tid=0x00002b09fc002800 nid=0x8498 runnable [0x00002b093fc78000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000071d59caa0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000073c4b7e98> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000073c4b9f58> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-208" #224 daemon prio=6 os_prio=0 tid=0x00002b09fc002000 nid=0x8497 runnable [0x00002b093ff7a000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000071d59a9e0> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000073bbc1d30> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000073bbc3df0> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-203" #218 daemon prio=6 os_prio=0 tid=0x00002b09d400a800 nid=0x848f runnable [0x00002b093f672000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000723193430> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000738ef3638> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000738ef56f8> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-201" #217 daemon prio=6 os_prio=0 tid=0x00002b09d4009800 nid=0x848e runnable [0x00002b093f773000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000723191370> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000007385fd4d0> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000007385ff590> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-187" #204 daemon prio=6 os_prio=0 tid=0x00002b0a1400b800 nid=0x8478 runnable [0x00002b097ab2d000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000071e9bf398> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000073117e2b8> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x0000000731180378> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "Thread-184" #203 daemon prio=6 os_prio=0 tid=0x00002b0a1400b000 nid=0x8477 runnable [0x00002b097a92b000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x000000071e9bd2d8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x0000000730888150> (a java.io.BufferedInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x000000073088a210> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.Reader.read(Reader.java:100) at java.util.Scanner.readInput(Scanner.java:804) at java.util.Scanner.findWithinHorizon(Scanner.java:1685) at java.util.Scanner.hasNextLine(Scanner.java:1500) at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) "process reaper" #200 daemon prio=10 os_prio=0 tid=0x00002b09b0048000 nid=0x8472 waiting on condition [0x00002b097b2a5000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440004198> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #197 daemon prio=10 os_prio=0 tid=0x00002b09f4001000 nid=0x846e runnable [0x00002b097b26c000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #185 daemon prio=10 os_prio=0 tid=0x00002b09d0005800 nid=0x845e waiting on condition [0x00002b093ffed000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440004198> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread51" #179 daemon prio=6 os_prio=0 tid=0x00002b09ac01c800 nid=0x8452 in Object.wait() [0x00002b093f037000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000072318f240> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000072318f240> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread44" #168 daemon prio=6 os_prio=0 tid=0x00002b09ac00d800 nid=0x8442 in Object.wait() [0x00002b093fd79000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000071e9bb1a8> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000071e9bb1a8> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread37" #155 daemon prio=6 os_prio=0 tid=0x00002b09ac01a000 nid=0x8422 in Object.wait() [0x00002b097aa2d000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000071d5988b0> (a java.lang.UNIXProcess) at java.lang.Object.wait(Object.java:502) at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) - locked <0x000000071d5988b0> (a java.lang.UNIXProcess) at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #85 daemon prio=10 os_prio=0 tid=0x00002b09bc001000 nid=0x83ca waiting on condition [0x00002b093ffb4000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) - locked <0x0000000741570788> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002b09a0016800 nid=0x836b runnable [0x00002b093f070000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #22 daemon prio=10 os_prio=0 tid=0x00002b09b0015000 nid=0x8367 runnable [0x00002b093ef36000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.waitForProcessExit(Native Method) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) at java.lang.UNIXProcess$$Lambda$14/1463669761.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b099c009000 nid=0x8362 waiting on condition [0x00002b093eefd000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440004198> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b09ac009800 nid=0x835e runnable [0x00002b093deb5000] java.lang.Thread.State: RUNNABLE at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) - locked <0x000000069799ba60> (a aprove.Strategies.Abortions.TrackThreadPool) at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b09208b7000 nid=0x835d waiting on condition [0x00002b093e3b9000] java.lang.Thread.State: RUNNABLE at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) - locked <0x000000075d6389b0> (a aprove.ProofTree.Obligations.JunctorObligationNode) at aprove.ProofTree.Obligations.BasicObligationNode.addTechnique(BasicObligationNode.java:121) - locked <0x0000000754f3e3a0> (a aprove.ProofTree.Obligations.BasicObligationNode) at aprove.Strategies.ExecutableStrategies.ExecResult.exec(ExecResult.java:37) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.finish(ExecProcessorStrategy.java:83) at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:64) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSimple.exec(ExecSimple.java:40) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b092018f800 nid=0x8353 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b0920184000 nid=0x8352 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b0920182000 nid=0x8351 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b092017f800 nid=0x8350 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b092017e000 nid=0x834f waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b092014a000 nid=0x834e in Object.wait() [0x00002b093d50b000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440133048> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000440133048> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b0920145800 nid=0x834d in Object.wait() [0x00002b093d40a000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440133278> (a java.lang.ref.Reference$Lock) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x0000000440133278> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002b0920008800 nid=0x8346 in Object.wait() [0x00002b091cced000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x000000044000b390> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at java.lang.Object.wait(Object.java:502) at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) - locked <0x000000044000b390> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) at aprove.Runtime.AProVE.run(AProVE.java:101) at aprove.CommandLineInterface.Main.run(Main.java:94) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) "VM Thread" os_prio=0 tid=0x00002b092013e000 nid=0x834c runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b092001e000 nid=0x8348 runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b092001f800 nid=0x8349 runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b0920021800 nid=0x834a runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b0920023800 nid=0x834b runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002b0920192000 nid=0x8354 waiting on condition JNI global references: 313 Heap PSYoungGen total 4281856K, used 65418K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 3670528K, 1% used [0x0000000695580000,0x00000006991b84f8,0x0000000775600000) from space 611328K, 0% used [0x000000079ab00000,0x000000079aeaa370,0x00000007c0000000) to space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) ParOldGen total 9786880K, used 24504K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 0% used [0x0000000440000000,0x00000004417ee040,0x0000000695580000) Metaspace used 22964K, capacity 23268K, committed 23680K, reserved 1071104K class space used 2557K, capacity 2650K, committed 2688K, reserved 1048576K