n: 21 m: 37 packed: 6 density: 85 nodes: 1173 solveTime: 193 buildTime: 46 <8,14,17> <0,2,19> <1,3,18> <7,9,20> <4,6,15> <5,10,13> 3Cycles: 6 value:6[1]{6}