Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432291013
details
property
value
status
memout
benchmark
size-12-alpha-3-num-541.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Waldmann_07_size12
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
8.43845 seconds
cpu usage
29.7084
user time
28.3079
system time
1.40049
max virtual memory
1.389143E8
max residence set size
3576172.0
stage attributes
unavailable
output
11.99/3.89 2019-03-29 13:04:46 11.99/3.89 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 11.99/3.89 11.99/3.89 "ThreadPoolThread59" #81 daemon prio=6 os_prio=0 tid=0x00002b92b0034800 nid=0xa8db runnable [0x00002b928736e000] 11.99/3.89 java.lang.Thread.State: RUNNABLE 11.99/3.89 at java.util.HashMap.resize(HashMap.java:677) 11.99/3.89 at java.util.HashMap.putVal(HashMap.java:628) 11.99/3.89 at java.util.HashMap.put(HashMap.java:611) 11.99/3.89 at java.util.HashSet.add(HashSet.java:219) 11.99/3.89 at java.util.AbstractCollection.addAll(AbstractCollection.java:344) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:494) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.99/3.89 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.99/3.89 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.99/3.89 at java.lang.Thread.run(Thread.java:748) 11.99/3.89 11.99/3.89 "ThreadPoolThread58" #80 daemon prio=6 os_prio=0 tid=0x00002b92b003f000 nid=0xa8da runnable [0x00002b928746e000] 11.99/3.89 java.lang.Thread.State: RUNNABLE 11.99/3.89 at java.util.HashMap.resize(HashMap.java:677) 11.99/3.89 at java.util.HashMap.putVal(HashMap.java:628) 11.99/3.89 at java.util.HashMap.put(HashMap.java:611) 11.99/3.89 at java.util.HashSet.add(HashSet.java:219) 11.99/3.89 at aprove.DPFramework.BasicStructures.Utility.FreshVarGenerator.namesFromVariables(FreshVarGenerator.java:36) 11.99/3.89 at aprove.DPFramework.BasicStructures.Utility.FreshVarGenerator.<init>(FreshVarGenerator.java:22) 11.99/3.89 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:271) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.99/3.89 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.99/3.89 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.99/3.89 at java.lang.Thread.run(Thread.java:748) 11.99/3.89 11.99/3.89 "ThreadPoolThread52" #74 daemon prio=6 os_prio=0 tid=0x00002b92b0034000 nid=0xa8d4 runnable [0x00002b9286d67000] 11.99/3.89 java.lang.Thread.State: RUNNABLE 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:169) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:66) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 11.99/3.89 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 11.99/3.89 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 11.99/3.89 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366) 11.99/3.89 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) 11.99/3.89 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 11.99/3.89 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 11.99/3.89 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 11.99/3.89 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 11.99/3.89 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 11.99/3.89 at java.lang.Thread.run(Thread.java:748) 11.99/3.89 11.99/3.89 "ThreadPoolThread51" #73 daemon prio=6 os_prio=0 tid=0x00002b92b001c000 nid=0xa8d3 runnable [0x00002b9286a64000] 11.99/3.89 java.lang.Thread.State: RUNNABLE 11.99/3.89 at java.util.TreeMap.putAll(TreeMap.java:313) 11.99/3.89 at java.util.TreeMap.<init>(TreeMap.java:185) 11.99/3.89 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.compareTo(SimplePolynomial.java:1812) 11.99/3.89 at aprove.Framework.Algebra.Polynomials.SimplePolyConstraint.compareTo(SimplePolyConstraint.java:575) 11.99/3.89 at aprove.Framework.Algebra.Polynomials.SimplePolyConstraint.compareTo(SimplePolyConstraint.java:42) 11.99/3.89 at java.util.HashMap.compareComparables(HashMap.java:371) 11.99/3.89 at java.util.HashMap$TreeNode.treeify(HashMap.java:1928) 11.99/3.89 at java.util.HashMap.treeifyBin(HashMap.java:771) 11.99/3.89 at java.util.HashMap.putVal(HashMap.java:643) 11.99/3.89 at java.util.HashMap.put(HashMap.java:611) 11.99/3.89 at java.util.HashSet.add(HashSet.java:219) 11.99/3.89 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.addActiveConstraints(Interpretation.java:889) 11.99/3.89 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveCondition(Interpretation.java:843) 11.99/3.89 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:729) 11.99/3.89 at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) 11.99/3.89 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) 11.99/3.89 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS_Standard 2019-03-29 03.29