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