Posible overflow

[Manuframil]

Posible overflow

To reproduce bug:

• Benchmark family weighted BTBNSL -> Negative solutions

Posible solution:

• Change the type of the variables that store solutions from Int to Long Int, so they dont overflow with high values.