cbc not respecting timeout #487
Description
Hello,
I'm running into an issue with cbc not respecting the seconds timeout I set. When I run
cbc -seconds 10 -import tmploqs9qnp.pyomo.lp -solve
the solver just hangs. I've attached the problem definition tmploqs9qnp.pyomo.lp.txt.
I'm seeking a workaround for this issue.
More detail: cbc is aware that the problem is infeasible (see terminal output below), but does not quit after the 10 seconds I've allotted. This is related to #381.
$ cbc -seconds 10 -import tmploqs9qnp.pyomo.lp -stat -solve
Welcome to the CBC MILP Solver
Version: 2.10.7
Build Date: Jan 26 2022
command line - cbc -seconds 10 -import tmploqs9qnp.pyomo.lp -stat -solve (default strategy 1)
seconds was changed from 1e+100 to 10
Presolve determined that the problem was infeasible with tolerance of 1e-08
Presolved model looks infeasible - will use unpresolved
Original problem has 946 integers (946 of which binary)
==== 947 zero objective 375 different
==== absolute objective values 375 different
==== for integers 946 zero objective 1 different
946 variables have objective of 0
==== for integers absolute objective values 1 different
946 variables have objective of 0
===== end objective counts
Problem has 1956 rows, 1772 columns (825 with objective) and 240706 elements
There are 1 singletons with no objective
Column breakdown:
1 of type 0.0->inf, 0 of type 0.0->up, 0 of type lo->inf,
363 of type lo->up, 11 of type free, 451 of type fixed,
0 of type -inf->0.0, 0 of type -inf->up, 946 of type 0.0->1.0
Row breakdown:
39 of type E 0.0, 40 of type E 1.0, 0 of type E -1.0,
0 of type E other, 0 of type G 0.0, 0 of type G 1.0,
491 of type G other, 0 of type L 0.0, 895 of type L 1.0,
491 of type L other, 0 of type Range 0.0->1.0, 0 of type Range other,
0 of type Free