n: 40  m: 72 packed: 13 density: 97 nodes: 256376 solveTime:  3262 buildTime:  74 solved: false