Test that glpk agrees with maxflow when no solution was found.
Relax max slaves when it's clearly not possible to satisfy it.