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