Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487091194
details
property
value
status
memout
benchmark
z092.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)
3.77309 seconds
cpu usage
11.9257
user time
11.4875
system time
0.438196
max virtual memory
1.6672442E8
max residence set size
1215792.0
stage attributes
unavailable
output
2020-06-23 17:50:30 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): "ThreadPoolThread78" #109 daemon prio=6 os_prio=0 tid=0x00002ac814058800 nid=0xd9ff runnable [0x0000000000000000] java.lang.Thread.State: RUNNABLE "ThreadPoolThread77" #108 daemon prio=6 os_prio=0 tid=0x00002ac814056800 nid=0xd9fb waiting for monitor entry [0x00002ac7eb839000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread76" #107 daemon prio=6 os_prio=0 tid=0x00002ac814054800 nid=0xd9ee waiting for monitor entry [0x00002ac7eb738000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread75" #106 daemon prio=6 os_prio=0 tid=0x00002ac814052800 nid=0xd9ed waiting for monitor entry [0x00002ac7eb637000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread74" #105 daemon prio=6 os_prio=0 tid=0x00002ac814051000 nid=0xd9ec waiting for monitor entry [0x00002ac7eb536000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread73" #104 daemon prio=6 os_prio=0 tid=0x00002ac81401c800 nid=0xd9eb waiting for monitor entry [0x00002ac7aefcb000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread72" #103 daemon prio=6 os_prio=0 tid=0x00002ac814015000 nid=0xd9ea waiting for monitor entry [0x00002ac7af0cc000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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" #102 daemon prio=6 os_prio=0 tid=0x00002ac81404f000 nid=0xd9e9 waiting for monitor entry [0x00002ac7eb235000] java.lang.Thread.State: BLOCKED (on object monitor) at aprove.Strategies.Util.PrioritizableThreadPool.fetchJob(PrioritizableThreadPool.java:312) - waiting to lock <0x0000000440001400> (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) "ThreadPoolThread70" #101 daemon prio=6 os_prio=0 tid=0x00002ac81404d000 nid=0xd9e8 runnable [0x00002ac7eb133000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.forkAndExec(Native Method) at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 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:450) at java.lang.Runtime.exec(Runtime.java:347) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 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:264) at aprove.Framework.Algebra.Polynomials.SatSearch.SatSearch.search(SatSearch.java:229) at aprove.Framework.Algebra.Polynomials.SPCFormulae.NegPoloInterpretation.solve(NegPoloInterpretation.java:201) at aprove.DPFramework.DPProblem.Solvers.QDPNegPoloSolver.solveQActive(QDPNegPoloSolver.java:89) 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) "ThreadPoolThread69" #100 daemon prio=6 os_prio=0 tid=0x00002ac81404b000 nid=0xd9e7 runnable [0x00002ac7eb032000] java.lang.Thread.State: RUNNABLE at java.lang.UNIXProcess.forkAndExec(Native Method) at java.lang.UNIXProcess.<init>(UNIXProcess.java:247) 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:450) at java.lang.Runtime.exec(Runtime.java:347) at aprove.Framework.PropositionalLogic.SATCheckers.MiniSATExtStartedFileChecker.found(MiniSATExtStartedFileChecker.java:64) 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) at aprove.Framework.Algebra.Orders.Utility.POLO.SimplifyingSearch.search(SimplifyingSearch.java:156)
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard