[ 0.00] multirow (git-4d20687d04e75dc63c7bb84cbbfeb2261c6a6ab2) [ 0.00] mf-hpc-1-7.local 2017-03-11 22:09 [ 0.00] Compile-time parameters: [ 0.00] EPSILON: 1.000000e-08 [ 0.00] GREEDY_BIG_E: 1.000000e+03 [ 0.00] GREEDY_MAX_GAP: 1.000000e-04 [ 0.00] Command line arguments: [ 0.00] ../build/infinity.run --mir --greedy --problem instances/gesa2.pre.mps.gz --basis bases/gesa2.pre.bas --log 3row-lift/gesa2.pre.log --stats 3row-lift/gesa2.pre.yaml --solution solutions/gesa2.pre.x --rows 3 --lift [ 0.00] 1344 rows, 2521 cols [ 0.00] Storing column types... [ 0.00] Relaxing integrality... [ 0.00] Disabling presolve... [ 0.01] Optimizing... [ 0.01] opt = 25502855.039680 [ 0.01] Reading tableau rows... [ 0.05] Adding MIR cuts... [ 0.05] opt = 25503189.481401 [ 0.05] opt = 25505097.141593 [ 0.05] opt = 25507558.328005 [ 0.05] opt = 25509966.640772 [ 0.05] opt = 25510293.170291 [ 0.05] opt = 25510733.317200 [ 0.05] opt = 25510835.234173 [ 0.06] opt = 25510895.680454 [ 0.06] opt = 25511482.108962 [ 0.06] opt = 25511706.759514 [ 0.06] opt = 25515089.265446 [ 0.06] opt = 25517890.088787 [ 0.06] opt = 25521396.518196 [ 0.06] opt = 25522955.827163 [ 0.06] opt = 25526142.783890 [ 0.06] opt = 25528371.413194 [ 0.06] opt = 25531443.301219 [ 0.06] opt = 25532621.300009 [ 0.07] opt = 25532673.510171 [ 0.07] opt = 25532875.910642 [ 0.07] opt = 25533103.043092 [ 0.07] opt = 25533305.958437 [ 0.07] opt = 25536080.594461 [ 0.07] opt = 25536258.566108 [ 0.07] opt = 25540465.557336 [ 0.07] opt = 25540675.226899 [ 0.07] opt = 25545107.992465 [ 0.07] opt = 25546638.937408 [ 0.08] opt = 25546745.426519 [ 0.08] opt = 25547009.915111 [ 0.08] opt = 25547577.221583 [ 0.08] opt = 25548747.992486 [ 0.08] opt = 25554009.580870 [ 0.08] opt = 25560764.943688 [ 0.08] opt = 25566551.004404 [ 0.08] opt = 25576207.171313 [ 0.08] opt = 25576319.687246 [ 0.08] opt = 25578042.115325 [ 0.09] opt = 25579521.896201 [ 0.09] Optimizing... [ 0.09] opt = 25579521.896201 [ 0.09] Adding greedy intersection cuts (2 rows)... [ 0.09] Finding combinations... [ 0.10] 604 combinations [0.05] [ 0.10] opt = 25579537.039574 [ 0.11] opt = 25579722.065297 [ 0.12] opt = 25579743.305042 [ 0.87] opt = 25579764.813878 [ 0.88] opt = 25581318.646471 [ 1.33] opt = 25581406.442126 [ 1.34] opt = 25581468.860206 [ 1.41] opt = 25581486.549685 [ 1.43] opt = 25581493.692129 [ 1.52] opt = 25581501.804711 [ 1.86] opt = 25581604.607216 [ 1.91] opt = 25583146.445035 [ 1.94] opt = 25583155.573897 [ 1.98] Cut cuts off known integral solution: 490.46527530 >= 490.44289559 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 1.98] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 1.98] invalid cut skipped (cut 499) [ 2.45] Adding greedy intersection cuts (3 rows)... [ 2.45] Finding combinations... [ 3.17] 2782 combinations [0.05] [ 3.30] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 3.30] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 3.30] invalid cut skipped (cut 3) [ 3.63] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 3.63] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 3.63] invalid cut skipped (cut 12) [ 3.94] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 3.94] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 3.94] invalid cut skipped (cut 21) [ 4.20] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 4.20] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 4.20] invalid cut skipped (cut 30) [ 4.53] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 4.53] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 4.53] invalid cut skipped (cut 39) [ 4.86] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 4.86] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 4.86] invalid cut skipped (cut 48) [ 5.19] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 5.19] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 5.19] invalid cut skipped (cut 57) [ 6.31] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 6.31] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 6.31] invalid cut skipped (cut 77) [ 7.80] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 7.80] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 7.80] invalid cut skipped (cut 102) [ 16.56] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 16.56] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 16.56] invalid cut skipped (cut 273) [ 16.90] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 16.90] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 16.90] invalid cut skipped (cut 282) [ 17.23] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 17.23] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 17.23] invalid cut skipped (cut 291) [ 17.57] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 17.57] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 17.57] invalid cut skipped (cut 300) [ 17.91] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 17.91] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 17.91] invalid cut skipped (cut 309) [ 18.25] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 18.25] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 18.25] invalid cut skipped (cut 318) [ 19.40] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 19.40] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 19.40] invalid cut skipped (cut 338) [ 20.98] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 20.98] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 20.98] invalid cut skipped (cut 363) [ 29.65] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 29.65] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 29.65] invalid cut skipped (cut 525) [ 29.99] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 29.99] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 29.99] invalid cut skipped (cut 534) [ 30.34] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 30.34] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 30.34] invalid cut skipped (cut 543) [ 30.68] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 30.68] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 30.68] invalid cut skipped (cut 552) [ 31.02] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 31.02] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 31.02] invalid cut skipped (cut 561) [ 32.15] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 32.15] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 32.15] invalid cut skipped (cut 581) [ 33.73] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 33.73] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 33.73] invalid cut skipped (cut 606) [ 42.13] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 42.13] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 42.13] invalid cut skipped (cut 759) [ 42.47] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 42.47] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 42.47] invalid cut skipped (cut 768) [ 42.80] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 42.80] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 42.80] invalid cut skipped (cut 777) [ 43.14] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 43.14] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 43.14] invalid cut skipped (cut 786) [ 44.28] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 44.28] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 44.28] invalid cut skipped (cut 806) [ 45.84] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 45.84] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 45.84] invalid cut skipped (cut 831) [ 53.92] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 53.92] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 53.92] invalid cut skipped (cut 975) [ 54.25] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 54.25] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 54.25] invalid cut skipped (cut 984) [ 54.58] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 54.58] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 54.58] invalid cut skipped (cut 993) [ 55.69] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 55.69] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 55.69] invalid cut skipped (cut 1013) [ 57.20] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 57.20] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 57.20] invalid cut skipped (cut 1038) [ 63.73] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 63.73] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 63.73] invalid cut skipped (cut 1173) [ 64.01] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 64.01] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 64.01] invalid cut skipped (cut 1182) [ 65.03] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 65.03] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 65.03] invalid cut skipped (cut 1202) [ 66.00] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 66.00] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 66.00] invalid cut skipped (cut 1227) [ 71.12] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 71.12] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 71.12] invalid cut skipped (cut 1353) [ 71.99] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 71.99] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 71.99] invalid cut skipped (cut 1373) [ 73.22] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 73.22] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 73.22] invalid cut skipped (cut 1398) [ 78.69] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 78.69] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 78.69] invalid cut skipped (cut 1526) [ 80.21] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 80.21] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 80.21] invalid cut skipped (cut 1551) [ 94.90] Cut cuts off known integral solution: 85.70326840 >= 85.70263543 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 94.90] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 94.90] invalid cut skipped (cut 1813) [ 102.65] opt = 25583923.431886 [ 103.39] opt = 25584005.115676 [ 104.11] opt = 25584010.849855 [ 110.40] Cut cuts off known integral solution: 60.29090955 >= 60.28867956 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 110.40] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 110.40] invalid cut skipped (cut 1995) [ 114.63] opt = 25584014.089785 [ 128.78] opt = 25584022.771710 [ 128.82] opt = 25584023.795469 [ 128.89] opt = 25584041.807074 [ 134.41] opt = 25584045.302360 [ 136.38] opt = 25584046.672181 [ 141.83] opt = 25584051.861237 [ 142.05] opt = 25585394.719387 [ 142.45] opt = 25585771.216674 [ 142.68] opt = 25586649.997378 [ 144.27] opt = 25586698.984179 [ 144.90] Cut cuts off known integral solution: 413.95273162 >= 413.93266960 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 144.90] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 144.90] invalid cut skipped (cut 2652) [ 144.94] Cut cuts off known integral solution: 332.13681425 >= 332.11675223 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 144.94] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 144.94] invalid cut skipped (cut 2654) [ 145.01] Cut cuts off known integral solution: 492.92612218 >= 492.90749894 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 145.01] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 145.01] invalid cut skipped (cut 2657) [ 147.38] Cut cuts off known integral solution: 2.18677429 >= 2.18625442 (0) (/u/axavier/multirow/infinity/src/cg.c:317) [ 147.38] check_cut failed (1) (/u/axavier/multirow/infinity/src/cg.c:337) [ 147.38] invalid cut skipped (cut 2714) [ 150.72] Optimizing... [ 150.72] opt = 25586698.984179 [ 150.72] Writing stats to file 3row-lift/gesa2.pre.yaml...