n: 40  m: 143 packed: 13 density: 97 nodes: 151860266 solveTime:  1678973 buildTime:  104 solved: false