n: 30  m: 91 packed: 10 density: 100 nodes: 1252893 solveTime:  12547 buildTime:  70 solved: false