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-84.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 140 -T 140
Domain: blocks
Problem: blocks-41-1
Parser: 3444 ground actions and 1805 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  2.24 secs
Goal: conjunctive
Simplified: 3444 ground actions and 1805 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.22 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 158 MB)
Horizon 140: 736665 variables
				Allocated 32 MB (total 312 MB)
				Allocated 32 MB (total 344 MB)
				Allocated 32 MB (total 376 MB)
				Allocated 32 MB (total 408 MB)
						GC: 86.01 MB
				Allocated 32 MB (total 440 MB)
				Allocated 32 MB (total 472 MB)
				Allocated 32 MB (total 504 MB)
						GC: 175.92 MB
				Allocated 32 MB (total 536 MB)
				Allocated 32 MB (total 568 MB)
				Allocated 32 MB (total 600 MB)
						GC: 233.61 MB
						GC: 267.73 MB
						GC: 263.70 MB
				Allocated 32 MB (total 632 MB)
				Allocated 32 MB (total 664 MB)
						GC: 314.91 MB
						GC: 260.53 MB
						GC: 252.71 MB
						GC: 320.06 MB
				Allocated 32 MB (total 696 MB)
						GC: 353.44 MB
				Allocated 32 MB (total 728 MB)
				Allocated 32 MB (total 760 MB)
						GC: 421.97 MB
						GC: 435.70 MB
						GC: 410.98 MB
				Allocated 32 MB (total 792 MB)
				Allocated 32 MB (total 824 MB)
						GC: 489.82 MB
						GC: 493.97 MB
				Allocated 32 MB (total 856 MB)
						GC: 515.58 MB
				Allocated 32 MB (total 888 MB)
				Allocated 32 MB (total 920 MB)
						GC: 592.16 MB
						GC: 554.82 MB


# statistics in YAML format
---
runtime:
  total: 899.50 # [s]
  preprocessing: 3.55 # [s]
maxLearnedClauseLength: 37633
groundActions:
  afterParsing: 3444
  afterPreprocessing: 3444
stateVariables:
  afterParsing: 1805
  afterPreprocessing: 1805
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...