n: 21 m: 15 packed: 4 density: 57 nodes: 43 solveTime: 14 buildTime: 38 <7,16,17> <13,14,15> <0,6,11> <1,2,5> 3Cycles: 4 value:4[1]{4}