Convegno Progetto FIRB LSNO – Capri 19/20 aprile ESOPO: an Environment for Solving Optimization Problems Online M. DApuzzo *, M.L. De Cesare **, M.R. Maddalena **, M. Marino **, G. Toraldo ** Collaborators: S. Cafieri *, V. De Simone *, D. di Serafino *, E. Sacchettino * * Second University of Naples ** University of Naples Federico II

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

4 Overview ESOPO aims and structure overview Relevant features of ESOPO Perspectives and future enhancements

Convegno Progetto FIRB LSNO – Capri 19/20 aprile to provide a unifying framework containing the optimization software produced by people working in the MIUR FIRB project, in order to interact in the software development, testing and evaluation processes Early motivation for ESOPO Several issues Shared software classification criteria Common linear algebra kernels Common optimization subproblems Standard software documentation Shared test problems Similar input formats

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Current ESOPOs ambition Several issues Software integration procedure Robustness and reliability Preprocessing and presolving stages Drivers to the solvers for using common problem modeling languages Minimal input effort Testing process to be a web-based environment for solving optimization problems and for evaluating and comparing the performance of optimization software

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Current ESOPOs ambition Several issues Interactive procedure for solving a problem Interactive choice of a solver Dynamic interfaces for using the solver Automatic selection of test problems based on the type of considered instance to be a web-based environment for solving optimization problems and for evaluating and comparing the performance of optimization software

Convegno Progetto FIRB LSNO – Capri 19/20 aprile MAIN ACTIONS collect, integrate and make available the optimization software produced in the MIUR-FIRB Project, toghether with some well established software (Lancelot, KNITRO, Mosek,...) supply the solvers with drivers for the most common problem modeling languages and with graphical interfaces for a friendly usage provide suitable collections of test problems and up-to- date tools for evaluating and comparing optimization software ESOPO project

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Main ESOPO abilities problem user provided or selected from collections solution set of problems user provided or selected from collections performace evaluation profiles ESOPO: SOLVE ESOPO: PERFORMANCE EVALUATION

Convegno Progetto FIRB LSNO – Capri 19/20 aprile ESOPO Server Users database Software and Problems database Interfaces for choosing solvers and for submitting problems Tools for job queuing Clients (browsers) Solvers Drivers request answer job execution results..... ESOPO architecture client-server design ESOPO Solvers

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant issues users management (identification and access) software management (integration and usage) job execution management ESOPO system security

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features software integration process interactive procedure for choosing a solver and for solving a problem close integration of solvers and test problems integration of the solving tools with the benchmarking tools

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Integration and management of the Software ( authors are only request to submit the code!) Step 1: Classification into ESOPO Example: SDBOX (solves general bound constrained nonlinear optimization problems using a derivative- free method) OP: local; OF: general; CO: bounds; DR: none; CVX: no; STR: dense

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Integration and management of the Software Step 2: Development of drivers to the solver Make its use through dynamic web pages easier Provide interfaces to AMPL and SIF modeling languages Reduce as much as possible the number of input parameters Perform the testing process Supply some extra features to the solver

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Interactive procedure for solving a problem (problem oriented and independent of the computing engine) Step 1: Specification of the problem web interface that allows the user to supply information about the problem to be solved

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Interactive procedure for solving a problem Step 2: Selection of a solver web interface that lists all solvers available for the problem

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Interactive procedure for solving a problem Step 3: Choice of the input format tailored interface for the selected solver (automatically generated) allowing the users to choose the input format among those accepted by the solver

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Interactive procedure for solving a problem Step 4: Submission of the problem specific interface consistent with the users choice for the input format (automatically generated) that allows the user to provide the problem data and the values for the input parameters

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Close integration of solvers and test problems A set of test problems that the software is able to solve is automatically selected

Convegno Progetto FIRB LSNO – Capri 19/20 aprile

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Execution report *************************************************************************** * * Output report from ESOPO * * *************************************************************************** SOLVER: SDBOX PROBLEM: BIGGSB1 from CUTEr collection VERSION: AMPL # Source: # M. Batholomew-Biggs and F.G. Hernandez, # "Some improvements to the subroutine OPALQP for dealing with large # problems", # Numerical Optimization Centre, Hatfield, # SIF input: Ph Toint, April # classification QBR2-AN-V-V NVAR = 5000 INPUT PARAMETERS: TOL = 10e-6 - MAXITER = RESULTS: NIT = NFEVAL = FVAL =

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Relevant features Interactive procedure for evaluating and comparing the performance of optimization software The solving and benchmarking stages are integrated in ESOPO

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Performance evaluation report

Convegno Progetto FIRB LSNO – Capri 19/20 aprile ESOPO contents

Convegno Progetto FIRB LSNO – Capri 19/20 aprile Future developments to add more solvers also in areas not currently covered to improve the interaction between users and ESOPO to provide other metrics for the performance evaluation