simple problem，solve long by sat solver in pywraplp.

[temph2020]

Hi, I solve a model with sat solver in pywraplp. The log is as follows. The log shows the objective is 2594.288333333344, I know it is the optimal objective, but the solver spend 25s to solve and didn't prove optimal. It seems there are some numerical problems with the problem. I gave the optimal hints to the solver, so I think it should solve it in 5 seconds, but it didn't. Is there anything we can do to solve this problem quickly?

================
log:

solving day:6 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371811 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.583433600000003 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0x8c9129aa489654fc)
#Variables: 92'360 (#bools: 5'701 #ints: 5'037 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'242
  #kLinear1: 41'825
  #kLinear2: 48'301
  #kLinear3: 41'150
  #kLinearN: 5'332 (#terms: 76'226)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9872 terms with magnitude in [0.0138889, 20.1111] average = 3.08148
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.73809e-13
[Scaling] Objective scaling factor: 1800
1.56e-02s 0.00e+00d [DetectDominanceRelations]
2.39e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=13 #num_dual_strengthening=2
1.64e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=307
[SAT presolve] num removable Booleans: 0 / 3480
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:4295 literals:11867 vars:2260 one_side_vars:555 simple_definition:775 singleton_clauses:0
[SAT presolve] [0.000976s] clauses:3541 literals:8097 vars:2260 one_side_vars:555 simple_definition:861 singleton_clauses:0
[SAT presolve] [0.0014486s] clauses:3541 literals:8097 vars:2260 one_side_vars:555 simple_definition:861 singleton_clauses:0
[MaxClique] Merged 2748(6465 literals) into 2292(5880 literals) at_most_ones.
6.52e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.30e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints] #duplicates=2
1.96e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
5.95e-03s 1.42e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=170 #num_inclusions=157 #num_redundant=2
1.63e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
1.26e-02s 1.60e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'450 #num_inclusions=1'527
2.08e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
7.54e-03s 3.86e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
2.16e-03s 3.07e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.93e-03s 1.32e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=34
6.04e-03s 1.30e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.78e-02s 0.00e+00d [DetectDominanceRelations]
1.39e-02s 0.00e+00d [DetectDominanceRelations]
4.85e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=3 #num_dual_strengthening=2
1.43e-02s 0.00e+00d [DetectDominanceRelations]
2.42e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3426
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:2788 literals:6505 vars:2078 one_side_vars:563 simple_definition:812 singleton_clauses:0
[SAT presolve] [0.0011003s] clauses:2788 literals:6505 vars:2078 one_side_vars:563 simple_definition:812 singleton_clauses:0
[SAT presolve] [0.0015428s] clauses:2788 literals:6505 vars:2078 one_side_vars:563 simple_definition:812 singleton_clauses:0
6.06e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.26e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
1.89e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
3.34e-03s 4.60e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=159 #num_inclusions=58
1.41e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
7.06e-03s 8.56e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'303 #num_inclusions=1'359
2.09e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
6.50e-03s 3.03e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.86e-03s 2.47e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.97e-03s 1.19e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=34
5.92e-03s 1.30e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.46e-02s 0.00e+00d [DetectDominanceRelations]
2.53e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.46e-02s 0.00e+00d [DetectDominanceRelations]
2.43e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3426
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:2792 literals:6513 vars:2082 one_side_vars:567 simple_definition:812 singleton_clauses:0
[SAT presolve] [0.0009856s] clauses:2792 literals:6513 vars:2082 one_side_vars:567 simple_definition:812 singleton_clauses:0
[SAT presolve] [0.0013934s] clauses:2792 literals:6513 vars:2082 one_side_vars:567 simple_definition:812 singleton_clauses:0
5.92e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.18e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.26e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
3.36e-03s 3.14e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=159 #num_inclusions=40
2.06e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
5.49e-03s 7.15e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'303 #num_inclusions=1'338
2.13e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
6.68e-03s 3.04e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.95e-03s 2.47e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.73e-03s 1.19e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=34
5.05e-03s 1.30e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.41e-02s 0.00e+00d [DetectDominanceRelations]
2.48e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
5.23e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=8'792 #tight_variables=1'523 #tight_constraints=262 #expands=11

Presolve summary:

• 900 affine relations were detected.
• rule 'TODO dual: only one blocking constraint?' was applied 8'055 times.
• rule 'TODO dual: tighten at most one' was applied 182 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'780 times.
• rule 'affine: new relation' was applied 900 times.
• rule 'at_most_one: empty or all false' was applied 405 times.
• rule 'at_most_one: removed literals' was applied 653 times.
• rule 'at_most_one: satisfied' was applied 26 times.
• rule 'at_most_one: size one' was applied 121 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 222 times.
• rule 'bool_and: non-reified.' was applied 286 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 1 time.
• rule 'bool_and: x => x' was applied 146 times.
• rule 'bool_or: always true' was applied 45'474 times.
• rule 'bool_or: fixed literals' was applied 241 times.
• rule 'bool_or: implications' was applied 6'723 times.
• rule 'bool_or: only one literal' was applied 15'045 times.
• rule 'deductions: 128 stored' was applied 1 time.
• rule 'domination: fixed to lb.' was applied 2 times.
• rule 'dual: affine relation' was applied 53 times.
• rule 'dual: enforced equivalence' was applied 103 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 24 times.
• rule 'dual: fix variable' was applied 7'195 times.
• rule 'dual: reduced domain' was applied 265 times.
• rule 'duplicate: merged rhs of linear constraint' was applied 2 times.
• rule 'duplicate: removed constraint' was applied 2 times.
• rule 'enforcement: false literal' was applied 4'939 times.
• rule 'enforcement: literal not used' was applied 6 times.
• rule 'enforcement: true literal' was applied 287 times.
• rule 'exactly_one: removed literals' was applied 164 times.
• rule 'exactly_one: satisfied' was applied 49 times.
• rule 'exactly_one: simplified objective' was applied 42 times.
• rule 'exactly_one: size one' was applied 15 times.
• rule 'linear + amo: infeasible linear constraint' was applied 2 times.
• rule 'linear + amo: trivial linear constraint' was applied 2 times.
• rule 'linear inclusion: redundant included constraint' was applied 2 times.
• rule 'linear1: always true' was applied 94 times.
• rule 'linear1: x in domain' was applied 7'125 times.
• rule 'linear2: contains a Boolean.' was applied 99 times.
• rule 'linear: all booleans and trivially true' was applied 65 times.
• rule 'linear: always true' was applied 84'119 times.
• rule 'linear: divide by GCD' was applied 3'580 times.
• rule 'linear: empty' was applied 7'342 times.
• rule 'linear: enforcement literal in expression' was applied 53 times.
• rule 'linear: extracted at most one (max).' was applied 1 time.
• rule 'linear: extracted enforcement literal' was applied 5 times.
• rule 'linear: fixed or dup variables' was applied 17'826 times.
• rule 'linear: negative clause' was applied 6'192 times.
• rule 'linear: positive at most one' was applied 623 times.
• rule 'linear: positive clause' was applied 16'343 times.
• rule 'linear: positive equal one' was applied 240 times.
• rule 'linear: positive reified and' was applied 2 times.
• rule 'linear: reduced variable domains' was applied 7'545 times.
• rule 'linear: remapped using affine relations' was applied 1'431 times.
• rule 'linear: simplified rhs' was applied 1'402 times.
• rule 'linear: singleton column' was applied 83 times.
• rule 'linear: small Boolean expression' was applied 15'890 times.
• rule 'new_bool: var with 2 values' was applied 128 times.
• rule 'objective: expanded via tight equality' was applied 11 times.
• rule 'objective: shifted cost with exactly ones' was applied 53 times.
• rule 'objective: variable not used elsewhere' was applied 69 times.
• rule 'presolve: 89616 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 3 times.
• rule 'setppc: bool_or in at_most_one.' was applied 86 times.
• rule 'setppc: exactly_one included in linear' was applied 41 times.
• rule 'setppc: reduced linear coefficients' was applied 41 times.
• rule 'variables with 2 values: create encoding literal' was applied 128 times.
• rule 'variables with 2 values: new affine relation' was applied 128 times.
• rule 'variables: detect half reified value encoding' was applied 93 times.

Presolved optimization model '': (model_fingerprint: 0x53c4d66243ebc4f0)
#Variables: 2'455 (#bools: 453 #ints: 161 in objective)

• 2'294 Booleans in [0,1]
• 83 in [0,2]
• 38 in [0,3]
• 9 in [0,4]
• 5 in [0,5]
• 2 in [1,3]
• 8 in [2,4]
• 4 in [3,5]
• 12 in [4,6]
  #kAtMostOne: 165 (#literals: 1'510)
  #kBoolAnd: 1'341 (#enforced: 1'341) (#literals: 3'294)
  #kBoolOr: 839 (#literals: 2'607)
  #kExactlyOne: 262 (#literals: 1'523)
  #kLinear1: 9 (#enforced: 9)
  #kLinear3: 75
  #kLinearN: 84 (#terms: 1'074)

Preloading model.
#Bound 0.94s best:inf next:[2573.72722,4798.24611] initial_domain
#1 0.94s best:2594.28833 next:[2573.72722,2594.28778] complete_hint
#Model 0.94s var:2455/2455 constraints:2775/2775

