n: 30  m: 112 packed: 10 density: 100 nodes: 1351509 solveTime:  16084 buildTime:  83 solved: false