2
9
11
17
17
19
42
55
185
221
229
237
239
245
247
249
251
255
269
287
309
309
309
309
317
317
317
323
332
332
340
344
348
348
354
362
366
366
366
366
368
372
374
374
384
389
389
391
395
397
397
399
399
399
399
399
399
399
399
399
401
403
403
407
409
411
411
411
411
411
417
417
417
417
417
417
417
417
417
421
421
421
Overview
|
Average |
Total |
Wall Clock Time |
2.02 hours |
19.68 days |
CPU time |
6.01 seconds |
23.45 minutes |
Interaction Time |
1.12 hours |
10.87 days |