0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.02	c #variables 9905 #constraints 313
0.59/0.69	c bounds - >= -1124116 @ 0.014281
0.59/0.69	c bounds 0 >= -1124116 @ 0.124834
0.59/0.69	c bounds 0 >= -1123870 @ 0.126261
0.59/0.69	c bounds 0 >= -1123378 @ 0.127693
0.59/0.69	c bounds 0 >= -1123132 @ 0.127791
0.59/0.69	c bounds -738 >= -1123132 @ 0.133503
0.59/0.69	c bounds -1990 >= -1123132 @ 0.138128
0.59/0.69	c bounds -1990 >= -1122888 @ 0.13929
0.59/0.69	c bounds -1990 >= -1122162 @ 0.140544
0.59/0.69	c bounds -3200 >= -1122162 @ 0.144442
0.59/0.69	c bounds -3293 >= -1122162 @ 0.149508
0.59/0.69	c bounds -3293 >= -1121921 @ 0.150697
0.59/0.69	c bounds -3293 >= -1121680 @ 0.1519
0.59/0.69	c bounds -3293 >= -1121439 @ 0.153392
0.59/0.69	c bounds -3359 >= -1121439 @ 0.15642
0.59/0.69	c bounds -3359 >= -1121198 @ 0.157813
0.59/0.69	c bounds -3380 >= -1121198 @ 0.158944
0.59/0.69	c bounds -3462 >= -1121198 @ 0.169231
0.59/0.69	c bounds -3516 >= -1121198 @ 0.175362
0.59/0.69	c bounds -3516 >= -1120958 @ 0.176662
0.59/0.69	c bounds -3610 >= -1120958 @ 0.180546
0.59/0.69	c bounds -3610 >= -1120718 @ 0.181769
0.59/0.69	c bounds -3805 >= -1120718 @ 0.184759
0.59/0.69	c bounds -3805 >= -1120480 @ 0.186015
0.59/0.69	c bounds -3805 >= -1120243 @ 0.187081
0.59/0.69	c bounds -3955 >= -1120243 @ 0.190845
0.59/0.69	c bounds -3955 >= -1120005 @ 0.192174
0.59/0.69	c bounds -3955 >= -1119766 @ 0.193317
0.59/0.69	c bounds -3955 >= -1119292 @ 0.194919
0.59/0.69	c bounds -3982 >= -1119292 @ 0.198533
0.59/0.69	c bounds -3982 >= -1119055 @ 0.199631
0.59/0.69	c bounds -3982 >= -1118818 @ 0.203481
0.59/0.69	c bounds -4054 >= -1118818 @ 0.205675
0.59/0.69	c bounds -4098 >= -1118818 @ 0.211758
0.59/0.69	c bounds -4217 >= -1118818 @ 0.214111
0.59/0.69	c bounds -4374 >= -1118818 @ 0.219092
0.59/0.69	c bounds -4374 >= -1118582 @ 0.221081
0.59/0.69	c bounds -4374 >= -1118110 @ 0.222215
0.59/0.69	c bounds -4374 >= -1117874 @ 0.223297
0.59/0.69	c bounds -4399 >= -1117874 @ 0.225428
0.59/0.69	c bounds -4632 >= -1117874 @ 0.2263
0.59/0.69	c bounds -4632 >= -1117640 @ 0.227593
0.59/0.69	c bounds -4722 >= -1117640 @ 0.240001
0.59/0.69	c bounds -4722 >= -1117406 @ 0.241807
0.59/0.69	c bounds -4722 >= -1117172 @ 0.242886
0.59/0.69	c bounds -4783 >= -1117172 @ 0.248254
0.59/0.69	c bounds -4783 >= -1116939 @ 0.250308
0.59/0.69	c bounds -4783 >= -1116473 @ 0.251466
0.59/0.69	c bounds -4900 >= -1116473 @ 0.257176
0.59/0.69	c bounds -4900 >= -1116244 @ 0.258303
0.59/0.69	c bounds -4900 >= -1116014 @ 0.259275
0.59/0.69	c bounds -4900 >= -1115783 @ 0.260238
0.59/0.69	c bounds -4900 >= -1115553 @ 0.261205
0.59/0.69	c bounds -4900 >= -1115323 @ 0.262217
0.59/0.69	c bounds -4900 >= -1114865 @ 0.264054
0.59/0.69	c bounds -4955 >= -1114865 @ 0.268587
0.59/0.69	c bounds -4955 >= -1114407 @ 0.269689
0.59/0.69	c bounds -4955 >= -1114178 @ 0.270864
0.59/0.69	c bounds -5084 >= -1114178 @ 0.27335
0.59/0.69	c bounds -5312 >= -1114178 @ 0.276989
0.59/0.69	c bounds -5337 >= -1114178 @ 0.291869
0.59/0.69	c bounds -5337 >= -1113722 @ 0.293384
0.59/0.69	c bounds -5337 >= -1113266 @ 0.294676
0.59/0.69	c bounds -5400 >= -1113266 @ 0.334624
0.59/0.69	c bounds -5441 >= -1113266 @ 0.342401
0.59/0.69	c bounds -5524 >= -1113266 @ 0.346346
0.59/0.69	c bounds -5584 >= -1113266 @ 0.35252
0.59/0.69	c bounds -5633 >= -1113266 @ 0.358636
0.59/0.69	c bounds -5725 >= -1113266 @ 0.373311
0.59/0.69	c bounds -5751 >= -1113266 @ 0.395029
0.59/0.69	c bounds -5751 >= -1112812 @ 0.396455
0.59/0.69	c bounds -5751 >= -1112585 @ 0.397541
0.59/0.69	c bounds -5751 >= -1112358 @ 0.399032
0.59/0.69	c bounds -5751 >= -1112131 @ 0.400166
0.59/0.69	c bounds -5896 >= -1112131 @ 0.403521
0.59/0.69	c bounds -5896 >= -1111905 @ 0.404685
0.59/0.69	c bounds -5896 >= -1111679 @ 0.405722
0.59/0.69	c bounds -5896 >= -1111227 @ 0.407435
0.59/0.69	c bounds -5896 >= -1111001 @ 0.408762
0.59/0.69	c bounds -5978 >= -1111001 @ 0.414858
0.59/0.69	c bounds -5978 >= -1110776 @ 0.416281
0.59/0.69	c bounds -5978 >= -1110551 @ 0.417673
0.59/0.69	c bounds -5978 >= -1110326 @ 0.419078
0.59/0.69	c bounds -5978 >= -1110101 @ 0.420246
0.59/0.69	c bounds -5978 >= -1109651 @ 0.421421
0.59/0.69	c bounds -6034 >= -1109651 @ 0.422556
0.59/0.69	c bounds -6034 >= -1109427 @ 0.423645
0.59/0.69	c bounds -6034 >= -1109203 @ 0.424664
0.59/0.69	c bounds -6034 >= -1108979 @ 0.425692
0.59/0.69	c bounds -6034 >= -1108755 @ 0.426788
0.59/0.69	c bounds -6034 >= -1108531 @ 0.427055
0.59/0.69	c bounds -6034 >= -1108083 @ 0.428368
0.59/0.69	c bounds -6034 >= -1107859 @ 0.429615
0.59/0.69	c bounds -6034 >= -1107635 @ 0.430723
0.59/0.69	c bounds -6034 >= -1107411 @ 0.433077
0.59/0.69	c bounds -6125 >= -1107411 @ 0.439257
0.59/0.69	c bounds -6215 >= -1107411 @ 0.444864
0.59/0.69	c bounds -6261 >= -1107411 @ 0.449892
0.59/0.69	c bounds -6261 >= -1107188 @ 0.451218
0.59/0.69	c bounds -6261 >= -1106965 @ 0.452616
0.59/0.69	c bounds -6261 >= -1106519 @ 0.45375
0.59/0.69	c bounds -6261 >= -1106296 @ 0.454016
0.59/0.69	c bounds -6261 >= -1106073 @ 0.454999
0.59/0.69	c bounds -6324 >= -1106073 @ 0.460893
0.59/0.69	c bounds -6407 >= -1106073 @ 0.464675
0.59/0.69	c bounds -6445 >= -1106073 @ 0.473366
0.59/0.69	c bounds -6445 >= -1105629 @ 0.474658
0.59/0.69	c bounds -6445 >= -1105185 @ 0.475793
0.59/0.69	c bounds -6445 >= -1104963 @ 0.476908
1.58/1.60	c bounds -6445 >= -1104519 @ 0.478348
1.58/1.60	c bounds -6445 >= -1104297 @ 0.479508
1.58/1.60	c bounds -6445 >= -1104075 @ 0.48254
1.58/1.60	c bounds -6571 >= -1104075 @ 0.488418
1.58/1.60	c bounds -6716 >= -1104075 @ 0.489489
1.58/1.60	c bounds -6748 >= -1104075 @ 0.492917
1.58/1.60	c bounds -6748 >= -1103854 @ 0.494166
1.58/1.60	c bounds -6748 >= -1103633 @ 0.495571
1.58/1.60	c bounds -6748 >= -1103412 @ 0.496565
1.58/1.60	c bounds -6748 >= -1103191 @ 0.497844
1.58/1.60	c bounds -6748 >= -1102970 @ 0.498926
1.58/1.60	c bounds -6748 >= -1102307 @ 0.500008
1.58/1.60	c bounds -6773 >= -1102307 @ 0.505561
1.58/1.60	c bounds -6800 >= -1102307 @ 0.507775
1.58/1.60	c bounds -6881 >= -1102307 @ 0.511728
1.58/1.60	c bounds -6881 >= -1102087 @ 0.512913
1.58/1.60	c bounds -6881 >= -1101867 @ 0.513952
1.58/1.60	c bounds -6881 >= -1101647 @ 0.515558
1.58/1.60	c bounds -6881 >= -1101207 @ 0.516757
1.58/1.60	c bounds -6910 >= -1101207 @ 0.519743
1.58/1.60	c bounds -6910 >= -1100987 @ 0.520925
1.58/1.60	c bounds -6910 >= -1100767 @ 0.522389
1.58/1.60	c bounds -7016 >= -1100767 @ 0.529075
1.58/1.60	c bounds -7154 >= -1100767 @ 0.537035
1.58/1.60	c bounds -7154 >= -1100548 @ 0.53896
1.58/1.60	c bounds -7154 >= -1100329 @ 0.539933
1.58/1.60	c bounds -7154 >= -1099891 @ 0.541198
1.58/1.60	c bounds -7154 >= -1099453 @ 0.542232
1.58/1.60	c bounds -7154 >= -1099015 @ 0.543258
1.58/1.60	c bounds -7154 >= -1098796 @ 0.544712
1.58/1.60	c bounds -7154 >= -1098577 @ 0.547155
1.58/1.60	c bounds -7223 >= -1098577 @ 0.554218
1.58/1.60	c bounds -7312 >= -1098577 @ 0.582749
1.58/1.60	c bounds -7425 >= -1098577 @ 0.584605
1.58/1.60	c bounds -7435 >= -1098577 @ 0.587326
1.58/1.60	c bounds -7561 >= -1098577 @ 0.598761
1.58/1.60	c bounds -7561 >= -1098141 @ 0.600103
1.58/1.60	c bounds -7561 >= -1097705 @ 0.601576
1.58/1.60	c bounds -7561 >= -1097487 @ 0.602728
1.58/1.60	c bounds -7561 >= -1096833 @ 0.603885
1.58/1.60	c bounds -7561 >= -1096397 @ 0.604917
1.58/1.60	c bounds -7574 >= -1096397 @ 0.616107
1.58/1.60	c bounds -7574 >= -1096179 @ 0.655348
1.58/1.60	c bounds -7601 >= -1096179 @ 0.659763
1.58/1.60	c bounds -7614 >= -1096179 @ 0.662011
1.58/1.60	c bounds -7614 >= -1095745 @ 0.663274
1.58/1.60	c bounds -7614 >= -1095311 @ 0.664377
1.58/1.60	c bounds -7614 >= -1095094 @ 0.665897
1.58/1.60	c bounds -7668 >= -1095094 @ 0.670965
1.58/1.60	c bounds -7668 >= -1094877 @ 0.672161
1.58/1.60	c bounds -7668 >= -1094660 @ 0.673565
1.58/1.60	c bounds -7668 >= -1094443 @ 0.674639
1.58/1.60	c bounds -7676 >= -1094443 @ 0.679971
1.58/1.60	c bounds -7691 >= -1094443 @ 0.685348
1.58/1.60	c bounds -7691 >= -1094011 @ 0.686648
1.58/1.60	c bounds -7691 >= -1093795 @ 0.687736
1.58/1.60	c bounds -7691 >= -1093579 @ 0.688879
1.58/1.60	c bounds -7691 >= -1093363 @ 0.690122
1.58/1.60	c bounds -7791 >= -1093363 @ 0.69651
1.58/1.60	c bounds -7791 >= -1093147 @ 0.69753
1.58/1.60	c bounds -7791 >= -1092715 @ 0.698648
1.58/1.60	c bounds -7791 >= -1092499 @ 0.69994
1.58/1.60	c bounds -7791 >= -1092283 @ 0.701332
1.58/1.60	c bounds -7791 >= -1092067 @ 0.702571
1.58/1.60	c bounds -7791 >= -1091851 @ 0.703712
1.58/1.60	c bounds -7791 >= -1091419 @ 0.704782
1.58/1.60	c bounds -7791 >= -1091203 @ 0.706226
1.58/1.60	c bounds -7791 >= -1090987 @ 0.707616
1.58/1.60	c bounds -7870 >= -1090987 @ 0.717445
1.58/1.60	c bounds -8032 >= -1090987 @ 0.718683
1.58/1.60	c bounds -8070 >= -1090987 @ 0.723717
1.58/1.60	c bounds -8202 >= -1090987 @ 0.729242
1.58/1.60	c bounds -8202 >= -1090772 @ 0.73059
1.58/1.60	c bounds -8202 >= -1090342 @ 0.731733
1.58/1.60	c bounds -8202 >= -1089912 @ 0.733034
1.58/1.60	c bounds -8202 >= -1089697 @ 0.73429
1.58/1.60	c bounds -8202 >= -1089482 @ 0.735415
1.58/1.60	c bounds -8202 >= -1089267 @ 0.736812
1.58/1.60	c bounds -8202 >= -1088622 @ 0.737416
1.58/1.60	c bounds -8231 >= -1088622 @ 0.775224
1.58/1.60	c bounds -8231 >= -1088407 @ 0.7783
1.58/1.60	c bounds -8235 >= -1088407 @ 0.874956
1.58/1.60	c bounds -8354 >= -1088407 @ 0.885029
1.58/1.60	c bounds -8383 >= -1088407 @ 0.962702
1.58/1.60	c bounds -8383 >= -1088193 @ 0.96403
1.58/1.60	c bounds -8383 >= -1087765 @ 0.965467
1.58/1.60	c bounds -8383 >= -1087551 @ 0.966503
1.58/1.60	c bounds -8383 >= -1087337 @ 0.967935
1.58/1.60	c bounds -8383 >= -1087123 @ 0.968993
1.58/1.60	c bounds -8383 >= -1086909 @ 0.970073
1.58/1.60	c bounds -8383 >= -1086695 @ 0.974015
1.58/1.60	c bounds -8404 >= -1086695 @ 1.01971
1.58/1.60	c bounds -8405 >= -1086695 @ 1.05062
1.58/1.60	c bounds -8405 >= -1086482 @ 1.05191
1.58/1.60	c bounds -8405 >= -1086056 @ 1.05317
1.58/1.60	c bounds -8405 >= -1085417 @ 1.05459
1.58/1.60	c bounds -8405 >= -1084565 @ 1.05617
1.58/1.60	c bounds -8405 >= -1084352 @ 1.05731
1.58/1.60	c bounds -8405 >= -1084139 @ 1.05831
1.58/1.60	c bounds -8405 >= -1083926 @ 1.05942
1.58/1.60	c bounds -8405 >= -1083713 @ 1.06052
1.58/1.60	c bounds -8405 >= -1083500 @ 1.06163
1.58/1.60	c bounds -8405 >= -1083287 @ 1.06495
1.58/1.60	c bounds -8405 >= -1083074 @ 1.07105
1.58/1.60	c bounds -8429 >= -1083074 @ 1.11759
1.58/1.60	c bounds -8457 >= -1083074 @ 1.20519
1.58/1.60	c bounds -8457 >= -1082862 @ 1.20655
1.58/1.60	c bounds -8457 >= -1082650 @ 1.20772
1.58/1.60	c bounds -8457 >= -1082226 @ 1.20891
8.06/8.17	c bounds -8457 >= -1082014 @ 1.21003
8.06/8.17	c bounds -8457 >= -1081802 @ 1.21117
8.06/8.17	c bounds -8457 >= -1081166 @ 1.21234
8.06/8.17	c bounds -8457 >= -1080530 @ 1.2135
8.06/8.17	c bounds -8457 >= -1080318 @ 1.21458
8.06/8.17	c bounds -8457 >= -1080106 @ 1.21573
8.06/8.17	c bounds -8457 >= -1079894 @ 1.21766
8.06/8.17	c bounds -8457 >= -1079682 @ 1.22182
8.06/8.17	c bounds -8589 >= -1079682 @ 1.28873
8.06/8.17	c bounds -8598 >= -1079682 @ 1.43168
8.06/8.17	c bounds -8598 >= -1079471 @ 1.433
8.06/8.17	c bounds -8598 >= -1079260 @ 1.43433
8.06/8.17	c bounds -8598 >= -1079049 @ 1.43548
8.06/8.17	c bounds -8598 >= -1078838 @ 1.43761
8.06/8.17	c bounds -8598 >= -1078627 @ 1.43873
8.06/8.17	c bounds -8598 >= -1078416 @ 1.44312
8.06/8.17	c bounds -8598 >= -1078205 @ 1.44715
8.06/8.17	c bounds -8637 >= -1078205 @ 2.18762
8.06/8.17	c bounds -8655 >= -1078205 @ 2.40022
8.06/8.17	c bounds -8688 >= -1078205 @ 2.46706
8.06/8.17	c bounds -8772 >= -1078205 @ 2.50607
8.06/8.17	c bounds -8888 >= -1078205 @ 2.66729
8.06/8.17	c bounds -8979 >= -1078205 @ 2.76485
8.06/8.17	c bounds -9095 >= -1078205 @ 2.85849
8.06/8.17	c bounds -9101 >= -1078205 @ 2.90292
8.06/8.17	c bounds -9108 >= -1078205 @ 2.95251
8.06/8.17	c bounds -9117 >= -1078205 @ 2.98722
8.06/8.17	c bounds -9117 >= -1077995 @ 2.98893
8.06/8.17	c bounds -9117 >= -1077785 @ 2.98994
8.06/8.17	c bounds -9117 >= -1076735 @ 2.99236
8.06/8.17	c bounds -9117 >= -1076525 @ 2.99343
8.06/8.17	c bounds -9117 >= -1075895 @ 2.995
8.06/8.17	c bounds -9117 >= -1075685 @ 2.99618
8.06/8.17	c bounds -9117 >= -1075475 @ 2.99727
8.06/8.17	c bounds -9117 >= -1075265 @ 3.00163
8.06/8.17	c bounds -9117 >= -1075055 @ 3.05792
8.06/8.17	c bounds -9117 >= -1074845 @ 3.06263
8.06/8.17	c #Conflicts:       1000 | #Constraints:       1992
8.06/8.17	c bounds -9167 >= -1074845 @ 4.99264
8.06/8.17	c bounds -9170 >= -1074845 @ 5.16401
8.06/8.17	c bounds -9181 >= -1074845 @ 5.17747
8.06/8.17	c bounds -9185 >= -1074845 @ 5.67547
8.06/8.17	c bounds -9198 >= -1074845 @ 6.13938
8.06/8.17	c bounds -9240 >= -1074845 @ 7.17412
8.06/8.17	c bounds -9240 >= -1074636 @ 7.17542
8.06/8.17	c bounds -9240 >= -1074427 @ 7.1778
8.06/8.17	c bounds -9240 >= -1074218 @ 7.23714
8.06/8.17	c bounds -9240 >= -1073800 @ 7.23895
8.06/8.17	c bounds -9240 >= -1073591 @ 7.24018
8.06/8.17	c bounds -9240 >= -1073382 @ 7.24152
8.06/8.17	c bounds -9240 >= -1073173 @ 7.24471
8.06/8.17	c bounds -9240 >= -1072964 @ 7.24986
8.06/8.17	c bounds -9240 >= -1072755 @ 7.25497
8.06/8.17	c #Conflicts:       2000 | #Constraints:       3064
8.06/8.17	c INPROCESSING
8.06/8.17	c GARBAGE COLLECT
8.06/8.17	c rational objective -12616
19.12/19.26	c bounds -10397 >= -1072755 @ 8.04013
19.12/19.26	c bounds -10397 >= -1072547 @ 8.04151
19.12/19.26	c bounds -10397 >= -1072339 @ 8.04263
19.12/19.26	c bounds -10397 >= -1072131 @ 8.04366
19.12/19.26	c bounds -10397 >= -1071923 @ 8.04489
19.12/19.26	c bounds -10397 >= -1071507 @ 8.04521
19.12/19.26	c bounds -10397 >= -1071299 @ 8.04659
19.12/19.26	c bounds -10397 >= -1071091 @ 8.04879
19.12/19.26	c bounds -10397 >= -1070883 @ 8.0499
19.12/19.26	c bounds -10397 >= -1070675 @ 8.05112
19.12/19.26	c bounds -10397 >= -1070467 @ 8.05259
19.12/19.26	c bounds -10397 >= -1070259 @ 8.06022
19.12/19.26	c #Conflicts:       3000 | #Constraints:       2835
19.12/19.26	c bounds -10422 >= -1070259 @ 12.571
19.12/19.26	c bounds -10425 >= -1070259 @ 12.6591
19.12/19.26	c bounds -10426 >= -1070259 @ 12.7813
19.12/19.26	c bounds -10427 >= -1070259 @ 12.8504
19.12/19.26	c bounds -10434 >= -1070259 @ 13.0381
19.12/19.26	c bounds -10451 >= -1070259 @ 13.3639
19.12/19.26	c bounds -10452 >= -1070259 @ 13.7679
19.12/19.26	c bounds -10466 >= -1070259 @ 13.9393
19.12/19.26	c bounds -10478 >= -1070259 @ 14.2438
19.12/19.26	c bounds -10483 >= -1070259 @ 14.2857
19.12/19.26	c bounds -10506 >= -1070259 @ 14.486
19.12/19.26	c bounds -10510 >= -1070259 @ 14.5571
19.12/19.26	c bounds -10512 >= -1070259 @ 14.6875
19.12/19.26	c bounds -10572 >= -1070259 @ 14.7691
19.12/19.26	c bounds -10599 >= -1070259 @ 15.1447
19.12/19.26	c bounds -10664 >= -1070259 @ 15.1887
19.12/19.26	c bounds -10686 >= -1070259 @ 15.4967
19.12/19.26	c bounds -10695 >= -1070259 @ 16.6543
19.12/19.26	c bounds -10701 >= -1070259 @ 16.6942
19.12/19.26	c bounds -10808 >= -1070259 @ 16.8502
19.12/19.26	c bounds -10808 >= -1070052 @ 16.8667
19.12/19.26	c bounds -10808 >= -1069845 @ 16.871
19.12/19.26	c bounds -10808 >= -1069431 @ 16.8843
19.12/19.26	c bounds -10808 >= -1069017 @ 16.8926
19.12/19.26	c bounds -10808 >= -1068810 @ 16.9025
19.12/19.26	c bounds -10808 >= -1068603 @ 16.9368
19.12/19.26	c bounds -10808 >= -1068396 @ 16.9439
19.12/19.26	c bounds -10808 >= -1068189 @ 16.952
19.12/19.26	c bounds -10808 >= -1067982 @ 17.0518
19.12/19.26	c #Conflicts:       4000 | #Constraints:       3921
19.12/19.26	c INPROCESSING
19.12/19.26	c GARBAGE COLLECT
19.12/19.26	c rational objective -12612.3
34.17/34.32	c bounds -10821 >= -1067982 @ 22.553
34.17/34.32	c bounds -10821 >= -1067570 @ 22.5554
34.17/34.32	c bounds -10821 >= -1066952 @ 22.5569
34.17/34.32	c bounds -10821 >= -1066746 @ 22.5591
34.17/34.32	c bounds -10821 >= -1066334 @ 22.5611
34.17/34.32	c bounds -10821 >= -1065922 @ 22.5683
34.17/34.32	c bounds -10821 >= -1065716 @ 22.58
34.17/34.32	c bounds -10821 >= -1065510 @ 22.588
34.17/34.32	c bounds -10821 >= -1065304 @ 22.5959
34.17/34.32	c bounds -10821 >= -1065098 @ 22.646
34.17/34.32	c #Conflicts:       5000 | #Constraints:       3287
34.17/34.32	c bounds -10822 >= -1065098 @ 27.7603
34.17/34.32	c bounds -10822 >= -1064893 @ 27.7695
34.17/34.32	c bounds -10822 >= -1064688 @ 27.7971
34.17/34.32	c bounds -10822 >= -1064483 @ 27.8105
34.17/34.32	c bounds -10822 >= -1064278 @ 27.9335
34.17/34.32	c bounds -10822 >= -1064073 @ 27.9591
34.17/34.32	c bounds -10822 >= -1063868 @ 27.9984
34.17/34.32	c bounds -10822 >= -1063663 @ 28.0282
34.17/34.32	c bounds -10822 >= -1063458 @ 28.1627
34.17/34.32	c #Conflicts:       6000 | #Constraints:       4334
34.17/34.32	c INPROCESSING
34.17/34.32	c GARBAGE COLLECT
34.17/34.32	c rational objective -12612.2
126.59/127.09	c bounds -10841 >= -1063458 @ 34.6924
126.59/127.09	c bounds -10848 >= -1063458 @ 35.4883
126.59/127.09	c bounds -10870 >= -1063458 @ 37.0349
126.59/127.09	c #Conflicts:       7000 | #Constraints:       3333
126.59/127.09	c bounds -10885 >= -1063458 @ 39.0173
126.59/127.09	c bounds -10885 >= -1063254 @ 39.0366
126.59/127.09	c bounds -10885 >= -1063050 @ 39.0685
126.59/127.09	c bounds -10885 >= -1062030 @ 39.1379
126.59/127.09	c bounds -10889 >= -1062030 @ 39.5329
126.59/127.09	c bounds -10889 >= -1061826 @ 39.5969
126.59/127.09	c bounds -10889 >= -1061622 @ 39.6469
126.59/127.09	c bounds -10889 >= -1061418 @ 39.6662
126.59/127.09	c bounds -10889 >= -1061214 @ 39.6892
126.59/127.09	c bounds -10889 >= -1061010 @ 39.7086
126.59/127.09	c bounds -10889 >= -1060806 @ 39.7311
126.59/127.09	c bounds -10889 >= -1060602 @ 39.9441
126.59/127.09	c bounds -10889 >= -1060398 @ 40.1797
126.59/127.09	c #Conflicts:       8000 | #Constraints:       4396
126.59/127.09	c #Conflicts:       9000 | #Constraints:       5420
126.59/127.09	c INPROCESSING
126.59/127.09	c GARBAGE COLLECT
126.59/127.09	c bounds -10893 >= -1060398 @ 59.7464
126.59/127.09	c bounds -10928 >= -1060398 @ 66.6249
126.59/127.09	c #Conflicts:      10000 | #Constraints:       4077
126.59/127.09	c bounds -10929 >= -1060398 @ 67.5878
126.59/127.09	c bounds -10932 >= -1060398 @ 67.8149
126.59/127.09	c bounds -11031 >= -1060398 @ 68.0702
126.59/127.09	c bounds -11035 >= -1060398 @ 74.9776
126.59/127.09	c bounds -11035 >= -1060195 @ 75.0035
126.59/127.09	c bounds -11035 >= -1059992 @ 75.0994
126.59/127.09	c bounds -11035 >= -1059789 @ 75.1502
126.59/127.09	c bounds -11035 >= -1059586 @ 75.1803
126.59/127.09	c bounds -11035 >= -1058774 @ 75.2824
126.59/127.09	c bounds -11035 >= -1058571 @ 75.3077
126.59/127.09	c bounds -11035 >= -1058368 @ 75.4521
126.59/127.09	c bounds -11035 >= -1058165 @ 75.5374
126.59/127.09	c bounds -11035 >= -1057962 @ 75.5631
126.59/127.09	c #Conflicts:      11000 | #Constraints:       5128
126.59/127.09	c #Conflicts:      12000 | #Constraints:       6133
126.59/127.09	c INPROCESSING
126.59/127.09	c GARBAGE COLLECT
126.59/127.09	c bounds -11063 >= -1057962 @ 95.7907
126.59/127.09	c bounds -11121 >= -1057962 @ 96.037
126.59/127.09	c #Conflicts:      13000 | #Constraints:       4522
126.59/127.09	c bounds -11126 >= -1057962 @ 109.636
126.59/127.09	c bounds -11126 >= -1057760 @ 109.655
126.59/127.09	c bounds -11126 >= -1057558 @ 109.711
126.59/127.09	c bounds -11126 >= -1057356 @ 109.822
126.59/127.09	c bounds -11126 >= -1057154 @ 109.853
126.59/127.09	c bounds -11126 >= -1056144 @ 109.973
126.59/127.09	c bounds -11126 >= -1055942 @ 110.039
126.59/127.09	c bounds -11126 >= -1055740 @ 110.15
126.59/127.09	c bounds -11126 >= -1055538 @ 110.176
126.59/127.09	c bounds -11126 >= -1055336 @ 110.264
126.59/127.09	c bounds -11126 >= -1055134 @ 110.737
126.59/127.09	c #Conflicts:      14000 | #Constraints:       5572
126.59/127.09	c #Conflicts:      15000 | #Constraints:       6577
126.59/127.09	c INPROCESSING
126.59/127.09	c GARBAGE COLLECT
126.59/127.09	c rational objective -12609.6
158.37/158.93	c bounds -11130 >= -1055134 @ 126.666
158.37/158.93	c bounds -11135 >= -1055134 @ 127.396
158.37/158.93	c bounds -11135 >= -1054933 @ 127.408
158.37/158.93	c bounds -11135 >= -1054732 @ 127.432
158.37/158.93	c bounds -11135 >= -1054330 @ 127.513
158.37/158.93	c bounds -11135 >= -1054129 @ 127.538
158.37/158.93	c bounds -11135 >= -1053928 @ 127.605
158.37/158.93	c bounds -11135 >= -1053727 @ 127.639
158.37/158.93	c bounds -11135 >= -1053526 @ 127.732
158.37/158.93	c bounds -11135 >= -1053325 @ 127.77
158.37/158.93	c bounds -11135 >= -1053124 @ 128.603
158.37/158.93	c bounds -11135 >= -1052923 @ 128.824
158.37/158.93	c bounds -11159 >= -1052923 @ 129.042
158.37/158.93	c bounds -11159 >= -1052722 @ 129.583
158.37/158.93	c #Conflicts:      16000 | #Constraints:       4815
158.37/158.93	c #Conflicts:      17000 | #Constraints:       5815
158.37/158.93	c bounds -11163 >= -1052722 @ 147.248
158.37/158.93	c #Conflicts:      18000 | #Constraints:       6816
158.37/158.93	c INPROCESSING
158.37/158.93	c GARBAGE COLLECT
158.37/158.93	c rational objective -12608
189.68/190.36	c #Conflicts:      19000 | #Constraints:       4805
189.68/190.36	c #Conflicts:      20000 | #Constraints:       5805
189.68/190.36	c #Conflicts:      21000 | #Constraints:       6806
189.68/190.36	c INPROCESSING
189.68/190.36	c GARBAGE COLLECT
189.68/190.36	c rational objective -12606.8
249.57/250.49	c bounds -11165 >= -1052722 @ 190.593
249.57/250.49	c bounds -11177 >= -1052722 @ 191.157
249.57/250.49	c bounds -11178 >= -1052722 @ 191.376
249.57/250.49	c bounds -11265 >= -1052722 @ 192.093
249.57/250.49	c #Conflicts:      22000 | #Constraints:       4628
249.57/250.49	c bounds -11440 >= -1052722 @ 194.163
249.57/250.49	c #Conflicts:      23000 | #Constraints:       5660
249.57/250.49	c #Conflicts:      24000 | #Constraints:       6662
249.57/250.49	c bounds -11448 >= -1052722 @ 232.134
249.57/250.49	c bounds -11448 >= -1052522 @ 232.149
249.57/250.49	c bounds -11448 >= -1052322 @ 232.179
249.57/250.49	c bounds -11448 >= -1052122 @ 232.238
249.57/250.49	c bounds -11448 >= -1051922 @ 232.27
249.57/250.49	c bounds -11448 >= -1051722 @ 232.341
249.57/250.49	c bounds -11448 >= -1051522 @ 232.425
249.57/250.49	c bounds -11448 >= -1051322 @ 232.474
249.57/250.49	c bounds -11448 >= -1051122 @ 232.511
249.57/250.49	c bounds -11448 >= -1050922 @ 232.564
249.57/250.49	c bounds -11448 >= -1050722 @ 232.626
249.57/250.49	c bounds -11448 >= -1050522 @ 232.677
249.57/250.49	c bounds -11448 >= -1050322 @ 232.819
249.57/250.49	c bounds -11448 >= -1050122 @ 233.511
249.57/250.49	c #Conflicts:      25000 | #Constraints:       7714
249.57/250.49	c INPROCESSING
249.57/250.49	c GARBAGE COLLECT
249.57/250.49	c rational objective -12603.8
350.13/351.35	c #Conflicts:      26000 | #Constraints:       5265
350.13/351.35	c #Conflicts:      27000 | #Constraints:       6275
350.13/351.35	c #Conflicts:      28000 | #Constraints:       7288
350.13/351.35	c #Conflicts:      29000 | #Constraints:       8289
350.13/351.35	c INPROCESSING
350.13/351.35	c GARBAGE COLLECT
350.13/351.35	c rational objective -12603.8
395.18/396.54	c bounds -11449 >= -1050122 @ 349.657
395.18/396.54	c bounds -11460 >= -1050122 @ 350.491
395.18/396.54	c bounds -11495 >= -1050122 @ 352.52
395.18/396.54	c #Conflicts:      30000 | #Constraints:       5697
395.18/396.54	c #Conflicts:      31000 | #Constraints:       6697
395.18/396.54	c #Conflicts:      32000 | #Constraints:       7697
395.18/396.54	c #Conflicts:      33000 | #Constraints:       8697
395.18/396.54	c INPROCESSING
395.18/396.54	c GARBAGE COLLECT
395.18/396.54	c rational objective -12606.2
474.02/475.65	c bounds -11495 >= -1049724 @ 393.935
474.02/475.65	c bounds -11495 >= -1049525 @ 393.966
474.02/475.65	c bounds -11495 >= -1049326 @ 394.014
474.02/475.65	c bounds -11495 >= -1049127 @ 394.073
474.02/475.65	c bounds -11495 >= -1048928 @ 394.135
474.02/475.65	c bounds -11495 >= -1048729 @ 394.269
474.02/475.65	c bounds -11495 >= -1048530 @ 394.324
474.02/475.65	c bounds -11495 >= -1048331 @ 394.384
474.02/475.65	c bounds -11495 >= -1048132 @ 394.519
474.02/475.65	c bounds -11495 >= -1047933 @ 394.591
474.02/475.65	c bounds -11495 >= -1047734 @ 394.773
474.02/475.65	c bounds -11495 >= -1047535 @ 394.892
474.02/475.65	c bounds -11495 >= -1047336 @ 395.019
474.02/475.65	c bounds -11495 >= -1047137 @ 395.252
474.02/475.65	c bounds -11495 >= -1046938 @ 397.148
474.02/475.65	c #Conflicts:      34000 | #Constraints:       5900
474.02/475.65	c #Conflicts:      35000 | #Constraints:       6901
474.02/475.65	c #Conflicts:      36000 | #Constraints:       7905
474.02/475.65	c #Conflicts:      37000 | #Constraints:       8909
474.02/475.65	c INPROCESSING
474.02/475.65	c GARBAGE COLLECT
474.02/475.65	c rational objective -12604.7
564.41/566.36	c #Conflicts:      38000 | #Constraints:       5895
564.41/566.36	c #Conflicts:      39000 | #Constraints:       6895
564.41/566.36	c #Conflicts:      40000 | #Constraints:       7895
564.41/566.36	c bounds -11495 >= -1046739 @ 546.742
564.41/566.36	c #Conflicts:      41000 | #Constraints:       8904
564.41/566.36	c INPROCESSING
564.41/566.36	c GARBAGE COLLECT
564.41/566.36	c rational objective -12604.7
644.25/646.48	c #Conflicts:      42000 | #Constraints:       5692
644.25/646.48	c #Conflicts:      43000 | #Constraints:       6696
644.25/646.48	c #Conflicts:      44000 | #Constraints:       7699
644.25/646.48	c #Conflicts:      45000 | #Constraints:       8704
644.25/646.48	c #Conflicts:      46000 | #Constraints:       9707
644.25/646.48	c INPROCESSING
644.25/646.48	c GARBAGE COLLECT
644.25/646.48	c rational objective -12604.7
748.32/750.80	c #Conflicts:      47000 | #Constraints:       6325
748.32/750.80	c bounds -11501 >= -1046739 @ 649.522
748.32/750.80	c #Conflicts:      48000 | #Constraints:       7342
748.32/750.80	c bounds -11517 >= -1046739 @ 682.85
748.32/750.80	c bounds -11648 >= -1046739 @ 688.502
748.32/750.80	c bounds -11717 >= -1046739 @ 690.374
748.32/750.80	c bounds -11755 >= -1046739 @ 691.118
748.32/750.80	c bounds -11772 >= -1046739 @ 693.829
748.32/750.80	c #Conflicts:      49000 | #Constraints:       8395
748.32/750.80	c bounds -11803 >= -1046739 @ 699.722
748.32/750.80	c bounds -11823 >= -1046739 @ 700.084
748.32/750.80	c bounds -11824 >= -1046739 @ 704.535
748.32/750.80	c bounds -11865 >= -1046739 @ 716.137
748.32/750.80	c bounds -11868 >= -1046739 @ 720.885
748.32/750.80	c bounds -11868 >= -1046343 @ 720.914
748.32/750.80	c bounds -11868 >= -1046145 @ 721.044
748.32/750.80	c bounds -11868 >= -1045353 @ 721.134
748.32/750.80	c bounds -11868 >= -1045155 @ 721.689
748.32/750.80	c bounds -11868 >= -1044957 @ 722.815
748.32/750.80	c #Conflicts:      50000 | #Constraints:       9454
748.32/750.80	c #Conflicts:      51000 | #Constraints:      10454
748.32/750.80	c INPROCESSING
748.32/750.80	c GARBAGE COLLECT
748.32/750.80	c rational objective -12604.7
885.65/888.66	c bounds -11929 >= -1044957 @ 749.835
885.65/888.66	c bounds -11961 >= -1044957 @ 750.537
885.65/888.66	c bounds -11981 >= -1044957 @ 750.878
885.65/888.66	c #Conflicts:      52000 | #Constraints:       6792
885.65/888.66	c #Conflicts:      53000 | #Constraints:       7830
885.65/888.66	c bounds -12012 >= -1044957 @ 764.693
885.65/888.66	c bounds -12012 >= -1044760 @ 764.744
885.65/888.66	c bounds -12012 >= -1044366 @ 764.755
885.65/888.66	c bounds -12012 >= -1044169 @ 764.846
885.65/888.66	c bounds -12012 >= -1043972 @ 764.895
885.65/888.66	c bounds -12012 >= -1043578 @ 764.959
885.65/888.66	c bounds -12012 >= -1043381 @ 765.072
885.65/888.66	c bounds -12012 >= -1043184 @ 775.12
885.65/888.66	c #Conflicts:      54000 | #Constraints:       8867
885.65/888.66	c #Conflicts:      55000 | #Constraints:       9868
885.65/888.66	c bounds -12012 >= -1042987 @ 877.194
885.65/888.66	c bounds -12094 >= -1042987 @ 877.903
885.65/888.66	c #Conflicts:      56000 | #Constraints:      10879
885.65/888.66	c INPROCESSING
885.65/888.66	c GARBAGE COLLECT
885.65/888.66	c rational objective -12604.7
1017.65/1021.14	c bounds -12135 >= -1042987 @ 883.784
1017.65/1021.14	c #Conflicts:      57000 | #Constraints:       6972
1017.65/1021.14	c #Conflicts:      58000 | #Constraints:       7991
1017.65/1021.14	c #Conflicts:      59000 | #Constraints:       8995
1017.65/1021.14	c #Conflicts:      60000 | #Constraints:       9999
1017.65/1021.14	c bounds -12147 >= -1042987 @ 967.01
1017.65/1021.14	c #Conflicts:      61000 | #Constraints:      11008
1017.65/1021.14	c INPROCESSING
1017.65/1021.14	c GARBAGE COLLECT
1017.65/1021.14	c rational objective -12612.2
1311.62/1316.25	c bounds -12147 >= -1042097 @ 1036.51
1311.62/1316.25	c bounds -12147 >= -1041692 @ 1061.36
1311.62/1316.25	c #Conflicts:      62000 | #Constraints:       6991
1311.62/1316.25	c bounds -12147 >= -1041495 @ 1148.68
1311.62/1316.25	c bounds -12150 >= -1041495 @ 1149.01
1311.62/1316.25	c #Conflicts:      63000 | #Constraints:       8004
1311.62/1316.25	c bounds -12156 >= -1041495 @ 1150.69
1311.62/1316.25	c #Conflicts:      64000 | #Constraints:       9005
1311.62/1316.25	c bounds -12230 >= -1041495 @ 1163.96
1311.62/1316.25	c #Conflicts:      65000 | #Constraints:      10015
1311.62/1316.25	c #Conflicts:      66000 | #Constraints:      11015
1311.62/1316.25	c bounds -12230 >= -1041298 @ 1300.68
1311.62/1316.25	c INPROCESSING
1311.62/1316.25	c GARBAGE COLLECT
1311.62/1316.25	c rational objective -12608.3
1405.76/1410.76	c #Conflicts:      67000 | #Constraints:       6775
1405.76/1410.76	c bounds -12236 >= -1041298 @ 1312.14
1405.76/1410.76	c #Conflicts:      68000 | #Constraints:       7779
1405.76/1410.76	c #Conflicts:      69000 | #Constraints:       8780
1405.76/1410.76	c bounds -12244 >= -1041298 @ 1336.29
1405.76/1410.76	c #Conflicts:      70000 | #Constraints:       9786
1405.76/1410.76	c #Conflicts:      71000 | #Constraints:      10786
1405.76/1410.76	c #Conflicts:      72000 | #Constraints:      11786
1405.76/1410.76	c INPROCESSING
1405.76/1410.76	c GARBAGE COLLECT
1405.76/1410.76	c rational objective -12610
1596.45/1602.18	c #Conflicts:      73000 | #Constraints:       7390
1596.45/1602.18	c #Conflicts:      74000 | #Constraints:       8391
1596.45/1602.18	c #Conflicts:      75000 | #Constraints:       9402
1596.45/1602.18	c bounds -12290 >= -1041298 @ 1435.52
1596.45/1602.18	c bounds -12290 >= -1040906 @ 1435.57
1596.45/1602.18	c bounds -12290 >= -1039534 @ 1435.66
1596.45/1602.18	c bounds -12290 >= -1039338 @ 1436.29
1596.45/1602.18	c bounds -12290 >= -1039142 @ 1437.91
1596.45/1602.18	c bounds -12290 >= -1038946 @ 1450.14
1596.45/1602.18	c #Conflicts:      76000 | #Constraints:      10457
1596.45/1602.18	c bounds -12290 >= -1038750 @ 1497.72
1596.45/1602.18	c bounds -12291 >= -1038750 @ 1502.6
1596.45/1602.18	c #Conflicts:      77000 | #Constraints:      11493
1596.45/1602.18	c #Conflicts:      78000 | #Constraints:      12495
1596.45/1602.18	c INPROCESSING
1596.45/1602.18	c GARBAGE COLLECT
1596.45/1602.18	c rational objective -12612.2
1669.07/1675.03	c bounds -12293 >= -1038750 @ 1591.7
1669.07/1675.03	c bounds -12321 >= -1038750 @ 1592.68
1669.07/1675.03	c bounds -12323 >= -1038750 @ 1592.85
1669.07/1675.03	c bounds -12324 >= -1038750 @ 1594.33
1669.07/1675.03	c #Conflicts:      79000 | #Constraints:       7904
1669.07/1675.03	c bounds -12328 >= -1038750 @ 1598.07
1669.07/1675.03	c bounds -12375 >= -1038750 @ 1600.18
1669.07/1675.03	c bounds -12388 >= -1038750 @ 1600.88
1669.07/1675.03	c #Conflicts:      80000 | #Constraints:       8937
1669.07/1675.03	c bounds -12413 >= -1038750 @ 1608.74
1669.07/1675.03	c bounds -12418 >= -1038750 @ 1610.25
1669.07/1675.03	c #Conflicts:      81000 | #Constraints:       9960
1669.07/1675.03	c bounds -12423 >= -1038750 @ 1613
1669.07/1675.03	c bounds -12432 >= -1038750 @ 1613.67
1669.07/1675.03	c bounds -12437 >= -1038750 @ 1617.6
1669.07/1675.03	c bounds -12451 >= -1038750 @ 1625.93
1669.07/1675.03	c #Conflicts:      82000 | #Constraints:      10984
1669.07/1675.03	c bounds -12469 >= -1038750 @ 1627.94
1669.07/1675.03	c bounds -12484 >= -1038750 @ 1630.74
1669.07/1675.03	c bounds -12494 >= -1038750 @ 1637.04
1669.07/1675.03	c #Conflicts:      83000 | #Constraints:      12033
1669.07/1675.03	c bounds -12514 >= -1038750 @ 1641.2
1669.07/1675.03	c bounds -12514 >= -1035608 @ 1641.22
1669.07/1675.03	c bounds -12514 >= -1035218 @ 1641.23
1669.07/1675.03	c bounds -12514 >= -1035023 @ 1641.24
1669.07/1675.03	c bounds -12514 >= -1034633 @ 1641.3
1669.07/1675.03	c bounds -12514 >= -1034243 @ 1641.34
1669.07/1675.03	c bounds -12514 >= -1033853 @ 1641.38
1669.07/1675.03	c bounds -12514 >= -1033658 @ 1641.46
1669.07/1675.03	c bounds -12514 >= -1033463 @ 1641.58
1669.07/1675.03	c bounds -12514 >= -1033268 @ 1641.62
1669.07/1675.03	c bounds -12514 >= -1033073 @ 1642.96
1669.07/1675.03	c bounds -12514 >= -1032878 @ 1646.35
1669.07/1675.03	c bounds -12514 >= -1032683 @ 1653.68
1669.07/1675.03	c #Conflicts:      84000 | #Constraints:      13101
1669.07/1675.03	c INPROCESSING
1669.07/1675.03	c GARBAGE COLLECT
1669.07/1675.03	c rational objective -12612.1
1698.76/1704.83	c bounds -12514 >= -309656 @ 1666.73
1698.76/1704.83	c bounds -12514 >= -309450 @ 1666.74
1698.76/1704.83	c bounds -12514 >= -309249 @ 1666.74
1698.76/1704.83	c bounds -12514 >= -309049 @ 1666.75
1698.76/1704.83	c bounds -12514 >= -303373 @ 1666.77
1698.76/1704.83	c bounds -12514 >= -303178 @ 1666.77
1698.76/1704.83	c bounds -12514 >= -302983 @ 1666.8
1698.76/1704.83	c bounds -12514 >= -302788 @ 1666.94
1698.76/1704.83	c bounds -12514 >= -299870 @ 1666.98
1698.76/1704.83	c bounds -12514 >= -299671 @ 1666.99
1698.76/1704.83	c bounds -12514 >= -299473 @ 1667
1698.76/1704.83	c bounds -12514 >= -296200 @ 1667
1698.76/1704.83	c bounds -12514 >= -292222 @ 1667.02
1698.76/1704.83	c bounds -12514 >= -292027 @ 1667.08
1698.76/1704.83	c bounds -12514 >= -291832 @ 1667.25
1698.76/1704.83	c bounds -12514 >= -291637 @ 1667.43
1698.76/1704.83	c bounds -12514 >= -291441 @ 1667.73
1698.76/1704.83	c bounds -12514 >= -291244 @ 1667.76
1698.76/1704.83	c bounds -12514 >= -291049 @ 1667.78
1698.76/1704.83	c bounds -12514 >= -286553 @ 1668.29
1698.76/1704.83	c bounds -12514 >= -284846 @ 1668.84
1698.76/1704.83	c bounds -12514 >= -284651 @ 1669.48
1698.76/1704.83	c #Conflicts:      85000 | #Constraints:       8338
1698.76/1704.83	c bounds -12514 >= -280824 @ 1671.55
1698.76/1704.83	c bounds -12515 >= -280824 @ 1672.37
1698.76/1704.83	c bounds -12515 >= -277163 @ 1674.03
1698.76/1704.83	c #Conflicts:      86000 | #Constraints:       9358
1698.76/1704.83	c bounds -12516 >= -277163 @ 1674.41
1698.76/1704.83	c bounds -12516 >= -268970 @ 1676.33
1698.76/1704.83	c #Conflicts:      87000 | #Constraints:      10374
1698.76/1704.83	c #Conflicts:      88000 | #Constraints:      11392
1698.76/1704.83	c bounds -12517 >= -268970 @ 1679.68
1698.76/1704.83	c bounds -12517 >= -258828 @ 1684.03
1698.76/1704.83	c #Conflicts:      89000 | #Constraints:      12409
1698.76/1704.83	c #Conflicts:      90000 | #Constraints:      13415
1698.76/1704.83	c INPROCESSING
1698.76/1704.83	c GARBAGE COLLECT
1698.76/1704.83	c rational objective -12612
1730.64/1736.86	c bounds -12521 >= -258828 @ 1693.93
1730.64/1736.86	c #Conflicts:      91000 | #Constraints:       6639
1730.64/1736.86	c bounds -12525 >= -258828 @ 1695.6
1730.64/1736.86	c bounds -12528 >= -258828 @ 1695.68
1730.64/1736.86	c bounds -12542 >= -258828 @ 1695.77
1730.64/1736.86	c bounds -12553 >= -258828 @ 1696.54
1730.64/1736.86	c #Conflicts:      92000 | #Constraints:       7669
1730.64/1736.86	c bounds -12563 >= -258828 @ 1698.88
1730.64/1736.86	c bounds -12563 >= -253132 @ 1698.88
1730.64/1736.86	c bounds -12563 >= -252744 @ 1698.9
1730.64/1736.86	c bounds -12563 >= -252550 @ 1698.9
1730.64/1736.86	c bounds -12563 >= -252356 @ 1698.91
1730.64/1736.86	c bounds -12563 >= -252162 @ 1698.93
1730.64/1736.86	c bounds -12563 >= -247188 @ 1699.24
1730.64/1736.86	c bounds -12563 >= -243627 @ 1701.03
1730.64/1736.86	c #Conflicts:      93000 | #Constraints:       8712
1730.64/1736.86	c #Conflicts:      94000 | #Constraints:       9728
1730.64/1736.86	c bounds -12572 >= -243627 @ 1706.2
1730.64/1736.86	c bounds -12572 >= -240845 @ 1708.95
1730.64/1736.86	c bounds -12572 >= -240468 @ 1711.62
1730.64/1736.86	c #Conflicts:      95000 | #Constraints:      10747
1730.64/1736.86	c bounds -12572 >= -237351 @ 1716.46
1730.64/1736.86	c bounds -12573 >= -237351 @ 1716.91
1730.64/1736.86	c bounds -12574 >= -237351 @ 1717.53
1730.64/1736.86	c #Conflicts:      96000 | #Constraints:      11759
1730.64/1736.86	c bounds -12589 >= -237351 @ 1720.8
1730.64/1736.86	c INPROCESSING
1730.64/1736.86	c GARBAGE COLLECT
1730.64/1736.86	c rational objective -12612
1738.31/1744.59	c bounds -12589 >= -180785 @ 1726.17
1738.31/1744.59	c bounds -12589 >= -180582 @ 1726.17
1738.31/1744.59	c bounds -12589 >= -180385 @ 1726.18
1738.31/1744.59	c bounds -12589 >= -180188 @ 1726.18
1738.31/1744.59	c bounds -12589 >= -130416 @ 1726.19
1738.31/1744.59	c bounds -12589 >= -129618 @ 1726.19
1738.31/1744.59	c bounds -12589 >= -129381 @ 1726.19
1738.31/1744.59	c bounds -12589 >= -129169 @ 1726.19
1738.31/1744.59	c bounds -12589 >= -128970 @ 1726.2
1738.31/1744.59	c bounds -12589 >= -128768 @ 1726.2
1738.31/1744.59	c bounds -12589 >= -104777 @ 1726.2
1738.31/1744.59	c bounds -12589 >= -104564 @ 1726.2
1738.31/1744.59	c bounds -12589 >= -104354 @ 1726.2
1738.31/1744.59	c bounds -12589 >= -104147 @ 1726.21
1738.31/1744.59	c bounds -12589 >= -103941 @ 1726.21
1738.31/1744.59	c bounds -12589 >= -103737 @ 1726.21
1738.31/1744.59	c bounds -12589 >= -103538 @ 1726.21
1738.31/1744.59	c bounds -12589 >= -103342 @ 1726.21
1738.31/1744.59	c bounds -12589 >= -103138 @ 1726.22
1738.31/1744.59	c bounds -12589 >= -99938 @ 1726.23
1738.31/1744.59	c bounds -12589 >= -99742 @ 1726.24
1738.31/1744.59	c bounds -12589 >= -99546 @ 1726.25
1738.31/1744.59	c bounds -12589 >= -99350 @ 1726.28
1738.31/1744.59	c bounds -12589 >= -99156 @ 1726.41
1738.31/1744.59	c bounds -12589 >= -98006 @ 1726.51
1738.31/1744.59	c #Conflicts:      97000 | #Constraints:       7330
1738.31/1744.59	c bounds -12600 >= -98006 @ 1727.5
1738.31/1744.59	c bounds -12600 >= -97037 @ 1727.89
1738.31/1744.59	c #Conflicts:      98000 | #Constraints:       8342
1738.31/1744.59	c bounds -12600 >= -96472 @ 1728.13
1738.31/1744.59	c #Conflicts:      99000 | #Constraints:       9355
1738.31/1744.59	c bounds -12600 >= -95877 @ 1729.6
1738.31/1744.59	c bounds -12612 >= -95877 @ 1731.28
1738.31/1744.59	c #Conflicts:     100000 | #Constraints:      10383
1738.31/1744.59	c bounds -12612 >= -93593 @ 1732.08
1738.31/1744.59	c bounds -12612 >= -93593 @ 1732.34
1738.31/1744.59	c cpu time 1732.34 s
1738.31/1744.59	c deterministic time 140179307289 1.40e+11
1738.31/1744.59	c optimization time 0.584891 s
1738.31/1744.59	c total solve time 1731.74 s
1738.31/1744.59	c core-guided solve time 1204.34 s
1738.31/1744.59	c propagation time 1170.08 s
1738.31/1744.59	c conflict analysis time 458.337 s
1738.31/1744.59	c propagations 97852952
1738.31/1744.59	c resolve steps 670250
1738.31/1744.59	c decisions 3253147
1738.31/1744.59	c conflicts 100283
1738.31/1744.59	c restarts 254
1738.31/1744.59	c inprocessing phases 23
1738.31/1744.59	c input clauses 505
1738.31/1744.59	c input cardinalities 634
1738.31/1744.59	c input general constraints 974
1738.31/1744.59	c input average constraint length 2438.59
1738.31/1744.59	c input average constraint degree 8784.07
1738.31/1744.59	c learned clauses 9246
1738.31/1744.59	c learned cardinalities 527
1738.31/1744.59	c learned general constraints 91561
1738.31/1744.59	c learned average constraint length 5926.26
1738.31/1744.59	c learned average constraint degree 126026487513.44
1738.31/1744.59	c watched constraints 52970
1738.31/1744.59	c counting constraints 39565
1738.31/1744.59	c gcd simplifications 2022
1738.31/1744.59	c detected cardinalities 197
1738.31/1744.59	c weakened non-implied lits 169852788
1738.31/1744.59	c weakened non-implying lits 157041
1738.31/1744.59	c original variables 9905
1738.31/1744.59	c clausal propagations 1001898
1738.31/1744.59	c cardinality propagations 19938383
1738.31/1744.59	c watched propagations 7573018
1738.31/1744.59	c counting propagations 65467635
1738.31/1744.59	c watch lookups 25933126959
1738.31/1744.59	c watch backjump lookups 25855256631
1738.31/1744.59	c watch checks 52809522162
1738.31/1744.59	c propagation checks 33353377509
1738.31/1744.59	c constraint additions 2025561528
1738.31/1744.59	c trail pops 101196024
1738.31/1744.59	c formula constraints 313
1738.31/1744.59	c learned constraints 99600
1738.31/1744.59	c bound constraints 582
1738.31/1744.59	c core-guided constraints 1218
1738.31/1744.59	c encountered formula constraints 352199
1738.31/1744.59	c encountered learned constraints 272111
1738.31/1744.59	c encountered bound constraints 1955
1738.31/1744.59	c encountered core-guided constraints 100179
1738.31/1744.59	c LP total time 56.0794 s
1738.31/1744.59	c LP solve time 29.04 s
1738.31/1744.59	c LP constraints added 327
1738.31/1744.59	c LP constraints removed 11
1738.31/1744.59	c LP pivots internal 100301
1738.31/1744.59	c LP pivots root 60075
1738.31/1744.59	c LP calls 1144
1738.31/1744.59	c LP optimalities 145
1738.31/1744.59	c LP no pivot count 57
1738.31/1744.59	c LP infeasibilities 991
1738.31/1744.59	c LP valid Farkas constraints 986
1738.31/1744.59	c LP learned Farkas constraints 734
1738.31/1744.59	c LP basis resets 10
1738.31/1744.59	c LP cycling count 4
1738.31/1744.59	c LP singular count 1
1738.31/1744.59	c LP no primal count 0
1738.31/1744.59	c LP no farkas count 5
1738.31/1744.59	c LP other issue count 0
1738.31/1744.59	c LP Gomory cuts 14
1738.31/1744.59	c LP learned cuts 0
1738.31/1744.59	c LP deleted cuts 11
1738.31/1744.59	c LP encountered Gomory constraints 0
1738.31/1744.59	c LP encountered Farkas constraints 40070
1738.31/1744.59	c LP encountered learned Farkas constraints 3285
1738.31/1744.59	c CG auxiliary variables introduced 538
1738.31/1744.59	c CG solutions found 200
1738.31/1744.59	c CG cores constructed 383
1738.31/1744.59	c CG core cardinality constraints returned 68
1738.31/1744.59	c CG unit cores 15
1738.31/1744.59	c CG single cores 345
1738.31/1744.59	c CG blocks removed during cardinality reduction 0
1738.31/1744.59	c CG first core best 1
1738.31/1744.59	c CG decision core best 11
1738.31/1744.59	c CG core reduction tie 11
1738.31/1744.59	c CG core degree average 1.27
1738.31/1744.59	c CG core slack average 1.58
1738.31/1744.59	o -12612
1738.31/1744.59	s OPTIMUM FOUND
1738.31/1744.59	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: 63968 MiB (58069 MiB free)
  memory of node 1: 64473 MiB (60108 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=417356, runsolver pid=417353

[startup+0.10095 s]*
/proc/loadavg: 0.30 0.13 0.10 5/256 417367
/proc/meminfo: memFree=120965684/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=47000 memory=16444 CPUtime=0.09 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 3311 0 0 0 9 0 0 0 20 0 1 0 60186045 48128000 4111 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 11750 4111 1723 922 0 3702 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 47000 KiB
Current children cumulated memory: 16444 KiB

[startup+0.205473 s]*
/proc/loadavg: 0.30 0.13 0.10 5/256 417367
/proc/meminfo: memFree=120922052/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=49180 memory=20520 CPUtime=0.19 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 3763 0 0 0 15 4 0 0 20 0 1 0 60186045 50360320 5130 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 12295 5130 1771 922 0 4247 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 49180 KiB
Current children cumulated memory: 20520 KiB

[startup+0.305386 s]*
/proc/loadavg: 0.30 0.13 0.10 5/256 417367
/proc/meminfo: memFree=120918248/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=49524 memory=21836 CPUtime=0.3 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 4087 0 0 0 21 9 0 0 20 0 1 0 60186045 50712576 5459 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 12381 5459 1771 922 0 4333 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49524 KiB
Current children cumulated memory: 21836 KiB

[startup+0.700199 s]
/proc/loadavg: 0.30 0.13 0.10 5/256 417367
/proc/meminfo: memFree=120906508/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=63844 memory=31112 CPUtime=0.69 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 5895 0 0 0 48 21 0 0 20 0 1 0 60186045 65376256 7778 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 15961 7778 1771 922 0 7913 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63844 KiB
Current children cumulated memory: 31112 KiB

[startup+1.5002 s]
/proc/loadavg: 0.30 0.13 0.10 5/256 417367
/proc/meminfo: memFree=120881924/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=78556 memory=51944 CPUtime=1.48 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 7931 0 0 0 111 37 0 0 20 0 1 0 60186045 80441344 12986 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 19639 12986 1851 922 0 11591 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 78556 KiB
Current children cumulated memory: 51944 KiB

[startup+3.10578 s]
/proc/loadavg: 0.30 0.13 0.10 5/256 417369
/proc/meminfo: memFree=120760796/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=129724 memory=85152 CPUtime=3.08 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 8627 0 0 0 261 47 0 0 20 0 1 0 60186045 132837376 21288 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 32431 21288 1851 922 0 24383 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 129724 KiB
Current children cumulated memory: 85152 KiB

[startup+6.30022 s]
/proc/loadavg: 0.60 0.19 0.12 5/256 417369
/proc/meminfo: memFree=120477032/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=184680 memory=145684 CPUtime=6.26 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 10420 0 0 0 567 59 0 0 20 0 1 0 60186045 189112320 36421 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 46170 36421 1867 922 0 38122 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 184680 KiB
Current children cumulated memory: 145684 KiB

[startup+12.7002 s]
/proc/loadavg: 0.87 0.26 0.14 5/256 417369
/proc/meminfo: memFree=120123004/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=299264 memory=201760 CPUtime=12.64 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 19393 0 0 0 1195 69 0 0 20 0 1 0 60186045 306446336 50440 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 74816 50440 1867 922 0 66768 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 299264 KiB
Current children cumulated memory: 201760 KiB

[startup+25.5002 s]
/proc/loadavg: 1.56 0.44 0.21 5/256 417372
/proc/meminfo: memFree=119599828/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=332824 memory=284472 CPUtime=25.4 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 27836 0 0 0 2445 95 0 0 20 0 1 0 60186045 340811776 71118 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 83206 71118 1867 922 0 75158 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 332824 KiB
Current children cumulated memory: 284472 KiB

[startup+51.1055 s]
/proc/loadavg: 2.47 0.74 0.31 5/254 417375
/proc/meminfo: memFree=118683800/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=600880 memory=456612 CPUtime=50.93 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 61793 0 0 0 4974 119 0 0 20 0 1 0 60186045 615301120 114153 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 150220 114153 1867 922 0 142172 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 600880 KiB
Current children cumulated memory: 456612 KiB

[startup+102.3 s]
/proc/loadavg: 3.34 1.25 0.51 5/255 417384
/proc/meminfo: memFree=117768828/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=679348 memory=558784 CPUtime=101.95 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 79621 0 0 0 10047 148 0 0 20 0 1 0 60186045 695652352 139696 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 169837 139696 1995 922 0 161789 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 679348 KiB
Current children cumulated memory: 558784 KiB

[startup+162.3 s]
/proc/loadavg: 3.80 1.77 0.74 5/252 417395
/proc/meminfo: memFree=116738508/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=688456 memory=617400 CPUtime=161.76 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 82434 0 0 0 16006 170 0 0 20 0 1 0 60186045 704978944 154350 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 172114 154350 1995 922 0 164066 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 688456 KiB
Current children cumulated memory: 617400 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 2.21 0.95 5/252 417405
/proc/meminfo: memFree=115763312/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=777520 memory=702376 CPUtime=221.57 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 103311 0 0 0 21957 200 0 0 20 0 1 0 60186045 796180480 175594 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 194380 175594 1995 922 0 186332 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 777520 KiB
Current children cumulated memory: 702376 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 2.55 1.15 5/252 417415
/proc/meminfo: memFree=115157536/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1002160 memory=749272 CPUtime=281.36 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 106466 0 0 0 27920 216 0 0 20 0 1 0 60186045 1026211840 187318 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 250540 187318 1995 922 0 242492 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 1002160 KiB
Current children cumulated memory: 749272 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 2.85 1.34 5/253 417427
/proc/meminfo: memFree=114611728/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1166380 memory=905976 CPUtime=341.16 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 141025 0 0 0 33884 232 0 0 20 0 1 0 60186045 1194373120 226494 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 291595 226494 1995 922 0 283547 0
Current children cumulated CPU time: 341.16 s
Current children cumulated vsize: 1166380 KiB
Current children cumulated memory: 905976 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.08 1.52 5/252 417437
/proc/meminfo: memFree=114452840/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1185820 memory=990540 CPUtime=400.96 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 145352 0 0 0 39833 263 0 0 20 0 1 0 60186045 1214279680 247635 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 296455 247635 1995 922 0 288407 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 1185820 KiB
Current children cumulated memory: 990540 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.26 1.68 5/255 417452
/proc/meminfo: memFree=114405108/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1208520 memory=1011844 CPUtime=460.77 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 150714 0 0 0 45799 278 0 0 20 0 1 0 60186045 1237524480 252961 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 302130 252961 1995 922 0 294082 0

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

/proc/loadavg: 3.13 3.31 2.81 4/247 417635
/proc/meminfo: memFree=107335972/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1437940 memory=1305776 CPUtime=1297.77 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 209887 0 0 0 129304 473 0 0 20 0 1 0 60186045 1472450560 326444 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 359485 326444 1995 922 0 351437 0
Current children cumulated CPU time: 1297.77 s
Current children cumulated vsize: 1437940 KiB
Current children cumulated memory: 1305776 KiB

[startup+1362.3 s]
/proc/loadavg: 3.19 3.30 2.84 4/246 418028
/proc/meminfo: memFree=106733388/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1437940 memory=1305880 CPUtime=1357.54 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 209979 0 0 0 135257 497 0 0 20 0 1 0 60186045 1472450560 326470 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 359485 326470 1995 922 0 351437 0
Current children cumulated CPU time: 1357.54 s
Current children cumulated vsize: 1437940 KiB
Current children cumulated memory: 1305880 KiB

[startup+1422.3 s]
/proc/loadavg: 3.23 3.29 2.87 4/247 418039
/proc/meminfo: memFree=106482492/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1451592 memory=1319732 CPUtime=1417.32 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 213629 0 0 0 141219 513 0 0 20 0 1 0 60186045 1486430208 329933 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 362898 329933 1995 922 0 354850 0
Current children cumulated CPU time: 1417.32 s
Current children cumulated vsize: 1451592 KiB
Current children cumulated memory: 1319732 KiB

[startup+1482.3 s]
/proc/loadavg: 3.14 3.25 2.88 4/246 418049
/proc/meminfo: memFree=106464904/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1455740 memory=1324056 CPUtime=1477.09 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 215165 0 0 0 147182 527 0 0 20 0 1 0 60186045 1490677760 331014 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 363935 331014 1995 922 0 355887 0
Current children cumulated CPU time: 1477.09 s
Current children cumulated vsize: 1455740 KiB
Current children cumulated memory: 1324056 KiB

[startup+1542.3 s]
/proc/loadavg: 3.09 3.22 2.90 4/248 418230
/proc/meminfo: memFree=106464252/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1455740 memory=1324056 CPUtime=1536.86 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 215254 0 0 0 153151 535 0 0 20 0 1 0 60186045 1490677760 331014 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 363935 331014 1995 922 0 355887 0
Current children cumulated CPU time: 1536.86 s
Current children cumulated vsize: 1455740 KiB
Current children cumulated memory: 1324056 KiB

[startup+1602.3 s]
/proc/loadavg: 3.14 3.20 2.92 4/248 418240
/proc/meminfo: memFree=106464036/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1455740 memory=1324060 CPUtime=1596.64 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 215372 0 0 0 159125 539 0 0 20 0 1 0 60186045 1490677760 331015 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 363935 331015 1995 922 0 355887 0
Current children cumulated CPU time: 1596.64 s
Current children cumulated vsize: 1455740 KiB
Current children cumulated memory: 1324060 KiB

[startup+1662.3 s]
/proc/loadavg: 3.05 3.16 2.92 4/250 418311
/proc/meminfo: memFree=106463008/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1455740 memory=1324060 CPUtime=1656.41 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 215410 0 0 0 165073 568 0 0 20 0 1 0 60186045 1490677760 331015 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 363935 331015 1995 922 0 355887 0
Current children cumulated CPU time: 1656.41 s
Current children cumulated vsize: 1455740 KiB
Current children cumulated memory: 1324060 KiB

[startup+1722.3 s]
/proc/loadavg: 3.14 3.16 2.94 4/249 418322
/proc/meminfo: memFree=106443268/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1451328 memory=1319976 CPUtime=1716.19 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 216205 0 0 0 171025 594 0 0 20 0 1 0 60186045 1486159872 329994 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 362832 329994 1995 922 0 354784 0
Current children cumulated CPU time: 1716.19 s
Current children cumulated vsize: 1451328 KiB
Current children cumulated memory: 1319976 KiB

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

# cumulated CPU time of all completed processes:  user=1732.34 s, system=6.12092 s

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

[startup+1728 s]*
/proc/loadavg: 3.12 3.16 2.94 4/249 418324
/proc/meminfo: memFree=106443192/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1451328 memory=1319976 CPUtime=1721.87 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 216207 0 0 0 171591 596 0 0 20 0 1 0 60186045 1486159872 329994 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 362832 329994 1995 922 0 354784 0
Current children cumulated CPU time: 1721.87 s
Current children cumulated vsize: 1451328 KiB
Current children cumulated memory: 1319976 KiB

[startup+1734.4 s]
/proc/loadavg: 3.11 3.16 2.94 4/249 418325
/proc/meminfo: memFree=106441204/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1454976 memory=1322348 CPUtime=1728.25 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 216789 0 0 0 172226 599 0 0 20 0 1 0 60186045 1489895424 330587 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 363744 330587 1995 922 0 355696 0
Current children cumulated CPU time: 1728.25 s
Current children cumulated vsize: 1454976 KiB
Current children cumulated memory: 1322348 KiB

[startup+1740.8 s]
/proc/loadavg: 3.10 3.16 2.94 4/249 418325
/proc/meminfo: memFree=106438136/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1456036 memory=1322876 CPUtime=1734.63 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 216973 0 0 0 172859 604 0 0 20 0 1 0 60186045 1490980864 330719 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 364009 330719 1995 922 0 355961 0
Current children cumulated CPU time: 1734.63 s
Current children cumulated vsize: 1456036 KiB
Current children cumulated memory: 1322876 KiB

[startup+1742.4 s]
/proc/loadavg: 3.10 3.15 2.94 4/249 418325
/proc/meminfo: memFree=106438136/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1456036 memory=1322876 CPUtime=1736.21 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 216973 0 0 0 173017 604 0 0 20 0 1 0 60186045 1490980864 330719 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 364009 330719 1995 922 0 355961 0
Current children cumulated CPU time: 1736.21 s
Current children cumulated vsize: 1456036 KiB
Current children cumulated memory: 1322876 KiB

[startup+1744 s]*
/proc/loadavg: 3.10 3.15 2.94 4/249 418327
/proc/meminfo: memFree=106432920/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1461064 memory=1328116 CPUtime=1737.82 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 218819 0 0 0 173175 607 0 0 20 0 1 0 60186045 1496129536 332029 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 365266 332029 1995 922 0 357218 0
Current children cumulated CPU time: 1737.82 s
Current children cumulated vsize: 1461064 KiB
Current children cumulated memory: 1328116 KiB

[startup+1744.4 s]
/proc/loadavg: 3.10 3.15 2.94 4/249 418327
/proc/meminfo: memFree=106432920/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1461064 memory=1328116 CPUtime=1738.21 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 218819 0 0 0 173214 607 0 0 20 0 1 0 60186045 1496129536 332029 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 365266 332029 1995 922 0 357218 0
Current children cumulated CPU time: 1738.21 s
Current children cumulated vsize: 1461064 KiB
Current children cumulated memory: 1328116 KiB

[startup+1744.6 s]
/proc/loadavg: 3.10 3.15 2.94 4/249 418327
/proc/meminfo: memFree=106432920/131524600 swapFree=131061696/131071996
[pid=417356] ppid=417353 vsize=1458704 memory=1325756 CPUtime=1738.41 cores=0,2
/proc/417356/stat : 417356 (roundingsat) R 417353 417356 417202 0 -1 4194304 218819 0 0 0 173234 607 0 0 20 0 1 0 60186045 1493712896 331439 134679101440 4194304 7968373 140726513217168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 8652288 8659920 16953344 140726513218497 140726513218661 140726513218661 140726513225673 0
/proc/417356/statm: 364676 331439 1995 922 0 356628 0
Current children cumulated CPU time: 1738.41 s
Current children cumulated vsize: 1458704 KiB
Current children cumulated memory: 1325756 KiB

Child status: 0

Real time (s): 1744.65
CPU time (s): 1738.46
CPU user time (s): 1732.34
CPU system time (s): 6.12092
CPU usage (%): 99.6456
Max. virtual memory (cumulated for all children) (KiB): 1461064
Max. memory (cumulated for all children) (KiB): 1328116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.34
system time used= 6.12092
maximum resident set size= 1330268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218827
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= 5
involuntary context switches= 12196


# summary of solver processes directly reported to runsolver:
#   pid: 417356
#   total CPU time (s): 1738.46
#   total CPU user time (s): 1732.34
#   total CPU system time (s): 6.12092

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.20473 second user time and 7.89579 second system time

The end

Begin job on nodeC020 at 2024-07-29 09:02:57
IDJOB=4462472
IDBENCH=178886
IDSOLVER=3084
FILE ID=nodeC020/4462472-1722236577
RUNJOBID= nodeC020-1722236576-417212
SLURM_JOB_ID= 8248756
Free space on /tmp= 890060 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-4462472-1722236577/watcher-4462472-1722236577 -o /tmp/evaluation-result-4462472-1722236577/solver-4462472-1722236577 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1722236576-417212 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4462472-1722236577.opb

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

MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=1039064206

nodeC020.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	: 0xb00002a
cpu MHz		: 3653.183
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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	: 0xb00002a
cpu MHz		: 3653.681
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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	: 0xb00002a
cpu MHz		: 3637.364
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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	: 0xb00002a
cpu MHz		: 3652.790
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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	: 0xb00002a
cpu MHz		: 3677.801
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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	: 0xb00002a
cpu MHz		: 3678.855
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
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	: 0xb00002a
cpu MHz		: 3621.818
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.31
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	: 0xb00002a
cpu MHz		: 3640.317
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7005.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        121041084 kB
MemAvailable:   129573772 kB
Buffers:          402084 kB
Cached:          8931456 kB
SwapCached:          200 kB
Active:          2845508 kB
Inactive:        6951644 kB
Active(anon):       2420 kB
Inactive(anon):   523268 kB
Active(file):    2843088 kB
Inactive(file):  6428376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:             29080 kB
Writeback:             0 kB
AnonPages:        462564 kB
Mapped:           119132 kB
Shmem:             62072 kB
KReclaimable:     202092 kB
Slab:             326932 kB
SReclaimable:     202092 kB
SUnreclaim:       124840 kB
KernelStack:        4096 kB
PageTables:        10712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     740888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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:      375508 kB
DirectMap2M:    46583808 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC020 at 2024-07-29 09:32:02