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-70.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: blocks
Problem: blocks-34-1
Parser: 2380 ground actions and 1259 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12  0.94 secs
Goal: conjunctive
Simplified: 2380 ground actions and 1259 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.49 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 144 MB)
Horizon 0: 1259 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 19454 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 37649 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 55844 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 74039 variables
20 UNSAT (0 decisions 0 conflicts)
Horizon 25: 92234 variables
25 UNSAT (0 decisions 0 conflicts)
Horizon 30: 110429 variables
30 UNSAT (0 decisions 0 conflicts)
Horizon 35: 128624 variables
35 UNSAT (0 decisions 0 conflicts)
Horizon 40: 146819 variables
40 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 990 MB)
Horizon 45: 165014 variables
45 UNSAT (0 decisions 0 conflicts)
Horizon 50: 183209 variables
				Allocated 32 MB (total 1110 MB)
50 UNSAT (1 decisions 1 conflicts)
Horizon 55: 201404 variables
55 UNSAT (12 decisions 12 conflicts)
Horizon 60: 219599 variables
60 UNSAT (51 decisions 42 conflicts)
				Allocated 32 MB permanent (total 1410 MB)
Horizon 65: 237794 variables
Horizon 70: 255989 variables
65 UNSAT (119 decisions 94 conflicts)
Horizon 75: 274184 variables
				Allocated 32 MB permanent (total 1719 MB)
Horizon 80: 292379 variables
Horizon 85: 310574 variables
				Allocated 32 MB permanent (total 1942 MB)
Horizon 90: 328769 variables
Horizon 95: 346964 variables
Horizon 100: 365159 variables
				Allocated 32 MB permanent (total 2268 MB)
Horizon 105: 383354 variables
Horizon 110: 401549 variables
				Allocated 32 MB permanent (total 2501 MB)
Horizon 115: 419744 variables
				Allocated 32 MB permanent (total 2635 MB)
Horizon 120: 437939 variables
				Allocated 32 MB (total 2667 MB)
Horizon 125: 456134 variables
				Allocated 32 MB permanent (total 2907 MB)
Horizon 130: 474329 variables
Horizon 135: 492524 variables
				Allocated 32 MB permanent (total 3151 MB)
Horizon 140: 510719 variables
				Allocated 32 MB permanent (total 3290 MB)
Horizon 145: 528914 variables
Horizon 150: 547109 variables
				Allocated 32 MB permanent (total 3541 MB)
Horizon 155: 565304 variables
				Allocated 32 MB (total 3573 MB)
				Allocated 32 MB permanent (total 3716 MB)
Horizon 160: 583499 variables
				Allocated 32 MB permanent (total 3860 MB)
Horizon 165: 601694 variables
70 UNSAT (2455 decisions 1416 conflicts)
Horizon 170: 619889 variables
				Allocated 32 MB (total 4005 MB)
				Allocated 32 MB (total 4037 MB)
						GC: 199.91 MB
				Allocated 32 MB (total 4069 MB)
						GC: 147.97 MB
				Allocated 32 MB (total 4101 MB)
						GC: 171.65 MB
				Allocated 32 MB (total 4133 MB)
						GC: 219.97 MB
						GC: 205.79 MB
				Allocated 32 MB (total 4165 MB)
				Allocated 32 MB (total 4197 MB)
						GC: 263.99 MB
						GC: 213.31 MB
						GC: 233.71 MB
						GC: 256.97 MB
						GC: 271.11 MB
						GC: 275.80 MB
				Allocated 32 MB (total 4229 MB)
						GC: 304.33 MB
				Allocated 32 MB (total 4261 MB)
						GC: 353.43 MB
						GC: 293.98 MB
						GC: 291.63 MB
						GC: 301.71 MB
						GC: 302.39 MB
						GC: 315.61 MB
						GC: 324.69 MB
						GC: 325.57 MB
						GC: 344.33 MB
						GC: 348.81 MB
				Allocated 32 MB (total 4293 MB)
						GC: 360.73 MB
				Allocated 32 MB (total 4325 MB)
						GC: 395.05 MB
						GC: 385.98 MB
						GC: 402.72 MB
				Allocated 32 MB (total 4357 MB)
						GC: 415.83 MB
						GC: 430.24 MB
				Allocated 32 MB (total 4389 MB)
						GC: 449.53 MB
						GC: 468.60 MB
				Allocated 32 MB (total 4421 MB)
						GC: 471.75 MB
						GC: 480.20 MB
						GC: 392.18 MB
						GC: 430.55 MB


