Here are some new (April 2019) Amazon EC2 benchmarks of Jesolver build 1038 (AVX2). Prices are on-demand prices.

Instance type       Price/hour      Time        Solution cost (CAP3sizes)
m5.4xlarge          $0.2777         665s        $0.0513
c5.4xlarge          $0.287          547s        $0.0436
c5.4xlarge (win)    $1.416          589s        $0.2317
c5.18xlarge         $1.1659         146s        $0.0473
m5.24xlarge         $1.6323         124s        $0.0559
m5.metal            $1.0882         120s        $0.0363
m5.metal (win)      $9.024          181s        $0.4537	
m5a.4xlarge         $0.2721         808s        $0.0611
m5a.24xlarge        $1.6323         245s        $0.1111

Observations

- m5.metal seems to be the best choice at the moment
- m5.24xlarge is almost as fast as m5.metal so the cost of virtualization is low
- cpu utilization was very close to 100% in all cases
- intel cpus are faster than amd (zen1; ec2 doesn't have zen2 yet)
- windows is not recommended


Raw data

m5.4xlarge / ubuntu 18.04
Intel(R) Xeon(R) Platinum 8175M CPU @ 2.50GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    12s |   662 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   665s | 14364 MB | 0.112 (0.25%)

c5.4xlarge / ubuntu 18.04
Intel(R) Xeon(R) Platinum 8124M CPU @ 3.00GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    10s |   661 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   547s | 14363 MB | 0.112 (0.25%)

c5.4xlarge / windows server 2019
Intel(R) Xeon(R) Platinum 8124M CPU @ 3.00GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    11s |   670 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   589s | 14363 MB | 0.112 (0.25%)

c5.18xlarge / ubuntu 18.04
Intel(R) Xeon(R) Platinum 8124M CPU @ 3.00GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |     3s |   682 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   146s | 14390 MB | 0.112 (0.25%)

m5.24xlarge / ubuntu 18.04
Intel(R) Xeon(R) Platinum 8175M CPU @ 2.50GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |     3s |   690 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   124s | 14400 MB | 0.112 (0.25%)

m5.metal / ubuntu 18.04
Intel(R) Xeon(R) Platinum 8175M CPU @ 2.50GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |     3s |   690 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   120s | 14400 MB | 0.112 (0.25%)

m5.metal / windows server 2019
Intel(R) Xeon(R) Platinum 8175M CPU @ 2.50GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |     4s |   698 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   181s | 14399 MB | 0.112 (0.25%)

m5a.4xlarge / ubuntu 18.04
AMD EPYC 7571

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    14s |   662 MB | 0.343 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   808s | 14364 MB | 0.112 (0.25%)

m5a.24xlarge / ubuntu 18.04
AMD EPYC 7571

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |     6s |   690 MB | 0.343 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   245s | 14400 MB | 0.112 (0.25%)

local / ubuntu 18.04
Intel(R) Core(TM) i7-7800X @ 4.30GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    10s |   661 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   567s | 14362 MB | 0.112 (0.25%)

local / windows 10 pro
Intel(R) Core(TM) i7-7800X @ 4.30GHz

Script                  |  Compression | Progress     |   Iter |   Time |      RAM | Exploitability
3betpotFAST             |         none | ....         |    100 |    11s |   669 MB | 0.341 (0.19%)
CAP3sizes               |         none | ...........  |    275 |   600s | 14361 MB | 0.112 (0.25%)