n: 30 m: 42 packed: 7 density: 70 nodes: 6195 solveTime: 444 buildTime: 55 <3,11,22> <8,15,16> <9,12,28> <18,26,27> <1,23,24> <0,4,10> <6,14,21> 3Cycles: 7 value:7[1]{7}