Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-63.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 110 -T 110
Domain: blocks
Problem: blocks-31-0
Parser: 1984 ground actions and 1055 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13  0.56 secs
Goal: conjunctive
Simplified: 1984 ground actions and 1055 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.31 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 140 MB)
Horizon 110: 335345 variables
				Allocated 32 MB (total 269 MB)
				Allocated 32 MB (total 301 MB)
				Allocated 32 MB (total 333 MB)
						GC: 62.23 MB
				Allocated 32 MB (total 365 MB)
				Allocated 32 MB (total 397 MB)
						GC: 117.27 MB
						GC: 100.89 MB
				Allocated 32 MB (total 429 MB)
						GC: 148.76 MB
						GC: 120.56 MB
						GC: 122.70 MB
						GC: 125.93 MB
				Allocated 32 MB (total 461 MB)
						GC: 135.76 MB
						GC: 190.62 MB
						GC: 136.41 MB
						GC: 145.71 MB
						GC: 145.32 MB
						GC: 154.60 MB
						GC: 197.16 MB
						GC: 156.81 MB
						GC: 173.75 MB
				Allocated 32 MB (total 493 MB)
						GC: 181.67 MB
						GC: 205.51 MB
						GC: 183.06 MB
						GC: 196.21 MB
						GC: 223.18 MB
						GC: 191.42 MB
				Allocated 32 MB (total 525 MB)
						GC: 220.16 MB
						GC: 239.21 MB
						GC: 227.82 MB
						GC: 230.94 MB
						GC: 252.09 MB
						GC: 229.23 MB
						GC: 235.30 MB
				Allocated 32 MB (total 557 MB)
						GC: 268.05 MB
						GC: 261.03 MB
						GC: 268.75 MB


# statistics in YAML format
---
runtime:
  total: 899.65 # [s]
  preprocessing: 0.89 # [s]
maxLearnedClauseLength: 27287
groundActions:
  afterParsing: 1984
  afterPreprocessing: 1984
stateVariables:
  afterParsing: 1055
  afterPreprocessing: 1055
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...