[BUG] MIPLIB benchmark failure on 25.08 #252
Description
A few datasets are failing with latest 25.08 on H100. It reproduces consistently with bnat400/500 with time limit 600s
cuopt_cli datasets/miplib/bnatt400.mps --time-limit 600 (cuopt_dev)
Setting parameter time_limit to 6.000000e+02
Running file bnatt400.mps
Solving a problem with 5614 constraints 3600 variables (3600 integers) and 21698 nonzeros
Objective offset 0.000000 scaling_factor 1.000000
After trivial presolve updated 5614 constraints 3600 variables. Objective offset 0.000000
Running presolve!
Unused variables detected, eliminating them! Unused var count 1597
After trivial presolve updated 4026 constraints 2003 variables. Objective offset 0.000000
Solving LP root relaxation
Scaling matrix. Maximum column norm 3.539001e+00
Dual Simplex Phase 1
Dual feasible solution found.
Dual Simplex Phase 2
Iter Objective Num Inf. Sum Inf. Perturb Time
1 +0.0000000000000000e+00 2465 1.12022933e+03 0.00e+00 0.01
1000 +0.0000000000000000e+00 1832 4.72794559e+02 0.00e+00 0.02
2000 +0.0000000000000000e+00 2685 4.46282607e+05 0.00e+00 0.08
3000 +0.0000000000000000e+00 2208 5.46043010e+03 0.00e+00 0.23
4000 +0.0000000000000000e+00 2468 5.45851846e+07 0.00e+00 0.41
5000 +0.0000000000000000e+00 381 2.65926071e+01 0.00e+00 0.63
Root relaxation solution found in 5174 iterations and 0.66s
Root relaxation objective +0.00000000e+00
Strong branching using 28 threads and 607 fractional variables
| Explored | Unexplored | Objective | Bound | Depth | Iter/Node | Gap | Time
0 1 +inf +0.000000e+00 1 0.0e+00 - 1.61
60 61 +inf +0.000000e+00 15 9.9e+01 - 2.62
129 122 +inf +0.000000e+00 25 9.5e+01 - 3.64
222 205 +inf +0.000000e+00 36 8.8e+01 - 4.64
335 276 +inf +0.000000e+00 50 8.0e+01 - 5.64
456 349 +inf +0.000000e+00 63 7.7e+01 - 6.64
613 420 +inf +0.000000e+00 79 7.0e+01 - 7.65
707 448 +inf +0.000000e+00 86 7.6e+01 - 8.65
Numerical issue node 732. Resolving from scratch.
756 455 +inf +0.000000e+00 91 8.0e+01 - 9.65
Numerical issue node 860. Resolving from scratch.
861 482 +inf +0.000000e+00 101 8.1e+01 - 10.96
956 515 +inf +0.000000e+00 111 8.5e+01 - 12.12
Numerical issue node 1852. Resolving from scratch.
2000 563 +inf +0.000000e+00 174 8.6e+01 - 21.82
3000 537 +inf +0.000000e+00 138 9.2e+01 - 32.56
^[[A 4000 505 +inf +0.000000e+00 129 9.5e+01 - 42.93
5000 491 +inf +0.000000e+00 121 9.6e+01 - 52.81
Numerical issue node 5002. Resolving from scratch.
Numerical issue node 5158. Resolving from scratch.
Numerical issue node 5173. Resolving from scratch.
Numerical issue node 5326. Resolving from scratch.
Numerical issue node 5341. Resolving from scratch.
6000 485 +inf +0.000000e+00 123 9.3e+01 - 62.28
Numerical issue node 6799. Resolving from scratch.
7000 507 +inf +0.000000e+00 151 9.1e+01 - 71.44
8000 479 +inf +0.000000e+00 150 9.0e+01 - 79.97
Numerical issue node 8468. Resolving from scratch.
9000 453 +inf +0.000000e+00 108 8.9e+01 - 88.74
Numerical issue node 9284. Resolving from scratch.
Numerical issue node 9510. Resolving from scratch.
10000 443 +inf +0.000000e+00 86 9.0e+01 - 99.35
11000 425 +inf +0.000000e+00 95 9.0e+01 - 109.60
Numerical issue node 11968. Resolving from scratch.
12000 435 +inf +0.000000e+00 116 9.1e+01 - 119.94
Numerical issue node 12025. Resolving from scratch.
fish: Job 1, 'cuopt_cli datasets/miplib/bnatt…' terminated by signal SIGSEGV (Address boundary error)
Setting parameter time_limit to 6.000000e+02
Running file bnatt500.mps
Solving a problem with 7029 constraints 4500 variables (4500 integers) and 27203 nonzeros
Objective offset 0.000000 scaling_factor 1.000000
After trivial presolve updated 7029 constraints 4500 variables. Objective offset 0.000000
Running presolve!
Unused variables detected, eliminating them! Unused var count 1971
After trivial presolve updated 5058 constraints 2529 variables. Objective offset 0.000000
Solving LP root relaxation
Scaling matrix. Maximum column norm 3.495577e+00
Dual Simplex Phase 1
Dual feasible solution found.
Dual Simplex Phase 2
Iter Objective Num Inf. Sum Inf. Perturb Time
1 +0.0000000000000000e+00 3030 1.39377507e+03 0.00e+00 0.01
1000 +0.0000000000000000e+00 2318 5.85778066e+02 0.00e+00 0.02
2000 +0.0000000000000000e+00 3112 7.85791259e+04 0.00e+00 0.07
3000 +0.0000000000000000e+00 3312 2.94319524e+04 0.00e+00 0.20
4000 +0.0000000000000000e+00 2781 8.89360984e+03 0.00e+00 0.42
5000 +0.0000000000000000e+00 2351 3.24193686e+03 0.00e+00 0.66
6000 +0.0000000000000000e+00 1766 1.64579050e+03 0.00e+00 0.95
Root relaxation solution found in 6768 iterations and 1.19s
Root relaxation objective +0.00000000e+00
Strong branching using 28 threads and 819 fractional variables
| Explored | Unexplored | Objective | Bound | Depth | Iter/Node | Gap | Time
0 1 +inf +0.000000e+00 1 0.0e+00 - 3.34
21 22 +inf +0.000000e+00 7 2.3e+02 - 4.39
48 47 +inf +0.000000e+00 13 2.0e+02 - 5.43
73 72 +inf +0.000000e+00 17 2.0e+02 - 6.50
Numerical issue node 75. Resolving from scratch.
76 71 +inf +0.000000e+00 17 2.3e+02 - 7.72
107 100 +inf +0.000000e+00 22 2.1e+02 - 8.77
134 125 +inf +0.000000e+00 26 2.0e+02 - 9.78
170 159 +inf +0.000000e+00 30 1.9e+02 - 10.78
208 189 +inf +0.000000e+00 35 1.8e+02 - 11.79
236 211 +inf +0.000000e+00 38 1.8e+02 - 12.86
288 243 +inf +0.000000e+00 44 1.7e+02 - 13.94
359 302 +inf +0.000000e+00 52 1.5e+02 - 14.96
418 349 +inf +0.000000e+00 59 1.4e+02 - 15.97
468 383 +inf +0.000000e+00 64 1.4e+02 - 17.00
529 420 +inf +0.000000e+00 70 1.4e+02 - 18.01
615 462 +inf +0.000000e+00 80 1.3e+02 - 19.02
684 487 +inf +0.000000e+00 87 1.3e+02 - 20.03
764 523 +inf +0.000000e+00 94 1.2e+02 - 21.04
829 542 +inf +0.000000e+00 100 1.2e+02 - 22.05
875 558 +inf +0.000000e+00 104 1.2e+02 - 23.05
malloc(): invalid next size (unsorted)
fish: Job 1, 'cuopt_cli datasets/submiplib\ 2…' terminated by signal SIGABRT (Abort)