n: 30 m: 51 packed: 8 density: 80 nodes: 14497 solveTime: 587 buildTime: 61 <7,25,27> <1,10,14> <19,28,29> <3,17,18> <13,21,22> <5,6,24> <2,9,15> <8,12,20> 3Cycles: 8 value:8[1]{8}