| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.48 | 3667.58 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb |
| MD5SUM | 50cf9112b5ea763531dadde21846562c |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 211 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 495981 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 495981 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.88/2.99 c #variables 10000 #constraints 656900 4.87/4.97 c bounds - >= 0 @ 2.16807 4.87/4.97 c rational objective 154.151 15.33/15.46 c bounds 6408 >= 0 @ 5.11078 15.33/15.46 c bounds 6179 >= 0 @ 5.11578 15.33/15.46 c bounds 6114 >= 0 @ 5.1219 15.33/15.46 c bounds 6087 >= 0 @ 5.14147 15.33/15.46 c bounds 6031 >= 0 @ 5.14909 15.33/15.46 c bounds 6005 >= 0 @ 5.15786 15.33/15.46 c bounds 5930 >= 0 @ 5.16361 15.33/15.46 c bounds 5925 >= 0 @ 5.16843 15.33/15.46 c bounds 5848 >= 0 @ 5.17528 15.33/15.46 c bounds 5815 >= 0 @ 5.18037 15.33/15.46 c bounds 5711 >= 0 @ 5.18637 15.33/15.46 c bounds 5655 >= 0 @ 5.19282 15.33/15.46 c bounds 5644 >= 0 @ 5.19935 15.33/15.46 c bounds 5603 >= 0 @ 5.20535 15.33/15.46 c bounds 5518 >= 0 @ 5.21106 15.33/15.46 c bounds 5444 >= 0 @ 5.21638 15.33/15.46 c bounds 5362 >= 0 @ 5.22065 15.33/15.46 c bounds 5326 >= 0 @ 5.23169 15.33/15.46 c bounds 5325 >= 0 @ 5.24287 15.33/15.46 c bounds 5242 >= 0 @ 5.24745 15.33/15.46 c bounds 5220 >= 0 @ 5.25717 15.33/15.46 c bounds 5019 >= 0 @ 5.26088 15.33/15.46 c bounds 4841 >= 0 @ 5.26698 15.33/15.46 c bounds 4835 >= 0 @ 5.277 15.33/15.46 c bounds 4713 >= 0 @ 5.28523 15.33/15.46 c bounds 4667 >= 0 @ 5.29561 15.33/15.46 c bounds 4602 >= 0 @ 5.30372 15.33/15.46 c bounds 4567 >= 0 @ 5.31305 15.33/15.46 c bounds 4547 >= 0 @ 5.32289 15.33/15.46 c bounds 4457 >= 0 @ 5.33161 15.33/15.46 c bounds 4420 >= 0 @ 5.4021 15.33/15.46 c bounds 4404 >= 0 @ 5.40849 15.33/15.46 c bounds 4394 >= 0 @ 5.41345 15.33/15.46 c bounds 4392 >= 0 @ 5.42055 15.33/15.46 c bounds 4241 >= 0 @ 5.42979 15.33/15.46 c bounds 4224 >= 0 @ 5.44183 15.33/15.46 c bounds 4161 >= 0 @ 5.44526 15.33/15.46 c bounds 4152 >= 0 @ 5.45326 15.33/15.46 c bounds 4109 >= 0 @ 5.45963 15.33/15.46 c bounds 4105 >= 0 @ 5.46349 15.33/15.46 c bounds 3989 >= 0 @ 5.46983 15.33/15.46 c bounds 3955 >= 0 @ 5.48364 15.33/15.46 c bounds 3946 >= 0 @ 5.50577 15.33/15.46 c bounds 3836 >= 0 @ 5.51106 15.33/15.46 c bounds 3830 >= 0 @ 5.51927 15.33/15.46 c bounds 3789 >= 0 @ 5.52896 15.33/15.46 c bounds 3745 >= 0 @ 5.53401 15.33/15.46 c bounds 3695 >= 0 @ 5.54392 15.33/15.46 c bounds 3665 >= 0 @ 5.55312 15.33/15.46 c bounds 3650 >= 0 @ 5.56364 15.33/15.46 c bounds 3565 >= 0 @ 5.57057 15.33/15.46 c bounds 3481 >= 0 @ 5.57537 15.33/15.46 c bounds 3479 >= 0 @ 5.58307 15.33/15.46 c bounds 3378 >= 0 @ 5.5911 15.33/15.46 c bounds 3338 >= 0 @ 5.60306 15.33/15.46 c bounds 3329 >= 0 @ 5.60977 15.33/15.46 c bounds 3278 >= 0 @ 5.61747 15.33/15.46 c bounds 3252 >= 0 @ 5.64043 15.33/15.46 c bounds 3196 >= 0 @ 5.647 15.33/15.46 c bounds 3113 >= 0 @ 5.65208 15.33/15.46 c bounds 3104 >= 0 @ 5.67334 15.33/15.46 c bounds 3058 >= 0 @ 5.68801 15.33/15.46 c bounds 3005 >= 0 @ 5.69349 15.33/15.46 c bounds 2976 >= 0 @ 5.70362 15.33/15.46 c bounds 2922 >= 0 @ 5.70905 15.33/15.46 c bounds 2920 >= 0 @ 5.73084 15.33/15.46 c bounds 2877 >= 0 @ 5.73951 15.33/15.46 c bounds 2862 >= 0 @ 5.74552 15.33/15.46 c bounds 2812 >= 0 @ 5.75263 15.33/15.46 c bounds 2795 >= 0 @ 5.76334 15.33/15.46 c bounds 2623 >= 0 @ 5.77191 15.33/15.46 c bounds 2591 >= 0 @ 5.78464 15.33/15.46 c bounds 2586 >= 0 @ 5.79897 15.33/15.46 c bounds 2560 >= 0 @ 5.8182 15.33/15.46 c bounds 2554 >= 0 @ 5.83299 15.33/15.46 c bounds 2552 >= 0 @ 5.84249 15.33/15.46 c bounds 2427 >= 0 @ 5.86415 15.33/15.46 c bounds 2397 >= 0 @ 5.88047 15.33/15.46 c bounds 2381 >= 0 @ 5.88883 15.33/15.46 c bounds 2376 >= 0 @ 5.89506 15.33/15.46 c bounds 2360 >= 0 @ 5.93167 15.33/15.46 c bounds 2265 >= 0 @ 5.93962 15.33/15.46 c bounds 2231 >= 0 @ 5.95052 15.33/15.46 c bounds 2191 >= 0 @ 5.95788 15.33/15.46 c bounds 2185 >= 0 @ 5.97439 15.33/15.46 c bounds 2132 >= 0 @ 5.98045 15.33/15.46 c bounds 2122 >= 0 @ 6.01204 15.33/15.46 c bounds 2069 >= 0 @ 6.02246 15.33/15.46 c bounds 1980 >= 0 @ 6.03072 15.33/15.46 c bounds 1882 >= 0 @ 6.04036 15.33/15.46 c bounds 1864 >= 0 @ 6.04974 15.33/15.46 c bounds 1830 >= 0 @ 6.06102 15.33/15.46 c bounds 1820 >= 0 @ 6.06786 15.33/15.46 c bounds 1813 >= 0 @ 6.07436 15.33/15.46 c bounds 1786 >= 0 @ 6.08516 15.33/15.46 c bounds 1772 >= 0 @ 6.09459 15.33/15.46 c bounds 1762 >= 0 @ 6.0993 15.33/15.46 c bounds 1575 >= 0 @ 6.14081 15.33/15.46 c bounds 1569 >= 0 @ 6.16317 15.33/15.46 c bounds 1550 >= 0 @ 6.17262 15.33/15.46 c bounds 1549 >= 0 @ 6.17863 15.33/15.46 c bounds 1527 >= 0 @ 6.18846 15.33/15.46 c bounds 1519 >= 0 @ 6.1931 15.33/15.46 c bounds 1443 >= 0 @ 6.20286 15.33/15.46 c bounds 1423 >= 0 @ 6.21089 15.33/15.46 c bounds 1384 >= 0 @ 6.22059 15.33/15.46 c bounds 1382 >= 0 @ 6.22619 15.33/15.46 c bounds 1355 >= 0 @ 6.23528 15.33/15.46 c bounds 1351 >= 0 @ 6.24162 15.33/15.46 c bounds 1334 >= 0 @ 6.25426 15.33/15.46 c bounds 1329 >= 0 @ 6.26213 15.33/15.46 c bounds 1252 >= 0 @ 6.37639 15.33/15.46 c bounds 1240 >= 0 @ 6.82366 15.33/15.46 c bounds 1239 >= 0 @ 7.01806 15.33/15.46 c bounds 1192 >= 0 @ 7.02921 15.33/15.46 c bounds 1182 >= 0 @ 7.0454 15.33/15.46 c bounds 1157 >= 0 @ 7.05284 15.33/15.46 c bounds 1009 >= 0 @ 7.21395 15.33/15.46 c bounds 930 >= 0 @ 7.22306 15.33/15.46 c bounds 857 >= 0 @ 7.30436 15.33/15.46 c bounds 856 >= 0 @ 7.44665 15.33/15.46 c bounds 846 >= 0 @ 7.47216 15.33/15.46 c bounds 842 >= 0 @ 7.72495 15.33/15.46 c bounds 821 >= 0 @ 7.73583 15.33/15.46 c bounds 786 >= 0 @ 7.96262 15.33/15.46 c bounds 782 >= 0 @ 7.97115 15.33/15.46 c #Conflicts: 1000 | #Constraints: 658030 15.33/15.46 c bounds 737 >= 0 @ 8.12256 15.33/15.46 c bounds 644 >= 0 @ 8.13796 15.33/15.46 c bounds 611 >= 0 @ 8.16026 15.33/15.46 c bounds 608 >= 0 @ 8.46378 15.33/15.46 c bounds 485 >= 0 @ 8.83682 15.33/15.46 c bounds 478 >= 0 @ 8.84446 15.33/15.46 c bounds 477 >= 0 @ 8.84879 15.33/15.46 c #Conflicts: 2000 | #Constraints: 659037 15.33/15.46 c INPROCESSING 15.33/15.46 c GARBAGE COLLECT 15.33/15.46 c bounds 476 >= 0 @ 10.9106 15.33/15.46 c bounds 472 >= 0 @ 10.9332 15.33/15.46 c bounds 465 >= 0 @ 12.0418 15.33/15.46 c #Conflicts: 3000 | #Constraints: 658912 31.47/31.60 c #Conflicts: 4000 | #Constraints: 659912 31.47/31.60 c INPROCESSING 31.47/31.60 c GARBAGE COLLECT 31.47/31.60 c #Conflicts: 5000 | #Constraints: 659317 31.47/31.60 c #Conflicts: 6000 | #Constraints: 660317 31.47/31.60 c INPROCESSING 31.47/31.60 c GARBAGE COLLECT 31.47/31.60 c rational objective 154.151 40.64/40.88 c bounds 360 >= 0 @ 29.6372 40.64/40.88 c #Conflicts: 7000 | #Constraints: 659324 40.64/40.88 c #Conflicts: 8000 | #Constraints: 660324 40.64/40.88 c #Conflicts: 9000 | #Constraints: 661324 40.64/40.88 c INPROCESSING 40.64/40.88 c GARBAGE COLLECT 40.64/40.88 c rational objective 154.252 57.48/57.73 c bounds 356 >= 0 @ 38.7026 57.48/57.73 c bounds 354 >= 0 @ 38.7099 57.48/57.73 c bounds 351 >= 0 @ 38.7484 57.48/57.73 c bounds 350 >= 0 @ 38.8432 57.48/57.73 c bounds 348 >= 0 @ 38.9335 57.48/57.73 c bounds 346 >= 0 @ 38.9506 57.48/57.73 c bounds 342 >= 0 @ 38.9688 57.48/57.73 c bounds 341 >= 0 @ 38.9774 57.48/57.73 c bounds 338 >= 0 @ 38.9983 57.48/57.73 c bounds 334 >= 0 @ 39.0302 57.48/57.73 c #Conflicts: 10000 | #Constraints: 660050 57.48/57.73 c bounds 333 >= 0 @ 46.9929 57.48/57.73 c #Conflicts: 11000 | #Constraints: 661054 57.48/57.73 c #Conflicts: 12000 | #Constraints: 662054 57.48/57.73 c INPROCESSING 57.48/57.73 c rational objective 154.252 72.63/72.98 c #Conflicts: 13000 | #Constraints: 660490 72.63/72.98 c #Conflicts: 14000 | #Constraints: 661490 72.63/72.98 c #Conflicts: 15000 | #Constraints: 662490 72.63/72.98 c INPROCESSING 72.63/72.98 c GARBAGE COLLECT 72.63/72.98 c rational objective 154.414 87.08/87.49 c #Conflicts: 16000 | #Constraints: 660720 87.08/87.49 c #Conflicts: 17000 | #Constraints: 661720 87.08/87.49 c #Conflicts: 18000 | #Constraints: 662720 87.08/87.49 c INPROCESSING 87.08/87.49 c GARBAGE COLLECT 87.08/87.49 c rational objective 154.536 212.72/213.57 c bounds 329 >= 0 @ 84.9497 212.72/213.57 c bounds 326 >= 0 @ 84.9836 212.72/213.57 c #Conflicts: 19000 | #Constraints: 660751 212.72/213.57 c #Conflicts: 20000 | #Constraints: 661767 212.72/213.57 c #Conflicts: 21000 | #Constraints: 662775 212.72/213.57 c INPROCESSING 212.72/213.57 c GARBAGE COLLECT 212.72/213.57 c bounds 326 >= 4 @ 151.737 212.72/213.57 c bounds 326 >= 8 @ 151.76 212.72/213.57 c bounds 326 >= 12 @ 151.791 212.72/213.57 c bounds 326 >= 16 @ 151.895 212.72/213.57 c #Conflicts: 22000 | #Constraints: 660578 212.72/213.57 c bounds 326 >= 20 @ 162.473 212.72/213.57 c #Conflicts: 23000 | #Constraints: 661590 212.72/213.57 c #Conflicts: 24000 | #Constraints: 662590 212.72/213.57 c #Conflicts: 25000 | #Constraints: 663590 212.72/213.57 c INPROCESSING 212.72/213.57 c GARBAGE COLLECT 212.72/213.57 c rational objective 155.64 279.78/280.86 c #Conflicts: 26000 | #Constraints: 661181 279.78/280.86 c #Conflicts: 27000 | #Constraints: 662181 279.78/280.86 c #Conflicts: 28000 | #Constraints: 663181 279.78/280.86 c #Conflicts: 29000 | #Constraints: 664181 279.78/280.86 c INPROCESSING 279.78/280.86 c GARBAGE COLLECT 279.78/280.86 c rational objective 155.64 331.20/332.47 c bounds 325 >= 20 @ 279.383 331.20/332.47 c bounds 324 >= 20 @ 279.46 331.20/332.47 c bounds 323 >= 20 @ 279.857 331.20/332.47 c bounds 321 >= 20 @ 280.25 331.20/332.47 c bounds 320 >= 20 @ 280.3 331.20/332.47 c #Conflicts: 30000 | #Constraints: 661599 331.20/332.47 c bounds 316 >= 20 @ 301.804 331.20/332.47 c #Conflicts: 31000 | #Constraints: 662614 331.20/332.47 c bounds 314 >= 20 @ 307.621 331.20/332.47 c bounds 314 >= 23 @ 307.654 331.20/332.47 c bounds 314 >= 26 @ 307.952 331.20/332.47 c #Conflicts: 32000 | #Constraints: 663626 331.20/332.47 c #Conflicts: 33000 | #Constraints: 664626 331.20/332.47 c INPROCESSING 331.20/332.47 c GARBAGE COLLECT 331.20/332.47 c rational objective 155.64 475.20/476.97 c #Conflicts: 34000 | #Constraints: 661789 475.20/476.97 c #Conflicts: 35000 | #Constraints: 662794 475.20/476.97 c #Conflicts: 36000 | #Constraints: 663805 475.20/476.97 c #Conflicts: 37000 | #Constraints: 664817 475.20/476.97 c INPROCESSING 475.20/476.97 c GARBAGE COLLECT 475.20/476.97 c #Conflicts: 38000 | #Constraints: 661805 475.20/476.97 c #Conflicts: 39000 | #Constraints: 662805 475.20/476.97 c #Conflicts: 40000 | #Constraints: 663805 475.20/476.97 c #Conflicts: 41000 | #Constraints: 664805 475.20/476.97 c INPROCESSING 475.20/476.97 c rational objective 155.64 505.40/507.29 c #Conflicts: 42000 | #Constraints: 661591 505.40/507.29 c #Conflicts: 43000 | #Constraints: 662592 505.40/507.29 c #Conflicts: 44000 | #Constraints: 663593 505.40/507.29 c #Conflicts: 45000 | #Constraints: 664593 505.40/507.29 c #Conflicts: 46000 | #Constraints: 665593 505.40/507.29 c INPROCESSING 505.40/507.29 c GARBAGE COLLECT 505.40/507.29 c rational objective 155.64 545.35/547.38 c #Conflicts: 47000 | #Constraints: 662193 545.35/547.38 c #Conflicts: 48000 | #Constraints: 663194 545.35/547.38 c #Conflicts: 49000 | #Constraints: 664194 545.35/547.38 c #Conflicts: 50000 | #Constraints: 665194 545.35/547.38 c #Conflicts: 51000 | #Constraints: 666194 545.35/547.38 c INPROCESSING 545.35/547.38 c rational objective 155.643 588.19/590.39 c #Conflicts: 52000 | #Constraints: 662588 588.19/590.39 c #Conflicts: 53000 | #Constraints: 663588 588.19/590.39 c #Conflicts: 54000 | #Constraints: 664589 588.19/590.39 c #Conflicts: 55000 | #Constraints: 665589 588.19/590.39 c #Conflicts: 56000 | #Constraints: 666589 588.19/590.39 c INPROCESSING 588.19/590.39 c GARBAGE COLLECT 588.19/590.39 c rational objective 155.659 637.12/639.48 c #Conflicts: 57000 | #Constraints: 662799 637.12/639.48 c #Conflicts: 58000 | #Constraints: 663799 637.12/639.48 c #Conflicts: 59000 | #Constraints: 664799 637.12/639.48 c #Conflicts: 60000 | #Constraints: 665799 637.12/639.48 c #Conflicts: 61000 | #Constraints: 666799 637.12/639.48 c INPROCESSING 637.12/639.48 c rational objective 155.659 686.66/689.16 c #Conflicts: 62000 | #Constraints: 662798 686.66/689.16 c #Conflicts: 63000 | #Constraints: 663798 686.66/689.16 c #Conflicts: 64000 | #Constraints: 664798 686.66/689.16 c #Conflicts: 65000 | #Constraints: 665798 686.66/689.16 c #Conflicts: 66000 | #Constraints: 666798 686.66/689.16 c INPROCESSING 686.66/689.16 c GARBAGE COLLECT 686.66/689.16 c rational objective 155.661 737.17/739.83 c #Conflicts: 67000 | #Constraints: 662601 737.17/739.83 c #Conflicts: 68000 | #Constraints: 663601 737.17/739.83 c #Conflicts: 69000 | #Constraints: 664601 737.17/739.83 c #Conflicts: 70000 | #Constraints: 665601 737.17/739.83 c #Conflicts: 71000 | #Constraints: 666601 737.17/739.83 c #Conflicts: 72000 | #Constraints: 667601 737.17/739.83 c INPROCESSING 737.17/739.83 c rational objective 155.673 829.55/832.56 c #Conflicts: 73000 | #Constraints: 663206 829.55/832.56 c bounds 313 >= 26 @ 746.032 829.55/832.56 c #Conflicts: 74000 | #Constraints: 664219 829.55/832.56 c #Conflicts: 75000 | #Constraints: 665234 829.55/832.56 c bounds 310 >= 26 @ 772.198 829.55/832.56 c bounds 310 >= 28 @ 772.224 829.55/832.56 c bounds 310 >= 30 @ 772.258 829.55/832.56 c bounds 310 >= 32 @ 772.29 829.55/832.56 c bounds 310 >= 34 @ 772.387 829.55/832.56 c bounds 310 >= 36 @ 772.689 829.55/832.56 c #Conflicts: 76000 | #Constraints: 666255 829.55/832.56 c bounds 310 >= 38 @ 788.785 829.55/832.56 c #Conflicts: 77000 | #Constraints: 667273 829.55/832.56 c #Conflicts: 78000 | #Constraints: 668273 829.55/832.56 c INPROCESSING 829.55/832.56 c GARBAGE COLLECT 829.55/832.56 c rational objective 155.676 984.09/987.67 c #Conflicts: 79000 | #Constraints: 663653 984.09/987.67 c #Conflicts: 80000 | #Constraints: 664653 984.09/987.67 c #Conflicts: 81000 | #Constraints: 665653 984.09/987.67 c #Conflicts: 82000 | #Constraints: 666653 984.09/987.67 c #Conflicts: 83000 | #Constraints: 667653 984.09/987.67 c #Conflicts: 84000 | #Constraints: 668653 984.09/987.67 c INPROCESSING 984.09/987.67 c GARBAGE COLLECT 984.09/987.67 c rational objective 155.676 1182.09/1186.33 c #Conflicts: 85000 | #Constraints: 663843 1182.09/1186.33 c bounds 308 >= 38 @ 987.374 1182.09/1186.33 c bounds 307 >= 38 @ 990.45 1182.09/1186.33 c bounds 306 >= 38 @ 993.088 1182.09/1186.33 c bounds 305 >= 38 @ 993.858 1182.09/1186.33 c bounds 302 >= 38 @ 994.825 1182.09/1186.33 c #Conflicts: 86000 | #Constraints: 664860 1182.09/1186.33 c bounds 297 >= 38 @ 1003.84 1182.09/1186.33 c #Conflicts: 87000 | #Constraints: 665875 1182.09/1186.33 c #Conflicts: 88000 | #Constraints: 666883 1182.09/1186.33 c #Conflicts: 89000 | #Constraints: 667892 1182.09/1186.33 c #Conflicts: 90000 | #Constraints: 668899 1182.09/1186.33 c INPROCESSING 1182.09/1186.33 c GARBAGE COLLECT 1182.09/1186.33 c rational objective 155.676 1342.62/1347.46 c bounds 296 >= 38 @ 1171 1342.62/1347.46 c bounds 295 >= 38 @ 1179.83 1342.62/1347.46 c bounds 294 >= 38 @ 1180.31 1342.62/1347.46 c #Conflicts: 91000 | #Constraints: 663873 1342.62/1347.46 c bounds 293 >= 38 @ 1181.63 1342.62/1347.46 c #Conflicts: 92000 | #Constraints: 664888 1342.62/1347.46 c #Conflicts: 93000 | #Constraints: 665900 1342.62/1347.46 c #Conflicts: 94000 | #Constraints: 666908 1342.62/1347.46 c #Conflicts: 95000 | #Constraints: 667917 1342.62/1347.46 c #Conflicts: 96000 | #Constraints: 668925 1342.62/1347.46 c INPROCESSING 1342.62/1347.46 c GARBAGE COLLECT 1342.62/1347.46 c rational objective 155.676 1574.30/1579.98 c bounds 293 >= 39 @ 1329.57 1574.30/1579.98 c bounds 293 >= 40 @ 1329.59 1574.30/1579.98 c bounds 293 >= 41 @ 1329.62 1574.30/1579.98 c bounds 293 >= 42 @ 1329.64 1574.30/1579.98 c bounds 293 >= 43 @ 1329.66 1574.30/1579.98 c bounds 293 >= 44 @ 1329.68 1574.30/1579.98 c bounds 293 >= 45 @ 1329.7 1574.30/1579.98 c bounds 293 >= 46 @ 1329.73 1574.30/1579.98 c bounds 293 >= 47 @ 1329.75 1574.30/1579.98 c bounds 293 >= 48 @ 1329.78 1574.30/1579.98 c bounds 293 >= 49 @ 1329.81 1574.30/1579.98 c bounds 293 >= 50 @ 1329.86 1574.30/1579.98 c bounds 293 >= 51 @ 1329.89 1574.30/1579.98 c bounds 293 >= 52 @ 1329.94 1574.30/1579.98 c bounds 293 >= 53 @ 1330.02 1574.30/1579.98 c bounds 293 >= 54 @ 1330.14 1574.30/1579.98 c bounds 293 >= 55 @ 1330.38 1574.30/1579.98 c bounds 293 >= 56 @ 1330.71 1574.30/1579.98 c bounds 293 >= 57 @ 1336.78 1574.30/1579.98 c #Conflicts: 97000 | #Constraints: 663838 1574.30/1579.98 c bounds 293 >= 58 @ 1337.32 1574.30/1579.98 c bounds 293 >= 59 @ 1339.13 1574.30/1579.98 c bounds 293 >= 60 @ 1341.81 1574.30/1579.98 c #Conflicts: 98000 | #Constraints: 664901 1574.30/1579.98 c bounds 293 >= 61 @ 1345.31 1574.30/1579.98 c #Conflicts: 99000 | #Constraints: 665928 1574.30/1579.98 c bounds 293 >= 62 @ 1354.41 1574.30/1579.98 c bounds 293 >= 63 @ 1359.95 1574.30/1579.98 c #Conflicts: 100000 | #Constraints: 666985 1574.30/1579.98 c #Conflicts: 101000 | #Constraints: 667985 1574.30/1579.98 c bounds 293 >= 64 @ 1373.51 1574.30/1579.98 c #Conflicts: 102000 | #Constraints: 669000 1574.30/1579.98 c #Conflicts: 103000 | #Constraints: 670000 1574.30/1579.98 c bounds 293 >= 65 @ 1394.96 1574.30/1579.98 c INPROCESSING 1574.30/1579.98 c GARBAGE COLLECT 1574.30/1579.98 c rational objective 155.676 1642.66/1648.55 c #Conflicts: 104000 | #Constraints: 664597 1642.66/1648.55 c #Conflicts: 105000 | #Constraints: 665597 1642.66/1648.55 c bounds 293 >= 66 @ 1572.67 1642.66/1648.55 c #Conflicts: 106000 | #Constraints: 666618 1642.66/1648.55 c #Conflicts: 107000 | #Constraints: 667618 1642.66/1648.55 c bounds 293 >= 67 @ 1597.2 1642.66/1648.55 c #Conflicts: 108000 | #Constraints: 668654 1642.66/1648.55 c #Conflicts: 109000 | #Constraints: 669654 1642.66/1648.55 c #Conflicts: 110000 | #Constraints: 670654 1642.66/1648.55 c INPROCESSING 1642.66/1648.55 c GARBAGE COLLECT 1642.66/1648.55 c rational objective 155.676 1721.17/1727.34 c #Conflicts: 111000 | #Constraints: 665047 1721.17/1727.34 c bounds 293 >= 68 @ 1633.25 1721.17/1727.34 c #Conflicts: 112000 | #Constraints: 666071 1721.17/1727.34 c #Conflicts: 113000 | #Constraints: 667071 1721.17/1727.34 c #Conflicts: 114000 | #Constraints: 668071 1721.17/1727.34 c #Conflicts: 115000 | #Constraints: 669071 1721.17/1727.34 c bounds 293 >= 69 @ 1677.52 1721.17/1727.34 c #Conflicts: 116000 | #Constraints: 670101 1721.17/1727.34 c #Conflicts: 117000 | #Constraints: 671101 1721.17/1727.34 c INPROCESSING 1721.17/1727.34 c GARBAGE COLLECT 1721.17/1727.34 c rational objective 155.676 1897.28/1904.04 c #Conflicts: 118000 | #Constraints: 665299 1897.28/1904.04 c #Conflicts: 119000 | #Constraints: 666299 1897.28/1904.04 c #Conflicts: 120000 | #Constraints: 667299 1897.28/1904.04 c #Conflicts: 121000 | #Constraints: 668299 1897.28/1904.04 c #Conflicts: 122000 | #Constraints: 669299 1897.28/1904.04 c bounds 293 >= 70 @ 1752.23 1897.28/1904.04 c #Conflicts: 123000 | #Constraints: 670332 1897.28/1904.04 c #Conflicts: 124000 | #Constraints: 671332 1897.28/1904.04 c INPROCESSING 1897.28/1904.04 c GARBAGE COLLECT 1897.28/1904.04 c rational objective 155.676 2049.49/2056.82 c #Conflicts: 125000 | #Constraints: 665313 2049.49/2056.82 c #Conflicts: 126000 | #Constraints: 666313 2049.49/2056.82 c #Conflicts: 127000 | #Constraints: 667313 2049.49/2056.82 c #Conflicts: 128000 | #Constraints: 668313 2049.49/2056.82 c #Conflicts: 129000 | #Constraints: 669313 2049.49/2056.82 c #Conflicts: 130000 | #Constraints: 670313 2049.49/2056.82 c #Conflicts: 131000 | #Constraints: 671313 2049.49/2056.82 c INPROCESSING 2049.49/2056.82 c GARBAGE COLLECT 2049.49/2056.82 c rational objective 155.676 2120.84/2128.41 c #Conflicts: 132000 | #Constraints: 665114 2120.84/2128.41 c #Conflicts: 133000 | #Constraints: 666114 2120.84/2128.41 c #Conflicts: 134000 | #Constraints: 667114 2120.84/2128.41 c #Conflicts: 135000 | #Constraints: 668114 2120.84/2128.41 c #Conflicts: 136000 | #Constraints: 669114 2120.84/2128.41 c #Conflicts: 137000 | #Constraints: 670114 2120.84/2128.41 c #Conflicts: 138000 | #Constraints: 671114 2120.84/2128.41 c #Conflicts: 139000 | #Constraints: 672114 2120.84/2128.41 c INPROCESSING 2120.84/2128.41 c GARBAGE COLLECT 2120.84/2128.41 c rational objective 155.676 2202.55/2210.49 c #Conflicts: 140000 | #Constraints: 665719 2202.55/2210.49 c #Conflicts: 141000 | #Constraints: 666719 2202.55/2210.49 c #Conflicts: 142000 | #Constraints: 667719 2202.55/2210.49 c #Conflicts: 143000 | #Constraints: 668719 2202.55/2210.49 c #Conflicts: 144000 | #Constraints: 669719 2202.55/2210.49 c bounds 293 >= 71 @ 2150.48 2202.55/2210.49 c #Conflicts: 145000 | #Constraints: 670755 2202.55/2210.49 c #Conflicts: 146000 | #Constraints: 671755 2202.55/2210.49 c #Conflicts: 147000 | #Constraints: 672755 2202.55/2210.49 c INPROCESSING 2202.55/2210.49 c GARBAGE COLLECT 2202.55/2210.49 c rational objective 155.676 2289.13/2297.31 c #Conflicts: 148000 | #Constraints: 666170 2289.13/2297.31 c #Conflicts: 149000 | #Constraints: 667170 2289.13/2297.31 c #Conflicts: 150000 | #Constraints: 668170 2289.13/2297.31 c #Conflicts: 151000 | #Constraints: 669170 2289.13/2297.31 c #Conflicts: 152000 | #Constraints: 670170 2289.13/2297.31 c #Conflicts: 153000 | #Constraints: 671170 2289.13/2297.31 c #Conflicts: 154000 | #Constraints: 672170 2289.13/2297.31 c #Conflicts: 155000 | #Constraints: 673170 2289.13/2297.31 c INPROCESSING 2289.13/2297.31 c GARBAGE COLLECT 2289.13/2297.31 c rational objective 155.676 2391.16/2399.79 c #Conflicts: 156000 | #Constraints: 666370 2391.16/2399.79 c #Conflicts: 157000 | #Constraints: 667370 2391.16/2399.79 c #Conflicts: 158000 | #Constraints: 668370 2391.16/2399.79 c #Conflicts: 159000 | #Constraints: 669370 2391.16/2399.79 c #Conflicts: 160000 | #Constraints: 670370 2391.16/2399.79 c bounds 293 >= 72 @ 2331.39 2391.16/2399.79 c #Conflicts: 161000 | #Constraints: 671403 2391.16/2399.79 c #Conflicts: 162000 | #Constraints: 672403 2391.16/2399.79 c #Conflicts: 163000 | #Constraints: 673403 2391.16/2399.79 c INPROCESSING 2391.16/2399.79 c GARBAGE COLLECT 2391.16/2399.79 c rational objective 155.676 2489.81/2498.72 c #Conflicts: 164000 | #Constraints: 666399 2489.81/2498.72 c #Conflicts: 165000 | #Constraints: 667399 2489.81/2498.72 c #Conflicts: 166000 | #Constraints: 668399 2489.81/2498.72 c #Conflicts: 167000 | #Constraints: 669399 2489.81/2498.72 c #Conflicts: 168000 | #Constraints: 670399 2489.81/2498.72 c #Conflicts: 169000 | #Constraints: 671399 2489.81/2498.72 c #Conflicts: 170000 | #Constraints: 672399 2489.81/2498.72 c #Conflicts: 171000 | #Constraints: 673399 2489.81/2498.72 c INPROCESSING 2489.81/2498.72 c GARBAGE COLLECT 2489.81/2498.72 c rational objective 155.676 2599.22/2608.54 c #Conflicts: 172000 | #Constraints: 666194 2599.22/2608.54 c #Conflicts: 173000 | #Constraints: 667194 2599.22/2608.54 c #Conflicts: 174000 | #Constraints: 668194 2599.22/2608.54 c #Conflicts: 175000 | #Constraints: 669194 2599.22/2608.54 c #Conflicts: 176000 | #Constraints: 670194 2599.22/2608.54 c #Conflicts: 177000 | #Constraints: 671194 2599.22/2608.54 c #Conflicts: 178000 | #Constraints: 672194 2599.22/2608.54 c #Conflicts: 179000 | #Constraints: 673194 2599.22/2608.54 c #Conflicts: 180000 | #Constraints: 674194 2599.22/2608.54 c INPROCESSING 2599.22/2608.54 c GARBAGE COLLECT 2599.22/2608.54 c rational objective 155.676 2711.02/2720.70 c #Conflicts: 181000 | #Constraints: 666807 2711.02/2720.70 c #Conflicts: 182000 | #Constraints: 667807 2711.02/2720.70 c #Conflicts: 183000 | #Constraints: 668807 2711.02/2720.70 c #Conflicts: 184000 | #Constraints: 669807 2711.02/2720.70 c #Conflicts: 185000 | #Constraints: 670807 2711.02/2720.70 c #Conflicts: 186000 | #Constraints: 671807 2711.02/2720.70 c #Conflicts: 187000 | #Constraints: 672807 2711.02/2720.70 c #Conflicts: 188000 | #Constraints: 673807 2711.02/2720.70 c #Conflicts: 189000 | #Constraints: 674807 2711.02/2720.70 c INPROCESSING 2711.02/2720.70 c GARBAGE COLLECT 2711.02/2720.70 c rational objective 155.676 2860.80/2871.10 c #Conflicts: 190000 | #Constraints: 667217 2860.80/2871.10 c #Conflicts: 191000 | #Constraints: 668222 2860.80/2871.10 c #Conflicts: 192000 | #Constraints: 669230 2860.80/2871.10 c #Conflicts: 193000 | #Constraints: 670250 2860.80/2871.10 c #Conflicts: 194000 | #Constraints: 671261 2860.80/2871.10 c #Conflicts: 195000 | #Constraints: 672271 2860.80/2871.10 c #Conflicts: 196000 | #Constraints: 673284 2860.80/2871.10 c #Conflicts: 197000 | #Constraints: 674295 2860.80/2871.10 c #Conflicts: 198000 | #Constraints: 675303 2860.80/2871.10 c INPROCESSING 2860.80/2871.10 c GARBAGE COLLECT 2860.80/2871.10 c rational objective 155.676 2972.28/2982.97 c #Conflicts: 199000 | #Constraints: 667454 2972.28/2982.97 c #Conflicts: 200000 | #Constraints: 668454 2972.28/2982.97 c #Conflicts: 201000 | #Constraints: 669454 2972.28/2982.97 c #Conflicts: 202000 | #Constraints: 670454 2972.28/2982.97 c #Conflicts: 203000 | #Constraints: 671454 2972.28/2982.97 c #Conflicts: 204000 | #Constraints: 672454 2972.28/2982.97 c #Conflicts: 205000 | #Constraints: 673454 2972.28/2982.97 c #Conflicts: 206000 | #Constraints: 674454 2972.28/2982.97 c #Conflicts: 207000 | #Constraints: 675454 2972.28/2982.97 c INPROCESSING 2972.28/2982.97 c GARBAGE COLLECT 2972.28/2982.97 c rational objective 155.676 3107.24/3118.38 c #Conflicts: 208000 | #Constraints: 667435 3107.24/3118.38 c #Conflicts: 209000 | #Constraints: 668435 3107.24/3118.38 c #Conflicts: 210000 | #Constraints: 669435 3107.24/3118.38 c #Conflicts: 211000 | #Constraints: 670435 3107.24/3118.38 c #Conflicts: 212000 | #Constraints: 671435 3107.24/3118.38 c #Conflicts: 213000 | #Constraints: 672435 3107.24/3118.38 c #Conflicts: 214000 | #Constraints: 673435 3107.24/3118.38 c #Conflicts: 215000 | #Constraints: 674435 3107.24/3118.38 c bounds 293 >= 73 @ 3039.35 3107.24/3118.38 c #Conflicts: 216000 | #Constraints: 675465 3107.24/3118.38 c INPROCESSING 3107.24/3118.38 c GARBAGE COLLECT 3107.24/3118.38 c rational objective 155.676 3463.75/3476.03 c #Conflicts: 217000 | #Constraints: 667247 3463.75/3476.03 c #Conflicts: 218000 | #Constraints: 668247 3463.75/3476.03 c #Conflicts: 219000 | #Constraints: 669247 3463.75/3476.03 c #Conflicts: 220000 | #Constraints: 670247 3463.75/3476.03 c #Conflicts: 221000 | #Constraints: 671251 3463.75/3476.03 c #Conflicts: 222000 | #Constraints: 672251 3463.75/3476.03 c #Conflicts: 223000 | #Constraints: 673254 3463.75/3476.03 c #Conflicts: 224000 | #Constraints: 674266 3463.75/3476.03 c #Conflicts: 225000 | #Constraints: 675272 3463.75/3476.03 c #Conflicts: 226000 | #Constraints: 676277 3463.75/3476.03 c INPROCESSING 3463.75/3476.03 c GARBAGE COLLECT 3463.75/3476.03 c rational objective 155.676 3585.87/3598.67 c #Conflicts: 227000 | #Constraints: 667864 3585.87/3598.67 c #Conflicts: 228000 | #Constraints: 668864 3585.87/3598.67 c #Conflicts: 229000 | #Constraints: 669864 3585.87/3598.67 c #Conflicts: 230000 | #Constraints: 670864 3585.87/3598.67 c #Conflicts: 231000 | #Constraints: 671864 3585.87/3598.67 c #Conflicts: 232000 | #Constraints: 672864 3585.87/3598.67 c #Conflicts: 233000 | #Constraints: 673864 3585.87/3598.67 c #Conflicts: 234000 | #Constraints: 674864 3585.87/3598.67 c #Conflicts: 235000 | #Constraints: 675864 3585.87/3598.67 c #Conflicts: 236000 | #Constraints: 676864 3585.87/3598.67 c INPROCESSING 3585.87/3598.67 c GARBAGE COLLECT 3585.87/3598.67 c rational objective 155.676 3600.33/3613.18 c #Conflicts: 237000 | #Constraints: 668261 3600.33/3613.18 c Program interrupted by user. 3600.33/3613.18 c cpu time 3546.55 s 3600.33/3613.18 c deterministic time 454418485414 4.54e+11 3600.33/3613.18 c optimization time 14.9672 s 3600.33/3613.18 c total solve time 3529.42 s 3600.33/3613.18 c core-guided solve time 2104.57 s 3600.33/3613.18 c propagation time 2179.14 s 3600.33/3613.18 c conflict analysis time 757.562 s 3600.33/3613.18 c propagations 89887468 3600.33/3613.18 c resolve steps 3138781 3600.33/3613.18 c decisions 24860730 3600.33/3613.18 c conflicts 237295 3600.33/3613.18 c restarts 541 3600.33/3613.18 c inprocessing phases 40 3600.33/3613.18 c input clauses 657076 3600.33/3613.18 c input cardinalities 48 3600.33/3613.18 c input general constraints 617 3600.33/3613.18 c input average constraint length 6.12 3600.33/3613.18 c input average constraint degree 128.20 3600.33/3613.18 c learned clauses 89239 3600.33/3613.18 c learned cardinalities 0 3600.33/3613.18 c learned general constraints 148466 3600.33/3613.18 c learned average constraint length 3834.76 3600.33/3613.18 c learned average constraint degree 70016221938.17 3600.33/3613.18 c watched constraints 33005 3600.33/3613.18 c counting constraints 116078 3600.33/3613.18 c gcd simplifications 3468 3600.33/3613.18 c detected cardinalities 0 3600.33/3613.18 c weakened non-implied lits 256780784 3600.33/3613.18 c weakened non-implying lits 65764 3600.33/3613.18 c original variables 10000 3600.33/3613.18 c clausal propagations 25501399 3600.33/3613.18 c cardinality propagations 56221 3600.33/3613.18 c watched propagations 1964097 3600.33/3613.18 c counting propagations 61777656 3600.33/3613.18 c watch lookups 17737799641 3600.33/3613.18 c watch backjump lookups 17549611285 3600.33/3613.18 c watch checks 124331487676 3600.33/3613.18 c propagation checks 290490309239 3600.33/3613.18 c constraint additions 4079212185 3600.33/3613.18 c trail pops 114975977 3600.33/3613.18 c formula constraints 656900 3600.33/3613.18 c learned constraints 236895 3600.33/3613.18 c bound constraints 217 3600.33/3613.18 c core-guided constraints 624 3600.33/3613.18 c encountered formula constraints 1730592 3600.33/3613.18 c encountered learned constraints 1331743 3600.33/3613.18 c encountered bound constraints 1369 3600.33/3613.18 c encountered core-guided constraints 274704 3600.33/3613.18 c LP total time 1060.83 s 3600.33/3613.18 c LP solve time 1032.25 s 3600.33/3613.18 c LP constraints added 656920 3600.33/3613.18 c LP constraints removed 8 3600.33/3613.18 c LP pivots internal 238028 3600.33/3613.18 c LP pivots root 103184 3600.33/3613.18 c LP calls 1021 3600.33/3613.18 c LP optimalities 612 3600.33/3613.18 c LP no pivot count 208 3600.33/3613.18 c LP infeasibilities 405 3600.33/3613.18 c LP valid Farkas constraints 405 3600.33/3613.18 c LP learned Farkas constraints 405 3600.33/3613.18 c LP basis resets 0 3600.33/3613.18 c LP cycling count 0 3600.33/3613.18 c LP singular count 0 3600.33/3613.18 c LP no primal count 0 3600.33/3613.18 c LP no farkas count 0 3600.33/3613.18 c LP other issue count 0 3600.33/3613.18 c LP Gomory cuts 0 3600.33/3613.18 c LP learned cuts 20 3600.33/3613.18 c LP deleted cuts 8 3600.33/3613.18 c LP encountered Gomory constraints 0 3600.33/3613.18 c LP encountered Farkas constraints 35114 3600.33/3613.18 c LP encountered learned Farkas constraints 2149 3600.33/3613.18 c CG auxiliary variables introduced 224 3600.33/3613.18 c CG solutions found 169 3600.33/3613.18 c CG cores constructed 48 3600.33/3613.18 c CG core cardinality constraints returned 0 3600.33/3613.18 c CG unit cores 0 3600.33/3613.18 c CG single cores 47 3600.33/3613.18 c CG blocks removed during cardinality reduction 0 3600.33/3613.18 c CG first core best 0 3600.33/3613.18 c CG decision core best 0 3600.33/3613.18 c CG core reduction tie 1 3600.33/3613.18 c CG core degree average 1.00 3600.33/3613.18 c CG core slack average 1021.08 3600.33/3613.18 s SATISFIABLE 3600.33/3613.18 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 -x9
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61275 MiB free)
memory of node 1: 64510 MiB (60520 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460191-1722064838/watcher-4460191-1722064838 -o /tmp/evaluation-result-4460191-1722064838/solver-4460191-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722064838-310533 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460191-1722064838 --lp-cut-gomory=0 HOME/instance-4460191-1722064838.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=310579, runsolver pid=310572
[startup+0.100822 s]*
/proc/loadavg: 0.08 0.08 0.09 6/244 310596
/proc/meminfo: memFree=124699644/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=40828 memory=11264 CPUtime=0.1 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 1485 0 0 0 8 2 0 0 20 0 1 0 42473575 41807872 2816 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 10207 2816 1368 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11264 KiB
[startup+0.21117 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124694988/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=40828 memory=11264 CPUtime=0.21 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 1517 0 0 0 16 5 0 0 20 0 1 0 42473575 41807872 2816 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 10207 2816 1368 992 0 2065 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 11264 KiB
[startup+0.309542 s]*
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124690456/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=41348 memory=11788 CPUtime=0.31 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 1610 0 0 0 23 8 0 0 20 0 1 0 42473575 42340352 2947 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 10337 2947 1368 992 0 2195 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 11788 KiB
[startup+0.700257 s]
/proc/loadavg: 0.08 0.08 0.09 5/244 310596
/proc/meminfo: memFree=124682312/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=42792 memory=14956 CPUtime=0.68 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 2438 0 0 0 49 19 0 0 20 0 1 0 42473575 43819008 3739 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 10698 3739 1368 992 0 2556 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42792 KiB
Current children cumulated memory: 14956 KiB
[startup+1.50027 s]
/proc/loadavg: 0.08 0.08 0.09 7/244 310596
/proc/meminfo: memFree=124649612/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=56396 memory=27708 CPUtime=1.48 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 5086 0 0 0 106 42 0 0 20 0 1 0 42473575 57749504 6927 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 14099 6927 1368 992 0 5957 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 27708 KiB
[startup+3.11385 s]
/proc/loadavg: 0.08 0.08 0.09 6/244 310596
/proc/meminfo: memFree=123413224/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=428480 memory=369004 CPUtime=3.09 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 50924 0 0 0 224 85 0 0 20 0 1 0 42473575 438763520 92251 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 107120 92251 1730 992 0 98978 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 428480 KiB
Current children cumulated memory: 369004 KiB
[startup+6.3003 s]
/proc/loadavg: 0.39 0.15 0.11 7/244 310596
/proc/meminfo: memFree=123415868/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=361148 memory=331444 CPUtime=6.27 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 59393 0 0 0 527 100 0 0 20 0 1 0 42473575 369815552 82861 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 90287 82861 1730 992 0 82145 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 331444 KiB
[startup+12.7003 s]
/proc/loadavg: 0.68 0.21 0.13 9/247 310601
/proc/meminfo: memFree=122836432/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=427284 memory=376216 CPUtime=12.64 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 63811 0 0 0 1092 172 0 0 20 0 1 0 42473575 437538816 94054 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 106821 94054 1888 992 0 98679 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 427284 KiB
Current children cumulated memory: 376216 KiB
[startup+25.5003 s]
/proc/loadavg: 1.49 0.41 0.20 7/253 310608
/proc/meminfo: memFree=122158248/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=437672 memory=396600 CPUtime=25.39 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 64376 0 0 0 2339 200 0 0 20 0 1 0 42473575 448176128 99150 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 109418 99150 1888 992 0 101276 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 437672 KiB
Current children cumulated memory: 396600 KiB
[startup+51.1142 s]
/proc/loadavg: 2.35 0.70 0.30 6/253 310614
/proc/meminfo: memFree=120802616/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=662836 memory=538896 CPUtime=50.92 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 80002 0 0 0 4842 250 0 0 20 0 1 0 42473575 678744064 134724 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 165709 134724 1888 992 0 157567 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 662836 KiB
Current children cumulated memory: 538896 KiB
[startup+102.3 s]
/proc/loadavg: 3.43 1.26 0.51 6/253 310622
/proc/meminfo: memFree=117943392/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=849268 memory=720072 CPUtime=101.93 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 102520 0 0 0 9878 315 0 0 20 0 1 0 42473575 869650432 180018 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 212317 180018 1888 992 0 204175 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 849268 KiB
Current children cumulated memory: 720072 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.80 0.75 6/256 310635
/proc/meminfo: memFree=115388072/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1188372 memory=1024328 CPUtime=161.7 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 142927 0 0 0 15789 381 0 0 20 0 1 0 42473575 1216892928 256082 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 297093 256082 1904 992 0 288951 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 1188372 KiB
Current children cumulated memory: 1024328 KiB
[startup+222.3 s]
/proc/loadavg: 4.01 2.22 0.96 6/256 310646
/proc/meminfo: memFree=114048520/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1258124 memory=1132568 CPUtime=221.49 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 151266 0 0 0 21687 462 0 0 20 0 1 0 42473575 1288318976 283142 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 314531 283142 1904 992 0 306389 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 1258124 KiB
Current children cumulated memory: 1132568 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 2.58 1.16 7/256 311038
/proc/meminfo: memFree=111814696/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1566704 memory=1253112 CPUtime=281.28 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 172324 0 0 0 27576 552 0 0 20 0 1 0 42473575 1604304896 313278 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 391676 313278 1904 992 0 383534 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1566704 KiB
Current children cumulated memory: 1253112 KiB
[startup+342.3 s]
/proc/loadavg: 4.04 2.84 1.34 6/256 311051
/proc/meminfo: memFree=109523304/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1574168 memory=1260368 CPUtime=341.07 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 173235 0 0 0 33489 618 0 0 20 0 1 0 42473575 1611948032 315092 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 393542 315092 1904 992 0 385400 0
Current children cumulated CPU time: 341.07 s
Current children cumulated vsize: 1574168 KiB
Current children cumulated memory: 1260368 KiB
[startup+402.3 s]
/proc/loadavg: 4.13 3.08 1.52 7/256 311062
/proc/meminfo: memFree=107415376/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1625216 memory=1408132 CPUtime=400.86 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 183302 0 0 0 39402 684 0 0 20 0 1 0 42473575 1664221184 352033 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 406304 352033 1904 992 0 398162 0
Current children cumulated CPU time: 400.86 s
Current children cumulated vsize: 1625216 KiB
Current children cumulated memory: 1408132 KiB
[startup+462.3 s]
/proc/loadavg: 4.25 3.31 1.70 6/260 311245
/proc/meminfo: memFree=104690404/131655788 swapFree=131057052/131071996
[pid=310579] ppid=310572 vsize=1641240 memory=1414400 CPUtime=460.65 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 184365 0 0 0 45368 697 0 0 20 0 1 0 42473575 1680629760 353600 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 410310 353600 1904 992 0 402168 0
################
# More data... #
################
[startup+3102.3 s]
/proc/loadavg: 4.18 4.19 4.09 8/264 312411
/proc/meminfo: memFree=652740/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2700028 memory=2481884 CPUtime=3091.29 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 331669 0 0 0 305492 3637 0 0 20 0 1 0 42473575 2764828672 620471 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 675007 620471 1904 992 0 666865 0
Current children cumulated CPU time: 3091.29 s
Current children cumulated vsize: 2700028 KiB
Current children cumulated memory: 2481884 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.18 4.09 5/266 312424
/proc/meminfo: memFree=597964/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2701340 memory=2485988 CPUtime=3151.1 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 332668 0 0 0 310876 4234 0 0 20 0 1 0 42473575 2766172160 621497 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 675335 621497 1904 992 0 667193 0
Current children cumulated CPU time: 3151.1 s
Current children cumulated vsize: 2701340 KiB
Current children cumulated memory: 2485988 KiB
[startup+3222.3 s]
/proc/loadavg: 4.45 4.28 4.13 5/268 312437
/proc/meminfo: memFree=676320/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2701340 memory=2485988 CPUtime=3210.91 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 333635 0 0 0 316423 4668 0 0 20 0 1 0 42473575 2766172160 621497 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 675335 621497 1904 992 0 667193 0
Current children cumulated CPU time: 3210.91 s
Current children cumulated vsize: 2701340 KiB
Current children cumulated memory: 2485988 KiB
[startup+3282.3 s]
/proc/loadavg: 4.25 4.26 4.13 5/266 312447
/proc/meminfo: memFree=485732/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2701340 memory=2485988 CPUtime=3270.73 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 334705 0 0 0 322049 5024 0 0 20 0 1 0 42473575 2766172160 621497 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 675335 621497 1904 992 0 667193 0
Current children cumulated CPU time: 3270.73 s
Current children cumulated vsize: 2701340 KiB
Current children cumulated memory: 2485988 KiB
[startup+3342.3 s]
/proc/loadavg: 4.25 4.25 4.14 5/266 312457
/proc/meminfo: memFree=545592/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2709564 memory=2496204 CPUtime=3330.54 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 336519 0 0 0 327968 5086 0 0 20 0 1 0 42473575 2774593536 624051 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 677391 624051 1904 992 0 669249 0
Current children cumulated CPU time: 3330.54 s
Current children cumulated vsize: 2709564 KiB
Current children cumulated memory: 2496204 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.20 4.12 5/266 312469
/proc/meminfo: memFree=513032/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2753152 memory=2598508 CPUtime=3390.32 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 347423 0 0 0 333906 5126 0 0 20 0 1 0 42473575 2819227648 649627 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 688288 649627 1904 992 0 680146 0
Current children cumulated CPU time: 3390.32 s
Current children cumulated vsize: 2753152 KiB
Current children cumulated memory: 2598508 KiB
[startup+3462.3 s]
/proc/loadavg: 4.51 4.32 4.17 8/265 312479
/proc/meminfo: memFree=550332/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2778428 memory=2706944 CPUtime=3450.09 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 352657 0 0 0 339856 5153 0 0 20 0 1 0 42473575 2845110272 676736 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 694607 676736 1904 992 0 686465 0
Current children cumulated CPU time: 3450.09 s
Current children cumulated vsize: 2778428 KiB
Current children cumulated memory: 2706944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.39 4.31 4.17 6/265 312494
/proc/meminfo: memFree=497172/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2711048 CPUtime=3509.85 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 354643 0 0 0 345759 5226 0 0 20 0 1 0 42473575 2857517056 677762 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 677762 1904 992 0 689494 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.26 4.17 5/267 312509
/proc/meminfo: memFree=569236/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2711048 CPUtime=3569.63 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 355730 0 0 0 351633 5330 0 0 20 0 1 0 42473575 2857517056 677762 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 677762 1904 992 0 689494 0
Current children cumulated CPU time: 3569.63 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2711048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.8 s]
/proc/loadavg: 4.33 4.29 4.18 2/267 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2712372 CPUtime=3600.02 cores=0,2
/proc/310579/stat : 310579 (roundingsat) R 310572 310579 310523 0 -1 4194304 356491 0 0 0 354621 5381 0 0 20 0 1 0 42473575 2857517056 678093 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 678093 1904 992 0 689494 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2712372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.33 4.29 4.18 1/264 312514
/proc/meminfo: memFree=678452/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2712760 CPUtime=3600.36 cores=0,2
/proc/310579/stat : 310579 (roundingsat) D 310572 310579 310523 0 -1 4194304 356560 0 1 0 354655 5381 0 0 20 0 1 0 42473575 2857517056 678190 134679101440 4194304 8254357 140724059020752 0 0 256 0 0 25182210 0 0 0 17 0 0 0 310 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 678190 2001 992 0 689494 0
??? kill 310579 sig 9
??? end of watcher thread
[startup+3667.58 s]
# the end of solver process 310579 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3546.58 s, system=53.8943 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3613.6 s]
/proc/loadavg: 4.33 4.29 4.18 2/266 312514
/proc/meminfo: memFree=680904/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2712760 CPUtime=3600.36 cores=0,2
/proc/310579/stat : 310579 (roundingsat) D 310572 310579 310523 0 -1 4194304 356560 0 1 0 354655 5381 0 0 20 0 1 0 42473575 2857517056 678190 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 77 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 678190 2001 992 0 689494 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2712760 KiB
[startup+3614.4 s]
/proc/loadavg: 4.33 4.29 4.18 1/264 312514
/proc/meminfo: memFree=678756/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2712760 CPUtime=3600.36 cores=0,2
/proc/310579/stat : 310579 (roundingsat) D 310572 310579 310523 0 -1 4194304 356560 0 1 0 354655 5381 0 0 20 0 1 0 42473575 2857517056 678190 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 207 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 678190 2001 992 0 689494 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2712760 KiB
[startup+3614.8 s]
/proc/loadavg: 4.33 4.29 4.18 1/264 312514
/proc/meminfo: memFree=678756/131655788 swapFree=131056796/131071996
[pid=310579] ppid=310572 vsize=2790544 memory=2712760 CPUtime=3600.36 cores=0,2
/proc/310579/stat : 310579 (roundingsat) D 310572 310579 310523 0 -1 4194304 356560 0 1 0 354655 5381 0 0 20 0 1 0 42473575 2857517056 678190 134679101440 4194304 8254357 140724059020752 0 0 0 0 0 25182210 0 0 0 17 0 0 0 310 0 0 9037040 9046032 37462016 140724059026267 140724059026529 140724059026529 140724059033545 0
/proc/310579/statm: 697636 678190 2001 992 0 689494 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 2790544 KiB
Current children cumulated memory: 2712760 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3667.58
CPU time (s): 3600.48
CPU user time (s): 3546.58
CPU system time (s): 53.8943
CPU usage (%): 98.1703
Max. virtual memory (cumulated for all children) (KiB): 2790544
Max. memory (cumulated for all children) (KiB): 2712760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.58
system time used= 53.8943
maximum resident set size= 2712760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356560
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 75235920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15146
involuntary context switches= 25272
# summary of solver processes directly reported to runsolver:
# pid: 310579
# total CPU time (s): 3600.48
# total CPU user time (s): 3546.58
# total CPU system time (s): 53.8943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4689 second user time and 40.0039 second system time
The end
Begin job on nodeC012 at 2024-07-27 09:20:38 IDJOB=4460191 IDBENCH=147555 IDSOLVER=3086 FILE ID=nodeC012/4460191-1722064838 RUNJOBID= nodeC012-1722064838-310533 SLURM_JOB_ID= 8248114 Free space on /tmp= 723716 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460191-1722064838/watcher-4460191-1722064838 -o /tmp/evaluation-result-4460191-1722064838/solver-4460191-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1722064838-310533 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460191-1722064838 --lp-cut-gomory=0 HOME/instance-4460191-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c RANDOM SEED=1957297555 nodeC012.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.209 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.47 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.166 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.32 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.166 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.47 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.182 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.192 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.47 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.167 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.32 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.166 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.47 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.252 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.32 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124724844 kB MemAvailable: 129910344 kB Buffers: 371256 kB Cached: 5599836 kB SwapCached: 188 kB Active: 2689472 kB Inactive: 3597104 kB Active(anon): 3884 kB Inactive(anon): 364704 kB Active(file): 2685588 kB Inactive(file): 3232400 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057052 kB Dirty: 83040 kB Writeback: 12 kB AnonPages: 312488 kB Mapped: 117964 kB Shmem: 53076 kB KReclaimable: 215088 kB Slab: 328428 kB SReclaimable: 215088 kB SUnreclaim: 113340 kB KernelStack: 3664 kB PageTables: 9644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 774616 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 15136 kB HardwareCorrupted: 0 kB AnonHugePages: 194560 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: 402248 kB DirectMap2M: 55076864 kB DirectMap1G: 80740352 kB Free space on /tmp at the end= 723692 MiB End job on nodeC012 at 2024-07-27 10:21:46