n: 30 m: 122 packed: 9 density: 90 nodes: 5391327 solveTime: 58398 buildTime: 81 <4,22,29> <21,25,26> <10,14,19> <5,16,17> <2,23,24> <3,11,27> <1,6,20> <8,9,18> <12,13,28> 3Cycles: 9 value:9[1]{9}