n: 40 m: 72 packed: 13 density: 97 nodes: 817388 solveTime: 8729 buildTime: 76 solved: false