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