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