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