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