n: 40 m: 37 packed: 13 density: 97 nodes: 3639 solveTime: 307 buildTime: 77 solved: false