n: 50  m: 88 packed: 16 density: 96 nodes: 4707873 solveTime:  80577 buildTime:  79 solved: false