n: 20 m: 42 packed: 6 density: 90 nodes: 1274 solveTime: 261 buildTime: 47 solved: false