19:30 up 12:12, 4 users, load averages: 0.85 1.00 1.10