n: 21 m: 17 packed: 4 density: 57 nodes: 56 solveTime: 19 buildTime: 39 <9,17,20> <0,15,16> <4,14,19> <2,3,5> 3Cycles: 4 value:4[1]{4}