# statistics in YAML format
---
runtime:
  total: 897.29 # [s]
  preprocessing: 1.48 # [s]
maxLearnedClauseLength: 33281
groundActions:
  afterParsing: 2380
  afterPreprocessing: 2380
stateVariables:
  afterParsing: 1259
  afterPreprocessing: 1259
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 1259
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 19454
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 37649
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 55844
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 74039
  - horizon: 25
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 92234
  - horizon: 30
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 110429
  - horizon: 35
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 128624
  - horizon: 40
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 146819
  - horizon: 45
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 165014
  - horizon: 50
    result: unsatisfiable
    conflicts: 1
    decisions: 1
    variables: 183209
  - horizon: 55
    result: unsatisfiable
    conflicts: 12
    decisions: 12
    variables: 201404
  - horizon: 60
    result: unsatisfiable
    conflicts: 42
    decisions: 51
    variables: 219599
  - horizon: 65
    result: unsatisfiable
    conflicts: 94
    decisions: 119
    variables: 237794
  - horizon: 70
    result: unsatisfiable
    conflicts: 1416
    decisions: 2455
    variables: 255989
  - horizon: 75
    result: unknown
    conflicts: 112164
    decisions: 229132
    variables: 274184
  - horizon: 80
    result: unknown
    conflicts: 100995
    decisions: 177322
    variables: 292379
  - horizon: 85
    result: unknown
    conflicts: 90904
    decisions: 158099
    variables: 310574
  - horizon: 90
    result: unknown
    conflicts: 81632
    decisions: 141812
    variables: 328769
  - horizon: 95
    result: unknown
    conflicts: 73394
    decisions: 133599
    variables: 346964
  - horizon: 100
    result: unknown
    conflicts: 66043
    decisions: 120462
    variables: 365159
  - horizon: 105
    result: unknown
    conflicts: 59475
    decisions: 113829
    variables: 383354
  - horizon: 110
    result: unknown
    conflicts: 53621
    decisions: 111545
    variables: 401549
  - horizon: 115
    result: unknown
    conflicts: 48300
    decisions: 104300
    variables: 419744
  - horizon: 120
    result: unknown
    conflicts: 43401
    decisions: 96758
    variables: 437939
  - horizon: 125
    result: unknown
    conflicts: 39102
    decisions: 92558
    variables: 456134
  - horizon: 130
    result: unknown
    conflicts: 35159
    decisions: 87239
    variables: 474329
  - horizon: 135
    result: unknown
    conflicts: 31646
    decisions: 81806
    variables: 492524
  - horizon: 140
    result: unknown
    conflicts: 28487
    decisions: 78415
    variables: 510719
  - horizon: 145
    result: unknown
    conflicts: 25652
    decisions: 75680
    variables: 528914
  - horizon: 150
    result: unknown
    conflicts: 23124
    decisions: 71359
    variables: 547109
  - horizon: 155
    result: unknown
    conflicts: 20758
    decisions: 66257
    variables: 565304
  - horizon: 160
    result: unknown
    conflicts: 18707
    decisions: 61462
    variables: 583499
  - horizon: 165
    result: unknown
    conflicts: 16833
    decisions: 58788
    variables: 601694
  - horizon: 170
    result: unknown
    conflicts: 15152
    decisions: 53008
    variables: 619889
...

