n: 30 m: 29 packed: 6 density: 60 nodes: 2008 solveTime: 313 buildTime: 48 <1,7,11> <6,18,23> <4,9,17> <0,2,10> <13,14,16> <15,22,25> 3Cycles: 6 value:6[1]{6}