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