[BUG] SIGSEGV when solving the buildingenergy instance #395
Description
solve_MIP crashes when solving the buildingenergy instance from the MIPLIB2017 dataset. The executable solve_MIP was build directly from the main branch.
Here is a snippet from gdb contains some information about the crash:
(cuopt_dev)
cuopt-dev main* 12m56s
❯ gdb -ex=r --args cuopt-ref/cpp/build/solve_MIP --path datasets/miplib2017/buildingenergy.mps.bz2 --time-limit 600
GNU gdb (AlmaLinux) 14.2-4.1.el10_0
Copyright (C) 2023 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Type "show copying" and "show warranty" for details.
This GDB was configured as "x86_64-redhat-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<https://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from cuopt-ref/cpp/build/solve_MIP...
(No debugging symbols found in cuopt-ref/cpp/build/solve_MIP)
Starting program: /cuopt-dev/cuopt-ref/cpp/build/solve_MIP --path datasets/miplib2017/buildingenergy.mps.bz2 --time-limit 600
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/usr/lib64/libthread_db.so.1".
Missing separate debuginfo for /usr/lib64/libcuda.so.1.
The debuginfo package for this file is probably broken.
[New Thread 0x7fff935ff000 (LWP 2843)]
[New Thread 0x7fff9194a000 (LWP 2844)]
running file buildingenergy.mps.bz2 on gpu : 0
cuOpt version: 25.10.0, git hash: ef90a38, host arch: x86_64, device archs: 90a-real
CPU: Intel(R) Xeon(R) Silver 4314 CPU @ 2.40GHz, threads (physical/logical): 16/32, RAM: 28.08 GiB
CUDA 12.9, device: NVIDIA H100 (ID 0), VRAM: 95.07 GiB
CUDA device UUID: 524162ffffffe7-5702-7fffffff8f-fffff
Unpresolved problem:: 277594 constraints, 154978 variables, 788969 nonzeros
[New Thread 0x7fff90504000 (LWP 2845)]
[New Thread 0x7ffd863bd000 (LWP 2846)]
[New Thread 0x7ffd85fbc000 (LWP 2847)]
[New Thread 0x7ffd85bbb000 (LWP 2848)]
[New Thread 0x7ffd857ba000 (LWP 2849)]
[New Thread 0x7ffd853b9000 (LWP 2850)]
[New Thread 0x7ffd84fb8000 (LWP 2851)]
[New Thread 0x7ffd847b6000 (LWP 2852)]
[New Thread 0x7ffd84bb7000 (LWP 2853)]
[New Thread 0x7ffd3b7fd000 (LWP 2854)]
[New Thread 0x7ffd3bbfe000 (LWP 2855)]
[New Thread 0x7ffd3bfff000 (LWP 2856)]
[New Thread 0x7ffd3affb000 (LWP 2857)]
[New Thread 0x7ffd3b3fc000 (LWP 2858)]
[New Thread 0x7ffd337fd000 (LWP 2859)]
[New Thread 0x7ffd33fff000 (LWP 2860)]
[New Thread 0x7ffd33bfe000 (LWP 2861)]
[New Thread 0x7ffd38634000 (LWP 2862)]
[New Thread 0x7ffd333fc000 (LWP 2863)]
[New Thread 0x7ffd323f8000 (LWP 2864)]
[New Thread 0x7ffd32ffb000 (LWP 2866)]
[New Thread 0x7ffd31ff7000 (LWP 2865)]
[New Thread 0x7ffd317f5000 (LWP 2867)]
[New Thread 0x7ffd32bfa000 (LWP 2868)]
[New Thread 0x7ffd327f9000 (LWP 2869)]
[New Thread 0x7ffd31bf6000 (LWP 2870)]
[New Thread 0x7ffd313f4000 (LWP 2871)]
[New Thread 0x7ffd30ff3000 (LWP 2872)]
[New Thread 0x7ffd30bf2000 (LWP 2873)]
[New Thread 0x7ffd307f1000 (LWP 2874)]
[New Thread 0x7ffd27fff000 (LWP 2875)]
Presolve status:: reduced the problem
Presolve removed:: 12253 constraints, 12253 variables, -41839 nonzeros
Presolved problem:: 265341 constraints, 142725 variables, 830808 nonzeros
Third party presolve time: 0.710100
Solving a problem with 265341 constraints 142725 variables (26287 integers) and 830808 nonzeros
Objective offset 600.000000 scaling_factor 1.000000
After trivial presolve updated 265341 constraints 142725 variables. Objective offset 600.000000
Running presolve!
[New Thread 0x7ffd3abfa000 (LWP 2876)]
[New Thread 0x7ffd3a3f9000 (LWP 2877)]
[New Thread 0x7ffd39bf8000 (LWP 2878)]
[New Thread 0x7ffd393f7000 (LWP 2879)]
[New Thread 0x7ffd278fe000 (LWP 2880)]
[New Thread 0x7ffd270fd000 (LWP 2881)]
[New Thread 0x7ffd268fc000 (LWP 2882)]
[New Thread 0x7ffd260fb000 (LWP 2883)]
[New Thread 0x7ffd258fa000 (LWP 2884)]
[New Thread 0x7ffd250f9000 (LWP 2885)]
[New Thread 0x7ffd248f8000 (LWP 2886)]
[New Thread 0x7ffd1ffff000 (LWP 2887)]
[New Thread 0x7ffd1f7fe000 (LWP 2888)]
[New Thread 0x7ffd1effd000 (LWP 2889)]
[New Thread 0x7ffd1e7fc000 (LWP 2890)]
[New Thread 0x7ffd1dffb000 (LWP 2891)]
[New Thread 0x7ffd1d7fa000 (LWP 2892)]
[New Thread 0x7ffd1cff9000 (LWP 2893)]
[New Thread 0x7ffd13fff000 (LWP 2894)]
[New Thread 0x7ffd137fe000 (LWP 2895)]
[New Thread 0x7ffd12ffd000 (LWP 2896)]
[New Thread 0x7ffd127fc000 (LWP 2897)]
[New Thread 0x7ffd11ffb000 (LWP 2898)]
[New Thread 0x7ffd117fa000 (LWP 2899)]
[New Thread 0x7ffd10ff9000 (LWP 2900)]
[New Thread 0x7ffd07fff000 (LWP 2901)]
[New Thread 0x7ffd077fe000 (LWP 2902)]
[New Thread 0x7ffd06ffd000 (LWP 2903)]
[New Thread 0x7ffd067fc000 (LWP 2904)]
[New Thread 0x7ffd05ffb000 (LWP 2905)]
[New Thread 0x7ffd057fa000 (LWP 2906)]
[New Thread 0x7ffd04ff9000 (LWP 2907)]
Solving LP root relaxation
Scaling matrix. Maximum column norm 1.629989e+02
Dual Simplex Phase 1
Iter Objective Num Inf. Sum Inf. Perturb Time
1 -2.5852161688331207e+03 42447 4.79561911e+04 0.00e+00 0.18
1000 -2.4628150927118054e+03 46720 5.25199690e+04 0.00e+00 0.49
2000 -2.3317319212230127e+03 50695 5.88459377e+04 0.00e+00 0.83
3000 -2.2017327378759578e+03 54477 6.54456877e+04 0.00e+00 1.20
4000 -2.0787651369826463e+03 58396 7.26688465e+04 0.00e+00 1.59
5000 -1.9583467095058077e+03 62385 7.81956284e+04 0.00e+00 2.00
6000 -1.8411936264518952e+03 65249 8.73378788e+04 0.00e+00 2.40
7000 -1.7713154032143580e+03 65316 9.41587253e+04 0.00e+00 2.81
8000 -1.7192659438616379e+03 65110 9.39150724e+04 0.00e+00 3.21
9000 -1.6782649377488738e+03 64678 9.09361509e+04 0.00e+00 3.62
10000 -1.6572887622214093e+03 64089 8.50339657e+04 0.00e+00 4.01
11000 -1.6057864005450317e+03 64089 8.75826678e+04 0.00e+00 4.42
12000 -1.5516619934886801e+03 64230 9.23517939e+04 0.00e+00 4.84
13000 -1.4948336512944231e+03 64526 9.56111781e+04 0.00e+00 5.26
14000 -1.4462780481773848e+03 64616 1.02750300e+05 0.00e+00 5.68
15000 -1.3947153219479071e+03 64573 1.06637596e+05 0.00e+00 6.09
16000 -1.3388797214580827e+03 64802 1.14831423e+05 0.00e+00 6.51
17000 -1.2765554141102741e+03 64818 1.17766615e+05 0.00e+00 6.93
18000 -1.2189820418684733e+03 64915 1.23259668e+05 0.00e+00 7.35
19000 -1.1651121777766475e+03 64970 1.28131209e+05 0.00e+00 7.79
20000 -1.1102433031997762e+03 65065 1.32547193e+05 0.00e+00 8.21
21000 -1.0614850126165159e+03 65040 1.38118411e+05 0.00e+00 8.62
22000 -1.0105887852129896e+03 65051 1.42855396e+05 0.00e+00 9.04
23000 -9.6079631374553992e+02 65221 1.51564482e+05 0.00e+00 9.47
24000 -9.0905871124865769e+02 65348 1.58451067e+05 0.00e+00 9.90
25000 -8.5213673349473652e+02 65505 1.62672814e+05 0.00e+00 10.33
26000 -8.0284640578519202e+02 65578 1.67136322e+05 0.00e+00 10.74
27000 -7.8415306545069768e+02 64599 1.61068947e+05 0.00e+00 11.17
28000 -7.8376137996791942e+02 63114 1.45661691e+05 0.00e+00 11.57
29000 -7.8351785550919374e+02 61588 1.31423433e+05 0.00e+00 11.98
30000 -7.8348187160300256e+02 59860 1.10227680e+05 0.00e+00 12.37
31000 -7.8343928963246151e+02 58071 9.88374842e+04 0.00e+00 12.75
32000 -7.8343928963246151e+02 56709 9.29588839e+04 0.00e+00 13.16
33000 -7.8343928963246151e+02 55332 8.66870226e+04 0.00e+00 13.55
34000 -7.8288567300489945e+02 53773 7.67906277e+04 0.00e+00 13.94
35000 -7.8269763641154304e+02 51841 6.14091085e+04 0.00e+00 14.32
36000 -7.8256869856459127e+02 49823 4.47758468e+04 0.00e+00 14.69
37000 -7.8256869856459127e+02 48491 4.23577708e+04 0.00e+00 15.06
38000 -7.8256869856459127e+02 47196 3.96781083e+04 0.00e+00 15.44
39000 -7.8233093902616349e+02 45623 3.54183268e+04 0.00e+00 15.80
40000 -7.8202846257302269e+02 43964 3.09986344e+04 0.00e+00 16.17
41000 -7.8175031543012221e+02 42166 2.89127388e+04 0.00e+00 16.51
42000 -7.7439349886331968e+02 40114 2.39784364e+04 0.00e+00 16.86
43000 -7.4331568786351897e+02 38826 2.33347654e+04 0.00e+00 17.19
44000 -7.2137642827827335e+02 37156 2.01777185e+04 0.00e+00 17.53
45000 -6.9560168216892191e+02 35679 1.84101587e+04 0.00e+00 17.86
46000 -6.7406929762186360e+02 34137 1.59423893e+04 0.00e+00 18.16
47000 -6.4845017736413922e+02 32652 1.36709203e+04 0.00e+00 18.46
48000 -6.2182051055190368e+02 30979 1.17017403e+04 0.00e+00 18.75
49000 -5.9270946961715651e+02 28862 8.38546081e+03 0.00e+00 19.03
50000 -5.6246439848907278e+02 27098 6.77172249e+03 0.00e+00 19.31
51000 -5.3462655015588371e+02 25041 4.56787328e+03 0.00e+00 19.57
52000 -5.0428391633582140e+02 23553 3.36039953e+03 0.00e+00 19.82
53000 -4.7231963062250139e+02 22002 2.70241122e+03 0.00e+00 20.06
54000 -4.4575962261351566e+02 20050 1.88300791e+03 0.00e+00 20.32
55000 -4.2271259343671738e+02 18751 1.53712893e+03 0.00e+00 20.55
56000 -3.9581587040586362e+02 17193 1.23461921e+03 0.00e+00 20.81
57000 -3.6660242962599716e+02 15838 1.12209100e+03 0.00e+00 21.06
58000 -3.4483331987934940e+02 14825 8.94891290e+02 0.00e+00 21.34
59000 -3.4088595176555407e+02 13315 5.99360462e+02 0.00e+00 21.76
60000 -3.4083342449589128e+02 3903 2.72281647e+02 0.00e+00 22.69
Dual phase I complete. Iterations 60169. Time 22.86
Dual feasible solution found.
Dual Simplex Phase 2
Found 169902 singleton rows for steepest edge norms in 0.00s
Iter Objective Num Inf. Sum Inf. Perturb Time
60170 +2.6020818396264600e+04 17475 9.26142069e+07 1.33e-06 22.99
61000 +2.6129897493908589e+04 18005 9.74492157e+07 1.39e-06 24.08
62000 +2.6278647535640590e+04 18332 9.21666663e+07 7.50e-07 25.15
63000 +2.6409313702147007e+04 18726 1.66573742e+08 4.98e-07 26.22
64000 +2.6562793957456568e+04 19116 1.10505727e+08 1.93e-07 27.52
65000 +2.6699606349144939e+04 19400 3.89708150e+08 9.20e-06 28.65
66000 +2.6853100920380006e+04 19625 1.12964611e+08 1.21e-05 30.01
67000 +2.6994676035326884e+04 19819 1.03773623e+08 2.00e-07 31.16
68000 +2.7156411107338019e+04 20239 1.15373828e+08 6.90e-07 32.39
69000 +2.7315276013301125e+04 20443 1.30423825e+08 1.00e-07 33.58
70000 +2.7406852063116072e+04 20763 9.17106232e+08 2.67e-06 35.17
71000 +2.7529721441792532e+04 20837 1.40122608e+08 1.42e-06 36.56
72000 +2.7639767097032094e+04 20978 1.26468390e+08 1.00e-07 38.06
73000 +2.7788264494831492e+04 21191 9.65239946e+07 1.44e-07 39.07
74000 +2.7947282501641766e+04 21439 9.43427556e+07 8.00e-07 40.35
75000 +2.8106432670178267e+04 21955 1.23138170e+08 1.12e-05 41.43
76000 +2.8245707390649917e+04 22167 9.78013650e+07 2.00e-07 42.70
77000 +2.8387881943194727e+04 22383 1.02610252e+08 1.00e-07 43.96
78000 +2.8529434682546569e+04 22524 8.63978762e+07 1.00e-07 45.03
79000 +2.8663505683502597e+04 22770 7.49366472e+07 4.32e-07 46.03
80000 +2.8806808842301114e+04 23127 6.13479135e+07 3.63e-07 47.10
81000 +2.8950510892738137e+04 23416 5.17417688e+07 1.00e-07 47.99
82000 +2.9086166168674936e+04 23882 7.91982131e+07 1.24e-07 48.74
83000 +2.9189484972292310e+04 24069 4.93473808e+07 1.00e-07 49.78
84000 +2.9299725071555131e+04 24385 3.62837176e+07 1.00e-07 50.50
85000 +2.9379351743895702e+04 24567 2.97204954e+07 3.16e-07 51.29
86000 +2.9448689378397936e+04 24794 3.17995878e+07 1.69e-07 52.44
87000 +2.9514745018558726e+04 25197 2.33380863e+07 3.11e-07 53.45
88000 +2.9570917863011757e+04 25291 2.31403706e+07 2.01e-07 54.36
89000 +2.9620801245711886e+04 25492 2.57786724e+07 1.60e-06 55.42
90000 +2.9672616497483290e+04 25419 1.42902970e+07 2.88e-07 56.47
91000 +3.0748798243923611e+04 25637 2.31531038e+07 2.00e-07 58.10
92000 +3.1559798333453171e+04 21855 1.93542776e+07 2.00e-07 59.58
93000 +3.1608528258547583e+04 21863 1.80804903e+07 1.00e-07 60.77
94000 +3.1646722275354965e+04 21665 1.45067287e+07 2.00e-07 62.08
95000 +3.1680845701824699e+04 21717 1.39753054e+07 4.84e-07 63.20
96000 +3.1717216960789494e+04 21579 1.17320757e+07 1.96e-07 64.43
97000 +3.1761595282112608e+04 21510 1.20716735e+07 1.00e-07 65.77
98000 +3.1792806311028617e+04 21219 1.20086006e+07 1.00e-07 66.77
99000 +3.1822422306556691e+04 21088 1.03726816e+07 1.00e-07 67.75
100000 +3.1852739261597384e+04 20838 7.58603537e+06 2.00e-07 68.88
101000 +3.1889619589820297e+04 20702 6.26942550e+06 2.24e-07 70.23
102000 +3.1915901879493278e+04 20501 5.68918386e+06 1.38e-07 71.32
103000 +3.1938829040701992e+04 20456 5.40974841e+06 3.26e-07 72.43
104000 +3.1953531371502064e+04 19699 4.59426425e+06 2.32e-07 73.79
105000 +3.1964943773362789e+04 19148 4.23806171e+06 1.00e-07 75.24
106000 +3.2695963225844618e+04 18410 7.24026266e+06 1.46e-07 77.50
107000 +3.2706977706398182e+04 17880 5.38707221e+06 1.00e-07 78.67
108000 +3.2720710359862740e+04 17021 4.61351420e+06 2.39e-07 80.03
109000 +3.2826330433070674e+04 16066 2.59951550e+06 1.92e-07 81.46
110000 +3.2835597643747926e+04 15229 2.20648659e+06 4.00e-07 83.06
111000 +3.2844469710171084e+04 14383 2.29813425e+06 1.80e-07 84.55
112000 +3.2853138110170941e+04 13576 2.00305443e+06 1.00e-07 86.11
113000 +3.2858111366264187e+04 12845 1.63102578e+06 1.00e-07 87.78
114000 +3.2864685008826062e+04 12174 1.85266388e+06 1.24e-07 89.77
115000 +3.2869438733524643e+04 11520 1.56244230e+06 1.81e-07 91.76
116000 +3.2871646952579322e+04 10547 1.30144612e+06 1.72e-07 93.67
117000 +3.2902984327392762e+04 9762 7.88305529e+05 4.08e-07 95.89
118000 +3.2905130024748156e+04 8824 7.39386817e+05 2.00e-07 97.87
119000 +3.3082645277415621e+04 7556 1.09740894e+06 2.50e-07 99.97
120000 +3.3086273857170963e+04 7030 1.01371452e+06 1.05e-06 102.10
121000 +3.3090027787011539e+04 6408 9.28689183e+05 1.36e-07 104.31
122000 +3.3093377800342801e+04 6138 2.79922734e+05 1.13e-07 106.60
123000 +3.3200512583620002e+04 5525 3.18085237e+05 1.00e-07 108.91
124000 +3.3214873628188972e+04 5254 6.73786931e+04 1.00e-07 111.17
125000 +3.3217771104409112e+04 4885 9.03302886e+04 5.09e-07 113.48
126000 +3.3218926298672828e+04 4585 8.98867831e+04 1.73e-07 115.75
127000 +3.3220321292122870e+04 4037 5.69076115e+04 3.17e-07 117.90
128000 +3.3221005078413436e+04 3713 3.84036109e+04 1.00e-07 120.22
129000 +3.3221407647053187e+04 3627 5.75052802e+04 4.02e-07 122.54
130000 +3.3223008111853153e+04 3472 1.21196184e+05 1.00e-07 124.76
131000 +3.3224599882437105e+04 3800 2.97338624e+05 1.06e-07 127.13
132000 +3.3234017462111995e+04 2906 2.31013018e+05 3.29e-07 129.52
133000 +3.3234825583340687e+04 2677 1.40360297e+05 4.15e-07 131.91
134000 +3.3235585407026316e+04 2731 8.23403428e+04 3.58e-06 134.24
135000 +3.3236677515735719e+04 2671 1.12441403e+05 3.11e-07 136.54
136000 +3.3237314868754467e+04 2468 1.72478013e+05 1.00e-07 138.92
137000 +3.3238042735586481e+04 2733 3.40604789e+05 1.63e-07 141.32
138000 +3.3238874155169906e+04 2751 2.10011268e+05 8.00e-07 143.72
139000 +3.3239578807896978e+04 2346 8.31988697e+04 4.09e-07 146.01
140000 +3.3240092275016883e+04 1719 2.85649398e+04 1.00e-07 148.28
141000 +3.3240520375356617e+04 1577 2.20994270e+04 1.00e-07 150.61
142000 +3.3245930590259464e+04 1202 5.37111639e+03 1.42e-06 152.83
143000 +3.3246147688886507e+04 646 4.05966165e+02 1.00e-07 155.07
144000 +3.3246207811767759e+04 66 2.61411356e+00 3.60e-07 157.23
Removed perturbation of 6.69e-02.
Root relaxation solution found in 144267 iterations and 157.84s
Root relaxation objective +3.32462151e+04
Thread 66 "solve_MIP" received signal SIGSEGV, Segmentation fault.
[Switching to Thread 0x7ffd04ff9000 (LWP 2907)]
0x00007ffff5b56280 in double cuopt::linear_programming::dual_simplex::compute_objective<int, double>(cuopt::linear_programming::dual_simplex::lp_problem_t<int, double> const&, std::vector<double, std::allocator<double> > const&) () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
--Type <RET> for more, q to quit, c to continue without paging--c
Missing separate debuginfos, use: dnf debuginfo-install glibc-2.39-46.el10_0.alma.1.x86_64
(gdb) backtrace
#0 0x00007ffff5b56280 in double cuopt::linear_programming::dual_simplex::compute_objective<int, double>(cuopt::linear_programming::dual_simplex::lp_problem_t<int, double> const&, std::vector<double, std::allocator<double> > const&) () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
#1 0x00007ffff5b24b72 in cuopt::linear_programming::dual_simplex::branch_and_bound_t<int, double>::solve(cuopt::linear_programming::dual_simplex::mip_solution_t<int, double>&) () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
#2 0x00007ffff5a74e76 in std::_Function_handler<std::unique_ptr<std::__future_base::_Result_base, std::__future_base::_Result_base::_Deleter> (), std::__future_base::_Task_setter<std::unique_ptr<std::__future_base::_Result<cuopt::linear_programming::dual_simplex::mip_status_t>, std::__future_base::_Result_base::_Deleter>, std::thread::_Invoker<std::tuple<cuopt::linear_programming::dual_simplex::mip_status_t (cuopt::linear_programming::dual_simplex::branch_and_bound_t<int, double>::*)(cuopt::linear_programming::dual_simplex::mip_solution_t<int, double>&), cuopt::linear_programming::dual_simplex::branch_and_bound_t<int, double>*, std::reference_wrapper<cuopt::linear_programming::dual_simplex::mip_solution_t<int, double> > > >, cuopt::linear_programming::dual_simplex::mip_status_t> >::_M_invoke(std::_Any_data const&) () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
#3 0x00007ffff5a74f3b in std::__future_base::_State_baseV2::_M_do_set(std::function<std::unique_ptr<std::__future_base::_Result_base, std::__future_base::_Result_base::_Deleter> ()>*, bool*) () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
#4 0x00007ffff502b297 in __pthread_once_slow.isra.0 () from /usr/lib64/libc.so.6
#5 0x00007ffff502b309 in pthread_once@GLIBC_2.2.5 () from /usr/lib64/libc.so.6
#6 0x00007ffff5a75de2 in std::__future_base::_Async_state_impl<std::thread::_Invoker<std::tuple<cuopt::linear_programming::dual_simplex::mip_status_t (cuopt::linear_programming::dual_simplex::branch_and_bound_t<int, double>::*)(cuopt::linear_programming::dual_simplex::mip_solution_t<int, double>&), cuopt::linear_programming::dual_simplex::branch_and_bound_t<int, double>*, std::reference_wrapper<cuopt::linear_programming::dual_simplex::mip_solution_t<int, double> > > >, cuopt::linear_programming::dual_simplex::mip_status_t>::_M_run() () from /cuopt-dev/cuopt-ref/cpp/build/libcuopt.so
#7 0x00007ffff52eb198 in std::execute_native_thread_routine (__p=<optimized out>) at ../../../../../libstdc++-v3/src/c++11/thread.cc:104
#8 0x00007ffff5025de5 in start_thread () from /usr/lib64/libc.so.6
#9 0x00007ffff509898c in clone3 () from /usr/lib64/libc.so.6
(gdb)