[Mon Apr 29 00:17:05 GMT+2 2024, server-arm, isabelle_cronjob]: started
[Mon Apr 29 00:17:05 GMT+2 2024, server-arm, init]: started
[Mon Apr 29 00:17:13 GMT+2 2024, server-arm, init]: finished (0:00:08 elapsed time)
[Mon Apr 29 00:17:13 GMT+2 2024, server-arm, mailman_archives]: started
[Mon Apr 29 00:17:13 GMT+2 2024, server-arm, build_release]: started
[Mon Apr 29 00:17:13 GMT+2 2024, server-arm, build_log_database]: started
[Mon Apr 29 00:20:57 GMT+2 2024, server-arm, mailman_archives]: finished (0:03:44 elapsed time)
[Mon Apr 29 00:33:16 GMT+2 2024, server-arm, build_log_database]: finished (0:16:03 elapsed time)
[Mon Apr 29 01:27:27 GMT+2 2024, server-arm, build_release]: ERROR ssh: connect to host 131.159.47.72 port 22: No route to host (1:10:14 elapsed time)
[Mon Apr 29 01:27:27 GMT+2 2024, server-arm, build_status]: started
[Mon Apr 29 01:27:58 GMT+2 2024, server-arm, build_history-studio1-sonoma]: started
[Mon Apr 29 01:27:59 GMT+2 2024, server-arm, build_history-vmnipkow9]: started
[Mon Apr 29 01:28:01 GMT+2 2024, server-arm, build_history-linux-arm]: started
[Mon Apr 29 01:28:02 GMT+2 2024, server-arm, build_history-mini1]: started
[Mon Apr 29 01:28:02 GMT+2 2024, server-arm, build_history-lxbroy10]: started
[Mon Apr 29 01:28:03 GMT+2 2024, server-arm, build_history-mini3]: started
[Mon Apr 29 01:28:05 GMT+2 2024, server-arm, build_history-vmnipkow9]: ERROR rsync: [receiver] rename "/home/isatest/cronjob/isabelle/lib/classes/.isabelle.jar.J7iYa6" -> "lib/classes/isabelle.jar": Device or resource busy (16) (0:00:06 elapsed time)
[Mon Apr 29 01:28:06 GMT+2 2024, server-arm, build_history-vmnipkow9]: started
[Mon Apr 29 01:28:12 GMT+2 2024, server-arm, build_history-vmnipkow9]: ERROR rsync: [receiver] rename "/home/isatest/cronjob/isabelle/lib/classes/.isabelle.jar.ahzTm1" -> "lib/classes/isabelle.jar": Device or resource busy (16) (0:00:05 elapsed time)
[Mon Apr 29 01:28:14 GMT+2 2024, server-arm, build_history-vmnipkow9]: started
[Mon Apr 29 01:28:20 GMT+2 2024, server-arm, build_history-vmnipkow9]: ERROR rsync: [receiver] rename "/home/isatest/cronjob/isabelle/lib/classes/.isabelle.jar.URFPG7" -> "lib/classes/isabelle.jar": Device or resource busy (16) (0:00:06 elapsed time)
[Mon Apr 29 01:28:22 GMT+2 2024, server-arm, build_history-vmnipkow9]: started
[Mon Apr 29 01:28:28 GMT+2 2024, server-arm, build_history-vmnipkow9]: ERROR rsync: [receiver] rename "/home/isatest/cronjob/isabelle/lib/classes/.isabelle.jar.IIB5j2" -> "lib/classes/isabelle.jar": Device or resource busy (16) (0:00:06 elapsed time)
[Mon Apr 29 01:30:47 GMT+2 2024, server-arm, build_history-mini1]: build_history_2024-04-29.05347_mini1_x86-darwin_M1.log.xz
[Mon Apr 29 01:30:47 GMT+2 2024, server-arm, build_history-mini1]: build_history_2024-04-29.05347_mini1_x86-darwin_M2.log.xz
[Mon Apr 29 01:30:47 GMT+2 2024, server-arm, build_history-mini1]: build_history_2024-04-29.05347_mini1_x86-darwin_M4.log.xz
[Mon Apr 29 01:30:49 GMT+2 2024, server-arm, build_history-mini1]: finished (0:02:46 elapsed time)
[Mon Apr 29 01:34:06 GMT+2 2024, server-arm, build_history-lxbroy10]: build_history_2024-04-29.05463_lxbroy10_x86-linux_M1.log.xz
[Mon Apr 29 01:34:06 GMT+2 2024, server-arm, build_history-lxbroy10]: build_history_2024-04-29.05463_lxbroy10_x86-linux_M2.log.xz
[Mon Apr 29 01:34:06 GMT+2 2024, server-arm, build_history-lxbroy10]: build_history_2024-04-29.05463_lxbroy10_x86-linux_M4.log.xz
[Mon Apr 29 01:34:06 GMT+2 2024, server-arm, build_history-lxbroy10]: build_history_2024-04-29.05463_lxbroy10_x86-linux_M6.log.xz
[Mon Apr 29 01:34:08 GMT+2 2024, server-arm, build_history-lxbroy10]: finished (0:06:05 elapsed time)
[Mon Apr 29 01:57:44 GMT+2 2024, server-arm, build_status]: finished (0:30:16 elapsed time)
[Mon Apr 29 03:52:21 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.05324_mini3_arm64_32-darwin_M1.log.xz
[Mon Apr 29 03:52:21 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.05324_mini3_arm64_32-darwin_M2.log.xz
[Mon Apr 29 03:52:21 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.05324_mini3_arm64_32-darwin_M4.log.xz
[Mon Apr 29 03:52:27 GMT+2 2024, server-arm, build_history-mini3]: finished (2:24:24 elapsed time)
[Mon Apr 29 03:52:32 GMT+2 2024, server-arm, build_history-mini3]: started
[Mon Apr 29 06:17:14 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.13999_mini3_arm64_32-darwin_M1.log.xz
[Mon Apr 29 06:17:14 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.13999_mini3_arm64_32-darwin_M2.log.xz
[Mon Apr 29 06:17:14 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.13999_mini3_arm64_32-darwin_M4.log.xz
[Mon Apr 29 06:17:19 GMT+2 2024, server-arm, build_history-mini3]: finished (2:24:47 elapsed time)
[Mon Apr 29 06:17:24 GMT+2 2024, server-arm, build_history-mini3]: started
[Mon Apr 29 08:40:53 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.22686_mini3_arm64_32-darwin_M1.log.xz
[Mon Apr 29 08:40:53 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.22686_mini3_arm64_32-darwin_M2.log.xz
[Mon Apr 29 08:40:53 GMT+2 2024, server-arm, build_history-mini3]: build_history_2024-04-29.22686_mini3_arm64_32-darwin_M4.log.xz
[Mon Apr 29 08:40:59 GMT+2 2024, server-arm, build_history-mini3]: finished (2:23:34 elapsed time)
[Mon Apr 29 09:41:39 GMT+2 2024, server-arm, build_history-studio1-sonoma]: build_history_2024-04-29.05365_studio1-sonoma_x86_64_32-darwin_M1_AFP.log.xz
[Mon Apr 29 09:42:07 GMT+2 2024, server-arm, build_history-studio1-sonoma]: finished (8:14:09 elapsed time)
[Mon Apr 29 11:25:57 GMT+2 2024, server-arm, build_history-linux-arm]: build_history_2024-04-29.05301_linux-arm_arm64_32-linux_M1.log.xz
[Mon Apr 29 11:26:04 GMT+2 2024, server-arm, build_history-linux-arm]: finished (9:58:02 elapsed time)
[Mon Apr 29 11:26:04 GMT+2 2024, server-arm, build_status]: started
[Mon Apr 29 11:56:32 GMT+2 2024, server-arm, build_status]: finished (0:30:28 elapsed time)
[Mon Apr 29 11:56:32 GMT+2 2024, server-arm, exit]: started
[Mon Apr 29 11:56:49 GMT+2 2024, server-arm, exit]: finished (0:00:16 elapsed time)
[Mon Apr 29 11:56:49 GMT+2 2024, server-arm, isabelle_cronjob]: finished (11:39:43 elapsed time)