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