n: 30  m: 173 packed: 10 density: 100 nodes: 34277391 solveTime:  426667 buildTime:  119 solved: false