n: 30 m: 54 packed: 8 density: 80 nodes: 21594 solveTime: 675 buildTime: 59 <4,7,9> <3,17,18> <8,10,24> <6,19,28> <2,14,25> <11,16,26> <0,5,27> <1,20,29> 3Cycles: 8 value:8[1]{8}