Skip to content

ComputeMinSumOfWeightedEndMins Error running ortools 9.13 CP-SAT #4677

Closed
Bug
Closed
ComputeMinSumOfWeightedEndMins Error running ortools 9.13 CP-SAT#4677
Bug
Assignees
lperron
Labels
BugSolver: CP-SAT SolverRelates to the CP-SAT solver
Milestone
v9.15

Description

@eprice-oneweb
eprice-oneweb
opened on Jun 10, 2025

What version of OR-Tools and what language are you using?
Version: main/v9.13
Language: Java 11

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

What operating system (Linux, Windows, ...) and version?
debian 12

What did you do?
Steps to reproduce the behavior:

  1. Ran Solver with callback (can provide additional information about solver in private message)
  2. See several feasible results
  3. Error during solve (solve does not complete and throws exception)

What did you expect to see
Successful solve (is successful with 9.12)

What did you see instead?
C [libortools.so.9+0x1012867] operations_research::sat::ComputeMinSumOfWeightedEndMins(absl::lts_20250512::Span<operations_research::sat::CompletionTimeEvent const>, operations_research::StrongInt64<operations_research::sat::IntegerValue_integer_tag_>, double, double, operations_research::sat::CtExhaustiveHelper&, double&, double&, bool&, int&)+0x1c7

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

Anything else we should know about your project / environment
Running using distroless java 17 base image, containerized in ECS

Activity

  1. eprice-oneweb commented on Jun 10, 2025

    @eprice-oneweb
    eprice-oneweb
    on Jun 10, 2025
    Author
    Parameters: random_seed: 1 max_time_in_seconds: 30 log_search_progress: true presolve_probing_deterministic_time_limit: 30 cp_model_presolve: true enumerate_all_solutions: false cp_model_use_sat_presolve: true stop_after_first_solution: false num_search_workers: 0 cp_model_probing_level: 2 exploit_all_lp_solution: false add_cg_cuts: true add_mir_cuts: true exploit_best_solution: false exploit_objective: true catch_sigint_signal: true max_presolve_iterations: 3 add_lin_max_cuts: true absolute_gap_limit: 0.1 relative_gap_limit: 0.05 exploit_relaxation_solution: false add_clique_cuts: true log_to_stdout: true log_subsolver_statistics: true add_objective_cut: false use_lb_relax_lns: false
