n: 30 m: 54 packed: 8 density: 80 nodes: 24610 solveTime: 744 buildTime: 60 <6,7,26> <4,11,25> <12,18,19> <1,9,27> <3,16,17> <14,23,24> <15,20,22> <0,8,29> 3Cycles: 8 value:8[1]{8}