255.90/67.50 2019-03-29 02:07:20 255.90/67.50 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 255.90/67.50 255.90/67.50 "Thread-2747" #2773 daemon prio=6 os_prio=0 tid=0x00002abaf87c6000 nid=0x3824 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 255.90/67.50 "Thread-2699" #2772 daemon prio=6 os_prio=0 tid=0x00002abaf8397800 nid=0x3822 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2740" #2771 daemon prio=6 os_prio=0 tid=0x00002abb140d8800 nid=0x3821 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2700" #2770 daemon prio=6 os_prio=0 tid=0x00002abb140d4800 nid=0x3820 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2736" #2769 daemon prio=6 os_prio=0 tid=0x00002abbb0006000 nid=0x381f runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2702" #2768 daemon prio=6 os_prio=0 tid=0x00002abbb0005000 nid=0x381a runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread445" #2767 daemon prio=6 os_prio=0 tid=0x00002abb1c07a000 nid=0x3816 runnable [0x00002ababcdaa000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.solveConstraints(RankingRedPairWorker.java:685) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:200) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread444" #2766 daemon prio=6 os_prio=0 tid=0x00002abb1c035000 nid=0x3815 runnable [0x00002ababf73f000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 255.90/67.50 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread443" #2765 daemon prio=6 os_prio=0 tid=0x00002abb1c094000 nid=0x3814 runnable [0x00002abaf3c3d000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread442" #2764 daemon prio=6 os_prio=0 tid=0x00002abb1c099000 nid=0x3813 runnable [0x00002abbd0502000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:672) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:67) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread441" #2763 daemon prio=6 os_prio=0 tid=0x00002abb1c04f000 nid=0x3812 runnable [0x00002ababf33a000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:64) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.findCoefficients(RuleAnalyzer.java:1682) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.RuleAnalyzer.analyze(RuleAnalyzer.java:172) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.analyzeRules(IntTRSPolynomialOrderWorker.java:107) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderWorker.work(IntTRSPolynomialOrderWorker.java:83) 255.90/67.50 at aprove.Framework.IntTRS.PoloRedPair.IntTRSPolynomialOrderProcessor.process(IntTRSPolynomialOrderProcessor.java:216) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread440" #2762 daemon prio=6 os_prio=0 tid=0x00002abb1c02e000 nid=0x3811 runnable [0x00002abaf2627000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread439" #2761 daemon prio=6 os_prio=0 tid=0x00002abb1c045800 nid=0x380b runnable [0x00002abbd3baa000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread438" #2730 daemon prio=6 os_prio=0 tid=0x00002abb1c0bd800 nid=0x3806 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2704" #2760 daemon prio=6 os_prio=0 tid=0x00002abbc0003800 nid=0x3805 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2718" #2759 daemon prio=6 os_prio=0 tid=0x00002abbb4005000 nid=0x3804 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 255.90/67.50 "Thread-2717" #2757 daemon prio=6 os_prio=0 tid=0x00002abb70007000 nid=0x3802 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2660" #2756 daemon prio=6 os_prio=0 tid=0x00002abb70001800 nid=0x3801 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2716" #2755 daemon prio=6 os_prio=0 tid=0x00002abb10027800 nid=0x3800 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2661" #2754 daemon prio=6 os_prio=0 tid=0x00002abb10026000 nid=0x37ff runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2715" #2753 daemon prio=6 os_prio=0 tid=0x00002abaf86d8000 nid=0x37fe runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2665" #2752 daemon prio=6 os_prio=0 tid=0x00002abaf86d6800 nid=0x37fd runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2714" #2751 daemon prio=6 os_prio=0 tid=0x00002abb0c04c000 nid=0x37fc runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2668" #2750 daemon prio=6 os_prio=0 tid=0x00002abb0c04b800 nid=0x37fb runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2713" #2749 daemon prio=6 os_prio=0 tid=0x00002abb00cdd000 nid=0x37fa runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2671" #2748 daemon prio=6 os_prio=0 tid=0x00002abb00b0b800 nid=0x37f9 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2712" #2747 daemon prio=6 os_prio=0 tid=0x00002abba0001000 nid=0x37f8 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2672" #2746 daemon prio=6 os_prio=0 tid=0x00002abba0009000 nid=0x37f7 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2711" #2745 daemon prio=6 os_prio=0 tid=0x00002abb4000f000 nid=0x37f6 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2676" #2744 daemon prio=6 os_prio=0 tid=0x00002abb4000e000 nid=0x37f5 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2710" #2743 daemon prio=6 os_prio=0 tid=0x00002abb3c012800 nid=0x37f4 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2678" #2742 daemon prio=6 os_prio=0 tid=0x00002abb3c011800 nid=0x37f3 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2709" #2741 daemon prio=6 os_prio=0 tid=0x00002abaf4004800 nid=0x37f2 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2679" #2740 daemon prio=6 os_prio=0 tid=0x00002abaf4003000 nid=0x37f1 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2708" #2739 daemon prio=6 os_prio=0 tid=0x00002abb8c003000 nid=0x37f0 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2680" #2738 daemon prio=6 os_prio=0 tid=0x00002abb8c002000 nid=0x37ef runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2707" #2737 daemon prio=6 os_prio=0 tid=0x00002abbb8004800 nid=0x37ee runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2688" #2736 daemon prio=6 os_prio=0 tid=0x00002abbb8002800 nid=0x37ed runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2706" #2735 daemon prio=6 os_prio=0 tid=0x00002abb0c04a800 nid=0x37ec runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2703" #2732 daemon prio=6 os_prio=0 tid=0x00002abb08002000 nid=0x37e8 runnable [0x00002abaf3032000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.50 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007ae67a1f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007aedb5e80> (a java.io.BufferedInputStream) 255.90/67.50 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.50 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.50 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.50 - locked <0x00000007aedb5f08> (a java.io.InputStreamReader) 255.90/67.50 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.50 at java.io.Reader.read(Reader.java:100) 255.90/67.50 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.50 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.50 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.50 255.90/67.50 "Thread-2692" #2731 daemon prio=6 os_prio=0 tid=0x00002abb08001000 nid=0x37e7 runnable [0x00002abaf3b3d000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.50 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007ae67c458> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007aedbb2e0> (a java.io.BufferedInputStream) 255.90/67.50 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.50 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.50 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.50 - locked <0x00000007aedbb368> (a java.io.InputStreamReader) 255.90/67.50 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.50 at java.io.Reader.read(Reader.java:100) 255.90/67.50 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.50 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.50 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.50 255.90/67.50 "Thread-2620" #2725 daemon prio=6 os_prio=0 tid=0x00002abb140df800 nid=0x37de runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2697" #2724 daemon prio=6 os_prio=0 tid=0x00002abaf86d7000 nid=0x37dd runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "Thread-2695" #2721 daemon prio=6 os_prio=0 tid=0x00002abb84006000 nid=0x37d9 runnable [0x00002abbd6982000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.50 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007ae67e8b0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007aedc1768> (a java.io.BufferedInputStream) 255.90/67.50 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.50 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.50 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.50 - locked <0x00000007aedc17f0> (a java.io.InputStreamReader) 255.90/67.50 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.50 at java.io.Reader.read(Reader.java:100) 255.90/67.50 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.50 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.50 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.50 255.90/67.50 "Thread-2689" #2719 daemon prio=6 os_prio=0 tid=0x00002abb8400a000 nid=0x37d8 runnable [0x00002ababf840000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.50 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007ae6821f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.50 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.50 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.50 - locked <0x00000007aedc7e90> (a java.io.BufferedInputStream) 255.90/67.50 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.50 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.50 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.50 - locked <0x00000007aedc7f18> (a java.io.InputStreamReader) 255.90/67.50 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.50 at java.io.Reader.read(Reader.java:100) 255.90/67.50 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.50 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.50 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.50 255.90/67.50 "ThreadPoolThread436" #2717 daemon prio=6 os_prio=0 tid=0x00002abb1c0a1000 nid=0x37d0 in Object.wait() [0x00002ababf43c000] 255.90/67.50 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.50 at java.lang.Object.wait(Native Method) 255.90/67.50 at java.lang.Object.wait(Object.java:502) 255.90/67.50 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 255.90/67.50 - locked <0x00000007ae685460> (a java.lang.UNIXProcess) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 255.90/67.50 at aprove.Framework.IntTRS.Nonterm.IntTRSPeriodicNontermProcessor.process(IntTRSPeriodicNontermProcessor.java:135) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread425" #2600 daemon prio=6 os_prio=0 tid=0x00002abb1c04b000 nid=0x3719 in Object.wait() [0x00002abbd2725000] 255.90/67.50 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.50 at java.lang.Object.wait(Native Method) 255.90/67.50 at java.lang.Object.wait(Object.java:502) 255.90/67.50 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 255.90/67.50 - locked <0x00000007ae75b1c8> (a java.lang.UNIXProcess) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 255.90/67.50 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread424" #2599 daemon prio=6 os_prio=0 tid=0x00002abb1c031800 nid=0x3718 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread421" #2591 daemon prio=6 os_prio=0 tid=0x00002abb1c0b8000 nid=0x370f runnable [0x00002ababea32000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.util.Objects.hashCode(Objects.java:98) 255.90/67.50 at java.util.HashMap$Node.hashCode(HashMap.java:296) 255.90/67.50 at java.util.AbstractMap.hashCode(AbstractMap.java:530) 255.90/67.50 at immutables.Immutable.ImmutableLinkedHashMap.hashCode(Unknown Source) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.computeHashValue(VarPolynomial.java:1490) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.hashCode(VarPolynomial.java:1485) 255.90/67.50 at aprove.Framework.IntTRS.Ranking.GEConstraint.hashCode(GEConstraint.java:167) 255.90/67.50 at java.util.HashMap.hash(HashMap.java:338) 255.90/67.50 at java.util.HashMap.containsKey(HashMap.java:595) 255.90/67.50 at java.util.HashSet.contains(HashSet.java:203) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:70) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread419" #2549 daemon prio=6 os_prio=0 tid=0x00002abb1c061000 nid=0x36d6 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread418" #2548 daemon prio=6 os_prio=0 tid=0x00002abb1c0c2800 nid=0x36d5 runnable [0x00002ababf037000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread417" #2547 daemon prio=6 os_prio=0 tid=0x00002abb1c078800 nid=0x36d4 in Object.wait() [0x00002abaf3d3e000] 255.90/67.50 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.50 at java.lang.Object.wait(Native Method) 255.90/67.50 at java.lang.Object.wait(Object.java:502) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 255.90/67.50 - locked <0x00000007ae638000> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread416" #2546 daemon prio=6 os_prio=0 tid=0x00002abb1c084000 nid=0x36d3 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread415" #2545 daemon prio=6 os_prio=0 tid=0x00002abb1c037000 nid=0x36d2 runnable [0x00002abbd637b000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:115) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:626) 255.90/67.50 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 255.90/67.50 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread414" #2544 daemon prio=6 os_prio=0 tid=0x00002abb1c00e000 nid=0x36d1 runnable [0x00002ababf940000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:46) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.50 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread410" #2451 daemon prio=6 os_prio=0 tid=0x00002abb1c02f800 nid=0x3653 runnable [0x00002abaf2e2f000] 255.90/67.50 java.lang.Thread.State: RUNNABLE 255.90/67.50 at java.lang.Thread.setPriority0(Native Method) 255.90/67.50 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.50 at java.lang.Thread.init(Thread.java:417) 255.90/67.50 at java.lang.Thread.init(Thread.java:349) 255.90/67.50 at java.lang.Thread.(Thread.java:448) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:166) 255.90/67.50 at aprove.GraphUserInterface.Factories.Solvers.Engines.SMTLIBEngine.solve(SMTLIBEngine.java:80) 255.90/67.50 at aprove.Framework.IntTRS.Nonterm.IntTRSNonPeriodicNontermProcessor.process(IntTRSNonPeriodicNontermProcessor.java:79) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.50 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.50 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.50 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.50 at java.lang.Thread.run(Thread.java:748) 255.90/67.50 255.90/67.50 "ThreadPoolThread408" #2439 daemon prio=6 os_prio=0 tid=0x00002abb1c0bb800 nid=0x3642 runnable [0x0000000000000000] 255.90/67.50 java.lang.Thread.State: TERMINATED 255.90/67.50 255.90/67.50 "ThreadPoolThread407" #2438 daemon prio=6 os_prio=0 tid=0x00002abb1c089000 nid=0x3640 runnable [0x00002ababc917000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread401" #2426 daemon prio=6 os_prio=0 tid=0x00002abb1c053000 nid=0x3629 runnable [0x00002abbd2f2c000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread400" #2425 daemon prio=6 os_prio=0 tid=0x00002abb1c0a2800 nid=0x3628 runnable [0x00002abbd6fc0000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread398" #2423 daemon prio=6 os_prio=0 tid=0x00002abb1c026800 nid=0x3626 runnable [0x00002ababc7a4000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread385" #2340 daemon prio=6 os_prio=0 tid=0x00002abb1c02a000 nid=0x35af runnable [0x00002abaf2f30000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread343" #2114 daemon prio=6 os_prio=0 tid=0x00002abb1c097800 nid=0x346a runnable [0x00002abbd3532000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread342" #2089 daemon prio=6 os_prio=0 tid=0x00002abb1c051000 nid=0x3446 runnable [0x00002abaf3a3b000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread336" #1983 daemon prio=6 os_prio=0 tid=0x00002abb1c095800 nid=0x33a5 in Object.wait() [0x00002ababf138000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 at java.lang.Object.wait(Object.java:502) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.getLines(ExecHelper.java:81) 255.90/67.51 - locked <0x00000006bc4f6bc0> (a aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:53) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread253" #1436 daemon prio=6 os_prio=0 tid=0x00002abb1c092000 nid=0x3090 runnable [0x00002abbd4222000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1307 daemon prio=10 os_prio=0 tid=0x00002abbbc00a800 nid=0x2fd6 waiting on condition [0x00002ababc615000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1306 daemon prio=10 os_prio=0 tid=0x00002abb7c009800 nid=0x2fd5 waiting on condition [0x00002ababc5dc000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1235 daemon prio=10 os_prio=0 tid=0x00002abbbc007000 nid=0x2fcc waiting on condition [0x00002ababc817000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1139 daemon prio=10 os_prio=0 tid=0x00002abb6800e800 nid=0x2fc6 runnable [0x00002ababc7de000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 255.90/67.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 255.90/67.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1288 daemon prio=10 os_prio=0 tid=0x00002abb6c002800 nid=0x2fb2 runnable [0x00002ababde61000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 255.90/67.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 255.90/67.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1286 daemon prio=10 os_prio=0 tid=0x00002abbb4012000 nid=0x2fac waiting on condition [0x00002ababde28000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1110 daemon prio=10 os_prio=0 tid=0x00002abba0008000 nid=0x2fa3 waiting on condition [0x00002ababddef000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "Thread-1232" #1269 daemon prio=6 os_prio=0 tid=0x00002abb60008800 nid=0x2f95 runnable [0x00002abbd4597000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.51 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6cca00> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x0000000450730030> (a java.io.BufferedInputStream) 255.90/67.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.51 - locked <0x00000004507300b8> (a java.io.InputStreamReader) 255.90/67.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.51 at java.io.Reader.read(Reader.java:100) 255.90/67.51 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.51 255.90/67.51 "Thread-1231" #1268 daemon prio=6 os_prio=0 tid=0x00002abb6000a800 nid=0x2f94 runnable [0x00002abbd4497000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.51 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6ccc58> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000045073db50> (a java.io.BufferedInputStream) 255.90/67.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.51 - locked <0x000000045073dbd8> (a java.io.InputStreamReader) 255.90/67.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.51 at java.io.Reader.read(Reader.java:100) 255.90/67.51 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.51 255.90/67.51 "process reaper" #1226 daemon prio=10 os_prio=0 tid=0x00002abb18032800 nid=0x2f66 waiting on condition [0x00002abbd7c3f000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1217 daemon prio=10 os_prio=0 tid=0x00002abae8001800 nid=0x2f5b waiting on condition [0x00002abbd73fe000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1202 daemon prio=10 os_prio=0 tid=0x00002abb0c053000 nid=0x2f43 waiting on condition [0x00002abbd6cbe000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "Thread-1180" #1197 daemon prio=6 os_prio=0 tid=0x00002aba98265000 nid=0x2f38 runnable [0x00002abbd2d2a000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.51 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6dc0f0> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6dc118> (a java.io.BufferedInputStream) 255.90/67.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.51 - locked <0x000000044b6dc1a0> (a java.io.InputStreamReader) 255.90/67.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.51 at java.io.Reader.read(Reader.java:100) 255.90/67.51 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.51 255.90/67.51 "Thread-1087" #1195 daemon prio=6 os_prio=0 tid=0x00002aba98266000 nid=0x2f35 runnable [0x00002abbd322f000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.io.FileInputStream.readBytes(Native Method) 255.90/67.51 at java.io.FileInputStream.read(FileInputStream.java:255) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6e3f10> (a java.lang.UNIXProcess$ProcessPipeInputStream) 255.90/67.51 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 255.90/67.51 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 255.90/67.51 - locked <0x000000044b6e3f38> (a java.io.BufferedInputStream) 255.90/67.51 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 255.90/67.51 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 255.90/67.51 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 255.90/67.51 - locked <0x000000044b6e3fc0> (a java.io.InputStreamReader) 255.90/67.51 at java.io.InputStreamReader.read(InputStreamReader.java:184) 255.90/67.51 at java.io.Reader.read(Reader.java:100) 255.90/67.51 at java.util.Scanner.readInput(Scanner.java:804) 255.90/67.51 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 255.90/67.51 at java.util.Scanner.hasNextLine(Scanner.java:1500) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 255.90/67.51 255.90/67.51 "process reaper" #1159 daemon prio=10 os_prio=0 tid=0x00002abb1802b000 nid=0x2eef waiting on condition [0x00002abbd526b000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1156 daemon prio=10 os_prio=0 tid=0x00002abb10023800 nid=0x2eeb waiting on condition [0x00002abbd5232000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1153 daemon prio=10 os_prio=0 tid=0x00002abb6800c800 nid=0x2ee7 waiting on condition [0x00002abbd4ff7000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1151 daemon prio=10 os_prio=0 tid=0x00002abb70004800 nid=0x2ee3 waiting on condition [0x00002abbd4ebd000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1148 daemon prio=10 os_prio=0 tid=0x00002abb64005000 nid=0x2edd waiting on condition [0x00002abbd4c82000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1145 daemon prio=10 os_prio=0 tid=0x00002abb80002000 nid=0x2ed7 waiting on condition [0x00002abbd4a47000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1142 daemon prio=10 os_prio=0 tid=0x00002abb60007000 nid=0x2ed1 waiting on condition [0x00002abbd480c000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1138 daemon prio=10 os_prio=0 tid=0x00002abb74004000 nid=0x2eca waiting on condition [0x00002abbd45d1000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1135 daemon prio=10 os_prio=0 tid=0x00002abb88003800 nid=0x2ec0 waiting on condition [0x00002abbd4396000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1133 daemon prio=10 os_prio=0 tid=0x00002abb7c005800 nid=0x2ebc waiting on condition [0x00002abbd425c000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1128 daemon prio=10 os_prio=0 tid=0x00002abae8003800 nid=0x2ea9 waiting on condition [0x00002abbd3e1f000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1125 daemon prio=10 os_prio=0 tid=0x00002abb3000d000 nid=0x2ea6 waiting on condition [0x00002abbd3be4000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1122 daemon prio=10 os_prio=0 tid=0x00002abb50004000 nid=0x2ea3 runnable [0x00002abbd39a9000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 255.90/67.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 255.90/67.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1119 daemon prio=10 os_prio=0 tid=0x00002abb54002800 nid=0x2ea0 waiting on condition [0x00002abbd376e000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1116 daemon prio=10 os_prio=0 tid=0x00002abb58004800 nid=0x2e9d waiting on condition [0x00002abaf3fec000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1113 daemon prio=10 os_prio=0 tid=0x00002abb5c001800 nid=0x2e9a waiting on condition [0x00002abaf3fb3000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1109 daemon prio=10 os_prio=0 tid=0x00002abb78007800 nid=0x2e97 waiting on condition [0x00002abaf3f7a000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1106 daemon prio=10 os_prio=0 tid=0x00002abb84003000 nid=0x2e94 waiting on condition [0x00002ababfff2000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1104 daemon prio=10 os_prio=0 tid=0x00002abb34001800 nid=0x2e92 waiting on condition [0x00002ababffb9000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #1101 daemon prio=10 os_prio=0 tid=0x00002abb60002800 nid=0x2e7f waiting on condition [0x00002ababff80000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread166" #983 daemon prio=6 os_prio=0 tid=0x00002abb1c06b000 nid=0x2d9b in Object.wait() [0x00002abbd0f0d000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 at java.lang.Object.wait(Object.java:502) 255.90/67.51 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 255.90/67.51 - locked <0x000000044b79f920> (a java.lang.UNIXProcess) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 255.90/67.51 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread153" #948 daemon prio=6 os_prio=0 tid=0x00002abb1c057800 nid=0x2d72 in Object.wait() [0x00002abaf3f41000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 at java.lang.Object.wait(Object.java:502) 255.90/67.51 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 255.90/67.51 - locked <0x000000044b772550> (a java.lang.UNIXProcess) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 255.90/67.51 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread115" #870 daemon prio=6 os_prio=0 tid=0x00002abb1c01d800 nid=0x2d06 runnable [0x00002ababed34000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:448) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 255.90/67.51 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 255.90/67.51 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "ThreadPoolThread105" #852 daemon prio=6 os_prio=0 tid=0x00002abb1c00d800 nid=0x2cf0 runnable [0x00002ababe0b9000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:465) 255.90/67.51 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 255.90/67.51 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #192 daemon prio=10 os_prio=0 tid=0x00002abb10016800 nid=0x28fc waiting on condition [0x00002ababe931000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #172 daemon prio=10 os_prio=0 tid=0x00002abb0c052000 nid=0x2885 waiting on condition [0x00002ababe6f8000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002abb40007000 nid=0x2808 runnable [0x00002abaaffea000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 255.90/67.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 255.90/67.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #25 daemon prio=10 os_prio=0 tid=0x00002abb0c01c000 nid=0x27a7 runnable [0x00002aba97ff3000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 255.90/67.51 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 255.90/67.51 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "process reaper" #20 daemon prio=10 os_prio=0 tid=0x00002abb14013800 nid=0x279c waiting on condition [0x00002aba97fba000] 255.90/67.51 java.lang.Thread.State: TIMED_WAITING (parking) 255.90/67.51 at sun.misc.Unsafe.park(Native Method) 255.90/67.51 - parking to wait for <0x000000044000b030> (a java.util.concurrent.SynchronousQueue$TransferStack) 255.90/67.51 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 255.90/67.51 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 255.90/67.51 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 255.90/67.51 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002abb1c00b800 nid=0x279a runnable [0x00002ababcba9000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 255.90/67.51 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 255.90/67.51 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 255.90/67.51 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 255.90/67.51 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 255.90/67.51 - locked <0x000000044b818960> (a aprove.Strategies.Abortions.TrackThreadPool) 255.90/67.51 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 255.90/67.51 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 255.90/67.51 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 255.90/67.51 255.90/67.51 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002aba987e0800 nid=0x2799 runnable [0x00002ababcaa7000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 at java.lang.Thread.setPriority0(Native Method) 255.90/67.51 at java.lang.Thread.setPriority(Thread.java:1095) 255.90/67.51 at java.lang.Thread.init(Thread.java:417) 255.90/67.51 at java.lang.Thread.init(Thread.java:349) 255.90/67.51 at java.lang.Thread.(Thread.java:464) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool.startWorker(PrioritizableThreadPool.java:405) 255.90/67.51 at aprove.Strategies.Util.PrioritizableThreadPool.executeNow(PrioritizableThreadPool.java:191) 255.90/67.51 - locked <0x0000000440070290> (a aprove.Strategies.Util.PrioritizableThreadPool) 255.90/67.51 at aprove.Strategies.Util.ThreadingPolicy$HighPolicy.schedule(ThreadingPolicy.java:26) 255.90/67.51 at aprove.Strategies.Util.ThreadingPolicy$DefaultPolicy.schedule(ThreadingPolicy.java:41) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.Executor.start(Executor.java:114) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecProcessorStrategy.exec(ExecProcessorStrategy.java:55) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecRepeat.exec(ExecRepeat.java:47) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSequence.exec(ExecSequence.java:24) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecFirst.exec(ExecFirst.java:71) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAllParallel.exec(ExecAllParallel.java:29) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecSolve.exec(ExecSolve.java:82) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.ExecAny.exec(ExecAny.java:62) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.StrategyRoot.evaluateOnce(StrategyRoot.java:35) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine$CmdExec.run(DefaultMachine.java:247) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:174) 255.90/67.51 at java.lang.Thread.run(Thread.java:748) 255.90/67.51 255.90/67.51 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002aba981a1800 nid=0x278f runnable [0x0000000000000000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 255.90/67.51 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002aba98184000 nid=0x278e waiting on condition [0x0000000000000000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 255.90/67.51 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002aba98182800 nid=0x278d runnable [0x0000000000000000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 255.90/67.51 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002aba9817f800 nid=0x278c waiting on condition [0x0000000000000000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 255.90/67.51 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002aba9817e000 nid=0x278b waiting on condition [0x0000000000000000] 255.90/67.51 java.lang.Thread.State: RUNNABLE 255.90/67.51 255.90/67.51 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002aba9814a000 nid=0x278a in Object.wait() [0x00002abaafdaf000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 255.90/67.51 - locked <0x00000004401dc830> (a java.lang.ref.ReferenceQueue$Lock) 255.90/67.51 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 255.90/67.51 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 255.90/67.51 255.90/67.51 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002aba98145800 nid=0x2789 in Object.wait() [0x00002abaafcae000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 at java.lang.Object.wait(Object.java:502) 255.90/67.51 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 255.90/67.51 - locked <0x00000004401dcab8> (a java.lang.ref.Reference$Lock) 255.90/67.51 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 255.90/67.51 255.90/67.51 "main" #1 prio=5 os_prio=0 tid=0x00002aba98008800 nid=0x2782 in Object.wait() [0x00002aba9352a000] 255.90/67.51 java.lang.Thread.State: WAITING (on object monitor) 255.90/67.51 at java.lang.Object.wait(Native Method) 255.90/67.51 - waiting on <0x0000000440070c58> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 255.90/67.51 at java.lang.Object.wait(Object.java:502) 255.90/67.51 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 255.90/67.51 - locked <0x0000000440070c58> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 255.90/67.51 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 255.90/67.51 at aprove.Runtime.AProVE.run(AProVE.java:101) 255.90/67.51 at aprove.CommandLineInterface.Main.run(Main.java:94) 255.90/67.51 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 255.90/67.51 at aprove.Main.doMain(Main.java:54) 255.90/67.51 at aprove.Main.main(Main.java:20) 255.90/67.51 255.90/67.51 "VM Thread" os_prio=0 tid=0x00002aba9813e000 nid=0x2788 runnable 255.90/67.51 255.90/67.51 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002aba9801e000 nid=0x2784 runnable 255.90/67.51 255.90/67.51 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002aba9801f800 nid=0x2785 runnable 255.90/67.51 255.90/67.51 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002aba98021800 nid=0x2786 runnable 255.90/67.51 255.90/67.51 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002aba98023800 nid=0x2787 runnable 255.90/67.51 255.90/67.51 "VM Periodic Task Thread" os_prio=0 tid=0x00002aba981b4000 nid=0x2790 waiting on condition 255.90/67.51 255.90/67.52 JNI global references: 313 255.90/67.52 255.90/67.54 Heap 255.90/67.54 PSYoungGen total 4710912K, used 846701K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 255.90/67.54 eden space 4602368K, 16% used [0x0000000695580000,0x00000006c2674548,0x00000007ae400000) 255.90/67.54 from space 108544K, 99% used [0x00000007ae400000,0x00000007b4de6ed8,0x00000007b4e00000) 255.90/67.54 to space 151552K, 0% used [0x00000007b6c00000,0x00000007b6c00000,0x00000007c0000000) 255.90/67.54 ParOldGen total 9786880K, used 1115096K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 255.90/67.54 object space 9786880K, 11% used [0x0000000440000000,0x00000004840f6220,0x0000000695580000) 255.90/67.54 Metaspace used 24240K, capacity 24542K, committed 24960K, reserved 1071104K 255.90/67.54 class space used 2566K, capacity 2685K, committed 2688K, reserved 1048576K 255.90/67.54 295.32/77.55 EOF