- Methodology Article
- Open Access
- Published:

# solveME: fast and reliable solution of nonlinear ME models

*BMC Bioinformatics*
**volume 17**, Article number: 391 (2016)

## Abstract

### Background

Genome-scale models of metabolism and macromolecular expression (ME) significantly expand the scope and predictive capabilities of constraint-based modeling. ME models present considerable computational challenges: they are much (>30 times) larger than corresponding metabolic reconstructions (M models), are multiscale, and growth maximization is a nonlinear programming (NLP) problem, mainly due to macromolecule dilution constraints.

### Results

Here, we address these computational challenges. We develop a fast and numerically reliable solution method for growth maximization in ME models using a quad-precision NLP solver (Quad MINOS). Our method was up to 45 % faster than binary search for six significant digits in growth rate. We also develop a fast, quad-precision flux variability analysis that is accelerated (up to 60× speedup) via solver warm-starts. Finally, we employ the tools developed to investigate growth-coupled succinate overproduction, accounting for proteome constraints.

### Conclusions

Just as genome-scale metabolic reconstructions have become an invaluable tool for computational and systems biologists, we anticipate that these fast and numerically reliable ME solution methods will accelerate the wide-spread adoption of ME models for researchers in these fields.

## Background

Constraint-based reconstruction and analysis (COBRA) methods enable systems level computation of cellular functions using genome-scale biochemical reaction networks, including metabolism [1]. Metabolic network reconstructions are used to compute reaction fluxes at pseudo steady-state by solving the linear program,

where *v* is the vector of fluxes, *v*
^{L} and *v*
^{U} are lower and upper flux bounds, *S* is the stoichiometric matrix, and *c* is the vector of objective coefficients (e.g., to maximize growth rate). We refer to [2] for details on COBRA for metabolic networks.

Recently, Lerman et al. [3] developed the first integrated genome-scale reconstruction of Metabolism and macromolecular Expression (ME) for the microorganism *Thermotoga maritima*. This ME model described the transcription and translation machinery associated with 651 genes and the metabolic network catalyzed by the enzymes synthesized in the model. Thereafter, Thiele et al. [4] developed the first ME model for *Escherichia coli*, which was followed by additional ME models for *E. coli* by [5] and [6]. The latest ME models for *E. coli* account for 80 % of the proteome by mass [5], enable computation of proteome allocation shifts between conditions [7], and predict the macromolecular composition of the cell [8].

While ME models are a significant advancement for COBRA modeling, they pose challenging mathematical optimization problems because of their size and multiscale nature. In particular, the vastly different magnitudes of metabolic and expression machinery fluxes lead to ill-conditioned problems that cause difficulties for standard optimization solvers: feasible problems can be reported as infeasible, or solutions may contain numerical errors. Methods have been developed to enable off-the-shelf linear programming (LP) solvers to be used for solving ME models [9]. Additionally, quad-precision LP solvers have been recently applied to ME models [10]. They present an attractive balance between reliability and speed for practical solution of ME models.

The growth rate maximization problem for ME models is actually a nonlinear program (NLP) but it becomes an LP when the growth rate *μ* is fixed. So far, the NLP has been solved using binary search on *μ* [5], with high-precision LP solvers [11] solving a sequence of LP subproblems. Thus, a remaining question has been whether NLP solvers could solve the NLP more expediently. The solution of NLPs in quad-precision has only recently become possible due to the development of quad-precision MINOS (Quad MINOS) [10]. However, the NLP capabilities of Quad MINOS have not yet been tested for multiscale ME models (only the LP capabilities have been reported in [10]). We thus report the first study for solving the nonlinear growth maximization problem for ME models using NLP methods in quad precision. With a suitable initial estimate of *μ*, the quad-precision NLP approach proves to be both fast and numerically reliable.

## Results

We developed several solution methods for solving linear and nonlinear programs involving ME models. These methods are listed in Table 1, and are discussed in detail in subsequent sections.

### NLP formulation and its global optimum

The growth rate maximization problem in a ME model is typically a nonlinear program because macromolecule dilution is modeled using the product of growth rate with a continuous reaction flux [5]. Specifically, the ME problem of maximizing growth rate is formulated as follows:

