n: 30 m: 32 packed: 8 density: 80 nodes: 2936 solveTime: 358 buildTime: 49 <3,14,28> <1,10,20> <7,25,27> <9,19,26> <0,8,15> <2,12,23> <5,6,21> <11,17,22> 3Cycles: 8 value:8[1]{8}