version: benchmark.run
machine: mensa
[      0.00] Reading input file: instances/qiu.pre.mps.gz...
[      0.00] Fetched 1192 rows, 1901 cols.
[      0.00] Solving first relaxation...
[      0.03]     -931.638854 [optimal]                    
[      0.03] Reading basis...

                                                       
[      0.07] Generating MIR cuts...
[      0.07] Finding interesting rows...
[      7.61]     36 rows found
[      7.61] Starting timer 1...
[      8.18] Ending timer 1: 0.58s
                 
                                                       
[      8.19] Added 36 violated cuts...
[      8.26]     -919.644028 [optimal]                    
[      8.26] Generating wedge cuts...
[      8.26] Starting timer 2...
[      9.27] Ending timer 2: 1.02s
                 
                                                       
[      9.28] Added 0 violated cuts...
[      9.28]     -919.644028 [optimal]                    
[      9.28] Writting stats: out/qiu.yaml...
[      9.28] Done.