n: 30 m: 26 packed: 6 density: 60 nodes: 477 solveTime: 135 buildTime: 47 <0,2,15> <4,10,14> <5,20,23> <7,24,29> <6,21,26> <12,19,25> 3Cycles: 6 value:6[1]{6}