n: 30  m: 57 packed: 10 density: 100 nodes: 20889 solveTime:  583 buildTime:  61 solved: false