version: benchmark.run
machine: mensa
[      0.00] Reading input file: instances/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.06]     135 rows found
[      0.06] Starting timer 1...
[      0.09]     112659.532725 [optimal]                    
[      0.10] Ending timer 1: 0.05s
                 
                                                       
[      0.11] Added 121 violated cuts...
[      0.11]     205801.284255 [optimal]                    
[      0.11] Generating wedge cuts...
[      0.11] Starting timer 2...
[      0.19] Ending timer 2: 0.08s
                 
                                                       
[      0.20] Added 0 violated cuts...
[      0.20]     205801.284255 [optimal]                    
[      0.20] Writting stats: out/timtab1.yaml...
[      0.20] Done.