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