Madagascar 0.99999 01/02/2018 14:46:04 amd64 1-core (no VSIDS) Options: file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/domain.pddl file:/home/pluehne/Documents/ASP/pddl-instances/ipc-2000/domains/blocks-strips-typed/instances/instance-37.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 -F 60 -T 60 Domain: blocks Problem: blocks-18-0 Parser: 684 ground actions and 379 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 0.07 secs Goal: conjunctive Simplified: 684 ground actions and 379 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.03 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 126 MB) Horizon 60: 64159 variables Allocated 32 MB (total 239 MB) Allocated 32 MB (total 271 MB) GC: 30.98 MB Allocated 32 MB (total 303 MB) GC: 54.51 MB GC: 69.00 MB GC: 69.94 MB Allocated 32 MB (total 335 MB) GC: 89.75 MB GC: 99.44 MB GC: 80.39 MB GC: 98.68 MB GC: 103.09 MB Allocated 32 MB (total 367 MB) GC: 120.18 MB GC: 115.73 MB GC: 122.07 MB GC: 126.26 MB GC: 130.54 MB Allocated 32 MB (total 399 MB) GC: 132.88 MB GC: 133.15 MB GC: 145.72 MB GC: 158.86 MB GC: 142.16 MB GC: 142.41 MB GC: 158.81 MB GC: 144.89 MB Allocated 32 MB (total 431 MB) GC: 176.03 MB GC: 177.68 MB Allocated 32 MB (total 463 MB) GC: 187.14 MB GC: 203.66 MB GC: 202.06 MB GC: 212.65 MB Allocated 32 MB (total 495 MB) GC: 214.38 MB GC: 220.97 MB GC: 230.76 MB Allocated 32 MB (total 527 MB) GC: 251.33 MB GC: 234.30 MB GC: 253.32 MB GC: 236.19 MB GC: 257.68 MB GC: 248.76 MB Allocated 32 MB (total 559 MB) GC: 273.15 MB GC: 263.70 MB GC: 273.23 MB GC: 297.28 MB GC: 279.46 MB GC: 278.76 MB Allocated 32 MB (total 591 MB) GC: 301.50 MB GC: 327.62 MB GC: 301.68 MB GC: 310.45 MB Allocated 32 MB (total 623 MB) GC: 316.13 MB GC: 325.81 MB Allocated 32 MB (total 655 MB) GC: 374.99 MB GC: 312.78 MB # statistics in YAML format --- runtime: total: 899.72 # [s] preprocessing: 0.11 # [s] maxLearnedClauseLength: 17577 groundActions: afterParsing: 684 afterPreprocessing: 684 stateVariables: afterParsing: 379 afterPreprocessing: 379 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: ...