n: 20  m: 29 packed: 6 density: 90 nodes: 427 solveTime:  130 buildTime:  46 solved: false