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