n: 30 m: 62 packed: 8 density: 80 nodes: 52395 solveTime: 1013 buildTime: 62 <14,15,26> <4,17,25> <10,22,29> <5,19,24> <3,9,13> <2,11,28> <6,8,20> <12,18,27> 3Cycles: 8 value:8[1]{8}