2020-06-22 09:51:24 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "ThreadPoolThread62" #85 daemon prio=6 os_prio=0 tid=0x00002b07fc036800 nid=0xfa68 runnable [0x00002b079eec7000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap$LinkedValueIterator.next(LinkedHashMap.java:747) at immutables.Immutable.ImmutableIterator.next(Unknown Source) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.allPositive(SimplePolynomial.java:867) at aprove.Framework.PropositionalLogic.TheoryPropositions.Diophantine.(Diophantine.java:37) at aprove.Framework.PropositionalLogic.TheoryPropositions.Diophantine.create(Diophantine.java:66) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encodeQActiveCondition(NegPoloInterpretation.java:405) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:590) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:450) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread60" #83 daemon prio=6 os_prio=0 tid=0x00002b07fc01e000 nid=0xfa66 runnable [0x00002b079d6b4000] java.lang.Thread.State: RUNNABLE at java.util.AbstractMap.equals(AbstractMap.java:476) at immutables.Immutable.ImmutableLinkedHashMap.equals(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.equals(IndefinitePart.java:1177) at java.util.HashMap.getNode(HashMap.java:571) at java.util.LinkedHashMap.get(LinkedHashMap.java:440) at immutables.Immutable.ImmutableLinkedHashMap.get(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.minus(VarPolynomial.java:676) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:737) at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread59" #82 daemon prio=6 os_prio=0 tid=0x00002b07fc01d000 nid=0xfa65 runnable [0x00002b079d9b6000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableMap.(Unknown Source) at immutables.Immutable.DefaultImmutableMap.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at aprove.Framework.Algebra.GeneralPolynomials.GMonomial.(GMonomial.java:86) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VariableCollector.caseVarPartNode(VariableCollector.java:62) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarPartNode.visit(VarPartNode.java:326) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.VarPartNodeVisitor.applyTo(VarPartNodeVisitor.java:38) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseConcatNode(FlatteningVisitor.java:113) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseConcatNode(FlatteningVisitor.java:28) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:364) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread57" #80 daemon prio=6 os_prio=0 tid=0x00002b07fc028800 nid=0xfa63 runnable [0x00002b079e0bb000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableMap.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at aprove.Framework.Algebra.Polynomials.IndefinitePart.(IndefinitePart.java:84) at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:187) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1386) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:737) at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread56" #79 daemon prio=6 os_prio=0 tid=0x00002b07fc026800 nid=0xfa62 runnable [0x00002b079e5c0000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.DefaultImmutableMap.create(Unknown Source) at immutables.Immutable.ImmutableCreator.create(Unknown Source) at aprove.Framework.Algebra.Polynomials.VarPolynomial.(VarPolynomial.java:117) at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:189) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1386) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:737) at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread55" #78 daemon prio=6 os_prio=0 tid=0x00002b07fc00c800 nid=0xfa61 runnable [0x00002b079d8b5000] java.lang.Thread.State: RUNNABLE at java.math.BigInteger.shiftLeft(BigInteger.java:3099) at java.math.BigInteger.multiplyByInt(BigInteger.java:1519) at java.math.BigInteger.multiply(BigInteger.java:1499) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:482) at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) at aprove.Framework.Algebra.Polynomials.VarPolynomial.substituteVariables(VarPolynomial.java:851) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1408) at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:737) at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread54" #77 daemon prio=6 os_prio=0 tid=0x00002b07fc019800 nid=0xfa60 runnable [0x00002b079eac5000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.GPoly$GPolySkeleton.(GPoly.java:224) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.(BinaryNode.java:50) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.(PlusNode.java:29) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.plus(FullSharingFactory.java:180) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.plus(FullSharingFactory.java:26) at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.plus(SimpleGPolyFlatRing.java:100) at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.plus(SimpleGPolyFlatRing.java:32) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.casePlusNode(FlatteningVisitor.java:149) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.casePlusNode(FlatteningVisitor.java:28) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:68) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread53" #76 daemon prio=6 os_prio=0 tid=0x00002b07fc034000 nid=0xfa5f runnable [0x00002b079d7b5000] java.lang.Thread.State: RUNNABLE at aprove.DPFramework.BasicStructures.GeneralizedRule.getRhsInStandardRepresentation(GeneralizedRule.java:289) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:456) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread46" #69 daemon prio=6 os_prio=0 tid=0x00002b07fc015800 nid=0xfa58 runnable [0x00002b079e4c0000] java.lang.Thread.State: RUNNABLE at aprove.DPFramework.BasicStructures.TRSTerm.getPositionsWithSubTerms(TRSTerm.java:452) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:454) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread42" #65 daemon prio=6 os_prio=0 tid=0x00002b07fc030800 nid=0xfa54 waiting for monitor entry [0x00002b079e9c3000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread41" #64 daemon prio=6 os_prio=0 tid=0x00002b07fc02e800 nid=0xfa53 waiting for monitor entry [0x00002b079e8c2000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread40" #63 daemon prio=6 os_prio=0 tid=0x00002b07fc02c000 nid=0xfa52 waiting for monitor entry [0x00002b079e7c1000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread39" #62 daemon prio=6 os_prio=0 tid=0x00002b07fc02a800 nid=0xfa51 runnable [0x00002b079e6c1000] java.lang.Thread.State: RUNNABLE at java.lang.Object.getClass(Native Method) at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.equals(GAtomicVar.java:130) at java.util.HashMap.getNode(HashMap.java:571) at java.util.LinkedHashMap.get(LinkedHashMap.java:440) at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.replace(GAtomicVar.java:53) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarSubstitutionVisitor.caseConcatNode(VarSubstitutionVisitor.java:238) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.substituteVariables(FullSharingFactory.java:421) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:235) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread36" #59 daemon prio=6 os_prio=0 tid=0x00002b07fc024800 nid=0xfa4e runnable [0x00002b079e3be000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.forkAndExec(Native Method) at java.lang.UNIXProcess.(UNIXProcess.java:247) at java.lang.ProcessImpl.start(ProcessImpl.java:134) at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) at java.lang.Runtime.exec(Runtime.java:620) at java.lang.Runtime.exec(Runtime.java:450) at java.lang.Runtime.exec(Runtime.java:347) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread35" #58 daemon prio=6 os_prio=0 tid=0x00002b07fc023000 nid=0xfa4d waiting for monitor entry [0x00002b079e2bc000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread34" #57 daemon prio=6 os_prio=0 tid=0x00002b07fc020800 nid=0xfa4c waiting for monitor entry [0x00002b079e1bb000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread31" #54 daemon prio=6 os_prio=0 tid=0x00002b07fc01c000 nid=0xfa49 runnable [0x00002b079deb9000] java.lang.Thread.State: RUNNABLE at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.GPoly$GPolySkeleton.(GPoly.java:224) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.BinaryNode.(BinaryNode.java:50) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.(TimesNode.java:32) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:252) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:26) at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:150) at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:32) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:206) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:28) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:364) at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread26" #49 daemon prio=6 os_prio=0 tid=0x00002b07fc01b800 nid=0xfa44 runnable [0x00002b079c6a4000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableArrayList.iterator(Unknown Source) at aprove.DPFramework.BasicStructures.TRSFunctionApplication.checkValidConstructorArgs(TRSFunctionApplication.java:228) at aprove.DPFramework.BasicStructures.TRSFunctionApplication.(TRSFunctionApplication.java:264) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.(TRSCompoundTerm.java:22) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:88) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) at aprove.DPFramework.BasicStructures.TRSTerm.getStandardRenumbered(TRSTerm.java:477) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.getStandardRepresentation(NonTerminationProcessor.java:1196) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:355) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread24" #47 daemon prio=6 os_prio=0 tid=0x00002b07fc010000 nid=0xfa42 runnable [0x00002b079dfb8000] java.lang.Thread.State: RUNNABLE at java.lang.ClassLoader.defineClass1(Native Method) at java.lang.ClassLoader.defineClass(ClassLoader.java:763) at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) at java.net.URLClassLoader.access$100(URLClassLoader.java:73) at java.net.URLClassLoader$1.run(URLClassLoader.java:368) at java.net.URLClassLoader$1.run(URLClassLoader.java:362) at java.security.AccessController.doPrivileged(Native Method) at java.net.URLClassLoader.findClass(URLClassLoader.java:361) at java.lang.ClassLoader.loadClass(ClassLoader.java:424) - locked <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "process reaper" #36 daemon prio=10 os_prio=0 tid=0x00002b080c002800 nid=0xfa37 waiting on condition [0x00002b078ffd3000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440313dd0> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #33 daemon prio=10 os_prio=0 tid=0x00002b080400f800 nid=0xfa33 waiting on condition [0x00002b0777ff4000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440313dd0> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #32 daemon prio=10 os_prio=0 tid=0x00002b07f8025800 nid=0xfa31 waiting on condition [0x00002b0777fbb000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440313dd0> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread17" #29 daemon prio=6 os_prio=0 tid=0x00002b07fc013800 nid=0xfa2b waiting for monitor entry [0x00002b079ddb7000] java.lang.Thread.State: BLOCKED (on object monitor) at java.lang.ClassLoader.loadClass(ClassLoader.java:404) - waiting to lock <0x00000006a9a72130> (a java.lang.Object) at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) at java.lang.ClassLoader.loadClass(ClassLoader.java:357) at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread15" #27 daemon prio=6 os_prio=0 tid=0x00002b07fc017800 nid=0xfa29 runnable [0x00002b079dcb7000] java.lang.Thread.State: RUNNABLE at java.util.AbstractCollection.addAll(AbstractCollection.java:342) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:309) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:256) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread10" #22 daemon prio=6 os_prio=0 tid=0x00002b07fc00e000 nid=0xfa24 runnable [0x00002b079d5b2000] java.lang.Thread.State: RUNNABLE at java.lang.Object.hashCode(Native Method) at java.util.HashMap.hash(HashMap.java:338) at java.util.HashMap.put(HashMap.java:611) at java.util.HashSet.add(HashSet.java:219) at aprove.DPFramework.BasicStructures.Matchbounds.MatchBound.getMatchingPaths(MatchBound.java:380) at aprove.DPFramework.BasicStructures.Matchbounds.MatchBound.getCertificate(MatchBound.java:573) at aprove.DPFramework.TRSProblem.Processors.RFCMatchBoundsProcessor.processQTRS(RFCMatchBoundsProcessor.java:65) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread8" #20 daemon prio=6 os_prio=0 tid=0x00002b07fc00b800 nid=0xfa22 runnable [0x00002b079caa8000] java.lang.Thread.State: RUNNABLE at java.util.AbstractCollection.addAll(AbstractCollection.java:342) at aprove.Framework.TreeAutomaton.TreeAutomaton.epsTransClosure(TreeAutomaton.java:462) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:288) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:332) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.solveStateSubstitutions(TRSBoundsTA.java:304) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBoundsTA.createStateSubstitutions(TRSBoundsTA.java:256) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.collectAllCompatibleConflicts(TRSBounds.java:1666) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:693) at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002b07fc00b000 nid=0xfa21 waiting on condition [0x00002b079c8a7000] java.lang.Thread.State: TIMED_WAITING (sleeping) at java.lang.Thread.sleep(Native Method) at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:55) "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002b07788a8000 nid=0xfa20 waiting on condition [0x00002b079c7a6000] java.lang.Thread.State: WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440011218> (a java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject) at java.util.concurrent.locks.LockSupport.park(LockSupport.java:175) at java.util.concurrent.locks.AbstractQueuedSynchronizer$ConditionObject.await(AbstractQueuedSynchronizer.java:2039) at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:442) at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002b077826c800 nid=0xfa1a runnable [0x00002b079c5a4000] java.lang.Thread.State: RUNNABLE at immutables.Immutable.ImmutableListIterator.hasNext(Unknown Source) at java.util.AbstractList.equals(AbstractList.java:520) at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.equals(OverlapClosure.java:104) at java.util.HashMap.getNode(HashMap.java:571) at java.util.HashMap.containsKey(HashMap.java:595) at java.util.HashSet.contains(HashSet.java:203) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002b077825e800 nid=0xfa19 runnable [0x00002b079c4a3000] java.lang.Thread.State: RUNNABLE at java.util.ArrayList.listIterator(ArrayList.java:823) at java.util.AbstractList.equals(AbstractList.java:518) at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.OverlapClosure.equals(OverlapClosure.java:103) at java.util.HashMap.getNode(HashMap.java:578) at java.util.HashMap.containsKey(HashMap.java:595) at java.util.HashSet.contains(HashSet.java:203) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181) at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:143) at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread0" #10 daemon prio=5 os_prio=0 tid=0x00002b077825d000 nid=0xfa18 runnable [0x00002b079c3a2000] java.lang.Thread.State: RUNNABLE at java.lang.System.identityHashCode(Native Method) at aprove.Framework.Utility.Graph.Node.hashCode(Node.java:110) at aprove.Framework.Utility.Graph.EdgeEquality.hashCode(EdgeEquality.java:55) at java.util.AbstractList.hashCode(AbstractList.java:541) at java.util.HashMap.hash(HashMap.java:338) at java.util.HashMap.containsKey(HashMap.java:595) at java.util.HashSet.contains(HashSet.java:203) at aprove.DPFramework.BasicStructures.Matchbounds.MatchBound.getMatchingPaths(MatchBound.java:338) at aprove.DPFramework.BasicStructures.Matchbounds.MatchBound.getCertificate(MatchBound.java:573) at aprove.DPFramework.TRSProblem.Processors.RFCMatchBoundsProcessor.processQTRS(RFCMatchBoundsProcessor.java:65) at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002b0778191800 nid=0xfa15 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002b0778184000 nid=0xfa14 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002b0778182000 nid=0xfa13 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002b077817f800 nid=0xfa12 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002b077817e000 nid=0xfa11 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002b077814a000 nid=0xfa10 in Object.wait() [0x00002b078fa95000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000441f29bc0> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) - locked <0x0000000441f29bc0> (a java.lang.ref.ReferenceQueue$Lock) at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002b0778145800 nid=0xfa0f in Object.wait() [0x00002b078f994000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000441f29df0> (a java.lang.ref.Reference$Lock) at java.lang.Object.wait(Object.java:502) at java.lang.ref.Reference.tryHandlePending(Reference.java:191) - locked <0x0000000441f29df0> (a java.lang.ref.Reference$Lock) at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) "main" #1 prio=5 os_prio=0 tid=0x00002b0778008800 nid=0xfa08 in Object.wait() [0x00002b077320f000] java.lang.Thread.State: WAITING (on object monitor) at java.lang.Object.wait(Native Method) - waiting on <0x0000000440011e00> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at java.lang.Object.wait(Object.java:502) at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) - locked <0x0000000440011e00> (a aprove.Strategies.ExecutableStrategies.impl.Handle) at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) at aprove.Runtime.AProVE.run(AProVE.java:101) at aprove.CommandLineInterface.Main.run(Main.java:94) at aprove.CommandLineInterface.Main.doMain(Main.java:42) at aprove.Main.doMain(Main.java:54) at aprove.Main.main(Main.java:20) "VM Thread" os_prio=0 tid=0x00002b077813e000 nid=0xfa0e runnable "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002b077801e000 nid=0xfa0a runnable "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002b077801f800 nid=0xfa0b runnable "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002b0778021800 nid=0xfa0c runnable "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002b0778023800 nid=0xfa0d runnable "VM Periodic Task Thread" os_prio=0 tid=0x00002b077819c000 nid=0xfa16 waiting on condition JNI global references: 394 Heap PSYoungGen total 4281856K, used 1323594K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) eden space 3670528K, 36% used [0x0000000695580000,0x00000006e6212ae0,0x0000000775600000) from space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) to space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) ParOldGen total 9786880K, used 68421K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) object space 9786880K, 0% used [0x0000000440000000,0x00000004442d15c0,0x0000000695580000) Metaspace used 20916K, capacity 21138K, committed 21504K, reserved 1069056K class space used 2428K, capacity 2499K, committed 2560K, reserved 1048576K