n: 30 m: 87 packed: 10 density: 100 nodes: 452809 solveTime: 5144 buildTime: 71 solved: false