MIP doesn't solve (quickly) for large (>500) numbers of people. Added timelimit and mipgap