n: 30 m: 38 packed: 8 density: 80 nodes: 9106 solveTime: 492 buildTime: 51 <3,17,25> <4,13,26> <6,21,29> <8,12,23> <18,24,27> <9,11,28> <7,10,15> <1,2,5> 3Cycles: 8 value:8[1]{8}