eval -= iValueWeight*conflict.toDouble();
eval += iConflictWeight * (1.0+(iStat==null?0.0:iStat.countRemovals(solution.getIteration(), conflict, value)));
}
if (iTabu!=null && iTabu.contains(tabuElement(value))) {
//if (model.getTotalValue()+eval>=solution.getBestValue()) continue;
int un = model.nrUnassignedVariables()-(assigned==null?0:1);
if (un>model.getBestUnassignedVariables()) continue;
if (un==model.getBestUnassignedVariables() && model.getTotalValue()+eval>=solution.getBestValue()) continue;
}
if (best==null || bestEval>eval) {
if (best==null)