Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432294667
details
property
value
status
memout
benchmark
random-216.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)
5.35199 seconds
cpu usage
17.2285
user time
16.4908
system time
0.737789
max virtual memory
1.39376244E8
max residence set size
1876360.0
stage attributes
unavailable
output
12.97/4.21 2019-03-29 17:44:33 12.97/4.21 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 12.97/4.21 12.97/4.21 "process reaper" #90 daemon prio=10 os_prio=0 tid=0x00002b5d74025800 nid=0x40bd runnable [0x0000000000000000] 12.97/4.21 java.lang.Thread.State: RUNNABLE 12.97/4.21 12.97/4.21 "process reaper" #89 daemon prio=10 os_prio=0 tid=0x00002b5d8401f800 nid=0x40bc waiting on condition [0x00002b5d01f73000] 12.97/4.21 java.lang.Thread.State: TIMED_WAITING (parking) 12.97/4.21 at sun.misc.Unsafe.park(Native Method) 12.97/4.21 - parking to wait for <0x000000044199a688> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.97/4.21 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.97/4.21 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.97/4.21 at java.lang.Thread.run(Thread.java:748) 12.97/4.21 12.97/4.21 "process reaper" #88 daemon prio=10 os_prio=0 tid=0x00002b5d5800f800 nid=0x40b9 waiting on condition [0x00002b5d01f3a000] 12.97/4.21 java.lang.Thread.State: TIMED_WAITING (parking) 12.97/4.21 at sun.misc.Unsafe.park(Native Method) 12.97/4.21 - parking to wait for <0x000000044199a688> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.97/4.21 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.97/4.21 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.97/4.21 at java.lang.Thread.run(Thread.java:748) 12.97/4.21 12.97/4.21 "process reaper" #87 daemon prio=10 os_prio=0 tid=0x00002b5dbc001800 nid=0x40b5 waiting on condition [0x00002b5d01f01000] 12.97/4.21 java.lang.Thread.State: TIMED_WAITING (parking) 12.97/4.21 at sun.misc.Unsafe.park(Native Method) 12.97/4.21 - parking to wait for <0x000000044199a688> (a java.util.concurrent.SynchronousQueue$TransferStack) 12.97/4.21 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 12.97/4.21 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 12.97/4.21 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 12.97/4.21 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 12.97/4.21 at java.lang.Thread.run(Thread.java:748) 12.97/4.21 12.97/4.21 "ThreadPoolThread61" #85 daemon prio=6 os_prio=0 tid=0x00002b5d5c042000 nid=0x409b runnable [0x00002b5d019c2000] 12.97/4.21 java.lang.Thread.State: RUNNABLE 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:46) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.processSubstitution(TRSCompoundTerm.java:48) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:40) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSCompoundTerm.applySubstitution(TRSCompoundTerm.java:15) 12.97/4.21 at aprove.DPFramework.BasicStructures.Unification.Unification.checkPropernessOfMgu(Unification.java:319) 12.97/4.21 at aprove.DPFramework.BasicStructures.Unification.Unification.getMgu(Unification.java:125) 12.97/4.21 at aprove.DPFramework.BasicStructures.TRSTerm.getMGU(TRSTerm.java:397) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:531) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.97/4.21 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.97/4.21 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.97/4.21 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.97/4.21 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.97/4.21 at java.lang.Thread.run(Thread.java:748) 12.97/4.21 12.97/4.21 "ThreadPoolThread59" #83 daemon prio=6 os_prio=0 tid=0x00002b5d5c040000 nid=0x4099 runnable [0x00002b5d01dc7000] 12.97/4.21 java.lang.Thread.State: RUNNABLE 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.getNrOfAppls(NonTerminationProcessor.java:1174) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NarrowPair.<init>(NonTerminationProcessor.java:1162) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doOneNarrowingStep(NonTerminationProcessor.java:442) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doClosure(NonTerminationProcessor.java:341) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.doHeuristic(NonTerminationProcessor.java:284) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor$NonTerminationProcedure.processQDPProblem(NonTerminationProcessor.java:262) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.NonTerminationProcessor.processQDPProblem(NonTerminationProcessor.java:107) 12.97/4.21 at aprove.DPFramework.DPProblem.Processors.QDPProblemProcessor.process(QDPProblemProcessor.java:47) 12.97/4.21 at aprove.Strategies.ExecutableStrategies.Executor.execute(Executor.java:326) 12.97/4.21 at aprove.Strategies.ExecutableStrategies.Executor$Runner.wrappedRun(Executor.java:377) 12.97/4.21 at aprove.Strategies.Abortions.PooledJob.run(PooledJob.java:99) 12.97/4.21 at aprove.Strategies.Util.PrioritizableThreadPool$Worker.run(PrioritizableThreadPool.java:274) 12.97/4.21 at java.lang.Thread.run(Thread.java:748) 12.97/4.21 12.97/4.21 "ThreadPoolThread57" #81 daemon prio=6 os_prio=0 tid=0x00002b5d5c03c000 nid=0x4097 runnable [0x00002b5d01bc4000] 12.97/4.21 java.lang.Thread.State: RUNNABLE 12.97/4.21 at aprove.Framework.PropositionalLogic.Formulae.NonCountingCircuitFactory.buildOr(NonCountingCircuitFactory.java:274) 12.97/4.21 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildOr(AbstractFormulaFactory.java:82) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.build2or3Circuit(ArithmeticCircuitFactory.java:882) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:844) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.ArithmeticCircuitFactory.buildPlusCircuit(ArithmeticCircuitFactory.java:152) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertPolyMap(PlainSPCToCircuitConverter.java:277) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertPolynomial(AbstractSPCToCircuitConverter.java:384) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.PlainSPCToCircuitConverter.convertConstraint(PlainSPCToCircuitConverter.java:82) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.AbstractSPCToCircuitConverter.convertDiophantine(AbstractSPCToCircuitConverter.java:152) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:77) 12.97/4.21 at aprove.Framework.Algebra.Polynomials.SatSearch.DiophantineToSATVisitor.outTheoryAtom(DiophantineToSATVisitor.java:9)
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