updating push(k) benchmark