Timeline for OR-Tools CP-SAT solver: How modeling Flow constraints
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Sep 26 at 12:06 | comment | added | Laurent Perron | Your model has 1.2M Boolean variables, and 1.2M Linear equations. It is not surprising the gap is high. | |
Sep 24 at 16:42 | comment | added | Issouf | i try with 16 workers, the gap is hight: drive.google.com/file/d/1sjjNpkKz2nc7MWEv9nuoNJQh0H7EMLJz/… | |
Sep 24 at 15:16 | comment | added | Laurent Perron | you should use more that 1 worker. Can you send me the model ? model.export_to_file('slow_flow.pb.txt') in python | |
Sep 24 at 13:31 | comment | added | Issouf | Thanks, i try it and it consume time, and the gap after 20 min is 80%. CpSolverResponse summary: status: FEASIBLE objective: 705892 best_bound: 139016 integers: 1327 booleans: 72801 conflicts: 132 branches: 162463 propagations: 17599138 integer_propagations: 3608747 restarts: 97261 lp_iterations: 0 walltime: 1200.85 usertime: 1200.85 deterministic_time: 1985.02 gap_integral: 26338 solution_fingerprint: 0x69d5619f962f5da1 | |
Sep 24 at 4:02 | review | Low quality posts | |||
Sep 24 at 12:42 | |||||
Sep 24 at 3:42 | history | answered | Laurent Perron | CC BY-SA 4.0 |