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