n: 40 m: 38 packed: 13 density: 97 nodes: 5831 solveTime: 340 buildTime: 56 solved: false