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