104 lines
2.5 KiB
Plaintext
104 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-36.pddlignoring --stats
|
||
|
ignoring --stats-iter
|
||
|
ignoring --verbose
|
||
|
-m 8192 -F 60 -T 60
|
||
|
Domain: blocks
|
||
|
Problem: blocks-17-1
|
||
|
Parser: 612 ground actions and 341 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 0.06 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 612 ground actions and 341 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 1)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 126 MB)
|
||
|
Horizon 60: 57521 variables
|
||
|
Allocated 32 MB (total 238 MB)
|
||
|
Allocated 32 MB (total 270 MB)
|
||
|
GC: 43.73 MB
|
||
|
Allocated 32 MB (total 302 MB)
|
||
|
GC: 70.83 MB
|
||
|
Allocated 32 MB (total 334 MB)
|
||
|
GC: 98.07 MB
|
||
|
Allocated 32 MB (total 366 MB)
|
||
|
GC: 118.73 MB
|
||
|
GC: 146.09 MB
|
||
|
GC: 117.13 MB
|
||
|
Allocated 32 MB (total 398 MB)
|
||
|
GC: 145.24 MB
|
||
|
GC: 140.35 MB
|
||
|
GC: 120.76 MB
|
||
|
GC: 125.42 MB
|
||
|
GC: 134.04 MB
|
||
|
GC: 154.73 MB
|
||
|
GC: 111.07 MB
|
||
|
GC: 144.50 MB
|
||
|
GC: 143.75 MB
|
||
|
GC: 150.47 MB
|
||
|
GC: 159.61 MB
|
||
|
Allocated 32 MB (total 430 MB)
|
||
|
GC: 172.19 MB
|
||
|
GC: 173.74 MB
|
||
|
GC: 182.53 MB
|
||
|
GC: 205.10 MB
|
||
|
GC: 163.32 MB
|
||
|
GC: 198.60 MB
|
||
|
GC: 188.21 MB
|
||
|
Allocated 32 MB (total 462 MB)
|
||
|
GC: 210.05 MB
|
||
|
GC: 213.20 MB
|
||
|
GC: 216.84 MB
|
||
|
Allocated 32 MB (total 494 MB)
|
||
|
GC: 227.85 MB
|
||
|
GC: 228.01 MB
|
||
|
GC: 239.02 MB
|
||
|
GC: 261.48 MB
|
||
|
GC: 211.72 MB
|
||
|
GC: 265.82 MB
|
||
|
GC: 243.23 MB
|
||
|
Allocated 32 MB (total 526 MB)
|
||
|
Allocated 32 MB (total 558 MB)
|
||
|
GC: 298.02 MB
|
||
|
GC: 262.82 MB
|
||
|
GC: 263.26 MB
|
||
|
GC: 276.77 MB
|
||
|
GC: 292.74 MB
|
||
|
GC: 301.88 MB
|
||
|
GC: 296.38 MB
|
||
|
Allocated 32 MB (total 590 MB)
|
||
|
GC: 325.08 MB
|
||
|
GC: 319.03 MB
|
||
|
GC: 323.51 MB
|
||
|
GC: 334.88 MB
|
||
|
GC: 343.24 MB
|
||
|
Allocated 32 MB (total 622 MB)
|
||
|
GC: 355.69 MB
|
||
|
GC: 354.95 MB
|
||
|
GC: 354.13 MB
|
||
|
Allocated 32 MB (total 654 MB)
|
||
|
GC: 377.32 MB
|
||
|
GC: 368.66 MB
|
||
|
GC: 381.31 MB
|
||
|
|
||
|
|
||
|
# statistics in YAML format
|
||
|
---
|
||
|
runtime:
|
||
|
total: 899.79 # [s]
|
||
|
preprocessing: 0.10 # [s]
|
||
|
maxLearnedClauseLength: 16280
|
||
|
groundActions:
|
||
|
afterParsing: 612
|
||
|
afterPreprocessing: 612
|
||
|
stateVariables:
|
||
|
afterParsing: 341
|
||
|
afterPreprocessing: 341
|
||
|
stronglyConnectedComponents:
|
||
|
maxSize: 1
|
||
|
plan:
|
||
|
found: false
|
||
|
iterations:
|
||
|
...
|
||
|
|