n: 30 m: 25 packed: 6 density: 60 nodes: 1013 solveTime: 188 buildTime: 47 <6,10,12> <2,18,23> <5,9,28> <7,11,15> <17,21,24> <3,13,29> 3Cycles: 6 value:6[1]{6}