# Searching for RH Counterexamples -- Performance Profiling

DevFeed: [Searching for RH Counterexamples -- Performance Profiling](<https://devfeed.tech/articles/searching-for-rh-counterexamples-performance-profiling-40443.md>)

Original publisher: [Read original article](<https://www.jeremykun.com/2021/02/02/searching-for-rh-counterexamples-performance-profiling/>)

Published: 2021-02-02T08:00:00Z

Content type: tutorial

Language: en

Sources: [Jeremy Kun](<https://devfeed.tech/sources/jeremy-kun.md>)

Topics: [Computing](<https://devfeed.tech/topics/computing.md>), [Docker](<https://devfeed.tech/topics/docker.md>), [Amazon EC2](<https://devfeed.tech/topics/amazon-ec2.md>), [Database](<https://devfeed.tech/topics/database.md>), [Linux](<https://devfeed.tech/topics/linux.md>)

Tags: [cpu](<https://devfeed.tech/tags/cpu.md>), [database](<https://devfeed.tech/tags/database.md>), [databases](<https://devfeed.tech/tags/databases.md>), [debugging](<https://devfeed.tech/tags/debugging.md>), [docker](<https://devfeed.tech/tags/docker.md>), [ec2](<https://devfeed.tech/tags/ec2.md>), [linux](<https://devfeed.tech/tags/linux.md>), [mathematics](<https://devfeed.tech/tags/mathematics.md>), [performance](<https://devfeed.tech/tags/performance.md>), [postgres](<https://devfeed.tech/tags/postgres.md>), [profiling](<https://devfeed.tech/tags/profiling.md>), [programming](<https://devfeed.tech/tags/programming.md>), [riemann-hypothesis](<https://devfeed.tech/tags/riemann-hypothesis.md>), [software](<https://devfeed.tech/tags/software.md>), [ubuntu](<https://devfeed.tech/tags/ubuntu.md>)

## AI overview

This tutorial investigates performance problems in a Docker application running on Amazon EC2 while searching for Riemann Hypothesis counterexamples. It describes gathering resource metrics, narrowing the source of delays, isolating computations locally, and measuring divisor-sum blocks.

## Source excerpt

We're ironically searching for counterexamples to the Riemann Hypothesis. Setting up Pytest Adding a Database Search Strategies Unbounded integers Deploying with Docker In the last article we ran into some performance issues with our deployed docker application. In this article we'll dig in to see what happened, fix the problem, run into another problem, fix it, and run the search until we rule out RH witness-value-based counterexamples among all numbers with fewer than 85 prime factors.