n: 30 m: 47 packed: 10 density: 100 nodes: 14064 solveTime: 555 buildTime: 63 solved: false