113 lines
3.4 KiB
Plaintext
113 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-2004/domains/pipesworld-tankage-nontemporal-strips/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2004/domains/pipesworld-tankage-nontemporal-strips/instances/instance-32.pddlignoring --stats
|
||
|
|
ignoring --verbose
|
||
|
|
-m 8192
|
||
|
|
Domain: pipesworld_strips
|
||
|
|
Problem: p32-net4-b14-g5_rt0_instance
|
||
|
|
Parser: 6484 ground actions and 489 state variables
|
||
|
|
Invariants: 0 1 2 3 4 0.07 secs
|
||
|
|
Goal: conjunctive
|
||
|
|
Simplified: 6085 ground actions and 402 state variables
|
||
|
|
Actions: STRIPS
|
||
|
|
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.08 secs (max SCC size 5101)
|
||
|
|
Plan type: E-step
|
||
|
|
Allocated 32 MB permanent (total 200 MB)
|
||
|
|
Horizon 0: 402 variables
|
||
|
|
0 UNSAT (0 decisions 0 conflicts)
|
||
|
|
Horizon 5: 145392 variables
|
||
|
|
5 UNSAT (0 decisions 0 conflicts)
|
||
|
|
Horizon 10: 290382 variables
|
||
|
|
Allocated 32 MB (total 497 MB)
|
||
|
|
Horizon 15: 435372 variables
|
||
|
|
Horizon 20: 580362 variables
|
||
|
|
Horizon 25: 725352 variables
|
||
|
|
Horizon 30: 870342 variables
|
||
|
|
Horizon 35: 1015332 variables
|
||
|
|
Allocated 32 MB permanent (total 1270 MB)
|
||
|
|
Horizon 40: 1160322 variables
|
||
|
|
Horizon 45: 1305312 variables
|
||
|
|
Horizon 50: 1450302 variables
|
||
|
|
Horizon 55: 1595292 variables
|
||
|
|
Allocated 32 MB permanent (total 1967 MB)
|
||
|
|
Horizon 60: 1740282 variables
|
||
|
|
Horizon 65: 1885272 variables
|
||
|
|
Allocated 32 MB permanent (total 2384 MB)
|
||
|
|
Horizon 70: 2030262 variables
|
||
|
|
Horizon 75: 2175252 variables
|
||
|
|
Allocated 32 MB permanent (total 2834 MB)
|
||
|
|
Horizon 80: 2320242 variables
|
||
|
|
Horizon 85: 2465232 variables
|
||
|
|
Allocated 32 MB permanent (total 3319 MB)
|
||
|
|
Horizon 90: 2610222 variables
|
||
|
|
Horizon 95: 2755212 variables
|
||
|
|
Allocated 32 MB permanent (total 3838 MB)
|
||
|
|
Horizon 100: 2900202 variables
|
||
|
|
Horizon 105: 3045192 variables
|
||
|
|
Allocated 32 MB (total 4126 MB)
|
||
|
|
GC: 28.12 MB
|
||
|
|
GC: 39.79 MB
|
||
|
|
Allocated 32 MB (total 4158 MB)
|
||
|
|
GC: 52.14 MB
|
||
|
|
GC: 52.32 MB
|
||
|
|
Allocated 32 MB (total 4190 MB)
|
||
|
|
GC: 58.14 MB
|
||
|
|
GC: 82.22 MB
|
||
|
|
GC: 61.70 MB
|
||
|
|
GC: 73.43 MB
|
||
|
|
GC: 74.10 MB
|
||
|
|
GC: 85.46 MB
|
||
|
|
GC: 89.49 MB
|
||
|
|
Allocated 32 MB (total 4222 MB)
|
||
|
|
GC: 95.17 MB
|
||
|
|
GC: 100.44 MB
|
||
|
|
GC: 101.28 MB
|
||
|
|
GC: 101.98 MB
|
||
|
|
GC: 107.31 MB
|
||
|
|
Allocated 32 MB (total 4254 MB)
|
||
|
|
GC: 115.10 MB
|
||
|
|
GC: 110.13 MB
|
||
|
|
GC: 126.97 MB
|
||
|
|
Allocated 32 MB (total 4286 MB)
|
||
|
|
GC: 142.23 MB
|
||
|
|
GC: 145.92 MB
|
||
|
|
GC: 145.97 MB
|
||
|
|
GC: 126.79 MB
|
||
|
|
Allocated 32 MB (total 4318 MB)
|
||
|
|
GC: 151.66 MB
|
||
|
|
GC: 163.23 MB
|
||
|
|
Allocated 32 MB (total 4350 MB)
|
||
|
|
GC: 161.69 MB
|
||
|
|
GC: 176.47 MB
|
||
|
|
GC: 172.19 MB
|
||
|
|
GC: 151.81 MB
|
||
|
|
Allocated 32 MB (total 4382 MB)
|
||
|
|
GC: 177.97 MB
|
||
|
|
GC: 146.61 MB
|
||
|
|
GC: 138.90 MB
|
||
|
|
Allocated 32 MB (total 4414 MB)
|
||
|
|
GC: 146.30 MB
|
||
|
|
Allocated 32 MB (total 4446 MB)
|
||
|
|
GC: 167.55 MB
|
||
|
|
Allocated 32 MB (total 4478 MB)
|
||
|
|
GC: 190.35 MB
|
||
|
|
GC: 189.10 MB
|
||
|
|
GC: 167.16 MB
|
||
|
|
Allocated 32 MB (total 4510 MB)
|
||
|
|
Allocated 32 MB (total 4542 MB)
|
||
|
|
GC: 204.72 MB
|
||
|
|
GC: 204.75 MB
|
||
|
|
Allocated 32 MB (total 4574 MB)
|
||
|
|
Allocated 32 MB (total 4606 MB)
|
||
|
|
GC: 216.46 MB
|
||
|
|
GC: 214.35 MB
|
||
|
|
Allocated 32 MB (total 4638 MB)
|
||
|
|
Allocated 32 MB (total 4670 MB)
|
||
|
|
GC: 255.20 MB
|
||
|
|
10 UNSAT (197754 decisions 148265 conflicts)
|
||
|
|
Allocated 32 MB permanent (total 4967 MB)
|
||
|
|
Horizon 110: 3190182 variables
|
||
|
|
GC: 568.16 MB
|
||
|
|
GC: 101.31 MB
|
||
|
|
GC: 107.35 MB
|
||
|
|
|