n: 30  m: 247 packed: 10 density: 100 nodes: 343745321 solveTime:  4761947 buildTime:  128 solved: false