119 lines
4.0 KiB
Plaintext
119 lines
4.0 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-2006/domains/trucks-propositional-strips/domains/domain-27.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2006/domains/trucks-propositional-strips/instances/instance-27.pddlignoring --stats
|
||
|
|
ignoring --verbose
|
||
|
|
-m 8192
|
||
|
|
Domain: grounded-trucks
|
||
|
|
Problem: grounded-truck-27
|
||
|
|
Parser: 29799 ground actions and 2875 state variables
|
||
|
|
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 22.38 secs
|
||
|
|
Goal: conjunctive
|
||
|
|
Simplified: 29763 ground actions and 2874 state variables
|
||
|
|
Actions: STRIPS
|
||
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.97 secs (max SCC size 1)
|
||
|
|
Plan type: E-step
|
||
|
|
Allocated 32 MB permanent (total 423 MB)
|
||
|
|
Horizon 0: 2874 variables
|
||
|
|
0 UNSAT (0 decisions 0 conflicts)
|
||
|
|
Horizon 5: 166059 variables
|
||
|
|
Allocated 32 MB (total 633 MB)
|
||
|
|
5 UNSAT (54 decisions 50 conflicts)
|
||
|
|
Horizon 10: 329244 variables
|
||
|
|
Horizon 15: 492429 variables
|
||
|
|
Horizon 20: 655614 variables
|
||
|
|
Allocated 32 MB permanent (total 1106 MB)
|
||
|
|
Horizon 25: 818799 variables
|
||
|
|
Horizon 30: 981984 variables
|
||
|
|
Allocated 32 MB permanent (total 1416 MB)
|
||
|
|
Horizon 35: 1145169 variables
|
||
|
|
Horizon 40: 1308354 variables
|
||
|
|
Allocated 32 MB permanent (total 1765 MB)
|
||
|
|
Horizon 45: 1471539 variables
|
||
|
|
Allocated 32 MB permanent (total 1970 MB)
|
||
|
|
Horizon 50: 1634724 variables
|
||
|
|
Horizon 55: 1797909 variables
|
||
|
|
Allocated 32 MB (total 2185 MB)
|
||
|
|
Allocated 32 MB permanent (total 2409 MB)
|
||
|
|
Horizon 60: 1961094 variables
|
||
|
|
Allocated 32 MB permanent (total 2643 MB)
|
||
|
|
Horizon 65: 2124279 variables
|
||
|
|
Allocated 32 MB permanent (total 2887 MB)
|
||
|
|
Horizon 70: 2287464 variables
|
||
|
|
Allocated 32 MB (total 2919 MB)
|
||
|
|
Allocated 32 MB permanent (total 3172 MB)
|
||
|
|
Horizon 75: 2450649 variables
|
||
|
|
Allocated 32 MB permanent (total 3435 MB)
|
||
|
|
Allocated 32 MB permanent (total 3467 MB)
|
||
|
|
Horizon 80: 2613834 variables
|
||
|
|
Allocated 32 MB (total 3499 MB)
|
||
|
|
Allocated 32 MB permanent (total 3771 MB)
|
||
|
|
Horizon 85: 2777019 variables
|
||
|
|
Allocated 32 MB permanent (total 4054 MB)
|
||
|
|
Horizon 90: 2940204 variables
|
||
|
|
Allocated 32 MB (total 4086 MB)
|
||
|
|
Allocated 32 MB permanent (total 4377 MB)
|
||
|
|
Allocated 32 MB permanent (total 4409 MB)
|
||
|
|
Horizon 95: 3103389 variables
|
||
|
|
Allocated 32 MB (total 4441 MB)
|
||
|
|
Allocated 32 MB permanent (total 4743 MB)
|
||
|
|
Horizon 100: 3266574 variables
|
||
|
|
Allocated 32 MB (total 4775 MB)
|
||
|
|
Allocated 32 MB permanent (total 5086 MB)
|
||
|
|
Allocated 32 MB permanent (total 5118 MB)
|
||
|
|
Horizon 105: 3429759 variables
|
||
|
|
Allocated 32 MB (total 5150 MB)
|
||
|
|
Allocated 32 MB (total 5182 MB)
|
||
|
|
Allocated 32 MB (total 5214 MB)
|
||
|
|
Allocated 32 MB (total 5246 MB)
|
||
|
|
Allocated 32 MB (total 5278 MB)
|
||
|
|
Allocated 32 MB (total 5310 MB)
|
||
|
|
GC: 149.10 MB
|
||
|
|
Allocated 32 MB (total 5342 MB)
|
||
|
|
Allocated 32 MB (total 5374 MB)
|
||
|
|
Allocated 32 MB (total 5406 MB)
|
||
|
|
Allocated 32 MB (total 5438 MB)
|
||
|
|
Allocated 32 MB (total 5470 MB)
|
||
|
|
Allocated 32 MB (total 5502 MB)
|
||
|
|
Allocated 32 MB (total 5534 MB)
|
||
|
|
Allocated 32 MB (total 5566 MB)
|
||
|
|
GC: 394.62 MB
|
||
|
|
GC: 297.90 MB
|
||
|
|
Allocated 32 MB (total 5598 MB)
|
||
|
|
Allocated 32 MB (total 5630 MB)
|
||
|
|
Allocated 32 MB (total 5662 MB)
|
||
|
|
Allocated 32 MB (total 5694 MB)
|
||
|
|
Allocated 32 MB (total 5726 MB)
|
||
|
|
GC: 337.41 MB
|
||
|
|
Allocated 32 MB (total 5758 MB)
|
||
|
|
Allocated 32 MB (total 5790 MB)
|
||
|
|
Allocated 32 MB (total 5822 MB)
|
||
|
|
Allocated 32 MB (total 5854 MB)
|
||
|
|
Allocated 32 MB (total 5886 MB)
|
||
|
|
GC: 347.84 MB
|
||
|
|
Allocated 32 MB (total 5918 MB)
|
||
|
|
Allocated 32 MB (total 5950 MB)
|
||
|
|
Allocated 32 MB (total 5982 MB)
|
||
|
|
Allocated 32 MB (total 6014 MB)
|
||
|
|
Allocated 32 MB (total 6046 MB)
|
||
|
|
Allocated 32 MB (total 6078 MB)
|
||
|
|
GC: 845.89 MB
|
||
|
|
GC: 491.00 MB
|
||
|
|
GC: 486.74 MB
|
||
|
|
GC: 780.04 MB
|
||
|
|
GC: 524.11 MB
|
||
|
|
GC: 523.20 MB
|
||
|
|
GC: 834.23 MB
|
||
|
|
GC: 477.58 MB
|
||
|
|
GC: 622.90 MB
|
||
|
|
GC: 592.40 MB
|
||
|
|
GC: 800.41 MB
|
||
|
|
GC: 635.21 MB
|
||
|
|
GC: 767.14 MB
|
||
|
|
GC: 711.05 MB
|
||
|
|
GC: 675.98 MB
|
||
|
|
GC: 670.89 MB
|
||
|
|
GC: 674.53 MB
|
||
|
|
GC: 680.88 MB
|
||
|
|
GC: 673.55 MB
|
||
|
|
GC: 714.01 MB
|
||
|
|
|