Starting search at 0.94s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 201 [ 22.80ms, 149.92ms] 117.54ms 10.83ms 23.63s 201 [ 19.11ms, 100.04ms] 99.61ms 5.69ms 20.02s
'ls': 201 [ 87.21ms, 145.41ms] 117.57ms 8.14ms 23.63s 201 [ 70.71ms, 100.06ms] 99.87ms 2.06ms 20.07s
'ls': 203 [ 45.32ms, 145.30ms] 116.42ms 11.15ms 23.63s 203 [ 38.70ms, 100.07ms] 99.71ms 4.29ms 20.24s
'ls': 203 [ 93.58ms, 154.95ms] 116.42ms 10.36ms 23.63s 203 [ 88.38ms, 100.05ms] 99.96ms 814.68us 20.29s
'ls': 204 [ 29.11ms, 159.69ms] 115.85ms 13.73ms 23.63s 204 [ 27.54ms, 100.06ms] 99.66ms 5.06ms 20.33s
'ls': 204 [ 59.38ms, 154.94ms] 115.83ms 9.63ms 23.63s 204 [ 50.89ms, 100.07ms] 99.77ms 3.43ms 20.35s
'ls': 204 [ 85.06ms, 147.76ms] 115.85ms 9.15ms 23.63s 204 [ 80.92ms, 100.07ms] 99.92ms 1.33ms 20.38s
'ls': 205 [ 4.44ms, 148.11ms] 115.28ms 13.11ms 23.63s 205 [ 3.56ms, 100.06ms] 99.54ms 6.72ms 20.41s
'ls': 205 [ 67.59ms, 142.67ms] 115.28ms 9.27ms 23.63s 205 [ 56.58ms, 100.06ms] 99.80ms 3.03ms 20.46s
'ls': 205 [ 81.33ms, 149.90ms] 115.28ms 10.63ms 23.63s 205 [ 87.70ms, 100.05ms] 99.96ms 858.04us 20.49s
'ls': 206 [ 69.10ms, 152.89ms] 114.72ms 8.05ms 23.63s 206 [ 58.79ms, 100.06ms] 99.82ms 2.87ms 20.56s
'ls': 207 [ 22.78ms, 134.11ms] 114.14ms 9.93ms 23.63s 207 [ 19.87ms, 100.04ms] 99.62ms 5.56ms 20.62s
'ls': 209 [ 13.54ms, 139.80ms] 113.08ms 11.27ms 23.63s 209 [ 12.78ms, 100.05ms] 99.60ms 6.02ms 20.82s
'ls_lin': 201 [ 33.60ms, 155.29ms] 117.53ms 11.15ms 23.62s 201 [ 27.27ms, 100.05ms] 99.65ms 5.12ms 20.03s
'ls_lin': 202 [ 86.63ms, 156.55ms] 116.99ms 10.59ms 23.63s 202 [ 98.98ms, 100.06ms] 100.01ms 73.41us 20.20s
'ls_lin': 203 [ 38.45ms, 148.52ms] 116.38ms 9.59ms 23.63s 203 [ 42.01ms, 100.06ms] 99.73ms 4.06ms 20.25s
'ls_lin': 203 [ 86.52ms, 141.73ms] 116.39ms 9.56ms 23.63s 203 [ 91.07ms, 100.06ms] 99.97ms 626.67us 20.29s
'ls_lin': 203 [ 89.49ms, 149.93ms] 116.39ms 9.78ms 23.63s 203 [ 74.09ms, 100.09ms] 99.89ms 1.82ms 20.28s
'ls_lin': 204 [ 62.32ms, 160.12ms] 115.84ms 10.33ms 23.63s 204 [ 54.64ms, 100.05ms] 99.79ms 3.17ms 20.36s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 105 37 2'175'505 0 0 0 449'493 13'724'586
'ls_lin_restart_compound': 170 57 0 1'192'966 58'733 567'031 7'382 24'129'660
'ls_lin_restart_compound_perturb': 231 56 0 1'637'835 70'663 783'493 8'183 32'861'524
'ls_lin_restart_decay': 81 38 945'850 0 0 0 19'749 7'345'479
'ls_lin_restart_decay_compound': 201 45 0 1'218'268 126'378 545'822 3'000 25'634'334
'ls_lin_restart_decay_compound_perturb': 205 42 0 1'232'588 126'718 552'778 2'671 24'345'095
'ls_lin_restart_decay_perturb': 94 43 1'089'139 0 0 0 22'524 8'450'321
'ls_lin_restart_perturb': 129 48 2'496'733 0 0 0 541'055 16'271'303
'ls_restart': 427 100 8'965'302 0 0 0 2'550'049 54'298'066
'ls_restart_compound': 451 104 0 3'247'968 155'148 1'546'184 16'603 63'987'289
'ls_restart_compound_perturb': 348 88 0 2'453'391 100'379 1'176'349 12'758 49'959'309
'ls_restart_decay': 259 90 2'985'020 0 0 0 59'683 23'335'973
'ls_restart_decay_compound': 255 95 0 1'549'305 157'867 695'426 5'466 32'035'543
'ls_restart_decay_compound_perturb': 369 82 0 2'218'591 208'302 1'004'863 5'158 42'647'816
'ls_restart_decay_perturb': 186 73 2'147'700 0 0 0 43'858 17'015'330
'ls_restart_perturb': 362 95 7'977'350 0 0 0 2'101'891 46'974'210

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'093 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2573.73 corrected_bound: 2414.94 delta: 158.783
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2414.943888888678
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.6049
usertime: 24.6049
deterministic_time: 386.48
gap_integral: 1186.77
solution_fingerprint: 0xa351c5fd359dbd6a

weekday 6, solveStatus FEASIBLE
day 6 status FEASIBLE, obj 2594.2883333333443, time s: 95.446
[+]: 2594.2883333333443 in 95.446000 seconds
[2025-03-30 20:21:34,615] [INFO] solverFunction.py [line:3019] [solverFunction] - use time 25.437391757965088 s
solving day:4 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371490 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.5880881 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0x7be33dd0ff9856ed)
#Variables: 92'360 (#bools: 5'701 #ints: 5'026 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'242
  #kLinear1: 41'672
  #kLinear2: 48'435
  #kLinear3: 41'102
  #kLinearN: 5'399 (#terms: 76'587)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9899 terms with magnitude in [0.0138889, 20.1111] average = 3.07436
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.73888e-13
[Scaling] Objective scaling factor: 1800
1.46e-02s 0.00e+00d [DetectDominanceRelations]
2.38e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=9 #num_dual_strengthening=2
1.22e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=197
[SAT presolve] num removable Booleans: 0 / 3039
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3605 literals:10009 vars:1909 one_side_vars:446 simple_definition:639 singleton_clauses:0
[SAT presolve] [0.0007861s] clauses:2978 literals:6886 vars:1903 one_side_vars:440 simple_definition:721 singleton_clauses:0
[SAT presolve] [0.0011971s] clauses:2978 literals:6886 vars:1903 one_side_vars:440 simple_definition:721 singleton_clauses:0
[MaxClique] Merged 2229(5039 literals) into 2021(4720 literals) at_most_ones.
4.75e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.16e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints] #duplicates=1
1.78e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
5.08e-03s 1.25e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=198 #num_inclusions=164
1.35e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
9.62e-03s 1.12e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'044 #num_inclusions=1'244
2.04e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.73e-03s 2.21e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.94e-03s 2.30e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.66e-03s 1.48e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=44
5.90e-03s 1.15e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.78e-02s 0.00e+00d [DetectDominanceRelations]
2.77e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.85e-02s 0.00e+00d [DetectDominanceRelations]
2.81e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3011
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:2682 literals:6223 vars:1779 one_side_vars:492 simple_definition:691 singleton_clauses:0
[SAT presolve] [0.0010308s] clauses:2682 literals:6223 vars:1779 one_side_vars:492 simple_definition:691 singleton_clauses:0
[SAT presolve] [0.0015222s] clauses:2682 literals:6223 vars:1779 one_side_vars:492 simple_definition:691 singleton_clauses:0
6.14e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.37e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.12e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
4.13e-03s 7.14e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=198 #num_inclusions=106
2.11e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
5.35e-03s 6.72e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'109 #num_inclusions=1'106
2.22e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
6.02e-03s 2.54e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.88e-03s 2.14e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
2.06e-03s 1.42e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=44
6.28e-03s 1.15e-05d [operations_research::sat::CpModelPresolver::MergeClauses] #num_collisions=80 #num_merges=80 #num_saved_literals=231
1.79e-02s 0.00e+00d [DetectDominanceRelations]
2.81e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
5.05e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=7'102 #tight_variables=1'297 #tight_constraints=228 #expands=15

Presolve summary:

• 838 affine relations were detected.
• rule 'TODO domination: unexploited dominations' was applied 2 times.
• rule 'TODO dual: only one blocking constraint?' was applied 4'521 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'798 times.
• rule 'affine: new relation' was applied 838 times.
• rule 'at_most_one: empty or all false' was applied 407 times.
• rule 'at_most_one: removed literals' was applied 583 times.
• rule 'at_most_one: satisfied' was applied 3 times.
• rule 'at_most_one: size one' was applied 87 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 117 times.
• rule 'bool_and: non-reified.' was applied 293 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 3 times.
• rule 'bool_and: x => x' was applied 144 times.
• rule 'bool_or: always true' was applied 45'793 times.
• rule 'bool_or: fixed literals' was applied 153 times.
• rule 'bool_or: implications' was applied 6'654 times.
• rule 'bool_or: only one literal' was applied 15'095 times.
• rule 'deductions: 158 stored' was applied 1 time.
• rule 'domination: added implications' was applied 136 times.
• rule 'dual: affine relation' was applied 78 times.
• rule 'dual: enforced equivalence' was applied 104 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 13 times.
• rule 'dual: fix variable' was applied 7'227 times.
• rule 'dual: reduced domain' was applied 300 times.
• rule 'duplicate: merged rhs of linear constraint' was applied 1 time.
• rule 'duplicate: removed constraint' was applied 1 time.
• rule 'enforcement: false literal' was applied 5'194 times.
• rule 'enforcement: literal not used' was applied 6 times.
• rule 'enforcement: true literal' was applied 293 times.
• rule 'exactly_one: removed literals' was applied 88 times.
• rule 'exactly_one: satisfied' was applied 30 times.
• rule 'exactly_one: simplified objective' was applied 46 times.
• rule 'linear1: always true' was applied 120 times.
• rule 'linear1: x in domain' was applied 7'141 times.
• rule 'linear2: contains a Boolean.' was applied 124 times.
• rule 'linear: all booleans and trivially true' was applied 72 times.
• rule 'linear: always true' was applied 84'160 times.
• rule 'linear: divide by GCD' was applied 3'606 times.
• rule 'linear: empty' was applied 7'425 times.
• rule 'linear: enforcement literal in expression' was applied 78 times.
• rule 'linear: extracted enforcement literal' was applied 4 times.
• rule 'linear: fixed or dup variables' was applied 17'870 times.
• rule 'linear: negative clause' was applied 6'181 times.
• rule 'linear: positive at most one' was applied 537 times.
• rule 'linear: positive clause' was applied 16'331 times.
• rule 'linear: positive equal one' was applied 187 times.
• rule 'linear: positive reified and' was applied 3 times.
• rule 'linear: reduced variable domains' was applied 7'595 times.
• rule 'linear: remapped using affine relations' was applied 1'446 times.
• rule 'linear: simplified rhs' was applied 1'302 times.
• rule 'linear: singleton column' was applied 84 times.
• rule 'linear: small Boolean expression' was applied 15'857 times.
• rule 'new_bool: var with 2 values' was applied 37 times.
• rule 'objective: expanded via tight equality' was applied 15 times.
• rule 'objective: shifted cost with exactly ones' was applied 61 times.
• rule 'objective: variable not used elsewhere' was applied 9 times.
• rule 'presolve: 89971 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 2 times.
• rule 'setppc: bool_or in at_most_one.' was applied 71 times.
• rule 'setppc: exactly_one included in linear' was applied 28 times.
• rule 'setppc: reduced linear coefficients' was applied 28 times.
• rule 'variables with 2 values: create encoding literal' was applied 37 times.
• rule 'variables with 2 values: new affine relation' was applied 37 times.
• rule 'variables: detect half reified value encoding' was applied 112 times.

Presolved optimization model '': (model_fingerprint: 0x391ade0035017a6f)
#Variables: 2'069 (#bools: 395 #ints: 188 in objective)

• 1'881 Booleans in [0,1]
• 107 in [0,2]
• 62 in [0,3]
• 18 in [0,4]
• 1 in [1,3]
  #kAtMostOne: 66 (#literals: 739)
  #kBoolAnd: 1'269 (#enforced: 1'269 #multi: 49) (#literals: 3'454)
  #kBoolOr: 589 (#literals: 1'794)
  #kExactlyOne: 228 (#literals: 1'297)
  #kLinear3: 65
  #kLinearN: 133 (#enforced: 1) (#terms: 1'235)

