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