Project

General

Profile

Download (1.56 KB)

Bug #9028 » job-6d5dc.conf

Evgeny Novikov, 06/28/2018 12:37 PM

 
{
"allow local source directories use": true,
"collect total code coverage": true,
"generate makefiles": true,
"identifier": "6d5dc4baf88f3f07ae91bed71a3a7423",
"ignore failed sub-jobs": false,
"ignore other instances": false,
"keep intermediate files": false,
"logging": {
"formatters": [
{
"name": "brief",
"value": ""
},
{
"name": "detailed",
"value": ""
}
],
"loggers": [
{
"handlers": [
{
"formatter": "brief",
"level": "NONE",
"name": "console"
},
{
"formatter": "detailed",
"level": "NONE",
"name": "file"
}
],
"name": "default"
}
]
},
"max solving tasks per sub-job": 100,
"parallelism": {
"Build": 1.0,
"Results processing": 1,
"Sub-jobs processing": 2,
"Tasks generation": 2
},
"priority": "LOW",
"resource limits": {
"CPU model": null,
"CPU time": null,
"disk memory size": 10000000000,
"memory size": 1000000000,
"number of CPU cores": 0,
"wall time": null
},
"task scheduler": "Klever",
"upload input files of static verifiers": true,
"upload other intermediate files": false,
"weight": "1"
}
(1-1/2)