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