n: 50  m: 133 packed: 16 density: 96 nodes: 938680030 solveTime:  10584500 buildTime:  112 solved: false