n: 50  m: 157 packed: 16 density: 96 nodes: 1149822940 solveTime:  13895516 buildTime:  125 solved: false