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