n: 50  m: 143 packed: 16 density: 96 nodes: 1190244768 solveTime:  13825395 buildTime:  119 solved: false