n: 30 m: 23 packed: 6 density: 60 nodes: 402 solveTime: 113 buildTime: 47 <7,12,22> <4,13,19> <14,25,27> <3,5,17> <2,10,16> <0,6,11> 3Cycles: 6 value:6[1]{6}