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