- Research
- Open Access
- Published:

# OpenFLUX2: ^{13}C-MFA modeling software package adjusted for the comprehensive analysis of single and parallel labeling experiments

*Microbial Cell Factories*
**volume 13**, Article number: 152 (2014)

## Abstract

### Background

Steady-state ^{13}C-based metabolic flux analysis (^{13}C-MFA) is the most powerful method available for the quantification of intracellular fluxes. These analyses include concertedly linked experimental and computational stages: (*i*) assuming the metabolic model and optimizing the experimental design; (*ii*) feeding the investigated organism using a chosen ^{13}C-labeled substrate (tracer); (*iii*) measuring the extracellular effluxes and detecting the ^{13}C-patterns of intracellular metabolites; and (*iv*) computing flux parameters that minimize the differences between observed and simulated measurements, followed by evaluating flux statistics. In its early stages, ^{13}C-MFA was performed on the basis of data obtained in a single labeling experiment (SLE) followed by exploiting the developed high-performance computational software. Recently, the advantages of parallel labeling experiments (PLEs), where several LEs are conducted under the conditions differing only by the tracer(s) choice, were demonstrated, particularly with regard to improving flux precision due to the synergy of complementary information. The availability of an open-source software adjusted for PLE-based ^{13}C-MFA is an important factor for PLE implementation.

### Results

The open-source software OpenFLUX, initially developed for the analysis of SLEs, was extended for the computation of PLE data. Using the OpenFLUX2, *in silico* simulation confirmed that flux precision is improved when ^{13}C-MFA is implemented by fitting PLE data to the common model compared with SLE-based analysis. Efficient flux resolution could be achieved in the PLE-mediated analysis when the choice of tracer was based on an experimental design computed to minimize the flux variances from different parts of the metabolic network. The analysis provided by OpenFLUX2 mainly includes (*i*) the optimization of the experimental design, (*ii*) the computation of the flux parameters from LEs data, (*iii*) goodness-of-fit testing of the model’s adequacy, (*iv*) drawing conclusions concerning the identifiability of fluxes and construction of a contribution matrix reflecting the relative contribution of the measurement variances to the flux variances, and (*v*) precise determination of flux confidence intervals using a fine-tunable and convergence-controlled Monte Carlo-based method.

### Conclusions

The developed *open-source* OpenFLUX2 provides a friendly software environment that facilitates beginners and existing OpenFLUX users to implement LEs for steady-state ^{13}C-MFA including experimental design, quantitative evaluation of flux parameters and statistics.

## Background

Metabolic flux analysis (MFA) plays a key role in systems biology because intracellular fluxes, i.e*.*, *in vivo* reaction rates through different pathways within an intact living cell [1], are the functional output of all conventional genetic and metabolic regulatory systems and determine the physiological phenotype of the cell [2].

In recent decades, a metabolic steady-state version of ^{13}C-labeling-based MFA (^{13}C-MFA) has become the best developed and most powerful method for quantifying intracellular fluxes when all fluxes and metabolite concentrations can be considered to be (at least approximately) constant [2]-[4]. ^{13}C-MFA, applied to microbial, plant and mammalian systems, has been increasingly used in systems biology and metabolic engineering [5]-[7], biotechnology and medicine [8]-[10].

Due to the high complexity of native metabolic networks, ^{13}C-MFA typically involves the use of a simplified stoichiometric model in which only the key pathway reactions of the central carbon metabolism and the set of lumped targeted biosynthetic reactions are parameterized before the assumed model-based fluxes are inferred from measurable quantities [11].

Concerning the experimental data applied in ^{13}C-MFA, the physiological/extracellular fluxes or effluxes (e.g., biomass precursor drain, substrate uptake, and product excretion rates) and ^{13}C-labeling patterns (i.e., isotopomer distributions) of metabolic products resulting from feeding partially ^{13}C-labeled substrates (tracers) are used. These effluxes are determined from the time courses of cellular dry weight and extracellular metabolite concentrations during cultivation [12]. The ^{13}C-isotopomers generated due to the metabolic conversion of tracers are detected through nuclear magnetic resonance (NMR) spectroscopy [13], mass spectrometry (MS) [14], and/or tandem MS (MS/MS) [15].

Prof. W. Wiechert and co-workers significantly contributed towards formalizing the framework for ^{13}C-MFA: from measured effluxes and intracellular labeling information the intracellular fluxes could be computed [16]-[19]. On this basis, several mathematical models have been developed that can simulate a unique profile of isotopomer abundance for the fluxes with assigned parameters by describing the propagation of labeled atoms from the tracer through an assumed metabolic network according to the known atom rearrangements for each reaction [18],[20]-[26]. All simulations are providing under the essential assumption that the possible isotopic mass effects [27] are negligible, i.e., that the labeling states of the metabolites do not influence the rate of their enzymatic conversion [16]. The goal of ^{13}C-MFA is to determine the set of initially unknown flux parameters that minimizes the differences between experimentally observed and simulated measurements. In mathematical essence, this set is a solution of a large-scale non-linear parameter estimation problem [28]. Analytical solutions of this problem are available only for the simplest systems. Therefore, the values of the assumed fluxes must generally be inferred from the experimental datasets through computer model-based interpretation using an iterative least-squares fitting procedure [2],[3],[26].

Several high-performance computational software suites for performing flux calculations have been developed and described, e.g., 13CFLUX [29] and its reinforced version – 13CFLUX2 [30], METRAN [31],[32], OpenFLUX [33], FIA [25], influx_s [34], OpenMebius [35].

These software toolboxes most often automatically generate metabolite and isotopomer balance models relying on an initially user-defined simple notation of metabolic networks and the known atom transitions occurring in biochemical reactions. Then, starting from the generated models and from measured effluxes that must be constrained within the obtained error ranges, semi-random guesses regarding intracellular fluxes are used to simulate *in silico* ^{13}C-labeling patterns of targeted metabolites, which, in turn, are compared with the measured patterns. This process is repeated until a satisfactory match to the measurable quantities is achieved, i.e., the constrained non-linear least-squares minimization problem (NLLSP) is solved [29]. According to the rules of regression analysis, providing a statistical goodness-of-fit test of the adequacy of the applied flux model is required, at a minimum, after determining the optimized fluxes [28],[36]. Then, linearized statistics [17],[37],[38], a non-linear-based search algorithm [28], and/or the Monte Carlo approach [39],[40] are used to estimate the precise flux resolution, i.e., the uncertainty of the determined fluxes. The optimized parameters of the fluxes and their confidence intervals in the statistically adequate user-made metabolic model must be obtained as the concerted results of these computations.

When the ^{13}C-labeling data were obtained from NMR in the early stages of ^{13}C-MFA development, each analysis was typically performed on a single labeling experiment (SLE), primarily for cost reasons [41]. Implementing highly sensitive MS- [42]-[44] and MS/MS-mediated [15],[45] measurements, which are development approaches that involve ^{13}C-tracer experiments at a miniaturized scale [46],[47], led to a significantly increased accessibility and decreased cost of labeling experiments (LEs). Thus, it has become possible to realize the advantages of parallel labeling experiments (PLEs), in which two or more LEs are initiated from the same seed culture and conducted in parallel under the same experimental conditions differing only in the set of ^{13}C-tracers applied [48]-[53].

SLE-based ^{13}C-MFA remains a widely used method and can be implemented with the application of a single labeled substrate as a tracer or using a mixture of isotopomers of the same compound or multiple labeled substrates [32],[54]-[57]. Studies have shown that achieving optimal resolution of fluxes from different parts of the central carbon metabolism requires different ^{13}C-tracers [19],[48],[58]. Several sophisticated experimental design strategies have been adopted to improve the desired flux precision [19],[32],[36],[49],[54],[56],[59]-[64]. Therefore, the use of only one set of tracers will likely not maximize the resolution of all fluxes in SLEs, particularly when a large-scale metabolic model is employed [28],[65].

According to previous studies [53],[58],[66],[67], there are several advantages of using PLEs for ^{13}C-MFA compared with an SLE-based approach. In general, the data from each LE are integrated to achieve an improved flux resolution, primarily due to the synergy of the complementary information used for fitting to the single metabolic model [48],[53],[58],[66]. Indeed, the latest applications of the COMPLETE (short for COMplementary Parallel Labeling Experiments TEchnique [58]) MFA approach employing all six singly labeled glucose tracers to evaluate metabolic fluxes resulted in the most accurate and precise flux parameters obtained thus far for wild-type *E. coli* as well as for some metabolically engineered strains of the bacterium [58],[67]. However, for laboratories lacking in-house experience, one crucial factor in the implementation of the PLE approach is the availability of a free, ready-to-use software package allowing the successful manipulation of the complex data obtained in PLEs, which is necessary for comprehensive flux analysis.

