n: 30  m: 283 packed: 10 density: 100 nodes: 1579059699 solveTime:  21862563 buildTime:  139 solved: false