n: 30 m: 23 packed: 6 density: 60 nodes: 263 solveTime: 83 buildTime: 46 <5,8,10> <7,17,28> <9,23,25> <3,11,16> <1,13,27> <4,12,20> 3Cycles: 6 value:6[1]{6}