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