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.01	c [STEP] solving
0.00/0.01	c #variables 10000 #constraints 1
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= -59628641 @ 0.01036
0.00/0.01	c stratification level: 11003
0.00/0.02	c bounds -33011 >= -59628641 @ 0.014242
0.00/0.02	c stratification level: 10998
0.00/0.03	c bounds -44009 >= -59628641 @ 0.019204
0.00/0.03	c stratification level: 10986
0.00/0.04	c bounds -142913 >= -59628641 @ 0.021976
0.00/0.04	c stratification level: 10985
0.00/0.05	c bounds -153898 >= -59628641 @ 0.024102
0.00/0.05	c stratification level: 10984
0.00/0.06	c bounds -197834 >= -59628641 @ 0.029585
0.00/0.06	c stratification level: 10983
0.00/0.07	c bounds -208817 >= -59628641 @ 0.033177
0.00/0.07	c stratification level: 10982
0.00/0.08	c bounds -219799 >= -59628641 @ 0.037953
0.00/0.08	c stratification level: 10978
0.00/0.09	c bounds -241755 >= -59628641 @ 0.041026
0.00/0.09	c stratification level: 10977
0.09/0.10	c bounds -252732 >= -59628641 @ 0.048026
0.09/0.10	c stratification level: 10975
0.09/0.12	c bounds -263707 >= -59628641 @ 0.049919
0.09/0.12	c stratification level: 10972
0.09/0.13	c bounds -285651 >= -59628641 @ 0.052892
0.09/0.13	c stratification level: 10971
0.09/0.14	c bounds -307593 >= -59628641 @ 0.058351
0.09/0.14	c stratification level: 10970
0.09/0.15	c bounds -318563 >= -59628641 @ 0.060969
0.09/0.15	c stratification level: 10965
0.09/0.16	c bounds -351458 >= -59628641 @ 0.067019
0.09/0.16	c stratification level: 10964
0.09/0.17	c bounds -362422 >= -59628641 @ 0.072838
0.09/0.17	c stratification level: 10962
0.09/0.18	c bounds -384346 >= -59628641 @ 0.078903
0.09/0.18	c stratification level: 10958
0.09/0.19	c bounds -395304 >= -59628641 @ 0.084794
0.09/0.19	c stratification level: 10957
0.09/0.21	c bounds -406261 >= -59628641 @ 0.088527
0.09/0.21	c stratification level: 10956
0.20/0.22	c bounds -417217 >= -59628641 @ 0.094949
0.20/0.22	c stratification level: 10954
0.20/0.23	c bounds -439125 >= -59628641 @ 0.10088
0.20/0.23	c stratification level: 10953
0.20/0.24	c bounds -450078 >= -59628641 @ 0.104884
0.20/0.24	c stratification level: 10952
0.20/0.25	c bounds -461030 >= -59628641 @ 0.110854
0.20/0.25	c stratification level: 10950
0.20/0.26	c bounds -482930 >= -59628641 @ 0.114924
0.20/0.26	c stratification level: 10947
0.20/0.27	c bounds -504824 >= -59628641 @ 0.120806
0.20/0.27	c stratification level: 10946
0.20/0.28	c bounds -515770 >= -59628641 @ 0.124727
0.20/0.28	c stratification level: 10943
0.20/0.29	c bounds -526713 >= -59628641 @ 0.128794
0.20/0.29	c stratification level: 10942
0.20/0.30	c bounds -526713 >= -59617699 @ 0.131566
0.20/0.30	c finalizing WCE round: reformulating cores
0.30/0.32	c bounds -535684 >= -59617699 @ 0.135806
0.30/0.32	c bounds -535997 >= -59617699 @ 0.146137
0.30/0.32	c stratification level: 10939
0.30/0.33	c bounds -537302 >= -59617699 @ 0.148551
0.30/0.33	c stratification level: 10936
0.30/0.34	c bounds -538654 >= -59617699 @ 0.150576
0.30/0.34	c stratification level: 10935
0.30/0.37	c bounds -538655 >= -59617699 @ 0.173313
0.30/0.37	c stratification level: 10934
0.30/0.37	c bounds -539673 >= -59617699 @ 0.175985
0.30/0.37	c stratification level: 10928
0.30/0.38	c bounds -540652 >= -59617699 @ 0.180345
0.30/0.38	c stratification level: 10926
0.30/0.38	c bounds -541656 >= -59617699 @ 0.182484
0.30/0.38	c stratification level: 10924
0.30/0.39	c bounds -541683 >= -59617699 @ 0.190908
0.30/0.39	c stratification level: 10923
0.30/0.39	c bounds -542612 >= -59617699 @ 0.193477
0.30/0.39	c stratification level: 10922
0.30/0.40	c bounds -543539 >= -59617699 @ 0.197638
0.30/0.40	c stratification level: 10920
0.40/0.41	c bounds -544502 >= -59617699 @ 0.200857
0.40/0.41	c stratification level: 10917
0.40/0.41	c bounds -545460 >= -59617699 @ 0.207669
0.40/0.41	c stratification level: 10916
0.40/0.42	c bounds -546441 >= -59617699 @ 0.209364
0.40/0.42	c stratification level: 10913
0.40/0.43	c bounds -547414 >= -59617699 @ 0.213008
0.40/0.43	c stratification level: 10912
0.40/0.43	c bounds -548368 >= -59617699 @ 0.215488
0.40/0.43	c stratification level: 10911
0.40/0.44	c bounds -549328 >= -59617699 @ 0.221561
0.40/0.44	c stratification level: 10910
0.40/0.44	c bounds -550187 >= -59617699 @ 0.22445
0.40/0.44	c stratification level: 10909
0.40/0.45	c bounds -551005 >= -59617699 @ 0.228302
0.40/0.45	c stratification level: 10907
0.40/0.46	c bounds -551787 >= -59617699 @ 0.230395
0.40/0.46	c stratification level: 10906
0.40/0.47	c bounds -552689 >= -59617699 @ 0.233396
0.40/0.47	c stratification level: 10905
0.40/0.47	c bounds -553646 >= -59617699 @ 0.236491
0.40/0.47	c stratification level: 10903
0.40/0.48	c bounds -554504 >= -59617699 @ 0.239564
0.40/0.48	c stratification level: 10902
0.40/0.49	c bounds -555462 >= -59617699 @ 0.24235
0.40/0.49	c stratification level: 10901
0.40/0.50	c bounds -556235 >= -59617699 @ 0.248176
0.40/0.50	c stratification level: 10899
0.40/0.50	c bounds -557156 >= -59617699 @ 0.250773
0.40/0.50	c stratification level: 10898
0.50/0.51	c bounds -558034 >= -59617699 @ 0.253745
0.50/0.51	c stratification level: 10897
0.50/0.52	c bounds -558988 >= -59617699 @ 0.256137
0.50/0.52	c stratification level: 10894
0.50/0.53	c bounds -559930 >= -59617699 @ 0.260682
0.50/0.53	c stratification level: 10892
0.50/0.54	c bounds -559930 >= -59606807 @ 0.263777
0.50/0.54	c finalizing WCE round: reformulating cores
0.50/0.55	c bounds -561777 >= -59606807 @ 0.271155
0.50/0.55	c bounds -562794 >= -59606807 @ 0.275026
0.50/0.55	c stratification level: 10890
0.50/0.56	c bounds -563776 >= -59606807 @ 0.277083
0.50/0.56	c stratification level: 10889
0.50/0.56	c bounds -564784 >= -59606807 @ 0.279822
0.50/0.56	c stratification level: 10888
0.50/0.58	c bounds -565331 >= -59606807 @ 0.289162
0.50/0.58	c stratification level: 10886
0.50/0.59	c bounds -566079 >= -59606807 @ 0.295384
0.50/0.59	c stratification level: 10884
0.59/0.60	c bounds -567243 >= -59606807 @ 0.300031
0.59/0.60	c stratification level: 10880
0.59/0.61	c bounds -568553 >= -59606807 @ 0.304031
0.59/0.61	c stratification level: 10878
0.59/0.64	c bounds -568629 >= -59606807 @ 0.320499
0.59/0.64	c stratification level: 10875
0.59/0.65	c bounds -569646 >= -59606807 @ 0.325143
0.59/0.65	c stratification level: 10872
0.59/0.66	c bounds -570627 >= -59606807 @ 0.332015
0.59/0.66	c stratification level: 10871
0.59/0.68	c bounds -571604 >= -59606807 @ 0.352129
0.59/0.68	c stratification level: 10870
0.69/0.73	c bounds -572503 >= -59606807 @ 0.388366
0.69/0.73	c stratification level: 10867
0.69/0.78	c bounds -573245 >= -59606807 @ 0.435817
0.69/0.78	c stratification level: 10866
0.79/0.86	c bounds -573484 >= -59606807 @ 0.50164
0.79/0.86	c stratification level: 10863
0.79/0.87	c bounds -574131 >= -59606807 @ 0.5105
0.79/0.87	c stratification level: 10862
0.89/0.95	c bounds -574345 >= -59606807 @ 0.582813
0.89/0.95	c stratification level: 10861
1.09/1.14	c bounds -574923 >= -59606807 @ 0.756555
1.09/1.14	c stratification level: 10860
1.99/2.09	c bounds -575684 >= -59606807 @ 1.68123
1.99/2.09	c stratification level: 10859
1.99/2.09	c bounds -576604 >= -59606807 @ 1.687
1.99/2.09	c stratification level: 10857
1.99/2.10	c bounds -577525 >= -59606807 @ 1.6923
1.99/2.10	c stratification level: 10856
2.09/2.11	c bounds -578438 >= -59606807 @ 1.69873
2.09/2.11	c stratification level: 10855
2.09/2.11	c bounds -579453 >= -59606807 @ 1.70426
2.09/2.11	c stratification level: 10854
2.09/2.12	c bounds -580471 >= -59606807 @ 1.71083
2.09/2.12	c stratification level: 10852
2.09/2.13	c bounds -581475 >= -59606807 @ 1.71651
2.09/2.13	c stratification level: 10851
2.09/2.13	c bounds -582367 >= -59606807 @ 1.72135
2.09/2.13	c stratification level: 10850
2.09/2.14	c bounds -583391 >= -59606807 @ 1.72796
2.09/2.14	c stratification level: 10849
2.09/2.15	c bounds -584440 >= -59606807 @ 1.73403
2.09/2.15	c stratification level: 10848
2.09/2.15	c bounds -584716 >= -59606807 @ 1.73901
2.09/2.15	c stratification level: 10847
2.09/2.16	c bounds -585628 >= -59606807 @ 1.74432
2.09/2.16	c stratification level: 10846
2.28/2.33	c bounds -585628 >= -59595961 @ 1.75353
2.28/2.33	c finalizing WCE round: reformulating cores
3.27/3.36	c bounds -585708 >= -59595961 @ 1.95187
3.27/3.36	c bounds -585712 >= -59595961 @ 2.82858
3.27/3.36	c stratification level: 10844
3.27/3.38	c bounds -586660 >= -59595961 @ 2.83578
3.27/3.38	c stratification level: 10843
3.27/3.39	c bounds -587646 >= -59595961 @ 2.84774
3.27/3.39	c stratification level: 10842
3.37/3.41	c bounds -588667 >= -59595961 @ 2.85552
3.37/3.41	c stratification level: 10841
3.37/3.43	c bounds -589679 >= -59595961 @ 2.8683
3.37/3.43	c stratification level: 10838
3.37/3.44	c bounds -590681 >= -59595961 @ 2.87786
3.37/3.44	c stratification level: 10835
3.37/3.46	c bounds -591702 >= -59595961 @ 2.88636
3.37/3.46	c stratification level: 10833
3.37/3.47	c bounds -592661 >= -59595961 @ 2.89764
3.37/3.47	c stratification level: 10832
3.37/3.48	c bounds -593662 >= -59595961 @ 2.90499
3.37/3.48	c stratification level: 10831
3.48/3.50	c bounds -594635 >= -59595961 @ 2.91526
3.48/3.50	c stratification level: 10829
3.48/3.51	c bounds -595532 >= -59595961 @ 2.92294
3.48/3.51	c stratification level: 10828
3.48/3.53	c bounds -596517 >= -59595961 @ 2.93132
3.48/3.53	c stratification level: 10827
3.48/3.54	c bounds -597533 >= -59595961 @ 2.93972
3.48/3.54	c stratification level: 10824
3.48/3.55	c bounds -598574 >= -59595961 @ 2.94952
3.48/3.55	c stratification level: 10822
3.48/3.56	c bounds -599585 >= -59595961 @ 2.96062
3.48/3.56	c stratification level: 10820
3.48/3.58	c bounds -600623 >= -59595961 @ 2.97012
3.48/3.58	c stratification level: 10815
3.48/3.59	c bounds -601634 >= -59595961 @ 2.98125
3.48/3.59	c stratification level: 10814
3.58/3.60	c bounds -602633 >= -59595961 @ 2.98987
3.58/3.60	c stratification level: 10813
3.58/3.62	c bounds -603634 >= -59595961 @ 3.00006
3.58/3.62	c stratification level: 10812
3.58/3.63	c bounds -604648 >= -59595961 @ 3.00938
3.58/3.63	c stratification level: 10810
3.58/3.64	c bounds -605649 >= -59595961 @ 3.01835
3.58/3.64	c stratification level: 10809
3.68/3.74	c bounds -605664 >= -59595961 @ 3.09692
3.68/3.74	c stratification level: 10808
3.68/3.75	c bounds -606451 >= -59595961 @ 3.10603
3.68/3.75	c stratification level: 10805
3.68/3.76	c bounds -607471 >= -59595961 @ 3.11416
3.68/3.76	c stratification level: 10800
3.68/3.77	c bounds -608474 >= -59595961 @ 3.12378
3.68/3.77	c stratification level: 10799
3.68/3.78	c bounds -609478 >= -59595961 @ 3.13392
3.68/3.78	c stratification level: 10796
3.68/3.79	c bounds -610368 >= -59595961 @ 3.14178
3.68/3.79	c stratification level: 10795
3.78/3.80	c bounds -611339 >= -59595961 @ 3.15173
3.78/3.80	c stratification level: 10794
3.78/3.81	c bounds -612210 >= -59595961 @ 3.1586
3.78/3.81	c stratification level: 10793
3.78/3.83	c bounds -613088 >= -59595961 @ 3.1668
3.78/3.83	c stratification level: 10791
3.78/3.84	c bounds -614072 >= -59595961 @ 3.17593
3.78/3.84	c stratification level: 10790
3.78/3.85	c bounds -615043 >= -59595961 @ 3.18395
3.78/3.85	c stratification level: 10785
3.78/3.87	c bounds -615043 >= -59563606 @ 3.19225
3.78/3.87	c finalizing WCE round: reformulating cores
3.88/3.90	c bounds -617187 >= -59563606 @ 3.21328
3.88/3.90	c bounds -618261 >= -59563606 @ 3.22124
3.88/3.90	c stratification level: 10756
3.88/3.92	c bounds -619323 >= -59563606 @ 3.23193
3.88/3.92	c stratification level: 10754
3.88/3.93	c bounds -620315 >= -59563606 @ 3.24039
3.88/3.93	c stratification level: 10753
3.88/3.95	c bounds -621331 >= -59563606 @ 3.2497
3.88/3.95	c stratification level: 10752
3.88/3.96	c bounds -622249 >= -59563606 @ 3.25686
3.88/3.96	c stratification level: 10750
3.88/3.98	c bounds -623140 >= -59563606 @ 3.26889
3.88/3.98	c stratification level: 10748
3.88/3.99	c bounds -624122 >= -59563606 @ 3.27776
3.88/3.99	c stratification level: 10746
3.98/4.00	c bounds -625078 >= -59563606 @ 3.28903
3.98/4.00	c stratification level: 10745
3.98/4.02	c bounds -626007 >= -59563606 @ 3.29852
3.98/4.02	c stratification level: 10744
3.98/4.03	c bounds -627054 >= -59563606 @ 3.30497
3.98/4.03	c stratification level: 10742
3.98/4.05	c bounds -628117 >= -59563606 @ 3.31383
3.98/4.05	c stratification level: 10739
3.98/4.06	c bounds -629164 >= -59563606 @ 3.32314
3.98/4.06	c stratification level: 10736
3.98/4.08	c bounds -630212 >= -59563606 @ 3.33403
3.98/4.08	c stratification level: 10735
3.98/4.09	c bounds -631239 >= -59563606 @ 3.34349
3.98/4.09	c stratification level: 10734
4.08/4.10	c bounds -632160 >= -59563606 @ 3.35041
4.08/4.10	c stratification level: 10733
4.08/4.12	c bounds -633167 >= -59563606 @ 3.3604
4.08/4.12	c stratification level: 10732
4.08/4.13	c bounds -633866 >= -59563606 @ 3.36906
4.08/4.13	c stratification level: 10731
4.08/4.15	c bounds -634872 >= -59563606 @ 3.3771
4.08/4.15	c stratification level: 10730
4.08/4.16	c bounds -635886 >= -59563606 @ 3.385
4.08/4.16	c stratification level: 10729
4.08/4.17	c bounds -636873 >= -59563606 @ 3.39407
4.08/4.17	c stratification level: 10728
4.17/4.20	c bounds -636873 >= -59552878 @ 3.39807
4.17/4.20	c finalizing WCE round: reformulating cores
4.17/4.23	c bounds -639095 >= -59552878 @ 3.41158
4.17/4.23	c bounds -640227 >= -59552878 @ 3.42075
4.17/4.23	c stratification level: 10718
4.17/4.24	c bounds -641244 >= -59552878 @ 3.43178
4.17/4.24	c stratification level: 10716
4.17/4.26	c bounds -642291 >= -59552878 @ 3.44367
4.17/4.26	c stratification level: 10715
4.17/4.27	c bounds -643336 >= -59552878 @ 3.44968
4.17/4.27	c stratification level: 10714
4.17/4.29	c bounds -644401 >= -59552878 @ 3.4606
4.17/4.29	c stratification level: 10713
4.28/4.31	c bounds -645473 >= -59552878 @ 3.47087
4.28/4.31	c stratification level: 10710
4.28/4.32	c bounds -646443 >= -59552878 @ 3.48218
4.28/4.32	c stratification level: 10709
4.28/4.34	c bounds -647401 >= -59552878 @ 3.49256
4.28/4.34	c stratification level: 10708
4.28/4.36	c bounds -648367 >= -59552878 @ 3.50165
4.28/4.36	c stratification level: 10707
4.28/4.37	c bounds -649411 >= -59552878 @ 3.51273
4.28/4.37	c stratification level: 10706
4.28/4.39	c bounds -650430 >= -59552878 @ 3.52284
4.28/4.39	c stratification level: 10704
4.37/4.40	c bounds -651521 >= -59552878 @ 3.53379
4.37/4.40	c stratification level: 10703
4.37/4.42	c bounds -652577 >= -59552878 @ 3.54319
4.37/4.42	c stratification level: 10702
4.37/4.44	c bounds -653601 >= -59552878 @ 3.55186
4.37/4.44	c stratification level: 10701
4.37/4.45	c bounds -654639 >= -59552878 @ 3.56137
4.37/4.45	c stratification level: 10699
4.37/4.47	c bounds -655624 >= -59552878 @ 3.56976
4.37/4.47	c stratification level: 10697
4.37/4.49	c bounds -656702 >= -59552878 @ 3.58135
4.37/4.49	c stratification level: 10694
4.47/4.50	c bounds -657721 >= -59552878 @ 3.59127
4.47/4.50	c stratification level: 10693
4.47/4.52	c bounds -658783 >= -59552878 @ 3.59787
4.47/4.52	c stratification level: 10692
4.47/4.54	c bounds -659859 >= -59552878 @ 3.60644
4.47/4.54	c stratification level: 10691
4.47/4.55	c bounds -660935 >= -59552878 @ 3.61517
4.47/4.55	c stratification level: 10690
4.47/4.57	c bounds -661997 >= -59552878 @ 3.62443
4.47/4.57	c stratification level: 10689
4.47/4.58	c bounds -663070 >= -59552878 @ 3.63503
4.47/4.58	c stratification level: 10686
4.57/4.60	c bounds -664025 >= -59552878 @ 3.64272
4.57/4.60	c stratification level: 10685
4.57/4.62	c bounds -664863 >= -59552878 @ 3.66043
4.57/4.62	c stratification level: 10684
4.57/4.63	c bounds -665937 >= -59552878 @ 3.67304
4.57/4.63	c stratification level: 10683
4.57/4.65	c bounds -666889 >= -59552878 @ 3.68244
4.57/4.65	c stratification level: 10682
4.57/4.66	c bounds -667808 >= -59552878 @ 3.69077
4.57/4.66	c stratification level: 10681
4.57/4.67	c bounds -668822 >= -59552878 @ 3.69899
4.57/4.67	c stratification level: 10680
4.57/4.69	c bounds -668822 >= -59542198 @ 3.70069
4.57/4.69	c finalizing WCE round: reformulating cores
4.68/4.72	c bounds -671079 >= -59542198 @ 3.71821
4.68/4.72	c bounds -672138 >= -59542198 @ 3.72868
4.68/4.72	c stratification level: 10667
4.68/4.74	c bounds -672971 >= -59542198 @ 3.74101
4.68/4.74	c stratification level: 10665
4.68/4.75	c bounds -674106 >= -59542198 @ 3.75
4.68/4.75	c stratification level: 10663
17.62/17.71	c #Conflicts:       1000 | #Constraints:       1197
17.62/17.71	c bounds -674612 >= -59542198 @ 15.7796
17.62/17.71	c stratification level: 10662
17.62/17.74	c bounds -675622 >= -59542198 @ 15.8061
17.62/17.74	c stratification level: 10661
17.93/18.04	c bounds -675625 >= -59542198 @ 16.1016
17.93/18.04	c stratification level: 10660
31.88/32.06	c bounds -675694 >= -59542198 @ 29.9008
31.88/32.06	c stratification level: 10659
43.73/43.91	c bounds -676578 >= -59542198 @ 41.6367
43.73/43.91	c stratification level: 10658
44.13/44.34	c bounds -676832 >= -59542198 @ 42.058
44.13/44.34	c stratification level: 10656
44.13/44.39	c bounds -677833 >= -59542198 @ 42.0998
44.13/44.39	c stratification level: 10654
164.60/165.26	c #Conflicts:       2000 | #Constraints:       2204
164.60/165.26	c INPROCESSING
164.60/165.26	c GARBAGE COLLECT
164.60/165.26	c #Conflicts:       3000 | #Constraints:       2025
164.60/165.26	c #Conflicts:       4000 | #Constraints:       3025
164.60/165.26	c INPROCESSING
164.60/165.26	c GARBAGE COLLECT
164.60/165.26	c bounds -678780 >= -59542198 @ 161.058
164.60/165.26	c stratification level: 10652
170.08/170.79	c bounds -679411 >= -59542198 @ 166.528
170.08/170.79	c stratification level: 10648
173.27/173.94	c bounds -679586 >= -59542198 @ 169.647
173.27/173.94	c stratification level: 10647
173.38/174.00	c bounds -680587 >= -59542198 @ 169.703
173.38/174.00	c stratification level: 10646
173.38/174.07	c bounds -681638 >= -59542198 @ 169.756
173.38/174.07	c stratification level: 10644
173.47/174.13	c bounds -682621 >= -59542198 @ 169.813
173.47/174.13	c stratification level: 10643
173.47/174.19	c bounds -683643 >= -59542198 @ 169.871
173.47/174.19	c stratification level: 10642
173.57/174.25	c bounds -684667 >= -59542198 @ 169.925
173.57/174.25	c stratification level: 10641
173.67/174.32	c bounds -686270 >= -59542198 @ 169.982
173.67/174.32	c stratification level: 10640
180.74/181.40	c bounds -686449 >= -59542198 @ 176.979
180.74/181.40	c stratification level: 10638
180.74/181.46	c bounds -687548 >= -59542198 @ 177.028
180.74/181.46	c stratification level: 10637
180.84/181.51	c bounds -688611 >= -59542198 @ 177.071
180.84/181.51	c stratification level: 10636
180.84/181.56	c bounds -689697 >= -59542198 @ 177.119
180.84/181.56	c stratification level: 10635
180.94/181.61	c bounds -690665 >= -59542198 @ 177.164
180.94/181.61	c stratification level: 10633
180.94/181.66	c bounds -691671 >= -59542198 @ 177.21
180.94/181.66	c stratification level: 10632
181.04/181.71	c bounds -692646 >= -59542198 @ 177.252
181.04/181.71	c stratification level: 10631
181.04/181.76	c bounds -693659 >= -59542198 @ 177.296
181.04/181.76	c stratification level: 10630
181.14/181.81	c bounds -694646 >= -59542198 @ 177.336
181.14/181.81	c stratification level: 10629
181.14/181.86	c bounds -695571 >= -59542198 @ 177.375
181.14/181.86	c stratification level: 10627
1736.54/1742.95	c #Conflicts:       5000 | #Constraints:       2452
1736.54/1742.95	c #Conflicts:       6000 | #Constraints:       3452
1736.54/1742.95	c INPROCESSING
1736.54/1742.95	c GARBAGE COLLECT
1736.54/1742.95	c #Conflicts:       7000 | #Constraints:       2442
1736.54/1742.95	c #Conflicts:       8000 | #Constraints:       3442
1736.54/1742.95	c #Conflicts:       9000 | #Constraints:       4442
1736.54/1742.95	c INPROCESSING
1736.54/1742.95	c GARBAGE COLLECT
1736.54/1742.95	c #Conflicts:      10000 | #Constraints:       3147
1736.54/1742.95	c #Conflicts:      11000 | #Constraints:       4147
1736.54/1742.95	c #Conflicts:      12000 | #Constraints:       5147
1736.54/1742.95	c INPROCESSING
1736.54/1742.95	c GARBAGE COLLECT
1736.54/1742.95	c #Conflicts:      13000 | #Constraints:       3596
1736.54/1742.95	c #Conflicts:      14000 | #Constraints:       4596
1736.54/1742.95	c #Conflicts:      15000 | #Constraints:       5596
1736.54/1742.95	c INPROCESSING
1736.54/1742.95	c GARBAGE COLLECT
1736.54/1742.95	c #Conflicts:      16000 | #Constraints:       3814
1736.54/1742.95	c #Conflicts:      17000 | #Constraints:       4814
1736.54/1742.95	c #Conflicts:      18000 | #Constraints:       5814
1736.54/1742.95	c INPROCESSING
1736.54/1742.95	c GARBAGE COLLECT
1736.54/1742.95	c bounds -695630 >= -59542198 @ 1718.28
1736.54/1742.95	c stratification level: 10626
1739.43/1745.89	c bounds -695630 >= -59520946 @ 1718.34
1739.43/1745.89	c finalizing WCE round: reformulating cores
1816.16/1822.80	c #Conflicts:      19000 | #Constraints:       3831
1816.16/1822.80	c bounds -696137 >= -59520946 @ 1797.11
1816.16/1822.80	c bounds -697350 >= -59520946 @ 1797.24
1816.16/1822.80	c stratification level: 10625
1816.25/1822.92	c bounds -698484 >= -59520946 @ 1797.36
1816.25/1822.92	c stratification level: 10624
1816.46/1823.15	c bounds -698652 >= -59520946 @ 1797.58
1816.46/1823.15	c stratification level: 10623
1816.56/1823.27	c bounds -699646 >= -59520946 @ 1797.69
1816.56/1823.27	c stratification level: 10619
1874.36/1881.20	c #Conflicts:      20000 | #Constraints:       4835
1874.36/1881.20	c bounds -699652 >= -59520946 @ 1855.17
1874.36/1881.20	c stratification level: 10618
1879.54/1886.44	c bounds -699653 >= -59520946 @ 1860.39
1879.54/1886.44	c stratification level: 10616
1879.74/1886.60	c bounds -700621 >= -59520946 @ 1860.54
1879.74/1886.60	c stratification level: 10615
1879.83/1886.76	c bounds -701613 >= -59520946 @ 1860.69
1879.83/1886.76	c stratification level: 10614
1948.91/1956.02	c bounds -702476 >= -59520946 @ 1929.51
1948.91/1956.02	c stratification level: 10612
1949.80/1956.96	c bounds -702948 >= -59520946 @ 1930.44
1949.80/1956.96	c stratification level: 10611
1949.91/1957.07	c bounds -703165 >= -59520946 @ 1930.54
1949.91/1957.07	c stratification level: 10610
1950.29/1957.47	c bounds -704194 >= -59520946 @ 1930.93
1950.29/1957.47	c stratification level: 10609
1950.59/1957.74	c bounds -704211 >= -59520946 @ 1931.19
1950.59/1957.74	c stratification level: 10608
1951.90/1959.09	c bounds -705263 >= -59520946 @ 1932.53
1951.90/1959.09	c stratification level: 10607
1958.17/1965.38	c #Conflicts:      21000 | #Constraints:       5845
1958.17/1965.38	c bounds -705342 >= -59520946 @ 1938.78
1958.17/1965.38	c stratification level: 10606
1958.57/1965.72	c bounds -705451 >= -59520946 @ 1939.11
1958.57/1965.72	c stratification level: 10605
1958.57/1965.76	c bounds -706567 >= -59520946 @ 1939.15
1958.57/1965.76	c stratification level: 10600
1958.98/1966.13	c bounds -707568 >= -59520946 @ 1939.51
1958.98/1966.13	c stratification level: 10599
1960.26/1967.46	c bounds -707828 >= -59520946 @ 1940.81
1960.26/1967.46	c stratification level: 10597
1960.36/1967.55	c bounds -707832 >= -59520946 @ 1940.89
1960.36/1967.55	c stratification level: 10596
1960.47/1967.64	c bounds -707837 >= -59520946 @ 1940.97
1960.47/1967.64	c stratification level: 10595
1960.87/1968.03	c bounds -707854 >= -59520946 @ 1941.35
1960.87/1968.03	c stratification level: 10594
1960.87/1968.07	c bounds -708929 >= -59520946 @ 1941.39
1960.87/1968.07	c stratification level: 10593
1960.97/1968.11	c bounds -710004 >= -59520946 @ 1941.42
1960.97/1968.11	c stratification level: 10592
1961.16/1968.31	c bounds -710073 >= -59520946 @ 1941.61
1961.16/1968.31	c stratification level: 10591
1962.36/1969.52	c bounds -710929 >= -59520946 @ 1942.8
1962.36/1969.52	c stratification level: 10590
1963.46/1970.68	c bounds -710956 >= -59520946 @ 1943.94
1963.46/1970.68	c stratification level: 10589
1963.76/1970.98	c bounds -711915 >= -59520946 @ 1944.23
1963.76/1970.98	c stratification level: 10588
1964.55/1971.70	c bounds -712661 >= -59520946 @ 1944.93
1964.55/1971.70	c stratification level: 10586
1964.96/1972.13	c bounds -713727 >= -59520946 @ 1945.36
1964.96/1972.13	c stratification level: 10584
1966.95/1974.12	c bounds -714214 >= -59520946 @ 1947.31
1966.95/1974.12	c stratification level: 10583
1966.95/1974.19	c bounds -715285 >= -59520946 @ 1947.38
1966.95/1974.19	c stratification level: 10582
3600.00/3612.40	c INPROCESSING
3600.00/3612.40	c GARBAGE COLLECT
3600.00/3612.40	c #Conflicts:      22000 | #Constraints:       3660
3600.00/3612.40	c #Conflicts:      23000 | #Constraints:       4660
3600.00/3612.40	c #Conflicts:      24000 | #Constraints:       5660
3600.00/3612.40	c #Conflicts:      25000 | #Constraints:       6660
3600.00/3612.40	c INPROCESSING
3600.00/3612.40	c GARBAGE COLLECT
3600.00/3612.40	c #Conflicts:      26000 | #Constraints:       4248
3600.00/3612.40	c #Conflicts:      27000 | #Constraints:       5248
3600.00/3612.40	c #Conflicts:      28000 | #Constraints:       6248
3600.00/3612.40	c #Conflicts:      29000 | #Constraints:       7248
3600.00/3612.40	c INPROCESSING
3600.00/3612.40	c GARBAGE COLLECT
3600.00/3612.40	c #Conflicts:      30000 | #Constraints:       4642
3600.00/3612.40	c #Conflicts:      31000 | #Constraints:       5642
3600.00/3612.40	c #Conflicts:      32000 | #Constraints:       6642
3600.00/3612.40	c #Conflicts:      33000 | #Constraints:       7642
3600.00/3612.40	c INPROCESSING
3600.00/3612.40	c GARBAGE COLLECT
3600.00/3612.40	c Program interrupted by user.
3600.00/3612.40	c cpu time 3566.76 s
3600.00/3612.40	c deterministic time 1103092104709 1.10e+12
3600.00/3612.40	c optimization time 103.733 s
3600.00/3612.40	c total solve time 3463.02 s
3600.00/3612.40	c core-guided solve time 3463.02 s
3600.00/3612.40	c propagation time 3420.52 s
3600.00/3612.40	c conflict analysis time 98.1731 s
3600.00/3612.40	c propagations 48549001
3600.00/3612.40	c resolve steps 94580
3600.00/3612.40	c decisions 40855933
3600.00/3612.40	c conflicts 33261
3600.00/3612.40	c restarts 123
3600.00/3612.40	c inprocessing phases 11
3600.00/3612.40	c input clauses 0
3600.00/3612.40	c input cardinalities 0
3600.00/3612.40	c input general constraints 261
3600.00/3612.40	c input average constraint length 9466.34
3600.00/3612.40	c input average constraint degree 748862.89
3600.00/3612.40	c learned clauses 5
3600.00/3612.40	c learned cardinalities 1
3600.00/3612.40	c learned general constraints 33255
3600.00/3612.40	c learned average constraint length 9926.34
3600.00/3612.40	c learned average constraint degree 18943645722.36
3600.00/3612.40	c watched constraints 298
3600.00/3612.40	c counting constraints 33218
3600.00/3612.40	c gcd simplifications 34
3600.00/3612.40	c detected cardinalities 5
3600.00/3612.40	c weakened non-implied lits 2007247
3600.00/3612.40	c weakened non-implying lits 1097
3600.00/3612.40	c original variables 10000
3600.00/3612.40	c clausal propagations 0
3600.00/3612.40	c cardinality propagations 0
3600.00/3612.40	c watched propagations 1305388
3600.00/3612.40	c counting propagations 47222765
3600.00/3612.40	c watch lookups 10372017649
3600.00/3612.40	c watch backjump lookups 10371631387
3600.00/3612.40	c watch checks 327356150
3600.00/3612.40	c propagation checks 1080564653350
3600.00/3612.40	c constraint additions 1277612923
3600.00/3612.40	c trail pops 89428315
3600.00/3612.40	c formula constraints 1
3600.00/3612.40	c learned constraints 33261
3600.00/3612.40	c bound constraints 246
3600.00/3612.40	c core-guided constraints 14
3600.00/3612.40	c encountered formula constraints 1097
3600.00/3612.40	c encountered learned constraints 76854
3600.00/3612.40	c encountered bound constraints 49889
3600.00/3612.40	c encountered core-guided constraints 1
3600.00/3612.40	c LP total time 0 s
3600.00/3612.40	c LP solve time 0 s
3600.00/3612.40	c LP constraints added 0
3600.00/3612.40	c LP constraints removed 0
3600.00/3612.40	c LP pivots internal 0
3600.00/3612.40	c LP pivots root 0
3600.00/3612.40	c LP calls 0
3600.00/3612.40	c LP optimalities 0
3600.00/3612.40	c LP no pivot count 0
3600.00/3612.40	c LP infeasibilities 0
3600.00/3612.40	c LP valid Farkas constraints 0
3600.00/3612.40	c LP learned Farkas constraints 0
3600.00/3612.40	c LP basis resets 0
3600.00/3612.40	c LP cycling count 0
3600.00/3612.40	c LP singular count 0
3600.00/3612.40	c LP no primal count 0
3600.00/3612.40	c LP no farkas count 0
3600.00/3612.40	c LP other issue count 0
3600.00/3612.40	c LP Gomory cuts 0
3600.00/3612.40	c LP learned cuts 0
3600.00/3612.40	c LP deleted cuts 0
3600.00/3612.40	c LP encountered Gomory constraints 0
3600.00/3612.40	c LP encountered Farkas constraints 0
3600.00/3612.40	c LP encountered learned Farkas constraints 0
3600.00/3612.40	c CG auxiliary variables introduced 7
3600.00/3612.40	c CG solutions found 233
3600.00/3612.40	c CG cores constructed 7
3600.00/3612.40	c CG core cardinality constraints returned 2
3600.00/3612.40	c CG unit cores 0
3600.00/3612.40	c CG single cores 7
3600.00/3612.40	c CG blocks removed during cardinality reduction 0
3600.00/3612.40	c CG first core best 0
3600.00/3612.40	c CG decision core best 0
3600.00/3612.40	c CG core reduction tie 0
3600.00/3612.40	c CG core degree average 1.43
3600.00/3612.40	c CG core slack average 48.71
3600.00/3612.40	c CG exhausted 0
3600.00/3612.40	c CG exhaust time 75.999 s
3600.00/3612.40	c CG trimmed 0
3600.00/3612.40	c CG trim time 0.041686 s
3600.00/3612.40	c CG minimized 0
3600.00/3612.40	c CG minimize time 0 s
3600.00/3612.40	c CG am1 prop time 0.011466 s
3600.00/3612.40	c CG # am1s reformulated 0
3600.00/3612.40	c CG lower bound derived from am1s 0
3600.00/3612.40	c CG # clausal cores 5
3600.00/3612.40	c CG # cardinality cores 2
3600.00/3612.40	c CG # pb cores 0
3600.00/3612.40	c CG # pb reforms 7
3600.00/3612.40	c CG # cores discarded because of pb reform 0
3600.00/3612.40	d LOWERBOUND -59520946
3600.00/3612.40	d NCORES 7
3600.00/3612.40	d NPBCORES 0
3600.00/3612.40	d NPBREFORM 7
3600.00/3612.40	d NTRIMMED 0
3600.00/3612.40	d NEXHAUSTED 0
3600.00/3612.40	d NAM1S 0
3600.00/3612.40	d AM1LB 0
3600.00/3612.40	o -715285
3600.00/3612.40	s SATISFIABLE
3600.00/3612.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: 63931 MiB (61533 MiB free)
  memory of node 1: 64510 MiB (62119 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

Current StackSize limit: 8192 KiB

solver pid=217994, runsolver pid=217981

[startup+0.100079 s]*
/proc/loadavg: 3.43 3.96 4.04 7/257 217999
/proc/meminfo: memFree=126602472/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=43528 memory=11656 CPUtime=0.09 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 1749 0 0 0 4 5 0 0 20 0 1 0 24121670 44572672 2914 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 10882 2914 1211 291 0 2416 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 11656 KiB

[startup+0.206782 s]*
/proc/loadavg: 3.43 3.96 4.04 5/252 218007
/proc/meminfo: memFree=126606808/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=43528 memory=11656 CPUtime=0.2 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 1749 0 0 0 8 12 0 0 20 0 1 0 24121670 44572672 2914 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 10882 2914 1211 291 0 2416 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43528 KiB
Current children cumulated memory: 11656 KiB

[startup+0.304924 s]*
/proc/loadavg: 3.43 3.96 4.04 3/253 218027
/proc/meminfo: memFree=126605468/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=44408 memory=14652 CPUtime=0.3 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 1988 0 0 0 13 17 0 0 20 0 1 0 24121670 45473792 3663 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 11102 3663 1322 291 0 2636 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44408 KiB
Current children cumulated memory: 14652 KiB

[startup+0.700189 s]
/proc/loadavg: 3.43 3.96 4.04 7/256 218085
/proc/meminfo: memFree=126599212/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=48816 memory=18656 CPUtime=0.69 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 3015 0 0 0 36 33 0 0 20 0 1 0 24121670 49987584 4664 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 12204 4664 1338 291 0 3738 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 48816 KiB
Current children cumulated memory: 18656 KiB

[startup+1.50022 s]
/proc/loadavg: 3.43 3.96 4.04 6/259 218091
/proc/meminfo: memFree=126549060/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=79416 memory=48948 CPUtime=1.48 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 9025 0 0 0 109 39 0 0 20 0 1 0 24121670 81321984 12237 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 19854 12237 1338 291 0 11388 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79416 KiB
Current children cumulated memory: 48948 KiB

[startup+3.10608 s]
/proc/loadavg: 3.47 3.96 4.04 6/259 218093
/proc/meminfo: memFree=126416616/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=130320 memory=83756 CPUtime=3.08 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 15214 0 0 0 258 50 0 0 20 0 1 0 24121670 133447680 20939 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 32580 20939 1338 291 0 24114 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 130320 KiB
Current children cumulated memory: 83756 KiB

[startup+6.30021 s]
/proc/loadavg: 3.47 3.96 4.04 6/259 218093
/proc/meminfo: memFree=126327052/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=161432 memory=102884 CPUtime=6.27 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 15362 0 0 0 511 116 0 0 20 0 1 0 24121670 165306368 25721 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 40358 25721 1338 291 0 31892 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 161432 KiB
Current children cumulated memory: 102884 KiB

[startup+12.7002 s]
/proc/loadavg: 3.55 3.96 4.04 6/259 218095
/proc/meminfo: memFree=126213812/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=202472 memory=169520 CPUtime=12.65 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 25658 0 0 0 1103 162 0 0 20 0 1 0 24121670 207331328 42380 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 50618 42380 1338 291 0 42152 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 202472 KiB
Current children cumulated memory: 169520 KiB

[startup+25.5002 s]
/proc/loadavg: 3.70 3.98 4.05 6/259 218096
/proc/meminfo: memFree=126045660/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=334840 memory=277456 CPUtime=25.39 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 44031 0 0 0 2340 199 0 0 20 0 1 0 24121670 342876160 69364 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 83710 69364 1338 291 0 75244 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 334840 KiB
Current children cumulated memory: 277456 KiB

[startup+51.1062 s]
/proc/loadavg: 3.80 3.98 4.04 6/259 218099
/proc/meminfo: memFree=125837736/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=416656 memory=344976 CPUtime=50.91 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 47661 0 0 0 4859 232 0 0 20 0 1 0 24121670 426655744 86244 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 104164 86244 1338 291 0 95698 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 416656 KiB
Current children cumulated memory: 344976 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.02 4.05 6/259 218109
/proc/meminfo: memFree=125588004/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=581080 memory=465928 CPUtime=101.92 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 75966 0 0 0 9866 326 0 0 20 0 1 0 24121670 595025920 116482 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 145270 116482 1400 291 0 136804 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 581080 KiB
Current children cumulated memory: 465928 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.03 4.05 6/259 218122
/proc/meminfo: memFree=125308220/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=714940 memory=584188 CPUtime=161.71 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 85061 0 0 0 15811 360 0 0 20 0 1 0 24121670 732098560 146047 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178735 146047 1400 291 0 170269 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 714940 KiB
Current children cumulated memory: 584188 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.05 4.06 6/261 218516
/proc/meminfo: memFree=125215568/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=714940 memory=593112 CPUtime=221.5 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 85265 0 0 0 21694 456 0 0 20 0 1 0 24121670 732098560 148278 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178735 148278 1400 291 0 170269 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 714940 KiB
Current children cumulated memory: 593112 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.07 4.06 6/257 218526
/proc/meminfo: memFree=125117708/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=715420 memory=640916 CPUtime=281.28 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 85764 0 0 0 27615 513 0 0 20 0 1 0 24121670 732590080 160229 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178855 160229 1400 291 0 170389 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 715420 KiB
Current children cumulated memory: 640916 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.09 4.07 6/256 218537
/proc/meminfo: memFree=125057588/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=715620 memory=655352 CPUtime=341.09 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 86060 0 0 0 33491 618 0 0 20 0 1 0 24121670 732794880 163838 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178905 163838 1400 291 0 170439 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 715620 KiB
Current children cumulated memory: 655352 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.10 4.07 6/258 218717
/proc/meminfo: memFree=125052584/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=715620 memory=655352 CPUtime=400.9 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 86370 0 0 0 39434 656 0 0 20 0 1 0 24121670 732794880 163838 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178905 163838 1400 291 0 170439 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 715620 KiB
Current children cumulated memory: 655352 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.07 6/259 218728
/proc/meminfo: memFree=125019952/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=715620 memory=655384 CPUtime=460.72 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 86706 0 0 0 45352 720 0 0 20 0 1 0 24121670 732794880 163846 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 178905 163846 1400 291 0 170439 0

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

Current children cumulated memory: 1214708 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.19 4.18 6/255 219800
/proc/meminfo: memFree=123673664/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1266968 memory=1218868 CPUtime=2852.38 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 167064 0 0 0 282440 2798 0 0 20 0 1 0 24121670 1297375232 304717 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 316742 304717 1400 291 0 308276 0
Current children cumulated CPU time: 2852.38 s
Current children cumulated vsize: 1266968 KiB
Current children cumulated memory: 1218868 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.17 6/258 219815
/proc/meminfo: memFree=123646504/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616216 memory=1242080 CPUtime=2912.18 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 168246 0 0 0 288388 2830 0 0 20 0 1 0 24121670 1655005184 310520 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404054 310520 1400 291 0 395588 0
Current children cumulated CPU time: 2912.18 s
Current children cumulated vsize: 1616216 KiB
Current children cumulated memory: 1242080 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.16 6/258 219828
/proc/meminfo: memFree=123638492/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=2971.98 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 168719 0 0 0 294317 2881 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 2971.98 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.16 6/258 219838
/proc/meminfo: memFree=123637260/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3031.78 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 169245 0 0 0 300218 2960 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3031.78 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.16 6/257 219848
/proc/meminfo: memFree=123633912/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3091.58 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 169828 0 0 0 306153 3005 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3091.58 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.16 6/257 219859
/proc/meminfo: memFree=123605404/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3151.38 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 170354 0 0 0 312083 3055 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3151.38 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.15 4.16 6/257 219869
/proc/meminfo: memFree=123590256/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3211.18 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 170880 0 0 0 318033 3085 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3211.18 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.16 6/254 219880
/proc/meminfo: memFree=123567400/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3270.99 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 171463 0 0 0 323968 3131 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3270.99 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.16 6/254 219890
/proc/meminfo: memFree=123554104/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3330.79 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 171989 0 0 0 329911 3168 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3330.79 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.16 6/254 219900
/proc/meminfo: memFree=123540720/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3390.59 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 172515 0 0 0 335853 3206 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3390.59 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.16 4.16 6/255 219913
/proc/meminfo: memFree=123523056/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1244296 CPUtime=3450.4 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 173098 0 0 0 341804 3236 0 0 20 0 1 0 24121670 1655144448 311074 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 311074 1400 291 0 395622 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1244296 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.16 6/257 219928
/proc/meminfo: memFree=123384948/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1254536 CPUtime=3510.2 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 173508 0 0 0 347755 3265 0 0 20 0 1 0 24121670 1655144448 313634 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 313634 1400 291 0 395622 0
Current children cumulated CPU time: 3510.2 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1254536 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 6/257 219939
/proc/meminfo: memFree=123285008/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1275016 CPUtime=3570 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 173852 0 0 0 353700 3300 0 0 20 0 1 0 24121670 1655144448 318754 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 318754 1400 291 0 395622 0
Current children cumulated CPU time: 3570 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1275016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.16 4.15 4.16 6/258 220084
/proc/meminfo: memFree=125381144/131524600 swapFree=131056028/131071996
[pid=217994] ppid=217981 vsize=1616352 memory=1275016 CPUtime=3600 cores=0,2
/proc/217994/stat : 217994 (pb-oll-rs) R 217981 217994 217925 0 -1 4194304 173991 0 0 0 356675 3325 0 0 20 0 1 0 24121670 1655144448 318754 134679101440 4194304 5384485 140722192454416 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 12500992 140722192462871 140722192462948 140722192462948 140722192469963 0
/proc/217994/statm: 404088 318754 1400 291 0 395622 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1616352 KiB
Current children cumulated memory: 1275016 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.76 s, system=33.2647 s

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

Child status: 0

Real time (s): 3612.42
CPU time (s): 3600.02
CPU user time (s): 3566.76
CPU system time (s): 33.2647
CPU usage (%): 99.657
Max. virtual memory (cumulated for all children) (KiB): 1616352
Max. memory (cumulated for all children) (KiB): 1275016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.76
system time used= 33.2647
maximum resident set size= 1275240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 25226


# summary of solver processes directly reported to runsolver:
#   pid: 217994
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3566.76
#   total CPU system time (s): 33.2647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.79213 second user time and 18.0414 second system time

The end

Begin job on nodeC016 at 2024-07-25 04:52:11
IDJOB=4457580
IDBENCH=176418
IDSOLVER=3082
FILE ID=nodeC016/4457580-1721875931
RUNJOBID= nodeC016-1721875931-217935
SLURM_JOB_ID= 8089230
Free space on /tmp= 890084 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4457580-1721875931/watcher-4457580-1721875931 -o /tmp/evaluation-result-4457580-1721875931/solver-4457580-1721875931 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721875931-217935 --watchdog 3760  pb-oll-rs HOME/instance-4457580-1721875931.opb

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

MD5SUM BENCH= e208dfd6470fdaec043d153d73efd29c
RANDOM SEED=2095475731

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126621332 kB
MemAvailable:   129592780 kB
Buffers:          287224 kB
Cached:          3366448 kB
SwapCached:          284 kB
Active:          2322456 kB
Inactive:        1685876 kB
Active(anon):       2320 kB
Inactive(anon):   405116 kB
Active(file):    2320136 kB
Inactive(file):  1280760 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:              8264 kB
Writeback:            16 kB
AnonPages:        354812 kB
Mapped:           102868 kB
Shmem:             52400 kB
KReclaimable:     420396 kB
Slab:             540932 kB
SReclaimable:     420396 kB
SUnreclaim:       120536 kB
KernelStack:        3828 kB
PageTables:         9636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     823100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17184 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      373460 kB
DirectMap2M:    42391552 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-25 05:52:24