n: 21 m: 141 packed: 6 density: 85 nodes: 325199 solveTime: 4520 buildTime: 74 <0,7,8> <9,19,20> <3,15,16> <2,12,18> <5,10,11> <4,6,17> 3Cycles: 6 value:6[1]{6}