n: 30 m: 12 packed: 6 density: 60 nodes: 53 solveTime: 17 buildTime: 40 <2,20,28> <4,10,11> <3,6,29> <0,25,27> <7,14,23> <12,15,26> 3Cycles: 6 value:6[1]{6}