added counter for restarts for LasVegasRO algorithm