812.26/217.03 2019-03-29 03:29:45 812.26/217.03 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 812.26/217.03 812.26/217.03 "Thread-33153" #33162 daemon prio=6 os_prio=0 tid=0x00002b1a04041000 nid=0x919 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33108" #33160 daemon prio=6 os_prio=0 tid=0x00002b1ab0011000 nid=0x914 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33151" #33159 daemon prio=6 os_prio=0 tid=0x00002b1a04042000 nid=0x913 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33110" #33158 daemon prio=6 os_prio=0 tid=0x00002b1a04036000 nid=0x912 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33148" #33157 daemon prio=6 os_prio=0 tid=0x00002b1a30004800 nid=0x911 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33112" #33156 daemon prio=6 os_prio=0 tid=0x00002b1a30006000 nid=0x910 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33114" #33154 daemon prio=6 os_prio=0 tid=0x00002b1a80005800 nid=0x90d runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33119" #33150 daemon prio=6 os_prio=0 tid=0x00002b1a1c021000 nid=0x906 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33120" #33148 daemon prio=6 os_prio=0 tid=0x00002b1a3c00b000 nid=0x903 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33122" #33146 daemon prio=6 os_prio=0 tid=0x00002b1a2001d800 nid=0x901 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33124" #33144 daemon prio=6 os_prio=0 tid=0x00002b1a94016800 nid=0x8fd runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33135" #33143 daemon prio=6 os_prio=0 tid=0x00002b1a7c003800 nid=0x8fc runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33127" #33142 daemon prio=6 os_prio=0 tid=0x00002b1a7c002000 nid=0x8fb runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33129" #33140 daemon prio=6 os_prio=0 tid=0x00002b1a8c00e000 nid=0x8f8 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33099" #33109 daemon prio=6 os_prio=0 tid=0x00002b1a6400f000 nid=0x8c6 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33091" #33108 daemon prio=6 os_prio=0 tid=0x00002b1a64010800 nid=0x8c5 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33093" #33106 daemon prio=6 os_prio=0 tid=0x00002b1a080de800 nid=0x8c2 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33097" #33105 daemon prio=6 os_prio=0 tid=0x00002b1a6c004800 nid=0x8c1 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33094" #33104 daemon prio=6 os_prio=0 tid=0x00002b1a6c003800 nid=0x8c0 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33095" #33103 daemon prio=6 os_prio=0 tid=0x00002b1a3401b000 nid=0x8bf runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33035" #33102 daemon prio=6 os_prio=0 tid=0x00002b1a34016800 nid=0x8be runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "Thread-33040" #33045 daemon prio=6 os_prio=0 tid=0x00002b1aa4002000 nid=0x86c runnable [0x00002b19c36ae000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x0000000751569dd8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000075c7aca50> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 812.26/217.03 - locked <0x000000075c7aeb10> (a java.io.InputStreamReader) 812.26/217.03 at java.io.InputStreamReader.read(InputStreamReader.java:184) 812.26/217.03 at java.io.Reader.read(Reader.java:100) 812.26/217.03 at java.util.Scanner.readInput(Scanner.java:804) 812.26/217.03 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 812.26/217.03 at java.util.Scanner.hasNextLine(Scanner.java:1500) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 812.26/217.03 812.26/217.03 "Thread-33034" #33044 daemon prio=6 os_prio=0 tid=0x00002b1aa4001000 nid=0x86a runnable [0x00002b19c34ac000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x0000000751567d18> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000075adf9e70> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 812.26/217.03 - locked <0x000000075adfbf30> (a java.io.InputStreamReader) 812.26/217.03 at java.io.InputStreamReader.read(InputStreamReader.java:184) 812.26/217.03 at java.io.Reader.read(Reader.java:100) 812.26/217.03 at java.util.Scanner.readInput(Scanner.java:804) 812.26/217.03 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 812.26/217.03 at java.util.Scanner.hasNextLine(Scanner.java:1500) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 812.26/217.03 812.26/217.03 "ThreadPoolThread236" #33032 daemon prio=6 os_prio=0 tid=0x00002b1a10029800 nid=0x856 in Object.wait() [0x00002b19c2867000] 812.26/217.03 java.lang.Thread.State: WAITING (on object monitor) 812.26/217.03 at java.lang.Object.wait(Native Method) 812.26/217.03 at java.lang.Object.wait(Object.java:502) 812.26/217.03 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 812.26/217.03 - locked <0x0000000751565bf0> (a java.lang.UNIXProcess) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread234" #33030 daemon prio=6 os_prio=0 tid=0x00002b1a10028000 nid=0x854 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: TERMINATED 812.26/217.03 812.26/217.03 "ThreadPoolThread233" #33029 daemon prio=6 os_prio=0 tid=0x00002b1a10027800 nid=0x853 runnable [0x00002b19c0e53000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 812.26/217.03 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:479) 812.26/217.03 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 812.26/217.03 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 812.26/217.03 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 812.26/217.03 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 812.26/217.03 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 812.26/217.03 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 812.26/217.03 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread222" #28907 daemon prio=6 os_prio=0 tid=0x00002b1a10010800 nid=0xee9f runnable [0x00002b19c9887000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread217" #28227 daemon prio=6 os_prio=0 tid=0x00002b1a10024000 nid=0xea95 runnable [0x00002b19c8c09000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #27923 daemon prio=10 os_prio=0 tid=0x00002b1a0002f800 nid=0xe90e waiting on condition [0x00002b19c3821000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #27920 daemon prio=10 os_prio=0 tid=0x00002b1a080dc000 nid=0xe8d3 waiting on condition [0x00002b19c37e8000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #25856 daemon prio=10 os_prio=0 tid=0x00002b1a6400c800 nid=0xdcb7 waiting on condition [0x00002b19c3b5d000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread206" #25851 daemon prio=6 os_prio=0 tid=0x00002b1a1001f000 nid=0xdcb0 runnable [0x00002b19c8e44000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #24781 daemon prio=10 os_prio=0 tid=0x00002b1a70008000 nid=0xd5d1 waiting on condition [0x00002b19c3b24000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #24778 daemon prio=10 os_prio=0 tid=0x00002b1a8c001000 nid=0xd5ce runnable [0x00002b19c3aeb000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 812.26/217.03 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 812.26/217.03 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread194" #23601 daemon prio=6 os_prio=0 tid=0x00002b1a10025000 nid=0xceb1 runnable [0x00002b19c8805000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #21578 daemon prio=10 os_prio=0 tid=0x00002b1a6c002000 nid=0xc2c3 waiting on condition [0x00002b19c9383000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread179" #19557 daemon prio=6 os_prio=0 tid=0x00002b1a1001d000 nid=0xb6af runnable [0x00002b19c2262000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread173" #19063 daemon prio=6 os_prio=0 tid=0x00002b1a10026800 nid=0xb3ca runnable [0x00002b19c0a4f000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread161" #16993 daemon prio=6 os_prio=0 tid=0x00002b1a1000e800 nid=0xa7a7 runnable [0x00002b19c81ff000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.UNIXProcess.forkAndExec(Native Method) 812.26/217.03 at java.lang.UNIXProcess.(UNIXProcess.java:247) 812.26/217.03 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 812.26/217.03 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:43) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #15451 daemon prio=10 os_prio=0 tid=0x00002b1a64005000 nid=0x9e9b waiting on condition [0x00002b19c8c43000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread151" #15162 daemon prio=6 os_prio=0 tid=0x00002b1a10021800 nid=0x9cea runnable [0x00002b19c0f54000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "Thread-13659" #13669 daemon prio=6 os_prio=0 tid=0x00002b1a84003000 nid=0x941f runnable [0x00002b19c80ff000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000044bdc0be8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000044ce86bd0> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 812.26/217.03 - locked <0x000000044ce895e8> (a java.io.InputStreamReader) 812.26/217.03 at java.io.InputStreamReader.read(InputStreamReader.java:184) 812.26/217.03 at java.io.Reader.read(Reader.java:100) 812.26/217.03 at java.util.Scanner.readInput(Scanner.java:804) 812.26/217.03 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 812.26/217.03 at java.util.Scanner.hasNextLine(Scanner.java:1500) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 812.26/217.03 812.26/217.03 "Thread-13631" #13668 daemon prio=6 os_prio=0 tid=0x00002b1a84001000 nid=0x941e runnable [0x00002b19c3ab2000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.io.FileInputStream.readBytes(Native Method) 812.26/217.03 at java.io.FileInputStream.read(FileInputStream.java:255) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000044bdc0b60> (a java.lang.UNIXProcess$ProcessPipeInputStream) 812.26/217.03 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 812.26/217.03 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 812.26/217.03 - locked <0x000000044ce8a0d8> (a java.io.BufferedInputStream) 812.26/217.03 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 812.26/217.03 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 812.26/217.03 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 812.26/217.03 - locked <0x000000044ce8aa28> (a java.io.InputStreamReader) 812.26/217.03 at java.io.InputStreamReader.read(InputStreamReader.java:184) 812.26/217.03 at java.io.Reader.read(Reader.java:100) 812.26/217.03 at java.util.Scanner.readInput(Scanner.java:804) 812.26/217.03 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 812.26/217.03 at java.util.Scanner.hasNextLine(Scanner.java:1500) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 812.26/217.03 812.26/217.03 "ThreadPoolThread148" #13567 daemon prio=6 os_prio=0 tid=0x00002b1a10023000 nid=0x9381 in Object.wait() [0x00002b19c8a08000] 812.26/217.03 java.lang.Thread.State: WAITING (on object monitor) 812.26/217.03 at java.lang.Object.wait(Native Method) 812.26/217.03 at java.lang.Object.wait(Object.java:502) 812.26/217.03 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 812.26/217.03 - locked <0x000000044bdc0ad0> (a java.lang.UNIXProcess) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 812.26/217.03 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread137" #12960 daemon prio=6 os_prio=0 tid=0x00002b1a10020800 nid=0x8ff6 runnable [0x00002b19c2fa6000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread126" #10970 daemon prio=6 os_prio=0 tid=0x00002b1a1000d800 nid=0x83bf runnable [0x00002b19c2aa1000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #9650 daemon prio=10 os_prio=0 tid=0x00002b1a20012000 nid=0x7c01 runnable [0x00002b19c3ff0000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 812.26/217.03 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 812.26/217.03 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread116" #8903 daemon prio=6 os_prio=0 tid=0x00002b1a1001c000 nid=0x77a3 runnable [0x00002b19c35ac000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread104" #7002 daemon prio=6 os_prio=0 tid=0x00002b1a1001a800 nid=0x6c65 runnable [0x00002b19c094e000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread94" #5054 daemon prio=6 os_prio=0 tid=0x00002b1a1000c800 nid=0x60f9 runnable [0x00002b19c2ba2000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread82" #3406 daemon prio=6 os_prio=0 tid=0x00002b1a10014000 nid=0x5751 runnable [0x00002b19c2464000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread72" #1754 daemon prio=6 os_prio=0 tid=0x00002b1a10012000 nid=0x4d9e runnable [0x00002b19c2060000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread60" #1232 daemon prio=6 os_prio=0 tid=0x00002b1a10017000 nid=0x49d6 runnable [0x00002b19c30a7000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread45" #405 daemon prio=6 os_prio=0 tid=0x00002b1a10015000 nid=0x44ea runnable [0x00002b19c2161000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "ThreadPoolThread38" #320 daemon prio=6 os_prio=0 tid=0x00002b1a10018800 nid=0x446b runnable [0x00002b19c2da4000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.Thread.setPriority0(Native Method) 812.26/217.03 at java.lang.Thread.setPriority(Thread.java:1095) 812.26/217.03 at java.lang.Thread.init(Thread.java:417) 812.26/217.03 at java.lang.Thread.init(Thread.java:349) 812.26/217.03 at java.lang.Thread.(Thread.java:448) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 812.26/217.03 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.canBeLTZero(InductiveConditionFinder.java:522) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:449) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.searchInductiveTerms(InductiveConditionFinder.java:483) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.changeTermHeuristic(InductiveConditionFinder.java:419) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.candidateGenerationHeuristic(InductiveConditionFinder.java:161) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.findInductiveCondition(InductiveConditionFinder.java:133) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.InductiveConditionFinder.getInductiveCondition(InductiveConditionFinder.java:107) 812.26/217.03 at aprove.Framework.IntTRS.CaseAnalysis.CaseAnalysisProcessor.process(CaseAnalysisProcessor.java:80) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 812.26/217.03 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 812.26/217.03 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #136 daemon prio=10 os_prio=0 tid=0x00002b1a080e5800 nid=0x4344 waiting on condition [0x00002b19c28a0000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #129 daemon prio=10 os_prio=0 tid=0x00002b1a34014800 nid=0x4338 waiting on condition [0x00002b19a4575000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #109 daemon prio=10 os_prio=0 tid=0x00002b1a00035000 nid=0x4280 waiting on condition [0x00002b19a453c000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #106 daemon prio=10 os_prio=0 tid=0x00002b1a34001000 nid=0x427d waiting on condition [0x00002b199ffea000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #23 daemon prio=10 os_prio=0 tid=0x00002b1a00019000 nid=0x41ff waiting on condition [0x00002b1987fe5000] 812.26/217.03 java.lang.Thread.State: TIMED_WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440004070> (a java.util.concurrent.SynchronousQueue$TransferStack) 812.26/217.03 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 812.26/217.03 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 812.26/217.03 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002b1a0801d800 nid=0x41f7 runnable [0x00002b1987fac000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 812.26/217.03 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 812.26/217.03 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 812.26/217.03 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b1a1000b800 nid=0x41f4 runnable [0x00002b19c0d53000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 812.26/217.03 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 812.26/217.03 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 812.26/217.03 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 812.26/217.03 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 812.26/217.03 - locked <0x0000000442278c98> (a aprove.Strategies.Abortions.TrackThreadPool) 812.26/217.03 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 812.26/217.03 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 812.26/217.03 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 812.26/217.03 812.26/217.03 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b1988819000 nid=0x41f3 waiting on condition [0x00002b19c0c52000] 812.26/217.03 java.lang.Thread.State: WAITING (parking) 812.26/217.03 at sun.misc.Unsafe.park(Native Method) 812.26/217.03 - parking to wait for <0x0000000440016e40> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 812.26/217.03 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 812.26/217.03 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 812.26/217.03 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 812.26/217.03 at java.lang.Thread.run(Thread.java:748) 812.26/217.03 812.26/217.03 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b1988199800 nid=0x41e9 runnable [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 812.26/217.03 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b1988184000 nid=0x41e8 waiting on condition [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 812.26/217.03 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b1988182800 nid=0x41e7 waiting on condition [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 812.26/217.03 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b198817f800 nid=0x41e6 waiting on condition [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 812.26/217.03 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b198817e000 nid=0x41e5 waiting on condition [0x0000000000000000] 812.26/217.03 java.lang.Thread.State: RUNNABLE 812.26/217.03 812.26/217.03 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b198814a000 nid=0x41e4 in Object.wait() [0x00002b199feb0000] 812.26/217.03 java.lang.Thread.State: WAITING (on object monitor) 812.26/217.03 at java.lang.Object.wait(Native Method) 812.26/217.03 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 812.26/217.03 - locked <0x0000000440069d48> (a java.lang.ref.ReferenceQueue$Lock) 812.26/217.03 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 812.26/217.03 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 812.26/217.03 812.26/217.03 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b1988145800 nid=0x41e3 in Object.wait() [0x00002b199fdaf000] 812.26/217.03 java.lang.Thread.State: WAITING (on object monitor) 812.26/217.03 at java.lang.Object.wait(Native Method) 812.26/217.03 at java.lang.Object.wait(Object.java:502) 812.26/217.03 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 812.26/217.03 - locked <0x0000000440069f78> (a java.lang.ref.Reference$Lock) 812.26/217.03 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 812.26/217.03 812.26/217.03 "main" #1 prio=5 os_prio=0 tid=0x00002b1988008800 nid=0x41dc in Object.wait() [0x00002b198361d000] 812.26/217.03 java.lang.Thread.State: WAITING (on object monitor) 812.26/217.03 at java.lang.Object.wait(Native Method) 812.26/217.03 - waiting on <0x000000044006a010> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 812.26/217.03 at java.lang.Object.wait(Object.java:502) 812.26/217.03 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 812.26/217.03 - locked <0x000000044006a010> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 812.26/217.03 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 812.26/217.03 at aprove.Runtime.AProVE.run(AProVE.java:101) 812.26/217.03 at aprove.CommandLineInterface.Main.run(Main.java:94) 812.26/217.03 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 812.26/217.03 at aprove.Main.doMain(Main.java:54) 812.26/217.03 at aprove.Main.main(Main.java:20) 812.26/217.03 812.26/217.03 "VM Thread" os_prio=0 tid=0x00002b198813e000 nid=0x41e2 runnable 812.26/217.03 812.26/217.03 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b198801e000 nid=0x41de runnable 812.26/217.03 812.26/217.03 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b198801f800 nid=0x41df runnable 812.26/217.03 812.26/217.03 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b1988021800 nid=0x41e0 runnable 812.26/217.03 812.26/217.03 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b1988023800 nid=0x41e1 runnable 812.26/217.03 812.26/217.03 "VM Periodic Task Thread" os_prio=0 tid=0x00002b19881ac000 nid=0x41ea waiting on condition 812.26/217.03 812.26/217.03 JNI global references: 329 812.26/217.03 812.26/217.03 Heap 812.26/217.03 PSYoungGen total 4754432K, used 3828539K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 812.26/217.03 eden space 4655616K, 80% used [0x0000000695580000,0x0000000778ffada0,0x00000007b1800000) 812.26/217.03 from space 98816K, 99% used [0x00000007b1800000,0x00000007b7854110,0x00000007b7880000) 812.26/217.03 to space 124416K, 0% used [0x00000007b8680000,0x00000007b8680000,0x00000007c0000000) 812.26/217.03 ParOldGen total 9786880K, used 358110K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 812.26/217.03 object space 9786880K, 3% used [0x0000000440000000,0x0000000455db7b18,0x0000000695580000) 812.26/217.03 Metaspace used 23606K, capacity 23946K, committed 24192K, reserved 1071104K 812.26/217.03 class space used 2561K, capacity 2653K, committed 2688K, reserved 1048576K 812.26/217.03 848.44/226.88 EOF