Error: Connected system ID hash not found on target at expected base address

Yeah, the pins are correct. I used this configuration for a simple verilog design and it worked. The sopc file is the one created during the tutorial.

Do you know where the "The system console model is invalid. Cannot launch." message comes from? The board or is it a communication error?

Do you have a simpler programme that I could test? Just one LED or so? Maybe I'll try to write that myself.