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