{
  "code coverage details": "0",
  "collect total code coverage": true,
  "ignore failed sub-jobs": false,
  "keep intermediate files": false,
  "logging": {
    "formatters": [
      {
        "name": "formatter1",
        "value": "%(name)s %(levelname)5s> %(message)s"
      },
      {
        "name": "formatter2",
        "value": "%(name)s %(levelname)5s> %(message)s"
      }
    ],
    "loggers": [
      {
        "handlers": [
          {
            "formatter": "formatter1",
            "level": "NONE",
            "name": "console"
          },
          {
            "formatter": "formatter2",
            "level": "NONE",
            "name": "file"
          }
        ],
        "name": "default"
      }
    ]
  },
  "max solving tasks per sub-job": 100,
  "parallelism": {
    "Results processing": 1,
    "Sub-jobs processing": 1,
    "Tasks generation": 5,
    "Weaving": 2
  },
  "priority": "LOW",
  "resource limits": {
    "CPU model": null,
    "CPU time for executed commands": 450,
    "disk memory size": 20000000000,
    "memory size": 10000000000,
    "memory size for executed commands": 1000000000,
    "number of CPU cores": null
  },
  "task scheduler": "Klever",
  "upload other intermediate files": false,
  "upload verifier input files": true,
  "weight": "1"
}