Trace number 2695900

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb_cplex 2010-06-29No Cert. 1800.1 1800.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.12.opb
MD5SUMb1eab2cf935e923f8f1ff9f24be23d02
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark874.009
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41
Optimality of the best value was proved YES
Number of variables25484
Total number of constraints1553328
Number of constraints which are clauses1549096
Number of constraints which are cardinality constraints (but not clauses)4232
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint184
Number of terms in the objective function 184
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 184
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 182
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 366
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c pb_cplex 1.0 - 20100701
0.00/0.00	c Parsing opb file format. File HOME/instance-2695900-1278021273.opb.
0.00/0.00	c Instance file HOME/instance-2695900-1278021273.opb
0.00/0.00	c File size is 56560892 bytes.
16.79/16.84	c Highest Coefficient sum: 366
16.79/16.84	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
18.78/18.84	c ============================[ Problem Statistics ]=============================
18.78/18.84	c |                                                                             |
18.78/18.84	c |  Parsing time:          18.23        s                                      |
18.78/18.84	c |  Number Variables:      25484                                               |
19.38/19.48	c |  Number Constraints:    1553328                                             |
19.38/19.48	c ===============================================================================
1799.59/1800.20	c Remaining time 1781.29 sec.
1799.59/1800.20	s SATISFIABLE
1799.59/1800.20	c Solution value = 96.00
1799.59/1800.20	v x16837 -x16838 -x16839 x16840 x16841 -x16842 x16843 -x16844 x16845 -x16846 x16847 -x16848 x16849 -x16850 x16851 -x16852 x16853 -x16854 x16855 -x16856 x16857 -x16858 x16859 -x16860 x16861 -x16862 x16863 -x16864 x16865 -x16866 x16867 -x16868 x16869 -x16870 x16871 -x16872 x16873 x16874 x16875 x16876 x16877 -x16878 x16879 -x16880 x16881 -x16882 x16883 -x16884 x16885 -x16886 x16887 -x16888 x16889 -x16890 x16891 -x16892 x16893 -x16894 x16895 -x16896 x16897 -x16898 x16899 -x16900 x16901 -x16902 x16903 -x16904 x16905 -x16906 x16907 -x16908 x16909 -x16910 x16911 -x16912 x16913 -x16914 x16915 x16916 -x16917 x16918 x16919 -x16920 x16921 -x16922 -x16923 -x16924 x16925 -x16926 x16927 -x16928 x16929 -x16930 x16931 -x16932 x16933 -x16934 x16935 -x16936 x16937 x16938 x16939 -x16940 x16941 -x16942 x16943 -x16944 x16945 -x16946 x16947 -x16948 x16949 -x16950 x16951 -x16952 x16953 -x16954 x16955 -x16956 x16957 -x16958 x16959 -x16960 x16961 -x16962 x16963 -x16964 x16965 -x16966 x16967 -x16968 x16969 -x16970 x16971 -x16972 x16973 -x16974 x16975 -x16976 x16977 -x16978 x16979 -x16980 x16981 -x16982 x16983 -x16984 x16985 -x16986 x16987 -x16988 x16989 -x16990 x16991 -x16992 x16993 -x16994 x16995 x16996 x16997 -x16998 x16999 -x17000 x17001 -x17002 x17003 -x17004 x17005 -x17006 x17007 -x17008 x17009 -x17010 x17011 -x17012 x17013 -x17014 x17015 -x17016 x17017 -x17018 x17019 -x17020 -x21391 -x21897 -x21392 -x21898 -x21393 -x21899 -x21394 -x21900 -x21395 -x21901 -x21396 -x21902 -x21397 -x21903 -x21398 -x21904 -x21399 -x21905 x21400 x21906 -x21401 -x21907 -x21402 -x21908 -x21403 -x21909 -x21404 -x21910 -x21405 -x21911 -x21406 -x21912 -x21407 -x21913 -x21408 -x21914 -x21409 -x21915 -x21410 -x21916 -x21411 -x21917 -x21412 -x21918 -x21413 -x21919 -x21414 -x21920 -x21415 -x21921 -x21416 -x21922 -x21417 -x21923 -x21418 -x21924 -x21419 -x21925 -x21420 -x21926 -x21421 -x21927 -x21422 -x21928 -x21423 -x21929 -x21424 -x21930 -x21425 -x21931 -x21426 -x21932 -x21427 -x21933 -x21428 -x21934 x21429 x21935 -x21430 -x21936 x21431 x21937 -x21432 -x21938 -x21433 -x21939 -x21434 -x21940 -x21435 -x21941 -x21436 -x21942 -x22403 -x22909 -x22404 -x22910 -x22405 -x22911 -x22406 -x22912 -x22407 -x22913 -x22408 -x22914 -x22409 -x22915 -x22410 -x22916 -x22411 -x22917 x22412 x22918 -x22413 -x22919 -x22414 -x22920 -x22415 -x22921 -x22416 -x22922 -x22417 -x22923 -x22418 -x22924 -x22419 -x22925 -x22420 -x22926 -x22421 -x22927 -x22422 -x22928 -x22423 -x22929 -x22424 -x22930 -x22425 -x22931 -x22426 -x22932 -x22427 -x22933 -x22428 -x22934 -x22429 -x22935 -x22430 -x22936 -x22431 -x22937 -x22432 -x22938 -x22433 -x22939 -x22434 -x22940 -x22435 -x22941 -x22436 -x22942 -x22437 -x22943 -x22438 -x22944 -x22439 -x22945 -x22440 -x22946 x22441 -x22947 -x22442 -x22948 x22443 x22949 -x22444 -x22950 -x22445 -x22951 -x22446 -x22952 -x22447 -x22953 -x22448 -x22954 -x23415 -x23921 -x23416 -x23922 -x23417 -x23923 -x23418 -x23924 -x23419 -x23925 -x23420 -x23926 -x23421 -x23927 -x23422 -x23928 -x23423 -x23929 x23424 x23930 -x23425 -x23931 -x23426 -x23932 -x23427 -x23933 -x23428 -x23934 -x23429 -x23935 -x23430 -x23936 -x23431 -x23937 -x23432 -x23938 -x23433 -x23939 -x23434 -x23940 -x23435 -x23941 -x23436 -x23942 -x23437 -x23943 -x23438 -x23944 -x23439 -x23945 -x23440 -x23946 -x23441 -x23947 -x23442 -x23948 -x23443 -x23949 -x23444 -x23950 -x23445 -x23951 -x23446 -x23952 -x23447 -x23953 -x23448 -x23954 -x23449 -x23955 -x23450 -x23956 -x23451 -x23957 x23452 -x23958 -x23453 -x23959 -x23454 -x23960 x23455 x23961 -x23456 -x23962 -x23457 -x23963 -x23458 -x23964 -x23459 -x23965 -x23460 -x23966 -x24427 -x24933 -x24428 -x24934 -x24429 -x24935 -x24430 -x24936 -x24431 -x24937 -x24432 -x24938 -x24433 -x24939 -x24434 -x24940 -x24435 -x24941 x24436 x24942 -x24437 -x24943 -x24438 -x24944 -x24439 -x24945 -x24440 -x24946 -x24441 -x24947 -x24442 -x24948 -x24443 -x24949 -x24444 -x24950 -x24445 -x24951 -x24446 -x24952 -x24447 -x24953 -x24448 -x24954 -x24449 -x24955 -x24450 -x24956 -x24451 -x24957 -x24452 -x24958 -x24453 -x24959 -x24454 -x24960 -x24455 -x24961 -x24456 -x24962 -x24457 -x24963 -x24458 -x24964 -x24459 -x24965 -x24460 -x24966 -x24461 -x24967 -x24462 -x24968 -x24463 -x24969 x24464 -x24970 -x24465 -x24971 -x24466 -x24972 x24467 x24973 -x24468 -x24974 x24469 -x24975 -x24470 -x24976 -x24471 -x24977 -x24472 -x24978 -x25439 -x17481 -x25440 -x17482 -x25441 -x17483 -x25442 -x17484 -x25443 -x17485 -x25444 -x17486 -x25445 -x17487 -x25446 -x17488 -x25447 -x17489 x25448 x17490 -x25449 -x17491 -x25450 -x17492 -x25451 -x17493 -x25452 -x17494 -x25453 -x17495 -x25454 -x17496 -x25455 -x17497 -x25456 -x17498 -x25457 -x17499 -x25458 -x17500 -x25459 -x17501 -x25460 -x17502 -x25461 -x17503 -x25462 -x17504 -x25463 -x17505 -x25464 -x17506 -x25465 -x17507 -x25466 -x17508 -x25467 -x17509 -x25468 -x17510 -x25469 -x17511 -x25470 -x17512 x25471 x17513 -x25472 -x17514 -x25473 -x17515 -x25474 -x17516 -x25475 -x17517 -x25476 -x17518 -x25477 -x17519 -x25478 -x17520 x25479 x17521 -x25480 -x17522 -x25481 -x17523 -x25482 -x17524 x25483 x17525 -x25484 -x17526 -x17987 -x18493 -x17988 -x18494 -x17989 -x18495 -x17990 -x18496 -x17991 -x18497 -x17992 -x18498 -x17993 -x18499 -x17994 -x18500 -x17995 -x18501 x17996 x18502 -x17997 -x18503 -x17998 -x18504 -x17999 -x18505 -x18000 -x18506 -x18001 -x18507 -x18002 -x18508 -x18003 -x18509 -x18004 -x18510 -x18005 -x18511 -x18006 -x18512 -x18007 -x18513 -x18008 -x18514 -x18009 -x18515 -x18010 -x18516 -x18011 -x18517 -x18012 -x18518 -x18013 -x18519 -x18014 -x18520 -x18015 -x18521 -x18016 -x18522 -x18017 -x18523 -x18018 -x18524 x18019 -x18525 -x18020 -x18526 -x18021 -x18527 -x18022 -x18528 -x18023 -x18529 -x18024 -x18530 x18025 -x18531 -x18026 -x18532 x18027 x18533 -x18028 -x18534 -x18029 -x18535 x18030 -x18536 x18031 -x18537 -x18032 -x18538 -x18999 -x19505 -x19000 -x19506 -x19001 -x19507 -x19002 -x19508 -x19003 -x19509 -x19004 -x19510 -x19005 -x19511 -x19006 -x19512 -x19007 -x19513 x19008 x19514 -x19009 -x19515 -x19010 -x19516 -x19011 -x19517 -x19012 -x19518 -x19013 -x19519 -x19014 -x19520 -x19015 -x19521 -x19016 -x19522 -x19017 -x19523 -x19018 -x19524 -x19019 -x19525 -x19020 -x19526 -x19021 -x19527 -x19022 -x19528 -x19023 -x19529 -x19024 -x19530 -x19025 -x19531 -x19026 -x19532 -x19027 -x19533 -x19028 -x19534 -x19029 -x19535 -x19030 -x19536 x19031 -x19537 -x19032 -x19538 -x19033 -x19539 -x19034 -x19540 -x19035 -x19541 x19036 -x19542 -x19037 -x19543 -x19038 -x19544 x19039 x19545 -x19040 -x19546 -x19041 -x19547 -x19042 -x19548 x19043 -x19549 -x19044 -x19550 -x20011 -x20517 -x20012 -x20518 -x20013 -x20519 -x20014 -x20520 -x20015 -x20521 -x20016 -x20522 -x20017 -x20523 -x20018 -x20524 -x20019 -x20525 x20020 x20526 -x20021 -x20527 -x20022 -x20528 -x20023 -x20529 -x20024 -x20530 -x20025 -x20531 -x20026 -x20532 -x20027 -x20533 -x20028 -x20534 -x20029 -x20535 -x20030 -x20536 -x20031 -x20537 -x20032 -x20538 -x20033 -x20539 x20034 -x20540 -x20035 -x20541 -x20036 -x20542 -x20037 -x20543 -x20038 -x20544 -x20039 -x20545 -x20040 -x20546 -x20041 -x20547 -x20042 -x20548 -x20043 -x20549 -x20044 -x20550 x20045 -x20551 -x20046 -x20552 -x20047 -x20553 -x20048 -x20554 -x20049 -x20555 -x20050 -x20556 x20051 x20557 -x20052 -x20558 -x20053 -x20559 -x20054 -x20560 -x20055 -x20561 -x20056 -x20562 -x21023 -x21299 -x21024 -x21300 -x21025 -x21301 -x21026 -x21302 -x21027 -x21303 -x21028 -x21304 -x21029 -x21305 -x21030 -x21306 -x21031 -x21307 x21032 x21308 -x21033 -x21309 -x21034 -x21310 -x21035 -x21311 -x21036 -x21312 -x21037 -x21313 -x21038 -x21314 -x21039 -x21315 -x21040 -x21316 -x21041 -x21317 -x21042 -x21318 -x21043 -x21319 -x21044 -x21320 -x21045 -x21321 x21046 -x21322 -x21047 -x21323 -x21048 -x21324 -x21049 -x21325 -x21050 -x21326 -x21051 -x21327 -x21052 -x21328 -x21053 -x21329 -x21054 -x21330 -x21055 -x21331 -x21056 -x21332 x21057 -x21333 -x21058 -x21334 -x21059 -x21335 -x21060 -x21336 x21061 -x21337 -x21062 -x21338 x21063 x21339 -x21064 -x21340 -x21065 -x21341 -x21066 -x21342 -x21067 -x21343 -x21068 -x21344 -x21345 -x21437 -x21346 -x21438 -x21347 -x21439 -x21348 -x21440 -x21349 -x21441 -x21350 -x21442 -x21351 -x21443 -x21352 -x21444 -x21353 -x21445 x21354 x21446 -x21355 -x21447 -x21356 -x21448 -x21357 -x21449 -x21358 -x21450 -x21359 -x21451 -x21360 -x21452 -x21361 -x21453 -x21362 -x21454 -x21363 -x21455 -x21364 -x21456 -x21365 -x21457 -x21366 -x21458 -x21367 -x21459 x21368 -x21460 -x21369 -x21461 -x21370 -x21462 -x21371 -x21463 -x21372 -x21464 -x21373 -x21465 -x21374 -x21466 -x21375 -x21467 -x21376 -x21468 -x21377 -x21469 -x21378 -x21470 x21379 -x21471 -x21380 -x21472 -x21381 -x21473 x21382 -x21474 -x21383 -x21475 -x21384 -x21476 x21385 x21477 -x21386 -x21478 -x21387 -x21479 -x21388 -x21480 -x21389 -x21481 -x21390 -x21482 -x21483 -x21529 -x21484 -x21530 -x21485 -x21531 -x21486 -x21532 -x21487 -x21533 -x21488 -x21534 -x21489 -x21535 -x21490 -x21536 -x21491 -x21537 x21492 x21538 -x21493 -x21539 -x21494 -x21540 -x21495 -x21541 -x21496 -x21542 -x21497 -x21543 -x21498 -x21544 -x21499 -x21545 -x21500 -x21546 -x21501 -x21547 -x21502 -x21548 -x21503 -x21549 -x21504 -x21550 -x21505 -x21551 x21506 -x21552 -x21507 -x21553 -x21508 -x21554 -x21509 -x21555 -x21510 -x21556 -x21511 -x21557 -x21512 -x21558 -x21513 -x21559 -x21514 -x21560 x21515 -x21561 -x21516 -x21562 -x21517 -x21563 -x21518 -x21564 -x21519 -x21565 -x21520 -x21566 -x21521 -x21567 -x21522 -x21568 x21523 x21569 -x21524 -x21570 -x21525 -x21571 x21526 -x21572 x21527 -x21573 -x21528 -x21574 -x21575 -x21621 -x21576 -x21622 -x21577 -x21623 -x21578 -x21624 -x21579 -x21625 -x21580 -x21626 -x21581 -x21627 -x21582 -x21628 -x21583 -x21629 x21584 x21630 -x21585 -x21631 -x21586 -x21632 -x21587 -x21633 -x21588 -x21634 -x21589 -x21635 -x21590 -x21636 -x21591 -x21637 -x21592 -x21638 -x21593 -x21639 -x21594 -x21640 -x21595 -x21641 -x21596 -x21642 -x21597 -x21643 x21598 -x21644 -x21599 -x21645 -x21600 -x21646 -x21601 -x21647 -x21602 -x21648 -x21603 -x21649 -x21604 -x21650 -x21605 -x21651 -x21606 -x21652 x21607 -x21653 -x21608 -x21654 x21609 -x21655 -x21610 -x21656 -x21611 -x21657 -x21612 -x21658 -x21613 -x21659 -x21614 -x21660 x21615 x21661 -x21616 -x21662 -x21617 -x21663 x21618 -x21664 x21619 -x21665 -x21620 -x21666 -x21667 -x21713 -x21668 -x21714 -x21669 -x21715 -x21670 -x21716 -x21671 -x21717 -x21672 -x21718 -x21673 -x21719 -x21674 -x21720 -x21675 -x21721 x21676 x21722 -x21677 -x21723 -x21678 -x21724 -x21679 -x21725 -x21680 -x21726 -x21681 -x21727 x21682 -x21728 -x21683 -x21729 -x21684 -x21730 -x21685 -x21731 -x21686 -x21732 -x21687 -x21733 -x21688 -x21734 -x21689 -x21735 -x21690 -x21736 -x21691 -x21737 -x21692 -x21738 -x21693 -x21739 -x21694 -x21740 -x21695 -x21741 -x21696 -x21742 -x21697 -x21743 -x21698 -x21744 x21699 -x21745 -x21700 -x21746 -x21701 -x21747 -x21702 -x21748 -x21703 -x21749 -x21704 -x21750 -x21705 -x21751 -x21706 -x21752 x21707 x21753 -x21708 -x21754 -x21709 -x21755 x21710 -x21756 x21711 -x21757 -x21712 -x21758 -x21759 -x21805 -x21760 -x21806 -x21761 -x21807 -x21762 -x21808 -x21763 -x21809 -x21764 -x21810 -x21765 -x21811 -x21766 -x21812 -x21767 -x21813 x21768 x21814 -x21769 -x21815 -x21770 -x21816 x21771 -x21817 -x21772 -x21818 -x21773 -x21819 -x21774 -x21820 -x21775 -x21821 -x21776 -x21822 -x21777 -x21823 -x21778 -x21824 -x21779 -x21825 -x21780 -x21826 -x21781 -x21827 -x21782 -x21828 -x21783 -x21829 -x21784 -x21830 -x21785 -x21831 -x21786 -x21832 -x21787 -x21833 -x21788 -x21834 -x21789 -x21835 -x21790 -x21836 -x21791 -x21837 -x21792 -x21838 -x21793 -x21839 -x21794 -x21840 -x21795 -x21841 x21796 -x21842 -x21797 -x21843 -x21798 -x21844 x21799 x21845 -x21800 -x21846 x21801 -x21847 -x21802 -x21848 -x21803 -x21849 -x21804 -x21850 -x21851 -x21943 -x21852 -x21944 -x21853 -x21945 -x21854 -x21946 -x21855 -x21947 -x21856 -x21948 -x21857 -x21949 -x21858 -x21950 -x21859 -x21951 x21860 x21952 -x21861 -x21953 -x21862 -x21954 x21863 -x21955 -x21864 -x21956 -x21865 -x21957 -x21866 -x21958 -x21867 -x21959 -x21868 -x21960 -x21869 -x21961 -x21870 -x21962 -x21871 -x21963 -x21872 -x21964 -x21873 -x21965 x21874 -x21966 -x21875 -x21967 -x21876 -x21968 -x21877 -x21969 x21878 -x21970 -x21879 -x21971 -x21880 -x21972 -x21881 -x21973 -x21882 -x21974 -x21883 -x21975 -x21884 -x21976 -x21885 -x21977 -x21886 -x21978 -x21887 -x21979 -x21888 -x21980 -x21889 -x21981 -x21890 -x21982 x21891 x21983 -x21892 -x21984 x21893 -x21985 -x21894 -x21986 -x21895 -x21987 -x21896 -x21988 -x21989 -x22035 -x21990 -x22036 -x21991 -x22037 -x21992 -x22038 -x21993 -x22039 -x21994 -x22040 -x21995 -x22041 -x21996 -x22042 -x21997 -x22043 x21998 x22044 -x21999 -x22045 -x22000 -x22046 x22001 -x22047 -x22002 -x22048 -x22003 -x22049 -x22004 -x22050 -x22005 -x22051 x22006 -x22052 -x22007 -x22053 -x22008 -x22054 -x22009 -x22055 -x22010 -x22056 -x22011 -x22057 -x22012 -x22058 -x22013 -x22059 -x22014 -x22060 -x22015 -x22061 -x22016 -x22062 -x22017 -x22063 -x22018 -x22064 -x22019 -x22065 -x22020 -x22066 -x22021 -x22067 -x22022 -x22068 -x22023 -x22069 -x22024 -x22070 -x22025 -x22071 -x22026 -x22072 x22027 -x22073 -x22028 -x22074 x22029 x22075 -x22030 -x22076 x22031 -x22077 -x22032 -x22078 -x22033 -x22079 -x22034 -x22080 -x22081 -x22127 -x22082 -x22128 -x22083 -x22129 -x22084 -x22130 -x22085 -x22131 -x22086 -x22132 -x22087 -x22133 -x22088 -x22134 -x22089 -x22135 x22090 x22136 x22091 -x22137 -x22092 -x22138 -x22093 -x22139 -x22094 -x22140 -x22095 -x22141 -x22096 -x22142 -x22097 -x22143 -x22098 -x22144 -x22099 -x22145 -x22100 -x22146 -x22101 -x22147 -x22102 -x22148 -x22103 -x22149 -x22104 -x22150 -x22105 -x22151 -x22106 -x22152 -x22107 -x22153 -x22108 -x22154 -x22109 -x22155 -x22110 -x22156 -x22111 -x22157 -x22112 -x22158 -x22113 -x22159 -x22114 -x22160 -x22115 -x22161 -x22116 -x22162 -x22117 -x22163 x22118 -x22164 -x22119 -x22165 -x22120 -x22166 x22121 x22167 -x22122 -x22168 -x22123 -x22169 -x22124 -x22170 -x22125 -x22171 -x22126 -x22172 -x22173 -x22219 -x22174 -x22220 -x22175 -x22221 -x22176 -x22222 -x22177 -x22223 -x22178 -x22224 x22179 x22225 -x22180 -x22226 -x22181 -x22227 -x22182 -x22228 -x22183 -x22229 -x22184 -x22230 -x22185 -x22231 -x22186 -x22232 -x22187 -x22233 -x22188 -x22234 -x22189 -x22235 -x22190 -x22236 -x22191 -x22237 -x22192 -x22238 -x22193 -x22239 -x22194 -x22240 -x22195 -x22241 -x22196 -x22242 -x22197 -x22243 -x22198 -x22244 -x22199 -x22245 -x22200 -x22246 -x22201 -x22247 x22202 x22248 -x22203 -x22249 -x22204 -x22250 -x22205 -x22251 -x22206 -x22252 -x22207 -x22253 -x22208 -x22254 -x22209 -x22255 -x22210 -x22256 -x22211 -x22257 -x22212 -x22258 -x22213 -x22259 -x22214 -x22260 -x22215 -x22261 -x22216 -x22262 -x22217 -x22263 -x22218 -x22264 -x22265 -x22311 -x22266 -x22312 -x22267 -x22313 -x22268 -x22314 -x22269 -x22315 -x22270 -x22316 x22271 x22317 -x22272 -x22318 -x22273 -x22319 -x22274 -x22320 -x22275 -x22321 -x22276 -x22322 -x22277 -x22323 x22278 -x22324 -x22279 -x22325 -x22280 -x22326 x22281 -x22327 -x22282 -x22328 -x22283 -x22329 -x22284 -x22330 -x22285 -x22331 -x22286 -x22332 -x22287 -x22333 -x22288 -x22334 -x22289 -x22335 -x22290 -x22336 -x22291 -x22337 -x22292 -x22338 -x22293 -x22339 x22294 -x22340 -x22295 -x22341 -x22296 -x22342 -x22297 -x22343 x22298 -x22344 -x22299 -x22345 -x22300 -x22346 -x22301 -x22347 -x22302 -x22348 -x22303 -x22349 -x22304 -x22350 -x22305 -x22351 -x22306 -x22352 -x22307 -x22353 -x22308 -x22354 -x22309 -x22355 -x22310 -x22356 -x22357 -x22449 -x22358 -x22450 -x22359 -x22451 -x22360 -x22452 -x22361 -x22453 -x22362 -x22454 x22363 -x22455 -x22364 -x22456 -x22365 -x22457 x22366 -x22458 -x22367 -x22459 -x22368 -x22460 -x22369 -x22461 -x22370 -x22462 -x22371 -x22463 -x22372 -x22464 -x22373 -x22465 -x22374 -x22466 -x22375 -x22467 -x22376 -x22468 -x22377 -x22469 -x22378 -x22470 -x22379 -x22471 -x22380 -x22472 -x22381 -x22473 -x22382 -x22474 -x22383 -x22475 -x22384 -x22476 -x22385 -x22477 x22386 -x22478 -x22387 -x22479 -x22388 -x22480 -x22389 -x22481 -x22390 -x22482 -x22391 -x22483 -x22392 -x22484 -x22393 -x22485 -x22394 -x22486 -x22395 -x22487 -x22396 -x22488 x22397 -x22489 -x22398 -x22490 -x22399 -x22491 -x22400 -x22492 -x22401 -x22493 -x22402 -x22494 -x22495 -x22541 -x22496 -x22542 -x22497 -x22543 -x22498 -x22544 -x22499 -x22545 -x22500 -x22546 x22501 -x22547 -x22502 -x22548 -x22503 -x22549 x22504 -x22550 -x22505 -x22551 -x22506 -x22552 -x22507 -x22553 -x22508 -x22554 -x22509 -x22555 -x22510 -x22556 -x22511 -x22557 -x22512 -x22558 -x22513 -x22559 -x22514 -x22560 -x22515 -x22561 -x22516 -x22562 -x22517 -x22563 -x22518 -x22564 -x22519 -x22565 -x22520 -x22566 -x22521 -x22567 -x22522 -x22568 -x22523 -x22569 x22524 -x22570 -x22525 -x22571 -x22526 -x22572 x22527 -x22573 -x22528 -x22574 -x22529 -x22575 -x22530 -x22576 -x22531 -x22577 -x22532 -x22578 -x22533 -x22579 -x22534 -x22580 x22535 -x22581 -x22536 -x22582 -x22537 -x22583 -x22538 -x22584 x22539 -x22585 -x22540 -x22586 -x22587 -x22633 -x22588 -x22634 -x22589 -x22635 -x22590 -x22636 -x22591 -x22637 -x22592 -x22638 x22593 -x22639 -x22594 -x22640 -x22595 -x22641 x22596 -x22642 -x22597 -x22643 -x22598 -x22644 -x22599 -x22645 -x22600 -x22646 -x22601 -x22647 -x22602 -x22648 -x22603 -x22649 -x22604 -x22650 -x22605 -x22651 -x22606 -x22652 -x22607 -x22653 -x22608 -x22654 -x22609 -x22655 -x22610 -x22656 -x22611 -x22657 -x22612 -x22658 -x22613 -x22659 -x22614 -x22660 -x22615 -x22661 x22616 -x22662 -x22617 -x22663 -x22618 -x22664 x22619 -x22665 -x22620 -x22666 -x22621 -x22667 -x22622 -x22668 -x22623 -x22669 -x22624 -x22670 -x22625 -x22671 x22626 -x22672 x22627 -x22673 -x22628 -x22674 -x22629 -x22675 -x22630 -x22676 x22631 -x22677 -x22632 -x22678 -x22679 -x22725 -x22680 -x22726 -x22681 -x22727 -x22682 -x22728 -x22683 -x22729 -x22684 -x22730 x22685 -x22731 -x22686 -x22732 -x22687 -x22733 x22688 -x22734 -x22689 -x22735 -x22690 -x22736 -x22691 -x22737 -x22692 -x22738 -x22693 -x22739 -x22694 -x22740 -x22695 -x22741 -x22696 -x22742 -x22697 -x22743 -x22698 -x22744 -x22699 -x22745 -x22700 -x22746 -x22701 -x22747 -x22702 -x22748 -x22703 -x22749 -x22704 -x22750 -x22705 -x22751 -x22706 -x22752 -x22707 -x22753 x22708 -x22754 -x22709 -x22755 -x22710 -x22756 x22711 -x22757 -x22712 -x22758 -x22713 -x22759 -x22714 -x22760 -x22715 -x22761 -x22716 -x22762 -x22717 -x22763 x22718 -x22764 x22719 -x22765 -x22720 -x22766 -x22721 -x22767 x22722 -x22768 x22723 -x22769 -x22724 -x22770 -x22771 -x22817 -x22772 -x22818 -x22773 -x22819 -x22774 -x22820 -x22775 -x22821 -x22776 -x22822 x22777 -x22823 -x22778 -x22824 -x22779 -x22825 x22780 -x22826 -x22781 -x22827 -x22782 -x22828 -x22783 -x22829 -x22784 -x22830 -x22785 -x22831 -x22786 -x22832 -x22787 -x22833 -x22788 -x22834 -x22789 -x22835 -x22790 -x22836 -x22791 -x22837 -x22792 -x22838 -x22793 -x22839 -x22794 -x22840 -x22795 -x22841 -x22796 -x22842 -x22797 -x22843 -x22798 -x22844 x22799 -x22845 x22800 -x22846 -x22801 -x22847 -x22802 -x22848 -x22803 -x22849 -x22804 -x22850 -x22805 -x22851 -x22806 -x22852 -x22807 -x22853 x22808 -x22854 -x22809 -x22855 -x22810 -x22856 x22811 -x22857 -x22812 -x22858 -x22813 -x22859 -x22814 -x22860 -x22815 -x22861 -x22816 -x22862 -x22863 -x22955 -x22864 -x22956 -x22865 -x22957 -x22866 -x22958 -x22867 -x22959 -x22868 -x22960 x22869 -x22961 -x22870 -x22962 -x22871 -x22963 x22872 -x22964 -x22873 -x22965 -x22874 -x22966 -x22875 -x22967 -x22876 -x22968 -x22877 -x22969 -x22878 -x22970 -x22879 -x22971 -x22880 -x22972 -x22881 -x22973 -x22882 -x22974 -x22883 -x22975 -x22884 -x22976 -x22885 -x22977 x22886 -x22978 -x22887 -x22979 -x22888 -x22980 -x22889 -x22981 -x22890 -x22982 -x22891 -x22983 x22892 -x22984 -x22893 -x22985 -x22894 -x22986 -x22895 -x22987 -x22896 -x22988 x22897 -x22989 -x22898 -x22990 -x22899 -x22991 -x22900 -x22992 -x22901 -x22993 -x22902 -x22994 x22903 -x22995 -x22904 -x22996 -x22905 -x22997 -x22906 -x22998 -x22907 -x22999 -x22908 -x23000 -x23001 -x23047 -x23002 -x23048 -x23003 -x23049 -x23004 -x23050 -x23005 -x23051 -x23006 -x23052 x23007 -x23053 -x23008 -x23054 -x23009 -x23055 x23010 -x23056 -x23011 -x23057 -x23012 -x23058 -x23013 -x23059 x23014 -x23060 -x23015 -x23061 -x23016 -x23062 x23017 -x23063 -x23018 -x23064 -x23019 -x23065 -x23020 -x23066 -x23021 -x23067 -x23022 -x23068 -x23023 -x23069 -x23024 -x23070 -x23025 -x23071 -x23026 -x23072 -x23027 -x23073 -x23028 -x23074 -x23029 -x23075 -x23030 -x23076 -x23031 -x23077 -x23032 -x23078 -x23033 -x23079 -x23034 -x23080 -x23035 -x23081 -x23036 -x23082 -x23037 -x23083 -x23038 -x23084 -x23039 -x23085 -x23040 -x23086 x23041 -x23087 -x23042 -x23088 x23043 -x23089 -x23044 -x23090 -x23045 -x23091 -x23046 -x23092 -x23093 -x23139 -x23094 -x23140 -x23095 -x23141 -x23096 -x23142 -x23097 -x23143 -x23098 -x23144 x23099 -x23145 -x23100 -x23146 -x23101 -x23147 x23102 -x23148 -x23103 -x23149 -x23104 -x23150 -x23105 -x23151 x23106 -x23152 -x23107 -x23153 -x23108 -x23154 x23109 -x23155 -x23110 -x23156 -x23111 -x23157 -x23112 -x23158 -x23113 -x23159 -x23114 -x23160 -x23115 -x23161 -x23116 -x23162 -x23117 -x23163 -x23118 -x23164 -x23119 -x23165 -x23120 -x23166 -x23121 -x23167 -x23122 -x23168 -x23123 -x23169 -x23124 -x23170 -x23125 -x23171 -x23126 -x23172 -x23127 -x23173 -x23128 -x23174 -x23129 -x23175 -x23130 -x23176 x23131 -x23177 -x23132 -x23178 x23133 -x23179 -x23134 -x23180 -x23135 -x23181 -x23136 -x23182 -x23137 -x23183 -x23138 -x23184 -x23185 -x23231 -x23186 -x23232 -x23187 -x23233 -x23188 -x23234 -x23189 -x23235 -x23190 -x23236 x23191 -x23237 -x23192 -x23238 -x23193 -x23239 x23194 -x23240 -x23195 -x23241 -x23196 -x23242 -x23197 -x23243 x23198 -x23244 -x23199 -x23245 -x23200 -x23246 x23201 -x23247 -x23202 -x23248 x23203 -x23249 -x23204 -x23250 -x23205 -x23251 -x23206 -x23252 -x23207 -x23253 -x23208 -x23254 -x23209 -x23255 -x23210 -x23256 -x23211 -x23257 -x23212 -x23258 -x23213 -x23259 -x23214 -x23260 -x23215 -x23261 -x23216 -x23262 -x23217 -x23263 -x23218 -x23264 -x23219 -x23265 -x23220 -x23266 -x23221 -x23267 x23222 -x23268 -x23223 -x23269 -x23224 -x23270 x23225 -x23271 -x23226 -x23272 -x23227 -x23273 -x23228 -x23274 -x23229 -x23275 -x23230 -x23276 -x23277 -x23323 -x23278 -x23324 -x23279 -x23325 -x23280 -x23326 -x23281 -x23327 -x23282 -x23328 x23283 -x23329 -x23284 -x23330 -x23285 -x23331 x23286 -x23332 x23287 -x23333 -x23288 -x23334 -x23289 -x23335 -x23290 -x23336 -x23291 -x23337 -x23292 -x23338 -x23293 -x23339 -x23294 -x23340 -x23295 -x23341 -x23296 -x23342 -x23297 -x23343 -x23298 -x23344 -x23299 -x23345 -x23300 -x23346 -x23301 -x23347 -x23302 -x23348 -x23303 -x23349 -x23304 -x23350 -x23305 -x23351 x23306 -x23352 -x23307 -x23353 -x23308 -x23354 -x23309 -x23355 -x23310 -x23356 -x23311 -x23357 -x23312 -x23358 -x23313 -x23359 -x23314 -x23360 -x23315 -x23361 -x23316 -x23362 x23317 -x23363 -x23318 -x23364 -x23319 -x23365 -x23320 -x23366 -x23321 -x23367 -x23322 -x23368 -x23369 -x23461 -x23370 -x23462 -x23371 -x23463 -x23372 -x23464 -x23373 -x23465 -x23374 -x23466 x23375 -x23467 -x23376 -x23468 -x23377 -x23469 x23378 -x23470 x23379 -x23471 -x23380 -x23472 -x23381 -x23473 -x23382 -x23474 -x23383 -x23475 -x23384 -x23476 -x23385 -x23477 -x23386 -x23478 -x23387 -x23479 -x23388 -x23480 -x23389 -x23481 -x23390 -x23482 -x23391 -x23483 -x23392 -x23484 -x23393 -x23485 -x23394 -x23486 -x23395 -x23487 -x23396 -x23488 -x23397 -x23489 x23398 -x23490 -x23399 -x23491 -x23400 -x23492 -x23401 -x23493 x23402 -x23494 -x23403 -x23495 -x23404 -x23496 -x23405 -x23497 -x23406 -x23498 -x23407 -x23499 -x23408 -x23500 x23409 -x23501 -x23410 -x23502 -x23411 -x23503 -x23412 -x23504 -x23413 -x23505 -x23414 -x23506 -x23507 -x23553 -x23508 -x23554 -x23509 -x23555 -x23510 -x23556 -x23511 -x23557 -x23512 -x23558 x23513 -x23559 -x23514 -x23560 x23515 -x23561 x23516 -x23562 -x23517 -x23563 -x23518 -x23564 -x23519 -x23565 -x23520 -x23566 -x23521 -x23567 -x23522 -x23568 -x23523 -x23569 -x23524 -x23570 -x23525 -x23571 -x23526 -x23572 -x23527 -x23573 -x23528 -x23574 -x23529 -x23575 -x23530 -x23576 -x23531 -x23577 -x23532 -x23578 -x23533 -x23579 -x23534 -x23580 -x23535 -x23581 x23536 -x23582 -x23537 -x23583 -x23538 -x23584 -x23539 -x23585 -x23540 -x23586 -x23541 -x23587 -x23542 -x23588 -x23543 -x23589 -x23544 -x23590 -x23545 -x23591 -x23546 -x23592 x23547 -x23593 -x23548 -x23594 x23549 -x23595 -x23550 -x23596 -x23551 -x23597 -x23552 -x23598 -x23599 -x23645 -x23600 -x23646 -x23601 -x23647 -x23602 -x23648 -x23603 -x23649 -x23604 -x23650 x23605 -x23651 x23606 -x23652 -x23607 -x23653 x23608 -x23654 -x23609 -x23655 -x23610 -x23656 -x23611 -x23657 -x23612 -x23658 -x23613 -x23659 -x23614 -x23660 -x23615 -x23661 -x23616 -x23662 -x23617 -x23663 -x23618 -x23664 -x23619 -x23665 -x23620 -x23666 -x23621 -x23667 -x23622 -x23668 -x23623 -x23669 -x23624 -x23670 -x23625 -x23671 -x23626 -x23672 -x23627 -x23673 x23628 -x23674 -x23629 -x23675 -x23630 -x23676 -x23631 -x23677 -x23632 -x23678 -x23633 -x23679 -x23634 -x23680 -x23635 -x23681 x23636 -x23682 -x23637 -x23683 -x23638 -x23684 x23639 -x23685 -x23640 -x23686 -x23641 -x23687 -x23642 -x23688 -x23643 -x23689 -x23644 -x23690 -x23691 -x23737 -x23692 -x23738 -x23693 -x23739 -x23694 -x23740 -x23695 -x23741 -x23696 -x23742 x23697 -x23743 x23698 -x23744 -x23699 -x23745 x23700 -x23746 -x23701 -x23747 -x23702 -x23748 -x23703 -x23749 -x23704 -x23750 -x23705 -x23751 -x23706 -x23752 -x23707 -x23753 -x23708 -x23754 -x23709 -x23755 -x23710 -x23756 -x23711 -x23757 -x23712 -x23758 -x23713 -x23759 x23714 -x23760 -x23715 -x23761 -x23716 -x23762 -x23717 -x23763 -x23718 -x23764 -x23719 -x23765 x23720 -x23766 -x23721 -x23767 -x23722 -x23768 -x23723 -x23769 -x23724 -x23770 x23725 -x23771 -x23726 -x23772 -x23727 -x23773 -x23728 -x23774 -x23729 -x23775 -x23730 -x23776 x23731 -x23777 -x23732 -x23778 -x23733 -x23779 -x23734 -x23780 -x23735 -x23781 -x23736 -x23782 -x23783 -x23829 -x23784 -x23830 -x23785 -x23831 -x23786 -x23832 x23787 -x23833 -x23788 -x23834 -x23789 -x23835 -x23790 -x23836 -x23791 -x23837 x23792 -x23838 -x23793 -x23839 -x23794 -x23840 -x23795 -x23841 -x23796 -x23842 -x23797 -x23843 -x23798 -x23844 -x23799 -x23845 -x23800 -x23846 -x23801 -x23847 -x23802 -x23848 -x23803 -x23849 -x23804 -x23850 -x23805 -x23851 -x23806 -x23852 -x23807 -x23853 -x23808 -x23854 -x23809 -x23855 -x23810 -x23856 -x23811 -x23857 -x23812 -x23858 -x23813 -x23859 -x23814 -x23860 -x23815 -x23861 -x23816 -x23862 -x23817 -x23863 -x23818 -x23864 -x23819 -x23865 -x23820 -x23866 x23821 -x23867 -x23822 -x23868 x23823 -x23869 -x23824 -x23870 -x23825 -x23871 -x23826 -x23872 -x23827 -x23873 -x23828 -x23874 -x23875 -x23967 -x23876 -x23968 -x23877 -x23969 -x23878 -x23970 x23879 -x23971 -x23880 -x23972 -x23881 -x23973 -x23882 -x23974 -x23883 -x23975 x23884 -x23976 -x23885 -x23977 -x23886 -x23978 -x23887 -x23979 -x23888 -x23980 -x23889 -x23981 -x23890 -x23982 -x23891 -x23983 -x23892 -x23984 -x23893 -x23985 -x23894 -x23986 -x23895 -x23987 -x23896 -x23988 -x23897 -x23989 -x23898 -x23990 -x23899 -x23991 -x23900 -x23992 -x23901 -x23993 -x23902 -x23994 -x23903 -x23995 -x23904 -x23996 x23905 -x23997 -x23906 -x23998 -x23907 -x23999 -x23908 -x24000 -x23909 -x24001 -x23910 -x24002 -x23911 -x24003 -x23912 -x24004 x23913 -x24005 -x23914 -x24006 x23915 -x24007 -x23916 -x24008 -x23917 -x24009 -x23918 -x24010 -x23919 -x24011 -x23920 -x24012 -x24013 -x24059 -x24014 -x24060 -x24015 -x24061 -x24016 -x24062 x24017 -x24063 -x24018 -x24064 -x24019 -x24065 -x24020 -x24066 -x24021 -x24067 x24022 -x24068 -x24023 -x24069 -x24024 -x24070 -x24025 -x24071 -x24026 -x24072 -x24027 -x24073 -x24028 -x24074 -x24029 -x24075 -x24030 -x24076 -x24031 -x24077 -x24032 -x24078 -x24033 -x24079 -x24034 -x24080 -x24035 -x24081 -x24036 -x24082 -x24037 -x24083 -x24038 -x24084 x24039 -x24085 -x24040 -x24086 -x24041 -x24087 -x24042 -x24088 -x24043 -x24089 -x24044 -x24090 -x24045 -x24091 -x24046 -x24092 -x24047 -x24093 -x24048 -x24094 -x24049 -x24095 -x24050 -x24096 -x24051 -x24097 -x24052 -x24098 x24053 -x24099 -x24054 -x24100 -x24055 -x24101 -x24056 -x24102 -x24057 -x24103 -x24058 -x24104 -x24105 -x24151 -x24106 -x24152 -x24107 -x24153 -x24108 -x24154 x24109 -x24155 -x24110 -x24156 x24111 -x24157 -x24112 -x24158 -x24113 -x24159 -x24114 -x24160 -x24115 -x24161 -x24116 -x24162 -x24117 -x24163 x24118 -x24164 -x24119 -x24165 -x24120 -x24166 x24121 -x24167 -x24122 -x24168 -x24123 -x24169 -x24124 -x24170 x24125 -x24171 -x24126 -x24172 -x24127 -x24173 -x24128 -x24174 -x24129 -x24175 -x24130 -x24176 -x24131 -x24177 -x24132 -x24178 -x24133 -x24179 -x24134 -x24180 -x24135 -x24181 -x24136 -x24182 -x24137 -x24183 -x24138 -x24184 -x24139 -x24185 -x24140 -x24186 -x24141 -x24187 -x24142 -x24188 -x24143 -x24189 -x24144 -x24190 -x24145 -x24191 -x24146 -x24192 -x24147 -x24193 -x24148 -x24194 -x24149 -x24195 -x24150 -x24196 -x24197 -x24243 -x24198 -x24244 -x24199 -x24245 x24200 x24246 -x24201 -x24247 -x24202 -x24248 x24203 x24249 -x24204 -x24250 -x24205 -x24251 -x24206 -x24252 -x24207 -x24253 -x24208 -x24254 -x24209 -x24255 -x24210 -x24256 -x24211 -x24257 -x24212 -x24258 x24213 x24259 -x24214 -x24260 -x24215 -x24261 -x24216 -x24262 -x24217 -x24263 -x24218 -x24264 -x24219 -x24265 -x24220 -x24266 -x24221 -x24267 -x24222 -x24268 -x24223 -x24269 -x24224 -x24270 -x24225 -x24271 -x24226 -x24272 -x24227 -x24273 -x24228 -x24274 -x24229 -x24275 -x24230 -x24276 -x24231 -x24277 -x24232 -x24278 -x24233 -x24279 -x24234 -x24280 -x24235 -x24281 -x24236 -x24282 -x24237 -x24283 -x24238 -x24284 -x24239 -x24285 -x24240 -x24286 -x24241 -x24287 x24242 x24288 -x24289 -x24335 -x24290 -x24336 -x24291 -x24337 x24292 x24338 -x24293 -x24339 -x24294 -x24340 x24295 x24341 -x24296 -x24342 -x24297 -x24343 -x24298 -x24344 -x24299 -x24345 -x24300 -x24346 -x24301 -x24347 -x24302 -x24348 -x24303 -x24349 -x24304 -x24350 x24305 x24351 -x24306 -x24352 -x24307 -x24353 -x24308 -x24354 -x24309 -x24355 -x24310 -x24356 -x24311 -x24357 -x24312 -x24358 -x24313 -x24359 x24314 x24360 -x24315 -x24361 -x24316 -x24362 -x24317 -x24363 -x24318 -x24364 -x24319 -x24365 -x24320 -x24366 -x24321 -x24367 -x24322 -x24368 -x24323 -x24369 -x24324 -x24370 -x24325 -x24371 -x24326 -x24372 -x24327 -x24373 -x24328 -x24374 -x24329 -x24375 -x24330 -x24376 -x24331 -x24377 -x24332 -x24378 -x24333 -x24379 -x24334 -x24380 -x24381 -x24473 -x24382 -x24474 -x24383 -x24475 x24384 x24476 -x24385 -x24477 -x24386 -x24478 x24387 x24479 -x24388 -x24480 -x24389 -x24481 -x24390 -x24482 -x24391 -x24483 -x24392 -x24484 -x24393 -x24485 -x24394 -x24486 x24395 x24487 -x24396 -x24488 x24397 x24489 -x24398 -x24490 -x24399 -x24491 -x24400 -x24492 -x24401 -x24493 x24402 -x24494 -x24403 -x24495 -x24404 -x24496 -x24405 -x24497 -x24406 -x24498 -x24407 -x24499 -x24408 -x24500 -x24409 -x24501 -x24410 -x24502 -x24411 -x24503 -x24412 -x24504 -x24413 -x24505 -x24414 -x24506 -x24415 -x24507 -x24416 -x24508 -x24417 -x24509 -x24418 -x24510 -x24419 -x24511 -x24420 -x24512 -x24421 -x24513 -x24422 -x24514 -x24423 -x24515 -x24424 -x24516 -x24425 -x24517 -x24426 -x24518 -x24519 -x24565 -x24520 -x24566 -x24521 -x24567 x24522 x24568 -x24523 -x24569 -x24524 -x24570 x24525 x24571 -x24526 -x24572 -x24527 -x24573 -x24528 -x24574 -x24529 -x24575 -x24530 -x24576 -x24531 -x24577 -x24532 -x24578 x24533 -x24579 -x24534 -x24580 x24535 x24581 -x24536 -x24582 -x24537 -x24583 -x24538 -x24584 -x24539 -x24585 -x24540 -x24586 -x24541 -x24587 -x24542 -x24588 -x24543 -x24589 -x24544 -x24590 -x24545 -x24591 -x24546 -x24592 -x24547 -x24593 -x24548 -x24594 -x24549 -x24595 -x24550 -x24596 -x24551 -x24597 -x24552 -x24598 -x24553 -x24599 -x24554 -x24600 -x24555 -x24601 -x24556 -x24602 -x24557 -x24603 -x24558 -x24604 -x24559 -x24605 -x24560 -x24606 -x24561 -x24607 -x24562 -x24608 -x24563 -x24609 -x24564 -x24610 -x24611 -x24657 -x24612 -x24658 -x24613 -x24659 x24614 x24660 -x24615 -x24661 -x24616 -x24662 x24617 x24663 -x24618 -x24664 -x24619 -x24665 -x24620 -x24666 -x24621 -x24667 -x24622 -x24668 -x24623 -x24669 -x24624 -x24670 x24625 -x24671 -x24626 -x24672 x24627 x24673 -x24628 -x24674 -x24629 -x24675 -x24630 -x24676 -x24631 -x24677 -x24632 -x24678 -x24633 -x24679 -x24634 -x24680 -x24635 -x24681 -x24636 -x24682 -x24637 -x24683 -x24638 -x24684 -x24639 -x24685 -x24640 -x24686 -x24641 -x24687 -x24642 -x24688 -x24643 -x24689 -x24644 -x24690 -x24645 -x24691 -x24646 -x24692 -x24647 -x24693 -x24648 -x24694 -x24649 -x24695 -x24650 -x24696 -x24651 -x24697 -x24652 -x24698 -x24653 -x24699 -x24654 -x24700 -x24655 -x24701 x24656 -x24702 -x24703 -x24749 -x24704 -x24750 -x24705 -x24751 x24706 x24752 -x24707 -x24753 -x24708 -x24754 x24709 x24755 -x24710 -x24756 -x24711 -x24757 -x24712 -x24758 -x24713 -x24759 -x24714 -x24760 -x24715 -x24761 -x24716 -x24762 x24717 -x24763 -x24718 -x24764 x24719 x24765 -x24720 -x24766 -x24721 -x24767 -x24722 -x24768 -x24723 -x24769 -x24724 -x24770 -x24725 -x24771 -x24726 -x24772 -x24727 -x24773 x24728 -x24774 -x24729 -x24775 -x24730 -x24776 -x24731 -x24777 -x24732 -x24778 -x24733 -x24779 x24734 -x24780 -x24735 -x24781 -x24736 -x24782 -x24737 -x24783 -x24738 -x24784 x24739 -x24785 -x24740 -x24786 -x24741 -x24787 -x24742 -x24788 -x24743 -x24789 -x24744 -x24790 -x24745 -x24791 -x24746 -x24792 -x24747 -x24793 -x24748 -x24794 -x24795 -x24841 -x24796 -x24842 -x24797 -x24843 x24798 x24844 -x24799 -x24845 -x24800 -x24846 x24801 x24847 -x24802 -x24848 -x24803 -x24849 -x24804 -x24850 -x24805 -x24851 -x24806 -x24852 -x24807 -x24853 -x24808 -x24854 x24809 -x24855 -x24810 -x24856 x24811 x24857 -x24812 -x24858 -x24813 -x24859 -x24814 -x24860 -x24815 -x24861 x24816 -x24862 -x24817 -x24863 -x24818 -x24864 -x24819 -x24865 -x24820 -x24866 -x24821 -x24867 -x24822 -x24868 -x24823 -x24869 -x24824 -x24870 -x24825 -x24871 -x24826 -x24872 -x24827 -x24873 -x24828 -x24874 -x24829 -x24875 -x24830 -x24876 -x24831 -x24877 -x24832 -x24878 -x24833 -x24879 -x24834 -x24880 -x24835 -x24881 -x24836 -x24882 -x24837 -x24883 -x24838 -x24884 -x24839 -x24885 -x24840 -x24886 -x24887 -x24979 -x24888 -x24980 -x24889 -x24981 x24890 x24982 -x24891 -x24983 -x24892 -x24984 x24893 x24985 -x24894 -x24986 -x24895 -x24987 -x24896 -x24988 -x24897 -x24989 x24898 -x24990 -x24899 -x24991 -x24900 -x24992 x24901 x24993 -x24902 -x24994 x24903 x24995 -x24904 -x24996 -x24905 -x24997 -x24906 -x24998 -x24907 -x24999 -x24908 -x25000 -x24909 -x25001 -x24910 -x25002 -x24911 -x25003 -x24912 -x25004 -x24913 -x25005 -x24914 -x25006 -x24915 -x25007 -x24916 -x25008 -x24917 -x25009 -x24918 -x25010 -x24919 -x25011 -x24920 -x25012 -x24921 -x25013 -x24922 -x25014 x24923 -x25015 -x24924 -x25016 -x24925 -x25017 -x24926 -x25018 -x24927 -x25019 -x24928 -x25020 -x24929 -x25021 -x24930 -x25022 -x24931 -x25023 -x24932 -x25024 -x25025 -x25071 -x25026 -x25072 -x25027 -x25073 x25028 x25074 -x25029 -x25075 x25030 -x25076 x25031 x25077 -x25032 -x25078 -x25033 -x25079 -x25034 -x25080 -x25035 -x25081 -x25036 -x25082 -x25037 -x25083 -x25038 -x25084 x25039 -x25085 -x25040 -x25086 x25041 x25087 -x25042 -x25088 -x25043 -x25089 -x25044 -x25090 -x25045 -x25091 -x25046 -x25092 -x25047 -x25093 -x25048 -x25094 -x25049 -x25095 -x25050 -x25096 -x25051 -x25097 -x25052 -x25098 -x25053 -x25099 -x25054 -x25100 -x25055 -x25101 -x25056 -x25102 -x25057 -x25103 -x25058 -x25104 -x25059 -x25105 -x25060 -x25106 -x25061 -x25107 -x25062 -x25108 -x25063 -x25109 -x25064 -x25110 -x25065 -x25111 -x25066 -x25112 -x25067 -x25113 -x25068 -x25114 -x25069 -x25115 x25070 -x25116 -x25117 -x25163 -x25118 -x25164 -x25119 -x25165 x25120 -x25166 -x25121 -x25167 -x25122 -x25168 x25123 x25169 -x25124 -x25170 -x25125 -x25171 -x25126 -x25172 -x25127 -x25173 -x25128 -x25174 -x25129 -x25175 -x25130 -x25176 -x25131 -x25177 -x25132 -x25178 x25133 -x25179 -x25134 -x25180 -x25135 -x25181 -x25136 -x25182 -x25137 -x25183 -x25138 -x25184 -x25139 -x25185 -x25140 -x25186 -x25141 -x25187 -x25142 -x25188 -x25143 -x25189 -x25144 -x25190 -x25145 -x25191 x25146 -x25192 -x25147 -x25193 -x25148 -x25194 -x25149 -x25195 -x25150 -x25196 -x25151 -x25197 -x25152 -x25198 -x25153 -x25199 -x25154 -x25200 -x25155 -x25201 -x25156 -x25202 -x25157 -x25203 -x25158 -x25204 -x25159 -x25205 -x25160 -x25206 -x25161 -x25207 -x25162 -x25208 -x25209 -x25255 -x25210 -x25256 -x25211 -x25257 x25212 -x25258 -x25213 -x25259 -x25214 -x25260 x25215 x25261 -x25216 -x25262 -x25217 -x25263 -x25218 -x25264 -x25219 -x25265 -x25220 -x25266 -x25221 -x25267 -x25222 -x25268 -x25223 -x25269 -x25224 -x25270 x25225 -x25271 -x25226 -x25272 -x25227 -x25273 -x25228 -x25274 -x25229 -x25275 -x25230 -x25276 -x25231 -x25277 -x25232 -x25278 -x25233 -x25279 -x25234 -x25280 -x25235 -x25281 -x25236 -x25282 -x25237 -x25283 x25238 -x25284 -x25239 -x25285 -x25240 -x25286 -x25241 -x25287 -x25242 -x25288 -x25243 -x25289 -x25244 -x25290 -x25245 -x25291 -x25246 -x25292 -x25247 -x25293 -x25248 -x25294 -x25249 -x25295 -x25250 -x25296 -x25251 -x25297 -x25252 -x25298 -x25253 -x25299 x25254 -x25300 -x25301 -x25347 -x25302 -x25348 -x25303 -x25349 x25304 -x25350 -x25305 -x25351 -x25306 -x25352 x25307 x25353 -x25308 -x25354 -x25309 -x25355 -x25310 -x25356 -x25311 -x25357 -x25312 -x25358 -x25313 -x25359 -x25314 -x25360 -x25315 -x25361 -x25316 -x25362 x25317 -x25363 -x25318 -x25364 -x25319 -x25365 -x25320 -x25366 -x25321 -x25367 -x25322 -x25368 -x25323 -x25369 -x25324 -x25370 -x25325 -x25371 -x25326 -x25372 -x25327 -x25373 -x25328 -x25374 x25329 -x25375 x25330 -x25376 -x25331 -x25377 -x25332 -x25378 -x25333 -x25379 -x25334 -x25380 -x25335 -x25381 -x25336 -x25382 -x25337 -x25383 -x25338 -x25384 -x25339 -x25385 -x25340 -x25386 -x25341 -x25387 x25342 -x25388 -x25343 -x25389 -x25344 -x25390 -x25345 -x25391 -x25346 -x25392 -x25393 -x17021 -x25394 -x17022 -x25395 -x17023 x25396 -x17024 -x25397 -x17025 -x25398 -x17026 x25399 x17027 -x25400 -x17028 -x25401 -x17029 -x25402 -x17030 -x25403 -x17031 -x25404 -x17032 -x25405 -x17033 -x25406 -x17034 x25407 -x17035 -x25408 -x17036 x25409 -x17037 -x25410 -x17038 -x25411 -x17039 -x25412 -x17040 -x25413 -x17041 -x25414 -x17042 -x25415 -x17043 -x25416 -x17044 -x25417 -x17045 -x25418 -x17046 -x25419 -x17047 -x25420 -x17048 -x25421 -x17049 x25422 -x17050 -x25423 -x17051 -x25424 -x17052 -x25425 -x17053 -x25426 -x17054 -x25427 -x17055 -x25428 -x17056 -x25429 -x17057 -x25430 -x17058 -x25431 -x17059 -x25432 -x17060 -x25433 -x17061 -x25434 -x17062 -x25435 -x17063 -x25436 -x17064 -x25437 -x17065 -x25438 -x17066 -x17067 -x17113 -x17068 -x17114 -x17069 -x17115 x17070 -x17116 -x17071 -x17117 -x17072 -x17118 x17073 x17119 -x17074 -x17120 -x17075 -x17121 -x17076 -x17122 -x17077 -x17123 -x17078 -x17124 -x17079 -x17125 x17080 -x17126 -x17081 -x17127 -x17082 -x17128 x17083 x17129 -x17084 -x17130 -x17085 -x17131 -x17086 -x17132 -x17087 -x17133 -x17088 -x17134 -x17089 -x17135 -x17090 -x17136 -x17091 -x17137 -x17092 -x17138 -x17093 -x17139 -x17094 -x17140 -x17095 -x17141 -x17096 -x17142 -x17097 -x17143 -x17098 -x17144 -x17099 -x17145 -x17100 -x17146 -x17101 -x17147 -x17102 -x17148 -x17103 -x17149 -x17104 -x17150 -x17105 -x17151 -x17106 -x17152 -x17107 -x17153 -x17108 -x17154 -x17109 -x17155 -x17110 -x17156 -x17111 -x17157 x17112 -x17158 -x17159 -x17205 -x17160 -x17206 -x17161 -x17207 x17162 -x17208 -x17163 -x17209 -x17164 -x17210 x17165 x17211 -x17166 -x17212 -x17167 -x17213 -x17168 -x17214 -x17169 -x17215 -x17170 -x17216 -x17171 -x17217 x17172 -x17218 -x17173 -x17219 -x17174 -x17220 x17175 x17221 -x17176 -x17222 -x17177 -x17223 -x17178 -x17224 -x17179 -x17225 -x17180 -x17226 -x17181 -x17227 -x17182 -x17228 -x17183 -x17229 x17184 -x17230 -x17185 -x17231 -x17186 -x17232 -x17187 -x17233 -x17188 -x17234 -x17189 -x17235 -x17190 -x17236 -x17191 -x17237 -x17192 -x17238 -x17193 -x17239 -x17194 -x17240 -x17195 -x17241 -x17196 -x17242 -x17197 -x17243 -x17198 -x17244 -x17199 -x17245 -x17200 -x17246 -x17201 -x17247 -x17202 -x17248 -x17203 -x17249 -x17204 -x17250 -x17251 -x17297 -x17252 -x17298 -x17253 -x17299 x17254 -x17300 -x17255 -x17301 -x17256 -x17302 x17257 x17303 x17258 -x17304 -x17259 -x17305 -x17260 -x17306 -x17261 -x17307 -x17262 -x17308 -x17263 -x17309 -x17264 -x17310 -x17265 -x17311 -x17266 -x17312 x17267 -x17313 -x17268 -x17314 -x17269 -x17315 -x17270 -x17316 -x17271 -x17317 -x17272 -x17318 -x17273 -x17319 -x17274 -x17320 -x17275 -x17321 -x17276 -x17322 -x17277 -x17323 -x17278 -x17324 -x17279 -x17325 x17280 -x17326 -x17281 -x17327 -x17282 -x17328 -x17283 -x17329 -x17284 -x17330 -x17285 -x17331 -x17286 -x17332 -x17287 -x17333 -x17288 -x17334 -x17289 -x17335 -x17290 -x17336 -x17291 -x17337 -x17292 -x17338 -x17293 -x17339 -x17294 -x17340 -x17295 -x17341 -x17296 -x17342 -x17343 -x17389 -x17344 -x17390 -x17345 -x17391 x17346 -x17392 -x17347 -x17393 -x17348 -x17394 x17349 -x17395 -x17350 -x17396 -x17351 -x17397 x17352 -x17398 -x17353 -x17399 -x17354 -x17400 -x17355 -x17401 -x17356 -x17402 -x17357 -x17403 -x17358 -x17404 x17359 -x17405 -x17360 -x17406 -x17361 -x17407 -x17362 -x17408 -x17363 -x17409 -x17364 -x17410 -x17365 -x17411 -x17366 -x17412 -x17367 -x17413 -x17368 -x17414 -x17369 -x17415 -x17370 -x17416 -x17371 -x17417 -x17372 -x17418 -x17373 -x17419 -x17374 -x17420 -x17375 -x17421 -x17376 -x17422 -x17377 -x17423 -x17378 -x17424 -x17379 -x17425 -x17380 -x17426 x17381 -x17427 -x17382 -x17428 x17383 -x17429 -x17384 -x17430 -x17385 -x17431 -x17386 -x17432 -x17387 -x17433 -x17388 -x17434 -x17435 -x17527 -x17436 -x17528 -x17437 -x17529 x17438 -x17530 -x17439 -x17531 -x17440 -x17532 x17441 -x17533 -x17442 -x17534 -x17443 -x17535 x17444 -x17536 -x17445 -x17537 -x17446 -x17538 -x17447 -x17539 -x17448 -x17540 -x17449 -x17541 -x17450 -x17542 x17451 -x17543 -x17452 -x17544 -x17453 -x17545 -x17454 -x17546 -x17455 -x17547 -x17456 -x17548 -x17457 -x17549 -x17458 -x17550 -x17459 -x17551 -x17460 -x17552 -x17461 -x17553 -x17462 -x17554 -x17463 -x17555 -x17464 -x17556 -x17465 -x17557 -x17466 -x17558 x17467 -x17559 -x17468 -x17560 -x17469 -x17561 -x17470 -x17562 -x17471 -x17563 -x17472 -x17564 -x17473 -x17565 -x17474 -x17566 x17475 -x17567 -x17476 -x17568 -x17477 -x17569 x17478 -x17570 x17479 -x17571 -x17480 -x17572 -x17573 -x17619 -x17574 -x17620 -x17575 -x17621 x17576 -x17622 -x17577 -x17623 -x17578 -x17624 x17579 -x17625 -x17580 -x17626 -x17581 -x17627 x17582 -x17628 -x17583 -x17629 -x17584 -x17630 -x17585 -x17631 -x17586 -x17632 -x17587 -x17633 -x17588 -x17634 x17589 -x17635 -x17590 -x17636 -x17591 -x17637 -x17592 -x17638 -x17593 -x17639 -x17594 -x17640 -x17595 -x17641 x17596 -x17642 -x17597 -x17643 -x17598 -x17644 -x17599 -x17645 -x17600 -x17646 -x17601 -x17647 -x17602 -x17648 -x17603 -x17649 -x17604 -x17650 -x17605 -x17651 -x17606 -x17652 x17607 -x17653 -x17608 -x17654 -x17609 -x17655 -x17610 -x17656 -x17611 -x17657 -x17612 -x17658 x17613 -x17659 -x17614 -x17660 -x17615 -x17661 -x17616 -x17662 -x17617 -x17663 -x17618 -x17664 -x17665 -x17711 -x17666 -x17712 -x17667 -x17713 x17668 -x17714 -x17669 -x17715 -x17670 -x17716 x17671 -x17717 -x17672 -x17718 -x17673 -x17719 x17674 -x17720 -x17675 -x17721 -x17676 -x17722 -x17677 -x17723 -x17678 -x17724 -x17679 -x17725 -x17680 -x17726 x17681 -x17727 -x17682 -x17728 -x17683 -x17729 -x17684 -x17730 -x17685 -x17731 -x17686 -x17732 -x17687 -x17733 x17688 -x17734 -x17689 -x17735 x17690 -x17736 -x17691 -x17737 -x17692 -x17738 -x17693 -x17739 -x17694 -x17740 -x17695 -x17741 -x17696 -x17742 -x17697 -x17743 -x17698 -x17744 x17699 -x17745 -x17700 -x17746 -x17701 -x17747 -x17702 -x17748 -x17703 -x17749 -x17704 -x17750 x17705 -x17751 -x17706 -x17752 -x17707 -x17753 -x17708 -x17754 -x17709 -x17755 -x17710 -x17756 -x17757 -x17803 -x17758 -x17804 -x17759 -x17805 x17760 -x17806 -x17761 -x17807 -x17762 -x17808 x17763 -x17809 -x17764 -x17810 -x17765 -x17811 x17766 -x17812 -x17767 -x17813 -x17768 -x17814 -x17769 -x17815 -x17770 -x17816 -x17771 -x17817 -x17772 -x17818 x17773 -x17819 -x17774 -x17820 -x17775 -x17821 -x17776 -x17822 -x17777 -x17823 -x17778 -x17824 x17779 -x17825 -x17780 -x17826 -x17781 -x17827 -x17782 -x17828 -x17783 -x17829 -x17784 -x17830 -x17785 -x17831 -x17786 -x17832 -x17787 -x17833 -x17788 -x17834 -x17789 -x17835 -x17790 -x17836 -x17791 -x17837 -x17792 -x17838 -x17793 -x17839 -x17794 -x17840 -x17795 -x17841 -x17796 -x17842 x17797 -x17843 -x17798 -x17844 -x17799 -x17845 -x17800 -x17846 -x17801 -x17847 -x17802 -x17848 -x17849 -x17895 -x17850 -x17896 -x17851 -x17897 x17852 -x17898 -x17853 -x17899 -x17854 -x17900 x17855 -x17901 -x17856 -x17902 -x17857 -x17903 x17858 -x17904 -x17859 -x17905 -x17860 -x17906 -x17861 -x17907 -x17862 -x17908 -x17863 -x17909 -x17864 -x17910 x17865 -x17911 -x17866 -x17912 -x17867 -x17913 -x17868 -x17914 -x17869 -x17915 -x17870 -x17916 x17871 -x17917 x17872 -x17918 -x17873 -x17919 -x17874 -x17920 -x17875 -x17921 -x17876 -x17922 -x17877 -x17923 -x17878 -x17924 -x17879 -x17925 -x17880 -x17926 -x17881 -x17927 -x17882 -x17928 x17883 -x17929 -x17884 -x17930 -x17885 -x17931 -x17886 -x17932 -x17887 -x17933 -x17888 -x17934 x17889 -x17935 -x17890 -x17936 -x17891 -x17937 -x17892 -x17938 -x17893 -x17939 -x17894 -x17940 -x17941 -x18033 -x17942 -x18034 -x17943 -x18035 x17944 -x18036 -x17945 -x18037 -x17946 -x18038 x17947 -x18039 -x17948 -x18040 -x17949 -x18041 x17950 -x18042 -x17951 -x18043 -x17952 -x18044 -x17953 -x18045 -x17954 -x18046 -x17955 -x18047 -x17956 -x18048 x17957 -x18049 -x17958 -x18050 -x17959 -x18051 -x17960 -x18052 -x17961 -x18053 -x17962 -x18054 x17963 -x18055 x17964 -x18056 -x17965 -x18057 -x17966 -x18058 -x17967 -x18059 -x17968 -x18060 -x17969 -x18061 -x17970 -x18062 -x17971 -x18063 -x17972 -x18064 -x17973 -x18065 -x17974 -x18066 x17975 -x18067 x17976 -x18068 -x17977 -x18069 -x17978 -x18070 -x17979 -x18071 -x17980 -x18072 x17981 -x18073 -x17982 -x18074 -x17983 -x18075 -x17984 -x18076 -x17985 -x18077 -x17986 -x18078 -x18079 -x18125 -x18080 -x18126 -x18081 -x18127 x18082 -x18128 -x18083 -x18129 -x18084 -x18130 x18085 -x18131 -x18086 -x18132 -x18087 -x18133 x18088 -x18134 -x18089 -x18135 -x18090 -x18136 -x18091 -x18137 -x18092 -x18138 -x18093 -x18139 x18094 -x18140 x18095 -x18141 -x18096 -x18142 -x18097 -x18143 -x18098 -x18144 -x18099 -x18145 -x18100 -x18146 x18101 -x18147 -x18102 -x18148 -x18103 -x18149 -x18104 -x18150 -x18105 -x18151 -x18106 -x18152 -x18107 -x18153 -x18108 -x18154 -x18109 -x18155 -x18110 -x18156 -x18111 -x18157 -x18112 -x18158 -x18113 -x18159 -x18114 -x18160 -x18115 -x18161 -x18116 -x18162 -x18117 -x18163 -x18118 -x18164 x18119 -x18165 -x18120 -x18166 -x18121 -x18167 -x18122 -x18168 -x18123 -x18169 -x18124 -x18170 -x18171 -x18217 -x18172 -x18218 -x18173 -x18219 x18174 -x18220 -x18175 -x18221 -x18176 -x18222 x18177 -x18223 -x18178 -x18224 -x18179 -x18225 x18180 -x18226 -x18181 -x18227 -x18182 -x18228 -x18183 -x18229 -x18184 -x18230 x18185 -x18231 -x18186 -x18232 x18187 -x18233 -x18188 -x18234 -x18189 -x18235 -x18190 -x18236 -x18191 -x18237 -x18192 -x18238 -x18193 -x18239 -x18194 -x18240 -x18195 -x18241 -x18196 -x18242 -x18197 -x18243 -x18198 -x18244 -x18199 -x18245 -x18200 -x18246 -x18201 -x18247 -x18202 -x18248 -x18203 -x18249 -x18204 -x18250 -x18205 -x18251 -x18206 -x18252 -x18207 -x18253 -x18208 -x18254 -x18209 -x18255 -x18210 -x18256 x18211 -x18257 -x18212 -x18258 -x18213 -x18259 -x18214 -x18260 -x18215 -x18261 -x18216 -x18262 -x18263 -x18309 -x18264 -x18310 -x18265 -x18311 x18266 -x18312 -x18267 -x18313 -x18268 -x18314 x18269 -x18315 -x18270 -x18316 -x18271 -x18317 x18272 -x18318 -x18273 -x18319 -x18274 -x18320 -x18275 -x18321 -x18276 -x18322 x18277 -x18323 -x18278 -x18324 x18279 -x18325 -x18280 -x18326 -x18281 -x18327 -x18282 -x18328 -x18283 -x18329 -x18284 -x18330 -x18285 -x18331 -x18286 -x18332 -x18287 -x18333 -x18288 -x18334 -x18289 -x18335 -x18290 -x18336 -x18291 -x18337 -x18292 -x18338 -x18293 -x18339 -x18294 -x18340 -x18295 -x18341 -x18296 -x18342 -x18297 -x18343 -x18298 -x18344 -x18299 -x18345 -x18300 -x18346 x18301 -x18347 -x18302 -x18348 x18303 -x18349 -x18304 -x18350 -x18305 -x18351 -x18306 -x18352 -x18307 -x18353 -x18308 -x18354 -x18355 -x18401 -x18356 -x18402 -x18357 -x18403 x18358 -x18404 -x18359 -x18405 -x18360 -x18406 x18361 -x18407 -x18362 -x18408 -x18363 -x18409 x18364 -x18410 -x18365 -x18411 -x18366 -x18412 -x18367 -x18413 -x18368 -x18414 x18369 -x18415 -x18370 -x18416 x18371 -x18417 -x18372 -x18418 -x18373 -x18419 -x18374 -x18420 -x18375 -x18421 -x18376 -x18422 -x18377 -x18423 -x18378 -x18424 -x18379 -x18425 -x18380 -x18426 -x18381 -x18427 -x18382 -x18428 -x18383 -x18429 -x18384 -x18430 -x18385 -x18431 -x18386 -x18432 -x18387 -x18433 -x18388 -x18434 -x18389 -x18435 -x18390 -x18436 x18391 -x18437 -x18392 -x18438 -x18393 -x18439 -x18394 -x18440 x18395 -x18441 -x18396 -x18442 x18397 -x18443 -x18398 -x18444 -x18399 -x18445 -x18400 -x18446 -x18447 -x18539 -x18448 -x18540 -x18449 -x18541 x18450 -x18542 -x18451 -x18543 -x18452 -x18544 x18453 -x18545 -x18454 -x18546 -x18455 -x18547 x18456 -x18548 -x18457 -x18549 -x18458 -x18550 -x18459 -x18551 -x18460 -x18552 x18461 -x18553 -x18462 -x18554 x18463 -x18555 -x18464 -x18556 -x18465 -x18557 -x18466 -x18558 -x18467 -x18559 -x18468 -x18560 -x18469 -x18561 -x18470 -x18562 -x18471 -x18563 -x18472 -x18564 -x18473 -x18565 -x18474 -x18566 -x18475 -x18567 -x18476 -x18568 -x18477 -x18569 -x18478 -x18570 x18479 -x18571 -x18480 -x18572 -x18481 -x18573 -x18482 -x18574 -x18483 -x18575 -x18484 -x18576 -x18485 -x18577 -x18486 -x18578 x18487 -x18579 -x18488 -x18580 -x18489 -x18581 -x18490 -x18582 x18491 -x18583 -x18492 -x18584 -x18585 -x18631 -x18586 -x18632 -x18587 -x18633 x18588 -x18634 -x18589 -x18635 -x18590 -x18636 x18591 -x18637 -x18592 -x18638 -x18593 -x18639 x18594 -x18640 -x18595 -x18641 -x18596 -x18642 -x18597 -x18643 -x18598 -x18644 x18599 -x18645 -x18600 -x18646 x18601 -x18647 -x18602 -x18648 -x18603 -x18649 -x18604 -x18650 -x18605 -x18651 -x18606 -x18652 -x18607 -x18653 -x18608 -x18654 -x18609 -x18655 -x18610 -x18656 -x18611 -x18657 -x18612 -x18658 -x18613 -x18659 -x18614 -x18660 -x18615 -x18661 -x18616 -x18662 x18617 -x18663 -x18618 -x18664 -x18619 -x18665 -x18620 -x18666 x18621 -x18667 -x18622 -x18668 -x18623 -x18669 -x18624 -x18670 x18625 -x18671 -x18626 -x18672 -x18627 -x18673 -x18628 -x18674 x18629 -x18675 -x18630 -x18676 -x18677 -x18723 -x18678 -x18724 -x18679 -x18725 x18680 -x18726 -x18681 -x18727 -x18682 -x18728 x18683 -x18729 -x18684 -x18730 -x18685 -x18731 x18686 -x18732 -x18687 -x18733 -x18688 -x18734 -x18689 -x18735 -x18690 -x18736 x18691 -x18737 -x18692 -x18738 x18693 -x18739 -x18694 -x18740 -x18695 -x18741 -x18696 -x18742 -x18697 -x18743 -x18698 -x18744 -x18699 -x18745 -x18700 -x18746 -x18701 -x18747 -x18702 -x18748 -x18703 -x18749 -x18704 -x18750 -x18705 -x18751 -x18706 -x18752 -x18707 -x18753 -x18708 -x18754 x18709 -x18755 -x18710 -x18756 -x18711 -x18757 -x18712 -x18758 x18713 -x18759 -x18714 -x18760 -x18715 -x18761 -x18716 -x18762 x18717 -x18763 -x18718 -x18764 -x18719 -x18765 x18720 -x18766 x18721 -x18767 -x18722 -x18768 -x18769 -x18815 -x18770 -x18816 -x18771 -x18817 x18772 -x18818 -x18773 -x18819 -x18774 -x18820 x18775 -x18821 -x18776 -x18822 -x18777 -x18823 x18778 -x18824 -x18779 -x18825 -x18780 -x18826 -x18781 -x18827 -x18782 -x18828 x18783 -x18829 -x18784 -x18830 x18785 -x18831 -x18786 -x18832 -x18787 -x18833 -x18788 -x18834 -x18789 -x18835 -x18790 -x18836 -x18791 -x18837 x18792 -x18838 -x18793 -x18839 -x18794 -x18840 -x18795 -x18841 -x18796 -x18842 -x18797 -x18843 -x18798 -x18844 -x18799 -x18845 -x18800 -x18846 -x18801 -x18847 -x18802 -x18848 x18803 -x18849 -x18804 -x18850 x18805 -x18851 -x18806 -x18852 -x18807 -x18853 -x18808 -x18854 x18809 -x18855 -x18810 -x18856 -x18811 -x18857 -x18812 -x18858 -x18813 -x18859 -x18814 -x18860 -x18861 -x18907 -x18862 -x18908 -x18863 -x18909 x18864 -x18910 -x18865 -x18911 -x18866 -x18912 x18867 -x18913 -x18868 -x18914 -x18869 -x18915 x18870 -x18916 -x18871 -x18917 -x18872 -x18918 -x18873 -x18919 -x18874 -x18920 x18875 -x18921 -x18876 -x18922 x18877 -x18923 -x18878 -x18924 -x18879 -x18925 -x18880 -x18926 -x18881 -x18927 -x18882 -x18928 -x18883 -x18929 x18884 -x18930 -x18885 -x18931 -x18886 -x18932 -x18887 -x18933 x18888 -x18934 -x18889 -x18935 -x18890 -x18936 -x18891 -x18937 -x18892 -x18938 -x18893 -x18939 -x18894 -x18940 -x18895 -x18941 -x18896 -x18942 x18897 -x18943 -x18898 -x18944 -x18899 -x18945 -x18900 -x18946 x18901 -x18947 -x18902 -x18948 -x18903 -x18949 -x18904 -x18950 -x18905 -x18951 -x18906 -x18952 -x18953 -x19045 -x18954 -x19046 -x18955 -x19047 x18956 -x19048 -x18957 -x19049 -x18958 -x19050 x18959 -x19051 -x18960 -x19052 -x18961 -x19053 x18962 -x19054 -x18963 -x19055 -x18964 -x19056 -x18965 -x19057 -x18966 -x19058 x18967 -x19059 -x18968 -x19060 x18969 -x19061 -x18970 -x19062 -x18971 -x19063 -x18972 -x19064 -x18973 -x19065 -x18974 -x19066 -x18975 -x19067 x18976 -x19068 x18977 -x19069 -x18978 -x19070 -x18979 -x19071 -x18980 -x19072 -x18981 -x19073 -x18982 -x19074 -x18983 -x19075 -x18984 -x19076 -x18985 -x19077 -x18986 -x19078 x18987 -x19079 -x18988 -x19080 x18989 -x19081 -x18990 -x19082 -x18991 -x19083 -x18992 -x19084 x18993 -x19085 -x18994 -x19086 -x18995 -x19087 -x18996 -x19088 -x18997 -x19089 -x18998 -x19090 -x19091 -x19137 -x19092 -x19138 -x19093 -x19139 x19094 -x19140 -x19095 -x19141 -x19096 -x19142 x19097 -x19143 -x19098 -x19144 -x19099 -x19145 x19100 -x19146 -x19101 -x19147 -x19102 -x19148 -x19103 -x19149 -x19104 -x19150 x19105 -x19151 -x19106 -x19152 x19107 -x19153 -x19108 -x19154 -x19109 -x19155 -x19110 -x19156 -x19111 -x19157 x19112 -x19158 -x19113 -x19159 -x19114 -x19160 -x19115 -x19161 -x19116 -x19162 -x19117 -x19163 -x19118 -x19164 -x19119 -x19165 -x19120 -x19166 -x19121 -x19167 -x19122 -x19168 -x19123 -x19169 -x19124 -x19170 -x19125 -x19171 -x19126 -x19172 -x19127 -x19173 -x19128 -x19174 -x19129 -x19175 -x19130 -x19176 x19131 -x19177 -x19132 -x19178 x19133 -x19179 -x19134 -x19180 -x19135 -x19181 -x19136 -x19182 -x19183 -x19229 -x19184 -x19230 -x19185 -x19231 x19186 -x19232 -x19187 -x19233 -x19188 -x19234 x19189 -x19235 -x19190 -x19236 -x19191 -x19237 x19192 -x19238 -x19193 -x19239 -x19194 -x19240 -x19195 -x19241 -x19196 -x19242 x19197 -x19243 -x19198 -x19244 x19199 -x19245 -x19200 -x19246 -x19201 -x19247 -x19202 -x19248 -x19203 -x19249 x19204 -x19250 -x19205 -x19251 -x19206 -x19252 -x19207 -x19253 -x19208 -x19254 -x19209 -x19255 -x19210 -x19256 -x19211 -x19257 -x19212 -x19258 -x19213 -x19259 -x19214 -x19260 x19215 -x19261 -x19216 -x19262 -x19217 -x19263 -x19218 -x19264 -x19219 -x19265 -x19220 -x19266 -x19221 -x19267 -x19222 -x19268 x19223 -x19269 -x19224 -x19270 -x19225 -x19271 x19226 -x19272 x19227 -x19273 -x19228 -x19274 -x19275 -x19321 -x19276 -x19322 -x19277 -x19323 x19278 -x19324 -x19279 -x19325 -x19280 -x19326 x19281 -x19327 -x19282 -x19328 -x19283 -x19329 x19284 -x19330 -x19285 -x19331 -x19286 -x19332 -x19287 -x19333 -x19288 -x19334 x19289 -x19335 -x19290 -x19336 x19291 -x19337 -x19292 -x19338 -x19293 -x19339 x19294 -x19340 -x19295 -x19341 -x19296 -x19342 -x19297 -x19343 -x19298 -x19344 -x19299 -x19345 -x19300 -x19346 -x19301 -x19347 -x19302 -x19348 -x19303 -x19349 -x19304 -x19350 -x19305 -x19351 -x19306 -x19352 x19307 -x19353 -x19308 -x19354 -x19309 -x19355 -x19310 -x19356 x19311 -x19357 -x19312 -x19358 -x19313 -x19359 -x19314 -x19360 x19315 -x19361 -x19316 -x19362 -x19317 -x19363 -x19318 -x19364 -x19319 -x19365 -x19320 -x19366 -x19367 -x19413 -x19368 -x19414 -x19369 -x19415 x19370 -x19416 -x19371 -x19417 -x19372 -x19418 x19373 -x19419 -x19374 -x19420 -x19375 -x19421 x19376 -x19422 -x19377 -x19423 -x19378 -x19424 -x19379 -x19425 -x19380 -x19426 x19381 -x19427 x19382 -x19428 x19383 -x19429 -x19384 -x19430 -x19385 -x19431 -x19386 -x19432 -x19387 -x19433 x19388 -x19434 -x19389 -x19435 -x19390 -x19436 -x19391 -x19437 -x19392 -x19438 -x19393 -x19439 -x19394 -x19440 -x19395 -x19441 -x19396 -x19442 -x19397 -x19443 -x19398 -x19444 -x19399 -x19445 -x19400 -x19446 -x19401 -x19447 -x19402 -x19448 -x19403 -x19449 -x19404 -x19450 -x19405 -x19451 -x19406 -x19452 x19407 -x19453 -x19408 -x19454 -x19409 -x19455 -x19410 -x19456 -x19411 -x19457 -x19412 -x19458 -x19459 -x19551 -x19460 -x19552 -x19461 -x19553 x19462 -x19554 -x19463 -x19555 -x19464 -x19556 x19465 -x19557 -x19466 -x19558 -x19467 -x19559 x19468 -x19560 -x19469 -x19561 -x19470 -x19562 x19471 -x19563 -x19472 -x19564 x19473 -x19565 -x19474 -x19566 x19475 -x19567 x19476 -x19568 -x19477 -x19569 -x19478 -x19570 -x19479 -x19571 -x19480 -x19572 -x19481 -x19573 -x19482 -x19574 -x19483 -x19575 -x19484 -x19576 -x19485 -x19577 -x19486 -x19578 -x19487 -x19579 -x19488 -x19580 -x19489 -x19581 -x19490 -x19582 -x19491 -x19583 -x19492 -x19584 -x19493 -x19585 -x19494 -x19586 -x19495 -x19587 -x19496 -x19588 -x19497 -x19589 -x19498 -x19590 x19499 -x19591 -x19500 -x19592 x19501 -x19593 -x19502 -x19594 -x19503 -x19595 -x19504 -x19596 -x19597 -x19643 -x19598 -x19644 -x19599 -x19645 x19600 -x19646 -x19601 -x19647 x19602 -x19648 x19603 -x19649 -x19604 -x19650 -x19605 -x19651 x19606 -x19652 -x19607 -x19653 -x19608 -x19654 -x19609 -x19655 -x19610 -x19656 -x19611 -x19657 -x19612 -x19658 x19613 -x19659 -x19614 -x19660 -x19615 -x19661 -x19616 -x19662 -x19617 -x19663 -x19618 -x19664 -x19619 -x19665 -x19620 -x19666 -x19621 -x19667 -x19622 -x19668 -x19623 -x19669 -x19624 -x19670 -x19625 -x19671 -x19626 -x19672 -x19627 -x19673 -x19628 -x19674 -x19629 -x19675 -x19630 -x19676 -x19631 -x19677 -x19632 -x19678 -x19633 -x19679 -x19634 -x19680 x19635 -x19681 -x19636 -x19682 x19637 -x19683 -x19638 -x19684 -x19639 -x19685 -x19640 -x19686 -x19641 -x19687 x19642 -x19688 -x19689 -x19735 -x19690 -x19736 -x19691 -x19737 x19692 -x19738 x19693 -x19739 -x19694 -x19740 x19695 -x19741 -x19696 -x19742 -x19697 -x19743 -x19698 -x19744 -x19699 -x19745 -x19700 -x19746 -x19701 -x19747 -x19702 -x19748 -x19703 -x19749 -x19704 -x19750 x19705 -x19751 -x19706 -x19752 -x19707 -x19753 -x19708 -x19754 -x19709 -x19755 -x19710 -x19756 x19711 -x19757 -x19712 -x19758 -x19713 -x19759 -x19714 -x19760 -x19715 -x19761 -x19716 -x19762 -x19717 -x19763 -x19718 -x19764 -x19719 -x19765 -x19720 -x19766 -x19721 -x19767 -x19722 -x19768 -x19723 -x19769 -x19724 -x19770 -x19725 -x19771 -x19726 -x19772 -x19727 -x19773 -x19728 -x19774 -x19729 -x19775 -x19730 -x19776 -x19731 -x19777 -x19732 -x19778 -x19733 -x19779 -x19734 -x19780 -x19781 -x19827 -x19782 -x19828 -x19783 -x19829 x19784 -x19830 x19785 -x19831 -x19786 -x19832 x19787 -x19833 -x19788 -x19834 -x19789 -x19835 -x19790 -x19836 -x19791 -x19837 -x19792 -x19838 -x19793 -x19839 -x19794 -x19840 x19795 -x19841 -x19796 -x19842 x19797 -x19843 -x19798 -x19844 -x19799 -x19845 -x19800 -x19846 -x19801 -x19847 -x19802 -x19848 -x19803 -x19849 -x19804 -x19850 -x19805 -x19851 -x19806 -x19852 -x19807 -x19853 -x19808 -x19854 -x19809 -x19855 -x19810 -x19856 x19811 -x19857 -x19812 -x19858 -x19813 -x19859 -x19814 -x19860 -x19815 -x19861 -x19816 -x19862 x19817 -x19863 -x19818 -x19864 -x19819 -x19865 -x19820 -x19866 -x19821 -x19867 -x19822 -x19868 -x19823 -x19869 -x19824 -x19870 -x19825 -x19871 -x19826 -x19872 -x19873 -x19919 -x19874 -x19920 -x19875 -x19921 x19876 -x19922 x19877 -x19923 -x19878 -x19924 x19879 -x19925 -x19880 -x19926 -x19881 -x19927 -x19882 -x19928 -x19883 -x19929 -x19884 -x19930 -x19885 -x19931 -x19886 -x19932 x19887 -x19933 -x19888 -x19934 x19889 -x19935 -x19890 -x19936 -x19891 -x19937 -x19892 -x19938 -x19893 -x19939 -x19894 -x19940 -x19895 -x19941 -x19896 -x19942 -x19897 -x19943 -x19898 -x19944 x19899 -x19945 -x19900 -x19946 -x19901 -x19947 -x19902 -x19948 -x19903 -x19949 -x19904 -x19950 -x19905 -x19951 -x19906 -x19952 -x19907 -x19953 -x19908 -x19954 -x19909 -x19955 -x19910 -x19956 -x19911 -x19957 -x19912 -x19958 -x19913 -x19959 -x19914 -x19960 -x19915 -x19961 -x19916 -x19962 -x19917 -x19963 -x19918 -x19964 -x19965 -x20057 -x19966 -x20058 x19967 -x20059 -x19968 -x20060 -x19969 -x20061 -x19970 -x20062 -x19971 -x20063 -x19972 -x20064 -x19973 -x20065 x19974 x20066 -x19975 -x20067 -x19976 -x20068 -x19977 -x20069 -x19978 -x20070 -x19979 -x20071 -x19980 -x20072 -x19981 -x20073 -x19982 -x20074 -x19983 -x20075 -x19984 -x20076 -x19985 -x20077 -x19986 -x20078 -x19987 -x20079 -x19988 -x20080 -x19989 -x20081 -x19990 -x20082 -x19991 -x20083 -x19992 -x20084 -x19993 -x20085 -x19994 -x20086 -x19995 -x20087 -x19996 -x20088 -x19997 -x20089 -x19998 -x20090 -x19999 -x20091 -x20000 -x20092 -x20001 -x20093 x20002 -x20094 -x20003 -x20095 -x20004 -x20096 x20005 -x20097 -x20006 -x20098 -x20007 -x20099 -x20008 -x20100 -x20009 -x20101 -x20010 -x20102 -x20103 -x20149 -x20104 -x20150 x20105 -x20151 -x20106 -x20152 -x20107 -x20153 -x20108 -x20154 -x20109 -x20155 -x20110 -x20156 -x20111 -x20157 x20112 x20158 -x20113 -x20159 -x20114 -x20160 -x20115 -x20161 -x20116 -x20162 -x20117 -x20163 -x20118 -x20164 -x20119 -x20165 -x20120 -x20166 -x20121 -x20167 -x20122 -x20168 -x20123 -x20169 -x20124 -x20170 -x20125 -x20171 -x20126 -x20172 -x20127 -x20173 -x20128 -x20174 -x20129 -x20175 -x20130 -x20176 -x20131 -x20177 -x20132 -x20178 -x20133 -x20179 -x20134 -x20180 x20135 -x20181 -x20136 -x20182 -x20137 -x20183 -x20138 -x20184 -x20139 -x20185 -x20140 -x20186 -x20141 -x20187 -x20142 -x20188 x20143 -x20189 -x20144 -x20190 -x20145 -x20191 -x20146 -x20192 x20147 -x20193 -x20148 -x20194 -x20195 -x20241 -x20196 -x20242 x20197 -x20243 -x20198 -x20244 -x20199 -x20245 -x20200 -x20246 -x20201 -x20247 -x20202 -x20248 -x20203 -x20249 x20204 x20250 -x20205 -x20251 -x20206 -x20252 -x20207 -x20253 -x20208 -x20254 -x20209 -x20255 -x20210 -x20256 -x20211 -x20257 -x20212 -x20258 -x20213 -x20259 -x20214 -x20260 -x20215 -x20261 -x20216 -x20262 -x20217 -x20263 x20218 -x20264 -x20219 -x20265 -x20220 -x20266 -x20221 -x20267 -x20222 -x20268 -x20223 -x20269 -x20224 -x20270 -x20225 -x20271 -x20226 -x20272 -x20227 -x20273 -x20228 -x20274 x20229 -x20275 -x20230 -x20276 -x20231 -x20277 -x20232 -x20278 -x20233 -x20279 -x20234 -x20280 x20235 -x20281 -x20236 -x20282 -x20237 -x20283 -x20238 -x20284 -x20239 -x20285 -x20240 -x20286 -x20287 -x20333 -x20288 -x20334 x20289 -x20335 -x20290 -x20336 -x20291 -x20337 -x20292 -x20338 -x20293 -x20339 -x20294 -x20340 -x20295 -x20341 x20296 x20342 -x20297 -x20343 -x20298 -x20344 -x20299 -x20345 -x20300 -x20346 -x20301 -x20347 -x20302 -x20348 -x20303 -x20349 -x20304 -x20350 -x20305 -x20351 -x20306 -x20352 -x20307 -x20353 -x20308 -x20354 -x20309 -x20355 x20310 -x20356 -x20311 -x20357 -x20312 -x20358 -x20313 -x20359 x20314 -x20360 -x20315 -x20361 -x20316 -x20362 -x20317 -x20363 -x20318 -x20364 -x20319 -x20365 -x20320 -x20366 -x20321 -x20367 -x20322 -x20368 -x20323 -x20369 -x20324 -x20370 -x20325 -x20371 -x20326 -x20372 x20327 -x20373 -x20328 -x20374 -x20329 -x20375 -x20330 -x20376 -x20331 -x20377 -x20332 -x20378 -x20379 -x20425 -x20380 -x20426 x20381 -x20427 -x20382 -x20428 -x20383 -x20429 -x20384 -x20430 -x20385 -x20431 -x20386 -x20432 -x20387 -x20433 x20388 x20434 x20389 -x20435 -x20390 -x20436 -x20391 -x20437 -x20392 -x20438 -x20393 -x20439 -x20394 -x20440 -x20395 -x20441 -x20396 -x20442 -x20397 -x20443 -x20398 -x20444 -x20399 -x20445 -x20400 -x20446 -x20401 -x20447 -x20402 -x20448 -x20403 -x20449 -x20404 -x20450 -x20405 -x20451 -x20406 -x20452 -x20407 -x20453 -x20408 -x20454 -x20409 -x20455 -x20410 -x20456 -x20411 -x20457 -x20412 -x20458 -x20413 -x20459 -x20414 -x20460 -x20415 -x20461 -x20416 -x20462 -x20417 -x20463 -x20418 -x20464 x20419 -x20465 -x20420 -x20466 -x20421 -x20467 -x20422 -x20468 -x20423 -x20469 -x20424 -x20470 -x20471 -x20563 -x20472 -x20564 x20473 -x20565 -x20474 -x20566 -x20475 -x20567 -x20476 -x20568 x20477 -x20569 -x20478 -x20570 -x20479 -x20571 x20480 -x20572 -x20481 -x20573 -x20482 -x20574 -x20483 -x20575 -x20484 -x20576 -x20485 -x20577 -x20486 -x20578 -x20487 -x20579 -x20488 -x20580 -x20489 -x20581 -x20490 -x20582 -x20491 -x20583 -x20492 -x20584 -x20493 -x20585 -x20494 -x20586 -x20495 -x20587 -x20496 -x20588 -x20497 -x20589 -x20498 -x20590 -x20499 -x20591 x20500 -x20592 -x20501 -x20593 -x20502 -x20594 -x20503 -x20595 x20504 -x20596 -x20505 -x20597 -x20506 -x20598 -x20507 -x20599 -x20508 -x20600 -x20509 -x20601 -x20510 -x20602 -x20511 -x20603 -x20512 -x20604 -x20513 -x20605 -x20514 -x20606 -x20515 -x20607 -x20516 -x20608 -x20609 -x20655 -x20610 -x20656 x20611 -x20657 x20612 -x20658 -x20613 -x20659 -x20614 -x20660 x20615 -x20661 -x20616 -x20662 -x20617 -x20663 x20618 -x20664 -x20619 -x20665 -x20620 -x20666 -x20621 -x20667 -x20622 -x20668 -x20623 -x20669 -x20624 -x20670 x20625 -x20671 -x20626 -x20672 -x20627 -x20673 -x20628 -x20674 -x20629 -x20675 -x20630 -x20676 -x20631 -x20677 -x20632 -x20678 -x20633 -x20679 -x20634 -x20680 -x20635 -x20681 -x20636 -x20682 -x20637 -x20683 -x20638 -x20684 -x20639 -x20685 -x20640 -x20686 -x20641 -x20687 -x20642 -x20688 -x20643 -x20689 -x20644 -x20690 -x20645 -x20691 -x20646 -x20692 -x20647 -x20693 -x20648 -x20694 -x20649 -x20695 -x20650 -x20696 -x20651 -x20697 -x20652 -x20698 -x20653 -x20699 -x20654 -x20700 -x20701 -x20747 -x20702 -x20748 x20703 -x20749 x20704 -x20750 -x20705 -x20751 -x20706 -x20752 x20707 -x20753 -x20708 -x20754 -x20709 -x20755 x20710 -x20756 -x20711 -x20757 -x20712 -x20758 -x20713 -x20759 -x20714 -x20760 x20715 -x20761 -x20716 -x20762 x20717 -x20763 -x20718 -x20764 -x20719 -x20765 -x20720 -x20766 -x20721 -x20767 -x20722 -x20768 -x20723 -x20769 -x20724 -x20770 -x20725 -x20771 -x20726 -x20772 -x20727 -x20773 -x20728 -x20774 -x20729 -x20775 -x20730 -x20776 -x20731 -x20777 -x20732 -x20778 -x20733 -x20779 -x20734 -x20780 -x20735 -x20781 -x20736 -x20782 -x20737 -x20783 -x20738 -x20784 -x20739 -x20785 -x20740 -x20786 -x20741 -x20787 -x20742 -x20788 -x20743 -x20789 -x20744 -x20790 -x20745 -x20791 -x20746 -x20792 -x20793 -x20839 -x20794 -x20840 x20795 -x20841 x20796 -x20842 -x20797 -x20843 -x20798 -x20844 x20799 -x20845 -x20800 -x20846 -x20801 -x20847 x20802 -x20848 -x20803 -x20849 -x20804 -x20850 -x20805 -x20851 -x20806 -x20852 x20807 -x20853 -x20808 -x20854 x20809 -x20855 -x20810 -x20856 -x20811 -x20857 -x20812 -x20858 -x20813 -x20859 -x20814 -x20860 -x20815 -x20861 -x20816 -x20862 -x20817 -x20863 -x20818 -x20864 -x20819 -x20865 -x20820 -x20866 -x20821 -x20867 -x20822 -x20868 -x20823 -x20869 -x20824 -x20870 -x20825 -x20871 -x20826 -x20872 -x20827 -x20873 -x20828 -x20874 x20829 -x20875 -x20830 -x20876 -x20831 -x20877 -x20832 -x20878 -x20833 -x20879 -x20834 -x20880 -x20835 -x20881 -x20836 -x20882 -x20837 -x20883 -x20838 -x20884 -x20885 -x20931 x20886 -x20932 x20887 -x20933 -x20888 -x20934 -x20889 -x20935 -x20890 -x20936 x20891 -x20937 -x20892 -x20938 -x20893 -x20939 x20894 -x20940 -x20895 -x20941 -x20896 -x20942 -x20897 -x20943 -x20898 -x20944 -x20899 -x20945 -x20900 -x20946 -x20901 -x20947 -x20902 -x20948 -x20903 -x20949 -x20904 -x20950 -x20905 -x20951 -x20906 -x20952 -x20907 -x20953 -x20908 -x20954 -x20909 -x20955 -x20910 -x20956 -x20911 -x20957 -x20912 -x20958 -x20913 -x20959 x20914 -x20960 -x20915 -x20961 -x20916 -x20962 -x20917 -x20963 -x20918 -x20964 -x20919 -x20965 -x20920 -x20966 -x20921 -x20967 -x20922 -x20968 -x20923 -x20969 x20924 -x20970 -x20925 -x20971 -x20926 -x20972 -x20927 -x20973 -x20928 -x20974 -x20929 -x20975 -x20930 -x20976 -x20977 -x21069 x20978 -x21070 x20979 -x21071 -x20980 -x21072 -x20981 -x21073 -x20982 -x21074 x20983 -x21075 -x20984 -x21076 -x20985 -x21077 x20986 -x21078 -x20987 -x21079 -x20988 -x21080 -x20989 -x21081 x20990 -x21082 -x20991 -x21083 -x20992 -x21084 x20993 -x21085 -x20994 -x21086 -x20995 -x21087 -x20996 -x21088 x20997 -x21089 -x20998 -x21090 -x20999 -x21091 -x21000 -x21092 -x21001 -x21093 -x21002 -x21094 -x21003 -x21095 -x21004 -x21096 -x21005 -x21097 -x21006 -x21098 -x21007 -x21099 -x21008 -x21100 -x21009 -x21101 -x21010 -x21102 -x21011 -x21103 -x21012 -x21104 -x21013 -x21105 -x21014 -x21106 -x21015 -x21107 -x21016 -x21108 -x21017 -x21109 -x21018 -x21110 -x21019 -x21111 -x21020 -x21112 -x21021 -x21113 -x21022 -x21114 -x21115 -x21161 x21116 -x21162 x21117 -x21163 x21118 -x21164 -x21119 -x21165 -x21120 -x21166 x21121 -x21167 -x21122 -x21168 -x21123 -x21169 x21124 -x21170 -x21125 -x21171 -x21126 -x21172 -x21127 -x21173 -x21128 -x21174 x21129 -x21175 -x21130 -x21176 x21131 -x21177 -x21132 -x21178 -x21133 -x21179 -x21134 -x21180 -x21135 -x21181 -x21136 -x21182 -x21137 -x21183 -x21138 -x21184 -x21139 -x21185 -x21140 -x21186 -x21141 -x21187 -x21142 -x21188 -x21143 -x21189 -x21144 -x21190 -x21145 -x21191 -x21146 -x21192 -x21147 -x21193 -x21148 -x21194 -x21149 -x21195 -x21150 -x21196 -x21151 -x21197 -x21152 -x21198 -x21153 -x21199 -x21154 -x21200 -x21155 -x21201 -x21156 -x21202 -x21157 -x21203 -x21158 -x21204 -x21159 -x21205 -x21160 -x21206 -x21207 -x21253 x21208 -x21254 x21209 -x21255 x21210 -x21256 -x21211 -x21257 -x21212 -x21258 x21213 -x21259 -x21214 -x21260 -x21215 -x21261 x21216 -x21262 -x21217 -x21263 x21218 -x21264 -x21219 -x21265 -x21220 -x21266 x21221 -x21267 -x21222 -x21268 x21223 -x21269 -x21224 -x21270 -x21225 -x21271 -x21226 -x21272 -x21227 -x21273 -x21228 -x21274 -x21229 -x21275 -x21230 -x21276 -x21231 -x21277 -x21232 -x21278 -x21233 -x21279 -x21234 -x21280 -x21235 -x21281 -x21236 -x21282 -x21237 -x21283 -x21238 -x21284 -x21239 -x21285 -x21240 -x21286 -x21241 -x21287 -x21242 -x21288 -x21243 -x21289 -x21244 -x21290 -x21245 -x21291 -x21246 -x21292 -x21247 -x21293 -x21248 -x21294 -x21249 -x21295 -x21250 -x21296 -x21251 -x21297 -x21252 -x21298 -x5266 -x5267 -x7044 x5268 x7045 x8721 x5269 x7046 x8722 x10297 x5270 x7047 x8723 -x10298 x11772 x5271 x7048 x8724 x10299 x11773 x13146 x5272 x7049 x8725 x10300 x11774 -x13147 x14419 x5273 x7050 x8726 x10301 x11775 x13148 x14420 x15591 x5274 x7051 x8727 x10302 x11776 x13149 x14421 x15592 -x16662 x5275 x7052 x8728 x10303 x11777 x13150 x14422 x15593 x16663 x796 x5276 x7053 x8729 x10304 x11778 -x13151 x14423 x15594 x16664 x797 x1665 x5277 x7054 x8730 x10305 x11779 x13152 x14424 x15595 x16665 x798 x1666 x2433 x5278 x7055 x8731 -x10306 x11780 x13153 x14425 x15596 x16666 x799 x1667 x2434 x3100 x5279 x7056 x8732 x10307 x11781 x13154 x14426 x15597 x16667 x800 x1668 x2435 x3101 x3666 x5280 x7057 x8733 x10308 x11782 x13155 x14427 x15598 x16668 x801 x1669 x2436 x3102 -x3667 x4131 x5281 x7058 x8734 x10309 x11783 x13156 x14428 x15599 x16669 x802 x1670 x2437 x3103 x3668 x4132 x4495 x5282 x7059 x8735 x10310 x11784 x13157 x14429 x15600 x16670 x803 x1671 x2438 x3104 x3669 x4133 -x4496 x4758 x5283 x7060 x8736 x10311 x11785 x13158 x14430 x15601 x16671 x804 x1672 x2439 x3105 x3670 x4134 x4497 x4759 x4935 x5284 x7061 x8737 x10312 x11786 -x13159 x14431 x15602 x16672 x805 x1673 x2440 x3106 x3671 x4135 x4498 x4760 x4936 x5101 x5285 x7062 x8738 x10313 x11787 x13160 x14432 x15603 x16673 x806 x1674 x2441 x3107 x3672 x4136 x4499 x4761 x4937 x5102 x5449 x5286 x7063 x8739 x10314 x11788 x13161 x14433 x15604 x16674 x807 x1675 x2442 x3108 x3673 x4137 x4500 x4762 x4938 x5103 -x5450 x5613 x5287 x7064 x8740 x10315 x11789 x13162 x14434 x15605 x16675 x808 x1676 x2443 x3109 x3674 x4138 x4501 x4763 x4939 x5104 x5451 x5614 x5776 x5288 x7065 x8741 x10316 x11790 x13163 x14435 x15606 x16676 x809 x1677 x2444 x3110 x3675 x4139 x4502 x4764 x4940 x5105 x5452 x5615 -x5777 x5938 x5289 x7066 x8742 x10317 x11791 x13164 x14436 x15607 x16677 x810 x1678 x2445 x3111 x3676 x4140 x4503 x4765 x4941 x5106 x5453 x5616 x5778 x5939 x6099 x5290 x7067 x8743 x10318 x11792 -x13165 x14437 x15608 x16678 x811 x1679 x2446 x3112 x3677 x4141 x4504 x4766 x4942 x5107 x5454 x5617 x5779 x5940 x6100 x6259 x5291 x7068 x8744 x10319 x11793 x13166 x14438 x15609 x16679 x812 x1680 x2447 x3113 x3678 x4142 x4505 x4767 x4943 x5108 x5455 x5618 x5780 x5941 x6101 x6260 x6418 x5292 x7069 x8745 x10320 x11794 x13167 x14439 -x15610 x16680 x813 x1681 x2448 x3114 x3679 x4143 x4506 x4768 x4944 x5109 x5456 x5619 x5781 x5942 x6102 x6261 x6419 x6576 x5293 x7070 x8746 x10321 x11795 x13168 x14440 x15611 x16681 x814 x1682 x2449 x3115 x3680 x4144 x4507 x4769 x4945 x5110 x5457 x5620 x5782 x5943 x6103 x6262 x6420 x6577 x6733 x5294 x7071 x8747 x10322 x11796 x13169 x14441 x15612 x16682 x815 x1683 x2450 x3116 x3681 x4145 x4508 x4770 x4946 x5111 x5458 x5621 -x5783 x5944 x6104 x6263 x6421 x6578 x6734 x6889 x5295 x7072 x8748 x10323 x11797 x13170 x14442 x15613 x16683 x816 x1684 x2451 x3117 x3682 x4146 x4509 x4771 x4947 x5112 x5459 x5622 x5784 x5945 x6105 x6264 x6422 x6579 x6735 x6890 x7226 x5296 x7073 x8749 x10324 x11798 x13171 x14443 x15614 x16684 x817 x1685 x2452 x3118 x3683 x4147 x4510 x4772 x4948 x5113 x5460 x5623 x5785 x5946 x6106 x6265 -x6423 x6580 x6736 x6891 x7227 x7380 x5297 x7074 x8750 x10325 x11799 x13172 x14444 x15615 x16685 x818 x1686 x2453 x3119 x3684 x4148 x4511 x4773 x4949 x5114 x5461 x5624 x5786 x5947 x6107 x6266 x6424 x6581 x6737 x6892 x7228 x7381 x7533 x5298 x7075 x8751 x10326 x11800 x13173 x14445 x15616 x16686 x819 x1687 -x2454 x3120 x3685 x4149 x4512 x4774 x4950 x5115 x5462 x5625 x5787 x5948 x6108 x6267 x6425 x6582 x6738 x6893 x7229 x7382 x7534 x7685 x5299 x7076 x8752 x10327 x11801 x13174 x14446 x15617 x16687 x820 x1688 x2455 x3121 x3686 x4150 x4513 x4775 x4951 x5116 x5463 x5626 x5788 x5949 x6109 x6268 x6426 x6583 x6739 x6894 x7230 x7383 x7535 x7686 x7836 x5300 x7077 x8753 x10328 x11802 x13175 x14447 x15618 x16688 x821 x1689 x2456 x3122 x3687 x4151 x4514 x4776 x4952 x5117 x5464 x5627 x5789 x5950 x6110 x6269 x6427 x6584 x6740 x6895 x7231 x7384 x7536 x7687 x7837 -x7986 x5301 x7078 x8754 x10329 x11803 x13176 x14448 x15619 x16689 x822 x1690 x2457 x3123 x3688 x4152 x4515 x4777 x4953 x5118 x5465 x5628 x5790 x5951 x6111 x6270 x6428 x6585 x6741 x6896 x7232 x7385 x7537 x7688 x7838 x7987 x8135 x5302 x7079 x8755 x10330 x11804 x13177 x14449 x15620 x16690 x823 x1691 x2458 x3124 x3689 x4153 x4516 x4778 x4954 x5119 x5466 x5629 x5791 x5952 x6112 x6271 x6429 x6586 x6742 x6897 x7233 x7386 x7538 x7689 x7839 x7988 x8136 x8283 x5303 x7080 x8756 x10331 x11805 x13178 x14450 x15621 x16691 x824 x1692 x2459 x3125 x3690 x4154 x4517 x4779 x4955 x5120 x5467 x5630 x5792 x5953 x6113 x6272 x6430 x6587 x6743 x6898 x7234 x7387 x7539 x7690 x7840 x7989 x8137 x8284 x8430 x5304 x7081 x8757 x10332 x11806 x13179 x14451 x15622 x16692 x825 x1693 x2460 x3126 x3691 x4155 x4518 x4780 x4956 x5121 x5468 x5631 x5793 x5954 x6114 x6273 x6431 x6588 x6744 x6899 x7235 x7388 x7540 x7691 x7841 x7990 x8138 x8285 x8431 x8576 x5305 x7082 x8758 x10333 x11807 x13180 x14452 x15623 x16693 x826 x1694 x2461 x3127 x3692 x4156 x4519 x4781 x4957 x5122 x5469 x5632 x5794 x5955 x6115 x6274 x6432 x6589 x6745 x6900 x7236 x7389 x7541 x7692 x7842 x7991 x8139 x8286 x8432 x8577 x8902 x5306 x7083 x8759 x10334 x11808 x13181 x14453 x15624 x16694 x827 x1695 x2462 x3128 x3693 x4157 x4520 x4782 x4958 x5123 x5470 x5633 x5795 x5956 x6116 x6275 x6433 x6590 x6746 x6901 x7237 x7390 x7542 x7693 x7843 x7992 x8140 x8287 x8433 x8578 -x8903 x9046 x5307 x7084 x8760 x10335 x11809 x13182 x14454 x15625 x16695 x828 x1696 x2463 x3129 x3694 x4158 x4521 x4783 x4959 x5124 x5471 x5634 x5796 x5957 x6117 x6276 x6434 x6591 x6747 x6902 x7238 x7391 x7543 x7694 x7844 x7993 x8141 x8288 x8434 x8579 x8904 x9047 x9189 x5308 x7085 x8761 x10336 x11810 x13183 x14455 x15626 x16696 x829 x1697 x2464 x3130 x3695 x4159 x4522 x4784 x4960 x5125 x5472 x5635 x5797 x5958 x6118 x6277 x6435 x6592 x6748 x6903 x7239 x7392 x7544 x7695 x7845 x7994 x8142 x8289 x8435 x8580 -x8905 x9048 x9190 x9331 x5309 x7086 x8762 x10337 x11811 x13184 x14456 x15627 x16697 x830 x1698 x2465 x3131 x3696 x4160 x4523 x4785 x4961 x5126 x5473 x5636 x5798 x5959 x6119 x6278 x6436 x6593 x6749 x6904 x7240 x7393 x7545 x7696 x7846 x7995 x8143 x8290 x8436 x8581 x8906 x9049 x9191 x9332 x9472 x5310 x7087 x8763 x10338 x11812 x13185 x14457 x15628 x16698 x831 x1699 x2466 x3132 x3697 x4161 x4524 x4786 x4962 x5127 x5474 x5637 x5799 x5960 x6120 x6279 x6437 x6594 x6750 x6905 x7241 x7394 x7546 x7697 x7847 x7996 x8144 x8291 x8437 x8582 x8907 x9050 x9192 x9333 -x9473 x9612 x5311 x7088 x8764 x10339 x11813 x13186 x14458 x15629 x16699 x832 x1700 x2467 x3133 x3698 x4162 x4525 x4787 x4963 x5128 x5475 x5638 x5800 x5961 x6121 x6280 x6438 x6595 x6751 x6906 x7242 x7395 x7547 x7698 x7848 x7997 x8145 x8292 x8438 x8583 x8908 x9051 x9193 x9334 x9474 x9613 x9751 x5312 x7089 x8765 x10340 x11814 x13187 x14459 x15630 x16700 x833 x1701 x2468 x3134 x3699 x4163 x4526 x4788 x4964 x5129 x5476 x5639 x5801 x5962 x6122 x6281 x6439 x6596 x6752 x6907 x7243 x7396 x7548 x7699 x7849 x7998 x8146 x8293 x8439 x8584 -x8909 x9052 x9194 x9335 x9475 x9614 x9752 x9889 x5313 x7090 x8766 x10341 x11815 x13188 x14460 x15631 x16701 x834 x1702 x2469 x3135 x3700 x4164 x4527 x4789 x4965 x5130 x5477 x5640 x5802 x5963 x6123 x6282 x6440 x6597 x6753 x6908 x7244 x7397 x7549 x7700 x7850 x7999 x8147 x8294 x8440 x8585 x8910 x9053 x9195 x9336 x9476 x9615 x9753 x9890 x10026 x5314 x7091 x8767 x10342 x11816 x13189 x14461 x15632 x16702 x835 x1703 x2470 x3136 x3701 x4165 x4528 x4790 x4966 x5131 x5478 x5641 x5803 x5964 x6124 x6283 x6441 x6598 x6754 x6909 x7245 x7398 x7550 x7701 x7851 x8000 x8148 x8295 x8441 x8586 x8911 x9054 x9196 x9337 -x9477 x9616 x9754 x9891 x10027 x10162 x5315 x7092 x8768 x10343 x11817 x13190 x14462 x15633 x16703 x836 x1704 x2471 x3137 x3702 x4166 x4529 x4791 x4967 x5132 x5479 x5642 x5804 x5965 x6125 x6284 x6442 x6599 x6755 x6910 x7246 x7399 x7551 x7702 x7852 x8001 x8149 x8296 x8442 x8587 x8912 x9055 x9197 x9338 x9478 x9617 x9755 x9892 x10028 x10163 x10477 x5316 x7093 x8769 x10344 x11818 x13191 x14463 x15634 x16704 x837 x1705 x2472 x3138 x3703 x4167 x4530 x4792 x4968 x5133 x5480 x5643 x5805 x5966 x6126 x6285 x6443 x6600 x6756 x6911 x7247 x7400 x7552 x7703 x7853 x8002 x8150 x8297 x8443 x8588 x8913 x9056 x9198 x9339 x9479 x9618 x9756 x9893 -x10029 x10164 x10478 x10611 x5317 x7094 x8770 x10345 x11819 x13192 x14464 x15635 x16705 x838 x1706 x2473 x3139 x3704 x4168 x4531 x4793 x4969 x5134 x5481 x5644 x5806 x5967 x6127 x6286 x6444 x6601 x6757 x6912 x7248 x7401 x7553 x7704 x7854 x8003 x8151 x8298 x8444 x8589 x8914 x9057 x9199 x9340 x9480 x9619 x9757 x9894 x10030 x10165 x10479 x10612 x10744 x5318 x7095 x8771 x10346 x11820 x13193 x14465 x15636 x16706 x839 x1707 x2474 x3140 x3705 x4169 x4532 x4794 x4970 x5135 x5482 x5645 x5807 x5968 x6128 x6287 x6445 x6602 x6758 x6913 x7249 x7402 x7554 x7705 x7855 x8004 x8152 x8299 x8445 x8590 x8915 x9058 x9200 x9341 x9481 x9620 -x9758 x9895 x10031 x10166 x10480 x10613 x10745 x10876 x5319 x7096 x8772 x10347 x11821 x13194 x14466 x15637 x16707 x840 x1708 x2475 x3141 x3706 x4170 x4533 x4795 x4971 x5136 x5483 x5646 x5808 x5969 x6129 x6288 x6446 x6603 x6759 x6914 x7250 x7403 x7555 x7706 x7856 x8005 x8153 x8300 x8446 x8591 x8916 x9059 x9201 x9342 x9482 x9621 x9759 x9896 x10032 x10167 x10481 x10614 x10746 x10877 x11007 x5320 x7097 x8773 x10348 x11822 x13195 x14467 x15638 x16708 x841 x1709 x2476 x3142 x3707 x4171 x4534 x4796 x4972 x5137 x5484 x5647 x5809 x5970 x6130 x6289 x6447 x6604 x6760 x6915 x7251 x7404 x7556 x7707 x7857 x8006 x8154 x8301 x8447 x8592 x8917 x9060 x9202 x9343 x9483 x9622 x9760 x9897 x10033 x10168 x10482 x10615 -x10747 x10878 x11008 x11137 x5321 x7098 x8774 x10349 x11823 x13196 x14468 x15639 x16709 x842 x1710 x2477 x3143 x3708 x4172 x4535 x4797 x4973 x5138 x5485 x5648 x5810 x5971 x6131 x6290 x6448 x6605 x6761 x6916 x7252 x7405 x7557 x7708 x7858 x8007 x8155 x8302 x8448 x8593 x8918 x9061 x9203 x9344 x9484 x9623 x9761 x9898 x10034 x10169 x10483 x10616 x10748 x10879 x11009 x11138 x11266 x5322 x7099 x8775 x10350 x11824 x13197 x14469 x15640 x16710 x843 x1711 x2478 x3144 x3709 x4173 x4536 x4798 x4974 x5139 x5486 x5649 x5811 x5972 x6132 x6291 x6449 x6606 x6762 x6917 x7253 x7406 x7558 x7709 x7859 x8008 x8156 x8303 x8449 x8594 -x8919 x9062 x9204 x9345 x9485 x9624 x9762 x9899 x10035 x10170 x10484 x10617 x10749 x10880 x11010 x11139 x11267 x11394 x5323 x7100 x8776 x10351 x11825 x13198 x14470 x15641 x16711 x844 x1712 x2479 x3145 x3710 x4174 x4537 x4799 x4975 x5140 x5487 x5650 x5812 x5973 x6133 x6292 x6450 x6607 x6763 x6918 x7254 x7407 x7559 x7710 x7860 x8009 x8157 x8304 x8450 x8595 x8920 x9063 x9205 x9346 x9486 x9625 x9763 x9900 x10036 x10171 x10485 x10618 x10750 x10881 x11011 x11140 x11268 x11395 x11521 x5324 x7101 x8777 x10352 x11826 x13199 x14471 x15642 x16712 x845 x1713 x2480 x3146 x3711 x4175 x4538 x4800 x4976 x5141 x5488 x5651 x5813 x5974 x6134 x6293 x6451 x6608 x6764 x6919 x7255 x7408 x7560 x7711 x7861 x8010 x8158 x8305 x8451 x8596 x8921 x9064 x9206 x9347 x9487 x9626 x9764 x9901 -x10037 x10172 x10486 x10619 x10751 x10882 x11012 x11141 x11269 x11396 x11522 x11647 x5325 x7102 x8778 x10353 x11827 x13200 x14472 x15643 x16713 x846 x1714 x2481 x3147 x3712 x4176 x4539 x4801 x4977 x5142 x5489 x5652 x5814 x5975 x6135 x6294 x6452 x6609 x6765 x6920 x7256 x7409 x7561 x7712 x7862 x8011 x8159 x8306 x8452 x8597 x8922 x9065 x9207 x9348 x9488 x9627 x9765 x9902 x10038 x10173 x10487 x10620 x10752 x10883 x11013 x11142 x11270 x11397 x11523 x11648 x11951 x5326 x7103 x8779 x10354 x11828 x13201 x14473 x15644 x16714 x847 x1715 x2482 x3148 x3713 x4177 x4540 x4802 x4978 x5143 x5490 x5653 x5815 x5976 x6136 x6295 x6453 x6610 x6766 x6921 x7257 x7410 x7562 x7713 x7863 x8012 x8160 x8307 x8453 x8598 x8923 x9066 x9208 x9349 -x9489 x9628 x9766 x9903 x10039 x10174 x10488 x10621 x10753 x10884 x11014 x11143 x11271 x11398 x11524 x11649 x11952 x12075 x5327 x7104 x8780 x10355 x11829 x13202 x14474 x15645 x16715 x848 x1716 x2483 x3149 x3714 x4178 x4541 x4803 x4979 x5144 x5491 x5654 x5816 x5977 x6137 x6296 x6454 x6611 x6767 x6922 x7258 x7411 x7563 x7714 x7864 x8013 x8161 x8308 x8454 x8599 x8924 x9067 x9209 x9350 x9490 x9629 x9767 x9904 x10040 x10175 x10489 x10622 x10754 x10885 x11015 x11144 x11272 x11399 x11525 x11650 x11953 x12076 x12198 x5328 x7105 x8781 x10356 x11830 x13203 x14475 x15646 x16716 x849 x1717 x2484 x3150 x3715 x4179 x4542 x4804 x4980 x5145 x5492 x5655 x5817 x5978 x6138 x6297 x6455 x6612 x6768 x6923 x7259 x7412 x7564 x7715 x7865 x8014 x8162 x8309 x8455 x8600 x8925 x9068 x9210 x9351 x9491 x9630 x9768 x9905 x10041 x10176 x10490 x10623 x10755 x10886 -x11016 x11145 x11273 x11400 x11526 x11651 x11954 x12077 x12199 x12320 x5329 x7106 x8782 x10357 x11831 x13204 x14476 x15647 x16717 x850 x1718 x2485 x3151 x3716 x4180 x4543 x4805 x4981 x5146 x5493 x5656 x5818 x5979 x6139 x6298 x6456 x6613 x6769 x6924 x7260 x7413 x7565 x7716 x7866 x8015 x8163 x8310 x8456 x8601 x8926 x9069 x9211 x9352 x9492 x9631 x9769 x9906 x10042 x10177 x10491 x10624 x10756 x10887 x11017 x11146 x11274 x11401 x11527 x11652 x11955 x12078 x12200 x12321 x12441 x5330 x7107 x8783 x10358 x11832 x13205 x14477 x15648 x16718 x851 x1719 x2486 x3152 x3717 x4181 x4544 x4806 x4982 x5147 x5494 x5657 x5819 x5980 x6140 x6299 x6457 x6614 x6770 x6925 x7261 x7414 x7566 x7717 x7867 x8016 x8164 x8311 x8457 x8602 -x8927 x9070 x9212 x9353 x9493 x9632 x9770 x9907 x10043 x10178 x10492 x10625 x10757 x10888 x11018 x11147 x11275 x11402 x11528 x11653 x11956 x12079 x12201 x12322 x12442 x12561 x5331 x7108 x8784 x10359 x11833 x13206 x14478 x15649 x16719 x852 x1720 x2487 x3153 x3718 x4182 x4545 x4807 x4983 x5148 x5495 x5658 x5820 x5981 x6141 x6300 x6458 x6615 x6771 x6926 x7262 x7415 x7567 x7718 x7868 x8017 x8165 x8312 x8458 x8603 x8928 x9071 x9213 x9354 x9494 x9633 x9771 x9908 x10044 x10179 x10493 x10626 x10758 x10889 x11019 x11148 x11276 x11403 x11529 x11654 x11957 x12080 x12202 x12323 x12443 x12562 x12680 x5332 x7109 x8785 x10360 x11834 x13207 x14479 x15650 x16720 x853 x1721 x2488 x3154 x3719 x4183 x4546 x4808 x4984 x5149 x5496 x5659 x5821 x5982 x6142 x6301 x6459 x6616 x6772 x6927 x7263 x7416 x7568 x7719 x7869 x8018 x8166 x8313 x8459 x8604 x8929 x9072 x9214 x9355 x9495 x9634 x9772 x9909 -x10045 x10180 x10494 x10627 x10759 x10890 x11020 x11149 x11277 x11404 x11530 x11655 x11958 x12081 x12203 x12324 x12444 x12563 x12681 x12798 x5333 x7110 x8786 x10361 x11835 x13208 x14480 x15651 x16721 x854 x1722 x2489 x3155 x3720 x4184 x4547 x4809 x4985 x5150 x5497 x5660 x5822 x5983 x6143 x6302 x6460 x6617 x6773 x6928 x7264 x7417 x7569 x7720 x7870 x8019 x8167 x8314 x8460 x8605 x8930 x9073 x9215 x9356 x9496 x9635 x9773 x9910 x10046 x10181 x10495 x10628 x10760 x10891 x11021 x11150 x11278 x11405 x11531 x11656 x11959 x12082 x12204 x12325 x12445 x12564 x12682 x12799 x12915 x5334 x7111 x8787 x10362 x11836 x13209 x14481 x15652 x16722 x855 x1723 x2490 x3156 x3721 x4185 x4548 x4810 x4986 x5151 x5498 x5661 x5823 x5984 x6144 x6303 x6461 x6618 x6774 x6929 x7265 x7418 x7570 x7721 x7871 x8020 x8168 x8315 x8461 x8606 x8931 x9074 x9216 x9357 x9497 x9636 x9774 x9911 x10047 x10182 x10496 x10629 x10761 x10892 x11022 x11151 x11279 x11406 x11532 x11657 x11960 x12083 x12205 x12326 x12446 x12565 -x12683 x12800 x12916 x13031 x5335 x7112 x8788 x10363 x11837 x13210 x14482 x15653 x16723 x856 x1724 x2491 x3157 x3722 x4186 x4549 x4811 x4987 x5152 x5499 x5662 x5824 x5985 x6145 x6304 x6462 x6619 x6775 x6930 x7266 x7419 x7571 x7722 x7872 x8021 x8169 x8316 x8462 x8607 x8932 x9075 x9217 x9358 x9498 x9637 x9775 x9912 x10048 x10183 x10497 x10630 x10762 x10893 x11023 x11152 x11280 x11407 x11533 x11658 x11961 x12084 x12206 x12327 x12447 x12566 x12684 x12801 x12917 x13032 x13324 x5336 x7113 x8789 x10364 x11838 x13211 x14483 x15654 x16724 x857 x1725 x2492 x3158 x3723 x4187 x4550 x4812 x4988 x5153 x5500 x5663 x5825 x5986 x6146 x6305 x6463 x6620 x6776 x6931 x7267 x7420 x7572 x7723 x7873 x8022 x8170 x8317 x8463 x8608 x8933 x9076 x9218 x9359 x9499 x9638 x9776 x9913 x10049 x10184 x10498 x10631 x10763 x10894 x11024 x11153 -x11281 x11408 x11534 x11659 x11962 x12085 x12207 x12328 x12448 x12567 x12685 x12802 x12918 x13033 x13325 x13438 x5337 x7114 x8790 x10365 x11839 x13212 x14484 x15655 x16725 x858 x1726 x2493 x3159 x3724 x4188 x4551 x4813 x4989 x5154 x5501 x5664 x5826 x5987 x6147 x6306 x6464 x6621 x6777 x6932 x7268 x7421 x7573 x7724 x7874 x8023 x8171 x8318 x8464 x8609 x8934 x9077 x9219 x9360 x9500 x9639 x9777 x9914 x10050 x10185 x10499 x10632 x10764 x10895 x11025 x11154 x11282 x11409 x11535 x11660 x11963 x12086 x12208 x12329 x12449 x12568 x12686 x12803 x12919 x13034 x13326 x13439 x13551 x5338 x7115 x8791 x10366 x11840 x13213 x14485 x15656 x16726 x859 x1727 x2494 x3160 x3725 x4189 x4552 x4814 x4990 x5155 x5502 x5665 x5827 x5988 x6148 x6307 x6465 x6622 x6778 x6933 x7269 x7422 x7574 x7725 x7875 x8024 x8172 x8319 x8465 x8610 x8935 x9078 x9220 x9361 x9501 x9640 x9778 x9915 x10051 x10186 x10500 x10633 x10765 x10896 x11026 x11155 x11283 x11410 -x11536 x11661 x11964 x12087 x12209 x12330 x12450 x12569 x12687 x12804 x12920 x13035 x13327 x13440 x13552 x13663 x5339 x7116 x8792 x10367 x11841 x13214 x14486 x15657 x16727 x860 x1728 x2495 x3161 x3726 x4190 x4553 x4815 x4991 x5156 x5503 x5666 x5828 x5989 x6149 x6308 x6466 x6623 x6779 x6934 x7270 x7423 x7575 x7726 x7876 x8025 x8173 x8320 x8466 x8611 x8936 x9079 x9221 x9362 x9502 x9641 x9779 x9916 x10052 x10187 x10501 x10634 x10766 x10897 x11027 x11156 x11284 x11411 x11537 x11662 x11965 x12088 x12210 x12331 x12451 x12570 x12688 x12805 x12921 x13036 x13328 x13441 x13553 x13664 x13774 x5340 x7117 x8793 x10368 x11842 x13215 x14487 x15658 x16728 x861 x1729 x2496 x3162 x3727 x4191 x4554 x4816 x4992 x5157 x5504 x5667 x5829 x5990 x6150 x6309 x6467 x6624 x6780 x6935 x7271 x7424 x7576 x7727 x7877 x8026 x8174 x8321 x8467 x8612 x8937 x9080 x9222 x9363 x9503 x9642 x9780 x9917 x10053 x10188 x10502 x10635 x10767 x10898 x11028 x11157 x11285 x11412 x11538 x11663 x11966 x12089 x12211 x12332 x12452 x12571 x12689 x12806 x12922 x13037 x13329 x13442 x13554 x13665 x13775 -x13884 x5341 x7118 x8794 x10369 x11843 x13216 x14488 x15659 x16729 x862 x1730 x2497 x3163 x3728 x4192 x4555 x4817 x4993 x5158 x5505 x5668 x5830 x5991 x6151 x6310 x6468 x6625 x6781 x6936 x7272 x7425 x7577 x7728 x7878 x8027 x8175 x8322 x8468 x8613 x8938 x9081 x9223 x9364 x9504 x9643 x9781 x9918 x10054 x10189 x10503 x10636 x10768 x10899 x11029 x11158 x11286 x11413 x11539 x11664 x11967 x12090 x12212 x12333 x12453 x12572 x12690 x12807 x12923 x13038 x13330 x13443 x13555 x13666 x13776 x13885 x13993 x5342 x7119 x8795 x10370 x11844 x13217 x14489 x15660 x16730 x863 x1731 x2498 x3164 x3729 x4193 x4556 x4818 x4994 x5159 x5506 x5669 x5831 x5992 x6152 x6311 x6469 x6626 x6782 x6937 x7273 x7426 x7578 x7729 x7879 x8028 x8176 x8323 x8469 x8614 x8939 x9082 x9224 x9365 x9505 x9644 x9782 x9919 x10055 x10190 x10504 x10637 x10769 x10900 x11030 x11159 x11287 x11414 x11540 x11665 x11968 x12091 x12213 x12334 x12454 x12573 x12691 x12808 x12924 x13039 x13331 x13444 x13556 x13667 x13777 x13886 x13994 -x14101 x5343 x7120 x8796 x10371 x11845 x13218 x14490 x15661 x16731 x864 x1732 x2499 x3165 x3730 x4194 x4557 x4819 x4995 x5160 x5507 x5670 x5832 x5993 x6153 x6312 x6470 x6627 x6783 x6938 x7274 x7427 x7579 x7730 x7880 x8029 x8177 x8324 x8470 x8615 x8940 x9083 x9225 x9366 x9506 x9645 x9783 x9920 x10056 x10191 x10505 x10638 x10770 x10901 x11031 x11160 x11288 x11415 x11541 x11666 x11969 x12092 x12214 x12335 x12455 x12574 x12692 x12809 x12925 x13040 x13332 x13445 x13557 x13668 x13778 x13887 x13995 x14102 x14208 x5344 x7121 x8797 x10372 x11846 x13219 x14491 x15662 x16732 x865 x1733 x2500 x3166 x3731 x4195 x4558 x4820 x4996 x5161 x5508 x5671 x5833 x5994 x6154 x6313 x6471 x6628 x6784 x6939 x7275 x7428 x7580 x7731 x7881 x8030 x8178 x8325 x8471 x8616 x8941 x9084 x9226 x9367 x9507 x9646 x9784 x9921 x10057 x10192 x10506 x10639 x10771 x10902 x11032 x11161 x11289 x11416 x11542 x11667 x11970 x12093 x12215 x12336 x12456 x12575 x12693 x12810 x12926 x13041 x13333 x13446 x13558 x13669 x13779 x13888 x13996 x14103 x14209 x14314 x5345 x7122 x8798 x10373 x11847 x13220 x14492 x15663 x16733 x866 x1734 x2501 x3167 x3732 x4196 x4559 x4821 x4997 x5162 x5509 x5672 x5834 x5995 x6155 x6314 x6472 x6629 x6785 x6940 x7276 x7429 x7581 x7732 x7882 x8031 x8179 x8326 x8472 x8617 x8942 x9085 x9227 x9368 x9508 x9647 x9785 x9922 x10058 x10193 x10507 x10640 x10772 x10903 x11033 x11162 x11290 x11417 x11543 x11668 x11971 x12094 x12216 x12337 x12457 x12576 x12694 x12811 x12927 x13042 x13334 x13447 x13559 x13670 x13780 x13889 x13997 x14104 x14210 x14315 -x14596 x5346 x7123 x8799 x10374 x11848 x13221 x14493 x15664 x16734 x867 x1735 x2502 x3168 x3733 x4197 x4560 x4822 x4998 x5163 x5510 x5673 x5835 x5996 x6156 x6315 x6473 x6630 x6786 x6941 x7277 x7430 x7582 x7733 x7883 x8032 x8180 x8327 x8473 x8618 x8943 x9086 x9228 x9369 x9509 x9648 x9786 x9923 x10059 x10194 x10508 x10641 x10773 x10904 x11034 x11163 x11291 x11418 x11544 x11669 x11972 x12095 x12217 x12338 x12458 x12577 x12695 x12812 x12928 x13043 x13335 x13448 x13560 x13671 x13781 x13890 x13998 x14105 x14211 x14316 x14597 x14700 x5347 x7124 x8800 x10375 x11849 x13222 x14494 x15665 x16735 x868 x1736 x2503 x3169 x3734 x4198 x4561 x4823 x4999 x5164 x5511 x5674 x5836 x5997 x6157 x6316 x6474 x6631 x6787 x6942 x7278 x7431 x7583 x7734 x7884 x8033 x8181 x8328 x8474 x8619 x8944 x9087 x9229 x9370 x9510 x9649 x9787 x9924 x10060 x10195 x10509 x10642 x10774 x10905 x11035 x11164 x11292 x11419 x11545 x11670 x11973 x12096 x12218 x12339 x12459 x12578 x12696 x12813 x12929 x13044 x13336 x13449 x13561 x13672 x13782 x13891 x13999 x14106 x14212 x14317 x14598 x14701 x14803 x5348 x7125 x8801 x10376 x11850 x13223 x14495 x15666 x16736 x869 x1737 x2504 x3170 x3735 x4199 x4562 x4824 x5000 x5165 x5512 x5675 x5837 x5998 x6158 x6317 x6475 x6632 x6788 x6943 x7279 x7432 x7584 x7735 x7885 x8034 x8182 x8329 x8475 x8620 x8945 x9088 x9230 x9371 x9511 x9650 x9788 x9925 x10061 x10196 x10510 x10643 x10775 x10906 x11036 x11165 x11293 x11420 x11546 x11671 x11974 x12097 x12219 x12340 x12460 x12579 x12697 x12814 x12930 x13045 x13337 x13450 x13562 x13673 x13783 x13892 x14000 x14107 x14213 x14318 x14599 x14702 -x14804 x14905 x5349 x7126 x8802 x10377 x11851 x13224 x14496 x15667 x16737 x870 x1738 x2505 x3171 x3736 x4200 x4563 x4825 x5001 x5166 x5513 x5676 x5838 x5999 x6159 x6318 x6476 x6633 x6789 x6944 x7280 x7433 x7585 x7736 x7886 x8035 x8183 x8330 x8476 x8621 x8946 x9089 x9231 x9372 x9512 x9651 x9789 x9926 x10062 x10197 x10511 x10644 x10776 x10907 x11037 x11166 x11294 x11421 x11547 x11672 x11975 x12098 x12220 x12341 x12461 x12580 x12698 x12815 x12931 x13046 x13338 x13451 x13563 x13674 x13784 x13893 x14001 x14108 x14214 x14319 x14600 x14703 x14805 x14906 x15006 x5350 x7127 x8803 x10378 x11852 x13225 x14497 x15668 x16738 x871 x1739 x2506 x3172 x3737 x4201 x4564 x4826 x5002 x5167 x5514 x5677 x5839 x6000 x6160 x6319 x6477 x6634 x6790 x6945 x7281 x7434 x7586 x7737 x7887 x8036 x8184 x8331 x8477 x8622 x8947 x9090 x9232 x9373 x9513 x9652 x9790 x9927 x10063 x10198 x10512 x10645 x10777 x10908 x11038 x11167 x11295 x11422 x11548 x11673 x11976 x12099 x12221 x12342 x12462 x12581 x12699 x12816 x12932 x13047 x13339 x13452 x13564 x13675 x13785 x13894 x14002 x14109 x14215 x14320 x14601 x14704 x14806 x14907 -x15007 x15106 x5351 x7128 x8804 x10379 x11853 x13226 x14498 x15669 x16739 x872 x1740 x2507 x3173 x3738 x4202 x4565 x4827 x5003 x5168 x5515 x5678 x5840 x6001 x6161 x6320 x6478 x6635 x6791 x6946 x7282 x7435 x7587 x7738 x7888 x8037 x8185 x8332 x8478 x8623 x8948 x9091 x9233 x9374 x9514 x9653 x9791 x9928 x10064 x10199 x10513 x10646 x10778 x10909 x11039 x11168 x11296 x11423 x11549 x11674 x11977 x12100 x12222 x12343 x12463 x12582 x12700 x12817 x12933 x13048 x13340 x13453 x13565 x13676 x13786 x13895 x14003 x14110 x14216 -x14321 x14602 x14705 x14807 x14908 x15008 x15107 x15205 x5352 x7129 x8805 x10380 x11854 x13227 x14499 x15670 x16740 x873 x1741 x2508 x3174 x3739 x4203 x4566 x4828 x5004 x5169 x5516 x5679 x5841 x6002 x6162 x6321 x6479 x6636 x6792 x6947 x7283 x7436 x7588 x7739 x7889 x8038 x8186 x8333 x8479 x8624 x8949 x9092 x9234 x9375 x9515 x9654 x9792 x9929 x10065 x10200 x10514 x10647 x10779 x10910 x11040 x11169 x11297 x11424 x11550 x11675 x11978 x12101 x12223 x12344 x12464 x12583 x12701 x12818 x12934 x13049 x13341 x13454 x13566 x13677 x13787 x13896 x14004 x14111 x14217 x14322 x14603 x14706 -x14808 x14909 x15009 x15108 x15206 x15303 x5353 x7130 x8806 x10381 x11855 x13228 x14500 x15671 x16741 x874 x1742 x2509 x3175 x3740 x4204 x4567 x4829 x5005 x5170 x5517 x5680 x5842 x6003 x6163 x6322 x6480 x6637 x6793 x6948 x7284 x7437 x7589 x7740 x7890 x8039 x8187 x8334 x8480 x8625 x8950 x9093 x9235 x9376 x9516 x9655 x9793 x9930 x10066 x10201 x10515 x10648 x10780 x10911 x11041 x11170 x11298 x11425 x11551 x11676 x11979 x12102 x12224 x12345 x12465 x12584 x12702 x12819 x12935 x13050 x13342 x13455 x13567 x13678 x13788 x13897 x14005 x14112 x14218 x14323 x14604 x14707 x14809 x14910 x15010 x15109 x15207 x15304 x15400 x5354 x7131 x8807 x10382 x11856 x13229 x14501 x15672 x16742 x875 x1743 x2510 x3176 x3741 x4205 x4568 x4830 x5006 x5171 x5518 x5681 x5843 x6004 x6164 x6323 x6481 x6638 x6794 x6949 x7285 x7438 x7590 x7741 x7891 x8040 x8188 x8335 x8481 x8626 x8951 x9094 x9236 x9377 x9517 x9656 x9794 x9931 x10067 x10202 x10516 x10649 x10781 x10912 x11042 x11171 x11299 x11426 x11552 x11677 x11980 x12103 x12225 x12346 x12466 x12585 x12703 x12820 x12936 x13051 x13343 x13456 x13568 x13679 x13789 x13898 x14006 x14113 x14219 x14324 -x14605 x14708 x14810 x14911 x15011 x15110 x15208 x15305 x15401 x15496 x5355 x7132 x8808 x10383 x11857 x13230 x14502 x15673 x16743 x876 x1744 x2511c 
1800.10/1800.71	c *** INTERRUPTED ***

