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-55.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 -F 90 -T 90 Domain: blocks Problem: blocks-27-0 Parser: 1512 ground actions and 811 state variables Invariants: 0 1 2 3 4 5 6 7 0.41 secs Goal: conjunctive Simplified: 1512 ground actions and 811 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.15 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 134 MB) Horizon 90: 209881 variables Allocated 32 MB (total 256 MB) Allocated 32 MB (total 288 MB) Allocated 32 MB (total 320 MB) GC: 67.13 MB Allocated 32 MB (total 352 MB) Allocated 32 MB (total 384 MB) GC: 135.49 MB Allocated 32 MB (total 416 MB) GC: 144.91 MB Allocated 32 MB (total 448 MB) Allocated 32 MB (total 480 MB) GC: 217.74 MB GC: 183.66 MB Allocated 32 MB (total 512 MB) GC: 243.45 MB GC: 236.94 MB GC: 250.99 MB Allocated 32 MB (total 544 MB) GC: 277.21 MB Allocated 32 MB (total 576 MB) GC: 296.86 MB Allocated 32 MB (total 608 MB) GC: 324.44 MB GC: 333.63 MB GC: 341.15 MB GC: 331.68 MB Allocated 32 MB (total 640 MB) GC: 343.51 MB GC: 358.52 MB GC: 356.35 MB Allocated 32 MB (total 672 MB) GC: 382.39 MB GC: 385.89 MB GC: 430.70 MB GC: 351.89 MB GC: 390.16 MB Allocated 32 MB (total 704 MB) Allocated 32 MB (total 736 MB) GC: 424.57 MB Allocated 32 MB (total 768 MB) GC: 484.24 MB GC: 409.75 MB GC: 481.72 MB GC: 436.98 MB GC: 454.93 MB GC: 472.51 MB GC: 481.36 MB Allocated 32 MB (total 800 MB) GC: 496.84 MB GC: 499.95 MB Allocated 32 MB (total 832 MB) GC: 526.43 MB # statistics in YAML format --- runtime: total: 899.65 # [s] preprocessing: 0.58 # [s] maxLearnedClauseLength: 26623 groundActions: afterParsing: 1512 afterPreprocessing: 1512 stateVariables: afterParsing: 811 afterPreprocessing: 811 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: ...