In the present study, the open-source software OpenFLUX [33], which uses an elementary metabolic unit (EMU) decomposition-based algorithm to generate an isotopomer balance model [26] and was initially developed for SLE analysis, has been extended for the computation of PLE data (see, Additional file 1: ** SF-1.3** . The methodology of PLE data implementation is rather clear, and one of the possible algorithms has been earlier schematically described in [53]. The expertized investigators have already adjusted their home-made

^{13}C-MFA software by PLEs-mediated data (see, [66] for review). Currently, additional MATLAB-based scripts have been appeared on the OpenFLUX homepage (http://openflux.sourceforge.net) that demonstrated to users how the data of two labeling experiments conducting in parallel could be implemented in the already existing software. The presented

*open-source*OpenFLUX2 provides a friendly software environment that facilitates beginners and existing OpenFLUX users to manipulate with SLE- and PLE-based data, for experimental design, determination of flux parameters, and for broaden evaluation of flux statistics.

Using OpenFLUX2, direct *in silico* simulation confirmed that the flux resolution was improved when ^{13}C-MFA was provided with PLE data that were fitted to and integrated with the common metabolic model as compared with the individual analysis of each LE. Additionally, the best flux resolution was achieved in the analysis of PLE results when the choice of tracer for each provided LE was based on a computed experimental design targeted to minimize the approximated variances of several fluxes from the different parts of the assumed metabolic network. The statistical methods of analysis of the obtained experimental and simulated data, followed by a goodness-of-fit test of the adequacy of the applied metabolic model, have been extended in OpenFLUX2, including the statistical conclusions concerning the feasibility of the obtained flux parameters in the final report and the flux confidence intervals estimated at the desired significance level. In turn, the flux confidence intervals could be computed in OpenFLUX(2) using different methods, but up today the most dependable and precise approach is a fine-tunable Monte Carlo-based determination of the flux variances, which are dependent on the randomly corrupted measured data [33],[39] and that has been modified in OpenFLUX2 due to implementation of a convergence control and visualization of computation results.

Following the original position of the OpenFLUX authors [33], OpenFLUX2, which is an extended version of the already available software, has been developed as *open-source software*. We hope that OpenFLUX2 will be useful to research groups applying ^{13}C-MFA, particularly for beginners not yet experienced in fluxomics analyses. Additionally, the availability of the OpenFLUX2 *code* could promote further improvement of the software based on the experiences of different researchers. OpenFLUX2 can be downloaded from SourceForge (http://sourceforge.net/projects/openflux2).

## Results

### Key features of OpenFLUX2 software

OpenFLUX2 was developed as an extension of the OpenFLUX software. New calculation facilities were added, mostly as extensions of the initial options, without dramatic changes in the parent content. Moreover, the initial forms of the model and experimental data setup, together with results representation, were maintained as much as possible during the development of OpenFLUX2 to facilitate the transition from one version to the other. In the present study, the procedures that were developed previously in OpenFLUX and retained in OpenFLUX2 without essential modifications are indicated as “OpenFLUX(2)”, and only the added/modified elements are indicated as being implemented in OpenFLUX2.

To clarify the essence of the modifications implemented at the stage of OpenFLUX2 software development, the following items are schematically described in Additional file 1: (*SF-1.1***.**) the assignment of free fluxes, followed by (** SF-1.2.** ) flux variability analysis; (

**) the calculation of optimized fluxes through iterative fitting; (**

*SF-1.3.***) a goodness-of-fit analysis of the adequacy of the metabolic model; (**

*SF-1.4.***) local linearized statistical approximations; and non-linear-search of the optimal flux confidence intervals (**

*SF-1.5.***), where, in particular, the introducing a convenient concept, “the normalized flux precision” function, is described, as well; (**

*SF-1.6.***) – a fine tunable and convergence-controlled Monte Carlo-based approaches for precise determination of the optimized flux confidence intervals according to “discarding” strategy at the predetermined confidence level, significantly modified at the stage of implementation in OpenFLUX2. The main aim of this description is to demonstrate that the individual procedures are essential interconnected parts of a unique solution to a complex optimization problem, where the statistical significance of the calculated model-based parameters must be verified via the comprehensive goodness-of-fit of the model’s adequacy. As an auxiliary aim of this part, it is a rather short, but slightly (in comparison with the excellent review [4]) mathematically-enriched introduction in the**

*SF-1.7.*^{13}C-MFA background that could be helpful, especially for beginners, to repair their knowledge by essential parts of linear algebra and statistics.

The workflow of OpenFLUX software consists of two components: (*i*) the automated set-up of stoichiometric and isotopomer balance models from user-supplied data, performed by Java PARSER, and (*ii*) the application of the generated models to the ^{13}C-MFA of SLEs for flux parameter estimation and sensitivity analysis, performed by a set of specially developed MATLAB functions. The modifications introduced in OpenFLUX2 can be divided into two types (Figure 1). First, a set of new options related to statistical analysis of the flux evaluated from SLE data and experimental design facilities were added. Second, the new software was extended to perform metabolic flux analysis of PLE-based data. Here, the PLE concept is considered as determined in [66]; PLE-based design means that several tracer experiments that are started from the same seed culture to minimize biological variability, and must be performed independently under identical conditions on the same substrate(s), using different tracer(s).

Because an ^{13}C-MFA PLE-based approach requires the simultaneous fitting of several datasets obtained from independent LEs to a single model, there is no major difference in the spread-sheet model set up and the consequent automated generation of stoichiometric and isotopomer balance models by the Java PARSER for PLEs and SLEs in OpenFLUX2. The set of substrates is fixed during the model generation step, and individual substrate tracer configurations are then defined by the user for each LE constituting the PLE together with the corresponding measured data (Figure 1). The option to use either a single label or a labeling mixture for each substrate in the PLE is provided by OpenFLUX2, as was previously provided in OpenFLUX for SLEs. Thus, all of the introduced modifications were finally concentrated in the MATLAB-based portion of the computational algorithm.

### Comprehensive flux analysis of a *Corynebacterium glutamicum*model, as an example, using OpenFLUX2 software

#### The *C. glutamicum*model

The specific features of the developed OpenFLUX2 software were illustrated via the *in silico* simulation of a set of SLEs and PLEs followed by their comprehensive ^{13}C-MFA. The *Corynebacterium glutamicum* metabolic model initially proposed for an l-lysine-overproducing *C. glutamicum* strain by Becker et al. [68] and later used to demonstrate the possible applications of OpenFLUX software [33] was chosen (with minor changes; see Methods) as the object of the computational simulation and ^{13}C-MFA. This model, schematically presented in Figure 2, accounted for the main central metabolic pathway, the biosynthetic pathways for several excreted products, including lysine as the main product, and anabolic demand. CO_{2}-mediated carbon transfer was accounted for using expression reactions, accompanied by CO_{2} production/consumption, in an explicit manner. The bi-directional reactions were represented as non-negative forward and reverse fluxes. Finally, the metabolic model was composed of 51 unknown fluxes balancing 36 metabolites, resulting in the stoichiometric matrix **S**, dim(**S**) = (36 × 51), with a residual 15 degrees of freedom. The degrees of freedom were associated with the following free fluxes: experimentally determined effluxes, including biomass biosynthesis (1 flux), effluxes of secreted products (5 fluxes), and the glucose uptake rate (1 flux); reverse branches of five bi-directional reactions; and free irreversible reactions associated with branch points. An isotopomer model was generated automatically under the assumption that the mass isotopomer distributions of the following metabolites were measured: alanine, valine, threonine, aspartate, glutamate, serine, phenylalanine, glycine, tyrosine, and trehalose. Application of the EMU approach offered by OpenFLUX(2) led to a major simplification of the isotopomer model (see Methods).

#### Circumstantiation of flux parameters for the computer simulations

The full set of fluxes necessary for the simulation of *in silico* SLEs and PLEs for the defined model was unfortunately not directly available from previously published materials [33],[68]. Thus, the evaluation of fluxes from published experimental data was repeated in the present study. To this end, a new constrained NLLSP was designed based on a modified metabolic model, with assigned free fluxes, previously measured [68] effluxes with their variances, and MIDs with variances assumed to be 0.15 mol% (see Methods). Solutions of the designed NLLSP were obtained by OpenFLUX2 using a gradient-based local optimization method with the assistance of MATLAB’s FMINCON function (see Additional file 1: *SF-1.3***.**, for details). To determine the global minimum, 100 independent iterative trials were performed with an arbitrary set of initial free fluxes, **θ** _{k} ∈ ℜ^{p}, *k* = 1, 2, …, 100, where ℜ^{p} indicates a feasible constrained domain in the free flux variation space (see Additional file 1: ** SF-1.2** .). These trials resulted in a set of flux estimates, \mathbf{u}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{k}\right),k=1,2,\dots ,100, corresponding to the minimum values of the objective function {\left(SS{R}_{\mathbf{f}}^{SLE}\right)}_{k} in Eq. (

*S*− 1.3.7), which were reached in each

*k*-th trial. According to the optimization report, all of the provided trials were terminated successfully due to the achievement of the given termination tolerance (ΤΤ = 1 × 10

^{− 4}) within the constraint violation tolerance. The χ

^{2}-based goodness-of-fit confirmed the model adequacy (see Additional file 1:

*SF-1.4***.**, for details) for 82 (at a significance level of

*α*= 0.05) and 34 (at

*α*= 0.32) of the 100 obtained values of {\mathrm{\Xi}}_{\mathrm{k}}=2\cdot {\left(SS{R}_{\mathbf{f}}^{SLE}\right)}_{k} as follows:

where *W* is the number of independent measurements, and *p* is the number of estimated free fluxes ((*W* − *p* = 21) in this case). All essential information concerning the obtained solutions is presented in Table 1
**(Exp_1.1),** Additional file 2: Figure SF-2.1, and Additional file 3: Table SF-3.3. A minimal value of the Ξ function was registered for the group of 26 trials, and all fluxes from these solutions corresponded practically to the same point, \mathbf{u}\left(\stackrel{\u2322}{\mathbf{\theta}}\right)\in {\Re}^{n}, in the feasible *n*-dimensional space for the flux variation.

The flux identifiability analysis, which was based on model linearization and on the computation of \mathrm{Null}\left({\mathbf{J}}_{\mathbf{f}}\left(\stackrel{\u2322}{\mathbf{\theta}}\right)\right) in Eq. (*S* − 1.5.9) (see Additional file 1: ** SF-1.5** .), was provided for the obtained statistically available solution as described by Yang et al. [69]. This analysis resulted in the conclusion that only a unique set of flux parameters for the global minimum of the constrained NLLSP could be computed numerically; because the calculated null space matrix was empty. The goodness-of-fit analysis was finalized by confirming the Ν(0, 1) distribution of the individual variance-weighted residuals in \mathrm{\Xi}\left(\stackrel{\u2322}{\mathbf{\theta}}\right) (see Additional file 1:

**for details).**

*SF-1.4.*The obtained statistically acceptable solution of the constrained NLLSP, \mathbf{u}\left(\stackrel{\u2322}{\mathbf{\theta}}\right), primarily coincided with the previously published [33],[68] values of fluxes in the range of the earlier evaluated flux confidence intervals (Additional file 2: Figure SF-2.2). Thus, all flux parameters, including previously unavailable, were evaluated and assigned as the true values for the assumed metabolic model, **u**(**θ** _{
true
}).

Other *χ* ^{2} -statistically acceptable trials resulted in larger values of Ξ(**θ**), which corresponded to the points of **u**(**θ**) ∈ ℜ^{n} and primarily differed from **u**(**θ** _{true}) in the values of two fluxes: *θ* _{22}: PYR + CO2→^{F} OAA and (v_{dep})_{23}: OAA →^{F} PYR + CO2 (Figure 3(A)). The value of the residual net flux for these reactions, *v* ^{net} = |*θ* _{22} − (*v* _{
dep
})_{23}|, remained practically constant for all *χ* ^{2} -statistically acceptable trials. The possible existence of local minima of the Ξ(**θ**) function with a parameter of *θ* _{22}, as an alternative to its true values, was tested. As shown in Additional file 2: Figure SF-2.3, the minimized sum of the squared residuals as a function of *θ* _{22} represents one distinct global minimum in the neighborhood of (*θ* _{22})_{
true
} followed by a gentle decreasing slope, which ends nearly as a plateau.

Thus, additional solutions of the constrained NLLSP may be obtained in independent trials starting from the random initial values of the free fluxes, resulting in the premature termination of the computer search for the global minimum due to the discovery of a termination tolerance (TT). Indeed, repeated numerical solutions of the same constrained NLLSP under conditions with a decreasing TT of the objective function value sloped from the default value of 1 × 10^{− 4} up to the more precise value of ΤΤ = 1 × 10^{− 6} (see Additional file 1: ** SF-1.3.** , for details), resulting in an increased number of trials that reached the global minimum (77 of 100, in contrast to 26 in the previous calculations; see Table 1

**(Exp_1.1; Exp_1.2)**and Additional file 2: Figure SF-2.1), with a decreasing number of alternative statistically acceptable solutions (Figure 3(B)).

Thus, a unique optimal set of fluxes for the statistically adequate metabolic model was obtained: \mathbf{u}\left(\stackrel{\u2322}{\mathbf{\theta}}\right)\equiv \mathbf{u}\left({\mathbf{\theta}}_{\mathit{true}}\right). Then, new GC-MS-based “experimental data,” i.e., new MIDs, could be generated through direct *in silico* simulation describing the propagation of ^{13}C atoms from different tracers through a metabolic network with known flux parameters (see Methods).

####
^{13}C-MFA for *in silico* SLEs with [1-^{13}C]-glucose as a tracer

Initially, the simulation was provided for 99% of [1-^{13}C]-glucose as a tracer. The new set of MIDs was generated as described in Methods, excluding the last step of data corruption. To confirm that flux estimations could be unambiguously inferred from the obtained non-noised data, these simulations were used as the experimental data, with assumed MID variances equal to 0.4 mol%, and the assignment of all effluxes as variable free fluxes constrained in the range of the 95% confidence intervals with the standard deviations determined in [68] (see Additional file 3: **Table SF-3.3**). The solution to the corresponding constrained NLLSP was obtained using OpenFLUX2 software according to the standard procedure described above with details presented in Table 1
**(Exp_2.1)**. In total, 98 values of Ξ_{i}, which corresponded to solutions from the total obtained set of \mathbf{u}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{i}\right),i=1,2,\dots ,100, were smaller than the upper, and even the lower, critical threshold values, {\chi}_{0.975}^{2}\left(\mathit{W}-\mathit{p}\right) and {\chi}_{0.025}^{2}\left(\mathit{W}-\mathit{p}\right), respectively, at the 95% confidence level and with (W − p) = (38 + 7) − (8 + 7) = 30 degrees of freedom. Moreover, the group of trials (6 solutions at ΤΤ = 1 × 10^{− 4} and 51 solutions in the case of TT decreased to 1 × 10^{− 6}; see Table 1
**(Exp_2.1; Exp_2.2)**) had a minimal value of 1.5 ⋅ 10^{− 3}, which was significantly less than the minimal threshold. Such a questionably small value for the objective function generally indicates possible overfitting of the applied model. However, in our case, the cause stems from the solution of the inverse task without corrupting the “experimental” data generated at the stage of direct simulation. The same cause resulted in the negative evaluation of the individual weighted residuals in Ξ_{i} according to the normality test, and the null hypothesis (concerning Ν(0, 1) distribution of residuals) was rejected. The flux estimates that corresponded to the solutions of the group with the minimal Ξ_{i} that was reached were assigned as reference fluxes, i.e., **u**(**θ** _{
ref
}). Confirmation of flux identifiability was obtained based on the empty null space for the Jacobian matrix calculated at point **θ** = **θ** _{
ref
}. As shown in Additional file 3: Table SF-3.5, the obtained reference flux values are extremely close to the true values used for data generation.

The next stage of the simulation was the generation of “experimental data” that were closed to results that could be obtained in real experiments. The values of the previously simulated MIDs and the measured effluxes were corrupted with the Ν(**0**, **σ** ^{mea}) normally distributed random errors using the Statistics Toolbox of MATLAB. Five (*L* = 5) obtained sets of data, {\mathbf{x}}_{i}^{m\mathrm{e}\mathrm{a}}={\left({x}_{1}^{i},{x}_{2}^{i},\dots ,{x}_{\mathrm{w}}^{i}\right)}^{\mathrm{{\rm T}}},\mathit{i}=1,2,\dots ,\mathit{L} were used for calculation of mean, and unbiased estimator of the variance, respectively:

for each from *w* _{
MID
} MIDs and *w* _{
eff
} effluxes, (*w* = *w* _{
MID
} + *w* _{
eff
}), and to assign the {\mathit{S}\mathit{S}\mathit{R}}_{\mathbf{f}}^{\mathit{S}\mathit{L}\mathit{E}} objective function that finally determines the constrained NLLSP (S − 1.3.8). Statistically acceptable solution (corresponding to the value 9.65 of Ξ(**θ**) function (for the group of 27 from 100 performed trials) that was smaller even the lower threshold, \left({\chi}_{0.025}^{2}\left(30\right)=16.79\right)) at the 95% confidence level, with Ν(0, 1) distributed weighted residuals, was found using OpenFLUX2 (Table 1
**(Exp_3.6)**).

#### Monte Carlo-based and non-linear approaches for determination of flux confidence intervals

At the final stage of the ^{13}C-MFA performed for the considered above constrained NLLSP, accurate 68% and 95% confidence intervals (C{I}_{0.68}^{MC} and C{I}_{0.95}^{MC}, respectively) were computed for the optimized fluxes initially by fine-tunable and convergence-controlled Monte Carlo-based approach implemented in OpenFLUX2 for this purpose (see Additional file 1: ** SF-1.7.** for details). According to [39], Monte Carlo-mediated analysis of flux statistics was carried out on the basis of a discrete approximation of optimized flux estimation distributions obtained in

*L*multi-trials when the experimental data for each trial, comprising measured MIDs and effluxes, were artificially generated by corrupting of real initial data with normally distributed random errors. So, consecutive providing of

*L*optimization trials finally resulted in

*L*-set of optimized flux estimations:

where {\stackrel{\u2322}{\theta}}_{\mathit{L}}=\left({\stackrel{\u2322}{\mathbf{\theta}}}_{1},{\stackrel{\u2322}{\mathbf{\theta}}}_{2},\dots ,{\stackrel{\u2322}{\mathbf{\theta}}}_{\mathrm{L}}\right) and \mathbf{u}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{j}\right)={\left({u}_{1}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{j}\right),{u}_{2}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{j}\right),\dots ,{u}_{n}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{j}\right)\right)}^{{\rm T}},j=1,2,\dots ,L. Finally, the upper and lower bounds of the C{I}_{\gamma}^{MC} confidence interval at a determined confidence level of *γ* were evaluated for each flux on the basis of these distributions according to “discarding” or “mean-varianced” strategies (see Additional file 1: ** SF-1.7.,** for details, and Figure 4 for clarity). In OpenFLUX2, the first group of the tunable parameters was implemented in the Monte Carlo-based procedure which modifications could increase/decrease the precision of global minimum search during optimization process in each trial. It was necessary to tune these control parameters up to the levels when their further modification does not significantly decrease the width of C{I}_{\gamma}^{MC}\left({u}_{i}\right). Testing the several control parameters of the first group resulted in a set of their default values provided the convergence of the C{I}_{\gamma}^{MC}\left({u}_{i}\right) bounds. Evaluations of these parameters, partially, were presented in the Additional file 2: Figure SF-2.4 as direct visualization of the computed interval bounds in dependence on provided trials at the different values of control parameters.

