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