n: 21 m: 46 packed: 6 density: 85 nodes: 3360 solveTime: 279 buildTime: 50 <0,7,18> <2,4,11> <6,13,17> <10,12,16> <3,5,9> <8,15,19> 3Cycles: 6 value:6[1]{6}