Usually, the Monte Carlo search of C{I}_{\gamma}^{MC}\left({u}_{i}\right) bounds is based on an assumption that their estimated values have to converge in case of significant increasing of the total number of trials. So, the number of trials, *L*, is one of the most important parameters of Monte Carlo-based procedure, and it has to be optimally chosen (*L* = *L* _{MAX}) for C{I}_{\gamma}^{MC}\left({u}_{i}\right) precise determination in a reasonable computation time. The special procedure was implemented in OpenFLUX2 for a control of an essential number of optimization trials that was performed during target flux C{I}_{\gamma}^{MC}\left({u}_{i}\right) bound estimation. This control finalizing in determination of all C{I}_{\gamma}^{MC}\left({u}_{i}\right), could be realized ONLINE, with a help of specially preset control parameters (the second group of parameters implemented for fine tuning of the Monte Carlo-based search procedure), or according to direct user’s decision based on visualization of estimated bound plots in dependence on the current *L*, and flux estimation histograms that could be presented after the predetermined *L* _{MAX} trials were performed.

The developed Monte Carlo-based approach was used for determination of C{I}_{\gamma}^{MC}\left({u}_{i}\right) for the solution of the constrained NLLSP described above (Table 1 (**Exp_3.6**)). The optimized flux parameter distributions were obtained for *L* _{MAX} = 500 trials using the default set of tunable control parameters that facilitate search of global minimum in each trial of the applied “multi runs per trial” fitting strategy (N_{AS} =3, K_{NR} =50, \mathrm{{\rm T}}\mathrm{{\rm T}}=1\times {10}^{-4},\epsilon =1\times {10}^{-4}, see Additional file 1: *SF-1.7.***,** for details). Then, for all 51 fluxes of assumed metabolic network the sliding control was performed for upper and lower bounds of C{I}_{\gamma}^{MC}\left({u}_{i}\right) evaluated initially according to “discarding” strategy (i.e., bounds of C{I}_{\gamma}^{MC-1}\left({u}_{i}\right), see definition in Additional file 1: ** SF-1.7.** ) with the “window” size equaled to 40 trials. As could be seen from Additional file 3: Table SF-3.6, and Figure 5 (the later presented the convergence process of confidence bounds of the C{I}_{0.95}^{MC-1}\left({\theta}_{22}\right) interval, as example), the {\delta}_{\left(L/U\right)B}^{MC-1} (defined by Eq. (

*S*− 1.7.7)) relative spreadings for the both upper and lower bounds of C{I}_{0.95}^{MC-1}\left({u}_{i}\right) for 42 from 51 fluxes were dispersed between 0.1 and 1.0% in the last “window”, that could be considered as rather rigorous conditions of convergence. Moreover, if a value of {\delta}_{\left(L/U\right)B}^{MC-1}\left(\gamma ,i,{\stackrel{\u2322}{\theta}}_{L},M\right) had been equaled to 1.0% as the predetermined threshold, this level of convergence was achieved for more than 70% fluxes after already 20 – 50 optimization trials performed. The residual 30% of determined bounds converged after 400–420 trials according to these rigorous conditions. Eight residual fluxes ({\theta}_{10,}{\theta}_{12,}{v}_{13},{\theta}_{14},{\theta}_{22,}{v}_{23},{v}_{29} and

*v*

_{36}) demonstrated the convergence at the relax conditions for upper and/or lower bounds, when {\delta}_{\left(L/U\right)B}^{MC-1}\le 10\% at the level of confidence

*γ*= 0.95, and this criterion was satisfied when 200 – 440 trials were performed. Five fluxes ({\theta}_{10},{\theta}_{14},{\theta}_{31},{v}_{29} and

*v*

_{36}) had the specific feature: the values of lower bounds of their C{I}_{0.95}^{MC-1}\left({u}_{i}\right) were closed to zero. So, these bounds, manifesting the obvious convergence, had to be restricted at the level of absolute (not relative) value of spreading (defined in Eq. (

*S*− 1.7.6)), e.g., {\mathrm{\Delta}}_{LB}^{MC-1}\left(\gamma \right)\le 2. In any case, all bounds of C{I}_{\gamma}^{MC-1}\left({u}_{i}\right) could be obviously determined after the Monte Carlo-based optimized flux estimation had been obtained after

*L*

_{MAX}=500 performed trials in case of “discarding” strategy was used. In case of “mean-varianced” strategy was applied, the main part of C{I}_{0.95}^{MC-2}\left({u}_{i}\right) (see definition in Additional file 1:

**) bounds (for 41 of 51 fluxes) converged earlier than**

*SF-1.7.**L*

_{MAX}trials were performed under the rigorous convergence conditions, bounds for six additional fluxes demonstrated the convergence under relaxed conditions, and the corresponding bounds of C{I}_{0.95}^{MC-2}\left({u}_{i}\right) were rather closed to the earlier determined bounds C{I}_{0.95}^{MC-1}\left({u}_{i}\right). At the same time, the upper bounds for four residual fluxes ({v}_{9},{\theta}_{10},{\theta}_{22}\text{,} and

*v*

_{23}) did not finalize the convergence process after 500 performed trials (Figure 6B): their minimal upper bound values of C{I}_{0.95}^{MC-2}\left({u}_{i}\right) were gradually decreased in dependence on increased

*L*at the late stage of computation, nevertheless, they remained significantly higher than the corresponding upper bounds of C{I}_{0.95}^{MC-1}\left({u}_{i}\right) (Figure 6A). As could be seen from the (Figure 6C), the reason of this rather slow-speed convergence of several flux bounds was appearance of a small quantity of flux estimations significantly exceeded the ordinary values: “mean-varianced” strategy could not discard these outstanding values and had to accumulate a lot of usual estimations for significant decreasing the totally calculated “mean”.

Summing up, it could be concluded that obtaining a proper approximation of the optimized flux parameters was the most important part of the Monte Carlo based search of C{I}_{\gamma}^{MC}\left({u}_{i}\right): even rather small quantity of significantly differed “outstanding” values in the flux estimations distribution that were obtained when the global minimum was not achieved in the fitting procedure, could significantly increase the width of the evaluated C{I}_{\gamma}^{MC}\left({u}_{i}\right). In the tested cases, the convergence of C{I}_{\gamma}^{MC}\left({u}_{i}\right) bounds was achieved faster (at the smaller number of the performed trials) if the “discarding”, but not “mean-varianced” strategy of the bound determination was used. So, the “discarding” strategy manifested significantly higher resistance for these occasional “outstanding” estimations. Moreover, this strategy was preferable to demonstrate the asymmetric character of optimized flux estimation distribution resulting in the asymmetric locations of the upper and lower bounds presented simultaneously for C{I}_{0.95}^{MC-1}\left({u}_{i}\right), and C{I}_{0.68}^{MC-1}\left({u}_{i}\right), in comparison with symmetric locations of their bounds obtained in case of “mean-varianced” strategy was used (Figure 4).

The later feature of the C{I}_{\gamma}^{MC-1}\left({u}_{i}\right) bounds corresponded well with the parameters of C{I}_{\gamma}^{n-lin}\left({u}_{i}\right) independently obtained by non-linear search developed by Antoniewicz et al. in [28] and implemented in OpenFLUX (see Additional file 1: ** SF-1.6.** for details). All obtained data were presented in the Additional file 3: Table SF-3.6. As could be seen, the most part of C{I}_{\gamma}^{n-lin}\left({u}_{i}\right) parameters coincided rather well with Monte Carlo-based results, especially with C{I}_{\gamma}^{MC-1}\left({u}_{i}\right) bounds (this was true from 39 of 51 fluxes). Nevertheless, in several cases evaluations of the

*CI*

_{ γ }(

*u*

_{ i }) bounds given by Monte Carlo and non-linear approaches differed, and some times significantly (e.g., U{B}_{0.95}^{MC-1}\le U{B}_{0.95}^{n-lin} and, on the contrary, U{B}_{0.68}^{MC-1}\ge U{B}_{0.68}^{n-lin} for the

*θ*

_{14}, and

*θ*

_{22}fluxes; both determined upper bound values for the

*θ*

_{31}-flux confidence interval, U{B}_{0.95}^{n-lin} and U{B}_{0.68}^{n-lin}, was lower in case on non-linear computing). Absolutely statistically incorrect result was obtained for 9 fluxes (e.g.,

*θ*

_{32},

*θ*

_{33},

*v*

_{2},

*v*

_{5}and

*etc*.): estimated upper bound of C{I}_{0.68}^{n-lin}\left({u}_{i}\right) had higher values than their upper bound of C{I}_{0.95}^{n-lin}\left({u}_{i}\right). It seems that these “mistakes” appeared as a result of low accuracy of numerous calculations performed according to non-linear search-based algorithm in the used software. It finally resulted in termination of computation even when necessary optimality conditions were not satisfied and the real global minimum was not reached in the optimization procedure. The proposed modifications targeted to improvement of the calculation efficiency are at the final stages of testing and implementation in new release of OpenFLUX2 software (see, Additional file 1:

**for details). Up today, the current version of OpenFLUX2 contains the initial variant of non-linear algorithm of flux confidence intervals search. Keeping in mind incorrect results that could be computed now for C{I}_{\gamma}^{n-lin} of some fluxes, that are very difficult to recognize without information for comparison, but, on the other hand, very high speed of all flux C{I}_{\gamma}^{n-lin}\left({u}_{i}\right) computation (about one hour for estimation flux statistics for SLE using computers described in Methods), it could be highly recommended to use the current algorithm of C{I}_{\gamma}^{n-lin}\left({u}_{i}\right) non-linear search mainly for quick preliminary evaluation. The accurate determination of**

*SF-1.6.,**CI*

_{ γ }(

*u*

_{ i }) could be performed, e.g. as C{I}_{\gamma}^{MC-1}\left({u}_{i}\right), according to the fine-tunable Monte Carlo based approach with automatic and/or visual control of all bounds convergence.

#### Normalized flux precision function as a measure of flux resolution efficiency

To compare the achieved efficiency of the *u* _{
i
} flux resolution, it is convenient to use the normalized flux precision function (see, Additional file 1: ** SF-1.6.** ) with

*β*as the scaling parameter:

Generally, in this function, {u}_{i}\left(\stackrel{\u2322}{\mathbf{\theta}}\right) is the best available estimation of the unknown true value that can be computed from the SLE- or PLE-based ^{13}C-MFA. In the case of computer simulations, the “true” flux parameters are known: namely {u}_{i}\left(\stackrel{\u2322}{\mathbf{\theta}}\right)={\left({u}_{i}\right)}_{\mathit{true}} were used for the calculation of *η* _{
γ
}(*u* _{
i
}; *β*) values in the present study. In turn, the superscript employed for the *η* _{
γ
}(*u* _{
i
}; *β*) and *CI* _{
γ
}(*u* _{
i
}) functions, e.g., *n-lin* and *MC* − 1, respectively, indicates the method of estimation of the flux confidence interval. So long as the Monte Carlo-based approach with application of “discarding” strategy was used in all examples of the present study as the main method for flux confidence interval determination, we would not specially indicate below the way of determination of flux confidence intervals using the superscript “^{MC-1}”. The variable scaling parameter *β* was set to 0.1 in the present study, and the dependence of the *η* _{
γ
}(*u* _{
i
}) function on *β* as the parameter is not directly indicated in the corresponding equations below for brevity. According to its definition, the *η* _{
γ
}(*u* _{
i
}) function at each fixed *β* parameter is close to “1” for precisely estimated *u* _{
i
} fluxes (with narrow confidence intervals) and is close to “0” for a poorly determined *u* _{
i
}.

