n: 30  m: 251 packed: 10 density: 100 nodes: 14783 solveTime:  509 buildTime:  127 solved: true