n: 30 m: 54 packed: 8 density: 80 nodes: 24117 solveTime: 742 buildTime: 59 <12,14,20> <6,7,26> <5,9,16> <0,11,18> <2,4,15> <8,10,19> <1,23,29> <22,24,27> 3Cycles: 8 value:8[1]{8}