Fixed bug in run_relax regarding position of len_cons extraction. Changed default solver to 'quadprog' in all examples.