Parallel MIP optimizer

Describes the parallel MIP optimizer.