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