30
168
258
342
396
400
402
412
502
692
770
1600
2016
2352
2569
2845
3142
3251
3275
3311
3511
3670
3776
3805
3969
4031
4080
4121
4165
4184
4206
4219
4234
4245
4253
4370
4461
4597
4689
4841
4878
4891
4893
4905
4911
4917
4922
4930
4972
5077
5085
5087
5088
5088
5088
5088
5088
Overview
|
Average |
Total |
Wall Clock Time |
11.47 hours |
1366.25 days |
CPU time |
9.12 minutes |
18.11 days |
Interaction Time |
5.97 hours |
711.57 days |