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-52.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 -F 90 -T 90 Domain: blocks Problem: blocks-25-1 Parser: 1300 ground actions and 701 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 0.24 secs Goal: conjunctive Simplified: 1300 ground actions and 701 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.11 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 132 MB) Horizon 90: 180791 variables Allocated 32 MB (total 252 MB) Allocated 32 MB (total 284 MB) Allocated 32 MB (total 316 MB) GC: 68.52 MB Allocated 32 MB (total 348 MB) Allocated 32 MB (total 380 MB) Allocated 32 MB (total 412 MB) GC: 123.25 MB Allocated 32 MB (total 444 MB) GC: 179.70 MB GC: 170.45 MB Allocated 32 MB (total 476 MB) GC: 186.00 MB GC: 227.31 MB GC: 198.11 MB GC: 212.67 MB Allocated 32 MB (total 508 MB) GC: 237.64 MB Allocated 32 MB (total 540 MB) GC: 283.61 MB GC: 240.00 MB Allocated 32 MB (total 572 MB) GC: 273.72 MB GC: 310.76 MB GC: 276.69 MB Allocated 32 MB (total 604 MB) GC: 309.60 MB GC: 308.30 MB GC: 344.27 MB GC: 314.26 MB Allocated 32 MB (total 636 MB) GC: 338.23 MB GC: 343.55 MB Allocated 32 MB (total 668 MB) GC: 368.89 MB GC: 372.53 MB Allocated 32 MB (total 700 MB) GC: 421.96 MB GC: 366.91 MB GC: 411.25 MB GC: 401.16 MB GC: 415.67 MB Allocated 32 MB (total 732 MB) GC: 422.54 MB GC: 436.19 MB Allocated 32 MB (total 764 MB) GC: 481.80 MB GC: 416.92 MB GC: 476.20 MB GC: 471.48 MB # statistics in YAML format --- runtime: total: 899.63 # [s] preprocessing: 0.36 # [s] maxLearnedClauseLength: 19411 groundActions: afterParsing: 1300 afterPreprocessing: 1300 stateVariables: afterParsing: 701 afterPreprocessing: 701 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: ...