Process pool in CV_TrafficEstimation.py now properly terminates after it is finished (no buildup of dead processes).