n: 50  m: 133 packed: 16 density: 96 nodes: 428796867 solveTime:  4773212 buildTime:  112 solved: false