RANDOMIZED LOCAL MODEL ORDER REDUCTION \ast