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