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