{% comment "License" %} % Copyright (c) 2019 ISP RAS (http://www.ispras.ru) % Ivannikov Institute for System Programming of the Russian Academy of Sciences % % Licensed under the Apache License, Version 2.0 (the "License"); % you may not use this file except in compliance with the License. % You may obtain a copy of the License at % % http://www.apache.org/licenses/LICENSE-2.0 % % Unless required by applicable law or agreed to in writing, software % distributed under the License is distributed on an "AS IS" BASIS, % WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. % See the License for the specific language governing permissions and % limitations under the License. {% endcomment %} {% load i18n %}

{% trans 'Scheduling' %}

{% trans 'Job priority' %}: {{ conf.priority }}
{% trans 'Tasks scheduler' %}: {{ object.scheduler.get_type_display }}
{% trans 'Max solving tasks per a sub-job' %}: {{ conf.max_tasks }}

{% trans 'Operations parallelism' %}

{% trans 'Sub-jobs processing' %}: {{ conf.parallelism.0 }}
{% trans 'EMG' %}: {{ conf.parallelism.1 }}
{% trans 'Plugins' %}: {{ conf.parallelism.2 }}
{% trans 'CIF' %}: {{ conf.parallelism.3 }}
{% trans 'Results processing' %}: {{ conf.parallelism.4 }}

{% trans 'Resource limits for Klever Core' %}

{% trans 'Memory size for whole process' %}: {{ conf.memory }} {% trans 'GB' %}
{% trans 'Disk memory size' %}: {{ conf.disk_size }} {% trans 'GB' %}
{% trans 'CPU time for CIL' %}: {{ conf.cpu_time_exec_cmds }} {% trans 'min' %}
{% trans 'Memory size for CIL' %}: {{ conf.memory_exec_cmds }} {% trans 'GB' %}
{% trans 'CPU time for EMG' %}: {{ conf.cpu_time_exec_emg }} {% trans 'min' %}
{% trans 'Memory size for EMG' %}: {{ conf.memory_exec_emg }} {% trans 'GB' %}

{% trans 'Logging' %}

{% trans 'Console' %}: {{ conf.console_level }}
{{ conf.console_formatter }}
{% trans 'File' %}: {{ conf.file_level }}
{{ conf.file_formatter }}

{% trans 'Other settings' %}

{% trans 'Keep intermediate files inside the working directory of Klever Core' %}
{% trans 'Upload verifier input files' %}
{% trans 'Upload other intermediate files' %}
{% trans 'Ignore failed sub-jobs' %}
{% trans 'Collect total code coverage' %}
{% trans 'Collect cross-references' %}
{% trans 'Code coverage details' %}
{{ conf.coverage_details }}
{% trans 'Job reports' %}
{{ conf.weight }}