n: 30 m: 77 packed: 9 density: 90 nodes: 253751 solveTime: 3135 buildTime: 67 <3,17,20> <1,2,24> <11,12,23> <9,21,27> <7,22,28> <0,8,16> <10,19,29> <14,25,26> <5,6,13> 3Cycles: 9 value:9[1]{9}