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-97.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-48-0
Parser: 4704 ground actions and 2449 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  3.29 secs
Goal: conjunctive
Simplified: 4704 ground actions and 2449 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 2.64 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 175 MB)
Horizon 0: 2449 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 38214 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 73979 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 109744 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 145509 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 181274 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 217039 variables
30 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 883 MB)
Horizon 35: 252804 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 288569 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1104 MB)
Horizon 45: 324334 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 360099 variables
50 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1333 MB)
Horizon 55: 395864 variables
55 UNSAT (0 decisions 0 conflicts)
Horizon 60: 431629 variables
60 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1571 MB)
Horizon 65: 467394 variables
65 UNSAT (0 decisions 0 conflicts)
Horizon 70: 503159 variables
70 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1817 MB)
Horizon 75: 538924 variables
75 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1960 MB)
Horizon 80: 574689 variables
				Allocated 32 MB (total 1992 MB)
80 UNSAT (10 decisions 10 conflicts)
				Allocated 32 MB permanent (total 2136 MB)
Horizon 85: 610454 variables
85 UNSAT (42 decisions 42 conflicts)
Horizon 90: 646219 variables
				Allocated 32 MB permanent (total 2399 MB)
Horizon 95: 681984 variables
				Allocated 32 MB permanent (total 2550 MB)
Horizon 100: 717749 variables
90 UNSAT (155 decisions 148 conflicts)
95 UNSAT (136 decisions 112 conflicts)
				Allocated 32 MB permanent (total 2703 MB)
Horizon 105: 753514 variables
				Allocated 32 MB permanent (total 2858 MB)
Horizon 110: 789279 variables
				Allocated 32 MB permanent (total 3015 MB)
Horizon 115: 825044 variables
				Allocated 32 MB permanent (total 3174 MB)
Horizon 120: 860809 variables
				Allocated 32 MB permanent (total 3336 MB)
Horizon 125: 896574 variables
100 UNSAT (383 decisions 303 conflicts)
105 UNSAT (548 decisions 291 conflicts)
				Allocated 32 MB permanent (total 3499 MB)
				Allocated 32 MB permanent (total 3531 MB)
Horizon 130: 932339 variables
				Allocated 32 MB permanent (total 3697 MB)
Horizon 135: 968104 variables
				Allocated 32 MB permanent (total 3864 MB)
Horizon 140: 1003869 variables
				Allocated 32 MB permanent (total 4034 MB)
				Allocated 32 MB permanent (total 4066 MB)
Horizon 145: 1039634 variables
				Allocated 32 MB permanent (total 4238 MB)
Horizon 150: 1075399 variables
				Allocated 32 MB permanent (total 4412 MB)
Horizon 155: 1111164 variables
				Allocated 32 MB permanent (total 4588 MB)
				Allocated 32 MB permanent (total 4620 MB)
Horizon 160: 1146929 variables
				Allocated 32 MB permanent (total 4799 MB)
Horizon 165: 1182694 variables
				Allocated 32 MB permanent (total 4979 MB)
				Allocated 32 MB permanent (total 5011 MB)
Horizon 170: 1218459 variables
				Allocated 32 MB permanent (total 5193 MB)
Horizon 175: 1254224 variables
				Allocated 32 MB permanent (total 5378 MB)
				Allocated 32 MB permanent (total 5410 MB)
Horizon 180: 1289989 variables
				Allocated 32 MB permanent (total 5597 MB)
				Allocated 32 MB permanent (total 5629 MB)
Horizon 185: 1325754 variables
				Allocated 32 MB permanent (total 5818 MB)
				Allocated 32 MB permanent (total 5850 MB)
Horizon 190: 1361519 variables
				Allocated 32 MB permanent (total 6041 MB)
Horizon 195: 1397284 variables
				Allocated 32 MB permanent (total 6234 MB)
				Allocated 32 MB permanent (total 6266 MB)
Horizon 200: 1433049 variables
				Allocated 32 MB permanent (total 6461 MB)
				Allocated 32 MB permanent (total 6493 MB)
