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