n: 50  m: 128 packed: 16 density: 96 nodes: 817684159 solveTime:  13977893 buildTime:  78 solved: false