Added extra options to rerun ILP solver