n: 30 m: 13 packed: 10 density: 0 nodes: 0 solveTime: 0 buildTime: 0 solved: false