n: 40  m: 89 packed: 13 density: 97 nodes: 1318747 solveTime:  15055 buildTime:  84 solved: false