n: 30 m: 19 packed: 6 density: 60 nodes: 163 solveTime: 49 buildTime: 43 <8,10,17> <20,22,27> <3,16,18> <5,6,14> <0,7,28> <1,11,19> 3Cycles: 6 value:6[1]{6}