n: 40  m: 143 packed: 13 density: 97 nodes: 135940486 solveTime:  1637144 buildTime:  105 solved: false