Trace number 2695875

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.09 1800.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
haplotype/normalized-simp-nonunif-100_100.10.opb
MD5SUMf304ba5324add428c73c7022630c48ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved YES
Number of variables27027
Total number of constraints1883063
Number of constraints which are clauses1877876
Number of constraints which are cardinality constraints (but not clauses)5187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint182
Number of terms in the objective function 182
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 180
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 362
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-2695875-1278021204.opb.
0.00/0.00	c Instance file HOME/instance-2695875-1278021204.opb
0.00/0.00	c File size is 68502614 bytes.
19.99/20.05	c Highest Coefficient sum: 362
19.99/20.05	c  IBM ILOG License Manager: "IBM ILOG Optimization Suite for Academic Initiative" is accessing CPLEX 12 with option(s): "e m b q ".
22.38/22.40	c ============================[ Problem Statistics ]=============================
22.38/22.40	c |                                                                             |
22.38/22.40	c |  Parsing time:          21.65        s                                      |
22.38/22.40	c |  Number Variables:      27027                                               |
23.09/23.17	c |  Number Constraints:    1883063                                             |
23.09/23.17	c ===============================================================================
1799.78/1800.35	c Remaining time 1777.75 sec.
1799.78/1800.35	s SATISFIABLE
1799.78/1800.35	c Solution value = 97.00
1799.78/1800.35	v x16472 x16473 x16474 -x16475 -x16476 x16477 x16478 x16479 x16480 -x16481 x16482 -x16483 x16484 -x16485 x16486 x16487 x16488 -x16489 x16490 -x16491 x16492 -x16493 x16494 -x16495 x16496 -x16497 x16498 -x16499 x16500 -x16501 x16502 -x16503 x16504 -x16505 x16506 -x16507 x16508 -x16509 x16510 -x16511 x16512 -x16513 x16514 -x16515 x16516 -x16517 x16518 -x16519 x16520 -x16521 x16522 -x16523 x16524 -x16525 x16526 -x16527 x16528 -x16529 x16530 -x16531 x16532 -x16533 x16534 x16535 x16536 -x16537 x16538 -x16539 x16540 -x16541 x16542 x16543 x16544 -x16545 x16546 -x16547 x16548 -x16549 x16550 -x16551 x16552 x16553 x16554 -x16555 x16556 -x16557 x16558 -x16559 x16560 -x16561 x16562 -x16563 x16564 -x16565 x16566 -x16567 x16568 -x16569 x16570 -x16571 x16572 -x16573 x16574 -x16575 x16576 -x16577 x16578 -x16579 x16580 -x16581 x16582 -x16583 x16584 -x16585 x16586 -x16587 x16588 -x16589 x16590 -x16591 x16592 -x16593 x16594 -x16595 x16596 -x16597 x16598 -x16599 x16600 -x16601 x16602 -x16603 x16604 -x16605 x16606 -x16607 x16608 -x16609 x16610 -x16611 x16612 -x16613 x16614 -x16615 x16616 -x16617 x16618 -x16619 x16620 -x16621 x16622 -x16623 x16624 -x16625 x16626 -x16627 x16628 -x16629 x16630 -x16631 x16632 -x16633 x16634 -x16635 x16636 -x16637 x16638 -x16639 x16640 -x16641 x16642 -x16643 x16644 -x16645 x16646 -x16647 x16648 -x16649 x16650 -x16651 x16652 -x16653 -x21955 -x22582 -x21956 -x22583 -x21957 -x22584 -x21958 -x22585 -x21959 -x22586 -x21960 -x22587 -x21961 -x22588 -x21962 -x22589 -x21963 -x22590 -x21964 -x22591 -x21965 -x22592 -x21966 -x22593 -x21967 -x22594 x21968 -x22595 -x21969 -x22596 x21970 -x22597 -x21971 -x22598 -x21972 -x22599 -x21973 -x22600 -x21974 -x22601 -x21975 -x22602 -x21976 -x22603 x21977 -x22604 -x21978 -x22605 -x21979 -x22606 -x21980 -x22607 -x21981 -x22608 x21982 -x22609 -x21983 -x22610 -x21984 -x22611 -x21985 -x22612 -x21986 -x22613 -x21987 -x22614 -x21988 -x22615 -x21989 -x22616 -x21990 -x22617 x21991 -x22618 -x21992 -x22619 -x21993 -x22620 -x21994 -x22621 -x21995 -x22622 -x21996 -x22623 -x21997 -x22624 -x21998 -x22625 -x21999 -x22626 -x22000 -x22627 -x22001 -x22628 -x22002 -x22629 -x22003 -x22630 -x22004 -x22631 -x22005 -x22632 -x22006 -x22633 -x22007 -x22634 -x22008 -x22635 -x22009 -x22636 -x22010 -x22637 -x22011 -x22638 -x23209 -x23836 -x23210 -x23837 -x23211 -x23838 -x23212 -x23839 -x23213 -x23840 -x23214 -x23841 -x23215 -x23842 -x23216 -x23843 -x23217 -x23844 -x23218 -x23845 -x23219 -x23846 -x23220 -x23847 x23221 x23848 x23222 x23849 -x23223 -x23850 -x23224 -x23851 -x23225 -x23852 -x23226 -x23853 -x23227 -x23854 -x23228 -x23855 -x23229 -x23856 -x23230 -x23857 -x23231 -x23858 -x23232 -x23859 -x23233 -x23860 -x23234 -x23861 -x23235 -x23862 -x23236 -x23863 -x23237 -x23864 -x23238 -x23865 -x23239 -x23866 -x23240 -x23867 -x23241 -x23868 -x23242 -x23869 x23243 x23870 -x23244 -x23871 -x23245 -x23872 -x23246 -x23873 -x23247 -x23874 -x23248 -x23875 -x23249 -x23876 -x23250 -x23877 -x23251 -x23878 -x23252 -x23879 -x23253 -x23880 -x23254 -x23881 -x23255 -x23882 -x23256 -x23883 -x23257 -x23884 -x23258 -x23885 -x23259 -x23886 -x23260 -x23887 -x23261 -x23888 -x23262 -x23889 -x23263 -x23890 -x23264 -x23891 -x23265 -x23892 -x24463 -x25090 -x24464 -x25091 -x24465 -x25092 -x24466 -x25093 -x24467 -x25094 -x24468 -x25095 -x24469 -x25096 -x24470 -x25097 -x24471 -x25098 -x24472 -x25099 -x24473 -x25100 -x24474 -x25101 x24475 x25102 x24476 x25103 -x24477 -x25104 -x24478 -x25105 -x24479 -x25106 -x24480 -x25107 -x24481 -x25108 -x24482 -x25109 -x24483 -x25110 -x24484 -x25111 -x24485 -x25112 -x24486 -x25113 -x24487 -x25114 -x24488 -x25115 -x24489 -x25116 -x24490 -x25117 -x24491 -x25118 -x24492 -x25119 -x24493 -x25120 -x24494 -x25121 -x24495 -x25122 -x24496 -x25123 x24497 x25124 -x24498 -x25125 -x24499 -x25126 -x24500 -x25127 -x24501 -x25128 -x24502 -x25129 -x24503 -x25130 -x24504 -x25131 -x24505 -x25132 -x24506 -x25133 -x24507 -x25134 -x24508 -x25135 -x24509 -x25136 -x24510 -x25137 -x24511 -x25138 -x24512 -x25139 -x24513 -x25140 -x24514 -x25141 -x24515 -x25142 -x24516 -x25143 -x24517 -x25144 -x24518 -x25145 -x24519 x25146 -x25717 -x26344 -x25718 -x26345 -x25719 -x26346 -x25720 -x26347 -x25721 -x26348 -x25722 -x26349 -x25723 -x26350 -x25724 -x26351 -x25725 -x26352 -x25726 -x26353 -x25727 -x26354 -x25728 -x26355 x25729 x26356 x25730 x26357 -x25731 -x26358 -x25732 -x26359 -x25733 -x26360 -x25734 -x26361 -x25735 -x26362 -x25736 -x26363 -x25737 -x26364 -x25738 -x26365 -x25739 -x26366 -x25740 -x26367 -x25741 -x26368 -x25742 -x26369 -x25743 -x26370 -x25744 -x26371 -x25745 -x26372 -x25746 -x26373 -x25747 -x26374 -x25748 -x26375 -x25749 -x26376 -x25750 -x26377 x25751 -x26378 -x25752 -x26379 -x25753 -x26380 -x25754 -x26381 -x25755 -x26382 -x25756 -x26383 -x25757 -x26384 -x25758 -x26385 -x25759 -x26386 -x25760 -x26387 -x25761 -x26388 -x25762 -x26389 x25763 -x26390 -x25764 -x26391 -x25765 -x26392 -x25766 -x26393 -x25767 -x26394 -x25768 -x26395 -x25769 -x26396 -x25770 -x26397 -x25771 -x26398 -x25772 -x26399 -x25773 -x26400 -x26971 -x17224 -x26972 -x17225 -x26973 -x17226 -x26974 -x17227 -x26975 -x17228 -x26976 -x17229 -x26977 -x17230 -x26978 -x17231 -x26979 -x17232 -x26980 -x17233 -x26981 -x17234 -x26982 -x17235 x26983 x17236 x26984 x17237 -x26985 -x17238 -x26986 -x17239 -x26987 -x17240 -x26988 -x17241 -x26989 -x17242 -x26990 -x17243 -x26991 -x17244 -x26992 -x17245 -x26993 -x17246 -x26994 -x17247 -x26995 -x17248 -x26996 -x17249 -x26997 -x17250 -x26998 -x17251 -x26999 -x17252 -x27000 -x17253 -x27001 -x17254 -x27002 -x17255 -x27003 -x17256 -x27004 -x17257 x27005 -x17258 -x27006 -x17259 -x27007 -x17260 -x27008 -x17261 -x27009 -x17262 -x27010 -x17263 -x27011 -x17264 -x27012 -x17265 -x27013 -x17266 -x27014 -x17267 -x27015 -x17268 -x27016 -x17269 x27017 -x17270 -x27018 -x17271 -x27019 -x17272 -x27020 -x17273 -x27021 -x17274 -x27022 -x17275 -x27023 -x17276 -x27024 -x17277 -x27025 -x17278 -x27026 -x17279 x27027 -x17280 -x17851 -x18478 -x17852 -x18479 -x17853 -x18480 -x17854 -x18481 -x17855 -x18482 -x17856 -x18483 -x17857 -x18484 -x17858 -x18485 -x17859 -x18486 -x17860 -x18487 -x17861 -x18488 -x17862 -x18489 x17863 x18490 x17864 x18491 -x17865 -x18492 -x17866 -x18493 -x17867 -x18494 -x17868 -x18495 -x17869 -x18496 -x17870 -x18497 -x17871 -x18498 -x17872 -x18499 -x17873 -x18500 -x17874 -x18501 -x17875 -x18502 -x17876 -x18503 -x17877 -x18504 -x17878 -x18505 -x17879 -x18506 -x17880 -x18507 x17881 -x18508 -x17882 -x18509 -x17883 -x18510 -x17884 -x18511 x17885 x18512 -x17886 -x18513 -x17887 -x18514 -x17888 -x18515 x17889 -x18516 -x17890 -x18517 -x17891 -x18518 -x17892 -x18519 -x17893 -x18520 -x17894 -x18521 -x17895 -x18522 -x17896 -x18523 -x17897 -x18524 -x17898 -x18525 -x17899 -x18526 -x17900 -x18527 -x17901 -x18528 -x17902 -x18529 -x17903 -x18530 x17904 -x18531 -x17905 -x18532 -x17906 -x18533 -x17907 -x18534 -x19105 -x19732 -x19106 -x19733 -x19107 -x19734 -x19108 -x19735 -x19109 -x19736 -x19110 -x19737 -x19111 -x19738 -x19112 -x19739 -x19113 -x19740 -x19114 -x19741 -x19115 -x19742 -x19116 -x19743 x19117 x19744 x19118 x19745 -x19119 -x19746 -x19120 -x19747 -x19121 -x19748 -x19122 -x19749 -x19123 -x19750 -x19124 -x19751 -x19125 -x19752 -x19126 -x19753 -x19127 -x19754 -x19128 -x19755 x19129 -x19756 -x19130 -x19757 -x19131 -x19758 -x19132 -x19759 -x19133 -x19760 -x19134 -x19761 -x19135 -x19762 -x19136 -x19763 -x19137 -x19764 -x19138 -x19765 x19139 -x19766 -x19140 -x19767 -x19141 -x19768 -x19142 -x19769 -x19143 -x19770 -x19144 -x19771 -x19145 -x19772 -x19146 -x19773 -x19147 -x19774 -x19148 -x19775 -x19149 -x19776 -x19150 -x19777 x19151 -x19778 -x19152 -x19779 -x19153 -x19780 -x19154 -x19781 -x19155 -x19782 -x19156 -x19783 -x19157 -x19784 -x19158 -x19785 -x19159 -x19786 -x19160 -x19787 x19161 -x19788 -x20359 -x20986 -x20360 -x20987 -x20361 -x20988 -x20362 -x20989 -x20363 -x20990 -x20364 -x20991 -x20365 -x20992 -x20366 -x20993 -x20367 -x20994 -x20368 -x20995 -x20369 -x20996 -x20370 -x20997 x20371 -x20998 x20372 x20999 -x20373 -x21000 -x20374 -x21001 -x20375 -x21002 -x20376 -x21003 -x20377 -x21004 -x20378 -x21005 -x20379 -x21006 -x20380 -x21007 -x20381 -x21008 -x20382 -x21009 -x20383 -x21010 -x20384 -x21011 -x20385 -x21012 -x20386 -x21013 -x20387 -x21014 -x20388 -x21015 -x20389 -x21016 -x20390 -x21017 -x20391 -x21018 -x20392 -x21019 x20393 -x21020 -x20394 -x21021 x20395 -x21022 -x20396 -x21023 -x20397 -x21024 -x20398 -x21025 -x20399 -x21026 -x20400 -x21027 -x20401 -x21028 -x20402 -x21029 -x20403 -x21030 -x20404 -x21031 -x20405 -x21032 -x20406 -x21033 -x20407 -x21034 -x20408 -x21035 -x20409 -x21036 -x20410 -x21037 -x20411 -x21038 -x20412 -x21039 -x20413 -x21040 -x20414 -x21041 -x20415 -x21042 -x21613 -x21841 -x21614 -x21842 -x21615 -x21843 -x21616 -x21844 -x21617 -x21845 -x21618 -x21846 -x21619 -x21847 -x21620 -x21848 -x21621 -x21849 -x21622 -x21850 -x21623 -x21851 -x21624 -x21852 x21625 -x21853 x21626 x21854 -x21627 -x21855 -x21628 -x21856 -x21629 -x21857 -x21630 -x21858 -x21631 -x21859 -x21632 -x21860 -x21633 -x21861 -x21634 -x21862 -x21635 -x21863 -x21636 -x21864 -x21637 -x21865 -x21638 -x21866 -x21639 -x21867 -x21640 -x21868 -x21641 -x21869 -x21642 -x21870 x21643 -x21871 -x21644 -x21872 -x21645 -x21873 -x21646 -x21874 x21647 -x21875 -x21648 -x21876 x21649 -x21877 -x21650 -x21878 -x21651 -x21879 -x21652 -x21880 -x21653 -x21881 -x21654 -x21882 -x21655 -x21883 -x21656 -x21884 -x21657 -x21885 -x21658 -x21886 -x21659 -x21887 -x21660 -x21888 -x21661 -x21889 -x21662 -x21890 -x21663 -x21891 -x21664 -x21892 -x21665 -x21893 -x21666 -x21894 -x21667 -x21895 -x21668 -x21896 -x21669 -x21897 -x21898 -x22012 -x21899 -x22013 -x21900 -x22014 -x21901 -x22015 -x21902 -x22016 -x21903 -x22017 -x21904 -x22018 -x21905 -x22019 -x21906 -x22020 -x21907 -x22021 -x21908 -x22022 -x21909 -x22023 x21910 -x22024 x21911 -x22025 -x21912 -x22026 -x21913 -x22027 -x21914 -x22028 x21915 -x22029 -x21916 -x22030 -x21917 -x22031 -x21918 -x22032 -x21919 -x22033 x21920 -x22034 -x21921 -x22035 -x21922 -x22036 -x21923 -x22037 -x21924 -x22038 x21925 -x22039 -x21926 -x22040 -x21927 -x22041 -x21928 -x22042 -x21929 -x22043 -x21930 -x22044 -x21931 -x22045 x21932 -x22046 -x21933 -x22047 -x21934 -x22048 -x21935 -x22049 -x21936 -x22050 -x21937 -x22051 -x21938 -x22052 -x21939 -x22053 -x21940 -x22054 -x21941 -x22055 -x21942 -x22056 -x21943 -x22057 -x21944 -x22058 -x21945 -x22059 -x21946 -x22060 -x21947 -x22061 -x21948 -x22062 -x21949 -x22063 -x21950 -x22064 -x21951 -x22065 -x21952 -x22066 -x21953 -x22067 -x21954 -x22068 -x22069 -x22126 -x22070 -x22127 -x22071 -x22128 -x22072 -x22129 -x22073 -x22130 -x22074 -x22131 x22075 -x22132 -x22076 -x22133 -x22077 -x22134 -x22078 -x22135 -x22079 -x22136 -x22080 -x22137 -x22081 -x22138 -x22082 -x22139 -x22083 -x22140 -x22084 -x22141 -x22085 -x22142 -x22086 -x22143 -x22087 -x22144 -x22088 -x22145 -x22089 -x22146 -x22090 -x22147 x22091 -x22148 -x22092 -x22149 -x22093 -x22150 -x22094 -x22151 -x22095 -x22152 x22096 -x22153 -x22097 -x22154 -x22098 -x22155 -x22099 -x22156 -x22100 -x22157 -x22101 -x22158 -x22102 -x22159 -x22103 -x22160 -x22104 -x22161 -x22105 -x22162 -x22106 -x22163 -x22107 -x22164 -x22108 -x22165 -x22109 -x22166 -x22110 -x22167 -x22111 -x22168 -x22112 -x22169 -x22113 -x22170 -x22114 -x22171 -x22115 -x22172 -x22116 -x22173 -x22117 -x22174 -x22118 -x22175 -x22119 -x22176 -x22120 -x22177 x22121 -x22178 -x22122 -x22179 -x22123 -x22180 -x22124 -x22181 -x22125 -x22182 -x22183 -x22240 -x22184 -x22241 -x22185 -x22242 -x22186 -x22243 -x22187 -x22244 -x22188 -x22245 x22189 -x22246 -x22190 -x22247 -x22191 -x22248 -x22192 -x22249 -x22193 -x22250 -x22194 -x22251 -x22195 -x22252 -x22196 -x22253 -x22197 -x22254 -x22198 -x22255 -x22199 -x22256 x22200 -x22257 -x22201 -x22258 -x22202 -x22259 -x22203 -x22260 -x22204 -x22261 x22205 -x22262 -x22206 -x22263 -x22207 -x22264 -x22208 -x22265 -x22209 -x22266 x22210 -x22267 -x22211 -x22268 -x22212 -x22269 -x22213 -x22270 -x22214 -x22271 -x22215 -x22272 -x22216 -x22273 -x22217 -x22274 -x22218 -x22275 -x22219 -x22276 -x22220 -x22277 -x22221 -x22278 -x22222 -x22279 -x22223 -x22280 -x22224 -x22281 -x22225 -x22282 -x22226 -x22283 -x22227 -x22284 -x22228 -x22285 -x22229 -x22286 -x22230 -x22287 -x22231 -x22288 -x22232 -x22289 -x22233 -x22290 -x22234 -x22291 -x22235 -x22292 -x22236 -x22293 -x22237 -x22294 -x22238 -x22295 -x22239 -x22296 -x22297 -x22354 -x22298 -x22355 -x22299 -x22356 -x22300 -x22357 -x22301 -x22358 -x22302 -x22359 x22303 -x22360 -x22304 -x22361 -x22305 -x22362 -x22306 -x22363 -x22307 -x22364 -x22308 -x22365 x22309 -x22366 x22310 -x22367 -x22311 -x22368 -x22312 -x22369 -x22313 -x22370 -x22314 -x22371 -x22315 -x22372 -x22316 -x22373 -x22317 -x22374 -x22318 -x22375 -x22319 -x22376 -x22320 -x22377 -x22321 -x22378 -x22322 -x22379 -x22323 -x22380 -x22324 -x22381 -x22325 -x22382 -x22326 -x22383 -x22327 -x22384 -x22328 -x22385 -x22329 -x22386 -x22330 -x22387 x22331 -x22388 -x22332 -x22389 -x22333 -x22390 -x22334 -x22391 -x22335 -x22392 -x22336 -x22393 -x22337 -x22394 -x22338 -x22395 -x22339 -x22396 -x22340 -x22397 -x22341 -x22398 -x22342 -x22399 -x22343 -x22400 -x22344 -x22401 -x22345 -x22402 -x22346 -x22403 -x22347 -x22404 -x22348 -x22405 -x22349 -x22406 -x22350 -x22407 -x22351 -x22408 -x22352 -x22409 -x22353 -x22410 -x22411 -x22468 -x22412 -x22469 -x22413 -x22470 -x22414 -x22471 -x22415 -x22472 -x22416 -x22473 x22417 -x22474 -x22418 -x22475 -x22419 -x22476 -x22420 -x22477 -x22421 -x22478 -x22422 -x22479 x22423 -x22480 x22424 -x22481 -x22425 -x22482 -x22426 -x22483 -x22427 -x22484 -x22428 -x22485 -x22429 -x22486 -x22430 -x22487 -x22431 -x22488 -x22432 -x22489 -x22433 -x22490 -x22434 -x22491 x22435 -x22492 -x22436 -x22493 -x22437 -x22494 -x22438 -x22495 -x22439 -x22496 -x22440 -x22497 -x22441 -x22498 -x22442 -x22499 -x22443 -x22500 -x22444 -x22501 -x22445 -x22502 -x22446 -x22503 -x22447 -x22504 -x22448 -x22505 -x22449 -x22506 -x22450 -x22507 -x22451 -x22508 -x22452 -x22509 -x22453 -x22510 -x22454 -x22511 -x22455 -x22512 -x22456 -x22513 x22457 -x22514 -x22458 -x22515 -x22459 -x22516 -x22460 -x22517 -x22461 -x22518 x22462 -x22519 -x22463 -x22520 -x22464 -x22521 -x22465 -x22522 -x22466 -x22523 -x22467 -x22524 -x22525 -x22639 -x22526 -x22640 -x22527 -x22641 -x22528 -x22642 -x22529 -x22643 -x22530 -x22644 x22531 -x22645 -x22532 -x22646 -x22533 -x22647 x22534 -x22648 -x22535 -x22649 -x22536 -x22650 x22537 -x22651 x22538 -x22652 -x22539 -x22653 -x22540 -x22654 -x22541 -x22655 -x22542 -x22656 -x22543 -x22657 -x22544 -x22658 -x22545 -x22659 -x22546 -x22660 -x22547 -x22661 -x22548 -x22662 -x22549 -x22663 -x22550 -x22664 -x22551 -x22665 -x22552 -x22666 -x22553 -x22667 -x22554 -x22668 -x22555 -x22669 -x22556 -x22670 -x22557 -x22671 -x22558 -x22672 x22559 -x22673 -x22560 -x22674 -x22561 -x22675 -x22562 -x22676 -x22563 -x22677 -x22564 -x22678 -x22565 -x22679 -x22566 -x22680 -x22567 -x22681 -x22568 -x22682 -x22569 -x22683 -x22570 -x22684 -x22571 -x22685 -x22572 -x22686 -x22573 -x22687 -x22574 -x22688 -x22575 -x22689 -x22576 -x22690 -x22577 -x22691 -x22578 -x22692 -x22579 -x22693 -x22580 -x22694 -x22581 -x22695 -x22696 -x22753 -x22697 -x22754 -x22698 -x22755 -x22699 -x22756 x22700 x22757 -x22701 -x22758 -x22702 -x22759 -x22703 -x22760 -x22704 -x22761 -x22705 -x22762 -x22706 -x22763 -x22707 -x22764 -x22708 -x22765 -x22709 -x22766 -x22710 -x22767 -x22711 -x22768 -x22712 -x22769 -x22713 -x22770 -x22714 -x22771 -x22715 -x22772 -x22716 -x22773 -x22717 -x22774 -x22718 -x22775 -x22719 -x22776 -x22720 -x22777 -x22721 -x22778 -x22722 -x22779 -x22723 -x22780 -x22724 -x22781 -x22725 -x22782 -x22726 -x22783 -x22727 -x22784 -x22728 -x22785 -x22729 -x22786 -x22730 -x22787 -x22731 -x22788 -x22732 -x22789 -x22733 -x22790 -x22734 -x22791 -x22735 -x22792 -x22736 -x22793 -x22737 -x22794 -x22738 -x22795 -x22739 -x22796 -x22740 -x22797 -x22741 -x22798 -x22742 -x22799 -x22743 -x22800 -x22744 -x22801 -x22745 -x22802 -x22746 -x22803 -x22747 -x22804 -x22748 -x22805 -x22749 -x22806 -x22750 -x22807 -x22751 -x22808 -x22752 -x22809 -x22810 -x22867 -x22811 -x22868 -x22812 -x22869 -x22813 -x22870 x22814 x22871 -x22815 -x22872 -x22816 -x22873 -x22817 -x22874 -x22818 -x22875 -x22819 -x22876 -x22820 -x22877 -x22821 -x22878 -x22822 -x22879 -x22823 -x22880 -x22824 -x22881 -x22825 -x22882 -x22826 -x22883 -x22827 -x22884 -x22828 -x22885 -x22829 -x22886 -x22830 -x22887 -x22831 -x22888 -x22832 -x22889 -x22833 -x22890 -x22834 -x22891 -x22835 -x22892 -x22836 -x22893 -x22837 -x22894 -x22838 -x22895 -x22839 -x22896 -x22840 -x22897 -x22841 -x22898 -x22842 -x22899 -x22843 -x22900 -x22844 -x22901 -x22845 -x22902 -x22846 -x22903 -x22847 -x22904 -x22848 -x22905 -x22849 -x22906 -x22850 -x22907 -x22851 -x22908 -x22852 -x22909 -x22853 -x22910 x22854 x22911 -x22855 -x22912 -x22856 -x22913 -x22857 -x22914 -x22858 -x22915 -x22859 -x22916 -x22860 -x22917 -x22861 -x22918 -x22862 -x22919 -x22863 -x22920 -x22864 -x22921 -x22865 -x22922 -x22866 -x22923 -x22924 -x22981 -x22925 -x22982 -x22926 -x22983 -x22927 -x22984 x22928 x22985 -x22929 -x22986 -x22930 -x22987 -x22931 -x22988 -x22932 -x22989 -x22933 -x22990 -x22934 -x22991 -x22935 -x22992 -x22936 -x22993 -x22937 -x22994 -x22938 -x22995 -x22939 -x22996 -x22940 -x22997 -x22941 -x22998 -x22942 -x22999 -x22943 -x23000 -x22944 -x23001 -x22945 -x23002 -x22946 -x23003 -x22947 -x23004 -x22948 -x23005 -x22949 -x23006 -x22950 -x23007 -x22951 -x23008 -x22952 -x23009 -x22953 -x23010 -x22954 -x23011 -x22955 -x23012 -x22956 -x23013 -x22957 -x23014 -x22958 -x23015 -x22959 -x23016 -x22960 -x23017 -x22961 -x23018 -x22962 -x23019 -x22963 -x23020 x22964 x23021 -x22965 -x23022 -x22966 -x23023 -x22967 -x23024 -x22968 -x23025 -x22969 -x23026 -x22970 -x23027 -x22971 -x23028 -x22972 -x23029 -x22973 -x23030 -x22974 -x23031 -x22975 -x23032 -x22976 -x23033 -x22977 -x23034 -x22978 -x23035 -x22979 -x23036 -x22980 -x23037 -x23038 -x23095 -x23039 -x23096 -x23040 -x23097 -x23041 -x23098 x23042 -x23099 -x23043 -x23100 -x23044 -x23101 -x23045 -x23102 -x23046 -x23103 -x23047 -x23104 -x23048 -x23105 -x23049 -x23106 -x23050 -x23107 x23051 -x23108 -x23052 -x23109 -x23053 -x23110 -x23054 -x23111 -x23055 -x23112 -x23056 -x23113 -x23057 -x23114 -x23058 -x23115 -x23059 -x23116 -x23060 -x23117 -x23061 -x23118 -x23062 -x23119 -x23063 -x23120 -x23064 -x23121 -x23065 -x23122 -x23066 -x23123 -x23067 -x23124 -x23068 -x23125 -x23069 -x23126 -x23070 -x23127 -x23071 -x23128 -x23072 -x23129 -x23073 -x23130 x23074 -x23131 -x23075 -x23132 -x23076 -x23133 -x23077 -x23134 -x23078 -x23135 -x23079 -x23136 -x23080 -x23137 -x23081 -x23138 -x23082 -x23139 -x23083 -x23140 -x23084 -x23141 -x23085 -x23142 -x23086 -x23143 -x23087 -x23144 -x23088 -x23145 -x23089 -x23146 -x23090 -x23147 -x23091 -x23148 -x23092 -x23149 -x23093 -x23150 -x23094 -x23151 -x23152 -x23266 -x23153 -x23267 -x23154 -x23268 -x23155 -x23269 x23156 -x23270 -x23157 -x23271 -x23158 -x23272 -x23159 -x23273 -x23160 -x23274 -x23161 -x23275 -x23162 -x23276 -x23163 -x23277 x23164 -x23278 x23165 -x23279 -x23166 -x23280 -x23167 -x23281 -x23168 -x23282 -x23169 -x23283 -x23170 -x23284 -x23171 -x23285 -x23172 -x23286 -x23173 -x23287 -x23174 -x23288 -x23175 -x23289 -x23176 -x23290 -x23177 -x23291 -x23178 -x23292 -x23179 -x23293 -x23180 -x23294 -x23181 -x23295 -x23182 -x23296 -x23183 -x23297 -x23184 -x23298 -x23185 -x23299 -x23186 -x23300 -x23187 -x23301 -x23188 -x23302 -x23189 -x23303 -x23190 -x23304 -x23191 -x23305 -x23192 -x23306 -x23193 -x23307 -x23194 -x23308 -x23195 -x23309 -x23196 -x23310 -x23197 -x23311 x23198 -x23312 -x23199 -x23313 -x23200 -x23314 -x23201 -x23315 -x23202 -x23316 -x23203 -x23317 -x23204 -x23318 -x23205 -x23319 x23206 -x23320 -x23207 -x23321 -x23208 -x23322 -x23323 -x23380 -x23324 -x23381 -x23325 -x23382 -x23326 -x23383 x23327 -x23384 -x23328 -x23385 -x23329 -x23386 -x23330 -x23387 -x23331 -x23388 -x23332 -x23389 -x23333 -x23390 -x23334 -x23391 x23335 -x23392 x23336 -x23393 -x23337 -x23394 -x23338 -x23395 -x23339 -x23396 -x23340 -x23397 -x23341 -x23398 -x23342 -x23399 -x23343 -x23400 -x23344 -x23401 -x23345 -x23402 -x23346 -x23403 -x23347 -x23404 -x23348 -x23405 -x23349 -x23406 -x23350 -x23407 -x23351 -x23408 -x23352 -x23409 -x23353 -x23410 -x23354 -x23411 -x23355 -x23412 -x23356 -x23413 x23357 -x23414 -x23358 -x23415 -x23359 -x23416 -x23360 -x23417 -x23361 -x23418 -x23362 -x23419 -x23363 -x23420 -x23364 -x23421 -x23365 -x23422 -x23366 -x23423 -x23367 -x23424 -x23368 -x23425 -x23369 -x23426 -x23370 -x23427 -x23371 -x23428 -x23372 -x23429 -x23373 -x23430 -x23374 -x23431 -x23375 -x23432 -x23376 -x23433 -x23377 -x23434 -x23378 -x23435 -x23379 -x23436 -x23437 -x23494 -x23438 -x23495 -x23439 -x23496 -x23440 -x23497 x23441 -x23498 -x23442 -x23499 -x23443 -x23500 -x23444 -x23501 -x23445 -x23502 -x23446 -x23503 -x23447 -x23504 -x23448 -x23505 x23449 -x23506 x23450 -x23507 -x23451 -x23508 -x23452 -x23509 -x23453 -x23510 -x23454 -x23511 -x23455 -x23512 -x23456 -x23513 -x23457 -x23514 -x23458 -x23515 -x23459 -x23516 -x23460 -x23517 -x23461 -x23518 -x23462 -x23519 -x23463 -x23520 -x23464 -x23521 -x23465 -x23522 -x23466 -x23523 -x23467 -x23524 -x23468 -x23525 -x23469 -x23526 -x23470 -x23527 x23471 -x23528 -x23472 -x23529 -x23473 -x23530 -x23474 -x23531 -x23475 -x23532 -x23476 -x23533 -x23477 -x23534 -x23478 -x23535 -x23479 -x23536 -x23480 -x23537 -x23481 -x23538 -x23482 -x23539 -x23483 -x23540 -x23484 -x23541 -x23485 -x23542 x23486 -x23543 -x23487 -x23544 -x23488 -x23545 -x23489 -x23546 x23490 -x23547 -x23491 -x23548 -x23492 -x23549 -x23493 -x23550 -x23551 -x23608 -x23552 -x23609 -x23553 -x23610 -x23554 -x23611 x23555 -x23612 -x23556 -x23613 -x23557 -x23614 -x23558 -x23615 -x23559 -x23616 -x23560 -x23617 -x23561 -x23618 -x23562 -x23619 x23563 -x23620 x23564 -x23621 -x23565 -x23622 -x23566 -x23623 -x23567 -x23624 -x23568 -x23625 -x23569 -x23626 -x23570 -x23627 -x23571 -x23628 -x23572 -x23629 -x23573 -x23630 -x23574 -x23631 -x23575 -x23632 -x23576 -x23633 -x23577 -x23634 -x23578 -x23635 -x23579 -x23636 -x23580 -x23637 -x23581 -x23638 -x23582 -x23639 -x23583 -x23640 -x23584 -x23641 x23585 -x23642 -x23586 -x23643 -x23587 -x23644 -x23588 -x23645 -x23589 -x23646 -x23590 -x23647 -x23591 -x23648 -x23592 -x23649 -x23593 -x23650 -x23594 -x23651 x23595 -x23652 -x23596 -x23653 -x23597 -x23654 -x23598 -x23655 -x23599 -x23656 -x23600 -x23657 -x23601 -x23658 -x23602 -x23659 -x23603 -x23660 -x23604 -x23661 -x23605 -x23662 -x23606 -x23663 x23607 -x23664 -x23665 -x23722 -x23666 -x23723 -x23667 -x23724 -x23668 -x23725 x23669 -x23726 -x23670 -x23727 x23671 -x23728 -x23672 -x23729 -x23673 -x23730 -x23674 -x23731 -x23675 -x23732 -x23676 -x23733 -x23677 -x23734 -x23678 -x23735 -x23679 -x23736 -x23680 -x23737 -x23681 -x23738 -x23682 -x23739 -x23683 -x23740 -x23684 -x23741 -x23685 -x23742 -x23686 -x23743 -x23687 -x23744 -x23688 -x23745 -x23689 -x23746 -x23690 -x23747 -x23691 -x23748 -x23692 -x23749 -x23693 -x23750 -x23694 -x23751 -x23695 -x23752 -x23696 -x23753 -x23697 -x23754 -x23698 -x23755 -x23699 -x23756 -x23700 -x23757 -x23701 -x23758 -x23702 -x23759 -x23703 -x23760 -x23704 -x23761 -x23705 -x23762 -x23706 -x23763 -x23707 -x23764 -x23708 -x23765 -x23709 -x23766 -x23710 -x23767 -x23711 -x23768 -x23712 -x23769 -x23713 -x23770 -x23714 -x23771 -x23715 -x23772 -x23716 -x23773 -x23717 -x23774 -x23718 -x23775 -x23719 -x23776 -x23720 -x23777 -x23721 -x23778 -x23779 -x23893 -x23780 -x23894 -x23781 -x23895 -x23782 -x23896 x23783 -x23897 -x23784 -x23898 x23785 -x23899 -x23786 -x23900 -x23787 -x23901 x23788 -x23902 -x23789 -x23903 -x23790 -x23904 -x23791 -x23905 -x23792 -x23906 -x23793 -x23907 -x23794 -x23908 -x23795 -x23909 -x23796 -x23910 -x23797 -x23911 -x23798 -x23912 -x23799 -x23913 -x23800 -x23914 -x23801 -x23915 -x23802 -x23916 -x23803 -x23917 -x23804 -x23918 -x23805 -x23919 -x23806 -x23920 -x23807 -x23921 -x23808 -x23922 -x23809 -x23923 -x23810 -x23924 -x23811 -x23925 -x23812 -x23926 -x23813 -x23927 -x23814 -x23928 -x23815 -x23929 -x23816 -x23930 -x23817 -x23931 -x23818 -x23932 -x23819 -x23933 -x23820 -x23934 -x23821 -x23935 -x23822 -x23936 -x23823 -x23937 -x23824 -x23938 -x23825 -x23939 -x23826 -x23940 -x23827 -x23941 -x23828 -x23942 -x23829 -x23943 -x23830 -x23944 -x23831 -x23945 -x23832 -x23946 -x23833 -x23947 -x23834 -x23948 -x23835 -x23949 -x23950 -x24007 -x23951 -x24008 x23952 -x24009 -x23953 -x24010 -x23954 -x24011 -x23955 -x24012 -x23956 -x24013 -x23957 -x24014 -x23958 -x24015 -x23959 -x24016 -x23960 -x24017 -x23961 -x24018 x23962 -x24019 x23963 -x24020 -x23964 -x24021 -x23965 -x24022 -x23966 -x24023 -x23967 -x24024 -x23968 -x24025 -x23969 -x24026 -x23970 -x24027 -x23971 -x24028 x23972 -x24029 -x23973 -x24030 -x23974 -x24031 -x23975 -x24032 -x23976 -x24033 -x23977 -x24034 -x23978 -x24035 x23979 -x24036 x23980 -x24037 -x23981 -x24038 x23982 -x24039 -x23983 -x24040 x23984 -x24041 -x23985 -x24042 -x23986 -x24043 -x23987 -x24044 -x23988 -x24045 -x23989 -x24046 -x23990 -x24047 -x23991 -x24048 -x23992 -x24049 -x23993 -x24050 -x23994 -x24051 -x23995 -x24052 -x23996 -x24053 -x23997 -x24054 -x23998 -x24055 -x23999 -x24056 -x24000 -x24057 -x24001 -x24058 -x24002 -x24059 -x24003 -x24060 -x24004 -x24061 -x24005 -x24062 -x24006 -x24063 -x24064 -x24121 -x24065 -x24122 x24066 -x24123 -x24067 -x24124 -x24068 -x24125 -x24069 -x24126 x24070 -x24127 -x24071 -x24128 -x24072 -x24129 x24073 -x24130 -x24074 -x24131 -x24075 -x24132 -x24076 -x24133 -x24077 -x24134 -x24078 -x24135 -x24079 -x24136 -x24080 -x24137 -x24081 -x24138 x24082 -x24139 -x24083 -x24140 -x24084 -x24141 -x24085 -x24142 x24086 -x24143 -x24087 -x24144 -x24088 -x24145 -x24089 -x24146 -x24090 -x24147 -x24091 -x24148 -x24092 -x24149 -x24093 -x24150 -x24094 -x24151 -x24095 -x24152 -x24096 -x24153 -x24097 -x24154 -x24098 -x24155 -x24099 -x24156 -x24100 -x24157 -x24101 -x24158 -x24102 -x24159 -x24103 -x24160 -x24104 -x24161 -x24105 -x24162 -x24106 -x24163 -x24107 -x24164 -x24108 -x24165 -x24109 -x24166 -x24110 -x24167 -x24111 -x24168 -x24112 -x24169 -x24113 -x24170 -x24114 -x24171 -x24115 -x24172 -x24116 -x24173 -x24117 -x24174 -x24118 -x24175 -x24119 -x24176 -x24120 -x24177 -x24178 -x24235 -x24179 -x24236 x24180 -x24237 -x24181 -x24238 x24182 -x24239 -x24183 -x24240 -x24184 -x24241 -x24185 -x24242 -x24186 -x24243 -x24187 -x24244 -x24188 -x24245 -x24189 -x24246 -x24190 -x24247 -x24191 -x24248 -x24192 -x24249 -x24193 -x24250 -x24194 -x24251 -x24195 -x24252 -x24196 -x24253 -x24197 -x24254 -x24198 -x24255 -x24199 -x24256 x24200 -x24257 -x24201 -x24258 -x24202 -x24259 -x24203 -x24260 -x24204 -x24261 -x24205 -x24262 -x24206 -x24263 -x24207 -x24264 -x24208 -x24265 -x24209 -x24266 x24210 -x24267 -x24211 -x24268 -x24212 -x24269 -x24213 -x24270 -x24214 -x24271 -x24215 -x24272 -x24216 -x24273 -x24217 -x24274 -x24218 -x24275 -x24219 -x24276 -x24220 -x24277 -x24221 -x24278 -x24222 -x24279 -x24223 -x24280 -x24224 -x24281 -x24225 -x24282 -x24226 -x24283 -x24227 -x24284 -x24228 -x24285 -x24229 -x24286 -x24230 -x24287 -x24231 -x24288 -x24232 -x24289 -x24233 -x24290 -x24234 -x24291 -x24292 -x24349 -x24293 -x24350 x24294 -x24351 -x24295 -x24352 x24296 -x24353 -x24297 -x24354 -x24298 -x24355 -x24299 -x24356 -x24300 -x24357 -x24301 -x24358 -x24302 -x24359 -x24303 -x24360 -x24304 -x24361 -x24305 -x24362 -x24306 -x24363 -x24307 -x24364 -x24308 -x24365 -x24309 -x24366 x24310 -x24367 -x24311 -x24368 -x24312 -x24369 -x24313 -x24370 x24314 -x24371 -x24315 -x24372 -x24316 -x24373 -x24317 -x24374 -x24318 -x24375 -x24319 -x24376 -x24320 -x24377 -x24321 -x24378 -x24322 -x24379 -x24323 -x24380 -x24324 -x24381 -x24325 -x24382 -x24326 -x24383 -x24327 -x24384 -x24328 -x24385 -x24329 -x24386 -x24330 -x24387 -x24331 -x24388 -x24332 -x24389 -x24333 -x24390 -x24334 -x24391 -x24335 -x24392 -x24336 -x24393 -x24337 -x24394 -x24338 -x24395 -x24339 -x24396 -x24340 -x24397 -x24341 -x24398 -x24342 -x24399 -x24343 -x24400 -x24344 -x24401 -x24345 -x24402 -x24346 -x24403 -x24347 -x24404 -x24348 -x24405 -x24406 -x24520 -x24407 -x24521 x24408 -x24522 -x24409 -x24523 x24410 -x24524 -x24411 -x24525 -x24412 -x24526 -x24413 -x24527 -x24414 -x24528 -x24415 -x24529 -x24416 -x24530 -x24417 -x24531 -x24418 -x24532 -x24419 -x24533 -x24420 -x24534 -x24421 -x24535 -x24422 -x24536 -x24423 -x24537 x24424 -x24538 -x24425 -x24539 -x24426 -x24540 -x24427 -x24541 x24428 -x24542 -x24429 -x24543 -x24430 -x24544 -x24431 -x24545 -x24432 -x24546 -x24433 -x24547 -x24434 -x24548 -x24435 -x24549 -x24436 -x24550 -x24437 -x24551 -x24438 -x24552 -x24439 -x24553 -x24440 -x24554 -x24441 -x24555 -x24442 -x24556 -x24443 -x24557 -x24444 -x24558 -x24445 -x24559 -x24446 -x24560 -x24447 -x24561 -x24448 -x24562 -x24449 -x24563 x24450 -x24564 -x24451 -x24565 -x24452 -x24566 -x24453 -x24567 -x24454 -x24568 -x24455 -x24569 -x24456 -x24570 -x24457 -x24571 -x24458 -x24572 -x24459 -x24573 -x24460 -x24574 -x24461 -x24575 -x24462 -x24576 -x24577 -x24634 x24578 x24635 -x24579 -x24636 -x24580 -x24637 -x24581 -x24638 -x24582 -x24639 -x24583 -x24640 -x24584 -x24641 -x24585 -x24642 -x24586 -x24643 -x24587 -x24644 -x24588 -x24645 -x24589 -x24646 -x24590 -x24647 -x24591 -x24648 -x24592 -x24649 -x24593 -x24650 -x24594 -x24651 -x24595 -x24652 -x24596 -x24653 -x24597 -x24654 -x24598 -x24655 x24599 x24656 -x24600 -x24657 -x24601 -x24658 -x24602 -x24659 -x24603 -x24660 -x24604 -x24661 -x24605 -x24662 -x24606 -x24663 -x24607 -x24664 -x24608 -x24665 -x24609 -x24666 x24610 x24667 -x24611 -x24668 -x24612 -x24669 -x24613 -x24670 -x24614 -x24671 -x24615 -x24672 -x24616 -x24673 -x24617 -x24674 -x24618 -x24675 -x24619 -x24676 -x24620 -x24677 -x24621 -x24678 -x24622 -x24679 -x24623 -x24680 -x24624 -x24681 -x24625 -x24682 -x24626 -x24683 -x24627 -x24684 -x24628 -x24685 -x24629 -x24686 -x24630 -x24687 -x24631 -x24688 -x24632 -x24689 -x24633 -x24690 -x24691 -x24748 x24692 x24749 -x24693 -x24750 -x24694 -x24751 -x24695 -x24752 -x24696 -x24753 -x24697 -x24754 -x24698 -x24755 -x24699 -x24756 -x24700 -x24757 -x24701 -x24758 -x24702 -x24759 -x24703 -x24760 -x24704 -x24761 -x24705 -x24762 -x24706 -x24763 -x24707 -x24764 -x24708 -x24765 -x24709 -x24766 x24710 -x24767 -x24711 -x24768 -x24712 -x24769 x24713 x24770 -x24714 -x24771 -x24715 -x24772 -x24716 -x24773 x24717 -x24774 -x24718 -x24775 -x24719 -x24776 -x24720 -x24777 -x24721 -x24778 -x24722 -x24779 -x24723 -x24780 x24724 x24781 -x24725 -x24782 -x24726 -x24783 -x24727 -x24784 -x24728 -x24785 -x24729 -x24786 -x24730 -x24787 -x24731 -x24788 -x24732 -x24789 -x24733 -x24790 -x24734 -x24791 -x24735 -x24792 -x24736 -x24793 -x24737 -x24794 -x24738 -x24795 -x24739 -x24796 -x24740 -x24797 -x24741 -x24798 -x24742 -x24799 -x24743 -x24800 -x24744 -x24801 -x24745 -x24802 x24746 x24803 -x24747 -x24804 -x24805 -x24862 x24806 x24863 -x24807 -x24864 -x24808 -x24865 -x24809 -x24866 -x24810 -x24867 -x24811 -x24868 -x24812 -x24869 -x24813 -x24870 -x24814 -x24871 -x24815 -x24872 -x24816 -x24873 -x24817 -x24874 -x24818 -x24875 -x24819 -x24876 -x24820 -x24877 -x24821 -x24878 -x24822 -x24879 -x24823 -x24880 x24824 -x24881 -x24825 -x24882 -x24826 -x24883 x24827 x24884 -x24828 -x24885 -x24829 -x24886 -x24830 -x24887 x24831 -x24888 -x24832 -x24889 -x24833 -x24890 -x24834 -x24891 -x24835 -x24892 -x24836 -x24893 -x24837 -x24894 x24838 x24895 -x24839 -x24896 -x24840 -x24897 -x24841 -x24898 -x24842 -x24899 -x24843 -x24900 -x24844 -x24901 -x24845 -x24902 -x24846 -x24903 -x24847 -x24904 -x24848 -x24905 -x24849 -x24906 -x24850 -x24907 -x24851 -x24908 x24852 -x24909 -x24853 -x24910 -x24854 -x24911 -x24855 -x24912 -x24856 -x24913 -x24857 -x24914 -x24858 -x24915 -x24859 -x24916 x24860 x24917 -x24861 -x24918 -x24919 -x24976 x24920 x24977 -x24921 -x24978 -x24922 -x24979 -x24923 -x24980 -x24924 -x24981 -x24925 -x24982 -x24926 -x24983 -x24927 -x24984 -x24928 -x24985 -x24929 -x24986 -x24930 -x24987 -x24931 -x24988 -x24932 -x24989 x24933 -x24990 -x24934 -x24991 -x24935 -x24992 -x24936 -x24993 -x24937 -x24994 -x24938 -x24995 -x24939 -x24996 -x24940 -x24997 x24941 x24998 -x24942 -x24999 -x24943 -x25000 -x24944 -x25001 -x24945 -x25002 -x24946 -x25003 -x24947 -x25004 -x24948 -x25005 -x24949 -x25006 -x24950 -x25007 -x24951 -x25008 x24952 x25009 -x24953 -x25010 -x24954 -x25011 -x24955 -x25012 -x24956 -x25013 -x24957 -x25014 -x24958 -x25015 -x24959 -x25016 -x24960 -x25017 -x24961 -x25018 -x24962 -x25019 -x24963 -x25020 -x24964 -x25021 -x24965 -x25022 -x24966 -x25023 x24967 -x25024 -x24968 -x25025 -x24969 -x25026 -x24970 -x25027 -x24971 -x25028 -x24972 -x25029 -x24973 -x25030 x24974 -x25031 -x24975 -x25032 -x25033 -x25147 x25034 x25148 -x25035 -x25149 -x25036 -x25150 -x25037 -x25151 -x25038 -x25152 -x25039 -x25153 -x25040 -x25154 x25041 -x25155 -x25042 -x25156 -x25043 -x25157 -x25044 -x25158 -x25045 -x25159 -x25046 -x25160 -x25047 -x25161 -x25048 -x25162 -x25049 -x25163 -x25050 -x25164 -x25051 -x25165 -x25052 -x25166 -x25053 -x25167 -x25054 -x25168 x25055 x25169 -x25056 -x25170 -x25057 -x25171 -x25058 -x25172 -x25059 -x25173 -x25060 -x25174 -x25061 -x25175 -x25062 -x25176 -x25063 -x25177 -x25064 -x25178 -x25065 -x25179 x25066 x25180 -x25067 -x25181 -x25068 -x25182 -x25069 -x25183 -x25070 -x25184 -x25071 -x25185 x25072 -x25186 -x25073 -x25187 -x25074 -x25188 -x25075 -x25189 -x25076 -x25190 -x25077 -x25191 x25078 -x25192 -x25079 -x25193 -x25080 -x25194 -x25081 -x25195 -x25082 -x25196 -x25083 -x25197 -x25084 -x25198 -x25085 -x25199 -x25086 -x25200 -x25087 -x25201 -x25088 -x25202 -x25089 -x25203 -x25204 -x25261 x25205 x25262 -x25206 -x25263 -x25207 -x25264 -x25208 -x25265 -x25209 -x25266 -x25210 -x25267 -x25211 -x25268 x25212 -x25269 -x25213 -x25270 -x25214 -x25271 -x25215 -x25272 -x25216 -x25273 -x25217 -x25274 -x25218 -x25275 -x25219 -x25276 -x25220 -x25277 -x25221 -x25278 -x25222 -x25279 -x25223 -x25280 -x25224 -x25281 -x25225 -x25282 x25226 x25283 -x25227 -x25284 -x25228 -x25285 -x25229 -x25286 -x25230 -x25287 -x25231 -x25288 x25232 -x25289 -x25233 -x25290 -x25234 -x25291 -x25235 -x25292 -x25236 -x25293 x25237 -x25294 -x25238 -x25295 x25239 -x25296 -x25240 -x25297 -x25241 -x25298 -x25242 -x25299 -x25243 -x25300 -x25244 -x25301 -x25245 -x25302 -x25246 -x25303 -x25247 -x25304 -x25248 -x25305 -x25249 -x25306 -x25250 -x25307 -x25251 -x25308 -x25252 -x25309 -x25253 -x25310 -x25254 -x25311 -x25255 -x25312 -x25256 -x25313 -x25257 -x25314 -x25258 -x25315 -x25259 -x25316 -x25260 -x25317 -x25318 -x25375 x25319 x25376 -x25320 -x25377 -x25321 -x25378 -x25322 -x25379 -x25323 -x25380 -x25324 -x25381 -x25325 -x25382 x25326 -x25383 -x25327 -x25384 -x25328 -x25385 -x25329 -x25386 -x25330 -x25387 -x25331 -x25388 -x25332 -x25389 -x25333 -x25390 -x25334 -x25391 -x25335 -x25392 -x25336 -x25393 -x25337 -x25394 -x25338 -x25395 -x25339 -x25396 x25340 x25397 x25341 -x25398 -x25342 -x25399 -x25343 -x25400 -x25344 -x25401 -x25345 -x25402 -x25346 -x25403 -x25347 -x25404 -x25348 -x25405 -x25349 -x25406 -x25350 -x25407 x25351 x25408 -x25352 -x25409 -x25353 -x25410 -x25354 -x25411 -x25355 -x25412 -x25356 -x25413 -x25357 -x25414 -x25358 -x25415 -x25359 -x25416 -x25360 -x25417 -x25361 -x25418 -x25362 -x25419 -x25363 -x25420 -x25364 -x25421 -x25365 -x25422 -x25366 -x25423 -x25367 -x25424 -x25368 -x25425 -x25369 -x25426 -x25370 -x25427 -x25371 -x25428 -x25372 -x25429 x25373 -x25430 -x25374 -x25431 -x25432 -x25489 x25433 x25490 -x25434 -x25491 -x25435 -x25492 -x25436 -x25493 -x25437 -x25494 -x25438 -x25495 -x25439 -x25496 x25440 -x25497 -x25441 -x25498 -x25442 -x25499 -x25443 -x25500 -x25444 -x25501 -x25445 -x25502 -x25446 -x25503 -x25447 -x25504 -x25448 -x25505 -x25449 -x25506 -x25450 -x25507 -x25451 -x25508 -x25452 -x25509 x25453 -x25510 x25454 x25511 -x25455 -x25512 -x25456 -x25513 -x25457 -x25514 x25458 -x25515 -x25459 -x25516 -x25460 -x25517 -x25461 -x25518 -x25462 -x25519 -x25463 -x25520 -x25464 -x25521 x25465 x25522 -x25466 -x25523 -x25467 -x25524 -x25468 -x25525 -x25469 -x25526 -x25470 -x25527 -x25471 -x25528 -x25472 -x25529 -x25473 -x25530 -x25474 -x25531 -x25475 -x25532 -x25476 -x25533 -x25477 -x25534 -x25478 -x25535 -x25479 -x25536 -x25480 -x25537 -x25481 -x25538 -x25482 -x25539 -x25483 -x25540 -x25484 -x25541 -x25485 -x25542 -x25486 -x25543 x25487 -x25544 -x25488 -x25545 -x25546 -x25603 x25547 x25604 -x25548 -x25605 -x25549 -x25606 -x25550 -x25607 -x25551 -x25608 -x25552 -x25609 -x25553 -x25610 x25554 -x25611 -x25555 -x25612 -x25556 -x25613 -x25557 -x25614 -x25558 -x25615 -x25559 -x25616 -x25560 -x25617 -x25561 -x25618 -x25562 -x25619 -x25563 -x25620 -x25564 -x25621 -x25565 -x25622 x25566 -x25623 -x25567 -x25624 x25568 x25625 -x25569 -x25626 -x25570 -x25627 -x25571 -x25628 -x25572 -x25629 -x25573 -x25630 -x25574 -x25631 -x25575 -x25632 -x25576 -x25633 -x25577 -x25634 -x25578 -x25635 x25579 -x25636 -x25580 -x25637 -x25581 -x25638 -x25582 -x25639 -x25583 -x25640 -x25584 -x25641 -x25585 -x25642 -x25586 -x25643 -x25587 -x25644 -x25588 -x25645 x25589 -x25646 -x25590 -x25647 x25591 -x25648 -x25592 -x25649 -x25593 -x25650 -x25594 -x25651 -x25595 -x25652 -x25596 -x25653 -x25597 -x25654 -x25598 -x25655 -x25599 -x25656 -x25600 -x25657 -x25601 -x25658 -x25602 -x25659 -x25660 -x25774 x25661 x25775 -x25662 -x25776 -x25663 -x25777 -x25664 -x25778 x25665 -x25779 -x25666 -x25780 -x25667 -x25781 x25668 -x25782 -x25669 -x25783 -x25670 -x25784 -x25671 -x25785 -x25672 -x25786 -x25673 -x25787 -x25674 -x25788 -x25675 -x25789 -x25676 -x25790 -x25677 -x25791 -x25678 -x25792 -x25679 -x25793 -x25680 -x25794 -x25681 -x25795 x25682 x25796 -x25683 -x25797 -x25684 -x25798 -x25685 -x25799 -x25686 -x25800 -x25687 -x25801 x25688 -x25802 -x25689 -x25803 -x25690 -x25804 -x25691 -x25805 -x25692 -x25806 x25693 -x25807 -x25694 -x25808 -x25695 -x25809 -x25696 -x25810 -x25697 -x25811 -x25698 -x25812 -x25699 -x25813 -x25700 -x25814 -x25701 -x25815 -x25702 -x25816 -x25703 -x25817 -x25704 -x25818 -x25705 -x25819 -x25706 -x25820 -x25707 -x25821 -x25708 -x25822 -x25709 -x25823 -x25710 -x25824 -x25711 -x25825 -x25712 -x25826 -x25713 -x25827 -x25714 -x25828 -x25715 -x25829 -x25716 -x25830 -x25831 -x25888 x25832 -x25889 -x25833 -x25890 -x25834 -x25891 -x25835 -x25892 -x25836 -x25893 -x25837 -x25894 -x25838 -x25895 -x25839 -x25896 -x25840 -x25897 -x25841 -x25898 -x25842 -x25899 -x25843 -x25900 -x25844 -x25901 -x25845 -x25902 -x25846 -x25903 -x25847 -x25904 -x25848 -x25905 -x25849 -x25906 -x25850 -x25907 -x25851 -x25908 -x25852 -x25909 x25853 x25910 -x25854 -x25911 -x25855 -x25912 -x25856 -x25913 x25857 -x25914 x25858 -x25915 -x25859 -x25916 -x25860 -x25917 -x25861 -x25918 -x25862 -x25919 -x25863 -x25920 x25864 -x25921 -x25865 -x25922 -x25866 -x25923 -x25867 -x25924 -x25868 -x25925 -x25869 -x25926 -x25870 -x25927 -x25871 -x25928 -x25872 -x25929 -x25873 -x25930 -x25874 -x25931 -x25875 -x25932 -x25876 -x25933 -x25877 -x25934 -x25878 -x25935 -x25879 -x25936 -x25880 -x25937 -x25881 -x25938 -x25882 -x25939 -x25883 -x25940 -x25884 -x25941 -x25885 -x25942 x25886 -x25943 -x25887 -x25944 -x25945 -x26002 x25946 -x26003 -x25947 -x26004 -x25948 -x26005 -x25949 -x26006 -x25950 -x26007 -x25951 -x26008 -x25952 -x26009 -x25953 -x26010 -x25954 -x26011 -x25955 -x26012 -x25956 -x26013 -x25957 -x26014 -x25958 -x26015 -x25959 -x26016 -x25960 -x26017 -x25961 -x26018 -x25962 -x26019 -x25963 -x26020 x25964 -x26021 -x25965 -x26022 -x25966 -x26023 x25967 x26024 -x25968 -x26025 -x25969 -x26026 -x25970 -x26027 -x25971 -x26028 x25972 -x26029 -x25973 -x26030 -x25974 -x26031 -x25975 -x26032 -x25976 -x26033 -x25977 -x26034 x25978 -x26035 -x25979 -x26036 -x25980 -x26037 -x25981 -x26038 -x25982 -x26039 -x25983 -x26040 -x25984 -x26041 -x25985 -x26042 -x25986 -x26043 -x25987 -x26044 -x25988 -x26045 -x25989 -x26046 -x25990 -x26047 -x25991 -x26048 -x25992 -x26049 -x25993 -x26050 -x25994 -x26051 -x25995 -x26052 -x25996 -x26053 -x25997 -x26054 -x25998 -x26055 -x25999 -x26056 x26000 -x26057 -x26001 -x26058 -x26059 -x26116 x26060 -x26117 -x26061 -x26118 -x26062 -x26119 -x26063 -x26120 -x26064 -x26121 -x26065 -x26122 -x26066 -x26123 -x26067 -x26124 -x26068 -x26125 -x26069 -x26126 -x26070 -x26127 -x26071 -x26128 x26072 -x26129 -x26073 -x26130 -x26074 -x26131 -x26075 -x26132 -x26076 -x26133 -x26077 -x26134 -x26078 -x26135 -x26079 -x26136 -x26080 -x26137 x26081 -x26138 -x26082 -x26139 -x26083 -x26140 -x26084 -x26141 -x26085 -x26142 -x26086 -x26143 -x26087 -x26144 -x26088 -x26145 -x26089 -x26146 -x26090 -x26147 -x26091 -x26148 x26092 -x26149 -x26093 -x26150 -x26094 -x26151 x26095 -x26152 -x26096 -x26153 -x26097 -x26154 x26098 -x26155 -x26099 -x26156 -x26100 -x26157 -x26101 -x26158 -x26102 -x26159 -x26103 -x26160 -x26104 -x26161 -x26105 -x26162 -x26106 -x26163 -x26107 -x26164 -x26108 -x26165 -x26109 -x26166 -x26110 -x26167 -x26111 -x26168 -x26112 -x26169 -x26113 -x26170 -x26114 -x26171 -x26115 -x26172 -x26173 -x26230 x26174 -x26231 -x26175 -x26232 -x26176 -x26233 -x26177 -x26234 -x26178 -x26235 -x26179 -x26236 -x26180 -x26237 -x26181 -x26238 -x26182 -x26239 -x26183 -x26240 -x26184 -x26241 -x26185 -x26242 x26186 -x26243 -x26187 -x26244 -x26188 -x26245 -x26189 -x26246 -x26190 -x26247 -x26191 -x26248 -x26192 -x26249 -x26193 -x26250 -x26194 -x26251 x26195 -x26252 -x26196 -x26253 -x26197 -x26254 -x26198 -x26255 x26199 -x26256 -x26200 -x26257 -x26201 -x26258 -x26202 -x26259 -x26203 -x26260 -x26204 -x26261 -x26205 -x26262 x26206 -x26263 -x26207 -x26264 -x26208 -x26265 x26209 -x26266 -x26210 -x26267 -x26211 -x26268 -x26212 -x26269 -x26213 -x26270 -x26214 -x26271 -x26215 -x26272 -x26216 -x26273 -x26217 -x26274 -x26218 -x26275 -x26219 -x26276 -x26220 -x26277 -x26221 -x26278 -x26222 -x26279 -x26223 -x26280 -x26224 -x26281 -x26225 -x26282 -x26226 -x26283 -x26227 -x26284 x26228 -x26285 -x26229 -x26286 -x26287 -x26401 x26288 -x26402 -x26289 -x26403 -x26290 -x26404 -x26291 -x26405 -x26292 -x26406 -x26293 -x26407 -x26294 -x26408 -x26295 -x26409 -x26296 -x26410 -x26297 -x26411 -x26298 -x26412 x26299 -x26413 x26300 -x26414 -x26301 -x26415 -x26302 -x26416 -x26303 -x26417 -x26304 -x26418 -x26305 -x26419 -x26306 -x26420 -x26307 -x26421 -x26308 -x26422 x26309 -x26423 -x26310 -x26424 -x26311 -x26425 -x26312 -x26426 -x26313 -x26427 -x26314 -x26428 -x26315 -x26429 -x26316 -x26430 -x26317 -x26431 -x26318 -x26432 -x26319 -x26433 -x26320 -x26434 x26321 -x26435 -x26322 -x26436 -x26323 -x26437 -x26324 -x26438 -x26325 -x26439 -x26326 -x26440 -x26327 -x26441 -x26328 -x26442 -x26329 -x26443 x26330 -x26444 -x26331 -x26445 -x26332 -x26446 -x26333 -x26447 -x26334 -x26448 -x26335 -x26449 -x26336 -x26450 -x26337 -x26451 -x26338 -x26452 -x26339 -x26453 -x26340 -x26454 -x26341 -x26455 -x26342 -x26456 -x26343 -x26457 -x26458 -x26515 x26459 -x26516 -x26460 -x26517 -x26461 -x26518 -x26462 -x26519 -x26463 -x26520 -x26464 -x26521 -x26465 -x26522 -x26466 -x26523 -x26467 -x26524 -x26468 -x26525 -x26469 -x26526 x26470 -x26527 x26471 -x26528 -x26472 -x26529 -x26473 -x26530 -x26474 -x26531 -x26475 -x26532 -x26476 -x26533 -x26477 -x26534 -x26478 -x26535 -x26479 -x26536 x26480 -x26537 -x26481 -x26538 -x26482 -x26539 -x26483 -x26540 -x26484 -x26541 -x26485 -x26542 -x26486 -x26543 -x26487 -x26544 -x26488 -x26545 -x26489 -x26546 -x26490 -x26547 x26491 -x26548 x26492 -x26549 -x26493 -x26550 -x26494 -x26551 -x26495 -x26552 -x26496 -x26553 -x26497 -x26554 -x26498 -x26555 -x26499 -x26556 -x26500 -x26557 -x26501 -x26558 -x26502 -x26559 -x26503 -x26560 -x26504 -x26561 -x26505 -x26562 -x26506 -x26563 -x26507 -x26564 -x26508 -x26565 -x26509 -x26566 -x26510 -x26567 -x26511 -x26568 -x26512 -x26569 -x26513 -x26570 -x26514 -x26571 -x26572 -x26629 x26573 -x26630 -x26574 -x26631 -x26575 -x26632 -x26576 -x26633 -x26577 -x26634 -x26578 -x26635 -x26579 -x26636 -x26580 -x26637 -x26581 -x26638 -x26582 -x26639 -x26583 -x26640 x26584 -x26641 x26585 -x26642 -x26586 -x26643 -x26587 -x26644 -x26588 -x26645 -x26589 -x26646 -x26590 -x26647 -x26591 -x26648 -x26592 -x26649 -x26593 -x26650 x26594 -x26651 -x26595 -x26652 -x26596 -x26653 -x26597 -x26654 -x26598 -x26655 -x26599 -x26656 x26600 -x26657 -x26601 -x26658 -x26602 -x26659 -x26603 -x26660 -x26604 -x26661 -x26605 -x26662 x26606 -x26663 -x26607 -x26664 -x26608 -x26665 -x26609 -x26666 -x26610 -x26667 -x26611 -x26668 -x26612 -x26669 -x26613 -x26670 -x26614 -x26671 -x26615 -x26672 -x26616 -x26673 -x26617 -x26674 -x26618 -x26675 -x26619 -x26676 -x26620 -x26677 -x26621 -x26678 -x26622 -x26679 -x26623 -x26680 -x26624 -x26681 -x26625 -x26682 -x26626 -x26683 -x26627 -x26684 -x26628 -x26685 -x26686 -x26743 x26687 -x26744 -x26688 -x26745 -x26689 -x26746 -x26690 -x26747 -x26691 -x26748 -x26692 -x26749 -x26693 -x26750 -x26694 -x26751 -x26695 -x26752 -x26696 -x26753 -x26697 -x26754 x26698 -x26755 x26699 -x26756 -x26700 -x26757 -x26701 -x26758 -x26702 -x26759 -x26703 -x26760 -x26704 -x26761 -x26705 -x26762 -x26706 -x26763 -x26707 -x26764 x26708 -x26765 -x26709 -x26766 -x26710 -x26767 -x26711 -x26768 x26712 -x26769 -x26713 -x26770 -x26714 -x26771 -x26715 -x26772 -x26716 -x26773 -x26717 -x26774 -x26718 -x26775 x26719 -x26776 -x26720 -x26777 -x26721 -x26778 -x26722 -x26779 -x26723 -x26780 -x26724 -x26781 -x26725 -x26782 -x26726 -x26783 -x26727 -x26784 -x26728 -x26785 -x26729 -x26786 -x26730 -x26787 -x26731 -x26788 x26732 -x26789 -x26733 -x26790 -x26734 -x26791 -x26735 -x26792 -x26736 -x26793 -x26737 -x26794 -x26738 -x26795 -x26739 -x26796 -x26740 -x26797 x26741 -x26798 -x26742 -x26799 -x26800 -x26857 x26801 -x26858 -x26802 -x26859 -x26803 -x26860 -x26804 -x26861 -x26805 -x26862 -x26806 -x26863 -x26807 -x26864 -x26808 -x26865 -x26809 -x26866 -x26810 -x26867 -x26811 -x26868 x26812 -x26869 x26813 -x26870 -x26814 -x26871 -x26815 -x26872 -x26816 -x26873 -x26817 -x26874 -x26818 -x26875 -x26819 -x26876 -x26820 -x26877 -x26821 -x26878 x26822 -x26879 -x26823 -x26880 -x26824 -x26881 -x26825 -x26882 x26826 -x26883 -x26827 -x26884 -x26828 -x26885 -x26829 -x26886 -x26830 -x26887 -x26831 -x26888 -x26832 -x26889 x26833 -x26890 x26834 -x26891 -x26835 -x26892 -x26836 -x26893 -x26837 -x26894 -x26838 -x26895 -x26839 -x26896 -x26840 -x26897 -x26841 -x26898 -x26842 -x26899 -x26843 -x26900 -x26844 -x26901 -x26845 -x26902 -x26846 -x26903 -x26847 -x26904 -x26848 -x26905 -x26849 -x26906 -x26850 -x26907 -x26851 -x26908 -x26852 -x26909 -x26853 -x26910 -x26854 -x26911 x26855 -x26912 -x26856 -x26913 -x26914 -x16654 x26915 -x16655 -x26916 -x16656 -x26917 -x16657 -x26918 -x16658 -x26919 -x16659 -x26920 -x16660 -x26921 -x16661 -x26922 -x16662 -x26923 -x16663 -x26924 -x16664 -x26925 -x16665 x26926 -x16666 x26927 -x16667 -x26928 -x16668 -x26929 -x16669 -x26930 -x16670 -x26931 -x16671 -x26932 -x16672 -x26933 -x16673 -x26934 -x16674 -x26935 -x16675 x26936 -x16676 -x26937 -x16677 -x26938 -x16678 -x26939 -x16679 x26940 -x16680 -x26941 -x16681 -x26942 -x16682 -x26943 -x16683 -x26944 -x16684 -x26945 -x16685 -x26946 -x16686 x26947 -x16687 x26948 -x16688 -x26949 -x16689 -x26950 -x16690 -x26951 -x16691 -x26952 -x16692 -x26953 -x16693 -x26954 -x16694 -x26955 -x16695 -x26956 -x16696 -x26957 -x16697 -x26958 -x16698 -x26959 -x16699 -x26960 -x16700 -x26961 -x16701 -x26962 -x16702 -x26963 -x16703 -x26964 -x16704 -x26965 -x16705 -x26966 -x16706 -x26967 -x16707 -x26968 -x16708 x26969 -x16709 x26970 -x16710 -x16711 -x16768 x16712 -x16769 -x16713 -x16770 -x16714 -x16771 -x16715 -x16772 -x16716 -x16773 -x16717 -x16774 -x16718 -x16775 -x16719 -x16776 -x16720 -x16777 -x16721 -x16778 -x16722 -x16779 x16723 -x16780 x16724 -x16781 -x16725 -x16782 -x16726 -x16783 -x16727 -x16784 -x16728 -x16785 -x16729 -x16786 -x16730 -x16787 -x16731 -x16788 -x16732 -x16789 x16733 -x16790 -x16734 -x16791 -x16735 -x16792 -x16736 -x16793 x16737 -x16794 -x16738 -x16795 -x16739 -x16796 -x16740 -x16797 -x16741 -x16798 -x16742 -x16799 -x16743 -x16800 x16744 -x16801 x16745 -x16802 -x16746 -x16803 -x16747 -x16804 -x16748 -x16805 -x16749 -x16806 -x16750 -x16807 -x16751 -x16808 -x16752 -x16809 -x16753 -x16810 -x16754 -x16811 -x16755 -x16812 -x16756 -x16813 -x16757 -x16814 -x16758 -x16815 -x16759 -x16816 x16760 -x16817 -x16761 -x16818 -x16762 -x16819 -x16763 -x16820 x16764 -x16821 -x16765 -x16822 x16766 -x16823 -x16767 -x16824 -x16825 -x16882 x16826 -x16883 -x16827 -x16884 -x16828 -x16885 -x16829 -x16886 -x16830 -x16887 -x16831 -x16888 -x16832 -x16889 -x16833 -x16890 -x16834 -x16891 -x16835 -x16892 -x16836 -x16893 x16837 -x16894 x16838 -x16895 -x16839 -x16896 -x16840 -x16897 -x16841 -x16898 -x16842 -x16899 -x16843 -x16900 -x16844 -x16901 -x16845 -x16902 -x16846 -x16903 x16847 -x16904 -x16848 -x16905 -x16849 -x16906 -x16850 -x16907 x16851 -x16908 -x16852 -x16909 -x16853 -x16910 -x16854 -x16911 x16855 -x16912 -x16856 -x16913 -x16857 -x16914 x16858 -x16915 x16859 -x16916 -x16860 -x16917 -x16861 -x16918 -x16862 -x16919 -x16863 -x16920 -x16864 -x16921 -x16865 -x16922 -x16866 -x16923 -x16867 -x16924 -x16868 -x16925 -x16869 -x16926 -x16870 -x16927 -x16871 -x16928 -x16872 -x16929 -x16873 -x16930 -x16874 -x16931 -x16875 -x16932 -x16876 -x16933 -x16877 -x16934 -x16878 -x16935 -x16879 -x16936 x16880 -x16937 -x16881 -x16938 -x16939 -x16996 x16940 -x16997 -x16941 -x16998 -x16942 -x16999 -x16943 -x17000 -x16944 -x17001 -x16945 -x17002 -x16946 -x17003 -x16947 -x17004 -x16948 -x17005 -x16949 -x17006 -x16950 -x17007 x16951 -x17008 x16952 -x17009 -x16953 -x17010 -x16954 -x17011 -x16955 -x17012 -x16956 -x17013 -x16957 -x17014 -x16958 -x17015 x16959 -x17016 -x16960 -x17017 x16961 -x17018 -x16962 -x17019 -x16963 -x17020 -x16964 -x17021 -x16965 -x17022 -x16966 -x17023 -x16967 -x17024 -x16968 -x17025 -x16969 -x17026 -x16970 -x17027 -x16971 -x17028 -x16972 -x17029 x16973 -x17030 -x16974 -x17031 -x16975 -x17032 -x16976 -x17033 -x16977 -x17034 -x16978 -x17035 -x16979 -x17036 -x16980 -x17037 -x16981 -x17038 x16982 -x17039 -x16983 -x17040 -x16984 -x17041 -x16985 -x17042 -x16986 -x17043 -x16987 -x17044 -x16988 -x17045 -x16989 -x17046 -x16990 -x17047 -x16991 -x17048 -x16992 -x17049 -x16993 -x17050 -x16994 -x17051 x16995 -x17052 -x17053 -x17110 x17054 -x17111 -x17055 -x17112 -x17056 -x17113 -x17057 -x17114 -x17058 -x17115 -x17059 -x17116 -x17060 -x17117 -x17061 -x17118 -x17062 -x17119 -x17063 -x17120 -x17064 -x17121 x17065 -x17122 x17066 -x17123 -x17067 -x17124 -x17068 -x17125 -x17069 -x17126 -x17070 -x17127 -x17071 -x17128 -x17072 -x17129 x17073 -x17130 -x17074 -x17131 x17075 -x17132 -x17076 -x17133 -x17077 -x17134 -x17078 -x17135 -x17079 -x17136 -x17080 -x17137 -x17081 -x17138 -x17082 -x17139 x17083 -x17140 -x17084 -x17141 -x17085 -x17142 -x17086 -x17143 x17087 -x17144 -x17088 -x17145 -x17089 -x17146 -x17090 -x17147 x17091 -x17148 -x17092 -x17149 -x17093 -x17150 -x17094 -x17151 -x17095 -x17152 x17096 -x17153 -x17097 -x17154 -x17098 -x17155 -x17099 -x17156 -x17100 -x17157 -x17101 -x17158 -x17102 -x17159 -x17103 -x17160 -x17104 -x17161 -x17105 -x17162 -x17106 -x17163 -x17107 -x17164 -x17108 -x17165 -x17109 -x17166 -x17167 -x17281 x17168 -x17282 -x17169 -x17283 -x17170 -x17284 -x17171 -x17285 -x17172 -x17286 -x17173 -x17287 -x17174 -x17288 -x17175 -x17289 -x17176 -x17290 -x17177 -x17291 -x17178 -x17292 x17179 -x17293 x17180 -x17294 -x17181 -x17295 -x17182 -x17296 -x17183 -x17297 -x17184 -x17298 -x17185 -x17299 -x17186 -x17300 x17187 -x17301 -x17188 -x17302 x17189 -x17303 -x17190 -x17304 -x17191 -x17305 -x17192 -x17306 -x17193 -x17307 -x17194 -x17308 -x17195 -x17309 x17196 -x17310 x17197 -x17311 -x17198 -x17312 -x17199 -x17313 -x17200 -x17314 x17201 -x17315 -x17202 -x17316 -x17203 -x17317 -x17204 -x17318 -x17205 -x17319 -x17206 -x17320 -x17207 -x17321 -x17208 -x17322 x17209 -x17323 x17210 -x17324 -x17211 -x17325 -x17212 -x17326 -x17213 -x17327 -x17214 -x17328 -x17215 -x17329 -x17216 -x17330 -x17217 -x17331 -x17218 -x17332 -x17219 -x17333c 
1800.09/1800.61	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-2695875-1278021204/watcher-2695875-1278021204 -o /tmp/evaluation-result-2695875-1278021204/solver-2695875-1278021204 -C 1800 -W 2000 -M 1800 run HOME/instance-2695875-1278021204.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.67 1.19 1.16 3/106 2754
/proc/meminfo: memFree=1318400/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) R 2752 2754 1862 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552989077 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0

