n: 40  m: 56 packed: 13 density: 97 nodes: 377332 solveTime:  4010 buildTime:  66 solved: false