Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487084828
details
property
value
status
memout
benchmark
size-12-alpha-3-num-532.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)
3.59449 seconds
cpu usage
11.1397
user time
10.6923
system time
0.44736
max virtual memory
1.40313836E8
max residence set size
1229520.0
stage attributes
unavailable
output
2020-06-22 18:00:08 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "ThreadPoolThread90" #117 daemon prio=6 os_prio=0 tid=0x00002af30002a800 nid=0x22f6 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread89" #116 daemon prio=6 os_prio=0 tid=0x00002af300033000 nid=0x22f4 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread88" #115 daemon prio=6 os_prio=0 tid=0x00002af300026000 nid=0x22f2 runnable [0x00002af2b3bcf000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.run(Thread.java:747) "ThreadPoolThread87" #114 daemon prio=6 os_prio=0 tid=0x00002af300014000 nid=0x22e0 runnable [0x00002af2b80ff000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.run(Thread.java:747) "ThreadPoolThread86" #113 daemon prio=6 os_prio=0 tid=0x00002af300027800 nid=0x22de runnable [0x00002af2b8402000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.run(Thread.java:747) "ThreadPoolThread85" #112 daemon prio=6 os_prio=0 tid=0x00002af30002e000 nid=0x22dc runnable [0x00002af2b8907000] java.lang.Thread.State: RUNNABLE at java.lang.Thread.run(Thread.java:747) "ThreadPoolThread84" #111 daemon prio=6 os_prio=0 tid=0x00002af30003a000 nid=0x22d8 runnable [0x00002af2b8805000] java.lang.Thread.State: RUNNABLE at java.util.LinkedHashMap$LinkedKeySet.iterator(LinkedHashMap.java:543) at java.util.HashSet.iterator(HashSet.java:172) at immutables.Immutable.ImmutableLinkedHashSet.iterator(Unknown Source) at java.util.AbstractCollection.addAll(AbstractCollection.java:343) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:497) 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) "ThreadPoolThread82" #109 daemon prio=6 os_prio=0 tid=0x00002af300038800 nid=0x22d5 runnable [0x00002af2b8704000] java.lang.Thread.State: RUNNABLE at java.lang.String.split(String.java:2377) at aprove.Framework.Algebra.Polynomials.IndefinitePart.export(IndefinitePart.java:1320) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.export(SimplePolynomial.java:1922) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.export(SimplePolynomial.java:1894) at aprove.Framework.Algebra.Polynomials.SimplePolynomial.toString(SimplePolynomial.java:1889) at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:107) at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 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) "ThreadPoolThread81" #108 daemon prio=6 os_prio=0 tid=0x00002af300024000 nid=0x22d4 runnable [0x00002af2b39cc000] java.lang.Thread.State: RUNNABLE at java.lang.Object.hashCode(Native Method) at aprove.Framework.Utility.GenericStructures.Pair.hashCode(Pair.java:89) at java.util.HashMap.hash(HashMap.java:338) at java.util.HashMap.put(HashMap.java:611) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.GPoly$GPolySkeleton.putMonomials(GPoly.java:389) at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.casePlusNode(FlatteningVisitor.java:152) 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.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: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)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard