n: 30 m: 47 packed: 6 density: 60 nodes: 8556 solveTime: 554 buildTime: 56 <0,28,29> <4,22,25> <8,17,20> <9,14,18> <5,11,26> <12,13,24> 3Cycles: 6 value:6[1]{6}