n: 30 m: 157 packed: 9 density: 90 nodes: 13161140 solveTime: 163189 buildTime: 93 <6,17,23> <14,18,25> <9,13,15> <2,19,24> <3,5,7> <8,12,28> <10,26,29> <1,20,22> <16,21,27> 3Cycles: 9 value:9[1]{9}