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