Trace number 4114986

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
minisatp 2012-10-02 git-d91742bSAT (TO)6605 1800.11 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-air02.opb
MD5SUM3f00532e02ccc246cb25b1a4f0a837d4
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3905
Best CPU time to get the best result obtained on this benchmark189.275
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3905
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 4804
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 6613094
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 4804
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 6613094
Number of bits of the biggest sum of numbers23
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 Parsing PB file...
0.59/0.67	c Converting 100 PB-constraints to clauses...
0.59/0.67	c   -- Unit propagations: (none)
0.59/0.67	c   -- Detecting intervals from adjacent constraints: ##################################################
0.59/0.68	c   -- Clauses(.)/Splits(s): (none)
0.59/0.68	c ---[  98]---> BDD-cost:   37
0.59/0.68	c ---[  96]---> BDD-cost:    1
0.59/0.68	c ---[  94]---> BDD-cost:  229
0.59/0.69	c ---[  92]---> BDD-cost:    1
0.59/0.69	c ---[  90]---> BDD-cost:  363
0.69/0.70	c ---[  88]---> BDD-cost:    1
0.69/0.70	c ---[  86]---> BDD-cost:  693
0.69/0.73	c ---[  84]---> BDD-cost:  743
0.69/0.76	c ---[  82]---> BDD-cost: 1013
0.79/0.81	c ---[  80]---> BDD-cost: 1141
0.79/0.87	c ---[  78]---> BDD-cost: 1273
0.89/0.95	c ---[  76]---> BDD-cost: 1269
0.99/1.03	c ---[  74]---> BDD-cost: 1447
1.10/1.13	c ---[  72]---> BDD-cost: 1601
1.20/1.26	c ---[  70]---> BDD-cost:    1
1.29/1.38	c ---[  68]---> BDD-cost: 1469
1.39/1.49	c ---[  66]---> BDD-cost:    1
1.49/1.59	c ---[  64]---> BDD-cost: 1549
1.69/1.71	c ---[  62]---> BDD-cost:    1
1.79/1.82	c ---[  60]---> BDD-cost: 2025
1.99/2.02	c ---[  58]---> BDD-cost: 1963
2.09/2.20	c ---[  56]---> BDD-cost:    1
2.30/2.39	c ---[  54]---> BDD-cost: 1755
2.49/2.53	c ---[  52]---> BDD-cost:    1
2.59/2.68	c ---[  50]---> BDD-cost: 2671
2.99/3.02	c ---[  48]---> BDD-cost: 2239
3.19/3.27	c ---[  46]---> BDD-cost: 2717
3.59/3.62	c ---[  44]---> BDD-cost: 2597
3.89/3.94	c ---[  42]---> BDD-cost:    1
4.19/4.26	c ---[  40]---> BDD-cost: 2719
4.59/4.61	c ---[  38]---> BDD-cost: 3387
5.09/5.16	c ---[  36]---> BDD-cost: 2815
5.50/5.53	c ---[  34]---> BDD-cost: 3131
5.99/6.00	c ---[  32]---> BDD-cost: 3331
6.49/6.53	c ---[  30]---> BDD-cost: 3523
7.09/7.12	c ---[  28]---> BDD-cost: 3303
7.59/7.64	c ---[  26]---> BDD-cost:    1
8.09/8.16	c ---[  24]---> BDD-cost: 3607
8.69/8.78	c ---[  22]---> BDD-cost: 3613
9.39/9.40	c ---[  20]---> BDD-cost:    1
9.99/10.02	c ---[  18]---> BDD-cost:    1
10.59/10.64	c ---[  16]---> BDD-cost: 3761
11.29/11.31	c ---[  14]---> BDD-cost: 3929
11.99/12.05	c ---[  12]---> BDD-cost: 4211
12.79/12.89	c ---[  10]---> BDD-cost: 3903
13.58/13.62	c ---[   8]---> BDD-cost: 4471
14.48/14.58	c ---[   6]---> BDD-cost: 4887
15.68/15.72	c ---[   4]---> BDD-cost: 4971
16.88/16.90	c ---[   2]---> BDD-cost: 4987
17.98/18.09	c ---[   0]---> BDD-cost: 7419
20.89/20.98	|  Eliminated clauses:           0.00 Mb                                      |
20.89/20.98	============================[ Search Statistics ]==============================
20.89/20.98	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.89/20.98	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.89/20.98	===============================================================================
20.89/20.98	===============================================================================
20.89/20.98	c Found solution: 24454
21.00/21.02	c ---[   0]---> Adder-cost: 61120   maxlim: 6588640   bits: 23/23
62.08/62.10	|  Eliminated clauses:           0.00 Mb                                      |
62.08/62.10	============================[ Search Statistics ]==============================
62.08/62.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
62.08/62.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
62.08/62.10	===============================================================================
62.08/62.10	|       102 |  167909   675362  2165589 |   247632      102   2073 |  0.387 % |
62.08/62.10	|       252 |  167909   675362  2165589 |   272396      252   1732 |  0.387 % |
62.08/62.10	|       477 |  167909   675362  2165589 |   299635      477   2009 |  0.387 % |
62.08/62.10	|       814 |  167909   675362  2165589 |   329599      814   1919 |  0.387 % |
62.08/62.10	|      1320 |  167909   675362  2165589 |   362559     1320   1905 |  0.387 % |
62.08/62.10	===============================================================================
62.08/62.10	c Found solution: 16615
62.08/62.14	c ---[   0]---> Adder-cost: 0   maxlim: 6596479   bits: 23/23
135.57/135.67	|  Eliminated clauses:           0.00 Mb                                      |
135.57/135.67	============================[ Search Statistics ]==============================
135.57/135.67	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
135.57/135.67	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
135.57/135.67	===============================================================================
135.57/135.67	|      1539 |  167900   675334  2165422 |   247622     1539   1930 |  0.390 % |
135.57/135.67	|      1689 |  167900   675334  2165422 |   272384     1689   1865 |  0.390 % |
135.57/135.67	|      1914 |  167900   675334  2165422 |   299623     1914   1682 |  0.390 % |
135.57/135.67	|      2251 |  167900   675334  2165422 |   329585     2251   1602 |  0.390 % |
135.57/135.67	|      2757 |  167900   675334  2165422 |   362544     2757   1783 |  0.390 % |
135.57/135.67	|      3516 |  167900   675334  2165422 |   398798     3516   1818 |  0.390 % |
135.57/135.67	|      4655 |  167900   675334  2165422 |   438678     4655   2041 |  0.390 % |
135.57/135.67	|      6363 |  167900   675334  2165422 |   482546     6363   1920 |  0.390 % |
135.57/135.67	|      8925 |  167900   675334  2165422 |   530800     8925   1858 |  0.390 % |
135.57/135.67	===============================================================================
135.57/135.67	c Found solution: 15901
135.67/135.71	c ---[   0]---> Adder-cost: 0   maxlim: 6597193   bits: 23/23
183.36/183.48	|  Eliminated clauses:           0.00 Mb                                      |
183.36/183.48	============================[ Search Statistics ]==============================
183.36/183.48	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.36/183.48	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
183.36/183.48	===============================================================================
183.36/183.48	|     10987 |  167905   675342  2165493 |   247625    10982   1895 |  0.395 % |
183.36/183.48	|     11137 |  167905   675342  2165493 |   272387    11132   1897 |  0.395 % |
183.36/183.48	|     11362 |  167905   675342  2165493 |   299626    11357   1881 |  0.395 % |
183.36/183.48	|     11699 |  167905   675342  2165493 |   329589    11694   1855 |  0.395 % |
183.36/183.48	|     12205 |  167905   675342  2165493 |   362548    12190   1834 |  0.395 % |
183.36/183.48	|     12964 |  167904   675342  2165493 |   398803    12948   1781 |  0.395 % |
183.36/183.48	===============================================================================
183.36/183.48	c Found solution: 15808
183.46/183.52	c ---[   0]---> Adder-cost: 0   maxlim: 6597286   bits: 23/23
223.15/223.30	|  Eliminated clauses:           0.00 Mb                                      |
223.15/223.30	============================[ Search Statistics ]==============================
223.15/223.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
223.15/223.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
223.15/223.30	===============================================================================
223.15/223.30	|     13557 |  167908   675351  2165594 |   247628    13539   1793 |  0.398 % |
223.15/223.30	|     13707 |  167908   675351  2165594 |   272391    13689   1794 |  0.398 % |
223.15/223.30	|     13932 |  167908   675351  2165594 |   299630    13914   1777 |  0.398 % |
223.15/223.30	|     14269 |  167908   675351  2165594 |   329593    14251   1800 |  0.398 % |
223.15/223.30	===============================================================================
223.15/223.30	c Found solution: 14568
223.26/223.35	c ---[   0]---> Adder-cost: 0   maxlim: 6598526   bits: 23/23
423.02/423.16	|  Eliminated clauses:           0.01 Mb                                      |
423.02/423.16	============================[ Search Statistics ]==============================
423.02/423.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
423.02/423.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
423.02/423.16	===============================================================================
423.02/423.16	|     14757 |  167897   675319  2165469 |   247616    14739   1822 |  0.404 % |
423.02/423.16	|     14907 |  167897   675319  2165469 |   272378    14889   1826 |  0.404 % |
423.02/423.16	|     15132 |  167897   675319  2165469 |   299616    15114   1821 |  0.404 % |
423.02/423.16	|     15469 |  167897   675319  2165469 |   329578    15451   1834 |  0.404 % |
423.02/423.16	|     15975 |  167897   675319  2165469 |   362536    15957   1823 |  0.404 % |
423.02/423.16	|     16734 |  167897   675319  2165469 |   398789    16716   1874 |  0.404 % |
423.02/423.16	|     17873 |  167897   675319  2165469 |   438668    17855   1910 |  0.404 % |
423.02/423.16	|     19581 |  167897   675319  2165469 |   482535    19563   1935 |  0.404 % |
423.02/423.16	|     22143 |  167897   675319  2165469 |   530788    22125   2099 |  0.404 % |
423.02/423.16	|     25987 |  167897   675319  2165469 |   583867    25969   2078 |  0.404 % |
423.02/423.16	|     31753 |  167897   675319  2165469 |   642254    31735   2034 |  0.404 % |
423.02/423.16	|     40402 |  167897   675319  2165469 |   706480    40384   2066 |  0.404 % |
423.02/423.16	===============================================================================
423.02/423.16	c Found solution: 13953
423.12/423.21	c ---[   0]---> Adder-cost: 0   maxlim: 6599141   bits: 23/23
1086.49/1086.76	|  Eliminated clauses:           0.01 Mb                                      |
1086.49/1086.76	============================[ Search Statistics ]==============================
1086.49/1086.76	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1086.49/1086.76	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1086.49/1086.76	===============================================================================
1086.49/1086.76	|     47544 |  167896   675286  2165301 |   247604    47488   1979 |  0.411 % |
1086.49/1086.76	|     47694 |  167896   675286  2165301 |   272365    47638   1981 |  0.411 % |
1086.49/1086.76	|     47919 |  167896   675286  2165301 |   299601    47863   1983 |  0.411 % |
1086.49/1086.76	|     48256 |  167896   675286  2165301 |   329562    48200   1979 |  0.411 % |
1086.49/1086.76	|     48762 |  167896   675286  2165301 |   362518    48706   1964 |  0.411 % |
1086.49/1086.76	|     49521 |  167896   675286  2165301 |   398770    49465   1968 |  0.411 % |
1086.49/1086.76	|     50660 |  167896   675286  2165301 |   438647    50604   1973 |  0.411 % |
1086.49/1086.76	|     52368 |  167896   675286  2165301 |   482511    52312   1959 |  0.411 % |
1086.49/1086.76	|     54930 |  167896   675286  2165301 |   530763    54874   1958 |  0.411 % |
1086.49/1086.76	|     58774 |  167883   675286  2165301 |   583839    58711   1975 |  0.418 % |
1086.49/1086.76	|     64540 |  167843   675286  2165301 |   642223    64473   1959 |  0.442 % |
1086.49/1086.76	|     73189 |  167843   675286  2165301 |   706445    73122   1968 |  0.442 % |
1086.49/1086.76	|     86163 |  167825   675286  2165301 |   777090    86052   1947 |  0.453 % |
1086.49/1086.76	|    105624 |  167825   675286  2165301 |   854799   105513   1897 |  0.453 % |
1086.49/1086.76	|    134816 |  167703   675286  2165301 |   940279   134445   1918 |  0.525 % |
1086.49/1086.76	===============================================================================
1086.49/1086.76	c Found solution: 13544
1086.60/1086.81	c ---[   0]---> Adder-cost: 0   maxlim: 6599550   bits: 23/23
1451.03/1451.33	|  Eliminated clauses:           0.01 Mb                                      |
1451.03/1451.33	============================[ Search Statistics ]==============================
1451.03/1451.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1451.03/1451.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1451.03/1451.33	===============================================================================
1451.03/1451.33	|    173433 |  167695   673908  2159846 |   247099   173062   1933 |  0.530 % |
1451.03/1451.33	|    173583 |  167695   673908  2159846 |   271809   173212   1933 |  0.530 % |
1451.03/1451.33	|    173808 |  167695   673908  2159846 |   298990   173437   1932 |  0.530 % |
1451.03/1451.33	|    174145 |  167694   673908  2159846 |   328889   173773   1931 |  0.531 % |
1451.03/1451.33	|    174651 |  167694   673908  2159846 |   361778   174279   1928 |  0.531 % |
1451.03/1451.33	|    175410 |  167694   673908  2159846 |   397956   175038   1928 |  0.531 % |
1451.03/1451.33	|    176549 |  167694   673908  2159846 |   437752   176177   1934 |  0.531 % |
1451.03/1451.33	|    178257 |  167694   673908  2159846 |   481527   177885   1934 |  0.531 % |
1451.03/1451.33	|    180819 |  167694   673908  2159846 |   529679   180447   1916 |  0.531 % |
1451.03/1451.33	|    184663 |  167694   673908  2159846 |   582647   184291   1916 |  0.531 % |
1451.03/1451.33	|    190429 |  167694   673908  2159846 |   640912   190057   1910 |  0.531 % |
1451.03/1451.33	|    199078 |  167693   673908  2159846 |   705003   198700   1888 |  0.531 % |
1451.03/1451.33	|    212052 |  167693   673908  2159846 |   775504   211674   1914 |  0.531 % |
1451.03/1451.33	===============================================================================
1451.03/1451.33	c Found solution: 11983
1451.03/1451.38	c ---[   0]---> Adder-cost: 0   maxlim: 6601111   bits: 23/23
1612.12/1612.49	|  Eliminated clauses:           0.01 Mb                                      |
1612.12/1612.49	============================[ Search Statistics ]==============================
1612.12/1612.49	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1612.12/1612.49	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1612.12/1612.49	===============================================================================
1612.12/1612.49	|    222602 |  167695   673855  2159528 |   247080   222224   1933 |  0.534 % |
1612.12/1612.49	|    222752 |  167695   673855  2159528 |   271788   222374   1934 |  0.534 % |
1612.12/1612.49	|    222977 |  167695   673855  2159528 |   298967   222599   1934 |  0.534 % |
1612.12/1612.49	|    223314 |  167695   673855  2159528 |   328863   222936   1934 |  0.534 % |
1612.12/1612.49	|    223820 |  167695   673855  2159528 |   361750   223442   1932 |  0.534 % |
1612.12/1612.49	|    224579 |  167695   673855  2159528 |   397925   224201   1930 |  0.534 % |
1612.12/1612.49	|    225718 |  167695   673855  2159528 |   437717   225340   1923 |  0.534 % |
1612.12/1612.49	|    227426 |  167695   673855  2159528 |   481489   227048   1923 |  0.534 % |
1612.12/1612.49	|    229988 |  167693   673855  2159528 |   529638   229608   1919 |  0.536 % |
1612.12/1612.49	|    233832 |  167692   673855  2159528 |   582602   233451   1912 |  0.536 % |
1612.12/1612.49	|    239598 |  167692   673855  2159528 |   640862   239217   1901 |  0.536 % |
1612.12/1612.49	===============================================================================
1612.12/1612.49	c Found solution: 9341
1612.22/1612.53	c ---[   0]---> Adder-cost: 0   maxlim: 6603753   bits: 23/23
1705.10/1705.47	|  Eliminated clauses:           0.01 Mb                                      |
1705.10/1705.47	============================[ Search Statistics ]==============================
1705.10/1705.47	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1705.10/1705.47	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1705.10/1705.47	===============================================================================
1705.10/1705.47	|    244177 |  167288   670932  2147773 |   246008    30540    757 |  0.779 % |
1705.10/1705.47	|    244327 |  167288   670932  2147773 |   270609    30690    770 |  0.779 % |
1705.10/1705.47	|    244552 |  167288   670932  2147773 |   297670    30915    780 |  0.779 % |
1705.10/1705.47	|    244889 |  167288   670932  2147773 |   327437    31252    777 |  0.779 % |
1705.10/1705.47	|    245395 |  167287   670932  2147773 |   360180    31757    797 |  0.780 % |
1705.10/1705.47	|    246154 |  167287   670932  2147773 |   396198    32516    839 |  0.780 % |
1705.10/1705.47	|    247293 |  167287   670932  2147773 |   435818    33655    909 |  0.780 % |
1705.10/1705.47	|    249001 |  167287   670932  2147773 |   479400    35363    946 |  0.780 % |
1705.10/1705.47	|    251563 |  167287   670932  2147773 |   527340    36894    962 |  0.780 % |
1705.10/1705.47	===============================================================================
1705.10/1705.47	c Found solution: 6745
1705.20/1705.52	c ---[   0]---> Adder-cost: 0   maxlim: 6606349   bits: 23/23
1745.80/1746.15	|  Eliminated clauses:           0.01 Mb                                      |
1745.80/1746.15	============================[ Search Statistics ]==============================
1745.80/1746.15	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1745.80/1746.15	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1745.80/1746.15	===============================================================================
1745.80/1746.15	|    255156 |  167288   670910  2147685 |   246000    40487   1110 |  0.783 % |
1745.80/1746.15	|    255306 |  167288   670910  2147685 |   270600    40637   1117 |  0.783 % |
1745.80/1746.15	|    255531 |  167288   670910  2147685 |   297660    40862   1130 |  0.783 % |
1745.80/1746.15	|    255868 |  167288   670910  2147685 |   327426    41199   1147 |  0.783 % |
1745.80/1746.15	===============================================================================
1745.80/1746.15	c Found solution: 6677
1745.90/1746.20	c ---[   0]---> Adder-cost: 0   maxlim: 6606417   bits: 23/23
1786.69/1787.01	|  Eliminated clauses:           0.01 Mb                                      |
1786.69/1787.01	============================[ Search Statistics ]==============================
1786.69/1787.01	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1786.69/1787.01	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1786.69/1787.01	===============================================================================
1786.69/1787.01	|    256294 |  167293   670948  2147930 |   246014    41625   1158 |  0.785 % |
1786.69/1787.01	|    256444 |  167293   670948  2147930 |   270615    41775   1165 |  0.785 % |
1786.69/1787.01	|    256669 |  167293   670948  2147930 |   297677    42000   1175 |  0.785 % |
1786.69/1787.01	|    257006 |  167293   670948  2147930 |   327444    42337   1175 |  0.785 % |
1786.69/1787.01	===============================================================================
1786.69/1787.01	c Found solution: 6605
1786.69/1787.05	c ---[   0]---> 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774

