n: 30 m: 32 packed: 8 density: 80 nodes: 2911 solveTime: 308 buildTime: 49 <18,23,27> <2,16,24> <8,13,29> <0,1,20> <9,12,28> <3,21,25> <6,11,17> <4,7,15> 3Cycles: 8 value:8[1]{8}