n: 30 m: 47 packed: 9 density: 90 nodes: 28853 solveTime: 614 buildTime: 55 <3,11,12> <17,25,27> <7,15,22> <0,5,21> <4,10,26> <6,19,28> <2,9,23> <8,16,20> <1,14,18> 3Cycles: 9 value:9[1]{9}