93 lines
2.5 KiB
Plaintext
93 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-61.pddlignoring --stats
|
|
ignoring --stats-iter
|
|
ignoring --verbose
|
|
-m 8192 -F 100 -T 100
|
|
Domain: blocks
|
|
Problem: blocks-30-0
|
|
Parser: 1860 ground actions and 991 state variables
|
|
Invariants: 0 1 2 3 4 5 6 7 8 9 0.48 secs
|
|
Goal: conjunctive
|
|
Simplified: 1860 ground actions and 991 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.26 secs (max SCC size 1)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 138 MB)
|
|
Horizon 100: 286091 variables
|
|
Allocated 32 MB (total 265 MB)
|
|
Allocated 32 MB (total 297 MB)
|
|
Allocated 32 MB (total 329 MB)
|
|
Allocated 32 MB (total 361 MB)
|
|
Allocated 32 MB (total 393 MB)
|
|
GC: 99.22 MB
|
|
Allocated 32 MB (total 425 MB)
|
|
Allocated 32 MB (total 457 MB)
|
|
Allocated 32 MB (total 489 MB)
|
|
Allocated 32 MB (total 521 MB)
|
|
GC: 209.18 MB
|
|
Allocated 32 MB (total 553 MB)
|
|
Allocated 32 MB (total 585 MB)
|
|
GC: 301.61 MB
|
|
GC: 232.46 MB
|
|
GC: 289.58 MB
|
|
Allocated 32 MB (total 617 MB)
|
|
GC: 314.71 MB
|
|
Allocated 32 MB (total 649 MB)
|
|
Allocated 32 MB (total 681 MB)
|
|
Allocated 32 MB (total 713 MB)
|
|
GC: 456.62 MB
|
|
GC: 352.28 MB
|
|
Allocated 32 MB (total 745 MB)
|
|
GC: 412.89 MB
|
|
Allocated 32 MB (total 777 MB)
|
|
Allocated 32 MB (total 809 MB)
|
|
GC: 515.50 MB
|
|
GC: 462.33 MB
|
|
GC: 478.61 MB
|
|
GC: 508.29 MB
|
|
Allocated 32 MB (total 841 MB)
|
|
GC: 514.38 MB
|
|
Allocated 32 MB (total 873 MB)
|
|
GC: 539.51 MB
|
|
Allocated 32 MB (total 905 MB)
|
|
Allocated 32 MB (total 937 MB)
|
|
Allocated 32 MB (total 969 MB)
|
|
GC: 647.25 MB
|
|
GC: 573.11 MB
|
|
GC: 602.50 MB
|
|
Allocated 32 MB (total 1001 MB)
|
|
GC: 685.45 MB
|
|
GC: 632.14 MB
|
|
GC: 671.15 MB
|
|
Allocated 32 MB (total 1033 MB)
|
|
GC: 679.41 MB
|
|
GC: 651.10 MB
|
|
GC: 715.46 MB
|
|
GC: 665.03 MB
|
|
Allocated 32 MB (total 1065 MB)
|
|
Allocated 32 MB (total 1097 MB)
|
|
GC: 746.06 MB
|
|
Allocated 32 MB (total 1129 MB)
|
|
GC: 787.71 MB
|
|
|
|
|
|
# statistics in YAML format
|
|
---
|
|
runtime:
|
|
total: 899.60 # [s]
|
|
preprocessing: 0.77 # [s]
|
|
maxLearnedClauseLength: 31238
|
|
groundActions:
|
|
afterParsing: 1860
|
|
afterPreprocessing: 1860
|
|
stateVariables:
|
|
afterParsing: 991
|
|
afterPreprocessing: 991
|
|
stronglyConnectedComponents:
|
|
maxSize: 1
|
|
plan:
|
|
found: false
|
|
iterations:
|
|
...
|
|
|