n: 30 m: 283 packed: 9 density: 90 nodes: 1579059701 solveTime: 22101585 buildTime: 144 <6,25,28> <0,5,21> <7,12,17> <4,18,20> <1,3,15> <8,10,24> <9,14,26> <2,16,23> <11,13,29> 3Cycles: 9 value:9[1]{9}