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