n: 30 m: 57 packed: 7 density: 70 nodes: 14692 solveTime: 606 buildTime: 60 <11,15,28> <6,12,23> <3,4,24> <2,16,27> <1,9,17> <13,14,20> <7,19,26> 3Cycles: 7 value:7[1]{7}