0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.05	c #variables 9905 #constraints 313
1.38/1.44	c bounds 1124117 >= -1124116 @ 0.041727
1.38/1.44	c bounds 0 >= -1124116 @ 0.36539
1.38/1.44	c bounds 0 >= -1123870 @ 0.370398
1.38/1.44	c bounds 0 >= -1123378 @ 0.373663
1.38/1.44	c bounds 0 >= -1123132 @ 0.376812
1.38/1.44	c bounds -738 >= -1123132 @ 0.385412
1.38/1.44	c bounds -1990 >= -1123132 @ 0.396782
1.38/1.44	c bounds -1990 >= -1122888 @ 0.400481
1.38/1.44	c bounds -1990 >= -1122162 @ 0.404427
1.38/1.44	c bounds -3200 >= -1122162 @ 0.413885
1.38/1.44	c bounds -3293 >= -1122162 @ 0.422669
1.38/1.44	c bounds -3293 >= -1121921 @ 0.425284
1.38/1.44	c bounds -3293 >= -1121680 @ 0.427789
1.38/1.44	c bounds -3293 >= -1121439 @ 0.430874
1.38/1.44	c bounds -3359 >= -1121439 @ 0.437712
1.38/1.44	c bounds -3359 >= -1121198 @ 0.440731
1.38/1.44	c bounds -3380 >= -1121198 @ 0.44879
1.38/1.44	c bounds -3462 >= -1121198 @ 0.469949
1.38/1.44	c bounds -3516 >= -1121198 @ 0.481319
1.38/1.44	c bounds -3516 >= -1120958 @ 0.484051
1.38/1.44	c bounds -3610 >= -1120958 @ 0.492758
1.38/1.44	c bounds -3610 >= -1120718 @ 0.495144
1.38/1.44	c bounds -3805 >= -1120718 @ 0.501878
1.38/1.44	c bounds -3805 >= -1120480 @ 0.50436
1.38/1.44	c bounds -3805 >= -1120243 @ 0.506473
1.38/1.44	c bounds -3955 >= -1120243 @ 0.512253
1.38/1.44	c bounds -3955 >= -1120005 @ 0.514799
1.38/1.44	c bounds -3955 >= -1119766 @ 0.517054
1.38/1.44	c bounds -3955 >= -1119292 @ 0.520104
1.38/1.44	c bounds -3982 >= -1119292 @ 0.525505
1.38/1.44	c bounds -3982 >= -1119055 @ 0.527758
1.38/1.44	c bounds -3982 >= -1118818 @ 0.535407
1.38/1.44	c bounds -4054 >= -1118818 @ 0.541959
1.38/1.44	c bounds -4098 >= -1118818 @ 0.555018
1.38/1.44	c bounds -4217 >= -1118818 @ 0.566305
1.38/1.44	c bounds -4374 >= -1118818 @ 0.572391
1.38/1.44	c bounds -4374 >= -1118582 @ 0.576312
1.38/1.44	c bounds -4374 >= -1118110 @ 0.578518
1.38/1.44	c bounds -4374 >= -1117874 @ 0.580639
1.38/1.44	c bounds -4399 >= -1117874 @ 0.584928
1.38/1.44	c bounds -4632 >= -1117874 @ 0.588845
1.38/1.44	c bounds -4632 >= -1117640 @ 0.591601
1.38/1.44	c bounds -4722 >= -1117640 @ 0.62307
1.38/1.44	c bounds -4722 >= -1117406 @ 0.626693
1.38/1.44	c bounds -4722 >= -1117172 @ 0.628889
1.38/1.44	c bounds -4783 >= -1117172 @ 0.644061
1.38/1.44	c bounds -4783 >= -1116939 @ 0.648186
1.38/1.44	c bounds -4783 >= -1116473 @ 0.65047
1.38/1.44	c bounds -4900 >= -1116473 @ 0.656077
1.38/1.44	c bounds -4900 >= -1116244 @ 0.658557
1.38/1.44	c bounds -4900 >= -1116014 @ 0.660539
1.38/1.44	c bounds -4900 >= -1115783 @ 0.662505
1.38/1.44	c bounds -4900 >= -1115553 @ 0.664478
1.38/1.44	c bounds -4900 >= -1115323 @ 0.666534
1.38/1.44	c bounds -4900 >= -1114865 @ 0.670173
1.38/1.44	c bounds -4955 >= -1114865 @ 0.680469
1.38/1.44	c bounds -4955 >= -1114407 @ 0.682695
1.38/1.44	c bounds -4955 >= -1114178 @ 0.689527
1.38/1.44	c bounds -5084 >= -1114178 @ 0.696063
1.38/1.44	c bounds -5312 >= -1114178 @ 0.701145
1.38/1.44	c bounds -5337 >= -1114178 @ 0.735109
1.38/1.44	c bounds -5337 >= -1113722 @ 0.737447
1.38/1.44	c bounds -5337 >= -1113266 @ 0.739351
1.38/1.44	c bounds -5400 >= -1113266 @ 0.79506
1.38/1.44	c bounds -5441 >= -1113266 @ 0.803589
1.38/1.44	c bounds -5524 >= -1113266 @ 0.809153
1.38/1.44	c bounds -5584 >= -1113266 @ 0.818212
1.38/1.44	c bounds -5633 >= -1113266 @ 0.826119
1.38/1.44	c bounds -5725 >= -1113266 @ 0.848977
1.38/1.44	c bounds -5751 >= -1113266 @ 0.878636
1.38/1.44	c bounds -5751 >= -1112812 @ 0.880724
1.38/1.44	c bounds -5751 >= -1112585 @ 0.8824
1.38/1.44	c bounds -5751 >= -1112358 @ 0.884599
1.38/1.44	c bounds -5751 >= -1112131 @ 0.886306
1.38/1.44	c bounds -5896 >= -1112131 @ 0.892359
1.38/1.44	c bounds -5896 >= -1111905 @ 0.894384
1.38/1.44	c bounds -5896 >= -1111679 @ 0.896019
1.38/1.44	c bounds -5896 >= -1111227 @ 0.897751
1.38/1.44	c bounds -5896 >= -1111001 @ 0.899763
1.38/1.44	c bounds -5978 >= -1111001 @ 0.905932
1.38/1.44	c bounds -5978 >= -1110776 @ 0.908089
1.38/1.44	c bounds -5978 >= -1110551 @ 0.910309
1.38/1.44	c bounds -5978 >= -1110326 @ 0.912486
1.38/1.44	c bounds -5978 >= -1110101 @ 0.914253
1.38/1.44	c bounds -5978 >= -1109651 @ 0.916059
1.38/1.44	c bounds -6034 >= -1109651 @ 0.92123
1.38/1.44	c bounds -6034 >= -1109427 @ 0.923135
1.38/1.44	c bounds -6034 >= -1109203 @ 0.924788
1.38/1.44	c bounds -6034 >= -1108979 @ 0.926458
1.38/1.44	c bounds -6034 >= -1108755 @ 0.928218
1.38/1.44	c bounds -6034 >= -1108531 @ 0.929975
1.38/1.44	c bounds -6034 >= -1108083 @ 0.932106
1.38/1.44	c bounds -6034 >= -1107859 @ 0.934245
1.38/1.44	c bounds -6034 >= -1107635 @ 0.93595
1.38/1.44	c bounds -6034 >= -1107411 @ 0.938652
1.38/1.44	c bounds -6125 >= -1107411 @ 0.942771
1.38/1.44	c bounds -6215 >= -1107411 @ 0.952841
1.38/1.44	c bounds -6261 >= -1107411 @ 0.957746
1.38/1.44	c bounds -6261 >= -1107188 @ 0.959722
1.38/1.44	c bounds -6261 >= -1106965 @ 0.961834
1.38/1.44	c bounds -6261 >= -1106519 @ 0.963562
1.38/1.44	c bounds -6261 >= -1106296 @ 0.96527
1.38/1.44	c bounds -6261 >= -1106073 @ 0.966873
1.38/1.44	c bounds -6324 >= -1106073 @ 0.975666
1.38/1.44	c bounds -6407 >= -1106073 @ 0.98407
1.38/1.44	c bounds -6445 >= -1106073 @ 0.997065
1.38/1.44	c bounds -6445 >= -1105629 @ 0.999032
1.38/1.44	c bounds -6445 >= -1105185 @ 1.00076
1.38/1.44	c bounds -6445 >= -1104963 @ 1.00242
2.48/2.51	c bounds -6445 >= -1104519 @ 1.00456
2.48/2.51	c bounds -6445 >= -1104297 @ 1.00632
2.48/2.51	c bounds -6445 >= -1104075 @ 1.01004
2.48/2.51	c bounds -6571 >= -1104075 @ 1.01302
2.48/2.51	c bounds -6716 >= -1104075 @ 1.0174
2.48/2.51	c bounds -6748 >= -1104075 @ 1.02422
2.48/2.51	c bounds -6748 >= -1103854 @ 1.02614
2.48/2.51	c bounds -6748 >= -1103633 @ 1.02766
2.48/2.51	c bounds -6748 >= -1103412 @ 1.02921
2.48/2.51	c bounds -6748 >= -1103191 @ 1.03122
2.48/2.51	c bounds -6748 >= -1102970 @ 1.03284
2.48/2.51	c bounds -6748 >= -1102307 @ 1.03447
2.48/2.51	c bounds -6773 >= -1102307 @ 1.04308
2.48/2.51	c bounds -6800 >= -1102307 @ 1.04846
2.48/2.51	c bounds -6881 >= -1102307 @ 1.05502
2.48/2.51	c bounds -6881 >= -1102087 @ 1.05655
2.48/2.51	c bounds -6881 >= -1101867 @ 1.05781
2.48/2.51	c bounds -6881 >= -1101647 @ 1.05951
2.48/2.51	c bounds -6881 >= -1101207 @ 1.05995
2.48/2.51	c bounds -6910 >= -1101207 @ 1.06437
2.48/2.51	c bounds -6910 >= -1100987 @ 1.06587
2.48/2.51	c bounds -6910 >= -1100767 @ 1.06781
2.48/2.51	c bounds -7016 >= -1100767 @ 1.07591
2.48/2.51	c bounds -7154 >= -1100767 @ 1.08692
2.48/2.51	c bounds -7154 >= -1100548 @ 1.08929
2.48/2.51	c bounds -7154 >= -1100329 @ 1.09051
2.48/2.51	c bounds -7154 >= -1099891 @ 1.09216
2.48/2.51	c bounds -7154 >= -1099453 @ 1.09346
2.48/2.51	c bounds -7154 >= -1099015 @ 1.09387
2.48/2.51	c bounds -7154 >= -1098796 @ 1.09525
2.48/2.51	c bounds -7154 >= -1098577 @ 1.09816
2.48/2.51	c bounds -7223 >= -1098577 @ 1.10658
2.48/2.51	c bounds -7312 >= -1098577 @ 1.14092
2.48/2.51	c bounds -7425 >= -1098577 @ 1.14726
2.48/2.51	c bounds -7435 >= -1098577 @ 1.1505
2.48/2.51	c bounds -7561 >= -1098577 @ 1.16688
2.48/2.51	c bounds -7561 >= -1098141 @ 1.16854
2.48/2.51	c bounds -7561 >= -1097705 @ 1.17034
2.48/2.51	c bounds -7561 >= -1097487 @ 1.17172
2.48/2.51	c bounds -7561 >= -1096833 @ 1.17312
2.48/2.51	c bounds -7561 >= -1096397 @ 1.17435
2.48/2.51	c bounds -7574 >= -1096397 @ 1.18452
2.48/2.51	c bounds -7574 >= -1096179 @ 1.22801
2.48/2.51	c bounds -7601 >= -1096179 @ 1.23405
2.48/2.51	c bounds -7614 >= -1096179 @ 1.23885
2.48/2.51	c bounds -7614 >= -1095745 @ 1.2404
2.48/2.51	c bounds -7614 >= -1095311 @ 1.24173
2.48/2.51	c bounds -7614 >= -1095094 @ 1.24355
2.48/2.51	c bounds -7668 >= -1095094 @ 1.25199
2.48/2.51	c bounds -7668 >= -1094877 @ 1.25343
2.48/2.51	c bounds -7668 >= -1094660 @ 1.25515
2.48/2.51	c bounds -7668 >= -1094443 @ 1.25568
2.48/2.51	c bounds -7676 >= -1094443 @ 1.26241
2.48/2.51	c bounds -7691 >= -1094443 @ 1.2691
2.48/2.51	c bounds -7691 >= -1094011 @ 1.2707
2.48/2.51	c bounds -7691 >= -1093795 @ 1.27203
2.48/2.51	c bounds -7691 >= -1093579 @ 1.27338
2.48/2.51	c bounds -7691 >= -1093363 @ 1.27486
2.48/2.51	c bounds -7791 >= -1093363 @ 1.28308
2.48/2.51	c bounds -7791 >= -1093147 @ 1.28444
2.48/2.51	c bounds -7791 >= -1092715 @ 1.28584
2.48/2.51	c bounds -7791 >= -1092499 @ 1.28757
2.48/2.51	c bounds -7791 >= -1092283 @ 1.28935
2.48/2.51	c bounds -7791 >= -1092067 @ 1.29088
2.48/2.51	c bounds -7791 >= -1091851 @ 1.29228
2.48/2.51	c bounds -7791 >= -1091419 @ 1.29362
2.48/2.51	c bounds -7791 >= -1091203 @ 1.29549
2.48/2.51	c bounds -7791 >= -1090987 @ 1.29727
2.48/2.51	c bounds -7870 >= -1090987 @ 1.31121
2.48/2.51	c bounds -8032 >= -1090987 @ 1.31759
2.48/2.51	c bounds -8070 >= -1090987 @ 1.3222
2.48/2.51	c bounds -8202 >= -1090987 @ 1.3302
2.48/2.51	c bounds -8202 >= -1090772 @ 1.33185
2.48/2.51	c bounds -8202 >= -1090342 @ 1.33321
2.48/2.51	c bounds -8202 >= -1089912 @ 1.33471
2.48/2.51	c bounds -8202 >= -1089697 @ 1.33622
2.48/2.51	c bounds -8202 >= -1089482 @ 1.33758
2.48/2.51	c bounds -8202 >= -1089267 @ 1.33925
2.48/2.51	c bounds -8202 >= -1088622 @ 1.34095
2.48/2.51	c bounds -8231 >= -1088622 @ 1.38535
2.48/2.51	c bounds -8231 >= -1088407 @ 1.39052
2.48/2.51	c bounds -8235 >= -1088407 @ 1.50304
2.48/2.51	c bounds -8354 >= -1088407 @ 1.51682
2.48/2.51	c bounds -8383 >= -1088407 @ 1.6
2.48/2.51	c bounds -8383 >= -1088193 @ 1.6009
2.48/2.51	c bounds -8383 >= -1087765 @ 1.60234
2.48/2.51	c bounds -8383 >= -1087551 @ 1.60344
2.48/2.51	c bounds -8383 >= -1087337 @ 1.60497
2.48/2.51	c bounds -8383 >= -1087123 @ 1.60609
2.48/2.51	c bounds -8383 >= -1086909 @ 1.6072
2.48/2.51	c bounds -8383 >= -1086695 @ 1.60953
2.48/2.51	c bounds -8404 >= -1086695 @ 1.65894
2.48/2.51	c bounds -8405 >= -1086695 @ 1.69028
2.48/2.51	c bounds -8405 >= -1086482 @ 1.6916
2.48/2.51	c bounds -8405 >= -1086056 @ 1.69289
2.48/2.51	c bounds -8405 >= -1085417 @ 1.6944
2.48/2.51	c bounds -8405 >= -1084565 @ 1.69609
2.48/2.51	c bounds -8405 >= -1084352 @ 1.69724
2.48/2.51	c bounds -8405 >= -1084139 @ 1.69832
2.48/2.51	c bounds -8405 >= -1083926 @ 1.69946
2.48/2.51	c bounds -8405 >= -1083713 @ 1.70059
2.48/2.51	c bounds -8405 >= -1083500 @ 1.70175
2.48/2.51	c bounds -8405 >= -1083287 @ 1.70335
2.48/2.51	c bounds -8405 >= -1083074 @ 1.70876
2.48/2.51	c bounds -8429 >= -1083074 @ 1.75654
2.48/2.51	c bounds -8457 >= -1083074 @ 1.84714
2.48/2.51	c bounds -8457 >= -1082862 @ 1.84852
2.48/2.51	c bounds -8457 >= -1082650 @ 1.84972
2.48/2.51	c bounds -8457 >= -1082226 @ 1.85096
2.48/2.51	c bounds -8457 >= -1082014 @ 1.8521
2.48/2.51	c bounds -8457 >= -1081802 @ 1.85333
8.97/9.06	c bounds -8457 >= -1081166 @ 1.85454
8.97/9.06	c bounds -8457 >= -1080530 @ 1.85575
8.97/9.06	c bounds -8457 >= -1080318 @ 1.85688
8.97/9.06	c bounds -8457 >= -1080106 @ 1.85809
8.97/9.06	c bounds -8457 >= -1079894 @ 1.86015
8.97/9.06	c bounds -8457 >= -1079682 @ 1.86517
8.97/9.06	c bounds -8589 >= -1079682 @ 1.93829
8.97/9.06	c bounds -8598 >= -1079682 @ 2.0866
8.97/9.06	c bounds -8598 >= -1079471 @ 2.08797
8.97/9.06	c bounds -8598 >= -1079260 @ 2.0886
8.97/9.06	c bounds -8598 >= -1079049 @ 2.08975
8.97/9.06	c bounds -8598 >= -1078838 @ 2.09196
8.97/9.06	c bounds -8598 >= -1078627 @ 2.09314
8.97/9.06	c bounds -8598 >= -1078416 @ 2.09964
8.97/9.06	c bounds -8598 >= -1078205 @ 2.10407
8.97/9.06	c bounds -8637 >= -1078205 @ 2.85737
8.97/9.06	c bounds -8655 >= -1078205 @ 3.0643
8.97/9.06	c bounds -8688 >= -1078205 @ 3.13406
8.97/9.06	c bounds -8772 >= -1078205 @ 3.17195
8.97/9.06	c bounds -8888 >= -1078205 @ 3.3359
8.97/9.06	c bounds -8979 >= -1078205 @ 3.43074
8.97/9.06	c bounds -9095 >= -1078205 @ 3.52544
8.97/9.06	c bounds -9101 >= -1078205 @ 3.57603
8.97/9.06	c bounds -9108 >= -1078205 @ 3.62614
8.97/9.06	c bounds -9117 >= -1078205 @ 3.66264
8.97/9.06	c bounds -9117 >= -1077995 @ 3.66394
8.97/9.06	c bounds -9117 >= -1077785 @ 3.66493
8.97/9.06	c bounds -9117 >= -1076735 @ 3.66735
8.97/9.06	c bounds -9117 >= -1076525 @ 3.66844
8.97/9.06	c bounds -9117 >= -1075895 @ 3.66998
8.97/9.06	c bounds -9117 >= -1075685 @ 3.67115
8.97/9.06	c bounds -9117 >= -1075475 @ 3.67222
8.97/9.06	c bounds -9117 >= -1075265 @ 3.67678
8.97/9.06	c bounds -9117 >= -1075055 @ 3.73435
8.97/9.06	c bounds -9117 >= -1074845 @ 3.73896
8.97/9.06	c #Conflicts:       1000 | #Constraints:       1992
8.97/9.06	c bounds -9167 >= -1074845 @ 5.65521
8.97/9.06	c bounds -9170 >= -1074845 @ 5.82334
8.97/9.06	c bounds -9181 >= -1074845 @ 5.83488
8.97/9.06	c bounds -9185 >= -1074845 @ 6.32213
8.97/9.06	c bounds -9198 >= -1074845 @ 6.78579
8.97/9.06	c bounds -9240 >= -1074845 @ 7.82049
8.97/9.06	c bounds -9240 >= -1074636 @ 7.82178
8.97/9.06	c bounds -9240 >= -1074427 @ 7.82427
8.97/9.06	c bounds -9240 >= -1074218 @ 7.88212
8.97/9.06	c bounds -9240 >= -1073800 @ 7.88397
8.97/9.06	c bounds -9240 >= -1073591 @ 7.88521
8.97/9.06	c bounds -9240 >= -1073382 @ 7.88655
8.97/9.06	c bounds -9240 >= -1073173 @ 7.89101
8.97/9.06	c bounds -9240 >= -1072964 @ 7.89636
8.97/9.06	c bounds -9240 >= -1072755 @ 7.9024
8.97/9.06	c #Conflicts:       2000 | #Constraints:       3064
8.97/9.06	c INPROCESSING
8.97/9.06	c GARBAGE COLLECT
8.97/9.06	c rational objective -12616
19.83/19.99	c bounds -10397 >= -1072755 @ 8.67547
19.83/19.99	c bounds -10397 >= -1072547 @ 8.67688
19.83/19.99	c bounds -10397 >= -1072339 @ 8.67805
19.83/19.99	c bounds -10397 >= -1072131 @ 8.67912
19.83/19.99	c bounds -10397 >= -1071923 @ 8.68034
19.83/19.99	c bounds -10397 >= -1071507 @ 8.68157
19.83/19.99	c bounds -10397 >= -1071299 @ 8.68305
19.83/19.99	c bounds -10397 >= -1071091 @ 8.68531
19.83/19.99	c bounds -10397 >= -1070883 @ 8.68644
19.83/19.99	c bounds -10397 >= -1070675 @ 8.68768
19.83/19.99	c bounds -10397 >= -1070467 @ 8.68919
19.83/19.99	c bounds -10397 >= -1070259 @ 8.69681
19.83/19.99	c #Conflicts:       3000 | #Constraints:       2835
19.83/19.99	c bounds -10422 >= -1070259 @ 13.1871
19.83/19.99	c bounds -10425 >= -1070259 @ 13.2718
19.83/19.99	c bounds -10426 >= -1070259 @ 13.3892
19.83/19.99	c bounds -10427 >= -1070259 @ 13.4521
19.83/19.99	c bounds -10434 >= -1070259 @ 13.6415
19.83/19.99	c bounds -10451 >= -1070259 @ 13.9707
19.83/19.99	c bounds -10452 >= -1070259 @ 14.364
19.83/19.99	c bounds -10466 >= -1070259 @ 14.5334
19.83/19.99	c bounds -10478 >= -1070259 @ 14.8305
19.83/19.99	c bounds -10483 >= -1070259 @ 14.8689
19.83/19.99	c bounds -10506 >= -1070259 @ 15.0695
19.83/19.99	c bounds -10510 >= -1070259 @ 15.1407
19.83/19.99	c bounds -10512 >= -1070259 @ 15.2625
19.83/19.99	c bounds -10572 >= -1070259 @ 15.3479
19.83/19.99	c bounds -10599 >= -1070259 @ 15.7194
19.83/19.99	c bounds -10664 >= -1070259 @ 15.7624
19.83/19.99	c bounds -10686 >= -1070259 @ 16.0564
19.83/19.99	c bounds -10695 >= -1070259 @ 17.1645
19.83/19.99	c bounds -10701 >= -1070259 @ 17.1992
19.83/19.99	c bounds -10808 >= -1070259 @ 17.35
19.83/19.99	c bounds -10808 >= -1070052 @ 17.365
19.83/19.99	c bounds -10808 >= -1069845 @ 17.3697
19.83/19.99	c bounds -10808 >= -1069431 @ 17.3814
19.83/19.99	c bounds -10808 >= -1069017 @ 17.3883
19.83/19.99	c bounds -10808 >= -1068810 @ 17.396
19.83/19.99	c bounds -10808 >= -1068603 @ 17.428
19.83/19.99	c bounds -10808 >= -1068396 @ 17.4353
19.83/19.99	c bounds -10808 >= -1068189 @ 17.4398
19.83/19.99	c bounds -10808 >= -1067982 @ 17.5389
19.83/19.99	c #Conflicts:       4000 | #Constraints:       3921
19.83/19.99	c INPROCESSING
19.83/19.99	c GARBAGE COLLECT
19.83/19.99	c rational objective -12612.3
34.80/34.94	c bounds -10821 >= -1067982 @ 22.9387
34.80/34.94	c bounds -10821 >= -1067570 @ 22.9411
34.80/34.94	c bounds -10821 >= -1066952 @ 22.9426
34.80/34.94	c bounds -10821 >= -1066746 @ 22.9453
34.80/34.94	c bounds -10821 >= -1066334 @ 22.9476
34.80/34.94	c bounds -10821 >= -1065922 @ 22.9561
34.80/34.94	c bounds -10821 >= -1065716 @ 22.9713
34.80/34.94	c bounds -10821 >= -1065510 @ 22.9816
34.80/34.94	c bounds -10821 >= -1065304 @ 22.9907
34.80/34.94	c bounds -10821 >= -1065098 @ 23.0505
34.80/34.94	c #Conflicts:       5000 | #Constraints:       3287
34.80/34.94	c bounds -10822 >= -1065098 @ 28.1952
34.80/34.94	c bounds -10822 >= -1064893 @ 28.2048
34.80/34.94	c bounds -10822 >= -1064688 @ 28.2326
34.80/34.94	c bounds -10822 >= -1064483 @ 28.2467
34.80/34.94	c bounds -10822 >= -1064278 @ 28.3748
34.80/34.94	c bounds -10822 >= -1064073 @ 28.3988
34.80/34.94	c bounds -10822 >= -1063868 @ 28.4391
34.80/34.94	c bounds -10822 >= -1063663 @ 28.4684
34.80/34.94	c bounds -10822 >= -1063458 @ 28.6138
34.80/34.94	c #Conflicts:       6000 | #Constraints:       4334
34.80/34.94	c INPROCESSING
34.80/34.94	c GARBAGE COLLECT
34.80/34.94	c rational objective -12612.2
127.68/128.05	c bounds -10841 >= -1063458 @ 35.0506
127.68/128.05	c bounds -10848 >= -1063458 @ 35.8444
127.68/128.05	c bounds -10870 >= -1063458 @ 37.3677
127.68/128.05	c #Conflicts:       7000 | #Constraints:       3333
127.68/128.05	c bounds -10885 >= -1063458 @ 39.3503
127.68/128.05	c bounds -10885 >= -1063254 @ 39.3715
127.68/128.05	c bounds -10885 >= -1063050 @ 39.4064
127.68/128.05	c bounds -10885 >= -1062030 @ 39.482
127.68/128.05	c bounds -10889 >= -1062030 @ 39.8903
127.68/128.05	c bounds -10889 >= -1061826 @ 39.9559
127.68/128.05	c bounds -10889 >= -1061622 @ 40.0084
127.68/128.05	c bounds -10889 >= -1061418 @ 40.0287
127.68/128.05	c bounds -10889 >= -1061214 @ 40.0535
127.68/128.05	c bounds -10889 >= -1061010 @ 40.0739
127.68/128.05	c bounds -10889 >= -1060806 @ 40.098
127.68/128.05	c bounds -10889 >= -1060602 @ 40.3219
127.68/128.05	c bounds -10889 >= -1060398 @ 40.5651
127.68/128.05	c #Conflicts:       8000 | #Constraints:       4396
127.68/128.05	c #Conflicts:       9000 | #Constraints:       5420
127.68/128.05	c INPROCESSING
127.68/128.05	c GARBAGE COLLECT
127.68/128.05	c bounds -10893 >= -1060398 @ 60.3699
127.68/128.05	c bounds -10928 >= -1060398 @ 67.2343
127.68/128.05	c #Conflicts:      10000 | #Constraints:       4077
127.68/128.05	c bounds -10929 >= -1060398 @ 68.1802
127.68/128.05	c bounds -10932 >= -1060398 @ 68.4152
127.68/128.05	c bounds -11031 >= -1060398 @ 68.6786
127.68/128.05	c bounds -11035 >= -1060398 @ 75.5439
127.68/128.05	c bounds -11035 >= -1060195 @ 75.5706
127.68/128.05	c bounds -11035 >= -1059992 @ 75.6672
127.68/128.05	c bounds -11035 >= -1059789 @ 75.7166
127.68/128.05	c bounds -11035 >= -1059586 @ 75.7481
127.68/128.05	c bounds -11035 >= -1058774 @ 75.8542
127.68/128.05	c bounds -11035 >= -1058571 @ 75.8798
127.68/128.05	c bounds -11035 >= -1058368 @ 76.0268
127.68/128.05	c bounds -11035 >= -1058165 @ 76.1122
127.68/128.05	c bounds -11035 >= -1057962 @ 76.1375
127.68/128.05	c #Conflicts:      11000 | #Constraints:       5128
127.68/128.05	c #Conflicts:      12000 | #Constraints:       6133
127.68/128.05	c INPROCESSING
127.68/128.05	c GARBAGE COLLECT
127.68/128.05	c bounds -11063 >= -1057962 @ 96.5811
127.68/128.05	c bounds -11121 >= -1057962 @ 96.8416
127.68/128.05	c #Conflicts:      13000 | #Constraints:       4522
127.68/128.05	c bounds -11126 >= -1057962 @ 110.525
127.68/128.05	c bounds -11126 >= -1057760 @ 110.545
127.68/128.05	c bounds -11126 >= -1057558 @ 110.605
127.68/128.05	c bounds -11126 >= -1057356 @ 110.724
127.68/128.05	c bounds -11126 >= -1057154 @ 110.754
127.68/128.05	c bounds -11126 >= -1056144 @ 110.876
127.68/128.05	c bounds -11126 >= -1055942 @ 110.943
127.68/128.05	c bounds -11126 >= -1055740 @ 111.055
127.68/128.05	c bounds -11126 >= -1055538 @ 111.081
127.68/128.05	c bounds -11126 >= -1055336 @ 111.172
127.68/128.05	c bounds -11126 >= -1055134 @ 111.653
127.68/128.05	c #Conflicts:      14000 | #Constraints:       5572
127.68/128.05	c #Conflicts:      15000 | #Constraints:       6577
127.68/128.05	c INPROCESSING
127.68/128.05	c GARBAGE COLLECT
127.68/128.05	c rational objective -12609.6
159.10/159.57	c bounds -11130 >= -1055134 @ 127.329
159.10/159.57	c bounds -11135 >= -1055134 @ 128.048
159.10/159.57	c bounds -11135 >= -1054933 @ 128.06
159.10/159.57	c bounds -11135 >= -1054732 @ 128.084
159.10/159.57	c bounds -11135 >= -1054330 @ 128.164
159.10/159.57	c bounds -11135 >= -1054129 @ 128.187
159.10/159.57	c bounds -11135 >= -1053928 @ 128.255
159.10/159.57	c bounds -11135 >= -1053727 @ 128.287
159.10/159.57	c bounds -11135 >= -1053526 @ 128.379
159.10/159.57	c bounds -11135 >= -1053325 @ 128.417
159.10/159.57	c bounds -11135 >= -1053124 @ 129.242
159.10/159.57	c bounds -11135 >= -1052923 @ 129.465
159.10/159.57	c bounds -11159 >= -1052923 @ 129.687
159.10/159.57	c bounds -11159 >= -1052722 @ 130.239
159.10/159.57	c #Conflicts:      16000 | #Constraints:       4815
159.10/159.57	c #Conflicts:      17000 | #Constraints:       5815
159.10/159.57	c bounds -11163 >= -1052722 @ 147.958
159.10/159.57	c #Conflicts:      18000 | #Constraints:       6816
159.10/159.57	c INPROCESSING
159.10/159.57	c GARBAGE COLLECT
159.10/159.57	c rational objective -12608
189.82/190.32	c #Conflicts:      19000 | #Constraints:       4805
189.82/190.32	c #Conflicts:      20000 | #Constraints:       5805
189.82/190.32	c #Conflicts:      21000 | #Constraints:       6806
189.82/190.32	c INPROCESSING
189.82/190.32	c GARBAGE COLLECT
189.82/190.32	c rational objective -12606.8
249.97/250.64	c bounds -11165 >= -1052722 @ 190.258
249.97/250.64	c bounds -11177 >= -1052722 @ 190.821
249.97/250.64	c bounds -11178 >= -1052722 @ 191.05
249.97/250.64	c bounds -11265 >= -1052722 @ 191.773
249.97/250.64	c #Conflicts:      22000 | #Constraints:       4628
249.97/250.64	c bounds -11440 >= -1052722 @ 193.838
249.97/250.64	c #Conflicts:      23000 | #Constraints:       5660
249.97/250.64	c #Conflicts:      24000 | #Constraints:       6662
249.97/250.64	c bounds -11448 >= -1052722 @ 232.351
249.97/250.64	c bounds -11448 >= -1052522 @ 232.365
249.97/250.64	c bounds -11448 >= -1052322 @ 232.393
249.97/250.64	c bounds -11448 >= -1052122 @ 232.454
249.97/250.64	c bounds -11448 >= -1051922 @ 232.486
249.97/250.64	c bounds -11448 >= -1051722 @ 232.557
249.97/250.64	c bounds -11448 >= -1051522 @ 232.64
249.97/250.64	c bounds -11448 >= -1051322 @ 232.689
249.97/250.64	c bounds -11448 >= -1051122 @ 232.727
249.97/250.64	c bounds -11448 >= -1050922 @ 232.78
249.97/250.64	c bounds -11448 >= -1050722 @ 232.841
249.97/250.64	c bounds -11448 >= -1050522 @ 232.894
249.97/250.64	c bounds -11448 >= -1050322 @ 233.04
249.97/250.64	c bounds -11448 >= -1050122 @ 233.744
249.97/250.64	c #Conflicts:      25000 | #Constraints:       7714
249.97/250.64	c INPROCESSING
249.97/250.64	c GARBAGE COLLECT
249.97/250.64	c rational objective -12603.8
351.23/352.18	c #Conflicts:      26000 | #Constraints:       5265
351.23/352.18	c #Conflicts:      27000 | #Constraints:       6275
351.23/352.18	c #Conflicts:      28000 | #Constraints:       7288
351.23/352.18	c #Conflicts:      29000 | #Constraints:       8289
351.23/352.18	c INPROCESSING
351.23/352.18	c GARBAGE COLLECT
351.23/352.18	c rational objective -12603.8
396.61/397.67	c bounds -11449 >= -1050122 @ 350.305
396.61/397.67	c bounds -11460 >= -1050122 @ 351.134
396.61/397.67	c bounds -11495 >= -1050122 @ 353.133
396.61/397.67	c #Conflicts:      30000 | #Constraints:       5697
396.61/397.67	c #Conflicts:      31000 | #Constraints:       6697
396.61/397.67	c #Conflicts:      32000 | #Constraints:       7697
396.61/397.67	c #Conflicts:      33000 | #Constraints:       8697
396.61/397.67	c INPROCESSING
396.61/397.67	c GARBAGE COLLECT
396.61/397.67	c rational objective -12606.2
476.91/478.17	c bounds -11495 >= -1049724 @ 394.874
476.91/478.17	c bounds -11495 >= -1049525 @ 394.907
476.91/478.17	c bounds -11495 >= -1049326 @ 394.957
476.91/478.17	c bounds -11495 >= -1049127 @ 395.018
476.91/478.17	c bounds -11495 >= -1048928 @ 395.081
476.91/478.17	c bounds -11495 >= -1048729 @ 395.219
476.91/478.17	c bounds -11495 >= -1048530 @ 395.277
476.91/478.17	c bounds -11495 >= -1048331 @ 395.339
476.91/478.17	c bounds -11495 >= -1048132 @ 395.483
476.91/478.17	c bounds -11495 >= -1047933 @ 395.556
476.91/478.17	c bounds -11495 >= -1047734 @ 395.744
476.91/478.17	c bounds -11495 >= -1047535 @ 395.868
476.91/478.17	c bounds -11495 >= -1047336 @ 396.002
476.91/478.17	c bounds -11495 >= -1047137 @ 396.247
476.91/478.17	c bounds -11495 >= -1046938 @ 398.225
476.91/478.17	c #Conflicts:      34000 | #Constraints:       5900
476.91/478.17	c #Conflicts:      35000 | #Constraints:       6901
476.91/478.17	c #Conflicts:      36000 | #Constraints:       7905
476.91/478.17	c #Conflicts:      37000 | #Constraints:       8909
476.91/478.17	c INPROCESSING
476.91/478.17	c GARBAGE COLLECT
476.91/478.17	c rational objective -12604.7
569.28/570.71	c #Conflicts:      38000 | #Constraints:       5895
569.28/570.71	c #Conflicts:      39000 | #Constraints:       6895
569.28/570.71	c #Conflicts:      40000 | #Constraints:       7895
569.28/570.71	c bounds -11495 >= -1046739 @ 551.245
569.28/570.71	c #Conflicts:      41000 | #Constraints:       8904
569.28/570.71	c INPROCESSING
569.28/570.71	c GARBAGE COLLECT
569.28/570.71	c rational objective -12604.7
648.98/650.60	c #Conflicts:      42000 | #Constraints:       5692
648.98/650.60	c #Conflicts:      43000 | #Constraints:       6696
648.98/650.60	c #Conflicts:      44000 | #Constraints:       7699
648.98/650.60	c #Conflicts:      45000 | #Constraints:       8704
648.98/650.60	c #Conflicts:      46000 | #Constraints:       9707
648.98/650.60	c INPROCESSING
648.98/650.60	c GARBAGE COLLECT
648.98/650.60	c rational objective -12604.7
754.13/756.02	c #Conflicts:      47000 | #Constraints:       6325
754.13/756.02	c bounds -11501 >= -1046739 @ 653.546
754.13/756.02	c #Conflicts:      48000 | #Constraints:       7342
754.13/756.02	c bounds -11517 >= -1046739 @ 687.088
754.13/756.02	c bounds -11648 >= -1046739 @ 692.672
754.13/756.02	c bounds -11717 >= -1046739 @ 694.555
754.13/756.02	c bounds -11755 >= -1046739 @ 695.312
754.13/756.02	c bounds -11772 >= -1046739 @ 697.998
754.13/756.02	c #Conflicts:      49000 | #Constraints:       8395
754.13/756.02	c bounds -11803 >= -1046739 @ 703.977
754.13/756.02	c bounds -11823 >= -1046739 @ 704.347
754.13/756.02	c bounds -11824 >= -1046739 @ 708.897
754.13/756.02	c bounds -11865 >= -1046739 @ 720.811
754.13/756.02	c bounds -11868 >= -1046739 @ 725.645
754.13/756.02	c bounds -11868 >= -1046343 @ 725.675
754.13/756.02	c bounds -11868 >= -1046145 @ 725.812
754.13/756.02	c bounds -11868 >= -1045353 @ 725.905
754.13/756.02	c bounds -11868 >= -1045155 @ 726.489
754.13/756.02	c bounds -11868 >= -1044957 @ 727.659
754.13/756.02	c #Conflicts:      50000 | #Constraints:       9454
754.13/756.02	c #Conflicts:      51000 | #Constraints:      10454
754.13/756.02	c INPROCESSING
754.13/756.02	c GARBAGE COLLECT
754.13/756.02	c rational objective -12604.7
895.68/897.94	c bounds -11929 >= -1044957 @ 754.996
895.68/897.94	c bounds -11961 >= -1044957 @ 755.704
895.68/897.94	c bounds -11981 >= -1044957 @ 756.049
895.68/897.94	c #Conflicts:      52000 | #Constraints:       6792
895.68/897.94	c #Conflicts:      53000 | #Constraints:       7830
895.68/897.94	c bounds -12012 >= -1044957 @ 769.719
895.68/897.94	c bounds -12012 >= -1044760 @ 769.773
895.68/897.94	c bounds -12012 >= -1044366 @ 769.783
895.68/897.94	c bounds -12012 >= -1044169 @ 769.876
895.68/897.94	c bounds -12012 >= -1043972 @ 769.924
895.68/897.94	c bounds -12012 >= -1043578 @ 769.988
895.68/897.94	c bounds -12012 >= -1043381 @ 770.103
895.68/897.94	c bounds -12012 >= -1043184 @ 780.292
895.68/897.94	c #Conflicts:      54000 | #Constraints:       8867
895.68/897.94	c #Conflicts:      55000 | #Constraints:       9868
895.68/897.94	c bounds -12012 >= -1042987 @ 886.358
895.68/897.94	c bounds -12094 >= -1042987 @ 887.127
895.68/897.94	c #Conflicts:      56000 | #Constraints:      10879
895.68/897.94	c INPROCESSING
895.68/897.94	c GARBAGE COLLECT
895.68/897.94	c rational objective -12604.7
1042.02/1044.60	c bounds -12135 >= -1042987 @ 893.296
1042.02/1044.60	c #Conflicts:      57000 | #Constraints:       6972
1042.02/1044.60	c #Conflicts:      58000 | #Constraints:       7991
1042.02/1044.60	c #Conflicts:      59000 | #Constraints:       8995
1042.02/1044.60	c #Conflicts:      60000 | #Constraints:       9999
1042.02/1044.60	c bounds -12147 >= -1042987 @ 985.516
1042.02/1044.60	c #Conflicts:      61000 | #Constraints:      11008
1042.02/1044.60	c INPROCESSING
1042.02/1044.60	c GARBAGE COLLECT
1042.02/1044.60	c rational objective -12612.2
1365.83/1369.29	c bounds -12147 >= -1042097 @ 1062.58
1365.83/1369.29	c bounds -12147 >= -1041692 @ 1089.98
1365.83/1369.29	c #Conflicts:      62000 | #Constraints:       6991
1365.83/1369.29	c bounds -12147 >= -1041495 @ 1186.27
1365.83/1369.29	c bounds -12150 >= -1041495 @ 1186.63
1365.83/1369.29	c #Conflicts:      63000 | #Constraints:       8004
1365.83/1369.29	c bounds -12156 >= -1041495 @ 1188.4
1365.83/1369.29	c #Conflicts:      64000 | #Constraints:       9005
1365.83/1369.29	c bounds -12230 >= -1041495 @ 1202.6
1365.83/1369.29	c #Conflicts:      65000 | #Constraints:      10015
1365.83/1369.29	c #Conflicts:      66000 | #Constraints:      11015
1365.83/1369.29	c bounds -12230 >= -1041298 @ 1353.84
1365.83/1369.29	c INPROCESSING
1365.83/1369.29	c GARBAGE COLLECT
1365.83/1369.29	c rational objective -12608.3
1470.08/1473.78	c #Conflicts:      67000 | #Constraints:       6775
1470.08/1473.78	c bounds -12236 >= -1041298 @ 1366.19
1470.08/1473.78	c #Conflicts:      68000 | #Constraints:       7779
1470.08/1473.78	c #Conflicts:      69000 | #Constraints:       8780
1470.08/1473.78	c bounds -12244 >= -1041298 @ 1392.33
1470.08/1473.78	c #Conflicts:      70000 | #Constraints:       9786
1470.08/1473.78	c #Conflicts:      71000 | #Constraints:      10786
1470.08/1473.78	c #Conflicts:      72000 | #Constraints:      11786
1470.08/1473.78	c INPROCESSING
1470.08/1473.78	c GARBAGE COLLECT
1470.08/1473.78	c rational objective -12610
1679.63/1683.84	c #Conflicts:      73000 | #Constraints:       7390
1679.63/1683.84	c #Conflicts:      74000 | #Constraints:       8391
1679.63/1683.84	c #Conflicts:      75000 | #Constraints:       9402
1679.63/1683.84	c bounds -12290 >= -1041298 @ 1502.03
1679.63/1683.84	c bounds -12290 >= -1040906 @ 1502.08
1679.63/1683.84	c bounds -12290 >= -1039534 @ 1502.18
1679.63/1683.84	c bounds -12290 >= -1039338 @ 1502.89
1679.63/1683.84	c bounds -12290 >= -1039142 @ 1504.67
1679.63/1683.84	c bounds -12290 >= -1038946 @ 1518.26
1679.63/1683.84	c #Conflicts:      76000 | #Constraints:      10457
1679.63/1683.84	c bounds -12290 >= -1038750 @ 1570.81
1679.63/1683.84	c bounds -12291 >= -1038750 @ 1576.25
1679.63/1683.84	c #Conflicts:      77000 | #Constraints:      11493
1679.63/1683.84	c #Conflicts:      78000 | #Constraints:      12495
1679.63/1683.84	c INPROCESSING
1679.63/1683.84	c GARBAGE COLLECT
1679.63/1683.84	c rational objective -12612.2
1760.73/1765.18	c bounds -12293 >= -1038750 @ 1674.07
1760.73/1765.18	c bounds -12321 >= -1038750 @ 1675.08
1760.73/1765.18	c bounds -12323 >= -1038750 @ 1675.26
1760.73/1765.18	c bounds -12324 >= -1038750 @ 1676.84
1760.73/1765.18	c #Conflicts:      79000 | #Constraints:       7904
1760.73/1765.18	c bounds -12328 >= -1038750 @ 1680.92
1760.73/1765.18	c bounds -12375 >= -1038750 @ 1683.29
1760.73/1765.18	c bounds -12388 >= -1038750 @ 1684.05
1760.73/1765.18	c #Conflicts:      80000 | #Constraints:       8937
1760.73/1765.18	c bounds -12413 >= -1038750 @ 1693.24
1760.73/1765.18	c bounds -12418 >= -1038750 @ 1694.9
1760.73/1765.18	c #Conflicts:      81000 | #Constraints:       9960
1760.73/1765.18	c bounds -12423 >= -1038750 @ 1698.02
1760.73/1765.18	c bounds -12432 >= -1038750 @ 1698.79
1760.73/1765.18	c bounds -12437 >= -1038750 @ 1703.18
1760.73/1765.18	c bounds -12451 >= -1038750 @ 1712.68
1760.73/1765.18	c #Conflicts:      82000 | #Constraints:      10984
1760.73/1765.18	c bounds -12469 >= -1038750 @ 1714.94
1760.73/1765.18	c bounds -12484 >= -1038750 @ 1718.07
1760.73/1765.18	c bounds -12494 >= -1038750 @ 1725.09
1760.73/1765.18	c #Conflicts:      83000 | #Constraints:      12033
1760.73/1765.18	c bounds -12514 >= -1038750 @ 1729.88
1760.73/1765.18	c bounds -12514 >= -1035608 @ 1729.9
1760.73/1765.18	c bounds -12514 >= -1035218 @ 1729.91
1760.73/1765.18	c bounds -12514 >= -1035023 @ 1729.92
1760.73/1765.18	c bounds -12514 >= -1034633 @ 1729.98
1760.73/1765.18	c bounds -12514 >= -1034243 @ 1730.03
1760.73/1765.18	c bounds -12514 >= -1033853 @ 1730.08
1760.73/1765.18	c bounds -12514 >= -1033658 @ 1730.16
1760.73/1765.18	c bounds -12514 >= -1033463 @ 1730.3
1760.73/1765.18	c bounds -12514 >= -1033268 @ 1730.34
1760.73/1765.18	c bounds -12514 >= -1033073 @ 1731.81
1760.73/1765.18	c bounds -12514 >= -1032878 @ 1735.54
1760.73/1765.18	c bounds -12514 >= -1032683 @ 1743.59
1760.73/1765.18	c #Conflicts:      84000 | #Constraints:      13101
1760.73/1765.18	c INPROCESSING
1760.73/1765.18	c GARBAGE COLLECT
1760.73/1765.18	c rational objective -12612.1
1797.42/1801.94	c bounds -12514 >= -309656 @ 1758.22
1797.42/1801.94	c bounds -12514 >= -309450 @ 1758.23
1797.42/1801.94	c bounds -12514 >= -309249 @ 1758.24
1797.42/1801.94	c bounds -12514 >= -309049 @ 1758.24
1797.42/1801.94	c bounds -12514 >= -303373 @ 1758.27
1797.42/1801.94	c bounds -12514 >= -303178 @ 1758.27
1797.42/1801.94	c bounds -12514 >= -302983 @ 1758.31
1797.42/1801.94	c bounds -12514 >= -302788 @ 1758.48
1797.42/1801.94	c bounds -12514 >= -299870 @ 1758.54
1797.42/1801.94	c bounds -12514 >= -299671 @ 1758.54
1797.42/1801.94	c bounds -12514 >= -299473 @ 1758.56
1797.42/1801.94	c bounds -12514 >= -296200 @ 1758.56
1797.42/1801.94	c bounds -12514 >= -292222 @ 1758.59
1797.42/1801.94	c bounds -12514 >= -292027 @ 1758.67
1797.42/1801.94	c bounds -12514 >= -291832 @ 1758.89
1797.42/1801.94	c bounds -12514 >= -291637 @ 1759.14
1797.42/1801.94	c bounds -12514 >= -291441 @ 1759.55
1797.42/1801.94	c bounds -12514 >= -291244 @ 1759.58
1797.42/1801.94	c bounds -12514 >= -291049 @ 1759.61
1797.42/1801.94	c bounds -12514 >= -286553 @ 1760.3
1797.42/1801.94	c bounds -12514 >= -284846 @ 1761.04
1797.42/1801.94	c bounds -12514 >= -284651 @ 1761.88
1797.42/1801.94	c #Conflicts:      85000 | #Constraints:       8338
1797.42/1801.94	c bounds -12514 >= -280824 @ 1764.63
1797.42/1801.94	c bounds -12515 >= -280824 @ 1765.5
1797.42/1801.94	c bounds -12515 >= -277163 @ 1767.68
1797.42/1801.94	c #Conflicts:      86000 | #Constraints:       9358
1797.42/1801.94	c bounds -12516 >= -277163 @ 1768.08
1797.42/1801.94	c bounds -12516 >= -268970 @ 1770.59
1797.42/1801.94	c #Conflicts:      87000 | #Constraints:      10374
1797.42/1801.94	c #Conflicts:      88000 | #Constraints:      11392
1797.42/1801.94	c bounds -12517 >= -268970 @ 1774.22
1797.42/1801.94	c bounds -12517 >= -258828 @ 1779.74
1797.42/1801.94	c #Conflicts:      89000 | #Constraints:      12409
1797.42/1801.94	c #Conflicts:      90000 | #Constraints:      13415
1797.42/1801.94	c INPROCESSING
1797.42/1801.94	c GARBAGE COLLECT
1797.42/1801.94	c rational objective -12612
1834.92/1839.60	c bounds -12521 >= -258828 @ 1791.82
1834.92/1839.60	c #Conflicts:      91000 | #Constraints:       6639
1834.92/1839.60	c bounds -12525 >= -258828 @ 1793.63
1834.92/1839.60	c bounds -12528 >= -258828 @ 1793.71
1834.92/1839.60	c bounds -12542 >= -258828 @ 1793.82
1834.92/1839.60	c bounds -12553 >= -258828 @ 1794.66
1834.92/1839.60	c #Conflicts:      92000 | #Constraints:       7669
1834.92/1839.60	c bounds -12563 >= -258828 @ 1797.36
1834.92/1839.60	c bounds -12563 >= -253132 @ 1797.36
1834.92/1839.60	c bounds -12563 >= -252744 @ 1797.38
1834.92/1839.60	c bounds -12563 >= -252550 @ 1797.39
1834.92/1839.60	c bounds -12563 >= -252356 @ 1797.4
1834.92/1839.60	c bounds -12563 >= -252162 @ 1797.42
1834.92/1839.60	c bounds -12563 >= -247188 @ 1797.81
1834.92/1839.60	c bounds -12563 >= -243627 @ 1800.06
1834.92/1839.60	c #Conflicts:      93000 | #Constraints:       8712
1834.92/1839.60	c #Conflicts:      94000 | #Constraints:       9728
1834.92/1839.60	c bounds -12572 >= -243627 @ 1806.2
1834.92/1839.60	c bounds -12572 >= -240845 @ 1809.52
1834.92/1839.60	c bounds -12572 >= -240468 @ 1812.79
1834.92/1839.60	c #Conflicts:      95000 | #Constraints:      10747
1834.92/1839.60	c bounds -12572 >= -237351 @ 1818.66
1834.92/1839.60	c bounds -12573 >= -237351 @ 1819.17
1834.92/1839.60	c bounds -12574 >= -237351 @ 1819.88
1834.92/1839.60	c #Conflicts:      96000 | #Constraints:      11759
1834.92/1839.60	c bounds -12589 >= -237351 @ 1823.69
1834.92/1839.60	c INPROCESSING
1834.92/1839.60	c GARBAGE COLLECT
1834.92/1839.60	c rational objective -12612
1843.41/1848.04	c bounds -12589 >= -180785 @ 1829.88
1843.41/1848.04	c bounds -12589 >= -180582 @ 1829.89
1843.41/1848.04	c bounds -12589 >= -180385 @ 1829.89
1843.41/1848.04	c bounds -12589 >= -180188 @ 1829.9
1843.41/1848.04	c bounds -12589 >= -130416 @ 1829.91
1843.41/1848.04	c bounds -12589 >= -129618 @ 1829.91
1843.41/1848.04	c bounds -12589 >= -129381 @ 1829.91
1843.41/1848.04	c bounds -12589 >= -129169 @ 1829.91
1843.41/1848.04	c bounds -12589 >= -128970 @ 1829.91
1843.41/1848.04	c bounds -12589 >= -128768 @ 1829.92
1843.41/1848.04	c bounds -12589 >= -104777 @ 1829.92
1843.41/1848.04	c bounds -12589 >= -104564 @ 1829.92
1843.41/1848.04	c bounds -12589 >= -104354 @ 1829.92
1843.41/1848.04	c bounds -12589 >= -104147 @ 1829.93
1843.41/1848.04	c bounds -12589 >= -103941 @ 1829.93
1843.41/1848.04	c bounds -12589 >= -103737 @ 1829.93
1843.41/1848.04	c bounds -12589 >= -103538 @ 1829.93
1843.41/1848.04	c bounds -12589 >= -103342 @ 1829.94
1843.41/1848.04	c bounds -12589 >= -103138 @ 1829.94
1843.41/1848.04	c bounds -12589 >= -99938 @ 1829.96
1843.41/1848.04	c bounds -12589 >= -99742 @ 1829.96
1843.41/1848.04	c bounds -12589 >= -99546 @ 1829.97
1843.41/1848.04	c bounds -12589 >= -99350 @ 1830.01
1843.41/1848.04	c bounds -12589 >= -99156 @ 1830.15
1843.41/1848.04	c bounds -12589 >= -98006 @ 1830.26
1843.41/1848.04	c #Conflicts:      97000 | #Constraints:       7330
1843.41/1848.04	c bounds -12600 >= -98006 @ 1831.3
1843.41/1848.04	c bounds -12600 >= -97037 @ 1831.71
1843.41/1848.04	c #Conflicts:      98000 | #Constraints:       8342
1843.41/1848.04	c bounds -12600 >= -96472 @ 1831.98
1843.41/1848.04	c #Conflicts:      99000 | #Constraints:       9355
1843.41/1848.04	c bounds -12600 >= -95877 @ 1833.56
1843.41/1848.04	c bounds -12612 >= -95877 @ 1835.39
1843.41/1848.04	c #Conflicts:     100000 | #Constraints:      10383
1843.41/1848.04	c bounds -12612 >= -93593 @ 1836.29
1843.41/1848.04	c bounds -12612 >= -93593 @ 1836.59
1843.41/1848.04	c cpu time 1836.59 s
1843.41/1848.04	c deterministic time 140179307289 1.40e+11
1843.41/1848.04	c optimization time 0.724995 s
1843.41/1848.04	c total solve time 1835.82 s
1843.41/1848.04	c core-guided solve time 1280.24 s
1843.41/1848.04	c propagation time 1245.01 s
1843.41/1848.04	c conflict analysis time 485.721 s
1843.41/1848.04	c propagations 97852952
1843.41/1848.04	c resolve steps 670250
1843.41/1848.04	c decisions 3253147
1843.41/1848.04	c conflicts 100283
1843.41/1848.04	c restarts 254
1843.41/1848.04	c inprocessing phases 23
1843.41/1848.04	c input clauses 505
1843.41/1848.04	c input cardinalities 634
1843.41/1848.04	c input general constraints 974
1843.41/1848.04	c input average constraint length 2438.59
1843.41/1848.04	c input average constraint degree 8784.07
1843.41/1848.04	c learned clauses 9246
1843.41/1848.04	c learned cardinalities 527
1843.41/1848.04	c learned general constraints 91561
1843.41/1848.04	c learned average constraint length 5926.26
1843.41/1848.04	c learned average constraint degree 126026487513.44
1843.41/1848.04	c watched constraints 52970
1843.41/1848.04	c counting constraints 39565
1843.41/1848.04	c gcd simplifications 2022
1843.41/1848.04	c detected cardinalities 197
1843.41/1848.04	c weakened non-implied lits 169852788
1843.41/1848.04	c weakened non-implying lits 157041
1843.41/1848.04	c original variables 9905
1843.41/1848.04	c clausal propagations 1001898
1843.41/1848.04	c cardinality propagations 19938383
1843.41/1848.04	c watched propagations 7573018
1843.41/1848.04	c counting propagations 65467635
1843.41/1848.04	c watch lookups 25933126959
1843.41/1848.04	c watch backjump lookups 25855256631
1843.41/1848.04	c watch checks 52809522162
1843.41/1848.04	c propagation checks 33353377509
1843.41/1848.04	c constraint additions 2025561528
1843.41/1848.04	c trail pops 101196024
1843.41/1848.04	c formula constraints 313
1843.41/1848.04	c learned constraints 99600
1843.41/1848.04	c bound constraints 582
1843.41/1848.04	c core-guided constraints 1218
1843.41/1848.04	c encountered formula constraints 352199
1843.41/1848.04	c encountered learned constraints 272111
1843.41/1848.04	c encountered bound constraints 1955
1843.41/1848.04	c encountered core-guided constraints 100179
1843.41/1848.04	c LP total time 56.4164 s
1843.41/1848.04	c LP solve time 29.26 s
1843.41/1848.04	c LP constraints added 327
1843.41/1848.04	c LP constraints removed 11
1843.41/1848.04	c LP pivots internal 100301
1843.41/1848.04	c LP pivots root 60075
1843.41/1848.04	c LP calls 1144
1843.41/1848.04	c LP optimalities 145
1843.41/1848.04	c LP no pivot count 57
1843.41/1848.04	c LP infeasibilities 991
1843.41/1848.04	c LP valid Farkas constraints 986
1843.41/1848.04	c LP learned Farkas constraints 734
1843.41/1848.04	c LP basis resets 10
1843.41/1848.04	c LP cycling count 4
1843.41/1848.04	c LP singular count 1
1843.41/1848.04	c LP no primal count 0
1843.41/1848.04	c LP no farkas count 5
1843.41/1848.04	c LP other issue count 0
1843.41/1848.04	c LP Gomory cuts 14
1843.41/1848.04	c LP learned cuts 0
1843.41/1848.04	c LP deleted cuts 11
1843.41/1848.04	c LP encountered Gomory constraints 0
1843.41/1848.04	c LP encountered Farkas constraints 40070
1843.41/1848.04	c LP encountered learned Farkas constraints 3285
1843.41/1848.04	c CG auxiliary variables introduced 538
1843.41/1848.04	c CG solutions found 200
1843.41/1848.04	c CG cores constructed 383
1843.41/1848.04	c CG core cardinality constraints returned 68
1843.41/1848.04	c CG unit cores 15
1843.41/1848.04	c CG single cores 345
1843.41/1848.04	c CG blocks removed during cardinality reduction 0
1843.41/1848.04	c CG first core best 1
1843.41/1848.04	c CG decision core best 11
1843.41/1848.04	c CG core reduction tie 11
1843.41/1848.04	c CG core degree average 1.27
1843.41/1848.04	c CG core slack average 1.58
1843.41/1848.04	o -12612
1843.41/1848.04	s OPTIMUM FOUND
1843.41/1848.04	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 x6879 -x6880 -x6881 x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 x7358 -x7359 -x7360 -x7361 x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 x8515 -x8516 -x8517 -x8518 -x8519 -x8520 x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 x9681 -x9682 -x9683 x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905