Preloading model.
#Bound 0.79s best:inf next:[2497.99611,6891.24778] initial_domain
#1 0.79s best:2594.28833 next:[2497.99611,2594.28778] complete_hint
#Model 0.79s var:2069/2069 constraints:2350/2350

Starting search at 0.79s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 194 [ 37.81ms, 160.87ms] 122.63ms 10.47ms 23.79s 194 [ 30.15ms, 100.03ms] 99.65ms 5.00ms 19.33s
'ls': 195 [ 98.89ms, 148.16ms] 122.01ms 7.85ms 23.79s 195 [ 90.47ms, 100.04ms] 99.97ms 681.60us 19.49s
'ls': 196 [ 97.58ms, 214.20ms] 121.38ms 10.99ms 23.79s 196 [ 97.46ms, 100.04ms] 100.00ms 182.41us 19.60s
'ls': 197 [ 68.81ms, 150.99ms] 120.76ms 9.70ms 23.79s 197 [ 55.44ms, 100.07ms] 99.79ms 3.17ms 19.66s
'ls': 198 [ 24.09ms, 140.15ms] 120.15ms 9.54ms 23.79s 198 [ 19.14ms, 100.07ms] 99.61ms 5.73ms 19.72s
'ls': 198 [ 70.81ms, 158.17ms] 120.15ms 9.34ms 23.79s 198 [ 59.19ms, 100.03ms] 99.81ms 2.89ms 19.76s
'ls': 198 [ 84.43ms, 148.75ms] 120.13ms 8.19ms 23.79s 198 [ 67.71ms, 100.04ms] 99.85ms 2.29ms 19.77s
'ls': 198 [ 88.42ms, 146.89ms] 120.15ms 7.65ms 23.79s 198 [ 76.47ms, 100.04ms] 99.89ms 1.67ms 19.78s
'ls': 198 [ 95.09ms, 174.35ms] 120.16ms 8.59ms 23.79s 198 [ 91.75ms, 100.03ms] 99.97ms 585.59us 19.79s
'ls': 199 [ 31.46ms, 171.73ms] 119.55ms 9.31ms 23.79s 199 [ 26.10ms, 100.03ms] 99.64ms 5.23ms 19.83s
'ls': 199 [ 55.13ms, 156.65ms] 119.54ms 8.61ms 23.79s 199 [ 48.30ms, 100.04ms] 99.76ms 3.66ms 19.85s
'ls': 199 [ 98.73ms, 143.88ms] 119.51ms 6.95ms 23.78s 199 [ 83.65ms, 100.06ms] 99.93ms 1.16ms 19.89s
'ls': 200 [ 37.53ms, 147.74ms] 118.96ms 8.98ms 23.79s 200 [ 32.43ms, 100.03ms] 99.68ms 4.77ms 19.94s
'ls_lin': 195 [ 31.40ms, 152.59ms] 121.97ms 10.60ms 23.78s 195 [ 24.45ms, 100.04ms] 99.62ms 5.40ms 19.43s
'ls_lin': 197 [ 50.00ms, 151.25ms] 120.75ms 9.14ms 23.79s 197 [ 42.02ms, 100.06ms] 99.72ms 4.12ms 19.64s
'ls_lin': 197 [ 89.40ms, 157.39ms] 120.76ms 8.06ms 23.79s 197 [ 73.54ms, 100.05ms] 99.88ms 1.88ms 19.68s
'ls_lin': 199 [ 52.07ms, 148.98ms] 119.51ms 8.34ms 23.78s 199 [ 42.73ms, 100.05ms] 99.73ms 4.05ms 19.85s
'ls_lin': 199 [ 77.69ms, 163.30ms] 119.55ms 8.31ms 23.79s 199 [ 66.13ms, 100.07ms] 99.84ms 2.40ms 19.87s
'ls_lin': 199 [ 81.37ms, 154.96ms] 119.53ms 8.89ms 23.79s 199 [ 66.49ms, 100.05ms] 99.85ms 2.37ms 19.87s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 209 48 1'525'343 0 0 0 1'435'271 35'054'244
'ls_lin_restart_compound': 102 39 0 799'257 52'653 373'157 5'200 11'644'634
'ls_lin_restart_compound_perturb': 211 45 0 1'476'744 68'111 704'196 6'630 19'062'414
'ls_lin_restart_decay': 160 48 1'441'348 0 0 0 44'970 16'050'803
'ls_lin_restart_decay_compound': 98 38 0 615'209 66'192 274'195 1'891 9'140'033
'ls_lin_restart_decay_compound_perturb': 107 44 0 662'770 59'274 301'447 2'275 10'355'595
'ls_lin_restart_decay_perturb': 126 45 1'129'791 0 0 0 35'482 12'664'789
'ls_lin_restart_perturb': 173 53 1'342'194 0 0 0 1'093'447 29'342'642
'ls_restart': 490 95 3'963'428 0 0 0 3'166'434 79'811'728
'ls_restart_compound': 326 104 0 2'272'933 130'531 1'070'903 12'676 34'656'023
'ls_restart_compound_perturb': 348 92 0 2'406'874 118'261 1'144'017 11'969 34'805'276
'ls_restart_decay': 235 84 2'108'319 0 0 0 66'361 23'602'503
'ls_restart_decay_compound': 283 75 0 1'681'717 112'996 783'799 3'633 23'630'480
'ls_restart_decay_compound_perturb': 359 91 0 2'072'168 130'826 970'117 4'455 31'053'746
'ls_restart_decay_perturb': 239 87 2'159'981 0 0 0 68'360 24'195'928
'ls_restart_perturb': 289 78 2'352'092 0 0 0 2'254'392 45'477'032

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'066 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2498 corrected_bound: 2353.1 delta: 144.9
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2353.096111110908
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.6096
usertime: 24.6096
deterministic_time: 374.755
gap_integral: 1715.47
solution_fingerprint: 0x9bac15e888678f25

weekday 4, solveStatus FEASIBLE
day 4 status FEASIBLE, obj 2594.2883333333443, time s: 120.883
[+]: 2594.2883333333443 in 120.883000 seconds
[2025-03-30 20:21:59,967] [INFO] solverFunction.py [line:3019] [solverFunction] - use time 25.351682901382446 s
solving day:1 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371894 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.581142900000003 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0xaadb3a6f43e7c164)
#Variables: 92'360 (#bools: 5'701 #ints: 5'041 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'244
  #kLinear1: 41'825
  #kLinear2: 48'309
  #kLinear3: 41'142
  #kLinearN: 5'330 (#terms: 76'147)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9889 terms with magnitude in [0.0138889, 20.1111] average = 3.07691
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.73888e-13
[Scaling] Objective scaling factor: 1800
1.49e-02s 0.00e+00d [DetectDominanceRelations]
2.31e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=9 #num_dual_strengthening=2
9.07e-04s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=211
[SAT presolve] num removable Booleans: 0 / 3291
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3880 literals:10780 vars:2065 one_side_vars:524 simple_definition:687 singleton_clauses:0
[SAT presolve] [0.0010788s] clauses:3193 literals:7357 vars:2059 one_side_vars:518 simple_definition:771 singleton_clauses:0
[SAT presolve] [0.001559s] clauses:3193 literals:7357 vars:2059 one_side_vars:518 simple_definition:771 singleton_clauses:0
[MaxClique] Merged 2371(5383 literals) into 2187(5087 literals) at_most_ones.
4.85e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.26e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints] #duplicates=2
1.91e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
5.95e-03s 1.35e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=203 #num_inclusions=171
1.83e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
8.79e-03s 1.16e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'352 #num_inclusions=1'386
1.95e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
6.03e-03s 2.71e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
2.03e-03s 2.59e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.60e-03s 1.43e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=40
6.65e-03s 1.24e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.84e-02s 0.00e+00d [DetectDominanceRelations]
3.12e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.77e-02s 0.00e+00d [DetectDominanceRelations]
2.78e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3291
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3327 literals:7553 vars:1961 one_side_vars:564 simple_definition:739 singleton_clauses:0
[SAT presolve] [0.0008606s] clauses:3327 literals:7553 vars:1961 one_side_vars:564 simple_definition:739 singleton_clauses:0
[SAT presolve] [0.0012549s] clauses:3327 literals:7553 vars:1961 one_side_vars:564 simple_definition:739 singleton_clauses:0
5.75e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.24e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.15e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
6.21e-03s 1.02e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=203 #num_inclusions=138
1.69e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
5.05e-03s 8.41e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'742 #num_inclusions=1'264
2.12e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
6.66e-03s 3.22e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.95e-03s 2.59e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.66e-03s 1.43e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=40
6.95e-03s 1.24e-05d [operations_research::sat::CpModelPresolver::MergeClauses] #num_collisions=89 #num_merges=89 #num_saved_literals=222
1.94e-02s 0.00e+00d [DetectDominanceRelations]
3.00e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
5.63e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=7'586 #tight_variables=1'385 #tight_constraints=243 #expands=20

Presolve summary:

• 871 affine relations were detected.
• rule 'TODO domination: unexploited dominations' was applied 2 times.
• rule 'TODO dual: only one blocking constraint?' was applied 5'012 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'646 times.
• rule 'affine: new relation' was applied 871 times.
• rule 'at_most_one: empty or all false' was applied 408 times.
• rule 'at_most_one: removed literals' was applied 594 times.
• rule 'at_most_one: satisfied' was applied 6 times.
• rule 'at_most_one: size one' was applied 89 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 117 times.
• rule 'bool_and: non-reified.' was applied 325 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 3 times.
• rule 'bool_and: x => x' was applied 128 times.
• rule 'bool_or: always true' was applied 45'740 times.
• rule 'bool_or: fixed literals' was applied 166 times.
• rule 'bool_or: implications' was applied 6'596 times.
• rule 'bool_or: only one literal' was applied 15'075 times.
• rule 'bool_or: singleton' was applied 1 time.
• rule 'deductions: 141 stored' was applied 1 time.
• rule 'domination: added implications' was applied 462 times.
• rule 'dual: affine relation' was applied 100 times.
• rule 'dual: enforced equivalence' was applied 88 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 20 times.
• rule 'dual: fix variable' was applied 7'211 times.
• rule 'dual: reduced domain' was applied 344 times.
• rule 'duplicate: merged rhs of linear constraint' was applied 2 times.
• rule 'duplicate: removed constraint' was applied 2 times.
• rule 'enforcement: false literal' was applied 5'060 times.
• rule 'enforcement: literal not used' was applied 8 times.
• rule 'enforcement: true literal' was applied 328 times.
• rule 'exactly_one: removed literals' was applied 95 times.
• rule 'exactly_one: satisfied' was applied 30 times.
• rule 'exactly_one: simplified objective' was applied 21 times.
• rule 'linear + amo: trivial linear constraint' was applied 1 time.
• rule 'linear1: always true' was applied 107 times.
• rule 'linear1: x in domain' was applied 7'076 times.
• rule 'linear2: contains a Boolean.' was applied 141 times.
• rule 'linear: all booleans and trivially true' was applied 69 times.
• rule 'linear: always true' was applied 84'206 times.
• rule 'linear: divide by GCD' was applied 3'557 times.
• rule 'linear: empty' was applied 7'361 times.
• rule 'linear: enforcement literal in expression' was applied 100 times.
• rule 'linear: extracted enforcement literal' was applied 3 times.
• rule 'linear: fixed or dup variables' was applied 17'857 times.
• rule 'linear: negative at most one' was applied 1 time.
• rule 'linear: negative clause' was applied 6'129 times.
• rule 'linear: positive at most one' was applied 542 times.
• rule 'linear: positive clause' was applied 16'353 times.
• rule 'linear: positive equal one' was applied 201 times.
• rule 'linear: positive reified and' was applied 1 time.
• rule 'linear: reduced variable domains' was applied 7'532 times.
• rule 'linear: remapped using affine relations' was applied 1'535 times.
• rule 'linear: simplified rhs' was applied 1'446 times.
• rule 'linear: singleton column' was applied 85 times.
• rule 'linear: small Boolean expression' was applied 15'908 times.
• rule 'new_bool: var with 2 values' was applied 31 times.
• rule 'objective: expanded via tight equality' was applied 20 times.
• rule 'objective: shifted cost with exactly ones' was applied 77 times.
• rule 'objective: variable not used elsewhere' was applied 66 times.
• rule 'presolve: 89790 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 2 times.
• rule 'setppc: bool_or in at_most_one.' was applied 72 times.
• rule 'setppc: exactly_one included in linear' was applied 20 times.
• rule 'setppc: reduced linear coefficients' was applied 20 times.
• rule 'variables with 2 values: create encoding literal' was applied 31 times.
• rule 'variables with 2 values: new affine relation' was applied 31 times.
• rule 'variables: detect half reified value encoding' was applied 125 times.

