n: 30 m: 23 packed: 6 density: 60 nodes: 789 solveTime: 192 buildTime: 45 <7,10,20> <9,11,23> <1,3,5> <8,16,25> <12,13,19> <0,14,24> 3Cycles: 6 value:6[1]{6}