n: 30 m: 77 packed: 9 density: 90 nodes: 309305 solveTime: 3578 buildTime: 71 <11,13,16> <18,19,24> <5,20,26> <0,8,12> <7,9,25> <4,15,27> <6,28,29> <1,3,17> <10,22,23> 3Cycles: 9 value:9[1]{9}