Presolved optimization model '': (model_fingerprint: 0x7f88f533877f9664)
#Variables: 2'258 (#bools: 442 #ints: 193 in objective)

• 2'065 Booleans in [0,1]
• 106 in [0,2]
• 64 in [0,3]
• 20 in [0,4]
• 1 in [1,3]
• 2 in [1,4]
  #kAtMostOne: 40 (#literals: 721)
  #kBoolAnd: 1'413 (#enforced: 1'413 #multi: 53) (#literals: 4'168)
  #kBoolOr: 648 (#literals: 1'986)
  #kExactlyOne: 243 (#literals: 1'385)
  #kLinear3: 71
  #kLinearN: 132 (#enforced: 2) (#terms: 1'301)

Preloading model.
#Bound 0.78s best:inf next:[2488.49556,7379.46056] initial_domain
#1 0.78s best:2594.28833 next:[2488.49556,2594.28778] complete_hint
#Model 0.78s var:2258/2258 constraints:2547/2547

Starting search at 0.78s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 195 [ 96.90ms, 138.09ms] 122.00ms 6.83ms 23.79s 195 [ 79.13ms, 100.04ms] 99.91ms 1.49ms 19.48s
'ls': 195 [ 97.03ms, 170.50ms] 122.00ms 7.73ms 23.79s 195 [ 92.25ms, 100.05ms] 99.98ms 554.78us 19.50s
'ls': 195 [ 98.84ms, 154.42ms] 122.00ms 8.20ms 23.79s 195 [ 86.04ms, 100.06ms] 99.94ms 997.97us 19.49s
'ls': 196 [ 50.12ms, 164.79ms] 121.35ms 9.53ms 23.79s 196 [ 40.32ms, 100.05ms] 99.71ms 4.25ms 19.54s
'ls': 196 [ 98.28ms, 146.07ms] 121.38ms 7.09ms 23.79s 196 [ 86.39ms, 100.10ms] 99.94ms 970.77us 19.59s
'ls': 196 [243.60us, 143.70ms] 121.36ms 11.34ms 23.79s 196 [111.61us, 100.05ms] 99.51ms 7.12ms 19.50s
'ls': 197 [ 40.34ms, 143.87ms] 120.76ms 8.91ms 23.79s 197 [ 32.07ms, 100.05ms] 99.67ms 4.83ms 19.64s
'ls': 198 [ 7.30ms, 147.80ms] 120.15ms 10.52ms 23.79s 198 [ 6.05ms, 100.05ms] 99.54ms 6.66ms 19.71s
'ls': 198 [ 62.06ms, 137.01ms] 120.16ms 8.61ms 23.79s 198 [ 53.19ms, 100.05ms] 99.78ms 3.32ms 19.76s
'ls': 199 [ 87.84ms, 148.78ms] 119.55ms 9.23ms 23.79s 199 [ 99.63ms, 100.07ms] 100.01ms 28.66us 19.90s
'ls': 200 [ 38.46ms, 160.84ms] 118.94ms 9.21ms 23.79s 200 [ 33.30ms, 100.06ms] 99.68ms 4.71ms 19.94s
'ls': 200 [ 42.25ms, 161.30ms] 118.95ms 9.56ms 23.79s 200 [ 33.81ms, 100.05ms] 99.69ms 4.67ms 19.94s
'ls': 200 [ 80.87ms, 134.39ms] 118.94ms 6.98ms 23.79s 200 [ 69.73ms, 100.04ms] 99.86ms 2.14ms 19.97s
'ls_lin': 196 [ 6.31ms, 148.68ms] 121.35ms 10.96ms 23.78s 196 [ 6.80ms, 100.05ms] 99.54ms 6.64ms 19.51s
'ls_lin': 197 [ 6.56ms, 134.12ms] 120.75ms 10.53ms 23.79s 197 [ 5.33ms, 100.05ms] 99.53ms 6.73ms 19.61s
'ls_lin': 197 [ 17.44ms, 147.77ms] 120.73ms 10.81ms 23.78s 197 [ 16.64ms, 100.06ms] 99.59ms 5.93ms 19.62s
'ls_lin': 197 [ 71.66ms, 147.77ms] 120.75ms 8.67ms 23.79s 197 [ 70.93ms, 100.05ms] 99.87ms 2.07ms 19.67s
'ls_lin': 197 [ 97.36ms, 148.87ms] 120.75ms 7.01ms 23.79s 197 [ 97.08ms, 100.06ms] 100.00ms 209.05us 19.70s
'ls_lin': 198 [ 87.22ms, 145.48ms] 120.12ms 7.80ms 23.78s 198 [ 77.21ms, 100.05ms] 99.90ms 1.62ms 19.78s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 171 38 1'153'774 0 0 0 648'300 38'504'928
'ls_lin_restart_compound': 141 48 0 842'515 48'470 396'932 4'972 20'903'446
'ls_lin_restart_compound_perturb': 117 40 0 722'549 41'469 340'465 4'492 17'998'520
'ls_lin_restart_decay': 123 45 1'016'268 0 0 0 27'691 14'131'245
'ls_lin_restart_decay_compound': 81 38 0 482'299 54'900 213'517 1'872 10'925'468
'ls_lin_restart_decay_compound_perturb': 214 52 0 1'157'449 95'969 530'450 2'860 25'509'606
'ls_lin_restart_decay_perturb': 216 53 1'797'579 0 0 0 46'513 24'323'012
'ls_lin_restart_perturb': 119 45 904'864 0 0 0 552'438 24'061'133
'ls_restart': 312 88 2'198'477 0 0 0 1'318'571 64'885'183
'ls_restart_compound': 279 95 0 1'732'327 99'266 816'356 10'478 41'803'085
'ls_restart_compound_perturb': 276 81 0 1'787'174 107'106 839'854 11'063 42'944'122
'ls_restart_decay': 508 81 4'238'280 0 0 0 105'424 56'659'173
'ls_restart_decay_compound': 219 92 0 1'240'628 121'273 559'276 4'461 28'850'942
'ls_restart_decay_compound_perturb': 244 89 0 1'395'506 146'011 624'269 4'504 31'043'931
'ls_restart_decay_perturb': 248 75 2'060'298 0 0 0 54'423 28'338'626
'ls_restart_perturb': 479 104 4'225'782 0 0 0 2'663'953 94'088'504

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'064 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2488.5 corrected_bound: 2336.93 delta: 151.567
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2336.928888888687
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.6095
usertime: 24.6095
deterministic_time: 373.855
gap_integral: 1746.18
solution_fingerprint: 0x9bac15e888678f25

