n: 30 m: 51 packed: 9 density: 90 nodes: 23146 solveTime: 579 buildTime: 62 <1,9,14> <7,15,21> <5,11,18> <3,8,22> <10,23,24> <13,25,28> <17,19,20> <4,6,12> <16,27,29> 3Cycles: 9 value:9[1]{9}