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