n: 40  m: 112 packed: 13 density: 97 nodes: 11483356 solveTime:  132978 buildTime:  90 solved: false