n: 30 m: 45 packed: 8 density: 80 nodes: 13847 solveTime: 588 buildTime: 54 <4,10,28> <3,19,25> <6,13,17> <7,14,22> <8,15,26> <9,11,21> <18,20,29> <0,24,27> 3Cycles: 8 value:8[1]{8}