Setting number of workers to 16
Initial optimization model '': (model_fingerprint: 0x4fc1672a2304b68f)
#Variables: 25'433 (#ints: 3'979 in objective) (25'433 primary variables)
- 5'079 Booleans in [0,1]
- 11'036 different domains in [0,1749622512] with a largest complexity of 1.
- 2 constants in {1,1749621570}
#kCumulative: 2 (#intervals: 5'273, #optional: 3'943, #variable_sizes: 3'943, #fixed_intervals: 1'330)
#kInterval: 7'741 (#enforced: 5'079) (#fixed: 1'525)
#kLinear0: 134
#kLinear1: 4'015 (#enforced: 4'015)
#kLinear2: 3'943 (#enforced: 3'943)
#kLinear3: 1
#kLinearN: 587 (#terms: 4'497)
#kNoOverlap: 722 (#intervals: 5'273, #optional: 3'943, #variable_sizes: 3'943, #fixed_intervals: 1'330)
Starting presolve at 0.02s
4.84e-03s 0.00e+00d [DetectDominanceRelations]
8.93e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=1
1.88e-04s 0.00e+00d [ExtractEncodingFromLinear] #potential_supersets=100
3.38e-04s 0.00e+00d [DetectDuplicateColumns]
1.95e-03s 0.00e+00d [DetectDuplicateConstraints] #duplicates=157
[Symmetry] Graph for symmetry has 37'633 nodes and 22'717 arcs.
[Symmetry] Symmetry computation done. time: 0.0052608 dtime: 0.00417029
2.01e-03s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
5.34e-01s 3.69e-03d [Probe] #probed=3'357 #fixed_bools=120 #new_bounds=940 #new_binary_clauses=1'025
6.40e-04s 3.88e-05d [MaxClique]
6.85e-03s 0.00e+00d [DetectDominanceRelations]
6.45e-03s 0.00e+00d [DetectDominanceRelations]
5.39e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=5 #num_dual_strengthening=3
1.16e-03s 0.00e+00d [ProcessAtMostOneAndLinear]
1.35e-03s 0.00e+00d [DetectDuplicateConstraints]
1.29e-03s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
4.58e-04s 7.92e-06d [DetectDominatedLinearConstraints] #relevant_constraints=840
2.73e-04s 0.00e+00d [DetectDifferentVariables]
4.54e-04s 2.21e-06d [ProcessSetPPC] #relevant_constraints=133
2.02e-04s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
1.05e-03s 1.51e-04d [FindBigAtMostOneAndLinearOverlap]
3.84e-04s 1.69e-04d [FindBigVerticalLinearOverlap]
1.45e-04s 1.00e-06d [FindBigHorizontalLinearOverlap] #linears=28
1.46e-04s 0.00e+00d [MergeClauses]
6.60e-03s 0.00e+00d [DetectDominanceRelations]
3.28e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
6.70e-03s 0.00e+00d [DetectDominanceRelations]
3.30e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
3.84e-04s 0.00e+00d [DetectDuplicateColumns]
1.30e-03s 0.00e+00d [DetectDuplicateConstraints]
[Symmetry] Graph for symmetry has 35'873 nodes and 19'580 arcs.
[Symmetry] Symmetry computation done. time: 0.00309688 dtime: 0.00383657
[SAT presolve] num removable Booleans: 0 / 836
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:4 literals:8 vars:8 one_side_vars:8 simple_definition:0 singleton_clauses:0
[SAT presolve] [3.3974e-05s] clauses:4 literals:8 vars:8 one_side_vars:8 simple_definition:0 singleton_clauses:0
[SAT presolve] [6.004e-05s] clauses:4 literals:8 vars:8 one_side_vars:8 simple_definition:0 singleton_clauses:0
1.77e-03s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
1.48e-01s 3.41e-03d [Probe] #probed=3'250 #new_binary_clauses=1'001
5.66e-04s 3.86e-05d [MaxClique]
6.82e-03s 0.00e+00d [DetectDominanceRelations]
3.56e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.26e-03s 0.00e+00d [ProcessAtMostOneAndLinear]
1.42e-03s 0.00e+00d [DetectDuplicateConstraints]
1.31e-03s 0.00e+00d [DetectDuplicateConstraintsWithDifferentEnforcements]
5.20e-04s 7.92e-06d [DetectDominatedLinearConstraints] #relevant_constraints=840
2.76e-04s 0.00e+00d [DetectDifferentVariables]
4.77e-04s 2.22e-06d [ProcessSetPPC] #relevant_constraints=134
2.02e-04s 0.00e+00d [FindAlmostIdenticalLinearConstraints]
1.04e-03s 1.51e-04d [FindBigAtMostOneAndLinearOverlap]
4.00e-04s 1.69e-04d [FindBigVerticalLinearOverlap]
1.47e-04s 1.00e-06d [FindBigHorizontalLinearOverlap] #linears=28
1.54e-04s 0.00e+00d [MergeClauses]
6.70e-03s 0.00e+00d [DetectDominanceRelations]
3.34e-02s 0.00e+00d [PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
9.07e-04s 0.00e+00d [ExpandObjective]
Presolve summary:
- 58 affine relations were detected.
- rule 'TODO domination: unexploited dominations' was applied 5 times.
- rule 'TODO dual: only one blocking constraint?' was applied 19 times.
- rule 'TODO dual: only one unspecified blocking constraint?' was applied 35 times.
- rule 'TODO dual: tighten at most one' was applied 16 times.
- rule 'TODO no_overlap: only size one !' was applied 1'196 times.
- rule 'TODO variables: only used in objective and in encoding' was applied 12 times.
- rule 'affine: new relation' was applied 58 times.
- rule 'at_most_one: removed literals' was applied 101 times.
- rule 'at_most_one: size one' was applied 1 time.
- rule 'cumulative: max profile is always under the min capacity' was applied 1 time.
- rule 'cumulative: merged demand of identical interval' was applied 31 times.
- rule 'cumulative: remove never conflicting intervals.' was applied 4 times.
- rule 'cumulative: split into disjoint components' was applied 4 times.
- rule 'deductions: 15850 stored' was applied 1 time.
- rule 'domination: added implications' was applied 1 time.
- rule 'domination: in at most one' was applied 3 times.
- rule 'dual: affine relation' was applied 12 times.
- rule 'dual: make encoding equiv' was applied 12 times.
- rule 'duplicate: remapped duplicate intervals' was applied 1 time.
- rule 'duplicate: removed constraint' was applied 157 times.
- rule 'enforcement: false literal' was applied 9'382 times.
- rule 'enforcement: literal not used' was applied 1'136 times.
- rule 'enforcement: true literal' was applied 3'136 times.
- rule 'exactly_one: singleton' was applied 6 times.
- rule 'intervals: change duplicate index inside constraint' was applied 31 times.
- rule 'intervals: removed unused interval' was applied 2'736 times.
- rule 'linear1: always true' was applied 13 times.
- rule 'linear1: canonicalized' was applied 13 times.
- rule 'linear2: implied ax + by = cte has only one solution' was applied 10 times.
- rule 'linear: always true' was applied 356 times.
- rule 'linear: empty' was applied 3'459 times.
- rule 'linear: enforcement literal in expression' was applied 90 times.
- rule 'linear: fixed or dup variables' was applied 3'716 times.
- rule 'linear: positive at most one' was applied 100 times.
- rule 'linear: reduced variable domains' was applied 3'459 times.
- rule 'linear: remapped using affine relations' was applied 93 times.
- rule 'linear: singleton column' was applied 39 times.
- rule 'new_bool: var with 2 values' was applied 1 time.
- rule 'no_overlap: no intervals' was applied 1'196 times.
- rule 'no_overlap: no variable intervals' was applied 790 times.
- rule 'no_overlap: only one interval' was applied 80 times.
- rule 'no_overlap: removed absent intervals' was applied 1'932 times.
- rule 'no_overlap: split into disjoint components' was applied 588 times.
- rule 'objective: variable not used elsewhere' was applied 3'004 times.
- rule 'presolve: 21313 unused variables removed.' was applied 1 time.
- rule 'presolve: iteration' was applied 2 times.
- rule 'propagators: fixed booleans' was applied 35 times.
- rule 'variables with 2 values: create encoding literal' was applied 1 time.
- rule 'variables with 2 values: new affine relation' was applied 1 time.
- rule 'variables: both boolean and its negation fix the same variable' was applied 45 times.
- rule 'variables: detect fully reified value encoding' was applied 13 times.
- rule 'variables: detect half reified value encoding' was applied 4'039 times.
- rule 'variables: only used in objective and in encoding' was applied 1 time.
Presolved optimization model '': (model_fingerprint: 0x42d0f9cd2fd5fa07)
#Variables: 4'029 (#bools: 56 #ints: 797 in objective) (4'027 primary variables)
- 812 Booleans in [0,1]
- 2'114 different domains in [0,1749622289] with a largest complexity of 2.
#kAtMostOne: 97 (#literals: 585)
#kBoolAnd: 4 (#enforced: 4) (#literals: 8)
#kCumulative: 5 (#intervals: 1'776, #optional: 749, #variable_sizes: 749, #fixed_intervals: 1'027)
#kInterval: 1'725 (#enforced: 807) (#fixed: 918)
#kLinear1: 807 (#enforced: 807)
#kLinear2: 797 (#enforced: 797)
#kLinear3: 807 (#enforced: 807)
#kLinearN: 33 (#terms: 220)
#kNoOverlap: 362 (#intervals: 724, #optional: 691, #variable_sizes: 691, #fixed_intervals: 33)
[Symmetry] Graph for symmetry has 14'468 nodes and 19'580 arcs.
[Symmetry] Symmetry computation done. time: 0.00178434 dtime: 0.00255227
Preloading model.
#Bound 1.09s best:-inf next:[-0,564721] initial_domain
#Model 1.09s var:4029/4029 constraints:4637/4637
Starting search at 1.09s with 16 workers.
11 full problem subsolvers: [core, default_lp, fixed, lb_tree_search, max_lp, no_lp, probing, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
5 first solution subsolvers: [fj(2), fs_random, fs_random_no_lp, fs_random_quick_restart_no_lp]
14 interleaved subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, ls, ls_lin, rins/rens, rnd_cst_lns, rnd_var_lns, scheduling_intervals_lns, scheduling_precedences_lns, scheduling_resource_windows_lns, scheduling_time_window_lns]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
#1 1.10s best:3464 next:[3465,564721] fj_restart(batch:1 lin{mvs:0 evals:0} #w_updates:0 #perturb:0)
#2 1.35s best:31425 next:[31426,564721] graph_var_lns (d=5.00e-01 s=18 t=0.10 p=0.00 stall=0 h=base) (fixed_bools=0/1619)
#Bound 1.37s best:31425 next:[31426,554721] quick_restart (initial_propagation)
#Bound 1.40s best:31425 next:[31426,132303] max_lp
#
# A fatal error has been detected by the Java Runtime Environment:
#
# SIGSEGV (0xb) at pc=0x00007f6d52850867, pid=1, tid=94
#
# JRE version: OpenJDK Runtime Environment (17.0.9+9) (build 17.0.9+9-Debian-1deb12u1)
# Java VM: OpenJDK 64-Bit Server VM (17.0.9+9-Debian-1deb12u1, mixed mode, sharing, tiered, compressed oops, compressed class ptrs, g1 gc, linux-amd64)
# Problematic frame:
# C [libortools.so.9+0x1012867] operations_research::sat::ComputeMinSumOfWeightedEndMins(absl::lts_20250512::Span<operations_research::sat::CompletionTimeEvent const>, operations_research::StrongInt64<operations_research::sat::IntegerValue_integer_tag_>, double, double, operations_research::sat::CtExhaustiveHelper&, double&, double&, bool&, int&)+0x1c7
#
# Core dump will be written. Default location: /home/project/core.1
#
# An error report file with more information is saved as:
# /home/project/hs_err_pid1.log
[thread 98 also had an error]
#
# If you would like to submit a bug report, please visit:
# https://bugs.debian.org/openjdk-17
#
[error occurred during error reporting (), id 0xb, SIGSEGV (0xb) at pc=0x00007f6de2e4050f]

    Relevant solver logs ^

  2. eprice-oneweb
    changed the title [-]Error running ortools 9.13 CP-SAT[/-] [+]ComputeMinSumOfWeightedEndMins Error running ortools 9.13 CP-SAT[/+] on Jun 10, 2025
  3. lperron
    added a commit that references this issue on Jun 10, 2025

    fix #4677

    52e4c24

  4. lperron commented on Jun 10, 2025

    @lperron
    lperron
    on Jun 10, 2025
    Collaborator

    Thanks. Fix on v99bugfix

  5. lperron
    closed this as completedon Jun 10, 2025
  6. lperron
    self-assigned this
    on Jun 10, 2025
  7. lperron
    added
    Bug
    Solver: CP-SAT SolverRelates to the CP-SAT solver
    on Jun 10, 2025
  8. lperron
    added the
    Bug
    issue type on Jun 10, 2025

  9. eprice-oneweb commented on Jun 10, 2025

    @eprice-oneweb
    eprice-oneweb
    on Jun 10, 2025
    Author

    Thanks @lperron, will this be part of the next minor release?

  10. lperron commented on Jun 10, 2025

    @lperron
    lperron
    on Jun 10, 2025 via email
    Collaborator
  11. Mizux
    added this to the v9.15 milestone on Jan 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

BugSolver: CP-SAT SolverRelates to the CP-SAT solver

Type

Bug

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions