n: 40 m: 31 packed: 13 density: 97 nodes: 1535 solveTime: 227 buildTime: 56 solved: false