n: 21 m: 25 packed: 6 density: 85 nodes: 529 solveTime: 126 buildTime: 41 <5,15,19> <8,11,17> <3,18,20> <0,2,7> <4,10,13> <1,6,16> 3Cycles: 6 value:6[1]{6}