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-68.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 -F 110 -T 110 Domain: blocks Problem: blocks-33-1 Parser: 2244 ground actions and 1189 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0.61 secs Goal: conjunctive Simplified: 2244 ground actions and 1189 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.42 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 143 MB) Horizon 110: 378819 variables Allocated 32 MB (total 275 MB) Allocated 32 MB (total 307 MB) Allocated 32 MB (total 339 MB) Allocated 32 MB (total 371 MB) GC: 95.76 MB Allocated 32 MB (total 403 MB) Allocated 32 MB (total 435 MB) Allocated 32 MB (total 467 MB) GC: 176.18 MB Allocated 32 MB (total 499 MB) GC: 212.79 MB Allocated 32 MB (total 531 MB) Allocated 32 MB (total 563 MB) GC: 241.14 MB Allocated 32 MB (total 595 MB) GC: 306.64 MB GC: 258.14 MB GC: 310.43 MB Allocated 32 MB (total 627 MB) GC: 310.49 MB Allocated 32 MB (total 659 MB) GC: 357.51 MB GC: 350.24 MB GC: 357.38 MB Allocated 32 MB (total 691 MB) GC: 364.80 MB Allocated 32 MB (total 723 MB) GC: 407.16 MB Allocated 32 MB (total 755 MB) GC: 428.14 MB Allocated 32 MB (total 787 MB) GC: 456.93 MB GC: 468.10 MB Allocated 32 MB (total 819 MB) GC: 504.07 MB GC: 512.28 MB Allocated 32 MB (total 851 MB) GC: 531.15 MB Allocated 32 MB (total 883 MB) GC: 548.61 MB Allocated 32 MB (total 915 MB) GC: 578.47 MB GC: 601.83 MB Allocated 32 MB (total 947 MB) GC: 613.19 MB Allocated 32 MB (total 979 MB) GC: 643.92 MB GC: 662.99 MB Allocated 32 MB (total 1011 MB) GC: 683.11 MB # statistics in YAML format --- runtime: total: 899.54 # [s] preprocessing: 1.08 # [s] maxLearnedClauseLength: 24159 groundActions: afterParsing: 2244 afterPreprocessing: 2244 stateVariables: afterParsing: 1189 afterPreprocessing: 1189 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: ...