RsBundle  Diff

Differences From Artifact [a9806367ff]:

  • File src/solver.rs — part of check-in [12aebdedf7] at 2016-09-29 06:38:17 on branch trunk — solver: Fix computation of `new_cutval`. (user: fifr size: 25173)

To Artifact [0b273ecacf]:

  • File src/solver.rs — part of check-in [a360cd0f65] at 2016-09-29 06:41:39 on branch trunk — solver: Align info output of "_endit". (user: fifr size: 25174)

484
485
486
487
488
489
490
491

492
493
494
495
496
497
498
484
485
486
487
488
489
490

491
492
493
494
495
496
497
498







-
+







        }
        Ok(())
    }

    fn show_info(&self, step: Step) {
        let time = self.start_time.elapsed();
        info!("{} {:0>2}:{:0>2}:{:0>2}.{:0>2} {:4} {:4} {:4}{:1}  {:9.4} {:9.4} {:12.6e}({:12.6e}) {:12.6e}",
              if step == Step::Term { "_endit" } else { "endit" },
              if step == Step::Term { "_endit" } else { "endit " },
              time.as_secs() / 3600,
              (time.as_secs() / 60) % 60,
              time.as_secs() % 60,
              time.subsec_nanos() / 10000000,
              self.cnt_descent,
              self.cnt_descent + self.cnt_null,
              self.master.cnt_updates(),