version: benchmark-99d69fb.run
machine: cogradmac143
[      0.00] Reading input file: running/timtab1.pre.mps.gz...
[      0.00] Fetched 166 rows, 379 cols.
[      0.00] Solving first relaxation...
[      0.00]     28694.000000 [optimal]                    
[      0.00] Reading basis...

                                                       
[      0.00] Generating MIR cuts...
[      0.00] Finding interesting rows...
[      0.00]     135 rows found
[      0.01]     103178.138601 [optimal]                    

                                                       
[      0.02] Added 125 violated cuts...
[      0.02]     205801.284255 [optimal]                    
[      0.02] Generating wedge cuts...

                                                       
[      0.08] Added 0 violated cuts...
[      0.08]     205801.284255 [optimal]                    
[      0.08] Writting stats: out/timtab1.yaml...
[      0.08] Done.