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