n: 30 m: 42 packed: 8 density: 80 nodes: 6242 solveTime: 426 buildTime: 56 <3,4,14> <15,17,28> <13,16,26> <10,11,19> <1,6,21> <2,22,25> <8,9,29> <18,20,23> 3Cycles: 8 value:8[1]{8}