Verifier Data 

ERROR: variable expected in interpretation !c

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695900-1278021273/watcher-2695900-1278021273 -o /tmp/evaluation-result-2695900-1278021273/solver-2695900-1278021273 -C 1800 -W 2000 -M 1800 run HOME/instance-2695900-1278021273.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.81 1.81 1.71 3/106 31015
/proc/meminfo: memFree=1448272/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) R 31013 31015 29700 0 -1 4202496 349 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965050773 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0

[startup+0.103149 s]
/proc/loadavg: 1.81 1.81 1.71 3/106 31015
/proc/meminfo: memFree=1448272/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.201165 s]
/proc/loadavg: 1.81 1.81 1.71 3/106 31015
/proc/meminfo: memFree=1448272/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301181 s]
/proc/loadavg: 1.81 1.81 1.71 3/106 31015
/proc/meminfo: memFree=1448272/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701249 s]
/proc/loadavg: 1.81 1.81 1.71 3/106 31015
/proc/meminfo: memFree=1448272/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50138 s]
/proc/loadavg: 1.75 1.80 1.71 2/108 31017
/proc/meminfo: memFree=1426184/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=97624 CPUtime=1.49
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 9548 0 0 0 146 3 0 0 25 0 1 0 143418570 99966976 9018 1992294400 134512640 146736320 4294683616 18446744073709551615 144716523 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 24406 9018 1582 2985 0 7531 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 106324

[startup+3.10165 s]
/proc/loadavg: 1.75 1.80 1.71 2/108 31017
/proc/meminfo: memFree=1405724/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=126864 CPUtime=3.09
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 18774 0 0 0 303 6 0 0 25 0 1 0 143418570 129908736 17731 1992294400 134512640 146736320 4294683616 18446744073709551615 144735216 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 31716 17731 2965 2985 0 14841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 135564

[startup+6.30118 s]
/proc/loadavg: 1.75 1.80 1.71 2/108 31017
/proc/meminfo: memFree=1343104/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=186364 CPUtime=6.29
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 37434 0 0 0 616 13 0 0 25 0 1 0 143418570 190836736 35366 1992294400 134512640 146736320 4294683616 18446744073709551615 144716523 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 46591 35366 5765 2985 0 29716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 195064

[startup+12.7013 s]
/proc/loadavg: 1.63 1.77 1.70 2/108 31017
/proc/meminfo: memFree=1223692/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=302264 CPUtime=12.68
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 73820 0 0 0 1240 28 0 0 25 0 1 0 143418570 309518336 69703 1992294400 134512640 146736320 4294683616 18446744073709551615 134542742 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 75566 69703 11189 2985 0 58691 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 310964

[startup+25.5014 s]
/proc/loadavg: 1.54 1.74 1.70 2/108 31017
/proc/meminfo: memFree=697188/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=783428 CPUtime=25.47
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 314878 0 0 0 2429 118 0 0 25 0 1 0 143418570 802230272 185326 1992294400 134512640 146736320 4294683616 18446744073709551615 135795035 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 195857 185326 756 2985 0 192399 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 792128

[startup+51.1007 s]
/proc/loadavg: 1.43 1.70 1.68 2/108 31019
/proc/meminfo: memFree=795892/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=854124 CPUtime=51.06
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 432930 0 0 0 4941 165 0 0 25 0 1 0 143418570 874622976 163757 1992294400 134512640 146736320 4294683616 18446744073709551615 135982862 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 213531 163757 923 2985 0 210073 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 862824

[startup+102.301 s]
/proc/loadavg: 1.32 1.61 1.65 2/108 31019
/proc/meminfo: memFree=795892/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=838288 CPUtime=102.26
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 494197 0 0 0 10036 190 0 0 25 0 1 0 143418570 858406912 163716 1992294400 134512640 146736320 4294683616 18446744073709551615 136403106 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209572 163716 1017 2985 0 206114 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 846988

[startup+162.301 s]
/proc/loadavg: 1.18 1.51 1.61 2/108 31021
/proc/meminfo: memFree=794900/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=838980 CPUtime=162.23
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 498161 0 0 0 16032 191 0 0 25 0 1 0 143418570 859115520 163961 1992294400 134512640 146736320 4294683616 18446744073709551615 136017682 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209745 163961 1017 2985 0 206287 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 847680

[startup+222.308 s]
/proc/loadavg: 1.30 1.50 1.60 2/108 31023
/proc/meminfo: memFree=794528/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=839156 CPUtime=222.21
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 501629 0 0 0 22029 192 0 0 25 0 1 0 143418570 859295744 164035 1992294400 134512640 146736320 4294683616 18446744073709551615 136017760 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209789 164035 1017 2985 0 206331 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 847856

