cnst->usage = cnst->usage * nb;
/* Saturated constraints update */
if(min_usage<0 || min_usage > cnst->remaining / cnst->usage) {
cnst->usage = cnst->usage * nb;
/* Saturated constraints update */
if(min_usage<0 || min_usage > cnst->remaining / cnst->usage) {