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-87.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-43-0
Parser: 3784 ground actions and 1979 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  3.02 secs
Goal: conjunctive
Simplified: 3784 ground actions and 1979 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 1.55 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 162 MB)
Horizon 0: 1979 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 30794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 59609 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 88424 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 117239 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 146054 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 174869 variables
30 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 857 MB)
Horizon 35: 203684 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 232499 variables
40 UNSAT (0 decisions 0 conflicts)
Horizon 45: 261314 variables
45 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1164 MB)
Horizon 50: 290129 variables
50 UNSAT (0 decisions 0 conflicts)
Horizon 55: 318944 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 347759 variables
60 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1487 MB)
Horizon 65: 376574 variables
				Allocated 32 MB (total 1519 MB)
65 UNSAT (17 decisions 17 conflicts)
Horizon 70: 405389 variables
				Allocated 32 MB permanent (total 1753 MB)
Horizon 75: 434204 variables
70 UNSAT (78 decisions 72 conflicts)
				Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
Horizon 85: 491834 variables
				Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
75 UNSAT (231 decisions 192 conflicts)
				Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
80 UNSAT (342 decisions 237 conflicts)
Horizon 100: 578279 variables
				Allocated 32 MB permanent (total 2529 MB)
Horizon 105: 607094 variables
				Allocated 32 MB permanent (total 2675 MB)
Horizon 110: 635909 variables
				Allocated 32 MB permanent (total 2823 MB)
Horizon 115: 664724 variables
				Allocated 32 MB permanent (total 2972 MB)
Horizon 120: 693539 variables
				Allocated 32 MB permanent (total 3123 MB)
Horizon 125: 722354 variables
				Allocated 32 MB permanent (total 3276 MB)
Horizon 130: 751169 variables
				Allocated 32 MB permanent (total 3430 MB)
Horizon 135: 779984 variables
				Allocated 32 MB permanent (total 3586 MB)
Horizon 140: 808799 variables
				Allocated 32 MB permanent (total 3744 MB)
Horizon 145: 837614 variables
				Allocated 32 MB permanent (total 3904 MB)
Horizon 150: 866429 variables
				Allocated 32 MB permanent (total 4065 MB)
Horizon 155: 895244 variables
				Allocated 32 MB permanent (total 4228 MB)
Horizon 160: 924059 variables
				Allocated 32 MB permanent (total 4393 MB)
Horizon 165: 952874 variables
				Allocated 32 MB permanent (total 4559 MB)
				Allocated 32 MB permanent (total 4591 MB)
Horizon 170: 981689 variables
				Allocated 32 MB permanent (total 4759 MB)
Horizon 175: 1010504 variables
				Allocated 32 MB permanent (total 4929 MB)
Horizon 180: 1039319 variables
				Allocated 32 MB (total 4961 MB)
				Allocated 32 MB (total 4993 MB)
						GC: 238.39 MB
				Allocated 32 MB (total 5025 MB)
				Allocated 32 MB (total 5057 MB)
				Allocated 32 MB (total 5089 MB)
				Allocated 32 MB (total 5121 MB)
				Allocated 32 MB (total 5153 MB)
						GC: 192.31 MB
				Allocated 32 MB (total 5185 MB)
				Allocated 32 MB (total 5217 MB)
						GC: 243.90 MB
				Allocated 32 MB (total 5249 MB)
				Allocated 32 MB (total 5281 MB)
				Allocated 32 MB (total 5313 MB)
						GC: 289.71 MB
				Allocated 32 MB (total 5345 MB)
				Allocated 32 MB (total 5377 MB)
						GC: 315.79 MB
				Allocated 32 MB (total 5409 MB)
				Allocated 32 MB (total 5441 MB)
				Allocated 32 MB (total 5473 MB)
						GC: 350.16 MB
				Allocated 32 MB (total 5505 MB)
				Allocated 32 MB (total 5537 MB)
				Allocated 32 MB (total 5569 MB)
						GC: 405.27 MB
				Allocated 32 MB (total 5601 MB)
				Allocated 32 MB (total 5633 MB)
						GC: 558.25 MB
						GC: 349.41 MB
						GC: 397.88 MB
				Allocated 32 MB (total 5665 MB)
				Allocated 32 MB (total 5697 MB)
						GC: 603.36 MB
						GC: 474.51 MB
						GC: 515.43 MB
				Allocated 32 MB (total 5729 MB)
				Allocated 32 MB (total 5761 MB)
				Allocated 32 MB (total 5793 MB)
						GC: 659.40 MB
