So calculating the net burn would be quite difficult. But the gross burn was probably about five pounds/2.25Kg.
Oh, he had things to consume. I ran 16 miles on hilly terrain on Saturday, and just for that I brought about 500 calories with me (not all consumed, some was "just in case").
It has been said that your liver stores about 2000 calories of glycogen. Divide by ~100 calories/mile, and now you know why marathoners hit "the wall" at about 20 miles if they don't chomp on some calories along the way.
I would suspect that if properly hydrated and consuming calories (no easy feat after 12 hours because the stomach does really go to shit) maybe 600 net calories an hour (-1000/hr + 400/hr from nutrition) = 4-10 lbs (@3000 cal/lb).
Range provided because I suspect my calculations are a little off and I'm underestimating the calories burned and probably overestimating the ability to consume that many calories/hour.
TLDR: Probably 10 lbs if they are properly hydrated and fed (which this appears to be a VERY well supported achievement)
You need some amount of weight for muscle to push your body forward and I don't know that there is a big aerodynamic or energy advantage to sacrificing weight for that.
However, this guy is clearly superhuman so who knows :D