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