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