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