-
Notifications
You must be signed in to change notification settings - Fork 1
/
real_world_workload.txt
13738 lines (13735 loc) · 787 KB
/
real_world_workload.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# allocation input in AMPL notation (www.ampl.com)
# column sizes a_i, i=1,...,344
param a :=
1 631016
2 1017168
3 1017337
4 1158384
5 1489312
6 1543124
7 1543124
8 1543124
9 1546685
10 1547124
11 1547124
12 1547124
13 1547124
14 1547124
15 1547124
16 1547124
17 1547124
18 1547124
19 1547124
20 1547124
21 1547124
22 1547124
23 1547124
24 1547124
25 1547124
26 1547124
27 1547124
28 1547124
29 1547124
30 1547124
31 1547124
32 1547124
33 1547124
34 1547124
35 1547124
36 1547124
37 1547124
38 1547124
39 1547747
40 1563376
41 1563376
42 1563376
43 1563376
44 1563376
45 1563376
46 1563376
47 1563376
48 1563376
49 1563376
50 1563376
51 1563376
52 1563376
53 1563376
54 1563376
55 1563376
56 1563376
57 1563376
58 1563376
59 1563376
60 1563376
61 1563376
62 1563376
63 1563376
64 1563376
65 1563376
66 1563376
67 1563376
68 1563376
69 1563376
70 1563376
71 1563376
72 1563376
73 1563376
74 1563376
75 1563376
76 1563376
77 1563376
78 1563376
79 1563376
80 1563376
81 1563376
82 1563376
83 1563376
84 1563376
85 1563376
86 1563376
87 1563376
88 1563376
89 1563376
90 1563376
91 1563376
92 1563376
93 1563376
94 1563376
95 1563376
96 1563376
97 1563376
98 1563376
99 1563376
100 1563376
101 1563376
102 1563376
103 1563476
104 1563536
105 1563592
106 1563628
107 1564136
108 1564533
109 1567003
110 1567144
111 1567168
112 1567180
113 1567204
114 1567228
115 1567228
116 1567276
117 1567276
118 1567681
119 1567981
120 1568000
121 1568852
122 1569818
123 1581232
124 1581588
125 1624388
126 1658388
127 1699005
128 1715892
129 1758944
130 1767000
131 1843276
132 1849051
133 1849732
134 1897560
135 1990544
136 2013293
137 2053797
138 2078632
139 2091268
140 2445340
141 2450608
142 2473956
143 2590526
144 2680356
145 2719289
146 2722425
147 2776096
148 2794155
149 2839466
150 2959932
151 3122035
152 3337584
153 3444616
154 3472920
155 3473232
156 3569536
157 3593872
158 3761096
159 3848255
160 3861306
161 4732724
162 4881960
163 5394896
164 5783901
165 5936644
166 6013852
167 6167448
168 6291772
169 6431034
170 6812554
171 7119686
172 7258115
173 8413924
174 8414893
175 8816324
176 9167489
177 9178952
178 9501600
179 9517594
180 10698380
181 12053176
182 13402192
183 13424972
184 14136680
185 15677240
186 16344199
187 16512108
188 16734487
189 17116188
190 18894154
191 19106004
192 21448112
193 26496782
194 26591986
195 27605856
196 30008312
197 31796648
198 33053953
199 33689814
200 34383476
201 35469268
202 36809340
203 38924208
204 39602771
205 39662971
206 42367384
207 46273049
208 47116163
209 49775054
210 54392376
211 57143668
212 58320764
213 59322895
214 59927900
215 60153136
216 70905012
217 71722375
218 73310112
219 75921840
220 82300724
221 82806591
222 83826029
223 90856090
224 94313276
225 97186598
226 97394297
227 98057893
228 101189796
229 106712880
230 107943261
231 111565812
232 115291380
233 115977788
234 121493287
235 127589047
236 128296710
237 134764050
238 143700688
239 150444840
240 152636825
241 159636468
242 161183332
243 162858128
244 163666847
245 164063658
246 164401602
247 168857270
248 170913101
249 172205420
250 176896101
251 177661179
252 178224719
253 178779424
254 180043220
255 180506390
256 183335678
257 183818653
258 185301211
259 188643151
260 189558097
261 191589455
262 194834912
263 198073684
264 199096430
265 204831126
266 209233900
267 212218624
268 218418021
269 227597997
270 235581139
271 235628415
272 241622585
273 249091551
274 253526372
275 253752684
276 254882012
277 258305430
278 264306869
279 265782038
280 273756345
281 274735227
282 277903700
283 292944037
284 295704084
285 314458974
286 315729795
287 319155888
288 320082074
289 338971186
290 340839546
291 340839546
292 342306704
293 346633206
294 357359874
295 360271579
296 362282238
297 364056876
298 364117892
299 371824477
300 373241867
301 373417390
302 381781182
303 385583757
304 390234865
305 396586628
306 411378086
307 416624853
308 417606110
309 442289013
310 442403004
311 455331533
312 467403260
313 468481537
314 500410194
315 526490529
316 529547606
317 549151221
318 556369550
319 579293497
320 652262970
321 710822678
322 726544158
323 734243235
324 753978363
325 755968822
326 761497017
327 869526041
328 893251237
329 941032556
330 977943736
331 980500181
332 1053622312
333 1213199005
334 1594044853
335 1709806758
336 2251976740
337 2294847148
338 2355645348
339 2493630444
340 2641151888
341 3199593167
342 3680957445
343 4045692866
344 4563886008;
# query costs c_j, j=1,...,4461
param c :=
1 127274
2 105975298
3 107146
4 3923160
5 38858
6 52274
7 113329
8 401
9 82512
10 122263
11 9777
12 32973
13 118568036
14 56855
15 217846
16 51751
17 167224
18 20943
19 32252
20 147226
21 69222
22 98086
23 222768965
24 86035
25 24714
26 12966
27 37493
28 488427
29 3317
30 69381
31 12253
32 432819
33 1603
34 15111
35 57987
36 14101
37 733
38 1095852
39 31770786
40 200772772
41 18277
42 54403
43 85230654
44 2732
45 9118
46 10815
47 141651086
48 59967
49 252496
50 3555117
51 38075479
52 114208680
53 25770
54 12710
55 79484
56 536
57 72634
58 53801
59 400
60 29352001
61 71014
62 35128940
63 33027
64 34555205
65 2210
66 106407
67 15451
68 448275
69 61637238
70 330443
71 329219
72 325797
73 80982
74 85705
75 715265
76 84072
77 1769
78 8234568
79 68110
80 4096627
81 24410102
82 77169
83 620977
84 45555822
85 37531
86 7176
87 13947
88 12930
89 43638524
90 247743
91 529
92 94870
93 21753
94 490871
95 66151
96 3114
97 97008
98 8976245
99 469885
100 42225
101 129772
102 129146
103 127473
104 95998
105 105081
106 1050722
107 3551
108 31725142
109 139830
110 15652
111 2218863
112 54204
113 13443743
114 106095
115 8498785
116 105707
117 6146170
118 12241211
119 37037
120 212677
121 1864292
122 22230589
123 35605
124 1924
125 21271864
126 106186
127 106145
128 111357
129 57850
130 110176
131 1563497
132 106848
133 10790
134 7628
135 13171
136 88959
137 52869
138 8434
139 16798539
140 4883
141 124295
142 95127
143 113399
144 114760
145 1487551
146 2919
147 200605
148 5922
149 4077
150 118068
151 56343
152 111432
153 37705
154 35145
155 173395
156 28127
157 77099
158 5348
159 27803
160 123256
161 122500
162 121581
163 3467
164 2323458
165 11160122
166 11218
167 2714744
168 61125
169 122688
170 52570
171 452245
172 118372
173 120853
174 9623996
175 127452
176 59108
177 115502
178 14766
179 617317
180 102602
181 121211
182 613915
183 64325
184 120046
185 1846
186 585963
187 13446
188 44917
189 41206
190 112741
191 12725
192 13115
193 109651
194 367812
195 116277
196 41638
197 48684
198 1862143
199 112455
200 17926
201 287242
202 64060
203 15024
204 15724
205 3447295
206 673289
207 128145
208 56210
209 113669
210 17759
211 629390
212 112393
213 55192
214 128554
215 346970
216 4851
217 939041
218 114805
219 39530
220 5437981
221 25336
222 16833
223 42468
224 112462
225 113212
226 61929
227 113151
228 290590
229 2419539
230 62660
231 365539
232 473812
233 62290
234 50973
235 59358
236 2301988
237 270328
238 55836
239 62244
240 16298
241 13878
242 7538
243 19376
244 23944
245 69831
246 13702
247 55937
248 52096
249 325556
250 245175
251 6939
252 81899
253 681172
254 21987
255 45875
256 496956
257 132297
258 18116
259 494895
260 492025
261 17771
262 15875
263 56550
264 16374
265 85773
266 61232
267 64223
268 47326
269 254074
270 8876
271 51442
272 64459
273 43643
274 68773
275 8652
276 1167531
277 62489
278 24989
279 60101
280 13292
281 71266
282 41722
283 58099
284 55077
285 24982
286 3245422
287 647495
288 3229123
289 118884
290 48610
291 54822
292 20002
293 241604
294 6041
295 154577
296 59117
297 52737
298 508447
299 759709
300 61871
301 326473
302 58659
303 6110
304 63392
305 6027
306 50379
307 351796
308 112347
309 465521
310 4029
311 50463
312 56491
313 108436
314 60123
315 674355
316 296321
317 156286
318 175881
319 94215
320 1282249
321 5719
322 70660
323 3185
324 48568
325 51389
326 1258012
327 60992
328 8059
329 51873
330 17276
331 61423
332 7938
333 92159
334 95764
335 74389
336 237436
337 62442
338 1182099
339 12793
340 583682
341 72636
342 231460
343 92167
344 18897
345 3431
346 12050
347 1117943
348 55262
349 2192476
350 3301
351 2187831
352 62250
353 76718
354 2136046
355 177303
356 50619
357 161733
358 2100829
359 18837
360 20104
361 58775
362 409570
363 679157
364 405615
365 2011171
366 3014
367 398467
368 53472
369 1968930
370 162071
371 486212
372 84510
373 161434
374 5169
375 87220
376 13793
377 72652
378 58996
379 53547
380 53298
381 109410
382 13201
383 65249
384 10865
385 33061
386 72232
387 300229
388 13083
389 492
390 7147
391 109091
392 56237
393 13894
394 431719
395 50619
396 10094
397 142529
398 6916
399 10888
400 48107
401 15168
402 10850
403 9460
404 185834
405 13026
406 57472
407 137733
408 204473
409 1634418
410 812504
411 13615
412 14720
413 14118
414 55366
415 13013
416 176747
417 11867
418 176611
419 13344
420 441
421 28185
422 71671
423 15602
424 786256
425 14644
426 130426
427 48396
428 53185
429 85010
430 18852
431 7987
432 151882
433 126059
434 32334
435 739548
436 23735
437 66552
438 44206
439 72611
440 13155
441 119895
442 479389
443 109474
444 354868
445 27296
446 1411955
447 117539
448 12335
449 70038
450 49992
451 51810
452 57938
453 49396
454 68771
455 85940
456 11831
457 1370371
458 15397
459 42434
460 52019
461 165814
462 101865
463 57233
464 17895
465 216762
466 39324
467 129321
468 107116
469 61071
470 60933
471 637934
472 3409
473 1271475
474 141008
475 1267354
476 54669
477 627549
478 624916
479 89005
480 7780
481 56319
482 102860
483 1219813
484 202545
485 4685
486 1175510
487 130526
488 65185
489 61418
490 55398
491 27571
492 3089
493 50088
494 286626
495 15632
496 71059
497 225752
498 375718
499 41676
500 70149
501 56092
502 372745
503 93116
504 62070
505 554938
506 12206
507 156874
508 182713
509 547727
510 273618
511 57504
512 13635
513 217906
514 83541
515 154879
516 54162
517 120330
518 154661
519 11191
520 21815
521 1057812
522 1045904
523 12414
524 52033
525 17023
526 21539
527 60639
528 146664
529 170290
530 42513
531 30914
532 92741
533 127177
534 1013295
535 200652
536 110068
537 163780
538 16088
539 89143
540 979712
541 97954
542 978359
543 11922
544 162908
545 51394
546 108452
547 6091
548 11201
549 971479
550 96046
551 50011
552 316178
553 14959
554 104614
555 20005
556 307372
557 29721
558 90533
559 52642
560 15118
561 110969
562 5503
563 48689
564 144736
565 61911
566 123791
567 122380
568 15267
569 141440
570 52792
571 841636
572 49258
573 92762
574 59526
575 118935
576 48960
577 14565
578 103286
579 165210
580 116340
581 101786
582 813903
583 162687
584 135568
585 813065
586 101199
587 202099
588 53888
589 401474
590 160586
591 113825
592 264770
593 792927
594 16833
595 392976
596 56076
597 112140
598 16282
599 51924
600 155193
601 96174
602 382986
603 50362
604 13985
605 58059
606 150686
607 57675
608 748847
609 124633
610 745195
611 185701
612 39086
613 739117
614 122926
615 145865
616 181669
617 60447
618 120002
619 14985
620 14951
621 238465
622 235839
623 117368
624 233521
625 99865
626 231866
627 57853
628 115497
629 692871
630 53085
631 340113
632 679880
633 679135
634 339387
635 168896
636 84366
637 168459
638 44621
639 55482
640 332462
641 132717
642 82921
643 13723
644 329203
645 108944
646 59391
647 81231
648 13538
649 11814
650 81028