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