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-79.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 140 -T 140
Domain: blocks
Problem: blocks-39-0
Parser: 3120 ground actions and 1639 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14  2.02 secs
Goal: conjunctive
Simplified: 3120 ground actions and 1639 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.96 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 153 MB)
Horizon 140: 667899 variables
				Allocated 32 MB (total 304 MB)
				Allocated 32 MB (total 336 MB)
				Allocated 32 MB (total 368 MB)
				Allocated 32 MB (total 400 MB)
						GC: 73.74 MB
				Allocated 32 MB (total 432 MB)
				Allocated 32 MB (total 464 MB)
				Allocated 32 MB (total 496 MB)
				Allocated 32 MB (total 528 MB)
				Allocated 32 MB (total 560 MB)
						GC: 213.32 MB
				Allocated 32 MB (total 592 MB)
				Allocated 32 MB (total 624 MB)
				Allocated 32 MB (total 656 MB)
				Allocated 32 MB (total 688 MB)
						GC: 351.50 MB
						GC: 344.13 MB
				Allocated 32 MB (total 720 MB)
				Allocated 32 MB (total 752 MB)
				Allocated 32 MB (total 784 MB)
						GC: 449.91 MB
						GC: 437.72 MB
						GC: 466.32 MB
						GC: 378.58 MB
						GC: 430.95 MB
				Allocated 32 MB (total 816 MB)
						GC: 498.79 MB
				Allocated 32 MB (total 848 MB)
						GC: 509.16 MB
				Allocated 32 MB (total 880 MB)
						GC: 517.33 MB
				Allocated 32 MB (total 912 MB)
				Allocated 32 MB (total 944 MB)
				Allocated 32 MB (total 976 MB)
						GC: 631.60 MB
						GC: 585.03 MB
						GC: 624.97 MB
						GC: 621.22 MB
				Allocated 32 MB (total 1008 MB)
						GC: 654.46 MB
				Allocated 32 MB (total 1040 MB)
						GC: 670.67 MB


# statistics in YAML format
---
runtime:
  total: 899.57 # [s]
  preprocessing: 3.06 # [s]
maxLearnedClauseLength: 33628
groundActions:
  afterParsing: 3120
  afterPreprocessing: 3120
stateVariables:
  afterParsing: 1639
  afterPreprocessing: 1639
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...

