84 lines
3.2 KiB
Plaintext
84 lines
3.2 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/openstacks-sequential-satisficing/domains/domain-15.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/openstacks-sequential-satisficing/instances/instance-15.pddlignoring --stats
|
|
ignoring --verbose
|
|
-m 8192
|
|
Domain: openstacks-sequencedstrips-nonadl-nonnegated
|
|
Problem: os-sequencedstrips-p190_1
|
|
Parser: 72580 ground actions and 1971 state variables
|
|
Invariants: 0 1 2 23.28 secs
|
|
Goal: conjunctive
|
|
Simplified: 72580 ground actions and 1141 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 8.45 secs (max SCC size 191)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 1046 MB)
|
|
Horizon 0: 1141 variables
|
|
0 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 5: 729796 variables
|
|
Allocated 32 MB (total 1326 MB)
|
|
5 UNSAT (7 decisions 7 conflicts)
|
|
Horizon 10: 1458451 variables
|
|
Allocated 32 MB permanent (total 1726 MB)
|
|
Horizon 15: 2187106 variables
|
|
Horizon 20: 2915761 variables
|
|
Allocated 32 MB permanent (total 2299 MB)
|
|
Horizon 25: 3644416 variables
|
|
Allocated 32 MB permanent (total 2665 MB)
|
|
Horizon 30: 4373071 variables
|
|
Allocated 32 MB permanent (total 3075 MB)
|
|
Allocated 32 MB permanent (total 3107 MB)
|
|
Horizon 35: 5101726 variables
|
|
Allocated 32 MB permanent (total 3560 MB)
|
|
Horizon 40: 5830381 variables
|
|
Allocated 32 MB permanent (total 4057 MB)
|
|
Allocated 32 MB permanent (total 4089 MB)
|
|
Horizon 45: 6559036 variables
|
|
Allocated 32 MB permanent (total 4628 MB)
|
|
Horizon 50: 7287691 variables
|
|
Allocated 32 MB (total 4660 MB)
|
|
Allocated 32 MB permanent (total 5242 MB)
|
|
Allocated 32 MB permanent (total 5274 MB)
|
|
Horizon 55: 8016346 variables
|
|
Allocated 32 MB permanent (total 5900 MB)
|
|
Allocated 32 MB permanent (total 5932 MB)
|
|
Allocated 32 MB permanent (total 5964 MB)
|
|
Horizon 60: 8745001 variables
|
|
Allocated 32 MB permanent (total 6632 MB)
|
|
Allocated 32 MB permanent (total 6664 MB)
|
|
Horizon 65: 9473656 variables
|
|
Allocated 32 MB (total 6696 MB)
|
|
Allocated 32 MB permanent (total 7408 MB)
|
|
Allocated 32 MB permanent (total 7440 MB)
|
|
Allocated 32 MB permanent (total 7472 MB)
|
|
Horizon 70: 10202311 variables
|
|
ATTENTION: Horizon 75 will not be started: memory allocated 7472.21 MB limit 8192.00 MB
|
|
Allocated 32 MB (total 7504 MB)
|
|
Allocated 32 MB (total 7536 MB)
|
|
Allocated 32 MB (total 7568 MB)
|
|
Allocated 32 MB (total 7600 MB)
|
|
Allocated 32 MB (total 7632 MB)
|
|
Allocated 32 MB (total 7664 MB)
|
|
10 UNSAT (1899 decisions 1741 conflicts)
|
|
Allocated 32 MB (total 7696 MB)
|
|
Allocated 32 MB (total 7728 MB)
|
|
Allocated 32 MB (total 7760 MB)
|
|
Allocated 32 MB (total 7792 MB)
|
|
GC: 245.47 MB
|
|
Allocated 32 MB (total 7824 MB)
|
|
Allocated 32 MB (total 7856 MB)
|
|
Allocated 32 MB (total 7888 MB)
|
|
Allocated 32 MB (total 7920 MB)
|
|
Allocated 32 MB (total 7952 MB)
|
|
GC: 283.15 MB
|
|
Allocated 32 MB (total 7984 MB)
|
|
Allocated 32 MB (total 8016 MB)
|
|
GC: 289.63 MB
|
|
Allocated 32 MB (total 8048 MB)
|
|
Allocated 32 MB (total 8080 MB)
|
|
Allocated 32 MB (total 8112 MB)
|
|
Allocated 32 MB (total 8144 MB)
|
|
GC: 386.80 MB
|
|
Allocated 32 MB (total 8176 MB)
|
|
GC: 605.77 MB
|
|
|