n: 30 m: 45 packed: 10 density: 100 nodes: 8932 solveTime: 409 buildTime: 53 solved: false