n: 30 m: 53 packed: 8 density: 80 nodes: 12324 solveTime: 571 buildTime: 59 <3,7,28> <2,8,15> <10,13,27> <5,11,12> <1,6,22> <25,26,29> <0,21,23> <18,19,20> 3Cycles: 8 value:8[1]{8}