88 lines
2.5 KiB
Plaintext
88 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-76.pddlignoring --stats
|
||
|
ignoring --stats-iter
|
||
|
ignoring --verbose
|
||
|
-m 8192 -F 140 -T 140
|
||
|
Domain: blocks
|
||
|
Problem: blocks-37-1
|
||
|
Parser: 2812 ground actions and 1481 state variables
|
||
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.19 secs
|
||
|
Goal: conjunctive
|
||
|
Simplified: 2812 ground actions and 1481 state variables
|
||
|
Actions: STRIPS
|
||
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.74 secs (max SCC size 1)
|
||
|
Plan type: E-step
|
||
|
Allocated 32 MB permanent (total 149 MB)
|
||
|
Horizon 140: 602501 variables
|
||
|
Allocated 32 MB (total 296 MB)
|
||
|
Allocated 32 MB (total 328 MB)
|
||
|
Allocated 32 MB (total 360 MB)
|
||
|
Allocated 32 MB (total 392 MB)
|
||
|
GC: 71.17 MB
|
||
|
Allocated 32 MB (total 424 MB)
|
||
|
Allocated 32 MB (total 456 MB)
|
||
|
GC: 120.11 MB
|
||
|
Allocated 32 MB (total 488 MB)
|
||
|
Allocated 32 MB (total 520 MB)
|
||
|
GC: 163.18 MB
|
||
|
Allocated 32 MB (total 552 MB)
|
||
|
GC: 172.45 MB
|
||
|
Allocated 32 MB (total 584 MB)
|
||
|
Allocated 32 MB (total 616 MB)
|
||
|
GC: 257.41 MB
|
||
|
GC: 226.89 MB
|
||
|
GC: 230.65 MB
|
||
|
Allocated 32 MB (total 648 MB)
|
||
|
Allocated 32 MB (total 680 MB)
|
||
|
Allocated 32 MB (total 712 MB)
|
||
|
GC: 298.65 MB
|
||
|
Allocated 32 MB (total 744 MB)
|
||
|
Allocated 32 MB (total 776 MB)
|
||
|
Allocated 32 MB (total 808 MB)
|
||
|
Allocated 32 MB (total 840 MB)
|
||
|
GC: 421.04 MB
|
||
|
Allocated 32 MB (total 872 MB)
|
||
|
GC: 445.62 MB
|
||
|
Allocated 32 MB (total 904 MB)
|
||
|
Allocated 32 MB (total 936 MB)
|
||
|
GC: 520.55 MB
|
||
|
GC: 496.60 MB
|
||
|
GC: 529.72 MB
|
||
|
GC: 532.07 MB
|
||
|
Allocated 32 MB (total 968 MB)
|
||
|
GC: 571.21 MB
|
||
|
GC: 572.12 MB
|
||
|
Allocated 32 MB (total 1000 MB)
|
||
|
Allocated 32 MB (total 1032 MB)
|
||
|
Allocated 32 MB (total 1064 MB)
|
||
|
GC: 657.18 MB
|
||
|
Allocated 32 MB (total 1096 MB)
|
||
|
GC: 693.21 MB
|
||
|
Allocated 32 MB (total 1128 MB)
|
||
|
Allocated 32 MB (total 1160 MB)
|
||
|
Allocated 32 MB (total 1192 MB)
|
||
|
GC: 779.49 MB
|
||
|
Allocated 32 MB (total 1224 MB)
|
||
|
GC: 830.55 MB
|
||
|
|
||
|
|
||
|
# statistics in YAML format
|
||
|
---
|
||
|
runtime:
|
||
|
total: 899.47 # [s]
|
||
|
preprocessing: 2.00 # [s]
|
||
|
maxLearnedClauseLength: 35960
|
||
|
groundActions:
|
||
|
afterParsing: 2812
|
||
|
afterPreprocessing: 2812
|
||
|
stateVariables:
|
||
|
afterParsing: 1481
|
||
|
afterPreprocessing: 1481
|
||
|
stronglyConnectedComponents:
|
||
|
maxSize: 1
|
||
|
plan:
|
||
|
found: false
|
||
|
iterations:
|
||
|
...
|
||
|
|