n: 30 m: 47 packed: 9 density: 90 nodes: 20528 solveTime: 545 buildTime: 56 <2,11,21> <14,15,27> <1,25,28> <3,6,12> <4,10,13> <8,9,29> <0,20,22> <7,19,24> <16,18,26> 3Cycles: 9 value:9[1]{9}