where *μ* is the growth rate and *v* is the vector of all fluxes; *l*
_{
p,i
} is the length of peptide *i* and *l*
_{TU,i
} is the length of transcription unit *i*; *c*
_{ribo}, *κ*
_{
τ
}, *r*
_{0}, \(k^{\text {eff}}_{ij}\), *c*
_{mRNA,j
}, *c*
_{tRNA,j
} are constants; and *P*
*e*
*p*
*t*
*i*
*d*
*e*, *T*
*U*, *t*
*R*
*N*
*A*, *E*
*n*
*z*
*y*
*m*
*e* are index sets of *v* representing peptides, transcription units, tRNA, and enzymes, respectively.

Collecting all linear and nonlinear constraints, we formulate the nonlinear ME problem in the following generalized form (Eq. 1):

where the constraints *μ*
*A*
*v*+*B*
*v*=0 are quasiconvex (quasilinear, in fact—see “Methods”).

An optimal solution *μ*
^{∗} can be found using binary search (bisection) as in [5]. Dattorro [12] proves that *μ*
^{∗} is a global optimum. With *a*<*μ*
^{∗}<*b* and initial estimate *μ*
^{0}∈[*a*,*b*], bisection converges to specified accuracy *ε* in log2((*b*−*a*)/*ε*) iterations. We implemented bisection as Algorithm bisectME using the simplex method in quad precision (Quad MINOS [10]).

Faster convergence to the global optimum is possible with an appropriate NLP solver. Specifically, Quad MINOS is a quad-precision implementation of MINOS [13]. For problem Eq. (1), MINOS solves a sequence of linearly constrained subproblems defined by linearizing the constraints at a sequence of approximate solutions {*μ*
^{k}, *k*=0,1,2,… }. (The objective function for each subproblem is an augmented Lagrangian.) If MINOS converges, it will be to a global optimum *μ*
^{∗}. Furthermore, the subproblems converge quadratically when *μ*
^{k} is close enough to *μ*
^{∗} (Robinson [14]).

We tested the effect of *μ*
^{0} and the MINOS scaling option on the computation time and final solution. Empirical tests showed that *μ*
^{0}=0.0 should be avoided, as should *μ*
^{0}>*μ*
^{∗} (Fig. 1).

The latter is understandable in terms of the algorithm used by MINOS to handle nonlinear constraints [13]. By definition, the constraints are infeasible when *μ*>*μ*
^{∗}. Hence, if the constraints are linearized at *μ*
^{0}>*μ*
^{∗}, they will be infeasible. The MINOS algorithm is not well-defined in this circumstance. As expected, the solution time was generally shorter when *μ*
^{0} was closer to *μ*
^{∗}.

### solveME: Combined solution procedure for growth maximization NLP

Because Quad MINOS converges faster when *μ*
^{0} is closer to the optimum, we developed a combined solution procedure that uses a coarse bisection via bisectME to identify *μ*
^{0}<*μ*
^{∗}, then provides the corresponding basis to warm-start Quad MINOS on the NLP. This procedure is described in Algorithm 1.

For the bisectME phase, we implemented golden section search (GSS) [15] for improved efficiency (fewer quad-LP evaluations). Specifically, we found that for 3-decimal precision in growth rate, GSS required 81 seconds, while binary search required 98 seconds, representing a 17 % speedup. Whether using golden section or binary, bisectME produces a basis compatible with the NLP solver, enabling warm-start of the NLP. Hence we used GSS to find a low-precision estimate *μ*
^{0} for the NLP. The resulting basis and approximate *μ* were used to warm-start Eq. (1) reliably and efficiently at a *μ*
^{0}<*μ*
^{∗}.

The combined solveME procedure took 68 to 85 s (Fig. 2), depending on the accuracy requested in bisectME. Empirically, zero decimals led to the longest solve time, while the fastest solve was achieved when one decimal was requested (two decimals when protein-per-RNA ratio was *μ*-dependent) (Fig. 2). For more decimals, the time spent in bisectME offset the advantages of starting the NLP closer to the optimum.

Compared to the combined solveME, bisectME (with golden section search) took an average of 75 and 103 s for 3 and 6 decimal points respectively, while binary search (not GSS) required an average of 93 and 124 s for 3- and 6-digit precision in growth rate. All runs were performed in quad-precision using Quad MINOS.

In summary, the combined solveME was up to 10 and 34 % faster than golden section search, or 27 and 45 % faster than binary search, for 3- and 6-digit accuracy in growth rate. Another advantage of the combined solveME over bisection methods was that the growth rate was always returned to about 15 digits because of the tolerances set for Quad MINOS; therefore solution time was not a function of final solution precision. To reach the same precision, bisection would require about 50 iterations, or over 400 s. Furthermore, double-precision solvers would have difficulty achieving even 6 or 7 digits.

In particular, commercial double-precision solvers such as CPLEX and Gurobi handle feasibility and optimality tolerances as small as 10^{−9} but are not certain to achieve them. Using quad-precision, we achieved feasibility and optimality tolerances below 10^{−15}, and often less than 10^{−20}.

### varyME: quad-precision ME variability analysis

In addition to growth rate maximization, we developed quad-precision flux variability analysis (FVA) [16] for ME models, referred to as varyME. As with the fastFVA method [17] for metabolic reconstructions, we decreased the computation time by warm-starting Quad MINOS using the basis from previous LP solutions.

#### Improved solution reliability via quad-precision

Empirical tests demonstrated the importance of quad-precision when FVA is applied to ME models. Specifically, without quad-precision, errors such as maximum flux being less than the minimum flux were observed (Table 2). Another example is the varyME result for translation of b0071 and b0072, encoding for LeuC and LeuD, respectively. LeuC and LeuD are the two subunits for the isopropylmalate isomerase complex. The formation of this complex is the only sink for the two translation products, other than dilution; therefore, FVA should return equal values for the two translation fluxes. Indeed, Quad MINOS correctly determined equivalent FVA solutions for b0071 and b0072, while double-precision runs using CPLEX led to different FVA solutions (Table 2). Additionally, at maximum growth rate, the ME model showed essentially zero variability in the translation rates because of the tendency of ME models to choose only the most efficient proteins. This phenomenon was accurately captured in quad-precision but not in double-precision (Table 2).

When varyME was performed at growth rates below the maximum, non-zero flux variability was observed (Fig. 3). Again, double-precision ran into numerical difficulties. For example, at lower growth rates, the flux variability of most reactions should be wider, as correctly predicted by Quad MINOS; however, double-precision (CPLEX) runs sporadically predicted narrower ranges at lower growth rates, presumably due to the numerical difficulties associated with the multiscale ME model. Collectively, these results emphasize the importance and practical utility of quad-precision for ME models.

Finally, we tested the speedup of flux variability analysis when each LP was warm-started (as in [17]) using the basis of the previous LP instead of “cold-starting” every LP. We observed 60× and 25× speedup for the *E. coli* and *T. maritima* ME models, respectively (Table 3). This result confirmed the effectiveness of warm-starting LPs as observed by [17] and is the default mode for varyME.

### Case study: Proteome-accounting for growth-coupled biochemical overproduction

ME models have imminent utility for systems metabolic engineering. In particular, biochemical overproduction strain design often involves gene knockouts and modulating the expression of production pathways. These genetic manipulations impact host fitness in part by forcing reallocation of the host proteome away from growth and stress response functions. ME models now allow genome-wide accounting of proteome reallocation for engineered strains.

To demonstrate, we analyzed the overproduction of succinate using growth-coupled designs that had been found using a metabolic reconstruction [18, 19]. In particular, the designs involved succinate dehyrogenase (*sdhCDAB*) knockout, together with overexpression of fumarate reductase (*frdABCD*), isocitrate lyase (*aceA*), or both.

To delete *sdhCDAB*, we set zero upper bounds for the translation reactions of the four *sdhCDAB* subunit genes. Overexpression of *frdABCD* and *aceA* was performed in three steps. First, we determined the maximum growth rate with *sdhCDAB* deleted. We then used varyME to determine the feasible flux ranges for the complex formation fluxes of the overexpressed enzymes with growth rate fixed to a small fraction (i.e., 0.05) of the maximum. We then set the lower bound of complex formation fluxes to linearly spaced fractions of the maximum expression flux, from 0.05 to 0.95. Since we were investigating two production pathways, we sampled a grid of 11 by 11 samples for a total of 121 combinations of pathway expression levels. For each expression combination, we solved Eq. (1) for maximum growth rate. Because the strain designs were growth-coupled, we observed varying amounts of succinate production (Fig. 4).

The ME model revealed trends in proteome re-allocation with increasing product yield. Specifically, we traced the relative mass fraction of five proteome sectors, by summing the product of translation rate (mmol/gDW/h) with the protein molecular weight (g/mol) over all proteins in each sector. The core proteome and glucose-niche proteome sector definitions were based on [20]. The core proteome mass fraction, which is critical for cell growth under all conditions, decreased steadily with increasing product yield (Fig. 4
a). The niche proteome, which is required for growth on specific environmental niches (in this case, glucose minimal medium), showed more variation with increasing product yield. The two production pathway protein sectors (*frdABCD* and *aceA*) increased with product yield, as expected. Interestingly, the remaining (Other) proteome increased in mass fraction up to four-fold, from 1.6 to 6.7 %, as product yield increased. Therefore, production pathway overexpression entailed a significant proteomic cost.

At lower product yields, the molar ratio of *frdABCD* vs. *aceA* translation rates varied strongly, such that only one pathway was expressed at varying expression levels. However, higher succinate yields were achieved when both pathways were expressed simultaneously at a relatively constant ratio (Fig. 4). This prediction is consistent with experiments showing that simultaneous expression of these two pathways (reductive TCA and glyoxylate shunt) led to higher yields [21]. This ME prediction is also distinct from metabolic reconstructions, which predict the highest yields from utilizing only the most metabolically efficient pathway (i.e., reductive TCA) [19]. The ME model also predicted that product yield experiences diminishing returns with increased product flux, and with decreasing growth rate (Fig. 4
b, c). Therefore, the ME model suggests that simultaneous expression of multiple pathways may improve yield over a single metabolically efficient pathway when we account for pathway expression and proteome reallocation requirements.

### Simulation of growth on diverse media and gene deletions

Our solution methods were tested on additional case studies involving large numbers of simulations. First, we performed growth simulations for 1423 single gene knockouts on glucose minimal medium. These essentiality predictions were 89.9 % accurate (73.5 % precision, 50.5 % recall, 96.8 % specificity) (Additional file 2: Table S1), similar to the reference model (iOL1650) accuracy [5]. As with varyME, we tested the speedup of warm-starting the LPs for single gene deletion analysis over cold-starting every LP. We observed 19× and 12× speedup for *E. coli* and *T. maritima* ME models, respectively (Table 4).

We also predicted relative growth rates across carbon sources accurately. In particular, using a growth rate-dependent protein-per-RNA (P/R) ratio [5] led to the highest accuracy: Spearman rank correlation of 0.94 (*p*=0.017), and Pearson correlation of 0.87 (*p*=0.025) (Fig. 5). Using a constant P/R ratio without hard uptake rate constraints, or artificially constraining uptake rates, led to lower accuracy (Fig. 5). We also observed that the growth rate on L-proline was predicted better when proteome limitation became the active constraint, rather than arbitrary uptake rate constraints. Additionally, biomass yield (grams dry weight per mmol substrate) was predicted accurately across eight carbon sources (Pearson correlation: 0.94, *p*=4.8×10^{−4}) (Additional file 1: Figure S1, Additional file 2: Table S2).

We also simulated growth on 333 different media, each differing in a carbon, nitrogen, phosphorus, or sulfur source as in [20]. We then compared the predicted emass fractions of the 1423 proteins common between our simulations and similar simulations performed on the iOL1650 ME model in [20]. Overall, we observed Pearson correlation of 0.68 (*p*<10^{−15}) and Spearman rank correlation of 0.68 (*p*<10^{−15}). When considering only the core proteome [20], we observed higher correlation between the two models: Pearson correlation of 0.80 (*p*<10^{−15}) and Spearman rank correlation of 0.63 (*p*<10^{−15}) (Fig. 6). These results re-confirmed that ME models (even reduced ones) accurately represent the core proteome [20], which is critical for host cell fitness in natural and engineered contexts.

Finally, throughout these simulations we found that ME fluxes could span 15 orders of magnitude (Table 5) and possibly more depending on the growth condition, emphasizing the need for quad-precision.

## Discussion

Genome-scale models of metabolism and macromolecular expression (ME models) [5, 6] have significantly expanded the biological scope and predictive capabilities of constraint-based modeling [8]. While predicting microbial growth using genome-scale metabolic reconstructions is now a computationally mature procedure [2, 22, 23], growth maximization for ME models is a more difficult nonlinear program. Furthermore, ME models are inherently multiscale, as metabolic and protein expression processes operate at rates differing by 15 orders of magnitude. Thus, a major obstacle to the widespread adoption of ME models has been the complexity, speed and numerical reliability of simulation [9]. In this paper, we developed a quad-precision nonlinear programming (NLP)-based solution method exhibiting significant improvements in computational speed and numerical reliability. The quad-precision LP/NLP solver Quad MINOS [10] was used for this purpose. In addition, we developed quad-precision flux variability analysis [16] for ME models (varyME) using computationally efficient solver warm-start techniques [17]. We also showed that our solution methods were applicable to large-scale studies, including growth simulation on over 300 different media, and over 1400 gene deletion simulations.

With advances in ME solution methods enabling rapid prototyping, we anticipate the acceleration of ME model development for additional organisms, such as phototrophs [24]. Development may be further facilitated by possible extension of model reduction techniques [25] to ME models. Additionally, ME models will become more accessible to metabolic engineers and systems biologists, who have already stated the importance of proteome-accounting for improving strain design and optimization [26, 27].

To demonstrate possible application of our solution methodology in an engineering context, we analyzed growth-coupled succinate overproduction by *E. coli*. Unlike metabolic reconstructions that predict maximal product yield when the most metabolically efficient production pathway is used, the ME model predicted that simultaneous expression of multiple pathways led to the highest yields when proteome reallocation requirements were considered. These predictions were consistent with literature, where simultaneous expression of two succinate-producing pathways led to increased yield [21]. As shown here, ME models now enable genome-wide proteome-accounting for the simulation and design of microbes. Moving forward, it will be of interest to extend the theory and algorithms developed for metabolic models [28–30] to ME models.

## Conclusions

We developed an efficient methodology for solving nonlinear, multiscale models of metabolism and macromolecule expression (ME models). In particular, we showed that the growth rate maximization problem for ME models is a quasiconcave maximization problem in general and quasilinear for special cases as demonstrated here. In both cases, the global optimum is found efficiently using the projected Lagrangian method. Using the quad-precision LP/NLP solver Quad MINOS, we obtained up to 45 % speedup over conventional bisection. Currently, a phylogeny of in silico methods has emerged around metabolic reconstructions [31]. Our new insights into the quasiconvexity of nonlinear constraints in ME models and the reliability gained with quad-precision NLP solvers should help accelerate similar expansion of algorithms and applications using ME models in the near future.

## Methods

Serial computations were performed on 2.70 GHz Intel(R) Core(TM) i7-4800MQ processors with 8 GB of RAM and the Arch Linux operating system. Parallel computations were performed using resources of the National Energy Research Scientific Computing Center (NERSC).

### Quasiconvex and quasilinear optimization

For our reduced ME model, the dilution and growth rate-dependent protein-per-RNA constraints are gathered into the general form, *μ*
*A*
*v*+*B*
*v*=*B*
*v*−*μ*
*C*
*v*=0 (where *C*=−*A*). Here, we show that these constraints are quasilinear. First, recall that a quasilinear function is both quasiconvex and quasiconcave [12]. A quasiconvex function is a function whose *μ*-sublevel sets are all convex while a quasiconcave function has convex *μ*-superlevel sets. Accordingly, a quasilinear function has all convex *μ*-level sets. The *μ*-level set of constraint *i*∈*D*
*I*
*L* is

which is a 0-level set of the sum of linear functions, i.e., a convex function (recall *μ* is fixed in the level set). Therefore, every *μ*-level set is convex; hence the dilution constraints are quasilinear.

ME models in [5, 6] have also implemented dilution constraints as inequalities: *B*
*v*−*μ*
*C*
*v*≥0. In this case, the constraints are quasiconcave because the *μ*-superlevel sets are all convex:

In this case, growth-rate maximization is a quasiconcave maximization (or quasiconvex minimization) problem whose global optimum is again found readily [12].

### Solution of LP and NLP problems

Quad MINOS 5.6 [10] was used to solve the LP and NLP problems in quad-precision. All Quad MINOS runs were performed with feasibility and optimality tolerances of 10^{−15}. To determine orders of magnitude of ME fluxes (Table 5), we used feasibility and optimality tolerances of 10^{−20}. To interface the Fortran-based Quad MINOS shared library and custom Fortran source code to the cobrapy [32] Python package, we used the f2py [33] function in Numpy 1.8.1. Solution of ME models in double-precision was performed using IBM ILOG CPLEX 12.6.0. Bisection was performed with the initial interval [*a*,*b*]=[0,2].

### Biological conditions for ME simulations

ME simulations were performed with an uptake rate of –1000 mmol/gDW/h for substrates available in the medium (carbon, nitrogen, phosphorus, sulfur sources) and for oxygen uptake. Unlike metabolic models that require physiologically determined uptake rate bounds, ME models predict a limit to maximum uptake. This maximum uptake occurs at the max growth rate where additional RNA and protein machinery cannot be produced to meet growth demands [5].

### Orders of magnitude spanned by ME fluxes

To estimate the orders of magnitude spanned by ME fluxes, we first found the smallest transcription flux for genes determined to be essential experimentally and by the ME simulation. Because multiple transcription units (TUs) can encode a gene, and multiple genes can be encoded by a TU, we found the smallest transcription flux greater than the solver feasibility tolerance (10^{−20}) encoding an essential gene. On glucose minimal medium, this flux was 9.35×10^{−14} mmol/gDW/h. Note that the smallest translation flux was 9.13×10^{−13} mmol/gDW/h. The maximum flux was 45.4 mmol/gDW/h, for H_{2}O exchange. Thus, on glucose minimal medium, fluxes spanned nearly 15 (14.7) orders of magnitude.

### Reduced ME model of *E. coli*

The reduced ME model of *E. coli* was developed separately [34] and was used to facilitate rapid algorithm testing throughout this study. The stoichiometric matrix consists of 8757 rows and 16,126 columns. Compared to the ME model of *T. maritima* (18,209 rows × 17,535 columns), the reduced ME model of *E. coli* has a similar number of reactions but considerably fewer constraints. The reduced ME model has a number of simplifications compared to the full ME models of *E. coli*: iOL1650 [5] (68,726 rows × 76,413 columns) and iJL1678 [6] (70,751 rows × 79,871 columns). The model includes the majority of metabolic and expression machinery processes, as well as core and niche proteome genes needed for growth in diverse environments [20]. The full ME model by O’Brien et al. [5] included growth rate-dependent cell wall dilution, which added a nonlinear constraint that was more complicated than the bilinear constraints arising from macromolecule dilution. This constraint is excluded in the reduced model. Also excluded are explicit degradation reactions for mRNA.

## References

O’Brien EJ, Monk JM, Palsson BO. Using genome-scale models to predict biological capabilities. Cell. 2015; 161:971–87.

Orth JD, Thiele I, Palsson BO. What is flux balance analysis?Nat Biotechnol. 2010; 28:245–8.

Lerman JA, Hyduke DR, Latif H, Portnoy VA, Lewis NE, Orth JD, Schrimpe-Rutledge AC, Smith RD, Adkins JN, Zengler K, et al.In silico method for modelling metabolism and gene product expression at genome scale. Nat Commun. 2012; 3:929.

Thiele I, Fleming RM, Que R, Bordbar A, Diep D, Palsson BO. Multiscale modeling of metabolism and macromolecular synthesis in

*E. coli*and its application to the evolution of codon usage. PloS ONE. 2012; 7:45635.O’Brien EJ, Lerman JA, Chang RL, Hyduke DR, Palsson BO. Genome-scale models of metabolism and gene expression extend and refine growth phenotype prediction. Mol Syst Biol. 2013; 9:1.

Liu JK, O’Brien EJ, Lerman JA, Zengler K, Palsson BO, Feist AM. Reconstruction and modeling protein translocation and compartmentalization in

*Escherichia coli*at the genome-scale. BMC Syst Biol. 2014; 8:110.O’Brien EJ, Utrilla J, Palsson BO. Quantification and classification of e. coli proteome utilization and unused protein costs across environments. PLoS Comput Biol. 2016; 12(6):1004998.

O’Brien EJ, Palsson BO. Computing the functional proteome: recent progress and future prospects for genome-scale models. Curr Opin Biotechnol. 2015; 34:125–34.

Sun Y, Fleming RM, Thiele I, Saunders MA. Robust flux balance analysis of multiscale biochemical reaction networks. BMC Bioinforma. 2013; 14:240.

Ma D, Saunders MA. Solving multiscale linear programs using the simplex method in quadruple precision. In: Numerical Analysis and Optimization. Switzerland: Springer International Publishing: 2015. p. 223–35.

Wunderling R. Paralleler und objektorientierter Simplex-Algorithmus. PhD thesis, Technische Universität Berlin. 1996. https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/538. Accessed 19 Sept 2016.

Dattorro J. Convex Optimization

*†*Euclidean Distance Geometry, 2nd edn. Palo Alto: Meboo Publishing USA, v2015.07.21; 2015, pp. 226–33. Chap. 3, section 3.8.Murtagh BA, Saunders MA. A projected Lagrangian algorithm and its implementation for sparse nonlinear constraints. Math Program Study. 1982; 16:84–117.

Robinson SM. A quadratically-convergent algorithm for general nonlinear programming problems. Math Program. 1972; 3:145–56.

Nazareth L, Tseng P. Gilding the lily: A variant of the Nelder-Mead algorithm based on golden-section search. Comput Optim Appl. 2002; 22:133–44.

Mahadevan R, Schilling CH. The effects of alternate optimal solutions in constraint-based genome-scale metabolic models. Metab Eng. 2003; 5:264–76.

Gudmundsson S, Thiele I. Computationally efficient flux variability analysis. BMC Bioinform. 2010; 11:489.

Yang L, Cluett WR, Mahadevan R. EMILiO: A fast algorithm for genome-scale strain design. Metab Eng. 2011; 13:272–81.

Yang L, Srinivasan S, Mahadevan R, Cluett WR. Characterizing metabolic pathway diversification in the context of perturbation size. Metab Eng. 2015; 28:114–22.

Yang L, Tan J, O’Brien E, Monk J, Kim D, Li H, Charusanti P, Ebrahim A, Lloyd C, Yurkovich J, Du B, Dräger A, Thomas A, Sun Y, Saunders M, Palsson B. A systems biology definition of the core proteome of metabolism and expression is consistent with high-throughput data. Proc Natl Acad Sci USA. 2015; 112:10810–5.

Sanchez AM, Bennett GN, San KY. Batch culture characterization and metabolic flux analysis of succinate-producing

*Escherichia coli*strains. Metab Eng. 2006; 8:209–26.Monk J, Palsson BO. Predicting microbial growth. Science. 2014; 344:1448–9.

Ma D, Yang L, Fleming RMT, Thiele I, Palsson BO, Saunders MA. Reliable and efficient solution of genome-scale models of Metabolism and macromolecular Expression. arXiv:1606.00054 [q-bio.MN].

Levering J, Broddrick J, Zengler K. Engineering of oleaginous organisms for lipid production. Curr Opin Biotechnol. 2015; 36:32–9.

Erdrich P, Steuer R, Klamt S. An algorithm for the reduction of genome-scale metabolic network models to meaningful core models. BMC Syst Biol. 2015; 9:48.

King ZA, Lloyd CJ, Feist AM, Palsson BO. Next-generation genome-scale models for metabolic engineering. Curr Opin Biotechnol. 2015; 35:23–9.

Valgepea K, Peebo K, Adamberg K, Vilu R. Lean-proteome strains—next step in metabolic engineering. Front Bioeng Biotechnol. 2015; 3:11.

Klamt S, Mahadevan R. On the feasibility of growth-coupled product synthesis in microbial strains. Metab Eng. 2015; 30:166–78.

Mahadevan R, von Kamp A, Klamt S. Genome-scale strain designs based on regulatory minimal cut sets. Bioinformatics. 2015; 31:2844–851.

Zhuang KH, Herrgård MJ. Multi-scale exploration of the technical, economic, and environmental dimensions of bio-based chemical production. Metab Eng. 2015; 31:1–12.

Lewis NE, Nagarajan H, Palsson BO. Constraining the metabolic genotype-phenotype relationship using a phylogeny of in silico methods. Nat Rev Microbiol. 2012; 10:291–305.

Ebrahim A, Lerman JA, Palsson BO, Hyduke DR. COBRApy: COnstraints-Based Reconstruction and Analysis for Python. BMC Syst Biol. 2013; 7:74.

Peterson P. F2PY: a tool for connecting Fortran and Python programs. Int J Comput Sci Eng. 2009; 4:296–305.

Github repository for reduced ME model of

*E. coli*. https://github.com/SBRG/ecoli_me_testing. Accessed 19 Sept 2016.The openCOBRA Project. http://opencobra.github.io/cobratoolbox/. Accessed 19 Sept 2016.

Schellenberger J, Que R, Fleming RM, Thiele I, Orth JD, Feist AM, Zielinski DC, Bordbar A, Lewis NE, Rahmanian S, Kang J, Hyduke DR, Palsson BØ. Quantitative prediction of cellular metabolism with constraint-based models: the COBRA Toolbox v2.0. Nat Protoc. 2011; 6:1290–307.

Monk JM, Charusanti P, Aziz RK, Lerman JA, Premyodhin N, Orth JD, Feist AM, Palsson BØ. Genome-scale metabolic reconstructions of multiple escherichia coli strains highlight strain-specific adaptations to nutritional environments. Proc Natl Acad Sci U S A. 2013; 110:20338–0343.

## Acknowledgements

This research used resources of the National Energy Research Scientific Computing Center, which is supported by the Office of Science of the US Department of Energy under Contract No. DE-AC02-05CH11231.

### Funding

This work was funded by the National Institute of General Medical Sciences of the National Institutes of Health [awards U01GM102098 and R01GM057089] and the Novo Nordisk Foundation [NNF16CC0021858]. The content is solely the responsibility of the authors and does not necessarily represent the official views of the funding agencies.

### Availability of data and material

The Quad MINOS solver is available for academic use from the authors [10] upon request. The solveME, varyME, and bisectME procedures are available as a Python module (with setup script and documentation) from the corresponding author upon request. The quad-LP features of Quad MINOS are also available for MATLAB in the COBRA Toolbox [35, 36]. The reduced ME model is available on Github: https://github.com/SBRG/ecoli_me_testing.

### Authors’ contributions

LY, DM, and MAS developed and implemented the procedures. AE and CJL provided the model and interpreted results. BOP interpreted results and edited the manuscript. All authors read and approved the final manuscript.

### Competing interests

The authors declare that they have no competing interests.

### Consent for publication

Not applicable.

### Ethics approval and consent to participate

Not applicable.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional files

### Additional file 1

**Figure S1.**(PDF 5 kb)

### Additional file 2

**Tables S1–S2.**(XLSX 49 kb)

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver(http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.

## About this article

### Cite this article

Yang, L., Ma, D., Ebrahim, A. *et al.* solveME: fast and reliable solution of nonlinear ME models.
*BMC Bioinformatics* **17**, 391 (2016). https://doi.org/10.1186/s12859-016-1240-1

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s12859-016-1240-1

### Keywords

- Nonlinear optimization
- Constraint-based modeling
- Metabolism
- Proteome
- Quasiconvex