The computed values of *η* _{
γ
}(*u* _{
i
}) for the obtained solution of the NLLSP were flux specific and varied from zero to almost unity, with a sum of {\Sigma}_{\eta \left(0.95\right)}={\displaystyle \sum _{\mathrm{i}=1}^{n}{\eta}_{0.95}\left({u}_{i}\right)}=38.3 (see Additional file 3: Table SF-3.6 for details). The flux specificity of the *η* _{
γ
}(*u* _{
i
}) function for the determined metabolic model was subsequently shown to be primarily dependent on the applied labeled tracer (see Figures 7 and 8). Indeed, the high resolution of one set of fluxes (e.g., *v* _{3}: GLC6P →^{FR} F6P; *θ* _{4}: F6P →^{R} GLC6P; *v* _{25}: 3PG→^{F} SER; *θ* _{26}: SER→^{F} GLY + MTHF, with values of {\eta}_{0.95}\left({u}_{i}\right)\in \left[0.65,0.96\right]) and the low resolution of another set of fluxes (e.g., *θ* _{22}: PYR + CO2→^{F} OAA; *v* _{23}: OAA →^{F} PYR + CO2; *θ* _{31}: CO2_EX →^{R} CO2, with *η* _{0.95}(*u* _{
i
}) = 0) are rather typical for experiments using [1-^{13}C]-glucose as the labeled tracer (Figure 7 (A), Figure 8: Column 1). The following indication of the *η* -function emphasizes the type of tracer used and the SLE- or PLE-based character of the provided ^{13}C-MFA: {\eta}_{0.95}\left({u}_{i};{\left[1{-}^{13}\mathrm{C}\right]}_{SLE}\right).

Concerning the tracer-specific values of *η* _{
γ
}(*u* _{
i
}), it was interesting to estimate the sensitivity of this function, which is dependent on flux variances, in the case of five simulated SLEs with the same tracer. The corresponding calculations were provided for 5 independent SLE with earlier simulated MIDs and the measured effluxes with the {\rm N}\left(\mathbf{0},{\mathbf{\sigma}}^{mea}\right) normally distributed random errors (Additional file 3: Table SF-3.6 (Exp.3.1-Exp.3.5)). These data are summarized in Additional file 2: Figure SF-2.5. The calculated mean-doubled measured specific variances did not exceed 0.02 for nearly all fluxes, and they therefore practically did not change the tracer-specific profile of the *η* -function. The summarized values of the *η* -function for all fluxes, (*Σ* _{
η(0.95)}([1 − ^{13}C]_{
SLE
}))_{
k
}, which were calculated for each flux from *k* = 1, 2, …, 5 SLEs, varied in a rather narrow range (between 37.9 and 38.5). Considering the total number of fluxes (equal to 51) for the assumed metabolic model and the detected measurement-dependent sensitivity of the *η* -function, if the difference between the *Σ* _{
η(0.95)} values is no greater than 1, then the LEs can be considered to be provided with an essentially equivalent flux precision. Certainly, the value of *Σ* _{
η(0.95)} could be considered only as a general, conditional measure of flux resolutions in the investigated network: some metabolic branches could be resolved better, and other branches – worse in different experiments with, perhaps, equal values of summing normalized flux precision functions. So, only the value of the *η* _{
γ
}(*u* _{
i
}) -function could be considered as the absolute measure of the *u* _{
i
}-flux resolution efficiency that could be compared with other LEs performed with the same metabolic model.

#### The necessity of a comprehensive statistical analysis of the NLLSP solution

In the present study, the results of the ^{13}C-MFA included the set of estimated fluxes, the goodness-of-fit of the model’s adequacy, and the confidence intervals of fluxes, in accord with the recently recommended publishing guidelines [70]. As shown in Additional file 1: ** SF-1.4.** , the comprehensive goodness-of-fit analysis had to consist of the

*χ*

^{2}-mediated testing of the Ξ(

**θ**) objective function at the point of convergence, \stackrel{\u2322}{\mathbf{\theta}}, and confirmation that the individual weighted residuals used as the summands of this function were \mathrm{{\rm N}}\left(0,1\right) distributed. The solution of the constrained NLLSP was considered statistically acceptable only if all of the tests were successfully passed.

In this report, an example is presented in which the mistaken flux parameters could be assumed when the statistical analysis of the obtained solution was partially provided but to an insufficient extent. Let us analyze the first from five earlier described *in silico* experiments with 99% [1-^{13}C]-glucose as a tracer (see Table 1
**(Exp_3.1)**). The “contribution matrix” (see Additional file 1: ** SF-1.5** ), \mathbf{C}\mathbf{M},dim\left(\mathbf{C}\mathbf{M}\right)=\left(n\times w\right), was computed at the true point,

**u**(

**θ**

_{ true }), as an important component of the flux statistics (Additional file 3: Table SF-3.12). It is known [28] that the (

**CM**)

_{ ij }elements of this matrix indicate the relative importance of the variance of the

*j*-th measurement to the local variance of the

*i*-th flux. As can be observed in Additional file 3: Table SF-3.12, the variances of the “serine” MIDs demonstrated the high importance of the flux resolution among MS measurements; all matrix columns corresponding to the SER mass isotopomers showed rather high sums of their elements. The variances of these “serine” (“SER”) MIDs significantly influenced the resolution of several fluxes ({\theta}_{8},{\theta}_{22},{v}_{23},{\theta}_{31}) for the following reactions: GLC6P →

^{F}P5P + CO2; PYR + CO2 →

^{F}OAA; OAA →

^{F}PYR + CO2; and CO2_EX →

^{R}CO2, respectively. The new set of “experimental data” was generated in the following fashion: the measured effluxes and all MIDs, except for “SER” MIDs, were considered as in the previously analyzed example. The “SER” MIDs were modified as in the case of “poor” resolution of the SER-390 (m + 0) MID, which exhibited an unknown by-product that increased the value of the corresponding SER peak to +4.5%. Due to the necessity of normalizing all SER-isotopomers, the applied modification resulted in a proportional decrease in the other SER MID portions; therefore, the SER-390 MIDs were modified from (m + 0)/(m + 1)/(m + 2)/(m + 3) = 0.443/0.357/0.140/0.042 (in the previously described example) to a ratio of 0.463/0.344/0.135/0.040.

This “mistakenly” modified set of “experimental data” was used to generate the newly constrained NLLSP. A unique solution, corresponding to the minimal values of the Ξ = Ξ(**θ**) objective function with the empty null space of the **J** _{
f
}(**θ**) matrix evaluated at the new point of convergence, \mathbf{\theta}={\stackrel{\u2322}{\mathbf{\theta}}}_{\mathrm{new}}, was found. Moreover, the value of \mathrm{\Xi}\left({\stackrel{\u2322}{\mathbf{\theta}}}_{\mathrm{new}}\right) was in the *χ* ^{2} -statistically acceptable interval (see Table 1
**(Exp_4.1)**). Simultaneously, the parameters obtained for several fluxes did not coincide with the true flux values even in the range of their confidence intervals. Among them there were fluxes *θ* _{8} and *θ* _{31} (Figure 9 (I - B)) which exhibited variances that were essentially determined by SER MID measurements. The fact that the obtained flux parameters were incorrect could be established only at the stage of normality distribution testing of the weighted residuals; three variance-weighted residuals corresponding to “SER-390” MIDs and one corresponding to “alanine (ALA)-260” were shown to be located outside of the 95% confidence interval (Figure 9 (II-B)). According to the general recommendation presented in ** SF-1.4** , improvement of the solution statistics could be achieved due to the excision of the “prominent” residuals from the expression for the objective function followed by the repeated solution of the constrained NLLSP with the partially truncated Ξ function. Two alternative NLLSPs were generated where ALA or SER MIDs were excluded from the “experimental data” set. Parameters obtained after solution of the NLLSP with ignored “ALA-260” MIDs did not coincide with the true flux values in the range of their confidence intervals (Figure 9 (I-C)). Moreover several variance-weighted residuals still located outside of the 95% confidence interval including that of “SER-390” (Figure 7 (II-C)). In contrast, the proper statistically acceptable solution was obtained for NLLSP with ignored “SER-390” MIDs, which coincided with true fluxes in the range of the determined flux confidence intervals (Figure 9 (I-D) and (II-D)). Thus, “incorrect flux parameters” could be assumed if test for normality of variance-weighted individual residual distribution is ignored. Certainly, higher negative influence on the proper flux estimation could be assumed if

*χ*

^{2}-statistically unacceptable solution is obtained. Analysis of variance-weighted residuals plot followed by step by step exclusion substances with prominent residuals, as described in the example, could help to identify “incorrect measurements” and, perhaps, to obtain statistically acceptable solution with correctly estimated parameters.

It is obvious that measured MIDs and effluxes’ parameters are completely separate categories of experimental data that could not be trivially compared. It is well established [3] that labeling experiments are performed to resolve internal fluxes, even parallel and cycle pathways, and reversible reactions, which cannot be resolved on the basis of measured effluxes. Nevertheless, the variances of the measured effluxes could provide the most significant influence on the resolution of some fluxes, as could be seen from the values of the corresponding (**CM**)_{
ij
} elements in the Additional file 3: Table SF-3.12. Thus, generally, it is desirable to execute the efflux measurements with the highest possible accuracy to decrease the variances and totally improve the flux resolution. One of the interesting step in this direction has been done recently when the authors tried to increase the measurement accuracy for an efflux corresponding to quantifying biomass composition due to exploiting of the high-precision GC-MS technique [71]. Unfortunately, in many cases, the efflux measurements as the stage of labeling experiment have received much less attention than the more glamorous stages of the subsequent highly-precised MS-based measurements.

#### Simulations of LEs with [U-^{13}C]-glucose as a tracer

A uniformly ^{13}C-labeled isotopomer of glucose, [U-^{13}C]-glucose, is often used as a tracer in ^{13}C-MFA. In the present study, new sets of “experimental data” were generated for the same metabolic model when different relative amounts of [U-^{13}C]-glucose (20%, 35%, 50%, 65%, and 80%) mixed with non-labeled ([U-^{12}C]) glucose were used as the sole carbon source (Additional file 3: Table SF-3.8).

Statistically acceptable solutions were obtained for constrained NLLSPs for five independent SLEs and for a PLE using all of the generated “experimental data” for fitting to the single metabolic model (see Table 1
**(Exp_5.1-Exp_5.5; PLE_1)** and Additional file 3: Table SF-3.8). As shown by the presented data, the SLE-based ^{13}C-MFA resulted in values between 35.4 and 40.4 for the *Σ* _{
η(0.95)}([U − ^{13/12}C]_{
SLE
}) function (Additional file 3: Table SF-3.8). Again, a set of tracer-specific fluxes that possessed rather high values of the *η* -function could be detected (at least more than in the case of exploiting [1-^{13}C]-glucose as a tracer), e.g., *θ* _{22}: PYR + CO2 →^{F} OAA; *v* _{23}: OAA →^{F} PYR + CO2; *θ* _{31}: CO2_EX →^{R} CO2. The PLE-based ^{13}C-MFA of experiments using [U-^{13/12}C]-glucose as the carbon source actually improved the resolution of all fluxes estimated in the corresponding SLEs, *Σ* _{
η(0.95)}([U − ^{13/12}C]_{
PLE
}) = 42.4. Moreover, the tracer-specific behavior described in relation to SLEs was reproduced in the PLE. The colored scheme presented in Figure 7 and the diagram in Figure 8 correspond to the calculated values of the *η* -function for all fluxes obtained in different experiments, illustrating this fact and demonstrating that optimization of the experimental design is necessary to increase the precision of the targeted fluxes [19],[49],[54],[62].

#### Optimal design for LEs using mixtures of [U-^{13}C]-, [1-^{13}C]-, and [U-^{12}C]-glucose isotopomers

To achieve the best flux resolution in an LE employing a mixture [U-^{13}C]-, [1-^{13}C]-, and [U-^{12}C]-glucose isotopomers as the carbon source, optimization of the experimental design could be performed according to the method proposed by Möllney et al. [19]. In their study, the comparison of different designs was based on an evaluation of *D*-factor values [72], i.e., the squared volumes of the flux confidence ellipsoids for a given confidence level. According to [19] and using the notations introduced in the present study, the squared volume of the *p*-dimensional confidence ellipsoid for free fluxes, which was evaluated at the point of convergence, \mathbf{\theta}=\stackrel{\u2322}{\mathbf{\theta}}, could be obtained (up to a constant that does not depend on designed parameters) using the following expression:

where {\mathrm{\Sigma}}_{\stackrel{\u2322}{\mathbf{\theta}}} is a covariance matrix of the free fluxes estimated according to linearized statistics (see Additional file 1: ** SF-1.5.** ) and to the approximation of this matrix by the inverse Hessian matrix presented in Eq. (

*A*2 − 10) Additional file 1:

**. Specifically, the last equality from Eq. (5) was used for computation of the**

*SF-1 Appendix 2**D*-factor. According to a previous suggestion [19], the use of the value of the \sqrt[2p]{D} parameter, which can be interpreted as an average length of the confidence interval of estimated fluxes, is more suitable. As noted previously, the confidence ellipsoid volume estimation provided by Eq. (5) holds true within some vicinity of the predefined point \mathbf{\theta}=\stackrel{\u2322}{\mathbf{\theta}} and can change due to a shift in that point [19]. Because the true values of the free fluxes were known for our artificial metabolic model, the optimization of the experimental design, which was dependent on the tested

