n: 30 m: 27 packed: 7 density: 70 nodes: 413 solveTime: 116 buildTime: 52 <0,2,28> <3,23,26> <9,20,25> <1,10,24> <6,12,17> <8,21,22> <11,15,18> 3Cycles: 7 value:7[1]{7}