google / google/or-tools

Windows CP-SAT: Significant Drop in CPU Utilization After Initial Solutions

Open
#4,615 7 comments 0 reactions 1 assignee Claimed by @lperron View on GitHub
OS: Windows Solver: CP-SAT Solver
Dominant language
C++
Stars
14.1k
Forks
2.5k
Avg merge
8h 39m
Merged PRs (30d)
72

Description

**What version of OR-Tools and what language are you using?**
Version: v99bugfix (9.13.4637)
Language: C++, Java

**Which solver are you using (e.g. CP-SAT, Routing Solver, GLOP, BOP, Gurobi)**
CP-SAT

**What operating system (Linux, Windows, ...) and version?**
Windows 10, 11

**What did you do?**
Steps to reproduce the behavior:
Execute attached proto file with 32 search workers.

**What did you expect to see**
More or less consistent cpu usage.

**What did you see instead?**
After first two solutions are found, there's an interval over one minute (4 minutes on threadripper 1950x) where cpu usage is significantly lower. Ryzen master shows significantly lower consumption and usage of less than 8 cores, task manager shows similar values in percentage of used cpu. I was able to reproduce same behaviour back to 9.11. In version 9.10 it was not visible.

With 16 search workers it was not visible to reproduce it, with 24 workers the interval was much shorter (under 10 seconds) and I don't see it as a problem here.

It was not possible to reproduce it in linux (debian 12).

Make sure you include information that can help us debug (full error message, model Proto).

[model.zip](https://github.com/user-attachments/files/19541476/model.zip)

**Anything else we should know about your project / environment**

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.