[startup+282.301 s]
/proc/loadavg: 1.11 1.41 1.56 2/108 31025
/proc/meminfo: memFree=794156/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=839372 CPUtime=282.18
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 506271 0 0 0 28024 194 0 0 25 0 1 0 143418570 859516928 164121 1992294400 134512640 146736320 4294683616 18446744073709551615 136017495 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209843 164121 1017 2985 0 206385 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 848072

[startup+342.301 s]
/proc/loadavg: 1.04 1.33 1.52 2/108 31027
/proc/meminfo: memFree=793908/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=839540 CPUtime=342.17
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 511095 0 0 0 34021 196 0 0 25 0 1 0 143418570 859688960 164190 1992294400 134512640 146736320 4294683616 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209885 164190 1017 2985 0 206427 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 848240

[startup+402.301 s]
/proc/loadavg: 1.01 1.27 1.49 2/108 31036
/proc/meminfo: memFree=793164/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=839816 CPUtime=402.13
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 516343 0 0 0 40015 198 0 0 25 0 1 0 143418570 859971584 164285 1992294400 134512640 146736320 4294683616 18446744073709551615 136384895 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 209954 164285 1017 2985 0 206496 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 848516

[startup+462.301 s]

################
# More data... #
################

/proc/31016/statm: 210255 164706 1017 2985 0 206797 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 849720

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/108 31058
/proc/meminfo: memFree=791552/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841068 CPUtime=1181.89
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 583347 0 0 0 117964 225 0 0 25 0 1 0 143418570 861253632 164719 1992294400 134512640 146736320 4294683616 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210267 164719 1017 2985 0 206809 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 849768

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/108 31060
/proc/meminfo: memFree=791428/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841112 CPUtime=1241.87
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 588960 0 0 0 123961 226 0 0 25 0 1 0 143418570 861298688 164746 1992294400 134512640 146736320 4294683616 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210278 164746 1017 2985 0 206820 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 849812

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/108 31060
/proc/meminfo: memFree=791304/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841156 CPUtime=1301.85
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 593423 0 0 0 129957 228 0 0 25 0 1 0 143418570 861343744 164754 1992294400 134512640 146736320 4294683616 18446744073709551615 136017801 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210289 164754 1017 2985 0 206831 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 849856

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/108 31062
/proc/meminfo: memFree=791304/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841184 CPUtime=1361.83
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 598990 0 0 0 135952 231 0 0 25 0 1 0 143418570 861372416 164760 1992294400 134512640 146736320 4294683616 18446744073709551615 135854186 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210296 164760 1017 2985 0 206838 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 849884

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.14 2/108 31064
/proc/meminfo: memFree=791304/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841240 CPUtime=1421.82
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 604581 0 0 0 141949 233 0 0 25 0 1 0 143418570 861429760 164772 1992294400 134512640 146736320 4294683616 18446744073709551615 136017474 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210310 164772 1017 2985 0 206852 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 849940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/108 31066
/proc/meminfo: memFree=791304/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841272 CPUtime=1481.79
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 609087 0 0 0 147944 235 0 0 25 0 1 0 143418570 861462528 164783 1992294400 134512640 146736320 4294683616 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210318 164783 1017 2985 0 206860 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 849972

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.11 2/108 31068
/proc/meminfo: memFree=791304/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841312 CPUtime=1541.78
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 613598 0 0 0 153941 237 0 0 25 0 1 0 143418570 861503488 164795 1992294400 134512640 146736320 4294683616 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210328 164795 1017 2985 0 206870 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 850012

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.10 2/108 31068
/proc/meminfo: memFree=791056/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841348 CPUtime=1601.76
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 619197 0 0 0 159937 239 0 0 25 0 1 0 143418570 861540352 164801 1992294400 134512640 146736320 4294683616 18446744073709551615 135854186 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210337 164801 1017 2985 0 206879 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 850048

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.09 2/108 31070
/proc/meminfo: memFree=791056/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841364 CPUtime=1661.74
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 623723 0 0 0 165933 241 0 0 25 0 1 0 143418570 861556736 164811 1992294400 134512640 146736320 4294683616 18446744073709551615 139044550 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210341 164811 1017 2985 0 206883 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 850064

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 31072
/proc/meminfo: memFree=791056/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841416 CPUtime=1721.71
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 629345 0 0 0 171928 243 0 0 25 0 1 0 143418570 861609984 164836 1992294400 134512640 146736320 4294683616 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210354 164836 1017 2985 0 206896 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 850116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.08 2/108 31074
/proc/meminfo: memFree=790932/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=841424 CPUtime=1781.7
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 633837 0 0 0 177925 245 0 0 25 0 1 0 143418570 861618176 164839 1992294400 134512640 146736320 4294683616 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 210356 164839 1017 2985 0 206898 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 850124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.08 3/108 31074
/proc/meminfo: memFree=870292/2059040 swapFree=4139792/4192956
[pid=31015] ppid=31013 vsize=8700 CPUtime=0
/proc/31015/stat : 31015 (run) S 31013 31015 29700 0 -1 4202496 365 0 0 0 0 0 0 0 23 0 1 0 143418569 8908800 249 1992294400 4194304 4922060 140735241068304 18446744073709551615 208965049477 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/31015/statm: 2175 249 208 178 0 68 0
[pid=31016] ppid=31015 vsize=731032 CPUtime=1800.1
/proc/31016/stat : 31016 (pb_cplex) R 31015 31015 29700 0 -1 4202496 636194 0 0 0 179764 246 0 0 25 0 1 0 143418570 748576768 145042 1992294400 134512640 146736320 4294683616 18446744073709551615 136765709 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31016/statm: 182758 145042 1026 2985 0 179300 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 739732

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31015 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.002998
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1797.64
CPU system time (s): 2.46
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 897592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2

runsolver used 2.79058 second user time and 8.74167 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-01 23:54:36
IDJOB=2695900
IDBENCH=2954
IDSOLVER=1209
FILE ID=node055/2695900-1278021273
PBS_JOBID= 11198711
Free space on /tmp= 62324 MiB

SOLVER NAME= pb_cplex 2010-06-29
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695900-1278021273/watcher-2695900-1278021273 -o /tmp/evaluation-result-2695900-1278021273/solver-2695900-1278021273 -C 1800 -W 2000 -M 1800  run HOME/instance-2695900-1278021273.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= b1eab2cf935e923f8f1ff9f24be23d02
RANDOM SEED=607994062

node055.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1448552 kB
Buffers:        146792 kB
Cached:         357776 kB
SwapCached:       6760 kB
Active:         253376 kB
Inactive:       265036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1448552 kB
SwapTotal:     4192956 kB
SwapFree:      4139792 kB
Dirty:           71968 kB
Writeback:           4 kB
AnonPages:       11972 kB
Mapped:          11976 kB
Slab:            69892 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62308 MiB
End job on node055 at 2010-07-02 00:24:39