n: 50  m: 136 packed: 16 density: 96 nodes: 431396036 solveTime:  8429615 buildTime:  94 solved: false