n: 30 m: 42 packed: 7 density: 70 nodes: 5642 solveTime: 433 buildTime: 53 <8,19,23> <15,16,18> <2,3,20> <5,13,24> <4,6,29> <0,7,26> <11,12,14> 3Cycles: 7 value:7[1]{7}