Job ids are now different from SGE ids (makes it easier to handle jobs in the database).