n: 21 m: 70 packed: 6 density: 85 nodes: 15983 solveTime: 512 buildTime: 58 <7,9,11> <8,15,18> <2,4,12> <0,1,3> <16,17,20> <10,14,19> 3Cycles: 6 value:6[1]{6}