Horizon 205: 1468814 variables
				Allocated 32 MB (total 6525 MB)
				Allocated 32 MB (total 6557 MB)
						GC: 414.38 MB
				Allocated 32 MB (total 6589 MB)
				Allocated 32 MB (total 6621 MB)
				Allocated 32 MB (total 6653 MB)
				Allocated 32 MB (total 6685 MB)
				Allocated 32 MB (total 6717 MB)
						GC: 195.14 MB
				Allocated 32 MB (total 6749 MB)
						GC: 218.19 MB
				Allocated 32 MB (total 6781 MB)
				Allocated 32 MB (total 6813 MB)
				Allocated 32 MB (total 6845 MB)
				Allocated 32 MB (total 6877 MB)
						GC: 336.88 MB
				Allocated 32 MB (total 6909 MB)
						GC: 378.98 MB
						GC: 355.67 MB
						GC: 338.76 MB
				Allocated 32 MB (total 6941 MB)
						GC: 412.55 MB
				Allocated 32 MB (total 6973 MB)
						GC: 421.96 MB
				Allocated 32 MB (total 7005 MB)
				Allocated 32 MB (total 7037 MB)
						GC: 499.04 MB
						GC: 478.63 MB
						GC: 430.00 MB
						GC: 467.00 MB
						GC: 483.34 MB
						GC: 450.19 MB
						GC: 508.44 MB
						GC: 490.07 MB
						GC: 522.27 MB
						GC: 519.19 MB


# statistics in YAML format
---
runtime:
  total: 899.04 # [s]
  preprocessing: 6.07 # [s]
maxLearnedClauseLength: 80845
groundActions:
  afterParsing: 4704
  afterPreprocessing: 4704
stateVariables:
  afterParsing: 2449
  afterPreprocessing: 2449
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 2449
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 38214
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 73979
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 109744
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 145509
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 181274
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 217039
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 252804
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 288569
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 324334
  - horizon: 50
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 360099
  - horizon: 55
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 395864
  - horizon: 60
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 431629
  - horizon: 65
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 467394
  - horizon: 70
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 503159
  - horizon: 75
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 538924
  - horizon: 80
    result: unsatisfiable
    conflicts: 10
    decisions: 10
    variables: 574689
  - horizon: 85
    result: unsatisfiable
    conflicts: 42
    decisions: 42
    variables: 610454
  - horizon: 90
    result: unsatisfiable
    conflicts: 148
    decisions: 155
    variables: 646219
  - horizon: 95
    result: unsatisfiable
    conflicts: 112
    decisions: 136
    variables: 681984
  - horizon: 100
    result: unsatisfiable
    conflicts: 303
    decisions: 383
    variables: 717749
  - horizon: 105
    result: unsatisfiable
    conflicts: 291
    decisions: 548
    variables: 753514
  - horizon: 110
    result: unknown
    conflicts: 55018
    decisions: 98202
    variables: 789279
  - horizon: 115
    result: unknown
    conflicts: 49432
    decisions: 124264
    variables: 825044
  - horizon: 120
    result: unknown
    conflicts: 44461
    decisions: 113237
    variables: 860809
  - horizon: 125
    result: unknown
    conflicts: 40000
    decisions: 92548
    variables: 896574
  - horizon: 130
    result: unknown
    conflicts: 36009
    decisions: 85630
    variables: 932339
  - horizon: 135
    result: unknown
    conflicts: 32334
    decisions: 80865
    variables: 968104
  - horizon: 140
    result: unknown
    conflicts: 29142
    decisions: 74596
    variables: 1003869
  - horizon: 145
    result: unknown
    conflicts: 26174
    decisions: 67023
    variables: 1039634
  - horizon: 150
    result: unknown
    conflicts: 23570
    decisions: 62938
    variables: 1075399
  - horizon: 155
    result: unknown
    conflicts: 21234
    decisions: 58923
    variables: 1111164
  - horizon: 160
    result: unknown
    conflicts: 19114
    decisions: 56775
    variables: 1146929
  - horizon: 165
    result: unknown
    conflicts: 17185
    decisions: 50612
    variables: 1182694
  - horizon: 170
    result: unknown
    conflicts: 15440
    decisions: 46185
    variables: 1218459
  - horizon: 175
    result: unknown
    conflicts: 13935
    decisions: 44077
    variables: 1254224
  - horizon: 180
    result: unknown
    conflicts: 12557
    decisions: 38098
    variables: 1289989
  - horizon: 185
    result: unknown
    conflicts: 11294
    decisions: 36325
    variables: 1325754
  - horizon: 190
    result: unknown
    conflicts: 10146
    decisions: 34093
    variables: 1361519
  - horizon: 195
    result: unknown
    conflicts: 9128
    decisions: 28479
    variables: 1397284
  - horizon: 200
    result: unknown
    conflicts: 8225
    decisions: 26261
    variables: 1433049
  - horizon: 205
    result: unknown
    conflicts: 7443
    decisions: 23882
    variables: 1468814
...