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