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