n: 30  m: 140 packed: 10 density: 100 nodes: 4342397 solveTime:  54346 buildTime:  89 solved: false