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