I would judge nothing off an all star game. Defensive Lineman have a distinct advantage in that setting. He was the best lineman in practice all week that matters a lot more.
Very rare that high school lineman maintain same weight in college. He can easily get to 300 in a college program. Idc about weight if he is better than the bums we have put him in.