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-91.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-45-0
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 21  3.09 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.93 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 167 MB)
Horizon 0: 2161 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 33666 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 65171 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 96676 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 128181 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 159686 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 191191 variables
30 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 867 MB)
Horizon 35: 222696 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 254201 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 285706 variables
45 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1178 MB)
Horizon 50: 317211 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 348716 variables
55 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1406 MB)
Horizon 60: 380221 variables
60 UNSAT (0 decisions 0 conflicts)
Horizon 65: 411726 variables
65 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1641 MB)
Horizon 70: 443231 variables
70 UNSAT (0 decisions 0 conflicts)
Horizon 75: 474736 variables
				Allocated 32 MB (total 1778 MB)
75 UNSAT (3 decisions 3 conflicts)
				Allocated 32 MB permanent (total 1916 MB)
Horizon 80: 506241 variables
80 UNSAT (41 decisions 39 conflicts)
				Allocated 32 MB permanent (total 2056 MB)
Horizon 85: 537746 variables
Horizon 90: 569251 variables
85 UNSAT (110 decisions 98 conflicts)
				Allocated 32 MB permanent (total 2310 MB)
Horizon 95: 600756 variables
				Allocated 32 MB permanent (total 2456 MB)
Horizon 100: 632261 variables
90 UNSAT (194 decisions 142 conflicts)
				Allocated 32 MB permanent (total 2603 MB)
Horizon 105: 663766 variables
				Allocated 32 MB permanent (total 2753 MB)
Horizon 110: 695271 variables
95 UNSAT (272 decisions 205 conflicts)
				Allocated 32 MB permanent (total 2904 MB)
Horizon 115: 726776 variables
100 UNSAT (521 decisions 237 conflicts)
				Allocated 32 MB permanent (total 3057 MB)
Horizon 120: 758281 variables
				Allocated 32 MB permanent (total 3212 MB)
Horizon 125: 789786 variables
				Allocated 32 MB permanent (total 3369 MB)
Horizon 130: 821291 variables
				Allocated 32 MB permanent (total 3528 MB)
Horizon 135: 852796 variables
				Allocated 32 MB permanent (total 3689 MB)
Horizon 140: 884301 variables
				Allocated 32 MB permanent (total 3851 MB)
Horizon 145: 915806 variables
				Allocated 32 MB permanent (total 4016 MB)
Horizon 150: 947311 variables
				Allocated 32 MB permanent (total 4182 MB)
				Allocated 32 MB permanent (total 4214 MB)
Horizon 155: 978816 variables
				Allocated 32 MB permanent (total 4382 MB)
Horizon 160: 1010321 variables
				Allocated 32 MB permanent (total 4552 MB)
Horizon 165: 1041826 variables
				Allocated 32 MB permanent (total 4724 MB)
				Allocated 32 MB permanent (total 4756 MB)
Horizon 170: 1073331 variables
				Allocated 32 MB permanent (total 4929 MB)
Horizon 175: 1104836 variables
				Allocated 32 MB permanent (total 5105 MB)
				Allocated 32 MB permanent (total 5137 MB)
Horizon 180: 1136341 variables
				Allocated 32 MB permanent (total 5314 MB)
Horizon 185: 1167846 variables
				Allocated 32 MB permanent (total 5493 MB)
				Allocated 32 MB permanent (total 5525 MB)
Horizon 190: 1199351 variables
				Allocated 32 MB permanent (total 5707 MB)
Horizon 195: 1230856 variables
				Allocated 32 MB (total 5739 MB)
				Allocated 32 MB permanent (total 5922 MB)
				Allocated 32 MB permanent (total 5954 MB)
Horizon 200: 1262361 variables
				Allocated 32 MB (total 5986 MB)
						GC: 344.48 MB
				Allocated 32 MB (total 6018 MB)
				Allocated 32 MB (total 6050 MB)
				Allocated 32 MB (total 6082 MB)
						GC: 164.13 MB
				Allocated 32 MB (total 6114 MB)
				Allocated 32 MB (total 6146 MB)
				Allocated 32 MB (total 6178 MB)
				Allocated 32 MB (total 6210 MB)
				Allocated 32 MB (total 6242 MB)
						GC: 277.53 MB
