Is it ok, if I read graph (1---> 1000) from file and use default nodeRenumberer?