Do not use the objective for the problem dump