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