n: 30  m: 56 packed: 10 density: 100 nodes: 17324 solveTime:  533 buildTime:  59 solved: false