[startup+0.0317019 s]
/proc/loadavg: 1.67 1.19 1.16 3/106 2754
/proc/meminfo: memFree=1318400/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101711 s]
/proc/loadavg: 1.67 1.19 1.16 3/106 2754
/proc/meminfo: memFree=1318400/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301735 s]
/proc/loadavg: 1.67 1.19 1.16 3/106 2754
/proc/meminfo: memFree=1318400/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701781 s]
/proc/loadavg: 1.67 1.19 1.16 3/106 2754
/proc/meminfo: memFree=1318400/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50187 s]
/proc/loadavg: 1.67 1.19 1.16 2/108 2756
/proc/meminfo: memFree=1299288/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=108672 CPUtime=1.48
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 9352 0 0 0 145 3 0 0 25 0 1 0 177724726 111280128 8822 1992294400 134512640 146736320 4292009536 18446744073709551615 134543014 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 27168 8822 1538 2985 0 7377 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 117372

[startup+3.10106 s]
/proc/loadavg: 1.67 1.19 1.16 2/108 2756
/proc/meminfo: memFree=1281060/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=138372 CPUtime=3.09
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 18690 0 0 0 302 7 0 0 25 0 1 0 177724726 141692928 17647 1992294400 134512640 146736320 4292009536 18446744073709551615 144738044 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 34593 17648 2930 2985 0 14802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 147072

