n: 30 m: 40 packed: 7 density: 70 nodes: 5457 solveTime: 417 buildTime: 53 <15,23,29> <6,10,17> <8,16,27> <18,21,25> <3,4,20> <2,5,26> <1,13,22> 3Cycles: 7 value:7[1]{7}