Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432294643
details
property
value
status
memout
benchmark
random-289.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
Waldmann_19
run statistics
property
value
solver
AProVE
configuration
standard
runtime (wallclock)
13.9784 seconds
cpu usage
51.3893
user time
49.5351
system time
1.8542
max virtual memory
1.46450996E8
max residence set size
4398592.0
stage attributes
unavailable
output
31.31/8.85 2019-03-29 17:48:36 31.31/8.85 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 31.31/8.85 31.31/8.85 "ThreadPoolThread123" #168 daemon prio=6 os_prio=0 tid=0x00002b18c8020000 nid=0x6158 runnable [0x00002b187b8cc000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.UnificationNode.<init>(UnificationNode.java:38) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.UnificationDag.createNewNode(UnificationDag.java:27) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.UnificationDag.createNewNode(UnificationDag.java:18) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.TermPairDag.addTermWithFullSharing(TermPairDag.java:87) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.TermPairDag.addTermWithFullSharing(TermPairDag.java:95) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.TermPairDag.<init>(TermPairDag.java:56) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.UnificationDag.<init>(UnificationDag.java:22) 31.31/8.85 at aprove.DPFramework.BasicStructures.Unification.Unification.<init>(Unification.java:72) 31.31/8.85 at aprove.DPFramework.BasicStructures.TRSTerm.getMGU(TRSTerm.java:397) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:531) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 31.31/8.85 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 31.31/8.85 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 31.31/8.85 at java.lang.Thread.run(Thread.java:748) 31.31/8.85 31.31/8.85 "ThreadPoolThread121" #166 daemon prio=6 os_prio=0 tid=0x00002b18c8079000 nid=0x614e waiting on condition [0x0000000000000000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 31.31/8.85 "ThreadPoolThread120" #165 daemon prio=6 os_prio=0 tid=0x00002b18c800d000 nid=0x614c waiting on condition [0x0000000000000000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 31.31/8.85 "ThreadPoolThread117" #162 daemon prio=6 os_prio=0 tid=0x00002b18c8073000 nid=0x613c waiting on condition [0x00002b1881f8b000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:136) 31.31/8.85 - locked <0x0000000775bd7db0> (a aprove.Strategies.ExecutableStrategies.Executor) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor$Runner.onAborted(Executor.java:383) 31.31/8.85 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:102) 31.31/8.85 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 31.31/8.85 at java.lang.Thread.run(Thread.java:748) 31.31/8.85 31.31/8.85 "ThreadPoolThread116" #161 daemon prio=6 os_prio=0 tid=0x00002b18c8071000 nid=0x613b waiting on condition [0x00002b1881e8a000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 at java.lang.Object.hashCode(Native Method) 31.31/8.85 at java.util.HashMap.hash(HashMap.java:338) 31.31/8.85 at java.util.HashMap.put(HashMap.java:611) 31.31/8.85 at java.util.HashSet.add(HashSet.java:219) 31.31/8.85 at aprove.ProofTree.Obligations.ObligationNode.addTruthValueListener(ObligationNode.java:60) 31.31/8.85 - locked <0x00000006c2c90578> (a aprove.ProofTree.Obligations.BasicObligationNode) 31.31/8.85 at aprove.ProofTree.Obligations.BasicObligationNode.<init>(BasicObligationNode.java:79) 31.31/8.85 at aprove.DPFramework.ResultFactory.proved(ResultFactory.java:91) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.getResult(QDPReductionPairProcessor.java:609) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.getResult(QDPReductionPairProcessor.java:233) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:203) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 31.31/8.85 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 31.31/8.85 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 31.31/8.85 at java.lang.Thread.run(Thread.java:748) 31.31/8.85 31.31/8.85 "ThreadPoolThread114" #159 daemon prio=6 os_prio=0 tid=0x00002b18c806d000 nid=0x6139 waiting on condition [0x00002b1881c88000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 at java.io.BufferedOutputStream.flush(BufferedOutputStream.java:140) 31.31/8.85 - locked <0x00000006ca49d928> (a java.lang.UNIXProcess$ProcessPipeOutputStream) 31.31/8.85 at java.io.FilterOutputStream.close(FilterOutputStream.java:158) 31.31/8.85 at java.lang.UNIXProcess.destroy(UNIXProcess.java:445) 31.31/8.85 at java.lang.UNIXProcess.destroy(UNIXProcess.java:478) 31.31/8.85 at aprove.Strategies.Abortions.TrackProcessOnLinux.kill(TrackProcessOnLinux.java:72) 31.31/8.85 at aprove.Strategies.Abortions.TrackProcess.abortionFired(TrackProcess.java:49) 31.31/8.85 at aprove.Strategies.Abortions.Abortion.abort(Abortion.java:155) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.setResult(Executor.java:144) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:327) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 31.31/8.85 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 31.31/8.85 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 31.31/8.85 at java.lang.Thread.run(Thread.java:748) 31.31/8.85 31.31/8.85 "ThreadPoolThread113" #158 daemon prio=6 os_prio=0 tid=0x00002b18c806b000 nid=0x6138 runnable [0x00002b1881b86000] 31.31/8.85 java.lang.Thread.State: RUNNABLE 31.31/8.85 at java.lang.UNIXProcess.forkAndExec(Native Method) 31.31/8.85 at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 31.31/8.85 at java.lang.ProcessImpl.start(ProcessImpl.java:134) 31.31/8.85 at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) 31.31/8.85 at java.lang.Runtime.exec(Runtime.java:620) 31.31/8.85 at java.lang.Runtime.exec(Runtime.java:485) 31.31/8.85 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 31.31/8.85 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) 31.31/8.85 at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) 31.31/8.85 at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 31.31/8.85 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 31.31/8.85 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 31.31/8.85 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 31.31/8.85 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 31.31/8.85 at java.lang.Thread.run(Thread.java:748) 31.31/8.85 31.31/8.85 "ThreadPoolThread111" #156 daemon prio=6 os_prio=0 tid=0x00002b18c8067000 nid=0x6136 waiting on condition [0x00002b1881985000] 31.31/8.85 java.lang.Thread.State: RUNNABLE
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