n: 30 m: 37 packed: 7 density: 70 nodes: 2745 solveTime: 314 buildTime: 54 <4,7,14> <5,16,26> <8,15,19> <11,20,25> <1,2,9> <3,18,24> <17,22,23> 3Cycles: 7 value:7[1]{7}