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