#runtime 	njobs
350	1
460	1
725	1
1100	1
1270	1
1365	1
1370	1
1510	1
1545	1
1735	1
1755	1
1965	1
2115	1
2290	1
2415	1
2805	1
2825	1
2840	1
2875	1
3115	1
3210	2
3335	1
3430	1
3535	1
3540	1
3765	1
3830	1
3915	1
4020	1
4535	1
4785	1
4890	1
5090	1
5170	1
5310	1
5385	1
5455	1
5665	1
6140	1
6325	1
6550	1
7100	1
7370	1
7780	1
7865	1
7985	1
8745	1
10410	1
13290	1