akt-crunch1:
Uptime: 04:20:02 up 471 days, 13:32, 0 users, load average: 0.00, 0.00, 0.00
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

akt-crunch2:
Uptime: 04:20:03 up 471 days, 13:32, 0 users, load average: 0.00, 0.00, 0.00
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

akt-crunch3:
akt-crunch4:
akt-crunch5:
Uptime: 04:22:13 up 471 days, 13:34, 0 users, load average: 0.00, 0.00, 0.00
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

akt-crunch6:
Uptime: 04:22:14 up 471 days, 13:34, 0 users, load average: 0.05, 0.02, 0.00
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

akt-crunch7:
Uptime: 04:22:15 up 471 days, 13:34, 0 users, load average: 0.02, 0.01, 0.00
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

bkt-crunch1:
bkt-crunch2:
bkt-crunch3:
bkt-crunch4:
bkt-crunch5:
bkt-crunch6: