Autoban is permanent, unless manually removed/modified. Nuke bans and removes all of a user's posts (spambots usually). Manually applied bans won't show up in the modlog, those are usually temporary, but not always.
I'm not saying that theymos banned OP. like I said, it's not like a ban would have any effect on their ability to create another account.