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/tidybot-sequential-satisficing/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2011/domains/tidybot-sequential-satisficing/instances/instance-13.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: tidybot
Problem: test
Parser: 54480 ground actions and 921 state variables
Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15  4.02 secs
Goal: conjunctive
Simplified: 23906 ground actions and 418 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 5.38 secs (max SCC size 10)
Plan type: E-step
				Allocated 32 MB permanent (total 378 MB)
Horizon 0: 418 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 122038 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 243658 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 365278 variables
				Allocated 32 MB (total 769 MB)
Horizon 20: 486898 variables
				Allocated 32 MB permanent (total 1018 MB)
Horizon 25: 608518 variables
Horizon 30: 730138 variables
				Allocated 32 MB permanent (total 1296 MB)
Horizon 35: 851758 variables
				Allocated 32 MB permanent (total 1462 MB)
Horizon 40: 973378 variables
				Allocated 32 MB permanent (total 1635 MB)
Horizon 45: 1094998 variables
				Allocated 32 MB permanent (total 1816 MB)
Horizon 50: 1216618 variables
				Allocated 32 MB permanent (total 2003 MB)
Horizon 55: 1338238 variables
				Allocated 32 MB permanent (total 2198 MB)
Horizon 60: 1459858 variables
				Allocated 32 MB permanent (total 2400 MB)
Horizon 65: 1581478 variables
				Allocated 32 MB permanent (total 2609 MB)
Horizon 70: 1703098 variables
15 UNSAT (745 decisions 692 conflicts)
				Allocated 32 MB (total 2641 MB)
				Allocated 32 MB permanent (total 2857 MB)
				Allocated 32 MB permanent (total 2889 MB)
Horizon 75: 1824718 variables
				Allocated 32 MB permanent (total 3112 MB)
Horizon 80: 1946338 variables
				Allocated 32 MB permanent (total 3343 MB)
				Allocated 32 MB permanent (total 3375 MB)
Horizon 85: 2067958 variables
				Allocated 32 MB permanent (total 3613 MB)
Horizon 90: 2189578 variables
				Allocated 32 MB permanent (total 3858 MB)
				Allocated 32 MB permanent (total 3890 MB)
Horizon 95: 2311198 variables
				Allocated 32 MB permanent (total 4142 MB)
				Allocated 32 MB permanent (total 4174 MB)
Horizon 100: 2432818 variables
				Allocated 32 MB (total 4206 MB)
				Allocated 32 MB permanent (total 4465 MB)
				Allocated 32 MB permanent (total 4497 MB)
Horizon 105: 2554438 variables
				Allocated 32 MB permanent (total 4764 MB)
				Allocated 32 MB permanent (total 4796 MB)
Horizon 110: 2676058 variables
				Allocated 32 MB permanent (total 5069 MB)
				Allocated 32 MB permanent (total 5101 MB)
Horizon 115: 2797678 variables
				Allocated 32 MB (total 5133 MB)
				Allocated 32 MB (total 5165 MB)
				Allocated 32 MB (total 5197 MB)
				Allocated 32 MB (total 5229 MB)
						GC: 159.74 MB
				Allocated 32 MB (total 5261 MB)
				Allocated 32 MB (total 5293 MB)
				Allocated 32 MB (total 5325 MB)
				Allocated 32 MB (total 5357 MB)
				Allocated 32 MB (total 5389 MB)
				Allocated 32 MB (total 5421 MB)
				Allocated 32 MB (total 5453 MB)
						GC: 296.55 MB
				Allocated 32 MB (total 5485 MB)
				Allocated 32 MB (total 5517 MB)
						GC: 357.16 MB
				Allocated 32 MB (total 5549 MB)
						GC: 301.43 MB
				Allocated 32 MB (total 5581 MB)
				Allocated 32 MB (total 5613 MB)
				Allocated 32 MB (total 5645 MB)
				Allocated 32 MB (total 5677 MB)
						GC: 479.05 MB
						GC: 379.43 MB
						GC: 407.22 MB
				Allocated 32 MB (total 5709 MB)
				Allocated 32 MB (total 5741 MB)
						GC: 427.52 MB
20 UNSAT (22599 decisions 20853 conflicts)
				Allocated 32 MB permanent (total 6022 MB)
				Allocated 32 MB permanent (total 6054 MB)
Horizon 120: 2919298 variables
				Allocated 32 MB (total 6086 MB)
				Allocated 32 MB (total 6118 MB)
						GC: 662.97 MB
						GC: 454.19 MB
						GC: 537.14 MB
						GC: 532.45 MB
				Allocated 32 MB (total 6150 MB)
				Allocated 32 MB (total 6182 MB)
				Allocated 32 MB (total 6214 MB)
				Allocated 32 MB (total 6246 MB)
						GC: 696.89 MB


# statistics in YAML format
---
runtime:
  total: 898.78 # [s]
  preprocessing: 10.19 # [s]
maxLearnedClauseLength: 247747
groundActions:
  afterParsing: 54480
  afterPreprocessing: 23906
stateVariables:
  afterParsing: 921
  afterPreprocessing: 418
stronglyConnectedComponents:
  maxSize: 10
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 418
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 122038
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 243658
  - horizon: 15
    result: unsatisfiable
    conflicts: 692
    decisions: 745
    variables: 365278
  - horizon: 20
    result: unsatisfiable
    conflicts: 20853
    decisions: 22599
    variables: 486898
  - horizon: 25
    result: unknown
    conflicts: 31945
    decisions: 36728
    variables: 608518
  - horizon: 30
    result: unknown
    conflicts: 28828
    decisions: 36733
    variables: 730138
  - horizon: 35
    result: unknown
    conflicts: 25939
    decisions: 35215
    variables: 851758
  - horizon: 40
    result: unknown
    conflicts: 23353
    decisions: 32791
    variables: 973378
  - horizon: 45
    result: unknown
    conflicts: 21017
    decisions: 30011
    variables: 1094998
  - horizon: 50
    result: unknown
    conflicts: 18918
    decisions: 27750
    variables: 1216618
  - horizon: 55
    result: unknown
    conflicts: 17063
    decisions: 25787
    variables: 1338238
  - horizon: 60
    result: unknown
    conflicts: 15319
    decisions: 23837
    variables: 1459858
  - horizon: 65
    result: unknown
    conflicts: 13816
    decisions: 22360
    variables: 1581478
  - horizon: 70
    result: unknown
    conflicts: 12435
    decisions: 20795
    variables: 1703098
  - horizon: 75
    result: unknown
    conflicts: 11167
    decisions: 19025
    variables: 1824718
  - horizon: 80
    result: unknown
    conflicts: 10090
    decisions: 17754
    variables: 1946338
  - horizon: 85
    result: unknown
    conflicts: 9068
    decisions: 16474
    variables: 2067958
  - horizon: 90
    result: unknown
    conflicts: 8165
    decisions: 15169
    variables: 2189578
  - horizon: 95
    result: unknown
    conflicts: 7383
    decisions: 14094
    variables: 2311198
  - horizon: 100
    result: unknown
    conflicts: 6667
    decisions: 12921
    variables: 2432818
  - horizon: 105
    result: unknown
    conflicts: 5963
    decisions: 11919
    variables: 2554438
  - horizon: 110
    result: unknown
    conflicts: 5407
    decisions: 10891
    variables: 2676058
  - horizon: 115
    result: unknown
    conflicts: 4864
    decisions: 10040
    variables: 2797678
  - horizon: 120
    result: unknown
    conflicts: 4384
    decisions: 9389
    variables: 2919298
...