n: 30  m: 158 packed: 10 density: 100 nodes: 12697623 solveTime:  152183 buildTime:  93 solved: false