n: 30 m: 37 packed: 7 density: 70 nodes: 6247 solveTime: 456 buildTime: 51 <1,11,29> <19,20,26> <10,16,27> <6,7,21> <14,17,18> <5,13,25> <8,15,22> 3Cycles: 7 value:7[1]{7}