n: 30 m: 63 packed: 8 density: 80 nodes: 45787 solveTime: 1032 buildTime: 63 <2,15,21> <3,5,12> <6,19,20> <23,25,26> <7,11,27> <14,16,24> <1,13,17> <0,18,29> 3Cycles: 8 value:8[1]{8}