n: 21 m: 58 packed: 6 density: 85 nodes: 12893 solveTime: 466 buildTime: 55 <3,9,14> <2,12,15> <5,13,16> <10,17,18> <4,8,20> <0,1,6> 3Cycles: 6 value:6[1]{6}