n: 30 m: 23 packed: 6 density: 60 nodes: 574 solveTime: 145 buildTime: 45 <2,12,23> <0,18,26> <1,5,6> <3,16,24> <7,11,21> <4,19,20> 3Cycles: 6 value:6[1]{6}