n: 30 m: 51 packed: 8 density: 80 nodes: 16357 solveTime: 625 buildTime: 58 <11,16,27> <1,14,20> <2,6,10> <3,5,25> <12,19,23> <4,24,26> <13,17,18> <7,9,28> 3Cycles: 8 value:8[1]{8}