n: 30 m: 46 packed: 7 density: 70 nodes: 3973 solveTime: 359 buildTime: 56 <9,10,25> <4,22,23> <19,20,26> <2,14,24> <3,8,29> <6,15,27> <1,5,17> 3Cycles: 7 value:7[1]{7}