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-73.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192 -F 130 -T 130
Domain: blocks
Problem: blocks-36-0
Parser: 2664 ground actions and 1405 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15  1.04 secs
Goal: conjunctive
Simplified: 2664 ground actions and 1405 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.64 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 148 MB)
Horizon 130: 530375 variables
				Allocated 32 MB (total 289 MB)
				Allocated 32 MB (total 321 MB)
				Allocated 32 MB (total 353 MB)
				Allocated 32 MB (total 385 MB)
				Allocated 32 MB (total 417 MB)
						GC: 101.85 MB
				Allocated 32 MB (total 449 MB)
				Allocated 32 MB (total 481 MB)
				Allocated 32 MB (total 513 MB)
				Allocated 32 MB (total 545 MB)
						GC: 232.87 MB
				Allocated 32 MB (total 577 MB)
				Allocated 32 MB (total 609 MB)
						GC: 270.66 MB
				Allocated 32 MB (total 641 MB)
				Allocated 32 MB (total 673 MB)
						GC: 324.46 MB
				Allocated 32 MB (total 705 MB)
				Allocated 32 MB (total 737 MB)
						GC: 422.53 MB
						GC: 357.17 MB
						GC: 391.46 MB
				Allocated 32 MB (total 769 MB)
						GC: 423.85 MB
				Allocated 32 MB (total 801 MB)
						GC: 451.55 MB
				Allocated 32 MB (total 833 MB)
						GC: 470.28 MB
				Allocated 32 MB (total 865 MB)
						GC: 548.84 MB
						GC: 424.15 MB
						GC: 514.10 MB
				Allocated 32 MB (total 897 MB)
				Allocated 32 MB (total 929 MB)
						GC: 585.45 MB
						GC: 559.09 MB
				Allocated 32 MB (total 961 MB)
						GC: 593.45 MB
				Allocated 32 MB (total 993 MB)
						GC: 608.87 MB
				Allocated 32 MB (total 1025 MB)
						GC: 632.78 MB
				Allocated 32 MB (total 1057 MB)
						GC: 742.34 MB
						GC: 615.39 MB


# statistics in YAML format
---
runtime:
  total: 899.62 # [s]
  preprocessing: 1.74 # [s]
maxLearnedClauseLength: 31904
groundActions:
  afterParsing: 2664
  afterPreprocessing: 2664
stateVariables:
  afterParsing: 1405
  afterPreprocessing: 1405
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
...

