core - Revision 18242: /branches/3044_variableScaling/HeuristicLab.ExactOptimization