11.98/3.88 2019-03-29 15:37:47 11.98/3.88 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 11.98/3.88 11.98/3.88 "ThreadPoolThread67" #88 daemon prio=6 os_prio=0 tid=0x00002abbd4035800 nid=0xe250 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "ThreadPoolThread66" #87 daemon prio=6 os_prio=0 tid=0x00002abbd4033800 nid=0xe24d waiting for monitor entry [0x00002abc28703000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 11.98/3.88 - waiting to lock <0x0000000440010da0> (a aprove.Strategies.Util.PrioritizableThreadPool) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread65" #86 daemon prio=6 os_prio=0 tid=0x00002abbd4031800 nid=0xe248 waiting for monitor entry [0x00002abc28602000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) 11.98/3.88 - locked <0x0000000440010da0> (a aprove.Strategies.Util.PrioritizableThreadPool) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread64" #85 daemon prio=6 os_prio=0 tid=0x00002abbd4030000 nid=0xe241 runnable [0x00002abc28500000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:88) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 11.98/3.88 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread63" #84 daemon prio=6 os_prio=0 tid=0x00002abbd402f000 nid=0xe233 waiting for monitor entry [0x00002abbab736000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread62" #83 daemon prio=6 os_prio=0 tid=0x00002abbd402e000 nid=0xe232 runnable [0x00002abbaae30000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.HashMap.put(HashMap.java:611) 11.98/3.88 at java.util.HashSet.add(HashSet.java:219) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildOr(NonCountingCircuitFactory.java:272) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildOr(AbstractFormulaFactory.java:82) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.build2or3Circuit(ArithmeticCircuitFactory.java:882) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:802) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:536) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread61" #82 daemon prio=6 os_prio=0 tid=0x00002abbd4024000 nid=0xe231 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: TERMINATED 11.98/3.88 11.98/3.88 "ThreadPoolThread60" #81 daemon prio=6 os_prio=0 tid=0x00002abbd4023000 nid=0xe230 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: TERMINATED 11.98/3.88 11.98/3.88 "ThreadPoolThread59" #80 daemon prio=6 os_prio=0 tid=0x00002abbd4022800 nid=0xe22f runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: TERMINATED 11.98/3.88 11.98/3.88 "ThreadPoolThread58" #79 daemon prio=6 os_prio=0 tid=0x00002abbd4021800 nid=0xe22e runnable [0x00002abb6fdbe000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.UNIXProcess.forkAndExec(Native Method) 11.98/3.88 at java.lang.UNIXProcess.(UNIXProcess.java:247) 11.98/3.88 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 11.98/3.88 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:620) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:450) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:347) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 11.98/3.88 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread57" #78 daemon prio=6 os_prio=0 tid=0x00002abbd400b800 nid=0xe22d waiting for monitor entry [0x00002abbabe3d000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread56" #77 daemon prio=6 os_prio=0 tid=0x00002abbd4027000 nid=0xe22c runnable [0x00002abbaba3a000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.ArrayList.rangeCheck(ArrayList.java:652) 11.98/3.88 at java.util.ArrayList.remove(ArrayList.java:492) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:133) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPower(PlainSPCToCircuitConverter.java:629) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:519) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:152) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:77) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.TheoryAtom.apply(TheoryAtom.java:78) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.AndFormula.apply(AndFormula.java:56) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:188) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:174) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:255) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread55" #76 daemon prio=6 os_prio=0 tid=0x00002abbd4010800 nid=0xe22b runnable [0x00002abc281ff000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:88) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 11.98/3.88 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread54" #75 daemon prio=6 os_prio=0 tid=0x00002abbd402a800 nid=0xe22a waiting for monitor entry [0x00002abc280fd000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread51" #72 daemon prio=6 os_prio=0 tid=0x00002abbd4028800 nid=0xe227 runnable [0x00002abbabf3f000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.HashMap.put(HashMap.java:611) 11.98/3.88 at java.util.HashSet.add(HashSet.java:219) 11.98/3.88 at java.util.AbstractCollection.addAll(AbstractCollection.java:344) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:91) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 11.98/3.88 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread45" #66 daemon prio=6 os_prio=0 tid=0x00002abbd4020800 nid=0xe221 waiting for monitor entry [0x00002abb6fcbc000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:268) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread44" #65 daemon prio=6 os_prio=0 tid=0x00002abbd401c800 nid=0xe220 runnable [0x00002abb6f6b7000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.calculateInnerVariables(OrderPoly.java:88) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.(OrderPoly.java:60) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.wrap(OrderPolyFactory.java:63) 11.98/3.88 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177) 11.98/3.88 at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:275) 11.98/3.88 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread43" #64 daemon prio=6 os_prio=0 tid=0x00002abbd401b800 nid=0xe21f waiting for monitor entry [0x00002abbab031000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread42" #63 daemon prio=6 os_prio=0 tid=0x00002abbd4013000 nid=0xe21e runnable [0x00002abbab332000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.Thread.setPriority0(Native Method) 11.98/3.88 at java.lang.Thread.setPriority(Thread.java:1095) 11.98/3.88 at java.lang.Thread.init(Thread.java:417) 11.98/3.88 at java.lang.Thread.init(Thread.java:349) 11.98/3.88 at java.lang.Thread.(Thread.java:678) 11.98/3.88 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$10/1466629678.newThread(Unknown Source) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 11.98/3.88 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 11.98/3.88 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$11/1392447284.run(Unknown Source) 11.98/3.88 at java.security.AccessController.doPrivileged(Native Method) 11.98/3.88 at java.lang.UNIXProcess.(UNIXProcess.java:257) 11.98/3.88 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 11.98/3.88 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:620) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:450) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:347) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 11.98/3.88 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:264) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread39" #60 daemon prio=6 os_prio=0 tid=0x00002abbd401e800 nid=0xe21b runnable [0x00002abbabb39000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.ClassLoader.defineClass1(Native Method) 11.98/3.88 at java.lang.ClassLoader.defineClass(ClassLoader.java:763) 11.98/3.88 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 11.98/3.88 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 11.98/3.88 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 11.98/3.88 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 11.98/3.88 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 11.98/3.88 at java.security.AccessController.doPrivileged(Native Method) 11.98/3.88 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 11.98/3.88 - locked <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread38" #59 daemon prio=6 os_prio=0 tid=0x00002abbd400d000 nid=0xe21a waiting for monitor entry [0x00002abbab635000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread37" #58 daemon prio=6 os_prio=0 tid=0x00002abbd401a000 nid=0xe219 waiting for monitor entry [0x00002abb6f9b9000] 11.98/3.88 java.lang.Thread.State: BLOCKED (on object monitor) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 11.98/3.88 - waiting to lock <0x00000006a9c98e20> (a java.lang.Object) 11.98/3.88 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 11.98/3.88 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NotFormula.label(NotFormula.java:72) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.Formulae.NaryJunctorFormula.label(NaryJunctorFormula.java:79) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.toEDimacsArrays(FormulaToDimacsConverter.java:285) 11.98/3.88 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:93) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 11.98/3.88 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread35" #56 daemon prio=6 os_prio=0 tid=0x00002abbd4015000 nid=0xe217 runnable [0x00002abbab433000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.Thread.setPriority0(Native Method) 11.98/3.88 at java.lang.Thread.setPriority(Thread.java:1095) 11.98/3.88 at java.lang.Thread.init(Thread.java:417) 11.98/3.88 at java.lang.Thread.init(Thread.java:349) 11.98/3.88 at java.lang.Thread.(Thread.java:678) 11.98/3.88 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$10/1466629678.newThread(Unknown Source) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 11.98/3.88 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 11.98/3.88 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$11/1392447284.run(Unknown Source) 11.98/3.88 at java.security.AccessController.doPrivileged(Native Method) 11.98/3.88 at java.lang.UNIXProcess.(UNIXProcess.java:257) 11.98/3.88 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 11.98/3.88 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:620) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:450) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:347) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 11.98/3.88 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 11.98/3.88 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 11.98/3.88 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread34" #55 daemon prio=6 os_prio=0 tid=0x00002abbd400a800 nid=0xe216 runnable [0x00002abbabc3b000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.Thread.setPriority0(Native Method) 11.98/3.88 at java.lang.Thread.setPriority(Thread.java:1095) 11.98/3.88 at java.lang.Thread.init(Thread.java:417) 11.98/3.88 at java.lang.Thread.init(Thread.java:349) 11.98/3.88 at java.lang.Thread.(Thread.java:678) 11.98/3.88 at java.lang.UNIXProcess.lambda$null$0(UNIXProcess.java:229) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$10/1466629678.newThread(Unknown Source) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor$Worker.(ThreadPoolExecutor.java:619) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.addWorker(ThreadPoolExecutor.java:932) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1378) 11.98/3.88 at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) 11.98/3.88 at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) 11.98/3.88 at java.lang.UNIXProcess$$Lambda$11/1392447284.run(Unknown Source) 11.98/3.88 at java.security.AccessController.doPrivileged(Native Method) 11.98/3.88 at java.lang.UNIXProcess.(UNIXProcess.java:257) 11.98/3.88 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 11.98/3.88 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:620) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:450) 11.98/3.88 at java.lang.Runtime.exec(Runtime.java:347) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 11.98/3.88 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.(MiniSATFileChecker.java:114) 11.98/3.88 at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) 11.98/3.88 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) 11.98/3.88 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 11.98/3.88 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 11.98/3.88 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 11.98/3.88 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 11.98/3.88 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "process reaper" #29 daemon prio=10 os_prio=0 tid=0x00002abbe0023000 nid=0xe1f8 waiting on condition [0x00002abb67f7c000] 11.98/3.88 java.lang.Thread.State: TIMED_WAITING (parking) 11.98/3.88 at sun.misc.Unsafe.park(Native Method) 11.98/3.88 - parking to wait for <0x000000044141fd30> (a java.util.concurrent.SynchronousQueue$TransferStack) 11.98/3.88 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 11.98/3.88 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 11.98/3.88 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 11.98/3.88 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 11.98/3.88 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread16" #28 daemon prio=6 os_prio=0 tid=0x00002abbd4017000 nid=0xe1f7 runnable [0x00002abbab535000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.HashMap.put(HashMap.java:611) 11.98/3.88 at java.util.HashSet.add(HashSet.java:219) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.buildTermsWithSameBase(EnrichmentBuilder.java:377) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.buildTermsWithSameBase(EnrichmentBuilder.java:360) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:149) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread11" #23 daemon prio=6 os_prio=0 tid=0x00002abbd400e800 nid=0xe1f1 runnable [0x00002abbaaf31000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.HashMap.put(HashMap.java:611) 11.98/3.88 at java.util.HashSet.add(HashSet.java:219) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.buildTermsWithSameBase(EnrichmentBuilder.java:377) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.buildTermsWithSameBase(EnrichmentBuilder.java:360) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.createER(EnrichmentBuilder.java:149) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSEnrichmentBuilder.updateEnrichedTRS(TRSEnrichmentBuilder.java:43) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.EnrichmentBuilder.addToSignature(EnrichmentBuilder.java:69) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.resolveConflictsAndExtendSignatureOfTA(TRSBounds.java:1292) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.createCompatibleTA(TRSBounds.java:709) 11.98/3.88 at aprove.DPFramework.BasicStructures.Matchbounds.TRSBounds.getCertificate(TRSBounds.java:517) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSRoofMatchBoundsTAProcessor.processQTRS(QTRSRoofMatchBoundsTAProcessor.java:90) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "TimeRefresherThread" #19 daemon prio=6 os_prio=0 tid=0x00002abbd4009800 nid=0xe1ed runnable [0x00002abb6fbbd000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at sun.management.ThreadImpl.getThreadTotalCpuTime0(Native Method) 11.98/3.88 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:267) 11.98/3.88 at sun.management.ThreadImpl.getThreadCpuTime(ThreadImpl.java:226) 11.98/3.88 at aprove.Strategies.Abortions.TrackThread.getCpuIncrease(TrackThread.java:129) 11.98/3.88 at aprove.Strategies.Abortions.TrackThread.getTimeIncrease(TrackThread.java:121) 11.98/3.88 - locked <0x000000044022b830> (a aprove.Strategies.Abortions.TrackThreadPool) 11.98/3.88 at aprove.Strategies.Abortions.TrackThread.checkTime(TrackThread.java:113) 11.98/3.88 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.doPoll(TimeRefresher.java:65) 11.98/3.88 at aprove.Strategies.Abortions.TimeRefresher$TimeRefresherThread.run(TimeRefresher.java:54) 11.98/3.88 11.98/3.88 "DefaultMachine" #18 daemon prio=6 os_prio=0 tid=0x00002abb54815800 nid=0xe1ec runnable [0x00002abb6fabc000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.lang.Thread.isInterrupted(Native Method) 11.98/3.88 at java.lang.Thread.interrupted(Thread.java:947) 11.98/3.88 at java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireInterruptibly(AbstractQueuedSynchronizer.java:1219) 11.98/3.88 at java.util.concurrent.locks.ReentrantLock.lockInterruptibly(ReentrantLock.java:335) 11.98/3.88 at java.util.concurrent.LinkedBlockingQueue.take(LinkedBlockingQueue.java:439) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.impl.DefaultMachine.run(DefaultMachine.java:169) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread2" #12 daemon prio=5 os_prio=0 tid=0x00002abb5425c800 nid=0xe1e6 runnable [0x00002abb6f8ba000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at java.util.HashMap.put(HashMap.java:611) 11.98/3.88 at java.util.HashSet.add(HashSet.java:219) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.rotate(WordPattern.java:56) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.rotate(DerivationPattern.java:83) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:112) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "ThreadPoolThread1" #11 daemon prio=5 os_prio=0 tid=0x00002abb54256800 nid=0xe1e5 runnable [0x00002abb6f7b9000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 at immutables.Immutable.ImmutableIterator.hasNext(Unknown Source) 11.98/3.88 at immutables.Immutable.ImmutableListIterator.hasNext(Unknown Source) 11.98/3.88 at java.util.AbstractList.equals(AbstractList.java:520) 11.98/3.88 at immutables.Immutable.ImmutableArrayList.equals(Unknown Source) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.StringPattern.equals(StringPattern.java:68) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.WordPattern.equals(WordPattern.java:136) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.DerivationPattern.equals(DerivationPattern.java:750) 11.98/3.88 at java.util.HashMap.getNode(HashMap.java:571) 11.98/3.88 at java.util.HashMap.containsKey(HashMap.java:595) 11.98/3.88 at java.util.HashSet.contains(HashSet.java:203) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.testAndInsert(NonLoopFinder.java:181) 11.98/3.88 at aprove.DPFramework.TRSProblem.Utility.SRSNonLoop.NonLoopFinder.findNonLoop(NonLoopFinder.java:112) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.SRSNonLoopProcessor.processQTRS(SRSNonLoopProcessor.java:69) 11.98/3.88 at aprove.DPFramework.TRSProblem.Processors.QTRSProcessor.process(QTRSProcessor.java:34) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.98/3.88 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.98/3.88 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.98/3.88 at java.lang.Thread.run(Thread.java:748) 11.98/3.88 11.98/3.88 "Service Thread" #8 daemon prio=9 os_prio=0 tid=0x00002abb54191800 nid=0xe1e2 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "C1 CompilerThread2" #7 daemon prio=9 os_prio=0 tid=0x00002abb54184000 nid=0xe1e1 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "C2 CompilerThread1" #6 daemon prio=9 os_prio=0 tid=0x00002abb54182000 nid=0xe1e0 runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "C2 CompilerThread0" #5 daemon prio=9 os_prio=0 tid=0x00002abb5417f800 nid=0xe1df runnable [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "Signal Dispatcher" #4 daemon prio=9 os_prio=0 tid=0x00002abb5417e000 nid=0xe1de waiting on condition [0x0000000000000000] 11.98/3.88 java.lang.Thread.State: RUNNABLE 11.98/3.88 11.98/3.88 "Finalizer" #3 daemon prio=8 os_prio=0 tid=0x00002abb5414a000 nid=0xe1dd in Object.wait() [0x00002abb6ee10000] 11.98/3.88 java.lang.Thread.State: WAITING (on object monitor) 11.98/3.88 at java.lang.Object.wait(Native Method) 11.98/3.88 - waiting on <0x00000004433e6010> (a java.lang.ref.ReferenceQueue$Lock) 11.98/3.88 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:143) 11.98/3.88 - locked <0x00000004433e6010> (a java.lang.ref.ReferenceQueue$Lock) 11.98/3.88 at java.lang.ref.ReferenceQueue.remove(ReferenceQueue.java:164) 11.98/3.88 at java.lang.ref.Finalizer$FinalizerThread.run(Finalizer.java:209) 11.98/3.88 11.98/3.88 "Reference Handler" #2 daemon prio=10 os_prio=0 tid=0x00002abb54145800 nid=0xe1dc in Object.wait() [0x00002abb6ed0f000] 11.98/3.88 java.lang.Thread.State: WAITING (on object monitor) 11.98/3.88 at java.lang.Object.wait(Native Method) 11.98/3.88 - waiting on <0x00000004433e6240> (a java.lang.ref.Reference$Lock) 11.98/3.88 at java.lang.Object.wait(Object.java:502) 11.98/3.88 at java.lang.ref.Reference.tryHandlePending(Reference.java:191) 11.98/3.88 - locked <0x00000004433e6240> (a java.lang.ref.Reference$Lock) 11.98/3.88 at java.lang.ref.Reference$ReferenceHandler.run(Reference.java:153) 11.98/3.88 11.98/3.88 "main" #1 prio=5 os_prio=0 tid=0x00002abb54008800 nid=0xe1d5 in Object.wait() [0x00002abb4e528000] 11.98/3.88 java.lang.Thread.State: WAITING (on object monitor) 11.98/3.88 at java.lang.Object.wait(Native Method) 11.98/3.88 - waiting on <0x00000004400126a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 11.98/3.88 at java.lang.Object.wait(Object.java:502) 11.98/3.88 at aprove.Strategies.ExecutableStrategies.impl.Handle.waitForFinish(Handle.java:42) 11.98/3.88 - locked <0x00000004400126a8> (a aprove.Strategies.ExecutableStrategies.impl.Handle) 11.98/3.88 at aprove.Runtime.AProVE.waitForHandle(AProVE.java:32) 11.98/3.88 at aprove.Runtime.AProVE.run(AProVE.java:101) 11.98/3.88 at aprove.CommandLineInterface.Main.run(Main.java:94) 11.98/3.88 at aprove.CommandLineInterface.Main.doMain(Main.java:42) 11.98/3.88 at aprove.Main.doMain(Main.java:54) 11.98/3.88 at aprove.Main.main(Main.java:20) 11.98/3.88 11.98/3.88 "VM Thread" os_prio=0 tid=0x00002abb5413e000 nid=0xe1db runnable 11.98/3.88 11.98/3.88 "GC task thread#0 (ParallelGC)" os_prio=0 tid=0x00002abb5401e000 nid=0xe1d7 runnable 11.98/3.88 11.98/3.88 "GC task thread#1 (ParallelGC)" os_prio=0 tid=0x00002abb5401f800 nid=0xe1d8 runnable 11.98/3.88 11.98/3.88 "GC task thread#2 (ParallelGC)" os_prio=0 tid=0x00002abb54021800 nid=0xe1d9 runnable 11.98/3.88 11.98/3.88 "GC task thread#3 (ParallelGC)" os_prio=0 tid=0x00002abb54023800 nid=0xe1da runnable 11.98/3.88 11.98/3.88 "VM Periodic Task Thread" os_prio=0 tid=0x00002abb541ac000 nid=0xe1e3 waiting on condition 11.98/3.88 11.98/3.88 JNI global references: 325 11.98/3.88 11.98/3.88 Heap 11.98/3.88 PSYoungGen total 4281856K, used 1035691K [0x0000000695580000, 0x00000007c0000000, 0x00000007c0000000) 11.98/3.88 eden space 3670528K, 28% used [0x0000000695580000,0x00000006d48eac88,0x0000000775600000) 11.98/3.88 from space 611328K, 0% used [0x000000079ab00000,0x000000079ab00000,0x00000007c0000000) 11.98/3.88 to space 611328K, 0% used [0x0000000775600000,0x0000000775600000,0x000000079ab00000) 11.98/3.88 ParOldGen total 9786880K, used 90271K [0x0000000440000000, 0x0000000695580000, 0x0000000695580000) 11.98/3.88 object space 9786880K, 0% used [0x0000000440000000,0x0000000445827d90,0x0000000695580000) 11.98/3.88 Metaspace used 20856K, capacity 21122K, committed 21504K, reserved 1069056K 11.98/3.88 class space used 2415K, capacity 2499K, committed 2560K, reserved 1048576K 11.98/3.88 49.70/13.53 EOF