Hi,

I ran the same optimization in the cloud and with lean cli, in the cloud it takes about 3 hrs and in my computer 5, my computer has a 12th Gen Intel(R) Core(TM) i9-12900K 3.19 GHz processor and 32.0 GB RAM. Shouldn't the optimization in my computer be faster than the cloud? Has anyone experienced something like this?