101 lines
2.5 KiB
Plaintext
101 lines
2.5 KiB
Plaintext
|
Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS)
|
||
|
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-43.pddlignoring --stats
|
||
|
ignoring --stats-iter
|
||
|
ignoring --verbose
|
||
|
-m 8192 -F 80 -T 80
|
||
|
Domain: blocks
|
||
|
Problem: blocks-21-0
|
||
|
Parser: 924 ground actions and 505 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 0.13 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 924 ground actions and 505 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.06 secs (max SCC size 1)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 128 MB)
|
||
|
Horizon 80: 114825 variables
|
||
|
Allocated 32 MB (total 244 MB)
|
||
|
Allocated 32 MB (total 276 MB)
|
||
|
GC: 41.93 MB
|
||
|
Allocated 32 MB (total 308 MB)
|
||
|
Allocated 32 MB (total 340 MB)
|
||
|
GC: 77.14 MB
|
||
|
GC: 86.17 MB
|
||
|
GC: 95.21 MB
|
||
|
GC: 94.91 MB
|
||
|
Allocated 32 MB (total 372 MB)
|
||
|
GC: 125.72 MB
|
||
|
GC: 101.39 MB
|
||
|
GC: 113.60 MB
|
||
|
GC: 124.92 MB
|
||
|
GC: 132.59 MB
|
||
|
GC: 120.41 MB
|
||
|
GC: 132.58 MB
|
||
|
Allocated 32 MB (total 404 MB)
|
||
|
GC: 137.66 MB
|
||
|
GC: 133.58 MB
|
||
|
GC: 147.21 MB
|
||
|
GC: 163.37 MB
|
||
|
GC: 149.76 MB
|
||
|
Allocated 32 MB (total 436 MB)
|
||
|
GC: 162.65 MB
|
||
|
GC: 149.43 MB
|
||
|
GC: 169.78 MB
|
||
|
GC: 175.59 MB
|
||
|
Allocated 32 MB (total 468 MB)
|
||
|
GC: 188.84 MB
|
||
|
GC: 187.86 MB
|
||
|
GC: 201.18 MB
|
||
|
GC: 205.60 MB
|
||
|
GC: 193.85 MB
|
||
|
GC: 206.65 MB
|
||
|
GC: 206.09 MB
|
||
|
Allocated 32 MB (total 500 MB)
|
||
|
GC: 220.84 MB
|
||
|
GC: 223.49 MB
|
||
|
Allocated 32 MB (total 532 MB)
|
||
|
GC: 250.46 MB
|
||
|
GC: 242.63 MB
|
||
|
GC: 255.38 MB
|
||
|
Allocated 32 MB (total 564 MB)
|
||
|
GC: 273.57 MB
|
||
|
GC: 257.81 MB
|
||
|
GC: 262.42 MB
|
||
|
GC: 285.58 MB
|
||
|
Allocated 32 MB (total 596 MB)
|
||
|
Allocated 32 MB (total 628 MB)
|
||
|
GC: 338.16 MB
|
||
|
GC: 303.18 MB
|
||
|
GC: 336.41 MB
|
||
|
Allocated 32 MB (total 660 MB)
|
||
|
Allocated 32 MB (total 692 MB)
|
||
|
Allocated 32 MB (total 724 MB)
|
||
|
GC: 399.67 MB
|
||
|
GC: 378.16 MB
|
||
|
GC: 376.94 MB
|
||
|
GC: 340.71 MB
|
||
|
GC: 387.89 MB
|
||
|
Allocated 32 MB (total 756 MB)
|
||
|
GC: 429.96 MB
|
||
|
|
||
|
|
||
|
# statistics in YAML format
|
||
|
---
|
||
|
runtime:
|
||
|
total: 899.74 # [s]
|
||
|
preprocessing: 0.20 # [s]
|
||
|
maxLearnedClauseLength: 21738
|
||
|
groundActions:
|
||
|
afterParsing: 924
|
||
|
afterPreprocessing: 924
|
||
|
stateVariables:
|
||
|
afterParsing: 505
|
||
|
afterPreprocessing: 505
|
||
|
stronglyConnectedComponents:
|
||
|
maxSize: 1
|
||
|
plan:
|
||
|
found: false
|
||
|
iterations:
|
||
|
...
|
||
|
|