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-76.pddlignoring --stats ignoring --stats-iter ignoring --verbose -m 8192 -F 140 -T 140 Domain: blocks Problem: blocks-37-1 Parser: 2812 ground actions and 1481 state variables Invariants: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 1.19 secs Goal: conjunctive Simplified: 2812 ground actions and 1481 state variables Actions: STRIPS Disabling graph %: 10 20 30 40 50 60 70 80 90 100 0.74 secs (max SCC size 1) Plan type: E-step Allocated 32 MB permanent (total 149 MB) Horizon 140: 602501 variables Allocated 32 MB (total 296 MB) Allocated 32 MB (total 328 MB) Allocated 32 MB (total 360 MB) Allocated 32 MB (total 392 MB) GC: 71.17 MB Allocated 32 MB (total 424 MB) Allocated 32 MB (total 456 MB) GC: 120.11 MB Allocated 32 MB (total 488 MB) Allocated 32 MB (total 520 MB) GC: 163.18 MB Allocated 32 MB (total 552 MB) GC: 172.45 MB Allocated 32 MB (total 584 MB) Allocated 32 MB (total 616 MB) GC: 257.41 MB GC: 226.89 MB GC: 230.65 MB Allocated 32 MB (total 648 MB) Allocated 32 MB (total 680 MB) Allocated 32 MB (total 712 MB) GC: 298.65 MB Allocated 32 MB (total 744 MB) Allocated 32 MB (total 776 MB) Allocated 32 MB (total 808 MB) Allocated 32 MB (total 840 MB) GC: 421.04 MB Allocated 32 MB (total 872 MB) GC: 445.62 MB Allocated 32 MB (total 904 MB) Allocated 32 MB (total 936 MB) GC: 520.55 MB GC: 496.60 MB GC: 529.72 MB GC: 532.07 MB Allocated 32 MB (total 968 MB) GC: 571.21 MB GC: 572.12 MB Allocated 32 MB (total 1000 MB) Allocated 32 MB (total 1032 MB) Allocated 32 MB (total 1064 MB) GC: 657.18 MB Allocated 32 MB (total 1096 MB) GC: 693.21 MB Allocated 32 MB (total 1128 MB) Allocated 32 MB (total 1160 MB) Allocated 32 MB (total 1192 MB) GC: 779.49 MB Allocated 32 MB (total 1224 MB) GC: 830.55 MB # statistics in YAML format --- runtime: total: 899.47 # [s] preprocessing: 2.00 # [s] maxLearnedClauseLength: 35960 groundActions: afterParsing: 2812 afterPreprocessing: 2812 stateVariables: afterParsing: 1481 afterPreprocessing: 1481 stronglyConnectedComponents: maxSize: 1 plan: found: false iterations: ...