Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432293977
details
property
value
status
memout
benchmark
multum6.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Secret_06_SRS
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
7.78402 seconds
cpu usage
26.8248
user time
25.5972
system time
1.22764
max virtual memory
1.38926676E8
max residence set size
3779324.0
stage attributes
unavailable
output
12.15/3.93 2019-03-29 17:03:33 12.15/3.93 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.15/3.93 12.15/3.93 "ThreadPoolThread60" #84 daemon prio=6 os_prio=0 tid=0x00002af01405c000 nid=0x290b runnable [0x00002aefeaf30000] 12.15/3.93 java.lang.Thread.State: RUNNABLE 12.15/3.93 at java.math.BigInteger.shiftLeft(BigInteger.java:3099) 12.15/3.93 at java.math.BigInteger.multiplyByInt(BigInteger.java:1519) 12.15/3.93 at java.math.BigInteger.multiply(BigInteger.java:1499) 12.15/3.93 at aprove.Framework.Algebra.Polynomials.SimplePolynomial.times(SimplePolynomial.java:482) 12.15/3.93 at aprove.Framework.Algebra.Polynomials.VarPolynomial.times(VarPolynomial.java:606) 12.15/3.93 at aprove.Framework.Algebra.Polynomials.VarPolynomial.substituteVariables(VarPolynomial.java:851) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1408) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getPolynomialConstraint(Interpretation.java:519) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getPolynomialConstraints(Interpretation.java:950) 12.15/3.93 at aprove.DPFramework.Orders.Solvers.POLOSolver.createPoloConstraints(POLOSolver.java:428) 12.15/3.93 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:69) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.15/3.93 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.15/3.93 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.15/3.93 at java.lang.Thread.run(Thread.java:748) 12.15/3.93 12.15/3.93 "ThreadPoolThread59" #83 daemon prio=6 os_prio=0 tid=0x00002af01405a000 nid=0x290a runnable [0x00002aefeae2f000] 12.15/3.93 java.lang.Thread.State: RUNNABLE 12.15/3.93 at java.util.Collections$SingletonMap.values(Collections.java:4897) 12.15/3.93 at aprove.Framework.Algebra.Polynomials.VarPolynomial.<init>(VarPolynomial.java:115) 12.15/3.93 at aprove.Framework.Algebra.Polynomials.VarPolynomial.substituteVariables(VarPolynomial.java:849) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1408) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.interpretTerm(Interpretation.java:1401) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getPolynomialConstraint(Interpretation.java:519) 12.15/3.93 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getPolynomialConstraints(Interpretation.java:950) 12.15/3.93 at aprove.DPFramework.Orders.Solvers.POLOSolver.createPoloConstraints(POLOSolver.java:428) 12.15/3.93 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:69) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.15/3.93 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.15/3.93 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.15/3.93 at java.lang.Thread.run(Thread.java:748) 12.15/3.93 12.15/3.93 "ThreadPoolThread58" #82 daemon prio=6 os_prio=0 tid=0x00002af014059000 nid=0x2909 runnable [0x00002aefea829000] 12.15/3.93 java.lang.Thread.State: RUNNABLE 12.15/3.93 at java.lang.Object.hashCode(Native Method) 12.15/3.93 at java.util.AbstractSet.hashCode(AbstractSet.java:126) 12.15/3.93 at java.util.HashMap.hash(HashMap.java:338) 12.15/3.93 at java.util.HashMap.put(HashMap.java:611) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:253) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.times(FullSharingFactory.java:26) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:150) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.times(SimpleGPolyFlatRing.java:32) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:206) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.caseTimesNode(FlatteningVisitor.java:28) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 12.15/3.93 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 12.15/3.93 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 12.15/3.93 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:366) 12.15/3.93 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) 12.15/3.93 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 12.15/3.93 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.15/3.93 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.15/3.93 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.15/3.93 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.15/3.93 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.15/3.93 at java.lang.Thread.run(Thread.java:748) 12.15/3.93 12.15/3.93 "ThreadPoolThread57" #81 daemon prio=6 os_prio=0 tid=0x00002af014045800 nid=0x2908 runnable [0x00002aefead2d000] 12.15/3.93 java.lang.Thread.State: RUNNABLE 12.15/3.93 at java.lang.Throwable.fillInStackTrace(Native Method) 12.15/3.93 at java.lang.Throwable.fillInStackTrace(Throwable.java:783) 12.15/3.93 - locked <0x00000006b07ad590> (a java.lang.ArrayIndexOutOfBoundsException) 12.15/3.93 at java.lang.Throwable.<init>(Throwable.java:265) 12.15/3.93 at java.lang.Exception.<init>(Exception.java:66) 12.15/3.93 at java.lang.RuntimeException.<init>(RuntimeException.java:62) 12.15/3.93 at java.lang.IndexOutOfBoundsException.<init>(IndexOutOfBoundsException.java:56) 12.15/3.93 at java.lang.ArrayIndexOutOfBoundsException.<init>(ArrayIndexOutOfBoundsException.java:65) 12.15/3.93 at sun.reflect.generics.parser.SignatureParser.current(SignatureParser.java:95) 12.15/3.93 at sun.reflect.generics.parser.SignatureParser.parseSuperInterfaces(SignatureParser.java:559) 12.15/3.93 at sun.reflect.generics.parser.SignatureParser.parseClassSignature(SignatureParser.java:214) 12.15/3.93 at sun.reflect.generics.parser.SignatureParser.parseClassSig(SignatureParser.java:156) 12.15/3.93 at sun.reflect.generics.repository.ClassRepository.parse(ClassRepository.java:57)
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