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