n: 30 m: 58 packed: 8 density: 80 nodes: 26497 solveTime: 749 buildTime: 65 <2,3,21> <6,15,24> <13,18,19> <7,28,29> <11,23,26> <9,10,17> <4,5,25> <12,16,20> 3Cycles: 8 value:8[1]{8}