n: 30 m: 56 packed: 8 density: 80 nodes: 25262 solveTime: 725 buildTime: 60 <3,11,25> <8,24,27> <10,23,29> <1,15,26> <2,6,21> <4,9,16> <5,14,17> <18,19,20> 3Cycles: 8 value:8[1]{8}