n: 20 m: 17 packed: 6 density: 0 nodes: 0 solveTime: 0 buildTime: 0 solved: true
{0,5,7}
{1,2,17}
{3,12,13}
{8,9,19}
{10,16,18}
{11,14,15}