15.17/4.68 2019-03-29 15:45:03 15.17/4.68 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 15.17/4.68 15.17/4.68 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002b9dcc002000 nid=0xd25a runnable [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b9de0008000 nid=0xd258 waiting on condition [0x00002b9d13f47000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 15.17/4.68 - locked <0x00000006b2b14f98> (a java.lang.UNIXProcess$ProcessPipeInputStream) 15.17/4.68 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$12/1535789703.run(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread67" #93 daemon prio=6 os_prio=0 tid=0x00002b9d80059000 nid=0xd247 runnable [0x00002b9d1a5be000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Thread.setPriority0(Native Method) 15.17/4.68 at java.lang.Thread.setPriority(Thread.java:1095) 15.17/4.68 at java.lang.Thread.init(Thread.java:417) 15.17/4.68 at java.lang.Thread.init(Thread.java:349) 15.17/4.68 at java.lang.Thread.(Thread.java:678) 15.17/4.68 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$10/1535011777.newThread(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 15.17/4.68 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 15.17/4.68 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$11/150678007.run(Unknown Source) 15.17/4.68 at java.security.AccessController.doPrivileged(Native Method) 15.17/4.68 at java.lang.UNIXProcess.(UNIXProcess.java:257) 15.17/4.68 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 15.17/4.68 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:620) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:450) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:347) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 15.17/4.68 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread66" #92 daemon prio=6 os_prio=0 tid=0x00002b9d8003e800 nid=0xd246 runnable [0x00002b9d190ad000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarPartNode.getVariables(VarPartNode.java:167) 15.17/4.68 - locked <0x0000000440931e40> (a aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarPartNode) 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.getVariables(ConcatNode.java:69) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 15.17/4.68 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread65" #91 daemon prio=6 os_prio=0 tid=0x00002b9d8004f000 nid=0xd245 runnable [0x00002b9d1b2cc000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Object.hashCode(Native Method) 15.17/4.68 at java.util.HashMap.hash(HashMap.java:338) 15.17/4.68 at java.util.HashMap.put(HashMap.java:611) 15.17/4.68 at java.util.HashSet.add(HashSet.java:219) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:216) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:812) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:258) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:82) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread63" #89 daemon prio=6 os_prio=0 tid=0x00002b9d80049800 nid=0xd243 runnable [0x00002b9d19eba000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Object.hashCode(Native Method) 15.17/4.68 at java.util.AbstractSet.hashCode(AbstractSet.java:126) 15.17/4.68 at java.util.HashMap.hash(HashMap.java:338) 15.17/4.68 at java.util.HashMap.put(HashMap.java:611) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildOr(NonCountingCircuitFactory.java:293) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildOr(AbstractFormulaFactory.java:82) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.build2or3Circuit(ArithmeticCircuitFactory.java:883) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:844) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:258) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:82) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:152) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:77) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.TheoryAtom.apply(TheoryAtom.java:78) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.apply(NotFormula.java:111) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.OrFormula.apply(OrFormula.java:52) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:188) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:174) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:255) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread62" #88 daemon prio=6 os_prio=0 tid=0x00002b9d8003d800 nid=0xd242 runnable [0x00002b9d19db8000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.util.AbstractSet.hashCode(AbstractSet.java:127) 15.17/4.68 at java.util.HashMap.hash(HashMap.java:338) 15.17/4.68 at java.util.HashMap.get(HashMap.java:556) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildAnd(NonCountingCircuitFactory.java:79) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildAnd(AbstractFormulaFactory.java:74) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.build2or3Circuit(ArithmeticCircuitFactory.java:884) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:815) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:152) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:77) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.TheoryAtom.apply(TheoryAtom.java:78) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.apply(NotFormula.java:111) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.OrFormula.apply(OrFormula.java:52) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:188) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:174) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:255) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread60" #86 daemon prio=6 os_prio=0 tid=0x00002b9d8004b000 nid=0xd240 runnable [0x00002b9d1a4be000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.getVariables(ConcatNode.java:69) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 15.17/4.68 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread59" #85 daemon prio=6 os_prio=0 tid=0x00002b9d80030800 nid=0xd23f runnable [0x00002b9d1a9c3000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Object.hashCode(Native Method) 15.17/4.68 at java.util.AbstractSet.hashCode(AbstractSet.java:126) 15.17/4.68 at java.util.HashMap.hash(HashMap.java:338) 15.17/4.68 at java.util.HashMap.get(HashMap.java:556) 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:218) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:812) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:258) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:82) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread58" #84 daemon prio=6 os_prio=0 tid=0x00002b9d8004d000 nid=0xd23e waiting on condition [0x00002b9d1b1ca000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.util.concurrent.ConcurrentHashMap.putVal(ConcurrentHashMap.java:1027) 15.17/4.68 - locked <0x00000006b5af0718> (a java.util.concurrent.ConcurrentHashMap$Node) 15.17/4.68 at java.util.concurrent.ConcurrentHashMap.putIfAbsent(ConcurrentHashMap.java:1535) 15.17/4.68 at java.lang.ClassLoader.getClassLoadingLock(ClassLoader.java:463) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 15.17/4.68 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread50" #76 daemon prio=6 os_prio=0 tid=0x00002b9d80036800 nid=0xd236 runnable [0x00002b9d1b0ca000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:68) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 15.17/4.68 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:273) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread43" #69 daemon prio=6 os_prio=0 tid=0x00002b9d80047000 nid=0xd22f runnable [0x00002b9d1aec7000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Thread.setPriority0(Native Method) 15.17/4.68 at java.lang.Thread.setPriority(Thread.java:1095) 15.17/4.68 at java.lang.Thread.init(Thread.java:417) 15.17/4.68 at java.lang.Thread.init(Thread.java:349) 15.17/4.68 at java.lang.Thread.(Thread.java:678) 15.17/4.68 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$10/1535011777.newThread(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 15.17/4.68 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 15.17/4.68 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$11/150678007.run(Unknown Source) 15.17/4.68 at java.security.AccessController.doPrivileged(Native Method) 15.17/4.68 at java.lang.UNIXProcess.(UNIXProcess.java:257) 15.17/4.68 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 15.17/4.68 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:620) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:450) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:347) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 15.17/4.68 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 15.17/4.68 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 15.17/4.68 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread42" #68 daemon prio=6 os_prio=0 tid=0x00002b9d80045800 nid=0xd22e runnable [0x00002b9d1abc5000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarPartNode.getVariables(VarPartNode.java:167) 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.getVariables(ConcatNode.java:69) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 15.17/4.68 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread41" #67 daemon prio=6 os_prio=0 tid=0x00002b9d80044800 nid=0xd22d waiting on condition [0x00002b9d1aac3000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.util.concurrent.ConcurrentHashMap.putVal(ConcurrentHashMap.java:1027) 15.17/4.68 - locked <0x00000006b5af0718> (a java.util.concurrent.ConcurrentHashMap$Node) 15.17/4.68 at java.util.concurrent.ConcurrentHashMap.putIfAbsent(ConcurrentHashMap.java:1535) 15.17/4.68 at java.lang.ClassLoader.getClassLoadingLock(ClassLoader.java:463) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 15.17/4.68 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread40" #66 daemon prio=6 os_prio=0 tid=0x00002b9d80043000 nid=0xd22c runnable [0x00002b9d1adc5000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.ClassLoader.defineClass1(Native Method) 15.17/4.68 at java.lang.ClassLoader.defineClass(ClassLoader.java:763) 15.17/4.68 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 15.17/4.68 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 15.17/4.68 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 15.17/4.68 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 15.17/4.68 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 15.17/4.68 at java.security.AccessController.doPrivileged(Native Method) 15.17/4.68 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 15.17/4.68 - locked <0x00000006b5af0708> (a java.lang.Object) 15.17/4.68 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread39" #65 daemon prio=6 os_prio=0 tid=0x00002b9d80041000 nid=0xd22b runnable [0x00002b9d1acc6000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.PropositionalLogic.Formulae.AbstractCircuitFactory.buildXor(AbstractCircuitFactory.java:199) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:854) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:299) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread35" #59 daemon prio=6 os_prio=0 tid=0x00002b9d8003c000 nid=0xd225 runnable [0x00002b9d1a3bc000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.Thread.setPriority0(Native Method) 15.17/4.68 at java.lang.Thread.setPriority(Thread.java:1095) 15.17/4.68 at java.lang.Thread.init(Thread.java:417) 15.17/4.68 at java.lang.Thread.init(Thread.java:349) 15.17/4.68 at java.lang.Thread.(Thread.java:678) 15.17/4.68 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$10/1535011777.newThread(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 15.17/4.68 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 15.17/4.68 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$11/150678007.run(Unknown Source) 15.17/4.68 at java.security.AccessController.doPrivileged(Native Method) 15.17/4.68 at java.lang.UNIXProcess.(UNIXProcess.java:257) 15.17/4.68 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 15.17/4.68 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:620) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:450) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:347) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 15.17/4.68 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread34" #58 daemon prio=6 os_prio=0 tid=0x00002b9d80034800 nid=0xd224 runnable [0x00002b9d18ba8000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.hashCode(GAtomicVar.java:116) 15.17/4.68 at java.util.HashMap.hash(HashMap.java:338) 15.17/4.68 at java.util.HashMap.put(HashMap.java:611) 15.17/4.68 at java.util.HashSet.add(HashSet.java:219) 15.17/4.68 at java.util.AbstractCollection.addAll(AbstractCollection.java:344) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 15.17/4.68 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 15.17/4.68 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 15.17/4.68 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread33" #57 daemon prio=6 os_prio=0 tid=0x00002b9d80033800 nid=0xd223 waiting on condition [0x00002b9d1a7c0000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 15.17/4.68 - locked <0x00000006b5af0708> (a java.lang.Object) 15.17/4.68 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 15.17/4.68 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread32" #56 daemon prio=6 os_prio=0 tid=0x00002b9d8002d000 nid=0xd221 runnable [0x00002b9d1a6bf000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at immutables.Immutable.ImmutableIterator.next(Unknown Source) 15.17/4.68 at immutables.Immutable.ImmutableListIterator.next(Unknown Source) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:522) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:523) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSFunctionApplication.equals(TRSFunctionApplication.java:343) 15.17/4.68 at aprove.DPFramework.BasicStructures.GeneralizedRule.checkProperStd(GeneralizedRule.java:81) 15.17/4.68 at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:116) 15.17/4.68 at aprove.DPFramework.BasicStructures.Rule.(Rule.java:53) 15.17/4.68 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:275) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread31" #55 daemon prio=6 os_prio=0 tid=0x00002b9d80038000 nid=0xd220 runnable [0x00002b9d18eab000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:513) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:518) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:299) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 15.17/4.68 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread27" #49 daemon prio=6 os_prio=0 tid=0x00002b9d8002a800 nid=0xd219 runnable [0x00002b9d1a8c2000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.UNIXProcess.forkAndExec(Native Method) 15.17/4.68 at java.lang.UNIXProcess.(UNIXProcess.java:247) 15.17/4.68 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 15.17/4.68 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:620) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:450) 15.17/4.68 at java.lang.Runtime.exec(Runtime.java:347) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 15.17/4.68 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 15.17/4.68 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 15.17/4.68 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 15.17/4.68 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 15.17/4.68 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 15.17/4.68 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 15.17/4.68 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 15.17/4.68 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "process reaper" #35 daemon prio=10 os_prio=0 tid=0x00002b9d7c009800 nid=0xd208 waiting on condition [0x00002b9cfbfcb000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:529) 15.17/4.68 - locked <0x00000006b5ae2210> (a java.lang.Object) 15.17/4.68 - locked <0x00000006b5ae0160> (a java.lang.UNIXProcess$ProcessPipeInputStream) 15.17/4.68 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$12/1535789703.run(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "process reaper" #33 daemon prio=10 os_prio=0 tid=0x00002b9d8c025000 nid=0xd206 waiting on condition [0x00002b9cfbf92000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 15.17/4.68 - locked <0x00000006bcc62730> (a java.lang.UNIXProcess$ProcessPipeInputStream) 15.17/4.68 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 15.17/4.68 at java.lang.UNIXProcess$$Lambda$12/1535789703.run(Unknown Source) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 15.17/4.68 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread15" #27 daemon prio=6 os_prio=0 tid=0x00002b9d80032800 nid=0xd1fe runnable [0x00002b9d19fbb000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:78) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 15.17/4.68 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 15.17/4.68 at aprove.DPFramework.BasicStructures.GeneralizedRule.(GeneralizedRule.java:110) 15.17/4.68 at aprove.DPFramework.BasicStructures.Rule.(Rule.java:53) 15.17/4.68 at aprove.DPFramework.BasicStructures.Rule.create(Rule.java:74) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:166) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread9" #21 daemon prio=6 os_prio=0 tid=0x00002b9d8002b800 nid=0xd1f8 runnable [0x00002b9d191ae000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.lift(EnrichmentBuilder.java:280) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.lift(EnrichmentBuilder.java:289) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.lift(EnrichmentBuilder.java:289) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:165) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 15.17/4.68 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b9d80021800 nid=0xd1f6 runnable [0x00002b9d192b0000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 15.17/4.68 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 15.17/4.68 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 15.17/4.68 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 15.17/4.68 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 15.17/4.68 - locked <0x00000004401f0918> (a aprove.Strategies.Abortions.TrackThreadPool) 15.17/4.68 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 15.17/4.68 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 15.17/4.68 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 15.17/4.68 15.17/4.68 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b9cfc7fd800 nid=0xd1f5 waiting on condition [0x00002b9d18fad000] 15.17/4.68 java.lang.Thread.State: WAITING (parking) 15.17/4.68 at sun.misc.Unsafe.park(Native Method) 15.17/4.68 - parking to wait for <0x0000000440003c58> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) 15.17/4.68 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) 15.17/4.68 at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) 15.17/4.68 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b9cfc26c800 nid=0xd1ef runnable [0x00002b9d18daa000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 15.17/4.68 at immutables.Immutable.ImmutableListIterator.hasNext(Unknown Source) 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:526) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.equals(WordPattern.java:137) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.equals(DerivationPattern.java:750) 15.17/4.68 at java.util.HashMap.getNode(HashMap.java:571) 15.17/4.68 at java.util.HashMap.containsKey(HashMap.java:595) 15.17/4.68 at java.util.HashSet.contains(HashSet.java:203) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b9cfc266000 nid=0xd1ee runnable [0x00002b9d18caa000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 at java.util.AbstractList.equals(AbstractList.java:520) 15.17/4.68 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.equals(WordPattern.java:136) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.equals(DerivationPattern.java:750) 15.17/4.68 at java.util.HashMap.getNode(HashMap.java:578) 15.17/4.68 at java.util.HashMap.containsKey(HashMap.java:595) 15.17/4.68 at java.util.HashSet.contains(HashSet.java:203) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181) 15.17/4.68 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:112) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 15.17/4.68 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 15.17/4.68 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 15.17/4.68 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 15.17/4.68 at java.lang.Thread.run(Thread.java:748) 15.17/4.68 15.17/4.68 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b9cfc18f800 nid=0xd1eb runnable [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b9cfc184000 nid=0xd1ea runnable [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b9cfc182000 nid=0xd1e9 runnable [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b9cfc17f800 nid=0xd1e8 runnable [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b9cfc17e000 nid=0xd1e7 waiting on condition [0x0000000000000000] 15.17/4.68 java.lang.Thread.State: RUNNABLE 15.17/4.68 15.17/4.68 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b9cfc14a000 nid=0xd1e6 in Object.wait() [0x00002b9d18301000] 15.17/4.68 java.lang.Thread.State: WAITING (on object monitor) 15.17/4.68 at java.lang.Object.wait(Native Method) 15.17/4.68 - waiting on <0x00000004482e1340> (a java.lang.ref.ReferenceQueue$Lock) 15.17/4.68 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 15.17/4.68 - locked <0x00000004482e1340> (a java.lang.ref.ReferenceQueue$Lock) 15.17/4.68 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 15.17/4.68 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 15.17/4.68 15.17/4.68 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b9cfc145800 nid=0xd1e5 in Object.wait() [0x00002b9d18200000] 15.17/4.68 java.lang.Thread.State: WAITING (on object monitor) 15.17/4.68 at java.lang.Object.wait(Native Method) 15.17/4.68 - waiting on <0x00000004482e1570> (a java.lang.ref.Reference$Lock) 15.17/4.68 at java.lang.Object.wait(Object.java:502) 15.17/4.68 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 15.17/4.68 - locked <0x00000004482e1570> (a java.lang.ref.Reference$Lock) 15.17/4.68 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 15.17/4.68 15.17/4.68 "main" #1 prio=5 os_prio=0 tid=0x00002b9cfc008800 nid=0xd1de in Object.wait() [0x00002b9cf7964000] 15.17/4.68 java.lang.Thread.State: WAITING (on object monitor) 15.17/4.68 at java.lang.Object.wait(Native Method) 15.17/4.68 - waiting on <0x0000000440004248> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 15.17/4.68 at java.lang.Object.wait(Object.java:502) 15.17/4.68 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 15.17/4.68 - locked <0x0000000440004248> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 15.17/4.68 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 15.17/4.68 at aprove.Runtime.AProVE.run(AProVE.java:101) 15.17/4.68 at aprove.CommandLineInterface.Main.run(Main.java:94) 15.17/4.68 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 15.17/4.68 at aprove.Main.doMain(Main.java:54) 15.17/4.68 at aprove.Main.main(Main.java:20) 15.17/4.68 15.17/4.68 "VM Thread" os_prio=0 tid=0x00002b9cfc13e000 nid=0xd1e4 runnable 15.17/4.68 15.17/4.68 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b9cfc01e000 nid=0xd1e0 runnable 15.17/4.68 15.17/4.68 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b9cfc01f800 nid=0xd1e1 runnable 15.17/4.68 15.17/4.68 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b9cfc021800 nid=0xd1e2 runnable 15.17/4.68 15.17/4.68 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b9cfc023800 nid=0xd1e3 runnable 15.17/4.68 15.17/4.68 "VM Periodic Task Thread" os_prio=0 tid=0x00002b9cfc192000 nid=0xd1ec waiting on condition 15.17/4.68 15.50/4.78 JNI global references: 409 15.50/4.78 17.97/5.44 Heap 17.97/5.44 PSYoungGen total 4281856K, used 994181K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 17.97/5.44 eden space 3670528K, 27% used [0x0000000695580000,0x00000006d20617e0,0x0000000775600000) 17.97/5.44 from space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 17.97/5.44 to space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) 17.97/5.44 ParOldGen total 9786880K, used 227727K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 17.97/5.44 object space 9786880K, 2% used [0x0000000440000000,0x000000044de63c18,0x0000000695580000) 17.97/5.44 Metaspace used 20951K, capacity 21186K, committed 21504K, reserved 1069056K 17.97/5.44 class space used 2427K, capacity 2499K, committed 2560K, reserved 1048576K 17.97/5.44 54.55/14.71 EOF