由于字数限制，以下是一个简化版的爬虫程序示例，使用了Kotlin的网络库kotlinx.coroutines和kotlinx.html。这个程序会爬取一个简单的Python多线程跑数据的网页，并打印出结果。
import kotlinx.coroutines.*
import kotlinx.html.*
import java.net.URL
data 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 = 8000
val 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对象。
请注意，这只是一个简化版的爬虫程序示例，实际的爬虫程序可能需要处理更多的复杂情况，例如网页编码、网页结构变化、反爬虫策略等。此外，使用代理爬虫也需要额外的注意事项，例如代理的稳定性、速度、可用性等。
