13
57
83
97
111
127
139
149
214
223
252
270
323
458
680
759
847
863
901
906
912
915
938
956
1091
1132
1316
1371
1409
1621
1672
1817
1964
2107
2282
2295
2300
2316
2370
2385
2409
2434
2495
2602
2678
2701
2744
2829
2833
2931
3033
3150
3180
3200
3389
3455
3530
3540
3563
Overview
|
Average |
Total |
Wall Clock Time |
2.23 days |
2143.87 days |
CPU time |
22.91 days |
21994.07 days |
Interaction Time |
13.09 hours |
523.47 days |