weekday 1, solveStatus FEASIBLE
day 1 status FEASIBLE, obj 2594.2883333333443, time s: 146.251
[+]: 2594.2883333333443 in 146.251000 seconds
[2025-03-30 20:22:25,419] [INFO] solverFunction.py [line:3019] [solverFunction] - use time 25.451802492141724 s
solving day:5 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371641 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.5851277 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0x31e08f3d3065a4b5)
#Variables: 92'360 (#bools: 5'701 #ints: 5'038 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'244
  #kLinear1: 41'749
  #kLinear2: 48'338
  #kLinear3: 41'169
  #kLinearN: 5'350 (#terms: 76'340)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9888 terms with magnitude in [0.0138889, 20.1111] average = 3.0773
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.7384e-13
[Scaling] Objective scaling factor: 1800
1.46e-02s 0.00e+00d [DetectDominanceRelations]
2.35e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=9 #num_dual_strengthening=2
1.99e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=203
[SAT presolve] num removable Booleans: 0 / 3104
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3748 literals:10441 vars:1974 one_side_vars:484 simple_definition:673 singleton_clauses:0
[SAT presolve] [0.0010203s] clauses:3085 literals:7138 vars:1968 one_side_vars:478 simple_definition:757 singleton_clauses:0
[SAT presolve] [0.0014796s] clauses:3085 literals:7138 vars:1968 one_side_vars:478 simple_definition:757 singleton_clauses:0
[MaxClique] Merged 2328(5272 literals) into 2142(4979 literals) at_most_ones.
5.44e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.04e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints] #duplicates=1
1.90e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
5.67e-03s 1.51e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=218 #num_inclusions=192
1.19e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
1.32e-02s 1.29e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'201 #num_inclusions=1'357
2.46e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.28e-03s 1.88e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.83e-03s 1.95e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.67e-03s 1.39e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=45
4.50e-03s 1.18e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.93e-02s 0.00e+00d [DetectDominanceRelations]
3.02e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.95e-02s 0.00e+00d [DetectDominanceRelations]
2.91e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3090
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
[SAT presolve] [0.0010002s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
[SAT presolve] [0.0013706s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
5.80e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.31e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
1.85e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
3.38e-03s 4.12e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=218 #num_inclusions=63
1.95e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
5.22e-03s 4.85e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'483 #num_inclusions=1'155
1.88e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.77e-03s 2.20e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.94e-03s 1.87e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.64e-03s 1.36e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=45
5.01e-03s 1.18e-05d [operations_research::sat::CpModelPresolver::MergeClauses] #num_collisions=74 #num_merges=74 #num_saved_literals=200
2.54e-02s 0.00e+00d [DetectDominanceRelations]
3.62e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.84e-02s 0.00e+00d [DetectDominanceRelations]
2.84e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3090
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
[SAT presolve] [0.0011113s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
[SAT presolve] [0.0015374s] clauses:3074 literals:7050 vars:1869 one_side_vars:528 simple_definition:735 singleton_clauses:0
6.13e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.39e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
1.83e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
3.13e-03s 4.10e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=218 #num_inclusions=63
1.37e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
5.22e-03s 4.81e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'483 #num_inclusions=1'154
3.20e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.88e-03s 2.20e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.86e-03s 1.87e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.96e-03s 1.36e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=45
6.08e-03s 1.18e-05d [operations_research::sat::CpModelPresolver::MergeClauses] #num_collisions=74 #num_merges=74 #num_saved_literals=200
2.48e-02s 0.00e+00d [DetectDominanceRelations]
3.70e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
9.69e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=7'624 #tight_variables=1'342 #tight_constraints=228 #expands=13

Presolve summary:

• 852 affine relations were detected.
• rule 'TODO domination: unexploited dominations' was applied 4 times.
• rule 'TODO dual: only one blocking constraint?' was applied 6'476 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'776 times.
• rule 'affine: new relation' was applied 852 times.
• rule 'at_most_one: empty or all false' was applied 406 times.
• rule 'at_most_one: removed literals' was applied 582 times.
• rule 'at_most_one: satisfied' was applied 3 times.
• rule 'at_most_one: size one' was applied 86 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 117 times.
• rule 'bool_and: non-reified.' was applied 285 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 2 times.
• rule 'bool_and: x => x' was applied 152 times.
• rule 'bool_or: always true' was applied 45'683 times.
• rule 'bool_or: fixed literals' was applied 143 times.
• rule 'bool_or: implications' was applied 6'660 times.
• rule 'bool_or: only one literal' was applied 15'061 times.
• rule 'bool_or: singleton' was applied 1 time.
• rule 'deductions: 153 stored' was applied 1 time.
• rule 'domination: added implications' was applied 348 times.
• rule 'dual: affine relation' was applied 101 times.
• rule 'dual: enforced equivalence' was applied 111 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 16 times.
• rule 'dual: fix variable' was applied 7'212 times.
• rule 'dual: reduced domain' was applied 338 times.
• rule 'duplicate: merged rhs of linear constraint' was applied 1 time.
• rule 'duplicate: removed constraint' was applied 1 time.
• rule 'enforcement: false literal' was applied 5'150 times.
• rule 'enforcement: literal not used' was applied 5 times.
• rule 'enforcement: true literal' was applied 285 times.
• rule 'exactly_one: removed literals' was applied 91 times.
• rule 'exactly_one: satisfied' was applied 30 times.
• rule 'exactly_one: simplified objective' was applied 55 times.
• rule 'linear1: always true' was applied 103 times.
• rule 'linear1: x in domain' was applied 7'157 times.
• rule 'linear2: contains a Boolean.' was applied 139 times.
• rule 'linear: all booleans and trivially true' was applied 71 times.
• rule 'linear: always true' was applied 84'179 times.
• rule 'linear: divide by GCD' was applied 3'605 times.
• rule 'linear: empty' was applied 7'416 times.
• rule 'linear: enforcement literal in expression' was applied 101 times.
• rule 'linear: extracted enforcement literal' was applied 4 times.
• rule 'linear: fixed or dup variables' was applied 17'900 times.
• rule 'linear: negative clause' was applied 6'177 times.
• rule 'linear: positive at most one' was applied 536 times.
• rule 'linear: positive clause' was applied 16'306 times.
• rule 'linear: positive equal one' was applied 192 times.
• rule 'linear: positive reified and' was applied 2 times.
• rule 'linear: reduced variable domains' was applied 7'581 times.
• rule 'linear: remapped using affine relations' was applied 1'469 times.
• rule 'linear: simplified rhs' was applied 1'311 times.
• rule 'linear: singleton column' was applied 84 times.
• rule 'linear: small Boolean expression' was applied 15'860 times.
• rule 'new_bool: var with 2 values' was applied 32 times.
• rule 'objective: expanded via tight equality' was applied 13 times.
• rule 'objective: shifted cost with exactly ones' was applied 52 times.
• rule 'objective: variable not used elsewhere' was applied 2 times.
• rule 'presolve: 89854 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 3 times.
• rule 'setppc: bool_or in at_most_one.' was applied 66 times.
• rule 'setppc: exactly_one included in linear' was applied 49 times.
• rule 'setppc: reduced linear coefficients' was applied 49 times.
• rule 'variables with 2 values: create encoding literal' was applied 32 times.
• rule 'variables with 2 values: new affine relation' was applied 32 times.
• rule 'variables: detect half reified value encoding' was applied 123 times.

Presolved optimization model '': (model_fingerprint: 0x9901d63bf320f9d7)
#Variables: 2'167 (#bools: 368 #ints: 207 in objective)

• 1'960 Booleans in [0,1]
• 114 in [0,2]
• 52 in [0,3]
• 22 in [0,4]
• 9 in [1,3]
• 2 in [1,4]
• 8 in [2,4]
  #kAtMostOne: 54 (#literals: 737)
  #kBoolAnd: 1'319 (#enforced: 1'319 #multi: 42) (#literals: 3'849)
  #kBoolOr: 616 (#literals: 1'936)
  #kExactlyOne: 228 (#literals: 1'342)
  #kLinear3: 91
  #kLinearN: 127 (#enforced: 2) (#terms: 1'183)

Preloading model.
#Bound 0.93s best:inf next:[2492.21111,7180.42611] initial_domain
#1 0.93s best:2594.28833 next:[2492.21111,2594.28778] complete_hint
#Model 0.93s var:2167/2167 constraints:2435/2435

Starting search at 0.93s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 188 [ 94.48ms, 143.56ms] 125.77ms 7.87ms 23.65s 188 [ 74.57ms, 100.04ms] 99.88ms 1.85ms 18.78s
'ls': 193 [ 24.65ms, 139.55ms] 122.50ms 9.31ms 23.64s 193 [ 20.72ms, 100.04ms] 99.60ms 5.69ms 19.22s
'ls': 193 [ 85.87ms, 141.48ms] 122.51ms 7.03ms 23.64s 193 [ 67.76ms, 100.03ms] 99.85ms 2.32ms 19.27s
'ls': 194 [ 13.07ms, 146.54ms] 121.88ms 10.71ms 23.64s 194 [ 10.58ms, 100.03ms] 99.55ms 6.40ms 19.31s
'ls': 194 [ 19.07ms, 144.66ms] 121.88ms 10.11ms 23.64s 194 [ 15.24ms, 100.04ms] 99.58ms 6.07ms 19.32s
'ls': 195 [ 25.30ms, 142.04ms] 121.24ms 9.32ms 23.64s 195 [ 24.31ms, 100.05ms] 99.62ms 5.41ms 19.43s
'ls': 195 [ 50.73ms, 146.72ms] 121.25ms 8.94ms 23.64s 195 [ 37.97ms, 100.04ms] 99.69ms 4.43ms 19.44s
'ls': 195 [ 91.28ms, 148.07ms] 121.25ms 7.15ms 23.64s 195 [ 69.83ms, 100.03ms] 99.86ms 2.16ms 19.47s
'ls': 195 [ 97.27ms, 140.38ms] 121.22ms 7.45ms 23.64s 195 [ 94.27ms, 100.05ms] 99.99ms 410.58us 19.50s
'ls': 195 [102.15ms, 137.69ms] 121.25ms 6.78ms 23.64s 195 [ 85.45ms, 100.03ms] 99.94ms 1.04ms 19.49s
'ls': 196 [ 69.45ms, 133.65ms] 120.64ms 7.19ms 23.65s 196 [ 57.19ms, 100.05ms] 99.80ms 3.05ms 19.56s
'ls': 197 [ 77.42ms, 169.70ms] 119.99ms 9.39ms 23.64s 197 [ 64.54ms, 100.07ms] 99.84ms 2.52ms 19.67s
'ls': 199 [ 19.90ms, 153.17ms] 118.82ms 10.86ms 23.64s 199 [ 17.70ms, 100.05ms] 99.60ms 5.82ms 19.82s
'ls_lin': 194 [ 69.40ms, 147.13ms] 121.87ms 7.40ms 23.64s 194 [ 54.20ms, 100.05ms] 99.78ms 3.28ms 19.36s
'ls_lin': 194 [ 80.50ms, 138.18ms] 121.87ms 7.43ms 23.64s 194 [ 62.73ms, 100.04ms] 99.82ms 2.67ms 19.37s
'ls_lin': 194 [ 96.55ms, 186.34ms] 121.87ms 8.03ms 23.64s 194 [ 81.73ms, 100.04ms] 99.92ms 1.31ms 19.38s
'ls_lin': 195 [ 47.39ms, 158.98ms] 121.24ms 9.61ms 23.64s 195 [ 38.31ms, 100.03ms] 99.70ms 4.41ms 19.44s
'ls_lin': 195 [101.38ms, 148.76ms] 121.24ms 7.19ms 23.64s 195 [ 95.48ms, 100.05ms] 99.99ms 323.75us 19.50s
'ls_lin': 196 [ 53.75ms, 141.91ms] 120.62ms 8.48ms 23.64s 196 [ 53.51ms, 100.05ms] 99.78ms 3.31ms 19.56s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 125 45 987'344 0 0 0 646'774 26'137'517
'ls_lin_restart_compound': 131 47 0 918'842 43'455 437'570 6'142 20'237'941
'ls_lin_restart_compound_perturb': 124 49 0 945'433 47'869 448'649 6'826 20'230'793
'ls_lin_restart_decay': 149 46 1'434'644 0 0 0 44'367 22'463'249
'ls_lin_restart_decay_compound': 192 59 0 1'133'180 73'413 529'435 2'724 24'310'100
'ls_lin_restart_decay_compound_perturb': 182 37 0 1'042'522 49'041 496'430 1'754 20'269'234
'ls_lin_restart_decay_perturb': 187 34 1'803'670 0 0 0 53'250 27'598'315
'ls_lin_restart_perturb': 78 39 637'798 0 0 0 413'287 13'427'885
'ls_restart': 261 72 2'273'592 0 0 0 1'725'789 51'069'240
'ls_restart_compound': 184 67 0 1'262'795 56'289 602'963 7'983 26'414'774
'ls_restart_compound_perturb': 237 86 0 1'660'484 76'688 791'620 10'500 35'056'408
'ls_restart_decay': 274 93 2'605'566 0 0 0 81'686 40'347'157
'ls_restart_decay_compound': 567 105 0 3'224'041 148'854 1'536'699 4'957 68'224'583
'ls_restart_decay_compound_perturb': 413 91 0 2'360'065 121'242 1'118'781 4'368 52'806'561
'ls_restart_decay_perturb': 305 78 2'925'527 0 0 0 89'619 44'758'637
'ls_restart_perturb': 288 103 2'307'756 0 0 0 1'651'948 58'533'457

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'051 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2492.21 corrected_bound: 2341.98 delta: 150.23
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2341.981111110909
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.5999
usertime: 24.5999
deterministic_time: 368.891
gap_integral: 1709.93
solution_fingerprint: 0x2fcb65bcaf40f9c5

weekday 5, solveStatus FEASIBLE
day 5 status FEASIBLE, obj 2594.2883333333443, time s: 171.682
[+]: 2594.2883333333443 in 171.682000 seconds
[2025-03-30 20:22:50,857] [INFO] solverFunction.py [line:3019] [solverFunction] - use time 25.43854022026062 s
solving day:3 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371764 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.5915576 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0x55ba245aa0ad3dfc)
#Variables: 92'360 (#bools: 5'701 #ints: 5'037 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'244
  #kLinear1: 41'768
  #kLinear2: 48'341
  #kLinear3: 41'171
  #kLinearN: 5'326 (#terms: 76'187)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9898 terms with magnitude in [0.0138889, 20.1111] average = 3.07439
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.73967e-13
[Scaling] Objective scaling factor: 1800
1.68e-02s 0.00e+00d [DetectDominanceRelations]
2.33e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=9 #num_dual_strengthening=2
1.30e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=201
[SAT presolve] num removable Booleans: 0 / 3189
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3777 literals:10535 vars:1993 one_side_vars:432 simple_definition:680 singleton_clauses:0
[SAT presolve] [0.0011923s] clauses:3119 literals:7254 vars:1987 one_side_vars:426 simple_definition:763 singleton_clauses:0
[SAT presolve] [0.0016175s] clauses:3119 literals:7254 vars:1987 one_side_vars:426 simple_definition:763 singleton_clauses:0
[MaxClique] Merged 2350(5311 literals) into 2151(5005 literals) at_most_ones.
4.92e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.32e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints] #duplicates=1
1.83e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
6.01e-03s 1.53e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=220 #num_inclusions=189
1.69e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
1.03e-02s 1.27e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'230 #num_inclusions=1'325
1.92e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.76e-03s 2.43e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.93e-03s 2.51e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.70e-03s 2.95e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=84
4.73e-03s 1.22e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.82e-02s 0.00e+00d [DetectDominanceRelations]
2.93e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
1.89e-02s 0.00e+00d [DetectDominanceRelations]
2.86e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3161
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:3136 literals:7222 vars:1874 one_side_vars:479 simple_definition:745 singleton_clauses:0
[SAT presolve] [0.0009941s] clauses:3121 literals:7165 vars:1874 one_side_vars:486 simple_definition:745 singleton_clauses:0
[SAT presolve] [0.0014066s] clauses:3121 literals:7165 vars:1874 one_side_vars:486 simple_definition:745 singleton_clauses:0
5.99e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.11e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
1.96e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
3.68e-03s 5.55e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=220 #num_inclusions=77
1.67e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
6.82e-03s 6.82e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'602 #num_inclusions=1'162
3.15e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.97e-03s 2.46e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.96e-03s 2.14e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.89e-03s 2.71e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=84
5.93e-03s 1.19e-05d [operations_research::sat::CpModelPresolver::MergeClauses] #num_collisions=76 #num_merges=76 #num_saved_literals=271
1.43e-02s 0.00e+00d [DetectDominanceRelations]
3.55e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=4 #num_dual_strengthening=3
1.53e-02s 0.00e+00d [DetectDominanceRelations]
2.60e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 3203
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:2691 literals:6305 vars:1854 one_side_vars:466 simple_definition:745 singleton_clauses:0
[SAT presolve] [0.0008696s] clauses:2691 literals:6305 vars:1854 one_side_vars:466 simple_definition:745 singleton_clauses:0
[SAT presolve] [0.0012491s] clauses:2691 literals:6305 vars:1854 one_side_vars:466 simple_definition:745 singleton_clauses:0
5.91e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.29e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
1.77e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
2.77e-03s 3.32e-05d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=161 #num_inclusions=49
1.41e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
6.70e-03s 4.93e-05d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=3'174 #num_inclusions=1'133
2.51e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
5.73e-03s 2.38e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
1.89e-03s 2.00e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
1.97e-03s 2.12e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=68
5.38e-03s 1.19e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.63e-02s 0.00e+00d [DetectDominanceRelations]
2.81e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
5.21e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=7'766 #tight_variables=1'346 #tight_constraints=226 #expands=8

Presolve summary:

• 816 affine relations were detected.
• rule 'TODO domination: unexploited dominations' was applied 1 time.
• rule 'TODO dual: only one blocking constraint?' was applied 9'241 times.
• rule 'TODO dual: tighten at most one' was applied 295 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'752 times.
• rule 'affine: new relation' was applied 816 times.
• rule 'at_most_one: empty or all false' was applied 407 times.
• rule 'at_most_one: removed literals' was applied 589 times.
• rule 'at_most_one: satisfied' was applied 5 times.
• rule 'at_most_one: size one' was applied 88 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 112 times.
• rule 'bool_and: non-reified.' was applied 349 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 4 times.
• rule 'bool_and: x => x' was applied 108 times.
• rule 'bool_or: always true' was applied 45'770 times.
• rule 'bool_or: fixed literals' was applied 89 times.
• rule 'bool_or: implications' was applied 6'657 times.
• rule 'bool_or: only one literal' was applied 15'083 times.
• rule 'bool_or: singleton' was applied 1 time.
• rule 'deductions: 165 stored' was applied 1 time.
• rule 'domination: added implications' was applied 430 times.
• rule 'dual: affine relation' was applied 54 times.
• rule 'dual: enforced equivalence' was applied 67 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 17 times.
• rule 'dual: fix variable' was applied 7'286 times.
• rule 'dual: reduced domain' was applied 281 times.
• rule 'duplicate: merged rhs of linear constraint' was applied 1 time.
• rule 'duplicate: removed constraint' was applied 1 time.
• rule 'enforcement: false literal' was applied 5'156 times.
• rule 'enforcement: literal not used' was applied 9 times.
• rule 'enforcement: true literal' was applied 351 times.
• rule 'exactly_one: removed literals' was applied 90 times.
• rule 'exactly_one: satisfied' was applied 30 times.
• rule 'exactly_one: simplified objective' was applied 34 times.
• rule 'linear + amo: trivial linear constraint' was applied 9 times.
• rule 'linear1: always true' was applied 100 times.
• rule 'linear1: x in domain' was applied 7'112 times.
• rule 'linear2: contains a Boolean.' was applied 135 times.
• rule 'linear: all booleans and trivially true' was applied 60 times.
• rule 'linear: always true' was applied 84'138 times.
• rule 'linear: divide by GCD' was applied 3'578 times.
• rule 'linear: empty' was applied 7'371 times.
• rule 'linear: enforcement literal in expression' was applied 54 times.
• rule 'linear: extracted enforcement literal' was applied 4 times.
• rule 'linear: fixed or dup variables' was applied 17'686 times.
• rule 'linear: negative at most one' was applied 1 time.
• rule 'linear: negative clause' was applied 6'165 times.
• rule 'linear: positive at most one' was applied 599 times.
• rule 'linear: positive clause' was applied 16'342 times.
• rule 'linear: positive equal one' was applied 190 times.
• rule 'linear: positive reified and' was applied 3 times.
• rule 'linear: reduced variable domains' was applied 7'522 times.
• rule 'linear: reduced variable domains in derived constraint' was applied 4 times.
• rule 'linear: remapped using affine relations' was applied 1'472 times.
• rule 'linear: simplified rhs' was applied 1'229 times.
• rule 'linear: singleton column' was applied 79 times.
• rule 'linear: small Boolean expression' was applied 15'888 times.
• rule 'new_bool: var with 2 values' was applied 36 times.
• rule 'objective: expanded via tight equality' was applied 8 times.
• rule 'objective: shifted cost with exactly ones' was applied 41 times.
• rule 'objective: variable not used elsewhere' was applied 63 times.
• rule 'presolve: 89944 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 3 times.
• rule 'setppc: bool_or in at_most_one.' was applied 66 times.
• rule 'setppc: exactly_one included in linear' was applied 34 times.
• rule 'setppc: reduced linear coefficients' was applied 34 times.
• rule 'variables with 2 values: create encoding literal' was applied 36 times.
• rule 'variables with 2 values: new affine relation' was applied 36 times.
• rule 'variables: detect half reified value encoding' was applied 123 times.

Presolved optimization model '': (model_fingerprint: 0x3bedaedfea626491)
#Variables: 2'155 (#bools: 448 #ints: 148 in objective)

• 2'007 Booleans in [0,1]
• 70 in [0,2]
• 48 in [0,3]
• 26 in [0,4]
• 1 in [0,5]
• 3 in [1,3]
  #kAtMostOne: 126 (#literals: 1'000)
  #kBoolAnd: 1'163 (#enforced: 1'163) (#literals: 3'125)
  #kBoolOr: 729 (#literals: 2'381)
  #kExactlyOne: 226 (#literals: 1'346)
  #kLinear3: 30
  #kLinearN: 131 (#enforced: 1) (#terms: 1'244)

Preloading model.
#Bound 0.91s best:inf next:[2572.43556,4392.45111] initial_domain
#1 0.91s best:2594.28833 next:[2572.43556,2594.28778] complete_hint
#Model 0.91s var:2155/2155 constraints:2405/2405

Starting search at 0.91s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 200 [ 30.51ms, 144.80ms] 118.36ms 10.42ms 23.67s 200 [ 31.01ms, 100.06ms] 99.67ms 4.87ms 19.93s
'ls': 200 [ 79.12ms, 174.65ms] 118.37ms 9.78ms 23.67s 200 [ 69.76ms, 100.08ms] 99.86ms 2.13ms 19.97s
'ls': 201 [ 75.48ms, 159.59ms] 117.76ms 8.12ms 23.67s 201 [ 63.70ms, 100.05ms] 99.83ms 2.55ms 20.07s
'ls': 204 [ 3.50ms, 153.50ms] 116.03ms 11.29ms 23.67s 204 [ 2.96ms, 100.07ms] 99.54ms 6.78ms 20.31s
'ls': 204 [ 17.37ms, 160.97ms] 116.04ms 10.03ms 23.67s 204 [ 14.27ms, 100.05ms] 99.59ms 5.99ms 20.32s
'ls': 204 [ 83.39ms, 149.28ms] 116.04ms 7.47ms 23.67s 204 [ 67.08ms, 100.07ms] 99.86ms 2.30ms 20.37s
'ls': 205 [ 30.41ms, 140.77ms] 115.46ms 10.25ms 23.67s 205 [ 24.91ms, 100.04ms] 99.65ms 5.23ms 20.43s
'ls': 205 [ 34.30ms, 140.43ms] 115.47ms 9.44ms 23.67s 205 [ 28.71ms, 100.05ms] 99.67ms 4.97ms 20.43s
'ls': 206 [ 78.77ms, 137.15ms] 114.90ms 8.52ms 23.67s 206 [ 63.68ms, 100.04ms] 99.84ms 2.53ms 20.57s
'ls': 207 [ 48.24ms, 166.95ms] 114.35ms 9.35ms 23.67s 207 [ 39.69ms, 100.05ms] 99.72ms 4.18ms 20.64s
'ls': 207 [ 73.90ms, 140.74ms] 114.36ms 6.85ms 23.67s 207 [ 65.17ms, 100.05ms] 99.85ms 2.42ms 20.67s
'ls': 207 [ 90.69ms, 155.93ms] 114.35ms 8.81ms 23.67s 207 [ 92.49ms, 100.04ms] 99.98ms 521.89us 20.70s
'ls': 210 [ 5.58ms, 150.19ms] 112.73ms 12.67ms 23.67s 210 [ 6.31ms, 100.05ms] 99.57ms 6.45ms 20.91s
'ls_lin': 202 [ 24.49ms, 159.23ms] 117.18ms 11.11ms 23.67s 202 [ 20.21ms, 100.05ms] 99.62ms 5.60ms 20.12s
'ls_lin': 202 [ 49.57ms, 161.04ms] 117.18ms 9.69ms 23.67s 202 [ 48.64ms, 100.06ms] 99.76ms 3.61ms 20.15s
'ls_lin': 202 [ 49.62ms, 150.02ms] 117.19ms 9.02ms 23.67s 202 [ 39.94ms, 100.05ms] 99.72ms 4.22ms 20.14s
'ls_lin': 203 [ 33.50ms, 160.94ms] 116.60ms 10.35ms 23.67s 203 [ 41.14ms, 100.07ms] 99.73ms 4.12ms 20.24s
'ls_lin': 203 [ 75.64ms, 152.63ms] 116.61ms 8.49ms 23.67s 203 [ 67.47ms, 100.06ms] 99.86ms 2.28ms 20.27s
'ls_lin': 206 [ 8.03ms, 137.42ms] 114.91ms 11.30ms 23.67s 206 [ 6.69ms, 100.04ms] 99.56ms 6.49ms 20.51s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 137 50 2'785'146 0 0 0 514'650 14'736'814
'ls_lin_restart_compound': 127 40 0 887'953 48'134 419'834 5'387 16'190'217
'ls_lin_restart_compound_perturb': 196 42 0 1'367'522 61'946 652'700 5'873 25'637'603
'ls_lin_restart_decay': 150 47 1'852'052 0 0 0 36'336 13'337'219
'ls_lin_restart_decay_compound': 199 55 0 1'259'835 112'921 573'267 2'763 23'607'312
'ls_lin_restart_decay_compound_perturb': 175 42 0 1'110'478 99'781 505'137 2'105 20'197'039
'ls_lin_restart_decay_perturb': 124 51 1'530'793 0 0 0 30'738 11'139'039
'ls_lin_restart_perturb': 110 40 2'170'543 0 0 0 403'339 12'158'411
'ls_restart': 425 102 9'474'073 0 0 0 2'000'212 48'467'553
'ls_restart_compound': 428 101 0 2'900'657 128'751 1'385'762 12'605 54'751'281
'ls_restart_compound_perturb': 376 110 0 2'610'032 128'719 1'240'485 12'571 48'544'349
'ls_restart_decay': 272 78 3'366'202 0 0 0 65'135 24'508'100
'ls_restart_decay_compound': 365 85 0 2'293'824 185'714 1'053'663 4'376 41'311'386
'ls_restart_decay_compound_perturb': 316 91 0 2'025'333 203'893 910'313 4'597 38'531'372
'ls_restart_decay_perturb': 264 88 3'273'321 0 0 0 64'379 23'745'025
'ls_restart_perturb': 214 74 4'296'546 0 0 0 846'620 22'196'014

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'096 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2572.44 corrected_bound: 2423.64 delta: 148.794
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2423.641111110899
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.6192
usertime: 24.6192
deterministic_time: 386.769
gap_integral: 1210.17
solution_fingerprint: 0x73d3d234ad7ebeed

weekday 3, solveStatus FEASIBLE
day 3 status FEASIBLE, obj 2594.2883333333443, time s: 197.138
[+]: 2594.2883333333443 in 197.139000 seconds
[2025-03-30 20:23:16,219] [INFO] solverFunction.py [line:3019] [solverFunction] - use time 25.361999988555908 s
solving day:2 while fixing other days
solveByDay timeLimitByDay==== 25.0
Removed 371785 near zero terms with largest magnitude of 0.

Scaling to pure integer problem.
Num integers: 92360/92360 (implied: 0 in_inequalities: 0 max_scaling: 0) [IP]
Maximum constraint coefficient relative error: 2.22045e-16
Maximum constraint worst-case activity error: 3.75309e-13
Constraint scaling factor range: [0.000740741, 1800]

Starting CP-SAT solver v9.12.4544
Parameters: max_time_in_seconds: 24.581917500000003 log_search_progress: true linearization_level: 0 cp_model_probing_level: 0 relative_gap_limit: 0.002 symmetry_level: 0 num_workers: 19 use_ls_only: true

Initial optimization model '': (model_fingerprint: 0xd32736122fedc92a)
#Variables: 92'360 (#bools: 5'701 #ints: 5'030 in floating point objective)

• 61'003 Booleans in [0,1]
• 166 in [0,2]
• 169 in [0,3]
• 117 in [0,4]
• 101 in [0,5]
• 105 in [0,6]
• 103 in [0,7]
• 35 in [0,8]
• 18 in [0,9]
• 15 in [0,10]
• 4 in [0,11]
• 6 in [0,12]
• 1 in [0,13]
• 1 in [0,14]
• 4'858 in [0,18]
• 18 in [0,30]
• 3 in [0,240]
• 3 in [0,600]
• 12 in [0,1920]
• 252 in [0,2880]
• 36 in [0,10080]
• 1 in [0,86760]
• 25'333 constants in {0,1}
  #kLinear0: 2'242
  #kLinear1: 41'827
  #kLinear2: 48'314
  #kLinear3: 41'124
  #kLinearN: 5'343 (#terms: 76'309)

Starting presolve at 0.10s
The solution hint is complete and is feasible.
[Scaling] Floating point objective has 9865 terms with magnitude in [0.0138889, 20.1111] average = 3.08331
[Scaling] Objective coefficient relative error: 2.22045e-16
[Scaling] Objective worst-case absolute error: 3.73793e-13
[Scaling] Objective scaling factor: 1800
2.24e-02s 0.00e+00d [DetectDominanceRelations]
2.35e-01s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=5 #num_dual_strengthening=2
2.03e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExtractEncodingFromLinear] #potential_supersets=323
[SAT presolve] num removable Booleans: 0 / 4341
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:6133 literals:17169 vars:3223 one_side_vars:713 simple_definition:1090 singleton_clauses:0
[SAT presolve] [0.0014191s] clauses:5072 literals:11885 vars:3211 one_side_vars:701 simple_definition:1225 singleton_clauses:0
[SAT presolve] [0.0020238s] clauses:5072 literals:11885 vars:3211 one_side_vars:701 simple_definition:1225 singleton_clauses:0
[MaxClique] Merged 3838(8660 literals) into 3473(8099 literals) at_most_ones.
6.97e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.65e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.55e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
1.25e-02s 3.76e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=371 #num_inclusions=299
2.06e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
1.16e-02s 2.20e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=5'239 #num_inclusions=2'046
1.92e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
1.16e-02s 7.42e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
4.00e-03s 7.34e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
2.24e-03s 8.68e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=144
6.99e-03s 1.97e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.63e-02s 0.00e+00d [DetectDominanceRelations]
3.38e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=2 #num_dual_strengthening=2
1.54e-02s 0.00e+00d [DetectDominanceRelations]
2.78e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 4287
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:4324 literals:10259 vars:2974 one_side_vars:775 simple_definition:1172 singleton_clauses:0
[SAT presolve] [0.0007263s] clauses:4308 literals:10193 vars:2958 one_side_vars:760 simple_definition:1174 singleton_clauses:0
[SAT presolve] [0.0011744s] clauses:4308 literals:10193 vars:2958 one_side_vars:760 simple_definition:1174 singleton_clauses:0
6.80e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
3.34e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.59e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
1.04e-02s 2.96e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=371 #num_inclusions=252
1.54e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
6.37e-03s 1.69e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=5'093 #num_inclusions=1'875
2.11e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
1.13e-02s 7.24e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
4.02e-03s 6.91e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
2.40e-03s 8.42e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=144
4.98e-03s 1.94e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.54e-02s 0.00e+00d [DetectDominanceRelations]
3.48e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=3 #num_dual_strengthening=2
1.52e-02s 0.00e+00d [DetectDominanceRelations]
2.87e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
[SAT presolve] num removable Booleans: 0 / 4271
[SAT presolve] num trivial clauses: 0
[SAT presolve] [0s] clauses:4308 literals:10193 vars:2958 one_side_vars:760 simple_definition:1174 singleton_clauses:0
[SAT presolve] [0.0008809s] clauses:4308 literals:10193 vars:2958 one_side_vars:760 simple_definition:1174 singleton_clauses:0
[SAT presolve] [0.0013856s] clauses:4308 literals:10193 vars:2958 one_side_vars:760 simple_definition:1174 singleton_clauses:0
5.40e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ProcessAtMostOneAndLinear]
2.78e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraints]
2.53e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDuplicateConstraintsWithDifferentEnforcements]
1.11e-02s 2.92e-04d [operations_research::sat::CpModelPresolver::DetectDominatedLinearConstraints] #relevant_constraints=371 #num_inclusions=252
2.26e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::DetectDifferentVariables]
6.03e-03s 1.67e-04d [operations_research::sat::CpModelPresolver::ProcessSetPPC] #relevant_constraints=5'093 #num_inclusions=1'875
2.31e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::FindAlmostIdenticalLinearConstraints]
1.09e-02s 7.15e-03d [operations_research::sat::CpModelPresolver::FindBigAtMostOneAndLinearOverlap]
4.55e-03s 6.73e-03d [operations_research::sat::CpModelPresolver::FindBigVerticalLinearOverlap]
2.63e-03s 8.30e-04d [operations_research::sat::CpModelPresolver::FindBigHorizontalLinearOverlap] #linears=144
9.81e-03s 1.94e-05d [operations_research::sat::CpModelPresolver::MergeClauses]
1.68e-02s 0.00e+00d [DetectDominanceRelations]
2.86e-02s 0.00e+00d [operations_research::sat::CpModelPresolver::PresolveToFixPoint] #num_loops=1 #num_dual_strengthening=1
6.31e-03s 0.00e+00d [operations_research::sat::CpModelPresolver::ExpandObjective] #entries=12'736 #tight_variables=2'254 #tight_constraints=388 #expands=2

