details

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

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	5.91044 seconds
cpu usage	19.0486
user time	17.9687
system time	1.07995
max virtual memory	2.30208256E8
max residence set size	2525060.0

stage attributes

unavailable

output

2020-06-23 18:04:17 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "ThreadPoolThread105" #142 daemon prio=6 os_prio=0 tid=0x00002b1b6408b800 nid=0x9784 waiting on condition [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread104" #140 daemon prio=6 os_prio=0 tid=0x00002b1b64046000 nid=0x9783 waiting for monitor entry [0x00002b1bc8806000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x00000004400008b8> (a aprove.Strategies.Util.PrioritizableThreadPool) at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) at java.lang.Thread.run(Thread.java:748) "Thread-115" #139 daemon prio=6 os_prio=0 tid=0x00002b1bc0002800 nid=0x9781 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "process reaper" #136 daemon prio=10 os_prio=0 tid=0x00002b1bd8009000 nid=0x977e runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "process reaper" #135 daemon prio=10 os_prio=0 tid=0x00002b1b900d0000 nid=0x977c runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "process reaper" #134 daemon prio=10 os_prio=0 tid=0x00002b1b8400f800 nid=0x9777 waiting on condition [0x00002b1b32aa6000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x000000044095b0f8> (a java.util.concurrent.SynchronousQueue$TransferStack) at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "process reaper" #133 daemon prio=10 os_prio=0 tid=0x00002b1b90096000 nid=0x9775 waiting on condition [0x00002b1b32a6d000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) - locked <0x00000006e6778eb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) at java.lang.UNIXProcess$$Lambda$12/947066388.run(Unknown Source) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread103" #132 daemon prio=6 os_prio=0 tid=0x00002b1b6402c800 nid=0x9766 waiting for monitor entry [0x00002b1b3373f000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - locked <0x00000004400008b8> (a aprove.Strategies.Util.PrioritizableThreadPool) at aprove.Strategies.Util.PrioritizableThreadPool.access$300(PrioritizableThreadPool.java:24) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:269) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread101" #130 daemon prio=6 os_prio=0 tid=0x00002b1b64089800 nid=0x9757 runnable [0x00002b1bcacd5000] java.lang.Thread.State: RUNNABLE at aprove.DPFramework.BasicStructures.Unification.Unification.buildFinalSubst(Unification.java:272) at aprove.DPFramework.BasicStructures.Unification.Unification.getMgu(Unification.java:121) at aprove.DPFramework.BasicStructures.TRSTerm.getMGU(TRSTerm.java:397) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:531) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread97" #126 daemon prio=6 os_prio=0 tid=0x00002b1b64082800 nid=0x974c runnable [0x00002b1bca8d0000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.open0(Native Method) at java.io.FileInputStream.open(FileInputStream.java:195) at java.io.FileInputStream.<init>(FileInputStream.java:138) at java.io.FileReader.<init>(FileReader.java:72) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:317) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:161) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) at java.lang.Thread.run(Thread.java:748) "ThreadPoolThread96" #125 daemon prio=6 os_prio=0 tid=0x00002b1b64080800 nid=0x9748 runnable [0x00002b1bca7cf000] java.lang.Thread.State: RUNNABLE at java.io.BufferedReader.close(BufferedReader.java:521) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:71) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.<init>(MiniSATFileChecker.java:114) at aprove.GraphUserInterface.Factories.Solvers.Engines.MINISATEngine.getSATChecker(MINISATEngine.java:54) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:158) popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS Standard