n: 30 m: 47 packed: 10 density: 100 nodes: 6397 solveTime: 404 buildTime: 61 solved: false