Boredom in school

Hiya, my daughters senco has just been in touch with me after incidents in school. Basically, we found out that my daughter jumps the school gate, when she's bored to seek stimulation. There is also a feeling she is trying to reach, sort of like adrenaline. I'm not good at explaining things but I hope you get the idea. 

Anyways, the senco emailed me, after doing work with her, and wants to know what the school can do before she reaches the level of boredom or whatever. School is thinking about giving her a squishy since she likes something in her hands but also word searches and some spelling to do, by herself. Her brain needs to be stimulated all the time so I need ideas for the classroom so she doesn't leave. We have also found out that she likes to do graffiti on a bench, she likes to carve things on it during lessons. 

One of the teachers put a film on about Space and like normal, she wouldn't stay in the lesson. She lasted 5 minutes at the end. 

Any ideas on what to give my daughter during lesson before she reaches the level of boredom.... 

Thanks x