SRS_Standard 2019-03-29 03.29 pair #432289369

details
property	value
status	memout
benchmark	06.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	Bouchare_06
run statistics
property	value
solver	AProVE
configuration	standard
runtime (wallclock)	7.38024 seconds
cpu usage	25.02
user time	23.7006
system time	1.31945
max virtual memory	1.592737E8
max residence set size	3773232.0
stage attributes
unavailable
output
10.69/3.67	2019-03-29 19:24:18
10.69/3.67	Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode):
10.69/3.67	
10.69/3.67	"process reaper" #89 daemon prio=10 os_prio=0 tid=0x00002b6248003800 nid=0x426a runnable [0x0000000000000000]
10.69/3.67	   java.lang.Thread.State: RUNNABLE
10.69/3.67	
10.69/3.67	"process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002b6200010800 nid=0x4266 runnable [0x0000000000000000]
10.69/3.67	   java.lang.Thread.State: RUNNABLE
10.69/3.67	
10.69/3.67	"process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002b621c017800 nid=0x425b runnable [0x00002b61e7d57000]
10.69/3.67	   java.lang.Thread.State: RUNNABLE
10.69/3.67		at java.lang.Thread.run(Thread.java:747)
10.69/3.67	
10.69/3.67	"process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002b6250001800 nid=0x425a waiting on condition [0x00002b61e7d1e000]
10.69/3.67	   java.lang.Thread.State: TIMED_WAITING (parking)
10.69/3.67		at sun.misc.Unsafe.park(Native Method)
10.69/3.67		- parking to wait for  <0x0000000440e87288> (a java.util.concurrent.SynchronousQueue$TransferStack)
10.69/3.67		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
10.69/3.67		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
10.69/3.67		at java.lang.Thread.run(Thread.java:748)
10.69/3.67	
10.69/3.67	"process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002b6220027800 nid=0x4259 runnable [0x0000000000000000]
10.69/3.67	   java.lang.Thread.State: RUNNABLE
10.69/3.67	
10.69/3.67	"process reaper" #86 daemon prio=10 os_prio=0 tid=0x00002b6228006800 nid=0x4257 waiting on condition [0x00002b61e7cac000]
10.69/3.67	   java.lang.Thread.State: TIMED_WAITING (parking)
10.69/3.67		at sun.misc.Unsafe.park(Native Method)
10.69/3.67		- parking to wait for  <0x0000000440e87288> (a java.util.concurrent.SynchronousQueue$TransferStack)
10.69/3.67		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
10.69/3.67		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
10.69/3.67		at java.lang.Thread.run(Thread.java:748)
10.69/3.67	
10.69/3.67	"process reaper" #85 daemon prio=10 os_prio=0 tid=0x00002b6234002000 nid=0x4254 runnable [0x00002b61e7c73000]
10.69/3.67	   java.lang.Thread.State: TIMED_WAITING (parking)
10.69/3.67		at sun.misc.Unsafe.park(Native Method)
10.69/3.67		- parking to wait for  <0x0000000440e87288> (a java.util.concurrent.SynchronousQueue$TransferStack)
10.69/3.67		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
10.69/3.67		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
10.69/3.67		at java.lang.Thread.run(Thread.java:748)
10.69/3.67	
10.69/3.67	"process reaper" #84 daemon prio=10 os_prio=0 tid=0x00002b6254003000 nid=0x4250 waiting on condition [0x00002b61abff9000]
10.69/3.67	   java.lang.Thread.State: TIMED_WAITING (parking)
10.69/3.67		at sun.misc.Unsafe.park(Native Method)
10.69/3.67		- parking to wait for  <0x0000000440e87288> (a java.util.concurrent.SynchronousQueue$TransferStack)
10.69/3.67		at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460)
10.69/3.67		at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362)
10.69/3.67		at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134)
10.69/3.67		at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
10.69/3.67		at java.lang.Thread.run(Thread.java:748)
10.69/3.67	
10.69/3.67	"ThreadPoolThread61" #83 daemon prio=6 os_prio=0 tid=0x00002b621003d800 nid=0x423a runnable [0x00002b61e7a39000]
10.69/3.67	   java.lang.Thread.State: RUNNABLE
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.equals(GAtomicVar.java:124)
10.69/3.67		at java.util.HashMap.getNode(HashMap.java:571)
10.69/3.67		at java.util.LinkedHashMap.get(LinkedHashMap.java:440)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Variables.GAtomicVar.replace(GAtomicVar.java:53)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.VarSubstitutionVisitor.caseConcatNode(VarSubstitutionVisitor.java:238)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.ConcatNode.visit(ConcatNode.java:170)
10.69/3.67		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
10.69/3.67		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:63)
10.69/3.67		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66)
10.69/3.67		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPoly.visit(OrderPoly.java:157)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40)
10.69/3.67		at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.FullSharingFactory.substituteVariables(FullSharingFactory.java:421)
10.69/3.67		at aprove.DPFramework.Orders.Utility.GPOLO.OrderPolyFactory.substituteVariables(OrderPolyFactory.java:177)
10.69/3.67		at aprove.Framework.Algebra.PolyMatrices.PolyMatrixFactory.substituteVariables(PolyMatrixFactory.java:403)
10.69/3.67		at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:287)
10.69/3.67		at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277)
10.69/3.67		at aprove.DPFramework.Orders.Utility.PMATRO.AbstractPolyMatrixInterpretation.interpretTerm(AbstractPolyMatrixInterpretation.java:277)
10.69/3.67		at aprove.DPFramework.Orders.Utility.PMATRO.ExoticPolyMatrixInterpretation.fromTermConstraints(ExoticPolyMatrixInterpretation.java:277)
10.69/3.67		at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:235)
10.69/3.67		at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200)
10.69/3.67		at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47)
10.69/3.67		at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326)
10.69/3.67		at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377)
10.69/3.67		at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99)
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