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