Verifier Data 

OK	6605

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4114986-1466517461/watcher-4114986-1466517461 -o /tmp/evaluation-result-4114986-1466517461/solver-4114986-1466517461 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7444 --watchdog 1960 minisatp HOME/instance-4114986-1466517461.opb 

pid=8877
running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.07 2.15 3/176 8880
/proc/meminfo: memFree=30333224/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=7764 CPUtime=0 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 582 0 0 0 0 0 0 0 20 0 1 0 53796293 7950336 458 33554432000 4194304 5646918 140735571340960 140735783853608 4893511 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 1941 469 84 355 0 1582 0

[startup+0.10015 s]
/proc/loadavg: 2.01 2.07 2.15 3/176 8880
/proc/meminfo: memFree=30333224/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=11236 CPUtime=0.09 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 1476 0 0 0 9 0 0 0 20 0 1 0 53796293 11505664 1352 33554432000 4194304 5646918 140735571340960 140735783853608 4817591 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 2809 1352 94 355 0 2450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11236

[startup+0.200298 s]
/proc/loadavg: 2.01 2.07 2.15 3/176 8880
/proc/meminfo: memFree=30333224/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=14512 CPUtime=0.19 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 2304 0 0 0 19 0 0 0 20 0 1 0 53796293 14860288 2180 33554432000 4194304 5646918 140735571340960 140735783853608 4459844 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 3628 2180 94 355 0 3269 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14512

