0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
2.38/2.47	c #variables 10000 #constraints 656900
4.77/4.85	c bounds - >= 0 @ 1.65888
4.77/4.85	c rational objective 164.944
16.05/16.12	c bounds 5240 >= 0 @ 8.1726
16.05/16.12	c bounds 5019 >= 0 @ 8.17775
16.05/16.12	c bounds 5013 >= 0 @ 8.18769
16.05/16.12	c bounds 4998 >= 0 @ 8.19456
16.05/16.12	c bounds 4963 >= 0 @ 8.19971
16.05/16.12	c bounds 4947 >= 0 @ 8.20676
16.05/16.12	c bounds 4855 >= 0 @ 8.20993
16.05/16.12	c bounds 4585 >= 0 @ 8.21509
16.05/16.12	c bounds 4566 >= 0 @ 8.22065
16.05/16.12	c bounds 4545 >= 0 @ 8.22729
16.05/16.12	c bounds 4524 >= 0 @ 8.23498
16.05/16.12	c bounds 4480 >= 0 @ 8.23997
16.05/16.12	c bounds 4469 >= 0 @ 8.24587
16.05/16.12	c bounds 4445 >= 0 @ 8.30846
16.05/16.12	c bounds 4360 >= 0 @ 8.31514
16.05/16.12	c bounds 4313 >= 0 @ 8.33278
16.05/16.12	c bounds 4287 >= 0 @ 8.34318
16.05/16.12	c bounds 4222 >= 0 @ 8.34778
16.05/16.12	c bounds 4162 >= 0 @ 8.35282
16.05/16.12	c bounds 4120 >= 0 @ 8.3568
16.05/16.12	c bounds 4086 >= 0 @ 8.36839
16.05/16.12	c bounds 4072 >= 0 @ 8.38318
16.05/16.12	c bounds 4010 >= 0 @ 8.3907
16.05/16.12	c bounds 3988 >= 0 @ 8.39794
16.05/16.12	c bounds 3980 >= 0 @ 8.40305
16.05/16.12	c bounds 3958 >= 0 @ 8.40774
16.05/16.12	c bounds 3916 >= 0 @ 8.41708
16.05/16.12	c bounds 3909 >= 0 @ 8.42346
16.05/16.12	c bounds 3901 >= 0 @ 8.44103
16.05/16.12	c bounds 3899 >= 0 @ 8.47691
16.05/16.12	c bounds 3895 >= 0 @ 8.49269
16.05/16.12	c bounds 3849 >= 0 @ 8.5218
16.05/16.12	c bounds 3765 >= 0 @ 8.52673
16.05/16.12	c bounds 3757 >= 0 @ 8.54472
16.05/16.12	c bounds 3742 >= 0 @ 8.55402
16.05/16.12	c bounds 3686 >= 0 @ 8.56247
16.05/16.12	c bounds 3630 >= 0 @ 8.5713
16.05/16.12	c bounds 3587 >= 0 @ 8.59189
16.05/16.12	c bounds 3579 >= 0 @ 8.59817
16.05/16.12	c bounds 3557 >= 0 @ 8.60708
16.05/16.12	c bounds 3510 >= 0 @ 8.7346
16.05/16.12	c bounds 3467 >= 0 @ 8.82487
16.05/16.12	c bounds 3434 >= 0 @ 8.91156
16.05/16.12	c bounds 3405 >= 0 @ 8.91956
16.05/16.12	c bounds 3297 >= 0 @ 8.93117
16.05/16.12	c bounds 3261 >= 0 @ 8.94291
16.05/16.12	c bounds 3203 >= 0 @ 8.95402
16.05/16.12	c bounds 3149 >= 0 @ 8.96243
16.05/16.12	c bounds 3113 >= 0 @ 9.06591
16.05/16.12	c bounds 3107 >= 0 @ 9.17552
16.05/16.12	c bounds 3057 >= 0 @ 9.36353
16.05/16.12	c bounds 3002 >= 0 @ 9.37056
16.05/16.12	c bounds 2975 >= 0 @ 9.38199
16.05/16.12	c #Conflicts:       1000 | #Constraints:     657965
16.05/16.12	c bounds 2948 >= 0 @ 11.1319
16.05/16.12	c bounds 2931 >= 0 @ 11.1374
16.05/16.12	c bounds 2915 >= 0 @ 11.4524
16.05/16.12	c bounds 2906 >= 0 @ 11.5783
16.05/16.12	c bounds 2884 >= 0 @ 11.6002
16.05/16.12	c bounds 2880 >= 0 @ 11.6083
16.05/16.12	c bounds 2877 >= 0 @ 11.6218
16.05/16.12	c bounds 2836 >= 0 @ 11.7296
16.05/16.12	c bounds 2833 >= 0 @ 11.7434
16.05/16.12	c bounds 2808 >= 0 @ 11.7557
16.05/16.12	c bounds 2801 >= 0 @ 11.7643
16.05/16.12	c bounds 2796 >= 0 @ 11.8571
16.05/16.12	c bounds 2787 >= 0 @ 11.8726
16.05/16.12	c bounds 2773 >= 0 @ 11.8825
16.05/16.12	c bounds 2771 >= 0 @ 11.8896
16.05/16.12	c bounds 2756 >= 0 @ 11.8989
16.05/16.12	c bounds 2742 >= 0 @ 11.9061
16.05/16.12	c bounds 2736 >= 0 @ 11.9103
16.05/16.12	c bounds 2729 >= 0 @ 12.0048
16.05/16.12	c bounds 2727 >= 0 @ 12.0186
16.05/16.12	c bounds 2725 >= 0 @ 12.027
16.05/16.12	c bounds 2712 >= 0 @ 12.1263
16.05/16.12	c bounds 2711 >= 0 @ 12.1361
16.05/16.12	c bounds 2683 >= 0 @ 12.1454
16.05/16.12	c bounds 2645 >= 0 @ 12.1493
16.05/16.12	c bounds 2642 >= 0 @ 12.1586
16.05/16.12	c bounds 2624 >= 0 @ 12.1653
16.05/16.12	c bounds 2571 >= 0 @ 12.1728
16.05/16.12	c bounds 2566 >= 0 @ 12.1796
16.05/16.12	c bounds 2541 >= 0 @ 12.1872
16.05/16.12	c bounds 2539 >= 0 @ 12.1941
16.05/16.12	c bounds 2490 >= 0 @ 12.2747
16.05/16.12	c bounds 2454 >= 0 @ 12.2835
16.05/16.12	c bounds 2438 >= 0 @ 12.3012
16.05/16.12	c bounds 2434 >= 0 @ 12.3133
16.05/16.12	c bounds 2374 >= 0 @ 12.321
16.05/16.12	c bounds 2354 >= 0 @ 12.3354
16.05/16.12	c bounds 2349 >= 0 @ 12.348
16.05/16.12	c bounds 2330 >= 0 @ 12.4248
16.05/16.12	c bounds 2321 >= 0 @ 12.542
16.05/16.12	c bounds 2315 >= 0 @ 12.6261
16.05/16.12	c bounds 2242 >= 0 @ 12.6372
16.05/16.12	c bounds 2196 >= 0 @ 12.6444
16.05/16.12	c bounds 2187 >= 0 @ 12.6542
16.05/16.12	c bounds 2169 >= 0 @ 12.661
16.05/16.12	c bounds 2078 >= 0 @ 12.6682
16.05/16.12	c bounds 2067 >= 0 @ 12.6746
16.05/16.12	c bounds 2028 >= 0 @ 12.8296
16.05/16.12	c bounds 2005 >= 0 @ 12.9367
16.05/16.12	c bounds 1989 >= 0 @ 12.9538
16.05/16.12	c bounds 1986 >= 0 @ 13.0601
16.05/16.12	c bounds 1979 >= 0 @ 13.0734
16.05/16.12	c bounds 1948 >= 0 @ 13.1686
16.05/16.12	c bounds 1917 >= 0 @ 13.3075
16.05/16.12	c bounds 1908 >= 0 @ 13.3318
16.05/16.12	c bounds 1905 >= 0 @ 13.4633
16.05/16.12	c bounds 1903 >= 0 @ 13.4762
16.05/16.12	c bounds 1897 >= 0 @ 13.4872
16.05/16.12	c bounds 1884 >= 0 @ 13.5026
16.05/16.12	c bounds 1877 >= 0 @ 13.9091
16.05/16.12	c bounds 1867 >= 0 @ 14.0051
16.05/16.12	c bounds 1860 >= 0 @ 14.0198
16.05/16.12	c bounds 1849 >= 0 @ 14.0306
16.05/16.12	c bounds 1793 >= 0 @ 14.0417
16.05/16.12	c bounds 1693 >= 0 @ 14.0508
16.05/16.12	c bounds 1644 >= 0 @ 14.062
16.05/16.12	c bounds 1617 >= 0 @ 14.0729
16.05/16.12	c bounds 1558 >= 0 @ 14.0849
16.05/16.12	c bounds 1544 >= 0 @ 14.1096
16.05/16.12	c bounds 1543 >= 0 @ 14.124
16.05/16.12	c bounds 1514 >= 0 @ 14.2087
16.05/16.12	c bounds 1506 >= 0 @ 14.2202
16.05/16.12	c bounds 1338 >= 0 @ 14.229
16.05/16.12	c bounds 1337 >= 0 @ 14.2378
16.05/16.12	c bounds 1267 >= 0 @ 14.2479
16.05/16.12	c bounds 1262 >= 0 @ 14.258
16.05/16.12	c bounds 1253 >= 0 @ 14.2693
16.05/16.12	c bounds 1244 >= 0 @ 14.2914
16.05/16.12	c bounds 1214 >= 0 @ 14.3034
16.05/16.12	c bounds 1207 >= 0 @ 14.3164
16.05/16.12	c bounds 1186 >= 0 @ 14.3321
16.05/16.12	c bounds 1173 >= 0 @ 14.347
16.05/16.12	c bounds 1155 >= 0 @ 14.366
16.05/16.12	c bounds 1145 >= 0 @ 14.5252
16.05/16.12	c bounds 1121 >= 0 @ 14.5322
16.05/16.12	c bounds 1083 >= 0 @ 14.5425
16.05/16.12	c bounds 1058 >= 0 @ 14.5529
16.05/16.12	c bounds 1047 >= 0 @ 14.5652
52.92/53.12	c bounds 1011 >= 0 @ 14.5747
52.92/53.12	c bounds 877 >= 0 @ 14.6858
52.92/53.12	c bounds 866 >= 0 @ 14.7048
52.92/53.12	c bounds 728 >= 0 @ 14.7223
52.92/53.12	c bounds 718 >= 0 @ 14.7387
52.92/53.12	c bounds 649 >= 0 @ 14.7455
52.92/53.12	c bounds 647 >= 0 @ 14.7545
52.92/53.12	c bounds 622 >= 0 @ 14.7625
52.92/53.12	c bounds 620 >= 0 @ 14.7719
52.92/53.12	c bounds 615 >= 0 @ 14.9851
52.92/53.12	c bounds 611 >= 0 @ 14.9916
52.92/53.12	c bounds 607 >= 0 @ 15.0232
52.92/53.12	c bounds 598 >= 0 @ 15.7378
52.92/53.12	c #Conflicts:       2000 | #Constraints:     659087
52.92/53.12	c INPROCESSING
52.92/53.12	c GARBAGE COLLECT
52.92/53.12	c bounds 595 >= 0 @ 18.697
52.92/53.12	c #Conflicts:       3000 | #Constraints:     658935
52.92/53.12	c bounds 592 >= 0 @ 23.9936
52.92/53.12	c bounds 570 >= 0 @ 24.4243
52.92/53.12	c #Conflicts:       4000 | #Constraints:     659950
52.92/53.12	c INPROCESSING
52.92/53.12	c GARBAGE COLLECT
52.92/53.12	c bounds 488 >= 0 @ 27.9828
52.92/53.12	c bounds 450 >= 0 @ 28.0062
52.92/53.12	c #Conflicts:       5000 | #Constraints:     659334
52.92/53.12	c #Conflicts:       6000 | #Constraints:     660334
52.92/53.12	c INPROCESSING
52.92/53.12	c #Conflicts:       7000 | #Constraints:     659325
52.92/53.12	c bounds 417 >= 0 @ 41.2961
52.92/53.12	c #Conflicts:       8000 | #Constraints:     660326
52.92/53.12	c #Conflicts:       9000 | #Constraints:     661326
52.92/53.12	c INPROCESSING
52.92/53.12	c GARBAGE COLLECT
52.92/53.12	c rational objective 165.537
82.41/82.72	c #Conflicts:      10000 | #Constraints:     660028
82.41/82.72	c #Conflicts:      11000 | #Constraints:     661035
82.41/82.72	c #Conflicts:      12000 | #Constraints:     662037
82.41/82.72	c INPROCESSING
82.41/82.72	c GARBAGE COLLECT
82.41/82.72	c bounds 414 >= 0 @ 61.2173
82.41/82.72	c bounds 408 >= 0 @ 61.2386
82.41/82.72	c bounds 406 >= 0 @ 61.2711
82.41/82.72	c bounds 400 >= 0 @ 61.2957
82.41/82.72	c bounds 394 >= 0 @ 61.3361
82.41/82.72	c bounds 393 >= 0 @ 61.3618
82.41/82.72	c bounds 388 >= 0 @ 61.4019
82.41/82.72	c bounds 387 >= 0 @ 61.4181
82.41/82.72	c bounds 384 >= 0 @ 61.4399
82.41/82.72	c bounds 380 >= 0 @ 61.4717
82.41/82.72	c bounds 379 >= 0 @ 61.5879
82.41/82.72	c bounds 378 >= 0 @ 61.6224
82.41/82.72	c bounds 372 >= 0 @ 61.6354
82.41/82.72	c bounds 368 >= 0 @ 61.8761
82.41/82.72	c bounds 362 >= 0 @ 61.9767
82.41/82.72	c bounds 359 >= 0 @ 62.101
82.41/82.72	c bounds 358 >= 0 @ 62.6325
82.41/82.72	c bounds 356 >= 0 @ 63.1881
82.41/82.72	c bounds 355 >= 0 @ 64.7749
82.41/82.72	c bounds 355 >= 5 @ 64.7834
82.41/82.72	c #Conflicts:      13000 | #Constraints:     660543
82.41/82.72	c #Conflicts:      14000 | #Constraints:     661543
82.41/82.72	c bounds 355 >= 10 @ 72.094
82.41/82.72	c bounds 354 >= 10 @ 72.1176
82.41/82.72	c bounds 353 >= 10 @ 72.1439
82.41/82.72	c bounds 349 >= 10 @ 72.9273
82.41/82.72	c #Conflicts:      15000 | #Constraints:     662554
82.41/82.72	c INPROCESSING
82.41/82.72	c GARBAGE COLLECT
82.41/82.72	c rational objective 166.077
267.27/268.20	c #Conflicts:      16000 | #Constraints:     660787
267.27/268.20	c #Conflicts:      17000 | #Constraints:     662145
267.27/268.20	c #Conflicts:      18000 | #Constraints:     663520
267.27/268.20	c INPROCESSING
267.27/268.20	c GARBAGE COLLECT
267.27/268.20	c #Conflicts:      19000 | #Constraints:     661182
267.27/268.20	c #Conflicts:      20000 | #Constraints:     662185
267.27/268.20	c #Conflicts:      21000 | #Constraints:     663185
267.27/268.20	c INPROCESSING
267.27/268.20	c GARBAGE COLLECT
267.27/268.20	c #Conflicts:      22000 | #Constraints:     660779
267.27/268.20	c #Conflicts:      23000 | #Constraints:     661779
267.27/268.20	c #Conflicts:      24000 | #Constraints:     662779
267.27/268.20	c #Conflicts:      25000 | #Constraints:     663779
267.27/268.20	c INPROCESSING
267.27/268.20	c GARBAGE COLLECT
267.27/268.20	c rational objective 167.211
327.37/328.59	c #Conflicts:      26000 | #Constraints:     661280
327.37/328.59	c #Conflicts:      27000 | #Constraints:     662281
327.37/328.59	c #Conflicts:      28000 | #Constraints:     663281
327.37/328.59	c #Conflicts:      29000 | #Constraints:     664281
327.37/328.59	c INPROCESSING
327.37/328.59	c GARBAGE COLLECT
327.37/328.59	c rational objective 167.572
662.85/665.19	c bounds 346 >= 10 @ 332.516
662.85/665.19	c #Conflicts:      30000 | #Constraints:     661633
662.85/665.19	c bounds 345 >= 10 @ 353.87
662.85/665.19	c bounds 344 >= 10 @ 353.945
662.85/665.19	c bounds 343 >= 10 @ 354.508
662.85/665.19	c bounds 341 >= 10 @ 355.684
662.85/665.19	c #Conflicts:      31000 | #Constraints:     662936
662.85/665.19	c bounds 340 >= 10 @ 362.602
662.85/665.19	c bounds 338 >= 10 @ 365.06
662.85/665.19	c #Conflicts:      32000 | #Constraints:     663953
662.85/665.19	c #Conflicts:      33000 | #Constraints:     664972
662.85/665.19	c INPROCESSING
662.85/665.19	c GARBAGE COLLECT
662.85/665.19	c bounds 338 >= 14 @ 557.884
662.85/665.19	c #Conflicts:      34000 | #Constraints:     661960
662.85/665.19	c #Conflicts:      35000 | #Constraints:     662967
662.85/665.19	c #Conflicts:      36000 | #Constraints:     663975
662.85/665.19	c #Conflicts:      37000 | #Constraints:     664983
662.85/665.19	c INPROCESSING
662.85/665.19	c GARBAGE COLLECT
662.85/665.19	c bounds 337 >= 14 @ 600.084
662.85/665.19	c #Conflicts:      38000 | #Constraints:     661877
662.85/665.19	c #Conflicts:      39000 | #Constraints:     662893
662.85/665.19	c #Conflicts:      40000 | #Constraints:     663903
662.85/665.19	c #Conflicts:      41000 | #Constraints:     664919
662.85/665.19	c INPROCESSING
662.85/665.19	c GARBAGE COLLECT
662.85/665.19	c rational objective 167.172
695.75/698.13	c #Conflicts:      42000 | #Constraints:     661643
695.75/698.13	c #Conflicts:      43000 | #Constraints:     662643
695.75/698.13	c #Conflicts:      44000 | #Constraints:     663643
695.75/698.13	c #Conflicts:      45000 | #Constraints:     664645
695.75/698.13	c #Conflicts:      46000 | #Constraints:     665645
695.75/698.13	c INPROCESSING
695.75/698.13	c rational objective 167.831
731.53/734.04	c #Conflicts:      47000 | #Constraints:     662216
731.53/734.04	c #Conflicts:      48000 | #Constraints:     663247
731.53/734.04	c #Conflicts:      49000 | #Constraints:     664263
731.53/734.04	c #Conflicts:      50000 | #Constraints:     665264
731.53/734.04	c #Conflicts:      51000 | #Constraints:     666264
731.53/734.04	c INPROCESSING
731.53/734.04	c GARBAGE COLLECT
731.53/734.04	c rational objective 167.831
790.12/792.84	c #Conflicts:      52000 | #Constraints:     662612
790.12/792.84	c #Conflicts:      53000 | #Constraints:     663621
790.12/792.84	c #Conflicts:      54000 | #Constraints:     664659
790.12/792.84	c #Conflicts:      55000 | #Constraints:     665665
790.12/792.84	c #Conflicts:      56000 | #Constraints:     666705
790.12/792.84	c INPROCESSING
790.12/792.84	c rational objective 167.843
876.53/879.56	c #Conflicts:      57000 | #Constraints:     662843
876.53/879.56	c #Conflicts:      58000 | #Constraints:     663874
876.53/879.56	c #Conflicts:      59000 | #Constraints:     664893
876.53/879.56	c #Conflicts:      60000 | #Constraints:     665893
876.53/879.56	c #Conflicts:      61000 | #Constraints:     666902
876.53/879.56	c INPROCESSING
876.53/879.56	c GARBAGE COLLECT
876.53/879.56	c #Conflicts:      62000 | #Constraints:     662826
876.53/879.56	c #Conflicts:      63000 | #Constraints:     663828
876.53/879.56	c #Conflicts:      64000 | #Constraints:     664830
876.53/879.56	c #Conflicts:      65000 | #Constraints:     665833
876.53/879.56	c #Conflicts:      66000 | #Constraints:     666834
876.53/879.56	c INPROCESSING
876.53/879.56	c rational objective 167.91
1015.35/1018.81	c #Conflicts:      67000 | #Constraints:     662598
1015.35/1018.81	c #Conflicts:      68000 | #Constraints:     663601
1015.35/1018.81	c #Conflicts:      69000 | #Constraints:     664602
1015.35/1018.81	c #Conflicts:      70000 | #Constraints:     665604
1015.35/1018.81	c #Conflicts:      71000 | #Constraints:     666606
1015.35/1018.81	c #Conflicts:      72000 | #Constraints:     667606
1015.35/1018.81	c INPROCESSING
1015.35/1018.81	c GARBAGE COLLECT
1015.35/1018.81	c rational objective 167.911
1127.18/1131.09	c #Conflicts:      73000 | #Constraints:     663189
1127.18/1131.09	c #Conflicts:      74000 | #Constraints:     664189
1127.18/1131.09	c #Conflicts:      75000 | #Constraints:     665192
1127.18/1131.09	c #Conflicts:      76000 | #Constraints:     666193
1127.18/1131.09	c #Conflicts:      77000 | #Constraints:     667195
1127.18/1131.09	c #Conflicts:      78000 | #Constraints:     668196
1127.18/1131.09	c INPROCESSING
1127.18/1131.09	c #Conflicts:      79000 | #Constraints:     663588
1127.18/1131.09	c #Conflicts:      80000 | #Constraints:     664594
1127.18/1131.09	c #Conflicts:      81000 | #Constraints:     665598
1127.18/1131.09	c #Conflicts:      82000 | #Constraints:     666602
1127.18/1131.09	c #Conflicts:      83000 | #Constraints:     667609
1127.18/1131.09	c #Conflicts:      84000 | #Constraints:     668610
1127.18/1131.09	c INPROCESSING
1127.18/1131.09	c GARBAGE COLLECT
1127.18/1131.09	c rational objective 167.942
1255.94/1260.24	c bounds 334 >= 14 @ 1124.06
1255.94/1260.24	c bounds 331 >= 14 @ 1133.55
1255.94/1260.24	c #Conflicts:      85000 | #Constraints:     663797
1255.94/1260.24	c #Conflicts:      86000 | #Constraints:     664811
1255.94/1260.24	c #Conflicts:      87000 | #Constraints:     665822
1255.94/1260.24	c #Conflicts:      88000 | #Constraints:     666832
1255.94/1260.24	c #Conflicts:      89000 | #Constraints:     667845
1255.94/1260.24	c #Conflicts:      90000 | #Constraints:     668859
1255.94/1260.24	c INPROCESSING
1255.94/1260.24	c GARBAGE COLLECT
1255.94/1260.24	c rational objective 167.951
1406.93/1411.60	c bounds 331 >= 16 @ 1252.45
1406.93/1411.60	c bounds 331 >= 18 @ 1252.47
1406.93/1411.60	c bounds 331 >= 20 @ 1252.49
1406.93/1411.60	c bounds 331 >= 22 @ 1252.6
1406.93/1411.60	c bounds 331 >= 24 @ 1255.01
1406.93/1411.60	c #Conflicts:      91000 | #Constraints:     663836
1406.93/1411.60	c #Conflicts:      92000 | #Constraints:     664836
1406.93/1411.60	c #Conflicts:      93000 | #Constraints:     665838
1406.93/1411.60	c #Conflicts:      94000 | #Constraints:     666838
1406.93/1411.60	c #Conflicts:      95000 | #Constraints:     667841
1406.93/1411.60	c bounds 331 >= 26 @ 1357.36
1406.93/1411.60	c #Conflicts:      96000 | #Constraints:     668860
1406.93/1411.60	c INPROCESSING
1406.93/1411.60	c GARBAGE COLLECT
1406.93/1411.60	c rational objective 167.951
1545.17/1550.24	c #Conflicts:      97000 | #Constraints:     663627
1545.17/1550.24	c #Conflicts:      98000 | #Constraints:     664627
1545.17/1550.24	c #Conflicts:      99000 | #Constraints:     665628
1545.17/1550.24	c #Conflicts:     100000 | #Constraints:     666629
1545.17/1550.24	c #Conflicts:     101000 | #Constraints:     667629
1545.17/1550.24	c #Conflicts:     102000 | #Constraints:     668629
1545.17/1550.24	c #Conflicts:     103000 | #Constraints:     669629
1545.17/1550.24	c INPROCESSING
1545.17/1550.24	c GARBAGE COLLECT
1545.17/1550.24	c rational objective 167.951
1715.49/1721.09	c #Conflicts:     104000 | #Constraints:     664226
1715.49/1721.09	c #Conflicts:     105000 | #Constraints:     665227
1715.49/1721.09	c #Conflicts:     106000 | #Constraints:     666227
1715.49/1721.09	c #Conflicts:     107000 | #Constraints:     667227
1715.49/1721.09	c #Conflicts:     108000 | #Constraints:     668227
1715.49/1721.09	c #Conflicts:     109000 | #Constraints:     669228
1715.49/1721.09	c #Conflicts:     110000 | #Constraints:     670228
1715.49/1721.09	c INPROCESSING
1715.49/1721.09	c GARBAGE COLLECT
1715.49/1721.09	c rational objective 167.951
1843.49/1849.50	c bounds 329 >= 26 @ 1710.29
1843.49/1849.50	c bounds 328 >= 26 @ 1710.33
1843.49/1849.50	c bounds 327 >= 26 @ 1712.85
1843.49/1849.50	c bounds 324 >= 26 @ 1712.95
1843.49/1849.50	c bounds 321 >= 26 @ 1715.09
1843.49/1849.50	c #Conflicts:     111000 | #Constraints:     664643
1843.49/1849.50	c bounds 319 >= 26 @ 1715.91
1843.49/1849.50	c bounds 318 >= 26 @ 1716.11
1843.49/1849.50	c bounds 315 >= 26 @ 1716.18
1843.49/1849.50	c bounds 314 >= 26 @ 1716.25
1843.49/1849.50	c bounds 313 >= 26 @ 1716.39
1843.49/1849.50	c #Conflicts:     112000 | #Constraints:     665666
1843.49/1849.50	c #Conflicts:     113000 | #Constraints:     666685
1843.49/1849.50	c #Conflicts:     114000 | #Constraints:     667693
1843.49/1849.50	c #Conflicts:     115000 | #Constraints:     668700
1843.49/1849.50	c #Conflicts:     116000 | #Constraints:     669712
1843.49/1849.50	c #Conflicts:     117000 | #Constraints:     670717
1843.49/1849.50	c INPROCESSING
1843.49/1849.50	c GARBAGE COLLECT
1843.49/1849.50	c rational objective 167.951
2030.11/2036.53	c bounds 313 >= 27 @ 1835.15
2030.11/2036.53	c bounds 313 >= 28 @ 1835.17
2030.11/2036.53	c bounds 313 >= 29 @ 1835.2
2030.11/2036.53	c bounds 313 >= 30 @ 1835.21
2030.11/2036.53	c bounds 313 >= 31 @ 1835.23
2030.11/2036.53	c bounds 313 >= 32 @ 1835.25
2030.11/2036.53	c bounds 313 >= 33 @ 1835.26
2030.11/2036.53	c bounds 313 >= 34 @ 1835.29
2030.11/2036.53	c bounds 313 >= 35 @ 1835.32
2030.11/2036.53	c bounds 313 >= 36 @ 1835.36
2030.11/2036.53	c bounds 313 >= 37 @ 1835.41
2030.11/2036.53	c bounds 313 >= 38 @ 1835.46
2030.11/2036.53	c bounds 313 >= 39 @ 1835.49
2030.11/2036.53	c bounds 313 >= 40 @ 1835.53
2030.11/2036.53	c bounds 313 >= 41 @ 1835.61
2030.11/2036.53	c bounds 313 >= 42 @ 1835.65
2030.11/2036.53	c bounds 313 >= 43 @ 1837.62
2030.11/2036.53	c bounds 313 >= 44 @ 1837.89
2030.11/2036.53	c bounds 313 >= 45 @ 1838.28
2030.11/2036.53	c bounds 313 >= 46 @ 1838.8
2030.11/2036.53	c bounds 313 >= 47 @ 1839.02
2030.11/2036.53	c bounds 313 >= 48 @ 1839.19
2030.11/2036.53	c bounds 313 >= 49 @ 1840.15
2030.11/2036.53	c bounds 313 >= 50 @ 1841.04
2030.11/2036.53	c #Conflicts:     118000 | #Constraints:     665080
2030.11/2036.53	c bounds 313 >= 51 @ 1846.94
2030.11/2036.53	c bounds 313 >= 52 @ 1848.11
2030.11/2036.53	c bounds 313 >= 53 @ 1849.75
2030.11/2036.53	c #Conflicts:     119000 | #Constraints:     666150
2030.11/2036.53	c bounds 313 >= 54 @ 1851.09
2030.11/2036.53	c bounds 313 >= 55 @ 1859.49
2030.11/2036.53	c #Conflicts:     120000 | #Constraints:     667207
2030.11/2036.53	c bounds 313 >= 56 @ 1862.57
2030.11/2036.54	c #Conflicts:     121000 | #Constraints:     668234
2030.11/2036.54	c bounds 313 >= 57 @ 1866.77
2030.11/2036.54	c #Conflicts:     122000 | #Constraints:     669258
2030.11/2036.54	c bounds 313 >= 58 @ 1876.07
2030.11/2036.54	c bounds 313 >= 59 @ 1879.28
2030.11/2036.54	c #Conflicts:     123000 | #Constraints:     670300
2030.11/2036.54	c bounds 313 >= 60 @ 1902.87
2030.11/2036.54	c #Conflicts:     124000 | #Constraints:     671336
2030.11/2036.54	c INPROCESSING
2030.11/2036.54	c GARBAGE COLLECT
2030.11/2036.54	c rational objective 167.951
2245.29/2252.36	c bounds 313 >= 61 @ 2022.93
2245.29/2252.36	c #Conflicts:     125000 | #Constraints:     665333
2245.29/2252.36	c #Conflicts:     126000 | #Constraints:     666333
2245.29/2252.36	c bounds 313 >= 62 @ 2030.47
2245.29/2252.36	c #Conflicts:     127000 | #Constraints:     667369
2245.29/2252.36	c #Conflicts:     128000 | #Constraints:     668369
2245.29/2252.36	c bounds 313 >= 63 @ 2040.06
2245.29/2252.36	c #Conflicts:     129000 | #Constraints:     669399
2245.29/2252.36	c #Conflicts:     130000 | #Constraints:     670400
2245.29/2252.36	c bounds 313 >= 64 @ 2061.15
2245.29/2252.36	c #Conflicts:     131000 | #Constraints:     671421
2245.29/2252.36	c bounds 312 >= 64 @ 2067.25
2245.29/2252.36	c INPROCESSING
2245.29/2252.36	c GARBAGE COLLECT
2245.29/2252.36	c rational objective 167.951
2328.96/2336.25	c bounds 311 >= 64 @ 2234.4
2328.96/2336.25	c #Conflicts:     132000 | #Constraints:     665231
2328.96/2336.25	c #Conflicts:     133000 | #Constraints:     666250
2328.96/2336.25	c bounds 310 >= 64 @ 2251.5
2328.96/2336.25	c #Conflicts:     134000 | #Constraints:     667251
2328.96/2336.25	c #Conflicts:     135000 | #Constraints:     668251
2328.96/2336.25	c bounds 310 >= 65 @ 2271.05
2328.96/2336.25	c #Conflicts:     136000 | #Constraints:     669290
2328.96/2336.25	c #Conflicts:     137000 | #Constraints:     670290
2328.96/2336.25	c bounds 310 >= 66 @ 2285.12
2328.96/2336.25	c bounds 309 >= 66 @ 2289.08
2328.96/2336.25	c bounds 308 >= 66 @ 2289.23
2328.96/2336.25	c #Conflicts:     138000 | #Constraints:     671331
2328.96/2336.25	c bounds 306 >= 66 @ 2301.32
2328.96/2336.25	c #Conflicts:     139000 | #Constraints:     672339
2328.96/2336.25	c INPROCESSING
2328.96/2336.25	c GARBAGE COLLECT
2328.96/2336.25	c rational objective 167.951
2659.69/2667.82	c #Conflicts:     140000 | #Constraints:     665923
2659.69/2667.82	c #Conflicts:     141000 | #Constraints:     666923
2659.69/2667.82	c bounds 306 >= 67 @ 2331.09
2659.69/2667.82	c #Conflicts:     142000 | #Constraints:     667952
2659.69/2667.82	c #Conflicts:     143000 | #Constraints:     669174
2659.69/2667.82	c #Conflicts:     144000 | #Constraints:     670684
2659.69/2667.82	c #Conflicts:     145000 | #Constraints:     671965
2659.69/2667.82	c #Conflicts:     146000 | #Constraints:     673528
2659.69/2667.82	c #Conflicts:     147000 | #Constraints:     675075
2659.69/2667.82	c INPROCESSING
2659.69/2667.82	c GARBAGE COLLECT
2659.69/2667.82	c #Conflicts:     148000 | #Constraints:     667390
2659.69/2667.82	c #Conflicts:     149000 | #Constraints:     668390
2659.69/2667.82	c bounds 306 >= 68 @ 2575.06
2659.69/2667.82	c #Conflicts:     150000 | #Constraints:     669423
2659.69/2667.82	c #Conflicts:     151000 | #Constraints:     670423
2659.69/2667.82	c bounds 306 >= 69 @ 2606.54
2659.69/2667.82	c #Conflicts:     152000 | #Constraints:     671444
2659.69/2667.82	c #Conflicts:     153000 | #Constraints:     672444
2659.69/2667.82	c #Conflicts:     154000 | #Constraints:     673444
2659.69/2667.82	c #Conflicts:     155000 | #Constraints:     674444
2659.69/2667.82	c INPROCESSING
2659.69/2667.82	c GARBAGE COLLECT
2659.69/2667.82	c rational objective 167.951
2737.59/2745.91	c #Conflicts:     156000 | #Constraints:     667116
2737.59/2745.91	c #Conflicts:     157000 | #Constraints:     668116
2737.59/2745.91	c #Conflicts:     158000 | #Constraints:     669117
2737.59/2745.91	c bounds 306 >= 70 @ 2672.54
2737.59/2745.91	c bounds 305 >= 70 @ 2672.72
2737.59/2745.91	c bounds 304 >= 70 @ 2672.91
2737.59/2745.91	c #Conflicts:     159000 | #Constraints:     670146
2737.59/2745.91	c #Conflicts:     160000 | #Constraints:     671150
2737.59/2745.91	c #Conflicts:     161000 | #Constraints:     672174
2737.59/2745.91	c bounds 303 >= 70 @ 2699.61
2737.59/2745.91	c #Conflicts:     162000 | #Constraints:     673184
2737.59/2745.91	c #Conflicts:     163000 | #Constraints:     674184
2737.59/2745.91	c INPROCESSING
2737.59/2745.91	c GARBAGE COLLECT
2737.59/2745.91	c rational objective 167.951
2840.04/2848.68	c #Conflicts:     164000 | #Constraints:     666901
2840.04/2848.68	c #Conflicts:     165000 | #Constraints:     667903
2840.04/2848.68	c #Conflicts:     166000 | #Constraints:     668903
2840.04/2848.68	c #Conflicts:     167000 | #Constraints:     669903
2840.04/2848.68	c #Conflicts:     168000 | #Constraints:     670903
2840.04/2848.68	c #Conflicts:     169000 | #Constraints:     671903
2840.04/2848.68	c bounds 303 >= 71 @ 2792.71
2840.04/2848.68	c bounds 302 >= 71 @ 2792.76
2840.04/2848.68	c #Conflicts:     170000 | #Constraints:     672961
2840.04/2848.68	c bounds 299 >= 71 @ 2795.06
2840.04/2848.68	c bounds 298 >= 71 @ 2802.72
2840.04/2848.68	c #Conflicts:     171000 | #Constraints:     673982
2840.04/2848.68	c bounds 296 >= 71 @ 2803.67
2840.04/2848.68	c INPROCESSING
2840.04/2848.68	c GARBAGE COLLECT
2840.04/2848.68	c rational objective 167.951
3286.53/3296.29	c #Conflicts:     172000 | #Constraints:     666641
3286.53/3296.29	c #Conflicts:     173000 | #Constraints:     667730
3286.53/3296.29	c #Conflicts:     174000 | #Constraints:     668924
3286.53/3296.29	c bounds 295 >= 71 @ 2877.94
3286.53/3296.29	c #Conflicts:     175000 | #Constraints:     669943
3286.53/3296.29	c #Conflicts:     176000 | #Constraints:     670943
3286.53/3296.29	c #Conflicts:     177000 | #Constraints:     671943
3286.53/3296.29	c #Conflicts:     178000 | #Constraints:     672943
3286.53/3296.29	c #Conflicts:     179000 | #Constraints:     673943
3286.53/3296.29	c #Conflicts:     180000 | #Constraints:     674943
3286.53/3296.29	c INPROCESSING
3286.53/3296.29	c GARBAGE COLLECT
3286.53/3296.29	c #Conflicts:     181000 | #Constraints:     667329
3286.53/3296.29	c bounds 294 >= 71 @ 3129.83
3286.53/3296.29	c #Conflicts:     182000 | #Constraints:     668340
3286.53/3296.29	c #Conflicts:     183000 | #Constraints:     669351
3286.53/3296.29	c #Conflicts:     184000 | #Constraints:     670359
3286.53/3296.29	c #Conflicts:     185000 | #Constraints:     671367
3286.53/3296.29	c #Conflicts:     186000 | #Constraints:     672377
3286.53/3296.29	c bounds 293 >= 71 @ 3210.53
3286.53/3296.29	c #Conflicts:     187000 | #Constraints:     673379
3286.53/3296.29	c #Conflicts:     188000 | #Constraints:     674379
3286.53/3296.29	c #Conflicts:     189000 | #Constraints:     675379
3286.53/3296.29	c INPROCESSING
3286.53/3296.29	c GARBAGE COLLECT
3286.53/3296.29	c rational objective 167.951
3409.53/3419.59	c #Conflicts:     190000 | #Constraints:     667626
3409.53/3419.59	c #Conflicts:     191000 | #Constraints:     668627
3409.53/3419.59	c #Conflicts:     192000 | #Constraints:     669628
3409.53/3419.59	c #Conflicts:     193000 | #Constraints:     670628
3409.53/3419.59	c #Conflicts:     194000 | #Constraints:     671628
3409.53/3419.59	c #Conflicts:     195000 | #Constraints:     672629
3409.53/3419.59	c #Conflicts:     196000 | #Constraints:     673629
3409.53/3419.59	c bounds 293 >= 72 @ 3351.5
3409.53/3419.59	c #Conflicts:     197000 | #Constraints:     674671
3409.53/3419.59	c #Conflicts:     198000 | #Constraints:     675671
3409.53/3419.59	c INPROCESSING
3409.53/3419.59	c GARBAGE COLLECT
3409.53/3419.59	c rational objective 167.951
3600.06/3610.50	c #Conflicts:     199000 | #Constraints:     667798
3600.06/3610.50	c #Conflicts:     200000 | #Constraints:     668798
3600.06/3610.50	c #Conflicts:     201000 | #Constraints:     669798
3600.06/3610.50	c #Conflicts:     202000 | #Constraints:     670799
3600.06/3610.50	c #Conflicts:     203000 | #Constraints:     671800
3600.06/3610.50	c #Conflicts:     204000 | #Constraints:     672800
3600.06/3610.50	c #Conflicts:     205000 | #Constraints:     673800
3600.06/3610.50	c #Conflicts:     206000 | #Constraints:     674800
3600.06/3610.50	c bounds 293 >= 73 @ 3475.78
3600.06/3610.50	c #Conflicts:     207000 | #Constraints:     675848
3600.06/3610.50	c INPROCESSING
3600.06/3610.50	c GARBAGE COLLECT
3600.06/3610.50	c #Conflicts:     208000 | #Constraints:     667788
3600.06/3610.50	c bounds 292 >= 73 @ 3534.49
3600.06/3610.50	c #Conflicts:     209000 | #Constraints:     668808
3600.06/3610.50	c #Conflicts:     210000 | #Constraints:     669820
3600.06/3610.50	c #Conflicts:     211000 | #Constraints:     670831
3600.06/3610.50	c Program interrupted by user.
3600.06/3610.50	c cpu time 3578.79 s
3600.06/3610.50	c deterministic time 338472744470 3.38e+11
3600.06/3610.50	c optimization time 44.9499 s
3600.06/3610.50	c total solve time 3532.18 s
3600.06/3610.50	c core-guided solve time 2326.92 s
3600.06/3610.50	c propagation time 1880.85 s
3600.06/3610.50	c conflict analysis time 503.606 s
3600.06/3610.50	c propagations 62766993
3600.06/3610.50	c resolve steps 3357092
3600.06/3610.50	c decisions 13687505
3600.06/3610.50	c conflicts 211947
3600.06/3610.50	c restarts 510
3600.06/3610.50	c inprocessing phases 37
3600.06/3610.50	c input clauses 657179
3600.06/3610.50	c input cardinalities 56
3600.06/3610.50	c input general constraints 886
3600.06/3610.50	c input average constraint length 7.42
3600.06/3610.50	c input average constraint degree 163.64
3600.06/3610.50	c learned clauses 89918
3600.06/3610.50	c learned cardinalities 17
3600.06/3610.50	c learned general constraints 126525
3600.06/3610.50	c learned average constraint length 4478.61
3600.06/3610.50	c learned average constraint degree 105861072678.42
3600.06/3610.50	c watched constraints 22205
3600.06/3610.50	c counting constraints 105206
3600.06/3610.50	c gcd simplifications 2696
3600.06/3610.50	c detected cardinalities 1
3600.06/3610.50	c weakened non-implied lits 253727092
3600.06/3610.50	c weakened non-implying lits 77804
3600.06/3610.50	c original variables 10000
3600.06/3610.50	c clausal propagations 18530710
3600.06/3610.50	c cardinality propagations 43650
3600.06/3610.50	c watched propagations 1833344
3600.06/3610.50	c counting propagations 41753814
3600.06/3610.50	c watch lookups 16145352806
3600.06/3610.50	c watch backjump lookups 15990230778
3600.06/3610.50	c watch checks 94896331943
3600.06/3610.50	c propagation checks 207422930213
3600.06/3610.50	c constraint additions 3864401637
3600.06/3610.50	c trail pops 76655795
3600.06/3610.50	c formula constraints 656900
3600.06/3610.50	c learned constraints 211308
3600.06/3610.50	c bound constraints 275
3600.06/3610.50	c core-guided constraints 946
3600.06/3610.50	c encountered formula constraints 2126026
3600.06/3610.50	c encountered learned constraints 1114937
3600.06/3610.50	c encountered bound constraints 4867
3600.06/3610.50	c encountered core-guided constraints 274696
3600.06/3610.50	c LP total time 1731.04 s
3600.06/3610.50	c LP solve time 1558.1 s
3600.06/3610.50	c LP constraints added 656942
3600.06/3610.50	c LP constraints removed 21
3600.06/3610.50	c LP pivots internal 212030
3600.06/3610.50	c LP pivots root 174769
3600.06/3610.50	c LP calls 4739
3600.06/3610.50	c LP optimalities 212
3600.06/3610.50	c LP no pivot count 23
3600.06/3610.50	c LP infeasibilities 4503
3600.06/3610.50	c LP valid Farkas constraints 4491
3600.06/3610.50	c LP learned Farkas constraints 645
3600.06/3610.50	c LP basis resets 31
3600.06/3610.50	c LP cycling count 10
3600.06/3610.50	c LP singular count 3
3600.06/3610.50	c LP no primal count 0
3600.06/3610.50	c LP no farkas count 12
3600.06/3610.50	c LP other issue count 6
3600.06/3610.50	c LP Gomory cuts 16
3600.06/3610.50	c LP learned cuts 26
3600.06/3610.50	c LP deleted cuts 21
3600.06/3610.50	c LP encountered Gomory constraints 329
3600.06/3610.50	c LP encountered Farkas constraints 45573
3600.06/3610.50	c LP encountered learned Farkas constraints 1966
3600.06/3610.50	c CG auxiliary variables introduced 334
3600.06/3610.50	c CG solutions found 219
3600.06/3610.50	c CG cores constructed 56
3600.06/3610.50	c CG core cardinality constraints returned 0
3600.06/3610.50	c CG unit cores 0
3600.06/3610.50	c CG single cores 55
3600.06/3610.50	c CG blocks removed during cardinality reduction 0
3600.06/3610.50	c CG first core best 0
3600.06/3610.50	c CG decision core best 0
3600.06/3610.50	c CG core reduction tie 1
3600.06/3610.50	c CG core degree average 1.00
3600.06/3610.50	c CG core slack average 1002.59
3600.06/3610.50	s SATISFIABLE
3600.06/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	292

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-4455143-1721459237/watcher-4455143-1721459237 -o /tmp/evaluation-result-4455143-1721459237/solver-4455143-1721459237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052104 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455143-1721459237.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100071 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129304024/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=40436 memory=10780 CPUtime=0.1 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 1469 0 1 0 7 3 0 0 20 0 1 0 198080830 41406464 2695 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 10109 2695 1250 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 10780 KiB

