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-92.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 170 -T 170
Domain: blocks
Problem: blocks-45-1
Parser: 4140 ground actions and 2161 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20  2.67 secs
Goal: conjunctive
Simplified: 4140 ground actions and 2161 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.91 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 167 MB)
				Allocated 32 MB permanent (total 341 MB)
Horizon 170: 1073331 variables
				Allocated 32 MB (total 375 MB)
				Allocated 32 MB (total 407 MB)
				Allocated 32 MB (total 439 MB)
				Allocated 32 MB (total 471 MB)
				Allocated 32 MB (total 503 MB)
				Allocated 32 MB (total 535 MB)
						GC: 139.04 MB
				Allocated 32 MB (total 567 MB)
				Allocated 32 MB (total 599 MB)
				Allocated 32 MB (total 631 MB)
				Allocated 32 MB (total 663 MB)
						GC: 249.28 MB
				Allocated 32 MB (total 695 MB)
				Allocated 32 MB (total 727 MB)
				Allocated 32 MB (total 759 MB)
						GC: 336.09 MB
				Allocated 32 MB (total 791 MB)
				Allocated 32 MB (total 823 MB)
						GC: 427.96 MB
						GC: 375.65 MB
				Allocated 32 MB (total 855 MB)
				Allocated 32 MB (total 887 MB)
						GC: 446.51 MB
						GC: 452.23 MB
				Allocated 32 MB (total 919 MB)
						GC: 464.13 MB
				Allocated 32 MB (total 951 MB)
						GC: 566.98 MB
						GC: 470.81 MB
				Allocated 32 MB (total 983 MB)
						GC: 562.46 MB
						GC: 562.47 MB
				Allocated 32 MB (total 1015 MB)
						GC: 569.20 MB


# statistics in YAML format
---
runtime:
  total: 899.56 # [s]
  preprocessing: 4.69 # [s]
maxLearnedClauseLength: 52472
groundActions:
  afterParsing: 4140
  afterPreprocessing: 4140
stateVariables:
  afterParsing: 2161
  afterPreprocessing: 2161
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...