n: 30 m: 37 packed: 7 density: 70 nodes: 3170 solveTime: 321 buildTime: 54 <11,16,18> <2,25,29> <15,17,23> <0,3,22> <1,13,28> <7,8,12> <4,5,26> 3Cycles: 7 value:7[1]{7}