Finally I managed to find the solution with the aid of the following post:
There is a bug in the /opt/vito/icor/src/config/local_sentinel3_simec.ini in the Linux version of iCor. I replaced this file with the file that is available in the post above and the problem solved.