Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS)
Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/parking-sequential-satisficing/instances/instance-20.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: parking
Problem: parking
Parser: 76832 ground actions and 1649 state variables
Invariants: 0 1 2  1.28 secs
Goal: conjunctive
Simplified: 72736 ground actions and 1649 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 118.11 secs (max SCC size 1)
Plan type: E-step
				Allocated 32 MB permanent (total 848 MB)
Horizon 0: 1649 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 373574 variables
				Allocated 32 MB (total 1084 MB)
Horizon 10: 745499 variables
				Allocated 32 MB permanent (total 1379 MB)
Horizon 15: 1117424 variables
				Allocated 32 MB permanent (total 1575 MB)
Horizon 20: 1489349 variables
				Allocated 32 MB permanent (total 1793 MB)
Horizon 25: 1861274 variables
				Allocated 32 MB (total 1825 MB)
				Allocated 32 MB permanent (total 2066 MB)
Horizon 30: 2233199 variables
				Allocated 32 MB permanent (total 2328 MB)
				Allocated 32 MB permanent (total 2360 MB)
Horizon 35: 2605124 variables
				Allocated 32 MB (total 2392 MB)
				Allocated 32 MB permanent (total 2677 MB)
Horizon 40: 2977049 variables
				Allocated 32 MB (total 2709 MB)
				Allocated 32 MB permanent (total 3015 MB)
				Allocated 32 MB permanent (total 3047 MB)
Horizon 45: 3348974 variables
5 UNSAT (547 decisions 523 conflicts)
				Allocated 32 MB permanent (total 3375 MB)
				Allocated 32 MB permanent (total 3407 MB)
Horizon 50: 3720899 variables
				Allocated 32 MB (total 3439 MB)
				Allocated 32 MB permanent (total 3790 MB)
				Allocated 32 MB permanent (total 3822 MB)
				Allocated 32 MB permanent (total 3854 MB)
Horizon 55: 4092824 variables
				Allocated 32 MB (total 3886 MB)
				Allocated 32 MB permanent (total 4258 MB)
				Allocated 32 MB permanent (total 4290 MB)
Horizon 60: 4464749 variables
				Allocated 32 MB (total 4322 MB)
				Allocated 32 MB permanent (total 4716 MB)
				Allocated 32 MB permanent (total 4748 MB)
				Allocated 32 MB permanent (total 4780 MB)
Horizon 65: 4836674 variables
				Allocated 32 MB (total 4812 MB)
				Allocated 32 MB permanent (total 5229 MB)
				Allocated 32 MB permanent (total 5261 MB)
				Allocated 32 MB permanent (total 5293 MB)
Horizon 70: 5208599 variables
				Allocated 32 MB (total 5325 MB)
				Allocated 32 MB permanent (total 5763 MB)
				Allocated 32 MB permanent (total 5795 MB)
				Allocated 32 MB permanent (total 5827 MB)
Horizon 75: 5580524 variables
				Allocated 32 MB (total 5859 MB)
				Allocated 32 MB permanent (total 6319 MB)
				Allocated 32 MB permanent (total 6351 MB)
				Allocated 32 MB permanent (total 6383 MB)
				Allocated 32 MB permanent (total 6415 MB)
Horizon 80: 5952449 variables
				Allocated 32 MB (total 6447 MB)
				Allocated 32 MB permanent (total 6929 MB)
				Allocated 32 MB permanent (total 6961 MB)
				Allocated 32 MB permanent (total 6993 MB)
Horizon 85: 6324374 variables
				Allocated 32 MB (total 7025 MB)
				Allocated 32 MB permanent (total 7530 MB)
				Allocated 32 MB permanent (total 7562 MB)
				Allocated 32 MB permanent (total 7594 MB)
				Allocated 32 MB permanent (total 7626 MB)
Horizon 90: 6696299 variables
				Allocated 32 MB (total 7658 MB)
ATTENTION: Horizon 95 will not be started: memory allocated 7658.18 MB limit 8192.00 MB
				Allocated 32 MB (total 7690 MB)
				Allocated 32 MB (total 7722 MB)
				Allocated 32 MB (total 7754 MB)
				Allocated 32 MB (total 7786 MB)
				Allocated 32 MB (total 7818 MB)
				Allocated 32 MB (total 7850 MB)
				Allocated 32 MB (total 7882 MB)
				Allocated 32 MB (total 7914 MB)
				Allocated 32 MB (total 7946 MB)
				Allocated 32 MB (total 7978 MB)
				Allocated 32 MB (total 8010 MB)
				Allocated 32 MB (total 8042 MB)
				Allocated 32 MB (total 8074 MB)
				Allocated 32 MB (total 8106 MB)
						GC: 532.07 MB
				Allocated 32 MB (total 8138 MB)
				Allocated 32 MB (total 8170 MB)
				Allocated 32 MB (total 8202 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8202.18 MB allocated
						GC: 821.45 MB
						GC: 423.37 MB
						GC: 448.80 MB
						GC: 441.65 MB
						GC: 382.84 MB
						GC: 407.90 MB
						GC: 413.10 MB
						GC: 614.94 MB
						GC: 360.12 MB
						GC: 384.96 MB
						GC: 437.71 MB


# statistics in YAML format
---
runtime:
  total: 898.36 # [s]
  preprocessing: 121.54 # [s]
maxLearnedClauseLength: 172304
groundActions:
  afterParsing: 76832
  afterPreprocessing: 72736
stateVariables:
  afterParsing: 1649
  afterPreprocessing: 1649
stronglyConnectedComponents:
  maxSize: 1
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 1649
  - horizon: 5
    result: unsatisfiable
    conflicts: 523
    decisions: 547
    variables: 373574
  - horizon: 10
    result: unknown
    conflicts: 17015
    decisions: 20373
    variables: 745499
  - horizon: 15
    result: unknown
    conflicts: 15387
    decisions: 18894
    variables: 1117424
  - horizon: 20
    result: unknown
    conflicts: 13832
    decisions: 18024
    variables: 1489349
  - horizon: 25
    result: unknown
    conflicts: 12451
    decisions: 17254
    variables: 1861274
  - horizon: 30
    result: unknown
    conflicts: 11246
    decisions: 16484
    variables: 2233199
  - horizon: 35
    result: unknown
    conflicts: 10101
    decisions: 15683
    variables: 2605124
  - horizon: 40
    result: unknown
    conflicts: 9079
    decisions: 14819
    variables: 2977049
  - horizon: 45
    result: unknown
    conflicts: 8186
    decisions: 14059
    variables: 3348974
  - horizon: 50
    result: unknown
    conflicts: 7404
    decisions: 13315
    variables: 3720899
  - horizon: 55
    result: unknown
    conflicts: 6669
    decisions: 12492
    variables: 4092824
  - horizon: 60
    result: unknown
    conflicts: 6014
    decisions: 11741
    variables: 4464749
  - horizon: 65
    result: unknown
    conflicts: 5370
    decisions: 11132
    variables: 4836674
  - horizon: 70
    result: unknown
    conflicts: 4869
    decisions: 10464
    variables: 5208599
  - horizon: 75
    result: unknown
    conflicts: 4389
    decisions: 9780
    variables: 5580524
  - horizon: 80
    result: unknown
    conflicts: 3971
    decisions: 9060
    variables: 5952449
  - horizon: 85
    result: unknown
    conflicts: 3547
    decisions: 8353
    variables: 6324374
  - horizon: 90
    result: unknown
    conflicts: 3185
    decisions: 7598
    variables: 6696299
...

