n: 30 m: 43 packed: 8 density: 80 nodes: 15769 solveTime: 613 buildTime: 54 <3,8,18> <11,12,17> <7,13,14> <2,23,24> <15,20,26> <0,19,25> <6,21,22> <27,28,29> 3Cycles: 8 value:8[1]{8}