Gravar-mail: Solving a multiprocessor problem by column generation and branch-and-price