akt-crunch1:
Uptime: 03:25:02 up 470 days, 12:37, 0 users, load average: 0.16, 0.04, 0.01
Kernel: 5.15.0-87-generic
Solvers: cplex1290
gurobi1003
gurobi10.0.3_linux64.tar.gz
gurobi811

akt-crunch2:
Uptime: 03:25:03 up 470 days, 12:37, 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: 03:27:13 up 470 days, 12:39, 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: 03:27:14 up 470 days, 12:39, 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-crunch7:
Uptime: 03:27:15 up 470 days, 12:39, 0 users, load average: 0.08, 0.02, 0.01
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: