n: 40  m: 88 packed: 13 density: 97 nodes: 3088805 solveTime:  32996 buildTime:  80 solved: false