n: 30 m: 76 packed: 9 density: 90 nodes: 97311 solveTime: 1391 buildTime: 68 <0,9,11> <4,10,16> <2,8,12> <3,15,27> <7,14,20> <22,23,26> <5,19,25> <6,18,24> <1,13,28> 3Cycles: 9 value:9[1]{9}