Time control fixes, not sure why time.clock() does not work