n: 30  m: 56 packed: 10 density: 100 nodes: 20173 solveTime:  538 buildTime:  64 solved: false