n: 21 m: 76 packed: 7 density: 100 nodes: 4477 solveTime: 313 buildTime: 59 <9,14,17> <0,8,18> <3,12,13> <1,11,20> <5,7,10> <2,4,15> <6,16,19> 3Cycles: 7 value:7[1]{7}