Presolve summary:

• 773 affine relations were detected.
• rule 'TODO dual: only one blocking constraint?' was applied 17'978 times.
• rule 'TODO linear2: contains a Boolean.' was applied 12'924 times.
• rule 'affine: new relation' was applied 773 times.
• rule 'at_most_one: empty or all false' was applied 388 times.
• rule 'at_most_one: removed literals' was applied 582 times.
• rule 'at_most_one: satisfied' was applied 2 times.
• rule 'at_most_one: size one' was applied 81 times.
• rule 'at_most_one: transformed into max clique.' was applied 1 time.
• rule 'bool_and: always false' was applied 79 times.
• rule 'bool_and: non-reified.' was applied 229 times.
• rule 'bool_and: setting unused literal in rhs to true' was applied 4 times.
• rule 'bool_and: x => x' was applied 112 times.
• rule 'bool_or: always true' was applied 44'584 times.
• rule 'bool_or: fixed literals' was applied 150 times.
• rule 'bool_or: implications' was applied 6'672 times.
• rule 'bool_or: only one literal' was applied 14'708 times.
• rule 'bool_or: singleton' was applied 1 time.
• rule 'deductions: 81 stored' was applied 1 time.
• rule 'dual: affine relation' was applied 39 times.
• rule 'dual: enforced equivalence' was applied 63 times.
• rule 'dual: equivalent Boolean in near-duplicate constraints' was applied 23 times.
• rule 'dual: fix variable' was applied 7'107 times.
• rule 'dual: reduced domain' was applied 433 times.
• rule 'enforcement: false literal' was applied 4'594 times.
• rule 'enforcement: literal not used' was applied 5 times.
• rule 'enforcement: true literal' was applied 229 times.
• rule 'exactly_one: removed literals' was applied 121 times.
• rule 'exactly_one: simplified objective' was applied 14 times.
• rule 'linear + amo: trivial linear constraint' was applied 12 times.
• rule 'linear1: always true' was applied 96 times.
• rule 'linear1: x in domain' was applied 7'119 times.
• rule 'linear2: contains a Boolean.' was applied 39 times.
• rule 'linear: all booleans and trivially true' was applied 59 times.
• rule 'linear: always true' was applied 83'974 times.
• rule 'linear: divide by GCD' was applied 3'573 times.
• rule 'linear: empty' was applied 7'280 times.
• rule 'linear: enforcement literal in expression' was applied 39 times.
• rule 'linear: extracted enforcement literal' was applied 7 times.
• rule 'linear: fixed or dup variables' was applied 17'398 times.
• rule 'linear: negative at most one' was applied 1 time.
• rule 'linear: negative clause' was applied 6'258 times.
• rule 'linear: positive at most one' was applied 535 times.
• rule 'linear: positive clause' was applied 16'380 times.
• rule 'linear: positive equal one' was applied 258 times.
• rule 'linear: positive reified and' was applied 3 times.
• rule 'linear: reduced variable domains' was applied 7'415 times.
• rule 'linear: reduced variable domains in derived constraint' was applied 5 times.
• rule 'linear: remapped using affine relations' was applied 1'405 times.
• rule 'linear: simplified rhs' was applied 1'342 times.
• rule 'linear: singleton column' was applied 87 times.
• rule 'linear: small Boolean expression' was applied 15'902 times.
• rule 'new_bool: var with 2 values' was applied 27 times.
• rule 'objective: expanded via tight equality' was applied 2 times.
• rule 'objective: shifted cost with exactly ones' was applied 113 times.
• rule 'objective: variable not used elsewhere' was applied 33 times.
• rule 'presolve: 88582 unused variables removed.' was applied 1 time.
• rule 'presolve: iteration' was applied 3 times.
• rule 'setppc: bool_or in at_most_one.' was applied 130 times.
• rule 'setppc: exactly_one included in linear' was applied 13 times.
• rule 'setppc: reduced linear coefficients' was applied 13 times.
• rule 'variables with 2 values: create encoding literal' was applied 27 times.
• rule 'variables with 2 values: new affine relation' was applied 27 times.
• rule 'variables: detect half reified value encoding' was applied 39 times.

