n: 30  m: 56 packed: 10 density: 100 nodes: 50513 solveTime:  856 buildTime:  63 solved: false