| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat nolog (2) | SAT (TO) | 346 | 3600.11 | 3609.94 |
| Name | PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
| MD5SUM | 890f6157e6331f3256b55d88c2fb39bb |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 241 |
| Best CPU time to get the best result obtained on this benchmark | 3558.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 10000 |
| Total number of constraints | 656900 |
| Number of constraints which are clauses | 656900 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 100 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 99 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 494314 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 99 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 494314 |
| Number of bits of the biggest sum of numbers | 19 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 2.00/2.03 c #variables 10000 #constraints 656900 3.78/3.88 c bounds - >= 0 @ 1.39407 3.78/3.88 c rational objective 165.75 21.52/21.64 c bounds 7543 >= 0 @ 6.84695 21.52/21.64 c bounds 7381 >= 0 @ 6.85371 21.52/21.64 c bounds 7037 >= 0 @ 6.85976 21.52/21.64 c bounds 6989 >= 0 @ 6.96167 21.52/21.64 c bounds 6954 >= 0 @ 6.9674 21.52/21.64 c bounds 6813 >= 0 @ 6.97408 21.52/21.64 c bounds 6809 >= 0 @ 6.9799 21.52/21.64 c bounds 6757 >= 0 @ 6.98787 21.52/21.64 c bounds 6743 >= 0 @ 6.99297 21.52/21.64 c bounds 6660 >= 0 @ 6.99941 21.52/21.64 c bounds 6625 >= 0 @ 7.00497 21.52/21.64 c bounds 6499 >= 0 @ 7.01346 21.52/21.64 c bounds 6271 >= 0 @ 7.02036 21.52/21.64 c bounds 6261 >= 0 @ 7.02533 21.52/21.64 c bounds 6190 >= 0 @ 7.03051 21.52/21.64 c bounds 5980 >= 0 @ 7.0387 21.52/21.64 c bounds 5775 >= 0 @ 7.04307 21.52/21.64 c bounds 5765 >= 0 @ 7.22358 21.52/21.64 c bounds 5700 >= 0 @ 7.23166 21.52/21.64 c bounds 5688 >= 0 @ 7.24673 21.52/21.64 c bounds 5641 >= 0 @ 7.26103 21.52/21.64 c bounds 5628 >= 0 @ 7.27775 21.52/21.64 c bounds 5545 >= 0 @ 7.28455 21.52/21.64 c bounds 5461 >= 0 @ 7.2904 21.52/21.64 c bounds 5444 >= 0 @ 7.30732 21.52/21.64 c bounds 5279 >= 0 @ 7.31977 21.52/21.64 c bounds 5248 >= 0 @ 7.32482 21.52/21.64 c bounds 5231 >= 0 @ 7.44416 21.52/21.64 c bounds 4946 >= 0 @ 7.45014 21.52/21.64 c bounds 4936 >= 0 @ 7.54058 21.52/21.64 c bounds 4930 >= 0 @ 7.54775 21.52/21.64 c bounds 4855 >= 0 @ 7.5535 21.52/21.64 c bounds 4768 >= 0 @ 7.64765 21.52/21.64 c bounds 4755 >= 0 @ 7.65533 21.52/21.64 c bounds 4735 >= 0 @ 7.6685 21.52/21.64 c bounds 4674 >= 0 @ 7.67729 21.52/21.64 c bounds 4534 >= 0 @ 7.68478 21.52/21.64 c bounds 4503 >= 0 @ 7.69279 21.52/21.64 c bounds 4425 >= 0 @ 7.70205 21.52/21.64 c bounds 4314 >= 0 @ 7.71149 21.52/21.64 c bounds 4261 >= 0 @ 7.86306 21.52/21.64 c bounds 4208 >= 0 @ 7.86828 21.52/21.64 c bounds 4181 >= 0 @ 7.88202 21.52/21.64 c bounds 4149 >= 0 @ 7.88913 21.52/21.64 c bounds 4127 >= 0 @ 7.99451 21.52/21.64 c bounds 4033 >= 0 @ 7.99916 21.52/21.64 c bounds 4032 >= 0 @ 8.00816 21.52/21.64 c bounds 4024 >= 0 @ 8.01856 21.52/21.64 c bounds 4014 >= 0 @ 8.02262 21.52/21.64 c bounds 3855 >= 0 @ 8.02685 21.52/21.64 c bounds 3850 >= 0 @ 8.0296 21.52/21.64 c bounds 3705 >= 0 @ 8.034 21.52/21.64 c bounds 3698 >= 0 @ 8.12579 21.52/21.64 c bounds 3637 >= 0 @ 8.13201 21.52/21.64 c bounds 3599 >= 0 @ 8.13963 21.52/21.64 c bounds 3549 >= 0 @ 8.14635 21.52/21.64 c bounds 3472 >= 0 @ 8.15183 21.52/21.64 c bounds 3338 >= 0 @ 8.15842 21.52/21.64 c bounds 3331 >= 0 @ 8.16379 21.52/21.64 c bounds 3313 >= 0 @ 8.24676 21.52/21.64 c bounds 3222 >= 0 @ 8.25369 21.52/21.64 c bounds 3160 >= 0 @ 8.26047 21.52/21.64 c bounds 3155 >= 0 @ 8.33916 21.52/21.64 c bounds 3100 >= 0 @ 8.34548 21.52/21.64 c bounds 3072 >= 0 @ 8.352 21.52/21.64 c bounds 3062 >= 0 @ 8.36132 21.52/21.64 c bounds 2941 >= 0 @ 8.36682 21.52/21.64 c bounds 2926 >= 0 @ 8.46546 21.52/21.64 c bounds 2921 >= 0 @ 8.5604 21.52/21.64 c bounds 2796 >= 0 @ 8.56718 21.52/21.64 c bounds 2745 >= 0 @ 8.57459 21.52/21.64 c bounds 2742 >= 0 @ 8.57849 21.52/21.64 c bounds 2677 >= 0 @ 8.58507 21.52/21.64 c bounds 2662 >= 0 @ 8.59528 21.52/21.64 c bounds 2582 >= 0 @ 8.60379 21.52/21.64 c bounds 2555 >= 0 @ 8.62851 21.52/21.64 c bounds 2544 >= 0 @ 8.6342 21.52/21.64 c bounds 2522 >= 0 @ 8.63947 21.52/21.64 c bounds 2498 >= 0 @ 8.64601 21.52/21.64 c bounds 2419 >= 0 @ 8.65443 21.52/21.64 c bounds 2391 >= 0 @ 8.65896 21.52/21.64 c bounds 2362 >= 0 @ 8.6655 21.52/21.64 c bounds 2353 >= 0 @ 8.79555 21.52/21.64 c bounds 2334 >= 0 @ 8.80213 21.52/21.64 c bounds 2304 >= 0 @ 8.80758 21.52/21.64 c bounds 2198 >= 0 @ 8.90563 21.52/21.64 c bounds 2084 >= 0 @ 8.91553 21.52/21.64 c bounds 1928 >= 0 @ 8.92465 21.52/21.64 c bounds 1925 >= 0 @ 8.93631 21.52/21.64 c bounds 1893 >= 0 @ 8.94289 21.52/21.64 c bounds 1805 >= 0 @ 8.95855 21.52/21.64 c bounds 1793 >= 0 @ 8.96849 21.52/21.64 c bounds 1786 >= 0 @ 8.97548 21.52/21.64 c bounds 1783 >= 0 @ 9.16172 21.52/21.64 c bounds 1782 >= 0 @ 9.16623 21.52/21.64 c bounds 1764 >= 0 @ 9.17549 21.52/21.64 c bounds 1739 >= 0 @ 9.1835 21.52/21.64 c bounds 1723 >= 0 @ 9.19252 21.52/21.64 c bounds 1718 >= 0 @ 9.19651 21.52/21.64 c bounds 1706 >= 0 @ 9.22435 21.52/21.64 c bounds 1676 >= 0 @ 9.23059 21.52/21.64 c bounds 1656 >= 0 @ 9.32175 21.52/21.64 c bounds 1654 >= 0 @ 9.32795 21.52/21.64 c bounds 1636 >= 0 @ 9.61843 21.52/21.64 c bounds 1621 >= 0 @ 9.71358 21.52/21.64 c bounds 1556 >= 0 @ 9.72138 21.52/21.64 c bounds 1378 >= 0 @ 9.72712 21.52/21.64 c bounds 1277 >= 0 @ 9.73646 21.52/21.64 c bounds 1269 >= 0 @ 9.74505 21.52/21.64 c bounds 1201 >= 0 @ 9.89021 21.52/21.64 c bounds 1079 >= 0 @ 9.90482 21.52/21.64 c bounds 1070 >= 0 @ 9.93269 21.52/21.64 c #Conflicts: 1000 | #Constraints: 658023 21.52/21.64 c bounds 994 >= 0 @ 9.96816 21.52/21.64 c bounds 980 >= 0 @ 9.97541 21.52/21.64 c bounds 968 >= 0 @ 9.98723 21.52/21.64 c bounds 967 >= 0 @ 9.99768 21.52/21.64 c bounds 964 >= 0 @ 10.0099 21.52/21.64 c bounds 955 >= 0 @ 10.0207 21.52/21.64 c bounds 917 >= 0 @ 10.0383 21.52/21.64 c bounds 909 >= 0 @ 10.0514 21.52/21.64 c bounds 901 >= 0 @ 10.0587 21.52/21.64 c bounds 770 >= 0 @ 10.0687 21.52/21.64 c bounds 760 >= 0 @ 10.0741 21.52/21.64 c bounds 757 >= 0 @ 11.2572 21.52/21.64 c bounds 756 >= 0 @ 11.2633 21.52/21.64 c bounds 752 >= 0 @ 11.345 21.52/21.64 c bounds 742 >= 0 @ 11.3604 21.52/21.64 c #Conflicts: 2000 | #Constraints: 659038 21.52/21.64 c INPROCESSING 21.52/21.64 c GARBAGE COLLECT 21.52/21.64 c bounds 718 >= 0 @ 13.3601 21.52/21.64 c bounds 715 >= 0 @ 13.9476 21.52/21.64 c #Conflicts: 3000 | #Constraints: 658917 21.52/21.64 c bounds 610 >= 0 @ 15.5419 21.52/21.64 c bounds 547 >= 0 @ 15.7776 21.52/21.64 c #Conflicts: 4000 | #Constraints: 659919 21.52/21.64 c INPROCESSING 21.52/21.64 c GARBAGE COLLECT 21.52/21.64 c bounds 542 >= 0 @ 19.7197 21.52/21.64 c bounds 539 >= 0 @ 19.7321 21.52/21.64 c bounds 538 >= 0 @ 20.0101 29.20/29.31 c #Conflicts: 5000 | #Constraints: 659323 29.20/29.31 c #Conflicts: 6000 | #Constraints: 660323 29.20/29.31 c INPROCESSING 29.20/29.31 c GARBAGE COLLECT 29.20/29.31 c rational objective 166.75 53.02/53.24 c bounds 533 >= 0 @ 30.9435 53.02/53.24 c #Conflicts: 7000 | #Constraints: 659328 53.02/53.24 c bounds 531 >= 0 @ 32.8176 53.02/53.24 c #Conflicts: 8000 | #Constraints: 660333 53.02/53.24 c #Conflicts: 9000 | #Constraints: 661333 53.02/53.24 c INPROCESSING 53.02/53.24 c GARBAGE COLLECT 53.02/53.24 c #Conflicts: 10000 | #Constraints: 660030 53.02/53.24 c #Conflicts: 11000 | #Constraints: 661030 53.02/53.24 c #Conflicts: 12000 | #Constraints: 662030 53.02/53.24 c INPROCESSING 53.02/53.24 c GARBAGE COLLECT 53.02/53.24 c rational objective 169.125 70.26/70.56 c #Conflicts: 13000 | #Constraints: 660482 70.26/70.56 c #Conflicts: 14000 | #Constraints: 661482 70.26/70.56 c #Conflicts: 15000 | #Constraints: 662482 70.26/70.56 c INPROCESSING 70.26/70.56 c GARBAGE COLLECT 70.26/70.56 c rational objective 169.679 95.18/95.54 c #Conflicts: 16000 | #Constraints: 660723 95.18/95.54 c #Conflicts: 17000 | #Constraints: 661723 95.18/95.54 c #Conflicts: 18000 | #Constraints: 662723 95.18/95.54 c INPROCESSING 95.18/95.54 c GARBAGE COLLECT 95.18/95.54 c bounds 528 >= 0 @ 80.1958 95.18/95.54 c bounds 519 >= 0 @ 81.1949 95.18/95.54 c #Conflicts: 19000 | #Constraints: 660742 95.18/95.54 c #Conflicts: 20000 | #Constraints: 661742 95.18/95.54 c #Conflicts: 21000 | #Constraints: 662742 95.18/95.54 c INPROCESSING 95.18/95.54 c GARBAGE COLLECT 95.18/95.54 c rational objective 171.641 132.46/132.98 c bounds 518 >= 0 @ 97.7283 132.46/132.98 c bounds 517 >= 0 @ 97.7462 132.46/132.98 c #Conflicts: 22000 | #Constraints: 660565 132.46/132.98 c #Conflicts: 23000 | #Constraints: 661587 132.46/132.98 c bounds 515 >= 0 @ 108.805 132.46/132.98 c bounds 515 >= 5 @ 109.743 132.46/132.98 c #Conflicts: 24000 | #Constraints: 662595 132.46/132.98 c #Conflicts: 25000 | #Constraints: 663595 132.46/132.98 c INPROCESSING 132.46/132.98 c GARBAGE COLLECT 132.46/132.98 c rational objective 173.415 176.53/177.19 c #Conflicts: 26000 | #Constraints: 661180 176.53/177.19 c #Conflicts: 27000 | #Constraints: 662180 176.53/177.19 c #Conflicts: 28000 | #Constraints: 663180 176.53/177.19 c #Conflicts: 29000 | #Constraints: 664180 176.53/177.19 c INPROCESSING 176.53/177.19 c GARBAGE COLLECT 176.53/177.19 c rational objective 173.819 220.69/221.46 c bounds 513 >= 5 @ 176.001 220.69/221.46 c #Conflicts: 30000 | #Constraints: 661602 220.69/221.46 c bounds 512 >= 5 @ 189.415 220.69/221.46 c bounds 509 >= 5 @ 189.591 220.69/221.46 c bounds 507 >= 5 @ 189.784 220.69/221.46 c bounds 500 >= 5 @ 193.808 220.69/221.46 c #Conflicts: 31000 | #Constraints: 662625 220.69/221.46 c bounds 499 >= 5 @ 204.127 220.69/221.46 c bounds 499 >= 9 @ 204.162 220.69/221.46 c #Conflicts: 32000 | #Constraints: 663649 220.69/221.46 c bounds 432 >= 9 @ 208.334 220.69/221.46 c #Conflicts: 33000 | #Constraints: 664650 220.69/221.46 c INPROCESSING 220.69/221.46 c GARBAGE COLLECT 220.69/221.46 c rational objective 174.149 251.89/252.74 c #Conflicts: 34000 | #Constraints: 661790 251.89/252.74 c #Conflicts: 35000 | #Constraints: 662790 251.89/252.74 c #Conflicts: 36000 | #Constraints: 663790 251.89/252.74 c #Conflicts: 37000 | #Constraints: 664790 251.89/252.74 c INPROCESSING 251.89/252.74 c GARBAGE COLLECT 251.89/252.74 c rational objective 174.155 281.51/282.47 c #Conflicts: 38000 | #Constraints: 661777 281.51/282.47 c #Conflicts: 39000 | #Constraints: 662777 281.51/282.47 c #Conflicts: 40000 | #Constraints: 663777 281.51/282.47 c #Conflicts: 41000 | #Constraints: 664777 281.51/282.47 c INPROCESSING 281.51/282.47 c GARBAGE COLLECT 281.51/282.47 c rational objective 174.215 315.42/316.42 c #Conflicts: 42000 | #Constraints: 661572 315.42/316.42 c #Conflicts: 43000 | #Constraints: 662572 315.42/316.42 c #Conflicts: 44000 | #Constraints: 663572 315.42/316.42 c #Conflicts: 45000 | #Constraints: 664572 315.42/316.42 c #Conflicts: 46000 | #Constraints: 665572 315.42/316.42 c INPROCESSING 315.42/316.42 c GARBAGE COLLECT 315.42/316.42 c rational objective 174.238 445.45/446.80 c bounds 430 >= 9 @ 314.497 445.45/446.80 c bounds 428 >= 9 @ 314.532 445.45/446.80 c bounds 426 >= 9 @ 314.569 445.45/446.80 c bounds 423 >= 9 @ 314.601 445.45/446.80 c bounds 422 >= 9 @ 314.633 445.45/446.80 c bounds 421 >= 9 @ 314.663 445.45/446.80 c bounds 419 >= 9 @ 315.518 445.45/446.80 c #Conflicts: 47000 | #Constraints: 662185 445.45/446.80 c #Conflicts: 48000 | #Constraints: 663205 445.45/446.80 c #Conflicts: 49000 | #Constraints: 664221 445.45/446.80 c #Conflicts: 50000 | #Constraints: 665230 445.45/446.80 c #Conflicts: 51000 | #Constraints: 666247 445.45/446.80 c INPROCESSING 445.45/446.80 c GARBAGE COLLECT 445.45/446.80 c bounds 419 >= 11 @ 373.056 445.45/446.80 c bounds 419 >= 13 @ 373.074 445.45/446.80 c bounds 419 >= 15 @ 373.092 445.45/446.80 c bounds 419 >= 17 @ 373.112 445.45/446.80 c bounds 419 >= 19 @ 373.132 445.45/446.80 c bounds 419 >= 21 @ 373.155 445.45/446.80 c bounds 419 >= 23 @ 373.18 445.45/446.80 c bounds 419 >= 25 @ 373.201 445.45/446.80 c bounds 419 >= 27 @ 373.224 445.45/446.80 c bounds 419 >= 29 @ 373.284 445.45/446.80 c bounds 419 >= 31 @ 375.506 445.45/446.80 c #Conflicts: 52000 | #Constraints: 662663 445.45/446.80 c bounds 419 >= 33 @ 381.876 445.45/446.80 c #Conflicts: 53000 | #Constraints: 663678 445.45/446.80 c #Conflicts: 54000 | #Constraints: 664678 445.45/446.80 c #Conflicts: 55000 | #Constraints: 665678 445.45/446.80 c #Conflicts: 56000 | #Constraints: 666678 445.45/446.80 c INPROCESSING 445.45/446.80 c GARBAGE COLLECT 445.45/446.80 c rational objective 174.302 530.12/531.72 c #Conflicts: 57000 | #Constraints: 662869 530.12/531.72 c #Conflicts: 58000 | #Constraints: 663869 530.12/531.72 c #Conflicts: 59000 | #Constraints: 664869 530.12/531.72 c #Conflicts: 60000 | #Constraints: 665869 530.12/531.72 c #Conflicts: 61000 | #Constraints: 666869 530.12/531.72 c INPROCESSING 530.12/531.72 c GARBAGE COLLECT 530.12/531.72 c rational objective 174.669 590.05/591.81 c bounds 417 >= 33 @ 528.228 590.05/591.81 c #Conflicts: 62000 | #Constraints: 662873 590.05/591.81 c #Conflicts: 63000 | #Constraints: 663881 590.05/591.81 c bounds 416 >= 33 @ 541.931 590.05/591.81 c bounds 413 >= 33 @ 548.335 590.05/591.81 c bounds 409 >= 33 @ 549.033 590.05/591.81 c #Conflicts: 64000 | #Constraints: 664902 590.05/591.81 c bounds 408 >= 33 @ 551.334 590.05/591.81 c bounds 406 >= 33 @ 551.855 590.05/591.81 c bounds 405 >= 33 @ 554.12 590.05/591.81 c bounds 404 >= 33 @ 555.532 590.05/591.81 c bounds 403 >= 33 @ 556.89 590.05/591.81 c bounds 401 >= 33 @ 559.127 590.05/591.81 c #Conflicts: 65000 | #Constraints: 665928 590.05/591.81 c bounds 397 >= 33 @ 563.934 590.05/591.81 c bounds 397 >= 34 @ 563.96 590.05/591.81 c bounds 397 >= 35 @ 563.996 590.05/591.81 c bounds 397 >= 36 @ 564.022 590.05/591.81 c bounds 397 >= 37 @ 564.05 590.05/591.81 c bounds 397 >= 38 @ 564.084 590.05/591.81 c bounds 397 >= 39 @ 564.119 590.05/591.81 c bounds 397 >= 40 @ 564.154 590.05/591.81 c bounds 397 >= 41 @ 564.185 590.05/591.81 c bounds 397 >= 42 @ 564.215 590.05/591.81 c bounds 397 >= 43 @ 564.248 590.05/591.81 c bounds 397 >= 44 @ 564.281 590.05/591.81 c bounds 397 >= 45 @ 564.317 590.05/591.81 c bounds 397 >= 46 @ 564.352 590.05/591.81 c bounds 397 >= 47 @ 564.396 590.05/591.81 c bounds 397 >= 48 @ 564.537 590.05/591.81 c bounds 397 >= 49 @ 564.574 590.05/591.81 c bounds 397 >= 50 @ 564.615 590.05/591.81 c bounds 397 >= 51 @ 564.769 590.05/591.81 c bounds 397 >= 52 @ 568.58 590.05/591.81 c bounds 397 >= 53 @ 568.792 590.05/591.81 c bounds 397 >= 54 @ 569.08 590.05/591.81 c bounds 397 >= 55 @ 569.411 590.05/591.81 c bounds 397 >= 56 @ 570.014 590.05/591.81 c bounds 397 >= 57 @ 570.646 590.05/591.81 c bounds 397 >= 58 @ 571.997 590.05/591.81 c bounds 397 >= 59 @ 572.776 590.05/591.81 c bounds 396 >= 59 @ 573.133 590.05/591.81 c bounds 396 >= 60 @ 573.917 590.05/591.81 c #Conflicts: 66000 | #Constraints: 667184 590.05/591.81 c bounds 394 >= 60 @ 575.499 590.05/591.81 c bounds 394 >= 61 @ 576.942 590.05/591.81 c INPROCESSING 590.05/591.81 c GARBAGE COLLECT 590.05/591.81 c rational objective 174.693 642.71/644.61 c bounds 394 >= 62 @ 587.584 642.71/644.61 c #Conflicts: 67000 | #Constraints: 662942 642.71/644.61 c bounds 394 >= 63 @ 589.266 642.71/644.61 c bounds 393 >= 63 @ 589.531 642.71/644.61 c bounds 392 >= 63 @ 589.568 642.71/644.61 c bounds 389 >= 63 @ 590.998 642.71/644.61 c bounds 379 >= 63 @ 591.289 642.71/644.61 c #Conflicts: 68000 | #Constraints: 663982 642.71/644.61 c bounds 379 >= 64 @ 599.099 642.71/644.61 c bounds 378 >= 64 @ 604.508 642.71/644.61 c #Conflicts: 69000 | #Constraints: 665010 642.71/644.61 c bounds 378 >= 65 @ 607.978 642.71/644.61 c #Conflicts: 70000 | #Constraints: 666043 642.71/644.61 c bounds 378 >= 66 @ 609.559 642.71/644.61 c bounds 377 >= 66 @ 609.616 642.71/644.61 c #Conflicts: 71000 | #Constraints: 667062 642.71/644.61 c #Conflicts: 72000 | #Constraints: 668063 642.71/644.61 c INPROCESSING 642.71/644.61 c GARBAGE COLLECT 642.71/644.61 c rational objective 174.898 810.97/813.31 c bounds 377 >= 67 @ 642.743 810.97/813.31 c #Conflicts: 73000 | #Constraints: 663659 810.97/813.31 c bounds 377 >= 68 @ 649.079 810.97/813.31 c #Conflicts: 74000 | #Constraints: 664689 810.97/813.31 c bounds 377 >= 69 @ 658.067 810.97/813.31 c #Conflicts: 75000 | #Constraints: 665716 810.97/813.31 c #Conflicts: 76000 | #Constraints: 666716 810.97/813.31 c #Conflicts: 77000 | #Constraints: 667716 810.97/813.31 c bounds 377 >= 70 @ 670.548 810.97/813.31 c bounds 376 >= 70 @ 674.224 810.97/813.31 c #Conflicts: 78000 | #Constraints: 668759 810.97/813.31 c INPROCESSING 810.97/813.31 c GARBAGE COLLECT 810.97/813.31 c bounds 375 >= 70 @ 737.181 810.97/813.31 c #Conflicts: 79000 | #Constraints: 664156 810.97/813.31 c #Conflicts: 80000 | #Constraints: 665156 810.97/813.31 c #Conflicts: 81000 | #Constraints: 666156 810.97/813.31 c #Conflicts: 82000 | #Constraints: 667156 810.97/813.31 c bounds 375 >= 71 @ 758.094 810.97/813.31 c bounds 374 >= 71 @ 758.146 810.97/813.31 c #Conflicts: 83000 | #Constraints: 668216 810.97/813.31 c bounds 373 >= 71 @ 769.367 810.97/813.31 c bounds 372 >= 71 @ 769.434 810.97/813.31 c #Conflicts: 84000 | #Constraints: 669227 810.97/813.31 c INPROCESSING 810.97/813.31 c GARBAGE COLLECT 810.97/813.31 c rational objective 174.898 973.60/976.43 c #Conflicts: 85000 | #Constraints: 664401 973.60/976.43 c #Conflicts: 86000 | #Constraints: 665411 973.60/976.43 c #Conflicts: 87000 | #Constraints: 666420 973.60/976.43 c #Conflicts: 88000 | #Constraints: 667426 973.60/976.43 c #Conflicts: 89000 | #Constraints: 668436 973.60/976.43 c #Conflicts: 90000 | #Constraints: 669444 973.60/976.43 c INPROCESSING 973.60/976.43 c GARBAGE COLLECT 973.60/976.43 c rational objective 174.898 1029.66/1032.65 c #Conflicts: 91000 | #Constraints: 664418 1029.66/1032.65 c #Conflicts: 92000 | #Constraints: 665418 1029.66/1032.65 c #Conflicts: 93000 | #Constraints: 666418 1029.66/1032.65 c bounds 372 >= 72 @ 987.606 1029.66/1032.65 c #Conflicts: 94000 | #Constraints: 667445 1029.66/1032.65 c #Conflicts: 95000 | #Constraints: 668446 1029.66/1032.65 c bounds 372 >= 73 @ 1007.72 1029.66/1032.65 c #Conflicts: 96000 | #Constraints: 669479 1029.66/1032.65 c INPROCESSING 1029.66/1032.65 c GARBAGE COLLECT 1029.66/1032.65 c rational objective 174.898 1084.71/1087.85 c #Conflicts: 97000 | #Constraints: 664271 1084.71/1087.85 c #Conflicts: 98000 | #Constraints: 665271 1084.71/1087.85 c #Conflicts: 99000 | #Constraints: 666271 1084.71/1087.85 c #Conflicts: 100000 | #Constraints: 667271 1084.71/1087.85 c #Conflicts: 101000 | #Constraints: 668271 1084.71/1087.85 c bounds 372 >= 74 @ 1053.95 1084.71/1087.85 c #Conflicts: 102000 | #Constraints: 669304 1084.71/1087.85 c #Conflicts: 103000 | #Constraints: 670304 1084.71/1087.85 c INPROCESSING 1084.71/1087.85 c GARBAGE COLLECT 1084.71/1087.85 c rational objective 174.898 1273.18/1276.81 c #Conflicts: 104000 | #Constraints: 664898 1273.18/1276.81 c #Conflicts: 105000 | #Constraints: 665899 1273.18/1276.81 c #Conflicts: 106000 | #Constraints: 666899 1273.18/1276.81 c #Conflicts: 107000 | #Constraints: 667899 1273.18/1276.81 c #Conflicts: 108000 | #Constraints: 668899 1273.18/1276.81 c #Conflicts: 109000 | #Constraints: 669899 1273.18/1276.81 c bounds 372 >= 75 @ 1132.33 1273.18/1276.81 c #Conflicts: 110000 | #Constraints: 670945 1273.18/1276.81 c INPROCESSING 1273.18/1276.81 c GARBAGE COLLECT 1273.18/1276.81 c rational objective 174.898 1342.71/1346.57 c #Conflicts: 111000 | #Constraints: 665335 1342.71/1346.57 c #Conflicts: 112000 | #Constraints: 666335 1342.71/1346.57 c #Conflicts: 113000 | #Constraints: 667336 1342.71/1346.57 c #Conflicts: 114000 | #Constraints: 668336 1342.71/1346.57 c #Conflicts: 115000 | #Constraints: 669336 1342.71/1346.57 c #Conflicts: 116000 | #Constraints: 670337 1342.71/1346.57 c #Conflicts: 117000 | #Constraints: 671337 1342.71/1346.57 c INPROCESSING 1342.71/1346.57 c GARBAGE COLLECT 1342.71/1346.57 c rational objective 174.898 1424.79/1428.89 c #Conflicts: 118000 | #Constraints: 665554 1424.79/1428.89 c #Conflicts: 119000 | #Constraints: 666555 1424.79/1428.89 c #Conflicts: 120000 | #Constraints: 667555 1424.79/1428.89 c #Conflicts: 121000 | #Constraints: 668555 1424.79/1428.89 c bounds 372 >= 76 @ 1379.51 1424.79/1428.89 c #Conflicts: 122000 | #Constraints: 669597 1424.79/1428.89 c #Conflicts: 123000 | #Constraints: 670597 1424.79/1428.89 c #Conflicts: 124000 | #Constraints: 671597 1424.79/1428.89 c INPROCESSING 1424.79/1428.89 c GARBAGE COLLECT 1424.79/1428.89 c rational objective 174.898 1506.37/1510.63 c #Conflicts: 125000 | #Constraints: 665600 1506.37/1510.63 c #Conflicts: 126000 | #Constraints: 666601 1506.37/1510.63 c #Conflicts: 127000 | #Constraints: 667601 1506.37/1510.63 c #Conflicts: 128000 | #Constraints: 668601 1506.37/1510.63 c #Conflicts: 129000 | #Constraints: 669601 1506.37/1510.63 c #Conflicts: 130000 | #Constraints: 670602 1506.37/1510.63 c #Conflicts: 131000 | #Constraints: 671602 1506.37/1510.63 c INPROCESSING 1506.37/1510.63 c GARBAGE COLLECT 1506.37/1510.63 c rational objective 174.898 1600.73/1605.27 c bounds 370 >= 76 @ 1497.86 1600.73/1605.27 c #Conflicts: 132000 | #Constraints: 665412 1600.73/1605.27 c bounds 369 >= 76 @ 1504.72 1600.73/1605.27 c #Conflicts: 133000 | #Constraints: 666419 1600.73/1605.27 c #Conflicts: 134000 | #Constraints: 667419 1600.73/1605.27 c #Conflicts: 135000 | #Constraints: 668419 1600.73/1605.27 c #Conflicts: 136000 | #Constraints: 669419 1600.73/1605.27 c #Conflicts: 137000 | #Constraints: 670419 1600.73/1605.27 c #Conflicts: 138000 | #Constraints: 671419 1600.73/1605.27 c bounds 369 >= 77 @ 1567.97 1600.73/1605.27 c #Conflicts: 139000 | #Constraints: 672469 1600.73/1605.27 c INPROCESSING 1600.73/1605.27 c GARBAGE COLLECT 1600.73/1605.27 c rational objective 174.898 1748.25/1753.18 c bounds 360 >= 77 @ 1591.59 1748.25/1753.18 c bounds 357 >= 77 @ 1592.84 1748.25/1753.18 c bounds 355 >= 77 @ 1594.15 1748.25/1753.18 c bounds 353 >= 77 @ 1594.64 1748.25/1753.18 c #Conflicts: 140000 | #Constraints: 666043 1748.25/1753.18 c #Conflicts: 141000 | #Constraints: 667066 1748.25/1753.18 c #Conflicts: 142000 | #Constraints: 668082 1748.25/1753.18 c #Conflicts: 143000 | #Constraints: 669097 1748.25/1753.18 c #Conflicts: 144000 | #Constraints: 670108 1748.25/1753.18 c #Conflicts: 145000 | #Constraints: 671120 1748.25/1753.18 c #Conflicts: 146000 | #Constraints: 672130 1748.25/1753.18 c bounds 352 >= 77 @ 1724.71 1748.25/1753.18 c #Conflicts: 147000 | #Constraints: 673140 1748.25/1753.18 c INPROCESSING 1748.25/1753.18 c GARBAGE COLLECT 1748.25/1753.18 c rational objective 174.898 1836.51/1841.67 c #Conflicts: 148000 | #Constraints: 666472 1836.51/1841.67 c #Conflicts: 149000 | #Constraints: 667472 1836.51/1841.67 c #Conflicts: 150000 | #Constraints: 668472 1836.51/1841.67 c #Conflicts: 151000 | #Constraints: 669472 1836.51/1841.67 c #Conflicts: 152000 | #Constraints: 670472 1836.51/1841.67 c #Conflicts: 153000 | #Constraints: 671472 1836.51/1841.67 c #Conflicts: 154000 | #Constraints: 672473 1836.51/1841.67 c #Conflicts: 155000 | #Constraints: 673473 1836.51/1841.67 c INPROCESSING 1836.51/1841.67 c GARBAGE COLLECT 1836.51/1841.67 c rational objective 174.898 1946.81/1952.28 c #Conflicts: 156000 | #Constraints: 666667 1946.81/1952.28 c #Conflicts: 157000 | #Constraints: 667667 1946.81/1952.28 c #Conflicts: 158000 | #Constraints: 668667 1946.81/1952.28 c #Conflicts: 159000 | #Constraints: 669667 1946.81/1952.28 c #Conflicts: 160000 | #Constraints: 670668 1946.81/1952.28 c #Conflicts: 161000 | #Constraints: 671668 1946.81/1952.28 c #Conflicts: 162000 | #Constraints: 672668 1946.81/1952.28 c #Conflicts: 163000 | #Constraints: 673668 1946.81/1952.28 c INPROCESSING 1946.81/1952.28 c GARBAGE COLLECT 1946.81/1952.28 c rational objective 174.898 2311.50/2318.00 c #Conflicts: 164000 | #Constraints: 666666 2311.50/2318.00 c #Conflicts: 165000 | #Constraints: 667667 2311.50/2318.00 c #Conflicts: 166000 | #Constraints: 668667 2311.50/2318.00 c #Conflicts: 167000 | #Constraints: 669667 2311.50/2318.00 c #Conflicts: 168000 | #Constraints: 670667 2311.50/2318.00 c #Conflicts: 169000 | #Constraints: 671667 2311.50/2318.00 c bounds 352 >= 78 @ 2010.22 2311.50/2318.00 c #Conflicts: 170000 | #Constraints: 672712 2311.50/2318.00 c #Conflicts: 171000 | #Constraints: 673712 2311.50/2318.00 c INPROCESSING 2311.50/2318.00 c GARBAGE COLLECT 2311.50/2318.00 c #Conflicts: 172000 | #Constraints: 666495 2311.50/2318.00 c bounds 351 >= 78 @ 2170.38 2311.50/2318.00 c #Conflicts: 173000 | #Constraints: 667497 2311.50/2318.00 c #Conflicts: 174000 | #Constraints: 668516 2311.50/2318.00 c #Conflicts: 175000 | #Constraints: 669527 2311.50/2318.00 c #Conflicts: 176000 | #Constraints: 670547 2311.50/2318.00 c bounds 348 >= 78 @ 2221.81 2311.50/2318.00 c #Conflicts: 177000 | #Constraints: 671551 2311.50/2318.00 c #Conflicts: 178000 | #Constraints: 672551 2311.50/2318.00 c #Conflicts: 179000 | #Constraints: 673551 2311.50/2318.00 c #Conflicts: 180000 | #Constraints: 674551 2311.50/2318.00 c INPROCESSING 2311.50/2318.00 c GARBAGE COLLECT 2311.50/2318.00 c rational objective 174.932 2436.07/2442.86 c #Conflicts: 181000 | #Constraints: 667118 2436.07/2442.86 c #Conflicts: 182000 | #Constraints: 668118 2436.07/2442.86 c #Conflicts: 183000 | #Constraints: 669118 2436.07/2442.86 c #Conflicts: 184000 | #Constraints: 670118 2436.07/2442.86 c #Conflicts: 185000 | #Constraints: 671119 2436.07/2442.86 c #Conflicts: 186000 | #Constraints: 672121 2436.07/2442.86 c #Conflicts: 187000 | #Constraints: 673121 2436.07/2442.86 c #Conflicts: 188000 | #Constraints: 674122 2436.07/2442.86 c #Conflicts: 189000 | #Constraints: 675122 2436.07/2442.86 c INPROCESSING 2436.07/2442.86 c GARBAGE COLLECT 2436.07/2442.86 c rational objective 174.932 3063.50/3071.90 c bounds 346 >= 78 @ 2422.08 3063.50/3071.90 c #Conflicts: 190000 | #Constraints: 667649 3063.50/3071.90 c #Conflicts: 191000 | #Constraints: 668831 3063.50/3071.90 c #Conflicts: 192000 | #Constraints: 670373 3063.50/3071.90 c #Conflicts: 193000 | #Constraints: 672058 3063.50/3071.90 c #Conflicts: 194000 | #Constraints: 673602 3063.50/3071.90 c #Conflicts: 195000 | #Constraints: 674920 3063.50/3071.90 c #Conflicts: 196000 | #Constraints: 676072 3063.50/3071.90 c #Conflicts: 197000 | #Constraints: 677354 3063.50/3071.90 c #Conflicts: 198000 | #Constraints: 678504 3063.50/3071.90 c INPROCESSING 3063.50/3071.90 c GARBAGE COLLECT 3063.50/3071.90 c #Conflicts: 199000 | #Constraints: 669199 3063.50/3071.90 c #Conflicts: 200000 | #Constraints: 670199 3063.50/3071.90 c #Conflicts: 201000 | #Constraints: 671199 3063.50/3071.90 c #Conflicts: 202000 | #Constraints: 672200 3063.50/3071.90 c #Conflicts: 203000 | #Constraints: 673201 3063.50/3071.90 c #Conflicts: 204000 | #Constraints: 674201 3063.50/3071.90 c #Conflicts: 205000 | #Constraints: 675201 3063.50/3071.90 c #Conflicts: 206000 | #Constraints: 676202 3063.50/3071.90 c #Conflicts: 207000 | #Constraints: 677203 3063.50/3071.90 c bounds 346 >= 79 @ 2893.39 3063.50/3071.90 c INPROCESSING 3063.50/3071.90 c GARBAGE COLLECT 3063.50/3071.90 c #Conflicts: 208000 | #Constraints: 668494 3063.50/3071.90 c #Conflicts: 209000 | #Constraints: 669494 3063.50/3071.90 c #Conflicts: 210000 | #Constraints: 670495 3063.50/3071.90 c #Conflicts: 211000 | #Constraints: 671495 3063.50/3071.90 c #Conflicts: 212000 | #Constraints: 672495 3063.50/3071.90 c #Conflicts: 213000 | #Constraints: 673495 3063.50/3071.90 c #Conflicts: 214000 | #Constraints: 674496 3063.50/3071.90 c #Conflicts: 215000 | #Constraints: 675497 3063.50/3071.90 c #Conflicts: 216000 | #Constraints: 676497 3063.50/3071.90 c INPROCESSING 3063.50/3071.90 c GARBAGE COLLECT 3063.50/3071.90 c rational objective 174.932 3215.21/3224.07 c #Conflicts: 217000 | #Constraints: 667921 3215.21/3224.07 c #Conflicts: 218000 | #Constraints: 668921 3215.21/3224.07 c #Conflicts: 219000 | #Constraints: 669921 3215.21/3224.07 c #Conflicts: 220000 | #Constraints: 670921 3215.21/3224.07 c #Conflicts: 221000 | #Constraints: 671921 3215.21/3224.07 c #Conflicts: 222000 | #Constraints: 672921 3215.21/3224.07 c #Conflicts: 223000 | #Constraints: 673922 3215.21/3224.07 c #Conflicts: 224000 | #Constraints: 674922 3215.21/3224.07 c #Conflicts: 225000 | #Constraints: 675923 3215.21/3224.07 c #Conflicts: 226000 | #Constraints: 676923 3215.21/3224.07 c INPROCESSING 3215.21/3224.07 c GARBAGE COLLECT 3215.21/3224.07 c rational objective 174.945 3443.77/3453.20 c #Conflicts: 227000 | #Constraints: 668336 3443.77/3453.20 c #Conflicts: 228000 | #Constraints: 669358 3443.77/3453.20 c #Conflicts: 229000 | #Constraints: 670370 3443.77/3453.20 c #Conflicts: 230000 | #Constraints: 671383 3443.77/3453.20 c #Conflicts: 231000 | #Constraints: 672396 3443.77/3453.20 c #Conflicts: 232000 | #Constraints: 673413 3443.77/3453.20 c #Conflicts: 233000 | #Constraints: 674426 3443.77/3453.20 c #Conflicts: 234000 | #Constraints: 675436 3443.77/3453.20 c #Conflicts: 235000 | #Constraints: 676442 3443.77/3453.20 c #Conflicts: 236000 | #Constraints: 677442 3443.77/3453.20 c INPROCESSING 3443.77/3453.20 c GARBAGE COLLECT 3443.77/3453.20 c rational objective 174.945 3590.79/3600.63 c #Conflicts: 237000 | #Constraints: 668698 3590.79/3600.63 c #Conflicts: 238000 | #Constraints: 669698 3590.79/3600.63 c #Conflicts: 239000 | #Constraints: 670698 3590.79/3600.63 c #Conflicts: 240000 | #Constraints: 671698 3590.79/3600.63 c #Conflicts: 241000 | #Constraints: 672698 3590.79/3600.63 c #Conflicts: 242000 | #Constraints: 673698 3590.79/3600.63 c #Conflicts: 243000 | #Constraints: 674698 3590.79/3600.63 c #Conflicts: 244000 | #Constraints: 675699 3590.79/3600.63 c #Conflicts: 245000 | #Constraints: 676699 3590.79/3600.63 c #Conflicts: 246000 | #Constraints: 677699 3590.79/3600.63 c INPROCESSING 3590.79/3600.63 c GARBAGE COLLECT 3590.79/3600.63 c rational objective 174.946 3600.07/3609.90 c Program interrupted by user. 3600.07/3609.90 c cpu time 3577.1 s 3600.07/3609.90 c deterministic time 471008947505 4.71e+11 3600.07/3609.90 c optimization time 5.56621 s 3600.07/3609.90 c total solve time 3570.14 s 3600.07/3609.90 c core-guided solve time 2321.91 s 3600.07/3609.90 c propagation time 2265.03 s 3600.07/3609.90 c conflict analysis time 597.23 s 3600.07/3609.90 c propagations 82716606 3600.07/3609.90 c resolve steps 3279575 3600.07/3609.90 c decisions 15165648 3600.07/3609.90 c conflicts 246514 3600.07/3609.90 c restarts 573 3600.07/3609.90 c inprocessing phases 41 3600.07/3609.90 c input clauses 657158 3600.07/3609.90 c input cardinalities 60 3600.07/3609.90 c input general constraints 825 3600.07/3609.90 c input average constraint length 6.78 3600.07/3609.90 c input average constraint degree 142.76 3600.07/3609.90 c learned clauses 89695 3600.07/3609.90 c learned cardinalities 25 3600.07/3609.90 c learned general constraints 160475 3600.07/3609.90 c learned average constraint length 4069.28 3600.07/3609.90 c learned average constraint degree 86875102241.70 3600.07/3609.90 c watched constraints 32143 3600.07/3609.90 c counting constraints 129157 3600.07/3609.90 c gcd simplifications 3867 3600.07/3609.90 c detected cardinalities 2 3600.07/3609.90 c weakened non-implied lits 336453130 3600.07/3609.90 c weakened non-implying lits 81741 3600.07/3609.90 c original variables 10000 3600.07/3609.90 c clausal propagations 17201549 3600.07/3609.90 c cardinality propagations 123586 3600.07/3609.90 c watched propagations 3570611 3600.07/3609.90 c counting propagations 60959607 3600.07/3609.90 c watch lookups 17698489822 3600.07/3609.90 c watch backjump lookups 17494337625 3600.07/3609.90 c watch checks 166535828919 3600.07/3609.90 c propagation checks 263909396401 3600.07/3609.90 c constraint additions 5174508093 3600.07/3609.90 c trail pops 98118926 3600.07/3609.90 c formula constraints 656900 3600.07/3609.90 c learned constraints 245925 3600.07/3609.90 c bound constraints 249 3600.07/3609.90 c core-guided constraints 894 3600.07/3609.90 c encountered formula constraints 1469492 3600.07/3609.90 c encountered learned constraints 1540062 3600.07/3609.90 c encountered bound constraints 4727 3600.07/3609.90 c encountered core-guided constraints 458737 3600.07/3609.90 c LP total time 1273.75 s 3600.07/3609.90 c LP solve time 1092.12 s 3600.07/3609.90 c LP constraints added 656978 3600.07/3609.90 c LP constraints removed 47 3600.07/3609.90 c LP pivots internal 246892 3600.07/3609.90 c LP pivots root 138572 3600.07/3609.90 c LP calls 4194 3600.07/3609.90 c LP optimalities 535 3600.07/3609.90 c LP no pivot count 161 3600.07/3609.90 c LP infeasibilities 3640 3600.07/3609.90 c LP valid Farkas constraints 3634 3600.07/3609.90 c LP learned Farkas constraints 598 3600.07/3609.90 c LP basis resets 20 3600.07/3609.90 c LP cycling count 6 3600.07/3609.90 c LP singular count 4 3600.07/3609.90 c LP no primal count 0 3600.07/3609.90 c LP no farkas count 6 3600.07/3609.90 c LP other issue count 4 3600.07/3609.90 c LP Gomory cuts 38 3600.07/3609.90 c LP learned cuts 41 3600.07/3609.90 c LP deleted cuts 47 3600.07/3609.90 c LP encountered Gomory constraints 4101 3600.07/3609.90 c LP encountered Farkas constraints 46064 3600.07/3609.90 c LP encountered learned Farkas constraints 2308 3600.07/3609.90 c CG auxiliary variables introduced 318 3600.07/3609.90 c CG solutions found 189 3600.07/3609.90 c CG cores constructed 60 3600.07/3609.90 c CG core cardinality constraints returned 0 3600.07/3609.90 c CG unit cores 0 3600.07/3609.90 c CG single cores 57 3600.07/3609.90 c CG blocks removed during cardinality reduction 0 3600.07/3609.90 c CG first core best 0 3600.07/3609.90 c CG decision core best 0 3600.07/3609.90 c CG core reduction tie 3 3600.07/3609.90 c CG core degree average 1.00 3600.07/3609.90 c CG core slack average 808.40 3600.07/3609.90 s SATISFIABLE 3600.07/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 346
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: 64059 MiB (62806 MiB free)
memory of node 1: 64510 MiB (63051 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455144-1721459292/watcher-4455144-1721459292 -o /tmp/evaluation-result-4455144-1721459292/solver-4455144-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045848 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455144-1721459292.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=1045874, runsolver pid=1045871
[startup+0.100092 s]*
/proc/loadavg: 1.70 3.13 3.75 5/228 1045875
/proc/meminfo: memFree=128868172/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=40436 memory=9512 CPUtime=0.1 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 1717 0 0 0 6 4 0 0 20 0 1 0 198088760 41406464 2378 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 10109 2378 1248 922 0 2061 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40436 KiB
Current children cumulated memory: 9512 KiB
[startup+0.213136 s]*
/proc/loadavg: 1.70 3.13 3.75 5/224 1045876
/proc/meminfo: memFree=128871980/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=40952 memory=12348 CPUtime=0.21 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 1890 0 0 0 13 8 0 0 20 0 1 0 198088760 41934848 3087 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 10238 3087 1248 922 0 2190 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40952 KiB
Current children cumulated memory: 12348 KiB
[startup+0.312665 s]*
/proc/loadavg: 1.70 3.13 3.75 5/236 1045896
/proc/meminfo: memFree=128851332/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=42272 memory=13668 CPUtime=0.32 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 2236 0 0 0 20 12 0 0 20 0 1 0 198088760 43286528 3417 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 10568 3417 1248 922 0 2520 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 42272 KiB
Current children cumulated memory: 13668 KiB
[startup+0.700262 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128836712/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=52368 memory=22720 CPUtime=0.69 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 3972 0 0 0 45 24 0 0 20 0 1 0 198088760 53624832 5680 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 13092 5680 1248 922 0 5044 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 52368 KiB
Current children cumulated memory: 22720 KiB
[startup+1.5003 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=128807972/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=83376 memory=46108 CPUtime=1.49 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 7745 0 0 0 98 51 0 0 20 0 1 0 198088760 85377024 11527 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 20844 11527 1248 922 0 12796 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 83376 KiB
Current children cumulated memory: 46108 KiB
[startup+3.11312 s]
/proc/loadavg: 1.70 3.13 3.75 5/242 1045908
/proc/meminfo: memFree=127429088/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=360716 memory=330600 CPUtime=3.09 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 57438 0 0 0 238 71 0 0 20 0 1 0 198088760 369373184 82650 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 90179 82650 1647 922 0 82131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 330600 KiB
[startup+6.30031 s]
/proc/loadavg: 1.88 3.14 3.75 5/242 1045910
/proc/meminfo: memFree=127569044/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=360716 memory=330600 CPUtime=6.27 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 57464 0 0 0 556 71 0 0 20 0 1 0 198088760 369373184 82650 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 90179 82650 1647 922 0 82131 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 330600 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 3.16 3.75 5/242 1045910
/proc/meminfo: memFree=127386048/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=520272 memory=408084 CPUtime=12.65 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 63781 0 0 0 1129 136 0 0 20 0 1 0 198088760 532758528 102021 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 130068 102021 1846 922 0 122020 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 520272 KiB
Current children cumulated memory: 408084 KiB
[startup+25.5004 s]
/proc/loadavg: 2.48 3.20 3.75 5/242 1045913
/proc/meminfo: memFree=127053880/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=546144 memory=446220 CPUtime=25.4 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 68250 0 0 0 2374 166 0 0 20 0 1 0 198088760 559251456 111555 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 136536 111555 1846 922 0 128488 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 546144 KiB
Current children cumulated memory: 446220 KiB
[startup+51.113 s]
/proc/loadavg: 3.13 3.30 3.77 5/242 1045919
/proc/meminfo: memFree=126554372/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=618996 memory=491304 CPUtime=50.93 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 69996 0 0 0 4889 204 0 0 20 0 1 0 198088760 633851904 122826 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 154749 122826 1846 922 0 146701 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 618996 KiB
Current children cumulated memory: 491304 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 3.42 3.79 5/242 1045928
/proc/meminfo: memFree=126161028/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=642320 memory=526288 CPUtime=101.96 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 72049 0 0 0 9941 255 0 0 20 0 1 0 198088760 657735680 131572 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 160580 131572 1846 922 0 152532 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 642320 KiB
Current children cumulated memory: 526288 KiB
[startup+162.3 s]
/proc/loadavg: 4.00 3.56 3.82 5/244 1045942
/proc/meminfo: memFree=125144400/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1054368 memory=870672 CPUtime=161.76 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 99222 0 0 0 15807 369 0 0 20 0 1 0 198088760 1079672832 217668 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 263592 217668 1846 922 0 255544 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1054368 KiB
Current children cumulated memory: 870672 KiB
[startup+222.3 s]
/proc/loadavg: 4.19 3.69 3.85 5/244 1045952
/proc/meminfo: memFree=124543924/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1519160 memory=1203476 CPUtime=221.59 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 141783 0 0 0 21731 428 0 0 20 0 1 0 198088760 1555619840 300869 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 379790 300869 1846 922 0 371742 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1519160 KiB
Current children cumulated memory: 1203476 KiB
[startup+282.3 s]
/proc/loadavg: 4.16 3.78 3.87 5/244 1045963
/proc/meminfo: memFree=124303992/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1539740 memory=1217336 CPUtime=281.41 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 143730 0 0 0 27691 450 0 0 20 0 1 0 198088760 1576693760 304334 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 384935 304334 1846 922 0 376887 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 1539740 KiB
Current children cumulated memory: 1217336 KiB
[startup+342.3 s]
/proc/loadavg: 4.16 3.85 3.89 5/243 1045973
/proc/meminfo: memFree=123977132/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1585268 memory=1284592 CPUtime=341.25 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 147523 0 0 0 33638 487 0 0 20 0 1 0 198088760 1623314432 321148 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 396317 321148 1846 922 0 388269 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1585268 KiB
Current children cumulated memory: 1284592 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 3.90 3.91 5/243 1045984
/proc/meminfo: memFree=123518428/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1631640 memory=1489008 CPUtime=401.08 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 158066 0 0 0 39565 543 0 0 20 0 1 0 198088760 1670799360 372252 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 407910 372252 1846 922 0 399862 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1631640 KiB
Current children cumulated memory: 1489008 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.95 3.93 5/241 1045995
/proc/meminfo: memFree=123352064/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=1643840 memory=1504288 CPUtime=460.92 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 159683 0 0 0 45488 604 0 0 20 0 1 0 198088760 1683292160 376072 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 410960 376072 1846 922 0 402912 0
################
# More data... #
################
Current children cumulated memory: 2555272 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.19 4.15 5/243 1047434
/proc/meminfo: memFree=118516464/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2711744 memory=2555296 CPUtime=2914.31 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 302002 0 0 0 289487 1944 0 0 20 0 1 0 198088760 2776825856 638824 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 677936 638824 1974 922 0 669888 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 2711744 KiB
Current children cumulated memory: 2555296 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.17 4.15 5/243 1047444
/proc/meminfo: memFree=118397744/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2712140 memory=2555692 CPUtime=2974.14 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 308689 0 0 0 295431 1983 0 0 20 0 1 0 198088760 2777231360 638923 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 678035 638923 1974 922 0 669987 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2712140 KiB
Current children cumulated memory: 2555692 KiB
[startup+3042.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/243 1047623
/proc/meminfo: memFree=118312704/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2712140 memory=2555692 CPUtime=3033.98 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 309526 0 0 0 301386 2012 0 0 20 0 1 0 198088760 2777231360 638923 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 678035 638923 1974 922 0 669987 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 2712140 KiB
Current children cumulated memory: 2555692 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/243 1047634
/proc/meminfo: memFree=118038796/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2837804 memory=2691608 CPUtime=3093.83 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 318198 0 0 0 307339 2044 0 0 20 0 1 0 198088760 2905911296 672902 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 709451 672902 1974 922 0 701403 0
Current children cumulated CPU time: 3093.83 s
Current children cumulated vsize: 2837804 KiB
Current children cumulated memory: 2691608 KiB
[startup+3162.3 s]
/proc/loadavg: 4.05 4.13 4.14 5/242 1047657
/proc/meminfo: memFree=118038316/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2837804 memory=2691620 CPUtime=3153.66 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 320170 0 0 0 313286 2080 0 0 20 0 1 0 198088760 2905911296 672905 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 709451 672905 1974 922 0 701403 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 2837804 KiB
Current children cumulated memory: 2691620 KiB
[startup+3222.3 s]
/proc/loadavg: 4.27 4.17 4.15 5/242 1047667
/proc/meminfo: memFree=118035460/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2837804 memory=2691620 CPUtime=3213.51 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 320936 0 0 0 319249 2102 0 0 20 0 1 0 198088760 2905911296 672905 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 709451 672905 1974 922 0 701403 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 2837804 KiB
Current children cumulated memory: 2691620 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.17 4.15 5/242 1047678
/proc/meminfo: memFree=118042412/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2830396 memory=2684344 CPUtime=3273.32 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 324546 0 0 0 325206 2126 0 0 20 0 1 0 198088760 2898325504 671086 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 707599 671086 1974 922 0 699551 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 2830396 KiB
Current children cumulated memory: 2684344 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.15 5/241 1047688
/proc/meminfo: memFree=118032796/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2830396 memory=2684344 CPUtime=3333.17 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 325488 0 0 0 331170 2147 0 0 20 0 1 0 198088760 2898325504 671086 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 707599 671086 1974 922 0 699551 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 2830396 KiB
Current children cumulated memory: 2684344 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.17 4.15 5/242 1047700
/proc/meminfo: memFree=118013832/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2830396 memory=2684396 CPUtime=3393.01 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 326211 0 0 0 337139 2162 0 0 20 0 1 0 198088760 2898325504 671099 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 707599 671099 1974 922 0 699551 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 2830396 KiB
Current children cumulated memory: 2684396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/242 1047711
/proc/meminfo: memFree=118003500/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2830396 memory=2686156 CPUtime=3452.85 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 327859 0 0 0 343105 2180 0 0 20 0 1 0 198088760 2898325504 671539 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 707599 671539 1974 922 0 699551 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 2830396 KiB
Current children cumulated memory: 2686156 KiB
[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.15 5/242 1047721
/proc/meminfo: memFree=117988760/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2830396 memory=2686156 CPUtime=3512.69 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 328498 0 0 0 349028 2241 0 0 20 0 1 0 198088760 2898325504 671539 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 707599 671539 1974 922 0 699551 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 2830396 KiB
Current children cumulated memory: 2686156 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.15 5/242 1047731
/proc/meminfo: memFree=117942256/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2849488 memory=2702776 CPUtime=3572.54 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 331344 0 0 0 354970 2284 0 0 20 0 1 0 198088760 2917875712 675694 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 712372 675694 1974 922 0 704324 0
Current children cumulated CPU time: 3572.54 s
Current children cumulated vsize: 2849488 KiB
Current children cumulated memory: 2702776 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.17 4.16 4.15 5/242 1047737
/proc/meminfo: memFree=117978860/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2849488 memory=2702776 CPUtime=3600.07 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 332026 0 0 0 357710 2297 0 0 20 0 1 0 198088760 2917875712 675694 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 712372 675694 1974 922 0 704324 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2849488 KiB
Current children cumulated memory: 2702776 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.94 s]
# the end of solver process 1045874 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3577.11 s, system=23.0042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.17 4.16 4.15 5/242 1047737
/proc/meminfo: memFree=117978860/131655788 swapFree=131071996/131071996
[pid=1045874] ppid=1045871 vsize=2849488 memory=2702776 CPUtime=3600.07 cores=5,7
/proc/1045874/stat : 1045874 (roundingsat) R 1045871 1045874 1045835 0 -1 4194304 332026 0 0 0 357710 2297 0 0 20 0 1 0 198088760 2917875712 675694 134679101440 4194304 7968373 140721095183104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 8652288 8659920 39178240 140721095189436 140721095189600 140721095189600 140721095196617 0
/proc/1045874/statm: 712372 675694 1974 922 0 704324 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2849488 KiB
Current children cumulated memory: 2702776 KiB
Child status: 0
Real time (s): 3609.94
CPU time (s): 3600.11
CPU user time (s): 3577.11
CPU system time (s): 23.0042
CPU usage (%): 99.7278
Max. virtual memory (cumulated for all children) (KiB): 2923160
Max. memory (cumulated for all children) (KiB): 2776348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.11
system time used= 23.0042
maximum resident set size= 2834668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332039
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= 85
involuntary context switches= 2090
# summary of solver processes directly reported to runsolver:
# pid: 1045874
# total CPU time (s): 3600.11
# total CPU user time (s): 3577.11
# total CPU system time (s): 23.0042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5739 second user time and 34.8121 second system time
The end
Begin job on nodeC009 at 2024-07-20 09:08:24 IDJOB=4455144 IDBENCH=147563 IDSOLVER=3084 FILE ID=nodeC009/4455144-1721459292 RUNJOBID= nodeC009-1721459303-1045848 SLURM_JOB_ID= 7545707 Free space on /tmp= 723732 MiB SOLVER NAME= RoundingSat nolog BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455144-1721459292/watcher-4455144-1721459292 -o /tmp/evaluation-result-4455144-1721459292/solver-4455144-1721459292 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721459303-1045848 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455144-1721459292.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb RANDOM SEED=1089709519 nodeC009.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.317 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.316 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.27 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.356 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.360 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.27 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.316 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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 : 2992.491 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.27 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.329 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.34 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.323 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.27 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 128883136 kB MemAvailable: 129881400 kB Buffers: 600408 kB Cached: 1241932 kB SwapCached: 0 kB Active: 1151496 kB Inactive: 1066716 kB Active(anon): 1360 kB Inactive(anon): 420496 kB Active(file): 1150136 kB Inactive(file): 646220 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 50320 kB Writeback: 32 kB AnonPages: 376008 kB Mapped: 107388 kB Shmem: 45892 kB KReclaimable: 83876 kB Slab: 185332 kB SReclaimable: 83876 kB SUnreclaim: 101456 kB KernelStack: 3712 kB PageTables: 9740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 650120 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 61952 kB HardwareCorrupted: 0 kB AnonHugePages: 229376 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: 187208 kB DirectMap2M: 19640320 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723684 MiB End job on nodeC009 at 2024-07-20 10:08:34