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-88.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-43-1
Parser: 3784 ground actions and 1979 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 22 23 24 25 26  2.03 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.52 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
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 405389 variables
70 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1721 MB)
Horizon 75: 434204 variables
				Allocated 32 MB (total 1753 MB)
75 UNSAT (1 decisions 1 conflicts)
				Allocated 32 MB permanent (total 1889 MB)
Horizon 80: 463019 variables
80 UNSAT (22 decisions 20 conflicts)
Horizon 85: 491834 variables
85 UNSAT (42 decisions 40 conflicts)
				Allocated 32 MB permanent (total 2133 MB)
Horizon 90: 520649 variables
				Allocated 32 MB permanent (total 2274 MB)
Horizon 95: 549464 variables
90 UNSAT (115 decisions 99 conflicts)
Horizon 100: 578279 variables
95 UNSAT (133 decisions 94 conflicts)
				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
100 UNSAT (300 decisions 185 conflicts)
				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 permanent (total 5133 MB)
				Allocated 32 MB permanent (total 5165 MB)
Horizon 185: 1068134 variables
				Allocated 32 MB permanent (total 5338 MB)
Horizon 190: 1096949 variables
105 UNSAT (3259 decisions 1059 conflicts)
				Allocated 32 MB permanent (total 5513 MB)
Horizon 195: 1125764 variables
				Allocated 32 MB permanent (total 5689 MB)
				Allocated 32 MB permanent (total 5721 MB)
Horizon 200: 1154579 variables
				Allocated 32 MB permanent (total 5900 MB)
Horizon 205: 1183394 variables
				Allocated 32 MB (total 5932 MB)
						GC: 348.63 MB
				Allocated 32 MB (total 5964 MB)
				Allocated 32 MB (total 5996 MB)
						GC: 120.58 MB
				Allocated 32 MB (total 6028 MB)
						GC: 150.82 MB
				Allocated 32 MB (total 6060 MB)
						GC: 169.82 MB
				Allocated 32 MB (total 6092 MB)
						GC: 204.41 MB
						GC: 205.41 MB
						GC: 196.84 MB
				Allocated 32 MB (total 6124 MB)
						GC: 215.36 MB
						GC: 230.98 MB
				Allocated 32 MB (total 6156 MB)
						GC: 243.22 MB
						GC: 265.01 MB
						GC: 254.16 MB
				Allocated 32 MB (total 6188 MB)
						GC: 272.36 MB
				Allocated 32 MB (total 6220 MB)
						GC: 322.82 MB
						GC: 244.69 MB
						GC: 271.79 MB
						GC: 263.38 MB
						GC: 269.86 MB
						GC: 308.54 MB
						GC: 297.91 MB
						GC: 302.35 MB
						GC: 310.93 MB
						GC: 318.35 MB
						GC: 322.76 MB
						GC: 338.12 MB


# statistics in YAML format
---
runtime:
  total: 896.10 # [s]
  preprocessing: 3.64 # [s]
maxLearnedClauseLength: 37521
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: 0
    decisions: 0
    variables: 376574
  - horizon: 70
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 405389
  - horizon: 75
    result: unsatisfiable
    conflicts: 1
    decisions: 1
    variables: 434204
  - horizon: 80
    result: unsatisfiable
    conflicts: 20
    decisions: 22
    variables: 463019
  - horizon: 85
    result: unsatisfiable
    conflicts: 40
    decisions: 42
    variables: 491834
  - horizon: 90
    result: unsatisfiable
    conflicts: 99
    decisions: 115
    variables: 520649
  - horizon: 95
    result: unsatisfiable
    conflicts: 94
    decisions: 133
    variables: 549464
  - horizon: 100
    result: unsatisfiable
    conflicts: 185
    decisions: 300
    variables: 578279
  - horizon: 105
    result: unsatisfiable
    conflicts: 1059
    decisions: 3259
    variables: 607094
  - horizon: 110
    result: unknown
    conflicts: 76649
    decisions: 147488
    variables: 635909
  - horizon: 115
    result: unknown
    conflicts: 68846
    decisions: 139753
    variables: 664724
  - horizon: 120
    result: unknown
    conflicts: 61744
    decisions: 122971
    variables: 693539
  - horizon: 125
    result: unknown
    conflicts: 55531
    decisions: 124275
    variables: 722354
  - horizon: 130
    result: unknown
    conflicts: 49962
    decisions: 118253
    variables: 751169
  - horizon: 135
    result: unknown
    conflicts: 44940
    decisions: 106648
    variables: 779984
  - horizon: 140
    result: unknown
    conflicts: 40463
    decisions: 99000
    variables: 808799
  - horizon: 145
    result: unknown
    conflicts: 36384
    decisions: 93079
    variables: 837614
  - horizon: 150
    result: unknown
    conflicts: 32738
    decisions: 85736
    variables: 866429
  - horizon: 155
    result: unknown
    conflicts: 29456
    decisions: 78339
    variables: 895244
  - horizon: 160
    result: unknown
    conflicts: 26503
    decisions: 74011
    variables: 924059
  - horizon: 165
    result: unknown
    conflicts: 23839
    decisions: 68424
    variables: 952874
  - horizon: 170
    result: unknown
    conflicts: 21437
    decisions: 62278
    variables: 981689
  - horizon: 175
    result: unknown
    conflicts: 19332
    decisions: 57744
    variables: 1010504
  - horizon: 180
    result: unknown
    conflicts: 17407
    decisions: 52277
    variables: 1039319
  - horizon: 185
    result: unknown
    conflicts: 15665
    decisions: 48843
    variables: 1068134
  - horizon: 190
    result: unknown
    conflicts: 14101
    decisions: 44192
    variables: 1096949
  - horizon: 195
    result: unknown
    conflicts: 12662
    decisions: 40537
    variables: 1125764
  - horizon: 200
    result: unknown
    conflicts: 11406
    decisions: 37401
    variables: 1154579
  - horizon: 205
    result: unknown
    conflicts: 10260
    decisions: 33882
    variables: 1183394
...

