93 lines
3.4 KiB
Plaintext
93 lines
3.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/transport-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/transport-sequential-satisficing/instances/instance-7.pddlignoring --stats
|
|
ignoring --verbose
|
|
-m 8192
|
|
Domain: transport
|
|
Problem: transport-two-cities-sequential-27nodes-1000size-4degree-100mindistance-4trucks-18packages-2008seed
|
|
Parser: 31984 ground actions and 1504 state variables
|
|
Invariants: 0 1 2 3 4 5 6 7 8 0.40 secs
|
|
Goal: conjunctive
|
|
Simplified: 31984 ground actions and 1280 state variables
|
|
Actions: STRIPS
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.01 secs (max SCC size 18)
|
|
Plan type: E-step
|
|
Allocated 32 MB permanent (total 422 MB)
|
|
Horizon 0: 1280 variables
|
|
0 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 5: 314480 variables
|
|
5 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 10: 627680 variables
|
|
10 UNSAT (0 decisions 0 conflicts)
|
|
Horizon 15: 940880 variables
|
|
Allocated 32 MB (total 894 MB)
|
|
Horizon 20: 1254080 variables
|
|
Allocated 32 MB permanent (total 1245 MB)
|
|
Horizon 25: 1567280 variables
|
|
Horizon 30: 1880480 variables
|
|
Allocated 32 MB permanent (total 1671 MB)
|
|
Horizon 35: 2193680 variables
|
|
Allocated 32 MB permanent (total 1927 MB)
|
|
Horizon 40: 2506880 variables
|
|
Allocated 32 MB permanent (total 2202 MB)
|
|
Horizon 45: 2820080 variables
|
|
Allocated 32 MB permanent (total 2496 MB)
|
|
Horizon 50: 3133280 variables
|
|
Allocated 32 MB permanent (total 2808 MB)
|
|
Horizon 55: 3446480 variables
|
|
Allocated 32 MB permanent (total 3139 MB)
|
|
Horizon 60: 3759680 variables
|
|
Allocated 32 MB permanent (total 3488 MB)
|
|
Horizon 65: 4072880 variables
|
|
Allocated 32 MB permanent (total 3856 MB)
|
|
Horizon 70: 4386080 variables
|
|
Allocated 32 MB permanent (total 4242 MB)
|
|
Allocated 32 MB permanent (total 4274 MB)
|
|
Horizon 75: 4699280 variables
|
|
Allocated 32 MB permanent (total 4679 MB)
|
|
Horizon 80: 5012480 variables
|
|
Allocated 32 MB (total 4711 MB)
|
|
Allocated 32 MB permanent (total 5134 MB)
|
|
Allocated 32 MB permanent (total 5166 MB)
|
|
Horizon 85: 5325680 variables
|
|
Allocated 32 MB permanent (total 5608 MB)
|
|
Horizon 90: 5638880 variables
|
|
Allocated 32 MB permanent (total 6068 MB)
|
|
Allocated 32 MB permanent (total 6100 MB)
|
|
Horizon 95: 5952080 variables
|
|
Allocated 32 MB permanent (total 6579 MB)
|
|
Allocated 32 MB permanent (total 6611 MB)
|
|
Horizon 100: 6265280 variables
|
|
Allocated 32 MB permanent (total 7108 MB)
|
|
Allocated 32 MB permanent (total 7140 MB)
|
|
Horizon 105: 6578480 variables
|
|
Allocated 32 MB (total 7172 MB)
|
|
Allocated 32 MB permanent (total 7688 MB)
|
|
Allocated 32 MB permanent (total 7720 MB)
|
|
Horizon 110: 6891680 variables
|
|
Allocated 32 MB (total 7752 MB)
|
|
Allocated 32 MB (total 7784 MB)
|
|
GC: 114.93 MB
|
|
Allocated 32 MB (total 7816 MB)
|
|
GC: 137.08 MB
|
|
GC: 134.06 MB
|
|
15 UNSAT (14335 decisions 7460 conflicts)
|
|
ATTENTION: Horizon 115 will not be started: memory allocated 7816.27 MB limit 8192.00 MB
|
|
Allocated 32 MB (total 7848 MB)
|
|
GC: 192.46 MB
|
|
GC: 161.83 MB
|
|
GC: 163.52 MB
|
|
GC: 158.11 MB
|
|
Allocated 32 MB (total 7880 MB)
|
|
GC: 161.41 MB
|
|
GC: 159.47 MB
|
|
GC: 179.12 MB
|
|
Allocated 32 MB (total 7912 MB)
|
|
GC: 183.90 MB
|
|
GC: 180.65 MB
|
|
Allocated 32 MB (total 7944 MB)
|
|
GC: 242.67 MB
|
|
GC: 193.20 MB
|
|
GC: 201.48 MB
|
|
GC: 199.47 MB
|
|
|