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