85 UNSAT (60260 decisions 38942 conflicts)
Horizon 185: 1068134 variables
						GC: 808.82 MB
						GC: 302.31 MB
						GC: 322.83 MB
						GC: 332.85 MB
						GC: 364.22 MB
						GC: 379.02 MB
						GC: 387.67 MB
						GC: 403.38 MB
						GC: 409.54 MB
						GC: 430.06 MB
						GC: 450.91 MB


# statistics in YAML format
---
runtime:
  total: 899.16 # [s]
  preprocessing: 4.67 # [s]
maxLearnedClauseLength: 69635
groundActions:
  afterParsing: 3784
  afterPreprocessing: 3784
stateVariables:
  afterParsing: 1979
  afterPreprocessing: 1979
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 1979
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 30794
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 59609
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 88424
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 117239
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 146054
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 174869
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 203684
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 232499
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 261314
  - horizon: 50
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 290129
  - horizon: 55
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 318944
  - horizon: 60
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 347759
  - horizon: 65
    result: unsatisfiable
    conflicts: 17
    decisions: 17
    variables: 376574
  - horizon: 70
    result: unsatisfiable
    conflicts: 72
    decisions: 78
    variables: 405389
  - horizon: 75
    result: unsatisfiable
    conflicts: 192
    decisions: 231
    variables: 434204
  - horizon: 80
    result: unsatisfiable
    conflicts: 237
    decisions: 342
    variables: 463019
  - horizon: 85
    result: unsatisfiable
    conflicts: 38942
    decisions: 60260
    variables: 491834
  - horizon: 90
    result: unknown
    conflicts: 69190
    decisions: 168538
    variables: 520649
  - horizon: 95
    result: unknown
    conflicts: 62237
    decisions: 125941
    variables: 549464
  - horizon: 100
    result: unknown
    conflicts: 56138
    decisions: 108859
    variables: 578279
  - horizon: 105
    result: unknown
    conflicts: 50430
    decisions: 102446
    variables: 607094
  - horizon: 110
    result: unknown
    conflicts: 45448
    decisions: 93154
    variables: 635909
  - horizon: 115
    result: unknown
    conflicts: 40840
    decisions: 87056
    variables: 664724
  - horizon: 120
    result: unknown
    conflicts: 36793
    decisions: 79866
    variables: 693539
  - horizon: 125
    result: unknown
    conflicts: 33126
    decisions: 76560
    variables: 722354
  - horizon: 130
    result: unknown
    conflicts: 29837
    decisions: 74273
    variables: 751169
  - horizon: 135
    result: unknown
    conflicts: 26809
    decisions: 71636
    variables: 779984
  - horizon: 140
    result: unknown
    conflicts: 24157
    decisions: 68287
    variables: 808799
  - horizon: 145
    result: unknown
    conflicts: 21739
    decisions: 63436
    variables: 837614
  - horizon: 150
    result: unknown
    conflicts: 19558
    decisions: 58775
    variables: 866429
  - horizon: 155
    result: unknown
    conflicts: 17621
    decisions: 54051
    variables: 895244
  - horizon: 160
    result: unknown
    conflicts: 15812
    decisions: 48269
    variables: 924059
  - horizon: 165
    result: unknown
    conflicts: 14235
    decisions: 44552
    variables: 952874
  - horizon: 170
    result: unknown
    conflicts: 12847
    decisions: 39629
    variables: 981689
  - horizon: 175
    result: unknown
    conflicts: 11528
    decisions: 36787
    variables: 1010504
  - horizon: 180
    result: unknown
    conflicts: 10391
    decisions: 33452
    variables: 1039319
  - horizon: 185
    result: unknown
    conflicts: 9368
    decisions: 30992
    variables: 1068134
...