[startup+6.30143 s]
/proc/loadavg: 1.61 1.19 1.15 2/108 2758
/proc/meminfo: memFree=1216208/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=199944 CPUtime=6.29
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 37989 0 0 0 614 15 0 0 25 0 1 0 177724726 204742656 35921 1992294400 134512640 146736320 4292009536 18446744073709551615 144942226 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 49986 35922 5850 2985 0 30195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 208644

[startup+12.7012 s]
/proc/loadavg: 1.56 1.19 1.15 2/108 2758
/proc/meminfo: memFree=1096176/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=316240 CPUtime=12.68
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 74479 0 0 0 1237 31 0 0 25 0 1 0 177724726 323829760 70362 1992294400 134512640 146736320 4292009536 18446744073709551615 134550802 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 79060 70362 11302 2985 0 59269 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 324940

[startup+25.5017 s]
/proc/loadavg: 1.44 1.18 1.15 2/108 2758
/proc/meminfo: memFree=453608/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=933156 CPUtime=25.47
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 283052 0 0 0 2436 111 0 0 25 0 1 0 177724726 955551744 217590 1992294400 134512640 146736320 4292009536 18446744073709551615 135723958 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 233289 217590 718 2985 0 229831 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 941856

[startup+51.1017 s]
/proc/loadavg: 1.29 1.16 1.15 2/108 2758
/proc/meminfo: memFree=575996/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=956708 CPUtime=51.06
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 457725 0 0 0 4928 178 0 0 25 0 1 0 177724726 979668992 186820 1992294400 134512640 146736320 4292009536 18446744073709551615 135982866 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 239177 186820 922 2985 0 235719 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 965408

