n: 21 m: 30 packed: 5 density: 71 nodes: 457 solveTime: 130 buildTime: 44 <4,7,15> <3,6,8> <2,9,20> <11,17,18> <1,5,10> 3Cycles: 5 value:5[1]{5}