105 UNSAT (16338 decisions 7475 conflicts)
Horizon 205: 1293866 variables
						GC: 265.60 MB
						GC: 171.26 MB
						GC: 191.28 MB
						GC: 202.54 MB
						GC: 216.98 MB
						GC: 224.81 MB
						GC: 234.55 MB
						GC: 235.04 MB
				Allocated 32 MB (total 6426 MB)
						GC: 266.45 MB
						GC: 284.71 MB
				Allocated 32 MB (total 6458 MB)
				Allocated 32 MB (total 6490 MB)
						GC: 310.86 MB
						GC: 312.44 MB
						GC: 280.91 MB
						GC: 306.64 MB
				Allocated 32 MB (total 6522 MB)
						GC: 312.02 MB
				Allocated 32 MB (total 6554 MB)
						GC: 353.42 MB
				Allocated 32 MB (total 6586 MB)
						GC: 356.48 MB
						GC: 367.42 MB
				Allocated 32 MB (total 6618 MB)
				Allocated 32 MB (total 6650 MB)
						GC: 401.64 MB
						GC: 403.11 MB


# statistics in YAML format
---
runtime:
  total: 899.18 # [s]
  preprocessing: 5.14 # [s]
maxLearnedClauseLength: 62908
groundActions:
  afterParsing: 4140
  afterPreprocessing: 4140
stateVariables:
  afterParsing: 2161
  afterPreprocessing: 2161
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 2161
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 33666
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 65171
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 96676
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 128181
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 159686
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 191191
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 222696
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 254201
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 285706
  - horizon: 50
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 317211
  - horizon: 55
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 348716
  - horizon: 60
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 380221
  - horizon: 65
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 411726
  - horizon: 70
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 443231
  - horizon: 75
    result: unsatisfiable
    conflicts: 3
    decisions: 3
    variables: 474736
  - horizon: 80
    result: unsatisfiable
    conflicts: 39
    decisions: 41
    variables: 506241
  - horizon: 85
    result: unsatisfiable
    conflicts: 98
    decisions: 110
    variables: 537746
  - horizon: 90
    result: unsatisfiable
    conflicts: 142
    decisions: 194
    variables: 569251
  - horizon: 95
    result: unsatisfiable
    conflicts: 205
    decisions: 272
    variables: 600756
  - horizon: 100
    result: unsatisfiable
    conflicts: 237
    decisions: 521
    variables: 632261
  - horizon: 105
    result: unsatisfiable
    conflicts: 7475
    decisions: 16338
    variables: 663766
  - horizon: 110
    result: unknown
    conflicts: 67192
    decisions: 151147
    variables: 695271
  - horizon: 115
    result: unknown
    conflicts: 60521
    decisions: 134902
    variables: 726776
  - horizon: 120
    result: unknown
    conflicts: 54381
    decisions: 115507
    variables: 758281
  - horizon: 125
    result: unknown
    conflicts: 48967
    decisions: 96270
    variables: 789786
  - horizon: 130
    result: unknown
    conflicts: 44103
    decisions: 90188
    variables: 821291
  - horizon: 135
    result: unknown
    conflicts: 39685
    decisions: 86712
    variables: 852796
  - horizon: 140
    result: unknown
    conflicts: 35711
    decisions: 80486
    variables: 884301
  - horizon: 145
    result: unknown
    conflicts: 32128
    decisions: 73734
    variables: 915806
  - horizon: 150
    result: unknown
    conflicts: 28919
    decisions: 70215
    variables: 947311
  - horizon: 155
    result: unknown
    conflicts: 26023
    decisions: 64807
    variables: 978816
  - horizon: 160
    result: unknown
    conflicts: 23383
    decisions: 63869
    variables: 1010321
  - horizon: 165
    result: unknown
    conflicts: 21050
    decisions: 58375
    variables: 1041826
  - horizon: 170
    result: unknown
    conflicts: 18939
    decisions: 54226
    variables: 1073331
  - horizon: 175
    result: unknown
    conflicts: 17072
    decisions: 49475
    variables: 1104836
  - horizon: 180
    result: unknown
    conflicts: 15378
    decisions: 44500
    variables: 1136341
  - horizon: 185
    result: unknown
    conflicts: 13821
    decisions: 40673
    variables: 1167846
  - horizon: 190
    result: unknown
    conflicts: 12428
    decisions: 36404
    variables: 1199351
  - horizon: 195
    result: unknown
    conflicts: 11222
    decisions: 32220
    variables: 1230856
  - horizon: 200
    result: unknown
    conflicts: 10084
    decisions: 29197
    variables: 1262361
  - horizon: 205
    result: unknown
    conflicts: 9060
    decisions: 25077
    variables: 1293866
...