details

property	value
status	memout
benchmark	secr3.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)	9.81203 seconds
cpu usage	34.1209
user time	32.6632
system time	1.45772
max virtual memory	1.39385036E8
max residence set size	4126576.0

stage attributes

unavailable

output

12.94/4.18 2019-03-29 16:54:03 12.94/4.18 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.94/4.18 12.94/4.18 "process reaper" #104 daemon prio=10 os_prio=0 tid=0x00002aca70056000 nid=0x8fad runnable [0x00002aca1ec5e000] 12.94/4.18 java.lang.Thread.State: RUNNABLE 12.94/4.18 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 12.94/4.18 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 12.94/4.18 at java.lang.UNIXProcess$$Lambda$12/1176699439.run(Unknown Source) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "process reaper" #103 daemon prio=10 os_prio=0 tid=0x00002acabc013800 nid=0x8fac waiting on condition [0x00002aca0ffd3000] 12.94/4.18 java.lang.Thread.State: TIMED_WAITING (parking) 12.94/4.18 at sun.misc.Unsafe.park(Native Method) 12.94/4.18 - parking to wait for <0x0000000440013850> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.94/4.18 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.94/4.18 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.94/4.18 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.94/4.18 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "process reaper" #102 daemon prio=10 os_prio=0 tid=0x00002acae0001000 nid=0x8fab waiting on condition [0x00002aca0ff9a000] 12.94/4.18 java.lang.Thread.State: TIMED_WAITING (parking) 12.94/4.18 at sun.misc.Unsafe.park(Native Method) 12.94/4.18 - parking to wait for <0x0000000440013850> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.94/4.18 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.94/4.18 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.94/4.18 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.94/4.18 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.94/4.18 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "ThreadPoolThread74" #100 daemon prio=6 os_prio=0 tid=0x00002aca80018000 nid=0x8f9f runnable [0x00002aca1e11c000] 12.94/4.18 java.lang.Thread.State: RUNNABLE 12.94/4.18 at java.util.TreeSet.contains(TreeSet.java:234) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:197) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:160) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:138) 12.94/4.18 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.94/4.18 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.94/4.18 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "ThreadPoolThread72" #98 daemon prio=6 os_prio=0 tid=0x00002aca80037800 nid=0x8f9d runnable [0x00002aca1da14000] 12.94/4.18 java.lang.Thread.State: RUNNABLE 12.94/4.18 at java.util.TreeMap.put(TreeMap.java:536) 12.94/4.18 at java.util.TreeSet.add(TreeSet.java:255) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.union(QActiveCondition.java:580) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.or(QActiveCondition.java:653) 12.94/4.18 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.94/4.18 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.94/4.18 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "ThreadPoolThread70" #96 daemon prio=6 os_prio=0 tid=0x00002aca8004f800 nid=0x8f9b runnable [0x00002aca1ec24000] 12.94/4.18 java.lang.Thread.State: RUNNABLE 12.94/4.18 at java.util.TreeMap.put(TreeMap.java:559) 12.94/4.18 at java.util.TreeSet.add(TreeSet.java:255) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:169) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:138) 12.94/4.18 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.94/4.18 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.94/4.18 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 12.94/4.18 12.94/4.18 "ThreadPoolThread69" #95 daemon prio=6 os_prio=0 tid=0x00002aca8004e800 nid=0x8f9a runnable [0x00002aca1d610000] 12.94/4.18 java.lang.Thread.State: RUNNABLE 12.94/4.18 at java.util.TreeMap.computeRedLevel(TreeMap.java:2603) 12.94/4.18 at java.util.TreeMap.buildFromSorted(TreeMap.java:2508) 12.94/4.18 at java.util.TreeMap.addAllForTreeSet(TreeMap.java:2466) 12.94/4.18 at java.util.TreeSet.addAll(TreeSet.java:308) 12.94/4.18 at java.util.TreeSet.<init>(TreeSet.java:172) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:167) 12.94/4.18 at aprove.DPFramework.DPProblem.QActiveCondition.and(QActiveCondition.java:138) 12.94/4.18 at aprove.DPFramework.DPProblem.QUsableRules.getActiveConditions(QUsableRules.java:371) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:188) 12.94/4.18 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.94/4.18 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.94/4.18 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.94/4.18 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.94/4.18 at java.lang.Thread.run(Thread.java:748) 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