details

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

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	13.9852 seconds
cpu usage	51.38
user time	49.71
system time	1.67
max virtual memory	1.80376192E8
max residence set size	1440.0

stage attributes

unavailable

output

12.63/4.09 2019-03-29 09:12:02 12.63/4.09 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.63/4.09 12.63/4.09 "process reaper" #97 daemon prio=10 os_prio=0 tid=0x00002abe18001000 nid=0x1602 waiting on condition [0x00002abe01b4e000] 12.63/4.09 java.lang.Thread.State: TIMED_WAITING (parking) 12.63/4.09 at sun.misc.Unsafe.park(Native Method) 12.63/4.09 - parking to wait for <0x000000044169c028> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.63/4.09 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.63/4.09 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002abdcc009000 nid=0x1601 waiting on condition [0x00002abd73fe3000] 12.63/4.09 java.lang.Thread.State: TIMED_WAITING (parking) 12.63/4.09 at sun.misc.Unsafe.park(Native Method) 12.63/4.09 - parking to wait for <0x000000044169c028> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.63/4.09 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.63/4.09 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002abe24001000 nid=0x15fe waiting on condition [0x00002abd73faa000] 12.63/4.09 java.lang.Thread.State: TIMED_WAITING (parking) 12.63/4.09 at sun.misc.Unsafe.park(Native Method) 12.63/4.09 - parking to wait for <0x000000044169c028> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.63/4.09 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.63/4.09 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.63/4.09 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002abe04038000 nid=0x15f6 waiting for monitor entry [0x00002abd73f71000] 12.63/4.09 java.lang.Thread.State: BLOCKED (on object monitor) 12.63/4.09 at java.lang.UNIXProcess$ProcessPipeInputStream.processExited(UNIXProcess.java:527) 12.63/4.09 - locked <0x00000006b6dcfcb8> (a java.lang.UNIXProcess$ProcessPipeInputStream) 12.63/4.09 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:298) 12.63/4.09 at java.lang.UNIXProcess$$Lambda$12/401395479.run(Unknown Source) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 12.63/4.09 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "ThreadPoolThread66" #87 daemon prio=6 os_prio=0 tid=0x00002abddc041800 nid=0x15d4 runnable [0x00002abe00f0a000] 12.63/4.09 java.lang.Thread.State: RUNNABLE 12.63/4.09 at java.lang.StringBuilder.append(StringBuilder.java:208) 12.63/4.09 at aprove.DPFramework.BasicStructures.TRSVariable.renumberVariables(TRSVariable.java:225) 12.63/4.09 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 12.63/4.09 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.renumberVariables(TRSCompoundTerm.java:82) 12.63/4.09 at aprove.DPFramework.BasicStructures.GeneralizedRule.checkProperStd(GeneralizedRule.java:75) 12.63/4.09 at aprove.DPFramework.BasicStructures.GeneralizedRule.<init>(GeneralizedRule.java:116) 12.63/4.09 at aprove.DPFramework.BasicStructures.Rule.<init>(Rule.java:53) 12.63/4.09 at aprove.DPFramework.BasicStructures.Rule.renameVariables(Rule.java:275) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:514) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.63/4.09 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.63/4.09 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.63/4.09 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.63/4.09 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "ThreadPoolThread62" #83 daemon prio=6 os_prio=0 tid=0x00002abddc03b800 nid=0x15d0 runnable [0x00002abe00e09000] 12.63/4.09 java.lang.Thread.State: RUNNABLE 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:519) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildTimesCircuit(ArithmeticCircuitFactory.java:122) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertExponents(PlainSPCToCircuitConverter.java:521) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertIndefinitePart(AbstractSPCToCircuitConverter.java:394) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertMonomial(PlainSPCToCircuitConverter.java:385) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:155) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:81) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convert(AbstractSPCToCircuitConverter.java:299) 12.63/4.09 at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:129) 12.63/4.09 at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156) 12.63/4.09 at aprove.DPFramework.Orders.Solvers.POLOSolver.actuallySolve(POLOSolver.java:294) 12.63/4.09 at aprove.DPFramework.Orders.Solvers.POLOSolver.solve(POLOSolver.java:191) 12.63/4.09 at aprove.DPFramework.DPProblem.Solvers.QDPPoloSolver.solveQActive(QDPPoloSolver.java:94) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.QDPReductionPairProcessor.processQDPProblem(QDPReductionPairProcessor.java:200) 12.63/4.09 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.63/4.09 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.63/4.09 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.63/4.09 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.63/4.09 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.63/4.09 at java.lang.Thread.run(Thread.java:748) 12.63/4.09 12.63/4.09 "ThreadPoolThread61" #82 daemon prio=6 os_prio=0 tid=0x00002abddc02b800 nid=0x15cf runnable [0x00002abe00d07000] 12.63/4.09 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