details

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

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	3.44314 seconds
cpu usage	10.5406
user time	10.0604
system time	0.48026
max virtual memory	1.43115124E8
max residence set size	1227592.0

stage attributes

unavailable

output

2020-06-23 17:44:44 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "process reaper" #101 daemon prio=10 os_prio=0 tid=0x00002ab228001000 nid=0x70b3 runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "process reaper" #100 daemon prio=10 os_prio=0 tid=0x00002ab25c001000 nid=0x70ae waiting on condition [0x00002ab19b084000] java.lang.Thread.State: TIMED_WAITING (parking) at sun.misc.Unsafe.park(Native Method) - parking to wait for <0x0000000440364668> (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) "ThreadPoolThread73" #99 daemon prio=6 os_prio=0 tid=0x00002ab20406a800 nid=0x70ad runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread72" #98 daemon prio=6 os_prio=0 tid=0x00002ab204061000 nid=0x70ab waiting for monitor entry [0x00002ab1be522000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440011ef8> (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) "ThreadPoolThread71" #97 daemon prio=6 os_prio=0 tid=0x00002ab204055800 nid=0x70a8 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread70" #96 daemon prio=6 os_prio=0 tid=0x00002ab20407a800 nid=0x709c runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread68" #94 daemon prio=6 os_prio=0 tid=0x00002ab204076800 nid=0x7084 runnable [0x0000000000000000] java.lang.Thread.State: TERMINATED "ThreadPoolThread60" #86 daemon prio=6 os_prio=0 tid=0x00002ab204066800 nid=0x707c waiting for monitor entry [0x00002ab1be01d000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440011ef8> (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) "ThreadPoolThread59" #85 daemon prio=6 os_prio=0 tid=0x00002ab204065000 nid=0x707b runnable [0x00002ab1bdf1a000] java.lang.Thread.State: RUNNABLE at sun.misc.Unsafe.unpark(Native Method) at java.util.concurrent.locks.LockSupport.unpark(LockSupport.java:141) at java.util.concurrent.SynchronousQueue$TransferStack$SNode.tryMatch(SynchronousQueue.java:265) at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:383) at java.util.concurrent.SynchronousQueue.offer(SynchronousQueue.java:913) at java.util.concurrent.ThreadPoolExecutor.execute(ThreadPoolExecutor.java:1371) at java.lang.UNIXProcess.initStreams(UNIXProcess.java:288) at java.lang.UNIXProcess.lambda$new$2(UNIXProcess.java:258) at java.lang.UNIXProcess$$Lambda$12/1983145235.run(Unknown Source) at java.security.AccessController.doPrivileged(Native Method) at java.lang.UNIXProcess.<init>(UNIXProcess.java:257) at java.lang.ProcessImpl.start(ProcessImpl.java:134) at java.lang.ProcessBuilder.start(ProcessBuilder.java:1029) at java.lang.Runtime.exec(Runtime.java:620) at java.lang.Runtime.exec(Runtime.java:485) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:268) 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) "ThreadPoolThread58" #84 daemon prio=6 os_prio=0 tid=0x00002ab204063000 nid=0x707a runnable [0x00002ab1bde1a000] java.lang.Thread.State: RUNNABLE at java.io.FileInputStream.readBytes(Native Method) at java.io.FileInputStream.read(FileInputStream.java:255) at java.io.BufferedInputStream.read1(BufferedInputStream.java:284) at java.io.BufferedInputStream.read(BufferedInputStream.java:345) - locked <0x00000006b538db50> (a java.lang.UNIXProcess$ProcessPipeInputStream) at sun.nio.cs.StreamDecoder.readBytes(StreamDecoder.java:284) at sun.nio.cs.StreamDecoder.implRead(StreamDecoder.java:326) at sun.nio.cs.StreamDecoder.read(StreamDecoder.java:178) - locked <0x00000006b53921f8> (a java.io.InputStreamReader) at java.io.InputStreamReader.read(InputStreamReader.java:184) at java.io.BufferedReader.fill(BufferedReader.java:161) at java.io.BufferedReader.readLine(BufferedReader.java:324) - locked <0x00000006b53921f8> (a java.io.InputStreamReader) at java.io.BufferedReader.readLine(BufferedReader.java:389) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:304) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:206) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATFileChecker.solve(MiniSATFileChecker.java:153) at aprove.DPFramework.DPProblem.Solvers.PMatroExoticSolver.solveQActive(PMatroExoticSolver.java:333) popout

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

job log

popout

actions

all output return to SRS Standard