Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS_Standard 2019-03-29 03.29 pair #432295039
details
property
value
status
memout
benchmark
random-330.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.35385 seconds
cpu usage
17.3888
user time
16.5728
system time
0.815953
max virtual memory
1.39392232E8
max residence set size
2212700.0
stage attributes
unavailable
output
14.47/4.58 2019-03-29 18:16:18 14.47/4.58 Full thread dump Java HotSpot(TM) 64-Bit Server VM (25.144-b01 mixed mode): 14.47/4.58 14.47/4.58 "process reaper" #96 daemon prio=10 os_prio=0 tid=0x00002b1390001800 nid=0xd7d7 runnable [0x0000000000000000] 14.47/4.58 java.lang.Thread.State: RUNNABLE 14.47/4.58 14.47/4.58 "process reaper" #97 daemon prio=10 os_prio=0 tid=0x00002b1388006000 nid=0xd7d0 waiting on condition [0x00002b139507e000] 14.47/4.58 java.lang.Thread.State: TIMED_WAITING (parking) 14.47/4.58 at sun.misc.Unsafe.park(Native Method) 14.47/4.58 - parking to wait for <0x0000000440ddd8d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 14.47/4.58 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 14.47/4.58 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "process reaper" #95 daemon prio=10 os_prio=0 tid=0x00002b136002c000 nid=0xd7bd waiting on condition [0x00002b1395045000] 14.47/4.58 java.lang.Thread.State: TIMED_WAITING (parking) 14.47/4.58 at sun.misc.Unsafe.park(Native Method) 14.47/4.58 - parking to wait for <0x0000000440ddd8d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 14.47/4.58 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 14.47/4.58 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "process reaper" #93 daemon prio=10 os_prio=0 tid=0x00002b138c00a800 nid=0xd7b8 waiting on condition [0x00002b1327fe9000] 14.47/4.58 java.lang.Thread.State: TIMED_WAITING (parking) 14.47/4.58 at sun.misc.Unsafe.park(Native Method) 14.47/4.58 - parking to wait for <0x0000000440ddd8d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 14.47/4.58 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 14.47/4.58 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "process reaper" #94 daemon prio=10 os_prio=0 tid=0x00002b13b0001000 nid=0xd7af waiting on condition [0x00002b1327fb0000] 14.47/4.58 java.lang.Thread.State: TIMED_WAITING (parking) 14.47/4.58 at sun.misc.Unsafe.park(Native Method) 14.47/4.58 - parking to wait for <0x0000000440ddd8d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 14.47/4.58 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 14.47/4.58 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "process reaper" #92 daemon prio=10 os_prio=0 tid=0x00002b1370001800 nid=0xd7a1 waiting on condition [0x00002b1327f77000] 14.47/4.58 java.lang.Thread.State: TIMED_WAITING (parking) 14.47/4.58 at sun.misc.Unsafe.park(Native Method) 14.47/4.58 - parking to wait for <0x0000000440ddd8d0> (a java.util.concurrent.SynchronousQueue$TransferStack) 14.47/4.58 at java.util.concurrent.locks.LockSupport.parkNanos(LockSupport.java:215) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.awaitFulfill(SynchronousQueue.java:460) 14.47/4.58 at java.util.concurrent.SynchronousQueue$TransferStack.transfer(SynchronousQueue.java:362) 14.47/4.58 at java.util.concurrent.SynchronousQueue.poll(SynchronousQueue.java:941) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.getTask(ThreadPoolExecutor.java:1073) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1134) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "process reaper" #91 daemon prio=10 os_prio=0 tid=0x00002b1388005000 nid=0xd795 runnable [0x00002b12e7fec000] 14.47/4.58 java.lang.Thread.State: RUNNABLE 14.47/4.58 at java.lang.UNIXProcess.waitForProcessExit(Native Method) 14.47/4.58 at java.lang.UNIXProcess.lambda$initStreams$3(UNIXProcess.java:289) 14.47/4.58 at java.lang.UNIXProcess$$Lambda$13/1640077493.run(Unknown Source) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149) 14.47/4.58 at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624) 14.47/4.58 at java.lang.Thread.run(Thread.java:748) 14.47/4.58 14.47/4.58 "ThreadPoolThread63" #89 daemon prio=6 os_prio=0 tid=0x00002b1350039800 nid=0xd763 runnable [0x00002b1394f0a000] 14.47/4.58 java.lang.Thread.State: RUNNABLE 14.47/4.58 at java.lang.Object.hashCode(Native Method) 14.47/4.58 at java.util.HashMap.hash(HashMap.java:338) 14.47/4.58 at java.util.HashMap.put(HashMap.java:611) 14.47/4.58 at java.util.HashSet.add(HashSet.java:219) 14.47/4.58 at aprove.Framework.PropositionalLogic.Formulae.FullSharingFactory.buildAnd(FullSharingFactory.java:43) 14.47/4.58 at aprove.Framework.PropositionalLogic.Formulae.AbstractFormulaFactory.buildAnd(AbstractFormulaFactory.java:65) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.ArcticInt.ExoticIntUnaryCircuitFactory.buildTimesCircuit(ExoticIntUnaryCircuitFactory.java:151) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.PolyToCircuitConverter.caseTimesNode(PolyToCircuitConverter.java:245) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.TimesNode.visit(TimesNode.java:71) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.Visitors.GPolyVisitor.applyTo(GPolyVisitor.java:40) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.DAGNodes.PlusNode.visit(PlusNode.java:66) 14.47/4.58 at aprove.Framework.Algebra.GeneralPolynomials.SatSearch.OPCtoFormulaConverter.caseAtom(OPCtoFormulaConverter.java:206) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAtom.visit(OPCAtom.java:122) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.OPCQuantifierA.visit(OPCQuantifierA.java:47) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.OPCAnd.visit(OPCAnd.java:80) 14.47/4.58 at aprove.DPFramework.Orders.Utility.GPOLO.ConstraintVisitor$ConstraintVisitorSkeleton.applyTo(ConstraintVisitor.java:199)
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