n: 30  m: 86 packed: 10 density: 100 nodes: 301063 solveTime:  3697 buildTime:  68 solved: false