allocate internal buffer in advance when possible
fix a problem in tweaking variable activities based on objective function.

Variables with same coefficient should be bumped same amount.
As a side effect, this change significantly reduces the number of priority queue manipulations.