indeed, it took 50 seconds, now it is down to less than 1 second (plenty of margin for jenkins)