modif order branching variables
modification order of branching on variables