Presolved optimization model '': (model_fingerprint: 0x6da269778f151981)
#Variables: 3'504 (#bools: 570 #ints: 351 in objective)

• 3'153 Booleans in [0,1]
• 153 in [0,2]
• 85 in [0,3]
• 66 in [0,4]
• 21 in [0,5]
• 5 in [0,6]
• 2 in [0,7]
• 1 in [0,8]
• 13 in [1,3]
• 2 in [1,4]
• 1 in [1,6]
• 2 in [2,4]
  #kAtMostOne: 104 (#literals: 1'231)
  #kBoolAnd: 1'835 (#enforced: 1'835) (#literals: 4'990)
  #kBoolOr: 1'153 (#literals: 3'883)
  #kExactlyOne: 388 (#literals: 2'254)
  #kLinear3: 78
  #kLinearN: 293 (#enforced: 4) (#terms: 2'604)

Preloading model.
#Bound 1.00s best:inf next:[2484.72889,9889.94722] initial_domain
#1 1.00s best:2594.28833 next:[2484.72889,2594.28778] complete_hint
#Model 1.00s var:3504/3504 constraints:3851/3851

Starting search at 1.00s with 19 workers.
19 first solution subsolvers: [fj(13), fj_lin(6)]
19 interleaved subsolvers: [ls(13), ls_lin(6)]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
30 ignored subsolvers: [core, default_lp, fixed, fs_random, fs_random_no_lp, fs_random_quick_restart, fs_random_quick_restart_no_lp, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, lb_relax_lns, lb_tree_search, max_lp, no_lp, objective_lb_search, objective_lb_search_max_lp, objective_lb_search_no_lp, objective_shaving_max_lp, objective_shaving_no_lp, probing, probing_max_lp, probing_no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs, rins/rens, rnd_cst_lns, rnd_var_lns]

