n: 30 m: 43 packed: 8 density: 80 nodes: 6830 solveTime: 439 buildTime: 55 <7,13,24> <4,6,23> <5,16,22> <1,12,28> <15,19,20> <2,14,18> <3,17,26> <0,8,11> 3Cycles: 8 value:8[1]{8}