n: 40  m: 152 packed: 13 density: 97 nodes: 273168748 solveTime:  3108617 buildTime:  111 solved: false