n: 40 m: 240 packed: 13 density: 97 nodes: 1454394979 solveTime: 308506571 buildTime: 145 solved: false