n: 30 m: 57 packed: 9 density: 90 nodes: 37128 solveTime: 753 buildTime: 61 <13,17,18> <5,11,27> <0,8,20> <1,10,14> <2,21,28> <7,25,26> <3,15,16> <4,9,24> <19,22,29> 3Cycles: 9 value:9[1]{9}