Task timing n [ min, max] avg dev time n [ min, max] avg dev dtime
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'fj_lin': 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns 0 [ 0.00ns, 0.00ns] 0.00ns 0.00ns 0.00ns
'ls': 190 [ 53.14ms, 151.42ms] 124.06ms 9.42ms 23.57s 190 [ 33.66ms, 100.08ms] 99.67ms 4.80ms 18.94s
'ls': 191 [ 10.16ms, 159.28ms] 123.41ms 12.06ms 23.57s 191 [ 7.25ms, 100.06ms] 99.54ms 6.70ms 19.01s
'ls': 192 [ 87.76ms, 152.30ms] 122.77ms 8.63ms 23.57s 192 [ 60.88ms, 100.09ms] 99.82ms 2.82ms 19.17s
'ls': 194 [ 88.30ms, 136.35ms] 121.50ms 8.51ms 23.57s 194 [ 80.13ms, 100.06ms] 99.92ms 1.42ms 19.38s
'ls': 195 [ 18.81ms, 138.47ms] 120.87ms 10.29ms 23.57s 195 [ 8.47ms, 100.09ms] 99.55ms 6.54ms 19.41s
'ls': 195 [ 99.73ms, 158.21ms] 120.87ms 7.64ms 23.57s 195 [ 87.16ms, 100.08ms] 99.96ms 918.88us 19.49s
'ls': 195 [706.70us, 154.61ms] 120.87ms 11.48ms 23.57s 195 [406.28us, 100.06ms] 99.51ms 7.12ms 19.40s
'ls': 197 [ 21.34ms, 145.56ms] 119.64ms 10.11ms 23.57s 197 [ 18.56ms, 100.06ms] 99.61ms 5.79ms 19.62s
'ls': 197 [ 21.57ms, 136.78ms] 119.65ms 10.06ms 23.57s 197 [ 16.59ms, 100.08ms] 99.60ms 5.93ms 19.62s
'ls': 197 [ 23.15ms, 159.89ms] 119.63ms 10.83ms 23.57s 197 [ 8.18ms, 100.09ms] 99.56ms 6.53ms 19.61s
'ls': 198 [ 87.44ms, 154.90ms] 119.03ms 8.21ms 23.57s 198 [ 78.48ms, 100.08ms] 99.91ms 1.53ms 19.78s
'ls': 198 [ 92.72ms, 148.83ms] 119.03ms 7.72ms 23.57s 198 [ 73.72ms, 100.11ms] 99.89ms 1.86ms 19.78s
'ls': 201 [ 5.73ms, 177.05ms] 117.26ms 11.63ms 23.57s 201 [ 1.92ms, 100.09ms] 99.53ms 6.90ms 20.01s
'ls_lin': 191 [ 93.40ms, 156.43ms] 123.39ms 7.96ms 23.57s 191 [ 77.16ms, 100.09ms] 99.90ms 1.65ms 19.08s
'ls_lin': 191 [101.43ms, 164.30ms] 123.40ms 7.35ms 23.57s 191 [ 94.59ms, 100.06ms] 99.99ms 392.39us 19.10s
'ls_lin': 192 [ 43.76ms, 151.97ms] 122.75ms 9.03ms 23.57s 192 [ 28.74ms, 100.08ms] 99.65ms 5.13ms 19.13s
'ls_lin': 192 [ 95.90ms, 141.32ms] 122.76ms 7.11ms 23.57s 192 [ 79.47ms, 100.11ms] 99.92ms 1.48ms 19.18s
'ls_lin': 194 [ 9.65ms, 150.40ms] 121.49ms 10.89ms 23.57s 194 [ 8.55ms, 100.11ms] 99.55ms 6.55ms 19.31s
'ls_lin': 195 [ 6.15ms, 151.33ms] 120.87ms 11.33ms 23.57s 195 [ 4.76ms, 100.06ms] 99.53ms 6.80ms 19.41s

LS stats Batches Restarts/Perturbs LinMoves GenMoves CompoundMoves Bactracks WeightUpdates ScoreComputed
'ls_lin_restart': 175 49 874'998 0 0 0 469'391 45'753'236
'ls_lin_restart_compound': 163 45 0 608'867 32'879 287'851 3'671 28'146'433
'ls_lin_restart_compound_perturb': 125 44 0 454'459 25'390 214'413 2'636 20'794'376
'ls_lin_restart_decay': 73 39 371'603 0 0 0 7'976 9'116'734
'ls_lin_restart_decay_compound': 160 41 0 551'039 44'429 253'171 1'956 23'037'731
'ls_lin_restart_decay_compound_perturb': 185 44 0 613'312 40'242 286'332 1'817 23'367'031
'ls_lin_restart_decay_perturb': 155 45 791'509 0 0 0 13'719 18'393'758
'ls_lin_restart_perturb': 119 44 696'599 0 0 0 346'957 28'928'528
'ls_restart': 246 79 1'449'428 0 0 0 550'775 58'818'115
'ls_restart_compound': 412 104 0 1'501'230 71'947 714'431 7'866 67'241'814
'ls_restart_compound_perturb': 293 86 0 1'101'403 56'975 522'041 6'411 50'353'844
'ls_restart_decay': 360 91 1'844'325 0 0 0 31'243 42'782'930
'ls_restart_decay_compound': 274 83 0 942'362 75'652 433'091 3'426 38'481'136
'ls_restart_decay_compound_perturb': 297 79 0 1'003'923 76'116 463'500 3'301 39'414'019
'ls_restart_decay_perturb': 400 86 2'048'770 0 0 0 33'874 47'168'189
'ls_restart_perturb': 258 91 1'432'827 0 0 0 467'187 63'083'312

Solutions (1) Num Rank
'complete_hint': 1 [1,1]

Objective bounds Num
'initial_domain': 1

Solution repositories Added Queried Synchro
'feasible solutions': 1 1'050 1
'fj solution hints': 0 0 0
'lp solutions': 0 0 0
'pump': 0 0

[Scaling] scaled_objective_bound: 2484.73 corrected_bound: 2322.5 delta: 162.227
CpSolverResponse summary:
status: FEASIBLE
objective: 2594.288333333344
best_bound: 2322.502222222022
integers: 0
booleans: 0
conflicts: 0
branches: 0
propagations: 0
integer_propagations: 0
restarts: 0
lp_iterations: 0
walltime: 24.6042
usertime: 24.6042
deterministic_time: 368.501
gap_integral: 1733.78
solution_fingerprint: 0x8e039802750d3a0d

[lperron]

If you use LS only, it will never prove it. Just remove all parameters , only the num workers