n: 30 m: 37 packed: 8 density: 80 nodes: 6227 solveTime: 472 buildTime: 52 <5,12,27> <7,14,24> <3,17,28> <13,22,29> <2,9,11> <21,25,26> <0,1,6> <10,18,20> 3Cycles: 8 value:8[1]{8}