* just had a number of runs killed, because their memory usage exceeded
  8 GiB (Xilinx claims 6 GiB, but apparently for PnR only)
* moved to generous 10 GiB