^{13}C-labeled tracers, was significantly simplified and was based on the computation of the determinant of the inverse Hessian matrix evaluated at the point

**θ**=

**θ**

_{ true }. In practice, when the true flux values are not known

*a priori*, they are assumed, for example, from data in the literature, FBA or even from

^{13}C-MFA performed on the basis of a rather inexpensive label [37],[63]. In some cases, a second round of experimental design optimization is necessary if the proposed flux distribution is far from the feasible point of convergence obtained in a planned labeling experiment [73],[74]. In the present study, all of the new experimental designs were compared with the reference design (SLE with 99% [1-

^{13}C]-glucose as the tracer) using the value of the \sqrt[2p]{D} parameter. In addition to the “general optimization” achieved due to the minimization of the relative value of the average confidence interval length:

“partial optimization” could be obtained as a result of minimization of the standard deviation of the targeted *θ* _{
i
} free flux, which, in turn, was approximated as the square root of the corresponding diagonal element of the {\mathrm{\Sigma}}_{\stackrel{\u2322}{\mathbf{\theta}}} matrix:

The results of the corresponding computations performed using the special subprograms implemented in OpenFLUX2 software are presented in Additional file 2: Figure SF-2.6. According to the provided calculations, “general optimization” required the use of a mixture of [1 − ^{13}C]^{78 %}/[U − ^{13}C]^{22 %} glucose isotopomers in the SLE (Additional file 2: Figure SF-2.6 (A)). Interestingly, these *D*-factor-mediated optimized tracer compositions were extremely close to the [1 − ^{13}C]^{80 %}/[U − ^{13}C]^{20 %} -labeled mixture of glucose that has been used without any calculations to achieve a rather high flux resolution in other experimental systems (e.g., *Escherichia coli*-based systems [48], in particular). In contrast, the same *D-*criterion-based approach resulted in another optimal mixture of the same glucose isotopomers ([1 − ^{13}C]^{48 %}/[U − ^{13}C]^{40 %}/[U − ^{12}C]^{12 %}) when some modifications differed in the metabolic model of the l-lysine-producing *C. glutamicum* strain applied in the present study, and plans were made to obtain another set of measurements [19].

