117 lines
4.4 KiB
Plaintext
117 lines
4.4 KiB
Plaintext
|
Madagascar 0.99999 25/02/2015 09:46:27 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 --verbose
|
||
|
-m 8192
|
||
|
Domain: parking
|
||
|
Problem: parking
|
||
|
Parser: 76832 ground actions and 1649 state variables
|
||
|
Invariants: 0 1 2 1.23 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 115.76 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
|
||
|
|