n: 30 m: 92 packed: 9 density: 90 nodes: 804454 solveTime: 9239 buildTime: 72 <15,21,27> <9,10,23> <4,19,20> <11,12,22> <0,13,29> <2,5,24> <6,7,18> <1,8,25> <3,26,28> 3Cycles: 9 value:9[1]{9}