page replacement

4:20

12:53

13:45

9:15

19:32

17:34

25:58

15:49

16:45

9:56

15:38

20:51

21:30

6:22

24:28

9:36

5:27

16:21

7:53

18:11

14:12

10:14

8:27

3:15

20:39

2:57

2:02

7:23

1:02:37

5:04

19:23

14:14

8:31

2:02

1:21

3:39

20:40

2:27

1:03

2:19