details

property	value
status	memout
benchmark	04.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Gebhardt_06

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	5.10052 seconds
cpu usage	16.9125
user time	16.1697
system time	0.742791
max virtual memory	1.59243544E8
max residence set size	1956132.0

stage attributes

unavailable

output

8.14/2.86 2019-03-29 08:42:45 8.14/2.86 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 8.14/2.86 8.14/2.86 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002ae62801d800 nid=0x4aa5 waiting for monitor entry [0x00002ae5fd2f0000] 8.14/2.86 java.lang.Thread.State: BLOCKED (on object monitor) 8.14/2.86 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 8.14/2.86 - waiting to lock <0x00000006979acce8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 8.14/2.86 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 8.14/2.86 at java.lang.UNIXProcess$$Lambda$12/1046950018.run(Unknown Source) 8.14/2.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 8.14/2.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 8.14/2.86 at java.lang.Thread.run(Thread.java:748) 8.14/2.86 8.14/2.86 "process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002ae61c00c800 nid=0x4aa4 waiting on condition [0x00002ae5fd2b7000] 8.14/2.86 java.lang.Thread.State: TIMED_WAITING (parking) 8.14/2.86 at sun.misc.Unsafe.park(Native Method) 8.14/2.86 - parking to wait for <0x00000004400033a8> (a java.util.concurrent.SynchronousQueue$TransferStack) 8.14/2.86 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 8.14/2.86 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 8.14/2.86 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 8.14/2.86 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 8.14/2.86 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 8.14/2.86 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 8.14/2.86 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 8.14/2.86 at java.lang.Thread.run(Thread.java:748) 8.14/2.86 8.14/2.86 "ThreadPoolThread61" #86 daemon prio=6 os_prio=0 tid=0x00002ae5d802c800 nid=0x4aa3 runnable [0x00002ae5fd27d000] 8.14/2.86 java.lang.Thread.State: RUNNABLE 8.14/2.86 at java.lang.Object.hashCode(Native Method) 8.14/2.86 at java.util.AbstractSet.hashCode(AbstractSet.java:126) 8.14/2.86 at java.util.HashMap.hash(HashMap.java:338) 8.14/2.86 at java.util.HashMap.get(HashMap.java:556) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.plus(FullSharingFactory.java:178) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.plus(FullSharingFactory.java:26) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.plus(SimpleGPolyFlatRing.java:100) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Rings.SimpleGPolyFlatRing.plus(SimpleGPolyFlatRing.java:32) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.casePlusNode(FlatteningVisitor.java:149) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FlatteningVisitor.casePlusNode(FlatteningVisitor.java:28) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:68) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:69) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 8.14/2.86 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 8.14/2.86 at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157) 8.14/2.86 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.transformConstraint(ExoticPolyMatrixInterpretation.java:364) 8.14/2.86 at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:319) 8.14/2.86 at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.getActiveRuleConstraints(AbstractPolyMatrixInterpretation.java:320) 8.14/2.86 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:233) 8.14/2.86 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 8.14/2.86 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 8.14/2.86 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 8.14/2.86 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 8.14/2.86 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 8.14/2.86 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 8.14/2.86 at java.lang.Thread.run(Thread.java:748) 8.14/2.86 8.14/2.86 "ThreadPoolThread60" #85 daemon prio=6 os_prio=0 tid=0x00002ae5d802a800 nid=0x4aa2 runnable [0x00002ae5fd17b000] 8.14/2.86 java.lang.Thread.State: RUNNABLE 8.14/2.86 at java.lang.Object.hashCode(Native Method) 8.14/2.86 at java.util.HashMap.hash(HashMap.java:338) 8.14/2.86 at java.util.HashMap.put(HashMap.java:611) 8.14/2.86 at java.util.HashSet.add(HashSet.java:219) 8.14/2.86 at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildAnd(NonCountingCircuitFactory.java:69) 8.14/2.86 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildAnd(AbstractFormulaFactory.java:65) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:911) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGTCircuit(ArithmeticCircuitFactory.java:959) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildGECircuit(ArithmeticCircuitFactory.java:1226) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:104) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:284) 8.14/2.86 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 8.14/2.86 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 8.14/2.86 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 8.14/2.86 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 8.14/2.86 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 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