[startup+0.300272 s]
/proc/loadavg: 2.01 2.07 2.15 3/176 8880
/proc/meminfo: memFree=30333224/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=17464 CPUtime=0.29 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 3176 0 0 0 29 0 0 0 20 0 1 0 53796293 17883136 2921 33554432000 4194304 5646918 140735571340960 140735783853608 4953072 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 4366 2921 94 355 0 4007 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17464

[startup+0.700276 s]
/proc/loadavg: 2.01 2.07 2.15 3/176 8880
/proc/meminfo: memFree=30333224/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=27968 CPUtime=0.69 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 7945 0 0 0 68 1 0 0 20 0 1 0 53796293 28639232 5427 33554432000 4194304 5646918 140735571340960 140735783853608 4823276 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 6992 5427 112 355 0 6633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27968

[startup+1.50023 s]
/proc/loadavg: 2.01 2.07 2.15 3/177 8881
/proc/meminfo: memFree=30310812/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=29048 CPUtime=1.49 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 8191 0 0 0 148 1 0 0 20 0 1 0 53796293 29745152 5673 33554432000 4194304 5646918 140735571340960 140735571339624 4831200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 7262 5673 112 355 0 6903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29048

[startup+3.10022 s]
/proc/loadavg: 2.01 2.07 2.15 3/177 8881
/proc/meminfo: memFree=30309316/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=30044 CPUtime=3.09 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 8550 0 0 0 308 1 0 0 20 0 1 0 53796293 30765056 5949 33554432000 4194304 5646918 140735571340960 140735571339624 4817383 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 7511 5949 112 355 0 7152 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30044

