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