n: 40 m: 89 packed: 13 density: 97 nodes: 3824367 solveTime: 40151 buildTime: 80 solved: false