n: 30 m: 53 packed: 10 density: 100 nodes: 12675 solveTime: 502 buildTime: 59 solved: false