Efficient synthesis of out-of-core algorithms using a nonlinear optimization solver