Task: Buffer Manager

#	Student	Runtime(ms)
1	taminob	182.705
2	Kaiserpinguin	950.788
3	mah	1581.548
4	GOO_lover	1582.983
5	-0-0-0-	1591.904
6	hello world	1593.112
7	fulltimehack	1608.578
8	( •_•)	1617.717
9	segmentation_fault	1623.307
10	sk_9	1701.763
11	:)	3463.296
12	I hate it here :D	4072.25
13	Luhmann	6840.974
14	geoooooo	6998.379
15	Heinrich	7021.829
16	Sleeping kangaroo	7049.304
17	Tempo	7067.817
18	Feuermagier	7073.728
19	u5bq0	7113.177