instances/iis-100-0-cov.pre.mps.gz [      0.00] Reading input file: instances/iis-100-0-cov.pre.mps.gz...
      instances/iis-100-0-cov.pre.mps.gz [      0.03] Fetched 3831 rows, 3932 cols.
      instances/iis-100-0-cov.pre.mps.gz [      0.03] Solving first relaxation...
      instances/iis-100-0-cov.pre.mps.gz [      0.31] 	 16.666667 [optimal]					   
      instances/iis-100-0-cov.pre.mps.gz [      0.31] Reading basis...
      instances/iis-100-0-cov.pre.mps.gz [      0.53] Generating MIR cuts...
      instances/iis-100-0-cov.pre.mps.gz [      0.53] Finding interesting rows...
      instances/iis-100-0-cov.pre.mps.gz [     18.55] 	 100 rows found
      instances/iis-100-0-cov.pre.mps.gz [     18.55] Starting timer 1...
      instances/iis-100-0-cov.pre.mps.gz [     19.48] 	 16.883520 [optimal]					   
      instances/iis-100-0-cov.pre.mps.gz [     19.48] Ending timer 1: 0.92s
      instances/iis-100-0-cov.pre.mps.gz [     19.48] Added 100 violated cuts...
      instances/iis-100-0-cov.pre.mps.gz [     19.49] 	 16.883520 [optimal]					   
      instances/iis-100-0-cov.pre.mps.gz [     19.49] Generating wedge cuts...
      instances/iis-100-0-cov.pre.mps.gz [     19.49] Starting timer 2...
      instances/iis-100-0-cov.pre.mps.gz [     45.07] Ending timer 2: 25.58s
      instances/iis-100-0-cov.pre.mps.gz [     45.07] Added 41 violated cuts...
      instances/iis-100-0-cov.pre.mps.gz [     45.13] 	 16.887695 [optimal]					   
      instances/iis-100-0-cov.pre.mps.gz [     45.13] Writting stats: out/iis-100-0-cov.pre.yaml...
      instances/iis-100-0-cov.pre.mps.gz [     45.13] Done.