0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.20 c #variables 9905 #constraints 313
1.48/1.76 c bounds - >= -1124116 @ 0.04403
1.48/1.76 c bounds 0 >= -1124116 @ 0.358513
1.48/1.76 c bounds 0 >= -1123870 @ 0.362234
1.48/1.76 c bounds 0 >= -1123378 @ 0.363314
1.48/1.76 c bounds 0 >= -1123132 @ 0.364033
1.48/1.76 c bounds -738 >= -1123132 @ 0.37386
1.48/1.76 c bounds -1990 >= -1123132 @ 0.386509
1.48/1.76 c bounds -1990 >= -1122888 @ 0.387716
1.48/1.76 c bounds -1990 >= -1122162 @ 0.389481
1.48/1.76 c bounds -3200 >= -1122162 @ 0.402919
1.48/1.76 c bounds -3293 >= -1122162 @ 0.411997
1.48/1.76 c bounds -3293 >= -1121921 @ 0.413403
1.48/1.76 c bounds -3293 >= -1121680 @ 0.414582
1.48/1.76 c bounds -3293 >= -1121439 @ 0.41676
1.48/1.76 c bounds -3359 >= -1121439 @ 0.429805
1.48/1.76 c bounds -3359 >= -1121198 @ 0.431062
1.48/1.76 c bounds -3380 >= -1121198 @ 0.449426
1.48/1.76 c bounds -3462 >= -1121198 @ 0.485771
1.48/1.76 c bounds -3516 >= -1121198 @ 0.508457
1.48/1.76 c bounds -3516 >= -1120958 @ 0.510149
1.48/1.76 c bounds -3610 >= -1120958 @ 0.522824
1.48/1.76 c bounds -3610 >= -1120718 @ 0.523975
1.48/1.76 c bounds -3805 >= -1120718 @ 0.535829
1.48/1.76 c bounds -3805 >= -1120480 @ 0.537172
1.48/1.76 c bounds -3805 >= -1120243 @ 0.537959
1.48/1.76 c bounds -3955 >= -1120243 @ 0.549751
1.48/1.76 c bounds -3955 >= -1120005 @ 0.551377
1.48/1.76 c bounds -3955 >= -1119766 @ 0.552392
1.48/1.76 c bounds -3955 >= -1119292 @ 0.555085
1.48/1.76 c bounds -3982 >= -1119292 @ 0.567554
1.48/1.76 c bounds -3982 >= -1119055 @ 0.568429
1.48/1.76 c bounds -3982 >= -1118818 @ 0.576098
1.48/1.76 c bounds -4054 >= -1118818 @ 0.58606
1.48/1.76 c bounds -4098 >= -1118818 @ 0.604305
1.48/1.76 c bounds -4217 >= -1118818 @ 0.614853
1.48/1.76 c bounds -4374 >= -1118818 @ 0.625171
1.48/1.76 c bounds -4374 >= -1118582 @ 0.627358
1.48/1.76 c bounds -4374 >= -1118110 @ 0.627806
1.48/1.76 c bounds -4374 >= -1117874 @ 0.628278
1.48/1.76 c bounds -4399 >= -1117874 @ 0.637376
1.48/1.76 c bounds -4632 >= -1117874 @ 0.643089
1.48/1.76 c bounds -4632 >= -1117640 @ 0.644187
1.48/1.76 c bounds -4722 >= -1117640 @ 0.674216
1.48/1.76 c bounds -4722 >= -1117406 @ 0.676831
1.48/1.76 c bounds -4722 >= -1117172 @ 0.677424
1.48/1.76 c bounds -4783 >= -1117172 @ 0.692197
1.48/1.76 c bounds -4783 >= -1116939 @ 0.695665
1.48/1.76 c bounds -4783 >= -1116473 @ 0.696332
1.48/1.76 c bounds -4900 >= -1116473 @ 0.703856
1.48/1.76 c bounds -4900 >= -1116244 @ 0.704532
1.48/1.76 c bounds -4900 >= -1116014 @ 0.704871
1.48/1.76 c bounds -4900 >= -1115783 @ 0.705188
1.48/1.76 c bounds -4900 >= -1115553 @ 0.705508
1.48/1.76 c bounds -4900 >= -1115323 @ 0.705923
1.48/1.76 c bounds -4900 >= -1114865 @ 0.708772
1.48/1.76 c bounds -4955 >= -1114865 @ 0.717966
1.48/1.76 c bounds -4955 >= -1114407 @ 0.718487
1.48/1.76 c bounds -4955 >= -1114178 @ 0.726585
1.48/1.76 c bounds -5084 >= -1114178 @ 0.734819
1.48/1.76 c bounds -5312 >= -1114178 @ 0.740537
1.48/1.76 c bounds -5337 >= -1114178 @ 0.777673
1.48/1.76 c bounds -5337 >= -1113722 @ 0.779055
1.48/1.76 c bounds -5337 >= -1113266 @ 0.779909
1.48/1.76 c bounds -5400 >= -1113266 @ 0.855722
1.48/1.76 c bounds -5441 >= -1113266 @ 0.868329
1.48/1.76 c bounds -5524 >= -1113266 @ 0.876099
1.48/1.76 c bounds -5584 >= -1113266 @ 0.891327
1.48/1.76 c bounds -5633 >= -1113266 @ 0.902723
1.48/1.76 c bounds -5725 >= -1113266 @ 0.933533
1.48/1.76 c bounds -5751 >= -1113266 @ 0.971906
1.48/1.76 c bounds -5751 >= -1112812 @ 0.972758
1.48/1.76 c bounds -5751 >= -1112585 @ 0.973222
1.48/1.76 c bounds -5751 >= -1112358 @ 0.97441
1.48/1.76 c bounds -5751 >= -1112131 @ 0.974924
1.48/1.76 c bounds -5896 >= -1112131 @ 0.980618
1.48/1.76 c bounds -5896 >= -1111905 @ 0.981403
1.48/1.76 c bounds -5896 >= -1111679 @ 0.981867
1.48/1.76 c bounds -5896 >= -1111227 @ 0.983562
1.48/1.76 c bounds -5896 >= -1111001 @ 0.98482
1.48/1.76 c bounds -5978 >= -1111001 @ 0.990525
1.48/1.76 c bounds -5978 >= -1110776 @ 0.991584
1.48/1.76 c bounds -5978 >= -1110551 @ 0.99306
1.48/1.76 c bounds -5978 >= -1110326 @ 0.99432
1.48/1.76 c bounds -5978 >= -1110101 @ 0.994844
1.48/1.76 c bounds -5978 >= -1109651 @ 0.995402
1.48/1.76 c bounds -6034 >= -1109651 @ 1.00215
1.48/1.76 c bounds -6034 >= -1109427 @ 1.00281
1.48/1.76 c bounds -6034 >= -1109203 @ 1.00323
1.48/1.76 c bounds -6034 >= -1108979 @ 1.00364
1.48/1.76 c bounds -6034 >= -1108755 @ 1.00417
1.48/1.76 c bounds -6034 >= -1108531 @ 1.0047
1.48/1.76 c bounds -6034 >= -1108083 @ 1.00591
1.48/1.76 c bounds -6034 >= -1107859 @ 1.00732
1.48/1.76 c bounds -6034 >= -1107635 @ 1.00735
1.48/1.76 c bounds -6034 >= -1107411 @ 1.00936
1.48/1.76 c bounds -6125 >= -1107411 @ 1.0151
1.48/1.76 c bounds -6215 >= -1107411 @ 1.02174
1.48/1.76 c bounds -6261 >= -1107411 @ 1.02618
1.48/1.76 c bounds -6261 >= -1107188 @ 1.02687
1.48/1.76 c bounds -6261 >= -1106965 @ 1.02837
1.48/1.76 c bounds -6261 >= -1106519 @ 1.02889
1.48/1.76 c bounds -6261 >= -1106296 @ 1.02936
1.48/1.76 c bounds -6261 >= -1106073 @ 1.02971
1.48/1.76 c bounds -6324 >= -1106073 @ 1.03943
1.48/1.76 c bounds -6407 >= -1106073 @ 1.04349
1.48/1.76 c bounds -6445 >= -1106073 @ 1.05805
1.48/1.76 c bounds -6445 >= -1105629 @ 1.05878
1.48/1.76 c bounds -6445 >= -1105185 @ 1.05933
1.48/1.76 c bounds -6445 >= -1104963 @ 1.05979
1.48/1.76 c bounds -6445 >= -1104519 @ 1.06105
3.29/3.52 c bounds -6445 >= -1104297 @ 1.06166
3.29/3.52 c bounds -6445 >= -1104075 @ 1.06451
3.29/3.52 c bounds -6571 >= -1104075 @ 1.07109
3.29/3.52 c bounds -6716 >= -1104075 @ 1.07593
3.29/3.52 c bounds -6748 >= -1104075 @ 1.08553
3.29/3.52 c bounds -6748 >= -1103854 @ 1.08625
3.29/3.52 c bounds -6748 >= -1103633 @ 1.08656
3.29/3.52 c bounds -6748 >= -1103412 @ 1.08689
3.29/3.52 c bounds -6748 >= -1103191 @ 1.08782
3.29/3.52 c bounds -6748 >= -1102970 @ 1.08824
3.29/3.52 c bounds -6748 >= -1102307 @ 1.08865
3.29/3.52 c bounds -6773 >= -1102307 @ 1.0983
3.29/3.52 c bounds -6800 >= -1102307 @ 1.10765
3.29/3.52 c bounds -6881 >= -1102307 @ 1.11349
3.29/3.52 c bounds -6881 >= -1102087 @ 1.11405
3.29/3.52 c bounds -6881 >= -1101867 @ 1.1141
3.29/3.52 c bounds -6881 >= -1101647 @ 1.11535
3.29/3.52 c bounds -6881 >= -1101207 @ 1.116
3.29/3.52 c bounds -6910 >= -1101207 @ 1.12193
3.29/3.52 c bounds -6910 >= -1100987 @ 1.12247
3.29/3.52 c bounds -6910 >= -1100767 @ 1.12365
3.29/3.52 c bounds -7016 >= -1100767 @ 1.13389
3.29/3.52 c bounds -7154 >= -1100767 @ 1.14754
3.29/3.52 c bounds -7154 >= -1100548 @ 1.14931
3.29/3.52 c bounds -7154 >= -1100329 @ 1.14963
3.29/3.52 c bounds -7154 >= -1099891 @ 1.15059
3.29/3.52 c bounds -7154 >= -1099453 @ 1.15103
3.29/3.52 c bounds -7154 >= -1099015 @ 1.15138
3.29/3.52 c bounds -7154 >= -1098796 @ 1.15188
3.29/3.52 c bounds -7154 >= -1098577 @ 1.15403
3.29/3.52 c bounds -7223 >= -1098577 @ 1.16606
3.29/3.52 c bounds -7312 >= -1098577 @ 1.21137
3.29/3.52 c bounds -7425 >= -1098577 @ 1.21851
3.29/3.52 c bounds -7435 >= -1098577 @ 1.22365
3.29/3.52 c bounds -7561 >= -1098577 @ 1.24048
3.29/3.52 c bounds -7561 >= -1098141 @ 1.24127
3.29/3.52 c bounds -7561 >= -1097705 @ 1.24254
3.29/3.52 c bounds -7561 >= -1097487 @ 1.24296
3.29/3.52 c bounds -7561 >= -1096833 @ 1.24349
3.29/3.52 c bounds -7561 >= -1096397 @ 1.24385
3.29/3.52 c bounds -7561 >= -1096179 @ 1.30146
3.29/3.52 c bounds -7574 >= -1096179 @ 1.31118
3.29/3.52 c bounds -7802 >= -1096179 @ 1.31647
3.29/3.52 c bounds -7817 >= -1096179 @ 1.32341
3.29/3.52 c bounds -7817 >= -1095745 @ 1.324
3.29/3.52 c bounds -7817 >= -1095311 @ 1.32438
3.29/3.52 c bounds -7817 >= -1095094 @ 1.32544
3.29/3.52 c bounds -7817 >= -1094877 @ 1.32619
3.29/3.52 c bounds -7817 >= -1094660 @ 1.3271
3.29/3.52 c bounds -7817 >= -1094443 @ 1.32746
3.29/3.52 c bounds -7974 >= -1094443 @ 1.33597
3.29/3.52 c bounds -8074 >= -1094443 @ 1.33832
3.29/3.52 c bounds -8248 >= -1094443 @ 1.34157
3.29/3.52 c bounds -8248 >= -1094227 @ 1.34218
3.29/3.52 c bounds -8248 >= -1093795 @ 1.3425
3.29/3.52 c bounds -8248 >= -1093579 @ 1.34321
3.29/3.52 c bounds -8248 >= -1093363 @ 1.34355
3.29/3.52 c bounds -8248 >= -1092931 @ 1.34393
3.29/3.52 c bounds -8382 >= -1092931 @ 1.35255
3.29/3.52 c bounds -8382 >= -1092715 @ 1.35356
3.29/3.52 c bounds -8382 >= -1092499 @ 1.35457
3.29/3.52 c bounds -8382 >= -1092283 @ 1.35492
3.29/3.52 c bounds -8382 >= -1092067 @ 1.35528
3.29/3.52 c bounds -8382 >= -1091851 @ 1.35565
3.29/3.52 c bounds -8382 >= -1091419 @ 1.35598
3.29/3.52 c bounds -8382 >= -1091203 @ 1.35715
3.29/3.52 c bounds -8382 >= -1090987 @ 1.35745
3.29/3.52 c bounds -8467 >= -1090987 @ 1.39464
3.29/3.52 c bounds -8478 >= -1090987 @ 1.41464
3.29/3.52 c bounds -8558 >= -1090987 @ 1.42724
3.29/3.52 c bounds -8558 >= -1090772 @ 1.42786
3.29/3.52 c bounds -8558 >= -1090342 @ 1.42823
3.29/3.52 c bounds -8558 >= -1089912 @ 1.42828
3.29/3.52 c bounds -8558 >= -1089697 @ 1.4285
3.29/3.52 c bounds -8558 >= -1089482 @ 1.42891
3.29/3.52 c bounds -8558 >= -1089267 @ 1.42989
3.29/3.52 c bounds -8558 >= -1088622 @ 1.43084
3.29/3.52 c bounds -8558 >= -1088407 @ 1.43721
3.29/3.52 c bounds -8577 >= -1088407 @ 1.75524
3.29/3.52 c bounds -8628 >= -1088407 @ 1.7848
3.29/3.52 c bounds -8673 >= -1088407 @ 1.81556
3.29/3.52 c bounds -8748 >= -1088407 @ 2.02405
3.29/3.52 c bounds -8748 >= -1088193 @ 2.02458
3.29/3.52 c bounds -8748 >= -1087979 @ 2.02481
3.29/3.52 c bounds -8748 >= -1087551 @ 2.0258
3.29/3.52 c bounds -8748 >= -1087337 @ 2.02582
3.29/3.52 c bounds -8748 >= -1087123 @ 2.02616
3.29/3.52 c bounds -8748 >= -1086909 @ 2.02652
3.29/3.52 c bounds -8748 >= -1086695 @ 2.02872
3.29/3.52 c bounds -8752 >= -1086695 @ 2.20397
3.29/3.52 c bounds -8757 >= -1086695 @ 2.21066
3.29/3.52 c bounds -8777 >= -1086695 @ 2.24453
3.29/3.52 c bounds -8834 >= -1086695 @ 2.52251
3.29/3.52 c bounds -8834 >= -1086482 @ 2.52295
3.29/3.52 c bounds -8834 >= -1086269 @ 2.52314
3.29/3.52 c bounds -8834 >= -1085843 @ 2.5236
3.29/3.52 c bounds -8834 >= -1085204 @ 2.52461
3.29/3.52 c bounds -8834 >= -1084352 @ 2.52598
3.29/3.52 c bounds -8834 >= -1084139 @ 2.52637
3.29/3.52 c bounds -8834 >= -1083926 @ 2.52677
3.29/3.52 c bounds -8834 >= -1083713 @ 2.52746
3.29/3.52 c bounds -8834 >= -1083500 @ 2.52784
3.29/3.52 c bounds -8834 >= -1083287 @ 2.5318
3.29/3.52 c bounds -8834 >= -1083074 @ 2.5361
3.29/3.52 c bounds -8850 >= -1083074 @ 2.56098
3.29/3.52 c bounds -8850 >= -1082650 @ 2.56218
3.29/3.52 c bounds -8850 >= -1082438 @ 2.56251
3.29/3.52 c bounds -8850 >= -1082226 @ 2.56254
3.29/3.52 c bounds -8850 >= -1082014 @ 2.56254
3.29/3.52 c bounds -8850 >= -1081378 @ 2.56254
3.29/3.52 c bounds -8850 >= -1081166 @ 2.56278
9.37/9.69 c bounds -8850 >= -1080954 @ 2.5631
9.37/9.69 c bounds -8850 >= -1080530 @ 2.5634
9.37/9.69 c bounds -8850 >= -1080318 @ 2.56368
9.37/9.69 c bounds -8850 >= -1080106 @ 2.56405
9.37/9.69 c bounds -8850 >= -1079894 @ 2.56807
9.37/9.69 c bounds -8850 >= -1079682 @ 2.57712
9.37/9.69 c bounds -8910 >= -1079682 @ 2.59841
9.37/9.69 c bounds -8910 >= -1079471 @ 2.59885
9.37/9.69 c bounds -8910 >= -1079260 @ 2.5997
9.37/9.69 c bounds -8910 >= -1079049 @ 2.60056
9.37/9.69 c bounds -8910 >= -1078838 @ 2.60305
9.37/9.69 c bounds -8910 >= -1078627 @ 2.60344
9.37/9.69 c bounds -8910 >= -1078416 @ 2.6042
9.37/9.69 c bounds -8910 >= -1078205 @ 2.60614
9.37/9.69 c bounds -8915 >= -1078205 @ 3.26615
9.37/9.69 c bounds -8925 >= -1078205 @ 3.28799
9.37/9.69 c bounds -9101 >= -1078205 @ 3.30307
9.37/9.69 c bounds -9107 >= -1078205 @ 3.45788
9.37/9.69 c bounds -9136 >= -1078205 @ 3.47384
9.37/9.69 c bounds -9145 >= -1078205 @ 3.49106
9.37/9.69 c bounds -9264 >= -1078205 @ 3.49518
9.37/9.69 c bounds -9274 >= -1078205 @ 3.50667
9.37/9.69 c bounds -9318 >= -1078205 @ 3.53425
9.37/9.69 c bounds -9464 >= -1078205 @ 3.59215
9.37/9.69 c bounds -9485 >= -1078205 @ 3.66689
9.37/9.69 c bounds -9505 >= -1078205 @ 3.7056
9.37/9.69 c bounds -9512 >= -1078205 @ 3.75722
9.37/9.69 c bounds -9513 >= -1078205 @ 3.87351
9.37/9.69 c bounds -9513 >= -1077995 @ 3.87401
9.37/9.69 c bounds -9513 >= -1076735 @ 3.87624
9.37/9.69 c bounds -9513 >= -1076525 @ 3.87661
9.37/9.69 c bounds -9513 >= -1076105 @ 3.87716
9.37/9.69 c bounds -9513 >= -1075895 @ 3.87814
9.37/9.69 c bounds -9513 >= -1075685 @ 3.87857
9.37/9.69 c bounds -9513 >= -1075475 @ 3.87889
9.37/9.69 c bounds -9513 >= -1075265 @ 3.88326
9.37/9.69 c bounds -9513 >= -1075055 @ 3.89078
9.37/9.69 c bounds -9515 >= -1075055 @ 4.17843
9.37/9.69 c bounds -9540 >= -1075055 @ 4.18554
9.37/9.69 c #Conflicts: 1000 | #Constraints: 1811
9.37/9.69 c bounds -9578 >= -1075055 @ 4.98406
9.37/9.69 c bounds -9578 >= -1074846 @ 4.98448
9.37/9.69 c bounds -9578 >= -1074637 @ 4.98588
9.37/9.69 c bounds -9578 >= -1074219 @ 4.98701
9.37/9.69 c bounds -9578 >= -1074010 @ 4.98737
9.37/9.69 c bounds -9578 >= -1073801 @ 4.98759
9.37/9.69 c bounds -9578 >= -1073592 @ 4.98801
9.37/9.69 c bounds -9578 >= -1073383 @ 4.98979
9.37/9.69 c bounds -9578 >= -1073174 @ 4.99133
9.37/9.69 c bounds -9578 >= -1072965 @ 5.00169
9.37/9.69 c bounds -9598 >= -1072965 @ 5.69087
9.37/9.69 c bounds -9598 >= -1072757 @ 5.69152
9.37/9.69 c bounds -9598 >= -1072341 @ 5.69202
9.37/9.69 c bounds -9598 >= -1072133 @ 5.6923
9.37/9.69 c bounds -9598 >= -1071925 @ 5.69254
9.37/9.69 c bounds -9598 >= -1071509 @ 5.69303
9.37/9.69 c bounds -9598 >= -1071301 @ 5.69678
9.37/9.69 c bounds -9598 >= -1071093 @ 5.73592
9.37/9.69 c bounds -9598 >= -1070885 @ 5.73607
9.37/9.69 c bounds -9598 >= -1070677 @ 5.74297
9.37/9.69 c bounds -9605 >= -1070677 @ 8.16754
9.37/9.69 c bounds -9612 >= -1070677 @ 8.18316
9.37/9.69 c bounds -9692 >= -1070677 @ 8.19395
9.37/9.69 c #Conflicts: 2000 | #Constraints: 2883
9.37/9.69 c INPROCESSING
9.37/9.69 c GARBAGE COLLECT
9.37/9.69 c rational objective -12616
20.34/20.61 c bounds -9704 >= -1070677 @ 9.06034
20.34/20.61 c bounds -9714 >= -1070677 @ 9.25156
20.34/20.61 c bounds -9740 >= -1070677 @ 9.27332
20.34/20.61 c bounds -9742 >= -1070677 @ 9.40696
20.34/20.61 c bounds -9763 >= -1070677 @ 9.41682
20.34/20.61 c bounds -9857 >= -1070677 @ 9.54461
20.34/20.61 c bounds -9918 >= -1070677 @ 9.68916
20.34/20.61 c bounds -9921 >= -1070677 @ 9.76231
20.34/20.61 c bounds -10001 >= -1070677 @ 9.82901
20.34/20.61 c bounds -10074 >= -1070677 @ 9.99486
20.34/20.61 c bounds -10113 >= -1070677 @ 10.1699
20.34/20.61 c bounds -10208 >= -1070677 @ 10.4985
20.34/20.61 c bounds -10234 >= -1070677 @ 10.886
20.34/20.61 c bounds -10247 >= -1070677 @ 12.1224
20.34/20.61 c bounds -10247 >= -1070470 @ 12.1252
20.34/20.61 c bounds -10247 >= -1070263 @ 12.1255
20.34/20.61 c bounds -10247 >= -1070056 @ 12.1262
20.34/20.61 c bounds -10247 >= -1069849 @ 12.1268
20.34/20.61 c bounds -10247 >= -1069228 @ 12.1276
20.34/20.61 c bounds -10247 >= -1069021 @ 12.1281
20.34/20.61 c bounds -10247 >= -1068814 @ 12.1324
20.34/20.61 c bounds -10247 >= -1068607 @ 12.1386
20.34/20.61 c #Conflicts: 3000 | #Constraints: 2872
20.34/20.61 c bounds -10252 >= -1068607 @ 14.8931
20.34/20.61 c bounds -10270 >= -1068607 @ 14.9126
20.34/20.61 c bounds -10302 >= -1068607 @ 15.5601
20.34/20.61 c bounds -10346 >= -1068607 @ 15.741
20.34/20.61 c bounds -10395 >= -1068607 @ 15.8927
20.34/20.61 c bounds -10428 >= -1068607 @ 17.1584
20.34/20.61 c bounds -10455 >= -1068607 @ 17.1698
20.34/20.61 c bounds -10542 >= -1068607 @ 17.379
20.34/20.61 c bounds -10547 >= -1068607 @ 17.618
20.34/20.61 c bounds -10622 >= -1068607 @ 17.7173
20.34/20.61 c bounds -10622 >= -1068195 @ 17.7183
20.34/20.61 c bounds -10622 >= -1067165 @ 17.7204
20.34/20.61 c bounds -10622 >= -1066753 @ 17.7213
20.34/20.61 c bounds -10622 >= -1066547 @ 17.7231
20.34/20.61 c bounds -10622 >= -1066341 @ 17.7241
20.34/20.61 c bounds -10622 >= -1066135 @ 17.7249
20.34/20.61 c bounds -10622 >= -1065929 @ 17.727
20.34/20.61 c bounds -10622 >= -1065723 @ 17.7357
20.34/20.61 c bounds -10622 >= -1065517 @ 17.7629
20.34/20.61 c #Conflicts: 4000 | #Constraints: 3970
20.34/20.61 c bounds -10628 >= -1065517 @ 18.3009
20.34/20.61 c INPROCESSING
20.34/20.61 c GARBAGE COLLECT
20.34/20.61 c rational objective -12616
34.90/35.22 c #Conflicts: 5000 | #Constraints: 3299
34.90/35.22 c bounds -10629 >= -1065517 @ 25.4827
34.90/35.22 c bounds -10647 >= -1065517 @ 25.615
34.90/35.22 c bounds -10648 >= -1065517 @ 26.073
34.90/35.22 c bounds -10655 >= -1065517 @ 26.1164
34.90/35.22 c bounds -10834 >= -1065517 @ 26.459
34.90/35.22 c bounds -10849 >= -1065517 @ 26.689
34.90/35.22 c bounds -10894 >= -1065517 @ 26.7295
34.90/35.22 c bounds -10895 >= -1065517 @ 26.7541
34.90/35.22 c bounds -10942 >= -1065517 @ 26.9094
34.90/35.22 c bounds -10966 >= -1065517 @ 27.1233
34.90/35.22 c bounds -11034 >= -1065517 @ 27.5335
34.90/35.22 c bounds -11037 >= -1065517 @ 28.0678
34.90/35.22 c bounds -11111 >= -1065517 @ 28.7068
34.90/35.22 c bounds -11190 >= -1065517 @ 28.9644
34.90/35.22 c #Conflicts: 6000 | #Constraints: 4374
34.90/35.22 c bounds -11289 >= -1065517 @ 30.1286
34.90/35.22 c bounds -11346 >= -1065517 @ 31.3664
34.90/35.22 c bounds -11365 >= -1065517 @ 31.6078
34.90/35.22 c bounds -11367 >= -1065517 @ 32.163
34.90/35.22 c bounds -11432 >= -1065517 @ 32.2258
34.90/35.22 c INPROCESSING
34.90/35.22 c GARBAGE COLLECT
34.90/35.22 c rational objective -12616
62.63/63.03 c bounds -11432 >= -1065312 @ 33.8179
62.63/63.03 c bounds -11432 >= -1064902 @ 33.8271
62.63/63.03 c bounds -11432 >= -1064697 @ 33.8283
62.63/63.03 c bounds -11432 >= -1064492 @ 33.831
62.63/63.03 c bounds -11510 >= -1064492 @ 35.0511
62.63/63.03 c bounds -11510 >= -1064287 @ 35.0616
62.63/63.03 c bounds -11510 >= -1064082 @ 35.0765
62.63/63.03 c bounds -11510 >= -1063877 @ 35.285
62.63/63.03 c #Conflicts: 7000 | #Constraints: 3332
62.63/63.03 c #Conflicts: 8000 | #Constraints: 4336
62.63/63.03 c bounds -11510 >= -1063672 @ 57.8834
62.63/63.03 c #Conflicts: 9000 | #Constraints: 5352
62.63/63.03 c bounds -11566 >= -1063672 @ 58.8432
62.63/63.03 c bounds -11609 >= -1063672 @ 59.0117
62.63/63.03 c bounds -11647 >= -1063672 @ 59.4201
62.63/63.03 c bounds -11648 >= -1063672 @ 59.7532
62.63/63.03 c INPROCESSING
62.63/63.03 c GARBAGE COLLECT
62.63/63.03 c rational objective -12616
98.31/98.86 c bounds -11657 >= -1063672 @ 61.727
98.31/98.86 c bounds -11664 >= -1063672 @ 61.9104
98.31/98.86 c bounds -11666 >= -1063672 @ 62.4881
98.31/98.86 c bounds -11669 >= -1063672 @ 62.5449
98.31/98.86 c bounds -11674 >= -1063672 @ 63.0383
98.31/98.86 c bounds -11693 >= -1063672 @ 63.3164
98.31/98.86 c bounds -11723 >= -1063672 @ 64.9689
98.31/98.86 c #Conflicts: 10000 | #Constraints: 4077
98.31/98.86 c bounds -11728 >= -1063672 @ 66.9288
98.31/98.86 c bounds -11738 >= -1063672 @ 70.3344
98.31/98.86 c #Conflicts: 11000 | #Constraints: 5108
98.31/98.86 c bounds -11740 >= -1063672 @ 79.6238
98.31/98.86 c #Conflicts: 12000 | #Constraints: 6114
98.31/98.86 c INPROCESSING
98.31/98.86 c GARBAGE COLLECT
98.31/98.86 c rational objective -12616
132.21/132.84 c bounds -11753 >= -1063672 @ 99.215
132.21/132.84 c bounds -11792 >= -1063672 @ 100.004
132.21/132.84 c bounds -11792 >= -1063468 @ 100.03
132.21/132.84 c bounds -11792 >= -1062448 @ 100.047
132.21/132.84 c bounds -11792 >= -1062244 @ 100.055
132.21/132.84 c bounds -11792 >= -1062040 @ 100.066
132.21/132.84 c bounds -11792 >= -1061836 @ 100.077
132.21/132.84 c bounds -11792 >= -1061632 @ 100.118
132.21/132.84 c bounds -11792 >= -1061428 @ 100.437
132.21/132.84 c #Conflicts: 13000 | #Constraints: 4540
132.21/132.84 c bounds -11792 >= -1061224 @ 113.015
132.21/132.84 c #Conflicts: 14000 | #Constraints: 5554
132.21/132.84 c bounds -11812 >= -1061224 @ 123.036
132.21/132.84 c bounds -11817 >= -1061224 @ 123.933
132.21/132.84 c #Conflicts: 15000 | #Constraints: 6565
132.21/132.84 c INPROCESSING
132.21/132.84 c GARBAGE COLLECT
132.21/132.84 c rational objective -12616
173.88/174.68 c #Conflicts: 16000 | #Constraints: 4729
173.88/174.68 c bounds -11817 >= -1061020 @ 145.093
173.88/174.68 c bounds -11876 >= -1061020 @ 145.722
173.88/174.68 c bounds -11894 >= -1061020 @ 149.096
173.88/174.68 c bounds -11897 >= -1061020 @ 149.321
173.88/174.68 c #Conflicts: 17000 | #Constraints: 5772
173.88/174.68 c bounds -11909 >= -1061020 @ 151.195
173.88/174.68 c #Conflicts: 18000 | #Constraints: 6785
173.88/174.68 c INPROCESSING
173.88/174.68 c GARBAGE COLLECT
173.88/174.68 c rational objective -12616
221.15/222.01 c bounds -11992 >= -1061020 @ 170.394
221.15/222.01 c bounds -12031 >= -1061020 @ 170.412
221.15/222.01 c bounds -12062 >= -1061020 @ 170.446
221.15/222.01 c bounds -12065 >= -1061020 @ 170.597
221.15/222.01 c bounds -12095 >= -1061020 @ 170.734
221.15/222.01 c bounds -12109 >= -1061020 @ 171.936
221.15/222.01 c #Conflicts: 19000 | #Constraints: 4791
221.15/222.01 c bounds -12110 >= -1061020 @ 176.192
221.15/222.01 c bounds -12125 >= -1061020 @ 180.015
221.15/222.01 c bounds -12125 >= -1060817 @ 180.025
221.15/222.01 c bounds -12125 >= -1060614 @ 180.042
221.15/222.01 c bounds -12125 >= -1059599 @ 180.057
221.15/222.01 c bounds -12125 >= -1059396 @ 180.093
221.15/222.01 c bounds -12125 >= -1059193 @ 180.436
221.15/222.01 c bounds -12125 >= -1058990 @ 180.928
221.15/222.01 c #Conflicts: 20000 | #Constraints: 5841
221.15/222.01 c bounds -12126 >= -1058990 @ 191.537
221.15/222.01 c bounds -12126 >= -1058787 @ 199.287
221.15/222.01 c #Conflicts: 21000 | #Constraints: 6857
221.15/222.01 c INPROCESSING
221.15/222.01 c GARBAGE COLLECT
221.15/222.01 c rational objective -12616
254.44/255.44 c #Conflicts: 22000 | #Constraints: 4612
254.44/255.44 c bounds -12126 >= -1058148 @ 222.028
254.44/255.44 c #Conflicts: 23000 | #Constraints: 5628
254.44/255.44 c #Conflicts: 24000 | #Constraints: 6631
254.44/255.44 c bounds -12126 >= -1057892 @ 245.599
254.44/255.44 c bounds -12131 >= -1057892 @ 246.608
254.44/255.44 c bounds -12132 >= -1057892 @ 247.451
254.44/255.44 c bounds -12174 >= -1057892 @ 247.862
254.44/255.44 c #Conflicts: 25000 | #Constraints: 7658
254.44/255.44 c INPROCESSING
254.44/255.44 c GARBAGE COLLECT
254.44/255.44 c rational objective -12616
316.38/317.53 c bounds -12189 >= -1057892 @ 250.401
316.38/317.53 c bounds -12219 >= -1057892 @ 250.604
316.38/317.53 c bounds -12227 >= -1057892 @ 250.9
316.38/317.53 c bounds -12237 >= -1057892 @ 252.176
316.38/317.53 c bounds -12240 >= -1057892 @ 253.192
316.38/317.53 c #Conflicts: 26000 | #Constraints: 5239
316.38/317.53 c bounds -12255 >= -1057892 @ 254.145
316.38/317.53 c bounds -12264 >= -1057892 @ 257.083
316.38/317.53 c #Conflicts: 27000 | #Constraints: 6253
316.38/317.53 c #Conflicts: 28000 | #Constraints: 7254
316.38/317.53 c #Conflicts: 29000 | #Constraints: 8256
316.38/317.53 c INPROCESSING
316.38/317.53 c GARBAGE COLLECT
316.38/317.53 c rational objective -12616
366.95/368.23 c bounds -12275 >= -1057892 @ 311.84
366.95/368.23 c bounds -12279 >= -1057892 @ 312.407
366.95/368.23 c bounds -12284 >= -1057892 @ 312.686
366.95/368.23 c bounds -12285 >= -1057892 @ 312.951
366.95/368.23 c bounds -12299 >= -1057892 @ 313.415
366.95/368.23 c #Conflicts: 30000 | #Constraints: 5653
366.95/368.23 c bounds -12304 >= -1057892 @ 321.163
366.95/368.23 c bounds -12317 >= -1057892 @ 321.366
366.95/368.23 c bounds -12318 >= -1057892 @ 321.565
366.95/368.23 c #Conflicts: 31000 | #Constraints: 6703
366.95/368.23 c bounds -12325 >= -1057892 @ 329.436
366.95/368.23 c #Conflicts: 32000 | #Constraints: 7734
366.95/368.23 c bounds -12385 >= -1057892 @ 342.966
366.95/368.23 c #Conflicts: 33000 | #Constraints: 8773
366.95/368.23 c INPROCESSING
366.95/368.23 c GARBAGE COLLECT
366.95/368.23 c rational objective -12616
411.83/413.26 c bounds -12385 >= -1035993 @ 360.763
411.83/413.26 c bounds -12385 >= -1035791 @ 360.777
411.83/413.26 c bounds -12385 >= -1035589 @ 360.793
411.83/413.26 c bounds -12385 >= -1035387 @ 360.909
411.83/413.26 c bounds -12385 >= -980117 @ 362.948
411.83/413.26 c bounds -12385 >= -899549 @ 368.776
411.83/413.26 c #Conflicts: 34000 | #Constraints: 5883
411.83/413.26 c #Conflicts: 35000 | #Constraints: 6892
411.83/413.26 c bounds -12385 >= -830437 @ 386.426
411.83/413.26 c #Conflicts: 36000 | #Constraints: 7912
411.83/413.26 c bounds -12390 >= -830437 @ 389.102
411.83/413.26 c bounds -12395 >= -830437 @ 389.236
411.83/413.26 c bounds -12409 >= -830437 @ 389.804
411.83/413.26 c bounds -12435 >= -830437 @ 391.774
411.83/413.26 c #Conflicts: 37000 | #Constraints: 8931
411.83/413.26 c INPROCESSING
411.83/413.26 c GARBAGE COLLECT
411.83/413.26 c rational objective -12616
483.14/484.70 c bounds -12438 >= -830437 @ 405.697
483.14/484.70 c bounds -12467 >= -830437 @ 407.192
483.14/484.70 c #Conflicts: 38000 | #Constraints: 5799
483.14/484.70 c bounds -12490 >= -830437 @ 410.424
483.14/484.70 c bounds -12491 >= -830437 @ 412.745
483.14/484.70 c #Conflicts: 39000 | #Constraints: 6844
483.14/484.70 c bounds -12496 >= -830437 @ 418.902
483.14/484.70 c bounds -12496 >= -830236 @ 418.954
483.14/484.70 c bounds -12496 >= -828628 @ 419.068
483.14/484.70 c bounds -12496 >= -828427 @ 419.118
483.14/484.70 c bounds -12496 >= -827192 @ 419.622
483.14/484.70 c bounds -12496 >= -792415 @ 420.498
483.14/484.70 c bounds -12496 >= -792214 @ 422.17
483.14/484.70 c bounds -12496 >= -750671 @ 431.173
483.14/484.70 c #Conflicts: 40000 | #Constraints: 7885
483.14/484.70 c bounds -12502 >= -750671 @ 436.929
483.14/484.70 c bounds -12502 >= -664656 @ 462.111
483.14/484.70 c #Conflicts: 41000 | #Constraints: 8902
483.14/484.70 c bounds -12503 >= -664656 @ 466.042
483.14/484.70 c INPROCESSING
483.14/484.70 c GARBAGE COLLECT
483.14/484.70 c rational objective -12616
504.09/505.73 c bounds -12516 >= -664656 @ 476.637
504.09/505.73 c #Conflicts: 42000 | #Constraints: 5498
504.09/505.73 c bounds -12519 >= -664656 @ 478.79
504.09/505.73 c bounds -12522 >= -664656 @ 478.811
504.09/505.73 c #Conflicts: 43000 | #Constraints: 6516
504.09/505.73 c bounds -12561 >= -664656 @ 481.771
504.09/505.73 c bounds -12561 >= -385050 @ 481.772
504.09/505.73 c bounds -12561 >= -384050 @ 481.795
504.09/505.73 c bounds -12561 >= -383683 @ 481.807
504.09/505.73 c bounds -12561 >= -383483 @ 481.843
504.09/505.73 c bounds -12561 >= -361751 @ 482.12
504.09/505.73 c bounds -12561 >= -361222 @ 482.415
504.09/505.73 c bounds -12561 >= -354309 @ 483.737
504.09/505.73 c bounds -12563 >= -354309 @ 484.826
504.09/505.73 c bounds -12563 >= -160072 @ 485.496
504.09/505.73 c bounds -12563 >= -159835 @ 485.496
504.09/505.73 c bounds -12563 >= -159598 @ 485.497
504.09/505.73 c bounds -12563 >= -159388 @ 485.503
504.09/505.73 c bounds -12563 >= -159183 @ 485.504
504.09/505.73 c bounds -12563 >= -158678 @ 485.511
504.09/505.73 c bounds -12563 >= -158473 @ 485.518
504.09/505.73 c bounds -12563 >= -158268 @ 485.549
504.09/505.73 c bounds -12563 >= -158063 @ 485.584
504.09/505.73 c bounds -12563 >= -157863 @ 485.687
504.09/505.73 c bounds -12563 >= -157027 @ 485.998
504.09/505.73 c bounds -12563 >= -156827 @ 486.071
504.09/505.73 c bounds -12563 >= -156627 @ 486.376
504.09/505.73 c #Conflicts: 44000 | #Constraints: 7632
504.09/505.73 c bounds -12563 >= -142897 @ 487.464
504.09/505.73 c bounds -12576 >= -142897 @ 487.62
504.09/505.73 c bounds -12582 >= -142897 @ 488.635
504.09/505.73 c #Conflicts: 45000 | #Constraints: 8662
504.09/505.73 c bounds -12598 >= -142897 @ 491.806
504.09/505.73 c bounds -12599 >= -142897 @ 491.857
504.09/505.73 c bounds -12600 >= -142897 @ 493.547
504.09/505.73 c bounds -12611 >= -142897 @ 494.137
504.09/505.73 c #Conflicts: 46000 | #Constraints: 9685
504.09/505.73 c INPROCESSING
504.09/505.73 c GARBAGE COLLECT
504.09/505.73 c rational objective -12616
504.50/506.13 c bounds -12611 >= -115153 @ 495.602
504.50/506.13 c bounds -12611 >= -114946 @ 495.603
504.50/506.13 c bounds -12611 >= -114738 @ 495.604
504.50/506.13 c bounds -12611 >= -114532 @ 495.605
504.50/506.13 c bounds -12611 >= -114333 @ 495.606
504.50/506.13 c bounds -12611 >= -114134 @ 495.609
504.50/506.13 c bounds -12611 >= -113935 @ 495.617
504.50/506.13 c bounds -12611 >= -28276 @ 495.69
504.50/506.13 c bounds -12611 >= -24876 @ 495.69
504.50/506.13 c bounds -12611 >= -24052 @ 495.69
504.50/506.13 c bounds -12611 >= -23636 @ 495.69
504.50/506.13 c bounds -12611 >= -23426 @ 495.691
504.50/506.13 c bounds -12611 >= -23227 @ 495.691
504.50/506.13 c bounds -12611 >= -23025 @ 495.692
504.50/506.13 c bounds -12611 >= -22824 @ 495.692
504.50/506.13 c bounds -12611 >= -22620 @ 495.692
504.50/506.13 c bounds -12611 >= -22400 @ 495.699
504.50/506.13 c bounds -12611 >= -21707 @ 495.701
504.50/506.13 c bounds -12611 >= -20454 @ 495.717
504.50/506.13 c bounds -12611 >= -20255 @ 495.727
504.50/506.13 c bounds -12611 >= -20056 @ 495.742
504.50/506.13 c bounds -12612 >= -20056 @ 495.751
504.50/506.13 c bounds -12612 >= -20056 @ 495.761
504.50/506.13 c cpu time 495.762 s
504.50/506.13 c deterministic time 36300700761 3.63e+10
504.50/506.13 c optimization time 0.533795 s
504.50/506.13 c total solve time 495.185 s
504.50/506.13 c core-guided solve time 304.102 s
504.50/506.13 c propagation time 275.597 s
504.50/506.13 c conflict analysis time 184.598 s
504.50/506.13 c propagations 68353765
504.50/506.13 c resolve steps 315545
504.50/506.13 c decisions 2183076
504.50/506.13 c conflicts 46260
504.50/506.13 c restarts 136
504.50/506.13 c inprocessing phases 14
504.50/506.13 c input clauses 383
504.50/506.13 c input cardinalities 564
504.50/506.13 c input general constraints 463
504.50/506.13 c input average constraint length 1449.23
504.50/506.13 c input average constraint degree 1458.32
504.50/506.13 c learned clauses 5818
504.50/506.13 c learned cardinalities 410
504.50/506.13 c learned general constraints 41033
504.50/506.13 c learned average constraint length 5126.29
504.50/506.13 c learned average constraint degree 196918440513.71
504.50/506.13 c watched constraints 16784
504.50/506.13 c counting constraints 24712
504.50/506.13 c gcd simplifications 1295
504.50/506.13 c detected cardinalities 214
504.50/506.13 c weakened non-implied lits 101685339
504.50/506.13 c weakened non-implying lits 59735
504.50/506.13 c original variables 9905
504.50/506.13 c clausal propagations 538152
504.50/506.13 c cardinality propagations 14436715
504.50/506.13 c watched propagations 2060535
504.50/506.13 c counting propagations 49157878
504.50/506.13 c watch lookups 5491786164
504.50/506.13 c watch backjump lookups 5477895387
504.50/506.13 c watch checks 8138374708
504.50/506.13 c propagation checks 16130287912
504.50/506.13 c constraint additions 921193356
504.50/506.13 c trail pops 70572018
504.50/506.13 c formula constraints 313
504.50/506.13 c learned constraints 45344
504.50/506.13 c bound constraints 216
504.50/506.13 c core-guided constraints 881
504.50/506.13 c encountered formula constraints 137196
504.50/506.13 c encountered learned constraints 119111
504.50/506.13 c encountered bound constraints 1579
504.50/506.13 c encountered core-guided constraints 57281
504.50/506.13 c LP total time 15.6463 s
504.50/506.13 c LP solve time 7.13 s
504.50/506.13 c LP constraints added 313
504.50/506.13 c LP constraints removed 0
504.50/506.13 c LP pivots internal 46319
504.50/506.13 c LP pivots root 8055
504.50/506.13 c LP calls 1184
504.50/506.13 c LP optimalities 223
504.50/506.13 c LP no pivot count 48
504.50/506.13 c LP infeasibilities 960
504.50/506.13 c LP valid Farkas constraints 959
504.50/506.13 c LP learned Farkas constraints 958
504.50/506.13 c LP basis resets 0
504.50/506.13 c LP cycling count 0
504.50/506.13 c LP singular count 0
504.50/506.13 c LP no primal count 0
504.50/506.13 c LP no farkas count 0
504.50/506.13 c LP other issue count 0
504.50/506.13 c LP Gomory cuts 0
504.50/506.13 c LP learned cuts 0
504.50/506.13 c LP deleted cuts 0
504.50/506.13 c LP encountered Gomory constraints 0
504.50/506.13 c LP encountered Farkas constraints 40324
504.50/506.13 c LP encountered learned Farkas constraints 5354
504.50/506.13 c CG auxiliary variables introduced 420
504.50/506.13 c CG solutions found 216
504.50/506.13 c CG cores constructed 285
504.50/506.13 c CG core cardinality constraints returned 56
504.50/506.13 c CG unit cores 9
504.50/506.13 c CG single cores 256
504.50/506.13 c CG blocks removed during cardinality reduction 1
504.50/506.13 c CG first core best 1
504.50/506.13 c CG decision core best 10
504.50/506.13 c CG core reduction tie 9
504.50/506.13 c CG core degree average 1.34
504.50/506.13 c CG core slack average 1.52
504.50/506.13 o -12612
504.50/506.13 s OPTIMUM FOUND
504.50/506.13 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: 64059 MiB (61526 MiB free)
memory of node 1: 64510 MiB (62650 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4463356-1722349141/watcher-4463356-1722349141 -o /tmp/evaluation-result-4463356-1722349141/solver-4463356-1722349141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463356-1722349141 --lp-cut-gomory=0 HOME/instance-4463356-1722349141.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=12400, runsolver pid=12397
Current StackSize limit: 8192 KiB
[startup+0.100097 s]*
/proc/loadavg: 4.09 4.11 4.09 4/242 12401
/proc/meminfo: memFree=127156832/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=37376 memory=2532 CPUtime=0 cores=5,7
/proc/12400/stat : 12400 (roundingsat) D 12397 12400 7348 0 -1 1077936128 211 0 0 0 0 0 0 0 20 0 1 0 1511058 38273024 633 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 9344 633 577 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2532 KiB
[startup+0.213867 s]*
/proc/loadavg: 4.09 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127149884/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=44988 memory=14316 CPUtime=0.05 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 2753 0 0 0 5 0 0 0 20 0 1 0 1511058 46067712 3579 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 11247 3579 1713 992 0 3105 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 44988 KiB
Current children cumulated memory: 14316 KiB
[startup+0.312867 s]*
/proc/loadavg: 4.09 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127147532/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=47532 memory=16608 CPUtime=0.13 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 3324 0 0 0 12 1 0 0 20 0 1 0 1511058 48672768 4152 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 7 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 11883 4152 1761 992 0 3741 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 47532 KiB
Current children cumulated memory: 16608 KiB
[startup+0.700253 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127147196/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=49476 memory=18632 CPUtime=0.49 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 3755 0 0 0 39 10 0 0 20 0 1 0 1511058 50663424 4658 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 12369 4658 1808 992 0 4227 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 49476 KiB
Current children cumulated memory: 18632 KiB
[startup+1.50028 s]
/proc/loadavg: 4.09 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127140444/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=52972 memory=23944 CPUtime=1.29 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 4541 0 0 0 89 40 0 0 20 0 1 0 1511058 54243328 5986 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 13243 5986 1808 992 0 5101 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 52972 KiB
Current children cumulated memory: 23944 KiB
[startup+3.11257 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127103236/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=78924 memory=49036 CPUtime=2.9 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 7172 0 0 0 218 72 0 0 20 0 1 0 1511058 80818176 12259 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 19731 12259 1882 992 0 11589 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 78924 KiB
Current children cumulated memory: 49036 KiB
[startup+6.3003 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 12401
/proc/meminfo: memFree=127028752/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=135976 memory=105564 CPUtime=6.08 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 10076 0 0 0 516 92 0 0 20 0 1 0 1511058 139239424 26391 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 33994 26391 1882 992 0 25852 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 135976 KiB
Current children cumulated memory: 105564 KiB
[startup+12.7003 s]
/proc/loadavg: 4.08 4.11 4.09 5/242 12404
/proc/meminfo: memFree=126879112/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=204176 memory=167368 CPUtime=12.46 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 14879 0 0 0 1132 114 0 0 20 0 1 0 1511058 209076224 41842 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 51044 41842 1882 992 0 42902 0
Current children cumulated CPU time: 12.46 s
Current children cumulated vsize: 204176 KiB
Current children cumulated memory: 167368 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.09 5/242 12405
/proc/meminfo: memFree=126512004/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=336608 memory=266460 CPUtime=25.23 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 28086 0 0 0 2377 146 0 0 20 0 1 0 1511058 344686592 66615 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 84152 66615 1882 992 0 76010 0
Current children cumulated CPU time: 25.23 s
Current children cumulated vsize: 336608 KiB
Current children cumulated memory: 266460 KiB
[startup+51.1132 s]
/proc/loadavg: 4.09 4.11 4.09 5/247 12415
/proc/meminfo: memFree=125663904/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=460044 memory=425500 CPUtime=50.76 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 60926 0 0 0 4876 200 0 0 20 0 1 0 1511058 471085056 106375 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 115011 106375 1882 992 0 106869 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 460044 KiB
Current children cumulated memory: 425500 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/253 12431
/proc/meminfo: memFree=124546644/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=713684 memory=568696 CPUtime=101.8 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 91685 0 0 0 9900 280 0 0 20 0 1 0 1511058 730812416 142174 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 178421 142174 1882 992 0 170279 0
Current children cumulated CPU time: 101.8 s
Current children cumulated vsize: 713684 KiB
Current children cumulated memory: 568696 KiB
[startup+162.3 s]
/proc/loadavg: 4.65 4.27 4.15 5/254 12442
/proc/meminfo: memFree=122956232/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=777000 memory=665188 CPUtime=161.61 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 108376 0 0 0 15793 368 0 0 20 0 1 0 1511058 795648000 166297 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 194250 166297 1882 992 0 186108 0
Current children cumulated CPU time: 161.61 s
Current children cumulated vsize: 777000 KiB
Current children cumulated memory: 665188 KiB
[startup+222.3 s]
/proc/loadavg: 4.47 4.30 4.17 5/254 12453
/proc/meminfo: memFree=121890716/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=786476 memory=674812 CPUtime=221.44 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 110867 0 0 0 21710 434 0 0 20 0 1 0 1511058 805351424 168703 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 196619 168703 1882 992 0 188477 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 786476 KiB
Current children cumulated memory: 674812 KiB
[startup+282.3 s]
/proc/loadavg: 4.21 4.26 4.16 5/256 12465
/proc/meminfo: memFree=120064312/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=790576 memory=680680 CPUtime=281.27 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 111939 0 0 0 27595 532 0 0 20 0 1 0 1511058 809549824 170170 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 197644 170170 1882 992 0 189502 0
Current children cumulated CPU time: 281.27 s
Current children cumulated vsize: 790576 KiB
Current children cumulated memory: 680680 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 4.27 4.17 5/256 12475
/proc/meminfo: memFree=118654932/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=790972 memory=681928 CPUtime=341.11 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 113792 0 0 0 33499 612 0 0 20 0 1 0 1511058 809955328 170482 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 197743 170482 1882 992 0 189601 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 790972 KiB
Current children cumulated memory: 681928 KiB
[startup+402.3 s]
/proc/loadavg: 4.24 4.27 4.18 5/256 12869
/proc/meminfo: memFree=116651280/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=868164 memory=801548 CPUtime=400.96 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 133827 0 0 0 39370 726 0 0 20 0 1 0 1511058 888999936 200387 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 217041 200387 1882 992 0 208899 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 868164 KiB
Current children cumulated memory: 801548 KiB
[startup+462.3 s]
/proc/loadavg: 4.37 4.29 4.19 5/253 12880
/proc/meminfo: memFree=115165956/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=879128 memory=812532 CPUtime=460.8 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 136068 0 0 0 45276 804 0 0 20 0 1 0 1511058 900227072 203133 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 219782 203133 1882 992 0 211640 0
Current children cumulated CPU time: 460.8 s
Current children cumulated vsize: 879128 KiB
Current children cumulated memory: 812532 KiB
[startup+506.345 s]
# the end of solver process 12400 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=495.774 s, system=8.80273 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+486.4 s]
/proc/loadavg: 4.24 4.27 4.19 5/249 12912
/proc/meminfo: memFree=114654464/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=905904 memory=839312 CPUtime=484.84 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 142916 0 0 0 47652 832 0 0 20 0 1 0 1511058 927645696 209828 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226476 209828 1882 992 0 218334 0
Current children cumulated CPU time: 484.84 s
Current children cumulated vsize: 905904 KiB
Current children cumulated memory: 839312 KiB
[startup+499.2 s]
/proc/loadavg: 4.27 4.27 4.19 5/249 12915
/proc/meminfo: memFree=114080396/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906084 memory=839660 CPUtime=497.6 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 143070 0 0 0 48900 860 0 0 20 0 1 0 1511058 927830016 209915 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226521 209915 1882 992 0 218379 0
Current children cumulated CPU time: 497.6 s
Current children cumulated vsize: 906084 KiB
Current children cumulated memory: 839660 KiB
[startup+502.4 s]
/proc/loadavg: 4.27 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113979896/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906084 memory=839660 CPUtime=500.8 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 143073 0 0 0 49211 869 0 0 20 0 1 0 1511058 927830016 209915 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226521 209915 1882 992 0 218379 0
Current children cumulated CPU time: 500.8 s
Current children cumulated vsize: 906084 KiB
Current children cumulated memory: 839660 KiB
[startup+504 s]*
/proc/loadavg: 4.25 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113915624/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906084 memory=839660 CPUtime=502.4 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 143074 0 0 0 49368 872 0 0 20 0 1 0 1511058 927830016 209915 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226521 209915 1882 992 0 218379 0
Current children cumulated CPU time: 502.4 s
Current children cumulated vsize: 906084 KiB
Current children cumulated memory: 839660 KiB
[startup+505.6 s]
/proc/loadavg: 4.25 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113880220/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906084 memory=839668 CPUtime=503.99 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 143093 0 0 0 49524 875 0 0 20 0 1 0 1511058 927830016 209917 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226521 209917 1882 992 0 218379 0
Current children cumulated CPU time: 503.99 s
Current children cumulated vsize: 906084 KiB
Current children cumulated memory: 839668 KiB
[startup+506 s]*
/proc/loadavg: 4.25 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113862728/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906084 memory=839668 CPUtime=504.4 cores=5,7
/proc/12400/stat : 12400 (roundingsat) R 12397 12400 7348 0 -1 4194304 143093 0 0 0 49565 875 0 0 20 0 1 0 1511058 927830016 209917 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226521 209917 1882 992 0 218379 0
Current children cumulated CPU time: 504.4 s
Current children cumulated vsize: 906084 KiB
Current children cumulated memory: 839668 KiB
[startup+506.2 s]
/proc/loadavg: 4.25 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113862728/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906248 memory=839668 CPUtime=504.53 cores=5,7
/proc/12400/stat : 12400 (roundingsat) D 12397 12400 7348 0 -1 4194304 143119 0 0 0 49576 877 0 0 20 0 1 0 1511058 927997952 209917 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 0 0 0 17 5 0 0 7 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226562 209917 1882 992 0 218420 0
Current children cumulated CPU time: 504.53 s
Current children cumulated vsize: 906248 KiB
Current children cumulated memory: 839668 KiB
[startup+506.303 s]
/proc/loadavg: 4.25 4.27 4.19 5/250 12916
/proc/meminfo: memFree=113862728/131655788 swapFree=131071996/131071996
[pid=12400] ppid=12397 vsize=906248 memory=839668 CPUtime=504.55 cores=5,7
/proc/12400/stat : 12400 (roundingsat) D 12397 12400 7348 0 -1 4194304 143119 0 0 0 49577 878 0 0 20 0 1 0 1511058 927997952 209917 134679101440 4194304 8255733 140728496298512 0 0 0 0 0 25182210 1 0 0 17 7 0 0 17 0 0 9037040 9046032 14749696 140728496304994 140728496305256 140728496305256 140728496312265 0
/proc/12400/statm: 226562 209917 1882 992 0 218420 0
Current children cumulated CPU time: 504.55 s
Current children cumulated vsize: 906248 KiB
Current children cumulated memory: 839668 KiB
Child status: 0
Real time (s): 506.345
CPU time (s): 504.577
CPU user time (s): 495.774
CPU system time (s): 8.80273
CPU usage (%): 99.6508
Max. virtual memory (cumulated for all children) (KiB): 906248
Max. memory (cumulated for all children) (KiB): 839668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 495.774
system time used= 8.80273
maximum resident set size= 839668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22167856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3681
involuntary context switches= 701
# summary of solver processes directly reported to runsolver:
# pid: 12400
# total CPU time (s): 504.577
# total CPU user time (s): 495.774
# total CPU system time (s): 8.80273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.44496 second user time and 5.15195 second system time
The end
Begin job on nodeC010 at 2024-07-30 16:19:01
IDJOB=4463356
IDBENCH=178886
IDSOLVER=3089
FILE ID=nodeC010/4463356-1722349141
RUNJOBID= nodeC010-1722340763-7361
SLURM_JOB_ID= 8248990
Free space on /tmp= 723756 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-4463356-1722349141/watcher-4463356-1722349141 -o /tmp/evaluation-result-4463356-1722349141/solver-4463356-1722349141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1722340763-7361 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463356-1722349141 --lp-cut-gomory=0 HOME/instance-4463356-1722349141.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5b15f8b0103f862f2083963c79e8ca36
RANDOM SEED=493616191
nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.919
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3648.294
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.280
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.134
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3669.992
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.129
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.312
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.21
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.33
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 127158404 kB
MemAvailable: 129839820 kB
Buffers: 53252 kB
Cached: 3472016 kB
SwapCached: 0 kB
Active: 164200 kB
Inactive: 3904108 kB
Active(anon): 1960 kB
Inactive(anon): 570716 kB
Active(file): 162240 kB
Inactive(file): 3333392 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 57828 kB
Writeback: 4 kB
AnonPages: 537376 kB
Mapped: 101152 kB
Shmem: 29504 kB
KReclaimable: 51632 kB
Slab: 127316 kB
SReclaimable: 51632 kB
SUnreclaim: 75684 kB
KernelStack: 3904 kB
PageTables: 10520 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 811264 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 6336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 374784 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: 146248 kB
DirectMap2M: 8146944 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 723752 MiB
End job on nodeC010 at 2024-07-30 16:27:28