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-20.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: tidybot
Problem: test
Parser: 131342 ground actions and 1888 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  25.23 secs
Goal: conjunctive
Simplified: 50348 ground actions and 653 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 30.38 secs (max SCC size 18)
Plan type: E-step
				Allocated 32 MB permanent (total 795 MB)
Horizon 0: 653 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 264058 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 527463 variables
10 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1249 MB)
Horizon 15: 790868 variables
15 UNSAT (0 decisions 0 conflicts)
Horizon 20: 1054273 variables
20 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1574 MB)
Horizon 25: 1317678 variables
				Allocated 32 MB (total 1606 MB)
				Allocated 32 MB permanent (total 1807 MB)
Horizon 30: 1581083 variables
				Allocated 32 MB permanent (total 2025 MB)
				Allocated 32 MB permanent (total 2057 MB)
Horizon 35: 1844488 variables
				Allocated 32 MB permanent (total 2290 MB)
Horizon 40: 2107893 variables
				Allocated 32 MB permanent (total 2538 MB)
				Allocated 32 MB permanent (total 2570 MB)
Horizon 45: 2371298 variables
				Allocated 32 MB permanent (total 2834 MB)
				Allocated 32 MB permanent (total 2866 MB)
Horizon 50: 2634703 variables
				Allocated 32 MB permanent (total 3146 MB)
				Allocated 32 MB permanent (total 3178 MB)
Horizon 55: 2898108 variables
				Allocated 32 MB permanent (total 3473 MB)
				Allocated 32 MB permanent (total 3505 MB)
Horizon 60: 3161513 variables
				Allocated 32 MB permanent (total 3816 MB)
				Allocated 32 MB permanent (total 3848 MB)
Horizon 65: 3424918 variables
				Allocated 32 MB permanent (total 4175 MB)
				Allocated 32 MB permanent (total 4207 MB)
				Allocated 32 MB permanent (total 4239 MB)
Horizon 70: 3688323 variables
				Allocated 32 MB (total 4271 MB)
				Allocated 32 MB permanent (total 4613 MB)
				Allocated 32 MB permanent (total 4645 MB)
				Allocated 32 MB permanent (total 4677 MB)
Horizon 75: 3951728 variables
				Allocated 32 MB permanent (total 5034 MB)
				Allocated 32 MB permanent (total 5066 MB)
				Allocated 32 MB permanent (total 5098 MB)
Horizon 80: 4215133 variables
				Allocated 32 MB permanent (total 5471 MB)
				Allocated 32 MB permanent (total 5503 MB)
				Allocated 32 MB permanent (total 5535 MB)
Horizon 85: 4478538 variables
				Allocated 32 MB (total 5567 MB)
				Allocated 32 MB permanent (total 5956 MB)
				Allocated 32 MB permanent (total 5988 MB)
				Allocated 32 MB permanent (total 6020 MB)
Horizon 90: 4741943 variables
				Allocated 32 MB permanent (total 6424 MB)
				Allocated 32 MB permanent (total 6456 MB)
				Allocated 32 MB permanent (total 6488 MB)
				Allocated 32 MB permanent (total 6520 MB)
Horizon 95: 5005348 variables
				Allocated 32 MB (total 6552 MB)
				Allocated 32 MB permanent (total 6972 MB)
				Allocated 32 MB permanent (total 7004 MB)
				Allocated 32 MB permanent (total 7036 MB)
Horizon 100: 5268753 variables
				Allocated 32 MB permanent (total 7472 MB)
				Allocated 32 MB permanent (total 7504 MB)
				Allocated 32 MB permanent (total 7536 MB)
				Allocated 32 MB permanent (total 7568 MB)
Horizon 105: 5532158 variables
ATTENTION: Horizon 110 will not be started: memory allocated 7568.22 MB limit 8192.00 MB
				Allocated 32 MB (total 7600 MB)
				Allocated 32 MB (total 7632 MB)
				Allocated 32 MB (total 7664 MB)
				Allocated 32 MB (total 7696 MB)
				Allocated 32 MB (total 7728 MB)
				Allocated 32 MB (total 7760 MB)
				Allocated 32 MB (total 7792 MB)
						GC: 284.37 MB
				Allocated 32 MB (total 7824 MB)
				Allocated 32 MB (total 7856 MB)
				Allocated 32 MB (total 7888 MB)
				Allocated 32 MB (total 7920 MB)
				Allocated 32 MB (total 7952 MB)
				Allocated 32 MB (total 7984 MB)
				Allocated 32 MB (total 8016 MB)
				Allocated 32 MB (total 8048 MB)
						GC: 404.37 MB
				Allocated 32 MB (total 8080 MB)
				Allocated 32 MB (total 8112 MB)
				Allocated 32 MB (total 8144 MB)
				Allocated 32 MB (total 8176 MB)
				Allocated 32 MB (total 8208 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8208.22 MB allocated
						GC: 517.66 MB
25 UNSAT (8409 decisions 7808 conflicts)
						GC: 461.56 MB
						GC: 251.71 MB
						GC: 301.75 MB
						GC: 281.82 MB
						GC: 233.51 MB


# statistics in YAML format
---
runtime:
  total: 898.42 # [s]
  preprocessing: 58.00 # [s]
maxLearnedClauseLength: 375276
groundActions:
  afterParsing: 131342
  afterPreprocessing: 50348
stateVariables:
  afterParsing: 1888
  afterPreprocessing: 653
stronglyConnectedComponents:
  maxSize: 18
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 653
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 264058
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 527463
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 790868
  - horizon: 20
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 1054273
  - horizon: 25
    result: unsatisfiable
    conflicts: 7808
    decisions: 8409
    variables: 1317678
  - horizon: 30
    result: unknown
    conflicts: 13864
    decisions: 15677
    variables: 1581083
  - horizon: 35
    result: unknown
    conflicts: 12546
    decisions: 14872
    variables: 1844488
  - horizon: 40
    result: unknown
    conflicts: 11271
    decisions: 14242
    variables: 2107893
  - horizon: 45
    result: unknown
    conflicts: 10147
    decisions: 13335
    variables: 2371298
  - horizon: 50
    result: unknown
    conflicts: 9127
    decisions: 12495
    variables: 2634703
  - horizon: 55
    result: unknown
    conflicts: 8225
    decisions: 11733
    variables: 2898108
  - horizon: 60
    result: unknown
    conflicts: 7386
    decisions: 10862
    variables: 3161513
  - horizon: 65
    result: unknown
    conflicts: 6668
    decisions: 10115
    variables: 3424918
  - horizon: 70
    result: unknown
    conflicts: 6005
    decisions: 9101
    variables: 3688323
  - horizon: 75
    result: unknown
    conflicts: 5404
    decisions: 8384
    variables: 3951728
  - horizon: 80
    result: unknown
    conflicts: 4861
    decisions: 7719
    variables: 4215133
  - horizon: 85
    result: unknown
    conflicts: 4387
    decisions: 7366
    variables: 4478538
  - horizon: 90
    result: unknown
    conflicts: 3964
    decisions: 6679
    variables: 4741943
  - horizon: 95
    result: unknown
    conflicts: 3546
    decisions: 5978
    variables: 5005348
  - horizon: 100
    result: unknown
    conflicts: 3242
    decisions: 5439
    variables: 5268753
  - horizon: 105
    result: unknown
    conflicts: 2881
    decisions: 4951
    variables: 5532158
...

