[FEA] Missing log when the optimal solution is found during presolve #524
Description
If the optimal solution is found during presolve, the solver should display a message informing the user. In the current state, the solver just exit:
❯ cuopt/cpp/build/cuopt_cli datasets/miplib2017/enlight_hard.mps.bz2
Setting CUDA_MODULE_LOADING to EAGER
Reading file enlight_hard.mps.bz2
cuOpt version: 25.10.0, git hash: 326eec6, host arch: x86_64, device archs: 90a-real
CPU: AMD EPYC 7413 24-Core Processor, threads (physical/logical): 24/48, RAM: 192.11 GiB
CUDA 13.0, device: NVIDIA H200 (ID 0), VRAM: 139.80 GiB
CUDA device UUID: 7b22ffffffb60b-ffffff99ffffff8b-ffff
Solving a problem with 100 constraints, 200 variables (200 integers), and 560 nonzeros
Problem scaling:
Objective coefficents range: [1e+00, 1e+00]
Constraint matrix coefficients range: [1e+00, 2e+00]
Constraint rhs / bounds range: [1e+00, 1e+00]
Variable bounds range: [0e+00, 1e+00]
Original problem: 100 constraints, 200 variables, 560 nonzeros
Calling Papilo presolver
Presolve status: reduced the problem
Presolve removed: 100 constraints, 200 variables, 560 nonzeros
Presolved problem: 0 constraints, 0 variables, 0 nonzeros
Papilo presolve time: 0.002435
Best feasible: 37.000000
Post-solve status: succeeded
Solution objective: 37.000000 , relative_mip_gap 0.000000 solution_bound 37.000000 presolve_time 0.002435 total_solve_time 0.000000 max constraint violation 0.000000 max int violation 0.000000 max var bounds violation 0.000000 nodes 0 simplex_iterations 0