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