[startup+6.30024 s]
/proc/loadavg: 2.01 2.06 2.14 3/177 8881
/proc/meminfo: memFree=30307216/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=31852 CPUtime=6.29 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 9119 0 0 0 628 1 0 0 20 0 1 0 53796293 32616448 6353 33554432000 4194304 5646918 140735571340960 140735571339624 4459767 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 7963 6353 112 355 0 7604 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31852

[startup+12.7002 s]
/proc/loadavg: 2.01 2.06 2.14 3/177 8881
/proc/meminfo: memFree=30304456/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=33240 CPUtime=12.69 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 9436 0 0 0 1268 1 0 0 20 0 1 0 53796293 34037760 6670 33554432000 4194304 5646918 140735571340960 140735571339624 4831200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 8310 6670 112 355 0 7951 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33240

[startup+25.5003 s]
/proc/loadavg: 2.08 2.08 2.15 3/177 8881
/proc/meminfo: memFree=30251960/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=83880 CPUtime=25.49 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 23185 0 0 0 2545 4 0 0 20 0 1 0 53796293 85893120 19341 33554432000 4194304 5646918 140735571340960 140735571339720 4831393 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 20970 19341 138 355 0 20611 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83880

[startup+51.1003 s]
/proc/loadavg: 2.12 2.08 2.15 3/177 8881
/proc/meminfo: memFree=30199988/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=83880 CPUtime=51.08 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 23185 0 0 0 5104 4 0 0 20 0 1 0 53796293 85893120 19341 33554432000 4194304 5646918 140735571340960 140735571339720 4461012 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 20970 19341 138 355 0 20611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83880

