n: 30 m: 58 packed: 8 density: 80 nodes: 29026 solveTime: 775 buildTime: 63 <2,12,21> <3,13,25> <9,10,20> <5,16,28> <4,26,29> <1,6,23> <15,17,24> <8,18,22> 3Cycles: 8 value:8[1]{8}