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-16.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/openstacks-sequential-satisficing/instances/instance-16.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: openstacks-sequencedstrips-nonadl-nonnegated
Problem: os-sequencedstrips-p190_1
Parser: 72580 ground actions and 3050 state variables
Invariants: 0 1 2 3  34.95 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 15.56 secs (max SCC size 191)
Plan type: E-step
				Allocated 32 MB permanent (total 1207 MB)
Horizon 0: 1141 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 729796 variables
				Allocated 32 MB (total 1492 MB)
5 UNSAT (11 decisions 11 conflicts)
Horizon 10: 1458451 variables
				Allocated 32 MB permanent (total 1892 MB)
Horizon 15: 2187106 variables
Horizon 20: 2915761 variables
				Allocated 32 MB permanent (total 2465 MB)
Horizon 25: 3644416 variables
				Allocated 32 MB permanent (total 2832 MB)
Horizon 30: 4373071 variables
				Allocated 32 MB permanent (total 3242 MB)
				Allocated 32 MB permanent (total 3274 MB)
Horizon 35: 5101726 variables
				Allocated 32 MB permanent (total 3727 MB)
Horizon 40: 5830381 variables
				Allocated 32 MB permanent (total 4223 MB)
				Allocated 32 MB permanent (total 4255 MB)
Horizon 45: 6559036 variables
				Allocated 32 MB permanent (total 4794 MB)
Horizon 50: 7287691 variables
				Allocated 32 MB permanent (total 5377 MB)
				Allocated 32 MB permanent (total 5409 MB)
Horizon 55: 8016346 variables
				Allocated 32 MB (total 5441 MB)
				Allocated 32 MB permanent (total 6066 MB)
				Allocated 32 MB permanent (total 6098 MB)
				Allocated 32 MB permanent (total 6130 MB)
Horizon 60: 8745001 variables
				Allocated 32 MB permanent (total 6798 MB)
				Allocated 32 MB permanent (total 6830 MB)
Horizon 65: 9473656 variables
				Allocated 32 MB permanent (total 7542 MB)
				Allocated 32 MB permanent (total 7574 MB)
				Allocated 32 MB permanent (total 7606 MB)
Horizon 70: 10202311 variables
				Allocated 32 MB (total 7638 MB)
ATTENTION: Horizon 75 will not be started: memory allocated 7638.49 MB limit 8192.00 MB
				Allocated 32 MB (total 7670 MB)
				Allocated 32 MB (total 7702 MB)
				Allocated 32 MB (total 7734 MB)
				Allocated 32 MB (total 7766 MB)
				Allocated 32 MB (total 7798 MB)
				Allocated 32 MB (total 7830 MB)
				Allocated 32 MB (total 7862 MB)
				Allocated 32 MB (total 7894 MB)
				Allocated 32 MB (total 7926 MB)
10 UNSAT (2492 decisions 2287 conflicts)
				Allocated 32 MB (total 7958 MB)
						GC: 245.62 MB