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