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-86.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 160 -T 160
Domain: blocks
Problem: blocks-42-1
Parser: 3612 ground actions and 1891 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24  2.08 secs
Goal: conjunctive
Simplified: 3612 ground actions and 1891 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.35 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 160 MB)
				Allocated 32 MB permanent (total 322 MB)
Horizon 160: 882371 variables
				Allocated 32 MB (total 355 MB)
				Allocated 32 MB (total 387 MB)
				Allocated 32 MB (total 419 MB)
				Allocated 32 MB (total 451 MB)
				Allocated 32 MB (total 483 MB)
						GC: 115.35 MB
				Allocated 32 MB (total 515 MB)
				Allocated 32 MB (total 547 MB)
				Allocated 32 MB (total 579 MB)
				Allocated 32 MB (total 611 MB)
						GC: 224.17 MB
				Allocated 32 MB (total 643 MB)
				Allocated 32 MB (total 675 MB)
						GC: 310.93 MB
						GC: 288.78 MB
				Allocated 32 MB (total 707 MB)
				Allocated 32 MB (total 739 MB)
						GC: 346.96 MB
				Allocated 32 MB (total 771 MB)
						GC: 414.32 MB
						GC: 350.22 MB
				Allocated 32 MB (total 803 MB)
						GC: 415.84 MB
						GC: 408.46 MB
						GC: 425.49 MB
				Allocated 32 MB (total 835 MB)
						GC: 441.40 MB
				Allocated 32 MB (total 867 MB)
						GC: 474.52 MB
				Allocated 32 MB (total 899 MB)
						GC: 502.28 MB
						GC: 512.11 MB
				Allocated 32 MB (total 931 MB)
						GC: 524.78 MB
				Allocated 32 MB (total 963 MB)
						GC: 597.29 MB
						GC: 493.13 MB


# statistics in YAML format
---
runtime:
  total: 899.64 # [s]
  preprocessing: 3.53 # [s]
maxLearnedClauseLength: 34124
groundActions:
  afterParsing: 3612
  afterPreprocessing: 3612
stateVariables:
  afterParsing: 1891
  afterPreprocessing: 1891
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...