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-67.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-33-0
Parser: 2244 ground actions and 1189 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  0.76 secs
Goal: conjunctive
Simplified: 2244 ground actions and 1189 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.42 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 143 MB)
Horizon 0: 1189 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 18354 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 35519 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 52684 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 69849 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 87014 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 104179 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 121344 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 138509 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 155674 variables
				Allocated 32 MB (total 986 MB)
45 UNSAT (27 decisions 27 conflicts)
				Allocated 32 MB permanent (total 1105 MB)
Horizon 50: 172839 variables
Horizon 55: 190004 variables
Horizon 60: 207169 variables
				Allocated 32 MB permanent (total 1402 MB)
Horizon 65: 224334 variables
Horizon 70: 241499 variables
50 UNSAT (300 decisions 261 conflicts)
Horizon 75: 258664 variables
				Allocated 32 MB permanent (total 1709 MB)
Horizon 80: 275829 variables
Horizon 85: 292994 variables
Horizon 90: 310159 variables
				Allocated 32 MB permanent (total 2025 MB)
Horizon 95: 327324 variables
Horizon 100: 344489 variables
				Allocated 32 MB permanent (total 2252 MB)
Horizon 105: 361654 variables
Horizon 110: 378819 variables
				Allocated 32 MB permanent (total 2482 MB)
Horizon 115: 395984 variables
				Allocated 32 MB (total 2514 MB)
Horizon 120: 413149 variables
				Allocated 32 MB permanent (total 2749 MB)
Horizon 125: 430314 variables
Horizon 130: 447479 variables
				Allocated 32 MB permanent (total 2987 MB)
Horizon 135: 464644 variables
				Allocated 32 MB permanent (total 3124 MB)
Horizon 140: 481809 variables
Horizon 145: 498974 variables
				Allocated 32 MB permanent (total 3369 MB)
Horizon 150: 516139 variables
				Allocated 32 MB (total 3401 MB)
				Allocated 32 MB (total 3433 MB)
55 UNSAT (2219 decisions 1698 conflicts)
				Allocated 32 MB permanent (total 3573 MB)
Horizon 155: 533304 variables
				Allocated 32 MB (total 3605 MB)
						GC: 160.82 MB
60 UNSAT (4160 decisions 2853 conflicts)
Horizon 160: 550469 variables
				Allocated 32 MB (total 3746 MB)
				Allocated 32 MB (total 3778 MB)
						GC: 188.84 MB
				Allocated 32 MB (total 3810 MB)
						GC: 211.76 MB
				Allocated 32 MB (total 3842 MB)
				Allocated 32 MB (total 3874 MB)
						GC: 235.77 MB
				Allocated 32 MB (total 3906 MB)
						GC: 252.03 MB
						GC: 254.60 MB
				Allocated 32 MB (total 3938 MB)
				Allocated 32 MB (total 3970 MB)
						GC: 288.50 MB
				Allocated 32 MB (total 4002 MB)
						GC: 323.68 MB
				Allocated 32 MB (total 4034 MB)
						GC: 309.52 MB
						GC: 308.15 MB
				Allocated 32 MB (total 4066 MB)
				Allocated 32 MB (total 4098 MB)
						GC: 481.21 MB
						GC: 339.19 MB
						GC: 341.42 MB
						GC: 336.78 MB
						GC: 323.92 MB
						GC: 357.94 MB
						GC: 377.68 MB
						GC: 373.08 MB
						GC: 382.40 MB
						GC: 376.22 MB
						GC: 371.92 MB
						GC: 411.89 MB
						GC: 413.07 MB
						GC: 428.03 MB
						GC: 476.28 MB
				Allocated 32 MB (total 4130 MB)
						GC: 486.29 MB
						GC: 475.16 MB
						GC: 472.78 MB
						GC: 477.85 MB
						GC: 467.27 MB
				Allocated 32 MB (total 4162 MB)
						GC: 525.01 MB
						GC: 488.47 MB
						GC: 516.54 MB
				Allocated 32 MB (total 4194 MB)
						GC: 548.45 MB
						GC: 564.35 MB
						GC: 550.98 MB


# statistics in YAML format
---
runtime:
  total: 896.80 # [s]
  preprocessing: 1.23 # [s]
maxLearnedClauseLength: 46061
groundActions:
  afterParsing: 2244
  afterPreprocessing: 2244
stateVariables:
  afterParsing: 1189
  afterPreprocessing: 1189
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 1189
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 18354
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 35519
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 52684
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 69849
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 87014
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 104179
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 121344
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 138509
  - horizon: 45
    result: unsatisfiable
    conflicts: 27
    decisions: 27
    variables: 155674
  - horizon: 50
    result: unsatisfiable
    conflicts: 261
    decisions: 300
    variables: 172839
  - horizon: 55
    result: unsatisfiable
    conflicts: 1698
    decisions: 2219
    variables: 190004
  - horizon: 60
    result: unsatisfiable
    conflicts: 2853
    decisions: 4160
    variables: 207169
  - horizon: 65
    result: unknown
    conflicts: 120694
    decisions: 202184
    variables: 224334
  - horizon: 70
    result: unknown
    conflicts: 108768
    decisions: 181619
    variables: 241499
  - horizon: 75
    result: unknown
    conflicts: 97856
    decisions: 160354
    variables: 258664
  - horizon: 80
    result: unknown
    conflicts: 88028
    decisions: 158650
    variables: 275829
  - horizon: 85
    result: unknown
    conflicts: 79232
    decisions: 153773
    variables: 292994
  - horizon: 90
    result: unknown
    conflicts: 71317
    decisions: 140500
    variables: 310159
  - horizon: 95
    result: unknown
    conflicts: 64527
    decisions: 145120
    variables: 327324
  - horizon: 100
    result: unknown
    conflicts: 57995
    decisions: 127886
    variables: 344489
  - horizon: 105
    result: unknown
    conflicts: 52056
    decisions: 123947
    variables: 361654
  - horizon: 110
    result: unknown
    conflicts: 46823
    decisions: 111318
    variables: 378819
  - horizon: 115
    result: unknown
    conflicts: 42082
    decisions: 103738
    variables: 395984
  - horizon: 120
    result: unknown
    conflicts: 37868
    decisions: 97863
    variables: 413149
  - horizon: 125
    result: unknown
    conflicts: 34055
    decisions: 93910
    variables: 430314
  - horizon: 130
    result: unknown
    conflicts: 30671
    decisions: 88476
    variables: 447479
  - horizon: 135
    result: unknown
    conflicts: 27606
    decisions: 80960
    variables: 464644
  - horizon: 140
    result: unknown
    conflicts: 24830
    decisions: 75626
    variables: 481809
  - horizon: 145
    result: unknown
    conflicts: 22355
    decisions: 70401
    variables: 498974
  - horizon: 150
    result: unknown
    conflicts: 20118
    decisions: 63030
    variables: 516139
  - horizon: 155
    result: unknown
    conflicts: 18087
    decisions: 57827
    variables: 533304
  - horizon: 160
    result: unknown
    conflicts: 16276
    decisions: 50162
    variables: 550469
...

