use torch random seed