Process time model
47 views
Skip to first unread message
juancarlos...@gmail.com
Aug 11, 2021, 3:03:55 PM8/11/21
to AMPL Modeling Language
Hi,
I'm using GUROBI solver to do some deliveries optimization MODEL. Actually I'm using a simplified case, and thus I expect it would take even seconds to solve the problem .
In my opinion, the task that I am solving is not so difficult that so much time was spent on it.
What parameter do I have to use to obtain an early solution, without going deeper into more nodes? (same Incumbent and GAP all the time)
Thanks for the help.
I am running an model on Neos, after a few minutes these are results:
Checking ampl.mod for gurobi_options...
Checking ampl.com for gurobi_options...
Executing AMPL.
processing data.
processing commands.
Executing on prod-exec-4.neos-server.org
Presolve eliminates 2528 constraints and 1155 variables.
Adjusted problem:
3796 variables:
3750 binary variables
46 linear variables
5148 constraints, all linear; 29597 nonzeros
220 equality constraints
4928 inequality constraints
1 linear objective; 135 nonzeros.
Gurobi 9.1.1: outlev 1
threads=4
Gurobi Optimizer version 9.1.1 build v9.1.1rc0 (linux64)
Thread count: 12 physical cores, 24 logical processors, using up to 4 threads
Optimize a model with 5148 rows, 3796 columns and 29597 nonzeros
Model fingerprint: 0xd9769db3
Variable types: 46 continuous, 3750 integer (3750 binary)
Coefficient statistics:
Matrix range [1e+00, 1e+03]
Objective range [1e+00, 1e+00]
Bounds range [1e+00, 1e+03]
RHS range [1e+00, 1e+03]
Presolve removed 2523 rows and 1362 columns
Presolve time: 0.07s
Presolved: 2625 rows, 2434 columns, 15458 nonzeros
Variable types: 40 continuous, 2394 integer (2394 binary)
Root relaxation: objective 2.000000e+00, 1182 iterations, 0.09 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 110 - 2.00000 - - 0s
0 0 2.00000 0 147 - 2.00000 - - 0s
0 0 2.00000 0 149 - 2.00000 - - 0s
0 0 2.00000 0 118 - 2.00000 - - 1s
0 0 2.00000 0 119 - 2.00000 - - 2s
0 0 2.16667 0 65 - 2.16667 - - 2s
0 0 2.16667 0 95 - 2.16667 - - 2s
0 0 2.33333 0 134 - 2.33333 - - 3s
0 0 2.33333 0 148 - 2.33333 - - 3s
0 0 2.33333 0 166 - 2.33333 - - 3s
0 0 2.33333 0 157 - 2.33333 - - 3s
0 0 2.33333 0 73 - 2.33333 - - 3s
0 0 2.33333 0 93 - 2.33333 - - 3s
0 0 2.33333 0 63 - 2.33333 - - 4s
0 0 2.33333 0 153 - 2.33333 - - 4s
0 0 2.40000 0 110 - 2.40000 - - 5s
0 0 2.40000 0 158 - 2.40000 - - 5s
0 0 2.57143 0 180 - 2.57143 - - 5s
0 0 2.57143 0 183 - 2.57143 - - 6s
0 0 2.57143 0 199 - 2.57143 - - 6s
0 0 2.57143 0 196 - 2.57143 - - 6s
0 0 2.57143 0 92 - 2.57143 - - 7s
0 0 2.57143 0 140 - 2.57143 - - 7s
0 0 2.57143 0 103 - 2.57143 - - 8s
0 0 2.57143 0 103 - 2.57143 - - 8s
0 2 2.57143 0 90 - 2.57143 - - 9s
15 18 3.00000 4 114 - 3.00000 - 546 10s
* 251 125 52 5.0000000 3.00000 40.0% 136 10s
H 615 244 4.0000000 3.00000 25.0% 115 13s
965 238 infeasible 42 4.00000 3.00000 25.0% 123 15s
1654 259 cutoff 12 4.00000 3.00000 25.0% 132 20s
2372 326 3.00000 43 112 4.00000 3.00000 25.0% 139 26s
3021 448 infeasible 26 4.00000 3.00000 25.0% 144 31s
3430 498 3.00000 19 82 4.00000 3.00000 25.0% 147 35s
4135 605 3.00000 8 125 4.00000 3.00000 25.0% 144 40s
4147 615 3.00000 53 52 4.00000 3.00000 25.0% 150 45s
4156 621 3.00000 54 48 4.00000 3.00000 25.0% 150 50s
4179 628 3.00000 27 78 4.00000 3.00000 25.0% 14.4 55s
4262 633 3.00000 31 83 4.00000 3.00000 25.0% 23.4 60s
4422 607 3.00000 34 57 4.00000 3.00000 25.0% 38.5 66s
4589 539 infeasible 34 4.00000 3.00000 25.0% 49.9 74s
4669 520 3.00000 35 67 4.00000 3.00000 25.0% 55.5 76s
4878 479 infeasible 44 4.00000 3.00000 25.0% 67.7 81s
5008 439 infeasible 49 4.00000 3.00000 25.0% 77.8 85s
5218 367 infeasible 57 4.00000 3.00000 25.0% 88.1 92s
5328 356 3.00000 35 98 4.00000 3.00000 25.0% 94.7 95s
5498 298 3.00000 33 96 4.00000 3.00000 25.0% 103 102s
5536 298 3.00000 31 66 4.00000 3.00000 25.0% 105 106s
5807 237 3.00000 39 68 4.00000 3.00000 25.0% 115 113s
5982 212 3.00000 39 112 4.00000 3.00000 25.0% 120 118s
6373 230 infeasible 52 4.00000 3.00000 25.0% 129 124s
6725 285 3.00000 49 78 4.00000 3.00000 25.0% 135 137s
7068 267 infeasible 49 4.00000 3.00000 25.0% 140 144s
7567 280 infeasible 62 4.00000 3.00000 25.0% 150 151s
8136 284 3.00000 60 64 4.00000 3.00000 25.0% 157 158s
8674 252 infeasible 43 4.00000 3.00000 25.0% 163 165s
9239 299 infeasible 46 4.00000 3.00000 25.0% 170 172s
9633 308 3.00000 47 54 4.00000 3.00000 25.0% 172 180s
10292 436 infeasible 68 4.00000 3.00000 25.0% 176 187s
10946 432 3.00000 47 51 4.00000 3.00000 25.0% 178 197s
11349 482 infeasible 48 4.00000 3.00000 25.0% 181 207s
12029 467 3.00000 56 80 4.00000 3.00000 25.0% 184 218s
12439 338 3.00000 56 47 4.00000 3.00000 25.0% 185 228s
13390 322 infeasible 55 4.00000 3.00000 25.0% 188 236s
13757 336 3.00000 43 88 4.00000 3.00000 25.0% 191 251s
13817 387 infeasible 41 4.00000 3.00000 25.0% 192 261s
14218 385 3.00000 50 88 4.00000 3.00000 25.0% 197 271s
14976 383 infeasible 67 4.00000 3.00000 25.0% 201 282s
15354 397 3.00000 55 68 4.00000 3.00000 25.0% 203 292s
16184 405 3.00000 54 82 4.00000 3.00000 25.0% 206 302s
17004 401 3.00000 78 66 4.00000 3.00000 25.0% 208 319s
17313 419 3.00000 66 54 4.00000 3.00000 25.0% 210 329s
18053 302 infeasible 66 4.00000 3.00000 25.0% 213 339s
18932 266 3.00000 74 56 4.00000 3.00000 25.0% 214 350s
19380 182 3.00000 53 76 4.00000 3.00000 25.0% 214 360s
20244 135 infeasible 47 4.00000 3.00000 25.0% 215 370s
20787 106 3.00000 57 40 4.00000 3.00000 25.0% 216 378s
21365 106 3.00000 38 54 4.00000 3.00000 25.0% 217 386s
21501 89 infeasible 47 4.00000 3.00000 25.0% 217 394s
21874 84 3.00000 41 81 4.00000 3.00000 25.0% 220 403s
21975 176 3.00000 42 80 4.00000 3.00000 25.0% 220 411s
22282 177 3.00000 57 103 4.00000 3.00000 25.0% 223 426s
22287 180 3.00000 48 97 4.00000 3.00000 25.0% 223 431s
22290 182 3.00000 33 142 4.00000 3.00000 25.0% 223 436s
22292 184 3.00000 42 115 4.00000 3.00000 25.0% 223 440s
22294 185 3.00000 35 68 4.00000 3.00000 25.0% 223 446s
22305 188 3.00000 38 79 4.00000 3.00000 25.0% 225 450s
22332 195 3.00000 41 97 4.00000 3.00000 25.0% 225 455s
22365 188 3.00000 44 74 4.00000 3.00000 25.0% 225 460s
22424 174 cutoff 52 4.00000 3.00000 25.0% 225 466s
22538 143 3.00000 42 51 4.00000 3.00000 25.0% 225 473s
22618 142 3.00000 56 66 4.00000 3.00000 25.0% 225 476s
22789 111 3.00000 42 100 4.00000 3.00000 25.0% 225 482s
22874 94 3.00000 52 69 4.00000 3.00000 25.0% 226 487s
22943 106 infeasible 52 4.00000 3.00000 25.0% 226 491s
23056 138 3.00000 56 78 4.00000 3.00000 25.0% 227 496s
23309 164 cutoff 66 4.00000 3.00000 25.0% 227 502s
23542 184 cutoff 58 4.00000 3.00000 25.0% 229 509s
23685 237 cutoff 63 4.00000 3.00000 25.0% 229 516s
24064 253 3.00000 69 76 4.00000 3.00000 25.0% 230 525s
24501 314 3.00000 61 67 4.00000 3.00000 25.0% 232 533s
24823 309 3.00000 64 43 4.00000 3.00000 25.0% 233 544s
25062 418 3.00000 57 64 4.00000 3.00000 25.0% 233 553s
25625 472 infeasible 77 4.00000 3.00000 25.0% 235 561s
26043 498 3.00000 63 65 4.00000 3.00000 25.0% 237 573s
26287 554 infeasible 62 4.00000 3.00000 25.0% 238 582s
26868 594 cutoff 82 4.00000 3.00000 25.0% 240 591s
27346 626 3.00000 53 61 4.00000 3.00000 25.0% 241 601s
27636 663 3.00000 59 68 4.00000 3.00000 25.0% 242 611s
28386 755 3.00000 75 77 4.00000 3.00000 25.0% 244 621s
29062 747 3.00000 70 67 4.00000 3.00000 25.0% 244 631s
29765 742 3.00000 40 96 4.00000 3.00000 25.0% 246 642s
29866 844 cutoff 72 4.00000 3.00000 25.0% 246 652s
30452 833 3.00000 70 47 4.00000 3.00000 25.0% 249 663s
30897 893 3.00000 55 59 4.00000 3.00000 25.0% 250 674s
31740 935 cutoff 58 4.00000 3.00000 25.0% 251 685s
32173 970 3.00000 47 82 4.00000 3.00000 25.0% 252 697s
32594 946 3.00000 67 56 4.00000 3.00000 25.0% 253 711s
33509 969 cutoff 70 4.00000 3.00000 25.0% 254 720s
33834 1002 3.00000 60 60 4.00000 3.00000 25.0% 255 730s
34522 1085 infeasible 66 4.00000 3.00000 25.0% 257 740s
35073 1132 3.00000 77 76 4.00000 3.00000 25.0% 257 754s
35360 1073 3.00000 64 70 4.00000 3.00000 25.0% 258 766s
36105 1061 cutoff 56 4.00000 3.00000 25.0% 259 778s
36762 1131 cutoff 61 4.00000 3.00000 25.0% 261 789s
37302 1130 3.00000 89 61 4.00000 3.00000 25.0% 262 800s
37799 1146 cutoff 81 4.00000 3.00000 25.0% 263 812s
38325 1152 3.00000 48 66 4.00000 3.00000 25.0% 264 823s
38918 1134 3.00000 66 90 4.00000 3.00000 25.0% 265 840s
39026 1082 cutoff 66 4.00000 3.00000 25.0% 266 853s
39789 1083 cutoff 66 4.00000 3.00000 25.0% 267 864s
40459 1060 cutoff 62 4.00000 3.00000 25.0% 268 876s
41351 1056 cutoff 66 4.00000 3.00000 25.0% 269 887s
42071 1073 infeasible 62 4.00000 3.00000 25.0% 271 902s
42218 1110 cutoff 53 4.00000 3.00000 25.0% 271 913s
42497 1089 cutoff 99 4.00000 3.00000 25.0% 271 924s
43153 1001 3.00000 63 56 4.00000 3.00000 25.0% 273 935s
43676 1019 infeasible 71 4.00000 3.00000 25.0% 275 960s
44030 881 3.00000 72 56 4.00000 3.00000 25.0% 276 971s
44589 875 3.00000 61 48 4.00000 3.00000 25.0% 278 984s
45272 865 cutoff 64 4.00000 3.00000 25.0% 279 997s
45713 891 3.00000 52 95 4.00000 3.00000 25.0% 280 1009s
46368 837 infeasible 69 4.00000 3.00000 25.0% 281 1021s
46743 857 3.00000 70 72 4.00000 3.00000 25.0% 281 1034s
47482 897 3.00000 87 72 4.00000 3.00000 25.0% 282 1049s
48227 944 cutoff 79 4.00000 3.00000 25.0% 283 1060s
48946 971 infeasible 64 4.00000 3.00000 25.0% 284 1071s
49304 999 cutoff 87 4.00000 3.00000 25.0% 284 1083s
49772 941 cutoff 85 4.00000 3.00000 25.0% 285 1095s
50300 962 cutoff 76 4.00000 3.00000 25.0% 286 1107s
51146 847 cutoff 73 4.00000 3.00000 25.0% 286 1119s
51713 772 cutoff 67 4.00000 3.00000 25.0% 287 1130s
52507 777 3.00000 69 95 4.00000 3.00000 25.0% 287 1145s
52516 898 3.00000 72 75 4.00000 3.00000 25.0% 287 1156s
53175 889 3.00000 70 57 4.00000 3.00000 25.0% 288 1168s
53979 894 cutoff 62 4.00000 3.00000 25.0% 289 1186s
54191 912 3.00000 74 74 4.00000 3.00000 25.0% 289 1198s
54991 852 3.00000 81 70 4.00000 3.00000 25.0% 290 1210s
55659 873 3.00000 70 72 4.00000 3.00000 25.0% 290 1222s
56480 810 cutoff 80 4.00000 3.00000 25.0% 291 1235s
57004 827 3.00000 61 69 4.00000 3.00000 25.0% 291 1246s
57442 725 3.00000 58 78 4.00000 3.00000 25.0% 291 1259s
57956 704 3.00000 83 47 4.00000 3.00000 25.0% 291 1271s
58525 708 3.00000 64 67 4.00000 3.00000 25.0% 291 1285s
58871 712 3.00000 79 68 4.00000 3.00000 25.0% 291 1301s
59593 593 3.00000 75 53 4.00000 3.00000 25.0% 292 1314s
60431 581 3.00000 78 63 4.00000 3.00000 25.0% 292 1327s
61318 564 3.00000 86 122 4.00000 3.00000 25.0% 292 1339s
61921 523 3.00000 80 71 4.00000 3.00000 25.0% 293 1358s
62263 515 3.00000 79 61 4.00000 3.00000 25.0% 293 1371s
62653 478 3.00000 101 75 4.00000 3.00000 25.0% 293 1384s
63236 471 3.00000 72 67 4.00000 3.00000 25.0% 294 1397s
64110 436 cutoff 62 4.00000 3.00000 25.0% 294 1411s
64751 394 cutoff 60 4.00000 3.00000 25.0% 295 1436s
65330 379 cutoff 83 4.00000 3.00000 25.0% 296 1462s
65562 371 3.00000 76 46 4.00000 3.00000 25.0% 296 1475s
66422 296 cutoff 77 4.00000 3.00000 25.0% 296 1488s
67243 294 cutoff 68 4.00000 3.00000 25.0% 296 1502s
67636 194 3.00000 71 81 4.00000 3.00000 25.0% 297 1527s
68398 189 3.00000 68 81 4.00000 3.00000 25.0% 297 1540s
69198 242 3.00000 59 84 4.00000 3.00000 25.0% 298 1553s
70023 199 cutoff 77 4.00000 3.00000 25.0% 298 1562s
70332 180 infeasible 55 4.00000 3.00000 25.0% 298 1573s
71031 153 3.00000 69 94 4.00000 3.00000 25.0% 299 1583s
71657 144 cutoff 72 4.00000 3.00000 25.0% 299 1603s
72086 123 3.00000 65 62 4.00000 3.00000 25.0% 299 1614s
72273 76 infeasible 58 4.00000 3.00000 25.0% 300 1624s
72767 69 infeasible 55 4.00000 3.00000 25.0% 301 1634s
72918 116 cutoff 86 4.00000 3.00000 25.0% 301 1643s
73503 216 3.00000 53 78 4.00000 3.00000 25.0% 301 1653s
74293 270 3.00000 59 89 4.00000 3.00000 25.0% 301 1665s
74891 304 cutoff 59 4.00000 3.00000 25.0% 301 1677s
75849 360 3.00000 66 41 4.00000 3.00000 25.0% 301 1689s
76453 376 infeasible 61 4.00000 3.00000 25.0% 301 1701s
77216 372 cutoff 81 4.00000 3.00000 25.0% 302 1713s
77788 399 cutoff 59 4.00000 3.00000 25.0% 302 1727s
78199 412 3.00000 65 69 4.00000 3.00000 25.0% 303 1741s
78650 495 3.00000 63 70 4.00000 3.00000 25.0% 302 1756s
79495 486 3.00000 77 81 4.00000 3.00000 25.0% 303 1789s
80113 510 3.00000 65 64 4.00000 3.00000 25.0% 303 1817s
81404 517 3.00000 73 66 4.00000 3.00000 25.0% 303 1855s
82314 452 3.00000 55 65 4.00000 3.00000 25.0% 303 1874s
83251 484 cutoff 60 4.00000 3.00000 25.0% 304 1892s
83684 445 3.00000 66 89 4.00000 3.00000 25.0% 304 1910s
84751 414 3.00000 63 45 4.00000 3.00000 25.0% 305 1933s
85257 457 3.00000 64 54 4.00000 3.00000 25.0% 305 1960s
86271 439 3.00000 88 71 4.00000 3.00000 25.0% 305 1982s
86709 496 infeasible 83 4.00000 3.00000 25.0% 305 2005s
87568 579 cutoff 75 4.00000 3.00000 25.0% 305 2020s
88449 621 3.00000 75 71 4.00000 3.00000 25.0% 306 2036s
88938 566 3.00000 86 92 4.00000 3.00000 25.0% 306 2054s
89868 571 infeasible 66 4.00000 3.00000 25.0% 306 2069s
90698 589 3.00000 63 58 4.00000 3.00000 25.0% 307 2085s
91062 641 cutoff 73 4.00000 3.00000 25.0% 307 2109s
92406 656 infeasible 63 4.00000 3.00000 25.0% 307 2130s
92669 645 3.00000 65 63 4.00000 3.00000 25.0% 307 2154s
92867 620 cutoff 66 4.00000 3.00000 25.0% 307 2170s
93844 637 cutoff 76 4.00000 3.00000 25.0% 308 2186s
94630 652 cutoff 101 4.00000 3.00000 25.0% 308 2203s
95233 664 cutoff 73 4.00000 3.00000 25.0% 308 2218s
96149 654 3.00000 83 70 4.00000 3.00000 25.0% 309 2232s
97079 641 3.00000 90 59 4.00000 3.00000 25.0% 309 2245s
98026 641 3.00000 74 69 4.00000 3.00000 25.0% 309 2259s
98573 633 cutoff 106 4.00000 3.00000 25.0% 309 2271s
99510 615 3.00000 84 68 4.00000 3.00000 25.0% 309 2284s
100371 652 infeasible 102 4.00000 3.00000 25.0% 309 2301s
100674 513 3.00000 72 75 4.00000 3.00000 25.0% 309 2313s
101468 551 3.00000 63 83 4.00000 3.00000 25.0% 309 2326s
101745 545 cutoff 116 4.00000 3.00000 25.0% 310 2339s
102641 467 3.00000 78 65 4.00000 3.00000 25.0% 309 2351s
103465 463 3.00000 81 81 4.00000 3.00000 25.0% 310 2363s
104196 430 infeasible 89 4.00000 3.00000 25.0% 310 2375s
104982 386 3.00000 62 61 4.00000 3.00000 25.0% 310 2388s
105622 372 cutoff 64 4.00000 3.00000 25.0% 310 2401s
106202 354 infeasible 78 4.00000 3.00000 25.0% 311 2414s
106595 354 3.00000 84 75 4.00000 3.00000 25.0% 311 2427s
107170 340 cutoff 94 4.00000 3.00000 25.0% 311 2439s
108037 353 3.00000 69 45 4.00000 3.00000 25.0% 311 2469s
108467 325 cutoff 72 4.00000 3.00000 25.0% 311 2485s
109474 317 3.00000 65 60 4.00000 3.00000 25.0% 311 2495s
109919 258 cutoff 69 4.00000 3.00000 25.0% 311 2514s
110584 259 3.00000 67 67 4.00000 3.00000 25.0% 311 2526s
111106 248 3.00000 64 75 4.00000 3.00000 25.0% 311 2539s
111883 222 infeasible 85 4.00000 3.00000 25.0% 311 2571s
112399 150 3.00000 68 71 4.00000 3.00000 25.0% 312 2585s
112951 102 3.00000 61 49 4.00000 3.00000 25.0% 312 2596s
113665 80 cutoff 52 4.00000 3.00000 25.0% 312 2608s
114136 71 3.00000 81 97 4.00000 3.00000 25.0% 312 2617s
114676 161 cutoff 57 4.00000 3.00000 25.0% 312 2626s
115037 142 3.00000 59 66 4.00000 3.00000 25.0% 312 2637s
115516 152 cutoff 59 4.00000 3.00000 25.0% 312 2649s
115926 110 cutoff 62 4.00000 3.00000 25.0% 313 2664s
116101 96 infeasible 49 4.00000 3.00000 25.0% 313 2676s
116381 94 3.00000 74 105 4.00000 3.00000 25.0% 313 2686s
116910 40 infeasible 55 4.00000 3.00000 25.0% 313 2696s
117430 23 cutoff 63 4.00000 3.00000 25.0% 313 2705s
117838 23 cutoff 65 4.00000 3.00000 25.0% 313 2714s
118105 0 3.00000 68 57 4.00000 3.00000 25.0% 313 2717s
Cutting planes:
Learned: 1
Gomory: 1
Cover: 114
Implied bound: 98
Projected implied bound: 98
Clique: 42
MIR: 113
StrongCG: 58
Flow cover: 91
GUB cover: 81
Inf proof: 5
Zero half: 19
RLT: 198
Relax-and-lift: 39
Explored 118298 nodes (37699523 simplex iterations) in 2717.88 seconds
Thread count was 4 (of 24 available processors)
Solution count 2: 4 5
Optimal solution found (tolerance 1.00e-04)
Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0000%
Gurobi Optimizer version 9.1.1 build v9.1.1rc0 (linux64)
Thread count: 12 physical cores, 24 logical processors, using up to 4 threads
Optimize a model with 5148 rows, 3796 columns and 29597 nonzeros
Model fingerprint: 0x38ff55ed
Coefficient statistics:
Matrix range [1e+00, 1e+03]
Objective range [1e+00, 1e+00]
Bounds range [1e+00, 1e+03]
RHS range [1e+00, 1e+03]
Iteration Objective Primal Inf. Dual Inf. Time
0 handle free variables 0s
71 4.0000000e+00 0.000000e+00 0.000000e+00 0s
Solved in 71 iterations and 0.01 seconds
Optimal objective 4.000000000e+00
Gurobi 9.1.1: optimal solution; objective 4
37699523 simplex iterations
118298 branch-and-cut nodes
plus 71 simplex iterations for intbasis
**************************************************************
**************************************************************
X [*,*,1]
: 1 5 10 15 20 101 103 109 112 116 200 :=
0 1.0 0.0 0.0 0.0 0.0 . . . . . 0.0
1 . . . . . 0.0 0.0 0.0 1.0 0.0 .
5 . . . . . 0.0 0.0 0.0 0.0 1.0 .
10 . . . . . 1.0 0.0 0.0 0.0 0.0 .
15 . . . . . 0.0 1.0 0.0 0.0 0.0 .
20 . . . . . 0.0 0.0 1.0 0.0 0.0 .
101 0.0 0.0 0.0 1.0 0.0 . . . . . 0.0
103 0.0 0.0 0.0 0.0 1.0 . . . . . 0.0
109 0.0 0.0 0.0 0.0 0.0 . . . . . 1.0
112 0.0 1.0 0.0 0.0 0.0 . . . . . 0.0
116 0.0 0.0 1.0 0.0 0.0 . . . . . 0.0
[*,*,2]
: 3 6 16 19 100 106 110 113 200 :=
0 1.0 0.0 0.0 0.0 . . . . 0.0
3 . . . . 0.0 0.0 0.0 1.0 .
6 . . . . 1.0 0.0 0.0 0.0 .
16 . . . . 0.0 1.0 0.0 0.0 .
19 . . . . 0.0 0.0 1.0 0.0 .
100 0.0 0.0 1.0 0.0 . . . . 0.0
106 0.0 0.0 0.0 1.0 . . . . 0.0
110 0.0 0.0 0.0 0.0 . . . . 1.0
113 0.0 1.0 0.0 0.0 . . . . 0.0
[*,*,3]
: 2 7 12 17 105 108 114 117 200 :=
0 1.0 0.0 0.0 0.0 . . . . 0.0
2 . . . . 0.0 0.0 1.0 0.0 .
7 . . . . 0.0 0.0 0.0 1.0 .
12 . . . . 1.0 0.0 0.0 0.0 .
17 . . . . 0.0 1.0 0.0 0.0 .
105 0.0 0.0 0.0 1.0 . . . . 0.0
108 0.0 0.0 0.0 0.0 . . . . 1.0
114 0.0 1.0 0.0 0.0 . . . . 0.0
117 0.0 0.0 1.0 0.0 . . . . 0.0
[*,*,4]
[*,*,5]
: 4 9 13 18 22 102 104 107 111 115 200 :=
0 1.0 0.0 0.0 0.0 0.0 . . . . . 0.0
4 . . . . . 0.0 0.0 0.0 0.0 1.0 .
9 . . . . . 0.0 1.0 0.0 0.0 0.0 .
13 . . . . . 1.0 0.0 0.0 0.0 0.0 .
18 . . . . . 0.0 0.0 1.0 0.0 0.0 .
22 . . . . . 0.0 0.0 0.0 1.0 0.0 .
102 0.0 0.0 0.0 1.0 0.0 . . . . . 0.0
104 0.0 0.0 1.0 0.0 0.0 . . . . . 0.0
107 0.0 0.0 0.0 0.0 1.0 . . . . . 0.0
111 0.0 0.0 0.0 0.0 0.0 . . . . . 1.0
115 0.0 1.0 0.0 0.0 0.0 . . . . . 0.0
;
W [*] :=
0 450.0 8 590.0 16 751.0 24 920.0 105 710.0 113 516.0
1 450.0 9 610.0 17 771.0 25 940.0 106 770.0 114 512.0
2 470.0 10 630.0 18 791.0 26 960.0 107 810.0 115 552.0
3 490.0 11 650.0 19 811.0 100 641.0 108 818.0 116 572.0
4 510.0 12 670.0 20 832.0 101 671.0 109 878.0 117 612.0
5 530.0 13 690.0 21 852.0 102 731.0 110 903.0 200 993.0
6 550.0 14 711.0 22 872.0 103 772.0 111 928.0
7 570.0 15 731.0 23 900.0 104 650.0 112 480.0
Checking ampl.com for gurobi_options...
Executing AMPL.
processing data.
processing commands.
Executing on prod-exec-4.neos-server.org
Presolve eliminates 2528 constraints and 1155 variables.
Adjusted problem:
3796 variables:
3750 binary variables
46 linear variables
5148 constraints, all linear; 29597 nonzeros
220 equality constraints
4928 inequality constraints
1 linear objective; 135 nonzeros.
Gurobi 9.1.1: outlev 1
threads=4
Gurobi Optimizer version 9.1.1 build v9.1.1rc0 (linux64)
Thread count: 12 physical cores, 24 logical processors, using up to 4 threads
Optimize a model with 5148 rows, 3796 columns and 29597 nonzeros
Model fingerprint: 0xd9769db3
Variable types: 46 continuous, 3750 integer (3750 binary)
Coefficient statistics:
Matrix range [1e+00, 1e+03]
Objective range [1e+00, 1e+00]
Bounds range [1e+00, 1e+03]
RHS range [1e+00, 1e+03]
Presolve removed 2523 rows and 1362 columns
Presolve time: 0.07s
Presolved: 2625 rows, 2434 columns, 15458 nonzeros
Variable types: 40 continuous, 2394 integer (2394 binary)
Root relaxation: objective 2.000000e+00, 1182 iterations, 0.09 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 110 - 2.00000 - - 0s
0 0 2.00000 0 147 - 2.00000 - - 0s
0 0 2.00000 0 149 - 2.00000 - - 0s
0 0 2.00000 0 118 - 2.00000 - - 1s
0 0 2.00000 0 119 - 2.00000 - - 2s
0 0 2.16667 0 65 - 2.16667 - - 2s
0 0 2.16667 0 95 - 2.16667 - - 2s
0 0 2.33333 0 134 - 2.33333 - - 3s
0 0 2.33333 0 148 - 2.33333 - - 3s
0 0 2.33333 0 166 - 2.33333 - - 3s
0 0 2.33333 0 157 - 2.33333 - - 3s
0 0 2.33333 0 73 - 2.33333 - - 3s
0 0 2.33333 0 93 - 2.33333 - - 3s
0 0 2.33333 0 63 - 2.33333 - - 4s
0 0 2.33333 0 153 - 2.33333 - - 4s
0 0 2.40000 0 110 - 2.40000 - - 5s
0 0 2.40000 0 158 - 2.40000 - - 5s
0 0 2.57143 0 180 - 2.57143 - - 5s
0 0 2.57143 0 183 - 2.57143 - - 6s
0 0 2.57143 0 199 - 2.57143 - - 6s
0 0 2.57143 0 196 - 2.57143 - - 6s
0 0 2.57143 0 92 - 2.57143 - - 7s
0 0 2.57143 0 140 - 2.57143 - - 7s
0 0 2.57143 0 103 - 2.57143 - - 8s
0 0 2.57143 0 103 - 2.57143 - - 8s
0 2 2.57143 0 90 - 2.57143 - - 9s
15 18 3.00000 4 114 - 3.00000 - 546 10s
* 251 125 52 5.0000000 3.00000 40.0% 136 10s
H 615 244 4.0000000 3.00000 25.0% 115 13s
965 238 infeasible 42 4.00000 3.00000 25.0% 123 15s
1654 259 cutoff 12 4.00000 3.00000 25.0% 132 20s
2372 326 3.00000 43 112 4.00000 3.00000 25.0% 139 26s
3021 448 infeasible 26 4.00000 3.00000 25.0% 144 31s
3430 498 3.00000 19 82 4.00000 3.00000 25.0% 147 35s
4135 605 3.00000 8 125 4.00000 3.00000 25.0% 144 40s
4147 615 3.00000 53 52 4.00000 3.00000 25.0% 150 45s
4156 621 3.00000 54 48 4.00000 3.00000 25.0% 150 50s
4179 628 3.00000 27 78 4.00000 3.00000 25.0% 14.4 55s
4262 633 3.00000 31 83 4.00000 3.00000 25.0% 23.4 60s
4422 607 3.00000 34 57 4.00000 3.00000 25.0% 38.5 66s
4589 539 infeasible 34 4.00000 3.00000 25.0% 49.9 74s
4669 520 3.00000 35 67 4.00000 3.00000 25.0% 55.5 76s
4878 479 infeasible 44 4.00000 3.00000 25.0% 67.7 81s
5008 439 infeasible 49 4.00000 3.00000 25.0% 77.8 85s
5218 367 infeasible 57 4.00000 3.00000 25.0% 88.1 92s
5328 356 3.00000 35 98 4.00000 3.00000 25.0% 94.7 95s
5498 298 3.00000 33 96 4.00000 3.00000 25.0% 103 102s
5536 298 3.00000 31 66 4.00000 3.00000 25.0% 105 106s
5807 237 3.00000 39 68 4.00000 3.00000 25.0% 115 113s
5982 212 3.00000 39 112 4.00000 3.00000 25.0% 120 118s
6373 230 infeasible 52 4.00000 3.00000 25.0% 129 124s
6725 285 3.00000 49 78 4.00000 3.00000 25.0% 135 137s
7068 267 infeasible 49 4.00000 3.00000 25.0% 140 144s
7567 280 infeasible 62 4.00000 3.00000 25.0% 150 151s
8136 284 3.00000 60 64 4.00000 3.00000 25.0% 157 158s
8674 252 infeasible 43 4.00000 3.00000 25.0% 163 165s
9239 299 infeasible 46 4.00000 3.00000 25.0% 170 172s
9633 308 3.00000 47 54 4.00000 3.00000 25.0% 172 180s
10292 436 infeasible 68 4.00000 3.00000 25.0% 176 187s
10946 432 3.00000 47 51 4.00000 3.00000 25.0% 178 197s
11349 482 infeasible 48 4.00000 3.00000 25.0% 181 207s
12029 467 3.00000 56 80 4.00000 3.00000 25.0% 184 218s
12439 338 3.00000 56 47 4.00000 3.00000 25.0% 185 228s
13390 322 infeasible 55 4.00000 3.00000 25.0% 188 236s
13757 336 3.00000 43 88 4.00000 3.00000 25.0% 191 251s
13817 387 infeasible 41 4.00000 3.00000 25.0% 192 261s
14218 385 3.00000 50 88 4.00000 3.00000 25.0% 197 271s
14976 383 infeasible 67 4.00000 3.00000 25.0% 201 282s
15354 397 3.00000 55 68 4.00000 3.00000 25.0% 203 292s
16184 405 3.00000 54 82 4.00000 3.00000 25.0% 206 302s
17004 401 3.00000 78 66 4.00000 3.00000 25.0% 208 319s
17313 419 3.00000 66 54 4.00000 3.00000 25.0% 210 329s
18053 302 infeasible 66 4.00000 3.00000 25.0% 213 339s
18932 266 3.00000 74 56 4.00000 3.00000 25.0% 214 350s
19380 182 3.00000 53 76 4.00000 3.00000 25.0% 214 360s
20244 135 infeasible 47 4.00000 3.00000 25.0% 215 370s
20787 106 3.00000 57 40 4.00000 3.00000 25.0% 216 378s
21365 106 3.00000 38 54 4.00000 3.00000 25.0% 217 386s
21501 89 infeasible 47 4.00000 3.00000 25.0% 217 394s
21874 84 3.00000 41 81 4.00000 3.00000 25.0% 220 403s
21975 176 3.00000 42 80 4.00000 3.00000 25.0% 220 411s
22282 177 3.00000 57 103 4.00000 3.00000 25.0% 223 426s
22287 180 3.00000 48 97 4.00000 3.00000 25.0% 223 431s
22290 182 3.00000 33 142 4.00000 3.00000 25.0% 223 436s
22292 184 3.00000 42 115 4.00000 3.00000 25.0% 223 440s
22294 185 3.00000 35 68 4.00000 3.00000 25.0% 223 446s
22305 188 3.00000 38 79 4.00000 3.00000 25.0% 225 450s
22332 195 3.00000 41 97 4.00000 3.00000 25.0% 225 455s
22365 188 3.00000 44 74 4.00000 3.00000 25.0% 225 460s
22424 174 cutoff 52 4.00000 3.00000 25.0% 225 466s
22538 143 3.00000 42 51 4.00000 3.00000 25.0% 225 473s
22618 142 3.00000 56 66 4.00000 3.00000 25.0% 225 476s
22789 111 3.00000 42 100 4.00000 3.00000 25.0% 225 482s
22874 94 3.00000 52 69 4.00000 3.00000 25.0% 226 487s
22943 106 infeasible 52 4.00000 3.00000 25.0% 226 491s
23056 138 3.00000 56 78 4.00000 3.00000 25.0% 227 496s
23309 164 cutoff 66 4.00000 3.00000 25.0% 227 502s
23542 184 cutoff 58 4.00000 3.00000 25.0% 229 509s
23685 237 cutoff 63 4.00000 3.00000 25.0% 229 516s
24064 253 3.00000 69 76 4.00000 3.00000 25.0% 230 525s
24501 314 3.00000 61 67 4.00000 3.00000 25.0% 232 533s
24823 309 3.00000 64 43 4.00000 3.00000 25.0% 233 544s
25062 418 3.00000 57 64 4.00000 3.00000 25.0% 233 553s
25625 472 infeasible 77 4.00000 3.00000 25.0% 235 561s
26043 498 3.00000 63 65 4.00000 3.00000 25.0% 237 573s
26287 554 infeasible 62 4.00000 3.00000 25.0% 238 582s
26868 594 cutoff 82 4.00000 3.00000 25.0% 240 591s
27346 626 3.00000 53 61 4.00000 3.00000 25.0% 241 601s
27636 663 3.00000 59 68 4.00000 3.00000 25.0% 242 611s
28386 755 3.00000 75 77 4.00000 3.00000 25.0% 244 621s
29062 747 3.00000 70 67 4.00000 3.00000 25.0% 244 631s
29765 742 3.00000 40 96 4.00000 3.00000 25.0% 246 642s
29866 844 cutoff 72 4.00000 3.00000 25.0% 246 652s
30452 833 3.00000 70 47 4.00000 3.00000 25.0% 249 663s
30897 893 3.00000 55 59 4.00000 3.00000 25.0% 250 674s
31740 935 cutoff 58 4.00000 3.00000 25.0% 251 685s
32173 970 3.00000 47 82 4.00000 3.00000 25.0% 252 697s
32594 946 3.00000 67 56 4.00000 3.00000 25.0% 253 711s
33509 969 cutoff 70 4.00000 3.00000 25.0% 254 720s
33834 1002 3.00000 60 60 4.00000 3.00000 25.0% 255 730s
34522 1085 infeasible 66 4.00000 3.00000 25.0% 257 740s
35073 1132 3.00000 77 76 4.00000 3.00000 25.0% 257 754s
35360 1073 3.00000 64 70 4.00000 3.00000 25.0% 258 766s
36105 1061 cutoff 56 4.00000 3.00000 25.0% 259 778s
36762 1131 cutoff 61 4.00000 3.00000 25.0% 261 789s
37302 1130 3.00000 89 61 4.00000 3.00000 25.0% 262 800s
37799 1146 cutoff 81 4.00000 3.00000 25.0% 263 812s
38325 1152 3.00000 48 66 4.00000 3.00000 25.0% 264 823s
38918 1134 3.00000 66 90 4.00000 3.00000 25.0% 265 840s
39026 1082 cutoff 66 4.00000 3.00000 25.0% 266 853s
39789 1083 cutoff 66 4.00000 3.00000 25.0% 267 864s
40459 1060 cutoff 62 4.00000 3.00000 25.0% 268 876s
41351 1056 cutoff 66 4.00000 3.00000 25.0% 269 887s
42071 1073 infeasible 62 4.00000 3.00000 25.0% 271 902s
42218 1110 cutoff 53 4.00000 3.00000 25.0% 271 913s
42497 1089 cutoff 99 4.00000 3.00000 25.0% 271 924s
43153 1001 3.00000 63 56 4.00000 3.00000 25.0% 273 935s
43676 1019 infeasible 71 4.00000 3.00000 25.0% 275 960s
44030 881 3.00000 72 56 4.00000 3.00000 25.0% 276 971s
44589 875 3.00000 61 48 4.00000 3.00000 25.0% 278 984s
45272 865 cutoff 64 4.00000 3.00000 25.0% 279 997s
45713 891 3.00000 52 95 4.00000 3.00000 25.0% 280 1009s
46368 837 infeasible 69 4.00000 3.00000 25.0% 281 1021s
46743 857 3.00000 70 72 4.00000 3.00000 25.0% 281 1034s
47482 897 3.00000 87 72 4.00000 3.00000 25.0% 282 1049s
48227 944 cutoff 79 4.00000 3.00000 25.0% 283 1060s
48946 971 infeasible 64 4.00000 3.00000 25.0% 284 1071s
49304 999 cutoff 87 4.00000 3.00000 25.0% 284 1083s
49772 941 cutoff 85 4.00000 3.00000 25.0% 285 1095s
50300 962 cutoff 76 4.00000 3.00000 25.0% 286 1107s
51146 847 cutoff 73 4.00000 3.00000 25.0% 286 1119s
51713 772 cutoff 67 4.00000 3.00000 25.0% 287 1130s
52507 777 3.00000 69 95 4.00000 3.00000 25.0% 287 1145s
52516 898 3.00000 72 75 4.00000 3.00000 25.0% 287 1156s
53175 889 3.00000 70 57 4.00000 3.00000 25.0% 288 1168s
53979 894 cutoff 62 4.00000 3.00000 25.0% 289 1186s
54191 912 3.00000 74 74 4.00000 3.00000 25.0% 289 1198s
54991 852 3.00000 81 70 4.00000 3.00000 25.0% 290 1210s
55659 873 3.00000 70 72 4.00000 3.00000 25.0% 290 1222s
56480 810 cutoff 80 4.00000 3.00000 25.0% 291 1235s
57004 827 3.00000 61 69 4.00000 3.00000 25.0% 291 1246s
57442 725 3.00000 58 78 4.00000 3.00000 25.0% 291 1259s
57956 704 3.00000 83 47 4.00000 3.00000 25.0% 291 1271s
58525 708 3.00000 64 67 4.00000 3.00000 25.0% 291 1285s
58871 712 3.00000 79 68 4.00000 3.00000 25.0% 291 1301s
59593 593 3.00000 75 53 4.00000 3.00000 25.0% 292 1314s
60431 581 3.00000 78 63 4.00000 3.00000 25.0% 292 1327s
61318 564 3.00000 86 122 4.00000 3.00000 25.0% 292 1339s
61921 523 3.00000 80 71 4.00000 3.00000 25.0% 293 1358s
62263 515 3.00000 79 61 4.00000 3.00000 25.0% 293 1371s
62653 478 3.00000 101 75 4.00000 3.00000 25.0% 293 1384s
63236 471 3.00000 72 67 4.00000 3.00000 25.0% 294 1397s
64110 436 cutoff 62 4.00000 3.00000 25.0% 294 1411s
64751 394 cutoff 60 4.00000 3.00000 25.0% 295 1436s
65330 379 cutoff 83 4.00000 3.00000 25.0% 296 1462s
65562 371 3.00000 76 46 4.00000 3.00000 25.0% 296 1475s
66422 296 cutoff 77 4.00000 3.00000 25.0% 296 1488s
67243 294 cutoff 68 4.00000 3.00000 25.0% 296 1502s
67636 194 3.00000 71 81 4.00000 3.00000 25.0% 297 1527s
68398 189 3.00000 68 81 4.00000 3.00000 25.0% 297 1540s
69198 242 3.00000 59 84 4.00000 3.00000 25.0% 298 1553s
70023 199 cutoff 77 4.00000 3.00000 25.0% 298 1562s
70332 180 infeasible 55 4.00000 3.00000 25.0% 298 1573s
71031 153 3.00000 69 94 4.00000 3.00000 25.0% 299 1583s
71657 144 cutoff 72 4.00000 3.00000 25.0% 299 1603s
72086 123 3.00000 65 62 4.00000 3.00000 25.0% 299 1614s
72273 76 infeasible 58 4.00000 3.00000 25.0% 300 1624s
72767 69 infeasible 55 4.00000 3.00000 25.0% 301 1634s
72918 116 cutoff 86 4.00000 3.00000 25.0% 301 1643s
73503 216 3.00000 53 78 4.00000 3.00000 25.0% 301 1653s
74293 270 3.00000 59 89 4.00000 3.00000 25.0% 301 1665s
74891 304 cutoff 59 4.00000 3.00000 25.0% 301 1677s
75849 360 3.00000 66 41 4.00000 3.00000 25.0% 301 1689s
76453 376 infeasible 61 4.00000 3.00000 25.0% 301 1701s
77216 372 cutoff 81 4.00000 3.00000 25.0% 302 1713s
77788 399 cutoff 59 4.00000 3.00000 25.0% 302 1727s
78199 412 3.00000 65 69 4.00000 3.00000 25.0% 303 1741s
78650 495 3.00000 63 70 4.00000 3.00000 25.0% 302 1756s
79495 486 3.00000 77 81 4.00000 3.00000 25.0% 303 1789s
80113 510 3.00000 65 64 4.00000 3.00000 25.0% 303 1817s
81404 517 3.00000 73 66 4.00000 3.00000 25.0% 303 1855s
82314 452 3.00000 55 65 4.00000 3.00000 25.0% 303 1874s
83251 484 cutoff 60 4.00000 3.00000 25.0% 304 1892s
83684 445 3.00000 66 89 4.00000 3.00000 25.0% 304 1910s
84751 414 3.00000 63 45 4.00000 3.00000 25.0% 305 1933s
85257 457 3.00000 64 54 4.00000 3.00000 25.0% 305 1960s
86271 439 3.00000 88 71 4.00000 3.00000 25.0% 305 1982s
86709 496 infeasible 83 4.00000 3.00000 25.0% 305 2005s
87568 579 cutoff 75 4.00000 3.00000 25.0% 305 2020s
88449 621 3.00000 75 71 4.00000 3.00000 25.0% 306 2036s
88938 566 3.00000 86 92 4.00000 3.00000 25.0% 306 2054s
89868 571 infeasible 66 4.00000 3.00000 25.0% 306 2069s
90698 589 3.00000 63 58 4.00000 3.00000 25.0% 307 2085s
91062 641 cutoff 73 4.00000 3.00000 25.0% 307 2109s
92406 656 infeasible 63 4.00000 3.00000 25.0% 307 2130s
92669 645 3.00000 65 63 4.00000 3.00000 25.0% 307 2154s
92867 620 cutoff 66 4.00000 3.00000 25.0% 307 2170s
93844 637 cutoff 76 4.00000 3.00000 25.0% 308 2186s
94630 652 cutoff 101 4.00000 3.00000 25.0% 308 2203s
95233 664 cutoff 73 4.00000 3.00000 25.0% 308 2218s
96149 654 3.00000 83 70 4.00000 3.00000 25.0% 309 2232s
97079 641 3.00000 90 59 4.00000 3.00000 25.0% 309 2245s
98026 641 3.00000 74 69 4.00000 3.00000 25.0% 309 2259s
98573 633 cutoff 106 4.00000 3.00000 25.0% 309 2271s
99510 615 3.00000 84 68 4.00000 3.00000 25.0% 309 2284s
100371 652 infeasible 102 4.00000 3.00000 25.0% 309 2301s
100674 513 3.00000 72 75 4.00000 3.00000 25.0% 309 2313s
101468 551 3.00000 63 83 4.00000 3.00000 25.0% 309 2326s
101745 545 cutoff 116 4.00000 3.00000 25.0% 310 2339s
102641 467 3.00000 78 65 4.00000 3.00000 25.0% 309 2351s
103465 463 3.00000 81 81 4.00000 3.00000 25.0% 310 2363s
104196 430 infeasible 89 4.00000 3.00000 25.0% 310 2375s
104982 386 3.00000 62 61 4.00000 3.00000 25.0% 310 2388s
105622 372 cutoff 64 4.00000 3.00000 25.0% 310 2401s
106202 354 infeasible 78 4.00000 3.00000 25.0% 311 2414s
106595 354 3.00000 84 75 4.00000 3.00000 25.0% 311 2427s
107170 340 cutoff 94 4.00000 3.00000 25.0% 311 2439s
108037 353 3.00000 69 45 4.00000 3.00000 25.0% 311 2469s
108467 325 cutoff 72 4.00000 3.00000 25.0% 311 2485s
109474 317 3.00000 65 60 4.00000 3.00000 25.0% 311 2495s
109919 258 cutoff 69 4.00000 3.00000 25.0% 311 2514s
110584 259 3.00000 67 67 4.00000 3.00000 25.0% 311 2526s
111106 248 3.00000 64 75 4.00000 3.00000 25.0% 311 2539s
111883 222 infeasible 85 4.00000 3.00000 25.0% 311 2571s
112399 150 3.00000 68 71 4.00000 3.00000 25.0% 312 2585s
112951 102 3.00000 61 49 4.00000 3.00000 25.0% 312 2596s
113665 80 cutoff 52 4.00000 3.00000 25.0% 312 2608s
114136 71 3.00000 81 97 4.00000 3.00000 25.0% 312 2617s
114676 161 cutoff 57 4.00000 3.00000 25.0% 312 2626s
115037 142 3.00000 59 66 4.00000 3.00000 25.0% 312 2637s
115516 152 cutoff 59 4.00000 3.00000 25.0% 312 2649s
115926 110 cutoff 62 4.00000 3.00000 25.0% 313 2664s
116101 96 infeasible 49 4.00000 3.00000 25.0% 313 2676s
116381 94 3.00000 74 105 4.00000 3.00000 25.0% 313 2686s
116910 40 infeasible 55 4.00000 3.00000 25.0% 313 2696s
117430 23 cutoff 63 4.00000 3.00000 25.0% 313 2705s
117838 23 cutoff 65 4.00000 3.00000 25.0% 313 2714s
118105 0 3.00000 68 57 4.00000 3.00000 25.0% 313 2717s
Cutting planes:
Learned: 1
Gomory: 1
Cover: 114
Implied bound: 98
Projected implied bound: 98
Clique: 42
MIR: 113
StrongCG: 58
Flow cover: 91
GUB cover: 81
Inf proof: 5
Zero half: 19
RLT: 198
Relax-and-lift: 39
Explored 118298 nodes (37699523 simplex iterations) in 2717.88 seconds
Thread count was 4 (of 24 available processors)
Solution count 2: 4 5
Optimal solution found (tolerance 1.00e-04)
Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0000%
Gurobi Optimizer version 9.1.1 build v9.1.1rc0 (linux64)
Thread count: 12 physical cores, 24 logical processors, using up to 4 threads
Optimize a model with 5148 rows, 3796 columns and 29597 nonzeros
Model fingerprint: 0x38ff55ed
Coefficient statistics:
Matrix range [1e+00, 1e+03]
Objective range [1e+00, 1e+00]
Bounds range [1e+00, 1e+03]
RHS range [1e+00, 1e+03]
Iteration Objective Primal Inf. Dual Inf. Time
0 handle free variables 0s
71 4.0000000e+00 0.000000e+00 0.000000e+00 0s
Solved in 71 iterations and 0.01 seconds
Optimal objective 4.000000000e+00
Gurobi 9.1.1: optimal solution; objective 4
37699523 simplex iterations
118298 branch-and-cut nodes
plus 71 simplex iterations for intbasis
**************************************************************
**************************************************************
X [*,*,1]
: 1 5 10 15 20 101 103 109 112 116 200 :=
0 1.0 0.0 0.0 0.0 0.0 . . . . . 0.0
1 . . . . . 0.0 0.0 0.0 1.0 0.0 .
5 . . . . . 0.0 0.0 0.0 0.0 1.0 .
10 . . . . . 1.0 0.0 0.0 0.0 0.0 .
15 . . . . . 0.0 1.0 0.0 0.0 0.0 .
20 . . . . . 0.0 0.0 1.0 0.0 0.0 .
101 0.0 0.0 0.0 1.0 0.0 . . . . . 0.0
103 0.0 0.0 0.0 0.0 1.0 . . . . . 0.0
109 0.0 0.0 0.0 0.0 0.0 . . . . . 1.0
112 0.0 1.0 0.0 0.0 0.0 . . . . . 0.0
116 0.0 0.0 1.0 0.0 0.0 . . . . . 0.0
[*,*,2]
: 3 6 16 19 100 106 110 113 200 :=
0 1.0 0.0 0.0 0.0 . . . . 0.0
3 . . . . 0.0 0.0 0.0 1.0 .
6 . . . . 1.0 0.0 0.0 0.0 .
16 . . . . 0.0 1.0 0.0 0.0 .
19 . . . . 0.0 0.0 1.0 0.0 .
100 0.0 0.0 1.0 0.0 . . . . 0.0
106 0.0 0.0 0.0 1.0 . . . . 0.0
110 0.0 0.0 0.0 0.0 . . . . 1.0
113 0.0 1.0 0.0 0.0 . . . . 0.0
[*,*,3]
: 2 7 12 17 105 108 114 117 200 :=
0 1.0 0.0 0.0 0.0 . . . . 0.0
2 . . . . 0.0 0.0 1.0 0.0 .
7 . . . . 0.0 0.0 0.0 1.0 .
12 . . . . 1.0 0.0 0.0 0.0 .
17 . . . . 0.0 1.0 0.0 0.0 .
105 0.0 0.0 0.0 1.0 . . . . 0.0
108 0.0 0.0 0.0 0.0 . . . . 1.0
114 0.0 1.0 0.0 0.0 . . . . 0.0
117 0.0 0.0 1.0 0.0 . . . . 0.0
[*,*,4]
[*,*,5]
: 4 9 13 18 22 102 104 107 111 115 200 :=
0 1.0 0.0 0.0 0.0 0.0 . . . . . 0.0
4 . . . . . 0.0 0.0 0.0 0.0 1.0 .
9 . . . . . 0.0 1.0 0.0 0.0 0.0 .
13 . . . . . 1.0 0.0 0.0 0.0 0.0 .
18 . . . . . 0.0 0.0 1.0 0.0 0.0 .
22 . . . . . 0.0 0.0 0.0 1.0 0.0 .
102 0.0 0.0 0.0 1.0 0.0 . . . . . 0.0
104 0.0 0.0 1.0 0.0 0.0 . . . . . 0.0
107 0.0 0.0 0.0 0.0 1.0 . . . . . 0.0
111 0.0 0.0 0.0 0.0 0.0 . . . . . 1.0
115 0.0 1.0 0.0 0.0 0.0 . . . . . 0.0
;
W [*] :=
0 450.0 8 590.0 16 751.0 24 920.0 105 710.0 113 516.0
1 450.0 9 610.0 17 771.0 25 940.0 106 770.0 114 512.0
2 470.0 10 630.0 18 791.0 26 960.0 107 810.0 115 552.0
3 490.0 11 650.0 19 811.0 100 641.0 108 818.0 116 572.0
4 510.0 12 670.0 20 832.0 101 671.0 109 878.0 117 612.0
5 530.0 13 690.0 21 852.0 102 731.0 110 903.0 200 993.0
6 550.0 14 711.0 22 872.0 103 772.0 111 928.0
7 570.0 15 731.0 23 900.0 104 650.0 112 480.0
AMPL Google Group
Aug 12, 2021, 6:07:49 PM8/12/21
to AMPL Modeling Language
There are several options that you can add to your gurobi_options string to stop the run before Gurobi proves optimality:
option gurobi_options 'outlev=1 timelim=60';
Complete definitions of these and other options are in the AMPL-Gurobi Parameter Reference.
- timelim sss stops after sss seconds
- nodelim nnn stops after nnn search nodes have been processed
- mipgap ggg stops when the relative MIP gap reaches ggg (equal to 100*ggg%)
- mipgapabs ggg stops then the absolute MIP gap (difference between bounds) reaches ggg
option gurobi_options 'outlev=1 timelim=60';
Complete definitions of these and other options are in the AMPL-Gurobi Parameter Reference.
--
Robert Fourer
am...@googlegroups.com
Reply all
Reply to author
Forward
0 new messages