tplp-planning-benchmark/m-mp/ipc-2011_transport-sequential-satisficing_15.out

75 lines
3.0 KiB
Plaintext
Raw 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/transport-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-15.pddlignoring --stats
ignoring --verbose
-m 8192
Domain: transport
Problem: transport-two-cities-sequential-62nodes-1000size-4degree-100mindistance-4trucks-20packages-2013seed
Parser: 81272 ground actions and 3558 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 2.94 secs
Goal: conjunctive
Simplified: 81272 ground actions and 3076 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 12.01 secs (max SCC size 20)
Plan type: E-step
Allocated 32 MB permanent (total 1275 MB)
Horizon 0: 3076 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 801776 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 1600476 variables
10 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 1960 MB)
Horizon 15: 2399176 variables
15 UNSAT (0 decisions 0 conflicts)
Allocated 32 MB permanent (total 2258 MB)
Horizon 20: 3197876 variables
Allocated 32 MB (total 2290 MB)
Allocated 32 MB permanent (total 2634 MB)
Horizon 25: 3996576 variables
Allocated 32 MB permanent (total 3026 MB)
Horizon 30: 4795276 variables
Allocated 32 MB permanent (total 3465 MB)
Allocated 32 MB permanent (total 3497 MB)
Horizon 35: 5593976 variables
Allocated 32 MB permanent (total 3984 MB)
Allocated 32 MB permanent (total 4016 MB)
Horizon 40: 6392676 variables
Allocated 32 MB permanent (total 4549 MB)
Allocated 32 MB permanent (total 4581 MB)
Horizon 45: 7191376 variables
Allocated 32 MB permanent (total 5162 MB)
Allocated 32 MB permanent (total 5194 MB)
Horizon 50: 7990076 variables
Allocated 32 MB permanent (total 5822 MB)
Allocated 32 MB permanent (total 5854 MB)
Allocated 32 MB permanent (total 5886 MB)
Horizon 55: 8788776 variables
Allocated 32 MB permanent (total 6561 MB)
Allocated 32 MB permanent (total 6593 MB)
Allocated 32 MB permanent (total 6625 MB)
Horizon 60: 9587476 variables
Allocated 32 MB permanent (total 7348 MB)
Allocated 32 MB permanent (total 7380 MB)
Allocated 32 MB permanent (total 7412 MB)
Horizon 65: 10386176 variables
Allocated 32 MB (total 7444 MB)
ATTENTION: Horizon 70 will not be started: memory allocated 7444.11 MB limit 8192.00 MB
Allocated 32 MB (total 7476 MB)
Allocated 32 MB (total 7508 MB)
Allocated 32 MB (total 7540 MB)
Allocated 32 MB (total 7572 MB)
Allocated 32 MB (total 7604 MB)
Allocated 32 MB (total 7636 MB)
Allocated 32 MB (total 7668 MB)
Allocated 32 MB (total 7700 MB)
GC: 272.55 MB
Allocated 32 MB (total 7732 MB)
Allocated 32 MB (total 7764 MB)
Allocated 32 MB (total 7796 MB)
Allocated 32 MB (total 7828 MB)
Allocated 32 MB (total 7860 MB)
Allocated 32 MB (total 7892 MB)
Allocated 32 MB (total 7924 MB)
GC: 366.34 MB