You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
1006 B
18 lines
1006 B
[ 0.00] Reading problem instances/harp2.pre.mps.gz...
|
|
[ 0.00] 92 rows, 1049 cols
|
|
[ 0.00] Storing column types...
|
|
[ 0.00] Relaxing integrality...
|
|
[ 0.00] Disabling presolve...
|
|
[ 0.00] Reading basis from file bases/harp2.pre.bas...
|
|
[ 0.00] Optimizing...
|
|
[ 0.00] opt = -74325169.345138
|
|
[ 0.00] Reading tableau rows...
|
|
[ 0.01] Reading solution from solutions/harp2.pre.x
|
|
[ 0.01] Adding MIR cuts...
|
|
[ 0.01] opt = -74315010.901620
|
|
[ 0.01] opt = -74293298.124331
|
|
[ 0.01] Cut cuts off known integral solution: -0.26968016 >= -0.42512401 (0) (/Users/axavier/.shared/research/multirow/multirow/src/cg.c:319)
|
|
[ 0.01] check_cut failed (1) (/Users/axavier/.shared/research/multirow/multirow/src/cg.c:339)
|
|
[ 0.01] add_cut failed (1) (/Users/axavier/.shared/research/multirow/multirow/src/cg.c:644)
|
|
[ 0.01] CG_add_single_row_cuts failed (1) (/Users/axavier/.shared/research/multirow/infinity/benchmark/src/main.c:397)
|