cleaned up time measure code, now using xpress' XPRB::getTime()