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