size_t total = rows * cols;
    size_t max_size = fa.max_size();
    printf("total = %u max_size = %u\n", total, max_size);
    assert(total <= max_size);


STDOUT
53081 rows, 41500 columns, 144120 non-zeros
1980 integer variables, all of which are binary
158706 records were read
total = 2202861500 max_size = 4294967295
Assertion failed: (total <= max_size), function load_mps, file src/lp_problem.cpp, line 292.

Program received signal SIGABRT, Aborted.
0x00007fff88adf616 in __kill ()