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