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