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
...