n: 30 m: 89 packed: 9 density: 90 nodes: 308523 solveTime: 3837 buildTime: 81 <12,18,29> <4,7,24> <10,20,23> <8,19,27> <5,15,16> <0,17,26> <2,11,28> <1,3,6> <9,14,25> 3Cycles: 9 value:9[1]{9}