n: 30 m: 17 packed: 5 density: 50 nodes: 143 solveTime: 42 buildTime: 42 <4,22,25> <1,8,28> <3,14,26> <7,16,19> <12,15,20> 3Cycles: 5 value:5[1]{5}