n: 30  m: 86 packed: 10 density: 100 nodes: 323088 solveTime:  4077 buildTime:  68 solved: false