Implemented warm starts and fixed a bug in the objective function and slackvar updates (the one that resulted in a negative objective)