n: 30  m: 96 packed: 10 density: 100 nodes: 1028279 solveTime:  10902 buildTime:  75 solved: false