awk '{print int(($1-1)/$2/2)*$2}'