n: 21 m: 145 packed: 6 density: 85 nodes: 472815 solveTime: 6377 buildTime: 75 <10,17,19> <5,8,11> <0,2,14> <4,6,20> <12,15,16> <1,9,13> 3Cycles: 6 value:6[1]{6}