n: 30 m: 18 packed: 6 density: 60 nodes: 155 solveTime: 48 buildTime: 42 <3,15,28> <1,13,20> <2,14,26> <0,19,29> <4,10,23> <7,12,22> 3Cycles: 6 value:6[1]{6}