0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
1.88/2.00	c #variables 10000 #constraints 656900
3.48/3.52	c bounds - >= 0 @ 1.3806
3.48/3.52	c rational objective 181.5
21.74/21.83	c bounds 6291 >= 0 @ 6.89933
21.74/21.83	c bounds 5939 >= 0 @ 6.90546
21.74/21.83	c bounds 5897 >= 0 @ 6.91412
21.74/21.83	c bounds 5700 >= 0 @ 6.9186
21.74/21.83	c bounds 5632 >= 0 @ 6.92491
21.74/21.83	c bounds 5426 >= 0 @ 6.93145
21.74/21.83	c bounds 5399 >= 0 @ 6.93957
21.74/21.83	c bounds 5307 >= 0 @ 6.94359
21.74/21.83	c bounds 5296 >= 0 @ 6.96042
21.74/21.83	c bounds 5244 >= 0 @ 6.96696
21.74/21.83	c bounds 5240 >= 0 @ 6.97322
21.74/21.83	c bounds 5202 >= 0 @ 6.97775
21.74/21.83	c bounds 5173 >= 0 @ 6.98832
21.74/21.83	c bounds 5111 >= 0 @ 6.99319
21.74/21.83	c bounds 5097 >= 0 @ 7.0017
21.74/21.83	c bounds 5054 >= 0 @ 7.00736
21.74/21.83	c bounds 5021 >= 0 @ 7.01333
21.74/21.83	c bounds 4966 >= 0 @ 7.02128
21.74/21.83	c bounds 4896 >= 0 @ 7.02728
21.74/21.83	c bounds 4870 >= 0 @ 7.03471
21.74/21.83	c bounds 4823 >= 0 @ 7.04314
21.74/21.83	c bounds 4674 >= 0 @ 7.04924
21.74/21.83	c bounds 4661 >= 0 @ 7.07216
21.74/21.83	c #Conflicts:       1000 | #Constraints:     657937
21.74/21.83	c #Conflicts:       2000 | #Constraints:     658956
21.74/21.83	c INPROCESSING
21.74/21.83	c GARBAGE COLLECT
21.74/21.83	c bounds 4658 >= 0 @ 14.4765
21.74/21.83	c bounds 4655 >= 0 @ 14.4865
21.74/21.83	c bounds 4644 >= 0 @ 14.4963
21.74/21.83	c bounds 4627 >= 0 @ 14.5074
21.74/21.83	c bounds 4626 >= 0 @ 14.5215
21.74/21.83	c bounds 4612 >= 0 @ 14.5364
21.74/21.83	c bounds 4553 >= 0 @ 14.5433
21.74/21.83	c bounds 4538 >= 0 @ 14.55
21.74/21.83	c bounds 4498 >= 0 @ 14.575
21.74/21.83	c bounds 4475 >= 0 @ 14.6132
21.74/21.83	c bounds 4449 >= 0 @ 14.7097
21.74/21.83	c bounds 4402 >= 0 @ 14.7204
21.74/21.83	c bounds 4339 >= 0 @ 14.7313
21.74/21.83	c bounds 4289 >= 0 @ 14.7445
21.74/21.83	c bounds 4287 >= 0 @ 14.754
21.74/21.83	c bounds 4215 >= 0 @ 14.7644
21.74/21.83	c bounds 4189 >= 0 @ 14.7761
21.74/21.83	c bounds 4140 >= 0 @ 14.8764
21.74/21.83	c bounds 4109 >= 0 @ 14.8965
21.74/21.83	c bounds 4074 >= 0 @ 14.9049
21.74/21.83	c bounds 4066 >= 0 @ 14.9137
21.74/21.83	c bounds 4028 >= 0 @ 14.9242
21.74/21.83	c bounds 4000 >= 0 @ 14.9347
21.74/21.83	c bounds 3928 >= 0 @ 14.9519
21.74/21.83	c bounds 3895 >= 0 @ 14.9668
21.74/21.83	c bounds 3853 >= 0 @ 14.9847
21.74/21.83	c bounds 3845 >= 0 @ 15.0031
21.74/21.83	c bounds 3843 >= 0 @ 15.0131
21.74/21.83	c bounds 3780 >= 0 @ 15.0241
21.74/21.83	c bounds 3756 >= 0 @ 15.0361
21.74/21.83	c bounds 3738 >= 0 @ 15.1387
21.74/21.83	c bounds 3705 >= 0 @ 15.1506
21.74/21.83	c bounds 3686 >= 0 @ 15.1649
21.74/21.83	c bounds 3635 >= 0 @ 15.2568
21.74/21.83	c bounds 3606 >= 0 @ 15.3444
21.74/21.83	c bounds 3593 >= 0 @ 15.4312
21.74/21.83	c bounds 3550 >= 0 @ 15.515
21.74/21.83	c bounds 3522 >= 0 @ 15.6749
21.74/21.83	c bounds 3507 >= 0 @ 15.758
21.74/21.83	c bounds 3502 >= 0 @ 15.8785
21.74/21.83	c bounds 3490 >= 0 @ 15.8901
21.74/21.83	c bounds 3468 >= 0 @ 15.8971
21.74/21.83	c bounds 3445 >= 0 @ 15.9069
21.74/21.83	c bounds 3377 >= 0 @ 15.9197
21.74/21.83	c bounds 3367 >= 0 @ 15.9377
21.74/21.83	c bounds 3348 >= 0 @ 15.9523
21.74/21.83	c bounds 3312 >= 0 @ 15.9633
21.74/21.83	c bounds 3294 >= 0 @ 15.9813
21.74/21.83	c bounds 3252 >= 0 @ 15.9992
21.74/21.83	c bounds 3240 >= 0 @ 16.0141
21.74/21.83	c bounds 3224 >= 0 @ 16.0318
21.74/21.83	c bounds 3223 >= 0 @ 16.0529
21.74/21.83	c bounds 3217 >= 0 @ 16.1729
21.74/21.83	c bounds 3178 >= 0 @ 16.2624
21.74/21.83	c bounds 3174 >= 0 @ 16.2777
21.74/21.83	c bounds 3172 >= 0 @ 16.3613
21.74/21.83	c bounds 3149 >= 0 @ 16.3754
21.74/21.83	c bounds 3095 >= 0 @ 16.4611
21.74/21.83	c bounds 3090 >= 0 @ 16.4756
21.74/21.83	c bounds 3084 >= 0 @ 16.5863
21.74/21.83	c bounds 3079 >= 0 @ 16.6072
21.74/21.83	c bounds 3051 >= 0 @ 16.705
21.74/21.83	c bounds 2980 >= 0 @ 16.7352
21.74/21.83	c bounds 2966 >= 0 @ 16.7528
21.74/21.83	c bounds 2951 >= 0 @ 16.773
21.74/21.83	c bounds 2945 >= 0 @ 16.8698
21.74/21.83	c bounds 2944 >= 0 @ 16.8836
21.74/21.83	c bounds 2930 >= 0 @ 16.9013
21.74/21.83	c bounds 2926 >= 0 @ 16.9912
21.74/21.83	c bounds 2912 >= 0 @ 17.093
21.74/21.83	c bounds 2900 >= 0 @ 17.1064
21.74/21.83	c bounds 2894 >= 0 @ 17.1164
21.74/21.83	c bounds 2850 >= 0 @ 17.2048
21.74/21.83	c bounds 2836 >= 0 @ 17.2195
21.74/21.83	c bounds 2785 >= 0 @ 17.3372
21.74/21.83	c bounds 2764 >= 0 @ 17.3573
21.74/21.83	c bounds 2739 >= 0 @ 17.3769
21.74/21.83	c bounds 2733 >= 0 @ 17.3914
21.74/21.83	c bounds 2700 >= 0 @ 17.5042
21.74/21.83	c bounds 2673 >= 0 @ 18.1122
21.74/21.83	c bounds 2652 >= 0 @ 18.2441
21.74/21.83	c bounds 2633 >= 0 @ 18.2846
21.74/21.83	c bounds 2611 >= 0 @ 18.3009
21.74/21.83	c bounds 2609 >= 0 @ 18.417
21.74/21.83	c bounds 2590 >= 0 @ 18.4344
21.74/21.83	c bounds 2574 >= 0 @ 18.4553
21.74/21.83	c bounds 2548 >= 0 @ 18.4736
21.74/21.83	c bounds 2541 >= 0 @ 18.5099
21.74/21.83	c bounds 2534 >= 0 @ 18.5272
21.74/21.83	c bounds 2530 >= 0 @ 18.5448
21.74/21.83	c bounds 2519 >= 0 @ 18.6657
21.74/21.83	c bounds 2499 >= 0 @ 18.7797
21.74/21.83	c bounds 2487 >= 0 @ 18.8927
21.74/21.83	c bounds 2466 >= 0 @ 18.9101
21.74/21.83	c bounds 2438 >= 0 @ 19.334
21.74/21.83	c bounds 2395 >= 0 @ 19.3652
21.74/21.83	c bounds 2375 >= 0 @ 19.3819
21.74/21.83	c bounds 2353 >= 0 @ 19.5033
21.74/21.83	c bounds 2325 >= 0 @ 19.7061
21.74/21.83	c bounds 2318 >= 0 @ 19.7244
21.74/21.83	c bounds 2295 >= 0 @ 19.7419
21.74/21.83	c bounds 2280 >= 0 @ 19.76
21.74/21.83	c bounds 2222 >= 0 @ 19.8738
21.74/21.83	c bounds 2209 >= 0 @ 19.9958
21.74/21.83	c bounds 2183 >= 0 @ 20.0091
21.74/21.83	c bounds 2179 >= 0 @ 20.0215
21.74/21.83	c bounds 2178 >= 0 @ 20.0424
21.74/21.83	c bounds 2177 >= 0 @ 20.155
21.74/21.83	c bounds 2146 >= 0 @ 20.1695
21.74/21.83	c bounds 2141 >= 0 @ 20.1901
21.74/21.83	c bounds 2140 >= 0 @ 20.3043
21.74/21.83	c bounds 2111 >= 0 @ 20.3224
21.74/21.83	c bounds 2091 >= 0 @ 20.341
21.74/21.83	c bounds 2090 >= 0 @ 20.4313
21.74/21.83	c bounds 2078 >= 0 @ 20.6063
89.35/89.61	c bounds 2067 >= 0 @ 20.6238
89.35/89.61	c bounds 2026 >= 0 @ 20.6413
89.35/89.61	c bounds 2017 >= 0 @ 20.7386
89.35/89.61	c bounds 2014 >= 0 @ 20.8554
89.35/89.61	c bounds 2011 >= 0 @ 20.8743
89.35/89.61	c bounds 1996 >= 0 @ 21.0058
89.35/89.61	c bounds 1982 >= 0 @ 21.1214
89.35/89.61	c bounds 1964 >= 0 @ 21.1428
89.35/89.61	c bounds 1953 >= 0 @ 21.1641
89.35/89.61	c bounds 1952 >= 0 @ 21.2771
89.35/89.61	c bounds 1949 >= 0 @ 21.2988
89.35/89.61	c bounds 1948 >= 0 @ 21.3124
89.35/89.61	c bounds 1941 >= 0 @ 21.4924
89.35/89.61	c bounds 1930 >= 0 @ 21.6106
89.35/89.61	c bounds 1922 >= 0 @ 21.6533
89.35/89.61	c bounds 1894 >= 0 @ 21.773
89.35/89.61	c bounds 1884 >= 0 @ 21.7915
89.35/89.61	c bounds 1879 >= 0 @ 21.8016
89.35/89.61	c bounds 1873 >= 0 @ 21.8973
89.35/89.61	c bounds 1864 >= 0 @ 21.9111
89.35/89.61	c bounds 1839 >= 0 @ 21.9207
89.35/89.61	c bounds 1799 >= 0 @ 22.0125
89.35/89.61	c bounds 1795 >= 0 @ 22.0235
89.35/89.61	c bounds 1793 >= 0 @ 22.2975
89.35/89.61	c bounds 1789 >= 0 @ 22.3142
89.35/89.61	c bounds 1786 >= 0 @ 22.4203
89.35/89.61	c bounds 1785 >= 0 @ 22.6383
89.35/89.61	c bounds 1769 >= 0 @ 22.7512
89.35/89.61	c bounds 1756 >= 0 @ 22.7842
89.35/89.61	c bounds 1745 >= 0 @ 22.8071
89.35/89.61	c bounds 1710 >= 0 @ 22.8338
89.35/89.61	c bounds 1706 >= 0 @ 22.9425
89.35/89.61	c bounds 1705 >= 0 @ 23.0493
89.35/89.61	c bounds 1695 >= 0 @ 23.1717
89.35/89.61	c bounds 1690 >= 0 @ 23.215
89.35/89.61	c bounds 1687 >= 0 @ 23.334
89.35/89.61	c bounds 1685 >= 0 @ 24.8513
89.35/89.61	c #Conflicts:       3000 | #Constraints:     659125
89.35/89.61	c bounds 1678 >= 0 @ 26.5495
89.35/89.61	c bounds 1674 >= 0 @ 26.603
89.35/89.61	c bounds 1673 >= 0 @ 26.6479
89.35/89.61	c bounds 1669 >= 0 @ 26.6764
89.35/89.61	c bounds 1662 >= 0 @ 26.7106
89.35/89.61	c bounds 1661 >= 0 @ 26.8289
89.35/89.61	c bounds 1646 >= 0 @ 26.8516
89.35/89.61	c bounds 1634 >= 0 @ 26.8722
89.35/89.61	c bounds 1626 >= 0 @ 26.8959
89.35/89.61	c bounds 1623 >= 0 @ 27.0034
89.35/89.61	c bounds 1620 >= 0 @ 27.0395
89.35/89.61	c bounds 1615 >= 0 @ 27.075
89.35/89.61	c bounds 1576 >= 0 @ 27.2051
89.35/89.61	c bounds 1572 >= 0 @ 27.346
89.35/89.61	c bounds 1570 >= 0 @ 27.3704
89.35/89.61	c bounds 1561 >= 0 @ 27.4187
89.35/89.61	c bounds 1560 >= 0 @ 27.4523
89.35/89.61	c bounds 1553 >= 0 @ 27.5606
89.35/89.61	c bounds 1547 >= 0 @ 27.6858
89.35/89.61	c bounds 1494 >= 0 @ 27.7172
89.35/89.61	c bounds 1451 >= 0 @ 27.7447
89.35/89.61	c bounds 1447 >= 0 @ 27.7724
89.35/89.61	c bounds 1433 >= 0 @ 27.8858
89.35/89.61	c bounds 1431 >= 0 @ 27.9192
89.35/89.61	c bounds 1428 >= 0 @ 27.9466
89.35/89.61	c bounds 1418 >= 0 @ 28.0848
89.35/89.61	c bounds 1413 >= 0 @ 28.1172
89.35/89.61	c bounds 1411 >= 0 @ 28.1505
89.35/89.61	c bounds 1408 >= 0 @ 28.2596
89.35/89.61	c bounds 1404 >= 0 @ 28.3052
89.35/89.61	c bounds 1398 >= 0 @ 28.4148
89.35/89.61	c bounds 1370 >= 0 @ 28.449
89.35/89.61	c bounds 1354 >= 0 @ 28.4847
89.35/89.61	c bounds 1351 >= 0 @ 28.5212
89.35/89.61	c bounds 1338 >= 0 @ 28.6556
89.35/89.61	c bounds 1336 >= 0 @ 29.0826
89.35/89.61	c bounds 1314 >= 0 @ 29.1171
89.35/89.61	c bounds 1313 >= 0 @ 30.7122
89.35/89.61	c bounds 1312 >= 0 @ 30.9886
89.35/89.61	c bounds 1308 >= 0 @ 31.2041
89.35/89.61	c bounds 1298 >= 0 @ 31.2309
89.35/89.61	c bounds 1277 >= 0 @ 31.272
89.35/89.61	c bounds 1268 >= 0 @ 31.3026
89.35/89.61	c bounds 1253 >= 0 @ 31.3389
89.35/89.61	c bounds 1250 >= 0 @ 31.4627
89.35/89.61	c bounds 1246 >= 0 @ 31.4888
89.35/89.61	c bounds 1243 >= 0 @ 31.5269
89.35/89.61	c bounds 1238 >= 0 @ 32.4543
89.35/89.61	c #Conflicts:       4000 | #Constraints:     660214
89.35/89.61	c bounds 1217 >= 0 @ 33.6479
89.35/89.61	c INPROCESSING
89.35/89.61	c GARBAGE COLLECT
89.35/89.61	c #Conflicts:       5000 | #Constraints:     659375
89.35/89.61	c #Conflicts:       6000 | #Constraints:     660387
89.35/89.61	c INPROCESSING
89.35/89.61	c GARBAGE COLLECT
89.35/89.61	c bounds 1216 >= 0 @ 84.3536
89.35/89.61	c bounds 1210 >= 0 @ 84.3814
89.35/89.61	c bounds 1208 >= 0 @ 84.4372
89.35/89.61	c bounds 1204 >= 0 @ 84.4614
89.35/89.61	c bounds 1197 >= 0 @ 84.4894
89.35/89.61	c bounds 1195 >= 0 @ 84.5207
89.35/89.61	c bounds 1178 >= 0 @ 84.5468
89.35/89.61	c bounds 1162 >= 0 @ 84.8041
89.35/89.61	c bounds 1158 >= 0 @ 84.8541
89.35/89.61	c bounds 1140 >= 0 @ 84.8857
89.35/89.61	c bounds 1138 >= 0 @ 84.9065
89.35/89.61	c bounds 1137 >= 0 @ 84.9271
89.35/89.61	c bounds 1127 >= 0 @ 85.0893
89.35/89.61	c bounds 1116 >= 0 @ 85.12
89.35/89.61	c bounds 1108 >= 0 @ 85.1564
89.35/89.61	c bounds 1096 >= 0 @ 85.2824
89.35/89.61	c bounds 1076 >= 0 @ 85.3189
89.35/89.61	c bounds 1074 >= 0 @ 85.3424
89.35/89.61	c bounds 1072 >= 0 @ 85.4486
89.35/89.61	c bounds 1057 >= 0 @ 85.671
89.35/89.61	c bounds 1049 >= 0 @ 85.6999
89.35/89.61	c bounds 1047 >= 0 @ 85.7293
89.35/89.61	c bounds 1043 >= 0 @ 85.9333
89.35/89.61	c bounds 1039 >= 0 @ 86.0571
89.35/89.61	c bounds 1021 >= 0 @ 86.0938
89.35/89.61	c bounds 1011 >= 0 @ 86.1215
89.35/89.61	c bounds 1002 >= 0 @ 86.162
89.35/89.61	c bounds 1001 >= 0 @ 86.1847
89.35/89.61	c bounds 996 >= 0 @ 86.2126
89.35/89.61	c bounds 992 >= 0 @ 86.3435
89.35/89.61	c bounds 973 >= 0 @ 86.3639
89.35/89.61	c bounds 963 >= 0 @ 86.3896
89.35/89.61	c bounds 954 >= 0 @ 86.4272
89.35/89.61	c bounds 953 >= 0 @ 86.4515
89.35/89.61	c bounds 947 >= 0 @ 86.4806
89.35/89.61	c bounds 946 >= 0 @ 86.5149
89.35/89.61	c bounds 940 >= 0 @ 86.6428
89.35/89.61	c bounds 939 >= 0 @ 86.8148
89.35/89.61	c bounds 932 >= 0 @ 86.8525
89.35/89.61	c bounds 928 >= 0 @ 86.8873
89.35/89.61	c bounds 927 >= 0 @ 86.9207
89.35/89.61	c bounds 925 >= 0 @ 87.035
89.35/89.61	c bounds 923 >= 0 @ 87.1614
89.35/89.61	c bounds 921 >= 0 @ 87.2818
89.35/89.61	c bounds 920 >= 0 @ 87.3086
89.35/89.61	c bounds 916 >= 0 @ 87.3434
217.82/218.46	c bounds 910 >= 0 @ 87.3798
217.82/218.46	c bounds 908 >= 0 @ 87.4028
217.82/218.46	c bounds 900 >= 0 @ 87.527
217.82/218.46	c bounds 892 >= 0 @ 87.5563
217.82/218.46	c bounds 891 >= 0 @ 87.5844
217.82/218.46	c bounds 867 >= 0 @ 87.6136
217.82/218.46	c bounds 861 >= 0 @ 87.7322
217.82/218.46	c bounds 860 >= 0 @ 87.7772
217.82/218.46	c bounds 859 >= 0 @ 87.8039
217.82/218.46	c bounds 849 >= 0 @ 87.8323
217.82/218.46	c bounds 827 >= 0 @ 87.9532
217.82/218.46	c bounds 808 >= 0 @ 88.0866
217.82/218.46	c bounds 807 >= 0 @ 88.1233
217.82/218.46	c bounds 805 >= 0 @ 88.2441
217.82/218.46	c bounds 802 >= 0 @ 88.2646
217.82/218.46	c #Conflicts:       7000 | #Constraints:     659442
217.82/218.46	c bounds 801 >= 0 @ 88.6876
217.82/218.46	c bounds 799 >= 0 @ 88.838
217.82/218.46	c bounds 789 >= 0 @ 89.5079
217.82/218.46	c #Conflicts:       8000 | #Constraints:     660466
217.82/218.46	c bounds 787 >= 0 @ 95.6863
217.82/218.46	c bounds 779 >= 0 @ 95.9306
217.82/218.46	c bounds 778 >= 0 @ 96.1454
217.82/218.46	c bounds 770 >= 0 @ 96.4723
217.82/218.46	c bounds 769 >= 0 @ 96.888
217.82/218.46	c #Conflicts:       9000 | #Constraints:     661491
217.82/218.46	c INPROCESSING
217.82/218.46	c GARBAGE COLLECT
217.82/218.46	c bounds 757 >= 0 @ 128.998
217.82/218.46	c bounds 756 >= 0 @ 129.099
217.82/218.46	c bounds 755 >= 0 @ 129.139
217.82/218.46	c bounds 751 >= 0 @ 129.189
217.82/218.46	c bounds 742 >= 0 @ 129.238
217.82/218.46	c bounds 738 >= 0 @ 129.434
217.82/218.46	c bounds 737 >= 0 @ 129.458
217.82/218.46	c bounds 736 >= 0 @ 129.714
217.82/218.46	c bounds 734 >= 0 @ 129.742
217.82/218.46	c bounds 728 >= 0 @ 129.782
217.82/218.46	c bounds 722 >= 0 @ 129.934
217.82/218.46	c bounds 719 >= 0 @ 130.112
217.82/218.46	c bounds 713 >= 0 @ 130.142
217.82/218.46	c bounds 712 >= 0 @ 130.173
217.82/218.46	c bounds 706 >= 0 @ 130.206
217.82/218.46	c bounds 681 >= 0 @ 130.231
217.82/218.46	c bounds 679 >= 0 @ 130.437
217.82/218.46	c bounds 678 >= 0 @ 130.473
217.82/218.46	c bounds 673 >= 0 @ 130.502
217.82/218.46	c bounds 670 >= 0 @ 130.531
217.82/218.46	c bounds 660 >= 0 @ 130.557
217.82/218.46	c bounds 657 >= 0 @ 130.594
217.82/218.46	c bounds 652 >= 0 @ 130.637
217.82/218.46	c bounds 649 >= 0 @ 130.766
217.82/218.46	c bounds 648 >= 0 @ 130.894
217.82/218.46	c bounds 644 >= 0 @ 130.933
217.82/218.46	c bounds 643 >= 0 @ 130.959
217.82/218.46	c bounds 642 >= 0 @ 131.04
217.82/218.46	c bounds 638 >= 0 @ 131.079
217.82/218.46	c bounds 636 >= 0 @ 131.11
217.82/218.46	c bounds 634 >= 0 @ 131.257
217.82/218.46	c bounds 632 >= 0 @ 131.349
217.82/218.46	c bounds 630 >= 0 @ 131.468
217.82/218.46	c bounds 628 >= 0 @ 131.618
217.82/218.46	c bounds 621 >= 0 @ 132.63
217.82/218.46	c bounds 619 >= 0 @ 133.035
217.82/218.46	c bounds 618 >= 0 @ 134.021
217.82/218.46	c bounds 608 >= 0 @ 134.681
217.82/218.46	c bounds 604 >= 0 @ 135.215
217.82/218.46	c bounds 602 >= 0 @ 135.634
217.82/218.46	c bounds 586 >= 0 @ 135.8
217.82/218.46	c bounds 584 >= 0 @ 135.992
217.82/218.46	c bounds 579 >= 0 @ 136.051
217.82/218.46	c bounds 578 >= 0 @ 136.187
217.82/218.46	c bounds 573 >= 0 @ 136.36
217.82/218.46	c #Conflicts:      10000 | #Constraints:     660146
217.82/218.46	c bounds 569 >= 0 @ 136.824
217.82/218.46	c bounds 564 >= 0 @ 137.146
217.82/218.46	c bounds 561 >= 0 @ 138.065
217.82/218.46	c bounds 559 >= 0 @ 138.448
217.82/218.46	c bounds 557 >= 0 @ 138.791
217.82/218.46	c bounds 554 >= 0 @ 139.264
217.82/218.46	c #Conflicts:      11000 | #Constraints:     661182
217.82/218.46	c bounds 553 >= 0 @ 145.279
217.82/218.46	c #Conflicts:      12000 | #Constraints:     662199
217.82/218.46	c INPROCESSING
217.82/218.46	c GARBAGE COLLECT
217.82/218.46	c #Conflicts:      13000 | #Constraints:     660544
217.82/218.46	c #Conflicts:      14000 | #Constraints:     661554
217.82/218.46	c #Conflicts:      15000 | #Constraints:     662564
217.82/218.46	c INPROCESSING
217.82/218.46	c GARBAGE COLLECT
217.82/218.46	c bounds 552 >= 0 @ 174.129
217.82/218.46	c bounds 551 >= 0 @ 174.215
217.82/218.46	c bounds 547 >= 0 @ 176.587
217.82/218.46	c bounds 546 >= 0 @ 176.646
217.82/218.46	c bounds 540 >= 0 @ 177.519
217.82/218.46	c bounds 539 >= 0 @ 177.664
217.82/218.46	c bounds 537 >= 0 @ 177.847
217.82/218.46	c bounds 536 >= 0 @ 178.358
217.82/218.46	c bounds 534 >= 0 @ 178.671
217.82/218.46	c bounds 531 >= 0 @ 178.698
217.82/218.46	c bounds 529 >= 0 @ 178.818
217.82/218.46	c bounds 527 >= 0 @ 178.956
217.82/218.46	c bounds 522 >= 0 @ 179.155
217.82/218.46	c bounds 518 >= 0 @ 180.078
217.82/218.46	c bounds 517 >= 0 @ 182.407
217.82/218.46	c bounds 514 >= 0 @ 182.913
217.82/218.46	c #Conflicts:      16000 | #Constraints:     660788
217.82/218.46	c bounds 513 >= 0 @ 184.062
217.82/218.46	c #Conflicts:      17000 | #Constraints:     661806
217.82/218.46	c bounds 511 >= 0 @ 196.477
217.82/218.46	c #Conflicts:      18000 | #Constraints:     662826
217.82/218.46	c INPROCESSING
217.82/218.46	c GARBAGE COLLECT
217.82/218.46	c rational objective 182.875
308.58/309.40	c bounds 505 >= 0 @ 223.428
308.58/309.40	c bounds 501 >= 0 @ 223.476
308.58/309.40	c #Conflicts:      19000 | #Constraints:     660785
308.58/309.40	c bounds 500 >= 0 @ 230.941
308.58/309.40	c #Conflicts:      20000 | #Constraints:     661797
308.58/309.40	c #Conflicts:      21000 | #Constraints:     662810
308.58/309.40	c INPROCESSING
308.58/309.40	c GARBAGE COLLECT
308.58/309.40	c bounds 499 >= 0 @ 252.791
308.58/309.40	c bounds 498 >= 0 @ 253.101
308.58/309.40	c bounds 497 >= 0 @ 253.768
308.58/309.40	c bounds 495 >= 0 @ 256.056
308.58/309.40	c #Conflicts:      22000 | #Constraints:     660578
308.58/309.40	c bounds 487 >= 0 @ 261.096
308.58/309.40	c #Conflicts:      23000 | #Constraints:     661601
308.58/309.40	c #Conflicts:      24000 | #Constraints:     662612
308.58/309.40	c #Conflicts:      25000 | #Constraints:     663618
308.58/309.40	c INPROCESSING
308.58/309.40	c GARBAGE COLLECT
308.58/309.40	c rational objective 185.312
473.77/475.08	c bounds 481 >= 0 @ 309.374
473.77/475.08	c bounds 478 >= 0 @ 309.448
473.77/475.08	c #Conflicts:      26000 | #Constraints:     661193
473.77/475.08	c bounds 472 >= 0 @ 316.572
473.77/475.08	c bounds 470 >= 0 @ 317.101
473.77/475.08	c bounds 469 >= 0 @ 317.169
473.77/475.08	c bounds 468 >= 0 @ 317.74
473.77/475.08	c bounds 467 >= 0 @ 317.795
473.77/475.08	c bounds 466 >= 0 @ 317.959
473.77/475.08	c bounds 465 >= 0 @ 318.014
473.77/475.08	c bounds 460 >= 0 @ 318.08
473.77/475.08	c #Conflicts:      27000 | #Constraints:     662223
473.77/475.08	c bounds 455 >= 0 @ 327.627
473.77/475.08	c #Conflicts:      28000 | #Constraints:     663236
473.77/475.08	c #Conflicts:      29000 | #Constraints:     664243
473.77/475.08	c INPROCESSING
473.77/475.08	c GARBAGE COLLECT
473.77/475.08	c bounds 454 >= 0 @ 349.512
473.77/475.08	c bounds 440 >= 0 @ 349.69
473.77/475.08	c #Conflicts:      30000 | #Constraints:     661599
473.77/475.08	c bounds 438 >= 0 @ 360.925
473.77/475.08	c #Conflicts:      31000 | #Constraints:     662617
473.77/475.08	c #Conflicts:      32000 | #Constraints:     663625
473.77/475.08	c #Conflicts:      33000 | #Constraints:     664634
473.77/475.08	c INPROCESSING
473.77/475.08	c GARBAGE COLLECT
473.77/475.08	c rational objective 186.375
782.66/784.78	c #Conflicts:      34000 | #Constraints:     661796
782.66/784.78	c bounds 437 >= 0 @ 489.198
782.66/784.78	c bounds 436 >= 0 @ 489.333
782.66/784.78	c #Conflicts:      35000 | #Constraints:     662814
782.66/784.78	c #Conflicts:      36000 | #Constraints:     663826
782.66/784.78	c #Conflicts:      37000 | #Constraints:     664834
782.66/784.78	c INPROCESSING
782.66/784.78	c GARBAGE COLLECT
782.66/784.78	c #Conflicts:      38000 | #Constraints:     661791
782.66/784.78	c bounds 435 >= 0 @ 528.755
782.66/784.78	c bounds 433 >= 0 @ 528.895
782.66/784.78	c #Conflicts:      39000 | #Constraints:     662805
782.66/784.78	c #Conflicts:      40000 | #Constraints:     663823
782.66/784.78	c #Conflicts:      41000 | #Constraints:     664835
782.66/784.78	c INPROCESSING
782.66/784.78	c GARBAGE COLLECT
782.66/784.78	c #Conflicts:      42000 | #Constraints:     661598
782.66/784.78	c #Conflicts:      43000 | #Constraints:     662607
782.66/784.78	c #Conflicts:      44000 | #Constraints:     663617
782.66/784.78	c #Conflicts:      45000 | #Constraints:     664627
782.66/784.78	c #Conflicts:      46000 | #Constraints:     665635
782.66/784.78	c INPROCESSING
782.66/784.78	c GARBAGE COLLECT
782.66/784.78	c rational objective 187.667
1127.39/1130.30	c bounds 429 >= 0 @ 783.036
1127.39/1130.30	c bounds 428 >= 0 @ 785.262
1127.39/1130.30	c bounds 424 >= 0 @ 786.335
1127.39/1130.30	c bounds 399 >= 0 @ 787.26
1127.39/1130.30	c bounds 397 >= 0 @ 788.174
1127.39/1130.30	c #Conflicts:      47000 | #Constraints:     662210
1127.39/1130.30	c #Conflicts:      48000 | #Constraints:     663222
1127.39/1130.30	c bounds 396 >= 0 @ 805.933
1127.39/1130.30	c #Conflicts:      49000 | #Constraints:     664242
1127.39/1130.30	c #Conflicts:      50000 | #Constraints:     665260
1127.39/1130.30	c bounds 395 >= 0 @ 835.912
1127.39/1130.30	c #Conflicts:      51000 | #Constraints:     666276
1127.39/1130.30	c INPROCESSING
1127.39/1130.30	c GARBAGE COLLECT
1127.39/1130.30	c #Conflicts:      52000 | #Constraints:     662617
1127.39/1130.30	c #Conflicts:      53000 | #Constraints:     663627
1127.39/1130.30	c #Conflicts:      54000 | #Constraints:     664638
1127.39/1130.30	c #Conflicts:      55000 | #Constraints:     665646
1127.39/1130.30	c #Conflicts:      56000 | #Constraints:     666653
1127.39/1130.30	c INPROCESSING
1127.39/1130.30	c GARBAGE COLLECT
1127.39/1130.30	c bounds 394 >= 0 @ 901.335
1127.39/1130.30	c bounds 392 >= 0 @ 901.385
1127.39/1130.30	c bounds 391 >= 0 @ 902.184
1127.39/1130.30	c bounds 389 >= 0 @ 902.941
1127.39/1130.30	c bounds 388 >= 0 @ 904.154
1127.39/1130.30	c bounds 387 >= 0 @ 906.906
1127.39/1130.30	c bounds 383 >= 0 @ 906.957
1127.39/1130.30	c bounds 382 >= 0 @ 908.723
1127.39/1130.30	c bounds 381 >= 0 @ 908.978
1127.39/1130.30	c #Conflicts:      57000 | #Constraints:     662814
1127.39/1130.30	c #Conflicts:      58000 | #Constraints:     663832
1127.39/1130.30	c bounds 377 >= 0 @ 924.829
1127.39/1130.30	c bounds 372 >= 0 @ 931.263
1127.39/1130.30	c bounds 369 >= 0 @ 931.711
1127.39/1130.30	c #Conflicts:      59000 | #Constraints:     664857
1127.39/1130.30	c bounds 368 >= 0 @ 943.961
1127.39/1130.30	c #Conflicts:      60000 | #Constraints:     665876
1127.39/1130.30	c #Conflicts:      61000 | #Constraints:     666887
1127.39/1130.30	c INPROCESSING
1127.39/1130.30	c GARBAGE COLLECT
1127.39/1130.30	c rational objective 189.034
1399.67/1403.34	c #Conflicts:      62000 | #Constraints:     662815
1399.67/1403.34	c #Conflicts:      63000 | #Constraints:     663831
1399.67/1403.34	c #Conflicts:      64000 | #Constraints:     664842
1399.67/1403.34	c #Conflicts:      65000 | #Constraints:     665856
1399.67/1403.34	c #Conflicts:      66000 | #Constraints:     666862
1399.67/1403.34	c INPROCESSING
1399.67/1403.34	c GARBAGE COLLECT
1399.67/1403.34	c #Conflicts:      67000 | #Constraints:     662602
1399.67/1403.34	c #Conflicts:      68000 | #Constraints:     663613
1399.67/1403.34	c #Conflicts:      69000 | #Constraints:     664620
1399.67/1403.34	c #Conflicts:      70000 | #Constraints:     665628
1399.67/1403.34	c #Conflicts:      71000 | #Constraints:     666637
1399.67/1403.34	c #Conflicts:      72000 | #Constraints:     667642
1399.67/1403.34	c INPROCESSING
1399.67/1403.34	c GARBAGE COLLECT
1399.67/1403.34	c #Conflicts:      73000 | #Constraints:     663189
1399.67/1403.34	c #Conflicts:      74000 | #Constraints:     664194
1399.67/1403.34	c #Conflicts:      75000 | #Constraints:     665201
1399.67/1403.34	c #Conflicts:      76000 | #Constraints:     666204
1399.67/1403.34	c #Conflicts:      77000 | #Constraints:     667211
1399.67/1403.34	c #Conflicts:      78000 | #Constraints:     668216
1399.67/1403.34	c INPROCESSING
1399.67/1403.34	c GARBAGE COLLECT
1399.67/1403.34	c rational objective 189.444
1632.71/1637.04	c #Conflicts:      79000 | #Constraints:     663576
1632.71/1637.04	c #Conflicts:      80000 | #Constraints:     664584
1632.71/1637.04	c #Conflicts:      81000 | #Constraints:     665590
1632.71/1637.04	c #Conflicts:      82000 | #Constraints:     666594
1632.71/1637.04	c #Conflicts:      83000 | #Constraints:     667598
1632.71/1637.04	c #Conflicts:      84000 | #Constraints:     668601
1632.71/1637.04	c INPROCESSING
1632.71/1637.04	c GARBAGE COLLECT
1632.71/1637.04	c bounds 364 >= 0 @ 1501.81
1632.71/1637.04	c #Conflicts:      85000 | #Constraints:     663781
1632.71/1637.04	c bounds 363 >= 0 @ 1518.87
1632.71/1637.04	c bounds 362 >= 0 @ 1518.95
1632.71/1637.04	c bounds 360 >= 0 @ 1521.88
1632.71/1637.04	c #Conflicts:      86000 | #Constraints:     664803
1632.71/1637.04	c bounds 359 >= 0 @ 1525.2
1632.71/1637.04	c bounds 357 >= 0 @ 1526.14
1632.71/1637.04	c #Conflicts:      87000 | #Constraints:     665824
1632.71/1637.04	c #Conflicts:      88000 | #Constraints:     666832
1632.71/1637.04	c #Conflicts:      89000 | #Constraints:     667839
1632.71/1637.04	c #Conflicts:      90000 | #Constraints:     668845
1632.71/1637.04	c INPROCESSING
1632.71/1637.04	c GARBAGE COLLECT
1632.71/1637.04	c rational objective 189.465
1707.87/1712.44	c #Conflicts:      91000 | #Constraints:     663795
1707.87/1712.44	c #Conflicts:      92000 | #Constraints:     664795
1707.87/1712.44	c #Conflicts:      93000 | #Constraints:     665797
1707.87/1712.44	c #Conflicts:      94000 | #Constraints:     666797
1707.87/1712.44	c #Conflicts:      95000 | #Constraints:     667799
1707.87/1712.44	c #Conflicts:      96000 | #Constraints:     668801
1707.87/1712.44	c INPROCESSING
1707.87/1712.44	c rational objective 189.465
2086.01/2091.74	c #Conflicts:      97000 | #Constraints:     663581
2086.01/2091.74	c #Conflicts:      98000 | #Constraints:     664585
2086.01/2091.74	c #Conflicts:      99000 | #Constraints:     665593
2086.01/2091.74	c #Conflicts:     100000 | #Constraints:     666602
2086.01/2091.74	c #Conflicts:     101000 | #Constraints:     667607
2086.01/2091.74	c #Conflicts:     102000 | #Constraints:     668612
2086.01/2091.74	c #Conflicts:     103000 | #Constraints:     669615
2086.01/2091.74	c INPROCESSING
2086.01/2091.74	c GARBAGE COLLECT
2086.01/2091.74	c #Conflicts:     104000 | #Constraints:     664180
2086.01/2091.74	c #Conflicts:     105000 | #Constraints:     665195
2086.01/2091.74	c #Conflicts:     106000 | #Constraints:     666204
2086.01/2091.74	c #Conflicts:     107000 | #Constraints:     667215
2086.01/2091.74	c #Conflicts:     108000 | #Constraints:     668229
2086.01/2091.74	c bounds 356 >= 0 @ 1875.35
2086.01/2091.74	c #Conflicts:     109000 | #Constraints:     669243
2086.01/2091.74	c #Conflicts:     110000 | #Constraints:     670250
2086.01/2091.74	c INPROCESSING
2086.01/2091.74	c GARBAGE COLLECT
2086.01/2091.74	c rational objective 189.468
2385.73/2392.49	c #Conflicts:     111000 | #Constraints:     664602
2385.73/2392.49	c #Conflicts:     112000 | #Constraints:     665611
2385.73/2392.49	c #Conflicts:     113000 | #Constraints:     666616
2385.73/2392.49	c #Conflicts:     114000 | #Constraints:     667622
2385.73/2392.49	c #Conflicts:     115000 | #Constraints:     668629
2385.73/2392.49	c #Conflicts:     116000 | #Constraints:     669633
2385.73/2392.49	c #Conflicts:     117000 | #Constraints:     670640
2385.73/2392.49	c INPROCESSING
2385.73/2392.49	c GARBAGE COLLECT
2385.73/2392.49	c #Conflicts:     118000 | #Constraints:     664789
2385.73/2392.49	c #Conflicts:     119000 | #Constraints:     665792
2385.73/2392.49	c #Conflicts:     120000 | #Constraints:     666799
2385.73/2392.49	c #Conflicts:     121000 | #Constraints:     667802
2385.73/2392.49	c #Conflicts:     122000 | #Constraints:     668808
2385.73/2392.49	c #Conflicts:     123000 | #Constraints:     669814
2385.73/2392.49	c #Conflicts:     124000 | #Constraints:     670823
2385.73/2392.49	c INPROCESSING
2385.73/2392.49	c GARBAGE COLLECT
2385.73/2392.49	c rational objective 189.468
2702.72/2710.44	c #Conflicts:     125000 | #Constraints:     664778
2702.72/2710.44	c #Conflicts:     126000 | #Constraints:     665792
2702.72/2710.44	c bounds 355 >= 0 @ 2412.2
2702.72/2710.44	c bounds 353 >= 0 @ 2418.05
2702.72/2710.44	c #Conflicts:     127000 | #Constraints:     666806
2702.72/2710.44	c #Conflicts:     128000 | #Constraints:     667824
2702.72/2710.44	c bounds 352 >= 0 @ 2439.11
2702.72/2710.44	c #Conflicts:     129000 | #Constraints:     668841
2702.72/2710.44	c bounds 351 >= 0 @ 2460.55
2702.72/2710.44	c bounds 350 >= 0 @ 2462.09
2702.72/2710.44	c bounds 349 >= 0 @ 2462.27
2702.72/2710.44	c bounds 348 >= 0 @ 2462.47
2702.72/2710.44	c bounds 346 >= 0 @ 2464.75
2702.72/2710.44	c bounds 344 >= 0 @ 2473.92
2702.72/2710.44	c bounds 342 >= 0 @ 2474.1
2702.72/2710.44	c #Conflicts:     130000 | #Constraints:     669857
2702.72/2710.44	c #Conflicts:     131000 | #Constraints:     670864
2702.72/2710.44	c INPROCESSING
2702.72/2710.44	c GARBAGE COLLECT
2702.72/2710.44	c bounds 339 >= 0 @ 2505.89
2702.72/2710.44	c bounds 337 >= 0 @ 2505.98
2702.72/2710.44	c #Conflicts:     132000 | #Constraints:     664592
2702.72/2710.44	c #Conflicts:     133000 | #Constraints:     665610
2702.72/2710.44	c #Conflicts:     134000 | #Constraints:     666619
2702.72/2710.44	c #Conflicts:     135000 | #Constraints:     667629
2702.72/2710.44	c #Conflicts:     136000 | #Constraints:     668636
2702.72/2710.44	c #Conflicts:     137000 | #Constraints:     669649
2702.72/2710.44	c #Conflicts:     138000 | #Constraints:     670658
2702.72/2710.44	c #Conflicts:     139000 | #Constraints:     671669
2702.72/2710.44	c INPROCESSING
2702.72/2710.44	c GARBAGE COLLECT
2702.72/2710.44	c rational objective 189.471
3082.65/3091.50	c #Conflicts:     140000 | #Constraints:     665244
3082.65/3091.50	c #Conflicts:     141000 | #Constraints:     666284
3082.65/3091.50	c #Conflicts:     142000 | #Constraints:     667519
3082.65/3091.50	c #Conflicts:     143000 | #Constraints:     668815
3082.65/3091.50	c #Conflicts:     144000 | #Constraints:     669868
3082.65/3091.50	c #Conflicts:     145000 | #Constraints:     670965
3082.65/3091.50	c #Conflicts:     146000 | #Constraints:     672659
3082.65/3091.50	c #Conflicts:     147000 | #Constraints:     674526
3082.65/3091.50	c INPROCESSING
3082.65/3091.50	c GARBAGE COLLECT
3082.65/3091.50	c rational objective 189.471
3305.47/3315.01	c bounds 335 >= 0 @ 3090.97
3305.47/3315.01	c bounds 334 >= 0 @ 3091.14
3305.47/3315.01	c #Conflicts:     148000 | #Constraints:     666777
3305.47/3315.01	c #Conflicts:     149000 | #Constraints:     667797
3305.47/3315.01	c #Conflicts:     150000 | #Constraints:     668810
3305.47/3315.01	c #Conflicts:     151000 | #Constraints:     669824
3305.47/3315.01	c #Conflicts:     152000 | #Constraints:     670839
3305.47/3315.01	c #Conflicts:     153000 | #Constraints:     671855
3305.47/3315.01	c #Conflicts:     154000 | #Constraints:     672865
3305.47/3315.01	c #Conflicts:     155000 | #Constraints:     673880
3305.47/3315.01	c INPROCESSING
3305.47/3315.01	c GARBAGE COLLECT
3305.47/3315.01	c rational objective 189.471
3486.42/3496.52	c #Conflicts:     156000 | #Constraints:     666410
3486.42/3496.52	c #Conflicts:     157000 | #Constraints:     667413
3486.42/3496.52	c #Conflicts:     158000 | #Constraints:     668421
3486.42/3496.52	c #Conflicts:     159000 | #Constraints:     669426
3486.42/3496.52	c #Conflicts:     160000 | #Constraints:     670432
3486.42/3496.52	c #Conflicts:     161000 | #Constraints:     671439
3486.42/3496.52	c #Conflicts:     162000 | #Constraints:     672443
3486.42/3496.52	c #Conflicts:     163000 | #Constraints:     673448
3486.42/3496.52	c INPROCESSING
3486.42/3496.52	c GARBAGE COLLECT
3486.42/3496.52	c rational objective 189.471
3600.07/3610.50	c #Conflicts:     164000 | #Constraints:     666096
3600.07/3610.50	c #Conflicts:     165000 | #Constraints:     667107
3600.07/3610.50	c #Conflicts:     166000 | #Constraints:     668115
3600.07/3610.50	c #Conflicts:     167000 | #Constraints:     669127
3600.07/3610.50	c #Conflicts:     168000 | #Constraints:     670135
3600.07/3610.50	c #Conflicts:     169000 | #Constraints:     671141
3600.07/3610.50	c #Conflicts:     170000 | #Constraints:     672147
3600.07/3610.50	c Program interrupted by user.
3600.07/3610.50	c cpu time 3586.89 s
3600.07/3610.50	c deterministic time 443172956709 4.43e+11
3600.07/3610.50	c optimization time 105.129 s
3600.07/3610.50	c total solve time 3480.39 s
3600.07/3610.50	c core-guided solve time 2368.54 s
3600.07/3610.50	c propagation time 1887.68 s
3600.07/3610.50	c conflict analysis time 493.999 s
3600.07/3610.50	c propagations 56079688
3600.07/3610.50	c resolve steps 1512147
3600.07/3610.50	c decisions 6805836
3600.07/3610.50	c conflicts 170766
3600.07/3610.50	c restarts 466
3600.07/3610.50	c inprocessing phases 32
3600.07/3610.50	c input clauses 656900
3600.07/3610.50	c input cardinalities 0
3600.07/3610.50	c input general constraints 430
3600.07/3610.50	c input average constraint length 8.57
3600.07/3610.50	c input average constraint degree 323.33
3600.07/3610.50	c learned clauses 18065
3600.07/3610.50	c learned cardinalities 18
3600.07/3610.50	c learned general constraints 156885
3600.07/3610.50	c learned average constraint length 7652.19
3600.07/3610.50	c learned average constraint degree 384771628805.64
3600.07/3610.50	c watched constraints 1914
3600.07/3610.50	c counting constraints 155401
3600.07/3610.50	c gcd simplifications 1123
3600.07/3610.50	c detected cardinalities 0
3600.07/3610.50	c weakened non-implied lits 221805700
3600.07/3610.50	c weakened non-implying lits 60610
3600.07/3610.50	c original variables 10000
3600.07/3610.50	c clausal propagations 13366828
3600.07/3610.50	c cardinality propagations 3267
3600.07/3610.50	c watched propagations 11881
3600.07/3610.50	c counting propagations 41471167
3600.07/3610.50	c watch lookups 13740957533
3600.07/3610.50	c watch backjump lookups 13727503552
3600.07/3610.50	c watch checks 1919140279
3600.07/3610.50	c propagation checks 410443792866
3600.07/3610.50	c constraint additions 3215289550
3600.07/3610.50	c trail pops 63044588
3600.07/3610.50	c formula constraints 656900
3600.07/3610.50	c learned constraints 168944
3600.07/3610.50	c bound constraints 430
3600.07/3610.50	c core-guided constraints 0
3600.07/3610.50	c encountered formula constraints 1227091
3600.07/3610.50	c encountered learned constraints 332664
3600.07/3610.50	c encountered bound constraints 2268
3600.07/3610.50	c encountered core-guided constraints 0
3600.07/3610.50	c LP total time 1521.88 s
3600.07/3610.50	c LP solve time 1352.31 s
3600.07/3610.50	c LP constraints added 656932
3600.07/3610.50	c LP constraints removed 10
3600.07/3610.50	c LP pivots internal 170855
3600.07/3610.50	c LP pivots root 171961
3600.07/3610.50	c LP calls 4398
3600.07/3610.50	c LP optimalities 215
3600.07/3610.50	c LP no pivot count 8
3600.07/3610.50	c LP infeasibilities 4177
3600.07/3610.50	c LP valid Farkas constraints 4175
3600.07/3610.50	c LP learned Farkas constraints 1821
3600.07/3610.50	c LP basis resets 4
3600.07/3610.50	c LP cycling count 0
3600.07/3610.50	c LP singular count 0
3600.07/3610.50	c LP no primal count 0
3600.07/3610.50	c LP no farkas count 2
3600.07/3610.50	c LP other issue count 2
3600.07/3610.50	c LP Gomory cuts 28
3600.07/3610.50	c LP learned cuts 4
3600.07/3610.50	c LP deleted cuts 10
3600.07/3610.50	c LP encountered Gomory constraints 1288
3600.07/3610.50	c LP encountered Farkas constraints 112080
3600.07/3610.50	c LP encountered learned Farkas constraints 5701
3600.07/3610.50	c CG auxiliary variables introduced 0
3600.07/3610.50	c CG solutions found 430
3600.07/3610.50	c CG cores constructed 0
3600.07/3610.50	c CG core cardinality constraints returned 0
3600.07/3610.50	c CG unit cores 0
3600.07/3610.50	c CG single cores 0
3600.07/3610.50	c CG blocks removed during cardinality reduction 0
3600.07/3610.50	c CG first core best 0
3600.07/3610.50	c CG decision core best 0
3600.07/3610.50	c CG core reduction tie 0
3600.07/3610.50	c CG core degree average 0.00
3600.07/3610.50	c CG core slack average 0.00
3600.07/3610.50	s SATISFIABLE
3600.07/3610.50	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	334

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: 64096 MiB (63067 MiB free)
  memory of node 1: 64473 MiB (63228 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1052154, runsolver pid=1052146

[startup+0.100095 s]*
/proc/loadavg: 2.15 2.14 2.60 6/241 1052165
/proc/meminfo: memFree=129304024/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=40436 memory=11096 CPUtime=0.1 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 1559 0 0 0 7 3 0 0 20 0 1 0 198080830 41406464 2774 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 10109 2774 1264 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 11096 KiB

[startup+0.214571 s]*
/proc/loadavg: 2.15 2.14 2.60 6/241 1052165
/proc/meminfo: memFree=129299900/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=40956 memory=11620 CPUtime=0.21 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 1694 0 0 0 14 7 0 0 20 0 1 0 198080830 41938944 2905 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 10239 2905 1264 922 0 2191 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40956 KiB
Current children cumulated memory: 11620 KiB

[startup+0.313506 s]*
/proc/loadavg: 2.15 2.14 2.60 7/241 1052165
/proc/meminfo: memFree=129297448/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=41868 memory=12676 CPUtime=0.32 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 1946 0 0 0 21 11 0 0 20 0 1 0 198080830 42872832 3169 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 10467 3169 1264 922 0 2419 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41868 KiB
Current children cumulated memory: 12676 KiB

[startup+0.700275 s]
/proc/loadavg: 2.15 2.14 2.60 6/241 1052165
/proc/meminfo: memFree=129287384/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=52236 memory=20752 CPUtime=0.69 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 3987 0 0 0 47 22 0 0 20 0 1 0 198080830 53489664 5188 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 13059 5188 1264 922 0 5011 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52236 KiB
Current children cumulated memory: 20752 KiB

[startup+1.50029 s]
/proc/loadavg: 2.15 2.14 2.60 6/241 1052165
/proc/meminfo: memFree=129244116/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=83640 memory=46708 CPUtime=1.48 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 7938 0 0 0 100 48 0 0 20 0 1 0 198080830 85647360 11677 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 20910 11677 1264 922 0 12862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 83640 KiB
Current children cumulated memory: 46708 KiB

[startup+3.11374 s]
/proc/loadavg: 2.29 2.18 2.61 6/241 1052165
/proc/meminfo: memFree=128028972/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=360716 memory=329340 CPUtime=3.09 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 60636 0 0 0 240 69 0 0 20 0 1 0 198080830 369373184 82335 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 90179 82335 1663 922 0 82131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 329340 KiB

[startup+6.30031 s]
/proc/loadavg: 2.29 2.18 2.61 6/241 1052165
/proc/meminfo: memFree=128029944/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=360716 memory=329340 CPUtime=6.27 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 60664 0 0 0 558 69 0 0 20 0 1 0 198080830 369373184 82335 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 90179 82335 1663 922 0 82131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 329340 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 2.21 2.62 6/241 1052166
/proc/meminfo: memFree=127795248/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=524380 memory=413420 CPUtime=12.66 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 68059 0 0 0 1181 85 0 0 20 0 1 0 198080830 536965120 103355 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 131095 103355 1870 922 0 123047 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 524380 KiB
Current children cumulated memory: 413420 KiB

[startup+25.5004 s]
/proc/loadavg: 2.85 2.31 2.64 6/241 1052168
/proc/meminfo: memFree=127449080/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=619204 memory=490076 CPUtime=25.42 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 74548 0 0 0 2414 128 0 0 20 0 1 0 198080830 634064896 122519 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 154801 122519 1870 922 0 146753 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 619204 KiB
Current children cumulated memory: 490076 KiB

[startup+51.1142 s]
/proc/loadavg: 3.25 2.45 2.68 6/242 1052173
/proc/meminfo: memFree=127008296/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=893260 memory=803564 CPUtime=50.96 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 108794 0 0 0 4917 179 0 0 20 0 1 0 198080830 914698240 200891 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 223315 200891 1870 922 0 215267 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 893260 KiB
Current children cumulated memory: 803564 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.72 2.76 6/242 1052182
/proc/meminfo: memFree=126213508/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1048588 memory=833832 CPUtime=102.01 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 113062 0 0 0 9982 219 0 0 20 0 1 0 198080830 1073754112 208458 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 262147 208458 1870 922 0 254099 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1048588 KiB
Current children cumulated memory: 833832 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.97 2.85 6/242 1052194
/proc/meminfo: memFree=125295816/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1222972 memory=1072284 CPUtime=161.86 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 143281 0 0 0 15901 285 0 0 20 0 1 0 198080830 1252323328 268071 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 305743 268071 1870 922 0 297695 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1222972 KiB
Current children cumulated memory: 1072284 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.21 2.94 6/245 1052209
/proc/meminfo: memFree=124893124/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1552924 memory=1237600 CPUtime=221.71 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 165176 0 0 0 21854 317 0 0 20 0 1 0 198080830 1590194176 309400 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 388231 309400 1870 922 0 380183 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1552924 KiB
Current children cumulated memory: 1237600 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.35 3.01 6/245 1052219
/proc/meminfo: memFree=124331876/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1594884 memory=1344052 CPUtime=281.55 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 174630 0 0 0 27787 368 0 0 20 0 1 0 198080830 1633161216 336013 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 398721 336013 1870 922 0 390673 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 1594884 KiB
Current children cumulated memory: 1344052 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.50 3.08 6/245 1052230
/proc/meminfo: memFree=124022440/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1637944 memory=1438088 CPUtime=341.39 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 183593 0 0 0 33738 401 0 0 20 0 1 0 198080830 1677254656 359522 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 409486 359522 1870 922 0 401438 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 1637944 KiB
Current children cumulated memory: 1438088 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 3.78 3.21 6/244 1052240
/proc/meminfo: memFree=123731572/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1637944 memory=1490476 CPUtime=401.24 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 186601 0 0 0 39687 437 0 0 20 0 1 0 198080830 1677254656 372619 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 409486 372619 1870 922 0 401438 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 1637944 KiB
Current children cumulated memory: 1490476 KiB

[startup+462.3 s]
/proc/loadavg: 4.65 3.93 3.30 6/244 1052251
/proc/meminfo: memFree=123659728/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=1648380 memory=1504448 CPUtime=461.09 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 187345 0 0 0 45666 443 0 0 20 0 1 0 198080830 1687941120 376112 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 412095 376112 1870 922 0 404047 0

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

Current children cumulated memory: 2660328 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 6/243 1053698
/proc/meminfo: memFree=119333464/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3316572 memory=2721688 CPUtime=2913.96 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 346826 0 0 0 290268 1128 0 0 20 0 1 0 198080830 3396169728 680422 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 829143 680422 1870 922 0 821095 0
Current children cumulated CPU time: 2913.96 s
Current children cumulated vsize: 3316572 KiB
Current children cumulated memory: 2721688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/243 1053708
/proc/meminfo: memFree=119125952/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3316572 memory=2857388 CPUtime=2973.79 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 356070 0 0 0 296241 1138 0 0 20 0 1 0 198080830 3396169728 714347 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 829143 714347 1870 922 0 821095 0
Current children cumulated CPU time: 2973.79 s
Current children cumulated vsize: 3316572 KiB
Current children cumulated memory: 2857388 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/244 1053719
/proc/meminfo: memFree=119161524/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3337400 memory=2878856 CPUtime=3033.6 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 357617 0 0 0 302215 1145 0 0 20 0 1 0 198080830 3417497600 719714 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 834350 719714 1870 922 0 826302 0
Current children cumulated CPU time: 3033.6 s
Current children cumulated vsize: 3337400 KiB
Current children cumulated memory: 2878856 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 6/245 1053898
/proc/meminfo: memFree=119146104/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3337400 memory=2878856 CPUtime=3093.42 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 358461 0 0 0 308189 1153 0 0 20 0 1 0 198080830 3417497600 719714 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 834350 719714 1870 922 0 826302 0
Current children cumulated CPU time: 3093.42 s
Current children cumulated vsize: 3337400 KiB
Current children cumulated memory: 2878856 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 6/245 1053909
/proc/meminfo: memFree=119094664/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3380908 memory=2930664 CPUtime=3153.24 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 361895 0 0 0 314143 1181 0 0 20 0 1 0 198080830 3462049792 732666 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 845227 732666 1870 922 0 837179 0
Current children cumulated CPU time: 3153.24 s
Current children cumulated vsize: 3380908 KiB
Current children cumulated memory: 2930664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/245 1053934
/proc/meminfo: memFree=119090480/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3380908 memory=2930900 CPUtime=3213.05 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 362764 0 0 0 320108 1197 0 0 20 0 1 0 198080830 3462049792 732725 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 845227 732725 1870 922 0 837179 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 3380908 KiB
Current children cumulated memory: 2930900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.10 6/245 1053944
/proc/meminfo: memFree=119136376/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3380908 memory=2949744 CPUtime=3272.86 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 368497 0 0 0 326080 1206 0 0 20 0 1 0 198080830 3462049792 737436 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 845227 737436 1870 922 0 837179 0
Current children cumulated CPU time: 3272.86 s
Current children cumulated vsize: 3380908 KiB
Current children cumulated memory: 2949744 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/244 1053955
/proc/meminfo: memFree=119126340/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3380908 memory=2959048 CPUtime=3332.68 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 369408 0 0 0 332045 1223 0 0 20 0 1 0 198080830 3462049792 739762 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 845227 739762 1870 922 0 837179 0
Current children cumulated CPU time: 3332.68 s
Current children cumulated vsize: 3380908 KiB
Current children cumulated memory: 2959048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.10 6/243 1053965
/proc/meminfo: memFree=119116056/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3380908 memory=2959048 CPUtime=3392.5 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 370441 0 0 0 337996 1254 0 0 20 0 1 0 198080830 3462049792 739762 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 845227 739762 1870 922 0 837179 0
Current children cumulated CPU time: 3392.5 s
Current children cumulated vsize: 3380908 KiB
Current children cumulated memory: 2959048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 6/243 1053976
/proc/meminfo: memFree=118887492/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3785024 memory=3194964 CPUtime=3452.32 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 424622 0 0 0 343961 1271 0 0 20 0 1 0 198080830 3875864576 798741 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 946256 798741 1870 922 0 938208 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 3785024 KiB
Current children cumulated memory: 3194964 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 6/241 1053987
/proc/meminfo: memFree=118877976/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3796924 memory=3196724 CPUtime=3512.15 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 425688 0 0 0 349932 1283 0 0 20 0 1 0 198080830 3888050176 799181 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 949231 799181 1870 922 0 941183 0
Current children cumulated CPU time: 3512.15 s
Current children cumulated vsize: 3796924 KiB
Current children cumulated memory: 3196724 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/241 1053997
/proc/meminfo: memFree=118818160/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3796924 memory=3196724 CPUtime=3571.96 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 426869 0 0 0 355890 1306 0 0 20 0 1 0 198080830 3888050176 799181 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 949231 799181 1870 922 0 941183 0
Current children cumulated CPU time: 3571.96 s
Current children cumulated vsize: 3796924 KiB
Current children cumulated memory: 3196724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.15 4.14 4.09 5/239 1054002
/proc/meminfo: memFree=121302920/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3796924 memory=3196724 CPUtime=3600.07 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 427249 0 0 0 358689 1318 0 0 20 0 1 0 198080830 3888050176 799181 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 949231 799181 1870 922 0 941183 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3796924 KiB
Current children cumulated memory: 3196724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.9 s, system=13.2437 s

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

[startup+3610.5 s]
/proc/loadavg: 4.15 4.14 4.09 5/239 1054002
/proc/meminfo: memFree=121302920/131655788 swapFree=131070704/131071996
[pid=1052154] ppid=1052146 vsize=3796924 memory=3196724 CPUtime=3600.07 cores=4,6
/proc/1052154/stat : 1052154 (roundingsat) R 1052146 1052154 1052092 0 -1 4194304 427249 0 0 0 358689 1318 0 0 20 0 1 0 198080830 3888050176 799181 134679101440 4194304 7968373 140725702229744 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 8652288 8659920 31092736 140725702230972 140725702231136 140725702231136 140725702238153 0
/proc/1052154/statm: 949231 799181 1870 922 0 941183 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3796924 KiB
Current children cumulated memory: 3196724 KiB

Child status: 0

Real time (s): 3610.56
CPU time (s): 3600.15
CPU user time (s): 3586.9
CPU system time (s): 13.2437
CPU usage (%): 99.7115
Max. virtual memory (cumulated for all children) (KiB): 3796924
Max. memory (cumulated for all children) (KiB): 3196724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.9
system time used= 13.2437
maximum resident set size= 3196724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427302
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= 88
involuntary context switches= 2055


# summary of solver processes directly reported to runsolver:
#   pid: 1052154
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3586.9
#   total CPU system time (s): 13.2437

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5672 second user time and 38.5467 second system time

The end

Begin job on nodeC011 at 2024-07-20 09:07:29
IDJOB=4455148
IDBENCH=147554
IDSOLVER=3084
FILE ID=nodeC011/4455148-1721459237
RUNJOBID= nodeC011-1721459249-1052103
SLURM_JOB_ID= 7545706
Free space on /tmp= 723716 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455148-1721459237/watcher-4455148-1721459237 -o /tmp/evaluation-result-4455148-1721459237/solver-4455148-1721459237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052103 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455148-1721459237.opb

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

MD5SUM BENCH= eddbc5130f16a1842e21dd4bd4477bf2
RANDOM SEED=649106010

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129332568 kB
MemAvailable:   129995672 kB
Buffers:          578648 kB
Cached:           931852 kB
SwapCached:          132 kB
Active:          1117000 kB
Inactive:         715740 kB
Active(anon):       1348 kB
Inactive(anon):   366536 kB
Active(file):    1115652 kB
Inactive(file):   349204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:             82872 kB
Writeback:             4 kB
AnonPages:        322184 kB
Mapped:           106100 kB
Shmem:             45592 kB
KReclaimable:      76892 kB
Slab:             159944 kB
SReclaimable:      76892 kB
SUnreclaim:        83052 kB
KernelStack:        3632 kB
PageTables:         9576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     663348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27072 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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:      277320 kB
DirectMap2M:    33181696 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723696 MiB
End job on nodeC011 at 2024-07-20 10:07:40