n: 40 m: 67 packed: 13 density: 97 nodes: 1498287 solveTime: 15136 buildTime: 70 solved: false