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-101.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-50-0
Parser: 5100 ground actions and 2651 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14  5.90 secs
Goal: conjunctive
Simplified: 5100 ground actions and 2651 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 3.19 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 181 MB)
Horizon 0: 2651 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 41406 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 80161 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 118916 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 157671 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 196426 variables
25 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 802 MB)
Horizon 30: 235181 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 273936 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 312691 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1118 MB)
Horizon 45: 351446 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 390201 variables
50 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1351 MB)
Horizon 55: 428956 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 467711 variables
				Allocated 32 MB (total 1487 MB)
60 UNSAT (2 decisions 2 conflicts)
				Allocated 32 MB permanent (total 1626 MB)
Horizon 65: 506466 variables
65 UNSAT (73 decisions 58 conflicts)
				Allocated 32 MB permanent (total 1766 MB)
Horizon 70: 545221 variables
Horizon 75: 583976 variables
				Allocated 32 MB permanent (total 2022 MB)
Horizon 80: 622731 variables
				Allocated 32 MB permanent (total 2170 MB)
Horizon 85: 661486 variables
70 UNSAT (283 decisions 239 conflicts)
				Allocated 32 MB permanent (total 2319 MB)
Horizon 90: 700241 variables
				Allocated 32 MB permanent (total 2471 MB)
Horizon 95: 738996 variables
				Allocated 32 MB permanent (total 2626 MB)
Horizon 100: 777751 variables
				Allocated 32 MB permanent (total 2782 MB)
Horizon 105: 816506 variables
				Allocated 32 MB permanent (total 2941 MB)
Horizon 110: 855261 variables
				Allocated 32 MB permanent (total 3102 MB)
Horizon 115: 894016 variables
				Allocated 32 MB permanent (total 3266 MB)
Horizon 120: 932771 variables
				Allocated 32 MB (total 3298 MB)
				Allocated 32 MB permanent (total 3464 MB)
				Allocated 32 MB permanent (total 3496 MB)
Horizon 125: 971526 variables
				Allocated 32 MB permanent (total 3664 MB)
Horizon 130: 1010281 variables
				Allocated 32 MB permanent (total 3834 MB)
Horizon 135: 1049036 variables
				Allocated 32 MB permanent (total 4007 MB)
				Allocated 32 MB permanent (total 4039 MB)
Horizon 140: 1087791 variables
				Allocated 32 MB (total 4071 MB)
				Allocated 32 MB permanent (total 4246 MB)
Horizon 145: 1126546 variables
				Allocated 32 MB permanent (total 4423 MB)
				Allocated 32 MB permanent (total 4455 MB)
Horizon 150: 1165301 variables
				Allocated 32 MB permanent (total 4635 MB)
Horizon 155: 1204056 variables
				Allocated 32 MB permanent (total 4816 MB)
				Allocated 32 MB permanent (total 4848 MB)
Horizon 160: 1242811 variables
				Allocated 32 MB (total 4880 MB)
				Allocated 32 MB permanent (total 5065 MB)
Horizon 165: 1281566 variables
				Allocated 32 MB permanent (total 5251 MB)
				Allocated 32 MB permanent (total 5283 MB)
Horizon 170: 1320321 variables
				Allocated 32 MB (total 5315 MB)
				Allocated 32 MB (total 5347 MB)
				Allocated 32 MB (total 5379 MB)
				Allocated 32 MB (total 5411 MB)
				Allocated 32 MB (total 5443 MB)
						GC: 322.16 MB
				Allocated 32 MB (total 5475 MB)
				Allocated 32 MB (total 5507 MB)
				Allocated 32 MB (total 5539 MB)
				Allocated 32 MB (total 5571 MB)
				Allocated 32 MB (total 5603 MB)
