tplp-planning-benchmark/m-mp/ipc-2011_openstacks-sequential-satisficing_5.out

173 lines
5.7 KiB
Plaintext
Raw Permalink Normal View History

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/openstacks-sequential-satisficing/domains/domain-5.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/openstacks-sequential-satisficing/instances/instance-5.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: openstacks-sequencedstrips-nonadl-nonnegated
Problem: os-sequencedstrips-p80_2
Parser: 12960 ground actions and 749 state variables
Invariants: 0 1 2 0.92 secs
Goal: conjunctive
Simplified: 12960 ground actions and 481 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.27 secs (max SCC size 81)
Plan type: E-step
Allocated 32 MB permanent (total 234 MB)
Horizon 0: 481 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 131286 variables
Allocated 32 MB (total 436 MB)
5 UNSAT (15 decisions 15 conflicts)
Horizon 10: 262091 variables
Horizon 15: 392896 variables
Horizon 20: 523701 variables
Horizon 25: 654506 variables
Horizon 30: 785311 variables
Horizon 35: 916116 variables
Allocated 32 MB permanent (total 1273 MB)
Horizon 40: 1046921 variables
Horizon 45: 1177726 variables
Horizon 50: 1308531 variables
Allocated 32 MB permanent (total 1766 MB)
Horizon 55: 1439336 variables
Horizon 60: 1570141 variables
Allocated 32 MB permanent (total 2144 MB)
Horizon 65: 1700946 variables
Horizon 70: 1831751 variables
Allocated 32 MB permanent (total 2553 MB)
Horizon 75: 1962556 variables
Allocated 32 MB (total 2585 MB)
Horizon 80: 2093361 variables
Allocated 32 MB permanent (total 3025 MB)
Horizon 85: 2224166 variables
Horizon 90: 2354971 variables
Allocated 32 MB permanent (total 3496 MB)
Horizon 95: 2485776 variables
Allocated 32 MB permanent (total 3759 MB)
Horizon 100: 2616581 variables
Horizon 105: 2747386 variables
Allocated 32 MB (total 4030 MB)
Allocated 32 MB (total 4062 MB)
Allocated 32 MB (total 4094 MB)
GC: 46.03 MB
10 UNSAT (3361 decisions 2911 conflicts)
Allocated 32 MB permanent (total 4373 MB)
Horizon 110: 2878191 variables
Allocated 32 MB (total 4405 MB)
Allocated 32 MB (total 4437 MB)
Allocated 32 MB (total 4469 MB)
Allocated 32 MB (total 4501 MB)
GC: 139.97 MB
Allocated 32 MB (total 4533 MB)
GC: 102.31 MB
Allocated 32 MB (total 4565 MB)
Allocated 32 MB (total 4597 MB)
GC: 100.38 MB
Allocated 32 MB (total 4629 MB)
Allocated 32 MB (total 4661 MB)
Allocated 32 MB (total 4693 MB)
GC: 129.00 MB
GC: 204.34 MB
GC: 113.31 MB
Allocated 32 MB (total 4725 MB)
Allocated 32 MB (total 4757 MB)
GC: 98.86 MB
Allocated 32 MB (total 4789 MB)
Allocated 32 MB (total 4821 MB)
Allocated 32 MB (total 4853 MB)
Allocated 32 MB (total 4885 MB)
Allocated 32 MB (total 4917 MB)
GC: 438.37 MB
GC: 117.70 MB
Allocated 32 MB (total 4949 MB)
GC: 146.02 MB
Allocated 32 MB (total 4981 MB)
Allocated 32 MB (total 5013 MB)
Allocated 32 MB (total 5045 MB)
Allocated 32 MB (total 5077 MB)
Allocated 32 MB (total 5109 MB)
Allocated 32 MB (total 5141 MB)
Allocated 32 MB (total 5173 MB)
GC: 546.63 MB
GC: 144.49 MB
Allocated 32 MB (total 5205 MB)
Allocated 32 MB (total 5237 MB)
Allocated 32 MB (total 5269 MB)
Allocated 32 MB (total 5301 MB)
GC: 593.06 MB
GC: 231.70 MB
Allocated 32 MB (total 5333 MB)
Allocated 32 MB (total 5365 MB)
GC: 525.94 MB
GC: 271.00 MB
Allocated 32 MB (total 5397 MB)
GC: 335.46 MB
Allocated 32 MB (total 5429 MB)
Allocated 32 MB (total 5461 MB)
Allocated 32 MB (total 5493 MB)
Allocated 32 MB (total 5525 MB)
GC: 353.09 MB
Allocated 32 MB (total 5557 MB)
Allocated 32 MB (total 5589 MB)
Allocated 32 MB (total 5621 MB)
Allocated 32 MB (total 5653 MB)
GC: 434.55 MB
Allocated 32 MB (total 5685 MB)
Allocated 32 MB (total 5717 MB)
GC: 386.15 MB
Allocated 32 MB (total 5749 MB)
Allocated 32 MB (total 5781 MB)
Allocated 32 MB (total 5813 MB)
Allocated 32 MB (total 5845 MB)
Allocated 32 MB (total 5877 MB)
Allocated 32 MB (total 5909 MB)
Allocated 32 MB (total 5941 MB)
GC: 452.81 MB
Allocated 32 MB (total 5973 MB)
Allocated 32 MB (total 6005 MB)
Allocated 32 MB (total 6037 MB)
GC: 509.30 MB
Allocated 32 MB (total 6069 MB)
GC: 429.58 MB
Allocated 32 MB (total 6101 MB)
Allocated 32 MB (total 6133 MB)
Allocated 32 MB (total 6165 MB)
Allocated 32 MB (total 6197 MB)
GC: 364.88 MB
Allocated 32 MB (total 6229 MB)
Allocated 32 MB (total 6261 MB)
Allocated 32 MB (total 6293 MB)
Allocated 32 MB (total 6325 MB)
Allocated 32 MB (total 6357 MB)
Allocated 32 MB (total 6389 MB)
Allocated 32 MB (total 6421 MB)
Allocated 32 MB (total 6453 MB)
Allocated 32 MB (total 6485 MB)
Allocated 32 MB (total 6517 MB)
GC: 542.54 MB
Allocated 32 MB (total 6549 MB)
Allocated 32 MB (total 6581 MB)
GC: 518.66 MB
Allocated 32 MB (total 6613 MB)
Allocated 32 MB (total 6645 MB)
Allocated 32 MB (total 6677 MB)
Allocated 32 MB (total 6709 MB)
GC: 542.71 MB
Allocated 32 MB (total 6741 MB)
Allocated 32 MB (total 6773 MB)
Allocated 32 MB (total 6805 MB)
GC: 526.19 MB
Allocated 32 MB (total 6837 MB)
Allocated 32 MB (total 6869 MB)
Allocated 32 MB (total 6901 MB)
Allocated 32 MB (total 6933 MB)
Allocated 32 MB (total 6965 MB)
GC: 534.48 MB
Allocated 32 MB (total 6997 MB)
Allocated 32 MB (total 7029 MB)
GC: 496.13 MB
Allocated 32 MB (total 7061 MB)
Allocated 32 MB (total 7093 MB)
Allocated 32 MB (total 7125 MB)
GC: 429.73 MB