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-99.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-49-0
Parser: 4900 ground actions and 2549 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14  5.51 secs
Goal: conjunctive
Simplified: 4900 ground actions and 2549 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.93 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 178 MB)
Horizon 0: 2549 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 39794 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 77039 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 114284 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 151529 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 188774 variables
25 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 796 MB)
Horizon 30: 226019 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 263264 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 300509 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1111 MB)
Horizon 45: 337754 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 374999 variables
50 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1342 MB)
Horizon 55: 412244 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 449489 variables
60 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1582 MB)
Horizon 65: 486734 variables
65 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1721 MB)
Horizon 70: 523979 variables
				Allocated 32 MB (total 1753 MB)
70 UNSAT (19 decisions 18 conflicts)
Horizon 75: 561224 variables
				Allocated 32 MB permanent (total 2007 MB)
Horizon 80: 598469 variables
75 UNSAT (83 decisions 63 conflicts)
				Allocated 32 MB permanent (total 2153 MB)
Horizon 85: 635714 variables
				Allocated 32 MB permanent (total 2301 MB)
Horizon 90: 672959 variables
80 UNSAT (180 decisions 162 conflicts)
				Allocated 32 MB permanent (total 2451 MB)
Horizon 95: 710204 variables
				Allocated 32 MB permanent (total 2604 MB)
Horizon 100: 747449 variables
				Allocated 32 MB permanent (total 2758 MB)
Horizon 105: 784694 variables
				Allocated 32 MB permanent (total 2915 MB)
Horizon 110: 821939 variables
				Allocated 32 MB permanent (total 3074 MB)
Horizon 115: 859184 variables
				Allocated 32 MB permanent (total 3236 MB)
Horizon 120: 896429 variables
				Allocated 32 MB permanent (total 3399 MB)
Horizon 125: 933674 variables
85 UNSAT (741 decisions 536 conflicts)
				Allocated 32 MB permanent (total 3565 MB)
Horizon 130: 970919 variables
				Allocated 32 MB permanent (total 3733 MB)
				Allocated 32 MB permanent (total 3765 MB)
Horizon 135: 1008164 variables
				Allocated 32 MB permanent (total 3935 MB)
Horizon 140: 1045409 variables
				Allocated 32 MB permanent (total 4108 MB)
Horizon 145: 1082654 variables
				Allocated 32 MB permanent (total 4282 MB)
				Allocated 32 MB permanent (total 4314 MB)
Horizon 150: 1119899 variables
				Allocated 32 MB permanent (total 4491 MB)
Horizon 155: 1157144 variables
				Allocated 32 MB permanent (total 4670 MB)
				Allocated 32 MB permanent (total 4702 MB)
Horizon 160: 1194389 variables
				Allocated 32 MB (total 4734 MB)
				Allocated 32 MB permanent (total 4915 MB)
Horizon 165: 1231634 variables
				Allocated 32 MB permanent (total 5098 MB)
				Allocated 32 MB permanent (total 5130 MB)
Horizon 170: 1268879 variables
				Allocated 32 MB permanent (total 5316 MB)
				Allocated 32 MB permanent (total 5348 MB)
Horizon 175: 1306124 variables
				Allocated 32 MB permanent (total 5536 MB)
Horizon 180: 1343369 variables
				Allocated 32 MB permanent (total 5726 MB)
				Allocated 32 MB permanent (total 5758 MB)
Horizon 185: 1380614 variables
				Allocated 32 MB (total 5790 MB)
90 UNSAT (2442 decisions 1674 conflicts)
				Allocated 32 MB permanent (total 5982 MB)
				Allocated 32 MB permanent (total 6014 MB)
Horizon 190: 1417859 variables
				Allocated 32 MB (total 6046 MB)
						GC: 347.10 MB
				Allocated 32 MB (total 6078 MB)
				Allocated 32 MB (total 6110 MB)
				Allocated 32 MB (total 6142 MB)
				Allocated 32 MB (total 6174 MB)
				Allocated 32 MB (total 6206 MB)
						GC: 195.89 MB
				Allocated 32 MB (total 6238 MB)
				Allocated 32 MB (total 6270 MB)
				Allocated 32 MB (total 6302 MB)
						GC: 241.44 MB
				Allocated 32 MB (total 6334 MB)
				Allocated 32 MB (total 6366 MB)
				Allocated 32 MB (total 6398 MB)
				Allocated 32 MB (total 6430 MB)
						GC: 295.54 MB
				Allocated 32 MB (total 6462 MB)
				Allocated 32 MB (total 6494 MB)
