n: 30 m: 55 packed: 8 density: 80 nodes: 17851 solveTime: 619 buildTime: 60 <4,7,12> <3,14,26> <5,13,28> <11,16,17> <2,21,22> <8,18,27> <0,6,24> <9,20,25> 3Cycles: 8 value:8[1]{8}