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