95 UNSAT (16356 decisions 10838 conflicts)
Horizon 195: 1455104 variables
				Allocated 32 MB (total 6688 MB)
				Allocated 32 MB (total 6720 MB)
						GC: 504.19 MB
						GC: 350.36 MB
						GC: 509.51 MB
						GC: 405.56 MB
						GC: 381.85 MB
						GC: 318.29 MB
						GC: 480.88 MB
						GC: 358.04 MB
						GC: 343.55 MB
						GC: 387.26 MB
						GC: 390.74 MB
						GC: 382.43 MB
						GC: 393.18 MB
						GC: 442.14 MB
						GC: 387.62 MB


# statistics in YAML format
---
runtime:
  total: 899.13 # [s]
  preprocessing: 8.60 # [s]
maxLearnedClauseLength: 81500
groundActions:
  afterParsing: 4900
  afterPreprocessing: 4900
stateVariables:
  afterParsing: 2549
  afterPreprocessing: 2549
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 2549
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 39794
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 77039
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 114284
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 151529
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 188774
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 226019
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 263264
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 300509
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 337754
  - horizon: 50
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 374999
  - horizon: 55
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 412244
  - horizon: 60
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 449489
  - horizon: 65
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 486734
  - horizon: 70
    result: unsatisfiable
    conflicts: 18
    decisions: 19
    variables: 523979
  - horizon: 75
    result: unsatisfiable
    conflicts: 63
    decisions: 83
    variables: 561224
  - horizon: 80
    result: unsatisfiable
    conflicts: 162
    decisions: 180
    variables: 598469
  - horizon: 85
    result: unsatisfiable
    conflicts: 536
    decisions: 741
    variables: 635714
  - horizon: 90
    result: unsatisfiable
    conflicts: 1674
    decisions: 2442
    variables: 672959
  - horizon: 95
    result: unsatisfiable
    conflicts: 10838
    decisions: 16356
    variables: 710204
  - horizon: 100
    result: unknown
    conflicts: 53306
    decisions: 87439
    variables: 747449
  - horizon: 105
    result: unknown
    conflicts: 48033
    decisions: 85899
    variables: 784694
  - horizon: 110
    result: unknown
    conflicts: 43255
    decisions: 81018
    variables: 821939
  - horizon: 115
    result: unknown
    conflicts: 38952
    decisions: 77637
    variables: 859184
  - horizon: 120
    result: unknown
    conflicts: 35124
    decisions: 99018
    variables: 896429
  - horizon: 125
    result: unknown
    conflicts: 31600
    decisions: 86642
    variables: 933674
  - horizon: 130
    result: unknown
    conflicts: 28423
    decisions: 75218
    variables: 970919
  - horizon: 135
    result: unknown
    conflicts: 25534
    decisions: 63509
    variables: 1008164
  - horizon: 140
    result: unknown
    conflicts: 23024
    decisions: 57346
    variables: 1045409
  - horizon: 145
    result: unknown
    conflicts: 20722
    decisions: 51191
    variables: 1082654
  - horizon: 150
    result: unknown
    conflicts: 18651
    decisions: 48620
    variables: 1119899
  - horizon: 155
    result: unknown
    conflicts: 16789
    decisions: 44513
    variables: 1157144
  - horizon: 160
    result: unknown
    conflicts: 15092
    decisions: 41377
    variables: 1194389
  - horizon: 165
    result: unknown
    conflicts: 13574
    decisions: 36534
    variables: 1231634
  - horizon: 170
    result: unknown
    conflicts: 12190
    decisions: 34214
    variables: 1268879
  - horizon: 175
    result: unknown
    conflicts: 10986
    decisions: 30126
    variables: 1306124
  - horizon: 180
    result: unknown
    conflicts: 9906
    decisions: 27396
    variables: 1343369
  - horizon: 185
    result: unknown
    conflicts: 8899
    decisions: 24192
    variables: 1380614
  - horizon: 190
    result: unknown
    conflicts: 8043
    decisions: 21915
    variables: 1417859
  - horizon: 195
    result: unknown
    conflicts: 7202
    decisions: 20400
    variables: 1455104
...

