n: 40 m: 31 packed: 13 density: 97 nodes: 1133 solveTime: 212 buildTime: 58 solved: false