DONE leaves_33,34,34_0.165616.json V= 0.165616 {'ok': 21082, 'sub_empty': 5174, 'sub_leaf': 19311} max ub over leaves 0.1656159971689721 23655s DONE leaves_33,33,34_0.15290030000000002.json V= 0.15290030000000002 {'ok': 8471, 'sub_empty': 3573, 'sub_leaf': 11987, 'unresolved': 27} max ub over leaves 0.15290022884780147 71498s RESULT push all ok: True face ok: True cells 331 max_ub 0.15290029928720536 fails 0 2933s