n: 30 m: 39 packed: 9 density: 90 nodes: 12417 solveTime: 448 buildTime: 53 <17,18,22> <1,10,13> <6,28,29> <15,24,26> <3,9,19> <7,21,23> <5,12,25> <4,11,16> <0,2,14> 3Cycles: 9 value:9[1]{9}