n: 30 m: 57 packed: 8 density: 80 nodes: 53867 solveTime: 989 buildTime: 60 <2,8,21> <0,4,19> <5,7,14> <23,25,27> <1,10,24> <16,18,22> <3,13,28> <15,17,29> 3Cycles: 8 value:8[1]{8}