| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | 316 | 3600.16 | 3610.71 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
| MD5SUM | 37dc22c6a12cddf588c55f8d6ee6d8c2 |
| 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 | 240 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| 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 | 492823 |
| 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 | 492823 |
| 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 1.99/2.07 c #variables 10000 #constraints 656900 3.98/4.05 c bounds - >= 0 @ 1.52737 3.98/4.05 c rational objective 165.925 12.56/12.67 c bounds 6998 >= 0 @ 4.57395 12.56/12.67 c bounds 6800 >= 0 @ 4.57985 12.56/12.67 c bounds 6758 >= 0 @ 4.58418 12.56/12.67 c bounds 6321 >= 0 @ 4.58926 12.56/12.67 c bounds 6285 >= 0 @ 4.59309 12.56/12.67 c bounds 6247 >= 0 @ 4.60437 12.56/12.67 c bounds 6206 >= 0 @ 4.60978 12.56/12.67 c bounds 6165 >= 0 @ 4.61509 12.56/12.67 c bounds 6056 >= 0 @ 4.61984 12.56/12.67 c bounds 6007 >= 0 @ 4.63647 12.56/12.67 c bounds 5977 >= 0 @ 4.64108 12.56/12.67 c bounds 5926 >= 0 @ 4.64616 12.56/12.67 c bounds 5751 >= 0 @ 4.65054 12.56/12.67 c bounds 5744 >= 0 @ 4.65575 12.56/12.67 c bounds 5671 >= 0 @ 4.6603 12.56/12.67 c bounds 5637 >= 0 @ 4.66667 12.56/12.67 c bounds 5554 >= 0 @ 4.67031 12.56/12.67 c bounds 5347 >= 0 @ 4.6756 12.56/12.67 c bounds 5169 >= 0 @ 4.68375 12.56/12.67 c bounds 5163 >= 0 @ 4.69302 12.56/12.67 c bounds 5091 >= 0 @ 4.69512 12.56/12.67 c bounds 4963 >= 0 @ 4.69912 12.56/12.67 c bounds 4872 >= 0 @ 4.70236 12.56/12.67 c bounds 4868 >= 0 @ 4.70578 12.56/12.67 c bounds 4845 >= 0 @ 4.71434 12.56/12.67 c bounds 4652 >= 0 @ 4.72165 12.56/12.67 c bounds 4594 >= 0 @ 4.72793 12.56/12.67 c bounds 4548 >= 0 @ 4.73328 12.56/12.67 c bounds 4527 >= 0 @ 4.74373 12.56/12.67 c bounds 4505 >= 0 @ 4.75716 12.56/12.67 c bounds 4365 >= 0 @ 4.76322 12.56/12.67 c bounds 4193 >= 0 @ 4.76853 12.56/12.67 c bounds 4152 >= 0 @ 4.78444 12.56/12.67 c bounds 3966 >= 0 @ 4.78974 12.56/12.67 c bounds 3849 >= 0 @ 4.79567 12.56/12.67 c bounds 3848 >= 0 @ 4.80015 12.56/12.67 c bounds 3844 >= 0 @ 4.89859 12.56/12.67 c bounds 3816 >= 0 @ 4.91492 12.56/12.67 c bounds 3702 >= 0 @ 4.91892 12.56/12.67 c bounds 3681 >= 0 @ 4.9248 12.56/12.67 c bounds 3675 >= 0 @ 4.93911 12.56/12.67 c bounds 3624 >= 0 @ 5.01705 12.56/12.67 c bounds 3619 >= 0 @ 5.07477 12.56/12.67 c bounds 3602 >= 0 @ 5.08413 12.56/12.67 c bounds 3584 >= 0 @ 5.13404 12.56/12.67 c bounds 3576 >= 0 @ 5.16259 12.56/12.67 c bounds 3571 >= 0 @ 5.16831 12.56/12.67 c bounds 3521 >= 0 @ 5.17699 12.56/12.67 c bounds 3367 >= 0 @ 5.1848 12.56/12.67 c bounds 3337 >= 0 @ 5.19073 12.56/12.67 c bounds 3278 >= 0 @ 5.19925 12.56/12.67 c bounds 3245 >= 0 @ 5.21095 12.56/12.67 c bounds 3183 >= 0 @ 5.215 12.56/12.67 c bounds 3170 >= 0 @ 5.21991 12.56/12.67 c bounds 3137 >= 0 @ 5.22572 12.56/12.67 c bounds 3102 >= 0 @ 5.2381 12.56/12.67 c bounds 2999 >= 0 @ 5.24334 12.56/12.67 c bounds 2807 >= 0 @ 5.25326 12.56/12.67 c bounds 2801 >= 0 @ 5.26081 12.56/12.67 c bounds 2798 >= 0 @ 5.28847 12.56/12.67 c bounds 2757 >= 0 @ 5.43531 12.56/12.67 c bounds 2617 >= 0 @ 5.44239 12.56/12.67 c bounds 2573 >= 0 @ 5.44726 12.56/12.67 c bounds 2489 >= 0 @ 5.45323 12.56/12.67 c bounds 2453 >= 0 @ 5.45941 12.56/12.67 c bounds 2378 >= 0 @ 5.46725 12.56/12.67 c bounds 2287 >= 0 @ 5.47465 12.56/12.67 c bounds 2246 >= 0 @ 5.47958 12.56/12.67 c bounds 2220 >= 0 @ 5.48723 12.56/12.67 c bounds 2200 >= 0 @ 5.50551 12.56/12.67 c bounds 2129 >= 0 @ 5.51629 12.56/12.67 c bounds 2092 >= 0 @ 5.52319 12.56/12.67 c bounds 2086 >= 0 @ 5.52936 12.56/12.67 c bounds 2006 >= 0 @ 5.53763 12.56/12.67 c bounds 1945 >= 0 @ 5.54341 12.56/12.67 c bounds 1923 >= 0 @ 5.55367 12.56/12.67 c bounds 1915 >= 0 @ 5.5661 12.56/12.67 c bounds 1800 >= 0 @ 5.67599 12.56/12.67 c bounds 1787 >= 0 @ 5.68331 12.56/12.67 c bounds 1779 >= 0 @ 5.75742 12.56/12.67 c bounds 1759 >= 0 @ 6.16804 12.56/12.67 c bounds 1710 >= 0 @ 6.17835 12.56/12.67 c bounds 1598 >= 0 @ 6.18975 12.56/12.67 c bounds 1557 >= 0 @ 6.19933 12.56/12.67 c bounds 1548 >= 0 @ 6.253 12.56/12.67 c bounds 1454 >= 0 @ 6.2632 12.56/12.67 c bounds 1403 >= 0 @ 6.27406 12.56/12.67 c bounds 1317 >= 0 @ 6.28368 12.56/12.67 c bounds 1240 >= 0 @ 6.39951 12.56/12.67 c bounds 1095 >= 0 @ 6.41028 12.56/12.67 c bounds 1086 >= 0 @ 6.41722 12.56/12.67 c bounds 1024 >= 0 @ 6.42514 12.56/12.67 c bounds 956 >= 0 @ 6.4367 12.56/12.67 c bounds 870 >= 0 @ 6.46495 12.56/12.67 c bounds 869 >= 0 @ 6.47121 12.56/12.67 c bounds 868 >= 0 @ 6.48869 12.56/12.67 c bounds 863 >= 0 @ 6.71987 12.56/12.67 c bounds 855 >= 0 @ 6.84286 12.56/12.67 c #Conflicts: 1000 | #Constraints: 658001 12.56/12.67 c bounds 844 >= 0 @ 7.05977 12.56/12.67 c bounds 837 >= 0 @ 7.0696 12.56/12.67 c bounds 830 >= 0 @ 7.14915 12.56/12.67 c bounds 772 >= 0 @ 7.17645 12.56/12.67 c bounds 749 >= 0 @ 7.18727 12.56/12.67 c bounds 747 >= 0 @ 7.19911 12.56/12.67 c bounds 667 >= 0 @ 7.44097 12.56/12.67 c bounds 657 >= 0 @ 7.45061 12.56/12.67 c bounds 656 >= 0 @ 7.45554 12.56/12.67 c bounds 653 >= 0 @ 7.46323 12.56/12.67 c bounds 644 >= 0 @ 7.47431 12.56/12.67 c bounds 640 >= 0 @ 7.48128 12.56/12.67 c bounds 635 >= 0 @ 7.59425 12.56/12.67 c bounds 590 >= 0 @ 8.69563 12.56/12.67 c bounds 581 >= 0 @ 8.70033 12.56/12.67 c bounds 580 >= 0 @ 8.72258 12.56/12.67 c bounds 579 >= 0 @ 8.92558 12.56/12.67 c bounds 567 >= 0 @ 9.01273 12.56/12.67 c bounds 564 >= 0 @ 9.03357 12.56/12.67 c bounds 557 >= 0 @ 9.05927 12.56/12.67 c #Conflicts: 2000 | #Constraints: 659021 12.56/12.67 c INPROCESSING 12.56/12.67 c GARBAGE COLLECT 12.56/12.67 c rational objective 165.925 26.51/26.65 c bounds 551 >= 0 @ 11.3603 26.51/26.65 c bounds 548 >= 0 @ 11.3711 26.51/26.65 c bounds 547 >= 0 @ 11.3798 26.51/26.65 c #Conflicts: 3000 | #Constraints: 658927 26.51/26.65 c bounds 538 >= 0 @ 19.4063 26.51/26.65 c bounds 455 >= 0 @ 21.7185 26.51/26.65 c #Conflicts: 4000 | #Constraints: 659934 26.51/26.65 c INPROCESSING 26.51/26.65 c rational objective 165.925 45.87/46.04 c #Conflicts: 5000 | #Constraints: 659328 45.87/46.04 c #Conflicts: 6000 | #Constraints: 660328 45.87/46.04 c INPROCESSING 45.87/46.04 c GARBAGE COLLECT 45.87/46.04 c #Conflicts: 7000 | #Constraints: 659327 45.87/46.04 c #Conflicts: 8000 | #Constraints: 660327 45.87/46.04 c #Conflicts: 9000 | #Constraints: 661327 45.87/46.04 c INPROCESSING 45.87/46.04 c GARBAGE COLLECT 45.87/46.04 c rational objective 165.925 61.92/62.19 c #Conflicts: 10000 | #Constraints: 660034 61.92/62.19 c #Conflicts: 11000 | #Constraints: 661034 61.92/62.19 c bounds 389 >= 0 @ 51.09 61.92/62.19 c bounds 385 >= 0 @ 51.1088 61.92/62.19 c bounds 384 >= 0 @ 51.1404 61.92/62.19 c bounds 383 >= 0 @ 51.1722 61.92/62.19 c bounds 382 >= 0 @ 51.1955 61.92/62.19 c bounds 380 >= 0 @ 51.4718 61.92/62.19 c bounds 379 >= 0 @ 51.5147 61.92/62.19 c bounds 374 >= 0 @ 52.097 61.92/62.19 c bounds 372 >= 0 @ 52.1385 61.92/62.19 c bounds 371 >= 0 @ 54.6051 61.92/62.19 c bounds 371 >= 6 @ 54.6199 61.92/62.19 c #Conflicts: 12000 | #Constraints: 662049 61.92/62.19 c INPROCESSING 61.92/62.19 c rational objective 165.925 73.58/73.89 c #Conflicts: 13000 | #Constraints: 660480 73.58/73.89 c #Conflicts: 14000 | #Constraints: 661480 73.58/73.89 c #Conflicts: 15000 | #Constraints: 662480 73.58/73.89 c INPROCESSING 73.58/73.89 c GARBAGE COLLECT 73.58/73.89 c rational objective 165.925 116.37/116.78 c bounds 370 >= 6 @ 71.8316 116.37/116.78 c bounds 367 >= 6 @ 76.4775 116.37/116.78 c bounds 367 >= 11 @ 76.4933 116.37/116.78 c bounds 367 >= 16 @ 76.5317 116.37/116.78 c #Conflicts: 16000 | #Constraints: 660727 116.37/116.78 c #Conflicts: 17000 | #Constraints: 661727 116.37/116.78 c bounds 367 >= 21 @ 92.9488 116.37/116.78 c bounds 366 >= 21 @ 96.7113 116.37/116.78 c #Conflicts: 18000 | #Constraints: 662734 116.37/116.78 c INPROCESSING 116.37/116.78 c GARBAGE COLLECT 116.37/116.78 c rational objective 165.929 141.30/141.72 c bounds 363 >= 21 @ 114.286 141.30/141.72 c bounds 362 >= 21 @ 114.332 141.30/141.72 c bounds 359 >= 21 @ 114.595 141.30/141.72 c #Conflicts: 19000 | #Constraints: 660748 141.30/141.72 c bounds 356 >= 21 @ 125.65 141.30/141.72 c bounds 356 >= 25 @ 125.731 141.30/141.72 c #Conflicts: 20000 | #Constraints: 661752 141.30/141.72 c #Conflicts: 21000 | #Constraints: 662752 141.30/141.72 c INPROCESSING 141.30/141.72 c GARBAGE COLLECT 141.30/141.72 c rational objective 166.417 157.86/158.37 c #Conflicts: 22000 | #Constraints: 660546 157.86/158.37 c #Conflicts: 23000 | #Constraints: 661546 157.86/158.37 c #Conflicts: 24000 | #Constraints: 662546 157.86/158.37 c #Conflicts: 25000 | #Constraints: 663546 157.86/158.37 c INPROCESSING 157.86/158.37 c rational objective 166.419 176.30/176.81 c #Conflicts: 26000 | #Constraints: 661156 176.30/176.81 c #Conflicts: 27000 | #Constraints: 662157 176.30/176.81 c #Conflicts: 28000 | #Constraints: 663157 176.30/176.81 c #Conflicts: 29000 | #Constraints: 664157 176.30/176.81 c INPROCESSING 176.30/176.81 c GARBAGE COLLECT 176.30/176.81 c rational objective 166.58 194.55/195.10 c #Conflicts: 30000 | #Constraints: 661554 194.55/195.10 c #Conflicts: 31000 | #Constraints: 662554 194.55/195.10 c #Conflicts: 32000 | #Constraints: 663554 194.55/195.10 c #Conflicts: 33000 | #Constraints: 664554 194.55/195.10 c INPROCESSING 194.55/195.10 c rational objective 166.586 215.20/215.88 c #Conflicts: 34000 | #Constraints: 661764 215.20/215.88 c #Conflicts: 35000 | #Constraints: 662765 215.20/215.88 c #Conflicts: 36000 | #Constraints: 663765 215.20/215.88 c #Conflicts: 37000 | #Constraints: 664765 215.20/215.88 c INPROCESSING 215.20/215.88 c GARBAGE COLLECT 215.20/215.88 c rational objective 166.586 245.42/246.14 c #Conflicts: 38000 | #Constraints: 661776 245.42/246.14 c bounds 351 >= 25 @ 221.634 245.42/246.14 c bounds 351 >= 28 @ 221.652 245.42/246.14 c #Conflicts: 39000 | #Constraints: 662781 245.42/246.14 c #Conflicts: 40000 | #Constraints: 663783 245.42/246.14 c #Conflicts: 41000 | #Constraints: 664787 245.42/246.14 c INPROCESSING 245.42/246.14 c rational objective 166.594 367.86/368.98 c #Conflicts: 42000 | #Constraints: 661582 367.86/368.98 c #Conflicts: 43000 | #Constraints: 662583 367.86/368.98 c #Conflicts: 44000 | #Constraints: 663587 367.86/368.98 c #Conflicts: 45000 | #Constraints: 664587 367.86/368.98 c #Conflicts: 46000 | #Constraints: 665589 367.86/368.98 c INPROCESSING 367.86/368.98 c GARBAGE COLLECT 367.86/368.98 c #Conflicts: 47000 | #Constraints: 662177 367.86/368.98 c #Conflicts: 48000 | #Constraints: 663182 367.86/368.98 c #Conflicts: 49000 | #Constraints: 664187 367.86/368.98 c #Conflicts: 50000 | #Constraints: 665188 367.86/368.98 c #Conflicts: 51000 | #Constraints: 666190 367.86/368.98 c INPROCESSING 367.86/368.98 c GARBAGE COLLECT 367.86/368.98 c rational objective 167.003 496.30/497.74 c #Conflicts: 52000 | #Constraints: 662574 496.30/497.74 c #Conflicts: 53000 | #Constraints: 663579 496.30/497.74 c #Conflicts: 54000 | #Constraints: 664582 496.30/497.74 c #Conflicts: 55000 | #Constraints: 665585 496.30/497.74 c #Conflicts: 56000 | #Constraints: 666589 496.30/497.74 c INPROCESSING 496.30/497.74 c GARBAGE COLLECT 496.30/497.74 c bounds 346 >= 28 @ 392.174 496.30/497.74 c bounds 345 >= 28 @ 392.487 496.30/497.74 c bounds 345 >= 30 @ 392.503 496.30/497.74 c bounds 345 >= 32 @ 392.522 496.30/497.74 c bounds 345 >= 34 @ 392.548 496.30/497.74 c bounds 345 >= 36 @ 392.899 496.30/497.74 c #Conflicts: 57000 | #Constraints: 662801 496.30/497.74 c #Conflicts: 58000 | #Constraints: 663801 496.30/497.74 c #Conflicts: 59000 | #Constraints: 664801 496.30/497.74 c #Conflicts: 60000 | #Constraints: 665801 496.30/497.74 c bounds 345 >= 38 @ 472.066 496.30/497.74 c #Conflicts: 61000 | #Constraints: 666817 496.30/497.74 c INPROCESSING 496.30/497.74 c GARBAGE COLLECT 496.30/497.74 c rational objective 167.031 631.93/633.79 c bounds 344 >= 38 @ 491.357 631.93/633.79 c #Conflicts: 62000 | #Constraints: 662813 631.93/633.79 c #Conflicts: 63000 | #Constraints: 663829 631.93/633.79 c #Conflicts: 64000 | #Constraints: 664843 631.93/633.79 c bounds 343 >= 38 @ 535.203 631.93/633.79 c bounds 341 >= 38 @ 537.211 631.93/633.79 c bounds 339 >= 38 @ 538.079 631.93/633.79 c bounds 338 >= 38 @ 545.389 631.93/633.79 c bounds 336 >= 38 @ 545.496 631.93/633.79 c #Conflicts: 65000 | #Constraints: 665868 631.93/633.79 c bounds 335 >= 38 @ 554.447 631.93/633.79 c bounds 333 >= 38 @ 564.007 631.93/633.79 c #Conflicts: 66000 | #Constraints: 666877 631.93/633.79 c INPROCESSING 631.93/633.79 c GARBAGE COLLECT 631.93/633.79 c rational objective 167.031 728.56/730.61 c bounds 332 >= 38 @ 626.199 728.56/730.61 c #Conflicts: 67000 | #Constraints: 662637 728.56/730.61 c #Conflicts: 68000 | #Constraints: 663637 728.56/730.61 c bounds 328 >= 38 @ 644.562 728.56/730.61 c bounds 328 >= 39 @ 644.583 728.56/730.61 c bounds 328 >= 40 @ 644.609 728.56/730.61 c bounds 328 >= 41 @ 644.638 728.56/730.61 c bounds 328 >= 42 @ 644.669 728.56/730.61 c bounds 328 >= 43 @ 644.695 728.56/730.61 c bounds 328 >= 44 @ 644.725 728.56/730.61 c bounds 328 >= 45 @ 644.755 728.56/730.61 c bounds 328 >= 46 @ 644.785 728.56/730.61 c bounds 328 >= 47 @ 644.831 728.56/730.61 c bounds 328 >= 48 @ 644.899 728.56/730.61 c bounds 328 >= 49 @ 645.024 728.56/730.61 c bounds 328 >= 50 @ 645.194 728.56/730.61 c bounds 328 >= 51 @ 645.401 728.56/730.61 c bounds 328 >= 52 @ 645.641 728.56/730.61 c bounds 328 >= 53 @ 645.912 728.56/730.61 c bounds 328 >= 54 @ 646.64 728.56/730.61 c bounds 328 >= 55 @ 647.718 728.56/730.61 c #Conflicts: 69000 | #Constraints: 664812 728.56/730.61 c bounds 328 >= 56 @ 649.349 728.56/730.61 c bounds 328 >= 57 @ 650.988 728.56/730.61 c bounds 328 >= 58 @ 652.569 728.56/730.61 c #Conflicts: 70000 | #Constraints: 665890 728.56/730.61 c bounds 328 >= 59 @ 658.175 728.56/730.61 c bounds 328 >= 60 @ 662.179 728.56/730.61 c #Conflicts: 71000 | #Constraints: 666920 728.56/730.61 c bounds 328 >= 61 @ 673.774 728.56/730.61 c #Conflicts: 72000 | #Constraints: 667962 728.56/730.61 c INPROCESSING 728.56/730.61 c GARBAGE COLLECT 728.56/730.61 c rational objective 167.031 843.84/846.23 c bounds 328 >= 62 @ 721.525 843.84/846.23 c #Conflicts: 73000 | #Constraints: 663545 843.84/846.23 c bounds 328 >= 63 @ 730.256 843.84/846.23 c #Conflicts: 74000 | #Constraints: 664578 843.84/846.23 c #Conflicts: 75000 | #Constraints: 665578 843.84/846.23 c bounds 328 >= 64 @ 741.318 843.84/846.23 c bounds 323 >= 64 @ 744.762 843.84/846.23 c #Conflicts: 76000 | #Constraints: 666609 843.84/846.23 c #Conflicts: 77000 | #Constraints: 667609 843.84/846.23 c bounds 323 >= 65 @ 771.245 843.84/846.23 c #Conflicts: 78000 | #Constraints: 668636 843.84/846.23 c INPROCESSING 843.84/846.23 c GARBAGE COLLECT 843.84/846.23 c #Conflicts: 79000 | #Constraints: 664027 843.84/846.23 c #Conflicts: 80000 | #Constraints: 665027 843.84/846.23 c bounds 323 >= 66 @ 800.616 843.84/846.23 c bounds 319 >= 66 @ 800.769 843.84/846.23 c bounds 317 >= 66 @ 801.627 843.84/846.23 c #Conflicts: 81000 | #Constraints: 666056 843.84/846.23 c #Conflicts: 82000 | #Constraints: 667056 843.84/846.23 c bounds 316 >= 66 @ 814.521 843.84/846.23 c #Conflicts: 83000 | #Constraints: 668067 843.84/846.23 c #Conflicts: 84000 | #Constraints: 669067 843.84/846.23 c INPROCESSING 843.84/846.23 c GARBAGE COLLECT 843.84/846.23 c rational objective 167.031 911.47/914.03 c #Conflicts: 85000 | #Constraints: 664260 911.47/914.03 c #Conflicts: 86000 | #Constraints: 665266 911.47/914.03 c #Conflicts: 87000 | #Constraints: 666272 911.47/914.03 c #Conflicts: 88000 | #Constraints: 667275 911.47/914.03 c #Conflicts: 89000 | #Constraints: 668281 911.47/914.03 c #Conflicts: 90000 | #Constraints: 669288 911.47/914.03 c INPROCESSING 911.47/914.03 c GARBAGE COLLECT 911.47/914.03 c rational objective 167.031 977.89/980.62 c #Conflicts: 91000 | #Constraints: 664275 977.89/980.62 c #Conflicts: 92000 | #Constraints: 665275 977.89/980.62 c bounds 316 >= 67 @ 915.411 977.89/980.62 c #Conflicts: 93000 | #Constraints: 666305 977.89/980.62 c #Conflicts: 94000 | #Constraints: 667305 977.89/980.62 c bounds 316 >= 68 @ 946.832 977.89/980.62 c #Conflicts: 95000 | #Constraints: 668338 977.89/980.62 c #Conflicts: 96000 | #Constraints: 669338 977.89/980.62 c INPROCESSING 977.89/980.62 c GARBAGE COLLECT 977.89/980.62 c rational objective 167.031 1093.66/1096.78 c #Conflicts: 97000 | #Constraints: 664135 1093.66/1096.78 c #Conflicts: 98000 | #Constraints: 665145 1093.66/1096.78 c #Conflicts: 99000 | #Constraints: 666154 1093.66/1096.78 c #Conflicts: 100000 | #Constraints: 667161 1093.66/1096.78 c #Conflicts: 101000 | #Constraints: 668169 1093.66/1096.78 c #Conflicts: 102000 | #Constraints: 669177 1093.66/1096.78 c #Conflicts: 103000 | #Constraints: 670191 1093.66/1096.78 c INPROCESSING 1093.66/1096.78 c GARBAGE COLLECT 1093.66/1096.78 c rational objective 167.031 1166.57/1169.86 c #Conflicts: 104000 | #Constraints: 664750 1166.57/1169.86 c #Conflicts: 105000 | #Constraints: 665750 1166.57/1169.86 c #Conflicts: 106000 | #Constraints: 666750 1166.57/1169.86 c bounds 316 >= 69 @ 1108.19 1166.57/1169.86 c #Conflicts: 107000 | #Constraints: 667789 1166.57/1169.86 c #Conflicts: 108000 | #Constraints: 668789 1166.57/1169.86 c #Conflicts: 109000 | #Constraints: 669789 1166.57/1169.86 c #Conflicts: 110000 | #Constraints: 670789 1166.57/1169.86 c INPROCESSING 1166.57/1169.86 c GARBAGE COLLECT 1166.57/1169.86 c rational objective 167.031 1247.45/1250.97 c #Conflicts: 111000 | #Constraints: 665177 1247.45/1250.97 c #Conflicts: 112000 | #Constraints: 666177 1247.45/1250.97 c #Conflicts: 113000 | #Constraints: 667177 1247.45/1250.97 c bounds 316 >= 70 @ 1186.6 1247.45/1250.97 c #Conflicts: 114000 | #Constraints: 668210 1247.45/1250.97 c #Conflicts: 115000 | #Constraints: 669210 1247.45/1250.97 c #Conflicts: 116000 | #Constraints: 670210 1247.45/1250.97 c #Conflicts: 117000 | #Constraints: 671210 1247.45/1250.97 c INPROCESSING 1247.45/1250.97 c GARBAGE COLLECT 1247.45/1250.97 c rational objective 167.031 1345.17/1348.97 c #Conflicts: 118000 | #Constraints: 665405 1345.17/1348.97 c #Conflicts: 119000 | #Constraints: 666405 1345.17/1348.97 c #Conflicts: 120000 | #Constraints: 667405 1345.17/1348.97 c #Conflicts: 121000 | #Constraints: 668405 1345.17/1348.97 c #Conflicts: 122000 | #Constraints: 669405 1345.17/1348.97 c #Conflicts: 123000 | #Constraints: 670405 1345.17/1348.97 c bounds 316 >= 71 @ 1298.04 1345.17/1348.97 c #Conflicts: 124000 | #Constraints: 671457 1345.17/1348.97 c INPROCESSING 1345.17/1348.97 c GARBAGE COLLECT 1345.17/1348.97 c rational objective 167.031 1435.53/1439.52 c #Conflicts: 125000 | #Constraints: 665446 1435.53/1439.52 c #Conflicts: 126000 | #Constraints: 666446 1435.53/1439.52 c #Conflicts: 127000 | #Constraints: 667446 1435.53/1439.52 c #Conflicts: 128000 | #Constraints: 668446 1435.53/1439.52 c #Conflicts: 129000 | #Constraints: 669446 1435.53/1439.52 c #Conflicts: 130000 | #Constraints: 670446 1435.53/1439.52 c #Conflicts: 131000 | #Constraints: 671446 1435.53/1439.52 c INPROCESSING 1435.53/1439.52 c GARBAGE COLLECT 1435.53/1439.52 c rational objective 167.031 1595.02/1599.49 c #Conflicts: 132000 | #Constraints: 665249 1595.02/1599.49 c #Conflicts: 133000 | #Constraints: 666260 1595.02/1599.49 c #Conflicts: 134000 | #Constraints: 667272 1595.02/1599.49 c #Conflicts: 135000 | #Constraints: 668281 1595.02/1599.49 c #Conflicts: 136000 | #Constraints: 669291 1595.02/1599.49 c #Conflicts: 137000 | #Constraints: 670302 1595.02/1599.49 c #Conflicts: 138000 | #Constraints: 671313 1595.02/1599.49 c #Conflicts: 139000 | #Constraints: 672321 1595.02/1599.49 c INPROCESSING 1595.02/1599.49 c GARBAGE COLLECT 1595.02/1599.49 c rational objective 167.031 1700.03/1704.73 c #Conflicts: 140000 | #Constraints: 665898 1700.03/1704.73 c #Conflicts: 141000 | #Constraints: 666898 1700.03/1704.73 c #Conflicts: 142000 | #Constraints: 667898 1700.03/1704.73 c #Conflicts: 143000 | #Constraints: 668898 1700.03/1704.73 c #Conflicts: 144000 | #Constraints: 669898 1700.03/1704.73 c #Conflicts: 145000 | #Constraints: 670898 1700.03/1704.73 c #Conflicts: 146000 | #Constraints: 671898 1700.03/1704.73 c bounds 316 >= 72 @ 1657.66 1700.03/1704.73 c #Conflicts: 147000 | #Constraints: 672937 1700.03/1704.73 c INPROCESSING 1700.03/1704.73 c GARBAGE COLLECT 1700.03/1704.73 c rational objective 167.031 1802.74/1807.70 c #Conflicts: 148000 | #Constraints: 666310 1802.74/1807.70 c #Conflicts: 149000 | #Constraints: 667310 1802.74/1807.70 c #Conflicts: 150000 | #Constraints: 668310 1802.74/1807.70 c #Conflicts: 151000 | #Constraints: 669310 1802.74/1807.70 c #Conflicts: 152000 | #Constraints: 670310 1802.74/1807.70 c #Conflicts: 153000 | #Constraints: 671310 1802.74/1807.70 c #Conflicts: 154000 | #Constraints: 672310 1802.74/1807.70 c #Conflicts: 155000 | #Constraints: 673310 1802.74/1807.70 c INPROCESSING 1802.74/1807.70 c GARBAGE COLLECT 1802.74/1807.70 c rational objective 167.031 2230.42/2236.55 c #Conflicts: 156000 | #Constraints: 666508 2230.42/2236.55 c #Conflicts: 157000 | #Constraints: 667508 2230.42/2236.55 c #Conflicts: 158000 | #Constraints: 668508 2230.42/2236.55 c #Conflicts: 159000 | #Constraints: 669508 2230.42/2236.55 c #Conflicts: 160000 | #Constraints: 670508 2230.42/2236.55 c #Conflicts: 161000 | #Constraints: 671508 2230.42/2236.55 c #Conflicts: 162000 | #Constraints: 672508 2230.42/2236.55 c bounds 316 >= 73 @ 1872.17 2230.42/2236.55 c #Conflicts: 163000 | #Constraints: 673544 2230.42/2236.55 c INPROCESSING 2230.42/2236.55 c GARBAGE COLLECT 2230.42/2236.55 c #Conflicts: 164000 | #Constraints: 666522 2230.42/2236.55 c #Conflicts: 165000 | #Constraints: 667532 2230.42/2236.55 c #Conflicts: 166000 | #Constraints: 668550 2230.42/2236.55 c #Conflicts: 167000 | #Constraints: 669564 2230.42/2236.55 c #Conflicts: 168000 | #Constraints: 670575 2230.42/2236.55 c #Conflicts: 169000 | #Constraints: 671583 2230.42/2236.55 c #Conflicts: 170000 | #Constraints: 672590 2230.42/2236.55 c #Conflicts: 171000 | #Constraints: 673597 2230.42/2236.55 c INPROCESSING 2230.42/2236.55 c GARBAGE COLLECT 2230.42/2236.55 c rational objective 167.031 2356.75/2363.26 c #Conflicts: 172000 | #Constraints: 666366 2356.75/2363.26 c #Conflicts: 173000 | #Constraints: 667366 2356.75/2363.26 c #Conflicts: 174000 | #Constraints: 668366 2356.75/2363.26 c #Conflicts: 175000 | #Constraints: 669366 2356.75/2363.26 c #Conflicts: 176000 | #Constraints: 670366 2356.75/2363.26 c #Conflicts: 177000 | #Constraints: 671366 2356.75/2363.26 c #Conflicts: 178000 | #Constraints: 672366 2356.75/2363.26 c #Conflicts: 179000 | #Constraints: 673366 2356.75/2363.26 c #Conflicts: 180000 | #Constraints: 674366 2356.75/2363.26 c INPROCESSING 2356.75/2363.26 c GARBAGE COLLECT 2356.75/2363.26 c rational objective 167.031 2472.94/2479.79 c #Conflicts: 181000 | #Constraints: 666948 2472.94/2479.79 c #Conflicts: 182000 | #Constraints: 667948 2472.94/2479.79 c #Conflicts: 183000 | #Constraints: 668948 2472.94/2479.79 c #Conflicts: 184000 | #Constraints: 669948 2472.94/2479.79 c #Conflicts: 185000 | #Constraints: 670948 2472.94/2479.79 c #Conflicts: 186000 | #Constraints: 671948 2472.94/2479.79 c #Conflicts: 187000 | #Constraints: 672948 2472.94/2479.79 c #Conflicts: 188000 | #Constraints: 673948 2472.94/2479.79 c #Conflicts: 189000 | #Constraints: 674948 2472.94/2479.79 c INPROCESSING 2472.94/2479.79 c GARBAGE COLLECT 2472.94/2479.79 c rational objective 167.031 2698.04/2705.46 c #Conflicts: 190000 | #Constraints: 667343 2698.04/2705.46 c #Conflicts: 191000 | #Constraints: 668343 2698.04/2705.46 c #Conflicts: 192000 | #Constraints: 669343 2698.04/2705.46 c #Conflicts: 193000 | #Constraints: 670343 2698.04/2705.46 c #Conflicts: 194000 | #Constraints: 671343 2698.04/2705.46 c #Conflicts: 195000 | #Constraints: 672343 2698.04/2705.46 c #Conflicts: 196000 | #Constraints: 673343 2698.04/2705.46 c #Conflicts: 197000 | #Constraints: 674343 2698.04/2705.46 c bounds 316 >= 74 @ 2562.79 2698.04/2705.46 c #Conflicts: 198000 | #Constraints: 675388 2698.04/2705.46 c INPROCESSING 2698.04/2705.46 c GARBAGE COLLECT 2698.04/2705.46 c rational objective 167.031 2891.13/2899.01 c #Conflicts: 199000 | #Constraints: 667586 2891.13/2899.01 c #Conflicts: 200000 | #Constraints: 668599 2891.13/2899.01 c #Conflicts: 201000 | #Constraints: 669606 2891.13/2899.01 c #Conflicts: 202000 | #Constraints: 670614 2891.13/2899.01 c #Conflicts: 203000 | #Constraints: 671623 2891.13/2899.01 c #Conflicts: 204000 | #Constraints: 672630 2891.13/2899.01 c #Conflicts: 205000 | #Constraints: 673637 2891.13/2899.01 c #Conflicts: 206000 | #Constraints: 674653 2891.13/2899.01 c #Conflicts: 207000 | #Constraints: 675663 2891.13/2899.01 c INPROCESSING 2891.13/2899.01 c GARBAGE COLLECT 2891.13/2899.01 c rational objective 167.031 3012.22/3020.47 c #Conflicts: 208000 | #Constraints: 667626 3012.22/3020.47 c #Conflicts: 209000 | #Constraints: 668626 3012.22/3020.47 c #Conflicts: 210000 | #Constraints: 669626 3012.22/3020.47 c #Conflicts: 211000 | #Constraints: 670626 3012.22/3020.47 c #Conflicts: 212000 | #Constraints: 671626 3012.22/3020.47 c #Conflicts: 213000 | #Constraints: 672626 3012.22/3020.47 c #Conflicts: 214000 | #Constraints: 673626 3012.22/3020.47 c #Conflicts: 215000 | #Constraints: 674626 3012.22/3020.47 c #Conflicts: 216000 | #Constraints: 675626 3012.22/3020.47 c INPROCESSING 3012.22/3020.47 c GARBAGE COLLECT 3012.22/3020.47 c rational objective 167.031 3141.70/3150.26 c #Conflicts: 217000 | #Constraints: 667402 3141.70/3150.26 c #Conflicts: 218000 | #Constraints: 668402 3141.70/3150.26 c #Conflicts: 219000 | #Constraints: 669402 3141.70/3150.26 c #Conflicts: 220000 | #Constraints: 670402 3141.70/3150.26 c #Conflicts: 221000 | #Constraints: 671402 3141.70/3150.26 c #Conflicts: 222000 | #Constraints: 672402 3141.70/3150.26 c #Conflicts: 223000 | #Constraints: 673402 3141.70/3150.26 c #Conflicts: 224000 | #Constraints: 674402 3141.70/3150.26 c #Conflicts: 225000 | #Constraints: 675402 3141.70/3150.26 c #Conflicts: 226000 | #Constraints: 676402 3141.70/3150.26 c INPROCESSING 3141.70/3150.26 c GARBAGE COLLECT 3141.70/3150.26 c rational objective 167.031 3323.83/3332.85 c #Conflicts: 227000 | #Constraints: 668002 3323.83/3332.85 c #Conflicts: 228000 | #Constraints: 669007 3323.83/3332.85 c #Conflicts: 229000 | #Constraints: 670014 3323.83/3332.85 c #Conflicts: 230000 | #Constraints: 671020 3323.83/3332.85 c #Conflicts: 231000 | #Constraints: 672024 3323.83/3332.85 c #Conflicts: 232000 | #Constraints: 673044 3323.83/3332.85 c #Conflicts: 233000 | #Constraints: 674051 3323.83/3332.85 c #Conflicts: 234000 | #Constraints: 675060 3323.83/3332.85 c #Conflicts: 235000 | #Constraints: 676071 3323.83/3332.85 c #Conflicts: 236000 | #Constraints: 677083 3323.83/3332.85 c INPROCESSING 3323.83/3332.85 c GARBAGE COLLECT 3323.83/3332.85 c rational objective 167.031 3465.92/3475.31 c #Conflicts: 237000 | #Constraints: 668431 3465.92/3475.31 c #Conflicts: 238000 | #Constraints: 669431 3465.92/3475.31 c #Conflicts: 239000 | #Constraints: 670431 3465.92/3475.31 c #Conflicts: 240000 | #Constraints: 671431 3465.92/3475.31 c #Conflicts: 241000 | #Constraints: 672431 3465.92/3475.31 c #Conflicts: 242000 | #Constraints: 673431 3465.92/3475.31 c #Conflicts: 243000 | #Constraints: 674431 3465.92/3475.31 c #Conflicts: 244000 | #Constraints: 675431 3465.92/3475.31 c #Conflicts: 245000 | #Constraints: 676431 3465.92/3475.31 c #Conflicts: 246000 | #Constraints: 677431 3465.92/3475.31 c INPROCESSING 3465.92/3475.31 c GARBAGE COLLECT 3465.92/3475.31 c rational objective 167.031 3600.03/3609.84 c #Conflicts: 247000 | #Constraints: 668602 3600.03/3609.84 c #Conflicts: 248000 | #Constraints: 669602 3600.03/3609.84 c #Conflicts: 249000 | #Constraints: 670602 3600.03/3609.84 c #Conflicts: 250000 | #Constraints: 671602 3600.03/3609.84 c #Conflicts: 251000 | #Constraints: 672602 3600.03/3609.84 c #Conflicts: 252000 | #Constraints: 673602 3600.03/3609.84 c #Conflicts: 253000 | #Constraints: 674602 3600.03/3609.84 c #Conflicts: 254000 | #Constraints: 675602 3600.03/3609.84 c #Conflicts: 255000 | #Constraints: 676602 3600.03/3609.84 c Program interrupted by user. 3600.03/3609.84 c cpu time 3553.11 s 3600.03/3609.84 c deterministic time 393696697629 3.94e+11 3600.03/3609.84 c optimization time 132.592 s 3600.03/3609.84 c total solve time 3418.99 s 3600.03/3609.84 c core-guided solve time 2068.32 s 3600.03/3609.84 c propagation time 1876.94 s 3600.03/3609.84 c conflict analysis time 933.078 s 3600.03/3609.84 c propagations 87230485 3600.03/3609.84 c resolve steps 3637630 3600.03/3609.84 c decisions 12364924 3600.03/3609.84 c conflicts 255667 3600.03/3609.84 c restarts 603 3600.03/3609.84 c inprocessing phases 41 3600.03/3609.84 c input clauses 657120 3600.03/3609.84 c input cardinalities 47 3600.03/3609.84 c input general constraints 691 3600.03/3609.84 c input average constraint length 6.08 3600.03/3609.84 c input average constraint degree 118.53 3600.03/3609.84 c learned clauses 109520 3600.03/3609.84 c learned cardinalities 9 3600.03/3609.84 c learned general constraints 146764 3600.03/3609.84 c learned average constraint length 3810.27 3600.03/3609.84 c learned average constraint degree 79372745195.71 3600.03/3609.84 c watched constraints 30705 3600.03/3609.84 c counting constraints 116750 3600.03/3609.84 c gcd simplifications 4917 3600.03/3609.84 c detected cardinalities 0 3600.03/3609.84 c weakened non-implied lits 379269100 3600.03/3609.84 c weakened non-implying lits 77857 3600.03/3609.84 c original variables 10000 3600.03/3609.84 c clausal propagations 16642655 3600.03/3609.84 c cardinality propagations 53450 3600.03/3609.84 c watched propagations 2988085 3600.03/3609.84 c counting propagations 66715583 3600.03/3609.84 c watch lookups 16948545058 3600.03/3609.84 c watch backjump lookups 16747193997 3600.03/3609.84 c watch checks 158222860015 3600.03/3609.84 c propagation checks 196265496879 3600.03/3609.84 c constraint additions 5312745722 3600.03/3609.84 c trail pops 99841193 3600.03/3609.84 c formula constraints 656900 3600.03/3609.84 c learned constraints 255051 3600.03/3609.84 c bound constraints 204 3600.03/3609.84 c core-guided constraints 754 3600.03/3609.84 c encountered formula constraints 1808406 3600.03/3609.84 c encountered learned constraints 1602198 3600.03/3609.84 c encountered bound constraints 7185 3600.03/3609.84 c encountered core-guided constraints 427216 3600.03/3609.84 c LP total time 1115.31 s 3600.03/3609.84 c LP solve time 1089.36 s 3600.03/3609.84 c LP constraints added 656928 3600.03/3609.84 c LP constraints removed 19 3600.03/3609.84 c LP pivots internal 255680 3600.03/3609.84 c LP pivots root 163675 3600.03/3609.84 c LP calls 1304 3600.03/3609.84 c LP optimalities 678 3600.03/3609.84 c LP no pivot count 252 3600.03/3609.84 c LP infeasibilities 621 3600.03/3609.84 c LP valid Farkas constraints 621 3600.03/3609.84 c LP learned Farkas constraints 621 3600.03/3609.84 c LP basis resets 0 3600.03/3609.84 c LP cycling count 0 3600.03/3609.84 c LP singular count 0 3600.03/3609.84 c LP no primal count 0 3600.03/3609.84 c LP no farkas count 0 3600.03/3609.84 c LP other issue count 0 3600.03/3609.84 c LP Gomory cuts 0 3600.03/3609.84 c LP learned cuts 28 3600.03/3609.84 c LP deleted cuts 19 3600.03/3609.84 c LP encountered Gomory constraints 0 3600.03/3609.84 c LP encountered Farkas constraints 46169 3600.03/3609.84 c LP encountered learned Farkas constraints 1502 3600.03/3609.84 c CG auxiliary variables introduced 267 3600.03/3609.84 c CG solutions found 157 3600.03/3609.84 c CG cores constructed 47 3600.03/3609.84 c CG core cardinality constraints returned 0 3600.03/3609.84 c CG unit cores 0 3600.03/3609.84 c CG single cores 47 3600.03/3609.84 c CG blocks removed during cardinality reduction 0 3600.03/3609.84 c CG first core best 0 3600.03/3609.84 c CG decision core best 0 3600.03/3609.84 c CG core reduction tie 0 3600.03/3609.84 c CG core degree average 1.00 3600.03/3609.84 c CG core slack average 1070.49 3600.03/3609.84 s SATISFIABLE 3600.03/3609.84 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 x4878 -x4879 -x4880 -x4881 -x4882 -x4883 x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 x9236 -x9237 -x9238 -x9239 -x9240 -x9241 x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000
OK 316
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (362 MiB free)
memory of node 1: 64510 MiB (21269 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456765-1721772807/watcher-4456765-1721772807 -o /tmp/evaluation-result-4456765-1721772807/solver-4456765-1721772807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123169 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456765-1721772807 --lp-cut-gomory=0 HOME/instance-4456765-1721772807.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=127970, runsolver pid=127967
[startup+0.100207 s]*
/proc/loadavg: 4.00 4.09 4.14 5/258 127971
/proc/meminfo: memFree=22145352/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=41212 memory=11296 CPUtime=0.09 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 1521 0 1 0 7 2 0 0 20 0 1 0 13810256 42201088 2824 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 10303 2824 1377 992 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11296 KiB
[startup+0.204517 s]*
/proc/loadavg: 4.00 4.09 4.14 4/258 127988
/proc/meminfo: memFree=22148028/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=42536 memory=14660 CPUtime=0.2 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 1844 0 1 0 15 5 0 0 20 0 1 0 13810256 43556864 3665 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 10634 3665 1377 992 0 2492 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 14660 KiB
[startup+0.305525 s]*
/proc/loadavg: 4.00 4.09 4.14 5/260 127992
/proc/meminfo: memFree=22132920/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=45652 memory=15604 CPUtime=0.29 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 2083 0 1 0 21 8 0 0 20 0 1 0 13810256 46747648 3901 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 11413 3901 1377 992 0 3271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 15604 KiB
[startup+0.700179 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22111812/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=56396 memory=26956 CPUtime=0.68 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 4427 0 1 0 47 21 0 0 20 0 1 0 13810256 57749504 6739 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 14099 6739 1377 992 0 5957 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 26956 KiB
[startup+1.50018 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128003
/proc/meminfo: memFree=22083256/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=84692 memory=51216 CPUtime=1.49 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 8429 0 1 0 105 44 0 0 20 0 1 0 13810256 86724608 12804 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 21173 12804 1377 992 0 13031 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 84692 KiB
Current children cumulated memory: 51216 KiB
[startup+3.10587 s]
/proc/loadavg: 4.00 4.09 4.14 5/264 128004
/proc/meminfo: memFree=21481492/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=361156 memory=330600 CPUtime=3.09 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 58020 0 1 0 248 61 0 0 20 0 1 0 13810256 369823744 82650 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 90289 82650 1712 992 0 82147 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 330600 KiB
[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.14 5/264 128004
/proc/meminfo: memFree=21457280/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=380124 memory=339044 CPUtime=6.27 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 58612 0 1 0 538 89 0 0 20 0 1 0 13810256 389246976 84761 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 95031 84761 1791 992 0 86889 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 380124 KiB
Current children cumulated memory: 339044 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.14 5/264 128006
/proc/meminfo: memFree=21130544/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=429508 memory=377440 CPUtime=12.65 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 63014 0 1 0 1128 137 0 0 20 0 1 0 13810256 439816192 94360 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 107377 94360 1872 992 0 99235 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 429508 KiB
Current children cumulated memory: 377440 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.14 5/264 128007
/proc/meminfo: memFree=20637260/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=542996 memory=465596 CPUtime=25.42 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 73874 0 1 0 2374 168 0 0 20 0 1 0 13810256 556027904 116399 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 135749 116399 1872 992 0 127607 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 542996 KiB
Current children cumulated memory: 465596 KiB
[startup+51.1058 s]
/proc/loadavg: 4.30 4.15 4.15 5/264 128010
/proc/meminfo: memFree=19907720/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=656264 memory=543648 CPUtime=50.95 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 78003 0 1 0 4889 206 0 0 20 0 1 0 13810256 672014336 135912 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 164066 135912 1872 992 0 155924 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 656264 KiB
Current children cumulated memory: 543648 KiB
[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.15 6/263 128068
/proc/meminfo: memFree=17990916/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=850740 memory=761936 CPUtime=102.01 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 100093 0 1 0 9913 288 0 0 20 0 1 0 13810256 871157760 190484 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 212685 190484 1888 992 0 204543 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 850740 KiB
Current children cumulated memory: 761936 KiB
[startup+162.3 s]
/proc/loadavg: 4.30 4.20 4.17 5/262 128080
/proc/meminfo: memFree=17138944/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1032692 memory=816412 CPUtime=161.84 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 106172 0 1 0 15830 354 0 0 20 0 1 0 13810256 1057476608 204103 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 258173 204103 1888 992 0 250031 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 1032692 KiB
Current children cumulated memory: 816412 KiB
[startup+222.3 s]
/proc/loadavg: 4.23 4.20 4.17 5/261 128092
/proc/meminfo: memFree=14770712/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1032692 memory=828700 CPUtime=221.68 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 106291 0 1 0 21754 414 0 0 20 0 1 0 13810256 1057476608 207175 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 258173 207175 1888 992 0 250031 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1032692 KiB
Current children cumulated memory: 828700 KiB
[startup+282.3 s]
/proc/loadavg: 4.31 4.23 4.19 5/262 128104
/proc/meminfo: memFree=13663812/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1038740 memory=890364 CPUtime=281.51 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 107066 0 1 0 27697 454 0 0 20 0 1 0 13810256 1063669760 222591 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 259685 222591 1888 992 0 251543 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1038740 KiB
Current children cumulated memory: 890364 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 4.20 4.18 5/263 128116
/proc/meminfo: memFree=12762384/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1100756 memory=953324 CPUtime=341.34 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 119886 0 1 0 33635 499 0 0 20 0 1 0 13810256 1127174144 238331 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 275189 238331 1888 992 0 267047 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1100756 KiB
Current children cumulated memory: 953324 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/265 128131
/proc/meminfo: memFree=11834204/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1129832 memory=972392 CPUtime=401.16 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 121716 0 1 0 39566 550 0 0 20 0 1 0 13810256 1156947968 243098 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 282458 243098 1888 992 0 274316 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 1129832 KiB
Current children cumulated memory: 972392 KiB
[startup+462.3 s]
/proc/loadavg: 4.26 4.19 4.18 5/265 128142
/proc/meminfo: memFree=10735456/131524600 swapFree=131070448/131071996
[pid=127970] ppid=127967 vsize=1474320 memory=1207712 CPUtime=461 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 148995 0 1 0 45463 637 0 0 20 0 1 0 13810256 1509703680 301928 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 368580 301928 1888 992 0 360438 0
################
# More data... #
################
Current children cumulated memory: 2525128 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/261 129915
/proc/meminfo: memFree=488344/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725120 memory=2527828 CPUtime=3034.07 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 426500 0 1 0 299511 3896 0 0 20 0 1 0 13810256 2790522880 631957 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681280 631957 1888 992 0 673138 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 2527828 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/262 129926
/proc/meminfo: memFree=577576/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725120 memory=2527828 CPUtime=3093.92 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 428714 0 1 0 305402 3990 0 0 20 0 1 0 13810256 2790522880 631957 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681280 631957 1888 992 0 673138 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 2527828 KiB
[startup+3162.3 s]
/proc/loadavg: 4.13 4.14 4.17 5/260 129937
/proc/meminfo: memFree=674416/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725120 memory=2527828 CPUtime=3153.76 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 431572 0 1 0 311302 4074 0 0 20 0 1 0 13810256 2790522880 631957 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681280 631957 1888 992 0 673138 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 2527828 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/261 129949
/proc/meminfo: memFree=600060/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725120 memory=2527828 CPUtime=3213.62 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 433756 0 1 0 317204 4158 0 0 20 0 1 0 13810256 2790522880 631957 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681280 631957 1888 992 0 673138 0
Current children cumulated CPU time: 3213.62 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 2527828 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.17 5/262 129961
/proc/meminfo: memFree=635388/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725120 memory=2529736 CPUtime=3273.48 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 436106 0 1 0 323144 4204 0 0 20 0 1 0 13810256 2790522880 632434 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681280 632434 1888 992 0 673138 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 2725120 KiB
Current children cumulated memory: 2529736 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/265 129976
/proc/meminfo: memFree=690136/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3333.31 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 439438 0 1 0 329086 4245 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3333.31 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/265 129988
/proc/meminfo: memFree=646244/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3393.13 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 441323 0 1 0 334961 4352 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/265 129999
/proc/meminfo: memFree=613932/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3452.96 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 442706 0 1 0 340849 4447 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/266 130014
/proc/meminfo: memFree=659356/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3512.78 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 444234 0 1 0 346737 4541 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3512.78 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.13 4.15 5/266 130024
/proc/meminfo: memFree=664888/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3572.6 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 445724 0 1 0 352611 4649 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3572.6 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.11 4.12 4.14 5/266 130027
/proc/meminfo: memFree=635504/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3600.03 cores=5,7
/proc/127970/stat : 127970 (roundingsat) R 127967 127970 123156 0 -1 4194304 446408 0 1 0 355311 4692 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 127970 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3553.13 s, system=47.0314 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.11 4.12 4.14 5/266 130027
/proc/meminfo: memFree=584068/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3600.12 cores=5,7
/proc/127970/stat : 127970 (roundingsat) D 127967 127970 123156 0 -1 4194304 446414 0 2 0 355312 4700 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 5 0 0 88 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3610.6 s]
/proc/loadavg: 4.11 4.12 4.14 5/266 130027
/proc/meminfo: memFree=584068/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3600.13 cores=5,7
/proc/127970/stat : 127970 (roundingsat) D 127967 127970 123156 0 -1 4194304 446414 0 2 0 355312 4701 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 0 0 0 17 7 0 0 119 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
[startup+3610.7 s]
/proc/loadavg: 4.11 4.12 4.14 5/266 130027
/proc/meminfo: memFree=584068/131524600 swapFree=131067876/131071996
[pid=127970] ppid=127967 vsize=2725632 memory=2531788 CPUtime=3600.14 cores=5,7
/proc/127970/stat : 127970 (roundingsat) D 127967 127970 123156 0 -1 4194304 446414 0 2 0 355312 4702 0 0 20 0 1 0 13810256 2791047168 632947 134679101440 4194304 8254037 140726116392800 0 0 0 0 0 25182210 1 0 0 17 7 0 0 129 0 0 9037040 9046032 15904768 140726116402012 140726116402274 140726116402274 140726116409289 0
/proc/127970/statm: 681408 632947 1888 992 0 673266 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 2725632 KiB
Current children cumulated memory: 2531788 KiB
Child status: 0
Real time (s): 3610.71
CPU time (s): 3600.16
CPU user time (s): 3553.13
CPU system time (s): 47.0314
CPU usage (%): 99.7077
Max. virtual memory (cumulated for all children) (KiB): 2725632
Max. memory (cumulated for all children) (KiB): 2531788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3553.13
system time used= 47.0314
maximum resident set size= 2531788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 446449
page faults= 2
swaps= 0
block input operations= 4320
block output operations= 101187024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12291
involuntary context switches= 4266
# summary of solver processes directly reported to runsolver:
# pid: 127970
# total CPU time (s): 3600.16
# total CPU user time (s): 3553.13
# total CPU system time (s): 47.0314
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.39321 second user time and 15.9728 second system time
The end
Begin job on nodeC031 at 2024-07-24 00:13:27 IDJOB=4456765 IDBENCH=147559 IDSOLVER=3085 FILE ID=nodeC031/4456765-1721772807 RUNJOBID= nodeC031-1721765586-123169 SLURM_JOB_ID= 7770659 Free space on /tmp= 890032 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.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-4456765-1721772807/watcher-4456765-1721772807 -o /tmp/evaluation-result-4456765-1721772807/solver-4456765-1721772807 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721765586-123169 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456765-1721772807 --lp-cut-gomory=0 HOME/instance-4456765-1721772807.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2 RANDOM SEED=1157486014 nodeC031.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.751 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3668.925 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.362 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.771 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3669.770 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3677.442 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.593 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.44 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3641.673 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7007.12 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 22151308 kB MemAvailable: 126482516 kB Buffers: 192876 kB Cached: 104793280 kB SwapCached: 372 kB Active: 1208976 kB Inactive: 107254648 kB Active(anon): 3700 kB Inactive(anon): 3511196 kB Active(file): 1205276 kB Inactive(file): 103743452 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131070448 kB Dirty: 38968 kB Writeback: 0 kB AnonPages: 3475808 kB Mapped: 110308 kB Shmem: 37424 kB KReclaimable: 443712 kB Slab: 551752 kB SReclaimable: 443712 kB SUnreclaim: 108040 kB KernelStack: 4208 kB PageTables: 16100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 4104192 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 1724416 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: 328404 kB DirectMap2M: 31950848 kB DirectMap1G: 103809024 kB Free space on /tmp at the end= 890024 MiB End job on nodeC031 at 2024-07-24 01:13:38