[startup+102.3 s]
/proc/loadavg: 2.05 2.07 2.14 3/177 8882
/proc/meminfo: memFree=30017344/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=288056 CPUtime=102.28 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 51771 0 0 0 10220 8 0 0 20 0 1 0 53796293 294969344 64981 33554432000 4194304 5646918 140735571340960 140735571339656 4397514 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 72014 64981 183 355 0 71655 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 288056

[startup+162.3 s]
/proc/loadavg: 2.19 2.10 2.14 3/178 8886
/proc/meminfo: memFree=29952412/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=373064 CPUtime=162.26 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 61809 0 0 0 16215 11 0 0 20 0 1 0 53796293 382017536 80884 33554432000 4194304 5646918 140735571340960 140735571339464 4831339 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 93266 80884 184 355 0 92907 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 373064

[startup+222.307 s]
/proc/loadavg: 2.22 2.12 2.15 3/178 8910
/proc/meminfo: memFree=29932008/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=372548 CPUtime=222.26 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 69191 0 0 0 22213 13 0 0 20 0 1 0 53796293 381489152 85366 33554432000 4194304 5646918 140735571340960 140735571339272 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 93137 85366 185 355 0 92778 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 372548

[startup+282.3 s]
/proc/loadavg: 2.18 2.13 2.14 3/177 8912
/proc/meminfo: memFree=29887156/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=453936 CPUtime=282.25 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 69751 0 0 0 28211 14 0 0 20 0 1 0 53796293 464830464 97168 33554432000 4194304 5646918 140735571340960 140735571339656 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 113484 97168 186 355 0 113125 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 453936

