Skip to main content
Top

2016 | OriginalPaper | Chapter

Parallelization of the FICO Xpress-Optimizer

Authors : Timo Berthold, James Farmer, Stefan Heinz, Michael Perregaard

Published in: Mathematical Software – ICMS 2016

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Many optimization problems arising in practice can be modeled as mixed integer programs (MIPs). In this paper, we present the new parallelization concept for the state-of-the-art MIP solver FICO Xpress-Optimizer. A natural precondition to achieving reasonabling speedups from parallelization is maintaining a high workload of the available computational resources. At the same time, reproducibility and reliability are key requirements for mathematical optimization software; solvers like the FICO Xpress-Optimizer are expected to be deterministic. The resulting synchronization latencies render the goal of a satisfying workload a challenge in itself.
We address this challenge by following a partial information approach and separating the concepts of simultaneous tasks and independent threads from each other. Our computational results indicate that this leads to a much higher CPU workload and thereby to an improved scaling on modern high-performance CPUs. As an added value, the solution path that the FICO Xpress-Optimizer takes is not only deterministic in a fixed environment, but, to a certain extent, thread-independent.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Those were the instances rocII-4-11, ns1766074, aflow40b, bnatt350, csched010, danoint, dfn-gwin-UUM, gmu-35-40, iis-100-0-cov, m100n500k4r1, n3div36, neos-1337307, neos18, neos-849702, neos-916792, newdano, noswot, ns1830653, pg5_34, pigeon-10, ran16x16, reblock67, rmine6, sp98ic, timtab1, vpphard, bab5, glass4, iis-bupa-cov.
 
Literature
1.
go back to reference Achterberg, T.: Constraint integer programming. Technische Universität Berlin (2007) Achterberg, T.: Constraint integer programming. Technische Universität Berlin (2007)
2.
go back to reference Dantzig, G., Wolfe, P.: Decomposition principle for linear programs. Oper. Res. 8(1), 101–111 (1960)CrossRefMATH Dantzig, G., Wolfe, P.: Decomposition principle for linear programs. Oper. Res. 8(1), 101–111 (1960)CrossRefMATH
4.
go back to reference Fischetti, M., Lodi, A., Monaci, M., Salvagnin, D., Tramontani, A.: Improving branch-and-cut performance by random sampling. Math. Programm. Comput. 1–20 (2015) Fischetti, M., Lodi, A., Monaci, M., Salvagnin, D., Tramontani, A.: Improving branch-and-cut performance by random sampling. Math. Programm. Comput. 1–20 (2015)
5.
go back to reference Fischetti, M., Monaci, M., Salvagnin, D.: Self-splitting of workload in parallel computation. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 394–404. Springer, Heidelberg (2014)CrossRef Fischetti, M., Monaci, M., Salvagnin, D.: Self-splitting of workload in parallel computation. In: Simonis, H. (ed.) CPAIOR 2014. LNCS, vol. 8451, pp. 394–404. Springer, Heidelberg (2014)CrossRef
6.
go back to reference Huangfu, Q., Hall, J.: Parallelizing the dual revised simplex method. Technical report 1503.01889, ArXiv e-prints (2015) Huangfu, Q., Hall, J.: Parallelizing the dual revised simplex method. Technical report 1503.01889, ArXiv e-prints (2015)
7.
go back to reference Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: MIPLIB 2010. Math. Progam. Comput. 3, 103–163 (2011)MathSciNetCrossRef Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: MIPLIB 2010. Math. Progam. Comput. 3, 103–163 (2011)MathSciNetCrossRef
8.
9.
go back to reference Laundy, R., Perregaard, M., Tavares, G., Tipi, H., Vazacopoulos, A.: Solving hard mixed-integer programming problems with Xpress-MP: a MIPLIB 2003 case study. Inf. J. Comput. 21(2), 304–313 (2009)MathSciNetCrossRefMATH Laundy, R., Perregaard, M., Tavares, G., Tipi, H., Vazacopoulos, A.: Solving hard mixed-integer programming problems with Xpress-MP: a MIPLIB 2003 case study. Inf. J. Comput. 21(2), 304–313 (2009)MathSciNetCrossRefMATH
10.
go back to reference Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley, New York (1988)CrossRefMATH Nemhauser, G.L., Wolsey, L.A.: Integer and Combinatorial Optimization. Wiley, New York (1988)CrossRefMATH
11.
go back to reference Ralphs, T.K., Ladányi, L., Saltzman, M.J.: Parallel branch, cut and price for large-scale discrete optimization. Math. Program. B 98(1–3), 253–280 (2003)MathSciNetCrossRefMATH Ralphs, T.K., Ladányi, L., Saltzman, M.J.: Parallel branch, cut and price for large-scale discrete optimization. Math. Program. B 98(1–3), 253–280 (2003)MathSciNetCrossRefMATH
12.
go back to reference Shinano, Y., Achterberg, T., Berthold, T., Heinz, S., Koch, T.: ParaSCIP: a parallel extension of SCIP. Competence in High Performance Computing 2010, pp. 135–148. Springer, Heidelberg (2011)CrossRef Shinano, Y., Achterberg, T., Berthold, T., Heinz, S., Koch, T.: ParaSCIP: a parallel extension of SCIP. Competence in High Performance Computing 2010, pp. 135–148. Springer, Heidelberg (2011)CrossRef
Metadata
Title
Parallelization of the FICO Xpress-Optimizer
Authors
Timo Berthold
James Farmer
Stefan Heinz
Michael Perregaard
Copyright Year
2016
DOI
https://doi.org/10.1007/978-3-319-42432-3_31

Premium Partner