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