n: 40 m: 97 packed: 13 density: 97 nodes: 4726163 solveTime: 53679 buildTime: 84 solved: false