n: 30 m: 27 packed: 8 density: 80 nodes: 1453 solveTime: 234 buildTime: 49 <1,12,18> <7,9,20> <0,25,28> <3,15,26> <19,22,23> <2,16,24> <6,14,17> <4,8,11> 3Cycles: 8 value:8[1]{8}