| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.09 | 3652.49 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
| MD5SUM | 890f6157e6331f3256b55d88c2fb39bb |
| 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 | 241 |
| 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 | 494314 |
| 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 | 494314 |
| 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.88/1.98 c #variables 10000 #constraints 656900 3.38/3.41 c bounds - >= 0 @ 1.5012 3.38/3.41 c rational objective 165.75 9.86/9.96 c bounds 7543 >= 0 @ 3.52437 9.86/9.96 c bounds 7381 >= 0 @ 3.53022 9.86/9.96 c bounds 7037 >= 0 @ 3.53829 9.86/9.96 c bounds 7028 >= 0 @ 3.79206 9.86/9.96 c bounds 6943 >= 0 @ 3.79657 9.86/9.96 c bounds 6930 >= 0 @ 3.87475 9.86/9.96 c bounds 6862 >= 0 @ 3.88199 9.86/9.96 c bounds 6741 >= 0 @ 3.8889 9.86/9.96 c bounds 6735 >= 0 @ 3.89365 9.86/9.96 c bounds 6703 >= 0 @ 3.89949 9.86/9.96 c bounds 6580 >= 0 @ 3.90443 9.86/9.96 c bounds 6473 >= 0 @ 3.90768 9.86/9.96 c bounds 6315 >= 0 @ 3.91296 9.86/9.96 c bounds 6304 >= 0 @ 3.92733 9.86/9.96 c bounds 6105 >= 0 @ 3.93219 9.86/9.96 c bounds 6084 >= 0 @ 3.94108 9.86/9.96 c bounds 5934 >= 0 @ 3.94524 9.86/9.96 c bounds 5638 >= 0 @ 4.03898 9.86/9.96 c bounds 5635 >= 0 @ 4.05576 9.86/9.96 c bounds 5550 >= 0 @ 4.06073 9.86/9.96 c bounds 5332 >= 0 @ 4.06445 9.86/9.96 c bounds 5329 >= 0 @ 4.07047 9.86/9.96 c bounds 5246 >= 0 @ 4.07636 9.86/9.96 c bounds 5243 >= 0 @ 4.08202 9.86/9.96 c bounds 5237 >= 0 @ 4.09021 9.86/9.96 c bounds 5235 >= 0 @ 4.09871 9.86/9.96 c bounds 5160 >= 0 @ 4.10749 9.86/9.96 c bounds 5135 >= 0 @ 4.11527 9.86/9.96 c bounds 5129 >= 0 @ 4.14569 9.86/9.96 c bounds 4968 >= 0 @ 4.46996 9.86/9.96 c bounds 4895 >= 0 @ 4.47989 9.86/9.96 c bounds 4881 >= 0 @ 4.48841 9.86/9.96 c bounds 4861 >= 0 @ 4.49312 9.86/9.96 c bounds 4833 >= 0 @ 4.50017 9.86/9.96 c bounds 4817 >= 0 @ 4.50764 9.86/9.96 c bounds 4810 >= 0 @ 4.51478 9.86/9.96 c bounds 4753 >= 0 @ 4.59822 9.86/9.96 c bounds 4744 >= 0 @ 4.60534 9.86/9.96 c bounds 4690 >= 0 @ 4.61318 9.86/9.96 c bounds 4662 >= 0 @ 4.61895 9.86/9.96 c bounds 4645 >= 0 @ 4.62737 9.86/9.96 c bounds 4588 >= 0 @ 4.63467 9.86/9.96 c bounds 4486 >= 0 @ 4.64126 9.86/9.96 c bounds 4413 >= 0 @ 4.64844 9.86/9.96 c bounds 4356 >= 0 @ 4.7395 9.86/9.96 c bounds 4354 >= 0 @ 4.93429 9.86/9.96 c bounds 4235 >= 0 @ 4.94084 9.86/9.96 c bounds 3918 >= 0 @ 4.94584 9.86/9.96 c bounds 3746 >= 0 @ 4.94903 9.86/9.96 c bounds 3728 >= 0 @ 4.95435 9.86/9.96 c bounds 3727 >= 0 @ 5.00783 9.86/9.96 c bounds 3725 >= 0 @ 5.12426 9.86/9.96 c bounds 3595 >= 0 @ 5.13173 9.86/9.96 c bounds 3549 >= 0 @ 5.13994 9.86/9.96 c bounds 3531 >= 0 @ 5.14684 9.86/9.96 c bounds 3518 >= 0 @ 5.17382 9.86/9.96 c bounds 3511 >= 0 @ 5.29638 9.86/9.96 c bounds 3492 >= 0 @ 5.3083 9.86/9.96 c bounds 3406 >= 0 @ 5.31316 9.86/9.96 c bounds 3397 >= 0 @ 5.32785 9.86/9.96 c bounds 3395 >= 0 @ 5.40556 9.86/9.96 c bounds 3377 >= 0 @ 5.72367 9.86/9.96 c bounds 3228 >= 0 @ 5.73111 9.86/9.96 c bounds 3226 >= 0 @ 5.75499 9.86/9.96 c bounds 3220 >= 0 @ 5.83111 9.86/9.96 c bounds 3135 >= 0 @ 5.83758 9.86/9.96 c bounds 3064 >= 0 @ 5.84161 9.86/9.96 c bounds 2956 >= 0 @ 5.84511 9.86/9.96 c bounds 2940 >= 0 @ 5.85664 9.86/9.96 c bounds 2938 >= 0 @ 5.86902 9.86/9.96 c bounds 2928 >= 0 @ 5.87868 9.86/9.96 c bounds 2890 >= 0 @ 5.88605 9.86/9.96 c bounds 2790 >= 0 @ 5.89343 9.86/9.96 c bounds 2776 >= 0 @ 5.91495 9.86/9.96 c bounds 2752 >= 0 @ 5.91917 9.86/9.96 c bounds 2613 >= 0 @ 5.9256 9.86/9.96 c bounds 2584 >= 0 @ 5.99708 9.86/9.96 c #Conflicts: 1000 | #Constraints: 657983 9.86/9.96 c bounds 2561 >= 0 @ 7.25525 9.86/9.96 c bounds 2558 >= 0 @ 7.2765 9.86/9.96 c bounds 2539 >= 0 @ 7.45379 9.86/9.96 c bounds 2521 >= 0 @ 7.63671 9.86/9.96 c bounds 2492 >= 0 @ 7.65191 9.86/9.96 c bounds 2490 >= 0 @ 7.7025 9.86/9.96 c bounds 2463 >= 0 @ 7.70884 9.86/9.96 c bounds 2440 >= 0 @ 7.7155 9.86/9.96 c bounds 2433 >= 0 @ 7.72587 9.86/9.96 c bounds 2389 >= 0 @ 7.73689 9.86/9.96 c bounds 2382 >= 0 @ 7.74241 9.86/9.96 c bounds 2355 >= 0 @ 7.75479 9.86/9.96 c bounds 2348 >= 0 @ 7.76344 9.86/9.96 c bounds 2333 >= 0 @ 7.77138 9.86/9.96 c bounds 2320 >= 0 @ 7.78113 9.86/9.96 c bounds 2275 >= 0 @ 7.79185 9.86/9.96 c bounds 2236 >= 0 @ 7.80297 9.86/9.96 c bounds 2202 >= 0 @ 7.80824 9.86/9.96 c bounds 2160 >= 0 @ 7.8224 9.86/9.96 c bounds 2158 >= 0 @ 7.83104 9.86/9.96 c bounds 2142 >= 0 @ 7.88211 9.86/9.96 c bounds 2141 >= 0 @ 7.89872 9.86/9.96 c bounds 2133 >= 0 @ 7.91595 9.86/9.96 c bounds 2114 >= 0 @ 7.92508 9.86/9.96 c bounds 2109 >= 0 @ 7.93636 9.86/9.96 c bounds 2102 >= 0 @ 7.94732 9.86/9.96 c bounds 2098 >= 0 @ 7.95871 9.86/9.96 c bounds 2065 >= 0 @ 7.97628 9.86/9.96 c bounds 2061 >= 0 @ 7.9858 9.86/9.96 c bounds 2052 >= 0 @ 7.99597 9.86/9.96 c bounds 2047 >= 0 @ 8.0139 9.86/9.96 c bounds 2030 >= 0 @ 8.02468 9.86/9.96 c bounds 2024 >= 0 @ 8.12745 9.86/9.96 c bounds 2017 >= 0 @ 8.14715 9.86/9.96 c bounds 2010 >= 0 @ 8.1645 9.86/9.96 c bounds 1986 >= 0 @ 8.1767 9.86/9.96 c bounds 1965 >= 0 @ 8.1837 9.86/9.96 c bounds 1930 >= 0 @ 8.1995 9.86/9.96 c bounds 1925 >= 0 @ 8.2107 9.86/9.96 c bounds 1921 >= 0 @ 8.22174 9.86/9.96 c bounds 1905 >= 0 @ 8.25132 9.86/9.96 c bounds 1834 >= 0 @ 8.26163 9.86/9.96 c bounds 1831 >= 0 @ 8.27136 9.86/9.96 c bounds 1827 >= 0 @ 8.29534 9.86/9.96 c bounds 1825 >= 0 @ 8.31211 9.86/9.96 c bounds 1809 >= 0 @ 8.32584 9.86/9.96 c bounds 1793 >= 0 @ 8.33253 9.86/9.96 c bounds 1754 >= 0 @ 8.34035 9.86/9.96 c bounds 1733 >= 0 @ 8.35166 9.86/9.96 c bounds 1693 >= 0 @ 8.37877 9.86/9.96 c bounds 1675 >= 0 @ 8.40582 9.86/9.96 c bounds 1665 >= 0 @ 8.41988 9.86/9.96 c bounds 1634 >= 0 @ 8.50723 9.86/9.96 c bounds 1633 >= 0 @ 8.53401 9.86/9.96 c bounds 1628 >= 0 @ 8.54789 9.86/9.96 c bounds 1623 >= 0 @ 8.55905 9.86/9.96 c bounds 1621 >= 0 @ 8.6757 9.86/9.96 c bounds 1605 >= 0 @ 8.77593 9.86/9.96 c bounds 1583 >= 0 @ 8.81238 9.86/9.96 c bounds 1568 >= 0 @ 8.82077 9.86/9.96 c bounds 1566 >= 0 @ 8.83563 9.86/9.96 c bounds 1537 >= 0 @ 8.8463 9.86/9.96 c bounds 1533 >= 0 @ 8.86785 9.86/9.96 c bounds 1528 >= 0 @ 8.87533 100.12/100.44 c bounds 1516 >= 0 @ 8.90234 100.12/100.44 c bounds 1511 >= 0 @ 8.91272 100.12/100.44 c bounds 1507 >= 0 @ 8.92588 100.12/100.44 c bounds 1491 >= 0 @ 8.94124 100.12/100.44 c bounds 1483 >= 0 @ 8.95116 100.12/100.44 c bounds 1482 >= 0 @ 9.70868 100.12/100.44 c bounds 1473 >= 0 @ 9.72901 100.12/100.44 c bounds 1420 >= 0 @ 9.73657 100.12/100.44 c bounds 1405 >= 0 @ 9.74448 100.12/100.44 c bounds 1388 >= 0 @ 9.75287 100.12/100.44 c bounds 1357 >= 0 @ 9.76353 100.12/100.44 c #Conflicts: 2000 | #Constraints: 659062 100.12/100.44 c INPROCESSING 100.12/100.44 c GARBAGE COLLECT 100.12/100.44 c bounds 1354 >= 0 @ 24.2138 100.12/100.44 c bounds 1347 >= 0 @ 24.2196 100.12/100.44 c bounds 1346 >= 0 @ 24.7012 100.12/100.44 c bounds 1339 >= 0 @ 24.7089 100.12/100.44 c bounds 1334 >= 0 @ 24.8538 100.12/100.44 c bounds 1331 >= 0 @ 24.8642 100.12/100.44 c bounds 1321 >= 0 @ 24.9662 100.12/100.44 c bounds 1224 >= 0 @ 24.9766 100.12/100.44 c bounds 1103 >= 0 @ 25.181 100.12/100.44 c bounds 1087 >= 0 @ 25.1896 100.12/100.44 c bounds 1079 >= 0 @ 25.1987 100.12/100.44 c bounds 1078 >= 0 @ 25.2079 100.12/100.44 c bounds 1061 >= 0 @ 25.2245 100.12/100.44 c bounds 1058 >= 0 @ 25.2337 100.12/100.44 c bounds 1044 >= 0 @ 25.2447 100.12/100.44 c bounds 1039 >= 0 @ 25.2529 100.12/100.44 c bounds 1035 >= 0 @ 25.2996 100.12/100.44 c bounds 1026 >= 0 @ 25.3084 100.12/100.44 c bounds 1008 >= 0 @ 25.3156 100.12/100.44 c bounds 1004 >= 0 @ 25.3264 100.12/100.44 c bounds 1003 >= 0 @ 25.3917 100.12/100.44 c bounds 993 >= 0 @ 25.4191 100.12/100.44 c bounds 980 >= 0 @ 25.4364 100.12/100.44 c bounds 957 >= 0 @ 25.4461 100.12/100.44 c bounds 934 >= 0 @ 25.4546 100.12/100.44 c bounds 933 >= 0 @ 26.5615 100.12/100.44 c #Conflicts: 3000 | #Constraints: 658949 100.12/100.44 c #Conflicts: 4000 | #Constraints: 659965 100.12/100.44 c INPROCESSING 100.12/100.44 c GARBAGE COLLECT 100.12/100.44 c bounds 921 >= 0 @ 60.9424 100.12/100.44 c bounds 904 >= 0 @ 60.9523 100.12/100.44 c bounds 895 >= 0 @ 60.9632 100.12/100.44 c bounds 892 >= 0 @ 60.9763 100.12/100.44 c bounds 888 >= 0 @ 61.0733 100.12/100.44 c bounds 882 >= 0 @ 61.182 100.12/100.44 c bounds 874 >= 0 @ 61.2806 100.12/100.44 c bounds 871 >= 0 @ 61.3017 100.12/100.44 c bounds 869 >= 0 @ 61.3234 100.12/100.44 c bounds 862 >= 0 @ 61.3383 100.12/100.44 c bounds 861 >= 0 @ 61.3548 100.12/100.44 c bounds 860 >= 0 @ 61.3683 100.12/100.44 c bounds 852 >= 0 @ 61.4871 100.12/100.44 c bounds 841 >= 0 @ 61.5265 100.12/100.44 c bounds 828 >= 0 @ 61.7459 100.12/100.44 c bounds 817 >= 0 @ 61.7672 100.12/100.44 c bounds 813 >= 0 @ 62.0032 100.12/100.44 c bounds 810 >= 0 @ 62.0346 100.12/100.44 c bounds 808 >= 0 @ 62.052 100.12/100.44 c bounds 807 >= 0 @ 62.2038 100.12/100.44 c bounds 802 >= 0 @ 62.2247 100.12/100.44 c bounds 799 >= 0 @ 62.4694 100.12/100.44 c bounds 797 >= 0 @ 63.0064 100.12/100.44 c bounds 783 >= 0 @ 63.254 100.12/100.44 c bounds 782 >= 0 @ 66.5172 100.12/100.44 c bounds 775 >= 0 @ 66.6344 100.12/100.44 c bounds 773 >= 0 @ 67.0102 100.12/100.44 c bounds 760 >= 0 @ 67.0349 100.12/100.44 c bounds 740 >= 0 @ 67.2081 100.12/100.44 c #Conflicts: 5000 | #Constraints: 659390 100.12/100.44 c bounds 726 >= 0 @ 69.8701 100.12/100.44 c bounds 721 >= 0 @ 71.3599 100.12/100.44 c bounds 717 >= 0 @ 71.8913 100.12/100.44 c bounds 715 >= 0 @ 74.1356 100.12/100.44 c #Conflicts: 6000 | #Constraints: 660416 100.12/100.44 c INPROCESSING 100.12/100.44 c GARBAGE COLLECT 100.12/100.44 c bounds 713 >= 0 @ 79.6915 100.12/100.44 c #Conflicts: 7000 | #Constraints: 659365 100.12/100.44 c bounds 712 >= 0 @ 87.6196 100.12/100.44 c bounds 706 >= 0 @ 88.3574 100.12/100.44 c bounds 694 >= 0 @ 88.3912 100.12/100.44 c bounds 651 >= 0 @ 88.4252 100.12/100.44 c bounds 617 >= 0 @ 88.6416 100.12/100.44 c #Conflicts: 8000 | #Constraints: 660382 100.12/100.44 c #Conflicts: 9000 | #Constraints: 661382 100.12/100.44 c bounds 570 >= 0 @ 91.4744 100.12/100.44 c INPROCESSING 100.12/100.44 c GARBAGE COLLECT 100.12/100.44 c rational objective 165.75 113.69/114.03 c bounds 499 >= 0 @ 99.2613 113.69/114.03 c #Conflicts: 10000 | #Constraints: 660043 113.69/114.03 c #Conflicts: 11000 | #Constraints: 661043 113.69/114.03 c #Conflicts: 12000 | #Constraints: 662043 113.69/114.03 c INPROCESSING 113.69/114.03 c rational objective 165.75 140.31/140.77 c bounds 495 >= 0 @ 111.687 140.31/140.77 c bounds 489 >= 0 @ 111.709 140.31/140.77 c bounds 483 >= 0 @ 111.753 140.31/140.77 c bounds 476 >= 0 @ 111.77 140.31/140.77 c bounds 475 >= 0 @ 111.787 140.31/140.77 c bounds 472 >= 0 @ 111.811 140.31/140.77 c bounds 469 >= 0 @ 113.671 140.31/140.77 c bounds 466 >= 0 @ 113.691 140.31/140.77 c bounds 461 >= 0 @ 114.297 140.31/140.77 c bounds 457 >= 0 @ 116.173 140.31/140.77 c #Conflicts: 13000 | #Constraints: 660505 140.31/140.77 c #Conflicts: 14000 | #Constraints: 661505 140.31/140.77 c #Conflicts: 15000 | #Constraints: 662505 140.31/140.77 c INPROCESSING 140.31/140.77 c GARBAGE COLLECT 140.31/140.77 c bounds 453 >= 0 @ 125.459 140.31/140.77 c #Conflicts: 16000 | #Constraints: 660714 140.31/140.77 c #Conflicts: 17000 | #Constraints: 661714 140.31/140.77 c #Conflicts: 18000 | #Constraints: 662714 140.31/140.77 c INPROCESSING 140.31/140.77 c GARBAGE COLLECT 140.31/140.77 c rational objective 165.75 166.55/167.00 c bounds 452 >= 0 @ 140.659 166.55/167.00 c bounds 452 >= 5 @ 141.827 166.55/167.00 c #Conflicts: 19000 | #Constraints: 660727 166.55/167.00 c #Conflicts: 20000 | #Constraints: 661727 166.55/167.00 c #Conflicts: 21000 | #Constraints: 662727 166.55/167.00 c INPROCESSING 166.55/167.00 c GARBAGE COLLECT 166.55/167.00 c rational objective 165.75 209.02/209.67 c bounds 451 >= 5 @ 163.627 209.02/209.67 c #Conflicts: 22000 | #Constraints: 660556 209.02/209.67 c bounds 444 >= 5 @ 166.643 209.02/209.67 c bounds 441 >= 5 @ 169.187 209.02/209.67 c #Conflicts: 23000 | #Constraints: 661577 209.02/209.67 c #Conflicts: 24000 | #Constraints: 662589 209.02/209.67 c bounds 440 >= 5 @ 198.382 209.02/209.67 c bounds 440 >= 9 @ 198.41 209.02/209.67 c #Conflicts: 25000 | #Constraints: 663600 209.02/209.67 c INPROCESSING 209.02/209.67 c GARBAGE COLLECT 209.02/209.67 c rational objective 166 223.98/224.67 c #Conflicts: 26000 | #Constraints: 661161 223.98/224.67 c #Conflicts: 27000 | #Constraints: 662161 223.98/224.67 c #Conflicts: 28000 | #Constraints: 663161 223.98/224.67 c #Conflicts: 29000 | #Constraints: 664161 223.98/224.67 c INPROCESSING 223.98/224.67 c rational objective 166 239.22/239.91 c #Conflicts: 30000 | #Constraints: 661545 239.22/239.91 c #Conflicts: 31000 | #Constraints: 662545 239.22/239.91 c #Conflicts: 32000 | #Constraints: 663545 239.22/239.91 c #Conflicts: 33000 | #Constraints: 664545 239.22/239.91 c INPROCESSING 239.22/239.91 c GARBAGE COLLECT 239.22/239.91 c rational objective 166 256.57/257.39 c #Conflicts: 34000 | #Constraints: 661745 256.57/257.39 c #Conflicts: 35000 | #Constraints: 662745 256.57/257.39 c #Conflicts: 36000 | #Constraints: 663745 256.57/257.39 c #Conflicts: 37000 | #Constraints: 664745 256.57/257.39 c INPROCESSING 256.57/257.39 c rational objective 166 275.61/276.48 c #Conflicts: 38000 | #Constraints: 661752 275.61/276.48 c #Conflicts: 39000 | #Constraints: 662752 275.61/276.48 c #Conflicts: 40000 | #Constraints: 663752 275.61/276.48 c #Conflicts: 41000 | #Constraints: 664752 275.61/276.48 c INPROCESSING 275.61/276.48 c GARBAGE COLLECT 275.61/276.48 c rational objective 166 294.64/295.51 c #Conflicts: 42000 | #Constraints: 661553 294.64/295.51 c #Conflicts: 43000 | #Constraints: 662553 294.64/295.51 c #Conflicts: 44000 | #Constraints: 663553 294.64/295.51 c #Conflicts: 45000 | #Constraints: 664553 294.64/295.51 c #Conflicts: 46000 | #Constraints: 665553 294.64/295.51 c INPROCESSING 294.64/295.51 c GARBAGE COLLECT 294.64/295.51 c rational objective 166 314.38/315.32 c #Conflicts: 47000 | #Constraints: 662148 314.38/315.32 c #Conflicts: 48000 | #Constraints: 663148 314.38/315.32 c #Conflicts: 49000 | #Constraints: 664148 314.38/315.32 c #Conflicts: 50000 | #Constraints: 665148 314.38/315.32 c #Conflicts: 51000 | #Constraints: 666148 314.38/315.32 c INPROCESSING 314.38/315.32 c rational objective 166 336.42/337.46 c #Conflicts: 52000 | #Constraints: 662556 336.42/337.46 c #Conflicts: 53000 | #Constraints: 663556 336.42/337.46 c #Conflicts: 54000 | #Constraints: 664556 336.42/337.46 c #Conflicts: 55000 | #Constraints: 665556 336.42/337.46 c #Conflicts: 56000 | #Constraints: 666556 336.42/337.46 c INPROCESSING 336.42/337.46 c GARBAGE COLLECT 336.42/337.46 c rational objective 166 354.36/355.42 c #Conflicts: 57000 | #Constraints: 662753 354.36/355.42 c #Conflicts: 58000 | #Constraints: 663753 354.36/355.42 c #Conflicts: 59000 | #Constraints: 664753 354.36/355.42 c #Conflicts: 60000 | #Constraints: 665753 354.36/355.42 c bounds 430 >= 9 @ 345.106 354.36/355.42 c #Conflicts: 61000 | #Constraints: 666754 354.36/355.42 c INPROCESSING 354.36/355.42 c GARBAGE COLLECT 354.36/355.42 c rational objective 166 378.89/380.09 c #Conflicts: 62000 | #Constraints: 662752 378.89/380.09 c #Conflicts: 63000 | #Constraints: 663752 378.89/380.09 c #Conflicts: 64000 | #Constraints: 664752 378.89/380.09 c #Conflicts: 65000 | #Constraints: 665752 378.89/380.09 c #Conflicts: 66000 | #Constraints: 666752 378.89/380.09 c INPROCESSING 378.89/380.09 c GARBAGE COLLECT 378.89/380.09 c rational objective 166 402.82/404.02 c #Conflicts: 67000 | #Constraints: 662554 402.82/404.02 c #Conflicts: 68000 | #Constraints: 663554 402.82/404.02 c #Conflicts: 69000 | #Constraints: 664554 402.82/404.02 c #Conflicts: 70000 | #Constraints: 665554 402.82/404.02 c #Conflicts: 71000 | #Constraints: 666554 402.82/404.02 c #Conflicts: 72000 | #Constraints: 667554 402.82/404.02 c INPROCESSING 402.82/404.02 c GARBAGE COLLECT 402.82/404.02 c rational objective 166 426.74/428.01 c #Conflicts: 73000 | #Constraints: 663160 426.74/428.01 c #Conflicts: 74000 | #Constraints: 664160 426.74/428.01 c #Conflicts: 75000 | #Constraints: 665160 426.74/428.01 c #Conflicts: 76000 | #Constraints: 666160 426.74/428.01 c #Conflicts: 77000 | #Constraints: 667160 426.74/428.01 c #Conflicts: 78000 | #Constraints: 668160 426.74/428.01 c INPROCESSING 426.74/428.01 c GARBAGE COLLECT 426.74/428.01 c rational objective 166 452.16/453.54 c #Conflicts: 79000 | #Constraints: 663566 452.16/453.54 c #Conflicts: 80000 | #Constraints: 664566 452.16/453.54 c #Conflicts: 81000 | #Constraints: 665566 452.16/453.54 c #Conflicts: 82000 | #Constraints: 666566 452.16/453.54 c #Conflicts: 83000 | #Constraints: 667566 452.16/453.54 c #Conflicts: 84000 | #Constraints: 668566 452.16/453.54 c INPROCESSING 452.16/453.54 c GARBAGE COLLECT 452.16/453.54 c rational objective 166.417 478.29/479.72 c #Conflicts: 85000 | #Constraints: 663777 478.29/479.72 c #Conflicts: 86000 | #Constraints: 664777 478.29/479.72 c #Conflicts: 87000 | #Constraints: 665777 478.29/479.72 c #Conflicts: 88000 | #Constraints: 666777 478.29/479.72 c #Conflicts: 89000 | #Constraints: 667777 478.29/479.72 c #Conflicts: 90000 | #Constraints: 668777 478.29/479.72 c INPROCESSING 478.29/479.72 c GARBAGE COLLECT 478.29/479.72 c rational objective 166.417 505.21/506.70 c #Conflicts: 91000 | #Constraints: 663775 505.21/506.70 c #Conflicts: 92000 | #Constraints: 664775 505.21/506.70 c #Conflicts: 93000 | #Constraints: 665775 505.21/506.70 c #Conflicts: 94000 | #Constraints: 666775 505.21/506.70 c #Conflicts: 95000 | #Constraints: 667775 505.21/506.70 c #Conflicts: 96000 | #Constraints: 668775 505.21/506.70 c INPROCESSING 505.21/506.70 c GARBAGE COLLECT 505.21/506.70 c rational objective 166.417 534.63/536.27 c #Conflicts: 97000 | #Constraints: 663580 534.63/536.27 c #Conflicts: 98000 | #Constraints: 664580 534.63/536.27 c #Conflicts: 99000 | #Constraints: 665580 534.63/536.27 c #Conflicts: 100000 | #Constraints: 666580 534.63/536.27 c #Conflicts: 101000 | #Constraints: 667580 534.63/536.27 c #Conflicts: 102000 | #Constraints: 668580 534.63/536.27 c #Conflicts: 103000 | #Constraints: 669580 534.63/536.27 c INPROCESSING 534.63/536.27 c GARBAGE COLLECT 534.63/536.27 c rational objective 166.417 603.04/604.88 c bounds 427 >= 9 @ 528.215 603.04/604.88 c bounds 426 >= 9 @ 528.236 603.04/604.88 c bounds 425 >= 9 @ 528.882 603.04/604.88 c bounds 421 >= 9 @ 528.913 603.04/604.88 c bounds 415 >= 9 @ 528.971 603.04/604.88 c bounds 414 >= 9 @ 530.284 603.04/604.88 c bounds 412 >= 9 @ 533.866 603.04/604.88 c #Conflicts: 104000 | #Constraints: 664198 603.04/604.88 c bounds 410 >= 9 @ 536.232 603.04/604.88 c bounds 410 >= 11 @ 536.246 603.04/604.88 c bounds 410 >= 13 @ 536.262 603.04/604.88 c bounds 410 >= 15 @ 536.279 603.04/604.88 c bounds 410 >= 17 @ 536.3 603.04/604.88 c bounds 410 >= 19 @ 536.317 603.04/604.88 c bounds 410 >= 21 @ 536.34 603.04/604.88 c bounds 410 >= 23 @ 536.368 603.04/604.88 c bounds 410 >= 25 @ 536.424 603.04/604.88 c bounds 410 >= 27 @ 537.594 603.04/604.88 c bounds 410 >= 29 @ 538.593 603.04/604.88 c #Conflicts: 105000 | #Constraints: 665264 603.04/604.88 c #Conflicts: 106000 | #Constraints: 666264 603.04/604.88 c bounds 410 >= 31 @ 555.75 603.04/604.88 c #Conflicts: 107000 | #Constraints: 667285 603.04/604.88 c bounds 408 >= 31 @ 556.301 603.04/604.88 c bounds 407 >= 31 @ 557.602 603.04/604.88 c bounds 406 >= 31 @ 559.057 603.04/604.88 c bounds 405 >= 31 @ 559.816 603.04/604.88 c bounds 400 >= 31 @ 559.878 603.04/604.88 c bounds 397 >= 31 @ 561.188 603.04/604.88 c bounds 395 >= 31 @ 561.792 603.04/604.88 c bounds 390 >= 31 @ 561.868 603.04/604.88 c bounds 388 >= 31 @ 562.107 603.04/604.88 c bounds 385 >= 31 @ 562.19 603.04/604.88 c bounds 381 >= 31 @ 563.269 603.04/604.88 c #Conflicts: 108000 | #Constraints: 668296 603.04/604.88 c bounds 379 >= 31 @ 566.8 603.04/604.88 c #Conflicts: 109000 | #Constraints: 669297 603.04/604.88 c #Conflicts: 110000 | #Constraints: 670297 603.04/604.88 c INPROCESSING 603.04/604.88 c GARBAGE COLLECT 603.04/604.88 c rational objective 166.417 711.05/713.15 c bounds 378 >= 31 @ 596.107 711.05/713.15 c bounds 375 >= 31 @ 596.176 711.05/713.15 c #Conflicts: 111000 | #Constraints: 664664 711.05/713.15 c bounds 374 >= 31 @ 605.789 711.05/713.15 c bounds 373 >= 31 @ 613.043 711.05/713.15 c bounds 371 >= 31 @ 613.126 711.05/713.15 c bounds 370 >= 31 @ 613.194 711.05/713.15 c bounds 365 >= 31 @ 614.717 711.05/713.15 c bounds 360 >= 31 @ 616.05 711.05/713.15 c bounds 359 >= 31 @ 616.123 711.05/713.15 c bounds 356 >= 31 @ 616.373 711.05/713.15 c bounds 354 >= 31 @ 616.873 711.05/713.15 c bounds 354 >= 32 @ 616.909 711.05/713.15 c bounds 354 >= 33 @ 616.942 711.05/713.15 c bounds 354 >= 34 @ 616.974 711.05/713.15 c bounds 354 >= 35 @ 617.01 711.05/713.15 c bounds 354 >= 36 @ 617.04 711.05/713.15 c bounds 354 >= 37 @ 617.074 711.05/713.15 c bounds 354 >= 38 @ 617.107 711.05/713.15 c bounds 354 >= 39 @ 617.141 711.05/713.15 c bounds 354 >= 40 @ 617.18 711.05/713.15 c bounds 354 >= 41 @ 617.235 711.05/713.15 c bounds 354 >= 42 @ 617.284 711.05/713.15 c bounds 354 >= 43 @ 618.706 711.05/713.15 c bounds 354 >= 44 @ 618.771 711.05/713.15 c bounds 354 >= 45 @ 618.872 711.05/713.15 c bounds 354 >= 46 @ 619.007 711.05/713.15 c bounds 354 >= 47 @ 619.235 711.05/713.15 c #Conflicts: 112000 | #Constraints: 665798 711.05/713.15 c bounds 354 >= 48 @ 619.657 711.05/713.15 c #Conflicts: 113000 | #Constraints: 666816 711.05/713.15 c bounds 351 >= 48 @ 636.309 711.05/713.15 c bounds 351 >= 49 @ 638.615 711.05/713.15 c bounds 351 >= 50 @ 640.257 711.05/713.15 c #Conflicts: 114000 | #Constraints: 667859 711.05/713.15 c bounds 351 >= 51 @ 643.007 711.05/713.15 c bounds 351 >= 52 @ 644.34 711.05/713.15 c bounds 351 >= 53 @ 648.332 711.05/713.15 c #Conflicts: 115000 | #Constraints: 668919 711.05/713.15 c bounds 351 >= 54 @ 652.883 711.05/713.15 c bounds 351 >= 55 @ 665.084 711.05/713.15 c #Conflicts: 116000 | #Constraints: 669973 711.05/713.15 c bounds 351 >= 56 @ 670.524 711.05/713.15 c #Conflicts: 117000 | #Constraints: 670994 711.05/713.15 c INPROCESSING 711.05/713.15 c GARBAGE COLLECT 711.05/713.15 c rational objective 166.417 804.21/806.58 c #Conflicts: 118000 | #Constraints: 665141 804.21/806.58 c #Conflicts: 119000 | #Constraints: 666151 804.21/806.58 c #Conflicts: 120000 | #Constraints: 667160 804.21/806.58 c #Conflicts: 121000 | #Constraints: 668164 804.21/806.58 c bounds 350 >= 56 @ 748.431 804.21/806.58 c bounds 350 >= 57 @ 755.063 804.21/806.58 c #Conflicts: 122000 | #Constraints: 669190 804.21/806.58 c bounds 350 >= 58 @ 769.027 804.21/806.58 c #Conflicts: 123000 | #Constraints: 670232 804.21/806.58 c #Conflicts: 124000 | #Constraints: 671232 804.21/806.58 c INPROCESSING 804.21/806.58 c GARBAGE COLLECT 804.21/806.58 c rational objective 166.444 1017.75/1020.61 c bounds 350 >= 59 @ 795.721 1017.75/1020.61 c #Conflicts: 125000 | #Constraints: 665249 1017.75/1020.61 c #Conflicts: 126000 | #Constraints: 666249 1017.75/1020.61 c bounds 350 >= 60 @ 806.313 1017.75/1020.61 c #Conflicts: 127000 | #Constraints: 667282 1017.75/1020.61 c bounds 350 >= 61 @ 824.085 1017.75/1020.61 c #Conflicts: 128000 | #Constraints: 668303 1017.75/1020.61 c #Conflicts: 129000 | #Constraints: 669303 1017.75/1020.61 c #Conflicts: 130000 | #Constraints: 670303 1017.75/1020.61 c bounds 350 >= 62 @ 850.363 1017.75/1020.61 c #Conflicts: 131000 | #Constraints: 671324 1017.75/1020.61 c INPROCESSING 1017.75/1020.61 c GARBAGE COLLECT 1017.75/1020.61 c #Conflicts: 132000 | #Constraints: 665100 1017.75/1020.61 c #Conflicts: 133000 | #Constraints: 666100 1017.75/1020.61 c #Conflicts: 134000 | #Constraints: 667100 1017.75/1020.61 c #Conflicts: 135000 | #Constraints: 668100 1017.75/1020.61 c bounds 350 >= 63 @ 960.101 1017.75/1020.61 c #Conflicts: 136000 | #Constraints: 669142 1017.75/1020.61 c #Conflicts: 137000 | #Constraints: 670156 1017.75/1020.61 c #Conflicts: 138000 | #Constraints: 671166 1017.75/1020.61 c bounds 348 >= 63 @ 993.286 1017.75/1020.61 c #Conflicts: 139000 | #Constraints: 672178 1017.75/1020.61 c INPROCESSING 1017.75/1020.61 c GARBAGE COLLECT 1017.75/1020.61 c rational objective 166.5 1107.82/1110.95 c #Conflicts: 140000 | #Constraints: 665761 1107.82/1110.95 c #Conflicts: 141000 | #Constraints: 666761 1107.82/1110.95 c #Conflicts: 142000 | #Constraints: 667761 1107.82/1110.95 c bounds 348 >= 64 @ 1025.3 1107.82/1110.95 c #Conflicts: 143000 | #Constraints: 668804 1107.82/1110.95 c #Conflicts: 144000 | #Constraints: 669815 1107.82/1110.95 c bounds 345 >= 64 @ 1045.31 1107.82/1110.95 c bounds 343 >= 64 @ 1047 1107.82/1110.95 c #Conflicts: 145000 | #Constraints: 670831 1107.82/1110.95 c #Conflicts: 146000 | #Constraints: 671844 1107.82/1110.95 c #Conflicts: 147000 | #Constraints: 672852 1107.82/1110.95 c INPROCESSING 1107.82/1110.95 c GARBAGE COLLECT 1107.82/1110.95 c rational objective 166.5 1238.89/1242.35 c #Conflicts: 148000 | #Constraints: 666214 1238.89/1242.35 c #Conflicts: 149000 | #Constraints: 667214 1238.89/1242.35 c #Conflicts: 150000 | #Constraints: 668214 1238.89/1242.35 c bounds 343 >= 65 @ 1121 1238.89/1242.35 c #Conflicts: 151000 | #Constraints: 669235 1238.89/1242.35 c #Conflicts: 152000 | #Constraints: 670235 1238.89/1242.35 c #Conflicts: 153000 | #Constraints: 671235 1238.89/1242.35 c bounds 343 >= 66 @ 1153.91 1238.89/1242.35 c bounds 342 >= 66 @ 1153.95 1238.89/1242.35 c bounds 339 >= 66 @ 1159.11 1238.89/1242.35 c #Conflicts: 154000 | #Constraints: 672286 1238.89/1242.35 c #Conflicts: 155000 | #Constraints: 673303 1238.89/1242.35 c INPROCESSING 1238.89/1242.35 c GARBAGE COLLECT 1238.89/1242.35 c rational objective 166.5 1330.15/1333.89 c #Conflicts: 156000 | #Constraints: 666475 1330.15/1333.89 c #Conflicts: 157000 | #Constraints: 667475 1330.15/1333.89 c #Conflicts: 158000 | #Constraints: 668475 1330.15/1333.89 c #Conflicts: 159000 | #Constraints: 669475 1330.15/1333.89 c #Conflicts: 160000 | #Constraints: 670475 1330.15/1333.89 c bounds 339 >= 67 @ 1274.85 1330.15/1333.89 c bounds 338 >= 67 @ 1275.07 1330.15/1333.89 c #Conflicts: 161000 | #Constraints: 671509 1330.15/1333.89 c bounds 337 >= 67 @ 1282.91 1330.15/1333.89 c bounds 334 >= 67 @ 1289.56 1330.15/1333.89 c #Conflicts: 162000 | #Constraints: 672519 1330.15/1333.89 c #Conflicts: 163000 | #Constraints: 673531 1330.15/1333.89 c bounds 333 >= 67 @ 1306 1330.15/1333.89 c INPROCESSING 1330.15/1333.89 c GARBAGE COLLECT 1330.15/1333.89 c rational objective 166.5 1423.40/1427.34 c #Conflicts: 164000 | #Constraints: 666512 1423.40/1427.34 c #Conflicts: 165000 | #Constraints: 667512 1423.40/1427.34 c #Conflicts: 166000 | #Constraints: 668512 1423.40/1427.34 c #Conflicts: 167000 | #Constraints: 669512 1423.40/1427.34 c #Conflicts: 168000 | #Constraints: 670512 1423.40/1427.34 c bounds 333 >= 68 @ 1355.28 1423.40/1427.34 c bounds 331 >= 68 @ 1357.09 1423.40/1427.34 c bounds 328 >= 68 @ 1359.65 1423.40/1427.34 c #Conflicts: 169000 | #Constraints: 671555 1423.40/1427.34 c bounds 325 >= 68 @ 1365 1423.40/1427.34 c #Conflicts: 170000 | #Constraints: 672565 1423.40/1427.34 c bounds 324 >= 68 @ 1387.4 1423.40/1427.34 c #Conflicts: 171000 | #Constraints: 673566 1423.40/1427.34 c INPROCESSING 1423.40/1427.34 c GARBAGE COLLECT 1423.40/1427.34 c rational objective 166.5 1527.14/1531.32 c #Conflicts: 172000 | #Constraints: 666334 1527.14/1531.32 c #Conflicts: 173000 | #Constraints: 667334 1527.14/1531.32 c #Conflicts: 174000 | #Constraints: 668334 1527.14/1531.32 c #Conflicts: 175000 | #Constraints: 669334 1527.14/1531.32 c #Conflicts: 176000 | #Constraints: 670334 1527.14/1531.32 c #Conflicts: 177000 | #Constraints: 671334 1527.14/1531.32 c bounds 324 >= 69 @ 1463.62 1527.14/1531.32 c bounds 323 >= 69 @ 1463.66 1527.14/1531.32 c #Conflicts: 178000 | #Constraints: 672376 1527.14/1531.32 c bounds 322 >= 69 @ 1467.22 1527.14/1531.32 c bounds 321 >= 69 @ 1468.93 1527.14/1531.32 c bounds 320 >= 69 @ 1469.76 1527.14/1531.32 c bounds 318 >= 69 @ 1474.96 1527.14/1531.32 c #Conflicts: 179000 | #Constraints: 673396 1527.14/1531.32 c bounds 317 >= 69 @ 1485.36 1527.14/1531.32 c bounds 316 >= 69 @ 1486.89 1527.14/1531.32 c bounds 315 >= 69 @ 1487.08 1527.14/1531.32 c bounds 313 >= 69 @ 1488.34 1527.14/1531.32 c bounds 311 >= 69 @ 1488.46 1527.14/1531.32 c #Conflicts: 180000 | #Constraints: 674416 1527.14/1531.32 c INPROCESSING 1527.14/1531.32 c GARBAGE COLLECT 1527.14/1531.32 c rational objective 166.526 1741.54/1746.28 c #Conflicts: 181000 | #Constraints: 666978 1741.54/1746.28 c #Conflicts: 182000 | #Constraints: 667989 1741.54/1746.28 c #Conflicts: 183000 | #Constraints: 668995 1741.54/1746.28 c #Conflicts: 184000 | #Constraints: 670003 1741.54/1746.28 c #Conflicts: 185000 | #Constraints: 671010 1741.54/1746.28 c #Conflicts: 186000 | #Constraints: 672018 1741.54/1746.28 c #Conflicts: 187000 | #Constraints: 673029 1741.54/1746.28 c #Conflicts: 188000 | #Constraints: 674035 1741.54/1746.28 c #Conflicts: 189000 | #Constraints: 675045 1741.54/1746.28 c INPROCESSING 1741.54/1746.28 c GARBAGE COLLECT 1741.54/1746.28 c rational objective 166.526 1845.21/1850.16 c #Conflicts: 190000 | #Constraints: 667405 1845.21/1850.16 c #Conflicts: 191000 | #Constraints: 668405 1845.21/1850.16 c #Conflicts: 192000 | #Constraints: 669405 1845.21/1850.16 c #Conflicts: 193000 | #Constraints: 670405 1845.21/1850.16 c #Conflicts: 194000 | #Constraints: 671405 1845.21/1850.16 c #Conflicts: 195000 | #Constraints: 672405 1845.21/1850.16 c #Conflicts: 196000 | #Constraints: 673405 1845.21/1850.16 c #Conflicts: 197000 | #Constraints: 674405 1845.21/1850.16 c #Conflicts: 198000 | #Constraints: 675405 1845.21/1850.16 c INPROCESSING 1845.21/1850.16 c GARBAGE COLLECT 1845.21/1850.16 c rational objective 166.526 1957.34/1962.57 c #Conflicts: 199000 | #Constraints: 667589 1957.34/1962.57 c #Conflicts: 200000 | #Constraints: 668589 1957.34/1962.57 c #Conflicts: 201000 | #Constraints: 669589 1957.34/1962.57 c #Conflicts: 202000 | #Constraints: 670589 1957.34/1962.57 c bounds 311 >= 70 @ 1861.94 1957.34/1962.57 c #Conflicts: 203000 | #Constraints: 671625 1957.34/1962.57 c #Conflicts: 204000 | #Constraints: 672625 1957.34/1962.57 c #Conflicts: 205000 | #Constraints: 673625 1957.34/1962.57 c #Conflicts: 206000 | #Constraints: 674625 1957.34/1962.57 c #Conflicts: 207000 | #Constraints: 675625 1957.34/1962.57 c INPROCESSING 1957.34/1962.57 c GARBAGE COLLECT 1957.34/1962.57 c rational objective 166.526 2167.05/2172.73 c #Conflicts: 208000 | #Constraints: 667622 2167.05/2172.73 c #Conflicts: 209000 | #Constraints: 668622 2167.05/2172.73 c #Conflicts: 210000 | #Constraints: 669622 2167.05/2172.73 c #Conflicts: 211000 | #Constraints: 670622 2167.05/2172.73 c #Conflicts: 212000 | #Constraints: 671622 2167.05/2172.73 c #Conflicts: 213000 | #Constraints: 672622 2167.05/2172.73 c #Conflicts: 214000 | #Constraints: 673622 2167.05/2172.73 c #Conflicts: 215000 | #Constraints: 674622 2167.05/2172.73 c #Conflicts: 216000 | #Constraints: 675622 2167.05/2172.73 c bounds 311 >= 71 @ 2038.38 2167.05/2172.73 c INPROCESSING 2167.05/2172.73 c GARBAGE COLLECT 2167.05/2172.73 c rational objective 166.526 2276.29/2282.25 c #Conflicts: 217000 | #Constraints: 667449 2276.29/2282.25 c #Conflicts: 218000 | #Constraints: 668449 2276.29/2282.25 c #Conflicts: 219000 | #Constraints: 669449 2276.29/2282.25 c #Conflicts: 220000 | #Constraints: 670449 2276.29/2282.25 c #Conflicts: 221000 | #Constraints: 671449 2276.29/2282.25 c #Conflicts: 222000 | #Constraints: 672449 2276.29/2282.25 c #Conflicts: 223000 | #Constraints: 673449 2276.29/2282.25 c #Conflicts: 224000 | #Constraints: 674449 2276.29/2282.25 c #Conflicts: 225000 | #Constraints: 675449 2276.29/2282.25 c #Conflicts: 226000 | #Constraints: 676449 2276.29/2282.25 c INPROCESSING 2276.29/2282.25 c GARBAGE COLLECT 2276.29/2282.25 c rational objective 166.583 2408.08/2414.38 c #Conflicts: 227000 | #Constraints: 668049 2408.08/2414.38 c #Conflicts: 228000 | #Constraints: 669049 2408.08/2414.38 c #Conflicts: 229000 | #Constraints: 670049 2408.08/2414.38 c #Conflicts: 230000 | #Constraints: 671049 2408.08/2414.38 c #Conflicts: 231000 | #Constraints: 672049 2408.08/2414.38 c #Conflicts: 232000 | #Constraints: 673049 2408.08/2414.38 c bounds 311 >= 72 @ 2316.78 2408.08/2414.38 c #Conflicts: 233000 | #Constraints: 674085 2408.08/2414.38 c #Conflicts: 234000 | #Constraints: 675085 2408.08/2414.38 c #Conflicts: 235000 | #Constraints: 676085 2408.08/2414.38 c #Conflicts: 236000 | #Constraints: 677085 2408.08/2414.38 c INPROCESSING 2408.08/2414.38 c GARBAGE COLLECT 2408.08/2414.38 c rational objective 166.583 2575.57/2582.21 c #Conflicts: 237000 | #Constraints: 668488 2575.57/2582.21 c bounds 307 >= 72 @ 2391.37 2575.57/2582.21 c #Conflicts: 238000 | #Constraints: 669507 2575.57/2582.21 c #Conflicts: 239000 | #Constraints: 670515 2575.57/2582.21 c #Conflicts: 240000 | #Constraints: 671528 2575.57/2582.21 c bounds 302 >= 72 @ 2431.35 2575.57/2582.21 c #Conflicts: 241000 | #Constraints: 672534 2575.57/2582.21 c #Conflicts: 242000 | #Constraints: 673534 2575.57/2582.21 c #Conflicts: 243000 | #Constraints: 674534 2575.57/2582.21 c #Conflicts: 244000 | #Constraints: 675534 2575.57/2582.21 c #Conflicts: 245000 | #Constraints: 676534 2575.57/2582.21 c #Conflicts: 246000 | #Constraints: 677534 2575.57/2582.21 c INPROCESSING 2575.57/2582.21 c GARBAGE COLLECT 2575.57/2582.21 c rational objective 166.583 2855.83/2863.18 c #Conflicts: 247000 | #Constraints: 668713 2855.83/2863.18 c #Conflicts: 248000 | #Constraints: 669722 2855.83/2863.18 c #Conflicts: 249000 | #Constraints: 670728 2855.83/2863.18 c #Conflicts: 250000 | #Constraints: 671733 2855.83/2863.18 c #Conflicts: 251000 | #Constraints: 672743 2855.83/2863.18 c #Conflicts: 252000 | #Constraints: 673755 2855.83/2863.18 c #Conflicts: 253000 | #Constraints: 674761 2855.83/2863.18 c #Conflicts: 254000 | #Constraints: 675773 2855.83/2863.18 c #Conflicts: 255000 | #Constraints: 676782 2855.83/2863.18 c #Conflicts: 256000 | #Constraints: 677791 2855.83/2863.18 c INPROCESSING 2855.83/2863.18 c GARBAGE COLLECT 2855.83/2863.18 c rational objective 166.583 3008.83/3016.53 c #Conflicts: 257000 | #Constraints: 668750 3008.83/3016.53 c #Conflicts: 258000 | #Constraints: 669750 3008.83/3016.53 c #Conflicts: 259000 | #Constraints: 670750 3008.83/3016.53 c #Conflicts: 260000 | #Constraints: 671750 3008.83/3016.53 c #Conflicts: 261000 | #Constraints: 672750 3008.83/3016.53 c #Conflicts: 262000 | #Constraints: 673750 3008.83/3016.53 c #Conflicts: 263000 | #Constraints: 674750 3008.83/3016.53 c #Conflicts: 264000 | #Constraints: 675750 3008.83/3016.53 c #Conflicts: 265000 | #Constraints: 676750 3008.83/3016.53 c #Conflicts: 266000 | #Constraints: 677750 3008.83/3016.53 c INPROCESSING 3008.83/3016.53 c GARBAGE COLLECT 3008.83/3016.53 c rational objective 166.583 3168.51/3176.62 c #Conflicts: 267000 | #Constraints: 668519 3168.51/3176.62 c #Conflicts: 268000 | #Constraints: 669519 3168.51/3176.62 c #Conflicts: 269000 | #Constraints: 670519 3168.51/3176.62 c #Conflicts: 270000 | #Constraints: 671519 3168.51/3176.62 c #Conflicts: 271000 | #Constraints: 672519 3168.51/3176.62 c #Conflicts: 272000 | #Constraints: 673519 3168.51/3176.62 c #Conflicts: 273000 | #Constraints: 674519 3168.51/3176.62 c #Conflicts: 274000 | #Constraints: 675519 3168.51/3176.62 c #Conflicts: 275000 | #Constraints: 676519 3168.51/3176.62 c bounds 302 >= 73 @ 3091.54 3168.51/3176.62 c #Conflicts: 276000 | #Constraints: 677567 3168.51/3176.62 c #Conflicts: 277000 | #Constraints: 678567 3168.51/3176.62 c INPROCESSING 3168.51/3176.62 c GARBAGE COLLECT 3168.51/3176.62 c rational objective 166.583 3349.84/3358.44 c #Conflicts: 278000 | #Constraints: 669142 3349.84/3358.44 c #Conflicts: 279000 | #Constraints: 670142 3349.84/3358.44 c #Conflicts: 280000 | #Constraints: 671142 3349.84/3358.44 c #Conflicts: 281000 | #Constraints: 672142 3349.84/3358.44 c #Conflicts: 282000 | #Constraints: 673142 3349.84/3358.44 c #Conflicts: 283000 | #Constraints: 674142 3349.84/3358.44 c #Conflicts: 284000 | #Constraints: 675142 3349.84/3358.44 c #Conflicts: 285000 | #Constraints: 676142 3349.84/3358.44 c #Conflicts: 286000 | #Constraints: 677142 3349.84/3358.44 c #Conflicts: 287000 | #Constraints: 678142 3349.84/3358.44 c #Conflicts: 288000 | #Constraints: 679142 3349.84/3358.44 c INPROCESSING 3349.84/3358.44 c GARBAGE COLLECT 3349.84/3358.44 c rational objective 166.583 3541.06/3550.13 c #Conflicts: 289000 | #Constraints: 669536 3541.06/3550.13 c #Conflicts: 290000 | #Constraints: 670536 3541.06/3550.13 c #Conflicts: 291000 | #Constraints: 671536 3541.06/3550.13 c #Conflicts: 292000 | #Constraints: 672536 3541.06/3550.13 c #Conflicts: 293000 | #Constraints: 673536 3541.06/3550.13 c #Conflicts: 294000 | #Constraints: 674536 3541.06/3550.13 c #Conflicts: 295000 | #Constraints: 675536 3541.06/3550.13 c #Conflicts: 296000 | #Constraints: 676536 3541.06/3550.13 c #Conflicts: 297000 | #Constraints: 677536 3541.06/3550.13 c #Conflicts: 298000 | #Constraints: 678536 3541.06/3550.13 c #Conflicts: 299000 | #Constraints: 679536 3541.06/3550.13 c INPROCESSING 3541.06/3550.13 c GARBAGE COLLECT 3541.06/3550.13 c rational objective 166.583 3600.00/3609.20 c #Conflicts: 300000 | #Constraints: 669752 3600.00/3609.20 c #Conflicts: 301000 | #Constraints: 670752 3600.00/3609.20 c #Conflicts: 302000 | #Constraints: 671752 3600.00/3609.20 c #Conflicts: 303000 | #Constraints: 672752 3600.00/3609.20 c Program interrupted by user. 3600.00/3609.20 c cpu time 3550.3 s 3600.00/3609.20 c deterministic time 468217498786 4.68e+11 3600.00/3609.20 c optimization time 58.9275 s 3600.00/3609.20 c total solve time 3489.88 s 3600.00/3609.20 c core-guided solve time 2431.52 s 3600.00/3609.20 c propagation time 1947.94 s 3600.00/3609.20 c conflict analysis time 1046.1 s 3600.00/3609.20 c propagations 95148464 3600.00/3609.20 c resolve steps 4799321 3600.00/3609.20 c decisions 14516282 3600.00/3609.20 c conflicts 303186 3600.00/3609.20 c restarts 735 3600.00/3609.20 c inprocessing phases 46 3600.00/3609.20 c input clauses 657161 3600.00/3609.20 c input cardinalities 55 3600.00/3609.20 c input general constraints 923 3600.00/3609.20 c input average constraint length 8.49 3600.00/3609.20 c input average constraint degree 221.50 3600.00/3609.20 c learned clauses 159248 3600.00/3609.20 c learned cardinalities 6 3600.00/3609.20 c learned general constraints 144584 3600.00/3609.20 c learned average constraint length 3604.59 3600.00/3609.20 c learned average constraint degree 62471992323.81 3600.00/3609.20 c watched constraints 28945 3600.00/3609.20 c counting constraints 116562 3600.00/3609.20 c gcd simplifications 5522 3600.00/3609.20 c detected cardinalities 0 3600.00/3609.20 c weakened non-implied lits 383990723 3600.00/3609.20 c weakened non-implying lits 91824 3600.00/3609.20 c original variables 10000 3600.00/3609.20 c clausal propagations 22391280 3600.00/3609.20 c cardinality propagations 70618 3600.00/3609.20 c watched propagations 3658873 3600.00/3609.20 c counting propagations 68178030 3600.00/3609.20 c watch lookups 19210544233 3600.00/3609.20 c watch backjump lookups 18984666571 3600.00/3609.20 c watch checks 181708567022 3600.00/3609.20 c propagation checks 242019836871 3600.00/3609.20 c constraint additions 6073791096 3600.00/3609.20 c trail pops 109958468 3600.00/3609.20 c formula constraints 656900 3600.00/3609.20 c learned constraints 302542 3600.00/3609.20 c bound constraints 349 3600.00/3609.20 c core-guided constraints 890 3600.00/3609.20 c encountered formula constraints 2501774 3600.00/3609.20 c encountered learned constraints 2057236 3600.00/3609.20 c encountered bound constraints 4640 3600.00/3609.20 c encountered core-guided constraints 493429 3600.00/3609.20 c LP total time 881.58 s 3600.00/3609.20 c LP solve time 848.56 s 3600.00/3609.20 c LP constraints added 656914 3600.00/3609.20 c LP constraints removed 4 3600.00/3609.20 c LP pivots internal 304344 3600.00/3609.20 c LP pivots root 165434 3600.00/3609.20 c LP calls 1561 3600.00/3609.20 c LP optimalities 909 3600.00/3609.20 c LP no pivot count 364 3600.00/3609.20 c LP infeasibilities 648 3600.00/3609.20 c LP valid Farkas constraints 648 3600.00/3609.20 c LP learned Farkas constraints 648 3600.00/3609.20 c LP basis resets 0 3600.00/3609.20 c LP cycling count 0 3600.00/3609.20 c LP singular count 0 3600.00/3609.20 c LP no primal count 0 3600.00/3609.20 c LP no farkas count 0 3600.00/3609.20 c LP other issue count 0 3600.00/3609.20 c LP Gomory cuts 0 3600.00/3609.20 c LP learned cuts 14 3600.00/3609.20 c LP deleted cuts 4 3600.00/3609.20 c LP encountered Gomory constraints 0 3600.00/3609.20 c LP encountered Farkas constraints 43162 3600.00/3609.20 c LP encountered learned Farkas constraints 1618 3600.00/3609.20 c CG auxiliary variables introduced 315 3600.00/3609.20 c CG solutions found 294 3600.00/3609.20 c CG cores constructed 55 3600.00/3609.20 c CG core cardinality constraints returned 0 3600.00/3609.20 c CG unit cores 0 3600.00/3609.20 c CG single cores 52 3600.00/3609.20 c CG blocks removed during cardinality reduction 0 3600.00/3609.20 c CG first core best 0 3600.00/3609.20 c CG decision core best 0 3600.00/3609.20 c CG core reduction tie 3 3600.00/3609.20 c CG core degree average 1.00 3600.00/3609.20 c CG core slack average 1008.69 3600.00/3609.20 s SATISFIABLE 3600.00/3609.20 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 -
ERROR: no interpretation found !
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (49614 MiB free)
memory of node 1: 64510 MiB (58241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460188-1722064838/watcher-4460188-1722064838 -o /tmp/evaluation-result-4460188-1722064838/solver-4460188-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310248 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460188-1722064838 --lp-cut-gomory=0 HOME/instance-4460188-1722064838.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=310392, runsolver pid=310389
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110427356/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=41212 memory=11244 CPUtime=0.1 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 1532 0 0 0 7 3 0 0 20 0 1 0 43008020 42201088 2811 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 10303 2811 1365 992 0 2161 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11244 KiB
[startup+0.205487 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110422252/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=42668 memory=14872 CPUtime=0.19 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 1894 0 0 0 14 5 0 0 20 0 1 0 43008020 43692032 3718 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 10667 3718 1365 992 0 2525 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 14872 KiB
[startup+0.304929 s]*
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110415376/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=45652 memory=16080 CPUtime=0.3 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 2179 0 0 0 22 8 0 0 20 0 1 0 43008020 46747648 4020 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 11413 4020 1365 992 0 3271 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 16080 KiB
[startup+0.700217 s]
/proc/loadavg: 0.07 0.08 0.09 5/256 310403
/proc/meminfo: memFree=110403812/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=56396 memory=27696 CPUtime=0.69 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 4621 0 0 0 49 20 0 0 20 0 1 0 43008020 57749504 6924 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 14099 6924 1365 992 0 5957 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 56396 KiB
Current children cumulated memory: 27696 KiB
[startup+1.50021 s]
/proc/loadavg: 0.38 0.15 0.11 5/256 310403
/proc/meminfo: memFree=110373696/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=85484 memory=52052 CPUtime=1.49 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 8649 0 0 0 108 41 0 0 20 0 1 0 43008020 87535616 13013 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 21371 13013 1365 992 0 13229 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 85484 KiB
Current children cumulated memory: 52052 KiB
[startup+3.10576 s]
/proc/loadavg: 0.38 0.15 0.11 5/257 310406
/proc/meminfo: memFree=109763740/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=361156 memory=330768 CPUtime=3.08 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 58092 0 0 0 253 55 0 0 20 0 1 0 43008020 369823744 82692 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 90289 82692 1731 992 0 82147 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 361156 KiB
Current children cumulated memory: 330768 KiB
[startup+6.30021 s]
/proc/loadavg: 0.67 0.21 0.13 5/260 310409
/proc/meminfo: memFree=109706396/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=374024 memory=325768 CPUtime=6.28 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 58798 0 0 0 553 75 0 0 20 0 1 0 43008020 383000576 81442 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 93506 81442 1889 992 0 85364 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 374024 KiB
Current children cumulated memory: 325768 KiB
[startup+12.7002 s]
/proc/loadavg: 0.94 0.27 0.15 5/260 310409
/proc/meminfo: memFree=109181304/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=475900 memory=447048 CPUtime=12.66 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 73927 0 0 0 1145 121 0 0 20 0 1 0 43008020 487321600 111762 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 118975 111762 1889 992 0 110833 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 475900 KiB
Current children cumulated memory: 447048 KiB
[startup+25.5002 s]
/proc/loadavg: 1.41 0.40 0.19 5/260 310412
/proc/meminfo: memFree=109038676/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=475900 memory=448100 CPUtime=25.43 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 74225 0 0 0 2420 123 0 0 20 0 1 0 43008020 487321600 112025 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 118975 112025 1889 992 0 110833 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 475900 KiB
Current children cumulated memory: 448100 KiB
[startup+51.1058 s]
/proc/loadavg: 2.49 0.76 0.32 5/260 310415
/proc/meminfo: memFree=108142956/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=578216 memory=547124 CPUtime=50.96 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 83768 0 0 0 4929 167 0 0 20 0 1 0 43008020 592093184 136781 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 144554 136781 1889 992 0 136412 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 578216 KiB
Current children cumulated memory: 547124 KiB
[startup+102.3 s]
/proc/loadavg: 3.40 1.28 0.52 5/260 310425
/proc/meminfo: memFree=107029676/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=782744 memory=714284 CPUtime=102.02 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 103899 0 0 0 9946 256 0 0 20 0 1 0 43008020 801529856 178571 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 195686 178571 1889 992 0 187544 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 782744 KiB
Current children cumulated memory: 714284 KiB
[startup+162.3 s]
/proc/loadavg: 3.82 1.79 0.75 5/260 310436
/proc/meminfo: memFree=106404760/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1045448 memory=853100 CPUtime=161.86 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 111451 0 0 0 15813 373 0 0 20 0 1 0 43008020 1070538752 213275 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 261362 213275 1905 992 0 253220 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1045448 KiB
Current children cumulated memory: 853100 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 2.24 0.97 5/260 310447
/proc/meminfo: memFree=103090664/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1310620 memory=1225752 CPUtime=221.69 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 157710 0 0 0 21699 470 0 0 20 0 1 0 43008020 1342074880 306438 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 327655 306438 1905 992 0 319513 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 1310620 KiB
Current children cumulated memory: 1225752 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 2.59 1.17 5/261 310840
/proc/meminfo: memFree=102721784/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1322188 memory=1243540 CPUtime=281.49 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 159317 0 0 0 27629 520 0 0 20 0 1 0 43008020 1353920512 310885 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 330547 310885 1905 992 0 322405 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1322188 KiB
Current children cumulated memory: 1243540 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 2.88 1.36 5/258 310850
/proc/meminfo: memFree=102429992/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1322188 memory=1243708 CPUtime=341.3 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 159492 0 0 0 33529 601 0 0 20 0 1 0 43008020 1353920512 310927 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 330547 310927 1905 992 0 322405 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 1322188 KiB
Current children cumulated memory: 1243708 KiB
[startup+402.3 s]
/proc/loadavg: 4.12 3.10 1.54 5/258 310862
/proc/meminfo: memFree=102275544/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1322188 memory=1243708 CPUtime=401.12 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 159699 0 0 0 39440 672 0 0 20 0 1 0 43008020 1353920512 310927 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 330547 310927 1905 992 0 322405 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 1322188 KiB
Current children cumulated memory: 1243708 KiB
[startup+462.3 s]
/proc/loadavg: 4.22 3.32 1.71 5/258 310873
/proc/meminfo: memFree=102111544/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=1322188 memory=1243708 CPUtime=460.93 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 159912 0 0 0 45366 727 0 0 20 0 1 0 43008020 1353920512 310927 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 330547 310927 1905 992 0 322405 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.11 4.14 4.04 5/271 312200
/proc/meminfo: memFree=25958608/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3330124 memory=2711484 CPUtime=3154.25 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 337097 0 0 0 311231 4194 0 0 20 0 1 0 43008020 3410046976 677871 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 832531 677871 1905 992 0 824389 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 3330124 KiB
Current children cumulated memory: 2711484 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.05 5/269 312212
/proc/meminfo: memFree=23582772/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3354704 memory=2721208 CPUtime=3214.1 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 342515 0 0 0 317092 4318 0 0 20 0 1 0 43008020 3435216896 680302 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 838676 680302 1905 992 0 830534 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 3354704 KiB
Current children cumulated memory: 2721208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/263 312222
/proc/meminfo: memFree=21811828/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2726024 CPUtime=3273.94 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 348017 0 0 0 322978 4416 0 0 20 0 1 0 43008020 3443605504 681506 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 681506 1905 992 0 832582 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2726024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/262 312234
/proc/meminfo: memFree=19496260/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2726024 CPUtime=3333.79 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 351631 0 0 0 328866 4513 0 0 20 0 1 0 43008020 3443605504 681506 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 681506 1905 992 0 832582 0
Current children cumulated CPU time: 3333.79 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2726024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.15 4.06 5/262 312247
/proc/meminfo: memFree=17177476/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2731588 CPUtime=3393.62 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 356407 0 0 0 334731 4631 0 0 20 0 1 0 43008020 3443605504 682897 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 682897 1905 992 0 832582 0
Current children cumulated CPU time: 3393.62 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2731588 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.06 5/263 312259
/proc/meminfo: memFree=14500260/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2731588 CPUtime=3453.47 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 360728 0 0 0 340624 4723 0 0 20 0 1 0 43008020 3443605504 682897 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 682897 1905 992 0 832582 0
Current children cumulated CPU time: 3453.47 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2731588 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.16 4.08 5/263 312270
/proc/meminfo: memFree=12187044/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2731588 CPUtime=3513.32 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 364029 0 0 0 346519 4813 0 0 20 0 1 0 43008020 3443605504 682897 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 682897 1905 992 0 832582 0
Current children cumulated CPU time: 3513.32 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2731588 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.16 4.08 5/264 312285
/proc/meminfo: memFree=10055992/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2736280 CPUtime=3573.17 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 369877 0 0 0 352396 4921 0 0 20 0 1 0 43008020 3443605504 684070 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684070 1905 992 0 832582 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2736280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.23 4.16 4.08 5/264 312290
/proc/meminfo: memFree=9199828/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600 cores=1,3
/proc/310392/stat : 310392 (roundingsat) R 310389 310392 310236 0 -1 4194304 372867 0 0 0 355029 4971 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2737596 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.23 4.16 4.08 3/263 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600.03 cores=1,3
/proc/310392/stat : 310392 (roundingsat) D 310389 310392 310236 0 -1 4194304 372874 0 0 0 355030 4973 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 256 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
??? kill 310392 sig 9
??? end of watcher thread
[startup+3652.49 s]
# the end of solver process 310392 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3550.31 s, system=49.7778 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.23 4.16 4.08 5/264 312290
/proc/meminfo: memFree=9199828/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600.03 cores=1,3
/proc/310392/stat : 310392 (roundingsat) D 310389 310392 310236 0 -1 4194304 372874 0 0 0 355030 4973 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2737596 KiB
[startup+3610.4 s]
/proc/loadavg: 4.23 4.16 4.08 3/264 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600.03 cores=1,3
/proc/310392/stat : 310392 (roundingsat) D 310389 310392 310236 0 -1 4194304 372874 0 0 0 355030 4973 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2737596 KiB
[startup+3610.8 s]
/proc/loadavg: 4.23 4.16 4.08 3/264 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600.03 cores=1,3
/proc/310392/stat : 310392 (roundingsat) D 310389 310392 310236 0 -1 4194304 372874 0 0 0 355030 4973 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2737596 KiB
[startup+3611.2 s]
/proc/loadavg: 4.23 4.16 4.08 3/264 312290
/proc/meminfo: memFree=9191764/131524600 swapFree=131054736/131071996
[pid=310392] ppid=310389 vsize=3362896 memory=2737596 CPUtime=3600.03 cores=1,3
/proc/310392/stat : 310392 (roundingsat) D 310389 310392 310236 0 -1 4194304 372874 0 0 0 355030 4973 0 0 20 0 1 0 43008020 3443605504 684399 134679101440 4194304 8254357 140734647444992 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22937600 140734647448411 140734647448673 140734647448673 140734647455689 0
/proc/310392/statm: 840724 684399 1905 992 0 832582 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3362896 KiB
Current children cumulated memory: 2737596 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3652.49
CPU time (s): 3600.09
CPU user time (s): 3550.31
CPU system time (s): 49.7778
CPU usage (%): 98.5652
Max. virtual memory (cumulated for all children) (KiB): 3362896
Max. memory (cumulated for all children) (KiB): 2737596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.31
system time used= 49.7778
maximum resident set size= 2737932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112592168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4919
involuntary context switches= 4476
# summary of solver processes directly reported to runsolver:
# pid: 310392
# total CPU time (s): 3600.09
# total CPU user time (s): 3550.31
# total CPU system time (s): 49.7778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2184 second user time and 17.2472 second system time
The end
Begin job on nodeC034 at 2024-07-27 09:20:38 IDJOB=4460188 IDBENCH=147563 IDSOLVER=3086 FILE ID=nodeC034/4460188-1722064838 RUNJOBID= nodeC034-1722064836-310248 SLURM_JOB_ID= 8248102 Free space on /tmp= 890040 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.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-4460188-1722064838/watcher-4460188-1722064838 -o /tmp/evaluation-result-4460188-1722064838/solver-4460188-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310248 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460188-1722064838 --lp-cut-gomory=0 HOME/instance-4460188-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb RANDOM SEED=1859590444 nodeC034.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 : 3679.902 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3661.011 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 : 7006.84 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 : 3636.699 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3681.569 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 : 7006.84 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 : 3640.777 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3682.378 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 : 7006.84 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 : 3667.245 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.92 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 : 3621.343 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 : 7006.84 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 110445576 kB MemAvailable: 129592712 kB Buffers: 365240 kB Cached: 19549156 kB SwapCached: 112 kB Active: 1869236 kB Inactive: 18490068 kB Active(anon): 1920 kB Inactive(anon): 493804 kB Active(file): 1867316 kB Inactive(file): 17996264 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054736 kB Dirty: 94448 kB Writeback: 0 kB AnonPages: 444092 kB Mapped: 101956 kB Shmem: 50772 kB KReclaimable: 246408 kB Slab: 365092 kB SReclaimable: 246408 kB SUnreclaim: 118684 kB KernelStack: 4016 kB PageTables: 10388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 878928 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 16416 kB HardwareCorrupted: 0 kB AnonHugePages: 235520 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: 357076 kB DirectMap2M: 48699392 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890040 MiB End job on nodeC034 at 2024-07-27 10:21:31