Number 4 is what I end up always doing - Taking Naps - :)
If I may add, Learning New things is also a good way to kill boredom.
-Learn a new language,
-Learn a new skill(drawing, playing instruments, gardening).
-Blogging - proven to relieve stress and to kill time
-Find interesting Topics in this community to read.