[startup+342.3 s]
/proc/loadavg: 2.20 2.15 2.15 3/177 8913
/proc/meminfo: memFree=29775940/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=586196 CPUtime=342.24 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 70316 0 0 0 34208 16 0 0 20 0 1 0 53796293 600264704 124816 33554432000 4194304 5646918 140735571340960 140735571339656 4402696 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 146549 124816 186 355 0 146190 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 586196

[startup+402.3 s]
/proc/loadavg: 2.16 2.15 2.15 3/177 8914
/proc/meminfo: memFree=29686824/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=801120 CPUtime=402.23 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 70869 0 0 0 40206 17 0 0 20 0 1 0 53796293 820346880 146320 33554432000 4194304 5646918 140735571340960 140735571339656 4398960 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 200280 146320 186 355 0 199921 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 801120

[startup+462.3 s]
/proc/loadavg: 2.06 2.12 2.14 3/177 8915
/proc/meminfo: memFree=29626912/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=826680 CPUtime=462.22 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 76247 0 0 0 46204 18 0 0 20 0 1 0 53796293 846520320 160385 33554432000 4194304 5646918 140735571340960 140735571339272 4404198 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 206670 160385 187 355 0 206311 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 826680

[startup+522.3 s]
/proc/loadavg: 2.02 2.09 2.12 3/177 8916
/proc/meminfo: memFree=29530356/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=826680 CPUtime=522.21 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 76293 0 0 0 52202 19 0 0 20 0 1 0 53796293 846520320 183937 33554432000 4194304 5646918 140735571340960 140735571339272 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 206670 183937 187 355 0 206311 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 826680

