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-19.pddlignoring --stats
ignoring --stats-iter
ignoring --verbose
 -m 8192
Domain: tidybot
Problem: test
Parser: 160966 ground actions and 2482 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  23.33 secs
Goal: conjunctive
Simplified: 47278 ground actions and 725 state variables
Actions: STRIPS
Disabling graph %: 10 20 30 40 50 60 70 80 90 100 37.04 secs (max SCC size 26)
Plan type: E-step
				Allocated 32 MB permanent (total 752 MB)
Horizon 0: 725 variables
0 UNSAT (0 decisions 0 conflicts)
Horizon 5: 253940 variables
5 UNSAT (0 decisions 0 conflicts)
Horizon 10: 507155 variables
10 UNSAT (0 decisions 0 conflicts)
Horizon 15: 760370 variables
15 UNSAT (0 decisions 0 conflicts)
				Allocated 32 MB permanent (total 1337 MB)
Horizon 20: 1013585 variables
				Allocated 32 MB (total 1369 MB)
				Allocated 32 MB permanent (total 1552 MB)
Horizon 25: 1266800 variables
				Allocated 32 MB permanent (total 1750 MB)
Horizon 30: 1520015 variables
				Allocated 32 MB permanent (total 1964 MB)
Horizon 35: 1773230 variables
				Allocated 32 MB permanent (total 2192 MB)
Horizon 40: 2026445 variables
				Allocated 32 MB permanent (total 2435 MB)
				Allocated 32 MB permanent (total 2467 MB)
Horizon 45: 2279660 variables
				Allocated 32 MB permanent (total 2725 MB)
Horizon 50: 2532875 variables
				Allocated 32 MB permanent (total 2998 MB)
				Allocated 32 MB permanent (total 3030 MB)
Horizon 55: 2786090 variables
				Allocated 32 MB permanent (total 3318 MB)
				Allocated 32 MB permanent (total 3350 MB)
Horizon 60: 3039305 variables
				Allocated 32 MB permanent (total 3653 MB)
				Allocated 32 MB permanent (total 3685 MB)
Horizon 65: 3292520 variables
				Allocated 32 MB permanent (total 4003 MB)
				Allocated 32 MB permanent (total 4035 MB)
Horizon 70: 3545735 variables
				Allocated 32 MB (total 4067 MB)
				Allocated 32 MB permanent (total 4400 MB)
				Allocated 32 MB permanent (total 4432 MB)
				Allocated 32 MB permanent (total 4464 MB)
Horizon 75: 3798950 variables
				Allocated 32 MB permanent (total 4812 MB)
				Allocated 32 MB permanent (total 4844 MB)
Horizon 80: 4052165 variables
				Allocated 32 MB permanent (total 5207 MB)
				Allocated 32 MB permanent (total 5239 MB)
				Allocated 32 MB permanent (total 5271 MB)
Horizon 85: 4305380 variables
				Allocated 32 MB permanent (total 5649 MB)
				Allocated 32 MB permanent (total 5681 MB)
				Allocated 32 MB permanent (total 5713 MB)
Horizon 90: 4558595 variables
				Allocated 32 MB (total 5745 MB)
				Allocated 32 MB permanent (total 6138 MB)
				Allocated 32 MB permanent (total 6170 MB)
				Allocated 32 MB permanent (total 6202 MB)
Horizon 95: 4811810 variables
				Allocated 32 MB permanent (total 6609 MB)
				Allocated 32 MB permanent (total 6641 MB)
				Allocated 32 MB permanent (total 6673 MB)
Horizon 100: 5065025 variables
				Allocated 32 MB (total 6705 MB)
				Allocated 32 MB permanent (total 7128 MB)
				Allocated 32 MB permanent (total 7160 MB)
				Allocated 32 MB permanent (total 7192 MB)
Horizon 105: 5318240 variables
				Allocated 32 MB permanent (total 7630 MB)
				Allocated 32 MB permanent (total 7662 MB)
				Allocated 32 MB permanent (total 7694 MB)
				Allocated 32 MB permanent (total 7726 MB)