[startup+0.210778 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129300236/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=40436 memory=10780 CPUtime=0.21 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 1501 0 1 0 14 7 0 0 20 0 1 0 198080830 41406464 2695 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 10109 2695 1250 922 0 2061 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 10780 KiB

[startup+0.308837 s]*
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129297784/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=40952 memory=11304 CPUtime=0.31 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 1610 0 1 0 21 10 0 0 20 0 1 0 198080830 41934848 2826 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 10238 2826 1250 922 0 2190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 11304 KiB

[startup+0.70028 s]
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129287720/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=45256 memory=15608 CPUtime=0.68 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 2684 0 1 0 46 22 0 0 20 0 1 0 198080830 46342144 3902 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 11314 3902 1250 922 0 3266 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45256 KiB
Current children cumulated memory: 15608 KiB

[startup+1.50028 s]
/proc/loadavg: 2.15 2.14 2.60 5/241 1052165
/proc/meminfo: memFree=129244116/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=64768 memory=32432 CPUtime=1.49 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 5916 0 1 0 98 51 0 0 20 0 1 0 198080830 66322432 8108 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 16192 8108 1250 922 0 8144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64768 KiB
Current children cumulated memory: 32432 KiB

[startup+3.11344 s]
/proc/loadavg: 2.29 2.18 2.61 5/241 1052165
/proc/meminfo: memFree=128028972/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=360716 memory=328988 CPUtime=3.09 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 59828 0 1 0 221 88 0 0 20 0 1 0 198080830 369373184 82247 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 90179 82247 1644 922 0 82131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 328988 KiB

[startup+6.30031 s]
/proc/loadavg: 2.29 2.18 2.61 5/241 1052165
/proc/meminfo: memFree=128029944/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=360716 memory=328988 CPUtime=6.27 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 59867 0 1 0 539 88 0 0 20 0 1 0 198080830 369373184 82247 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 90179 82247 1644 922 0 82131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 328988 KiB

[startup+12.7003 s]
/proc/loadavg: 2.43 2.21 2.62 5/241 1052166
/proc/meminfo: memFree=127795248/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=472756 memory=381476 CPUtime=12.65 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 63435 0 1 0 1153 112 0 0 20 0 1 0 198080830 484102144 95369 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 118189 95369 1852 922 0 110141 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 472756 KiB
Current children cumulated memory: 381476 KiB

[startup+25.5003 s]
/proc/loadavg: 2.85 2.31 2.64 5/241 1052168
/proc/meminfo: memFree=127449080/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=645852 memory=545264 CPUtime=25.41 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 78968 0 1 0 2367 174 0 0 20 0 1 0 198080830 661352448 136316 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 161463 136316 1852 922 0 153415 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 645852 KiB
Current children cumulated memory: 545264 KiB

[startup+51.1135 s]
/proc/loadavg: 3.25 2.45 2.68 5/242 1052173
/proc/meminfo: memFree=127008296/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=666968 memory=583596 CPUtime=50.93 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 80472 0 1 0 4883 210 0 0 20 0 1 0 198080830 682975232 145899 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 166742 145899 1852 922 0 158694 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 666968 KiB
Current children cumulated memory: 583596 KiB

[startup+102.3 s]
/proc/loadavg: 3.78 2.72 2.76 5/242 1052182
/proc/meminfo: memFree=126213508/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=840756 memory=711132 CPUtime=101.95 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 97297 0 1 0 9929 266 0 0 20 0 1 0 198080830 860934144 177783 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 210189 177783 1852 922 0 202141 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 840756 KiB
Current children cumulated memory: 711132 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 2.97 2.85 5/242 1052194
/proc/meminfo: memFree=125295816/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1267320 memory=1163568 CPUtime=161.72 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 163707 0 1 0 15882 290 0 0 20 0 1 0 198080830 1297735680 290892 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 316830 290892 1852 922 0 308782 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1267320 KiB
Current children cumulated memory: 1163568 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 3.21 2.94 5/245 1052209
/proc/meminfo: memFree=124893124/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1271396 memory=1167584 CPUtime=221.51 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 164309 0 1 0 21814 337 0 0 20 0 1 0 198080830 1301909504 291896 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 317849 291896 1852 922 0 309801 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 1271396 KiB
Current children cumulated memory: 1167584 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 3.35 3.01 5/245 1052219
/proc/meminfo: memFree=124331876/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1300224 memory=1209116 CPUtime=281.32 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 169267 0 1 0 27683 449 0 0 20 0 1 0 198080830 1331429376 302279 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 325056 302279 1852 922 0 317008 0
Current children cumulated CPU time: 281.32 s
Current children cumulated vsize: 1300224 KiB
Current children cumulated memory: 1209116 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.50 3.08 5/245 1052230
/proc/meminfo: memFree=124022440/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1662944 memory=1396884 CPUtime=341.13 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 194724 0 1 0 33574 539 0 0 20 0 1 0 198080830 1702854656 349221 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 415736 349221 1852 922 0 407688 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 1662944 KiB
Current children cumulated memory: 1396884 KiB

[startup+402.3 s]
/proc/loadavg: 4.74 3.78 3.21 5/244 1052240
/proc/meminfo: memFree=123731572/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1743284 memory=1592796 CPUtime=400.93 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 201639 0 1 0 39524 569 0 0 20 0 1 0 198080830 1785122816 398199 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 435821 398199 1933 922 0 427773 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1743284 KiB
Current children cumulated memory: 1592796 KiB

[startup+462.3 s]
/proc/loadavg: 4.65 3.93 3.30 5/244 1052251
/proc/meminfo: memFree=123659728/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=1743284 memory=1592812 CPUtime=460.71 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 201707 0 1 0 45496 575 0 0 20 0 1 0 198080830 1785122816 398203 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 435821 398203 1933 922 0 427773 0

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

Current children cumulated memory: 2531580 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/243 1053698
/proc/meminfo: memFree=119333464/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531580 CPUtime=2913.56 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 388801 0 1 0 289509 1847 0 0 20 0 1 0 198080830 2782904320 632895 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632895 1981 922 0 671372 0
Current children cumulated CPU time: 2913.56 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531580 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/243 1053708
/proc/meminfo: memFree=119125952/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2780176 memory=2602064 CPUtime=2973.41 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 394557 0 1 0 295440 1901 0 0 20 0 1 0 198080830 2846900224 650516 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 695044 650516 1981 922 0 686996 0
Current children cumulated CPU time: 2973.41 s
Current children cumulated vsize: 2780176 KiB
Current children cumulated memory: 2602064 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/244 1053719
/proc/meminfo: memFree=119161524/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2725028 memory=2543164 CPUtime=3033.25 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 397152 0 1 0 301414 1911 0 0 20 0 1 0 198080830 2790428672 635791 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 681257 635791 1981 922 0 673209 0
Current children cumulated CPU time: 3033.25 s
Current children cumulated vsize: 2725028 KiB
Current children cumulated memory: 2543164 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/245 1053898
/proc/meminfo: memFree=119146104/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2725028 memory=2543164 CPUtime=3093.09 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 397415 0 1 0 307395 1914 0 0 20 0 1 0 198080830 2790428672 635791 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 681257 635791 1981 922 0 673209 0
Current children cumulated CPU time: 3093.09 s
Current children cumulated vsize: 2725028 KiB
Current children cumulated memory: 2543164 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/245 1053909
/proc/meminfo: memFree=119094664/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2707416 memory=2531576 CPUtime=3152.96 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 402238 0 1 0 313370 1926 0 0 20 0 1 0 198080830 2772393984 632894 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 676854 632894 1981 922 0 668806 0
Current children cumulated CPU time: 3152.96 s
Current children cumulated vsize: 2707416 KiB
Current children cumulated memory: 2531576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/245 1053934
/proc/meminfo: memFree=119090480/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531580 CPUtime=3212.81 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 403396 0 1 0 319346 1935 0 0 20 0 1 0 198080830 2782904320 632895 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632895 1981 922 0 671372 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/245 1053944
/proc/meminfo: memFree=119136376/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531580 CPUtime=3272.66 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 404477 0 1 0 325306 1960 0 0 20 0 1 0 198080830 2782904320 632895 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632895 1981 922 0 671372 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/244 1053955
/proc/meminfo: memFree=119126340/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531584 CPUtime=3332.52 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 405440 0 1 0 331250 2002 0 0 20 0 1 0 198080830 2782904320 632896 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632896 1981 922 0 671372 0
Current children cumulated CPU time: 3332.52 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531584 KiB

[startup+3402.3 s]
/proc/loadavg: 4.25 4.17 4.10 5/243 1053965
/proc/meminfo: memFree=119116056/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531584 CPUtime=3392.37 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 406433 0 1 0 337201 2036 0 0 20 0 1 0 198080830 2782904320 632896 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632896 1981 922 0 671372 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531584 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/243 1053976
/proc/meminfo: memFree=118887492/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531584 CPUtime=3452.23 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 407470 0 1 0 343140 2083 0 0 20 0 1 0 198080830 2782904320 632896 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632896 1981 922 0 671372 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531584 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/241 1053987
/proc/meminfo: memFree=118877976/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2717680 memory=2531588 CPUtime=3512.09 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 408604 0 1 0 349103 2106 0 0 20 0 1 0 198080830 2782904320 632897 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 679420 632897 1981 922 0 671372 0
Current children cumulated CPU time: 3512.09 s
Current children cumulated vsize: 2717680 KiB
Current children cumulated memory: 2531588 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/241 1053997
/proc/meminfo: memFree=118818160/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2710420 memory=2534584 CPUtime=3571.93 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 414147 0 1 0 355071 2122 0 0 20 0 1 0 198080830 2775470080 633646 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 677605 633646 1981 922 0 669557 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 2710420 KiB
Current children cumulated memory: 2534584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.15 4.14 4.09 4/239 1054002
/proc/meminfo: memFree=121302920/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2710420 memory=2534584 CPUtime=3600.06 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 414816 0 1 0 357879 2127 0 0 20 0 1 0 198080830 2775470080 633646 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 677605 633646 1981 922 0 669557 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2710420 KiB
Current children cumulated memory: 2534584 KiB

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

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

# cumulated CPU time of all completed processes:  user=3578.8 s, system=21.2857 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 4/239 1054002
/proc/meminfo: memFree=121302920/131655788 swapFree=131070704/131071996
[pid=1052150] ppid=1052145 vsize=2710420 memory=2534584 CPUtime=3600.06 cores=1,3
/proc/1052150/stat : 1052150 (roundingsat) R 1052145 1052150 1052092 0 -1 4194304 414816 0 1 0 357879 2127 0 0 20 0 1 0 198080830 2775470080 633646 134679101440 4194304 7968373 140730551614640 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 20434944 140730551620540 140730551620704 140730551620704 140730551627721 0
/proc/1052150/statm: 677605 633646 1981 922 0 669557 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2710420 KiB
Current children cumulated memory: 2534584 KiB

Child status: 0

Real time (s): 3610.51
CPU time (s): 3600.08
CPU user time (s): 3578.8
CPU system time (s): 21.2857
CPU usage (%): 99.7111
Max. virtual memory (cumulated for all children) (KiB): 2824448
Max. memory (cumulated for all children) (KiB): 2648384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.8
system time used= 21.2857
maximum resident set size= 2648824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 414832
page faults= 1
swaps= 0
block input operations= 96
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167
involuntary context switches= 1974


# summary of solver processes directly reported to runsolver:
#   pid: 1052150
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3578.8
#   total CPU system time (s): 21.2857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.113 second user time and 38.3404 second system time

The end

Begin job on nodeC011 at 2024-07-20 09:07:29
IDJOB=4455143
IDBENCH=147556
IDSOLVER=3084
FILE ID=nodeC011/4455143-1721459237
RUNJOBID= nodeC011-1721459249-1052104
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_1.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-4455143-1721459237/watcher-4455143-1721459237 -o /tmp/evaluation-result-4455143-1721459237/solver-4455143-1721459237 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721459249-1052104 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455143-1721459237.opb

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

MD5SUM BENCH= a599905096c946af5176c07959aa4b57
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