n: 30 m: 46 packed: 9 density: 90 nodes: 20635 solveTime: 610 buildTime: 55 <12,16,24> <7,27,29> <9,14,22> <3,19,20> <6,21,23> <4,17,28> <8,13,15> <5,10,18> <1,11,25> 3Cycles: 9 value:9[1]{9}