n: 30 m: 80 packed: 9 density: 90 nodes: 280156 solveTime: 3427 buildTime: 69 <0,12,23> <2,5,19> <3,4,17> <11,16,21> <14,20,24> <6,10,25> <1,7,8> <9,15,29> <13,22,28> 3Cycles: 9 value:9[1]{9}