Optimize Timer for short tasks
Update Gecode to version 4.1.0