n: 40 m: 128 packed: 13 density: 97 nodes: 3356875 solveTime: 39677 buildTime: 94 solved: true