| id | init | push | done | last | worker |
|
| 3137 | 0 | 0 | 1 | 2209 | |
| 3045 | 0 | 0 | 1 | 316 | |
| 3142 | 0 | 0 | 1 | 117828 | |
| 3018 | 0 | 0 | 1 | 10251 | |
| 3085 | 0 | 0 | 1 | 8175 | |
| 3150 | 0 | 0 | 1 | 52438 | |
| 3087 | 1 | 1 | 0 | 132 | |
| 3058 | 0 | 0 | 1 | 132 | |
| 3060 | 1 | 1 | 0 | 298 | |
| 3156 | 0 | 0 | 0 | 2351 | |
| 3157 | 0 | 0 | 1 | 2292 | |
| 3030 | 0 | 0 | 1 | 418 | |
| 3158 | 1 | 0 | 0 | 4 | 0 |
| 3032 | 0 | 0 | 1 | 298 | |
| 3034 | 1 | 1 | 0 | 132 | |
| 3035 | 1 | 1 | 0 | 132 | |
| 62 | 0 | 0 | 1 | 1266 | |
| |
| id | busy | lock | event |
|
| 0 | 1 | 0 | 3158 |
| 1 | 0 | 0 | |
| 2 | 0 | 0 | |
| 3 | 0 | 1 | |
| 4 | 0 | 4 | |
|