version: benchmark.run
machine: mensa
[      0.00] Reading input file: instances/noswot.pre.mps.gz...
[      0.00] Fetched 172 rows, 293 cols.
[      0.00] Solving first relaxation...
[      0.00]     -43.000000 [optimal]                    
[      0.00] Reading basis...

                                                       
[      0.00] Generating MIR cuts...
[      0.00] Finding interesting rows...
[      0.11]     49 rows found
[      0.11] Starting timer 1...
[      0.14] Ending timer 1: 0.04s
                 
                                                       
[      0.15] Added 49 violated cuts...
[      0.15]     -43.000000 [optimal]                    
[      0.15] Generating wedge cuts...
[      0.15] Starting timer 2...
[      0.70] Ending timer 2: 0.54s
                 
                                                       
[      0.70] Added 5 violated cuts...
[      0.70]     -43.000000 [optimal]                    
[      0.70] Writting stats: out/noswot.yaml...
[      0.70] Done.