| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (2) | No Cert. | 3600.2 | 3646.29 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
| MD5SUM | 9792288b3bfa4387008e61c6fa17d472 |
| 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 | 245 |
| 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 | 495293 |
| 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 | 495293 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.68/2.77 c #variables 10000 #constraints 656900 4.87/4.91 c bounds - >= 0 @ 2.09006 4.87/4.91 c rational objective 185.072 18.84/18.93 c bounds 5925 >= 0 @ 5.16046 18.84/18.93 c bounds 5563 >= 0 @ 5.16465 18.84/18.93 c bounds 5557 >= 0 @ 5.1691 18.84/18.93 c bounds 5472 >= 0 @ 5.1783 18.84/18.93 c bounds 5087 >= 0 @ 5.18267 18.84/18.93 c bounds 5063 >= 0 @ 5.18708 18.84/18.93 c bounds 5049 >= 0 @ 5.19759 18.84/18.93 c bounds 5021 >= 0 @ 5.20772 18.84/18.93 c bounds 4992 >= 0 @ 5.21448 18.84/18.93 c bounds 4980 >= 0 @ 5.56225 18.84/18.93 c bounds 4969 >= 0 @ 5.56759 18.84/18.93 c bounds 4960 >= 0 @ 5.57159 18.84/18.93 c bounds 4787 >= 0 @ 5.57626 18.84/18.93 c bounds 4772 >= 0 @ 5.58104 18.84/18.93 c bounds 4518 >= 0 @ 5.58799 18.84/18.93 c bounds 4481 >= 0 @ 5.59312 18.84/18.93 c bounds 4401 >= 0 @ 5.59815 18.84/18.93 c bounds 4325 >= 0 @ 5.60257 18.84/18.93 c bounds 4321 >= 0 @ 5.6058 18.84/18.93 c bounds 4183 >= 0 @ 5.61156 18.84/18.93 c bounds 4175 >= 0 @ 5.6219 18.84/18.93 c bounds 4109 >= 0 @ 5.62583 18.84/18.93 c bounds 4098 >= 0 @ 5.62907 18.84/18.93 c bounds 4061 >= 0 @ 5.63528 18.84/18.93 c bounds 3983 >= 0 @ 5.64069 18.84/18.93 c bounds 3829 >= 0 @ 5.64412 18.84/18.93 c bounds 3826 >= 0 @ 5.7227 18.84/18.93 c bounds 3813 >= 0 @ 5.73023 18.84/18.93 c bounds 3781 >= 0 @ 5.74063 18.84/18.93 c bounds 3747 >= 0 @ 5.74535 18.84/18.93 c bounds 3745 >= 0 @ 5.75219 18.84/18.93 c bounds 3740 >= 0 @ 5.75798 18.84/18.93 c bounds 3737 >= 0 @ 5.95046 18.84/18.93 c bounds 3727 >= 0 @ 6.03447 18.84/18.93 c bounds 3689 >= 0 @ 6.13738 18.84/18.93 c bounds 3640 >= 0 @ 6.14609 18.84/18.93 c bounds 3635 >= 0 @ 6.15233 18.84/18.93 c bounds 3632 >= 0 @ 6.35264 18.84/18.93 c bounds 3581 >= 0 @ 6.36011 18.84/18.93 c bounds 3551 >= 0 @ 6.41956 18.84/18.93 c bounds 3484 >= 0 @ 6.42871 18.84/18.93 c bounds 3444 >= 0 @ 6.54054 18.84/18.93 c bounds 3439 >= 0 @ 6.54931 18.84/18.93 c bounds 3434 >= 0 @ 6.55648 18.84/18.93 c bounds 3414 >= 0 @ 6.69655 18.84/18.93 c bounds 3401 >= 0 @ 6.7019 18.84/18.93 c bounds 3367 >= 0 @ 6.83398 18.84/18.93 c bounds 3199 >= 0 @ 6.84149 18.84/18.93 c bounds 3191 >= 0 @ 6.8462 18.84/18.93 c bounds 3114 >= 0 @ 6.85205 18.84/18.93 c bounds 3093 >= 0 @ 7.13489 18.84/18.93 c bounds 3092 >= 0 @ 7.1658 18.84/18.93 c bounds 3079 >= 0 @ 7.18474 18.84/18.93 c bounds 3073 >= 0 @ 7.21511 18.84/18.93 c bounds 3067 >= 0 @ 7.22238 18.84/18.93 c bounds 3051 >= 0 @ 7.33358 18.84/18.93 c bounds 3029 >= 0 @ 7.3484 18.84/18.93 c bounds 3027 >= 0 @ 7.35896 18.84/18.93 c bounds 3010 >= 0 @ 7.47821 18.84/18.93 c bounds 2930 >= 0 @ 7.48454 18.84/18.93 c bounds 2894 >= 0 @ 7.57333 18.84/18.93 c bounds 2786 >= 0 @ 7.58127 18.84/18.93 c bounds 2785 >= 0 @ 7.6915 18.84/18.93 c bounds 2764 >= 0 @ 7.69866 18.84/18.93 c bounds 2761 >= 0 @ 7.70652 18.84/18.93 c bounds 2737 >= 0 @ 7.71226 18.84/18.93 c bounds 2715 >= 0 @ 7.75939 18.84/18.93 c bounds 2714 >= 0 @ 7.76446 18.84/18.93 c bounds 2708 >= 0 @ 7.77528 18.84/18.93 c bounds 2682 >= 0 @ 7.78631 18.84/18.93 c bounds 2631 >= 0 @ 7.7918 18.84/18.93 c bounds 2607 >= 0 @ 7.80334 18.84/18.93 c bounds 2586 >= 0 @ 7.8124 18.84/18.93 c bounds 2566 >= 0 @ 7.91044 18.84/18.93 c bounds 2508 >= 0 @ 7.91662 18.84/18.93 c bounds 2472 >= 0 @ 7.92675 18.84/18.93 c bounds 2449 >= 0 @ 7.94097 18.84/18.93 c bounds 2397 >= 0 @ 7.95122 18.84/18.93 c bounds 2367 >= 0 @ 7.95863 18.84/18.93 c bounds 2361 >= 0 @ 8.3413 18.84/18.93 c bounds 2338 >= 0 @ 8.35468 18.84/18.93 c bounds 2324 >= 0 @ 8.37185 18.84/18.93 c bounds 2314 >= 0 @ 8.38363 18.84/18.93 c bounds 2301 >= 0 @ 8.48372 18.84/18.93 c bounds 2286 >= 0 @ 8.49606 18.84/18.93 c bounds 2256 >= 0 @ 8.63372 18.84/18.93 c bounds 2168 >= 0 @ 8.64403 18.84/18.93 c bounds 2152 >= 0 @ 9.16112 18.84/18.93 c #Conflicts: 1000 | #Constraints: 658007 18.84/18.93 c bounds 2121 >= 0 @ 11.5775 18.84/18.93 c bounds 2119 >= 0 @ 11.5898 18.84/18.93 c bounds 2118 >= 0 @ 11.8406 18.84/18.93 c bounds 2117 >= 0 @ 11.8557 18.84/18.93 c bounds 2115 >= 0 @ 12.0398 18.84/18.93 c bounds 2111 >= 0 @ 12.446 18.84/18.93 c bounds 2108 >= 0 @ 12.4839 18.84/18.93 c bounds 2107 >= 0 @ 12.6399 18.84/18.93 c bounds 2084 >= 0 @ 12.6618 18.84/18.93 c bounds 2075 >= 0 @ 12.6839 18.84/18.93 c bounds 2064 >= 0 @ 12.8758 18.84/18.93 c bounds 2053 >= 0 @ 13.0626 18.84/18.93 c bounds 2047 >= 0 @ 13.2807 18.84/18.93 c bounds 2016 >= 0 @ 13.2938 18.84/18.93 c bounds 1987 >= 0 @ 13.4617 18.84/18.93 c bounds 1877 >= 0 @ 13.4796 18.84/18.93 c bounds 1868 >= 0 @ 13.4941 18.84/18.93 c bounds 1864 >= 0 @ 13.5132 18.84/18.93 c bounds 1851 >= 0 @ 13.5347 18.84/18.93 c bounds 1832 >= 0 @ 13.5517 18.84/18.93 c bounds 1830 >= 0 @ 15.1025 18.84/18.93 c bounds 1810 >= 0 @ 15.1221 18.84/18.93 c bounds 1802 >= 0 @ 15.138 18.84/18.93 c bounds 1789 >= 0 @ 15.1558 18.84/18.93 c bounds 1711 >= 0 @ 15.1723 18.84/18.93 c bounds 1709 >= 0 @ 15.3065 18.84/18.93 c bounds 1679 >= 0 @ 15.3208 18.84/18.93 c bounds 1642 >= 0 @ 15.3375 18.84/18.93 c bounds 1582 >= 0 @ 15.3543 18.84/18.93 c bounds 1460 >= 0 @ 15.3731 18.84/18.93 c bounds 1278 >= 0 @ 15.3901 18.84/18.93 c bounds 1275 >= 0 @ 15.4076 18.84/18.93 c bounds 1161 >= 0 @ 15.4483 18.84/18.93 c bounds 1078 >= 0 @ 15.4646 18.84/18.93 c bounds 1030 >= 0 @ 15.4816 18.84/18.93 c bounds 962 >= 0 @ 15.5985 18.84/18.93 c bounds 957 >= 0 @ 15.6194 18.84/18.93 c #Conflicts: 2000 | #Constraints: 659067 18.84/18.93 c INPROCESSING 18.84/18.93 c GARBAGE COLLECT 18.84/18.93 c bounds 956 >= 0 @ 16.6063 18.84/18.93 c bounds 838 >= 0 @ 16.6271 18.84/18.93 c bounds 831 >= 0 @ 16.6359 18.84/18.93 c bounds 788 >= 0 @ 16.646 18.84/18.93 c bounds 782 >= 0 @ 16.6521 18.84/18.93 c bounds 774 >= 0 @ 16.6586 18.84/18.93 c bounds 703 >= 0 @ 17.0288 18.84/18.93 c bounds 697 >= 0 @ 17.0365 18.84/18.93 c bounds 689 >= 0 @ 17.0495 18.84/18.93 c bounds 679 >= 0 @ 17.0645 18.84/18.93 c bounds 672 >= 0 @ 17.0724 18.84/18.93 c bounds 669 >= 0 @ 17.0845 18.84/18.93 c bounds 663 >= 0 @ 17.2387 60.61/60.84 c bounds 659 >= 0 @ 17.2878 60.61/60.84 c bounds 658 >= 0 @ 17.3004 60.61/60.84 c bounds 650 >= 0 @ 17.3128 60.61/60.84 c bounds 649 >= 0 @ 18.4821 60.61/60.84 c bounds 646 >= 0 @ 18.7218 60.61/60.84 c bounds 553 >= 0 @ 18.7372 60.61/60.84 c bounds 537 >= 0 @ 18.9799 60.61/60.84 c bounds 506 >= 0 @ 19.5948 60.61/60.84 c bounds 506 >= 8 @ 19.6107 60.61/60.84 c #Conflicts: 3000 | #Constraints: 658958 60.61/60.84 c bounds 451 >= 8 @ 19.7503 60.61/60.84 c #Conflicts: 4000 | #Constraints: 659959 60.61/60.84 c INPROCESSING 60.61/60.84 c GARBAGE COLLECT 60.61/60.84 c bounds 447 >= 8 @ 23.9006 60.61/60.84 c bounds 443 >= 8 @ 23.9077 60.61/60.84 c bounds 437 >= 8 @ 23.9228 60.61/60.84 c bounds 436 >= 8 @ 24.0101 60.61/60.84 c bounds 433 >= 8 @ 24.0224 60.61/60.84 c bounds 432 >= 8 @ 24.0333 60.61/60.84 c bounds 427 >= 8 @ 25.5538 60.61/60.84 c #Conflicts: 5000 | #Constraints: 659359 60.61/60.84 c bounds 424 >= 8 @ 33.2837 60.61/60.84 c #Conflicts: 6000 | #Constraints: 660365 60.61/60.84 c INPROCESSING 60.61/60.84 c GARBAGE COLLECT 60.61/60.84 c #Conflicts: 7000 | #Constraints: 659350 60.61/60.84 c #Conflicts: 8000 | #Constraints: 660350 60.61/60.84 c #Conflicts: 9000 | #Constraints: 661350 60.61/60.84 c INPROCESSING 60.61/60.84 c GARBAGE COLLECT 60.61/60.84 c rational objective 185.072 72.18/72.49 c #Conflicts: 10000 | #Constraints: 660042 72.18/72.49 c #Conflicts: 11000 | #Constraints: 661042 72.18/72.49 c #Conflicts: 12000 | #Constraints: 662042 72.18/72.49 c INPROCESSING 72.18/72.49 c GARBAGE COLLECT 72.18/72.49 c rational objective 185.778 86.24/86.55 c #Conflicts: 13000 | #Constraints: 660490 86.24/86.55 c #Conflicts: 14000 | #Constraints: 661490 86.24/86.55 c #Conflicts: 15000 | #Constraints: 662490 86.24/86.55 c INPROCESSING 86.24/86.55 c GARBAGE COLLECT 86.24/86.55 c rational objective 185.821 107.08/107.40 c bounds 421 >= 8 @ 85.917 107.08/107.40 c bounds 421 >= 13 @ 85.9324 107.08/107.40 c #Conflicts: 16000 | #Constraints: 660730 107.08/107.40 c #Conflicts: 17000 | #Constraints: 661730 107.08/107.40 c bounds 421 >= 18 @ 95.2559 107.08/107.40 c #Conflicts: 18000 | #Constraints: 662736 107.08/107.40 c INPROCESSING 107.08/107.40 c GARBAGE COLLECT 107.08/107.40 c rational objective 185.936 225.07/225.77 c #Conflicts: 19000 | #Constraints: 660747 225.07/225.77 c #Conflicts: 20000 | #Constraints: 661747 225.07/225.77 c #Conflicts: 21000 | #Constraints: 662747 225.07/225.77 c INPROCESSING 225.07/225.77 c GARBAGE COLLECT 225.07/225.77 c #Conflicts: 22000 | #Constraints: 660565 225.07/225.77 c bounds 420 >= 18 @ 134.311 225.07/225.77 c bounds 420 >= 22 @ 134.337 225.07/225.77 c #Conflicts: 23000 | #Constraints: 661569 225.07/225.77 c #Conflicts: 24000 | #Constraints: 662571 225.07/225.77 c #Conflicts: 25000 | #Constraints: 663573 225.07/225.77 c INPROCESSING 225.07/225.77 c GARBAGE COLLECT 225.07/225.77 c #Conflicts: 26000 | #Constraints: 661159 225.07/225.77 c #Conflicts: 27000 | #Constraints: 662159 225.07/225.77 c #Conflicts: 28000 | #Constraints: 663160 225.07/225.77 c #Conflicts: 29000 | #Constraints: 664162 225.07/225.77 c INPROCESSING 225.07/225.77 c #Conflicts: 30000 | #Constraints: 661567 225.07/225.77 c #Conflicts: 31000 | #Constraints: 662579 225.07/225.77 c bounds 419 >= 22 @ 205.323 225.07/225.77 c #Conflicts: 32000 | #Constraints: 663586 225.07/225.77 c #Conflicts: 33000 | #Constraints: 664586 225.07/225.77 c INPROCESSING 225.07/225.77 c GARBAGE COLLECT 225.07/225.77 c rational objective 186.323 255.78/256.50 c #Conflicts: 34000 | #Constraints: 661768 255.78/256.50 c #Conflicts: 35000 | #Constraints: 662768 255.78/256.50 c #Conflicts: 36000 | #Constraints: 663768 255.78/256.50 c #Conflicts: 37000 | #Constraints: 664769 255.78/256.50 c INPROCESSING 255.78/256.50 c rational objective 186.328 287.09/287.94 c #Conflicts: 38000 | #Constraints: 661761 287.09/287.94 c #Conflicts: 39000 | #Constraints: 662761 287.09/287.94 c #Conflicts: 40000 | #Constraints: 663761 287.09/287.94 c #Conflicts: 41000 | #Constraints: 664761 287.09/287.94 c INPROCESSING 287.09/287.94 c GARBAGE COLLECT 287.09/287.94 c rational objective 186.328 338.55/339.55 c #Conflicts: 42000 | #Constraints: 661557 338.55/339.55 c #Conflicts: 43000 | #Constraints: 662557 338.55/339.55 c #Conflicts: 44000 | #Constraints: 663557 338.55/339.55 c #Conflicts: 45000 | #Constraints: 664557 338.55/339.55 c #Conflicts: 46000 | #Constraints: 665557 338.55/339.55 c INPROCESSING 338.55/339.55 c GARBAGE COLLECT 338.55/339.55 c #Conflicts: 47000 | #Constraints: 662154 338.55/339.55 c #Conflicts: 48000 | #Constraints: 663154 338.55/339.55 c #Conflicts: 49000 | #Constraints: 664154 338.55/339.55 c #Conflicts: 50000 | #Constraints: 665154 338.55/339.55 c #Conflicts: 51000 | #Constraints: 666154 338.55/339.55 c INPROCESSING 338.55/339.55 c GARBAGE COLLECT 338.55/339.55 c rational objective 186.328 376.64/377.71 c #Conflicts: 52000 | #Constraints: 662552 376.64/377.71 c #Conflicts: 53000 | #Constraints: 663552 376.64/377.71 c #Conflicts: 54000 | #Constraints: 664552 376.64/377.71 c #Conflicts: 55000 | #Constraints: 665552 376.64/377.71 c #Conflicts: 56000 | #Constraints: 666552 376.64/377.71 c INPROCESSING 376.64/377.71 c GARBAGE COLLECT 376.64/377.71 c rational objective 186.328 438.38/439.66 c #Conflicts: 57000 | #Constraints: 662763 438.38/439.66 c #Conflicts: 58000 | #Constraints: 663763 438.38/439.66 c #Conflicts: 59000 | #Constraints: 664763 438.38/439.66 c #Conflicts: 60000 | #Constraints: 665763 438.38/439.66 c #Conflicts: 61000 | #Constraints: 666763 438.38/439.66 c INPROCESSING 438.38/439.66 c GARBAGE COLLECT 438.38/439.66 c #Conflicts: 62000 | #Constraints: 662770 438.38/439.66 c #Conflicts: 63000 | #Constraints: 663770 438.38/439.66 c #Conflicts: 64000 | #Constraints: 664770 438.38/439.66 c #Conflicts: 65000 | #Constraints: 665770 438.38/439.66 c #Conflicts: 66000 | #Constraints: 666770 438.38/439.66 c INPROCESSING 438.38/439.66 c GARBAGE COLLECT 438.38/439.66 c rational objective 186.328 566.14/567.75 c #Conflicts: 67000 | #Constraints: 662566 566.14/567.75 c #Conflicts: 68000 | #Constraints: 663572 566.14/567.75 c #Conflicts: 69000 | #Constraints: 664585 566.14/567.75 c bounds 416 >= 22 @ 480.228 566.14/567.75 c bounds 416 >= 24 @ 480.272 566.14/567.75 c bounds 416 >= 26 @ 480.321 566.14/567.75 c bounds 416 >= 28 @ 480.377 566.14/567.75 c bounds 416 >= 30 @ 480.431 566.14/567.75 c bounds 416 >= 32 @ 480.489 566.14/567.75 c bounds 416 >= 34 @ 480.542 566.14/567.75 c bounds 416 >= 36 @ 480.619 566.14/567.75 c bounds 416 >= 38 @ 481.571 566.14/567.75 c #Conflicts: 70000 | #Constraints: 665638 566.14/567.75 c bounds 416 >= 40 @ 497.967 566.14/567.75 c #Conflicts: 71000 | #Constraints: 666656 566.14/567.75 c #Conflicts: 72000 | #Constraints: 667656 566.14/567.75 c INPROCESSING 566.14/567.75 c GARBAGE COLLECT 566.14/567.75 c rational objective 186.328 713.44/715.41 c #Conflicts: 73000 | #Constraints: 663245 713.44/715.41 c #Conflicts: 74000 | #Constraints: 664245 713.44/715.41 c #Conflicts: 75000 | #Constraints: 665245 713.44/715.41 c #Conflicts: 76000 | #Constraints: 666245 713.44/715.41 c #Conflicts: 77000 | #Constraints: 667245 713.44/715.41 c #Conflicts: 78000 | #Constraints: 668245 713.44/715.41 c INPROCESSING 713.44/715.41 c GARBAGE COLLECT 713.44/715.41 c rational objective 186.328 823.83/826.12 c #Conflicts: 79000 | #Constraints: 663662 823.83/826.12 c #Conflicts: 80000 | #Constraints: 664685 823.83/826.12 c #Conflicts: 81000 | #Constraints: 665699 823.83/826.12 c bounds 415 >= 40 @ 758.497 823.83/826.12 c bounds 414 >= 40 @ 763.965 823.83/826.12 c #Conflicts: 82000 | #Constraints: 666720 823.83/826.12 c bounds 409 >= 40 @ 764.931 823.83/826.12 c bounds 408 >= 40 @ 780.58 823.83/826.12 c #Conflicts: 83000 | #Constraints: 667743 823.83/826.12 c bounds 404 >= 40 @ 781.365 823.83/826.12 c bounds 402 >= 40 @ 783.502 823.83/826.12 c bounds 401 >= 40 @ 786.401 823.83/826.12 c bounds 396 >= 40 @ 787.225 823.83/826.12 c bounds 395 >= 40 @ 790.509 823.83/826.12 c #Conflicts: 84000 | #Constraints: 668761 823.83/826.12 c INPROCESSING 823.83/826.12 c GARBAGE COLLECT 823.83/826.12 c rational objective 186.328 953.76/956.41 c bounds 393 >= 40 @ 826.429 953.76/956.41 c bounds 393 >= 41 @ 826.461 953.76/956.41 c bounds 393 >= 42 @ 826.492 953.76/956.41 c bounds 393 >= 43 @ 826.532 953.76/956.41 c bounds 393 >= 44 @ 826.569 953.76/956.41 c bounds 393 >= 45 @ 826.603 953.76/956.41 c bounds 393 >= 46 @ 826.642 953.76/956.41 c bounds 393 >= 47 @ 826.684 953.76/956.41 c bounds 393 >= 48 @ 826.719 953.76/956.41 c bounds 393 >= 49 @ 826.761 953.76/956.41 c bounds 393 >= 50 @ 826.804 953.76/956.41 c bounds 393 >= 51 @ 826.846 953.76/956.41 c bounds 393 >= 52 @ 826.886 953.76/956.41 c bounds 393 >= 53 @ 826.937 953.76/956.41 c bounds 393 >= 54 @ 827.04 953.76/956.41 c bounds 393 >= 55 @ 827.137 953.76/956.41 c bounds 393 >= 56 @ 827.246 953.76/956.41 c bounds 393 >= 57 @ 827.324 953.76/956.41 c bounds 393 >= 58 @ 827.402 953.76/956.41 c bounds 393 >= 59 @ 827.482 953.76/956.41 c bounds 393 >= 60 @ 827.653 953.76/956.41 c bounds 393 >= 61 @ 827.976 953.76/956.41 c bounds 393 >= 62 @ 828.492 953.76/956.41 c bounds 393 >= 63 @ 833.399 953.76/956.41 c bounds 393 >= 64 @ 833.565 953.76/956.41 c bounds 393 >= 65 @ 834.068 953.76/956.41 c #Conflicts: 85000 | #Constraints: 664054 953.76/956.41 c bounds 393 >= 66 @ 834.526 953.76/956.41 c bounds 393 >= 67 @ 835.246 953.76/956.41 c bounds 393 >= 68 @ 836.299 953.76/956.41 c bounds 393 >= 69 @ 837.558 953.76/956.41 c bounds 393 >= 70 @ 838.684 953.76/956.41 c bounds 393 >= 71 @ 839.918 953.76/956.41 c bounds 393 >= 72 @ 841.793 953.76/956.41 c #Conflicts: 86000 | #Constraints: 665198 953.76/956.42 c bounds 393 >= 73 @ 844.36 953.76/956.42 c bounds 393 >= 74 @ 846.941 953.76/956.42 c #Conflicts: 87000 | #Constraints: 666246 953.76/956.42 c bounds 393 >= 75 @ 850.92 953.76/956.42 c bounds 393 >= 76 @ 855.523 953.76/956.42 c #Conflicts: 88000 | #Constraints: 667318 953.76/956.42 c bounds 393 >= 77 @ 876.342 953.76/956.42 c #Conflicts: 89000 | #Constraints: 668336 953.76/956.42 c #Conflicts: 90000 | #Constraints: 669336 953.76/956.42 c INPROCESSING 953.76/956.42 c GARBAGE COLLECT 953.76/956.42 c rational objective 186.328 1034.46/1037.36 c #Conflicts: 91000 | #Constraints: 664264 1034.46/1037.36 c bounds 393 >= 78 @ 952.871 1034.46/1037.36 c #Conflicts: 92000 | #Constraints: 665297 1034.46/1037.36 c #Conflicts: 93000 | #Constraints: 666297 1034.46/1037.36 c bounds 393 >= 79 @ 970.882 1034.46/1037.36 c #Conflicts: 94000 | #Constraints: 667333 1034.46/1037.36 c #Conflicts: 95000 | #Constraints: 668336 1034.46/1037.36 c #Conflicts: 96000 | #Constraints: 669344 1034.46/1037.36 c INPROCESSING 1034.46/1037.36 c GARBAGE COLLECT 1034.46/1037.36 c rational objective 186.328 1096.89/1099.97 c #Conflicts: 97000 | #Constraints: 664134 1096.89/1099.97 c #Conflicts: 98000 | #Constraints: 665134 1096.89/1099.97 c #Conflicts: 99000 | #Constraints: 666134 1096.89/1099.97 c bounds 393 >= 80 @ 1042.98 1096.89/1099.97 c #Conflicts: 100000 | #Constraints: 667165 1096.89/1099.97 c #Conflicts: 101000 | #Constraints: 668165 1096.89/1099.97 c #Conflicts: 102000 | #Constraints: 669165 1096.89/1099.97 c bounds 391 >= 80 @ 1066.01 1096.89/1099.97 c #Conflicts: 103000 | #Constraints: 670166 1096.89/1099.97 c INPROCESSING 1096.89/1099.97 c GARBAGE COLLECT 1096.89/1099.97 c rational objective 186.328 1170.92/1174.17 c #Conflicts: 104000 | #Constraints: 664769 1170.92/1174.17 c bounds 391 >= 81 @ 1095.07 1170.92/1174.17 c #Conflicts: 105000 | #Constraints: 665808 1170.92/1174.17 c bounds 389 >= 81 @ 1095.74 1170.92/1174.17 c bounds 388 >= 81 @ 1095.79 1170.92/1174.17 c #Conflicts: 106000 | #Constraints: 666810 1170.92/1174.17 c bounds 385 >= 81 @ 1107.23 1170.92/1174.17 c #Conflicts: 107000 | #Constraints: 667821 1170.92/1174.17 c bounds 385 >= 82 @ 1116.83 1170.92/1174.17 c #Conflicts: 108000 | #Constraints: 668851 1170.92/1174.17 c bounds 385 >= 83 @ 1131.39 1170.92/1174.17 c bounds 384 >= 83 @ 1135.12 1170.92/1174.17 c #Conflicts: 109000 | #Constraints: 669886 1170.92/1174.17 c bounds 381 >= 83 @ 1136.71 1170.92/1174.17 c #Conflicts: 110000 | #Constraints: 670889 1170.92/1174.17 c INPROCESSING 1170.92/1174.17 c GARBAGE COLLECT 1170.92/1174.17 c rational objective 186.333 1286.01/1289.58 c bounds 380 >= 83 @ 1155.38 1286.01/1289.58 c bounds 378 >= 83 @ 1155.41 1286.01/1289.58 c #Conflicts: 111000 | #Constraints: 665271 1286.01/1289.58 c #Conflicts: 112000 | #Constraints: 666271 1286.01/1289.58 c #Conflicts: 113000 | #Constraints: 667271 1286.01/1289.58 c #Conflicts: 114000 | #Constraints: 668271 1286.01/1289.58 c #Conflicts: 115000 | #Constraints: 669271 1286.01/1289.58 c #Conflicts: 116000 | #Constraints: 670287 1286.01/1289.58 c bounds 377 >= 83 @ 1250.74 1286.01/1289.58 c #Conflicts: 117000 | #Constraints: 671289 1286.01/1289.58 c INPROCESSING 1286.01/1289.58 c GARBAGE COLLECT 1286.01/1289.58 c rational objective 187 1362.33/1366.04 c bounds 377 >= 84 @ 1272.47 1362.33/1366.04 c #Conflicts: 118000 | #Constraints: 665488 1362.33/1366.04 c #Conflicts: 119000 | #Constraints: 666488 1362.33/1366.04 c bounds 377 >= 85 @ 1285.9 1362.33/1366.04 c #Conflicts: 120000 | #Constraints: 667524 1362.33/1366.04 c #Conflicts: 121000 | #Constraints: 668524 1362.33/1366.04 c bounds 377 >= 86 @ 1309.84 1362.33/1366.04 c #Conflicts: 122000 | #Constraints: 669554 1362.33/1366.04 c #Conflicts: 123000 | #Constraints: 670554 1362.33/1366.04 c #Conflicts: 124000 | #Constraints: 671554 1362.33/1366.04 c INPROCESSING 1362.33/1366.04 c GARBAGE COLLECT 1362.33/1366.04 c rational objective 187 1452.38/1456.39 c #Conflicts: 125000 | #Constraints: 665556 1452.38/1456.39 c #Conflicts: 126000 | #Constraints: 666556 1452.38/1456.39 c #Conflicts: 127000 | #Constraints: 667556 1452.38/1456.39 c #Conflicts: 128000 | #Constraints: 668556 1452.38/1456.39 c bounds 377 >= 87 @ 1382.66 1452.38/1456.39 c #Conflicts: 129000 | #Constraints: 669598 1452.38/1456.39 c #Conflicts: 130000 | #Constraints: 670598 1452.38/1456.39 c #Conflicts: 131000 | #Constraints: 671598 1452.38/1456.39 c INPROCESSING 1452.38/1456.39 c GARBAGE COLLECT 1452.38/1456.39 c rational objective 187 1554.84/1559.10 c #Conflicts: 132000 | #Constraints: 665400 1554.84/1559.10 c #Conflicts: 133000 | #Constraints: 666400 1554.84/1559.10 c #Conflicts: 134000 | #Constraints: 667400 1554.84/1559.10 c #Conflicts: 135000 | #Constraints: 668400 1554.84/1559.10 c #Conflicts: 136000 | #Constraints: 669400 1554.84/1559.10 c bounds 377 >= 88 @ 1495 1554.84/1559.10 c #Conflicts: 137000 | #Constraints: 670442 1554.84/1559.10 c #Conflicts: 138000 | #Constraints: 671442 1554.84/1559.10 c #Conflicts: 139000 | #Constraints: 672442 1554.84/1559.10 c INPROCESSING 1554.84/1559.10 c GARBAGE COLLECT 1554.84/1559.10 c rational objective 187 1810.15/1815.02 c #Conflicts: 140000 | #Constraints: 666051 1810.15/1815.02 c #Conflicts: 141000 | #Constraints: 667051 1810.15/1815.02 c #Conflicts: 142000 | #Constraints: 668051 1810.15/1815.02 c #Conflicts: 143000 | #Constraints: 669051 1810.15/1815.02 c #Conflicts: 144000 | #Constraints: 670051 1810.15/1815.02 c #Conflicts: 145000 | #Constraints: 671051 1810.15/1815.02 c #Conflicts: 146000 | #Constraints: 672051 1810.15/1815.02 c bounds 377 >= 89 @ 1628.11 1810.15/1815.02 c #Conflicts: 147000 | #Constraints: 673084 1810.15/1815.02 c INPROCESSING 1810.15/1815.02 c GARBAGE COLLECT 1810.15/1815.02 c rational objective 187 1968.94/1974.22 c bounds 372 >= 89 @ 1789.11 1968.94/1974.22 c #Conflicts: 148000 | #Constraints: 666458 1968.94/1974.22 c bounds 371 >= 89 @ 1799.65 1968.94/1974.22 c bounds 370 >= 89 @ 1804.11 1968.94/1974.22 c bounds 369 >= 89 @ 1804.53 1968.94/1974.22 c #Conflicts: 149000 | #Constraints: 667481 1968.94/1974.22 c bounds 367 >= 89 @ 1806.23 1968.94/1974.22 c bounds 366 >= 89 @ 1806.6 1968.94/1974.22 c #Conflicts: 150000 | #Constraints: 668507 1968.94/1974.22 c #Conflicts: 151000 | #Constraints: 669524 1968.94/1974.22 c #Conflicts: 152000 | #Constraints: 670541 1968.94/1974.22 c #Conflicts: 153000 | #Constraints: 671554 1968.94/1974.22 c #Conflicts: 154000 | #Constraints: 672574 1968.94/1974.22 c bounds 365 >= 89 @ 1919.37 1968.94/1974.22 c #Conflicts: 155000 | #Constraints: 673577 1968.94/1974.22 c INPROCESSING 1968.94/1974.22 c GARBAGE COLLECT 1968.94/1974.22 c rational objective 187 2087.04/2092.65 c #Conflicts: 156000 | #Constraints: 666728 2087.04/2092.65 c #Conflicts: 157000 | #Constraints: 667728 2087.04/2092.65 c #Conflicts: 158000 | #Constraints: 668728 2087.04/2092.65 c #Conflicts: 159000 | #Constraints: 669728 2087.04/2092.65 c #Conflicts: 160000 | #Constraints: 670728 2087.04/2092.65 c #Conflicts: 161000 | #Constraints: 671728 2087.04/2092.65 c #Conflicts: 162000 | #Constraints: 672728 2087.04/2092.65 c #Conflicts: 163000 | #Constraints: 673728 2087.04/2092.65 c INPROCESSING 2087.04/2092.65 c GARBAGE COLLECT 2087.04/2092.65 c rational objective 187 2206.04/2212.00 c #Conflicts: 164000 | #Constraints: 666711 2206.04/2212.00 c #Conflicts: 165000 | #Constraints: 667711 2206.04/2212.00 c #Conflicts: 166000 | #Constraints: 668711 2206.04/2212.00 c #Conflicts: 167000 | #Constraints: 669711 2206.04/2212.00 c #Conflicts: 168000 | #Constraints: 670711 2206.04/2212.00 c bounds 365 >= 90 @ 2133.02 2206.04/2212.00 c bounds 363 >= 90 @ 2133.16 2206.04/2212.00 c #Conflicts: 169000 | #Constraints: 671754 2206.04/2212.00 c #Conflicts: 170000 | #Constraints: 672763 2206.04/2212.00 c bounds 359 >= 90 @ 2149.3 2206.04/2212.00 c bounds 357 >= 90 @ 2149.52 2206.04/2212.00 c bounds 356 >= 90 @ 2151.94 2206.04/2212.00 c #Conflicts: 171000 | #Constraints: 673787 2206.04/2212.00 c bounds 355 >= 90 @ 2164.12 2206.04/2212.00 c bounds 354 >= 90 @ 2167.14 2206.04/2212.00 c INPROCESSING 2206.04/2212.00 c GARBAGE COLLECT 2206.04/2212.00 c rational objective 187 2360.14/2366.46 c bounds 353 >= 90 @ 2177.42 2360.14/2366.46 c #Conflicts: 172000 | #Constraints: 666549 2360.14/2366.46 c #Conflicts: 173000 | #Constraints: 667549 2360.14/2366.46 c #Conflicts: 174000 | #Constraints: 668549 2360.14/2366.46 c #Conflicts: 175000 | #Constraints: 669549 2360.14/2366.46 c bounds 352 >= 90 @ 2225.12 2360.14/2366.46 c #Conflicts: 176000 | #Constraints: 670550 2360.14/2366.46 c #Conflicts: 177000 | #Constraints: 671550 2360.14/2366.46 c #Conflicts: 178000 | #Constraints: 672550 2360.14/2366.46 c #Conflicts: 179000 | #Constraints: 673550 2360.14/2366.46 c #Conflicts: 180000 | #Constraints: 674550 2360.14/2366.46 c INPROCESSING 2360.14/2366.46 c GARBAGE COLLECT 2360.14/2366.46 c rational objective 187 2518.81/2525.52 c #Conflicts: 181000 | #Constraints: 667160 2518.81/2525.52 c #Conflicts: 182000 | #Constraints: 668160 2518.81/2525.52 c #Conflicts: 183000 | #Constraints: 669160 2518.81/2525.52 c #Conflicts: 184000 | #Constraints: 670160 2518.81/2525.52 c #Conflicts: 185000 | #Constraints: 671160 2518.81/2525.52 c #Conflicts: 186000 | #Constraints: 672160 2518.81/2525.52 c #Conflicts: 187000 | #Constraints: 673160 2518.81/2525.52 c bounds 352 >= 91 @ 2451.26 2518.81/2525.52 c #Conflicts: 188000 | #Constraints: 674205 2518.81/2525.52 c #Conflicts: 189000 | #Constraints: 675224 2518.81/2525.52 c INPROCESSING 2518.81/2525.52 c GARBAGE COLLECT 2518.81/2525.52 c rational objective 187 2824.22/2831.72 c bounds 351 >= 91 @ 2491.51 2824.22/2831.72 c bounds 350 >= 91 @ 2491.56 2824.22/2831.72 c #Conflicts: 190000 | #Constraints: 667605 2824.22/2831.72 c #Conflicts: 191000 | #Constraints: 668614 2824.22/2831.72 c #Conflicts: 192000 | #Constraints: 669625 2824.22/2831.72 c #Conflicts: 193000 | #Constraints: 670631 2824.22/2831.72 c #Conflicts: 194000 | #Constraints: 671643 2824.22/2831.72 c #Conflicts: 195000 | #Constraints: 672651 2824.22/2831.72 c #Conflicts: 196000 | #Constraints: 673662 2824.22/2831.72 c #Conflicts: 197000 | #Constraints: 674672 2824.22/2831.72 c #Conflicts: 198000 | #Constraints: 675682 2824.22/2831.72 c INPROCESSING 2824.22/2831.72 c GARBAGE COLLECT 2824.22/2831.72 c rational objective 187 2985.02/2992.98 c #Conflicts: 199000 | #Constraints: 667837 2985.02/2992.98 c #Conflicts: 200000 | #Constraints: 668837 2985.02/2992.98 c #Conflicts: 201000 | #Constraints: 669837 2985.02/2992.98 c #Conflicts: 202000 | #Constraints: 670837 2985.02/2992.98 c #Conflicts: 203000 | #Constraints: 671837 2985.02/2992.98 c #Conflicts: 204000 | #Constraints: 672837 2985.02/2992.98 c #Conflicts: 205000 | #Constraints: 673837 2985.02/2992.98 c #Conflicts: 206000 | #Constraints: 674837 2985.02/2992.98 c #Conflicts: 207000 | #Constraints: 675837 2985.02/2992.98 c INPROCESSING 2985.02/2992.98 c GARBAGE COLLECT 2985.02/2992.98 c rational objective 187 3158.78/3167.18 c #Conflicts: 208000 | #Constraints: 667815 3158.78/3167.18 c #Conflicts: 209000 | #Constraints: 668815 3158.78/3167.18 c #Conflicts: 210000 | #Constraints: 669815 3158.78/3167.18 c #Conflicts: 211000 | #Constraints: 670815 3158.78/3167.18 c #Conflicts: 212000 | #Constraints: 671815 3158.78/3167.18 c bounds 350 >= 92 @ 3035.91 3158.78/3167.18 c #Conflicts: 213000 | #Constraints: 672857 3158.78/3167.18 c #Conflicts: 214000 | #Constraints: 673857 3158.78/3167.18 c #Conflicts: 215000 | #Constraints: 674857 3158.78/3167.18 c #Conflicts: 216000 | #Constraints: 675857 3158.78/3167.18 c INPROCESSING 3158.78/3167.18 c GARBAGE COLLECT 3158.78/3167.18 c rational objective 187 3336.02/3344.87 c #Conflicts: 217000 | #Constraints: 667652 3336.02/3344.87 c #Conflicts: 218000 | #Constraints: 668652 3336.02/3344.87 c #Conflicts: 219000 | #Constraints: 669652 3336.02/3344.87 c #Conflicts: 220000 | #Constraints: 670652 3336.02/3344.87 c #Conflicts: 221000 | #Constraints: 671652 3336.02/3344.87 c #Conflicts: 222000 | #Constraints: 672652 3336.02/3344.87 c #Conflicts: 223000 | #Constraints: 673652 3336.02/3344.87 c #Conflicts: 224000 | #Constraints: 674652 3336.02/3344.87 c #Conflicts: 225000 | #Constraints: 675652 3336.02/3344.87 c #Conflicts: 226000 | #Constraints: 676652 3336.02/3344.87 c INPROCESSING 3336.02/3344.87 c GARBAGE COLLECT 3336.02/3344.87 c rational objective 187 3554.15/3563.59 c bounds 347 >= 92 @ 3291.66 3554.15/3563.59 c bounds 346 >= 92 @ 3294.11 3554.15/3563.59 c #Conflicts: 227000 | #Constraints: 668260 3554.15/3563.59 c #Conflicts: 228000 | #Constraints: 669268 3554.15/3563.59 c #Conflicts: 229000 | #Constraints: 670276 3554.15/3563.59 c #Conflicts: 230000 | #Constraints: 671283 3554.15/3563.59 c bounds 345 >= 92 @ 3365.44 3554.15/3563.59 c #Conflicts: 231000 | #Constraints: 672290 3554.15/3563.59 c #Conflicts: 232000 | #Constraints: 673290 3554.15/3563.59 c #Conflicts: 233000 | #Constraints: 674290 3554.15/3563.59 c #Conflicts: 234000 | #Constraints: 675290 3554.15/3563.59 c #Conflicts: 235000 | #Constraints: 676290 3554.15/3563.59 c #Conflicts: 236000 | #Constraints: 677290 3554.15/3563.59 c INPROCESSING 3554.15/3563.59 c GARBAGE COLLECT 3554.15/3563.59 c rational objective 187 3600.03/3609.55 c bounds 344 >= 92 @ 3506.49 3600.03/3609.55 c bounds 343 >= 92 @ 3506.64 3600.03/3609.55 c bounds 337 >= 92 @ 3506.74 3600.03/3609.55 c bounds 336 >= 92 @ 3516.79 3600.03/3609.55 c #Conflicts: 237000 | #Constraints: 668708 3600.03/3609.55 c #Conflicts: 238000 | #Constraints: 669720 3600.03/3609.55 c bounds 335 >= 92 @ 3539.97 3600.03/3609.55 c Program interrupted by user. 3600.03/3609.55 c cpu time 3551.43 s 3600.03/3609.55 c deterministic time 423711987779 4.24e+11 3600.03/3609.55 c optimization time 12.5321 s 3600.03/3609.55 c total solve time 3536.8 s 3600.03/3609.55 c core-guided solve time 2235.7 s 3600.03/3609.55 c propagation time 2022.92 s 3600.03/3609.55 c conflict analysis time 936.227 s 3600.03/3609.55 c propagations 76787341 3600.03/3609.55 c resolve steps 3628992 3600.03/3609.55 c decisions 13576803 3600.03/3609.55 c conflicts 238981 3600.03/3609.55 c restarts 545 3600.03/3609.55 c inprocessing phases 40 3600.03/3609.55 c input clauses 657187 3600.03/3609.55 c input cardinalities 65 3600.03/3609.55 c input general constraints 907 3600.03/3609.55 c input average constraint length 7.20 3600.03/3609.55 c input average constraint degree 153.70 3600.03/3609.55 c learned clauses 107379 3600.03/3609.55 c learned cardinalities 10 3600.03/3609.55 c learned general constraints 132238 3600.03/3609.55 c learned average constraint length 4114.21 3600.03/3609.55 c learned average constraint degree 75660538476.62 3600.03/3609.55 c watched constraints 26164 3600.03/3609.55 c counting constraints 106981 3600.03/3609.55 c gcd simplifications 3478 3600.03/3609.55 c detected cardinalities 0 3600.03/3609.55 c weakened non-implied lits 309174061 3600.03/3609.55 c weakened non-implying lits 75131 3600.03/3609.55 c original variables 10000 3600.03/3609.55 c clausal propagations 17968049 3600.03/3609.55 c cardinality propagations 117845 3600.03/3609.55 c watched propagations 3599653 3600.03/3609.55 c counting propagations 54274636 3600.03/3609.55 c watch lookups 17887048843 3600.03/3609.55 c watch backjump lookups 17705869204 3600.03/3609.55 c watch checks 160440556851 3600.03/3609.55 c propagation checks 222593622542 3600.03/3609.55 c constraint additions 4903559495 3600.03/3609.55 c trail pops 90593318 3600.03/3609.55 c formula constraints 656900 3600.03/3609.55 c learned constraints 238349 3600.03/3609.55 c bound constraints 268 3600.03/3609.55 c core-guided constraints 991 3600.03/3609.55 c encountered formula constraints 1935180 3600.03/3609.55 c encountered learned constraints 1425971 3600.03/3609.55 c encountered bound constraints 7412 3600.03/3609.55 c encountered core-guided constraints 456678 3600.03/3609.55 c LP total time 913.549 s 3600.03/3609.55 c LP solve time 886.95 s 3600.03/3609.55 c LP constraints added 656926 3600.03/3609.55 c LP constraints removed 21 3600.03/3609.55 c LP pivots internal 240532 3600.03/3609.55 c LP pivots root 132849 3600.03/3609.55 c LP calls 1191 3600.03/3609.55 c LP optimalities 548 3600.03/3609.55 c LP no pivot count 178 3600.03/3609.55 c LP infeasibilities 639 3600.03/3609.55 c LP valid Farkas constraints 639 3600.03/3609.55 c LP learned Farkas constraints 639 3600.03/3609.55 c LP basis resets 0 3600.03/3609.55 c LP cycling count 0 3600.03/3609.55 c LP singular count 0 3600.03/3609.55 c LP no primal count 0 3600.03/3609.55 c LP no farkas count 0 3600.03/3609.55 c LP other issue count 0 3600.03/3609.55 c LP Gomory cuts 0 3600.03/3609.55 c LP learned cuts 26 3600.03/3609.55 c LP deleted cuts 21 3600.03/3609.55 c LP encountered Gomory constraints 0 3600.03/3609.55 c LP encountered Farkas constraints 40627 3600.03/3609.55 c LP encountered learned Farkas constraints 1466 3600.03/3609.55 c CG auxiliary variables introduced 352 3600.03/3609.55 c CG solutions found 203 3600.03/3609.55 c CG cores constructed 65 3600.03/3609.55 c CG core cardinality constraints returned 0 3600.03/3609.55 c CG unit cores 0 3600.03/3609.55 c CG single cores 63 3600.03/3609.55 c CG blocks removed during cardinality reduction 0 3600.03/3609.55 c CG first core best 0 3600.03/3609.55 c CG decision core best 0 3600.03/3609.55 c CG core reduction tie 2 3600.03/3609.55 c CG core degree average 1.00 3600.03/3609.55 c CG core slack average 837.55 3600.03/3609.55 s SATISFIABLE 3600.03/3609.55 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 -x97
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: 64096 MiB (60295 MiB free)
memory of node 1: 64473 MiB (60486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460183-1722064838/watcher-4460183-1722064838 -o /tmp/evaluation-result-4460183-1722064838/solver-4460183-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360035 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460183-1722064838 --lp-cut-gomory=0 HOME/instance-4460183-1722064838.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=360098, runsolver pid=360095
[startup+0.100693 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123673264/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=40828 memory=9324 CPUtime=0.1 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 1515 0 0 0 8 2 0 0 20 0 1 0 42473696 41807872 2331 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 10207 2331 1396 992 0 2065 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9324 KiB
[startup+0.212602 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123665372/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=40828 memory=10116 CPUtime=0.2 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 1727 0 0 0 16 4 0 0 20 0 1 0 42473696 41807872 2529 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 10207 2529 1396 992 0 2065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 10116 KiB
[startup+0.312186 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123661872/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=41348 memory=11172 CPUtime=0.31 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 1983 0 0 0 24 7 0 0 20 0 1 0 42473696 42340352 2793 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 10337 2793 1396 992 0 2195 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41348 KiB
Current children cumulated memory: 11172 KiB
[startup+0.700266 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123652888/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=45644 memory=17992 CPUtime=0.68 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 2622 0 0 0 51 17 0 0 20 0 1 0 42473696 46739456 4498 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 11411 4498 1396 992 0 3269 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45644 KiB
Current children cumulated memory: 17992 KiB
[startup+1.50027 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123630368/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=64764 memory=32236 CPUtime=1.48 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 5188 0 0 0 109 39 0 0 20 0 1 0 42473696 66318336 8059 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 16191 8059 1396 992 0 8049 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64764 KiB
Current children cumulated memory: 32236 KiB
[startup+3.11271 s]
/proc/loadavg: 0.38 0.15 0.11 5/241 360099
/proc/meminfo: memFree=122740100/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=361148 memory=329944 CPUtime=3.09 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 58034 0 0 0 235 74 0 0 20 0 1 0 42473696 369815552 82486 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 90287 82486 1746 992 0 82145 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 329944 KiB
[startup+6.30031 s]
/proc/loadavg: 0.38 0.15 0.11 5/244 360102
/proc/meminfo: memFree=122639820/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=345112 memory=316276 CPUtime=6.27 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 58647 0 0 0 545 82 0 0 20 0 1 0 42473696 353394688 79069 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 86278 79069 1825 992 0 78136 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 345112 KiB
Current children cumulated memory: 316276 KiB
[startup+12.7003 s]
/proc/loadavg: 0.67 0.21 0.13 5/244 360103
/proc/meminfo: memFree=122198412/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=423764 memory=366420 CPUtime=12.65 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 61472 0 0 0 1143 122 0 0 20 0 1 0 42473696 433934336 91605 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 105941 91605 1905 992 0 97799 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 423764 KiB
Current children cumulated memory: 366420 KiB
[startup+25.5003 s]
/proc/loadavg: 1.41 0.40 0.19 5/244 360105
/proc/meminfo: memFree=121769196/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=466452 memory=428876 CPUtime=25.42 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 65890 0 0 0 2361 181 0 0 20 0 1 0 42473696 477646848 107219 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 116613 107219 1921 992 0 108471 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 466452 KiB
Current children cumulated memory: 428876 KiB
[startup+51.1129 s]
/proc/loadavg: 2.35 0.70 0.30 5/245 360111
/proc/meminfo: memFree=120422916/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=588872 memory=546868 CPUtime=50.96 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 75076 0 0 0 4875 221 0 0 20 0 1 0 42473696 603004928 136717 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 147218 136717 1921 992 0 139076 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 588872 KiB
Current children cumulated memory: 546868 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 1.24 0.51 5/245 360120
/proc/meminfo: memFree=119241736/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=783424 memory=663164 CPUtime=102 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 79630 0 0 0 9917 283 0 0 20 0 1 0 42473696 802226176 165791 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 195856 165791 1921 992 0 187714 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 783424 KiB
Current children cumulated memory: 663164 KiB
[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 5/245 360130
/proc/meminfo: memFree=118121608/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=913776 memory=830932 CPUtime=161.84 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 104354 0 0 0 15806 378 0 0 20 0 1 0 42473696 935706624 207733 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 228444 207733 1921 992 0 220302 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 913776 KiB
Current children cumulated memory: 830932 KiB
[startup+222.3 s]
/proc/loadavg: 4.41 2.30 0.98 5/245 360141
/proc/meminfo: memFree=115888468/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=1455420 memory=1153964 CPUtime=221.68 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 147994 0 0 0 21693 475 0 0 20 0 1 0 42473696 1490350080 288491 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 363855 288491 1921 992 0 355713 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 1455420 KiB
Current children cumulated memory: 1153964 KiB
[startup+282.3 s]
/proc/loadavg: 4.61 2.76 1.23 5/244 360535
/proc/meminfo: memFree=114897748/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=1458868 memory=1154156 CPUtime=281.51 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 148139 0 0 0 27652 499 0 0 20 0 1 0 42473696 1493880832 288539 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 364717 288539 1921 992 0 356575 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 1458868 KiB
Current children cumulated memory: 1154156 KiB
[startup+342.3 s]
/proc/loadavg: 4.38 3.03 1.42 5/243 360545
/proc/meminfo: memFree=113141064/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=1458868 memory=1154164 CPUtime=341.34 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 148254 0 0 0 33580 554 0 0 20 0 1 0 42473696 1493880832 288541 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 364717 288541 1921 992 0 356575 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 1458868 KiB
Current children cumulated memory: 1154164 KiB
[startup+402.3 s]
/proc/loadavg: 4.33 3.26 1.60 5/248 360561
/proc/meminfo: memFree=112044216/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=1476924 memory=1168488 CPUtime=401.19 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 149944 0 0 0 39508 611 0 0 20 0 1 0 42473696 1512370176 292122 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 369231 292122 1921 992 0 361089 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 1476924 KiB
Current children cumulated memory: 1168488 KiB
[startup+462.3 s]
/proc/loadavg: 4.42 3.49 1.78 5/254 360745
/proc/meminfo: memFree=111135072/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=1476924 memory=1168532 CPUtime=461.01 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 150124 0 0 0 45428 673 0 0 20 0 1 0 42473696 1512370176 292133 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 369231 292133 1921 992 0 361089 0
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.25 4.21 4.09 5/266 361951
/proc/meminfo: memFree=11070152/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2621204 CPUtime=3213.83 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 452121 0 0 0 317126 4257 0 0 20 0 1 0 42473696 2852921344 655301 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655301 1921 992 0 688372 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2621204 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/266 361963
/proc/meminfo: memFree=7555852/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2621204 CPUtime=3273.68 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 457475 0 0 0 322997 4371 0 0 20 0 1 0 42473696 2852921344 655301 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655301 1921 992 0 688372 0
Current children cumulated CPU time: 3273.68 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2621204 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/266 361973
/proc/meminfo: memFree=4612912/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2621712 CPUtime=3333.52 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 467193 0 0 0 328886 4466 0 0 20 0 1 0 42473696 2852921344 655428 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655428 1921 992 0 688372 0
Current children cumulated CPU time: 3333.52 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2621712 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/268 361985
/proc/meminfo: memFree=2158028/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2621712 CPUtime=3393.36 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 473339 0 0 0 334782 4554 0 0 20 0 1 0 42473696 2852921344 655428 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655428 1921 992 0 688372 0
Current children cumulated CPU time: 3393.36 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2621712 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/270 361998
/proc/meminfo: memFree=585900/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623016 CPUtime=3453.21 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 480280 0 0 0 340686 4635 0 0 20 0 1 0 42473696 2852921344 655754 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655754 1921 992 0 688372 0
Current children cumulated CPU time: 3453.21 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623016 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/270 362009
/proc/meminfo: memFree=673928/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623080 CPUtime=3513.06 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 484141 0 0 0 346579 4727 0 0 20 0 1 0 42473696 2852921344 655770 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655770 1921 992 0 688372 0
Current children cumulated CPU time: 3513.06 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623080 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 362023
/proc/meminfo: memFree=621912/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3572.9 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 501182 0 0 0 352473 4817 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3572.9 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.23 4.17 4.10 5/272 362027
/proc/meminfo: memFree=514452/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.03 cores=4,6
/proc/360098/stat : 360098 (roundingsat) R 360095 360098 360024 0 -1 4194304 504016 0 0 0 355142 4861 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 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.17 4.10 3/272 362028
/proc/meminfo: memFree=595776/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 256 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
??? kill 360098 sig 9
??? end of watcher thread
[startup+3646.29 s]
# the end of solver process 360098 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3551.43 s, system=48.7687 s
Solver just ended.
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.23 4.17 4.10 5/272 362027
/proc/meminfo: memFree=514452/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
[startup+3610.4 s]
/proc/loadavg: 4.23 4.17 4.10 4/272 362028
/proc/meminfo: memFree=638624/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
[startup+3611.2 s]
/proc/loadavg: 4.23 4.17 4.10 3/272 362028
/proc/meminfo: memFree=603492/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
[startup+3611.4 s]
/proc/loadavg: 4.23 4.17 4.10 3/272 362028
/proc/meminfo: memFree=603492/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
[startup+3611.5 s]
/proc/loadavg: 4.23 4.17 4.10 3/272 362028
/proc/meminfo: memFree=603492/131655788 swapFree=131061684/131071996
[pid=360098] ppid=360095 vsize=2786056 memory=2623496 CPUtime=3600.04 cores=4,6
/proc/360098/stat : 360098 (roundingsat) D 360095 360098 360024 0 -1 4194304 504024 0 1 0 355142 4862 0 0 20 0 1 0 42473696 2852921344 655874 134679101440 4194304 8254357 140737255896384 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 37171200 140737255899999 140737255900261 140737255900261 140737255907273 0
/proc/360098/statm: 696514 655874 1921 992 0 688372 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2786056 KiB
Current children cumulated memory: 2623496 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3646.29
CPU time (s): 3600.2
CPU user time (s): 3551.43
CPU system time (s): 48.7687
CPU usage (%): 98.7358
Max. virtual memory (cumulated for all children) (KiB): 2786056
Max. memory (cumulated for all children) (KiB): 2623496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.43
system time used= 48.7687
maximum resident set size= 2623880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 504024
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 90517848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3357
involuntary context switches= 4745
# summary of solver processes directly reported to runsolver:
# pid: 360098
# total CPU time (s): 3600.2
# total CPU user time (s): 3551.43
# total CPU system time (s): 48.7687
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4535 second user time and 38.8661 second system time
The end
Begin job on nodeC011 at 2024-07-27 09:20:38 IDJOB=4460183 IDBENCH=147558 IDSOLVER=3086 FILE ID=nodeC011/4460183-1722064838 RUNJOBID= nodeC011-1722064838-360035 SLURM_JOB_ID= 8248113 Free space on /tmp= 723716 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.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-4460183-1722064838/watcher-4460183-1722064838 -o /tmp/evaluation-result-4460183-1722064838/solver-4460183-1722064838 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1722064838-360035 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460183-1722064838 --lp-cut-gomory=0 HOME/instance-4460183-1722064838.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472 RANDOM SEED=1957297555 nodeC011.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.323 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.319 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.323 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.320 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.326 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.35 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 123681416 kB MemAvailable: 129997656 kB Buffers: 357964 kB Cached: 6787548 kB SwapCached: 164 kB Active: 1892588 kB Inactive: 5538080 kB Active(anon): 2112 kB Inactive(anon): 336032 kB Active(file): 1890476 kB Inactive(file): 5202048 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131061684 kB Dirty: 73584 kB Writeback: 0 kB AnonPages: 285004 kB Mapped: 105828 kB Shmem: 52980 kB KReclaimable: 127832 kB Slab: 233148 kB SReclaimable: 127832 kB SUnreclaim: 105316 kB KernelStack: 3796 kB PageTables: 9880 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 714788 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 12096 kB HardwareCorrupted: 0 kB AnonHugePages: 157696 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: 424776 kB DirectMap2M: 46665728 kB DirectMap1G: 89128960 kB Free space on /tmp at the end= 723688 MiB End job on nodeC011 at 2024-07-27 10:21:25