What function to use with this timestamp?
to_timestamp() expects the parameter to be given in seconds. Your value is in miliseconds. Just divide it by 1000:

SELECT to_timestamp(1462975819.250);


gives 2016-05-11 16:10:19.25+02