tplp-planning-benchmark/m-mp/ipc-2011_parking-sequential-satisficing_20.out

233 lines
6.6 KiB
Plaintext
Raw Normal View History

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/parking-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-20.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
-m 8192
Domain: parking
Problem: parking
Parser: 76832 ground actions and 1649 state variables
Invariants: 0 1 2 1.28 secs
Goal: conjunctive
Simplified: 72736 ground actions and 1649 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 118.11 secs (max SCC size 1)
Plan type: E-step
Allocated 32 MB permanent (total 848 MB)
Horizon 0: 1649 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 373574 variables
Allocated 32 MB (total 1084 MB)
Horizon 10: 745499 variables
Allocated 32 MB permanent (total 1379 MB)
Horizon 15: 1117424 variables
Allocated 32 MB permanent (total 1575 MB)
Horizon 20: 1489349 variables
Allocated 32 MB permanent (total 1793 MB)
Horizon 25: 1861274 variables
Allocated 32 MB (total 1825 MB)
Allocated 32 MB permanent (total 2066 MB)
Horizon 30: 2233199 variables
Allocated 32 MB permanent (total 2328 MB)
Allocated 32 MB permanent (total 2360 MB)
Horizon 35: 2605124 variables
Allocated 32 MB (total 2392 MB)
Allocated 32 MB permanent (total 2677 MB)
Horizon 40: 2977049 variables
Allocated 32 MB (total 2709 MB)
Allocated 32 MB permanent (total 3015 MB)
Allocated 32 MB permanent (total 3047 MB)
Horizon 45: 3348974 variables
5 UNSAT (547 decisions 523 conflicts)
Allocated 32 MB permanent (total 3375 MB)
Allocated 32 MB permanent (total 3407 MB)
Horizon 50: 3720899 variables
Allocated 32 MB (total 3439 MB)
Allocated 32 MB permanent (total 3790 MB)
Allocated 32 MB permanent (total 3822 MB)
Allocated 32 MB permanent (total 3854 MB)
Horizon 55: 4092824 variables
Allocated 32 MB (total 3886 MB)
Allocated 32 MB permanent (total 4258 MB)
Allocated 32 MB permanent (total 4290 MB)
Horizon 60: 4464749 variables
Allocated 32 MB (total 4322 MB)
Allocated 32 MB permanent (total 4716 MB)
Allocated 32 MB permanent (total 4748 MB)
Allocated 32 MB permanent (total 4780 MB)
Horizon 65: 4836674 variables
Allocated 32 MB (total 4812 MB)
Allocated 32 MB permanent (total 5229 MB)
Allocated 32 MB permanent (total 5261 MB)
Allocated 32 MB permanent (total 5293 MB)
Horizon 70: 5208599 variables
Allocated 32 MB (total 5325 MB)
Allocated 32 MB permanent (total 5763 MB)
Allocated 32 MB permanent (total 5795 MB)
Allocated 32 MB permanent (total 5827 MB)
Horizon 75: 5580524 variables
Allocated 32 MB (total 5859 MB)
Allocated 32 MB permanent (total 6319 MB)
Allocated 32 MB permanent (total 6351 MB)
Allocated 32 MB permanent (total 6383 MB)
Allocated 32 MB permanent (total 6415 MB)
Horizon 80: 5952449 variables
Allocated 32 MB (total 6447 MB)
Allocated 32 MB permanent (total 6929 MB)
Allocated 32 MB permanent (total 6961 MB)
Allocated 32 MB permanent (total 6993 MB)
Horizon 85: 6324374 variables
Allocated 32 MB (total 7025 MB)
Allocated 32 MB permanent (total 7530 MB)
Allocated 32 MB permanent (total 7562 MB)
Allocated 32 MB permanent (total 7594 MB)
Allocated 32 MB permanent (total 7626 MB)
Horizon 90: 6696299 variables
Allocated 32 MB (total 7658 MB)
ATTENTION: Horizon 95 will not be started: memory allocated 7658.18 MB limit 8192.00 MB
Allocated 32 MB (total 7690 MB)
Allocated 32 MB (total 7722 MB)
Allocated 32 MB (total 7754 MB)
Allocated 32 MB (total 7786 MB)
Allocated 32 MB (total 7818 MB)
Allocated 32 MB (total 7850 MB)
Allocated 32 MB (total 7882 MB)
Allocated 32 MB (total 7914 MB)
Allocated 32 MB (total 7946 MB)
Allocated 32 MB (total 7978 MB)
Allocated 32 MB (total 8010 MB)
Allocated 32 MB (total 8042 MB)
Allocated 32 MB (total 8074 MB)
Allocated 32 MB (total 8106 MB)
GC: 532.07 MB
Allocated 32 MB (total 8138 MB)
Allocated 32 MB (total 8170 MB)
Allocated 32 MB (total 8202 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8202.18 MB allocated
GC: 821.45 MB
GC: 423.37 MB
GC: 448.80 MB
GC: 441.65 MB
GC: 382.84 MB
GC: 407.90 MB
GC: 413.10 MB
GC: 614.94 MB
GC: 360.12 MB
GC: 384.96 MB
GC: 437.71 MB
# statistics in YAML format
---
runtime:
total: 898.36 # [s]
preprocessing: 121.54 # [s]
maxLearnedClauseLength: 172304
groundActions:
afterParsing: 76832
afterPreprocessing: 72736
stateVariables:
afterParsing: 1649
afterPreprocessing: 1649
stronglyConnectedComponents:
maxSize: 1
plan:
found: false
iterations:
- horizon: 0
result: unsatisfiable
conflicts: 0
decisions: 0
variables: 1649
- horizon: 5
result: unsatisfiable
conflicts: 523
decisions: 547
variables: 373574
- horizon: 10
result: unknown
conflicts: 17015
decisions: 20373
variables: 745499
- horizon: 15
result: unknown
conflicts: 15387
decisions: 18894
variables: 1117424
- horizon: 20
result: unknown
conflicts: 13832
decisions: 18024
variables: 1489349
- horizon: 25
result: unknown
conflicts: 12451
decisions: 17254
variables: 1861274
- horizon: 30
result: unknown
conflicts: 11246
decisions: 16484
variables: 2233199
- horizon: 35
result: unknown
conflicts: 10101
decisions: 15683
variables: 2605124
- horizon: 40
result: unknown
conflicts: 9079
decisions: 14819
variables: 2977049
- horizon: 45
result: unknown
conflicts: 8186
decisions: 14059
variables: 3348974
- horizon: 50
result: unknown
conflicts: 7404
decisions: 13315
variables: 3720899
- horizon: 55
result: unknown
conflicts: 6669
decisions: 12492
variables: 4092824
- horizon: 60
result: unknown
conflicts: 6014
decisions: 11741
variables: 4464749
- horizon: 65
result: unknown
conflicts: 5370
decisions: 11132
variables: 4836674
- horizon: 70
result: unknown
conflicts: 4869
decisions: 10464
variables: 5208599
- horizon: 75
result: unknown
conflicts: 4389
decisions: 9780
variables: 5580524
- horizon: 80
result: unknown
conflicts: 3971
decisions: 9060
variables: 5952449
- horizon: 85
result: unknown
conflicts: 3547
decisions: 8353
variables: 6324374
- horizon: 90
result: unknown
conflicts: 3185
decisions: 7598
variables: 6696299
...