[startup+582.3 s]
/proc/loadavg: 2.09 2.09 2.12 3/177 8918
/proc/meminfo: memFree=29447932/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1175928 CPUtime=582.2 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 76844 0 0 0 58199 21 0 0 20 0 1 0 53796293 1204150272 204417 33554432000 4194304 5646918 140735571340960 140735571339656 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 293982 204417 187 355 0 293623 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1175928


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


[startup+882.307 s]
/proc/loadavg: 2.04 2.08 2.09 3/176 8926
/proc/meminfo: memFree=29015348/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1743456 CPUtime=882.17 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 77566 0 0 0 88189 28 0 0 20 0 1 0 53796293 1785298944 312449 33554432000 4194304 5646918 140735571340960 140735571339656 4398960 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 435864 312449 187 355 0 435505 0
Current children cumulated CPU time (s) 882.17
Current children cumulated vsize (KiB) 1743456

[startup+942.3 s]
/proc/loadavg: 2.10 2.09 2.09 3/177 8928
/proc/meminfo: memFree=28922812/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1743456 CPUtime=942.14 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 77639 0 0 0 94185 29 0 0 20 0 1 0 53796293 1785298944 336005 33554432000 4194304 5646918 140735571340960 140735571339656 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 435864 336005 187 355 0 435505 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1743456