According to the provided computations, “partial optimization,” i.e., the optimal resolution of different targeted free fluxes, had to be achieved in the SLEs with the distinguished mixtures of the same glucose isotopomers (e.g., see Additional file 2: Figure SF-2.6 (B - F)). Several of the proposed optimal designs (e.g., see Figure 10 (I)) were realized using computer simulations, and the set of experimental data was generated, followed by a search of the solution for the corresponding constrained NLLSP. One of the simulated SLEs was performed using the “generally optimized” mixed tracers, five others employed the “partially optimized” mixtures, and five experiments were performed with the randomly chosen mixture of [1 − ^{13}C], [U − ^{13}C] and [U − ^{12}C] glucose isotopomers (“randomly mixed”) as the tracers. As shown in the presented results (Additional file 3: Table SF-3.9), the SLE with “generally optimized” conditions resulted in *Σ* _{
η(0.95)}([1 − ^{13}C]^{78 %}[U − ^{13}C]^{22 %}
_{
SLE
}) = 38.4, with “partially optimized” conditions – {\Sigma}_{\eta \left(0.95\right)}\left(\mathit{ParOp}{t}_{SLE}\right)\in \left[36.0,38.7\right], and with “randomly mixed” tracers – {\Sigma}_{\eta \left(0.95\right)}\left(\mathit{RanMi}{x}_{SLE}\right)\in \left[35.2,39.1\right]. It has to be especially noted, that SLEs with the higher calculated values than *Σ* _{
η(0.95)} = 38.4 was detected here, and among described earlier (see, final Additional file 3: Table SF-3.11), and so “general” and/or “partial” optimizations does not result in maximization of the sum of normalized precision functions for all fluxes, *Σ* _{
η(0.95)}. Simultaneously, the free fluxes, *θ* _{
i
}, that were used as the targets for the partial optimization generally showed the best resolutions (i.e., the narrowest confidence intervals, *CI* _{0.95}(*θ* _{
i
}), (Figure 10 (II)) and the highest values of the *η* _{0.95}(*θ* _{
i
}) function (Figure 10 (III)) among all of the estimations obtained for different SLEs that could be provided using all possible combinations of the tested tracers. The detected exceptions (see Figure 10(II) (D)) could most likely be explained by the simplified linearized statistics used for design optimization; however, a Monte Carlo-based approach was later performed to calculate the non-symmetrical flux confidence intervals.

It was interesting to see the possible effect of “general” and “partial” optimizations when the corresponding set of independently analyzed SLEs was considered as LEs in a PLE, followed by rigorous fitting of all of the simulated “experimental” data to the single metabolic model. The set of PLE-based experiments consisted of 5 earlier analyzed SLEs consisted of “generally” and “partially” optimized, as well as “randomly mixed” tracers were analyzed. As could be expected, the PLE consisted of “generally” and/or “partially” optimized LEs were among experiments with the most precisely resolved fluxes (with the maximal values of *Σ* _{
η(0.95)}). On the other hand, the real difference between summarized values of the *η* -function for all fluxes determined for these PLEs was very small (between 42.7 and 44.2 see, Additional file 3: Table SF-3.9) and all of these values significantly exceeded the corresponding sum estimated for any SLEs among used in this comparison. So, the positive effect of PLE-based experiment provided with many LEs substantively differed in the used tracers was so significant, that further improvement of flux resolution due to additional optimization of experimental design could have rather marginal positive sense.

####
^{13}C-MFA for SLEs/PLEs with singly ^{13}C-labeled-glucose tracers

It has been repeatedly shown [19],[59],[72] that significantly improved resolutions of fluxes from different parts of a metabolic network can be achieved using commercially available or specially synthesized singly or multiply ^{13}C-labeled glucose isotopomers other than the previously applied and cheapest [1-^{13}C] and [U-^{13}C] variants. Moreover, the COMPLETE-MFA approach, using all singly labeled glucose tracers ([*i*-^{13}C]-glucose, where *i* = 1, 2, …, 6) in the individual LEs of the PLE, was recently developed to evaluate metabolic fluxes for the metabolic model of wild-type *Escherichia coli* with a high precision [58]. Additionally, the PLE included two LEs with only [2-^{13}C]-glucose, and separate [3-^{13}C]-glucose in the medium provided the most precise fluxes for the *E. coli* model among all possible paired combinations of singly labeled glucose added as the sole tracer.

It was of interest to evaluate the advantages of this approach in the case of another metabolic model used in the present study. Initially, the possible exploitation of all six singly labeled ^{13}C-glucose isotopomers, which were separately added to the medium as tracers for SLEs and PLEs, was investigated. The solutions of the corresponding constrained NLLSPs are summarized in Additional file 3: Table SF-3.10 and Figure 8: Columns 1 – 6. The following conclusions were drawn from these data. Initially, the values of the normalized flux precision function varied significantly for individual fluxes in a tracer-dependent manner, and it was not the best singly labeled glucose tracer for the estimation of all fluxes in the assumed metabolic model. Indeed, according to the formally computed value of the *D*-factor (see (*S* − 1.5.14)) for the six singly labeled tracers, the volume of the confidence ellipsoid for free fluxes had to be increased in the following order for the applied tracers:

i.e., the minimal volume of the confidence ellipsoid for free fluxes could be obtained using [3-^{13}C]-glucose as a singly labeled glucose tracer. Simultaneously, a different order of the tracers could be formed by increasing the summarized values of the normalized flux precision functions, *Σ* _{
η(0.95)}([*i* − ^{13}C]_{
SLE
}) ≡ *Σ* _{
η
}(*i*), *i* = 1, 2, …, 6:

i.e., [4-^{13}C]-glucose was the best tracer according to this *Σ* _{
η
} -based criterion; namely, [4-^{13}C]-glucose was the best tracer for determining 13 fluxes, and the corresponding values of the *η* -function for this tracer for 28 other fluxes were among the maximal values in the range of no more than 0.02, which is a typical value for measurement-specific errors. Notably, the applicability of [4-^{13}C]-glucose as the tracer for the efficient resolution of primary branch points and reversibilities was previously demonstrated for a similar *C. glutamicum* metabolic model [49].

The flux resolution obtained in each of the six independent LEs could clearly be improved via PLE-based flux analysis if two or more LEs were combined in the PLE. The corresponding calculations for the possible pair combinations are provided (see Additional file 3: Table SF-3.10), which resulted in the conclusion that the combination of [2-^{13}C]-glucose and [1-^{13}C]-glucose provided the most precise fluxes. In contrast, the use of [2-^{13}C]-glucose and [5-^{13}C]-glucose as the tracers in two independent LEs provided the least precise fluxes:

The results concerning the flux resolution obtained in experiments using singly labeled tracers demonstrated the model specificity of the experimental design optimization. Indeed, [4-^{13}C]-glucose was one of the best tracers for the resolution of a large portion of the fluxes for the assumed *C. glutamicum* model and was one of the worst tracers for determining precise fluxes in the *E. coli* model [58]. Furthermore, the best detected pair combination {\left({}_{j=2}^{i=1}\right)}_{PLE} for the resolution of fluxes in the model applied in the present study differed from the {\left({}_{j=3}^{i=2}\right)}_{PLE} combination, which is best for *E. coli* [58].

In full accordance with the published data on the *E. coli* model [58], a significant improvement of the flux resolution was detected under the COMPLETE-MFA approach, where all six singly ^{13}C-labeled glucose isotopomers were used separately as tracers in the individual LEs combined in the PLE (Figure 6: Column 13). Indeed, the computed value of the normalized flux precision function for all fluxes was as follows:

The flux resolution detected in this PLE was the best among the above-described resolutions obtained in the present study. It was clear that this result was obtained through PLE-mediated ^{13}C-MFA due to the synergy of complementary information concerning the highly efficient resolution of the set of fluxes from the different parts of the metabolic model and the dependence of these sets on the different tracers used in individual LEs. Performing partial optimization of the experimental design for individual LEs for further PLE-based ^{13}C-MFA it seemed probable to improve the flux resolution.

To test this possibility, partial optimization was conducted by searching the minimal linear approximation of free flux variances in the triangle composed of all possible mixed tracers, which consisted of the three singly labeled glucose isotopomers ([1-^{13}C], [3-^{13}C], and [4-^{13}C]) that previously resulted in the best flux resolution according to the *Σ* _{
η
} -based criterion (see Additional file 3: **Exp. 9**). The obtained results are presented in Additional file 2: Figure SF-2.7. The set of minimal free flux variances could be observed to correspond closely to the corners of the tested triangle (e.g., for fluxes *θ* _{4}, *θ* _{14}, *θ* _{22}, see Additional file 2: Figure SF-2.7 (B), (D), and (F), respectively), and three minima were detected approximately at the middle positions of the triangle’s sides (for fluxes *θ* _{8}, *θ* _{10}, *θ* _{26}, see Additional file 2: Figure SF-2.7 (C), (E), and (G), respectively). It was interesting to mention, that all singly labeled glucose isotopomers used in these calculations could be considered as “partially optimized” for some free fluxes in the current metabolic model. According to this partial optimization, two PLEs were designed. The first consisted of three LEs with separately applied singly [1-, 3-, or 4-^{13}C] labeled glucose. The second PLE consisted of six LEs, where, in addition to the three LEs from the previous PLE, three LEs used the optimized mixed paired combinations of glucose isotopomers. The corresponding PLEs were simulated, and ^{13}C-MFA was performed, resulting in solutions of NLLSPs with highly resolved fluxes (Figure 7 (D) and (E)). Concerning the PLE consisting of three LEs (Figure 8: Column 10), the corresponding value of *Σ* _{
η(0.95)}(1, 3, 4)_{
PLE
} = 44.6 Additional file 3: (Table SF-3.10) significantly exceeded the best parameters obtained for the pairs of tracers, and was more than earlier obtained for PLEs from 5LEs with another tracers (see previous item). In turn, the flux precision obtained in the second PLE (Figure 8: Column 12) was approximately identical (maybe even slightly exceeded) to the previously described result for COMPLETE-MFA performed with six different singly labeled isotopomers of glucose (Additional file 3:Table SF-3.10**,** Figure 8: Column 11):

Notably, an exceptionally high flux resolution was obtained in both PLEs including 6 LEs. For all fluxes, *η* _{0.95}(*u* _{
i
}) > 0; i.e., the length of the 95% confidence interval did not exceed the value of the corresponding flux corrected by the scaling factor.

## Conclusions

The main aim of the present study was to extend the possibilities of the previously developed open-access OpenFLUX software for comprehensive ^{13}C-MFA. These extensions included (*i*) fitting the obtained experimental data, not only in SLEs but also in PLEs, to the assumed metabolic model; (*ii*) computing the flux parameters and providing the goodness-of-fit of the model’s adequacy, followed by an estimation of the model’s viability and its probable improvement; (*iii*) fine-tunable and convergence-controlled Monte Carlo-based approach to obtain distribution of optimized flux estimations followed by precise computing of flux confidence intervals; and (*iv*) conducting general and/or partial experimental design through searching for the minimal value to characterize the average confidence interval length for all free fluxes and/or the minimal linear approximation of the targeted free flux variances, respectively. The considered examples demonstrated the specific features of these steps and their concerted essentiality for obtaining statistically verified results of the described ^{13}C-MFA provided with the help of OpenFLUX2.

Introducing the normalized flux precision function, *η* _{
γ
}(*u* _{
i
}; *β*), allowed for the quantitative characterization of the efficiency of the flux resolution at a confidence level of *γ*, with values of *η* close to “1” or “0” being obtained for efficiently or poorly resolved fluxes, respectively, depending on *β* as the scaling parameter, in particular. Moreover, the sum of *η* for all of the evaluated fluxes in the model, *Σ* _{
η
}, could be a rather convenient parameter for conditional comparison of the flux precision achieved in different experiments, i.e., depending on the tracer(s) used.

The goodness-of-fit test of the assumed metabolic model’s adequacy is an essential and extremely important part of the statistically verified solution of the NLLSP. This test involved not only obtaining the *χ* ^{2} -statistically acceptable value of the Ξ(**x** ^{input}, **x** ^{mea}, **σ** ^{mea}, **θ**) objective function but also confirmation of the expectation concerning the \mathrm{{\rm N}}\left(0,1\right) distribution of its summands. Providing an insufficient goodness-of-fit test could result in mistaken flux estimations, and the computed contribution matrix could be helpful for improving the statistical properties of the obtained solutions. It is desirable to retain the summands corresponding to the most important measurements if some of the “outstanding” variance-weighted residuals must be deleted to satisfy the normalization criterion.

The assumed metabolic model clearly influences the optimization of the experimental design and, ultimately, the precision of the flux estimation. Nevertheless, according to comparative calculations, the complementary parallel experimental labeling technique for metabolic flux analysis (COMPLETE-MFA [58]) using a set of different labeled tracers, e.g., singly ^{13}C-labeled glucose isotopomers or combinations of mixed labeled tracer(s), chosen according to the partial optimization of the targeted fluxes, usually resulted in better flux precision compared with the resolution of fluxes computed from SLE data, which were provided according to a sophisticated general experimental design strategy. Only one simplified metabolic model, consisting of an l-lysine-producing *C. glutamicum* strain, was used for the simulation of experimental data and for comprehensive ^{13}C-MFA in the present study; however, the obtained general conclusions coincided well with the data reported by other groups working with other models (e.g., [48],[58]).

We hope that the developed OpenFLUX2 open-access software adjusted for comprehensive ^{13}C-MFA of SLE and PLE data will help to broaden investigations aimed at quantitatively estimating the cellular metabolic state with high precision.

OpenFLUX2 is being released as open-source software. Regarding the citation of the OpenFLUX2 application, it is highly recommended that the present paper be cited, adding that this software is an extended version of the OpenFLUX open-source software described in [33].

## Methods

###
*In silico*experiments

#### Metabolic and isotopomer balance models

The *C. glutamicum* metabolic model used as an example included catabolic reactions of the central metabolism, such as the Embden-Meyerhof-Parnas (EMP) and pentose phosphate (PP) pathways, the tricarboxylic acid (TCA) cycle, anaplerotic carboxylation, and the decarboxylation reaction of oxaloacetate and malate. Moreover, the pathways for the biosynthesis and transport of l-lysine and different extracellular co-products (glycine, trehalose, lactate, and α-ketoglutarate) were included. For glycine synthesis, two possible pathways, starting from serine and threonine [75],[76], were considered. The glyoxylate bypass (shunt) was assumed to be inactive [39]. Pools of pyruvate/PEP or oxaloacetate/malate were lumped, followed by the expression of reactions catalyzed by PEP/PYR carboxylase or by PEP carboxykinase/malic enzyme as an irreversible reaction. To achieve accurate accounting of CO_{2}-associated carbon transfer, the reactions, accompanied by CO_{2} production or consumption, were expressed in an explicit manner, including an anabolic reaction and a reaction involving CO_{2} exchange with environment. Additionally, the linear consequence of the irreversible reactions was represented as a single reaction. The forward and reverse components of a bi-directional reaction were considered as two non-negative fluxes. The biosynthetic pathways for the following amino acids were expressed explicitly: (*i*) the amino acids whose mass isotopomer distribution (MID) was assumed to be measured and (*ii*) the amino acids whose synthesis was accomplished by CO_{2} release. In Figure 2, for simplicity, the amino acid biosynthetic pathways are expressed schematically as a drain of the precursors to amino acids. Anabolic demand is represented in a slightly different manner than in previous studies [33],[68]. Specifically, a single biomass equation was designed by presenting the biomass composition of *C. glutamicum* [75] as the sum of the amino acids whose biosynthesis was expressed explicitly and the residual amounts of the precursors drained to produce biomass. The reactions involved in alanine, aspartate, and glutamate synthesis were used to map the MID of the metabolite onto the MID of the corresponding amino acid (S-type reactions according OpenFLUX(2) notation), whereas the anabolic demand to synthesize these amino acids was considered through precursors. The anabolic demand for lysine included both the lysine used in protein synthesis and the diaminopimelate used in cell wall synthesis, as previously described [75].

The resulting metabolic model contained 54 reactions and 36 balanced metabolites. The reactions, which only map the labeled distribution of the metabolite onto the corresponding amino acid (e.g., pyruvate to alanine), did not participate in the stoichiometric balance. Thus, the stoichiometric matrix **S**, dim(**S**) = (36 × 51), with 36 balanced metabolites, 51 unknown fluxes, and *r* = rank(**S**) = 36, was finally generated. As a result, 15 fluxes should be assigned as free. Seven fluxes were experimentally determined effluxes, which included biomass biosynthesis (1 flux), the effluxes of secreted products (5 fluxes), and the glucose uptake rate (1 flux). Unless otherwise stated, these fluxes were considered free fluxes constrained according to Eq. (*S* − 1.2.2) with the experimentally determined parameters {\mathbf{V}}_{\mathit{eff}}^{mea},{\mathbf{\sigma}}_{\mathit{eff}}^{mea}; thus, these fluxes subsequently formed the corresponding residuals in the SS{R}_{\mathbf{f}}^{SLE} objective scalar-function Eq. (*S* − 1.3.7), which was subjected to a least-squares minimization procedure. Five free fluxes were automatically assigned due to their accordance to the reverse reactions: (*i*) in the non-oxidative branch of the PP pathway (3 fluxes), (*ii*) catalyzed by glucose-6-phosphate isomerase (1 flux), and (*iii*) for the carbon dioxide intracellular exchange (1 flux). The three remaining free fluxes were previously automatically assigned using OpenFLUX software [33]. There were fluxes corresponding to irreversible reactions catalyzed by glucose-6-phosphate dehydrogenase in the PP pathway, PEP/PYR carboxylase in the PEP-PYR-oxaloacetate node, and glycine synthesis in the serine-glycine biosynthetic pathway.

An isotopomer model was automatically built based on the EMU approach that simulated the MIDs of target compounds from the known MIDs of input substrates. The input substrates were specifically labeled glucose and naturally labeled CO_{2} (^{13}C isotope abundance of 1.07%). In total, 17 sets of matrix equations of EMU balances were used to calculate the 107 unknown EMUs from 15 known EMUs of input substrates. The application of the EMU approach reduced the number of unknown variables from 9,138 unknown scalar variables in the full isotopomer model to 360 scalar MID variables, corresponding to 107 unknown EMUs.

#### Data used for estimating true flux values in the assumed model

Initially, the calculation of “true” flux values for the assumed metabolic model was performed using experimental data on effluxes and MIDs, together with their variances, available from the literature [33],[68]. The published labeling patterns of the proteinogenic amino acids were determined due to GC-MS-mediated selective ion monitoring of selected ion clusters, representing [M-57] fragments with the complete carbon skeletons of the amino acids. The simulated MIDs of a compound with *n* carbon backbone atoms was represented by a mass distribution column vector (MDV), whose elements corresponded to the fractional abundances ({x}_{{m}_{0}+i}) of mass isotopomer *m* _{0} + *i* (*i* = 1, 2, …, *n*), with {\displaystyle \sum _{i=0}^{n}{x}_{{m}_{0}+i}}=1, where *m* _{0} is the molecular weight of an unlabeled compound. As the published MIDs were uncorrected in accordance with the natural mass isotopomer abundance, all the simulated EMU variables were modified for mass interference from non-carbon backbone isotopes in dependence on the chemical structure of the derivatized substance according to the method developed in [77]. Then for each fragment, the first (*n* + 1) simulated mass isotopomers (*m* _{0}, *m* _{1}, …, *m* _{
n
}) were normalized to unit followed by truncation of the isotopomers number to the dimension of the {\mathbf{x}}_{MID}^{mea} vector before performing least-square analysis. The measured MIDs dim\left({\mathbf{x}}_{MID}^{mea}\right)=\left(3\times 1\right), i.e., only (*m* _{0}, *m* _{1}, *m* _{2}) were presented for derivatized mass isotopomers fragments of Ala-260, Val-288, Thr-404, Asp-418, Glu-432, Ser-390, Phe-336, Tyr-466, Tre (trehalose)-361 isotopomers, and MIDs dim\left({\mathbf{x}}_{MID}^{mea}\right)=\left(2\times 1\right), for (*m* _{0}, *m* _{1}) of Gly-246. At the same time, an extremely small MID variance of 0.15% for mass isotopomer fractional abundances was indicated in [68] and accepted in [33], which ultimately led to rather large and statistically non-acceptable values of the objective function, i.e., the variance-weighted sum of squared residuals, calculated at the point of convergence (\mathrm{\Xi}\left(\stackrel{\u2322}{\mathbf{\theta}}\right)\equiv 2\cdot SS{R}_{\mathbf{f}}^{SLE}\left(\stackrel{\u2322}{\mathbf{\theta}}\right), according to the notations of the present publication (see Additional file 1: ** SF-1.3.** ). These MID variances were assumed to be significantly underestimated. Indeed, the minimal published GC-MS measurement errors are usually approximately 0.2-0.4 mol% [78], and values of this magnitude have been used for variance weighting in studies where

^{13}C-MFA has been applied [53],[58],[79]. To achieve statistically acceptable model fitting for the MIDs measured in [68] and to demonstrate all of the essential stages of the statistical analysis of the solution to the constrained NLLSP provided by the designed OpenFLUX2 software, the MID variances were assumed to be equal to 0.15 mol% for mass isotopomer fractional abundances (instead of 0.15%, as in [68]).

#### Generation of new “experimental data”

To generate new “experimental data” for *in silico* LEs, the OpenFLUX(2) forward simulation option was used, which calculated the MIDs of selected EMU variables from the assumed metabolic and isotopomer networks as well as the known label states of input substrates (^{13}C-tracer(s)) and the assumed values of the fluxes. Unless otherwise stated, the true flux values, **u** _{
true
}(**θ** _{
true
}), were used for direct “experimental” data simulation in the present study. An isotopic purity of 99% was assumed for all of the specifically labeled carbons in the input substrates, and natural enrichment (1.07%) was assumed for other carbons. Again, the simulated MIDs of a substance with *n* carbon backbone atoms were represented by MDV with (*n* + 1) elements, {x}_{{m}_{0}+i},i\mathit{=}1\mathit{,}\phantom{\rule{0.5em}{0ex}}2\mathit{,}\phantom{\rule{0.5em}{0ex}}\dots \mathit{,}\phantom{\rule{0.5em}{0ex}}n{\displaystyle \sum _{i=0}^{n}{x}_{{m}_{0}+i}}=1. The natural mass isotopomer abundance of non-carbon-backbone atoms was generated according to the method [77] that resulted in significant increasing of the elements number in MDV for each tested substance, but OpenFLUX2 automatically truncated these mass isotopomers up to the first (*n* + 1) (with or without their normalization according to the user’s choice) (Additional file 3: Table SF-3.2). Then, mass isotopomer fractional abundances of lower than 0.04 (i.e., ≤ 4 mol%) from the total of 1 (i.e., 100 mol%) for each derivatized fragment were excluded from the set of simulated “experimental data,” thus modeling the limited sensitivity of the MS equipment. It is important to mention, that this procedure of the experimental data generation resulted in dependence of {\mathbf{x}}_{MID}^{mea} vector dimension for each “measured” substance not only on its specific number of carbon backbone atoms, but on the different ^{13}C-labeled tracers used in the simulated experiments. At the final stage of “experimental” MID generation, mass isotopomer fractional abundances were corrupted with \mathrm{N}\left(\mathbf{0},{\mathbf{\sigma}}_{MID}^{mea}\right) distributed noise, where {\left\{{\mathbf{\sigma}}_{MID}^{mea}\right\}}_{i}=0.4\left[\mathrm{mol}\%\right],i=1,2,\dots ,{w}_{MID}. As a result, a set of non-normalized, noisy MS “experimental data,” {\mathbf{m}}_{MID}^{mea}, that were corrected for the presence of natural isotopes, was generated for each LE according to the described procedure.

Another type of “experimental data” used during the *in silico* experiments was measured effluxes, {\mathbf{V}}_{\mathit{eff}}^{mea}. To generate these data, the “true” value of each efflux was corrupted with noise distributed as \mathrm{N}\left(0,{\left\{{\mathbf{\sigma}}_{\mathit{eff}}^{mea}\right\}}_{\mathit{j}}\right), where {\left\{{\mathbf{\sigma}}_{\mathit{eff}}^{mea}\right\}}_{\mathit{j}} was the experimentally determined standard deviation for each *j*-th efflux [68]. As a result, the full set of the “experimental data,” {\mathbf{m}}^{mea}=\left(\begin{array}{l}{\mathbf{m}}_{MID}^{mea}\\ {\mathbf{V}}_{\mathit{eff}}^{mea}\end{array}\right), was generated for the *in silico*-simulated LE.

#### Flux estimation and statistical analysis

Flux estimation, identifiability, and goodness-of-fit analyses were performed using OpenFLUX2 software. To determine the global minimum of the constrained NLLSP, as a rule, 100 independent iterative trials, starting from randomly selected points from a feasible constrained domain in the free flux variation space, ℜ^{p}, were applied. In special cases, e.g., when the minimal value of the Ξ function was achieved in only a few trials, the number of iterative trials was increased to 300 to verify the detected global minimum. Only those iterative trials were used for analysis, which were terminated by satisfaction of the termination criteria without constraint violation (see Additional file 1: ** SF-1.3.** ).

Monte Carlo-based approach included previously in OpenFLUX, but significantly modified in the OpenFLUX2 software for convenience of the computation process tuning and control of convergence, was used for estimation of the flux confidence intervals. Usually the most reliable results could be obtained if the variant when “multi runs per trials” approach was chosen for estimation of the optimized flux parameter distributions followed by determination of flux confidence interval borders according to “discarding” strategy after confirmation of the borders convergence (see Additional file 1: ** SF-1.7.** for details).

### Software requirements

OpenFLUX2 (http://sourceforge.net/projects/openflux2) requires Java and MATLAB, including the Optimization and Statistics Toolboxes. The current version of the OpenFLUX2 software was tested using Java 6 (Sun Microsystems, Inc., Santa Clara, CA, USA) and MATLAB 7.12.0 (R2011a; MathWorks Inc., Natick, MA, USA) software, together with the Optimization Toolbox (version 6.0) and the Statistics Toolbox (version 7.5), on the Microsoft Windows 7 Professional (2009; Microsoft Corp, Redmond, WA, USA) platform on a PC equipped with a 3.2 GHz CPU and 4 Gb of RAM. Using these computation facilities, the calculation of 51 fluxes for the applied metabolic model (see Methods) requires approximately 20 minutes and 2 hours for SLEs and a PLE consisting of 5 LEs, respectively. The confidence interval estimations for the 51 optimized fluxes using the Monte Carlo approach (see Methods) takes approximately 30–70 and 60–120 hours for the SLEs and the PLE noted above, respectively. The computation time significantly depends on the used tunable control parameters and linearly depends on the number of the provided trials. In general, the flux estimation and its statistical analysis via OpenFLUX2 can be performed within one to four days, depending on the type of LE. OpenFLUX2 was also tested on the Microsoft Windows XP (Professional × 64 edition, 2003; Microsoft Corp, Redmond, WA, USA) platform. The following additional software packages were used: Windows Microsoft Excel 2003 (Microsoft Corp, Redmond, WA, USA) for metabolic model formulation and for the generation of Additional file 3 and OriginPro 9.1 (Originlab Corp, Northampton, MA, USA) for the generation of ternary plots, and box charts. Furthermore, several in-house MATLAB scripts were employed to generate “experimental data” and to visualize data related to the NLLSP solving process.

## Additional files

## References

- 1.
Kohlstedt M, Becker J, Wittmann C: Metabolic fluxes and beyond – systems biology understanding and engineering of microbial metabolism. Appl Microbiol Biotechnol. 2010, 88: 1065-1075. 10.1007/s00253-010-2854-2.

- 2.
Sauer U: Metabolic networks in motion:

^{13}C-based flux analysis.*Mol Syst Biol*2006, 2:62. - 3.
Wiechert W:

^{13}C metabolic flux analysis.*Metab Eng*2001, 3:195–206. - 4.
Yang TH:

^{13}C-based metabolic flux analysis: fundamentals and practice.*Methods Mol Biol*2013, 985:297–334. - 5.
Becker J, Zelder O, Häfner S, Schröder H, Wittmann C: From zero to hero – design–based systems metabolic engineering of

*Corynebacterium glutamicum*for l-lysine production. Metab Eng. 2011, 13: 159-168. 10.1016/j.ymben.2011.01.003. - 6.
Dauner M: From fluxes and isotope labeling patterns towards

*in silico*cells. Curr Opin Biotechnol. 2010, 21: 55-62. 10.1016/j.copbio.2010.01.014. - 7.
Zamboni N:

^{13}C metabolic flux analysis in complex systems.*Curr Opin Biotechnol*2011, 22:103–108. - 8.
Boghigian BA, Seth G, Kiss R, Pfeifer BA: Metabolic flux analysis and pharmaceutical production. Metab Eng. 2010, 12: 81-95. 10.1016/j.ymben.2009.10.004.

- 9.
Iwatani S, Yamada Y, Usuda Y: Metabolic flux analysis in biotechnology process. Biotechnol Lett. 2008, 30: 791-799. 10.1007/s10529-008-9633-5.

- 10.
Niklas J, Schneider K, Heinzle E: Metabolic flux analysis in eukaryotes. Curr Opin Biotechnol. 2010, 21: 63-69. 10.1016/j.copbio.2010.01.011.

- 11.
Stephanopoulos G, Aristidou AA, Nielsen JH: Regulation of Metabolic Pathways. Metabolic engineering: principles and methodologies. 1998, Academic Press, San Diego, 147-202. 10.1016/B978-012666260-3/50006-6.

- 12.
Zamboni N, Fendt SNM, Rühl M, Sauer U:

^{13}C-based metabolic flux analysis.*Nat Protoc*2009, 4:878–892. - 13.
Szyperski T:

^{13}C-NMR, MS and metabolic flux balancing in biotechnology research.*Q Rev Biophys*1998, 31:41–106. - 14.
Wittmann C: Fluxome analysis using GC-MS. Microb Cell Fact. 2007, 6: 6-10.1186/1475-2859-6-6.

- 15.
Antoniewicz MR: Tandem mass spectrometry for measuring stable-isotope labeling. Curr Opin Biotechnol. 2013, 24: 45-53.

- 16.
Wiechert W, de Graaf AA: Bidirectional reaction steps in metabolic networks: I. Modeling and stimulation of carbon isotope labeling experiments. Biotechnol Bioeng. 1997, 55: 101-117. 10.1002/(SICI)1097-0290(19970705)55:1<101::AID-BIT12>3.0.CO;2-P.

- 17.
Wiechert W, Siefke C, de Graaf AA, Mark A: Bidirectional reaction steps in metabolic networks: II. Flux estimation and statistical analysis. Biotechnol Bioeng. 1997, 55: 118-135. 10.1002/(SICI)1097-0290(19970705)55:1<118::AID-BIT13>3.0.CO;2-I.

- 18.
Wiechert W, Möllney M, Isermann N, Wurzel M, de Graaf AA: Bidirectional reaction steps in metabolic networks: III. Explicit solution and analysis of isotopomer labeling systems. Biotechnol Bioeng. 1999, 66: 69-85. 10.1002/(SICI)1097-0290(1999)66:2<69::AID-BIT1>3.0.CO;2-6.

- 19.
Möllney M, Wiechert W, Kownatzki D, de Graaf AA: Bidirectional reaction steps in metabolic networks: IV. Optimal design of isotopomer labeling experiments. Biotechnol Bioeng. 1999, 66: 86-103. 10.1002/(SICI)1097-0290(1999)66:2<86::AID-BIT2>3.0.CO;2-A.

- 20.
Ravikirthi P, Suthers PF, Maranas CD: Construction of an

*E. coli*genome-scale atom mapping model for MFA calculations. Biotechnol Bioeng. 2011, 108: 1372-1382. 10.1002/bit.23070. - 21.
Sonntag K, Eggeling L, de Graaf AA, Sahm H: Flux partitioning in the split pathway of lysine synthesis in

*Corynebacterium glutamicum*: quantification by^{13}C-and^{1}H NMR spectroscopy.*Eur J Biochem*1993, 213:1325–1331. - 22.
Zupke C, Stephanopoulos G: Modeling of isotope distributions and intracellular fluxes in metabolic networks using atom mapping matrices. Biotechnol Prog. 1994, 10: 489-498. 10.1021/bp00029a006.

- 23.
Schmidt K, Carlsen M, Nielsen J, Villadsen J: Modeling isotopomer distributions in biochemical networks using isotopomer mapping matrices. Biotechnol Bioeng. 1997, 55: 831-840. 10.1002/(SICI)1097-0290(19970920)55:6<831::AID-BIT2>3.0.CO;2-H.

- 24.
van Winden WA, Heijnen JJ, Verheijen PJT: Cumulative bondomers: a new concept in flux analysis from 2D [

^{13}C,^{1}H] COSY NMR data.*Biotechnol Bioeng*2002, 80:731–745. - 25.
Srour O, Young JD, Eldar YC: Fluxomers: a new approach for 13C metabolic flux analysis. BMC Syst Biol. 2011, 5: 129-10.1186/1752-0509-5-129.

- 26.
Antoniewicz MR, Kelleher JK, Stephanopoulos G: Elementary metabolite units (EMU): a novel framework for modeling isotopic distributions. Metab Eng. 2007, 9: 68-86. 10.1016/j.ymben.2006.09.001.

- 27.
Wasylenko TM, Stephanopoulos G: Kinetic isotope effects significantly influence intracellular metabolite

^{13}C labeling patterns and flux determination.*Biotechnol J*2013, 8:1080–1089. - 28.
Antoniewicz MR, Kelleher JK, Stephanopoulos G: Determination of confidence intervals of metabolic fluxes estimated from stable isotope measurements. Metab Eng. 2006, 8: 324-337. 10.1016/j.ymben.2006.01.004.

- 29.
Wiechert W, Möllney M, Petersen S, de Graaf AA: A universal framework for

^{13}C metabolic flux analysis.*Metab Eng*2001, 3:265–283. - 30.
Weitzel M, Nöh K, Dalman T, Niedenführ S, Stute B, Wiechert W: 13CFLUX2 – high-performance software suite for

^{13}C-metabolic flux analysis. Bioinformatics. 2013, 29: 143-145. 10.1093/bioinformatics/bts646. - 31.
Yoo H, Antoniewicz MR, Stephanopoulos G, Kelleher JK: Quantifying reductive carboxylation flux of glutamine to lipid in a brown adipocyte cell line. J Biol Chem. 2008, 283: 20621-20627. 10.1074/jbc.M706494200.

- 32.
Antoniewicz MR: Using multiple tracers for

^{13}C metabolic flux analysis.*Methods Mol Biol*2013, 985:353–365. - 33.
Quek LE, Wittmann C, Nielsen LK, Krömer JO: OpenFLUX: efficient modelling software for

^{13}C-based metabolic flux analysis.*Microb Cell Fact*2009, 8:25. - 34.
Sokol S, Millard P, Portais JC: influx_s: increasing numerical stability and precision for metabolic flux analysis in isotope labeling experiments. Bioinformatics. 2012, 28: 687-693. 10.1093/bioinformatics/btr716.

- 35.
Kajihata S, Furusawa C, Matsuda F, Shimizu H: OpenMebius: An open source software for isotopically nonstationary

^{13}C-based metabolic flux analysis.*BioMed Res Intern*2014, 2014:ID 627014. ., [http://dx.doi.org/10.1155/2014/627014] - 36.
Suthers PF, Burgard AP, Dasika MS, Nowroozi F, van Dien S, Keasling JD, Maranas CD: Metabolic flux elucidation for large-scale models using

^{13}C labeled isotopes.*Metab Eng*2007, 9:387–405. - 37.
Arauzo-Bravo MJ, Shimizu K: An improved method for statistical analysis of metabolic flux analysis using isotopomer mapping matrices with analytical expressions. J Biotechnol. 2003, 105: 117-133. 10.1016/S0168-1656(03)00169-X.

- 38.
Dauner M, Bailey JE, Sauer U: Metabolic flux analysis with a comprehensive isotopomer model in

*Bacillus subtilis*. Biotechnol Bioeng. 2001, 76: 144-156. 10.1002/bit.1154. - 39.
Wittmann C, Heinzle E: Genealogy profiling through strain improvement by using metabolic network analysis: metabolic flux genealogy of several generations of lysine-producing corynebacteria. Appl Environ Microbiol. 2002, 68: 5843-5859. 10.1128/AEM.68.12.5843-5859.2002.

- 40.
Yang J, Wongsa S, Kadirkamanathan V, Billings SA, Wright PC: Metabolic flux distribution analysis by

^{13}C-tracer experiments using the Markov chain-Monte Carlo method.*Biochem Soc Trans*2005, 33:1421–1422. - 41.
Flores S, Gosset G, Flores N, de Graaf AA, Bolivar F: Analysis of carbon metabolism in

*Escherichia coli*strains with an inactive phosphotransferase system by^{13}C labeling and NMR spectroscopy.*Metab Eng*2002, 4:124–137. - 42.
Christensen B, Nielsen J: Isotopomer analysis using GC-MS. Metab Eng. 1999, 1: 282-290. 10.1006/mben.1999.0117.

- 43.
Dauner M, Sauer U: GC-MS analysis of amino acids rapidly provides rich information for isotopomer balancing. Biotechnol Prog. 2000, 16: 642-649. 10.1021/bp000058h.

- 44.
Fischer E, Sauer U: Metabolic flux profiling of Escherichia coli mutants in central carbon metabolism using GC-MS. Eur J Biochem. 2003, 270: 880-891. 10.1046/j.1432-1033.2003.03448.x.

- 45.
Rühl M, Rupp B, Nőh K, Wiechert W, Sauer U, Zamboni N: Collisional fragmentation of central carbon metabolites in LC-MS/MS increases precision of

^{13}C metabolic flux analysis.*Biotechnol Bioeng*2012, 109:763–771. - 46.
BR H v R, Nanchen A, Nallet S, Kleijn RJ, Sauer U: Large-scale

^{13}C-flux analysis reveals distinct transcriptional control of respiratory and fermentative metabolism in*Escherichia coli*.*Mol Syst Biol*2011, 7:477. - 47.
Wittmann C, Kim HM, Heinzle E: Metabolic network analysis of lysine producing

*Corynebacterium glutamicum*at a miniaturized scale. Biotechnol Bioeng. 2004, 87: 1-6. 10.1002/bit.20103. - 48.
Fischer E, Zamboni N, Sauer U: High-throughput metabolic flux analysis based on gas chromatography–mass spectrometry derived

^{13}C constraints.*Anal Biochem*2004, 325:308–316. - 49.
Wittmann C, Heinzle E: Modeling and experimental design for metabolic flux analysis of lysine-producing

*Corynebacteria*by mass spectrometry. Metab Eng. 2001, 3: 173-191. 10.1006/mben.2000.0178. - 50.
Becker J, Klopprogge C, Wittmann C: Metabolic responces to pyruvate kinase deletion in lysine producing

*Corynebacterium glutamicum*. Microb Cell Fact. 2008, 7: 8-10.1186/1475-2859-7-8. - 51.
Kiefer P, Heinzle E, Zelder O, Wittmann C: Comparative metabolic flux analysis of lysine-producing

*Corynebacterium glutamicum*cultured on glucose or fructose. Appl Environ Microbiol. 2004, 70: 229-239. 10.1128/AEM.70.1.229-239.2004. - 52.
Kind S, Becker J, Wittmann C: Increased lysine production by flux coupling of the tricarboxylic acid and the lysine biosynthetic pathway – metabolic engineering of the availability of succinyl-CoA in

*Corynebacterium glutamicum*. Metab Eng. 2013, 15: 184-195. 10.1016/j.ymben.2012.07.005. - 53.
Leighty RW, Antoniewicz MR: Parallel labeling experiments with [U-

^{13}C]-glucose validate*E. coli*metabolic network model for^{13}C metabolic flux analysis.*Metab Eng*2012, 14:533–541. - 54.
Bartek T, Blombach B, Lang S, Eikmanns BJ, Wiechert W, Oldiges M, Nöh K, Noack S: Comparative

^{13}C metabolic flux analysis of pyruvate dehydrogenase complex-deficient, l -valine-producing*Corynebacterium glutamicum*.*Appl Environm Microbiol*2011, 77:6644–6652. - 55.
Crown SB, Indurthi DC, Ahn WS, Choi J, Papoutsakis ET, Antoniewicz MR: Resolving the TCA cycle and pentose-phosphate pathway of

*Clostridium acetobutylicum*ATCC 824: isotopomer analysis, in vitro activities and expression analysis. Biotechnol J. 2011, 6: 300-305. 10.1002/biot.201000282. - 56.
Petersen S, de Graaf AA, Eggeling L, Möllney M, Wiechert W, Sahm H:

*In vivo*quantification of parallel and bidirectional fluxes in the anaplerosis of*Corynebacterium glutamicum*. J Biol Chem. 2000, 275: 35932-35941. 10.1074/jbc.M908728199. - 57.
Chang Y, Suthers PF, Maranas CD: Identification of optimal measurement sets for complete flux elucidation in metabolic flux analysis experiments. Biotechnol Bioeng. 2008, 100: 1039-1049. 10.1002/bit.21926.

- 58.
Leighty RW, Antoniewicz MR: COMPLETE-MFA: Complementary parallel labeling experiments technique for metabolic flux analysis. Metab Eng. 2013, 20: 49-55. 10.1016/j.ymben.2013.08.006.

- 59.
Crown SB, Antoniewicz MR: Selection of tracers for

^{13}C-metabolic flux analysis using elementary metabolite units (EMU) basis vector methodology.*Metab Eng*2012, 14:150–161. - 60.
Crown SB, Ahn WS, Antoniewicz MR: Rational design of

^{13}C-labeling experiments for metabolic flux analysis in mammalian cells.*BMC Syst Biol*2012, 6:43. - 61.
Isermann N, Wiechert W: Metabolic isotopomer labeling systems. Part II. Structural flux identifiability analysis. Math Biosci. 2003, 183: 175-214. 10.1016/S0025-5564(02)00222-5.

- 62.
Rantanen A, Mielikainen T, Rousu J, Maaheimo H, Ukkonen E: Planning optimal measurements of isotopomer distributions for estimation of metabolic fluxes. Bioinformatics. 2006, 22: 1198-1206. 10.1093/bioinformatics/btl069.

- 63.
Van Ooyen J, Noack S, Bott M, Reth A, Eggeling L: Improved l-lysine production with

*Corynebacterium glutamicum*and systemic insight into citrate synthase flux and activity. Biotechnol Bioeng. 2012, 109: 2070-2081. 10.1002/bit.24486. - 64.
van Winden WA, Heijnen JJ, Verheijen PJ, Grievink J: A priori analysis of metabolic flux identifiability from

^{13}C-labeling data.*Biotechnol Bioeng*2001, 74:505–516. - 65.
Schellenberger J, Zelinski DC, Choi W, Madireddi S, Portnoy V, Scott DA, Reed JL, Osterman AL, Palsson B: Predicting outcomes of steady-state

^{13}C isotope tracing experiments using Monte Carlo sampling.*BMC Syst Biol*2012, 6:9. - 66.
Crown SB, Antoniewicz MR: Parallel labeling experiments and metabolic flux analysis: past, present and future methodologies. Metab Eng. 2013, 16: 21-32. 10.1016/j.ymben.2012.11.010.

- 67.
He L, Xiao Y, Gebreselassie N, Zhang F, Antoniewicz MR, Tang YJ, Peng L: Central metabolic responses to the overproduction of fatty acids in

*Escherichia coli*based on^{13}C-metabolic flux analysis.*Biotechnol Bioeng*2014, 111:575–585. - 68.
Becker J, Klopprogge C, Zelder O, Heinzle E, Wittmann C: Amplified expression of fructose 1,6-bisphosphatase in

*Corynebacterium glutamicum*increases*in vivo*flux through the pentose phosphate pathway and lysine production on different carbon sources. Appl Environ Microbiol. 2005, 71: 8587-8596. 10.1128/AEM.71.12.8587-8596.2005. - 69.
Yang TH, Frick O, Heinzle E: Hybrid optimization for 13C metabolic flux analysis using systems parametrized by compactification. BMC Syst Biol. 2008, 2: 29-10.1186/1752-0509-2-29.

- 70.
Crown SB, Antoniewicz MR: Publishing

^{13}C metabolic flux analysis studies: a review and future perspectives.*Metab Eng*2013, 20:42–48. - 71.
Long CP, Antoniewicz MR: Quantifying biomass composition by gas chromatography/mass spectrometry. Anal Chem. 2014, 86: 9423-9427. 10.1021/ac502734e.

- 72.
Pázman A: Foundations of optimum experimental design. 1986, Kluwer Academic Publishing, Dordrecht, The Netherlands

- 73.
Millard P, Sokol S, Letisse F, Portais J-C: IsoDesign: A Software for Optimizing the Design of 13C-Metabolic Flux Analysis Experiments. Biotechnol Bioeng. 2014, 111: 202-208. 10.1002/bit.24997.

- 74.
Nargund S, Sriram G: Designer labels for plant metabolism: statistical design of isotope labeling experiments for improved quantification of flux in complex plant metabolic networks. Mol Biosyst. 2013, 9: 99-112. 10.1039/c2mb25253h.

- 75.
Wittmann C, de Graaf A: Metabolic flux analysis in

*Corynebacterium glutamicum*. Handbook of Corynebacterium glutamicum. Edited by: Eggeling L, Bott M. 2005, CRC Press, Boca Raton, Fla, 277-304. - 76.
Simic P, Willuhn J, Sahm H, Eggeling L: Identification of

*glyA*(encoding serine hydroxymethyltransferase) and its use together with the exporter ThrE to increase l-threonine accumulation by*Corynebacterium glutamicum*. Appl Environ Microbiol. 2002, 68: 3321-3327. 10.1128/AEM.68.7.3321-3327.2002. - 77.
van Winden WA, Wittmann C, Heinzle E, Heijnen JJ: Correcting mass isotopomer distributions for naturally occurring isotopes. Biotechnol Bioeng. 2002, 80: 447-479.

- 78.
Antoniewicz MR, Kelleher JK, Stephanopoulos G: Accurate assessment of amino acid mass isotopomer distributions for metabolic flux analysis. Anal Chem. 2007, 79: 7554-7559. 10.1021/ac0708893.

- 79.
Klapa MI, Aont JC, Stephanopoulos G: Systematic quantification of complex metabolic flux networks using stable isotopes and mass spectrometry. Eur J Biochem. 2003, 270: 3525-3542. 10.1046/j.1432-1033.2003.03732.x.

## Acknowledgments

First, we are extremely grateful to all authors of [33], particularly to Dr. LE Quek for programming the software and to Dr. JO Krömer for supervising the study that resulted in the release of OpenFLUX as open-source software. We are thankful to Dr. Yousuke Nishio (Ajinomoto Co., Inc.) for helpful discussions, particularly upon the initiation of the ^{13}C-MFA study at our institute. MSS and LIG are thankful to Profs. E Heinzle, M Reuss, and C Wittmann for their supervision and their excellent introduction to the basic problems of metabolic flux analysis in the 2012 Braundwald Course on Biosystems Engineering – Bioreactors and Cell Factories. Moreover, MSS and LIG are thankful to all of the organizers and lecturers, particularly to Prof. W Weichert, Dr. K Nöh, and S Niedenführ, of the 3^{rd} Advanced Course on ^{13}C-based MFA (Jülich, 2013), for the creative atmosphere and intensive training in all major topics relevant to the design, execution and analysis of the labeling experiments using the high-performance cutting-edge simulator 13CFLUX2 as well as for helpful discussions related to recent and future developments in ^{13}C-MFA.

## Author information

### Affiliations

### Corresponding authors

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

MSS contributed his expertise to the design of the final version of OpenFLUX2 software and programmed the primary portion of the modifications. He also contributed to the writing of the manuscript, particularly to Additional file 1. LIG provided her expertise in the mathematical modeling of the fluxes and contributed to the writing of the paper. SSR provided the primary part of the OpenFLUX2 simulations, programmed visualization of Monte Carlo-based determination of flux confidence intervals, and contributed to the preparation of the primary portion of the figures and tables in the paper. DAP programmed the special subprograms in OpenFLUX2 to compute the inverse Hessian matrix at the stage of optimization of the experimental design. SI contributed his expertise to the ^{13}C-MFA and mathematical simulations of mass isotopomer distributions as well as to the writing of the paper. SVM designed and supervised the study and coordinated writing of the paper. All authors have approved the final manuscript.

## Electronic supplementary material

### 12934_2014_152_MOESM1_ESM.pdf

Additional file 1: *General description of*^{13}
** C-MFA steps performed by OpenFLUX2.** The PDF-format file contains the schematic description of the mathematical and statistical approaches used for comprehensive metabolic flux analysis via OpenFLUX2 software. (PDF 314 KB)

### 12934_2014_152_MOESM2_ESM.pdf

Additional file 2: ** Additional figures illustrated results of performed in silico LEs.** The PDF-format file contains additional illustrations of the

*in silico*experimental results, denoted as Figure SF-2.x in the text. (PDF 4 MB)

### 12934_2014_152_MOESM3_ESM.xls

Additional file 3: ** C. glutamicum metabolic model.** The XLS- format file includes the

*C. glutamicum*metabolic model in a format that is readable by OpenFLUX(2); the “experimental data” (MIDs and efflux measurements with their errors) used in the

*in silico*experiments; the main results of the

*in silico*experiments, including the estimated optimal flux values, confidence intervals and normalized flux precision function values; and the results of the “general” and “partial” optimization of the experimental design. (XLS 1 MB)

## Authors’ original submitted files for images

Below are the links to the authors’ original submitted files for images.

## Rights and permissions

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. 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

Shupletsov, M.S., Golubeva, L.I., Rubina, S.S. *et al.* OpenFLUX2: ^{13}C-MFA modeling software package adjusted for the comprehensive analysis of single and parallel labeling experiments.
*Microb Cell Fact* **13, **152 (2014). https://doi.org/10.1186/s12934-014-0152-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s12934-014-0152-x

### Keywords

- Non-linear least-squares minimization problem
- Normalized flux precision function
- Partial optimization of experimental design
- Convergence control of flux confidence interval bounds