n: 30 m: 51 packed: 8 density: 80 nodes: 12137 solveTime: 557 buildTime: 58 <13,15,16> <23,25,29> <2,11,21> <3,8,10> <4,26,27> <0,7,20> <9,14,24> <12,17,18> 3Cycles: 8 value:8[1]{8}