details

property	value
status	memout
benchmark	05.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)	7.55166 seconds
cpu usage	26.3072
user time	25.0358
system time	1.27143
max virtual memory	1.39834996E8
max residence set size	3510396.0

stage attributes

unavailable

output

10.77/3.54 2019-03-29 08:29:45 10.77/3.54 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 10.77/3.54 10.77/3.54 "ThreadPoolThread59" #83 daemon prio=6 os_prio=0 tid=0x00002accd8041000 nid=0x5026 runnable [0x00002acc9120d000] 10.77/3.54 java.lang.Thread.State: RUNNABLE 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:78) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSTerm.getStandardRenumbered(TRSTerm.java:477) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.getStandardRepresentation(NonTerminationProcessor.java:1196) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:355) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.77/3.54 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.77/3.54 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.77/3.54 at java.lang.Thread.run(Thread.java:748) 10.77/3.54 10.77/3.54 "ThreadPoolThread58" #82 daemon prio=6 os_prio=0 tid=0x00002accd8039800 nid=0x5025 runnable [0x00002acc91511000] 10.77/3.54 java.lang.Thread.State: RUNNABLE 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:67) 10.77/3.54 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renameVariables(TRSCompoundTerm.java:15) 10.77/3.54 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:274) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.77/3.54 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.77/3.54 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.77/3.54 at java.lang.Thread.run(Thread.java:748) 10.77/3.54 10.77/3.54 "ThreadPoolThread51" #75 daemon prio=6 os_prio=0 tid=0x00002accd8037800 nid=0x501e runnable [0x00002acc9110a000] 10.77/3.54 java.lang.Thread.State: RUNNABLE 10.77/3.54 at java.lang.ClassLoader.defineClass1(Native Method) 10.77/3.54 at java.lang.ClassLoader.defineClass(ClassLoader.java:763) 10.77/3.54 at java.security.SecureClassLoader.defineClass(SecureClassLoader.java:142) 10.77/3.54 at java.net.URLClassLoader.defineClass(URLClassLoader.java:467) 10.77/3.54 at java.net.URLClassLoader.access$100(URLClassLoader.java:73) 10.77/3.54 at java.net.URLClassLoader$1.run(URLClassLoader.java:368) 10.77/3.54 at java.net.URLClassLoader$1.run(URLClassLoader.java:362) 10.77/3.54 at java.security.AccessController.doPrivileged(Native Method) 10.77/3.54 at java.net.URLClassLoader.findClass(URLClassLoader.java:361) 10.77/3.54 at java.lang.ClassLoader.loadClass(ClassLoader.java:424) 10.77/3.54 - locked <0x0000000699d75330> (a java.lang.Object) 10.77/3.54 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 10.77/3.54 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 10.77/3.54 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:106) 10.77/3.54 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 10.77/3.54 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 10.77/3.54 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 10.77/3.54 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 10.77/3.54 at aprove.DPFramework.Orders.Solvers.POLOSolver.solveWithoutOptimizing(POLOSolver.java:230) 10.77/3.54 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:209) 10.77/3.54 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:53) 10.77/3.54 at aprove.DPFramework.TRSProblem.Solvers.RRRPoloSolver.solveRRR(RRRPoloSolver.java:20) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.MRRProcessor.processQDPProblem(MRRProcessor.java:61) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.77/3.54 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.77/3.54 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.77/3.54 at java.lang.Thread.run(Thread.java:748) 10.77/3.54 10.77/3.54 "ThreadPoolThread50" #74 daemon prio=6 os_prio=0 tid=0x00002accd8035800 nid=0x501d waiting for monitor entry [0x00002acc9100a000] 10.77/3.54 java.lang.Thread.State: BLOCKED (on object monitor) 10.77/3.54 at java.lang.ClassLoader.loadClass(ClassLoader.java:404) 10.77/3.54 - locked <0x0000000699d7a558> (a java.lang.Object) 10.77/3.54 at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:335) 10.77/3.54 at java.lang.ClassLoader.loadClass(ClassLoader.java:357) 10.77/3.54 at aprove.Framework.PropositionalLogic.FormulaToDimacsConverter.convert(FormulaToDimacsConverter.java:106) 10.77/3.54 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:137) 10.77/3.54 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) 10.77/3.54 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 10.77/3.54 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 10.77/3.54 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 10.77/3.54 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 10.77/3.54 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 10.77/3.54 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 10.77/3.54 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 10.77/3.54 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 10.77/3.54 at java.lang.Thread.run(Thread.java:748) 10.77/3.54 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