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