由于字数限制，以下是一个简化版的爬虫程序示例，使用了Kotlin的网络库kotlinx.coroutines和kotlinx.html。这个程序会爬取一个简单的Python多线程跑数据的网页，并打印出结果。

import kotlinx.coroutines.*
import kotlinx.html.*
import java.net.URLdata class Result(val name: String, val threads: Int)fun main() {val url = URL("example/python-threads")val htmlDoc = html(url)val results = htmlDoc.select("table tr td a").map { it.asHtml().text() }val proxyHost = "duoip"val proxyPort = 8000val requestBuilder = Request.Builder().url(url).proxy(new Proxy(Proxy.Type.HTTP, new InetSocketAddress(proxyHost, proxyPort))).build()val response = client.newCall(requestBuilder).execute()val htmlString = response.body()?.toString()val doc = parseHtml(htmlString)val table = doc.select("table")table.forEach { row ->val name = row.select("td:nth-child(1)").text()val threads = row.select("td:nth-child(2)").text()val result = Result(name, threads.toInt())println(result)}
}

步骤说明：

1、启动一个Kotlin程序，定义一个URL，这个URL是我们想要爬取的网页。

2、使用html函数从网页获取HTML文档。

3、使用select函数选择网页中的所有<tr>元素，然后对每个<tr>元素选择所有的<td>元素，并将每个元素的文本保存到一个列表中。

4、创建一个Result对象，并将列表中的每个元素的文本分别作为对象的name和threads属性。

5、使用parseHtml函数解析HTML字符串，并将其转换为一个Document对象。

6、使用select函数选择网页中的所有<table>元素，并对每个<table>元素选择所有的<tr>元素。

7、对每个<tr>元素选择所有的<td>元素，并将每个元素的文本分别作为对象的name和threads属性。

8、创建一个Result对象，并将列表中的每个元素的文本分别作为对象的name和threads属性。

9、打印出每个Result对象。

请注意，这只是一个简化版的爬虫程序示例，实际的爬虫程序可能需要处理更多的复杂情况，例如网页编码、网页结构变化、反爬虫策略等。此外，使用代理爬虫也需要额外的注意事项，例如代理的稳定性、速度、可用性等。