Horizon 110: 5571455 variables
ATTENTION: Horizon 115 will not be started: memory allocated 7726.42 MB limit 8192.00 MB
				Allocated 32 MB (total 7758 MB)
				Allocated 32 MB (total 7790 MB)
20 UNSAT (1571 decisions 1480 conflicts)
				Allocated 32 MB (total 7822 MB)
				Allocated 32 MB (total 7854 MB)
				Allocated 32 MB (total 7886 MB)
				Allocated 32 MB (total 7918 MB)
				Allocated 32 MB (total 7950 MB)
						GC: 302.48 MB
				Allocated 32 MB (total 7982 MB)
				Allocated 32 MB (total 8014 MB)
				Allocated 32 MB (total 8046 MB)
				Allocated 32 MB (total 8078 MB)
				Allocated 32 MB (total 8110 MB)
				Allocated 32 MB (total 8142 MB)
				Allocated 32 MB (total 8174 MB)
						GC: 416.01 MB
25 UNSAT (5245 decisions 4680 conflicts)
				Allocated 32 MB (total 8206 MB)
ATTENTION: Memory bound 8192.00 MB reached, 8206.42 MB allocated
						GC: 491.52 MB
						GC: 326.33 MB
						GC: 297.15 MB
						GC: 193.42 MB
						GC: 265.03 MB
						GC: 359.24 MB
						GC: 258.29 MB
						GC: 221.44 MB


# statistics in YAML format
---
runtime:
  total: 898.51 # [s]
  preprocessing: 63.00 # [s]
maxLearnedClauseLength: 658451
groundActions:
  afterParsing: 160966
  afterPreprocessing: 47278
stateVariables:
  afterParsing: 2482
  afterPreprocessing: 725
stronglyConnectedComponents:
  maxSize: 26
plan:
  found: false
iterations:
  - horizon: 0
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 725
  - horizon: 5
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 253940
  - horizon: 10
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 507155
  - horizon: 15
    result: unsatisfiable
    conflicts: 0
    decisions: 0
    variables: 760370
  - horizon: 20
    result: unsatisfiable
    conflicts: 1480
    decisions: 1571
    variables: 1013585
  - horizon: 25
    result: unsatisfiable
    conflicts: 4680
    decisions: 5245
    variables: 1266800
  - horizon: 30
    result: unknown
    conflicts: 15246
    decisions: 17610
    variables: 1520015
  - horizon: 35
    result: unknown
    conflicts: 13811
    decisions: 16833
    variables: 1773230
  - horizon: 40
    result: unknown
    conflicts: 12428
    decisions: 15998
    variables: 2026445
  - horizon: 45
    result: unknown
    conflicts: 11168
    decisions: 15122
    variables: 2279660
  - horizon: 50
    result: unknown
    conflicts: 10092
    decisions: 13676
    variables: 2532875
  - horizon: 55
    result: unknown
    conflicts: 9070
    decisions: 12881
    variables: 2786090
  - horizon: 60
    result: unknown
    conflicts: 8168
    decisions: 11980
    variables: 3039305
  - horizon: 65
    result: unknown
    conflicts: 7328
    decisions: 11076
    variables: 3292520
  - horizon: 70
    result: unknown
    conflicts: 6602
    decisions: 10283
    variables: 3545735
  - horizon: 75
    result: unknown
    conflicts: 5949
    decisions: 9451
    variables: 3798950
  - horizon: 80
    result: unknown
    conflicts: 5403
    decisions: 8902
    variables: 4052165
  - horizon: 85
    result: unknown
    conflicts: 4865
    decisions: 7967
    variables: 4305380
  - horizon: 90
    result: unknown
    conflicts: 4382
    decisions: 7252
    variables: 4558595
  - horizon: 95
    result: unknown
    conflicts: 3951
    decisions: 6921
    variables: 4811810
  - horizon: 100
    result: unknown
    conflicts: 3544
    decisions: 6037
    variables: 5065025
  - horizon: 105
    result: unknown
    conflicts: 3181
    decisions: 5688
    variables: 5318240
  - horizon: 110
    result: unknown
    conflicts: 2883
    decisions: 5216
    variables: 5571455
...

