n: 40 m: 45 packed: 13 density: 97 nodes: 9073 solveTime: 420 buildTime: 64 solved: false