solver stuck in #Model lines until max time is reached
104 views
Skip to first unread message
Fan Zeng
Jul 11, 2024, 10:41:11 PM (14 days ago) Jul 11
to or-tools-discuss
This is a time tabling problem. In one particular test case, the solver stops improving after about 80 seconds. Then there is no new solution until the max 180 seconds is reached.
I would like to know if there is a way to stop the solver after there is no improvement for a long time, say 30 seconds.
ortools-win32-x86-64 version 9.9.3963
Here is the log:
--------------------
Starting search at 2.92s with 12 workers.
8 full problem subsolvers: [core, default_lp, max_lp, no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
3 first solution subsolvers: [fj_long_default, fj_short_default, fs_random]
9 incomplete subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, rins/rens, rnd_cst_lns, rnd_var_lns, violation_ls]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
#1 3.12s best:10284 next:[10285,10716] fj_short_default(batch:1 #lin_moves:7'226 #lin_evals:26'848 #weight_updates:80)
#2 3.30s best:10285 next:[10286,10716] violation_ls(batch:1 #solutions_imported:1 #lin_moves:1 #lin_evals:295 #weight_updates:0)
#3 4.96s best:10398 next:[10399,10716] rnd_var_lns (d=0.50 s=13 t=0.10 p=0.00 stall=0 h=auto_l0)
#4 6.52s best:10399 next:[10400,10716] violation_ls(batch:2 #solutions_imported:2 #lin_moves:1 #lin_evals:422 #gen_moves:1 #gen_evals:0 #comp_moves:1 #backtracks:0 #weight_updates:0)
#5 7.01s best:10418 next:[10419,10716] rnd_var_lns (d=0.29 s=23 t=0.10 p=0.00 stall=0 h=auto_l0)
#6 7.82s best:10430 next:[10431,10716] rnd_cst_lns (d=0.29 s=24 t=0.10 p=0.00 stall=1 h=auto_l0)
#7 9.64s best:10431 next:[10432,10716] violation_ls(batch:3 #solutions_imported:3 #lin_moves:2 #lin_evals:1'625 #gen_moves:1 #gen_evals:0 #comp_moves:1 #backtracks:0 #weight_updates:0)
#8 9.69s best:10444 next:[10445,10716] graph_dec_lns (d=0.29 s=28 t=0.10 p=0.00 stall=1 h=auto_l0) [hint]
#9 10.03s best:10452 next:[10453,10716] graph_cst_lns (d=0.29 s=27 t=0.10 p=0.00 stall=1 h=auto_l0)
#Model 10.30s var:35804/35816 constraints:18834/18834
#10 10.82s best:10453 next:[10454,10716] quick_restart_no_lp (fixed_bools=12/35697)
#11 11.29s best:10468 next:[10469,10716] rnd_var_lns (d=0.46 s=32 t=0.10 p=0.50 stall=0 h=auto_l0)
#12 12.68s best:10469 next:[10470,10716] quick_restart_no_lp (fixed_bools=12/35697)
#13 13.30s best:10470 next:[10471,10716] violation_ls(batch:4 #solutions_imported:4 #lin_moves:2 #lin_evals:2'327 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:0)
#14 13.44s best:10498 next:[10499,10716] graph_dec_lns (d=0.46 s=37 t=0.10 p=0.50 stall=0 h=auto_l0)
#15 14.16s best:10499 next:[10500,10716] quick_restart_no_lp (fixed_bools=12/35697)
#16 14.43s best:10509 next:[10510,10716] rnd_cst_lns (d=0.31 s=42 t=0.10 p=0.33 stall=1 h=auto_l0)
#17 14.77s best:10510 next:[10511,10716] violation_ls(batch:5 #solutions_imported:5 #lin_moves:3 #lin_evals:2'651 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:0)
#18 14.93s best:10554 next:[10555,10716] rins_pump_lns (d=0.19 s=48 t=0.10 p=0.00 stall=2 h=auto_l0)
#19 17.15s best:10555 next:[10556,10716] violation_ls(batch:6 #solutions_imported:6 #lin_moves:18 #lin_evals:11'841 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:12)
#20 18.21s best:10561 next:[10562,10716] graph_dec_lns (d=0.45 s=55 t=0.10 p=0.50 stall=0 h=auto_l0)
#21 18.27s best:10565 next:[10566,10716] rnd_cst_lns (d=0.32 s=60 t=0.10 p=0.40 stall=1 h=auto_l0)
#22 19.39s best:10575 next:[10576,10716] rins_pump_lns (d=0.19 s=66 t=0.10 p=0.25 stall=1 h=auto_l0)
#23 19.43s best:10576 next:[10577,10716] violation_ls(batch:7 #solutions_imported:7 #lin_moves:46 #lin_evals:21'141 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:34)
#24 21.61s best:10577 next:[10578,10716] violation_ls(batch:8 #solutions_imported:8 #lin_moves:46 #lin_evals:27'193 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#25 21.70s best:10581 next:[10582,10716] rins_pump_lns (d=0.27 s=75 t=0.10 p=0.40 stall=0 h=auto_l0)
#26 22.41s best:10584 next:[10585,10716] graph_var_lns (d=0.06 s=79 t=0.10 p=0.14 stall=3 h=auto_l0)
#27 22.55s best:10590 next:[10591,10716] graph_dec_lns (d=0.44 s=73 t=0.10 p=0.50 stall=0 h=auto_l0)
#28 23.18s best:10591 next:[10592,10716] violation_ls(batch:9 #solutions_imported:9 #lin_moves:47 #lin_evals:33'467 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#29 23.37s best:10597 next:[10598,10716] rins_pump_lns (d=0.37 s=84 t=0.10 p=0.50 stall=0 h=auto_l0)
#30 24.53s best:10599 next:[10600,10716] rnd_var_lns (d=0.45 s=86 t=0.10 p=0.50 stall=0 h=auto_l0)
#31 24.62s best:10601 next:[10602,10716] graph_var_lns (d=0.08 s=88 t=0.10 p=0.25 stall=0 h=auto_l0)
#32 25.31s best:10602 next:[10603,10716] violation_ls(batch:10 #solutions_imported:10 #lin_moves:48 #lin_evals:36'702 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#33 25.56s best:10607 next:[10608,10716] graph_arc_lns (d=0.09 s=89 t=0.10 p=0.25 stall=0 h=auto_l0)
#34 25.81s best:10608 next:[10609,10716] graph_dec_lns (d=0.44 s=91 t=0.10 p=0.50 stall=1 h=auto_l0)
#35 26.31s best:10610 next:[10611,10716] graph_var_lns (d=0.06 s=97 t=0.10 p=0.22 stall=0 h=auto_l0)
#36 26.84s best:10612 next:[10613,10716] rnd_cst_lns (d=0.33 s=96 t=0.10 p=0.44 stall=1 h=auto_l0)
#37 27.04s best:10613 next:[10614,10716] violation_ls(batch:11 #solutions_imported:11 #lin_moves:48 #lin_evals:36'996 #gen_moves:332 #gen_evals:0 #comp_moves:4 #backtracks:164 #weight_updates:34)
#38 29.26s best:10617 next:[10618,10716] graph_arc_lns (d=0.09 s=107 t=0.10 p=0.30 stall=1 h=auto_l0)
#Model 29.49s var:35803/35816 constraints:18834/18834
#39 29.54s best:10618 next:[10619,10716] violation_ls(batch:12 #solutions_imported:12 #lin_moves:49 #lin_evals:38'820 #gen_moves:332 #gen_evals:0 #comp_moves:4 #backtracks:164 #weight_updates:34)
#40 30.30s best:10621 next:[10622,10716] rnd_var_lns (d=0.35 s=113 t=0.10 p=0.45 stall=2 h=auto_l0) [hint]
#41 30.40s best:10624 next:[10625,10716] graph_cst_lns (d=0.21 s=108 t=0.10 p=0.40 stall=1 h=auto_l0)
#42 30.92s best:10628 next:[10629,10716] graph_arc_lns (d=0.07 s=116 t=0.10 p=0.27 stall=0 h=auto_l0)
#Model 31.26s var:35802/35816 constraints:18834/18834
#43 31.44s best:10629 next:[10630,10716] violation_ls(batch:13 #solutions_imported:13 #lin_moves:49 #lin_evals:39'215 #gen_moves:345 #gen_evals:0 #comp_moves:5 #backtracks:170 #weight_updates:34)
#Model 31.64s var:35801/35816 constraints:18834/18834
#44 32.45s best:10638 next:[10639,10716] graph_dec_lns (d=0.45 s=118 t=0.10 p=0.50 stall=1 h=auto_l0)
#45 32.86s best:10639 next:[10640,10716] rnd_var_lns (d=0.45 s=122 t=0.10 p=0.50 stall=0 h=auto_l0)
#46 33.45s best:10640 next:[10641,10716] violation_ls(batch:14 #solutions_imported:14 #lin_moves:49 #lin_evals:39'484 #gen_moves:346 #gen_evals:0 #comp_moves:6 #backtracks:170 #weight_updates:34)
#47 34.73s best:10646 next:[10647,10716] graph_dec_lns (d=0.45 s=127 t=0.10 p=0.50 stall=0 h=auto_l0)
#Model 35.55s var:35792/35816 constraints:18834/18834
#48 35.73s best:10648 next:[10649,10716] rnd_cst_lns (d=0.33 s=132 t=0.10 p=0.46 stall=1 h=auto_l0)
#49 35.88s best:10651 next:[10652,10716] graph_arc_lns (d=0.07 s=134 t=0.10 p=0.31 stall=1 h=auto_l0)
#50 36.25s best:10652 next:[10653,10716] violation_ls(batch:15 #solutions_imported:15 #lin_moves:49 #lin_evals:40'167 #gen_moves:353 #gen_evals:0 #comp_moves:7 #backtracks:173 #weight_updates:34)
#51 37.55s best:10659 next:[10660,10716] rnd_var_lns (d=0.46 s=140 t=0.10 p=0.50 stall=1 h=auto_l0)
#52 38.31s best:10660 next:[10661,10716] violation_ls(batch:16 #solutions_imported:16 #lin_moves:49 #lin_evals:42'042 #gen_moves:422 #gen_evals:0 #comp_moves:8 #backtracks:207 #weight_updates:34)
#53 39.59s best:10661 next:[10662,10716] graph_dec_lns (d=0.45 s=145 t=0.10 p=0.50 stall=1 h=auto_l0)
#54 39.60s best:10662 next:[10663,10716] rnd_cst_lns (d=0.33 s=150 t=0.10 p=0.47 stall=1 h=auto_l0)
#55 40.91s best:10663 next:[10664,10716] violation_ls(batch:17 #solutions_imported:17 #lin_moves:50 #lin_evals:44'258 #gen_moves:422 #gen_evals:0 #comp_moves:8 #backtracks:207 #weight_updates:34)
#Model 41.21s var:35791/35816 constraints:18834/18834
#Model 41.41s var:35788/35816 constraints:18834/18834
#Model 41.62s var:35787/35816 constraints:18834/18834
#56 42.45s best:10664 next:[10665,10716] graph_var_lns (d=0.05 s=160 t=0.10 p=0.31 stall=4 h=auto_l0)
#57 42.59s best:10666 next:[10667,10716] rnd_var_lns (d=0.46 s=158 t=0.10 p=0.50 stall=1 h=auto_l0)
#Model 43.11s var:35786/35816 constraints:18834/18834
#Model 43.34s var:35785/35816 constraints:18834/18834
#58 43.83s best:10667 next:[10668,10716] violation_ls(batch:18 #solutions_imported:18 #lin_moves:50 #lin_evals:45'330 #gen_moves:435 #gen_evals:0 #comp_moves:9 #backtracks:213 #weight_updates:34)
#59 44.05s best:10674 next:[10675,10716] graph_dec_lns (d=0.45 s=163 t=0.10 p=0.50 stall=1 h=auto_l0)
#60 44.54s best:10675 next:[10676,10716] graph_var_lns (d=0.06 s=169 t=0.10 p=0.35 stall=0 h=auto_l0) [hint]
#Model 44.60s var:35784/35816 constraints:18834/18834
#61 45.71s best:10679 next:[10680,10716] rins_pump_lns (d=0.22 s=174 t=0.10 p=0.40 stall=3 h=auto_l0)
#62 45.82s best:10680 next:[10681,10716] violation_ls(batch:19 #solutions_imported:19 #lin_moves:50 #lin_evals:56'231 #gen_moves:854 #gen_evals:0 #comp_moves:16 #backtracks:419 #weight_updates:34)
#Model 45.91s var:35783/35816 constraints:18834/18834
#Model 46.68s var:35782/35816 constraints:18834/18834
#63 48.43s best:10685 next:[10686,10716] graph_arc_lns (d=0.09 s=179 t=0.10 p=0.39 stall=1 h=auto_l0)
#Model 48.93s var:35781/35816 constraints:18834/18834
#64 49.14s best:10686 next:[10687,10716] rnd_var_lns (d=0.38 s=185 t=0.10 p=0.47 stall=2 h=auto_l0) [hint]
#65 49.79s best:10687 next:[10688,10716] violation_ls(batch:21 #solutions_imported:21 #lin_moves:51 #lin_evals:73'662 #gen_moves:1'129 #gen_evals:0 #comp_moves:25 #backtracks:552 #weight_updates:34)
#66 50.84s best:10688 next:[10689,10716] rnd_var_lns (d=0.46 s=194 t=0.10 p=0.50 stall=0 h=auto_l0)
#Model 51.16s var:35780/35816 constraints:18834/18834
#Model 51.25s var:35779/35816 constraints:18834/18834
#67 51.86s best:10689 next:[10690,10716] violation_ls(batch:22 #solutions_imported:22 #lin_moves:58 #lin_evals:82'786 #gen_moves:1'129 #gen_evals:0 #comp_moves:25 #backtracks:552 #weight_updates:38)
#Model 52.09s var:35778/35816 constraints:18834/18834
#68 54.07s best:10690 next:[10691,10716] violation_ls(batch:23 #solutions_imported:23 #lin_moves:58 #lin_evals:94'205 #gen_moves:1'614 #gen_evals:0 #comp_moves:30 #backtracks:792 #weight_updates:38)
#Model 55.34s var:35777/35816 constraints:18834/18834
#69 56.29s best:10691 next:[10692,10716] violation_ls(batch:24 #solutions_imported:24 #lin_moves:58 #lin_evals:104'730 #gen_moves:1'903 #gen_evals:0 #comp_moves:41 #backtracks:931 #weight_updates:38)
#Model 56.97s var:35776/35816 constraints:18834/18834
#70 57.02s best:10693 next:[10694,10716] rnd_var_lns (d=0.38 s=221 t=0.10 p=0.48 stall=2 h=auto_l0)
#Model 58.09s var:35775/35816 constraints:18834/18834
#71 58.58s best:10694 next:[10695,10716] violation_ls(batch:25 #solutions_imported:25 #lin_moves:58 #lin_evals:111'558 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:38)
#Model 59.58s var:35774/35816 constraints:18834/18834
#72 59.68s best:10696 next:[10697,10716] rnd_var_lns (d=0.46 s=230 t=0.10 p=0.50 stall=0 h=auto_l0)
#73 60.23s best:10698 next:[10699,10716] graph_var_lns (d=0.08 s=232 t=0.10 p=0.42 stall=3 h=auto_l0)
#74 61.08s best:10699 next:[10700,10716] violation_ls(batch:26 #solutions_imported:26 #lin_moves:59 #lin_evals:120'596 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:38)
#Model 62.64s var:35773/35816 constraints:18834/18834
#Model 62.85s var:35772/35816 constraints:18833/18834
#75 63.67s best:10700 next:[10701,10716] violation_ls(batch:27 #solutions_imported:27 #lin_moves:424 #lin_evals:132'225 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:136)
#76 64.18s best:10701 next:[10702,10716] graph_cst_lns (d=0.17 s=243 t=0.10 p=0.44 stall=4 h=auto_l0)
#Model 64.51s var:35771/35816 constraints:18832/18834
#77 66.48s best:10702 next:[10703,10716] violation_ls(batch:28 #solutions_imported:28 #lin_moves:439 #lin_evals:141'403 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:151)
#Model 67.97s var:35770/35816 constraints:18832/18834
#78 68.03s best:10703 next:[10704,10716] rnd_cst_lns (d=0.35 s=258 t=0.10 p=0.48 stall=6 h=auto_l0)
#79 68.05s best:10704 next:[10705,10716] graph_arc_lns (d=0.11 s=260 t=0.10 p=0.44 stall=8 h=auto_l0)
#Model 68.73s var:35769/35816 constraints:18832/18834
#80 68.78s best:10705 next:[10706,10716] violation_ls(batch:29 #solutions_imported:29 #lin_moves:439 #lin_evals:146'933 #gen_moves:1'965 #gen_evals:0 #comp_moves:65 #backtracks:950 #weight_updates:151)
#Model 68.97s var:35768/35816 constraints:18832/18834
#81 70.08s best:10706 next:[10707,10716] rnd_var_lns (d=0.46 s=266 t=0.10 p=0.50 stall=3 h=auto_l0)
#82 71.01s best:10707 next:[10708,10716] violation_ls(batch:30 #solutions_imported:30 #lin_moves:576 #lin_evals:156'540 #gen_moves:1'965 #gen_evals:0 #comp_moves:65 #backtracks:950 #weight_updates:273)
#83 72.24s best:10708 next:[10709,10716] rnd_cst_lns (d=0.35 s=276 t=0.10 p=0.48 stall=1 h=auto_l0)
#84 72.86s best:10709 next:[10710,10716] graph_arc_lns (d=0.11 s=278 t=0.10 p=0.45 stall=1 h=auto_l0)
#85 72.94s best:10710 next:[10711,10716] violation_ls(batch:31 #solutions_imported:31 #lin_moves:576 #lin_evals:157'240 #gen_moves:1'966 #gen_evals:0 #comp_moves:66 #backtracks:950 #weight_updates:273)
#86 74.58s best:10711 next:[10712,10716] rnd_var_lns (d=0.47 s=284 t=0.10 p=0.50 stall=1 h=auto_l0)
#87 75.08s best:10712 next:[10713,10716] violation_ls(batch:32 #solutions_imported:32 #lin_moves:576 #lin_evals:167'571 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:273)
#Model 75.26s var:35767/35816 constraints:18832/18834
#88 77.74s best:10713 next:[10714,10716] violation_ls(batch:33 #solutions_imported:33 #lin_moves:613 #lin_evals:176'920 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:288)
#89 79.30s best:10714 next:[10715,10716] violation_ls(batch:34 #solutions_imported:34 #lin_moves:644 #lin_evals:186'159 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:304)
#90 81.58s best:10715 next:[10716,10716] violation_ls(batch:35 #solutions_imported:35 #lin_moves:937 #lin_evals:197'179 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:430)
#Model 81.80s var:26629/35816 constraints:18090/18834
#Model 82.03s var:26628/35816 constraints:18090/18834
#Model 83.51s var:26627/35816 constraints:18089/18834
#Model 85.01s var:26626/35816 constraints:18088/18834
#Model 85.09s var:26625/35816 constraints:18088/18834
#Model 85.65s var:26624/35816 constraints:18087/18834
#Model 85.73s var:26623/35816 constraints:18087/18834
#Model 86.68s var:26622/35816 constraints:18086/18834
#Model 86.84s var:26621/35816 constraints:18086/18834
#Model 87.34s var:26620/35816 constraints:18085/18834
#Model 87.70s var:26619/35816 constraints:18085/18834
#Model 87.84s var:26618/35816 constraints:18085/18834
#Model 88.00s var:26617/35816 constraints:18084/18834
#Model 88.16s var:26616/35816 constraints:18084/18834
#Model 88.24s var:26615/35816 constraints:18084/18834
#Model 88.55s var:26614/35816 constraints:18083/18834
#Model 88.83s var:26613/35816 constraints:18083/18834
#Model 89.28s var:26611/35816 constraints:18082/18834
#Model 90.43s var:26610/35816 constraints:18081/18834
#Model 91.11s var:26608/35816 constraints:18081/18834
#Model 91.20s var:26607/35816 constraints:18081/18834
#Model 92.49s var:26605/35816 constraints:18079/18834
#Model 94.06s var:26604/35816 constraints:18078/18834
#Model 94.60s var:26603/35816 constraints:18078/18834
#Model 94.89s var:26602/35816 constraints:18078/18834
#Model 95.30s var:26600/35816 constraints:18077/18834
#Model 96.76s var:26599/35816 constraints:18077/18834
#Model 97.18s var:26598/35816 constraints:18077/18834
#Model 97.65s var:26597/35816 constraints:18077/18834
#Model 98.07s var:26596/35816 constraints:18077/18834
#Model 99.27s var:26595/35816 constraints:18077/18834
#Model 104.57s var:26594/35816 constraints:18077/18834
#Model 112.58s var:26593/35816 constraints:18076/18834 compo:17254,9339
8 full problem subsolvers: [core, default_lp, max_lp, no_lp, pseudo_costs, quick_restart, quick_restart_no_lp, reduced_costs]
3 first solution subsolvers: [fj_long_default, fj_short_default, fs_random]
9 incomplete subsolvers: [feasibility_pump, graph_arc_lns, graph_cst_lns, graph_dec_lns, graph_var_lns, rins/rens, rnd_cst_lns, rnd_var_lns, violation_ls]
3 helper subsolvers: [neighborhood_helper, synchronization_agent, update_gap_integral]
#1 3.12s best:10284 next:[10285,10716] fj_short_default(batch:1 #lin_moves:7'226 #lin_evals:26'848 #weight_updates:80)
#2 3.30s best:10285 next:[10286,10716] violation_ls(batch:1 #solutions_imported:1 #lin_moves:1 #lin_evals:295 #weight_updates:0)
#3 4.96s best:10398 next:[10399,10716] rnd_var_lns (d=0.50 s=13 t=0.10 p=0.00 stall=0 h=auto_l0)
#4 6.52s best:10399 next:[10400,10716] violation_ls(batch:2 #solutions_imported:2 #lin_moves:1 #lin_evals:422 #gen_moves:1 #gen_evals:0 #comp_moves:1 #backtracks:0 #weight_updates:0)
#5 7.01s best:10418 next:[10419,10716] rnd_var_lns (d=0.29 s=23 t=0.10 p=0.00 stall=0 h=auto_l0)
#6 7.82s best:10430 next:[10431,10716] rnd_cst_lns (d=0.29 s=24 t=0.10 p=0.00 stall=1 h=auto_l0)
#7 9.64s best:10431 next:[10432,10716] violation_ls(batch:3 #solutions_imported:3 #lin_moves:2 #lin_evals:1'625 #gen_moves:1 #gen_evals:0 #comp_moves:1 #backtracks:0 #weight_updates:0)
#8 9.69s best:10444 next:[10445,10716] graph_dec_lns (d=0.29 s=28 t=0.10 p=0.00 stall=1 h=auto_l0) [hint]
#9 10.03s best:10452 next:[10453,10716] graph_cst_lns (d=0.29 s=27 t=0.10 p=0.00 stall=1 h=auto_l0)
#Model 10.30s var:35804/35816 constraints:18834/18834
#10 10.82s best:10453 next:[10454,10716] quick_restart_no_lp (fixed_bools=12/35697)
#11 11.29s best:10468 next:[10469,10716] rnd_var_lns (d=0.46 s=32 t=0.10 p=0.50 stall=0 h=auto_l0)
#12 12.68s best:10469 next:[10470,10716] quick_restart_no_lp (fixed_bools=12/35697)
#13 13.30s best:10470 next:[10471,10716] violation_ls(batch:4 #solutions_imported:4 #lin_moves:2 #lin_evals:2'327 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:0)
#14 13.44s best:10498 next:[10499,10716] graph_dec_lns (d=0.46 s=37 t=0.10 p=0.50 stall=0 h=auto_l0)
#15 14.16s best:10499 next:[10500,10716] quick_restart_no_lp (fixed_bools=12/35697)
#16 14.43s best:10509 next:[10510,10716] rnd_cst_lns (d=0.31 s=42 t=0.10 p=0.33 stall=1 h=auto_l0)
#17 14.77s best:10510 next:[10511,10716] violation_ls(batch:5 #solutions_imported:5 #lin_moves:3 #lin_evals:2'651 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:0)
#18 14.93s best:10554 next:[10555,10716] rins_pump_lns (d=0.19 s=48 t=0.10 p=0.00 stall=2 h=auto_l0)
#19 17.15s best:10555 next:[10556,10716] violation_ls(batch:6 #solutions_imported:6 #lin_moves:18 #lin_evals:11'841 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:12)
#20 18.21s best:10561 next:[10562,10716] graph_dec_lns (d=0.45 s=55 t=0.10 p=0.50 stall=0 h=auto_l0)
#21 18.27s best:10565 next:[10566,10716] rnd_cst_lns (d=0.32 s=60 t=0.10 p=0.40 stall=1 h=auto_l0)
#22 19.39s best:10575 next:[10576,10716] rins_pump_lns (d=0.19 s=66 t=0.10 p=0.25 stall=1 h=auto_l0)
#23 19.43s best:10576 next:[10577,10716] violation_ls(batch:7 #solutions_imported:7 #lin_moves:46 #lin_evals:21'141 #gen_moves:32 #gen_evals:0 #comp_moves:2 #backtracks:15 #weight_updates:34)
#24 21.61s best:10577 next:[10578,10716] violation_ls(batch:8 #solutions_imported:8 #lin_moves:46 #lin_evals:27'193 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#25 21.70s best:10581 next:[10582,10716] rins_pump_lns (d=0.27 s=75 t=0.10 p=0.40 stall=0 h=auto_l0)
#26 22.41s best:10584 next:[10585,10716] graph_var_lns (d=0.06 s=79 t=0.10 p=0.14 stall=3 h=auto_l0)
#27 22.55s best:10590 next:[10591,10716] graph_dec_lns (d=0.44 s=73 t=0.10 p=0.50 stall=0 h=auto_l0)
#28 23.18s best:10591 next:[10592,10716] violation_ls(batch:9 #solutions_imported:9 #lin_moves:47 #lin_evals:33'467 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#29 23.37s best:10597 next:[10598,10716] rins_pump_lns (d=0.37 s=84 t=0.10 p=0.50 stall=0 h=auto_l0)
#30 24.53s best:10599 next:[10600,10716] rnd_var_lns (d=0.45 s=86 t=0.10 p=0.50 stall=0 h=auto_l0)
#31 24.62s best:10601 next:[10602,10716] graph_var_lns (d=0.08 s=88 t=0.10 p=0.25 stall=0 h=auto_l0)
#32 25.31s best:10602 next:[10603,10716] violation_ls(batch:10 #solutions_imported:10 #lin_moves:48 #lin_evals:36'702 #gen_moves:325 #gen_evals:0 #comp_moves:3 #backtracks:161 #weight_updates:34)
#33 25.56s best:10607 next:[10608,10716] graph_arc_lns (d=0.09 s=89 t=0.10 p=0.25 stall=0 h=auto_l0)
#34 25.81s best:10608 next:[10609,10716] graph_dec_lns (d=0.44 s=91 t=0.10 p=0.50 stall=1 h=auto_l0)
#35 26.31s best:10610 next:[10611,10716] graph_var_lns (d=0.06 s=97 t=0.10 p=0.22 stall=0 h=auto_l0)
#36 26.84s best:10612 next:[10613,10716] rnd_cst_lns (d=0.33 s=96 t=0.10 p=0.44 stall=1 h=auto_l0)
#37 27.04s best:10613 next:[10614,10716] violation_ls(batch:11 #solutions_imported:11 #lin_moves:48 #lin_evals:36'996 #gen_moves:332 #gen_evals:0 #comp_moves:4 #backtracks:164 #weight_updates:34)
#38 29.26s best:10617 next:[10618,10716] graph_arc_lns (d=0.09 s=107 t=0.10 p=0.30 stall=1 h=auto_l0)
#Model 29.49s var:35803/35816 constraints:18834/18834
#39 29.54s best:10618 next:[10619,10716] violation_ls(batch:12 #solutions_imported:12 #lin_moves:49 #lin_evals:38'820 #gen_moves:332 #gen_evals:0 #comp_moves:4 #backtracks:164 #weight_updates:34)
#40 30.30s best:10621 next:[10622,10716] rnd_var_lns (d=0.35 s=113 t=0.10 p=0.45 stall=2 h=auto_l0) [hint]
#41 30.40s best:10624 next:[10625,10716] graph_cst_lns (d=0.21 s=108 t=0.10 p=0.40 stall=1 h=auto_l0)
#42 30.92s best:10628 next:[10629,10716] graph_arc_lns (d=0.07 s=116 t=0.10 p=0.27 stall=0 h=auto_l0)
#Model 31.26s var:35802/35816 constraints:18834/18834
#43 31.44s best:10629 next:[10630,10716] violation_ls(batch:13 #solutions_imported:13 #lin_moves:49 #lin_evals:39'215 #gen_moves:345 #gen_evals:0 #comp_moves:5 #backtracks:170 #weight_updates:34)
#Model 31.64s var:35801/35816 constraints:18834/18834
#44 32.45s best:10638 next:[10639,10716] graph_dec_lns (d=0.45 s=118 t=0.10 p=0.50 stall=1 h=auto_l0)
#45 32.86s best:10639 next:[10640,10716] rnd_var_lns (d=0.45 s=122 t=0.10 p=0.50 stall=0 h=auto_l0)
#46 33.45s best:10640 next:[10641,10716] violation_ls(batch:14 #solutions_imported:14 #lin_moves:49 #lin_evals:39'484 #gen_moves:346 #gen_evals:0 #comp_moves:6 #backtracks:170 #weight_updates:34)
#47 34.73s best:10646 next:[10647,10716] graph_dec_lns (d=0.45 s=127 t=0.10 p=0.50 stall=0 h=auto_l0)
#Model 35.55s var:35792/35816 constraints:18834/18834
#48 35.73s best:10648 next:[10649,10716] rnd_cst_lns (d=0.33 s=132 t=0.10 p=0.46 stall=1 h=auto_l0)
#49 35.88s best:10651 next:[10652,10716] graph_arc_lns (d=0.07 s=134 t=0.10 p=0.31 stall=1 h=auto_l0)
#50 36.25s best:10652 next:[10653,10716] violation_ls(batch:15 #solutions_imported:15 #lin_moves:49 #lin_evals:40'167 #gen_moves:353 #gen_evals:0 #comp_moves:7 #backtracks:173 #weight_updates:34)
#51 37.55s best:10659 next:[10660,10716] rnd_var_lns (d=0.46 s=140 t=0.10 p=0.50 stall=1 h=auto_l0)
#52 38.31s best:10660 next:[10661,10716] violation_ls(batch:16 #solutions_imported:16 #lin_moves:49 #lin_evals:42'042 #gen_moves:422 #gen_evals:0 #comp_moves:8 #backtracks:207 #weight_updates:34)
#53 39.59s best:10661 next:[10662,10716] graph_dec_lns (d=0.45 s=145 t=0.10 p=0.50 stall=1 h=auto_l0)
#54 39.60s best:10662 next:[10663,10716] rnd_cst_lns (d=0.33 s=150 t=0.10 p=0.47 stall=1 h=auto_l0)
#55 40.91s best:10663 next:[10664,10716] violation_ls(batch:17 #solutions_imported:17 #lin_moves:50 #lin_evals:44'258 #gen_moves:422 #gen_evals:0 #comp_moves:8 #backtracks:207 #weight_updates:34)
#Model 41.21s var:35791/35816 constraints:18834/18834
#Model 41.41s var:35788/35816 constraints:18834/18834
#Model 41.62s var:35787/35816 constraints:18834/18834
#56 42.45s best:10664 next:[10665,10716] graph_var_lns (d=0.05 s=160 t=0.10 p=0.31 stall=4 h=auto_l0)
#57 42.59s best:10666 next:[10667,10716] rnd_var_lns (d=0.46 s=158 t=0.10 p=0.50 stall=1 h=auto_l0)
#Model 43.11s var:35786/35816 constraints:18834/18834
#Model 43.34s var:35785/35816 constraints:18834/18834
#58 43.83s best:10667 next:[10668,10716] violation_ls(batch:18 #solutions_imported:18 #lin_moves:50 #lin_evals:45'330 #gen_moves:435 #gen_evals:0 #comp_moves:9 #backtracks:213 #weight_updates:34)
#59 44.05s best:10674 next:[10675,10716] graph_dec_lns (d=0.45 s=163 t=0.10 p=0.50 stall=1 h=auto_l0)
#60 44.54s best:10675 next:[10676,10716] graph_var_lns (d=0.06 s=169 t=0.10 p=0.35 stall=0 h=auto_l0) [hint]
#Model 44.60s var:35784/35816 constraints:18834/18834
#61 45.71s best:10679 next:[10680,10716] rins_pump_lns (d=0.22 s=174 t=0.10 p=0.40 stall=3 h=auto_l0)
#62 45.82s best:10680 next:[10681,10716] violation_ls(batch:19 #solutions_imported:19 #lin_moves:50 #lin_evals:56'231 #gen_moves:854 #gen_evals:0 #comp_moves:16 #backtracks:419 #weight_updates:34)
#Model 45.91s var:35783/35816 constraints:18834/18834
#Model 46.68s var:35782/35816 constraints:18834/18834
#63 48.43s best:10685 next:[10686,10716] graph_arc_lns (d=0.09 s=179 t=0.10 p=0.39 stall=1 h=auto_l0)
#Model 48.93s var:35781/35816 constraints:18834/18834
#64 49.14s best:10686 next:[10687,10716] rnd_var_lns (d=0.38 s=185 t=0.10 p=0.47 stall=2 h=auto_l0) [hint]
#65 49.79s best:10687 next:[10688,10716] violation_ls(batch:21 #solutions_imported:21 #lin_moves:51 #lin_evals:73'662 #gen_moves:1'129 #gen_evals:0 #comp_moves:25 #backtracks:552 #weight_updates:34)
#66 50.84s best:10688 next:[10689,10716] rnd_var_lns (d=0.46 s=194 t=0.10 p=0.50 stall=0 h=auto_l0)
#Model 51.16s var:35780/35816 constraints:18834/18834
#Model 51.25s var:35779/35816 constraints:18834/18834
#67 51.86s best:10689 next:[10690,10716] violation_ls(batch:22 #solutions_imported:22 #lin_moves:58 #lin_evals:82'786 #gen_moves:1'129 #gen_evals:0 #comp_moves:25 #backtracks:552 #weight_updates:38)
#Model 52.09s var:35778/35816 constraints:18834/18834
#68 54.07s best:10690 next:[10691,10716] violation_ls(batch:23 #solutions_imported:23 #lin_moves:58 #lin_evals:94'205 #gen_moves:1'614 #gen_evals:0 #comp_moves:30 #backtracks:792 #weight_updates:38)
#Model 55.34s var:35777/35816 constraints:18834/18834
#69 56.29s best:10691 next:[10692,10716] violation_ls(batch:24 #solutions_imported:24 #lin_moves:58 #lin_evals:104'730 #gen_moves:1'903 #gen_evals:0 #comp_moves:41 #backtracks:931 #weight_updates:38)
#Model 56.97s var:35776/35816 constraints:18834/18834
#70 57.02s best:10693 next:[10694,10716] rnd_var_lns (d=0.38 s=221 t=0.10 p=0.48 stall=2 h=auto_l0)
#Model 58.09s var:35775/35816 constraints:18834/18834
#71 58.58s best:10694 next:[10695,10716] violation_ls(batch:25 #solutions_imported:25 #lin_moves:58 #lin_evals:111'558 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:38)
#Model 59.58s var:35774/35816 constraints:18834/18834
#72 59.68s best:10696 next:[10697,10716] rnd_var_lns (d=0.46 s=230 t=0.10 p=0.50 stall=0 h=auto_l0)
#73 60.23s best:10698 next:[10699,10716] graph_var_lns (d=0.08 s=232 t=0.10 p=0.42 stall=3 h=auto_l0)
#74 61.08s best:10699 next:[10700,10716] violation_ls(batch:26 #solutions_imported:26 #lin_moves:59 #lin_evals:120'596 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:38)
#Model 62.64s var:35773/35816 constraints:18834/18834
#Model 62.85s var:35772/35816 constraints:18833/18834
#75 63.67s best:10700 next:[10701,10716] violation_ls(batch:27 #solutions_imported:27 #lin_moves:424 #lin_evals:132'225 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:136)
#76 64.18s best:10701 next:[10702,10716] graph_cst_lns (d=0.17 s=243 t=0.10 p=0.44 stall=4 h=auto_l0)
#Model 64.51s var:35771/35816 constraints:18832/18834
#77 66.48s best:10702 next:[10703,10716] violation_ls(batch:28 #solutions_imported:28 #lin_moves:439 #lin_evals:141'403 #gen_moves:1'950 #gen_evals:0 #comp_moves:56 #backtracks:947 #weight_updates:151)
#Model 67.97s var:35770/35816 constraints:18832/18834
#78 68.03s best:10703 next:[10704,10716] rnd_cst_lns (d=0.35 s=258 t=0.10 p=0.48 stall=6 h=auto_l0)
#79 68.05s best:10704 next:[10705,10716] graph_arc_lns (d=0.11 s=260 t=0.10 p=0.44 stall=8 h=auto_l0)
#Model 68.73s var:35769/35816 constraints:18832/18834
#80 68.78s best:10705 next:[10706,10716] violation_ls(batch:29 #solutions_imported:29 #lin_moves:439 #lin_evals:146'933 #gen_moves:1'965 #gen_evals:0 #comp_moves:65 #backtracks:950 #weight_updates:151)
#Model 68.97s var:35768/35816 constraints:18832/18834
#81 70.08s best:10706 next:[10707,10716] rnd_var_lns (d=0.46 s=266 t=0.10 p=0.50 stall=3 h=auto_l0)
#82 71.01s best:10707 next:[10708,10716] violation_ls(batch:30 #solutions_imported:30 #lin_moves:576 #lin_evals:156'540 #gen_moves:1'965 #gen_evals:0 #comp_moves:65 #backtracks:950 #weight_updates:273)
#83 72.24s best:10708 next:[10709,10716] rnd_cst_lns (d=0.35 s=276 t=0.10 p=0.48 stall=1 h=auto_l0)
#84 72.86s best:10709 next:[10710,10716] graph_arc_lns (d=0.11 s=278 t=0.10 p=0.45 stall=1 h=auto_l0)
#85 72.94s best:10710 next:[10711,10716] violation_ls(batch:31 #solutions_imported:31 #lin_moves:576 #lin_evals:157'240 #gen_moves:1'966 #gen_evals:0 #comp_moves:66 #backtracks:950 #weight_updates:273)
#86 74.58s best:10711 next:[10712,10716] rnd_var_lns (d=0.47 s=284 t=0.10 p=0.50 stall=1 h=auto_l0)
#87 75.08s best:10712 next:[10713,10716] violation_ls(batch:32 #solutions_imported:32 #lin_moves:576 #lin_evals:167'571 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:273)
#Model 75.26s var:35767/35816 constraints:18832/18834
#88 77.74s best:10713 next:[10714,10716] violation_ls(batch:33 #solutions_imported:33 #lin_moves:613 #lin_evals:176'920 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:288)
#89 79.30s best:10714 next:[10715,10716] violation_ls(batch:34 #solutions_imported:34 #lin_moves:644 #lin_evals:186'159 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:304)
#90 81.58s best:10715 next:[10716,10716] violation_ls(batch:35 #solutions_imported:35 #lin_moves:937 #lin_evals:197'179 #gen_moves:2'161 #gen_evals:0 #comp_moves:73 #backtracks:1'044 #weight_updates:430)
#Model 81.80s var:26629/35816 constraints:18090/18834
#Model 82.03s var:26628/35816 constraints:18090/18834
#Model 83.51s var:26627/35816 constraints:18089/18834
#Model 85.01s var:26626/35816 constraints:18088/18834
#Model 85.09s var:26625/35816 constraints:18088/18834
#Model 85.65s var:26624/35816 constraints:18087/18834
#Model 85.73s var:26623/35816 constraints:18087/18834
#Model 86.68s var:26622/35816 constraints:18086/18834
#Model 86.84s var:26621/35816 constraints:18086/18834
#Model 87.34s var:26620/35816 constraints:18085/18834
#Model 87.70s var:26619/35816 constraints:18085/18834
#Model 87.84s var:26618/35816 constraints:18085/18834
#Model 88.00s var:26617/35816 constraints:18084/18834
#Model 88.16s var:26616/35816 constraints:18084/18834
#Model 88.24s var:26615/35816 constraints:18084/18834
#Model 88.55s var:26614/35816 constraints:18083/18834
#Model 88.83s var:26613/35816 constraints:18083/18834
#Model 89.28s var:26611/35816 constraints:18082/18834
#Model 90.43s var:26610/35816 constraints:18081/18834
#Model 91.11s var:26608/35816 constraints:18081/18834
#Model 91.20s var:26607/35816 constraints:18081/18834
#Model 92.49s var:26605/35816 constraints:18079/18834
#Model 94.06s var:26604/35816 constraints:18078/18834
#Model 94.60s var:26603/35816 constraints:18078/18834
#Model 94.89s var:26602/35816 constraints:18078/18834
#Model 95.30s var:26600/35816 constraints:18077/18834
#Model 96.76s var:26599/35816 constraints:18077/18834
#Model 97.18s var:26598/35816 constraints:18077/18834
#Model 97.65s var:26597/35816 constraints:18077/18834
#Model 98.07s var:26596/35816 constraints:18077/18834
#Model 99.27s var:26595/35816 constraints:18077/18834
#Model 104.57s var:26594/35816 constraints:18077/18834
#Model 112.58s var:26593/35816 constraints:18076/18834 compo:17254,9339
Huib Donkers
Jul 12, 2024, 6:56:19 AM (14 days ago) Jul 12
to or-tools-discuss
To control when the search stops depending on the progress being made, I would suggest looking into SearchLimits and SearchMonitors (the latter is more general than the first). A search monitor has a PeriodicCheck method that may be useful. From the search monitor you can stop the search by calling finishCurrentSearch or endSearch on the solver instance.
Laurent Perron
Jul 12, 2024, 7:05:28 AM (14 days ago) Jul 12
to or-tools...@googlegroups.com
wrong solver.
Fan Zeng is using CP-SAT.
--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/1304f9e4-4a5f-46e2-bf04-b7ba477a8f85n%40googlegroups.com.
Huib Donkers
Jul 12, 2024, 7:08:14 AM (14 days ago) Jul 12
to or-tools-discuss
Ah, my bad. Thanks for clarifying.
Laurent Perron
Jul 12, 2024, 8:11:05 AM (14 days ago) Jul 12
to or-tools...@googlegroups.com
There was some code posted, I cannot find it anymore.
What you need is:
use a CpSolverSolutionCallback, and a separate thread.
When having a solution, it reset the timer.
Every seconds, the second thread checks the timer, and call StopSearch when no solution has been found after a certain time.
To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/0ca1d2fb-8825-4ba7-850d-2b1bec505cd1n%40googlegroups.com.
Fan Zeng
Jul 12, 2024, 3:38:33 PM (13 days ago) Jul 12
to or-tools-discuss
Laurent,
Also I would like to share my experience. I first used or-tools in 2021. At the time, the solution time for typical problems was in 10 minutes or more . 3 years later, with a new version of or-tools and a new implementation of my model, the time is in about 1 minute. This is a huge improvement. Thanks for lot of the excellent tools!
Fan
watchdogs132
Jul 12, 2024, 4:20:42 PM (13 days ago) Jul 12
to or-tools-discuss
https://github.com/Regista6/EA-FC-24-Automated-SBC-Solving/blob/master/optimize.py#L16-L35
Check this out. I can't seem to find the exact link but remember taking this from stackoverflow.
Check this out. I can't seem to find the exact link but remember taking this from stackoverflow.
Fan Zeng
Jul 14, 2024, 5:47:05 PM (11 days ago) Jul 14
to or-tools-discuss
Thanks. The instructions for Laurent are very clear. They can be easily translated into code by a developer or an LLM :)
Reply all
Reply to author
Forward
0 new messages