n: 30 m: 52 packed: 8 density: 80 nodes: 21224 solveTime: 652 buildTime: 59 <4,8,20> <2,23,26> <5,10,28> <3,13,25> <16,19,22> <7,15,17> <14,18,21> <1,6,12> 3Cycles: 8 value:8[1]{8}