Reduce accumulation of error in output time interval.
Use steady_clock instead of the Gecode timer.
Update gecode.