[startup+1002.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/177 8929
/proc/meminfo: memFree=28807804/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1743456 CPUtime=1002.11 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 77721 0 0 0 100181 30 0 0 20 0 1 0 53796293 1785298944 364666 33554432000 4194304 5646918 140735571340960 140735571339656 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 435864 364666 187 355 0 435505 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1743456

[startup+1062.3 s]
/proc/loadavg: 2.09 2.09 2.09 3/177 8930
/proc/meminfo: memFree=28724788/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1743456 CPUtime=1062.1 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 77766 0 0 0 106179 31 0 0 20 0 1 0 53796293 1785298944 385252 33554432000 4194304 5646918 140735571340960 140735571339656 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 435864 385252 187 355 0 435505 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1743456

[startup+1122.3 s]
/proc/loadavg: 2.03 2.07 2.08 3/177 8931
/proc/meminfo: memFree=28674780/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1754540 CPUtime=1122.09 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80033 0 0 0 112178 31 0 0 20 0 1 0 53796293 1796648960 397227 33554432000 4194304 5646918 140735571340960 140735570709384 4328137 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 438635 397227 187 355 0 438276 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1754540

[startup+1182.3 s]
/proc/loadavg: 2.04 2.07 2.08 3/177 8932
/proc/meminfo: memFree=28598244/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1754540 CPUtime=1182.07 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80071 0 0 0 118175 32 0 0 20 0 1 0 53796293 1796648960 416683 33554432000 4194304 5646918 140735571340960 140735571339272 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 438635 416683 187 355 0 438276 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1754540

[startup+1242.3 s]
/proc/loadavg: 2.01 2.06 2.08 4/177 8934
/proc/meminfo: memFree=28524024/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=1754540 CPUtime=1242.07 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80106 0 0 0 124173 34 0 0 20 0 1 0 53796293 1796648960 434603 33554432000 4194304 5646918 140735571340960 140735571339272 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 438635 434603 187 355 0 438276 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1754540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/177 8935
/proc/meminfo: memFree=28445716/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2676776 CPUtime=1302.06 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80655 0 0 0 130171 35 0 0 20 0 1 0 53796293 2741018624 454059 33554432000 4194304 5646918 140735571340960 140735571339656 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 669194 454059 187 355 0 668835 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2676776

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.07 3/178 8939
/proc/meminfo: memFree=28380404/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2676776 CPUtime=1362.05 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80686 0 0 0 136169 36 0 0 20 0 1 0 53796293 2741018624 469931 33554432000 4194304 5646918 140735571340960 140735571339656 4402844 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 669194 469931 187 355 0 668835 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2676776

[startup+1422.3 s]
/proc/loadavg: 2.13 2.07 2.08 3/177 8940
/proc/meminfo: memFree=28328524/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2676776 CPUtime=1422.05 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 80711 0 0 0 142168 37 0 0 20 0 1 0 53796293 2741018624 482731 33554432000 4194304 5646918 140735571340960 140735571339656 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 669194 482731 187 355 0 668835 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2676776

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/177 8941
/proc/meminfo: memFree=28280036/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2696112 CPUtime=1482.03 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 84528 0 0 0 148165 38 0 0 20 0 1 0 53796293 2760818688 494724 33554432000 4194304 5646918 140735571340960 140735568644984 4831277 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 674028 494724 187 355 0 673669 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2696112

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.06 3/177 8943
/proc/meminfo: memFree=28230600/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2696112 CPUtime=1542.03 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 84552 0 0 0 154164 39 0 0 20 0 1 0 53796293 2760818688 507012 33554432000 4194304 5646918 140735571340960 140735571339272 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 674028 507012 187 355 0 673669 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 2696112

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/177 8944
/proc/meminfo: memFree=28166668/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=2696112 CPUtime=1602.02 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 84584 0 0 0 160162 40 0 0 20 0 1 0 53796293 2760818688 523396 33554432000 4194304 5646918 140735571340960 140735571339272 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 674028 523396 187 355 0 673669 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 2696112

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/177 8945
/proc/meminfo: memFree=29863688/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=413104 CPUtime=1662 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 89489 0 0 0 166157 43 0 0 20 0 1 0 53796293 423018496 99853 33554432000 4194304 5646918 140735571340960 140735571339672 4397545 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 103276 99853 190 355 0 102917 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 413104

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/177 8946
/proc/meminfo: memFree=29788112/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=503488 CPUtime=1721.99 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 91925 0 0 0 172153 46 0 0 20 0 1 0 53796293 515571712 118130 33554432000 4194304 5646918 140735571340960 140735570273384 4831305 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 125872 118130 190 355 0 125513 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 503488

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/177 9059
/proc/meminfo: memFree=30925800/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=506524 CPUtime=1781.99 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 92693 0 0 0 178152 47 0 0 20 0 1 0 53796293 518680576 122475 33554432000 4194304 5646918 140735571340960 140735570146184 4325691 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 126631 122475 190 355 0 126272 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 506524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.05 3/177 9060
/proc/meminfo: memFree=30898324/32872528 swapFree=527360/560064
[pid=8880] ppid=8877 vsize=655824 CPUtime=1800.08 cores=0,2,4,6
/proc/8880/stat : 8880 (minisatp) R 8877 8880 7428 0 -1 4202496 96921 0 0 0 179960 48 0 0 20 0 1 0 53796293 671563776 129258 33554432000 4194304 5646918 140735571340960 140735569670184 4476896 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/8880/statm: 163956 129258 190 355 0 163597 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 655824

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8880 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.11
CPU user time (s): 1799.61
CPU system time (s): 0.503923
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 2810916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.503923
maximum resident set size= 2192960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96921
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= 61
involuntary context switches= 1882

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66529 second user time and 6.83296 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-21 15:57:42
IDJOB=4114986
IDBENCH=1510
IDSOLVER=2555
FILE ID=node106/4114986-1466517461
RUNJOBID= node106-1466515278-7444
PBS_JOBID= 19942889
Free space on /tmp= 71692 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air02.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114986-1466517461/watcher-4114986-1466517461 -o /tmp/evaluation-result-4114986-1466517461/solver-4114986-1466517461 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466515278-7444 --watchdog 1960  minisatp HOME/instance-4114986-1466517461.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3f00532e02ccc246cb25b1a4f0a837d4
RANDOM SEED=150287119

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30333644 kB
Buffers:            3576 kB
Cached:            35360 kB
SwapCached:         1644 kB
Active:          1253868 kB
Inactive:          16936 kB
Active(anon):    1231740 kB
Inactive(anon):     2356 kB
Active(file):      22128 kB
Inactive(file):    14580 kB
Unevictable:      560064 kB
Mlocked:          527360 kB
SwapTotal:      67108856 kB
SwapFree:       67095856 kB
Dirty:              4268 kB
Writeback:             0 kB
AnonPages:       1791636 kB
Mapped:             6612 kB
Shmem:                 0 kB
Slab:             575008 kB
SReclaimable:      18556 kB
SUnreclaim:       556452 kB
KernelStack:        1408 kB
PageTables:         7824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2005420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4114986-1466517461.opb

Free space on /tmp at the end= 71688 MiB
End job on node106 at 2016-06-21 16:27:42