n: 30 m: 25 packed: 7 density: 70 nodes: 597 solveTime: 161 buildTime: 47 <5,16,24> <0,1,11> <17,18,25> <6,12,28> <7,22,23> <10,13,20> <8,15,29> 3Cycles: 7 value:7[1]{7}