| IP |
Machine |
Model |
Threads |
Notes |
| 128.232.124.172 |
molpadia |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| 128.232.124.177 |
comanche |
PowerEdge R7425 |
128 |
Irmin Team |
| 128.232.124.181 |
winter |
Super Server |
16 |
General purpose machine, typically for benchmarking by compiler developers. Primary users nickbarnes, polytypic, fabrice, sadiq, shakthi |
| 128.232.124.183 |
hopi |
Dell PowerEdge R7425 |
128 |
OCaml on Windows Desktops |
| 128.232.124.187 |
autumn |
Super Server |
8 |
Benchmarking team. Current-bench and OCaml benchmarking projects. |
| 128.232.124.188 |
spring |
Super Server |
8 |
FreeBSD worker + some user data in /home (check) |
| 128.232.124.191 |
asteria |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| 128.232.124.200 |
grumpy |
PowerEdge R210 II |
4 |
Git Repo |
| 128.232.124.206 |
carpenter |
SiFive U74-MC |
4 |
|
| 128.232.124.206 |
leafcutter |
SiFive U74-MC |
4 |
|
| 128.232.124.211 |
tigger |
SuperMicro h8qg6/h8qgi |
48 |
Powered off. Frequent reboots due to watchdog timer events. |
| 128.232.124.212 |
scyleia |
Raptor Talos II |
176 |
Cluster worker |
| 128.232.124.213 |
toxis |
Dell PowerEdge R630 |
72 |
ci.ocamllabs.io. /dev/sdb is unused |
| 128.232.124.217 |
orithia |
Raptor Talos II |
176 |
Cluster worker |
| 128.232.124.221 |
doris |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| 128.232.124.222 |
marpe |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| 128.232.124.230 |
kydoime |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| 128.232.124.231 |
phoebe |
Dell PowerEdge R630 |
72 |
Cluster worker |
| 128.232.124.233 |
eumache |
Dell PowerEdge R630 |
72 |
docs.ci.ocaml.org and docs-data.ocaml.org |
| 128.232.124.239 |
laodoke |
Dell PowerEdge R630 |
72 |
Cluster worker |
| 128.232.124.240 |
doc |
Dell PowerEdge R210 II |
4 |
BIND, netbootxyz and teleport |
| 128.232.124.241 |
okypous |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker |
| 128.232.124.244 |
iphito |
Dell PowerEdge R6525 |
256 |
Cluster worker |
| 128.232.124.245 |
navajo |
Dell PowerEdge R7425 |
128 |
Benchmark Tooling Team. Sandmark benchmarking. |
| 128.232.124.246 |
clete |
Dell PowerEdge R630 |
72 |
Cluster worker |
| 128.232.124.247 |
ainia |
Avantek Ampere(TM) Mt Snow |
80 |
Cluster worker + Arthur has a login for ARM benchmarking. 8 cores isolated |
| 128.232.124.247 |
odawa |
Dell PowerEdge R6525 |
256 |
Windows Base Image Builder |
| 128.232.124.251 |
summer |
Super Server |
16 |
FreeBSD worker + some user data in /home (check) |
| 128.232.124.253 |
roo |
SuperMicro h8qg6/h8qgi |
48 |
Benchmarking -- fermat.ocamllabs.io -- parallel benchmarks |
| 128.232.80.167 |
bremusa |
Dell PowerEdge R630 |
72 |
Benchmarking. /dev/sdb is unused |
| 128.232.96.21 |
happy |
|
|
Router |