n: 20 m: 139 packed: 6 density: 0 nodes: 0 solveTime: 110 buildTime: 20 solved: true
{0,3,18}
{1,7,9}
{4,5,8}
{6,17,19}
{10,11,16}
{12,14,15}