436.02/112.87 2019-03-28 12:05:22 436.02/112.87 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 436.02/112.87 436.02/112.87 "Thread-2603" #2637 daemon prio=6 os_prio=0 tid=0x00002acb7c002800 nid=0xa863 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2612" #2636 daemon prio=6 os_prio=0 tid=0x00002acbb8002000 nid=0xa862 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2604" #2635 daemon prio=6 os_prio=0 tid=0x00002acbb8001000 nid=0xa860 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2605" #2634 daemon prio=6 os_prio=0 tid=0x00002acb78008800 nid=0xa85f runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2589" #2622 daemon prio=6 os_prio=0 tid=0x00002acb8c001000 nid=0xa85b runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2596" #2623 daemon prio=6 os_prio=0 tid=0x00002acc0001b000 nid=0xa84c runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "Thread-2590" #2621 daemon prio=6 os_prio=0 tid=0x00002acc00010800 nid=0xa84b runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: TERMINATED 436.02/112.87 436.02/112.87 "ThreadPoolThread340" #2573 daemon prio=6 os_prio=0 tid=0x00002acb68018800 nid=0xa801 runnable [0x00002acb03909000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread339" #2572 daemon prio=6 os_prio=0 tid=0x00002acb68026000 nid=0xa7ff runnable [0x00002acb3edd9000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread338" #2530 daemon prio=6 os_prio=0 tid=0x00002acb6802a000 nid=0xa7c1 runnable [0x00002acb019b6000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread336" #2478 daemon prio=6 os_prio=0 tid=0x00002acb68032800 nid=0xa774 runnable [0x00002acb02dc5000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread335" #2443 daemon prio=6 os_prio=0 tid=0x00002acb6801f800 nid=0xa73d runnable [0x00002acc1c8e9000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread334" #2442 daemon prio=6 os_prio=0 tid=0x00002acb6802c000 nid=0xa73c runnable [0x00002acb3ecd8000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.IndefinitePart.times(IndefinitePart.java:206) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:605) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:532) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.intTermToPolynomial(ToolBox.java:512) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:353) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerms(ToolBox.java:389) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.translateBoolTerm(ToolBox.java:347) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToPolynomialConstraints(ToolBox.java:71) 436.02/112.87 at aprove.Framework.IntTRS.PoloRedPair.ToolBox.boolTermToSMTTheoryAtoms(ToolBox.java:321) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:144) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread332" #2402 daemon prio=6 os_prio=0 tid=0x00002acb6801d800 nid=0xa6fe runnable [0x00002acc1c0fe000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread330" #2384 daemon prio=6 os_prio=0 tid=0x00002acb6800d800 nid=0xa6e3 runnable [0x00002acb03d7f000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread327" #2329 daemon prio=6 os_prio=0 tid=0x00002acb6802e800 nid=0xa693 runnable [0x00002acb029c1000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread324" #2326 daemon prio=6 os_prio=0 tid=0x00002acb6802c800 nid=0xa690 runnable [0x00002acb3fe92000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.IndefinitePart.getDegree(IndefinitePart.java:164) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:472) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread310" #2270 daemon prio=6 os_prio=0 tid=0x00002acb68034800 nid=0xa643 runnable [0x00002acc1cced000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.util.HashMap.putVal(HashMap.java:628) 436.02/112.87 at java.util.HashMap.put(HashMap.java:611) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:683) 436.02/112.87 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:80) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread303" #2259 daemon prio=6 os_prio=0 tid=0x00002acb68038000 nid=0xa634 runnable [0x00002acb035cd000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.Thread.setPriority0(Native Method) 436.02/112.87 at java.lang.Thread.setPriority(Thread.java:1095) 436.02/112.87 at java.lang.Thread.init(Thread.java:417) 436.02/112.87 at java.lang.Thread.init(Thread.java:349) 436.02/112.87 at java.lang.Thread.(Thread.java:448) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.(ExecHelper.java:68) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:45) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.exec(ExecHelper.java:25) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solve(YicesEngine.java:159) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.solveAndPutIntoFormula(YicesEngine.java:82) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.YicesEngine.satisfiable(YicesEngine.java:49) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.TerminationGraph.buildGraph(TerminationGraph.java:155) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.analyzeTerminationGraph(IntTRSTerminationGraphWorker.java:121) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphWorker.work(IntTRSTerminationGraphWorker.java:79) 436.02/112.87 at aprove.Framework.IntTRS.TerminationGraph.IntTRSTerminationGraphProcessor.process(IntTRSTerminationGraphProcessor.java:119) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread291" #2109 daemon prio=6 os_prio=0 tid=0x00002acb6800c800 nid=0xa55f runnable [0x00002acb3f954000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.util.AbstractMap.equals(AbstractMap.java:495) 436.02/112.87 at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) 436.02/112.87 at java.util.HashMap.getNode(HashMap.java:571) 436.02/112.87 at java.util.LinkedHashMap.get(LinkedHashMap.java:440) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:612) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread283" #2091 daemon prio=6 os_prio=0 tid=0x00002acb68023800 nid=0xa543 runnable [0x00002acb036ce000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.isConcrete(VarPolynomial.java:979) 436.02/112.87 at aprove.Framework.IntTRS.Ranking.GEConstraint.create(GEConstraint.java:53) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread269" #1875 daemon prio=6 os_prio=0 tid=0x00002acb68017000 nid=0xa35c runnable [0x00002acc1c9eb000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.IndefinitePart.getDegree(IndefinitePart.java:164) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.getDegree(VarPolynomial.java:472) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:71) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread255" #1811 daemon prio=6 os_prio=0 tid=0x00002acb68031800 nid=0xa301 runnable [0x00002acc1c4ac000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at immutables.Immutable.DefaultImmutableSet.iterator(Unknown Source) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:600) 436.02/112.87 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:586) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.ConstraintsEnrichment.enrich(ConstraintsEnrichment.java:69) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateFollowingInequalities(RankingRedPairWorker.java:301) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.generateCoefficientConstraints(RankingRedPairWorker.java:253) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairWorker.work(RankingRedPairWorker.java:195) 436.02/112.87 at aprove.Framework.IntTRS.RankingRedPair.RankingRedPairProcessor.process(RankingRedPairProcessor.java:127) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "Thread-107" #132 daemon prio=6 os_prio=0 tid=0x00002acbf8008000 nid=0x98b2 runnable [0x00002acb3fc90000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443165c48> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432d0750> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432d07d8> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "Thread-106" #131 daemon prio=6 os_prio=0 tid=0x00002acbf8006800 nid=0x98b1 runnable [0x00002acb3fb90000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443165e50> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432d5be8> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432d5c70> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "process reaper" #130 daemon prio=10 os_prio=0 tid=0x00002acbf8004800 nid=0x98b0 runnable [0x00002acb3fa8f000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 436.02/112.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 436.02/112.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #124 daemon prio=10 os_prio=0 tid=0x00002acbfc001800 nid=0x98a7 waiting on condition [0x00002acb3f652000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "Thread-78" #101 daemon prio=6 os_prio=0 tid=0x00002acbc4002000 nid=0x9877 runnable [0x00002acb016b3000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443166058> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432d70f8> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432d7180> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "Thread-77" #100 daemon prio=6 os_prio=0 tid=0x00002acbc4001000 nid=0x9875 runnable [0x00002acb014b2000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443166260> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432e0730> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432e07b8> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002acb78008000 nid=0x986d waiting on condition [0x00002acb3ebd8000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002acbf8001000 nid=0x986a waiting on condition [0x00002acb3e99d000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002acbac001000 nid=0x9867 waiting on condition [0x00002acb3e964000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "Thread-68" #87 daemon prio=6 os_prio=0 tid=0x00002acb80004800 nid=0x9866 runnable [0x00002acb3e92a000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443166468> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432e5c98> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432e6530> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "Thread-67" #86 daemon prio=6 os_prio=0 tid=0x00002acb80006800 nid=0x9865 runnable [0x00002acb01ab7000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.io.FileInputStream.readBytes(Native Method) 436.02/112.87 at java.io.FileInputStream.read(FileInputStream.java:255) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x0000000443166670> (a java.lang.UNIXProcess$ProcessPipeInputStream) 436.02/112.87 at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) 436.02/112.87 at java.io.BufferedInputStream.read(BufferedInputStream.java:345) 436.02/112.87 - locked <0x00000004432e70d8> (a java.io.BufferedInputStream) 436.02/112.87 at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) 436.02/112.87 at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) 436.02/112.87 at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) 436.02/112.87 - locked <0x00000004432e7160> (a java.io.InputStreamReader) 436.02/112.87 at java.io.InputStreamReader.read(InputStreamReader.java:184) 436.02/112.87 at java.io.Reader.read(Reader.java:100) 436.02/112.87 at java.util.Scanner.readInput(Scanner.java:804) 436.02/112.87 at java.util.Scanner.findWithinHorizon(Scanner.java:1685) 436.02/112.87 at java.util.Scanner.hasNextLine(Scanner.java:1500) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.BufferedStreamInThread.run(ExecHelper.java:98) 436.02/112.87 436.02/112.87 "ThreadPoolThread33" #71 daemon prio=6 os_prio=0 tid=0x00002acb6801b000 nid=0x983e in Object.wait() [0x00002acb02ec7000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 - waiting on <0x0000000443177ce0> (a java.lang.UNIXProcess) 436.02/112.87 at java.lang.Object.wait(Object.java:502) 436.02/112.87 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 436.02/112.87 - locked <0x0000000443177ce0> (a java.lang.UNIXProcess) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 436.02/112.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread31" #69 daemon prio=6 os_prio=0 tid=0x00002acb68015000 nid=0x983b in Object.wait() [0x00002acb3e82a000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 - waiting on <0x0000000443178088> (a java.lang.UNIXProcess) 436.02/112.87 at java.lang.Object.wait(Object.java:502) 436.02/112.87 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 436.02/112.87 - locked <0x0000000443178088> (a java.lang.UNIXProcess) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 436.02/112.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #58 daemon prio=10 os_prio=0 tid=0x00002acb90001000 nid=0x982a waiting on condition [0x00002acb03b7e000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #55 daemon prio=10 os_prio=0 tid=0x00002acb80002800 nid=0x9827 waiting on condition [0x00002acb03943000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440041428> (a java.util.concurrent.SynchronousQueue$TransferStack) 436.02/112.87 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 436.02/112.87 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 436.02/112.87 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #45 daemon prio=10 os_prio=0 tid=0x00002acb78007000 nid=0x9815 runnable [0x00002acae3fd9000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 436.02/112.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 436.02/112.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "process reaper" #39 daemon prio=10 os_prio=0 tid=0x00002acb74043800 nid=0x9807 runnable [0x00002acae3fa0000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 436.02/112.87 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 436.02/112.87 at java.lang.UNIXProcess$$Lambda$12/1463669761.run(Unknown Source) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 436.02/112.87 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread12" #25 daemon prio=6 os_prio=0 tid=0x00002acb68013800 nid=0x97f7 in Object.wait() [0x00002acb02ac3000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 - waiting on <0x0000000443178830> (a java.lang.UNIXProcess) 436.02/112.87 at java.lang.Object.wait(Object.java:502) 436.02/112.87 at java.lang.UNIXProcess.waitFor(UNIXProcess.java:395) 436.02/112.87 - locked <0x0000000443178830> (a java.lang.UNIXProcess) 436.02/112.87 at aprove.GraphUserInterface.Factories.Solvers.Engines.ExecHelper.execAndGetExitCode(ExecHelper.java:50) 436.02/112.87 at aprove.InputModules.Programs.t2.T2Processor.process(T2Processor.java:99) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002acb6800b800 nid=0x97ee waiting on condition [0x00002acb018b6000] 436.02/112.87 java.lang.Thread.State: TIMED_WAITING (sleeping) 436.02/112.87 at java.lang.Thread.sleep(Native Method) 436.02/112.87 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) 436.02/112.87 436.02/112.87 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002acae4811000 nid=0x97ed waiting on condition [0x00002acb017b5000] 436.02/112.87 java.lang.Thread.State: WAITING (parking) 436.02/112.87 at sun.misc.Unsafe.park(Native Method) 436.02/112.87 - parking to wait for <0x0000000440003058> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 436.02/112.87 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 436.02/112.87 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 436.02/112.87 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002acae4265000 nid=0x97e5 runnable [0x00002acb013b1000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 at java.util.LinkedList.toArray(LinkedList.java:1052) 436.02/112.87 at java.util.LinkedList.addAll(LinkedList.java:408) 436.02/112.87 at java.util.LinkedList.addAll(LinkedList.java:387) 436.02/112.87 at java.util.LinkedList.(LinkedList.java:119) 436.02/112.87 at aprove.InputModules.Programs.llvm.segraph.LLVMSELoop.toPaths(LLVMSELoop.java:461) 436.02/112.87 at aprove.InputModules.Programs.llvm.processors.LLVMNonterminationProcessor.process(LLVMNonterminationProcessor.java:569) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 436.02/112.87 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 436.02/112.87 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 436.02/112.87 at java.lang.Thread.run(Thread.java:748) 436.02/112.87 436.02/112.87 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002acae418f800 nid=0x97e3 runnable [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 436.02/112.87 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002acae4184000 nid=0x97e2 waiting on condition [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 436.02/112.87 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002acae4182800 nid=0x97e1 waiting on condition [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 436.02/112.87 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002acae417f800 nid=0x97e0 waiting on condition [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 436.02/112.87 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002acae417e000 nid=0x97df waiting on condition [0x0000000000000000] 436.02/112.87 java.lang.Thread.State: RUNNABLE 436.02/112.87 436.02/112.87 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002acae414a000 nid=0x97de in Object.wait() [0x00002acb00b09000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 436.02/112.87 - locked <0x00000004401ebce0> (a java.lang.ref.ReferenceQueue$Lock) 436.02/112.87 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 436.02/112.87 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 436.02/112.87 436.02/112.87 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002acae4145800 nid=0x97dd in Object.wait() [0x00002acb00a08000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 at java.lang.Object.wait(Object.java:502) 436.02/112.87 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 436.02/112.87 - locked <0x0000000440002870> (a java.lang.ref.Reference$Lock) 436.02/112.87 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 436.02/112.87 436.02/112.87 "main" #1 prio=5 os_prio=0 tid=0x00002acae4008800 nid=0x97d6 in Object.wait() [0x00002acae01e2000] 436.02/112.87 java.lang.Thread.State: WAITING (on object monitor) 436.02/112.87 at java.lang.Object.wait(Native Method) 436.02/112.87 - waiting on <0x0000000440003c40> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 436.02/112.87 at java.lang.Object.wait(Object.java:502) 436.02/112.87 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 436.02/112.87 - locked <0x0000000440003c40> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 436.02/112.87 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 436.02/112.87 at aprove.Runtime.AProVE.run(AProVE.java:101) 436.02/112.87 at aprove.CommandLineInterface.Main.run(Main.java:94) 436.02/112.87 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 436.02/112.87 at aprove.Main.doMain(Main.java:54) 436.02/112.87 at aprove.Main.main(Main.java:20) 436.02/112.87 436.02/112.87 "VM Thread" os_prio=0 tid=0x00002acae413e000 nid=0x97dc runnable 436.02/112.87 436.02/112.87 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002acae401e000 nid=0x97d8 runnable 436.02/112.87 436.02/112.87 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002acae401f800 nid=0x97d9 runnable 436.02/112.87 436.02/112.87 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002acae4021800 nid=0x97da runnable 436.02/112.87 436.02/112.87 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002acae4023800 nid=0x97db runnable 436.02/112.87 436.02/112.87 "VM Periodic Task Thread" os_prio=0 tid=0x00002acae4192000 nid=0x97e4 waiting on condition 436.02/112.87 436.28/112.90 JNI global references: 344 436.28/112.90 438.23/113.44 Heap 438.23/113.44 PSYoungGen total 4865024K, used 3301945K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 438.23/113.44 eden space 4837888K, 68% used [0x0000000695580000,0x000000075e350a38,0x00000007bca00000) 438.23/113.44 from space 27136K, 40% used [0x00000007bca00000,0x00000007bd4bdae8,0x00000007be480000) 438.23/113.44 to space 26624K, 0% used [0x00000007be600000,0x00000007be600000,0x00000007c0000000) 438.23/113.44 ParOldGen total 9786880K, used 467666K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 438.23/113.44 object space 9786880K, 4% used [0x0000000440000000,0x000000045c8b48d0,0x0000000695580000) 438.23/113.44 Metaspace used 23989K, capacity 24322K, committed 24704K, reserved 1071104K 438.23/113.44 class space used 2559K, capacity 2651K, committed 2688K, reserved 1048576K 438.23/113.44 473.47/122.43 EOF