The variable vector added several deravitive variable that needlessly
increased the size of the search tree. The change cuts the search tree
size significantly.
The difference variables were input as constraints when they should
be added as a pure assignment. This change made the programs run
over 15 times faster.
