583paxosckt1io - execution time: 1.735 sec.