n: 30 m: 56 packed: 8 density: 80 nodes: 23402 solveTime: 700 buildTime: 63 <0,8,29> <6,14,26> <7,18,20> <11,12,24> <13,16,27> <4,17,19> <1,15,28> <2,9,23> 3Cycles: 8 value:8[1]{8}