n: 30 m: 23 packed: 6 density: 60 nodes: 258 solveTime: 79 buildTime: 45 <1,18,19> <7,10,21> <5,24,25> <9,13,15> <11,12,23> <20,26,27> 3Cycles: 6 value:6[1]{6}