n: 30 m: 27 packed: 6 density: 60 nodes: 1367 solveTime: 251 buildTime: 48 <12,13,25> <8,17,19> <1,10,15> <2,6,29> <3,16,22> <4,20,26> 3Cycles: 6 value:6[1]{6}