David, Main problem was in preprocessing (which is done in some heuristics even if switched off at start). It was doing things which were only valid for binary variables. Think I have fixed double counting of time. John Forrest