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