n: 50  m: 143 packed: 16 density: 96 nodes: 1154679136 solveTime:  13725122 buildTime:  117 solved: false