[startup+102.309 s]
/proc/loadavg: 1.12 1.13 1.14 2/108 2760
/proc/meminfo: memFree=577360/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=939944 CPUtime=102.26
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 517638 0 0 0 10025 201 0 0 25 0 1 0 177724726 962502656 186575 1992294400 134512640 146736320 4292009536 18446744073709551615 136384890 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 234986 186575 1015 2985 0 231528 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 948644

[startup+162.302 s]
/proc/loadavg: 1.04 1.11 1.12 2/108 2762
/proc/meminfo: memFree=575376/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=941440 CPUtime=162.24
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 522362 0 0 0 16020 204 0 0 25 0 1 0 177724726 964034560 186918 1992294400 134512640 146736320 4292009536 18446744073709551615 136017672 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235360 186918 1015 2985 0 231902 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 950140

[startup+222.302 s]
/proc/loadavg: 1.01 1.08 1.11 2/108 2762
/proc/meminfo: memFree=575252/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=941592 CPUtime=222.22
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 525665 0 0 0 22017 205 0 0 25 0 1 0 177724726 964190208 186978 1992294400 134512640 146736320 4292009536 18446744073709551615 136017763 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235398 186978 1015 2985 0 231940 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 950292

[startup+282.302 s]
/proc/loadavg: 1.00 1.07 1.10 2/108 2764
/proc/meminfo: memFree=575004/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=941828 CPUtime=282.21
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 530170 0 0 0 28014 207 0 0 25 0 1 0 177724726 964431872 187045 1992294400 134512640 146736320 4292009536 18446744073709551615 136389808 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235457 187045 1015 2985 0 231999 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 950528

