n: 30 m: 25 packed: 6 density: 60 nodes: 1079 solveTime: 230 buildTime: 49 <6,12,28> <3,10,22> <0,11,14> <1,5,20> <7,15,17> <9,25,29> 3Cycles: 6 value:6[1]{6}