n: 30 m: 59 packed: 8 density: 80 nodes: 30940 solveTime: 835 buildTime: 61 <1,5,7> <9,18,20> <15,17,19> <6,13,27> <3,8,24> <4,22,29> <2,16,21> <0,14,28> 3Cycles: 8 value:8[1]{8}