My CUDA program crashed during execution, before memory was flushed. As a result, device memory remained occupied.
I\'m running on a GTX 580, for which nvidia-
on macOS (/ OS X), if someone else is having trouble with the OS apparently leaking memory: