0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.03	c [STEP] solving
0.00/0.03	c #variables 10000 #constraints 1
0.00/0.03	c SMALL=int, LARGE=long long
0.00/0.03	c bounds - >= -59628641 @ 0.025407
0.00/0.03	c stratification level: 11003
0.00/0.07	c bounds -33011 >= -59628641 @ 0.042938
0.00/0.07	c stratification level: 10998
0.00/0.11	c bounds -44009 >= -59628641 @ 0.054142
0.00/0.11	c stratification level: 10986
0.10/0.13	c bounds -142913 >= -59628641 @ 0.063926
0.10/0.13	c stratification level: 10985
0.10/0.17	c bounds -153898 >= -59628641 @ 0.080802
0.10/0.17	c stratification level: 10984
0.10/0.20	c bounds -197834 >= -59628641 @ 0.093961
0.10/0.20	c stratification level: 10983
0.22/0.23	c bounds -208817 >= -59628641 @ 0.102866
0.22/0.23	c stratification level: 10982
0.22/0.26	c bounds -219799 >= -59628641 @ 0.114832
0.22/0.26	c stratification level: 10978
0.22/0.30	c bounds -241755 >= -59628641 @ 0.128786
0.22/0.30	c stratification level: 10977
0.31/0.33	c bounds -252732 >= -59628641 @ 0.139784
0.31/0.33	c stratification level: 10975
0.31/0.36	c bounds -263707 >= -59628641 @ 0.149291
0.31/0.36	c stratification level: 10972
0.31/0.39	c bounds -285651 >= -59628641 @ 0.159057
0.31/0.39	c stratification level: 10971
0.41/0.42	c bounds -307593 >= -59628641 @ 0.170936
0.41/0.42	c stratification level: 10970
0.41/0.46	c bounds -318563 >= -59628641 @ 0.183148
0.41/0.46	c stratification level: 10965
0.41/0.49	c bounds -351458 >= -59628641 @ 0.194135
0.41/0.49	c stratification level: 10964
0.41/0.52	c bounds -362422 >= -59628641 @ 0.209176
0.41/0.52	c stratification level: 10962
0.51/0.55	c bounds -384346 >= -59628641 @ 0.218821
0.51/0.55	c stratification level: 10958
0.51/0.59	c bounds -395304 >= -59628641 @ 0.228208
0.51/0.59	c stratification level: 10957
0.60/0.62	c bounds -406261 >= -59628641 @ 0.242668
0.60/0.62	c stratification level: 10956
0.60/0.65	c bounds -417217 >= -59628641 @ 0.251967
0.60/0.65	c stratification level: 10954
0.60/0.68	c bounds -439125 >= -59628641 @ 0.262065
0.60/0.68	c stratification level: 10953
0.68/0.72	c bounds -450078 >= -59628641 @ 0.279247
0.68/0.72	c stratification level: 10952
0.68/0.75	c bounds -461030 >= -59628641 @ 0.290208
0.68/0.75	c stratification level: 10950
0.68/0.78	c bounds -482930 >= -59628641 @ 0.30315
0.68/0.78	c stratification level: 10947
0.78/0.81	c bounds -504824 >= -59628641 @ 0.315078
0.78/0.81	c stratification level: 10946
0.78/0.84	c bounds -515770 >= -59628641 @ 0.328126
0.78/0.84	c stratification level: 10943
0.78/0.86	c bounds -526713 >= -59628641 @ 0.33552
0.78/0.86	c stratification level: 10942
0.78/0.88	c bounds -526713 >= -59617699 @ 0.341649
0.78/0.88	c finalizing WCE round: reformulating cores
0.87/0.92	c bounds -535684 >= -59617699 @ 0.353504
0.87/0.92	c bounds -535997 >= -59617699 @ 0.37331
0.87/0.92	c stratification level: 10939
0.87/0.94	c bounds -537302 >= -59617699 @ 0.38277
0.87/0.94	c stratification level: 10936
0.87/0.96	c bounds -538654 >= -59617699 @ 0.388438
0.87/0.96	c stratification level: 10935
0.99/1.02	c bounds -538655 >= -59617699 @ 0.439889
0.99/1.02	c stratification level: 10934
0.99/1.02	c bounds -539673 >= -59617699 @ 0.445651
0.99/1.02	c stratification level: 10928
0.99/1.04	c bounds -540652 >= -59617699 @ 0.452924
0.99/1.04	c stratification level: 10926
0.99/1.04	c bounds -541656 >= -59617699 @ 0.457823
0.99/1.04	c stratification level: 10924
0.99/1.07	c bounds -541683 >= -59617699 @ 0.469393
0.99/1.07	c stratification level: 10923
0.99/1.07	c bounds -542612 >= -59617699 @ 0.473969
0.99/1.07	c stratification level: 10922
0.99/1.09	c bounds -543539 >= -59617699 @ 0.482772
0.99/1.09	c stratification level: 10920
0.99/1.10	c bounds -544502 >= -59617699 @ 0.488468
0.99/1.10	c stratification level: 10917
1.09/1.11	c bounds -545460 >= -59617699 @ 0.499855
1.09/1.11	c stratification level: 10916
1.09/1.12	c bounds -546441 >= -59617699 @ 0.505803
1.09/1.12	c stratification level: 10913
1.09/1.14	c bounds -547414 >= -59617699 @ 0.513523
1.09/1.14	c stratification level: 10912
1.09/1.15	c bounds -548368 >= -59617699 @ 0.517771
1.09/1.15	c stratification level: 10911
1.09/1.16	c bounds -549328 >= -59617699 @ 0.52494
1.09/1.16	c stratification level: 10910
1.09/1.17	c bounds -550187 >= -59617699 @ 0.530715
1.09/1.17	c stratification level: 10909
1.09/1.19	c bounds -551005 >= -59617699 @ 0.539305
1.09/1.19	c stratification level: 10907
1.18/1.20	c bounds -551787 >= -59617699 @ 0.544948
1.18/1.20	c stratification level: 10906
1.18/1.22	c bounds -552689 >= -59617699 @ 0.550507
1.18/1.22	c stratification level: 10905
1.18/1.23	c bounds -553646 >= -59617699 @ 0.55598
1.18/1.23	c stratification level: 10903
1.18/1.25	c bounds -554504 >= -59617699 @ 0.56632
1.18/1.25	c stratification level: 10902
1.18/1.26	c bounds -555462 >= -59617699 @ 0.570665
1.18/1.26	c stratification level: 10901
1.18/1.28	c bounds -556235 >= -59617699 @ 0.578342
1.18/1.28	c stratification level: 10899
1.18/1.29	c bounds -557156 >= -59617699 @ 0.586125
1.18/1.29	c stratification level: 10898
1.28/1.31	c bounds -558034 >= -59617699 @ 0.592618
1.28/1.31	c stratification level: 10897
1.28/1.32	c bounds -558988 >= -59617699 @ 0.599679
1.28/1.32	c stratification level: 10894
1.28/1.34	c bounds -559930 >= -59617699 @ 0.608388
1.28/1.34	c stratification level: 10892
1.28/1.36	c bounds -559930 >= -59606807 @ 0.613292
1.28/1.36	c finalizing WCE round: reformulating cores
1.28/1.38	c bounds -561777 >= -59606807 @ 0.62526
1.28/1.38	c bounds -562794 >= -59606807 @ 0.629457
1.28/1.38	c stratification level: 10890
1.28/1.39	c bounds -563776 >= -59606807 @ 0.634392
1.28/1.39	c stratification level: 10889
1.28/1.39	c bounds -564784 >= -59606807 @ 0.638374
1.28/1.39	c stratification level: 10888
1.38/1.42	c bounds -565331 >= -59606807 @ 0.651041
1.38/1.42	c stratification level: 10886
1.38/1.44	c bounds -566079 >= -59606807 @ 0.664301
1.38/1.44	c stratification level: 10884
1.38/1.46	c bounds -567243 >= -59606807 @ 0.670986
1.38/1.46	c stratification level: 10880
1.38/1.47	c bounds -568553 >= -59606807 @ 0.679964
1.38/1.47	c stratification level: 10878
1.48/1.51	c bounds -568629 >= -59606807 @ 0.706855
1.48/1.51	c stratification level: 10875
1.48/1.53	c bounds -569646 >= -59606807 @ 0.715188
1.48/1.53	c stratification level: 10872
1.48/1.54	c bounds -570627 >= -59606807 @ 0.722866
1.48/1.54	c stratification level: 10871
1.48/1.59	c bounds -571604 >= -59606807 @ 0.75966
1.48/1.59	c stratification level: 10870
1.58/1.66	c bounds -572503 >= -59606807 @ 0.818357
1.58/1.66	c stratification level: 10867
1.67/1.75	c bounds -573245 >= -59606807 @ 0.897761
1.67/1.75	c stratification level: 10866
1.78/1.86	c bounds -573484 >= -59606807 @ 0.997264
1.78/1.86	c stratification level: 10863
1.78/1.88	c bounds -574131 >= -59606807 @ 1.00799
1.78/1.88	c stratification level: 10862
1.88/1.98	c bounds -574345 >= -59606807 @ 1.09724
1.88/1.98	c stratification level: 10861
2.18/2.21	c bounds -574923 >= -59606807 @ 1.31141
2.18/2.21	c stratification level: 10860
3.18/3.26	c bounds -575684 >= -59606807 @ 2.3196
3.18/3.26	c stratification level: 10859
3.18/3.26	c bounds -576604 >= -59606807 @ 2.32519
3.18/3.26	c stratification level: 10857
3.18/3.27	c bounds -577525 >= -59606807 @ 2.33181
3.18/3.27	c stratification level: 10856
3.18/3.28	c bounds -578438 >= -59606807 @ 2.33761
3.18/3.28	c stratification level: 10855
3.18/3.28	c bounds -579453 >= -59606807 @ 2.34341
3.18/3.28	c stratification level: 10854
3.18/3.29	c bounds -580471 >= -59606807 @ 2.34886
3.18/3.29	c stratification level: 10852
3.27/3.30	c bounds -581475 >= -59606807 @ 2.35475
3.27/3.30	c stratification level: 10851
3.27/3.31	c bounds -582367 >= -59606807 @ 2.36076
3.27/3.31	c stratification level: 10850
3.27/3.31	c bounds -583391 >= -59606807 @ 2.36781
3.27/3.31	c stratification level: 10849
3.27/3.32	c bounds -584440 >= -59606807 @ 2.37323
3.27/3.32	c stratification level: 10848
3.27/3.33	c bounds -584716 >= -59606807 @ 2.37971
3.27/3.33	c stratification level: 10847
3.27/3.34	c bounds -585628 >= -59606807 @ 2.3868
3.27/3.34	c stratification level: 10846
3.47/3.51	c bounds -585628 >= -59595961 @ 2.39675
3.47/3.51	c finalizing WCE round: reformulating cores
4.47/4.57	c bounds -585708 >= -59595961 @ 2.60202
4.47/4.57	c bounds -585712 >= -59595961 @ 3.51365
4.47/4.57	c stratification level: 10844
4.47/4.59	c bounds -586660 >= -59595961 @ 3.52239
4.47/4.59	c stratification level: 10843
4.56/4.61	c bounds -587646 >= -59595961 @ 3.53383
4.56/4.61	c stratification level: 10842
4.56/4.62	c bounds -588667 >= -59595961 @ 3.54127
4.56/4.62	c stratification level: 10841
4.56/4.64	c bounds -589679 >= -59595961 @ 3.55082
4.56/4.64	c stratification level: 10838
4.56/4.65	c bounds -590681 >= -59595961 @ 3.55844
4.56/4.65	c stratification level: 10835
4.56/4.67	c bounds -591702 >= -59595961 @ 3.56648
4.56/4.67	c stratification level: 10833
4.56/4.68	c bounds -592661 >= -59595961 @ 3.57563
4.56/4.68	c stratification level: 10832
4.66/4.70	c bounds -593662 >= -59595961 @ 3.58545
4.66/4.70	c stratification level: 10831
4.66/4.71	c bounds -594635 >= -59595961 @ 3.59798
4.66/4.71	c stratification level: 10829
4.66/4.73	c bounds -595532 >= -59595961 @ 3.6072
4.66/4.73	c stratification level: 10828
4.66/4.74	c bounds -596517 >= -59595961 @ 3.61684
4.66/4.74	c stratification level: 10827
4.66/4.75	c bounds -597533 >= -59595961 @ 3.62646
4.66/4.75	c stratification level: 10824
4.66/4.77	c bounds -598574 >= -59595961 @ 3.63498
4.66/4.77	c stratification level: 10822
4.66/4.78	c bounds -599585 >= -59595961 @ 3.64483
4.66/4.78	c stratification level: 10820
4.66/4.79	c bounds -600623 >= -59595961 @ 3.65524
4.66/4.79	c stratification level: 10815
4.76/4.81	c bounds -601634 >= -59595961 @ 3.66444
4.76/4.81	c stratification level: 10814
4.76/4.82	c bounds -602633 >= -59595961 @ 3.67431
4.76/4.82	c stratification level: 10813
4.76/4.84	c bounds -603634 >= -59595961 @ 3.68325
4.76/4.84	c stratification level: 10812
4.76/4.85	c bounds -604648 >= -59595961 @ 3.69098
4.76/4.85	c stratification level: 10810
4.76/4.86	c bounds -605649 >= -59595961 @ 3.70136
4.76/4.86	c stratification level: 10809
4.87/4.96	c bounds -605664 >= -59595961 @ 3.78942
4.87/4.96	c stratification level: 10808
4.87/4.97	c bounds -606451 >= -59595961 @ 3.79875
4.87/4.97	c stratification level: 10805
4.87/4.99	c bounds -607471 >= -59595961 @ 3.80836
4.87/4.99	c stratification level: 10800
4.87/5.00	c bounds -608474 >= -59595961 @ 3.81665
4.87/5.00	c stratification level: 10799
4.98/5.01	c bounds -609478 >= -59595961 @ 3.82491
4.98/5.01	c stratification level: 10796
4.98/5.02	c bounds -610368 >= -59595961 @ 3.83539
4.98/5.02	c stratification level: 10795
4.98/5.03	c bounds -611339 >= -59595961 @ 3.84464
4.98/5.03	c stratification level: 10794
4.98/5.04	c bounds -612210 >= -59595961 @ 3.85397
4.98/5.04	c stratification level: 10793
4.98/5.06	c bounds -613088 >= -59595961 @ 3.86301
4.98/5.06	c stratification level: 10791
4.98/5.07	c bounds -614072 >= -59595961 @ 3.87136
4.98/5.07	c stratification level: 10790
4.98/5.08	c bounds -615043 >= -59595961 @ 3.88094
4.98/5.08	c stratification level: 10785
4.98/5.10	c bounds -615043 >= -59563606 @ 3.88982
4.98/5.10	c finalizing WCE round: reformulating cores
5.08/5.14	c bounds -617187 >= -59563606 @ 3.90938
5.08/5.14	c bounds -618261 >= -59563606 @ 3.91819
5.08/5.14	c stratification level: 10756
5.08/5.15	c bounds -619323 >= -59563606 @ 3.9243
5.08/5.15	c stratification level: 10754
5.08/5.16	c bounds -620315 >= -59563606 @ 3.93391
5.08/5.16	c stratification level: 10753
5.08/5.18	c bounds -621331 >= -59563606 @ 3.94169
5.08/5.18	c stratification level: 10752
5.08/5.19	c bounds -622249 >= -59563606 @ 3.9515
5.08/5.19	c stratification level: 10750
5.16/5.20	c bounds -623140 >= -59563606 @ 3.95942
5.16/5.20	c stratification level: 10748
5.16/5.22	c bounds -624122 >= -59563606 @ 3.96684
5.16/5.22	c stratification level: 10746
5.16/5.23	c bounds -625078 >= -59563606 @ 3.97623
5.16/5.23	c stratification level: 10745
5.16/5.24	c bounds -626007 >= -59563606 @ 3.9844
5.16/5.24	c stratification level: 10744
5.16/5.26	c bounds -627054 >= -59563606 @ 3.99591
5.16/5.26	c stratification level: 10742
5.16/5.27	c bounds -628117 >= -59563606 @ 4.00623
5.16/5.27	c stratification level: 10739
5.16/5.29	c bounds -629164 >= -59563606 @ 4.01549
5.16/5.29	c stratification level: 10736
5.27/5.30	c bounds -630212 >= -59563606 @ 4.025
5.27/5.30	c stratification level: 10735
5.27/5.31	c bounds -631239 >= -59563606 @ 4.03138
5.27/5.31	c stratification level: 10734
5.27/5.33	c bounds -632160 >= -59563606 @ 4.04074
5.27/5.33	c stratification level: 10733
5.27/5.34	c bounds -633167 >= -59563606 @ 4.05123
5.27/5.34	c stratification level: 10732
5.27/5.35	c bounds -633866 >= -59563606 @ 4.06054
5.27/5.35	c stratification level: 10731
5.27/5.37	c bounds -634872 >= -59563606 @ 4.07088
5.27/5.37	c stratification level: 10730
5.27/5.38	c bounds -635886 >= -59563606 @ 4.08055
5.27/5.38	c stratification level: 10729
5.27/5.39	c bounds -636873 >= -59563606 @ 4.08695
5.27/5.39	c stratification level: 10728
5.37/5.42	c bounds -636873 >= -59552878 @ 4.09258
5.37/5.42	c finalizing WCE round: reformulating cores
5.37/5.45	c bounds -639095 >= -59552878 @ 4.11045
5.37/5.45	c bounds -640227 >= -59552878 @ 4.11984
5.37/5.45	c stratification level: 10718
5.37/5.46	c bounds -641244 >= -59552878 @ 4.13119
5.37/5.46	c stratification level: 10716
5.37/5.48	c bounds -642291 >= -59552878 @ 4.13953
5.37/5.48	c stratification level: 10715
5.37/5.49	c bounds -643336 >= -59552878 @ 4.14816
5.37/5.49	c stratification level: 10714
5.47/5.51	c bounds -644401 >= -59552878 @ 4.15794
5.47/5.51	c stratification level: 10713
5.47/5.52	c bounds -645473 >= -59552878 @ 4.16573
5.47/5.52	c stratification level: 10710
5.47/5.54	c bounds -646443 >= -59552878 @ 4.1762
5.47/5.54	c stratification level: 10709
5.47/5.55	c bounds -647401 >= -59552878 @ 4.18363
5.47/5.55	c stratification level: 10708
5.47/5.57	c bounds -648367 >= -59552878 @ 4.19213
5.47/5.57	c stratification level: 10707
5.47/5.59	c bounds -649411 >= -59552878 @ 4.20017
5.47/5.59	c stratification level: 10706
5.56/5.60	c bounds -650430 >= -59552878 @ 4.209
5.56/5.60	c stratification level: 10704
5.56/5.62	c bounds -651521 >= -59552878 @ 4.21885
5.56/5.62	c stratification level: 10703
5.56/5.63	c bounds -652577 >= -59552878 @ 4.22882
5.56/5.63	c stratification level: 10702
5.56/5.65	c bounds -653601 >= -59552878 @ 4.23785
5.56/5.65	c stratification level: 10701
5.56/5.67	c bounds -654639 >= -59552878 @ 4.25064
5.56/5.67	c stratification level: 10699
5.56/5.68	c bounds -655624 >= -59552878 @ 4.25891
5.56/5.68	c stratification level: 10697
5.66/5.70	c bounds -656702 >= -59552878 @ 4.26813
5.66/5.70	c stratification level: 10694
5.66/5.72	c bounds -657721 >= -59552878 @ 4.28072
5.66/5.72	c stratification level: 10693
5.66/5.73	c bounds -658783 >= -59552878 @ 4.29029
5.66/5.73	c stratification level: 10692
5.66/5.75	c bounds -659859 >= -59552878 @ 4.30054
5.66/5.75	c stratification level: 10691
5.66/5.76	c bounds -660935 >= -59552878 @ 4.31095
5.66/5.76	c stratification level: 10690
5.66/5.78	c bounds -661997 >= -59552878 @ 4.32457
5.66/5.78	c stratification level: 10689
5.76/5.80	c bounds -663070 >= -59552878 @ 4.33517
5.76/5.80	c stratification level: 10686
5.76/5.81	c bounds -664025 >= -59552878 @ 4.34825
5.76/5.81	c stratification level: 10685
5.76/5.84	c bounds -664863 >= -59552878 @ 4.3648
5.76/5.84	c stratification level: 10684
5.76/5.85	c bounds -665937 >= -59552878 @ 4.3762
5.76/5.85	c stratification level: 10683
5.76/5.87	c bounds -666889 >= -59552878 @ 4.38673
5.76/5.87	c stratification level: 10682
5.76/5.88	c bounds -667808 >= -59552878 @ 4.39656
5.76/5.88	c stratification level: 10681
5.86/5.90	c bounds -668822 >= -59552878 @ 4.40509
5.86/5.90	c stratification level: 10680
5.86/5.92	c bounds -668822 >= -59542198 @ 4.40781
5.86/5.92	c finalizing WCE round: reformulating cores
5.86/5.95	c bounds -671079 >= -59542198 @ 4.42705
5.86/5.95	c bounds -672138 >= -59542198 @ 4.4382
5.86/5.95	c stratification level: 10667
5.86/5.96	c bounds -672971 >= -59542198 @ 4.44845
5.86/5.96	c stratification level: 10665
5.86/5.98	c bounds -674106 >= -59542198 @ 4.45763
5.86/5.98	c stratification level: 10663
19.33/19.49	c #Conflicts:       1000 | #Constraints:       1197
19.33/19.49	c bounds -674612 >= -59542198 @ 16.9999
19.33/19.49	c stratification level: 10662
19.42/19.53	c bounds -675622 >= -59542198 @ 17.0284
19.42/19.53	c stratification level: 10661
19.73/19.84	c bounds -675625 >= -59542198 @ 17.3317
19.73/19.84	c stratification level: 10660
34.17/34.30	c bounds -675694 >= -59542198 @ 31.5777
34.17/34.30	c stratification level: 10659
46.24/46.45	c bounds -676578 >= -59542198 @ 43.6306
46.24/46.45	c stratification level: 10658
46.63/46.89	c bounds -676832 >= -59542198 @ 44.0617
46.63/46.89	c stratification level: 10656
46.74/46.94	c bounds -677833 >= -59542198 @ 44.1079
46.74/46.94	c stratification level: 10654
170.88/171.41	c #Conflicts:       2000 | #Constraints:       2204
170.88/171.41	c INPROCESSING
170.88/171.41	c GARBAGE COLLECT
170.88/171.41	c #Conflicts:       3000 | #Constraints:       2025
170.88/171.41	c #Conflicts:       4000 | #Constraints:       3025
170.88/171.41	c INPROCESSING
170.88/171.41	c GARBAGE COLLECT
170.88/171.41	c bounds -678780 >= -59542198 @ 166.736
170.88/171.41	c stratification level: 10652
176.47/177.07	c bounds -679411 >= -59542198 @ 172.359
176.47/177.07	c stratification level: 10648
179.76/180.30	c bounds -679586 >= -59542198 @ 175.551
179.76/180.30	c stratification level: 10647
179.76/180.36	c bounds -680587 >= -59542198 @ 175.607
179.76/180.36	c stratification level: 10646
179.85/180.43	c bounds -681638 >= -59542198 @ 175.665
179.85/180.43	c stratification level: 10644
179.85/180.49	c bounds -682621 >= -59542198 @ 175.723
179.85/180.49	c stratification level: 10643
179.95/180.56	c bounds -683643 >= -59542198 @ 175.778
179.95/180.56	c stratification level: 10642
180.06/180.62	c bounds -684667 >= -59542198 @ 175.835
180.06/180.62	c stratification level: 10641
180.06/180.69	c bounds -686270 >= -59542198 @ 175.894
180.06/180.69	c stratification level: 10640
187.33/187.94	c bounds -686449 >= -59542198 @ 183.056
187.33/187.94	c stratification level: 10638
187.33/187.99	c bounds -687548 >= -59542198 @ 183.103
187.33/187.99	c stratification level: 10637
187.45/188.05	c bounds -688611 >= -59542198 @ 183.15
187.45/188.05	c stratification level: 10636
187.45/188.10	c bounds -689697 >= -59542198 @ 183.201
187.45/188.10	c stratification level: 10635
187.54/188.15	c bounds -690665 >= -59542198 @ 183.248
187.54/188.15	c stratification level: 10633
187.63/188.21	c bounds -691671 >= -59542198 @ 183.296
187.63/188.21	c stratification level: 10632
187.63/188.26	c bounds -692646 >= -59542198 @ 183.342
187.63/188.26	c stratification level: 10631
187.73/188.31	c bounds -693659 >= -59542198 @ 183.387
187.73/188.31	c stratification level: 10630
187.73/188.36	c bounds -694646 >= -59542198 @ 183.432
187.73/188.36	c stratification level: 10629
187.83/188.41	c bounds -695571 >= -59542198 @ 183.475
187.83/188.41	c stratification level: 10627
1806.40/1811.28	c #Conflicts:       5000 | #Constraints:       2452
1806.40/1811.28	c #Conflicts:       6000 | #Constraints:       3452
1806.40/1811.28	c INPROCESSING
1806.40/1811.28	c GARBAGE COLLECT
1806.40/1811.28	c #Conflicts:       7000 | #Constraints:       2442
1806.40/1811.28	c #Conflicts:       8000 | #Constraints:       3442
1806.40/1811.28	c #Conflicts:       9000 | #Constraints:       4442
1806.40/1811.28	c INPROCESSING
1806.40/1811.28	c GARBAGE COLLECT
1806.40/1811.28	c #Conflicts:      10000 | #Constraints:       3147
1806.40/1811.28	c #Conflicts:      11000 | #Constraints:       4147
1806.40/1811.28	c #Conflicts:      12000 | #Constraints:       5147
1806.40/1811.28	c INPROCESSING
1806.40/1811.28	c GARBAGE COLLECT
1806.40/1811.28	c #Conflicts:      13000 | #Constraints:       3596
1806.40/1811.28	c #Conflicts:      14000 | #Constraints:       4596
1806.40/1811.28	c #Conflicts:      15000 | #Constraints:       5596
1806.40/1811.28	c INPROCESSING
1806.40/1811.28	c GARBAGE COLLECT
1806.40/1811.28	c #Conflicts:      16000 | #Constraints:       3814
1806.40/1811.28	c #Conflicts:      17000 | #Constraints:       4814
1806.40/1811.28	c #Conflicts:      18000 | #Constraints:       5814
1806.40/1811.28	c INPROCESSING
1806.40/1811.28	c GARBAGE COLLECT
1806.40/1811.28	c bounds -695630 >= -59542198 @ 1786.91
1806.40/1811.28	c stratification level: 10626
1809.39/1814.22	c bounds -695630 >= -59520946 @ 1786.98
1809.39/1814.22	c finalizing WCE round: reformulating cores
1886.66/1891.74	c #Conflicts:      19000 | #Constraints:       3831
1886.66/1891.74	c bounds -696137 >= -59520946 @ 1866.38
1886.66/1891.74	c bounds -697350 >= -59520946 @ 1866.5
1886.66/1891.74	c stratification level: 10625
1886.77/1891.87	c bounds -698484 >= -59520946 @ 1866.62
1886.77/1891.87	c stratification level: 10624
1886.98/1892.10	c bounds -698652 >= -59520946 @ 1866.84
1886.98/1892.10	c stratification level: 10623
1887.17/1892.22	c bounds -699646 >= -59520946 @ 1866.96
1887.17/1892.22	c stratification level: 10619
1945.41/1950.61	c #Conflicts:      20000 | #Constraints:       4835
1945.41/1950.61	c bounds -699652 >= -59520946 @ 1924.95
1945.41/1950.61	c stratification level: 10618
1950.60/1955.85	c bounds -699653 >= -59520946 @ 1930.16
1950.60/1955.85	c stratification level: 10616
1950.69/1956.01	c bounds -700621 >= -59520946 @ 1930.31
1950.69/1956.01	c stratification level: 10615
1950.90/1956.16	c bounds -701613 >= -59520946 @ 1930.46
1950.90/1956.16	c stratification level: 10614
2020.82/2026.22	c bounds -702476 >= -59520946 @ 2000.11
2020.82/2026.22	c stratification level: 10612
2021.72/2027.17	c bounds -702948 >= -59520946 @ 2001.06
2021.72/2027.17	c stratification level: 10611
2021.81/2027.28	c bounds -703165 >= -59520946 @ 2001.15
2021.81/2027.28	c stratification level: 10610
2022.21/2027.69	c bounds -704194 >= -59520946 @ 2001.55
2022.21/2027.69	c stratification level: 10609
2022.51/2027.96	c bounds -704211 >= -59520946 @ 2001.81
2022.51/2027.96	c stratification level: 10608
2023.90/2029.33	c bounds -705263 >= -59520946 @ 2003.17
2023.90/2029.33	c stratification level: 10607
2030.19/2035.69	c #Conflicts:      21000 | #Constraints:       5845
2030.19/2035.69	c bounds -705342 >= -59520946 @ 2009.49
2030.19/2035.69	c stratification level: 10606
2030.60/2036.04	c bounds -705451 >= -59520946 @ 2009.83
2030.60/2036.04	c stratification level: 10605
2030.60/2036.08	c bounds -706567 >= -59520946 @ 2009.86
2030.60/2036.08	c stratification level: 10600
2030.98/2036.46	c bounds -707568 >= -59520946 @ 2010.23
2030.98/2036.46	c stratification level: 10599
2032.38/2037.81	c bounds -707828 >= -59520946 @ 2011.55
2032.38/2037.81	c stratification level: 10597
2032.49/2037.90	c bounds -707832 >= -59520946 @ 2011.63
2032.49/2037.90	c stratification level: 10596
2032.49/2038.00	c bounds -707837 >= -59520946 @ 2011.72
2032.49/2038.00	c stratification level: 10595
2032.88/2038.38	c bounds -707854 >= -59520946 @ 2012.1
2032.88/2038.38	c stratification level: 10594
2032.99/2038.42	c bounds -708929 >= -59520946 @ 2012.13
2032.99/2038.42	c stratification level: 10593
2032.99/2038.46	c bounds -710004 >= -59520946 @ 2012.16
2032.99/2038.46	c stratification level: 10592
2033.18/2038.66	c bounds -710073 >= -59520946 @ 2012.35
2033.18/2038.66	c stratification level: 10591
2034.48/2039.90	c bounds -710929 >= -59520946 @ 2013.57
2034.48/2039.90	c stratification level: 10590
2035.58/2041.09	c bounds -710956 >= -59520946 @ 2014.74
2035.58/2041.09	c stratification level: 10589
2035.87/2041.39	c bounds -711915 >= -59520946 @ 2015.03
2035.87/2041.39	c stratification level: 10588
2036.69/2042.12	c bounds -712661 >= -59520946 @ 2015.75
2036.69/2042.12	c stratification level: 10586
2037.08/2042.56	c bounds -713727 >= -59520946 @ 2016.18
2037.08/2042.56	c stratification level: 10584
2039.07/2044.58	c bounds -714214 >= -59520946 @ 2018.16
2039.07/2044.58	c stratification level: 10583
2039.16/2044.66	c bounds -715285 >= -59520946 @ 2018.23
2039.16/2044.66	c stratification level: 10582
3600.05/3609.40	c INPROCESSING
3600.05/3609.40	c GARBAGE COLLECT
3600.05/3609.40	c #Conflicts:      22000 | #Constraints:       3660
3600.05/3609.40	c #Conflicts:      23000 | #Constraints:       4660
3600.05/3609.40	c #Conflicts:      24000 | #Constraints:       5660
3600.05/3609.40	c #Conflicts:      25000 | #Constraints:       6660
3600.05/3609.40	c INPROCESSING
3600.05/3609.40	c GARBAGE COLLECT
3600.05/3609.40	c #Conflicts:      26000 | #Constraints:       4248
3600.05/3609.40	c #Conflicts:      27000 | #Constraints:       5248
3600.05/3609.40	c #Conflicts:      28000 | #Constraints:       6248
3600.05/3609.40	c #Conflicts:      29000 | #Constraints:       7248
3600.05/3609.40	c INPROCESSING
3600.05/3609.40	c GARBAGE COLLECT
3600.05/3609.40	c #Conflicts:      30000 | #Constraints:       4642
3600.05/3609.40	c #Conflicts:      31000 | #Constraints:       5642
3600.05/3609.40	c #Conflicts:      32000 | #Constraints:       6642
3600.05/3609.40	c Program interrupted by user.
3600.05/3609.40	c cpu time 3565.49 s
3600.05/3609.40	c deterministic time 1067554356623 1.07e+12
3600.05/3609.40	c optimization time 649.489 s
3600.05/3609.40	c total solve time 2915.98 s
3600.05/3609.40	c core-guided solve time 2915.98 s
3600.05/3609.40	c propagation time 3419.36 s
3600.05/3609.40	c conflict analysis time 99.107 s
3600.05/3609.40	c propagations 47572507
3600.05/3609.40	c resolve steps 92812
3600.05/3609.40	c decisions 39979712
3600.05/3609.40	c conflicts 32584
3600.05/3609.40	c restarts 122
3600.05/3609.40	c inprocessing phases 10
3600.05/3609.40	c input clauses 0
3600.05/3609.40	c input cardinalities 0
3600.05/3609.40	c input general constraints 261
3600.05/3609.40	c input average constraint length 9466.34
3600.05/3609.40	c input average constraint degree 748862.89
3600.05/3609.40	c learned clauses 5
3600.05/3609.40	c learned cardinalities 1
3600.05/3609.40	c learned general constraints 32578
3600.05/3609.40	c learned average constraint length 9925.14
3600.05/3609.40	c learned average constraint degree 19122463942.97
3600.05/3609.40	c watched constraints 298
3600.05/3609.40	c counting constraints 32541
3600.05/3609.40	c gcd simplifications 34
3600.05/3609.40	c detected cardinalities 5
3600.05/3609.40	c weakened non-implied lits 2007247
3600.05/3609.40	c weakened non-implying lits 1097
3600.05/3609.40	c original variables 10000
3600.05/3609.40	c clausal propagations 0
3600.05/3609.40	c cardinality propagations 0
3600.05/3609.40	c watched propagations 1270221
3600.05/3609.40	c counting propagations 46281438
3600.05/3609.40	c watch lookups 10069801571
3600.05/3609.40	c watch backjump lookups 10069384151
3600.05/3609.40	c watch checks 320576507
3600.05/3609.40	c propagation checks 1045666276939
3600.05/3609.40	c constraint additions 1253188923
3600.05/3609.40	c trail pops 87576312
3600.05/3609.40	c formula constraints 1
3600.05/3609.40	c learned constraints 32584
3600.05/3609.40	c bound constraints 246
3600.05/3609.40	c core-guided constraints 14
3600.05/3609.40	c encountered formula constraints 1096
3600.05/3609.40	c encountered learned constraints 75268
3600.05/3609.40	c encountered bound constraints 49031
3600.05/3609.40	c encountered core-guided constraints 1
3600.05/3609.40	c LP total time 0 s
3600.05/3609.40	c LP solve time 0 s
3600.05/3609.40	c LP constraints added 0
3600.05/3609.40	c LP constraints removed 0
3600.05/3609.40	c LP pivots internal 0
3600.05/3609.40	c LP pivots root 0
3600.05/3609.40	c LP calls 0
3600.05/3609.40	c LP optimalities 0
3600.05/3609.40	c LP no pivot count 0
3600.05/3609.40	c LP infeasibilities 0
3600.05/3609.40	c LP valid Farkas constraints 0
3600.05/3609.40	c LP learned Farkas constraints 0
3600.05/3609.40	c LP basis resets 0
3600.05/3609.40	c LP cycling count 0
3600.05/3609.40	c LP singular count 0
3600.05/3609.40	c LP no primal count 0
3600.05/3609.40	c LP no farkas count 0
3600.05/3609.40	c LP other issue count 0
3600.05/3609.40	c LP Gomory cuts 0
3600.05/3609.40	c LP learned cuts 0
3600.05/3609.40	c LP deleted cuts 0
3600.05/3609.40	c LP encountered Gomory constraints 0
3600.05/3609.40	c LP encountered Farkas constraints 0
3600.05/3609.40	c LP encountered learned Farkas constraints 0
3600.05/3609.40	c CG auxiliary variables introduced 7
3600.05/3609.40	c CG solutions found 233
3600.05/3609.40	c CG cores constructed 7
3600.05/3609.40	c CG core cardinality constraints returned 2
3600.05/3609.40	c CG unit cores 0
3600.05/3609.40	c CG single cores 7
3600.05/3609.40	c CG blocks removed during cardinality reduction 0
3600.05/3609.40	c CG first core best 0
3600.05/3609.40	c CG decision core best 0
3600.05/3609.40	c CG core reduction tie 0
3600.05/3609.40	c CG core degree average 1.43
3600.05/3609.40	c CG core slack average 48.71
3600.05/3609.40	c CG exhausted 0
3600.05/3609.40	c CG exhaust time 76.6358 s
3600.05/3609.40	c CG trimmed 0
3600.05/3609.40	c CG trim time 0.044736 s
3600.05/3609.40	c CG minimized 0
3600.05/3609.40	c CG minimize time 0 s
3600.05/3609.40	c CG am1 prop time 0.011579 s
3600.05/3609.40	c CG # am1s reformulated 0
3600.05/3609.40	c CG lower bound derived from am1s 0
3600.05/3609.40	c CG # clausal cores 5
3600.05/3609.40	c CG # cardinality cores 2
3600.05/3609.40	c CG # pb cores 0
3600.05/3609.40	c CG # pb reforms 7
3600.05/3609.40	c CG # cores discarded because of pb reform 0
3600.05/3609.40	d LOWERBOUND -59520946
3600.05/3609.40	d NCORES 7
3600.05/3609.40	d NPBCORES 0
3600.05/3609.40	d NPBREFORM 7
3600.05/3609.40	d NTRIMMED 0
3600.05/3609.40	d NEXHAUSTED 0
3600.05/3609.40	d NAM1S 0
3600.05/3609.40	d AM1LB 0
3600.05/3609.40	o -715285
3600.05/3609.40	s SATISFIABLE
3600.05/3609.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 x4026 -x4027 x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 -x4712 -x4713 x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 x5278 -x5279 -x5280 -x5281 x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 x6837 -x6838 -x6839 -x6840 -x6841 -x6842 x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 x6867 -x6868 -x6869 x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 x7240 x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 x7349 -x7350 -x7351 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 x7718 -x7719 -x7720 -x7721 -x7722 x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 x7772 -x7773 -x7774 -x7775 x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 x8100 -x8101 -x8102 -x8103 -x8104 -x8105 x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 x8211 -x8212 x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 x8490 x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 x8657 x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 x9205 -x9206 -x9207 -x9208 -x9209 x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 x9533 -x9534 -x9535 -x9536 x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 x9603 -x9604 -x9605 -x9606 -x9607 -x9608 x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 x9677 -x9678 -x9679 -x9680 -x9681 -x9682 x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 x9748 -x9749 -x9750 x9751 -x9752 x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000

OK	-715285

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 (57363 MiB free)
  memory of node 1: 64510 MiB (54401 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457566-1721865124/watcher-4457566-1721865124 -o /tmp/evaluation-result-4457566-1721865124/solver-4457566-1721865124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256779 --watchdog 3760 pb-oll-rs HOME/instance-4457566-1721865124.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=256838, runsolver pid=256824

[startup+0.100737 s]*
/proc/loadavg: 0.07 0.08 0.09 7/241 256841
/proc/meminfo: memFree=114434604/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=43528 memory=9824 CPUtime=0.1 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 1777 0 0 0 5 5 0 0 20 0 1 0 22501782 44572672 2456 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 10882 2456 1266 291 0 2416 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 9824 KiB

[startup+0.21547 s]*
/proc/loadavg: 0.07 0.08 0.09 6/238 256849
/proc/meminfo: memFree=114431924/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=43528 memory=10504 CPUtime=0.22 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 1836 0 0 0 10 12 0 0 20 0 1 0 22501782 44572672 2626 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 10882 2626 1378 291 0 2416 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 10504 KiB

[startup+0.313813 s]*
/proc/loadavg: 0.07 0.08 0.09 5/238 256849
/proc/meminfo: memFree=114428860/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=43528 memory=12552 CPUtime=0.31 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 1849 0 0 0 13 18 0 0 20 0 1 0 22501782 44572672 3138 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 10882 3138 1378 291 0 2416 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 12552 KiB

[startup+0.700274 s]
/proc/loadavg: 0.07 0.08 0.09 6/235 256863
/proc/meminfo: memFree=114434656/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=43528 memory=12552 CPUtime=0.68 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 1849 0 0 0 27 41 0 0 20 0 1 0 22501782 44572672 3138 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 10882 3138 1378 291 0 2416 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 12552 KiB

[startup+1.50028 s]
/proc/loadavg: 0.07 0.08 0.09 6/243 256933
/proc/meminfo: memFree=114424592/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=48484 memory=17884 CPUtime=1.48 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 3264 0 0 0 70 78 0 0 20 0 1 0 22501782 49647616 4471 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 12121 4471 1410 291 0 3655 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48484 KiB
Current children cumulated memory: 17884 KiB

[startup+3.11404 s]
/proc/loadavg: 0.38 0.14 0.11 6/243 256933
/proc/meminfo: memFree=114323284/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=91224 memory=56212 CPUtime=3.09 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 9776 0 0 0 217 92 0 0 20 0 1 0 22501782 93413376 14053 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 22806 14053 1410 291 0 14340 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 91224 KiB
Current children cumulated memory: 56212 KiB

[startup+6.30032 s]
/proc/loadavg: 0.38 0.14 0.11 6/243 256933
/proc/meminfo: memFree=114215880/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=130612 memory=97024 CPUtime=6.26 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 15388 0 0 0 472 154 0 0 20 0 1 0 22501782 133746688 24256 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 32653 24256 1410 291 0 24187 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130612 KiB
Current children cumulated memory: 97024 KiB

[startup+12.7003 s]
/proc/loadavg: 0.75 0.23 0.13 6/243 256935
/proc/meminfo: memFree=114056212/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=202308 memory=164808 CPUtime=12.65 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 26224 0 0 0 1059 206 0 0 20 0 1 0 22501782 207163392 41202 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 50577 41202 1410 291 0 42111 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 202308 KiB
Current children cumulated memory: 164808 KiB

[startup+25.5004 s]
/proc/loadavg: 1.54 0.43 0.20 6/243 256936
/proc/meminfo: memFree=113888892/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=334840 memory=267820 CPUtime=25.41 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 43798 0 0 0 2286 255 0 0 20 0 1 0 22501782 342876160 66955 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 83710 66955 1410 291 0 75244 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 334840 KiB
Current children cumulated memory: 267820 KiB

[startup+51.1138 s]
/proc/loadavg: 2.44 0.73 0.31 6/243 256941
/proc/meminfo: memFree=113672936/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=416656 memory=344572 CPUtime=50.94 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 47719 0 0 0 4819 275 0 0 20 0 1 0 22501782 426655744 86143 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 104164 86143 1410 291 0 95698 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 416656 KiB
Current children cumulated memory: 344572 KiB

[startup+102.3 s]
/proc/loadavg: 3.37 1.25 0.51 6/243 256949
/proc/meminfo: memFree=113428816/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=580600 memory=454240 CPUtime=101.97 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 74918 0 0 0 9818 379 0 0 20 0 1 0 22501782 594534400 113560 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 145150 113560 1474 291 0 136684 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 580600 KiB
Current children cumulated memory: 454240 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.78 0.74 6/243 256959
/proc/meminfo: memFree=113152460/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=714940 memory=576324 CPUtime=161.81 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 86059 0 0 0 15768 413 0 0 20 0 1 0 22501782 732098560 144081 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178735 144081 1474 291 0 170269 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 714940 KiB
Current children cumulated memory: 576324 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.23 0.96 6/242 257353
/proc/meminfo: memFree=113094772/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=714940 memory=585908 CPUtime=221.64 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 86216 0 0 0 21659 505 0 0 20 0 1 0 22501782 732098560 146477 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178735 146477 1474 291 0 170269 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 714940 KiB
Current children cumulated memory: 585908 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 2.60 1.17 6/242 257363
/proc/meminfo: memFree=112954892/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=715420 memory=631296 CPUtime=281.48 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 86834 0 0 0 27583 565 0 0 20 0 1 0 22501782 732590080 157824 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178855 157824 1474 291 0 170389 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 715420 KiB
Current children cumulated memory: 631296 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 2.87 1.36 6/240 257373
/proc/meminfo: memFree=112901552/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=715620 memory=656004 CPUtime=341.32 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 87214 0 0 0 33446 686 0 0 20 0 1 0 22501782 732794880 164001 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178905 164001 1474 291 0 170439 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 715620 KiB
Current children cumulated memory: 656004 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 3.13 1.54 6/244 257556
/proc/meminfo: memFree=112883836/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=715620 memory=656004 CPUtime=401.17 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 87506 0 0 0 39398 719 0 0 20 0 1 0 22501782 732794880 164001 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178905 164001 1474 291 0 170439 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 715620 KiB
Current children cumulated memory: 656004 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.31 1.70 6/244 257566
/proc/meminfo: memFree=112858984/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=715620 memory=656004 CPUtime=461.03 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 87824 0 0 0 45322 781 0 0 20 0 1 0 22501782 732794880 164001 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 178905 164001 1474 291 0 170439 0

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

Current children cumulated memory: 1213184 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.22 4.01 6/242 258632
/proc/meminfo: memFree=111432072/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1266836 memory=1213316 CPUtime=2854.84 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 166701 0 0 0 282557 2927 0 0 20 0 1 0 22501782 1297240064 303329 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 316709 303329 1474 291 0 308243 0
Current children cumulated CPU time: 2854.84 s
Current children cumulated vsize: 1266836 KiB
Current children cumulated memory: 1213316 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.19 4.01 6/244 258646
/proc/meminfo: memFree=111429064/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1266968 memory=1213380 CPUtime=2914.68 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 167301 0 0 0 288506 2962 0 0 20 0 1 0 22501782 1297375232 303345 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 316742 303345 1474 291 0 308276 0
Current children cumulated CPU time: 2914.68 s
Current children cumulated vsize: 1266968 KiB
Current children cumulated memory: 1213380 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.17 4.01 6/241 258657
/proc/meminfo: memFree=111413812/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1266968 memory=1227716 CPUtime=2974.53 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 167897 0 0 0 294459 2994 0 0 20 0 1 0 22501782 1297375232 306929 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 316742 306929 1474 291 0 308276 0
Current children cumulated CPU time: 2974.53 s
Current children cumulated vsize: 1266968 KiB
Current children cumulated memory: 1227716 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.17 4.02 6/241 258668
/proc/meminfo: memFree=111391268/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244948 CPUtime=3034.38 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 169043 0 0 0 300412 3026 0 0 20 0 1 0 22501782 1655144448 311237 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311237 1474 291 0 395622 0
Current children cumulated CPU time: 3034.38 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244948 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.15 4.02 6/241 258678
/proc/meminfo: memFree=111390332/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3094.23 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 169498 0 0 0 306332 3091 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.15 4.03 6/241 258689
/proc/meminfo: memFree=111391156/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3154.08 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 170024 0 0 0 312247 3161 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.12 4.02 6/239 258700
/proc/meminfo: memFree=111367148/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3213.92 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 170607 0 0 0 318178 3214 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.13 4.03 6/239 258710
/proc/meminfo: memFree=111353384/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3273.78 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 171133 0 0 0 324117 3261 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3273.78 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.03 6/239 258720
/proc/meminfo: memFree=111335860/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3333.62 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 171659 0 0 0 330071 3291 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.03 6/239 258730
/proc/meminfo: memFree=111317256/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3393.48 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 172242 0 0 0 336013 3335 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3393.48 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.11 4.03 6/238 258741
/proc/meminfo: memFree=111307280/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3453.33 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 172663 0 0 0 341962 3371 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.03 6/242 258757
/proc/meminfo: memFree=111294444/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3513.17 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 173223 0 0 0 347906 3411 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3513.17 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 6/242 258768
/proc/meminfo: memFree=111093876/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3573.02 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 173749 0 0 0 353860 3442 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.12 4.04 6/242 258774
/proc/meminfo: memFree=111074628/131655788 swapFree=131061124/131071996
[pid=256838] ppid=256824 vsize=1616352 memory=1244952 CPUtime=3600.05 cores=5,7
/proc/256838/stat : 256838 (pb-oll-rs) R 256824 256838 256766 0 -1 4194304 174077 0 0 0 356549 3456 0 0 20 0 1 0 22501782 1655144448 311238 134679101440 4194304 5384005 140721970868048 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14516224 140721970869275 140721970869352 140721970869352 140721970876363 0
/proc/256838/statm: 404088 311238 1474 291 0 395622 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244952 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3565.5 s, system=34.5797 s

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

Child status: 0

Real time (s): 3609.42
CPU time (s): 3600.07
CPU user time (s): 3565.5
CPU system time (s): 34.5797
CPU usage (%): 99.7412
Max. virtual memory (cumulated for all children) (KiB): 1616352
Max. memory (cumulated for all children) (KiB): 1244952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.5
system time used= 34.5797
maximum resident set size= 1245188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174093
page faults= 1
swaps= 0
block input operations= 224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163
involuntary context switches= 1747


# summary of solver processes directly reported to runsolver:
#   pid: 256838
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3565.5
#   total CPU system time (s): 34.5797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3988 second user time and 38.2235 second system time

The end

Begin job on nodeC005 at 2024-07-25 01:52:04
IDJOB=4457566
IDBENCH=176418
IDSOLVER=3067
FILE ID=nodeC005/4457566-1721865124
RUNJOBID= nodeC005-1721865124-256779
SLURM_JOB_ID= 8089204
Free space on /tmp= 723780 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/almost_strongly_correlated/normalized-knapPI_5_2000_10000_5_-952740.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457566-1721865124/watcher-4457566-1721865124 -o /tmp/evaluation-result-4457566-1721865124/solver-4457566-1721865124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256779 --watchdog 3760  pb-oll-rs HOME/instance-4457566-1721865124.opb

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

MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c
RANDOM SEED=2074671129

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        114449344 kB
MemAvailable:   129964632 kB
Buffers:          276900 kB
Cached:         16013940 kB
SwapCached:          620 kB
Active:          2529440 kB
Inactive:       14020124 kB
Active(anon):       1500 kB
Inactive(anon):   310516 kB
Active(file):    2527940 kB
Inactive(file): 13709608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              8144 kB
Writeback:             8 kB
AnonPages:        258332 kB
Mapped:           117928 kB
Shmem:             53264 kB
KReclaimable:     235544 kB
Slab:             346316 kB
SReclaimable:     235544 kB
SUnreclaim:       110772 kB
KernelStack:        3632 kB
PageTables:         9512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     625972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11328 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-25 02:52:13