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-12.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/openstacks-sequential-satisficing/instances/instance-12.pddlignoring --stats
ignoring --verbose
 -m 8192
Domain: openstacks-sequencedstrips-nonadl-nonnegated
Problem: os-sequencedstrips-p130_1
Parser: 34060 ground actions and 1941 state variables
Invariants: 0 1 2 3  8.44 secs
Goal: conjunctive
Simplified: 34060 ground actions and 781 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.32 secs (max SCC size 131)
Plan type: E-step
				Allocated 32 MB permanent (total 541 MB)
Horizon 0: 781 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 343336 variables
				Allocated 32 MB (total 773 MB)
5 UNSAT (8 decisions 8 conflicts)
Horizon 10: 685891 variables
Horizon 15: 1028446 variables
Horizon 20: 1371001 variables
				Allocated 32 MB permanent (total 1394 MB)
Horizon 25: 1713556 variables
Horizon 30: 2056111 variables
				Allocated 32 MB permanent (total 1842 MB)
Horizon 35: 2398666 variables
				Allocated 32 MB permanent (total 2112 MB)
Horizon 40: 2741221 variables
Horizon 45: 3083776 variables
				Allocated 32 MB permanent (total 2682 MB)
Horizon 50: 3426331 variables
				Allocated 32 MB permanent (total 3013 MB)
Horizon 55: 3768886 variables
				Allocated 32 MB permanent (total 3365 MB)
Horizon 60: 4111441 variables
				Allocated 32 MB permanent (total 3736 MB)
Horizon 65: 4453996 variables
				Allocated 32 MB (total 3768 MB)
				Allocated 32 MB permanent (total 4160 MB)
				Allocated 32 MB permanent (total 4192 MB)
Horizon 70: 4796551 variables
				Allocated 32 MB permanent (total 4604 MB)
Horizon 75: 5139106 variables
				Allocated 32 MB permanent (total 5037 MB)
Horizon 80: 5481661 variables
				Allocated 32 MB permanent (total 5490 MB)
				Allocated 32 MB permanent (total 5522 MB)
Horizon 85: 5824216 variables
				Allocated 32 MB (total 5554 MB)
				Allocated 32 MB permanent (total 6027 MB)
Horizon 90: 6166771 variables
				Allocated 32 MB permanent (total 6520 MB)
				Allocated 32 MB permanent (total 6552 MB)
Horizon 95: 6509326 variables
				Allocated 32 MB permanent (total 7065 MB)
				Allocated 32 MB permanent (total 7097 MB)
Horizon 100: 6851881 variables
				Allocated 32 MB permanent (total 7631 MB)
				Allocated 32 MB permanent (total 7663 MB)
Horizon 105: 7194436 variables
				Allocated 32 MB (total 7695 MB)
				Allocated 32 MB (total 7727 MB)
				Allocated 32 MB (total 7759 MB)
				Allocated 32 MB (total 7791 MB)
						GC: 65.21 MB
10 UNSAT (2636 decisions 2414 conflicts)
ATTENTION: Horizon 110 will not be started: memory allocated 7791.49 MB limit 8192.00 MB
				Allocated 32 MB (total 7823 MB)
				Allocated 32 MB (total 7855 MB)
				Allocated 32 MB (total 7887 MB)
				Allocated 32 MB (total 7919 MB)
				Allocated 32 MB (total 7951 MB)
						GC: 193.61 MB
						GC: 124.15 MB
				Allocated 32 MB (total 7983 MB)
						GC: 179.71 MB
						GC: 201.99 MB
						GC: 148.36 MB
				Allocated 32 MB (total 8015 MB)
						GC: 340.65 MB
						GC: 172.44 MB
						GC: 184.83 MB
						GC: 276.57 MB
						GC: 126.32 MB
						GC: 205.44 MB
						GC: 194.99 MB
						GC: 282.55 MB
						GC: 177.69 MB
						GC: 192.31 MB
				Allocated 32 MB (total 8047 MB)
						GC: 294.35 MB
						GC: 192.23 MB
						GC: 288.34 MB
				Allocated 32 MB (total 8079 MB)
						GC: 289.17 MB
						GC: 210.25 MB
				Allocated 32 MB (total 8111 MB)
						GC: 228.58 MB