n: 30 m: 56 packed: 8 density: 80 nodes: 25653 solveTime: 711 buildTime: 61 <3,17,19> <10,12,18> <5,25,29> <4,20,26> <6,9,21> <1,15,27> <0,24,28> <2,8,13> 3Cycles: 8 value:8[1]{8}