branches/fault: updated to print out more detailed info for thread overrun case