0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/2.32 c #variables 9905 #constraints 313
0.78/3.18 c bounds - >= -1124116 @ 0.016741
0.78/3.18 c bounds 0 >= -1124116 @ 0.125906
0.78/3.18 c bounds 0 >= -1123870 @ 0.130719
0.78/3.18 c bounds 0 >= -1123378 @ 0.134441
0.78/3.18 c bounds 0 >= -1123132 @ 0.13802
0.78/3.18 c bounds -738 >= -1123132 @ 0.142058
0.78/3.18 c bounds -1990 >= -1123132 @ 0.145046
0.78/3.18 c bounds -1990 >= -1122888 @ 0.148789
0.78/3.18 c bounds -1990 >= -1122162 @ 0.151783
0.78/3.18 c bounds -3200 >= -1122162 @ 0.155178
0.78/3.18 c bounds -3293 >= -1122162 @ 0.161721
0.78/3.18 c bounds -3293 >= -1121921 @ 0.164542
0.78/3.18 c bounds -3293 >= -1121680 @ 0.167354
0.78/3.18 c bounds -3293 >= -1121439 @ 0.171497
0.78/3.18 c bounds -3359 >= -1121439 @ 0.17497
0.78/3.18 c bounds -3359 >= -1121198 @ 0.178997
0.78/3.18 c bounds -3380 >= -1121198 @ 0.180336
0.78/3.18 c bounds -3462 >= -1121198 @ 0.189156
0.78/3.18 c bounds -3516 >= -1121198 @ 0.194426
0.78/3.18 c bounds -3516 >= -1120958 @ 0.198315
0.78/3.18 c bounds -3610 >= -1120958 @ 0.202384
0.78/3.18 c bounds -3610 >= -1120718 @ 0.206056
0.78/3.18 c bounds -3805 >= -1120718 @ 0.210201
0.78/3.18 c bounds -3805 >= -1120480 @ 0.213096
0.78/3.18 c bounds -3805 >= -1120243 @ 0.215909
0.78/3.18 c bounds -3955 >= -1120243 @ 0.222976
0.78/3.18 c bounds -3955 >= -1120005 @ 0.226882
0.78/3.18 c bounds -3955 >= -1119766 @ 0.230534
0.78/3.18 c bounds -3955 >= -1119292 @ 0.234707
0.78/3.18 c bounds -3982 >= -1119292 @ 0.237817
0.78/3.18 c bounds -3982 >= -1119055 @ 0.241254
0.78/3.18 c bounds -3982 >= -1118818 @ 0.246729
0.78/3.18 c bounds -4054 >= -1118818 @ 0.24925
0.78/3.18 c bounds -4098 >= -1118818 @ 0.255608
0.78/3.18 c bounds -4217 >= -1118818 @ 0.257951
0.78/3.18 c bounds -4374 >= -1118818 @ 0.260248
0.78/3.18 c bounds -4374 >= -1118582 @ 0.26506
0.78/3.18 c bounds -4374 >= -1118110 @ 0.26867
0.78/3.18 c bounds -4374 >= -1117874 @ 0.27122
0.78/3.18 c bounds -4399 >= -1117874 @ 0.274661
0.78/3.18 c bounds -4632 >= -1117874 @ 0.279851
0.78/3.18 c bounds -4632 >= -1117640 @ 0.282893
0.78/3.18 c bounds -4722 >= -1117640 @ 0.297272
0.78/3.18 c bounds -4722 >= -1117406 @ 0.300972
0.78/3.18 c bounds -4722 >= -1117172 @ 0.302711
0.78/3.18 c bounds -4783 >= -1117172 @ 0.308327
0.78/3.18 c bounds -4783 >= -1116939 @ 0.312874
0.78/3.18 c bounds -4783 >= -1116473 @ 0.316402
0.78/3.18 c bounds -4900 >= -1116473 @ 0.321531
0.78/3.18 c bounds -4900 >= -1116244 @ 0.325427
0.78/3.18 c bounds -4900 >= -1116014 @ 0.329037
0.78/3.18 c bounds -4900 >= -1115783 @ 0.332698
0.78/3.18 c bounds -4900 >= -1115553 @ 0.336383
0.78/3.18 c bounds -4900 >= -1115323 @ 0.340112
0.78/3.18 c bounds -4900 >= -1114865 @ 0.345117
0.78/3.18 c bounds -4955 >= -1114865 @ 0.349012
0.78/3.18 c bounds -4955 >= -1114407 @ 0.351896
0.78/3.18 c bounds -4955 >= -1114178 @ 0.358696
0.78/3.18 c bounds -5084 >= -1114178 @ 0.361649
0.78/3.18 c bounds -5312 >= -1114178 @ 0.365592
0.78/3.18 c bounds -5337 >= -1114178 @ 0.383748
0.78/3.18 c bounds -5337 >= -1113722 @ 0.38762
0.78/3.18 c bounds -5337 >= -1113266 @ 0.391346
0.78/3.18 c bounds -5400 >= -1113266 @ 0.427668
0.78/3.18 c bounds -5441 >= -1113266 @ 0.432921
0.78/3.18 c bounds -5524 >= -1113266 @ 0.435225
0.78/3.18 c bounds -5584 >= -1113266 @ 0.443315
0.78/3.18 c bounds -5633 >= -1113266 @ 0.449669
0.78/3.18 c bounds -5725 >= -1113266 @ 0.465097
0.78/3.18 c bounds -5751 >= -1113266 @ 0.485651
0.78/3.18 c bounds -5751 >= -1112812 @ 0.488765
0.78/3.18 c bounds -5751 >= -1112585 @ 0.492588
0.78/3.18 c bounds -5751 >= -1112358 @ 0.496861
0.78/3.18 c bounds -5751 >= -1112131 @ 0.500752
0.78/3.18 c bounds -5896 >= -1112131 @ 0.504502
0.78/3.18 c bounds -5896 >= -1111905 @ 0.508565
0.78/3.18 c bounds -5896 >= -1111679 @ 0.512203
0.78/3.18 c bounds -5896 >= -1111227 @ 0.516685
0.78/3.18 c bounds -5896 >= -1111001 @ 0.52084
0.78/3.18 c bounds -5978 >= -1111001 @ 0.525428
0.78/3.18 c bounds -5978 >= -1110776 @ 0.529458
0.78/3.18 c bounds -5978 >= -1110551 @ 0.533702
0.78/3.18 c bounds -5978 >= -1110326 @ 0.537009
0.78/3.18 c bounds -5978 >= -1110101 @ 0.540555
0.78/3.18 c bounds -5978 >= -1109651 @ 0.544249
0.78/3.18 c bounds -6034 >= -1109651 @ 0.544664
0.78/3.18 c bounds -6034 >= -1109427 @ 0.548392
0.78/3.18 c bounds -6034 >= -1109203 @ 0.551995
0.78/3.18 c bounds -6034 >= -1108979 @ 0.555599
0.78/3.18 c bounds -6034 >= -1108755 @ 0.559275
0.78/3.18 c bounds -6034 >= -1108531 @ 0.562958
0.78/3.18 c bounds -6034 >= -1108083 @ 0.567078
0.78/3.18 c bounds -6034 >= -1107859 @ 0.571342
0.78/3.18 c bounds -6034 >= -1107635 @ 0.574989
0.78/3.18 c bounds -6034 >= -1107411 @ 0.579011
0.78/3.18 c bounds -6125 >= -1107411 @ 0.583643
0.78/3.18 c bounds -6215 >= -1107411 @ 0.587956
0.78/3.18 c bounds -6261 >= -1107411 @ 0.590086
0.78/3.18 c bounds -6261 >= -1107188 @ 0.593889
0.78/3.18 c bounds -6261 >= -1106965 @ 0.598173
0.78/3.18 c bounds -6261 >= -1106519 @ 0.60186
0.78/3.18 c bounds -6261 >= -1106296 @ 0.605495
0.78/3.18 c bounds -6261 >= -1106073 @ 0.609059
0.78/3.18 c bounds -6324 >= -1106073 @ 0.612289
0.78/3.18 c bounds -6407 >= -1106073 @ 0.614719
0.78/3.18 c bounds -6445 >= -1106073 @ 0.623667
0.78/3.18 c bounds -6445 >= -1105629 @ 0.62747
0.78/3.18 c bounds -6445 >= -1105185 @ 0.630718
0.78/3.18 c bounds -6445 >= -1104963 @ 0.634375
1.98/4.31 c bounds -6445 >= -1104519 @ 0.638711
1.98/4.31 c bounds -6445 >= -1104297 @ 0.642385
1.98/4.31 c bounds -6445 >= -1104075 @ 0.647538
1.98/4.31 c bounds -6571 >= -1104075 @ 0.651348
1.98/4.31 c bounds -6716 >= -1104075 @ 0.655844
1.98/4.31 c bounds -6748 >= -1104075 @ 0.658807
1.98/4.31 c bounds -6748 >= -1103854 @ 0.662564
1.98/4.31 c bounds -6748 >= -1103633 @ 0.66608
1.98/4.31 c bounds -6748 >= -1103412 @ 0.669622
1.98/4.31 c bounds -6748 >= -1103191 @ 0.673515
1.98/4.31 c bounds -6748 >= -1102970 @ 0.677089
1.98/4.31 c bounds -6748 >= -1102307 @ 0.679782
1.98/4.31 c bounds -6773 >= -1102307 @ 0.685807
1.98/4.31 c bounds -6800 >= -1102307 @ 0.691233
1.98/4.31 c bounds -6881 >= -1102307 @ 0.698538
1.98/4.31 c bounds -6881 >= -1102087 @ 0.702458
1.98/4.31 c bounds -6881 >= -1101867 @ 0.706259
1.98/4.31 c bounds -6881 >= -1101647 @ 0.708991
1.98/4.31 c bounds -6881 >= -1101207 @ 0.712796
1.98/4.31 c bounds -6910 >= -1101207 @ 0.716267
1.98/4.31 c bounds -6910 >= -1100987 @ 0.719965
1.98/4.31 c bounds -6910 >= -1100767 @ 0.724059
1.98/4.31 c bounds -7016 >= -1100767 @ 0.733003
1.98/4.31 c bounds -7154 >= -1100767 @ 0.741209
1.98/4.31 c bounds -7154 >= -1100548 @ 0.745645
1.98/4.31 c bounds -7154 >= -1100329 @ 0.749167
1.98/4.31 c bounds -7154 >= -1099891 @ 0.753056
1.98/4.31 c bounds -7154 >= -1099453 @ 0.75665
1.98/4.31 c bounds -7154 >= -1099015 @ 0.76019
1.98/4.31 c bounds -7154 >= -1098796 @ 0.76284
1.98/4.31 c bounds -7154 >= -1098577 @ 0.767378
1.98/4.31 c bounds -7223 >= -1098577 @ 0.774708
1.98/4.31 c bounds -7312 >= -1098577 @ 0.804583
1.98/4.31 c bounds -7425 >= -1098577 @ 0.808583
1.98/4.31 c bounds -7435 >= -1098577 @ 0.813561
1.98/4.31 c bounds -7561 >= -1098577 @ 0.825646
1.98/4.31 c bounds -7561 >= -1098141 @ 0.82949
1.98/4.31 c bounds -7561 >= -1097705 @ 0.83365
1.98/4.31 c bounds -7561 >= -1097487 @ 0.83732
1.98/4.31 c bounds -7561 >= -1096833 @ 0.840986
1.98/4.31 c bounds -7561 >= -1096397 @ 0.84454
1.98/4.31 c bounds -7574 >= -1096397 @ 0.855601
1.98/4.31 c bounds -7574 >= -1096179 @ 0.894375
1.98/4.31 c bounds -7601 >= -1096179 @ 0.89895
1.98/4.31 c bounds -7614 >= -1096179 @ 0.903525
1.98/4.31 c bounds -7614 >= -1095745 @ 0.907549
1.98/4.31 c bounds -7614 >= -1095311 @ 0.911394
1.98/4.31 c bounds -7614 >= -1095094 @ 0.915804
1.98/4.31 c bounds -7668 >= -1095094 @ 0.923212
1.98/4.31 c bounds -7668 >= -1094877 @ 0.927371
1.98/4.31 c bounds -7668 >= -1094660 @ 0.931666
1.98/4.31 c bounds -7668 >= -1094443 @ 0.93551
1.98/4.31 c bounds -7676 >= -1094443 @ 0.942432
1.98/4.31 c bounds -7691 >= -1094443 @ 0.948295
1.98/4.31 c bounds -7691 >= -1094011 @ 0.950355
1.98/4.31 c bounds -7691 >= -1093795 @ 0.954133
1.98/4.31 c bounds -7691 >= -1093579 @ 0.957941
1.98/4.31 c bounds -7691 >= -1093363 @ 0.961032
1.98/4.31 c bounds -7791 >= -1093363 @ 0.969155
1.98/4.31 c bounds -7791 >= -1093147 @ 0.972776
1.98/4.31 c bounds -7791 >= -1092715 @ 0.97644
1.98/4.31 c bounds -7791 >= -1092499 @ 0.980609
1.98/4.31 c bounds -7791 >= -1092283 @ 0.984746
1.98/4.31 c bounds -7791 >= -1092067 @ 0.988505
1.98/4.31 c bounds -7791 >= -1091851 @ 0.992154
1.98/4.31 c bounds -7791 >= -1091419 @ 0.995785
1.98/4.31 c bounds -7791 >= -1091203 @ 1.00009
1.98/4.31 c bounds -7791 >= -1090987 @ 1.00402
1.98/4.31 c bounds -7870 >= -1090987 @ 1.01425
1.98/4.31 c bounds -8032 >= -1090987 @ 1.0167
1.98/4.31 c bounds -8070 >= -1090987 @ 1.0209
1.98/4.31 c bounds -8202 >= -1090987 @ 1.02675
1.98/4.31 c bounds -8202 >= -1090772 @ 1.03059
1.98/4.31 c bounds -8202 >= -1090342 @ 1.03378
1.98/4.31 c bounds -8202 >= -1089912 @ 1.03752
1.98/4.31 c bounds -8202 >= -1089697 @ 1.04149
1.98/4.31 c bounds -8202 >= -1089482 @ 1.04514
1.98/4.31 c bounds -8202 >= -1089267 @ 1.04829
1.98/4.31 c bounds -8202 >= -1088622 @ 1.05234
1.98/4.31 c bounds -8231 >= -1088622 @ 1.08832
1.98/4.31 c bounds -8231 >= -1088407 @ 1.09526
1.98/4.31 c bounds -8235 >= -1088407 @ 1.19756
1.98/4.31 c bounds -8354 >= -1088407 @ 1.21098
1.98/4.31 c bounds -8383 >= -1088407 @ 1.29138
1.98/4.31 c bounds -8383 >= -1088193 @ 1.29516
1.98/4.31 c bounds -8383 >= -1087765 @ 1.2993
1.98/4.31 c bounds -8383 >= -1087551 @ 1.30288
1.98/4.31 c bounds -8383 >= -1087337 @ 1.30707
1.98/4.31 c bounds -8383 >= -1087123 @ 1.31068
1.98/4.31 c bounds -8383 >= -1086909 @ 1.31468
1.98/4.31 c bounds -8383 >= -1086695 @ 1.32027
1.98/4.31 c bounds -8404 >= -1086695 @ 1.36771
1.98/4.31 c bounds -8405 >= -1086695 @ 1.401
1.98/4.31 c bounds -8405 >= -1086482 @ 1.40497
1.98/4.31 c bounds -8405 >= -1086056 @ 1.40943
1.98/4.31 c bounds -8405 >= -1085417 @ 1.41359
1.98/4.31 c bounds -8405 >= -1084565 @ 1.41806
1.98/4.31 c bounds -8405 >= -1084352 @ 1.42171
1.98/4.31 c bounds -8405 >= -1084139 @ 1.42527
1.98/4.31 c bounds -8405 >= -1083926 @ 1.42892
1.98/4.31 c bounds -8405 >= -1083713 @ 1.43252
1.98/4.31 c bounds -8405 >= -1083500 @ 1.43618
1.98/4.31 c bounds -8405 >= -1083287 @ 1.44195
1.98/4.31 c bounds -8405 >= -1083074 @ 1.45035
1.98/4.31 c bounds -8429 >= -1083074 @ 1.49738
1.98/4.31 c bounds -8457 >= -1083074 @ 1.58711
1.98/4.31 c bounds -8457 >= -1082862 @ 1.591
1.98/4.31 c bounds -8457 >= -1082650 @ 1.59422
1.98/4.31 c bounds -8457 >= -1082226 @ 1.59816
8.96/11.35 c bounds -8457 >= -1082014 @ 1.60179
8.96/11.35 c bounds -8457 >= -1081802 @ 1.60476
8.96/11.35 c bounds -8457 >= -1081166 @ 1.60751
8.96/11.35 c bounds -8457 >= -1080530 @ 1.61113
8.96/11.35 c bounds -8457 >= -1080318 @ 1.61475
8.96/11.35 c bounds -8457 >= -1080106 @ 1.61843
8.96/11.35 c bounds -8457 >= -1079894 @ 1.62298
8.96/11.35 c bounds -8457 >= -1079682 @ 1.63136
8.96/11.35 c bounds -8589 >= -1079682 @ 1.70132
8.96/11.35 c bounds -8598 >= -1079682 @ 1.84747
8.96/11.35 c bounds -8598 >= -1079471 @ 1.8513
8.96/11.35 c bounds -8598 >= -1079260 @ 1.85541
8.96/11.35 c bounds -8598 >= -1079049 @ 1.85914
8.96/11.35 c bounds -8598 >= -1078838 @ 1.86413
8.96/11.35 c bounds -8598 >= -1078627 @ 1.868
8.96/11.35 c bounds -8598 >= -1078416 @ 1.87608
8.96/11.35 c bounds -8598 >= -1078205 @ 1.88197
8.96/11.35 c bounds -8637 >= -1078205 @ 2.63572
8.96/11.35 c bounds -8655 >= -1078205 @ 2.8563
8.96/11.35 c bounds -8688 >= -1078205 @ 2.92743
8.96/11.35 c bounds -8772 >= -1078205 @ 2.9691
8.96/11.35 c bounds -8888 >= -1078205 @ 3.13394
8.96/11.35 c bounds -8979 >= -1078205 @ 3.23204
8.96/11.35 c bounds -9095 >= -1078205 @ 3.32699
8.96/11.35 c bounds -9101 >= -1078205 @ 3.37492
8.96/11.35 c bounds -9108 >= -1078205 @ 3.42339
8.96/11.35 c bounds -9117 >= -1078205 @ 3.46112
8.96/11.35 c bounds -9117 >= -1077995 @ 3.46505
8.96/11.35 c bounds -9117 >= -1077785 @ 3.46903
8.96/11.35 c bounds -9117 >= -1076735 @ 3.47382
8.96/11.35 c bounds -9117 >= -1076525 @ 3.47749
8.96/11.35 c bounds -9117 >= -1075895 @ 3.48189
8.96/11.35 c bounds -9117 >= -1075685 @ 3.48561
8.96/11.35 c bounds -9117 >= -1075475 @ 3.48921
8.96/11.35 c bounds -9117 >= -1075265 @ 3.49526
8.96/11.35 c bounds -9117 >= -1075055 @ 3.55607
8.96/11.35 c bounds -9117 >= -1074845 @ 3.56235
8.96/11.35 c #Conflicts: 1000 | #Constraints: 1992
8.96/11.35 c bounds -9167 >= -1074845 @ 5.53092
8.96/11.35 c bounds -9170 >= -1074845 @ 5.70596
8.96/11.35 c bounds -9181 >= -1074845 @ 5.72298
8.96/11.35 c bounds -9185 >= -1074845 @ 6.2763
8.96/11.35 c bounds -9198 >= -1074845 @ 6.79904
8.96/11.35 c bounds -9240 >= -1074845 @ 7.9598
8.96/11.35 c bounds -9240 >= -1074636 @ 7.96366
8.96/11.35 c bounds -9240 >= -1074427 @ 7.96877
8.96/11.35 c bounds -9240 >= -1074218 @ 8.02796
8.96/11.35 c bounds -9240 >= -1073800 @ 8.03259
8.96/11.35 c bounds -9240 >= -1073591 @ 8.03632
8.96/11.35 c bounds -9240 >= -1073382 @ 8.04018
8.96/11.35 c bounds -9240 >= -1073173 @ 8.04582
8.96/11.35 c bounds -9240 >= -1072964 @ 8.05388
8.96/11.35 c bounds -9240 >= -1072755 @ 8.06089
8.96/11.35 c #Conflicts: 2000 | #Constraints: 3064
8.96/11.35 c INPROCESSING
8.96/11.35 c GARBAGE COLLECT
8.96/11.35 c rational objective -12616
21.73/24.12 c bounds -10397 >= -1072755 @ 8.71334
21.73/24.12 c bounds -10397 >= -1072547 @ 8.71752
21.73/24.12 c bounds -10397 >= -1072339 @ 8.72147
21.73/24.12 c bounds -10397 >= -1072131 @ 8.72508
21.73/24.12 c bounds -10397 >= -1071923 @ 8.72804
21.73/24.12 c bounds -10397 >= -1071507 @ 8.73178
21.73/24.12 c bounds -10397 >= -1071299 @ 8.73643
21.73/24.12 c bounds -10397 >= -1071091 @ 8.74235
21.73/24.12 c bounds -10397 >= -1070883 @ 8.74627
21.73/24.12 c bounds -10397 >= -1070675 @ 8.75028
21.73/24.12 c bounds -10397 >= -1070467 @ 8.75422
21.73/24.12 c bounds -10397 >= -1070259 @ 8.76714
21.73/24.12 c #Conflicts: 3000 | #Constraints: 2829
21.73/24.12 c bounds -10422 >= -1070259 @ 14.0687
21.73/24.12 c bounds -10425 >= -1070259 @ 14.1459
21.73/24.12 c bounds -10426 >= -1070259 @ 14.2696
21.73/24.12 c bounds -10427 >= -1070259 @ 14.3277
21.73/24.12 c bounds -10434 >= -1070259 @ 14.5485
21.73/24.12 c bounds -10543 >= -1070259 @ 14.8782
21.73/24.12 c bounds -10579 >= -1070259 @ 15.5924
21.73/24.12 c bounds -10580 >= -1070259 @ 16.5652
21.73/24.12 c bounds -10586 >= -1070259 @ 16.6009
21.73/24.12 c bounds -10635 >= -1070259 @ 16.7397
21.73/24.12 c #Conflicts: 4000 | #Constraints: 3865
21.73/24.12 c INPROCESSING
21.73/24.12 c GARBAGE COLLECT
21.73/24.12 c rational objective -12616
33.30/35.76 c bounds -10635 >= -1070052 @ 21.3303
33.30/35.76 c bounds -10635 >= -1069845 @ 21.3374
33.30/35.76 c bounds -10635 >= -1069431 @ 21.3489
33.30/35.76 c bounds -10635 >= -1069017 @ 21.3556
33.30/35.76 c bounds -10635 >= -1068810 @ 21.4515
33.30/35.76 c bounds -10635 >= -1068603 @ 21.466
33.30/35.76 c bounds -10635 >= -1068396 @ 21.4732
33.30/35.76 c bounds -10635 >= -1068189 @ 21.4806
33.30/35.76 c bounds -10635 >= -1067982 @ 21.4973
33.30/35.76 c #Conflicts: 5000 | #Constraints: 3230
33.30/35.76 c bounds -10722 >= -1067982 @ 27.7794
33.30/35.76 c bounds -10722 >= -1067570 @ 27.7849
33.30/35.76 c bounds -10722 >= -1067364 @ 27.7906
33.30/35.76 c bounds -10722 >= -1066952 @ 27.7961
33.30/35.76 c bounds -10722 >= -1066540 @ 27.8116
33.30/35.76 c bounds -10722 >= -1066334 @ 27.83
33.30/35.76 c bounds -10722 >= -1065716 @ 27.9247
33.30/35.76 c bounds -10722 >= -1065510 @ 27.9423
33.30/35.76 c bounds -10722 >= -1065304 @ 27.9844
33.30/35.76 c bounds -10722 >= -1065098 @ 27.9948
33.30/35.76 c #Conflicts: 6000 | #Constraints: 4272
33.30/35.76 c INPROCESSING
33.30/35.76 c GARBAGE COLLECT
33.30/35.76 c rational objective -12616
53.93/56.41 c bounds -10729 >= -1065098 @ 33.0954
53.93/56.41 c bounds -10743 >= -1065098 @ 33.4787
53.93/56.41 c bounds -10780 >= -1065098 @ 33.5394
53.93/56.41 c bounds -10785 >= -1065098 @ 33.803
53.93/56.41 c #Conflicts: 7000 | #Constraints: 3273
53.93/56.41 c bounds -10819 >= -1065098 @ 35.4459
53.93/56.41 c bounds -10833 >= -1065098 @ 37.3527
53.93/56.41 c bounds -10833 >= -1064893 @ 37.3575
53.93/56.41 c bounds -10833 >= -1064688 @ 37.3629
53.93/56.41 c bounds -10833 >= -1064278 @ 37.3932
53.93/56.41 c bounds -10833 >= -1064073 @ 37.421
53.93/56.41 c bounds -10833 >= -1063868 @ 37.4299
53.93/56.41 c bounds -10833 >= -1063663 @ 37.445
53.93/56.41 c bounds -10833 >= -1063458 @ 37.4641
53.93/56.41 c #Conflicts: 8000 | #Constraints: 4317
53.93/56.41 c bounds -10875 >= -1063458 @ 48.3031
53.93/56.41 c bounds -10878 >= -1063458 @ 48.5115
53.93/56.41 c bounds -10976 >= -1063458 @ 49.3291
53.93/56.41 c #Conflicts: 9000 | #Constraints: 5352
53.93/56.41 c bounds -10981 >= -1063458 @ 50.2977
53.93/56.41 c bounds -11003 >= -1063458 @ 50.5926
53.93/56.41 c bounds -11027 >= -1063458 @ 50.7719
53.93/56.41 c bounds -11030 >= -1063458 @ 51.5752
53.93/56.41 c bounds -11047 >= -1063458 @ 51.7642
53.93/56.41 c INPROCESSING
53.93/56.41 c GARBAGE COLLECT
53.93/56.41 c rational objective -12616
79.96/82.59 c bounds -11052 >= -1063458 @ 53.4781
79.96/82.59 c bounds -11096 >= -1063458 @ 53.9787
79.96/82.59 c bounds -11111 >= -1063458 @ 54.3171
79.96/82.59 c bounds -11138 >= -1063458 @ 54.8957
79.96/82.59 c bounds -11281 >= -1063458 @ 56.1742
79.96/82.59 c bounds -11332 >= -1063458 @ 57.5668
79.96/82.59 c bounds -11370 >= -1063458 @ 59.6567
79.96/82.59 c bounds -11370 >= -1063050 @ 59.67
79.96/82.59 c bounds -11370 >= -1062438 @ 59.6941
79.96/82.59 c bounds -11370 >= -1062234 @ 59.74
79.96/82.59 c bounds -11370 >= -1062030 @ 59.7705
79.96/82.59 c bounds -11370 >= -1061826 @ 59.8003
79.96/82.59 c bounds -11370 >= -1061214 @ 59.8509
79.96/82.59 c bounds -11370 >= -1061010 @ 59.8781
79.96/82.59 c bounds -11370 >= -1060806 @ 59.9077
79.96/82.59 c bounds -11370 >= -1060602 @ 59.9909
79.96/82.59 c #Conflicts: 10000 | #Constraints: 4090
79.96/82.59 c #Conflicts: 11000 | #Constraints: 5096
79.96/82.59 c #Conflicts: 12000 | #Constraints: 6108
79.96/82.59 c INPROCESSING
79.96/82.59 c GARBAGE COLLECT
79.96/82.59 c rational objective -12616
142.37/145.16 c bounds -11410 >= -1060602 @ 78.997
142.37/145.16 c bounds -11462 >= -1060602 @ 79.334
142.37/145.16 c bounds -11474 >= -1060602 @ 80.0545
142.37/145.16 c bounds -11489 >= -1060602 @ 80.3266
142.37/145.16 c bounds -11494 >= -1060602 @ 81.2282
142.37/145.16 c bounds -11498 >= -1060602 @ 84.2979
142.37/145.16 c bounds -11519 >= -1060602 @ 84.8966
142.37/145.16 c bounds -11528 >= -1060602 @ 87.7376
142.37/145.16 c #Conflicts: 13000 | #Constraints: 4531
142.37/145.16 c bounds -11639 >= -1060602 @ 91.4344
142.37/145.16 c bounds -11664 >= -1060602 @ 94.7769
142.37/145.16 c bounds -11664 >= -1060399 @ 94.8123
142.37/145.16 c bounds -11664 >= -1060196 @ 94.8489
142.37/145.16 c bounds -11664 >= -1058978 @ 94.9081
142.37/145.16 c bounds -11664 >= -1058775 @ 94.9605
142.37/145.16 c bounds -11664 >= -1058572 @ 95.0617
142.37/145.16 c bounds -11664 >= -1058369 @ 95.1375
142.37/145.16 c bounds -11664 >= -1058166 @ 95.1982
142.37/145.16 c #Conflicts: 14000 | #Constraints: 5586
142.37/145.16 c bounds -11664 >= -1057963 @ 102.364
142.37/145.16 c bounds -11684 >= -1057963 @ 102.78
142.37/145.16 c bounds -11726 >= -1057963 @ 104.115
142.37/145.16 c bounds -11727 >= -1057963 @ 105.064
142.37/145.16 c bounds -11735 >= -1057963 @ 105.323
142.37/145.16 c bounds -11740 >= -1057963 @ 106.119
142.37/145.16 c bounds -11744 >= -1057963 @ 106.761
142.37/145.16 c #Conflicts: 15000 | #Constraints: 6633
142.37/145.16 c INPROCESSING
142.37/145.16 c GARBAGE COLLECT
142.37/145.16 c rational objective -12616
212.44/215.49 c bounds -11846 >= -1057963 @ 140.553
212.44/215.49 c bounds -11861 >= -1057963 @ 141.641
212.44/215.49 c bounds -11899 >= -1057963 @ 142.96
212.44/215.49 c bounds -11932 >= -1057963 @ 144.287
212.44/215.49 c bounds -11992 >= -1057963 @ 145.866
212.44/215.49 c bounds -12012 >= -1057963 @ 147.521
212.44/215.49 c bounds -12014 >= -1057963 @ 147.862
212.44/215.49 c bounds -12026 >= -1057963 @ 148.181
212.44/215.49 c #Conflicts: 16000 | #Constraints: 4845
212.44/215.49 c bounds -12036 >= -1057963 @ 148.704
212.44/215.49 c bounds -12050 >= -1057963 @ 153.306
212.44/215.49 c bounds -12064 >= -1057963 @ 185.996
212.44/215.49 c bounds -12064 >= -1057761 @ 186.057
212.44/215.49 c bounds -12064 >= -1057559 @ 186.079
212.44/215.49 c bounds -12064 >= -1056347 @ 186.154
212.44/215.49 c bounds -12064 >= -1055943 @ 186.201
212.44/215.49 c bounds -12064 >= -1055741 @ 186.24
212.44/215.49 c bounds -12064 >= -1055539 @ 186.313
212.44/215.49 c #Conflicts: 17000 | #Constraints: 5898
212.44/215.49 c #Conflicts: 18000 | #Constraints: 6902
212.44/215.49 c INPROCESSING
212.44/215.49 c GARBAGE COLLECT
212.44/215.49 c rational objective -12616
282.64/285.83 c bounds -12076 >= -1055539 @ 210.123
282.64/285.83 c bounds -12078 >= -1055539 @ 210.376
282.64/285.83 c bounds -12083 >= -1055539 @ 214.939
282.64/285.83 c bounds -12083 >= -1055137 @ 214.959
282.64/285.83 c bounds -12083 >= -1054936 @ 214.981
282.64/285.83 c bounds -12083 >= -1054333 @ 215.024
282.64/285.83 c bounds -12083 >= -1054132 @ 215.076
282.64/285.83 c bounds -12083 >= -1053931 @ 215.229
282.64/285.83 c bounds -12083 >= -1053730 @ 215.274
282.64/285.83 c bounds -12083 >= -1053529 @ 215.375
282.64/285.83 c bounds -12083 >= -1053328 @ 221.262
282.64/285.83 c #Conflicts: 19000 | #Constraints: 4867
282.64/285.83 c bounds -12085 >= -1053328 @ 221.936
282.64/285.83 c bounds -12105 >= -1053328 @ 227.662
282.64/285.83 c bounds -12105 >= -1053127 @ 240.728
282.64/285.83 c #Conflicts: 20000 | #Constraints: 5880
282.64/285.83 c bounds -12106 >= -1053127 @ 244.078
282.64/285.83 c bounds -12106 >= -1052646 @ 268.434
282.64/285.83 c #Conflicts: 21000 | #Constraints: 6896
282.64/285.83 c INPROCESSING
282.64/285.83 c GARBAGE COLLECT
282.64/285.83 c rational objective -12616
394.13/397.65 c bounds -12148 >= -1052646 @ 280.045
394.13/397.65 c bounds -12193 >= -1052646 @ 280.784
394.13/397.65 c bounds -12214 >= -1052646 @ 281.255
394.13/397.65 c #Conflicts: 22000 | #Constraints: 4668
394.13/397.65 c bounds -12221 >= -1052646 @ 283.231
394.13/397.65 c bounds -12256 >= -1052646 @ 292.29
394.13/397.65 c bounds -12256 >= -1052445 @ 295.212
394.13/397.65 c bounds -12256 >= -1052244 @ 303.674
394.13/397.65 c bounds -12257 >= -1052244 @ 305.221
394.13/397.65 c bounds -12258 >= -1052244 @ 306.482
394.13/397.65 c #Conflicts: 23000 | #Constraints: 5698
394.13/397.65 c bounds -12289 >= -1052244 @ 310.885
394.13/397.65 c #Conflicts: 24000 | #Constraints: 6715
394.13/397.65 c bounds -12289 >= -1034275 @ 371.419
394.13/397.65 c bounds -12300 >= -1034275 @ 375.929
394.13/397.65 c bounds -12353 >= -1034275 @ 383.973
394.13/397.65 c #Conflicts: 25000 | #Constraints: 7764
394.13/397.65 c INPROCESSING
394.13/397.65 c GARBAGE COLLECT
394.13/397.65 c rational objective -12616
492.96/496.73 c bounds -12357 >= -1034275 @ 390.875
492.96/496.73 c bounds -12373 >= -1034275 @ 391.813
492.96/496.73 c bounds -12386 >= -1034275 @ 395.762
492.96/496.73 c #Conflicts: 26000 | #Constraints: 5274
492.96/496.73 c bounds -12397 >= -1034275 @ 404.676
492.96/496.73 c bounds -12397 >= -1025645 @ 427.312
492.96/496.73 c #Conflicts: 27000 | #Constraints: 6297
492.96/496.73 c bounds -12419 >= -1025645 @ 436.115
492.96/496.73 c #Conflicts: 28000 | #Constraints: 7307
492.96/496.73 c bounds -12419 >= -875164 @ 474.433
492.96/496.73 c #Conflicts: 29000 | #Constraints: 8319
492.96/496.73 c INPROCESSING
492.96/496.73 c GARBAGE COLLECT
492.96/496.73 c rational objective -12616
547.02/550.95 c bounds -12421 >= -875164 @ 492.486
547.02/550.95 c #Conflicts: 30000 | #Constraints: 5498
547.02/550.95 c bounds -12421 >= -708547 @ 498.372
547.02/550.95 c bounds -12423 >= -708547 @ 498.717
547.02/550.95 c bounds -12424 >= -708547 @ 499.39
547.02/550.95 c bounds -12455 >= -708547 @ 502.629
547.02/550.95 c #Conflicts: 31000 | #Constraints: 6518
547.02/550.95 c #Conflicts: 32000 | #Constraints: 7526
547.02/550.95 c bounds -12455 >= -685450 @ 535.411
547.02/550.95 c bounds -12459 >= -685450 @ 539.385
547.02/550.95 c #Conflicts: 33000 | #Constraints: 8545
547.02/550.95 c INPROCESSING
547.02/550.95 c GARBAGE COLLECT
547.02/550.95 c rational objective -12616
589.61/593.62 c bounds -12479 >= -685450 @ 541.86
589.61/593.62 c bounds -12510 >= -685450 @ 541.897
589.61/593.62 c #Conflicts: 34000 | #Constraints: 5675
589.61/593.62 c bounds -12521 >= -685450 @ 551.736
589.61/593.62 c #Conflicts: 35000 | #Constraints: 6707
589.61/593.62 c bounds -12522 >= -685450 @ 560.743
589.61/593.62 c #Conflicts: 36000 | #Constraints: 7729
589.61/593.62 c bounds -12526 >= -685450 @ 577.745
589.61/593.62 c bounds -12531 >= -685450 @ 577.838
589.61/593.62 c bounds -12533 >= -685450 @ 577.971
589.61/593.62 c bounds -12544 >= -685450 @ 579.348
589.61/593.62 c bounds -12545 >= -685450 @ 579.668
589.61/593.62 c bounds -12547 >= -685450 @ 580.204
589.61/593.62 c #Conflicts: 37000 | #Constraints: 8743
589.61/593.62 c INPROCESSING
589.61/593.62 c GARBAGE COLLECT
589.61/593.62 c rational objective -12616
602.38/606.40 c bounds -12564 >= -685450 @ 584.502
602.38/606.40 c bounds -12565 >= -685450 @ 585.065
602.38/606.40 c bounds -12575 >= -685450 @ 585.268
602.38/606.40 c bounds -12581 >= -685450 @ 586.151
602.38/606.40 c #Conflicts: 38000 | #Constraints: 5758
602.38/606.40 c bounds -12582 >= -685450 @ 587.443
602.38/606.40 c bounds -12583 >= -685450 @ 588.208
602.38/606.40 c bounds -12583 >= -197162 @ 588.211
602.38/606.40 c bounds -12583 >= -196753 @ 588.214
602.38/606.40 c bounds -12583 >= -196547 @ 588.217
602.38/606.40 c bounds -12583 >= -195747 @ 588.22
602.38/606.40 c bounds -12583 >= -195541 @ 588.222
602.38/606.40 c bounds -12583 >= -195336 @ 588.227
602.38/606.40 c bounds -12583 >= -195132 @ 588.232
602.38/606.40 c bounds -12583 >= -194932 @ 588.237
602.38/606.40 c bounds -12583 >= -194732 @ 588.243
602.38/606.40 c bounds -12583 >= -193608 @ 588.248
602.38/606.40 c bounds -12583 >= -193408 @ 588.25
602.38/606.40 c bounds -12583 >= -192601 @ 588.267
602.38/606.40 c bounds -12583 >= -191635 @ 588.318
602.38/606.40 c bounds -12583 >= -191435 @ 588.364
602.38/606.40 c bounds -12583 >= -190047 @ 588.425
602.38/606.40 c bounds -12583 >= -186582 @ 589.048
602.38/606.40 c bounds -12587 >= -186582 @ 589.209
602.38/606.40 c #Conflicts: 39000 | #Constraints: 6864
602.38/606.40 c bounds -12588 >= -186582 @ 590.858
602.38/606.40 c bounds -12589 >= -186582 @ 591.413
602.38/606.40 c bounds -12600 >= -186582 @ 591.915
602.38/606.40 c #Conflicts: 40000 | #Constraints: 7874
602.38/606.40 c bounds -12611 >= -186582 @ 592.971
602.38/606.40 c bounds -12611 >= -180185 @ 592.977
602.38/606.40 c bounds -12611 >= -179986 @ 593
602.38/606.40 c bounds -12611 >= -177400 @ 593.127
602.38/606.40 c bounds -12611 >= -108817 @ 594.521
602.38/606.40 c bounds -12612 >= -108817 @ 594.614
602.38/606.40 c #Conflicts: 41000 | #Constraints: 8924
602.38/606.40 c bounds -12612 >= -108817 @ 595.148
602.38/606.40 c cpu time 595.15 s
602.38/606.40 c deterministic time 39791400003 3.98e+10
602.38/606.40 c optimization time 1.2528 s
602.38/606.40 c total solve time 593.881 s
602.38/606.40 c core-guided solve time 351.768 s
602.38/606.40 c propagation time 376.915 s
602.38/606.40 c conflict analysis time 180.564 s
602.38/606.40 c propagations 43765702
602.38/606.40 c resolve steps 231139
602.38/606.40 c decisions 2060203
602.38/606.40 c conflicts 41013
602.38/606.40 c restarts 126
602.38/606.40 c inprocessing phases 12
602.38/606.40 c input clauses 311
602.38/606.40 c input cardinalities 550
602.38/606.40 c input general constraints 650
602.38/606.40 c input average constraint length 2894.34
602.38/606.40 c input average constraint degree 7790.24
602.38/606.40 c learned clauses 2677
602.38/606.40 c learned cardinalities 397
602.38/606.40 c learned general constraints 38847
602.38/606.40 c learned average constraint length 5325.34
602.38/606.40 c learned average constraint degree 177916172857.06
602.38/606.40 c watched constraints 19680
602.38/606.40 c counting constraints 19817
602.38/606.40 c gcd simplifications 700
602.38/606.40 c detected cardinalities 204
602.38/606.40 c weakened non-implied lits 78383044
602.38/606.40 c weakened non-implying lits 58973
602.38/606.40 c original variables 9905
602.38/606.40 c clausal propagations 416247
602.38/606.40 c cardinality propagations 9188953
602.38/606.40 c watched propagations 2165752
602.38/606.40 c counting propagations 29977044
602.38/606.40 c watch lookups 9192758390
602.38/606.40 c watch backjump lookups 9175636738
602.38/606.40 c watch checks 7654910893
602.38/606.40 c propagation checks 12921384513
602.38/606.40 c constraint additions 754978108
602.38/606.40 c trail pops 45855928
602.38/606.40 c formula constraints 313
602.38/606.40 c learned constraints 40183
602.38/606.40 c bound constraints 473
602.38/606.40 c core-guided constraints 725
602.38/606.40 c encountered formula constraints 133140
602.38/606.40 c encountered learned constraints 72575
602.38/606.40 c encountered bound constraints 1285
602.38/606.40 c encountered core-guided constraints 22094
602.38/606.40 c LP total time 15.0078 s
602.38/606.40 c LP solve time 6.3 s
602.38/606.40 c LP constraints added 313
602.38/606.40 c LP constraints removed 0
602.38/606.40 c LP pivots internal 41096
602.38/606.40 c LP pivots root 8431
602.38/606.40 c LP calls 1279
602.38/606.40 c LP optimalities 409
602.38/606.40 c LP no pivot count 299
602.38/606.40 c LP infeasibilities 869
602.38/606.40 c LP valid Farkas constraints 869
602.38/606.40 c LP learned Farkas constraints 869
602.38/606.40 c LP basis resets 0
602.38/606.40 c LP cycling count 0
602.38/606.40 c LP singular count 0
602.38/606.40 c LP no primal count 0
602.38/606.40 c LP no farkas count 0
602.38/606.40 c LP other issue count 0
602.38/606.40 c LP Gomory cuts 0
602.38/606.40 c LP learned cuts 0
602.38/606.40 c LP deleted cuts 0
602.38/606.40 c LP encountered Gomory constraints 0
602.38/606.40 c LP encountered Farkas constraints 37604
602.38/606.40 c LP encountered learned Farkas constraints 4585
602.38/606.40 c CG auxiliary variables introduced 344
602.38/606.40 c CG solutions found 201
602.38/606.40 c CG cores constructed 272
602.38/606.40 c CG core cardinality constraints returned 62
602.38/606.40 c CG unit cores 10
602.38/606.40 c CG single cores 244
602.38/606.40 c CG blocks removed during cardinality reduction 1
602.38/606.40 c CG first core best 1
602.38/606.40 c CG decision core best 10
602.38/606.40 c CG core reduction tie 7
602.38/606.40 c CG core degree average 1.36
602.38/606.40 c CG core slack average 1.45
602.38/606.40 o -12612
602.38/606.40 s OPTIMUM FOUND
602.38/606.40 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
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: 63931 MiB (61333 MiB free)
memory of node 1: 64510 MiB (61468 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462474-1722236576/watcher-4462474-1722236576 -o /tmp/evaluation-result-4462474-1722236576/solver-4462474-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722236576-407485 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462474-1722236576 --lp-cut-gomory=0 HOME/instance-4462474-1722236576.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=407530, runsolver pid=407527
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 0.13 0.09 0.09 1/252 407531
/proc/meminfo: memFree=125747928/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=37376 memory=2480 CPUtime=0 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 60186148 38273024 620 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 9344 620 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB
[startup+0.205315 s]*
/proc/loadavg: 0.13 0.09 0.09 1/251 407531
/proc/meminfo: memFree=125747640/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=37376 memory=2480 CPUtime=0 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 60186148 38273024 620 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 9344 620 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB
[startup+0.304767 s]*
/proc/loadavg: 0.13 0.09 0.09 1/251 407531
/proc/meminfo: memFree=125746980/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=37376 memory=2480 CPUtime=0 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 1078198272 216 0 0 0 0 0 0 0 20 0 1 0 60186148 38273024 620 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 9344 620 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB
[startup+0.700135 s]
/proc/loadavg: 0.13 0.09 0.09 1/251 407531
/proc/meminfo: memFree=125746592/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=37376 memory=2480 CPUtime=0 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 60186148 38273024 620 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 9344 620 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB
[startup+1.50015 s]
/proc/loadavg: 0.13 0.09 0.09 1/251 407531
/proc/meminfo: memFree=125746544/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=37376 memory=2480 CPUtime=0 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 60186148 38273024 620 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 8404994 1 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 9344 620 563 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2480 KiB
[startup+3.10552 s]
/proc/loadavg: 0.13 0.09 0.09 3/246 407539
/proc/meminfo: memFree=125658856/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=57960 memory=30600 CPUtime=0.78 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 5184 0 0 0 58 20 0 0 20 0 1 0 60186148 59351040 7650 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 14490 7650 1811 992 0 6348 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 57960 KiB
Current children cumulated memory: 30600 KiB
heavy processes:
[startup+6.3002 s]
/proc/loadavg: 0.28 0.12 0.10 3/244 407563
/proc/meminfo: memFree=125483040/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=133012 memory=95312 CPUtime=3.97 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 8516 0 0 0 344 53 0 0 20 0 1 0 60186148 136204288 23828 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 33253 23828 1890 992 0 25111 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 133012 KiB
Current children cumulated memory: 95312 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 0.42 0.16 0.11 3/244 407565
/proc/meminfo: memFree=125044632/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=279688 memory=181500 CPUtime=10.36 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 13299 0 0 0 964 72 0 0 20 0 1 0 60186148 286400512 45375 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 69922 45375 1890 992 0 61780 0
Current children cumulated CPU time: 10.36 s
Current children cumulated vsize: 279688 KiB
Current children cumulated memory: 181500 KiB
[startup+25.5002 s]
/proc/loadavg: 0.77 0.25 0.14 3/248 407571
/proc/meminfo: memFree=124445984/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=331492 memory=278080 CPUtime=23.11 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 25675 0 0 0 2208 103 0 0 20 0 1 0 60186148 339447808 69520 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 82873 69520 1890 992 0 74731 0
Current children cumulated CPU time: 23.11 s
Current children cumulated vsize: 331492 KiB
Current children cumulated memory: 278080 KiB
[startup+51.1055 s]
/proc/loadavg: 1.42 0.44 0.21 3/248 407575
/proc/meminfo: memFree=123187992/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=428956 memory=381440 CPUtime=48.65 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 50377 0 0 0 4717 148 0 0 20 0 1 0 60186148 439250944 95360 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 107239 95360 1890 992 0 99097 0
Current children cumulated CPU time: 48.65 s
Current children cumulated vsize: 428956 KiB
Current children cumulated memory: 381440 KiB
[startup+102.3 s]
/proc/loadavg: 1.75 0.68 0.31 3/246 407584
/proc/meminfo: memFree=122072000/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=632320 memory=499448 CPUtime=99.7 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 69325 0 0 0 9745 225 0 0 20 0 1 0 60186148 647495680 124862 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 158080 124862 1890 992 0 149938 0
Current children cumulated CPU time: 99.7 s
Current children cumulated vsize: 632320 KiB
Current children cumulated memory: 499448 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 0.94 0.42 3/248 407597
/proc/meminfo: memFree=121023296/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=717756 memory=636292 CPUtime=159.51 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 92609 0 0 0 15672 279 0 0 20 0 1 0 60186148 734982144 159073 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 179439 159073 1890 992 0 171297 0
Current children cumulated CPU time: 159.51 s
Current children cumulated vsize: 717756 KiB
Current children cumulated memory: 636292 KiB
[startup+222.3 s]
/proc/loadavg: 2.08 1.16 0.53 3/247 407608
/proc/meminfo: memFree=119823788/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=756692 memory=675948 CPUtime=219.32 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 102425 0 0 0 21619 313 0 0 20 0 1 0 60186148 774852608 168987 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 189173 168987 1890 992 0 181031 0
Current children cumulated CPU time: 219.32 s
Current children cumulated vsize: 756692 KiB
Current children cumulated memory: 675948 KiB
[startup+282.3 s]
/proc/loadavg: 2.08 1.33 0.63 3/248 407619
/proc/meminfo: memFree=118448796/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=789284 memory=708428 CPUtime=279.15 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 110602 0 0 0 27555 360 0 0 20 0 1 0 60186148 808226816 177107 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 197321 177107 1890 992 0 189179 0
Current children cumulated CPU time: 279.15 s
Current children cumulated vsize: 789284 KiB
Current children cumulated memory: 708428 KiB
[startup+342.3 s]
/proc/loadavg: 2.10 1.47 0.73 3/248 407630
/proc/meminfo: memFree=117401604/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=796844 memory=718284 CPUtime=338.99 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 112604 0 0 0 33497 402 0 0 20 0 1 0 60186148 815968256 179571 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 199211 179571 1890 992 0 191069 0
Current children cumulated CPU time: 338.99 s
Current children cumulated vsize: 796844 KiB
Current children cumulated memory: 718284 KiB
[startup+402.3 s]
/proc/loadavg: 2.09 1.59 0.81 3/248 407640
/proc/meminfo: memFree=115942016/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=810420 memory=731516 CPUtime=398.82 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 116497 0 0 0 39441 441 0 0 20 0 1 0 60186148 829870080 182879 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 202605 182879 1890 992 0 194463 0
Current children cumulated CPU time: 398.82 s
Current children cumulated vsize: 810420 KiB
Current children cumulated memory: 731516 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 1.68 0.90 3/248 407651
/proc/meminfo: memFree=114147484/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=838400 memory=759652 CPUtime=458.65 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 124858 0 0 0 45376 489 0 0 20 0 1 0 60186148 858521600 189913 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 209600 189913 1890 992 0 201458 0
Current children cumulated CPU time: 458.65 s
Current children cumulated vsize: 838400 KiB
Current children cumulated memory: 759652 KiB
[startup+522.3 s]
/proc/loadavg: 2.12 1.77 0.98 3/247 407665
/proc/meminfo: memFree=111716640/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=897740 memory=819280 CPUtime=518.49 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 140101 0 0 0 51275 574 0 0 20 0 1 0 60186148 919285760 204820 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 224435 204820 1890 992 0 216293 0
Current children cumulated CPU time: 518.49 s
Current children cumulated vsize: 897740 KiB
Current children cumulated memory: 819280 KiB
[startup+582.3 s]
/proc/loadavg: 2.32 1.90 1.08 3/248 407677
/proc/meminfo: memFree=109539464/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=968488 memory=888944 CPUtime=578.33 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 157769 0 0 0 57171 662 0 0 20 0 1 0 60186148 991731712 222236 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 242122 222236 1890 992 0 233980 0
Current children cumulated CPU time: 578.33 s
Current children cumulated vsize: 968488 KiB
Current children cumulated memory: 888944 KiB
[startup+607.622 s]
# the end of solver process 407530 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=595.157 s, system=7.40895 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.29 1.91 1.08 3/248 407678
/proc/meminfo: memFree=109418596/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=997444 memory=917696 CPUtime=584.82 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 164969 0 0 0 57810 672 0 0 20 0 1 0 60186148 1021382656 229424 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 249361 229424 1890 992 0 241219 0
Current children cumulated CPU time: 584.82 s
Current children cumulated vsize: 997444 KiB
Current children cumulated memory: 917696 KiB
[startup+595.2 s]
/proc/loadavg: 2.33 1.93 1.10 3/248 407678
/proc/meminfo: memFree=109036020/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032484 memory=952520 CPUtime=591.21 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 173686 0 0 0 58430 691 0 0 20 0 1 0 60186148 1057263616 238130 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258121 238130 1890 992 0 249979 0
Current children cumulated CPU time: 591.21 s
Current children cumulated vsize: 1032484 KiB
Current children cumulated memory: 952520 KiB
[startup+601.6 s]
/proc/loadavg: 2.30 1.93 1.10 3/248 407680
/proc/meminfo: memFree=108652092/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032624 memory=952684 CPUtime=597.59 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 173774 0 0 0 59049 710 0 0 20 0 1 0 60186148 1057406976 238171 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258156 238171 1890 992 0 250014 0
Current children cumulated CPU time: 597.59 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 952684 KiB
[startup+604.8 s]
/proc/loadavg: 2.36 1.95 1.11 3/249 407681
/proc/meminfo: memFree=108516816/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032624 memory=952808 CPUtime=600.79 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 173779 0 0 0 59360 719 0 0 20 0 1 0 60186148 1057406976 238202 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258156 238202 1890 992 0 250014 0
Current children cumulated CPU time: 600.79 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 952808 KiB
[startup+606.4 s]
/proc/loadavg: 2.36 1.95 1.11 3/248 407681
/proc/meminfo: memFree=108427408/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032624 memory=952808 CPUtime=602.38 cores=1,3
/proc/407530/stat : 407530 (roundingsat) R 407527 407530 407473 0 -1 4194304 173780 0 0 0 59514 724 0 0 20 0 1 0 60186148 1057406976 238202 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258156 238202 1890 992 0 250014 0
Current children cumulated CPU time: 602.38 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 952808 KiB
[startup+607.2 s]
/proc/loadavg: 2.36 1.95 1.11 3/249 407682
/proc/meminfo: memFree=108380888/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032624 memory=952808 CPUtime=602.51 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 4194304 173780 0 0 0 59515 736 0 0 20 0 1 0 60186148 1057406976 238202 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 0 0 0 17 1 0 0 131 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258156 238202 1890 992 0 250014 0
Current children cumulated CPU time: 602.51 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 952808 KiB
[startup+607.6 s]
/proc/loadavg: 2.36 1.95 1.11 3/249 407682
/proc/meminfo: memFree=108380888/131524600 swapFree=131056028/131071996
[pid=407530] ppid=407527 vsize=1032624 memory=952808 CPUtime=602.54 cores=1,3
/proc/407530/stat : 407530 (roundingsat) D 407527 407530 407473 0 -1 4194304 173780 0 0 0 59515 739 0 0 20 0 1 0 60186148 1057406976 238202 134679101440 4194304 8254357 140722133926288 0 0 0 0 0 25182210 1 0 0 17 1 0 0 191 0 0 9037040 9046032 15437824 140722133930843 140722133931105 140722133931105 140722133938121 0
/proc/407530/statm: 258156 238202 1890 992 0 250014 0
Current children cumulated CPU time: 602.54 s
Current children cumulated vsize: 1032624 KiB
Current children cumulated memory: 952808 KiB
Child status: 0
Real time (s): 607.622
CPU time (s): 602.566
CPU user time (s): 595.157
CPU system time (s): 7.40895
CPU usage (%): 99.1678
Max. virtual memory (cumulated for all children) (KiB): 1032624
Max. memory (cumulated for all children) (KiB): 952808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.157
system time used= 7.40895
maximum resident set size= 952808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17005024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9587
involuntary context switches= 860
# summary of solver processes directly reported to runsolver:
# pid: 407530
# total CPU time (s): 602.566
# total CPU user time (s): 595.157
# total CPU system time (s): 7.40895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02801 second user time and 2.90098 second system time
The end
Begin job on nodeC016 at 2024-07-29 09:02:56
IDJOB=4462474
IDBENCH=178886
IDSOLVER=3086
FILE ID=nodeC016/4462474-1722236576
RUNJOBID= nodeC016-1722236576-407485
SLURM_JOB_ID= 8248753
Free space on /tmp= 890068 MiB
SOLVER NAME= RoundingSat log
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 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462474-1722236576/watcher-4462474-1722236576 -o /tmp/evaluation-result-4462474-1722236576/solver-4462474-1722236576 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1722236576-407485 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462474-1722236576 --lp-cut-gomory=0 HOME/instance-4462474-1722236576.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=697437227
nodeC016.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 : 3452.778
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.34
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 : 3470.943
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.68
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 : 3537.591
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.34
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 : 3662.539
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.68
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 : 3419.241
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.34
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 : 3440.756
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.68
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 : 3367.771
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.34
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 : 3511.166
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.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125749184 kB
MemAvailable: 129582384 kB
Buffers: 401336 kB
Cached: 4115792 kB
SwapCached: 284 kB
Active: 2496276 kB
Inactive: 2377476 kB
Active(anon): 2288 kB
Inactive(anon): 406736 kB
Active(file): 2493988 kB
Inactive(file): 1970740 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131056028 kB
Dirty: 19744 kB
Writeback: 4 kB
AnonPages: 354116 kB
Mapped: 108572 kB
Shmem: 52400 kB
KReclaimable: 416240 kB
Slab: 540524 kB
SReclaimable: 416240 kB
SUnreclaim: 124284 kB
KernelStack: 4044 kB
PageTables: 10636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 802608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 22016 kB
HardwareCorrupted: 0 kB
AnonHugePages: 235520 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: 377556 kB
DirectMap2M: 43436032 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC016 at 2024-07-29 09:13:04