n: 21 m: 108 packed: 7 density: 100 nodes: 547 solveTime: 141 buildTime: 69 <1,12,15> <5,9,14> <2,7,13> <0,3,20> <6,8,16> <11,18,19> <4,10,17> 3Cycles: 7 value:7[1]{7}