tplp-planning-benchmark/m-mp/ipc-2011_tidybot-sequential-satisficing_13.out

261 lines
6.9 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-2011/domains/tidybot-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-13.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: tidybot
Problem: test
Parser: 54480 ground actions and 921 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 4.02 secs
Goal: conjunctive
Simplified: 23906 ground actions and 418 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 5.38 secs (max SCC size 10)
Plan type: E-step
Allocated 32 MB permanent (total 378 MB)
Horizon 0: 418 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 122038 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 243658 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 365278 variables
Allocated 32 MB (total 769 MB)
Horizon 20: 486898 variables
Allocated 32 MB permanent (total 1018 MB)
Horizon 25: 608518 variables
Horizon 30: 730138 variables
Allocated 32 MB permanent (total 1296 MB)
Horizon 35: 851758 variables
Allocated 32 MB permanent (total 1462 MB)
Horizon 40: 973378 variables
Allocated 32 MB permanent (total 1635 MB)
Horizon 45: 1094998 variables
Allocated 32 MB permanent (total 1816 MB)
Horizon 50: 1216618 variables
Allocated 32 MB permanent (total 2003 MB)
Horizon 55: 1338238 variables
Allocated 32 MB permanent (total 2198 MB)
Horizon 60: 1459858 variables
Allocated 32 MB permanent (total 2400 MB)
Horizon 65: 1581478 variables
Allocated 32 MB permanent (total 2609 MB)
Horizon 70: 1703098 variables
15 UNSAT (745 decisions 692 conflicts)
Allocated 32 MB (total 2641 MB)
Allocated 32 MB permanent (total 2857 MB)
Allocated 32 MB permanent (total 2889 MB)
Horizon 75: 1824718 variables
Allocated 32 MB permanent (total 3112 MB)
Horizon 80: 1946338 variables
Allocated 32 MB permanent (total 3343 MB)
Allocated 32 MB permanent (total 3375 MB)
Horizon 85: 2067958 variables
Allocated 32 MB permanent (total 3613 MB)
Horizon 90: 2189578 variables
Allocated 32 MB permanent (total 3858 MB)
Allocated 32 MB permanent (total 3890 MB)
Horizon 95: 2311198 variables
Allocated 32 MB permanent (total 4142 MB)
Allocated 32 MB permanent (total 4174 MB)
Horizon 100: 2432818 variables
Allocated 32 MB (total 4206 MB)
Allocated 32 MB permanent (total 4465 MB)
Allocated 32 MB permanent (total 4497 MB)
Horizon 105: 2554438 variables
Allocated 32 MB permanent (total 4764 MB)
Allocated 32 MB permanent (total 4796 MB)
Horizon 110: 2676058 variables
Allocated 32 MB permanent (total 5069 MB)
Allocated 32 MB permanent (total 5101 MB)
Horizon 115: 2797678 variables
Allocated 32 MB (total 5133 MB)
Allocated 32 MB (total 5165 MB)
Allocated 32 MB (total 5197 MB)
Allocated 32 MB (total 5229 MB)
GC: 159.74 MB
Allocated 32 MB (total 5261 MB)
Allocated 32 MB (total 5293 MB)
Allocated 32 MB (total 5325 MB)
Allocated 32 MB (total 5357 MB)
Allocated 32 MB (total 5389 MB)
Allocated 32 MB (total 5421 MB)
Allocated 32 MB (total 5453 MB)
GC: 296.55 MB
Allocated 32 MB (total 5485 MB)
Allocated 32 MB (total 5517 MB)
GC: 357.16 MB
Allocated 32 MB (total 5549 MB)
GC: 301.43 MB
Allocated 32 MB (total 5581 MB)
Allocated 32 MB (total 5613 MB)
Allocated 32 MB (total 5645 MB)
Allocated 32 MB (total 5677 MB)
GC: 479.05 MB
GC: 379.43 MB
GC: 407.22 MB
Allocated 32 MB (total 5709 MB)
Allocated 32 MB (total 5741 MB)
GC: 427.52 MB
20 UNSAT (22599 decisions 20853 conflicts)
Allocated 32 MB permanent (total 6022 MB)
Allocated 32 MB permanent (total 6054 MB)
Horizon 120: 2919298 variables
Allocated 32 MB (total 6086 MB)
Allocated 32 MB (total 6118 MB)
GC: 662.97 MB
GC: 454.19 MB
GC: 537.14 MB
GC: 532.45 MB
Allocated 32 MB (total 6150 MB)
Allocated 32 MB (total 6182 MB)
Allocated 32 MB (total 6214 MB)
Allocated 32 MB (total 6246 MB)
GC: 696.89 MB
# statistics in YAML format
---
runtime:
total: 898.78 # [s]
preprocessing: 10.19 # [s]
maxLearnedClauseLength: 247747
groundActions:
afterParsing: 54480
afterPreprocessing: 23906
stateVariables:
afterParsing: 921
afterPreprocessing: 418
stronglyConnectedComponents:
maxSize: 10
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 418
- horizon: 5
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 122038
- horizon: 10
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 243658
- horizon: 15
result: unsatisfiable
conflicts: 692
decisions: 745
variables: 365278
- horizon: 20
result: unsatisfiable
conflicts: 20853
decisions: 22599
variables: 486898
- horizon: 25
result: unknown
conflicts: 31945
decisions: 36728
variables: 608518
- horizon: 30
result: unknown
conflicts: 28828
decisions: 36733
variables: 730138
- horizon: 35
result: unknown
conflicts: 25939
decisions: 35215
variables: 851758
- horizon: 40
result: unknown
conflicts: 23353
decisions: 32791
variables: 973378
- horizon: 45
result: unknown
conflicts: 21017
decisions: 30011
variables: 1094998
- horizon: 50
result: unknown
conflicts: 18918
decisions: 27750
variables: 1216618
- horizon: 55
result: unknown
conflicts: 17063
decisions: 25787
variables: 1338238
- horizon: 60
result: unknown
conflicts: 15319
decisions: 23837
variables: 1459858
- horizon: 65
result: unknown
conflicts: 13816
decisions: 22360
variables: 1581478
- horizon: 70
result: unknown
conflicts: 12435
decisions: 20795
variables: 1703098
- horizon: 75
result: unknown
conflicts: 11167
decisions: 19025
variables: 1824718
- horizon: 80
result: unknown
conflicts: 10090
decisions: 17754
variables: 1946338
- horizon: 85
result: unknown
conflicts: 9068
decisions: 16474
variables: 2067958
- horizon: 90
result: unknown
conflicts: 8165
decisions: 15169
variables: 2189578
- horizon: 95
result: unknown
conflicts: 7383
decisions: 14094
variables: 2311198
- horizon: 100
result: unknown
conflicts: 6667
decisions: 12921
variables: 2432818
- horizon: 105
result: unknown
conflicts: 5963
decisions: 11919
variables: 2554438
- horizon: 110
result: unknown
conflicts: 5407
decisions: 10891
variables: 2676058
- horizon: 115
result: unknown
conflicts: 4864
decisions: 10040
variables: 2797678
- horizon: 120
result: unknown
conflicts: 4384
decisions: 9389
variables: 2919298
...