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