details

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

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	6.09564 seconds
cpu usage	20.2445
user time	19.3824
system time	0.862039
max virtual memory	1.56619384E8
max residence set size	2761572.0

stage attributes

unavailable

output

12.01/3.92 2019-03-29 19:44:16 12.01/3.92 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.01/3.92 12.01/3.92 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002af378006800 nid=0xd8e6 runnable [0x00002af31feb5000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.lang.Thread.run(Thread.java:747) 12.01/3.92 12.01/3.92 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002af39c006000 nid=0xd8e5 runnable [0x00002af31fe7c000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.lang.Thread.run(Thread.java:747) 12.01/3.92 12.01/3.92 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002af394004800 nid=0xd8e4 runnable [0x00002af2e7ff4000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.lang.Thread.run(Thread.java:747) 12.01/3.92 12.01/3.92 "ThreadPoolThread61" #92 daemon prio=6 os_prio=0 tid=0x00002af348031000 nid=0xd8dd runnable [0x00002af31fd42000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.lang.Thread.run(Thread.java:747) 12.01/3.92 12.01/3.92 "ThreadPoolThread59" #88 daemon prio=6 os_prio=0 tid=0x00002af348012800 nid=0xd8cd runnable [0x00002af31f83c000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.util.HashMap.putVal(HashMap.java:642) 12.01/3.92 at java.util.HashMap.put(HashMap.java:611) 12.01/3.92 at java.util.HashSet.add(HashSet.java:219) 12.01/3.92 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.addActiveConstraints(Interpretation.java:889) 12.01/3.92 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveCondition(Interpretation.java:843) 12.01/3.92 at aprove.DPFramework.Orders.Utility.POLO.Interpretation.getActiveRuleConstraints(Interpretation.java:729) 12.01/3.92 at aprove.GraphUserInterface.Factories.Solvers.POLOFactory.getSolver(POLOFactory.java:254) 12.01/3.92 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:63) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.01/3.92 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.01/3.92 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.01/3.92 at java.lang.Thread.run(Thread.java:748) 12.01/3.92 12.01/3.92 "ThreadPoolThread58" #87 daemon prio=6 os_prio=0 tid=0x00002af34801e000 nid=0xd8cc runnable [0x00002af2e77b9000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at aprove.Framework.Algebra.Polynomials.VarPolynomial.createVariable(VarPolynomial.java:187) 12.01/3.92 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.getInterpretation(NegPoloInterpretation.java:337) 12.01/3.92 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.interpret(NegPoloInterpretation.java:670) 12.01/3.92 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.encode(NegPoloInterpretation.java:456) 12.01/3.92 at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:181) 12.01/3.92 at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.01/3.92 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.01/3.92 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.01/3.92 at java.lang.Thread.run(Thread.java:748) 12.01/3.92 12.01/3.92 "ThreadPoolThread56" #85 daemon prio=6 os_prio=0 tid=0x00002af348025000 nid=0xd8ca runnable [0x00002af31fe42000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.util.TreeMap.getFirstEntry(TreeMap.java:2126) 12.01/3.92 at java.util.TreeMap.keyIterator(TreeMap.java:1110) 12.01/3.92 at java.util.TreeMap$KeySet.iterator(TreeMap.java:1123) 12.01/3.92 at java.util.TreeSet.iterator(TreeSet.java:181) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:300) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition$2.compare(QActiveCondition.java:289) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:574) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 12.01/3.92 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.01/3.92 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.01/3.92 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.01/3.92 at java.lang.Thread.run(Thread.java:748) 12.01/3.92 12.01/3.92 "ThreadPoolThread55" #84 daemon prio=6 os_prio=0 tid=0x00002af34802f000 nid=0xd8c9 runnable [0x00002af31f439000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.util.TreeMap$KeyIterator.<init>(TreeMap.java:1261) 12.01/3.92 at java.util.TreeMap.keyIterator(TreeMap.java:1110) 12.01/3.92 at java.util.TreeMap$KeySet.iterator(TreeMap.java:1123) 12.01/3.92 at java.util.TreeSet.iterator(TreeSet.java:181) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition.maybeInsertForUnion(QActiveCondition.java:229) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:171) 12.01/3.92 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:138) 12.01/3.92 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.01/3.92 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.01/3.92 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.01/3.92 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.01/3.92 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.01/3.92 at java.lang.Thread.run(Thread.java:748) 12.01/3.92 12.01/3.92 "ThreadPoolThread51" #78 daemon prio=6 os_prio=0 tid=0x00002af348027000 nid=0xd8c2 runnable [0x00002af31fc40000] 12.01/3.92 java.lang.Thread.State: RUNNABLE 12.01/3.92 at java.util.Vector.<init>(Vector.java:135) 12.01/3.92 at java.util.Vector.<init>(Vector.java:148) 12.01/3.92 at java.util.Vector.<init>(Vector.java:157) 12.01/3.92 at java.util.Stack.<init>(Stack.java:53) 12.01/3.92 at aprove.DPFramework.BasicStructures.Unification.Unification.finish(Unification.java:189) 12.01/3.92 at aprove.DPFramework.BasicStructures.Unification.Unification.unify(Unification.java:147) 12.01/3.92 at aprove.DPFramework.BasicStructures.Unification.Unification.getMgu(Unification.java:120) 12.01/3.92 at aprove.DPFramework.BasicStructures.TRSTerm.getMGU(TRSTerm.java:397) 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