[startup+342.302 s]
/proc/loadavg: 1.00 1.05 1.09 2/108 2766
/proc/meminfo: memFree=574764/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=942008 CPUtime=342.19
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 534868 0 0 0 34010 209 0 0 25 0 1 0 177724726 964616192 187115 1992294400 134512640 146736320 4292009536 18446744073709551615 139043577 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235502 187115 1015 2985 0 232044 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 950708

[startup+402.302 s]
/proc/loadavg: 1.00 1.04 1.08 2/108 2768
/proc/meminfo: memFree=574516/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=942152 CPUtime=402.18
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 539798 0 0 0 40007 211 0 0 25 0 1 0 177724726 964763648 187173 1992294400 134512640 146736320 4292009536 18446744073709551615 135525914 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235538 187173 1015 2985 0 232080 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 950852

[startup+462.302 s]

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

/proc/2755/statm: 235858 187630 1015 2985 0 232400 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 952132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 2797
/proc/meminfo: memFree=572532/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943476 CPUtime=1181.95
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 605164 0 0 0 117954 241 0 0 25 0 1 0 177724726 966119424 187640 1992294400 134512640 146736320 4292009536 18446744073709551615 136017485 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235869 187640 1015 2985 0 232411 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 952176

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/108 2802
/proc/meminfo: memFree=571912/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943508 CPUtime=1241.93
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 609566 0 0 0 123950 243 0 0 25 0 1 0 177724726 966152192 187651 1992294400 134512640 146736320 4292009536 18446744073709551615 136384752 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235877 187651 1015 2985 0 232419 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 952208

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2804
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943556 CPUtime=1301.92
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 615049 0 0 0 129946 246 0 0 25 0 1 0 177724726 966201344 187664 1992294400 134512640 146736320 4292009536 18446744073709551615 136017481 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235889 187664 1015 2985 0 232431 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 952256

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2806
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943560 CPUtime=1361.9
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 620473 0 0 0 135942 248 0 0 25 0 1 0 177724726 966205440 187672 1992294400 134512640 146736320 4292009536 18446744073709551615 139044564 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235890 187672 1015 2985 0 232432 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 952260

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2806
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943580 CPUtime=1421.89
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 624794 0 0 0 141940 249 0 0 25 0 1 0 177724726 966225920 187675 1992294400 134512640 146736320 4292009536 18446744073709551615 139028328 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235895 187675 1015 2985 0 232437 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 952280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2808
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943652 CPUtime=1481.87
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 630213 0 0 0 147935 252 0 0 25 0 1 0 177724726 966299648 187691 1992294400 134512640 146736320 4292009536 18446744073709551615 136017505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235913 187691 1015 2985 0 232455 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 952352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2810
/proc/meminfo: memFree=571912/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943684 CPUtime=1541.85
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 634512 0 0 0 153931 254 0 0 25 0 1 0 177724726 966332416 187707 1992294400 134512640 146736320 4292009536 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235921 187707 1015 2985 0 232463 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 952384

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2812
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943704 CPUtime=1601.83
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 639894 0 0 0 159927 256 0 0 25 0 1 0 177724726 966352896 187712 1992294400 134512640 146736320 4292009536 18446744073709551615 136017672 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235926 187712 1015 2985 0 232468 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 952404

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2814
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943712 CPUtime=1661.81
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 644183 0 0 0 165924 257 0 0 25 0 1 0 177724726 966361088 187714 1992294400 134512640 146736320 4292009536 18446744073709551615 139044585 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235928 187714 1015 2985 0 232470 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 952412

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2814
/proc/meminfo: memFree=572036/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943744 CPUtime=1721.81
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 649551 0 0 0 171921 260 0 0 25 0 1 0 177724726 966393856 187724 1992294400 134512640 146736320 4292009536 18446744073709551615 136017769 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235936 187724 1015 2985 0 232478 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 952444

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 2816
/proc/meminfo: memFree=571912/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=943748 CPUtime=1781.78
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 653887 0 0 0 177917 261 0 0 25 0 1 0 177724726 966397952 187726 1992294400 134512640 146736320 4292009536 18446744073709551615 139044505 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 235937 187726 1015 2985 0 232479 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 952448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 2816
/proc/meminfo: memFree=648792/2059040 swapFree=4135680/4192956
[pid=2754] ppid=2752 vsize=8700 CPUtime=0
/proc/2754/stat : 2754 (run) S 2752 2754 1862 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 177724726 8908800 248 1992294400 4194304 4922060 140735770603504 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/2754/statm: 2175 248 208 178 0 68 0
[pid=2755] ppid=2754 vsize=837140 CPUtime=1800.09
/proc/2755/stat : 2755 (pb_cplex) R 2754 2754 1862 0 -1 4202496 657313 0 0 0 179745 264 0 0 25 0 1 0 177724726 857231360 168637 1992294400 134512640 146736320 4292009536 18446744073709551615 136765699 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/2755/statm: 209285 168637 1024 2985 0 205827 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 845840

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 2754 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.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1797.45
CPU system time (s): 2.64
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 1007908

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= 364
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 3.36149 second user time and 8.19175 second system time

The end

Launcher Data 

Begin job on node001 at 2010-07-01 23:53:27
IDJOB=2695875
IDBENCH=2950
IDSOLVER=1209
FILE ID=node001/2695875-1278021204
PBS_JOBID= 11198753
Free space on /tmp= 62260 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.10.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695875-1278021204/watcher-2695875-1278021204 -o /tmp/evaluation-result-2695875-1278021204/solver-2695875-1278021204 -C 1800 -W 2000 -M 1800  run HOME/instance-2695875-1278021204.opb

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

MD5SUM BENCH= f304ba5324add428c73c7022630c48ee
RANDOM SEED=1061530317

node001.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.202
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.40
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.202
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1318556 kB
Buffers:        154304 kB
Cached:         466584 kB
SwapCached:      10800 kB
Active:         307552 kB
Inactive:       327568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1318556 kB
SwapTotal:     4192956 kB
SwapFree:      4135680 kB
Dirty:           83452 kB
Writeback:           0 kB
AnonPages:       12468 kB
Mapped:           8380 kB
Slab:            83084 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182852 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= 62244 MiB
End job on node001 at 2010-07-02 00:23:30