Эта проблема решается весьма просто! Пусть каждый тушканчик с лопатой ебашит за пятерых, допустим, минут 20. А потом меняются по очереди, отработавшие, соответственно, отдыхают до своей очереди. Таким образом и в среднем каждый работает за себя, и лопат дополнительных не надо. Вот так. А если еще и вторую лопату отнять, но сохранить принцип (один за десятерых), то ресурсоэффективность возрастет аж до 1000%!!! и еще халявная лопата впридачу. Пользуйтесь, товарищи совы.