OK	-12612

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (59776 MiB free)
  memory of node 1: 64510 MiB (59850 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462440-1722236578/watcher-4462440-1722236578 -o /tmp/evaluation-result-4462440-1722236578/solver-4462440-1722236578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722236577-404267 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4462440-1722236578.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=404409, runsolver pid=404406

[startup+0.100825 s]*
/proc/loadavg: 0.04 0.08 0.08 5/244 404420
/proc/meminfo: memFree=122475504/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=47004 memory=16596 CPUtime=0.09 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 3313 0 0 0 8 1 0 0 20 0 1 0 59646888 48132096 4149 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 11751 4149 1760 922 0 3703 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47004 KiB
Current children cumulated memory: 16596 KiB

[startup+0.21337 s]*
/proc/loadavg: 0.04 0.08 0.08 5/244 404420
/proc/meminfo: memFree=122461416/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=47004 memory=16596 CPUtime=0.2 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 3316 0 0 0 19 1 0 0 20 0 1 0 59646888 48132096 4149 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 11751 4149 1760 922 0 3703 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47004 KiB
Current children cumulated memory: 16596 KiB

[startup+0.313052 s]*
/proc/loadavg: 0.04 0.08 0.08 5/244 404420
/proc/meminfo: memFree=122458920/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=47004 memory=16596 CPUtime=0.3 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 3316 0 0 0 29 1 0 0 20 0 1 0 59646888 48132096 4149 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 11751 4149 1760 922 0 3703 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47004 KiB
Current children cumulated memory: 16596 KiB

[startup+0.700284 s]
/proc/loadavg: 0.44 0.16 0.11 6/244 404420
/proc/meminfo: memFree=122416948/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=49388 memory=21984 CPUtime=0.68 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 4068 0 0 0 50 18 0 0 20 0 1 0 59646888 50573312 5496 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 12347 5496 1807 922 0 4299 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49388 KiB
Current children cumulated memory: 21984 KiB

[startup+1.50032 s]
/proc/loadavg: 0.44 0.16 0.11 5/244 404420
/proc/meminfo: memFree=122399708/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=63848 memory=32452 CPUtime=1.48 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 5671 0 0 0 102 46 0 0 20 0 1 0 59646888 65380352 8113 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 15962 8113 1807 922 0 7914 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63848 KiB
Current children cumulated memory: 32452 KiB

[startup+3.11291 s]
/proc/loadavg: 0.44 0.16 0.11 5/244 404420
/proc/meminfo: memFree=122296856/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=97804 memory=68424 CPUtime=3.08 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 7469 0 0 0 240 68 0 0 20 0 1 0 59646888 100151296 17106 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 24451 17106 1887 922 0 16403 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 97804 KiB
Current children cumulated memory: 68424 KiB

[startup+6.30032 s]
/proc/loadavg: 0.72 0.22 0.13 5/244 404420
/proc/meminfo: memFree=122013084/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=182844 memory=128152 CPUtime=6.27 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 9626 0 0 0 547 80 0 0 20 0 1 0 59646888 187232256 32038 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 45711 32038 1887 922 0 37663 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182844 KiB
Current children cumulated memory: 128152 KiB

[startup+12.7003 s]
/proc/loadavg: 0.98 0.29 0.15 5/244 404422
/proc/meminfo: memFree=121646816/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=283348 memory=186976 CPUtime=12.65 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 14618 0 0 0 1173 92 0 0 20 0 1 0 59646888 290148352 46744 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 70837 46744 1887 922 0 62789 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 283348 KiB
Current children cumulated memory: 186976 KiB

[startup+25.5004 s]
/proc/loadavg: 1.45 0.41 0.20 5/244 404423
/proc/meminfo: memFree=121089932/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=328504 memory=281328 CPUtime=25.42 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 25955 0 0 0 2418 124 0 0 20 0 1 0 59646888 336388096 70332 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 82126 70332 1887 922 0 74078 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 328504 KiB
Current children cumulated memory: 281328 KiB

[startup+51.113 s]
/proc/loadavg: 2.53 0.77 0.32 5/244 404428
/proc/meminfo: memFree=120217528/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=597296 memory=452220 CPUtime=50.97 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 60089 0 0 0 4951 146 0 0 20 0 1 0 59646888 611631104 113055 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 149324 113055 1887 922 0 141276 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 597296 KiB
Current children cumulated memory: 452220 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 1.32 0.53 5/244 404436
/proc/meminfo: memFree=119212516/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=679428 memory=557656 CPUtime=102.04 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 79445 0 0 0 10023 181 0 0 20 0 1 0 59646888 695734272 139414 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 169857 139414 2030 922 0 161809 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 679428 KiB
Current children cumulated memory: 557656 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 1.82 0.76 5/242 404447
/proc/meminfo: memFree=118242784/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=688120 memory=615572 CPUtime=161.89 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 82189 0 0 0 15981 208 0 0 20 0 1 0 59646888 704634880 153893 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 172030 153893 2030 922 0 163982 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 688120 KiB
Current children cumulated memory: 615572 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.24 0.97 5/242 404457
/proc/meminfo: memFree=117243360/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=778196 memory=702004 CPUtime=221.74 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 103567 0 0 0 21935 239 0 0 20 0 1 0 59646888 796872704 175501 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 194549 175501 2030 922 0 186501 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 778196 KiB
Current children cumulated memory: 702004 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.58 1.17 5/242 404467
/proc/meminfo: memFree=117096848/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1003072 memory=751328 CPUtime=281.59 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 108026 0 0 0 27900 259 0 0 20 0 1 0 59646888 1027145728 187832 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 250768 187832 2030 922 0 242720 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 1003072 KiB
Current children cumulated memory: 751328 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 2.85 1.35 5/241 404478
/proc/meminfo: memFree=116598076/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1166448 memory=905176 CPUtime=341.45 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 142660 0 0 0 33868 277 0 0 20 0 1 0 59646888 1194442752 226294 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 291612 226294 2030 922 0 283564 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 1166448 KiB
Current children cumulated memory: 905176 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 3.08 1.53 5/241 404488
/proc/meminfo: memFree=116444792/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1186784 memory=990720 CPUtime=401.3 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 147690 0 0 0 39818 312 0 0 20 0 1 0 59646888 1215266816 247680 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 296696 247680 2030 922 0 288648 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 1186784 KiB
Current children cumulated memory: 990720 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 3.28 1.69 5/243 404502
/proc/meminfo: memFree=116153316/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1199820 memory=1003012 CPUtime=461.15 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 151236 0 0 0 45790 325 0 0 20 0 1 0 59646888 1228615680 250753 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 299955 250753 2030 922 0 291907 0

################
# More data... #
################

/proc/loadavg: 3.14 3.33 2.83 4/236 404684
/proc/meminfo: memFree=109795568/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1438444 memory=1306956 CPUtime=1299.09 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 215079 0 0 0 129369 540 0 0 20 0 1 0 59646888 1472966656 326739 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 359611 326739 2030 922 0 351563 0
Current children cumulated CPU time: 1299.09 s
Current children cumulated vsize: 1438444 KiB
Current children cumulated memory: 1306956 KiB

[startup+1362.3 s]
/proc/loadavg: 3.15 3.30 2.86 4/236 405079
/proc/meminfo: memFree=109326436/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1438444 memory=1306956 CPUtime=1358.94 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 215199 0 0 0 135351 543 0 0 20 0 1 0 59646888 1472966656 326739 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 359611 326739 2030 922 0 351563 0
Current children cumulated CPU time: 1358.94 s
Current children cumulated vsize: 1438444 KiB
Current children cumulated memory: 1306956 KiB

[startup+1422.3 s]
/proc/loadavg: 3.09 3.26 2.87 4/236 405089
/proc/meminfo: memFree=109242640/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1438444 memory=1307144 CPUtime=1418.8 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 216050 0 0 0 141309 571 0 0 20 0 1 0 59646888 1472966656 326786 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 359611 326786 2030 922 0 351563 0
Current children cumulated CPU time: 1418.8 s
Current children cumulated vsize: 1438444 KiB
Current children cumulated memory: 1307144 KiB

[startup+1482.3 s]
/proc/loadavg: 3.33 3.30 2.92 4/239 405104
/proc/meminfo: memFree=109071212/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1452728 memory=1321488 CPUtime=1478.66 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 220029 0 0 0 147281 585 0 0 20 0 1 0 59646888 1487593472 330372 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 363182 330372 2030 922 0 355134 0
Current children cumulated CPU time: 1478.66 s
Current children cumulated vsize: 1452728 KiB
Current children cumulated memory: 1321488 KiB

[startup+1542.3 s]
/proc/loadavg: 3.16 3.26 2.93 4/239 405284
/proc/meminfo: memFree=108699492/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1458820 memory=1328312 CPUtime=1538.5 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 222090 0 0 0 153244 606 0 0 20 0 1 0 59646888 1493831680 332078 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364705 332078 2030 922 0 356657 0
Current children cumulated CPU time: 1538.5 s
Current children cumulated vsize: 1458820 KiB
Current children cumulated memory: 1328312 KiB

[startup+1602.3 s]
/proc/loadavg: 3.23 3.25 2.95 4/239 405294
/proc/meminfo: memFree=108441104/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1458820 memory=1328360 CPUtime=1598.35 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 222266 0 0 0 159220 615 0 0 20 0 1 0 59646888 1493831680 332090 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364705 332090 2030 922 0 356657 0
Current children cumulated CPU time: 1598.35 s
Current children cumulated vsize: 1458820 KiB
Current children cumulated memory: 1328360 KiB

[startup+1662.3 s]
/proc/loadavg: 3.14 3.22 2.96 4/237 405360
/proc/meminfo: memFree=108415276/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1458820 memory=1328372 CPUtime=1658.19 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 222545 0 0 0 165202 617 0 0 20 0 1 0 59646888 1493831680 332093 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364705 332093 2030 922 0 356657 0
Current children cumulated CPU time: 1658.19 s
Current children cumulated vsize: 1458820 KiB
Current children cumulated memory: 1328372 KiB

[startup+1722.3 s]
/proc/loadavg: 3.18 3.21 2.98 4/237 405371
/proc/meminfo: memFree=108405808/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1458820 memory=1328736 CPUtime=1718.03 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 222829 0 0 0 171164 639 0 0 20 0 1 0 59646888 1493831680 332184 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364705 332184 2030 922 0 356657 0
Current children cumulated CPU time: 1718.03 s
Current children cumulated vsize: 1458820 KiB
Current children cumulated memory: 1328736 KiB

[startup+1782.3 s]
/proc/loadavg: 3.12 3.19 2.99 4/235 405382
/proc/meminfo: memFree=108367332/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1458820 memory=1331832 CPUtime=1777.87 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 223216 0 0 0 177128 659 0 0 20 0 1 0 59646888 1493831680 332958 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364705 332958 2030 922 0 356657 0
Current children cumulated CPU time: 1777.87 s
Current children cumulated vsize: 1458820 KiB
Current children cumulated memory: 1331832 KiB

[startup+1842.3 s]
/proc/loadavg: 3.09 3.16 3.00 4/235 405392
/proc/meminfo: memFree=108354676/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1457792 memory=1336456 CPUtime=1837.71 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 225831 0 0 0 183091 680 0 0 20 0 1 0 59646888 1492779008 334114 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364448 334114 2030 922 0 356400 0
Current children cumulated CPU time: 1837.71 s
Current children cumulated vsize: 1457792 KiB
Current children cumulated memory: 1336456 KiB

[startup+1848.08 s]
# the end of solver process 404409 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=1836.59 s, system=6.89626 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1843.2 s]
/proc/loadavg: 3.09 3.16 3.00 4/235 405392
/proc/meminfo: memFree=108354536/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1457792 memory=1336688 CPUtime=1838.61 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 225930 0 0 0 183180 681 0 0 20 0 1 0 59646888 1492779008 334172 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364448 334172 2030 922 0 356400 0
Current children cumulated CPU time: 1838.61 s
Current children cumulated vsize: 1457792 KiB
Current children cumulated memory: 1336688 KiB

[startup+1846.4 s]
/proc/loadavg: 3.08 3.16 3.00 4/235 405392
/proc/meminfo: memFree=108351704/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1457792 memory=1339244 CPUtime=1841.81 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 225932 0 0 0 183496 685 0 0 20 0 1 0 59646888 1492779008 334811 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 364448 334811 2030 922 0 356400 0
Current children cumulated CPU time: 1841.81 s
Current children cumulated vsize: 1457792 KiB
Current children cumulated memory: 1339244 KiB

[startup+1847.2 s]
/proc/loadavg: 3.08 3.16 3.00 4/235 405393
/proc/meminfo: memFree=108346872/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1462360 memory=1343808 CPUtime=1842.61 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 227663 0 0 0 183575 686 0 0 20 0 1 0 59646888 1497456640 335952 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 365590 335952 2030 922 0 357542 0
Current children cumulated CPU time: 1842.61 s
Current children cumulated vsize: 1462360 KiB
Current children cumulated memory: 1343808 KiB

[startup+1847.6 s]
/proc/loadavg: 3.08 3.16 3.00 4/235 405393
/proc/meminfo: memFree=108346872/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1462360 memory=1343808 CPUtime=1843 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 227663 0 0 0 183614 686 0 0 20 0 1 0 59646888 1497456640 335952 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 365590 335952 2030 922 0 357542 0
Current children cumulated CPU time: 1843 s
Current children cumulated vsize: 1462360 KiB
Current children cumulated memory: 1343808 KiB

[startup+1848 s]*
/proc/loadavg: 3.08 3.16 3.00 4/235 405393
/proc/meminfo: memFree=108346872/131655788 swapFree=131057508/131071996
[pid=404409] ppid=404406 vsize=1462360 memory=1343808 CPUtime=1843.41 cores=5,7
/proc/404409/stat : 404409 (roundingsat) R 404406 404409 404254 0 -1 4194304 227663 0 0 0 183655 686 0 0 20 0 1 0 59646888 1497456640 335952 134679101440 4194304 7968869 140735185027280 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 8652288 8659944 17801216 140735185032125 140735185032289 140735185032289 140735185039305 0
/proc/404409/statm: 365590 335952 2030 922 0 357542 0
Current children cumulated CPU time: 1843.41 s
Current children cumulated vsize: 1462360 KiB
Current children cumulated memory: 1343808 KiB

Child status: 0

Real time (s): 1848.08
CPU time (s): 1843.49
CPU user time (s): 1836.59
CPU system time (s): 6.89626
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 1462360
Max. memory (cumulated for all children) (KiB): 1343808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1836.59
system time used= 6.89626
maximum resident set size= 1345984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227691
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86
involuntary context switches= 1237


# summary of solver processes directly reported to runsolver:
#   pid: 404409
#   total CPU time (s): 1843.49
#   total CPU user time (s): 1836.59
#   total CPU system time (s): 6.89626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.25518 second user time and 18.7399 second system time

The end

Begin job on nodeC003 at 2024-07-29 09:02:58
IDJOB=4462440
IDBENCH=178886
IDSOLVER=3051
FILE ID=nodeC003/4462440-1722236578
RUNJOBID= nodeC003-1722236577-404267
SLURM_JOB_ID= 8248772
Free space on /tmp= 723764 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_400_008.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462440-1722236578/watcher-4462440-1722236578 -o /tmp/evaluation-result-4462440-1722236578/solver-4462440-1722236578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722236577-404267 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4462440-1722236578.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=858336570

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2394.547
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2195.001
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.466
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.401
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.276
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.282
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.305
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.287
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122501152 kB
MemAvailable:   129595496 kB
Buffers:          410728 kB
Cached:          7237636 kB
SwapCached:         3036 kB
Active:          2194240 kB
Inactive:        5971196 kB
Active(anon):       2644 kB
Inactive(anon):   567776 kB
Active(file):    2191596 kB
Inactive(file):  5403420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057508 kB
Dirty:             26336 kB
Writeback:             4 kB
AnonPages:        513996 kB
Mapped:           110696 kB
Shmem:             53324 kB
KReclaimable:     561072 kB
Slab:             677792 kB
SReclaimable:     561072 kB
SUnreclaim:       116720 kB
KernelStack:        3872 kB
PageTables:        10436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     968764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      396104 kB
DirectMap2M:    41451520 kB
DirectMap1G:    94371840 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-29 09:33:47