size_t getFreeCudaMemory();
size_t getTotalCudaMemory();
void resetCudaDevice();