So some detailed informations: we use -isolateDevice on the nvidia card, and set AutoAddGPU to false. This is working everywhere else, and has been working on Ubuntu up to 1.13.3-0ubuntu3.
Adding BusID is making things work, but normally, our setup is doing already more than that, and BusID shouldn't be needed when isolateDevice and AutoAddGPUs are set...
So some detailed informations: we use -isolateDevice on the nvidia card, and set AutoAddGPU to false. This is working everywhere else, and has been working on Ubuntu up to 1.13.3-0ubuntu3.
Adding BusID is making things work, but normally, our setup is doing already more than that, and BusID shouldn't be needed when isolateDevice and AutoAddGPUs are set...