75 UNSAT (4390 decisions 3366 conflicts)
Horizon 175: 1359076 variables
				Allocated 32 MB (total 5792 MB)
				Allocated 32 MB (total 5824 MB)
				Allocated 32 MB (total 5856 MB)
				Allocated 32 MB (total 5888 MB)
				Allocated 32 MB (total 5920 MB)
						GC: 549.65 MB
						GC: 429.99 MB
				Allocated 32 MB (total 5952 MB)
				Allocated 32 MB (total 5984 MB)
				Allocated 32 MB (total 6016 MB)
				Allocated 32 MB (total 6048 MB)
				Allocated 32 MB (total 6080 MB)
				Allocated 32 MB (total 6112 MB)
				Allocated 32 MB (total 6144 MB)
						GC: 561.67 MB
						GC: 612.63 MB
				Allocated 32 MB (total 6176 MB)
						GC: 608.11 MB
				Allocated 32 MB (total 6208 MB)
				Allocated 32 MB (total 6240 MB)
						GC: 612.78 MB
				Allocated 32 MB (total 6272 MB)
				Allocated 32 MB (total 6304 MB)
				Allocated 32 MB (total 6336 MB)
				Allocated 32 MB (total 6368 MB)
						GC: 699.36 MB
				Allocated 32 MB (total 6400 MB)
				Allocated 32 MB (total 6432 MB)
				Allocated 32 MB (total 6464 MB)
						GC: 698.90 MB
				Allocated 32 MB (total 6496 MB)
				Allocated 32 MB (total 6528 MB)
				Allocated 32 MB (total 6560 MB)
				Allocated 32 MB (total 6592 MB)
				Allocated 32 MB (total 6624 MB)
				Allocated 32 MB (total 6656 MB)
						GC: 827.24 MB
				Allocated 32 MB (total 6688 MB)
						GC: 1123.44 MB
						GC: 862.67 MB
						GC: 982.02 MB
						GC: 833.04 MB
						GC: 805.72 MB
						GC: 844.90 MB
				Allocated 32 MB (total 6720 MB)
						GC: 967.70 MB
						GC: 952.12 MB


# statistics in YAML format
---
runtime:
  total: 899.02 # [s]
  preprocessing: 9.25 # [s]
maxLearnedClauseLength: 92615
groundActions:
  afterParsing: 5100
  afterPreprocessing: 5100
stateVariables:
  afterParsing: 2651
  afterPreprocessing: 2651
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 2651
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 41406
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 80161
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 118916
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 157671
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 196426
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 235181
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 273936
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 312691
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 351446
  - horizon: 50
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 390201
  - horizon: 55
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 428956
  - horizon: 60
    result: unsatisfiable
    conflicts: 2
    decisions: 2
    variables: 467711
  - horizon: 65
    result: unsatisfiable
    conflicts: 58
    decisions: 73
    variables: 506466
  - horizon: 70
    result: unsatisfiable
    conflicts: 239
    decisions: 283
    variables: 545221
  - horizon: 75
    result: unsatisfiable
    conflicts: 3366
    decisions: 4390
    variables: 583976
  - horizon: 80
    result: unknown
    conflicts: 49220
    decisions: 69946
    variables: 622731
  - horizon: 85
    result: unknown
    conflicts: 44379
    decisions: 73881
    variables: 661486
  - horizon: 90
    result: unknown
    conflicts: 39906
    decisions: 72894
    variables: 700241
  - horizon: 95
    result: unknown
    conflicts: 35884
    decisions: 60634
    variables: 738996
  - horizon: 100
    result: unknown
    conflicts: 32271
    decisions: 57148
    variables: 777751
  - horizon: 105
    result: unknown
    conflicts: 29116
    decisions: 55794
    variables: 816506
  - horizon: 110
    result: unknown
    conflicts: 26194
    decisions: 52674
    variables: 855261
  - horizon: 115
    result: unknown
    conflicts: 23535
    decisions: 52456
    variables: 894016
  - horizon: 120
    result: unknown
    conflicts: 21170
    decisions: 48687
    variables: 932771
  - horizon: 125
    result: unknown
    conflicts: 19080
    decisions: 44365
    variables: 971526
  - horizon: 130
    result: unknown
    conflicts: 17207
    decisions: 42331
    variables: 1010281
  - horizon: 135
    result: unknown
    conflicts: 15440
    decisions: 38623
    variables: 1049036
  - horizon: 140
    result: unknown
    conflicts: 13869
    decisions: 35642
    variables: 1087791
  - horizon: 145
    result: unknown
    conflicts: 12489
    decisions: 31241
    variables: 1126546
  - horizon: 150
    result: unknown
    conflicts: 11283
    decisions: 30022
    variables: 1165301
  - horizon: 155
    result: unknown
    conflicts: 10153
    decisions: 27554
    variables: 1204056
  - horizon: 160
    result: unknown
    conflicts: 9124
    decisions: 24248
    variables: 1242811
  - horizon: 165
    result: unknown
    conflicts: 8223
    decisions: 22384
    variables: 1281566
  - horizon: 170
    result: unknown
    conflicts: 7381
    decisions: 19594
    variables: 1320321
  - horizon: 175
    result: unknown
    conflicts: 6661
    decisions: 18234
    variables: 1359076
...