Project

General

Profile

Files » decision.conf

Evgeny Novikov, 08/24/2022 02:37 PM

 
{
"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"
}
(117-117/121)