n: 30 m: 42 packed: 10 density: 100 nodes: 4172 solveTime: 320 buildTime: 55 solved: false