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