Did you happen to get how much of the 10 hours was system time, how much was user time and how much was idle time (i.e., real time = use + sys + idle)? Also I would be very curious to know how big the mlton process was to see if the problem is that we didn't compute the memory we can grab correctly or if there is less memory grabbable than we think.