Re: how to implement parallel integer optimization with petsc?