Trace number 4112768

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)26 1800.01 1800.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM0b594d74f3df9901bfa97fac996b1847
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.166973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
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.19/0.27	c Converting 22674 PB-constraints to clauses...
0.19/0.27	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.19/0.27	c   -- Detecting intervals from adjacent constraints: #########
0.19/0.27	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.19/0.30	c ---[21190]---> BDD-cost:    1
0.19/0.30	c ---[20472]---> BDD-cost:    1
0.19/0.30	c ---[19928]---> BDD-cost:    1
0.19/0.30	c ---[19523]---> BDD-cost:    1
0.19/0.30	c ---[19371]---> BDD-cost:    1
0.19/0.30	c ---[19327]---> BDD-cost:    1
0.19/0.30	c ---[19310]---> BDD-cost:    1
0.19/0.30	c ---[19307]---> BDD-cost:    1
0.19/0.30	c ---[19305]---> BDD-cost:    1
0.29/0.31	|  Eliminated clauses:           0.11 Mb                                      |
0.29/0.31	============================[ Search Statistics ]==============================
0.29/0.31	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.31	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.29/0.31	===============================================================================
0.29/0.31	===============================================================================
0.29/0.31	c Found solution: 32
0.29/0.33	c ---[   0]---> Adder-cost: 6020   maxlim: 2984   bits: 12/12
11.39/11.42	|  Eliminated clauses:           0.11 Mb                                      |
11.39/11.42	============================[ Search Statistics ]==============================
11.39/11.42	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.39/11.42	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
11.39/11.42	===============================================================================
11.39/11.42	|       109 |    9683    50154   169384 |    18389      109      4 |  9.412 % |
11.39/11.42	|       259 |    9630    50154   169384 |    20228      257      4 |  9.806 % |
11.39/11.42	|       484 |    9626    50154   169384 |    22251      480      4 |  9.835 % |
11.39/11.42	|       821 |    9626    50154   169384 |    24476      817      4 |  9.835 % |
11.39/11.42	|      1327 |    9626    50154   169384 |    26924     1322      5 |  9.835 % |
11.39/11.42	|      2086 |    9626    50154   169384 |    29616     2081      7 |  9.835 % |
11.39/11.42	|      3225 |    9626    50154   169384 |    32578     3220     21 |  9.835 % |
11.39/11.42	|      4933 |    9626    50154   169384 |    35836     4928     27 |  9.835 % |
11.39/11.42	|      7495 |    9626    50154   169384 |    39420     7490     35 |  9.835 % |
11.39/11.42	|     11339 |    9626    50154   169384 |    43362    11334     48 |  9.835 % |
11.39/11.42	|     17105 |    9626    50154   169384 |    47698    17100     65 |  9.835 % |
11.39/11.42	|     25754 |    9626    50154   169384 |    52468    25749     77 |  9.835 % |
11.39/11.42	|     38728 |    9626    50154   169384 |    57715    38723     91 |  9.835 % |
11.39/11.42	|     58189 |    9626    50154   169384 |    63486    58184    103 |  9.835 % |
11.39/11.42	===============================================================================
11.39/11.42	c Found solution: 30
11.39/11.44	c ---[   0]---> Adder-cost: 0   maxlim: 2986   bits: 12/12
28.08/28.14	|  Eliminated clauses:           0.11 Mb                                      |
28.08/28.14	============================[ Search Statistics ]==============================
28.08/28.14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.08/28.14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
28.08/28.14	===============================================================================
28.08/28.14	|     59833 |    9625    49757   167814 |    18244     9409     48 |  9.846 % |
28.08/28.14	|     59983 |    9625    49757   167814 |    20068     9559     49 |  9.846 % |
28.08/28.14	|     60208 |    9625    49757   167814 |    22075     9784     50 |  9.846 % |
28.08/28.14	|     60545 |    9625    49757   167814 |    24283    10121     51 |  9.846 % |
28.08/28.14	|     61051 |    9625    49757   167814 |    26711    10627     54 |  9.846 % |
28.08/28.14	|     61810 |    9625    49757   167814 |    29382    11386     55 |  9.846 % |
28.08/28.14	|     62949 |    9625    49757   167814 |    32320    12525     62 |  9.846 % |
28.08/28.14	|     64657 |    9625    49757   167814 |    35552    14233     63 |  9.846 % |
28.08/28.14	|     67219 |    9625    49757   167814 |    39108    16795     70 |  9.846 % |
28.08/28.14	|     71063 |    9625    49757   167814 |    43018    20639     76 |  9.846 % |
28.08/28.14	|     76829 |    9625    49757   167814 |    47320    26405     84 |  9.846 % |
28.08/28.14	|     85478 |    9625    49757   167814 |    52052    35054     92 |  9.846 % |
28.08/28.14	|     98452 |    9625    49757   167814 |    57258    48028     98 |  9.846 % |
28.08/28.14	|    117913 |    9625    49757   167814 |    62984    26945     89 |  9.846 % |
28.08/28.14	|    147105 |    9625    49757   167814 |    69282    56137    100 |  9.846 % |
28.08/28.14	===============================================================================
28.08/28.14	c Found solution: 29
28.08/28.16	c ---[   0]---> Adder-cost: 0   maxlim: 2987   bits: 12/12
308.24/308.33	|  Eliminated clauses:           0.11 Mb                                      |
308.24/308.33	============================[ Search Statistics ]==============================
308.24/308.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
308.24/308.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
308.24/308.33	===============================================================================
308.24/308.33	|    152752 |    9624    49753   167786 |    18242    17666     86 |  9.852 % |
308.24/308.33	|    152902 |    9624    49753   167786 |    20067    17816     86 |  9.852 % |
308.24/308.33	|    153127 |    9624    49753   167786 |    22073    18041     86 |  9.852 % |
308.24/308.33	|    153464 |    9624    49753   167786 |    24281    18378     86 |  9.852 % |
308.24/308.33	|    153970 |    9624    49753   167786 |    26709    18884     87 |  9.852 % |
308.24/308.33	|    154729 |    9624    49753   167786 |    29380    19643     88 |  9.852 % |
308.24/308.33	|    155868 |    9624    49753   167786 |    32318    20782     88 |  9.852 % |
308.24/308.33	|    157576 |    9616    49753   167786 |    35549    22488     88 |  9.911 % |
308.24/308.33	|    160138 |    9616    49753   167786 |    39104    25050     91 |  9.911 % |
308.24/308.33	|    163982 |    9603    49753   167786 |    43015    28893     95 | 10.007 % |
308.24/308.33	|    169748 |    9603    49753   167786 |    47317    34659    100 | 10.007 % |
308.24/308.33	|    178397 |    9603    49753   167786 |    52048    43285    102 | 10.007 % |
308.24/308.33	|    191371 |    9601    49753   167786 |    57253    21163     76 | 10.022 % |
308.24/308.33	|    210832 |    9601    49753   167786 |    62978    40624     96 | 10.022 % |
308.24/308.33	|    240024 |    9601    49753   167786 |    69276    23771     93 | 10.022 % |
308.24/308.33	|    283813 |    9601    49753   167786 |    76204    67560    117 | 10.022 % |
308.24/308.33	|    349497 |    9586    49753   167786 |    83825    75776    111 | 10.134 % |
308.24/308.33	|    448023 |    9586    49753   167786 |    92207    37854     98 | 10.134 % |
308.24/308.33	|    595812 |    9582    49753   167786 |   101428    37521     99 | 10.163 % |
308.24/308.33	|    817495 |    9582    49753   167786 |   111571    92936    112 | 10.163 % |
308.24/308.33	|   1150020 |    9568    49753   167786 |   122728    61394    104 | 10.267 % |
308.24/308.33	===============================================================================
308.24/308.33	c Found solution: 28
308.24/308.35	c ---[   0]---> Adder-cost: 0   maxlim: 2988   bits: 12/12
822.15/822.39	|  Eliminated clauses:           0.11 Mb                                      |
822.15/822.39	============================[ Search Statistics ]==============================
822.15/822.39	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
822.15/822.39	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
822.15/822.39	===============================================================================
822.15/822.39	|   1374675 |    9561    49323   166083 |    18085     9540     65 | 10.271 % |
822.15/822.39	|   1374825 |    9561    49323   166083 |    19893     9690     65 | 10.271 % |
822.15/822.39	|   1375050 |    9561    49323   166083 |    21882     9915     66 | 10.271 % |
822.15/822.39	|   1375387 |    9561    49323   166083 |    24071    10252     66 | 10.271 % |
822.15/822.39	|   1375893 |    9561    49323   166083 |    26478    10758     67 | 10.271 % |
822.15/822.39	|   1376652 |    9561    49323   166083 |    29126    11517     70 | 10.271 % |
822.15/822.39	|   1377791 |    9561    49323   166083 |    32038    12656     73 | 10.271 % |
822.15/822.39	|   1379499 |    9561    49323   166083 |    35242    14364     77 | 10.271 % |
822.15/822.39	|   1382061 |    9561    49323   166083 |    38767    16926     82 | 10.271 % |
822.15/822.39	|   1385905 |    9561    49323   166083 |    42643    20770     86 | 10.271 % |
822.15/822.39	|   1391671 |    9561    49323   166083 |    46908    26536     90 | 10.272 % |
822.15/822.39	|   1400320 |    9561    49323   166083 |    51598    35185     94 | 10.271 % |
822.15/822.39	|   1413294 |    9561    49323   166083 |    56758    48159    100 | 10.271 % |
822.15/822.39	|   1432755 |    9561    49323   166083 |    62434    27114     95 | 10.271 % |
822.15/822.39	|   1461947 |    9561    49323   166083 |    68678    56306    100 | 10.271 % |
822.15/822.39	|   1505736 |    9561    49323   166083 |    75545    46261    109 | 10.271 % |
822.15/822.39	|   1571420 |    9557    49323   166083 |    83100    54451     95 | 10.301 % |
822.15/822.39	|   1669946 |    9553    49323   166083 |    91410    84547    107 | 10.331 % |
822.15/822.39	|   1817735 |    9553    49323   166083 |   100551    82691     99 | 10.331 % |
822.15/822.39	|   2039418 |    9553    49323   166083 |   110606    58643     92 | 10.331 % |
822.15/822.39	|   2371943 |    9553    49323   166083 |   121667    24593     82 | 10.331 % |
822.15/822.39	|   2870731 |    9553    49323   166083 |   133834   112481    101 | 10.331 % |
822.15/822.39	===============================================================================
822.15/822.39	c Found solution: 27
822.25/822.41	c ---[   0]---> Adder-cost: 0   maxlim: 2989   bits: 12/12
1376.56/1376.82	|  Eliminated clauses:           0.11 Mb                                      |
1376.56/1376.82	============================[ Search Statistics ]==============================
1376.56/1376.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1376.56/1376.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1376.56/1376.82	===============================================================================
1376.56/1376.82	|   3617517 |    9552    49264   165868 |    18063    15367     89 | 10.336 % |
1376.56/1376.82	|   3617667 |    9552    49264   165868 |    19869    15517     89 | 10.336 % |
1376.56/1376.82	|   3617892 |    9552    49264   165868 |    21856    15742     89 | 10.336 % |
1376.56/1376.82	|   3618229 |    9552    49264   165868 |    24042    16079     89 | 10.336 % |
1376.56/1376.82	|   3618735 |    9552    49264   165868 |    26446    16585     89 | 10.336 % |
1376.56/1376.82	|   3619494 |    9552    49264   165868 |    29091    17344     88 | 10.336 % |
1376.56/1376.82	|   3620633 |    9552    49264   165868 |    32000    18483     87 | 10.336 % |
1376.56/1376.82	|   3622341 |    9552    49264   165868 |    35200    20191     87 | 10.336 % |
1376.56/1376.82	|   3624903 |    9552    49264   165868 |    38720    22753     91 | 10.336 % |
1376.56/1376.82	|   3628747 |    9552    49264   165868 |    42592    26597     91 | 10.336 % |
1376.56/1376.82	|   3634513 |    9552    49264   165868 |    46851    32363     94 | 10.336 % |
1376.56/1376.82	|   3643162 |    9552    49264   165868 |    51537    41012     96 | 10.336 % |
1376.56/1376.82	|   3656136 |    9552    49264   165868 |    56690    18150     81 | 10.336 % |
1376.56/1376.82	|   3675597 |    9552    49264   165868 |    62359    37611     91 | 10.336 % |
1376.56/1376.82	|   3704789 |    9552    49264   165868 |    68595    19679     79 | 10.336 % |
1376.56/1376.82	|   3748578 |    9552    49264   165868 |    75455    63468     95 | 10.336 % |
1376.56/1376.82	|   3814262 |    9552    49264   165868 |    83001    70259    104 | 10.336 % |
1376.56/1376.82	|   3912788 |    9552    49264   165868 |    91301    36697     98 | 10.336 % |
1376.56/1376.82	|   4060577 |    9552    49264   165868 |   100431    36048     90 | 10.336 % |
1376.56/1376.82	|   4282260 |    9552    49264   165868 |   110474    91374    105 | 10.336 % |
1376.56/1376.82	|   4614785 |    9552    49264   165868 |   121521    61667    114 | 10.336 % |
1376.56/1376.82	|   5113573 |    9551    49264   165868 |   133674    51745     87 | 10.343 % |
1376.56/1376.82	===============================================================================
1376.56/1376.82	c Found solution: 26
1376.56/1376.83	c ---[   0]---> Adder-cost: 0   maxlim: 2990   bits: 12/12
1800.00/1800.30	|  Eliminated clauses:           0.11 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   5748133 |    9550    49258   165859 |    18061     9599     74 | 10.348 % |
1800.00/1800.30	|   5748283 |    9550    49258   165859 |    19867     9749     73 | 10.348 % |
1800.00/1800.30	|   5748508 |    9550    49258   165859 |    21854     9974     72 | 10.348 % |
1800.00/1800.30	|   5748845 |    9550    49258   165859 |    24039    10311     72 | 10.348 % |
1800.00/1800.30	|   5749351 |    9550    49258   165859 |    26443    10817     72 | 10.348 % |
1800.00/1800.30	|   5750110 |    9550    49258   165859 |    29087    11576     73 | 10.348 % |
1800.00/1800.30	|   5751249 |    9550    49258   165859 |    31996    12715     77 | 10.348 % |
1800.00/1800.30	|   5752957 |    9550    49258   165859 |    35196    14423     77 | 10.348 % |
1800.00/1800.30	|   5755519 |    9550    49258   165859 |    38715    16985     79 | 10.348 % |
1800.00/1800.30	|   5759363 |    9550    49258   165859 |    42587    20829     82 | 10.348 % |
1800.00/1800.30	|   5765129 |    9550    49258   165859 |    46846    26595     87 | 10.348 % |
1800.00/1800.30	|   5773778 |    9550    49258   165859 |    51530    35244     92 | 10.348 % |
1800.00/1800.30	|   5786752 |    9550    49258   165859 |    56683    48218     95 | 10.348 % |
1800.00/1800.30	|   5806213 |    9550    49258   165859 |    62352    27483     84 | 10.348 % |
1800.00/1800.30	|   5835405 |    9550    49258   165859 |    68587    56675     96 | 10.348 % |
1800.00/1800.30	|   5879194 |    9550    49258   165859 |    75446    46852     93 | 10.348 % |
1800.00/1800.30	|   5944878 |    9549    49258   165859 |    82991    55272     97 | 10.356 % |
1800.00/1800.30	|   6043404 |    9549    49258   165859 |    91290    24013     74 | 10.356 % |
1800.00/1800.30	|   6191193 |    9549    49258   165859 |   100419    25951     92 | 10.356 % |
1800.00/1800.30	|   6412876 |    9549    49258   165859 |   110461    82040     96 | 10.356 % |
1800.00/1800.30	|   6745401 |    9549    49258   165859 |   121507    51234    106 | 10.356 % |
1800.00/1800.30	|   7244189 |    9549    49258   165859 |   133657    39812     74 | 10.356 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -x223 -x225 -x227 -x229 -x231 -x233 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x257 -x259 x261 -x263 -x265 -x267 -x269 -x271 -x273 -x275 -x277 -x279 -x281 -x283 -x285 -x287 -x289 -x291 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x311 -x313 -x315 -x317 -x319 -x321 -x323 -x325 -x327 -x329 -x331 -x333 -x335 -x337 -x339 -x341 -x343 -x345 -x347 -x349 -x351 -x353 -x355 -x357 -x359 -x361 -x363 -x365 -x367 -x369 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x411 -x413 -x415 -x417 -x419 -x421 -x423 -x425 -x427 -x429 -x431 -x433 -x435 -x437 -x439 -x441 -x443 -x445 -x447 -x449 -x451 -x453 -x455 -x457 -x459 -x461 -x463 x465 -x467 -x469 -x471 -x473 -x475 -x477 -x479 -x481 -x483 -x485 -x487 -x489 -x491 -x493 -x495 -x497 -x499 -x501 -x503 -x505 -x507 -x509 -x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x527 -x529 -x531 -x533 -x535 -x537 -x539 -x541 -x543 -x545 -x547 -x549 -x551 -x553 -x555 -x557 x559 -x561 -x563 -x565 -x567 -x569 -x571 -x573 -x575 -x577 -x579 -x581 -x583 -x585 -x587 -x589 -x591 -x593 -x595 -x597 -x599 -x601 -x603 -x605 -x607 -x609 -x611 -x613 -x615 -x617 -x619 -x621 -x623 -x625 -x627 -x629 -x631 -x633 -x635 -x637 -x639 -x641 -x643 -x645 -x647 -x649 -x651 -x653 -x655 -x657 -x659 -x661 -x663 -x665 -x667 -x669 -x671 -x673 -x675 -x677 -x679 -x681 -x683 -x685 -x687 -x689 -x691 -x693 -x695 -x697 -x699 -x701 -x703 x705 -x707 -x709 -x711 -x713 -x715 -x717 -x719 -x721 -x723 -x725 -x727 -x729 -x731 -x733 -x735 -x737 -x739 -x741 -x743 -x745 -x747 -x749 -x751 -x753 -x755 -x757 -x759 -x761 -x763 -x765 -x767 -x769 -x771 -x773 -x775 -x777 -x779 -x781 -x783 -x785 -x787 -x789 -x791 -x793 -x795 -x797 -x799 -x801 -x803 -x805 -x807 -x809 -x811 -x813 -x815 -x817 -x819 -x820 -x822 -x824 -x826 -x828 -x830 -x832 -x834 -x836 -x838 -x840 -x842 -x844 -x846 -x848 -x850 -x852 -x854 -x856 -x858 -x860 -x862 -x864 -x866 -x868 -x870 -x872 -x874 -x876 -x878 -x880 -x882 -x884 -x886 -x888 -x890 -x892 -x894 -x896 -x898 -x900 -x902 -x904 -x906 -x908 -x910 -x912 -x914 -x916 -x918 -x920 -x922 -x924 -x926 -x928 -x930 -x932 -x934 -x936 -x938 -x940 -x942 -x944 -x946 -x948 -x950 -x952 -x954 -x956 -x958 -x960 -x962 -x964 -x966 -x968 -x970 -x972 -x974 -x976 -x978 -x980 -x982 -x984 -x986 -x988 -x990 -x992 -x994 -x996 -x998 -x1000 -x1002 -x1004 -x1006 -x1008 -x1010 -x1012 -x1014 -x1016 -x1018 -x1020 -x1022 -x1024 -x1026 -x1028 -x1030 -x1032 -x1034 -x1036 -x1038 -x1040 -x1042 -x1044 -x1046 -x1048 -x1050 -x1052 -x1054 -x1056 -x1058 -x1060 -x1062 -x1064 -x1066 -x1068 -x1070 -x1072 -x1074 -x1076 -x1078 -x1080 -x1082 -x1084 -x1086 -x1088 -x1090 -x1092 -x1094 -x1096 -x1098 -x1100 -x1102 -x1104 -x1106 -x1108 -x1110 -x1112 -x1114 -x1116 -x1118 -x1120 -x1122 -x1124 -x1126 -x1128 -x1130 -x1132 -x1134 -x1136 -x1138 -x1140 -x1142 -x1144 -x1146 -x1148 -x1150 -x1152 -x1154 -x1156 -x1158 -x1160 -x1162 -x1164 -x1166 -x1168 -x1170 -x1172 -x1174 -x1176 -x1178 -x1180 -x1182 -x1184 -x1186 -x1188 -x1190 -x1192 -x1194 -x1196 -x1198 -x1200 -x1202 -x1204 -x1206 -x1208 -x1210 -x1212 -x1214 -x1216 -x1218 -x1220 -x1222 -x1224 -x1226 -x1228 -x1230 -x1232 -x1234 -x1236 -x1238 -x1240 -x1242 -x1244 -x1246 -x1248 -x1250 -x1252 -x1254 -x1256 -x1258 -x1260 -x1262 -x1264 -x1266 -x1268 -x1270 -x1272 -x1274 -x1276 -x1278 -x1280 -x1282 -x1284 -x1286 -x1288 -x1290 -x1292 -x1294 -x1295 -x1297 -x1299 -x1301 -x1303 -x1305 -x1307 -x1309 -x1311 -x1313 -x1315 -x1317 -x1319 -x1321 -x1323 -x1325 -x1327 -x1329 -x1331 -x1333 -x1335 -x1337 -x1339 -x1341 -x1343 -x1345 -x1347 -x1349 -x1351 -x1353 -x1355 -x1357 -x1359 -x1361 -x1363 -x1365 -x1367 -x1369 -x1371 -x1373 -x1375 -x1377 -x1379 -x1381 -x1383 -x1385 -x1387 -x1389 -x1391 -x1393 -x1395 -x1397 -x1399 -x1401 -x1403 -x1405 -x1407 -x1409 -x1411 -x1413 -x1415 -x1417 -x1419 -x1421 -x1423 -x1425 -x1427 -x1429 -x1431 -x1433 -x1435 -x1437 -x1439 -x1441 -x1443 -x1445 -x1447 -x1449 -x1451 -x1453 -x1455 -x1457 -x1459 -x1461 -x1463 -x1465 -x1467 -x1469 -x1471 -x1473 -x1475 -x1477 -x1479 -x1481 -x1483 -x1485 -x1487 -x1489 -x1491 -x1493 -x1495 -x1497 -x1499 -x1501 -x1503 -x1505 -x1507 -x1509 -x1511 -x1513 -x1515 -x1517 -x1519 -x1521 -x1523 -x1525 -x1527 -x1529 -x1531 -x1533 -x1535 -x1537 -x1539 -x1541 -x1543 -x1545 -x1547 -x1549 -x1551 -x1553 -x1555 -x1557 -x1559 -x1561 -x1563 -x1565 -x1567 -x1569 -x1571 -x1573 -x1575 -x1577 -x1579 -x1581 -x1583 -x1585 -x1587 -x1589 -x1591 -x1593 -x1595 -x1597 -x1599 -x1601 -x1603 -x1605 -x1607 -x1609 -x1611 -x1613 -x1615 -x1617 -x1619 -x1621 -x1623 -x1625 -x1627 -x1629 -x1631 -x1633 -x1635 -x1637 -x1639 -x1641 -x1643 -x1645 -x1647 -x1649 -x1651 -x1653 -x1655 -x1657 -x1659 -x1661 -x1663 -x1665 -x1667 -x1669 -x1671 -x1673 -x1675 -x1677 -x1679 -x1681 -x1683 -x1685 -x1687 -x1689 -x1691 -x1693 -x1695 -x1697 -x1699 -x1701 -x1703 -x1705 -x1707 -x1709 -x1711 -x1713 -x1715 -x1717 -x1719 -x1721 -x1723 -x1725 -x1727 -x1729 -x1731 -x1733 -x1735 -x1737 -x1739 -x1741 -x1743 -x1745 -x1747 -x1749 -x1751 -x1753 -x1755 -x1757 -x1759 -x1761 -x1763 -x1765 -x1767 -x1769 -x1771 -x1773 -x1775 -x1777 -x1779 -x1781 -x1783 -x1785 -x1787 -x1789 -x1791 -x1793 -x1795 -x1797 -x1799 -x1801 -x1803 -x1805 -x1807 -x1809 -x1811 -x1813 -x1815 -x1817 -x1819 -x1821 -x1823 -x1825 -x1827 -x1829 -x1831 -x1833 -x1835 -x1837 -x1839 -x1841 -x1843 -x1845 -x1847 -x1849 -x1851 -x1853 -x1855 -x1857 -x1859 -x1861 -x1863 -x1865 -x1867 -x1869 -x1871 -x1873 -x1875 -x1877 -x1879 -x1881 -x1883 -x1885 -x1887 -x1889 -x1891 -x1893 -x1895 -x1897 -x1899 -x1901 -x1903 -x1905 -x1907 -x1909 -x1911 -x1913 -x1915 -x1917 -x1919 -x1921 -x1923 -x1925 -x1927 -x1929 -x1931 -x1933 -x1935 -x1937 -x1939 -x1941 -x1943 -x1945 -x1947 -x1949 -x1951 -x1953 -x1955 -x1957 -x1959 -x1961 -x1963 -x1965 -x1967 -x1969 -x1971 -x1973 -x1975 -x1977 -x1979 -x1981 -x1983 -x1985 -x1987 -x1989 -x1991 -x1993 -x1995 -x1997 -x1999 -x2001 -x2003 -x2005 -x2007 -x2009 -x2011 -x2013 -x2015 -x2017 -x2019 -x2021 -x2023 -x2025 -x2027 -x2029 -x2031 -x2033 -x2035 -x2037 -x2039 -x2041 -x2043 -x2045 -x2047 -x2049 -x2051 -x2053 -x2055 -x2057 -x2059 -x2061 -x2063 -x2065 -x2067 -x2069 -x2071 -x2073 -x2075 -x2077 -x2079 -x2081 -x2083 -x2085 -x2087 -x2089 -x2091 -x2093 -x2095 -x2097 -x2099 -x2101 -x2103 -x2105 -x2107 -x2109 -x2111 -x2113 -x2115 -x2117 -x2119 -x2121 -x2123 -x2125 -x2127 -x2129 -x2131 -x2133 -x2135 -x2137 -x2139 -x2141 -x2143 -x2145 -x2147 -x2149 -x2151 -x2153 -x2155 -x2157 -x2159 -x2161 -x2163 -x2165 -x2167 -x2169 -x2171 -x2173 -x2175 -x2177 -x2179 -x2181 -x2183 -x2185 -x2187 -x2189 -x2191 -x2193 -x2195 -x2197 -x2199 -x2201 -x2203 -x2205 -x2207 -x2209 -x2211 -x2213 -x2215 -x2217 -x2219 -x2221 -x2223 -x2225 -x2227 -x2229 -x2231 -x2233 -x2235 -x2237 -x2239 -x2241 -x2243 -x2245 -x2247 -x2249 -x2251 -x2253 -x2255 -x2257 -x2259 -x2261 -x2263 -x2265 -x2267 -x2269 -x2271 -x2273 -x2275 -x2277 -x2279 -x2281 -x2283 -x2285 -x2287 -x2289 -x2291 -x2293 -x2295 -x2297 -x2299 -x2301 -x2303 -x2305 -x2307 -x2309 -x2311 -x2313 -x2315 -x2317 -x2319 -x2321 -x2323 -x2325 -x2327 -x2329 -x2331 -x2333 -x2335 -x2337 -x2339 -x2341 -x2343 -x2345 -x2347 -x2349 -x2351 -x2353 -x2355 -x2357 -x2359 -x2361 -x2363 -x2365 -x2367 -x2369 -x2371 -x2373 -x2375 -x2377 -x2379 -x2381 -x2383 -x2385 -x2387 -x2389 -x2391 -x2393 -x2395 -x2397 -x2399 -x2401 -x2403 -x2405 -x2407 -x2409 -x2411 -x2413 -x2415 -x2417 -x2419 -x2421 -x2423 -x2425 -x2427 -x2429 -x2431 -x2433 -x2435 -x2437 -x2439 -x2441 -x2443 -x2445 -x2447 -x2449 -x2451 -x2453 -x2455 -x2457 -x2459 -x2461 -x2463 -x2465 -x2467 -x2469 -x2471 -x2473 -x2475 -x2477 -x2479 -x2481 -x2483 -x2485 -x2487 -x2489 -x2491 -x2493 -x2495 -x2497 -x2499 -x2501 -x2503 -x2505 -x2507 -x2509 -x2511 -x2513 -x2515 -x2517 -x2519 -x2521 -x2523 -x2525 -x2527 -x2529 -x2531 -x2533 -x2535 -x2537 -x2539 -x2541 -x2543 -x2545 -x2547 -x2549 -x2551 -x2553 -x2555 -x2557 -x2559 -x2561 -x2563 -x2565 -x2567 -x2569 -x2571 -x2573 -x2575 -x2577 -x2579 -x2581 -x2583 -x2585 -x2587 -x2589 -x2591 -x2593 -x2595 -x2597 -x2599 -x2601 -x2603 -x2605 -x2607 -x2609 -x2611 -x2613 -x2615 -x2617 -x2619 -x2621 -x2623 -x2625 -x2627 -x2629 -x2631 -x2633 -x2635 -x2637 -x2639 -x2641 -x2643 -x2645 -x2647 -x2649 -x2651 -x2653 -x2655 -x2657 -x2659 -x2661 -x2663 -x2665 -x2667 -x2669 -x2671 -x2673 -x2675 -x2677 -x2679 -x2681 -x2683 -x2685 -x2687 -x2689 -x2691 -x2693 -x2695 -x2697 -x2699 -x2701 -x2703 -x2705 -x2707 -x2709 -x2711 -x2713 -x2715 -x2717 -x2719 -x2721 -x2723 -x2725 -x2727 -x2729 -x2731 -x2733 -x2735 -x2737 -x2739 -x2741 -x2743 -x2745 -x2747 -x2749 -x2751 -x2753 -x2755 -x2757 -x2759 -x2761 -x2763 -x2765 -x2767 -x2769 -x2771 -x2773 -x2775 -x2777 -x2779 -x2781 -x2783 -x2785 -x2787 -x2789 -x2791 -x2793 -x2795 -x2797 -x2799 -x2801 -x2803 -x2805 -x2807 -x2809 -x2811 -x2813 -x2815 -x2817 -x2819 -x2821 -x2823 -x2825 -x2827 -x2829 -x2831 -x2833 -x2835 -x2837 -x2839 -x2841 -x2843 -x2845 -x2847 -x2849 -x2851 -x2853 -x2855 -x2857 -x2859 -x2861 -x2863 -x2865 -x2867 -x2869 -x2871 -x2873 -x2875 -x2877 -x2879 -x2881 -x2883 -x2885 -x2887 -x2889 -x2891 -x2893 -x2895 -x2897 -x2899 -x2901 -x2903 -x2905 -x2907 -x2909 -x2911 -x2913 -x2915 -x2917 -x2919 -x2921 -x2923 -x2925 -x2927 -x2929 -x2931 -x2933 -x2935 -x2937 -x2939 -x2941 -x2943 -x2945 -x2947 -x2949 -x2951 -x2953 -x2955 -x2957 -x2959 -x2961 -x2963 -x2965 -x2967 -x2969 -x2971 -x2973 -x2975 -x2977 -x2979 -x2981 -x2983 -x2985 -x2987 -x2989 -x2991 -x2993 -x2995 -x2997 -x2999 -x3001 -x3003 -x3005 -x3007 -x3009 -x3011 -x3013 -x3015 -x3017 -x3019 -x3021 -x3023 -x3025 -x3027 -x3029 -x3031 -x3033 -x3035 -x3037 -x3039 -x3041 -x3043 -x3045 -x3047 -x3049 -x3051 -x3053 -x3055 -x3057 -x3059 -x3061 -x3063 -x3065 -x3067 -x3069 -x3071 -x3073 -x3075 -x3077 -x3079 -x3081 -x3083 -x3085 -x3087 -x3089 -x3091 -x3093 -x3095 -x3097 -x3099 -x3101 -x3103 -x3105 -x3107 -x3109 -x3111 -x3113 -x3115 -x3117 -x3119 -x3121 -x3123 -x3125 -x3127 -x3129 -x3131 -x3133 -x3135 -x3137 -x3139 -x3141 -x3143 -x3145 -x3147 -x3149 -x3151 -x3153 -x3155 -x3157 -x3159 -x3161 -x3163 -x3165 -x3167 -x3169 -x3171 -x3173 -x3175 -x3177 -x3179 -x3181 -x3183 -x3185 -x3187 -x3189 -x3191 -x3193 -x3195 -x3197 -x3199 -x3201 -x3203 -x3205 -x3207 -x3209 -x3211 -x3213 -x3215 -x3217 -x3219 -x3221 -x3223 -x3225 -x3227 -x3229 -x3231 -x3233 -x3235 -x3237 -x3239 -x3241 -x3243 -x3245 -x3247 -x3249 -x3251 -x3253 -x3255 -x3257 -x3259 -x3261 -x3263 -x3265 -x3267 -x3269 -x3271 -x3273 -x3275 -x3277 -x3279 -x3281 -x3283 -x3285 -x3287 -x3289 -x3291 -x3293 -x3295 -x3297 -x3299 -x3301 -x3303 -x3305 -x3307 -x3309 -x3311 -x3313 -x3315 -x3317 -x3319 -x3321 -x3323 -x3325 -x3327 -x3329 -x3331 -x3333 -x3335 -x3337 -x3339 -x3341 -x3343 -x3345 -x3347 -x3349 -x3351 -x3353 -x3355 -x3357 -x3359 -x3361 -x3363 -x3365 -x3367 -x3369 -x3371 -x3373 -x3375 -x3377 -x3379 -x3381 -x3383 -x3385 -x3387 -x3389 -x3391 -x3393 -x3395 -x3397 -x3399 -x3401 -x3403 -x3405 -x3407 -x3409 -x3411 -x3413 -x3415 x3417 -x3419 x3421 -x3423 -x3425 -x3427 -x3429 -x3431 -x3433 -x3435 -x3437 -x3439 -x3441 -x3443 -x3445 -x3447 -x3449 -x3451 -x3453 -x3455 -x3457 -x3459 -x3461 -x3463 -x3465 -x3467 -x3469 -x3471 -x3473 -x3475 -x3477 -x3479 -x3481 -x3483 -x3485 -x3487 -x3489 -x3491 -x3493 -x3495 -x3497 -x3499 -x3501 -x3503 -x3505 -x3507 -x3509 -x3511 -x3513 x3515 -x3517 -x3519 -x3521 -x3523 -x3525 -x3527 -x3529 -x3531 -x3533 -x3535 -x3537 -x3539 -x3541 -x3543 -x3545 -x3547 -x3549 -x3551 -x3553 -x3555 -x3557 -x3559 -x3561 -x3563 -x3565 -x3567 -x3569 -x3571 -x3573 -x3575 -x3577 -x3579 -x3581 -x3583 -x3585 -x3587 -x3589 -x3591 -x3593 -x3595 -x3597 -x3599 -x3601 -x3603 -x3605 -x3607 -x3609 -x3611 -x3613 -x3615 -x3617 -x3619 -x3621 -x3623 -x3625 -x3627 -x3629 -x3631 -x3633 -x3635 -x3637 -x3639 -x3641 -x3643 -x3645 -x3647 -x3649 -x3651 -x3653 -x3655 -x3657 -x3659 -x3661 -x3663 -x3665 -x3667 -x3669 -x3671 -x3673 -x3675 -x3677 -x3679 -x3681 -x3683 -x3685 -x3687 -x3689 -x3691 -x3693 -x3695 -x3697 -x3699 -x3701 -x3703 -x3705 -x3707 -x3709 -x3711 -x3713 -x3715 -x3717 -x3719 -x3721 -x3723 x3725 -x3727 -x3729 -x3731 -x3733 -x3735 -x3737 -x3739 -x3741 -x3743 -x3745 -x3747 -x3749 -x3751 -x3753 -x3755 -x3757 -x3759 -x3761 -x3763 -x3765 -x3767 -x3769 -x3771 -x3773 -x3775 -x3777 -x3779 -x3781 -x3783 -x3785 -x3787 -x3789 -x3791 -x3793 -x3795 -x3797 -x3799 -x3801 -x3803 -x3805 -x3807 -x3809 -x3811 -x3813 -x3815 -x3817 -x3819 -x3821 -x3823 -x3825 -x3827 -x3829 -x3831 -x3833 -x3835 -x3837 -x3839 -x3841 -x3843 -x3845 -x3847 -x3849 -x3851 -x3853 -x3855 -x3857 -x3859 -x3861 -x3863 -x3865 -x3867 -x3869 -x3871 -x3873 -x3875 -x3877 -x3879 -x3881 -x3883 -x3885 -x3887 -x3889 -x3891 -x3893 -x3895 -x3897 -x3899 -x3901 -x3903 -x3905 -x3907 -x3909 -x3911 -x3913 -x3915 -x3917 -x3919 -x3921 -x3923 -x3925 -x3927 -x3929 -x3931 -x3933 -x3935 -x3937 -x3939 -x3941 -x3943 -x3945 -x3947 -x3949 -x3951 -x3953 -x3955 -x3957 -x3959 -x3961 -x3963 -x3965 -x3967 -x3969 -x3971 -x3973 -x3975 -x3977 -x3979 -x3981 -x3983 -x3985 -x3987 -x3989 -x3991 -x3993 -x3995 -x3997 -x3999 -x4001 -x4003 -x4005 -x4007 -x4009 -x4011 -x4013 -x4015 -x4017 -x4019 -x4021 -x4023 -x4025 -x4027 -x4029 -x4031 -x4033 -x4035 -x4037 -x4039 -x4041 -x4043 -x4045 -x4047 -x4049 -x4051 -x4053 -x4055 -x4057 -x4059 -x4061 -x4063 -x4065 -x4067 -x4069 -x4071 -x4073 -x4075 -x4077 -x4079 -x4081 -x4083 -x4085 -x4087 -x4089 -x4091 -x4093 -x4095 -x4097 -x4099 -x4101 -x4103 -x4105 -x4107 -x4109 -x4111 -x4113 -x4115 -x4117 -x4119 -x4121 -x4123 -x4125 -x4127 -x4129 -x4131 -x4133 -x4135 -x4137 -x4139 -x4141 -x4143 -x4145 -x4147 -x4149 -x4151 -x4153 -x4155 -x4157 -x4159 -x4161 -x4163 -x4165 -x4167 -x4169 -x4171 -x4173 -x4175 -x4176 -x4178 -x4180 -x4182 -x4184 -x4186 -x4188 -x4190 -x4192 -x4194 -x4196 -x4198 -x4200 -x4202 -x4204 -x4206 -x4208 -x4210 -x4212 -x4214 -x4216 -x4218 -x4220 -x4222 -x4224 -x4226 -x4228 -x4230 -x4232 -x4234 -x4236 -x4238 -x4240 -x4242 -x4244 -x4246 -x4248 -x4250 -x4252 -x4254 -x4256 -x4258 -x4260 -x4262 -x4264 -x4266 -x4268 -x4270 -x4272 -x4274 -x4276 -x4278 -x4280 -x4282 -x4284 -x4286 -x4288 -x4290 -x4292 -x4294 -x4296 -x4298 -x4300 -x4302 -x4304 -x4306 -x4308 -x4310 -x4312 -x4314 -x4316 -x4318 -x4320 -x4322 -x4324 -x4326 -x4328 -x4330 -x4332 -x4334 -x4336 -x4338 -x4340 -x4342 -x4344 -x4346 -x4348 -x4350 -x4352 -x4354 -x4356 -x4358 -x4360 -x4362 -x4364 -x4366 -x4368 -x4370 -x4372 -x4374 -x4376 -x4378 -x4380 -x4382 -x4384 -x4386 -x4388 -x4390 -x4392 -x4394 -x4396 -x4398 -x4400 -x4402 -x4404 -x4406 -x4408 -x4410 -x4412 -x4414 -x4416 -x4418 -x4420 -x4422 -x4424 -x4426 -x4428 -x4430 -x4432 -x4434 -x4436 -x4438 -x4440 -x4442 -x4444 -x4446 -x4448 -x4450 -x4452 -x4454 -x4456 -x4458 -x4460 -x4462 -x4464 -x4466 -x4468 -x4470 -x4472 -x4474 -x4476 -x4478 -x4480 -x4482 -x4484 -x4486 -x4488 -x4490 -x4492 -x4494 -x4496 -x4498 -x4500 -x4502 -x4504 -x4506 -x4508 -x4510 -x4512 -x4514 -x4516 -x4518 -x4520 -x4522 -x4524 -x4526 -x4528 -x4530 -x4532 -x4534 -x4536 -x4538 -x4540 -x4542 -x4544 -x4546 -x4548 -x4550 -x4552 -x4554 -x4556 -x4558 -x4560 -x4562 -x4564 -x4566 -x4568 -x4570 -x4572 -x4574 -x4576 -x4578 -x4580 -x4582 -x4584 -x4586 -x4588 -x4590 -x4592 -x4594 -x4596 -x4598 -x4600 -x4602 -x4604 -x4606 -x4608 -x4610 -x4612 -x4614 -x4616 -x4618 -x4620 -x4622 -x4624 -x4626 -x4628 -x4630 -x4632 -x4634 -x4636 -x4638 -x4640 -x4642 -x4644 -x4646 -x4648 -x4650 -x4652 -x4654 -x4656 -x4658 -x4660 -x4662 x4664 -x4666 -x4668 -x4670 -x4672 -x4674 -x4676 -x4678 -x4680 -x4682 -x4684 -x4686 -x4688 -x4690 -x4692 -x4694 -x4696 x4698 -x4700 -x4702 -x4704 -x4706 -x4708 -x4710 -x4712 -x4714 -x4716 -x4718 -x4720 -x4722 -x4724 -x4726 -x4728 -x4730 -x4732 -x4734 -x4736 -x4738 -x4740 -x4742 -x4744 -x4746 -x4748 -x4750 -x4752 -x4754 -x4756 -x4758 -x4760 -x4762 -x4764 -x4766 -x4768 -x4770 -x4772 -x4774 -x4776 -x4778 -x4780 -x4782 -x4784 -x4786 -x4788 -x4790 -x4792 -x4794 -x4796 -x4798 -x4800 -x4802 -x4804 -x4806 -x4808 -x4810 -x4812 -x4814 -x4816 -x4818 -x4820 -x4822 -x4824 -x4826 -x4828 -x4830 -x4832 -x4834 -x4836 -x4838 -x4840 -x4842 -x4844 -x4846 -x4848 -x4850 -x4852 -x4854 -x4856 -x4858 -x4860 -x4862 -x4864 -x4866 -x4868 -x4870 -x4872 -x4874 -x4876 -x4878 -x4880 -x4882 -x4884 -x4886 -x4888 -x4890 -x4892 -x4894 -x4896 -x4898 -x4900 -x4902 -x4904 -x4906 -x4908 -x4910 -x4912 -x4914 -x4916 -x4918 -x4920 -x4922 -x4924 -x4926 -x4928 -x4930 -x4932 -x4934 -x4936 -x4938 -x4940 -x4942 -x4944 -x4946 -x4948 -x4950 -x4952 -x4954 -x4956 -x4958 -x4960 -x4962 -x4964 -x4966 -x4968 -x4970 -x4972 -x4974 -x4976 -x4978 -x4980 -x4982 -x4984 -x4986 -x4988 -x4990 -x4992 -x4994 -x4996 -x4998 -x5000 -x5002 -x5004 -x5006 -x5008 -x5010 -x5012 -x5014 -x5016 -x5018 -x5020 -x5022 -x5024 -x5026 -x5028 -x5030 -x5032 -x5034 -x5036 -x5038 -x5040 -x5042 -x5044 -x5046 -x5048 -x5050 -x5052 -x5054 -x5056 -x5058 -x5060 -x5062 -x5064 -x5066 -x5068 -x5069 x5071 -x5073 -x5075 -x5077 -x5079 -x5081 -x5083 -x5085 -x5087 -x5089 -x5091 -x5093 -x5095 -x5097 -x5099 -x5101 -x5103 -x5105 -x5107 -x5109 -x5111 -x5113 -x5115 -x5117 -x5119 -x5121 -x5123 -x5125 -x5127 -x5129 -x5131 -x5133 -x5135 -x5137 -x5139 -x5141 -x5143 -x5145 -x5147 -x5149 -x5151 -x5153 -x5155 -x5157 -x5159 -x5161 -x5163 -x5165 -x5167 -x5169 -x5171 -x5173 -x5175 -x5177 -x5179 -x5181 -x5183 -x5185 -x5187 -x5189 -x5191 -x5193 -x5195 -x5197 -x5199 -x5201 -x5203 -x5205 -x5207 -x5209 -x5211 -x5213 -x5215 -x5217 -x5219 -x5221 -x5223 -x5225 -x5227 -x5229 -x5231 -x5233 -x5235 -x5237 -x5239 -x5241 -x5243 -x5245 -x5247 -x5249 -x5251 -x5253 -x5255 -x5257 -x5259 -x5261 -x5263 -x5265 -x5267 -x5269 -x5271 -x5273 -x5275 -x5277 -x5279 -x5281 -x5283 -x5285 -x5287 -x5289 -x5291 -x5293 -x5295 -x5297 -x5299 -x5301 -x5303 -x5305 -x5307 -x5309 -x5311 -x5313 -x5315 -x5317 -x5319 -x5320 -x5322 -x5324 -x5326 -x5328 -x5330 -x5332 -x5334 -x5336 -x5338 -x5340 -x5342 -x5344 -x5346 -x5348 -x5350 -x5352 -x5354 -x5356 -x5358 -x5360 -x5362 -x5364 -x5366 -x5368 -x5370 -x5372 -x5374 -x5376 -x5378 -x5380 -x5382 -x5384 -x5386 -x5388 -x5390 -x5392 -x5394 -x5396 x5398 -x5400 -x5402 -x5404 -x5406 -x5408 -x5410 -x5412 -x5414 -x5416 -x5418 -x5420 -x5422 -x5424 -x5426 -x5428 -x5430 -x5432 -x5434 -x5436 -x5438 -x5440 -x5442 -x5444 -x5446 -x5448 -x5450 -x5452 -x5454 -x5456 -x5458 -x5460 -x5462 -x5464 -x5466 -x5468 -x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x5500 -x5502 -x5504 -x5506 -x5508 -x5510 -x5512 -x5514 -x5516 -x5518 -x5520 -x5522 -x5524 -x5526 -x5528 -x5530 -x5532 -x5534 -x5536 -x5538 -x5540 -x5542 -x5544 -x5546 -x5548 -x5550 -x5552 -x5554 -x5556 -x5558 -x5560 -x5562 -x5564 -x5566 -x5568 -x5570 -x5572 -x5574 -x5576 -x5578 -x5580 -x5582 -x5584 -x5586 -x5588 -x5590 -x5592 -x5594 -x5596 -x5598 -x5600 -x5602 -x5604 -x5606 -x5608 -x5610 -x5612 -x5614 -x5616 -x5618 -x5620 -x5622 -x5624 -x5626 -x5628 -x5630 -x5632 -x5634 -x5636 -x5638 -x5640 -x5642 -x5644 -x5646 -x5648 -x5650 -x5652 -x5654 -x5656 -x5658 -x5660 -x5662 -x5664 -x5666 -x5668 -x5670 -x5672 -x5674 -x5676 -x5678 -x5680 -x5682 -x5684 -x5686 -x5688 -x5690 -x5692 -x5694 -x5696 -x5698 -x5700 -x5702 -x5704 -x5706 -x5708 -x5710 -x5712 -x5714 -x5716 -x5718 -x5720 -x5722 -x5724 -x5726 -x5728 -x5730 -x5732 -x5734 -x5736 -x5738 -x5740 -x5742 -x5744 -x5746 -x5748 -x5750 -x5752 -x5754 -x5756 -x5758 -x5760 -x5762 -x5764 -x5766 -x5768 -x5770 -x5772 -x5774 -x5776 -x5778 -x5780 -x5782 -x5784 -x5786 -x5788 -x5790 -x5792 -x5794 -x5796 -x5798 -x5800 -x5802 -x5804 -x5806 -x5808 -x5810 -x5812 -x5814 -x5816 -x5818 -x5820 -x5822 -x5824 -x5826 -x5828 -x5830 -x5832 -x5834 -x5836 -x5838 -x5840 -x5842 -x5844 -x5846 -x5848 -x5850 -x5852 -x5854 -x5856 -x5858 -x5860 -x5862 -x5864 -x5866 -x5868 -x5870 -x5872 -x5874 -x5876 -x5878 -x5880 -x5882 -x5884 -x5886 -x5888 -x5890 -x5891 -x5893 -x5895 -x5897 -x5899 -x5901 -x5903 -x5905 -x5907 -x5909 -x5911 -x5913 -x5915 -x5917 -x5919 -x5921 -x5923 -x5925 -x5927 -x5929 -x5931 -x5933 -x5935 -x5937 -x5939 -x5941 -x5943 -x5945 -x5947 -x5949 -x5951 -x5953 -x5955 -x5957 -x5959 -x5961 -x5963 -x5965 -x5967 -x5969 -x5971 -x5973 -x5975 -x5977 -x5979 -x5981 x5983 -x5985 -x5987 -x5989 -x5991 -x5993 -x5995 -x5997 -x5999 -x6001 -x6003 -x6005 -x6007 -x6009 -x6011 -x6013 -x6015 -x6017 -x6019 -x6021 -x6023 -x6025 -x6027 -x6029 -x6031 -x6033 -x6035 -x6037 -x6039 -x6041 -x6043 -x6045 -x6047 -x6049 -x6051 -x6053 -x6055 -x6057 -x6059 -x6061 -x6063 -x6065 -x6067 -x6069 -x6071 -x6073 -x6075 -x6077 -x6079 -x6081 -x6083 -x6085 -x6087 -x6089 -x6091 -x6093 -x6095 -x6097 -x6099 -x6101 -x6103 -x6105 -x6107 -x6109 -x6111 -x6113 -x6115 -x6117 -x6119 -x6121 -x6123 -x6125 -x6127 -x6129 -x6131 x6133 -x6135 -x6137 -x6139 -x6141 -x6143 -x6145 -x6147 -x6149 -x6151 -x6153 -x6155 -x6157 -x6159 -x6161 -x6163 -x6165 -x6167 -x6169 -x6171 -x6173 -x6175 -x6177 -x6179 -x6181 -x6183 -x6185 -x6187 -x6189 -x6191 -x6193 -x6195 -x6197 -x6199 -x6201 -x6203 -x6205 -x6207 -x6209 -x6211 -x6213 -x6215 -x6217 -x6219 -x6221 -x6223 -x6225 -x6227 -x6229 -x6231 -x6233 -x6235 -x6237 -x6239 -x6241 -x6243 -x6245 -x6247 -x6249 -x6251 -x6253 -x6255 -x6257 -x6259 -x6261 -x6263 -x6265 -x6267 -x6269 -x6271 -x6273 -x6275 -x6277 -x6279 -x6281 -x6283 -x6285 -x6287 -x6289 -x6291 -x6293 -x6295 -x6297 -x6299 -x6301 -x6303 -x6305 -x6307 -x6309 -x6311 -x6313 -x6315 -x6317 -x6319 -x6321 -x6323 -x6325 -x6327 -x6329 -x6331 -x6333 -x6335 -x6337 -x6339 -x6341 -x6343 -x6345 -x6347 -x6349 -x6351 -x6353 -x6355 -x6357 -x6359 -x6361 -x6363 -x6365 -x6367 -x6369 -x6371 -x6373 -x6375 -x6377 -x6379 -x6381 -x6383 -x6385 -x6387 -x6389 -x6391 -x6393 -x6395 -x6397 -x6399 -x6401 -x6403 -x6405 -x6407 -x6409 -x6411 -x6413 -x6415 -x6417 -x6419 -x6421 -x6423 -x6425 -x6427 -x6429 -x6431 -x6433 -x6435 -x6437 -x6439 -x6441 -x6443 -x6445 -x6447 -x6449 -x6451 x6453 -x6455 -x6457 -x6459 -x6461 -x6463 -x6464 -x6466 -x6468 -x6470 -x6472 -x6474 -x6476 -x6478 -x6480 -x6482 -x6484 -x6486 -x6488 -x6490 -x6492 -x6494 -x6496 -x6498 -x6500 -x6502 x6504 -x6506 -x6508 -x6510 -x6512 -x6514 -x6516 -x6518 -x6520 -x6522 -x6524 -x6526 -x6528 -x6530 -x6532 -x6534 -x6536 -x6538 -x6540 -x6542 -x6544 -x6546 -x6548 -x6550 -x6552 -x6554 -x6556 -x6558 -x6560 -x6562 -x6564 -x6566 -x6568 -x6570 -x6572 -x6574 -x6576 -x6578 -x6580 -x6582 -x6584 -x6586 -x6588 -x6590 -x6592 -x6594 -x6596 -x6598 -x6600 -x6602 -x6604 -x6606 -x6608 -x6610 -x6612 -x6614 -x6616 -x6618 -x6620 -x6622 -x6624 -x6626 -x6628 -x6630 -x6632 -x6634 -x6636 -x6638 -x6640 -x6642 -x6644 -x6646 -x6648 -x6650 -x6652 -x6654 -x6656 -x6658 -x6660 -x6662 -x6664 -x6666 -x6668 -x6670 -x6672 -x6674 -x6676 -x6678 -x6680 -x6682 -x6684 -x6686 -x6688 -x6690 -x6692 -x6694 -x6696 -x6698 -x6700 -x6702 -x6704 -x6706 -x6708 -x6710 -x6712 -x6714 -x6716 -x6718 -x6720 -x6722 -x6724 -x6726 -x6728 -x6730 -x6732 -x6734 -x6736 -x6738 -x6740 -x6742 -x6744 -x6746 -x6748 -x6750 -x6752 -x6754 -x6756 -x6758 -x6760 -x6762 -x6764 -x6766 -x6768 -x6770 -x6772 -x6774 -x6776 -x6778 -x6780 -x6782 -x6784 -x6786 -x6788 -x6790 -x6792 -x6794 -x6796 -x6798 -x6800 -x6802 -x6804 -x6806 -x6808 -x6810 -x6812 -x6814 x6816 -x6818 -x6820 -x6822 -x6824 -x6826 -x6828 -x6830 -x6832 -x6834 -x6836 -x6838 -x6840 -x6842 -x6844 x6846 -x6848 -x6850 -x6852 -x6854 -x6856 -x6858 -x6860 -x6862 -x6864 -x6866 -x6868 -x6870 -x6872 -x6874 -x6876 -x6878 -x6880 -x6882 -x6884 -x6886 -x6888 -x6890 -x6892 -x6894 -x6896 -x6898 -x6900 -x6902 -x6904 -x6906 -x6908 -x6910 -x6912 -x6914 -x6916 -x6918 -x6920 -x6922 -x6924 -x6926 -x6928 -x6930 -x6932 -x6934 -x6936 -x6938 -x6940 -x6942 -x6944 -x6946 -x6948 -x6950 -x6952 -x6954 -x6956 -x6958 -x6960 -x6962 -x6964 -x6966 -x6968 -x6970 -x6972 -x6974 -x6976 -x6978 -x6980 -x6982 -x6984 -x6986 -x6988 -x6990 -x6992 -x6994 -x6996 -x6998 -x7000 -x7002 -x7004 -x7006 -x7008 -x7010 -x7012 -x7014 -x7016 -x7018 -x7020 -x7022 -x7024 -x7026 -x7028 -x7030 -x7032 -x7034 -x7036 -x7038 -x7040 -x7042 -x7044 -x7046 -x7048 -x7050 -x7052 -x7054 -x7056 -x7058 -x7060 -x7062 -x7064 -x7066 -x7068 -x7070 -x7072 -x7074 -x7076 -x7078 -x7080 -x7082 -x7083 -x7085 -x7087 -x7089 -x7091 -x7093 -x7095 -x7097 -x7099 -x7101 -x7103 -x7105 -x7107 -x7109 -x7111 -x7113 -x7115 -x7117 -x7119 -x7121 -x7123 -x7125 -x7127 -x7129 -x7131 -x7133 -x7135 -x7137 -x7139 -x7141 -x7143 -x7145 -x7147 -x7149 -x7151 -x7153 -x7155 -x7157 -x7159 -x7161 -x7163 -x7165 -x7167 -x7169 -x7171 -x7173 -x7175 -x7177 -x7179 -x7181 -x7183 -x7185 -x7187 -x7189 -x7191 -x7193 -x7195 -x7197 -x7199 -x7201 -x7203 -x7205 -x7207 -x7209 -x7211 -x7213 -x7215 -x7217 -x7219 -x7221 -x7223 -x7225 -x7227 -x7229 -x7231 -x7233 -x7235 -x7237 -x7239 -x7241 -x7243 -x7245 -x7247 -x7249 -x7251 -x7253 -x7255 -x7257 -x7259 -x7261 -x7263 -x7265 -x7267 -x7269 -x7271 -x7273 -x7275 -x7277 -x7279 -x7281 -x7283 -x7285 -x7287 -x7289 x7291 -x7293 -x7295 -x7297 -x7299 -x7301 -x7303 -x7305 -x7307 -x7309 -x7311 -x7313 -x7315 -x7317 -x7319 -x7321 -x7323 -x7325 -x7327 -x7329 -x7331 -x7333 -x7335 -x7337 -x7339 -x7341 -x7343 -x7345 -x7347 -x7349 -x7351 -x7353 -x7355 -x7357 -x7359 -x7361 -x7363 -x7365 -x7367 -x7369 x7371 x7373 -x7375 -x7377 -x7379 -x7381 x7383 -x7385 -x7387 -x7389 -x7391 -x7393 -x7395 -x7397 -x7399 -x7401 -x7403 -x7405 -x7407 -x7409 -x7411 -x7413 -x7415 -x7417 -x7419 -x7421 -x7423 -x7425 -x7427 x7429 -x7431 x7433 x7435 x7437 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x236 -x238 -x240 -x242 -x244 -x246 -x248 -x250 -x252 -x254 -x256 -x258 x260 -x262 -x264 -x266 -x268 -x270 -x272 -x274 -x276 -x278 -x280 -x282 -x284 -x1 -x286 -x288 -x290 -x292 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x308 -x310 -x312 -x314 -x2 -x316 -x318 -x320 -x322 -x324 -x326 -x328 -x330 -x332 -x334 -x336 -x338 -x340 -x342 -x344 -x3 -x346 -x348 -x350 -x352 -x354 -x356 -x358 -x4 -x360 -x362 -x364 -x366 -x368 -x370 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x388 -x5 -x390 -x392 -x394 -x396 -x398 -x400 -x402 -x6 -x404 -x406 -x408 -x410 -x412 -x414 -x416 -x7 -x418 -x420 -x422 -x424 -x426 -x428 -x430 -x432 -x434 -x436 -x438 -x440 -x442 -x444 -x446 -x448 -x450 -x452 -x454 -x456 -x458 -x460 -x462 x464 -x466 -x468 -x470 -x472 -x474 -x476 -x478 -x480 -x482 -x484 -x8 -x486 -x488 -x490 -x492 -x494 -x496 -x498 -x500 -x502 -x504 -x506 -x508 -x510 -x512 -x514 -x9 -x516 -x518 -x520 -x522 -x524 -x526 -x528 -x530 -x532 -x534 -x536 -x538 -x540 -x542 -x544 -x10 -x546 -x548 -x550 -x552 -x554 -x556 x558 -x560 -x562 -x564 -x566 -x568 -x570 -x572 -x11 -x574 -x576 -x578 -x580 -x582 -x584 -x586 -x588 -x590 -x592 -x594 -x596 -x598 -x600 -x602 -x12 -x604 -x606 -x608 -x610 -x612 -x614 -x616 -x13 -x618 -x620 -x622 -x624 -x626 -x628 -x630 -x14 -x632 -x634 -x636 -x638 -x640 -x642 -x644 -x646 -x648 -x650 -x652 -x654 -x656 -x658 -x660 -x662 -x664 -x666 -x668 -x670 -x672 -x674 -x676 -x678 -x680 -x682 -x684 -x686 -x688 -x690 -x692 -x694 -x696 -x698 -x700 -x702 x704 -x706 -x708 -x710 -x712 -x714 -x716 -x718 -x720 -x722 -x724 -x726 -x728 -x730 -x732 -x734 -x736 -x738 -x740 -x742 -x744 -x746 -x748 -x750 -x752 -x754 -x756 -x758 -x760 -x762 -x764 -x766 -x768 -x770 -x772 -x774 -x776 -x778 -x780 -x782 -x784 -x786 -x788 -x790 -x792 -x794 -x796 -x798 -x800 -x802 -x804 -x806 -x808 -x810 -x812 -x814 -x816 -x818 -x821 -x823 -x825 -x827 -x829 -x831 -x833 -x835 -x837 -x839 -x841 -x843 -x845 -x847 -x849 -x851 -x853 -x855 -x857 -x859 -x861 -x863 -x865 -x867 -x869 -x871 -x873 -x875 -x877 -x879 -x881 -x883 -x885 -x887 -x889 -x15 -x891 -x893 -x895 -x897 -x899 -x901 -x903 -x905 -x907 -x909 -x911 -x913 -x915 -x917 -x919 -x921 -x923 -x925 -x927 -x929 -x931 -x933 -x935 -x937 -x939 -x941 -x943 -x945 -x947 -x949 -x951 -x953 -x955 -x957 -x959 -x961 -x963 -x965 -x967 -x969 -x971 -x973 -x975 -x977 -x979 -x981 -x983 -x985 -x987 -x989 -x991 -x993 -x995 -x997 -x999 -x1001 -x1003 -x1005 -x1007 -x1009 -x1011 -x1013 -x1015 -x16 -x1017 -x1019 -x1021 -x1023 -x1025 -x1027 -x1029 -x1031 -x1033 -x1035 -x1037 -x1039 -x1041 -x1043 -x1045 -x1047 -x1049 -x1051 -x1053 -x1055 -x1057 -x1059 -x1061 -x1063 -x1065 -x1067 -x1069 -x1071 -x1073 -x1075 -x1077 -x1079 -x1081 -x1083 -x1085 -x1087 -x1089 -x1091 -x1093 -x1095 -x1097 -x1099 -x1101 -x1103 -x1105 -x1107 -x1109 -x1111 -x1113 -x1115 -x1117 -x1119 -x1121 -x1123 -x1125 -x1127 -x1129 -x1131 -x1133 -x1135 -x1137 -x1139 -x17 -x1141 -x1143 -x1145 -x1147 -x1149 -x1151 -x1153 -x1155 -x1157 -x1159 -x1161 -x1163 -x1165 -x1167 -x1169 -x1171 -x1173 -x1175 -x1177 -x1179 -x1181 -x1183 -x1185 -x1187 -x1189 -x1191 -x1193 -x1195 -x1197 -x1199 -x1201 -x18 -x1203 -x1205 -x1207 -x1209 -x1211 -x1213 -x1215 -x1217 -x1219 -x1221 -x1223 -x1225 -x1227 -x1229 -x1231 -x1233 -x1235 -x1237 -x1239 -x1241 -x1243 -x1245 -x1247 -x1249 -x1251 -x1253 -x1255 -x1257 -x1259 -x1261 -x1263 -x1265 -x1267 -x1269 -x1271 -x1273 -x1275 -x1277 -x1279 -x1281 -x1283 -x1285 -x1287 -x1289 -x1291 -x1293 -x1296 -x1298 -x1300 -x1302 -x1304 -x1306 -x1308 -x1310 -x1312 -x1314 -x1316 -x1318 -x1320 -x1322 -x1324 -x1326 -x19 -x1328 -x1330 -x1332 -x1334 -x1336 -x1338 -x1340 -x1342 -x1344 -x1346 -x1348 -x1350 -x1352 -x1354 -x1356 -x1358 -x1360 -x1362 -x1364 -x1366 -x1368 -x1370 -x1372 -x1374 -x1376 -x1378 -x1380 -x1382 -x1384 -x1386 -x1388 -x20 -x1390 -x1392 -x1394 -x1396 -x1398 -x1400 -x1402 -x1404 -x1406 -x1408 -x1410 -x1412 -x1414 -x1416 -x1418 -x1420 -x1422 -x1424 -x1426 -x1428 -x1430 -x1432 -x1434 -x1436 -x1438 -x1440 -x1442 -x1444 -x1446 -x1448 -x1450 -x21 -x1452 -x1454 -x1456 -x1458 -x1460 -x1462 -x1464 -x1466 -x1468 -x1470 -x1472 -x1474 -x1476 -x1478 -x1480 -x22 -x1482 -x1484 -x1486 -x1488 -x1490 -x1492 -x1494 -x1496 -x1498 -x1500 -x1502 -x1504 -x1506 -x1508 -x1510 -x1512 -x1514 -x1516 -x1518 -x1520 -x1522 -x1524 -x1526 -x1528 -x1530 -x1532 -x1534 -x1536 -x1538 -x1540 -x1542 -x1544 -x1546 -x1548 -x1550 -x1552 -x1554 -x1556 -x1558 -x1560 -x1562 -x1564 -x1566 -x1568 -x1570 -x1572 -x1574 -x1576 -x1578 -x1580 -x1582 -x1584 -x1586 -x1588 -x1590 -x1592 -x1594 -x1596 -x1598 -x1600 -x1602 -x1604 -x1606 -x23 -x1608 -x1610 -x1612 -x1614 -x1616 -x1618 -x1620 -x1622 -x1624 -x1626 -x1628 -x1630 -x1632 -x1634 -x1636 -x1638 -x1640 -x1642 -x1644 -x1646 -x1648 -x1650 -x1652 -x1654 -x1656 -x1658 -x1660 -x1662 -x1664 -x1666 -x1668 -x24 -x1670 -x1672 -x1674 -x1676 -x1678 -x1680 -x1682 -x1684 -x1686 -x1688 -x1690 -x1692 -x1694 -x1696 -x1698 -x1700 -x1702 -x1704 -x1706 -x1708 -x1710 -x1712 -x1714 -x1716 -x1718 -x1720 -x1722 -x1724 -x1726 -x1728 -x1730 -x25 -x1732 -x1734 -x1736 -x1738 -x1740 -x1742 -x1744 -x1746 -x1748 -x1750 -x1752 -x1754 -x1756 -x1758 -x1760 -x26 -x1762 -x1764 -x1766 -x1768 -x1770 -x1772 -x1774 -x1776 -x1778 -x1780 -x1782 -x1784 -x1786 -x1788 -x1790 -x1792 -x1794 -x1796 -x1798 -x1800 -x1802 -x1804 -x1806 -x1808 -x1810 -x1812 -x1814 -x1816 -x1818 -x1820 -x1822 -x27 -x1824 -x1826 -x1828 -x1830 -x1832 -x1834 -x1836 -x1838 -x1840 -x1842 -x1844 -x1846 -x1848 -x1850 -x1852 -x28 -x1854 -x1856 -x1858 -x1860 -x1862 -x1864 -x1866 -x1868 -x1870 -x1872 -x1874 -x1876 -x1878 -x1880 -x1882 -x29 -x1884 -x1886 -x1888 -x1890 -x1892 -x1894 -x1896 -x30 -x1898 -x1900 -x1902 -x1904 -x1906 -x1908 -x1910 -x1912 -x1914 -x1916 -x1918 -x1920 -x1922 -x1924 -x1926 -x1928 -x1930 -x1932 -x1934 -x1936 -x1938 -x1940 -x1942 -x1944 -x1946 -x1948 -x1950 -x1952 -x1954 -x1956 -x1958 -x1960 -x1962 -x1964 -x1966 -x1968 -x1970 -x1972 -x1974 -x1976 -x1978 -x1980 -x1982 -x1984 -x1986 -x1988 -x1990 -x1992 -x1994 -x1996 -x1998 -x2000 -x2002 -x2004 -x2006 -x2008 -x2010 -x2012 -x2014 -x2016 -x2018 -x2020 -x2022 -x31 -x2024 -x2026 -x2028 -x2030 -x2032 -x2034 -x2036 -x2038 -x2040 -x2042 -x2044 -x2046 -x2048 -x2050 -x2052 -x2054 -x2056 -x2058 -x2060 -x2062 -x2064 -x2066 -x2068 -x2070 -x2072 -x2074 -x2076 -x2078 -x2080 -x2082 -x2084 -x32 -x2086 -x2088 -x2090 -x2092 -x2094 -x2096 -x2098 -x2100 -x2102 -x2104 -x2106 -x2108 -x2110 -x2112 -x2114 -x2116 -x2118 -x2120 -x2122 -x2124 -x2126 -x2128 -x2130 -x2132 -x2134 -x2136 -x2138 -x2140 -x2142 -x2144 -x2146 -x33 -x2148 -x2150 -x2152 -x2154 -x2156 -x2158 -x2160 -x2162 -x2164 -x2166 -x2168 -x2170 -x2172 -x2174 -x2176 -x34 -x2178 -x2180 -x2182 -x2184 -x2186 -x2188 -x2190 -x2192 -x2194 -x2196 -x2198 -x2200 -x2202 -x2204 -x2206 -x2208 -x2210 -x2212 -x2214 -x2216 -x2218 -x2220 -x2222 -x2224 -x2226 -x2228 -x2230 -x2232 -x2234 -x2236 -x2238 -x35 -x2240 -x2242 -x2244 -x2246 -x2248 -x2250 -x2252 -x2254 -x2256 -x2258 -x2260 -x2262 -x2264 -x2266 -x2268 -x36 -x2270 -x2272 -x2274 -x2276 -x2278 -x2280 -x2282 -x2284 -x2286 -x2288 -x2290 -x2292 -x2294 -x2296 -x2298 -x37 -x2300 -x2302 -x2304 -x2306 -x2308 -x2310 -x2312 -x38 -x2314 -x2316 -x2318 -x2320 -x2322 -x2324 -x2326 -x2328 -x2330 -x2332 -x2334 -x2336 -x2338 -x2340 -x2342 -x2344 -x2346 -x2348 -x2350 -x2352 -x2354 -x2356 -x2358 -x2360 -x2362 -x2364 -x2366 -x2368 -x2370 -x2372 -x2374 -x39 -x2376 -x2378 -x2380 -x2382 -x2384 -x2386 -x2388 -x2390 -x2392 -x2394 -x2396 -x2398 -x2400 -x2402 -x2404 -x40 -x2406 -x2408 -x2410 -x2412 -x2414 -x2416 -x2418 -x2420 -x2422 -x2424 -x2426 -x2428 -x2430 -x2432 -x2434 -x41 -x2436 -x2438 -x2440 -x2442 -x2444 -x2446 -x42 -x2448 -x2450 -x2452 -x2454 -x2456 -x2458 -x2460 -x2462 -x2464 -x2466 -x2468 -x2470 -x2472 -x2474 -x2476 -x43 -x2478 -x2480 -x2482 -x2484 -x2486 -x2488 -x2490 -x44 -x2492 -x2494 -x2496 -x2498 -x2500 -x2502 -x2504 -x45 -x2506 -x2508 -x2510 -x46 -x2512 -x2514 -x2516 -x2518 -x2520 -x2522 -x2524 -x2526 -x2528 -x2530 -x2532 -x2534 -x2536 -x2538 -x2540 -x2542 -x2544 -x2546 -x2548 -x2550 -x2552 -x2554 -x2556 -x2558 -x2560 -x2562 -x2564 -x2566 -x2568 -x2570 -x2572 -x2574 -x2576 -x2578 -x2580 -x2582 -x2584 -x2586 -x2588 -x2590 -x2592 -x2594 -x2596 -x2598 -x2600 -x2602 -x2604 -x2606 -x2608 -x2610 -x2612 -x2614 -x2616 -x2618 -x2620 -x2622 -x2624 -x2626 -x2628 -x2630 -x2632 -x2634 -x2636 -x47 -x2638 -x2640 -x2642 -x2644 -x2646 -x2648 -x2650 -x2652 -x2654 -x2656 -x2658 -x2660 -x2662 -x2664 -x2666 -x2668 -x2670 -x2672 -x2674 -x2676 -x2678 -x2680 -x2682 -x2684 -x2686 -x2688 -x2690 -x2692 -x2694 -x2696 -x2698 -x48 -x2700 -x2702 -x2704 -x2706 -x2708 -x2710 -x2712 -x2714 -x2716 -x2718 -x2720 -x2722 -x2724 -x2726 -x2728 -x2730 -x2732 -x2734 -x2736 -x2738 -x2740 -x2742 -x2744 -x2746 -x2748 -x2750 -x2752 -x2754 -x2756 -x2758 -x2760 -x49 -x2762 -x2764 -x2766 -x2768 -x2770 -x2772 -x2774 -x2776 -x2778 -x2780 -x2782 -x2784 -x2786 -x2788 -x2790 -x50 -x2792 -x2794 -x2796 -x2798 -x2800 -x2802 -x2804 -x2806 -x2808 -x2810 -x2812 -x2814 -x2816 -x2818 -x2820 -x2822 -x2824 -x2826 -x2828 -x2830 -x2832 -x2834 -x2836 -x2838 -x2840 -x2842 -x2844 -x2846 -x2848 -x2850 -x2852 -x51 -x2854 -x2856 -x2858 -x2860 -x2862 -x2864 -x2866 -x2868 -x2870 -x2872 -x2874 -x2876 -x2878 -x2880 -x2882 -x52 -x2884 -x2886 -x2888 -x2890 -x2892 -x2894 -x2896 -x2898 -x2900 -x2902 -x2904 -x2906 -x2908 -x2910 -x2912 -x53 -x2914 -x2916 -x2918 -x2920 -x2922 -x2924 -x2926 -x54 -x2928 -x2930 -x2932 -x2934 -x2936 -x2938 -x2940 -x2942 -x2944 -x2946 -x2948 -x2950 -x2952 -x2954 -x2956 -x2958 -x2960 -x2962 -x2964 -x2966 -x2968 -x2970 -x2972 -x2974 -x2976 -x2978 -x2980 -x2982 -x2984 -x2986 -x2988 -x55 -x2990 -x2992 -x2994 -x2996 -x2998 -x3000 -x3002 -x3004 -x3006 -x3008 -x3010 -x3012 -x3014 -x3016 -x3018 -x56 -x3020 -x3022 -x3024 -x3026 -x3028 -x3030 -x3032 -x3034 -x3036 -x3038 -x3040 -x3042 -x3044 -x3046 -x3048 -x57 -x3050 -x3052 -x3054 -x3056 -x3058 -x3060 -x3062 -x58 -x3064 -x3066 -x3068 -x3070 -x3072 -x3074 -x3076 -x3078 -x3080 -x3082 -x3084 -x3086 -x3088 -x3090 -x3092 -x59 -x3094 -x3096 -x3098 -x3100 -x3102 -x3104 -x3106 -x60 -x3108 -x3110 -x3112 -x3114 -x3116 -x3118 -x3120 -x61 -x3122 -x3124 -x3126 -x62 -x3128 -x3130 -x3132 -x3134 -x3136 -x3138 -x3140 -x3142 -x3144 -x3146 -x3148 -x3150 -x3152 -x3154 -x3156 -x3158 -x3160 -x3162 -x3164 -x3166 -x3168 -x3170 -x3172 -x3174 -x3176 -x3178 -x3180 -x3182 -x3184 -x3186 -x3188 -x63 -x3190 -x3192 -x3194 -x3196 -x3198 -x3200 -x3202 -x3204 -x3206 -x3208 -x3210 -x3212 -x3214 -x3216 -x3218 -x64 -x3220 -x3222 -x3224 -x3226 -x3228 -x3230 -x3232 -x3234 -x3236 -x3238 -x3240 -x3242 -x3244 -x3246 -x3248 -x65 -x3250 -x3252 -x3254 -x3256 -x3258 -x3260 -x3262 -x66 -x3264 -x3266 -x3268 -x3270 -x3272 -x3274 -x3276 -x3278 -x3280 -x3282 -x3284 -x3286 -x3288 -x3290 -x3292 -x67 -x3294 -x3296 -x3298 -x3300 -x3302 -x3304 -x3306 -x68 -x3308 -x3310 -x3312 -x3314 -x3316 -x3318 -x3320 -x69 -x3322 -x3324 -x3326 -x70 -x3328 -x3330 -x3332 -x3334 -x3336 -x3338 -x3340 -x3342 -x3344 -x3346 -x3348 -x3350 -x3352 -x3354 -x3356 -x71 -x3358 -x3360 -x3362 -x3364 -x3366 -x3368 -x3370 -x72 -x3372 -x3374 -x3376 -x3378 -x3380 -x3382 -x3384 -x73 -x3386 -x3388 -x3390 -x74 -x3392 -x3394 -x3396 -x3398 -x3400 -x3402 -x3404 -x75 -x3406 -x3408 -x3410 -x76 -x3412 -x3414 x3416 x77 -x3418 x3420 -x3422 -x3424 -x3426 -x3428 -x3430 -x3432 -x3434 -x3436 -x3438 -x3440 -x3442 -x3444 -x3446 -x3448 -x78 -x3450 -x3452 -x3454 -x3456 -x3458 -x3460 -x3462 -x79 -x3464 -x3466 -x3468 -x3470 -x3472 -x3474 -x3476 -x80 -x3478 -x3480 -x3482 -x3484 -x3486 -x3488 -x3490 -x3492 -x3494 -x3496 -x3498 -x3500 -x3502 -x3504 -x3506 -x3508 -x3510 -x3512 x3514 -x3516 -x3518 -x3520 -x3522 -x3524 -x3526 -x3528 -x3530 -x3532 -x3534 -x3536 -x3538 -x3540 -x3542 -x3544 -x3546 -x3548 -x3550 -x3552 -x3554 -x3556 -x3558 -x3560 -x3562 -x3564 -x3566 -x3568 -x3570 -x3572 -x3574 -x3576 -x3578 -x3580 -x3582 -x3584 -x3586 -x3588 -x3590 -x3592 -x3594 -x3596 -x3598 -x3600 -x3602 -x3604 -x81 -x3606 -x3608 -x3610 -x3612 -x3614 -x3616 -x3618 -x3620 -x3622 -x3624 -x3626 -x3628 -x3630 -x3632 -x3634 -x3636 -x3638 -x3640 -x3642 -x3644 -x3646 -x3648 -x3650 -x3652 -x3654 -x3656 -x3658 -x3660 -x3662 -x3664 -x3666 -x3668 -x3670 -x3672 -x3674 -x3676 -x3678 -x3680 -x3682 -x3684 -x3686 -x3688 -x3690 -x3692 -x3694 -x3696 -x3698 -x3700 -x3702 -x3704 -x3706 -x3708 -x3710 -x3712 -x3714 -x3716 -x3718 -x3720 -x3722 x3724 -x3726 -x3728 -x82 -x3730 -x3732 -x3734 -x3736 -x3738 -x3740 -x3742 -x3744 -x3746 -x3748 -x3750 -x3752 -x3754 -x3756 -x3758 -x83 -x3760 -x3762 -x3764 -x3766 -x3768 -x3770 -x3772 -x3774 -x3776 -x3778 -x3780 -x3782 -x3784 -x3786 -x3788 -x3790 -x3792 -x3794 -x3796 -x3798 -x3800 -x3802 -x3804 -x3806 -x3808 -x3810 -x3812 -x3814 -x3816 -x3818 -x84 -x3820 -x3822 -x3824 -x3826 -x3828 -x3830 -x3832 -x3834 -x3836 -x3838 -x3840 -x3842 -x3844 -x3846 -x3848 -x85 -x3850 -x3852 -x3854 -x3856 -x3858 -x3860 -x3862 -x3864 -x3866 -x3868 -x3870 -x3872 -x3874 -x3876 -x3878 -x86 -x3880 -x3882 -x3884 -x3886 -x3888 -x3890 -x3892 -x87 -x3894 -x3896 -x3898 -x3900 -x3902 -x3904 -x3906 -x3908 -x3910 -x3912 -x3914 -x3916 -x3918 -x3920 -x3922 -x3924 -x3926 -x3928 -x3930 -x3932 -x3934 -x3936 -x3938 -x3940 -x3942 -x3944 -x3946 -x3948 -x3950 -x3952 -x3954 -x88 -x3956 -x3958 -x3960 -x3962 -x3964 -x3966 -x3968 -x3970 -x3972 -x3974 -x3976 -x3978 -x3980 -x3982 -x3984 -x89 -x3986 -x3988 -x3990 -x3992 -x3994 -x3996 -x3998 -x4000 -x4002 -x4004 -x4006 -x4008 -x4010 -x90 -x4012 -x4014 -x4016 -x4018 -x4020 -x4022 -x4024 -x91 -x4026 -x4028 -x4030 -x4032 -x4034 -x4036 -x4038 -x4040 -x4042 -x4044 -x4046 -x4048 -x4050 -x4052 -x4054 -x92 -x4056 -x4058 -x4060 -x4062 -x4064 -x4066 -x4068 -x93 -x4070 -x4072 -x4074 -x4076 -x4078 -x4080 -x4082 -x94 -x4084 -x4086 -x4088 -x95 -x4090 -x4092 -x4094 -x4096 -x4098 -x4100 -x4102 -x4104 -x4106 -x4108 -x4110 -x4112 -x4114 -x4116 -x4118 -x4120 -x4122 -x4124 -x4126 -x4128 -x4130 -x4132 -x4134 -x4136 -x4138 -x4140 -x4142 -x4144 -x4146 -x4148 -x4150 -x4152 -x4154 -x4156 -x4158 -x4160 -x4162 -x4164 -x4166 -x4168 -x4170 -x4172 -x4174 -x4177 -x4179 -x4181 -x4183 -x4185 -x4187 -x4189 -x4191 -x4193 -x4195 -x4197 -x4199 -x4201 -x4203 -x4205 -x4207 -x4209 -x4211 -x4213 -x96 -x4215 -x4217 -x4219 -x4221 -x4223 -x4225 -x4227 -x4229 -x4231 -x4233 -x4235 -x4237 -x4239 -x4241 -x4243 -x4245 -x4247 -x4249 -x4251 -x4253 -x4255 -x4257 -x4259 -x4261 -x4263 -x4265 -x4267 -x4269 -x4271 -x4273 -x4275 -x97 -x4277 -x4279 -x4281 -x4283 -x4285 -x4287 -x4289 -x4291 -x4293 -x4295 -x4297 -x4299 -x4301 -x4303 -x4305 -x4307 -x4309 -x4311 -x4313 -x4315 -x4317 -x4319 -x4321 -x4323 -x4325 -x4327 -x4329 -x4331 -x4333 -x4335 -x4337 -x98 -x4339 -x4341 -x4343 -x4345 -x4347 -x4349 -x4351 -x4353 -x4355 -x4357 -x4359 -x4361 -x4363 -x4365 -x4367 -x99 -x4369 -x4371 -x4373 -x4375 -x4377 -x4379 -x4381 -x4383 -x4385 -x4387 -x4389 -x4391 -x4393 -x4395 -x4397 -x4399 -x4401 -x4403 -x4405 -x4407 -x4409 -x4411 -x4413 -x4415 -x4417 -x4419 -x4421 -x4423 -x4425 -x4427 -x4429 -x100 -x4431 -x4433 -x4435 -x4437 -x4439 -x4441 -x4443 -x4445 -x4447 -x4449 -x4451 -x4453 -x4455 -x4457 -x4459 -x101 -x4461 -x4463 -x4465 -x4467 -x4469 -x4471 -x4473 -x4475 -x4477 -x4479 -x4481 -x4483 -x4485 -x4487 -x4489 -x102 -x4491 -x4493 -x4495 -x4497 -x4499 -x4501 -x4503 -x103 -x4505 -x4507 -x4509 -x4511 -x4513 -x4515 -x4517 -x4519 -x4521 -x4523 -x4525 -x4527 -x4529 -x4531 -x4533 -x4535 -x4537 -x4539 -x4541 -x4543 -x4545 -x4547 -x4549 -x4551 -x4553 -x4555 -x4557 -x4559 -x4561 -x4563 -x4565 -x104 -x4567 -x4569 -x4571 -x4573 -x4575 -x4577 -x4579 -x4581 -x4583 -x4585 -x4587 -x4589 -x4591 -x4593 -x4595 -x105 -x4597 -x4599 -x4601 -x4603 -x4605 -x4607 -x4609 -x4611 -x4613 -x4615 -x4617 -x4619 -x4621 -x4623 -x4625 -x106 -x4627 -x4629 -x4631 -x4633 -x4635 -x4637 -x4639 -x4641 -x4643 -x4645 -x4647 -x4649 -x4651 -x4653 -x4655 -x4657 -x4659 -x4661 x4663 -x4665 -x4667 -x4669 -x107 -x4671 -x4673 -x4675 -x4677 -x4679 -x4681 -x4683 -x108 -x4685 -x4687 -x4689 -x4691 -x4693 -x4695 x4697 x109 -x4699 -x4701 -x4703 -x110 -x4705 -x4707 -x4709 -x4711 -x4713 -x4715 -x4717 -x4719 -x4721 -x4723 -x4725 -x4727 -x4729 -x4731 -x4733 -x4735 -x4737 -x4739 -x4741 -x4743 -x4745 -x4747 -x4749 -x4751 -x4753 -x4755 -x4757 -x4759 -x4761 -x4763 -x4765 -x111 -x4767 -x4769 -x4771 -x4773 -x4775 -x4777 -x4779 -x4781 -x4783 -x4785 -x4787 -x4789 -x4791 -x4793 -x4795 -x112 -x4797 -x4799 -x4801 -x4803 -x4805 -x4807 -x4809 -x4811 -x4813 -x4815 -x4817 -x4819 -x4821 -x4823 -x4825 -x113 -x4827 -x4829 -x4831 -x4833 -x4835 -x4837 -x4839 -x114 -x4841 -x4843 -x4845 -x4847 -x4849 -x4851 -x4853 -x4855 -x4857 -x4859 -x4861 -x4863 -x4865 -x4867 -x4869 -x115 -x4871 -x4873 -x4875 -x4877 -x4879 -x4881 -x4883 -x116 -x4885 -x4887 -x4889 -x4891 -x4893 -x4895 -x4897 -x117 -x4899 -x4901 -x118 -x4903 -x4905 -x4907 -x4909 -x4911 -x4913 -x4915 -x4917 -x4919 -x4921 -x4923 -x4925 -x4927 -x4929 -x4931 -x119 -x4933 -x4935 -x4937 -x4939 -x4941 -x4943 -x4945 -x120 -x4947 -x4949 -x4951 -x4953 -x4955 -x4957 -x4959 -x121 -x4961 -x4963 -x4965 -x122 -x4967 -x4969 -x4971 -x4973 -x4975 -x4977 -x4979 -x123 -x4981 -x4983 -x4985 -x124 -x4987 -x4989 -x4991 -x125 -x4993 -x4995 -x4997 -x4999 -x5001 -x5003 -x5005 -x5007 -x5009 -x5011 -x5013 -x5015 -x5017 -x5019 -x5021 -x5023 -x5025 -x5027 -x5029 -x5031 -x5033 -x5035 -x5037 -x5039 -x5041 -x5043 -x5045 -x5047 -x5049 -x5051 -x5053 -x5055 -x5057 -x5059 -x5061 -x5063 -x5065 -x5067 x5070 -x5072 -x5074 -x5076 -x5078 -x5080 -x5082 -x5084 -x5086 -x5088 -x5090 -x5092 -x5094 -x5096 -x5098 -x5100 -x5102 -x5104 -x5106 -x5108 -x5110 -x5112 -x5114 -x5116 -x5118 -x126 -x5120 -x5122 -x5124 -x5126 -x5128 -x5130 -x5132 -x5134 -x5136 -x5138 -x5140 -x5142 -x5144 -x5146 -x5148 -x5150 -x5152 -x5154 -x5156 -x5158 -x5160 -x5162 -x5164 -x5166 -x5168 -x5170 -x5172 -x5174 -x5176 -x5178 -x5180 -x127 -x5182 -x5184 -x5186 -x5188 -x5190 -x5192 -x5194 -x5196 -x5198 -x5200 -x5202 -x5204 -x5206 -x5208 -x5210 -x5212 -x5214 -x5216 -x5218 -x5220 -x5222 -x5224 -x5226 -x5228 -x5230 -x5232 -x5234 -x5236 -x5238 -x5240 -x5242 -x128 -x5244 -x5246 -x5248 -x5250 -x5252 -x5254 -x5256 -x5258 -x5260 -x5262 -x5264 -x5266 -x5268 -x5270 -x5272 -x129 -x5274 -x5276 -x5278 -x5280 -x5282 -x5284 -x5286 -x5288 -x5290 -x5292 -x5294 -x5296 -x5298 -x5300 -x5302 -x5304 -x5306 -x5308 -x5310 -x5312 -x5314 -x5316 -x5318 -x5321 -x5323 -x5325 -x5327 -x5329 -x5331 -x130 -x5333 -x5335 -x5337 -x5339 -x5341 -x5343 -x5345 -x5347 -x5349 -x5351 -x5353 -x5355 -x5357 -x5359 -x5361 -x131 -x5363 -x5365 -x5367 -x5369 -x5371 -x5373 -x5375 -x5377 -x5379 -x5381 -x5383 -x5385 -x5387 -x5389 -x5391 -x5393 -x5395 x5397 -x5399 -x5401 -x5403 -x5405 -x132 -x5407 -x5409 -x5411 -x5413 -x5415 -x5417 -x5419 -x5421 -x5423 -x5425 -x5427 -x5429 -x5431 -x5433 -x5435 -x133 -x5437 -x5439 -x5441 -x5443 -x5445 -x5447 -x5449 -x134 -x5451 -x5453 -x5455 -x5457 -x5459 -x5461 -x5463 -x5465 -x5467 -x5469 -x5471 -x5473 -x5475 -x5477 -x5479 -x5481 -x5483 -x5485 -x5487 -x5489 -x5491 -x5493 -x5495 -x5497 -x5499 -x5501 -x5503 -x5505 -x5507 -x5509 -x5511 -x135 -x5513 -x5515 -x5517 -x5519 -x5521 -x5523 -x5525 -x5527 -x5529 -x5531 -x5533 -x5535 -x5537 -x5539 -x5541 -x136 -x5543 -x5545 -x5547 -x5549 -x5551 -x5553 -x5555 -x5557 -x5559 -x5561 -x5563 -x5565 -x5567 -x5569 -x5571 -x137 -x5573 -x5575 -x5577 -x5579 -x5581 -x5583 -x5585 -x138 -x5587 -x5589 -x5591 -x5593 -x5595 -x5597 -x5599 -x5601 -x5603 -x5605 -x5607 -x5609 -x5611 -x5613 -x5615 -x139 -x5617 -x5619 -x5621 -x5623 -x5625 -x5627 -x5629 -x140 -x5631 -x5633 -x5635 -x5637 -x5639 -x5641 -x5643 -x141 -x5645 -x5647 -x5649 -x142 -x5651 -x5653 -x5655 -x5657 -x5659 -x5661 -x5663 -x5665 -x5667 -x5669 -x5671 -x5673 -x5675 -x5677 -x5679 -x5681 -x5683 -x5685 -x5687 -x5689 -x5691 -x5693 -x5695 -x5697 -x5699 -x5701 -x5703 -x5705 -x5707 -x5709 -x5711 -x143 -x5713 -x5715 -x5717 -x5719 -x5721 -x5723 -x5725 -x5727 -x5729 -x5731 -x5733 -x5735 -x5737 -x5739 -x5741 -x144 -x5743 -x5745 -x5747 -x5749 -x5751 -x5753 -x5755 -x5757 -x5759 -x5761 -x5763 -x5765 -x5767 -x5769 -x5771 -x145 -x5773 -x5775 -x5777 -x5779 -x5781 -x5783 -x5785 -x146 -x5787 -x5789 -x5791 -x5793 -x5795 -x5797 -x5799 -x5801 -x5803 -x5805 -x5807 -x5809 -x5811 -x5813 -x5815 -x147 -x5817 -x5819 -x5821 -x5823 -x5825 -x5827 -x5829 -x148 -x5831 -x5833 -x5835 -x5837 -x5839 -x5841 -x5843 -x149 -x5845 -x5847 -x5849 -x150 -x5851 -x5853 -x5855 -x5857 -x5859 -x5861 -x5863 -x5865 -x5867 -x5869 -x5871 -x5873 -x5875 -x5877 -x5879 -x5881 -x5883 -x5885 -x5887 -x5889 -x5892 -x5894 -x5896 -x5898 -x5900 -x5902 -x5904 -x5906 -x5908 -x5910 -x151 -x5912 -x5914 -x5916 -x5918 -x5920 -x5922 -x5924 -x5926 -x5928 -x5930 -x5932 -x5934 -x5936 -x5938 -x5940 -x152 -x5942 -x5944 -x5946 -x5948 -x5950 -x5952 -x5954 -x5956 -x5958 -x5960 -x5962 -x5964 -x5966 -x5968 -x5970 x153 -x5972 -x5974 -x5976 -x5978 -x5980 x5982 -x5984 -x154 -x5986 -x5988 -x5990 -x5992 -x5994 -x5996 -x5998 -x6000 -x6002 -x6004 -x6006 -x6008 -x6010 -x6012 -x6014 -x155 -x6016 -x6018 -x6020 -x6022 -x6024 -x6026 -x6028 -x156 -x6030 -x6032 -x6034 -x6036 -x6038 -x6040 -x6042 -x157 -x6044 -x6046 -x6048 -x158 -x6050 -x6052 -x6054 -x6056 -x6058 -x6060 -x6062 -x6064 -x6066 -x6068 -x6070 -x6072 -x6074 -x6076 -x6078 -x159 -x6080 -x6082 -x6084 -x6086 -x6088 -x6090 -x6092 -x160 -x6094 -x6096 -x6098 -x6100 -x6102 -x6104 -x6106 -x161 -x6108 -x6110 -x6112 -x162 -x6114 -x6116 -x6118 -x6120 -x6122 -x6124 -x6126 -x163 -x6128 -x6130 x6132 -x6134 -x6136 -x6138 -x164 -x6140 -x165 -x6142 -x6144 -x6146 -x6148 -x6150 -x6152 -x6154 -x6156 -x6158 -x6160 -x6162 -x6164 -x6166 -x6168 -x6170 -x6172 -x6174 -x6176 -x6178 -x6180 -x6182 -x6184 -x6186 -x6188 -x6190 -x6192 -x6194 -x6196 -x6198 -x6200 -x6202 -x6204 -x6206 -x6208 -x6210 -x6212 -x6214 -x6216 -x6218 -x6220 -x6222 -x6224 -x6226 -x6228 -x6230 -x6232 -x6234 -x6236 -x6238 -x6240 -x6242 -x6244 -x6246 -x6248 -x6250 -x6252 -x6254 -x6256 -x6258 -x6260 -x166 -x6262 -x6264 -x6266 -x6268 -x6270 -x6272 -x6274 -x6276 -x6278 -x6280 -x6282 -x6284 -x6286 -x6288 -x6290 -x6292 -x6294 -x6296 -x6298 -x6300 -x6302 -x6304 -x6306 -x6308 -x6310 -x6312 -x6314 -x6316 -x6318 -x6320 -x6322 -x167 -x6324 -x6326 -x6328 -x6330 -x6332 -x6334 -x6336 -x6338 -x6340 -x6342 -x6344 -x6346 -x6348 -x6350 -x6352 -x6354 -x6356 -x6358 -x6360 -x6362 -x6364 -x6366 -x6368 -x6370 -x6372 -x6374 -x6376 -x6378 -x6380 -x6382 -x6384 -x168 -x6386 -x6388 -x6390 -x6392 -x6394 -x6396 -x6398 -x6400 -x6402 -x6404 -x6406 -x6408 -x6410 -x6412 -x6414 -x6416 -x6418 -x6420 -x6422 -x6424 -x6426 -x6428 -x6430 -x6432 -x6434 -x6436 -x6438 -x6440 -x6442 -x6444 -x6446 -x6448 -x6450 x6452 -x6454 -x6456 -x6458 -x6460 -x6462 -x6465 -x6467 -x6469 -x6471 -x6473 -x169 -x6475 -x6477 -x6479 -x6481 -x6483 -x6485 -x6487 -x6489 -x6491 -x6493 -x6495 -x6497 -x6499 -x6501 x6503 -x6505 -x6507 -x6509 -x6511 -x6513 -x6515 -x6517 -x6519 -x6521 -x6523 -x6525 -x6527 -x6529 -x6531 -x6533 -x170 -x6535 -x6537 -x6539 -x6541 -x6543 -x6545 -x6547 -x171 -x6549 -x6551 -x6553 -x6555 -x6557 -x6559 -x6561 -x6563 -x6565 -x6567 -x6569 -x6571 -x6573 -x6575 -x6577 -x6579 -x6581 -x6583 -x6585 -x6587 -x6589 -x6591 -x6593 -x6595 -x6597 -x6599 -x6601 -x6603 -x6605 -x6607 -x6609 -x172 -x6611 -x6613 -x6615 -x6617 -x6619 -x6621 -x6623 -x6625 -x6627 -x6629 -x6631 -x6633 -x6635 -x6637 -x6639 -x173 -x6641 -x6643 -x6645 -x6647 -x6649 -x6651 -x6653 -x6655 -x6657 -x6659 -x6661 -x6663 -x6665 -x6667 -x6669 -x174 -x6671 -x6673 -x6675 -x6677 -x6679 -x6681 -x6683 -x175 -x6685 -x6687 -x6689 -x6691 -x6693 -x6695 -x6697 -x6699 -x6701 -x6703 -x6705 -x6707 -x6709 -x6711 -x6713 -x176 -x6715 -x6717 -x6719 -x6721 -x6723 -x6725 -x6727 -x177 -x6729 -x6731 -x6733 -x6735 -x6737 -x6739 -x6741 -x178 -x6743 -x6745 -x6747 -x179 -x6749 -x6751 -x6753 -x6755 -x6757 -x6759 -x6761 -x6763 -x6765 -x6767 -x6769 -x6771 -x6773 -x6775 -x6777 -x6779 -x6781 -x6783 -x6785 -x6787 -x6789 -x6791 -x6793 -x6795 -x6797 -x6799 -x6801 -x6803 -x6805 -x6807 -x6809 -x6811 -x6813 x6815 -x6817 -x6819 -x6821 -x6823 -x6825 -x6827 -x6829 -x6831 -x6833 -x6835 -x6837 -x6839 -x6841 -x6843 x6845 -x6847 -x6849 -x6851 -x6853 -x6855 -x6857 -x6859 -x6861 -x6863 -x6865 -x6867 -x180 -x6869 -x6871 -x6873 -x6875 -x6877 -x6879 -x6881 -x181 -x6883 -x6885 -x6887 -x6889 -x6891 -x6893 -x6895 -x6897 -x6899 -x6901 -x6903 -x6905 -x6907 -x6909 -x6911 -x182 -x6913 -x6915 -x6917 -x6919 -x6921 -x6923 -x183 -x6925 -x6927 -x6929 -x6931 -x6933 -x6935 -x6937 -x184 -x6939 -x6941 -x6943 -x185 -x6945 -x6947 -x6949 -x6951 -x6953 -x6955 -x6957 -x6959 -x6961 -x6963 -x6965 -x6967 -x6969 -x6971 -x6973 -x186 -x6975 -x6977 -x6979 -x6981 -x6983 -x6985 -x6987 -x187 -x6989 -x6991 -x6993 -x6995 -x6997 -x6999 -x7001 -x188 -x7003 -x7005 -x189 -x7007 -x7009 -x7011 -x7013 -x7015 -x7017 -x7019 -x190 -x7021 -x7023 -x7025 -x191 -x7027 -x7029 -x7031 -x192 -x7033 -x193 -x7035 -x7037 -x7039 -x7041 -x7043 -x7045 -x7047 -x7049 -x7051 -x7053 -x7055 -x7057 -x7059 -x7061 -x7063 -x7065 -x7067 -x7069 -x7071 -x7073 -x7075 -x7077 -x7079 -x7081 -x7084 -x7086 -x7088 -x194 -x7090 -x7092 -x7094 -x7096 -x7098 -x7100 -x7102 -x7104 -x7106 -x7108 -x7110 -x7112 -x7114 -x7116 -x7118 -x195 -x7120 -x7122 -x7124 -x7126 -x7128 -x7130 -x7132 -x7134 -x7136 -x7138 -x7140 -x7142 -x7144 -x7146 -x7148 -x196 -x7150 -x7152 -x7154 -x7156 -x7158 -x7160 -x7162 -x197 -x7164 -x7166 -x7168 -x7170 -x7172 -x7174 -x7176 -x7178 -x7180 -x7182 -x7184 -x7186 -x7188 -x7190 -x7192 -x198 -x7194 -x7196 -x7198 -x7200 -x7202 -x7204 -x7206 -x199 -x7208 -x7210 -x7212 -x7214 -x7216 -x7218 -x7220 -x200 -x7222 -x7224 -x7226 -x201 -x7228 -x7230 -x7232 -x7234 -x7236 -x7238 -x7240 -x7242 -x7244 -x7246 -x7248 -x7250 -x7252 -x7254 -x7256 -x202 -x7258 -x7260 -x7262 -x7264 -x7266 -x7268 -x7270 -x203 -x7272 -x7274 -x7276 -x7278 -x7280 -x7282 -x7284 -x204 -x7286 -x7288 x7290 -x7292 -x7294 -x7296 -x7298 -x7300 -x7302 -x7304 -x205 -x7306 -x7308 -x7310 -x206 -x7312 -x7314 -x7316 -x207 -x7318 -x208 -x7320 -x7322 -x7324 -x7326 -x7328 -x7330 -x7332 -x7334 -x7336 -x7338 -x7340 -x7342 -x7344 -x209 -x7346 -x7348 -x7350 -x7352 -x7354 -x7356 -x7358 x210 -x7360 -x7362 -x7364 -x7366 -x7368 x7370 -x7372 -x211 -x7374 -x7376 -x7378 -x7380 x7382 -x7384 -x7386 -x7388 -x7390 -x7392 -x212 -x7394 -x7396 -x213 -x7398 -x7400 -x7402 -x214 -x7404 -x215 -x7406 -x7408 -x7410 -x7412 -x7414 -x7416 -x216 -x7418 -x7420 -x7422 -x217 -x7424 -x7426 x7428 x218 -x7430 x7432 x7434 x219 x7436 x220 x221

Verifier Data 

OK	26

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-4112768-1466564714/watcher-4112768-1466564714 -o /tmp/evaluation-result-4112768-1466564714/solver-4112768-1466564714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466551497-19417 --watchdog 1960 minisatp HOME/instance-4112768-1466564714.opb 

pid=21885
running on 4 cores: 1,3,5,7

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.02 2.08 2.08 3/176 21888
/proc/meminfo: memFree=31374768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=7552 CPUtime=0 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 593 0 0 0 0 0 0 0 20 0 1 0 58516825 7733248 470 33554432000 4194304 5646918 140733998557760 140733552658632 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 1888 470 94 355 0 1529 0

[startup+0.100164 s]
/proc/loadavg: 2.02 2.08 2.08 3/176 21888
/proc/meminfo: memFree=31374768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=13136 CPUtime=0.09 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 1952 0 0 0 9 0 0 0 20 0 1 0 58516825 13451264 1829 33554432000 4194304 5646918 140733998557760 140733552658632 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 3284 1830 94 355 0 2925 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13136

[startup+0.200447 s]
/proc/loadavg: 2.02 2.08 2.08 3/176 21888
/proc/meminfo: memFree=31374768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=18692 CPUtime=0.19 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 3329 0 0 0 19 0 0 0 20 0 1 0 58516825 19140608 3206 33554432000 4194304 5646918 140733998557760 140733552658632 4251320 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 4673 3206 94 355 0 4314 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18692

[startup+0.300292 s]
/proc/loadavg: 2.02 2.08 2.08 3/176 21888
/proc/meminfo: memFree=31374768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=24376 CPUtime=0.29 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 4934 0 0 0 28 1 0 0 20 0 1 0 58516825 24961024 4738 33554432000 4194304 5646918 140733998557760 140733552658632 4819660 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 6094 4738 119 355 0 5735 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24376

[startup+0.700232 s]
/proc/loadavg: 2.02 2.08 2.08 3/176 21888
/proc/meminfo: memFree=31374768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=21404 CPUtime=0.69 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 5301 0 0 0 68 1 0 0 20 0 1 0 58516825 21917696 5003 33554432000 4194304 5646918 140733998557760 140733998556424 4460902 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 5351 5003 137 355 0 4992 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21404

[startup+1.50023 s]
/proc/loadavg: 2.02 2.08 2.08 4/177 21889
/proc/meminfo: memFree=31354788/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=21404 CPUtime=1.49 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 5301 0 0 0 148 1 0 0 20 0 1 0 58516825 21917696 5003 33554432000 4194304 5646918 140733998557760 140733998556424 4344949 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 5351 5003 137 355 0 4992 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21404

[startup+3.10023 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 21889
/proc/meminfo: memFree=31354300/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=22204 CPUtime=3.09 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 5500 0 0 0 308 1 0 0 20 0 1 0 58516825 22736896 5202 33554432000 4194304 5646918 140733998557760 140733998195480 4817515 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 5551 5202 137 355 0 5192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22204

[startup+6.30028 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 21889
/proc/meminfo: memFree=31328268/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=55948 CPUtime=6.29 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 8761 0 0 0 627 2 0 0 20 0 1 0 58516825 57290752 12022 33554432000 4194304 5646918 140733998557760 140733998556056 4416598 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 13987 12022 186 355 0 13628 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55948

[startup+12.7003 s]
/proc/loadavg: 2.02 2.08 2.08 3/177 21889
/proc/meminfo: memFree=31311812/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=67624 CPUtime=12.69 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 9325 0 0 0 1267 2 0 0 20 0 1 0 58516825 69246976 15650 33554432000 4194304 5646918 140733998557760 140733998556424 4460932 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 16906 15650 186 355 0 16547 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67624

[startup+25.5004 s]
/proc/loadavg: 2.01 2.07 2.08 3/177 21889
/proc/meminfo: memFree=31293768/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=85892 CPUtime=25.48 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 11956 0 0 0 2545 3 0 0 20 0 1 0 58516825 87953408 20274 33554432000 4194304 5646918 140733998557760 140733998556008 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 21473 20274 187 355 0 21114 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85892

[startup+51.1004 s]
/proc/loadavg: 2.01 2.07 2.08 3/177 21889
/proc/meminfo: memFree=31298116/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=98036 CPUtime=51.08 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 12568 0 0 0 5104 4 0 0 20 0 1 0 58516825 100388864 19700 33554432000 4194304 5646918 140733998557760 140733998556008 4388978 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 24509 19700 187 355 0 24150 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98036

[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.08 3/177 21890
/proc/meminfo: memFree=31293744/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=98036 CPUtime=102.29 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 13529 0 0 0 10222 7 0 0 20 0 1 0 58516825 100388864 19700 33554432000 4194304 5646918 140733998557760 140733998556472 4403411 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 24509 19700 187 355 0 24150 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 98036

[startup+162.3 s]
/proc/loadavg: 2.11 2.08 2.08 3/177 21891
/proc/meminfo: memFree=31252184/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=147356 CPUtime=162.27 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 15081 0 0 0 16217 10 0 0 20 0 1 0 58516825 150892544 30161 33554432000 4194304 5646918 140733998557760 140733998556056 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 36839 30161 187 355 0 36480 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 147356

[startup+222.307 s]
/proc/loadavg: 2.17 2.11 2.09 4/177 21892
/proc/meminfo: memFree=31262944/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=110152 CPUtime=222.26 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 17067 0 0 0 22214 12 0 0 20 0 1 0 58516825 112795648 27254 33554432000 4194304 5646918 140733998557760 140733998556472 4402849 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 27538 27254 187 355 0 27179 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 110152

[startup+282.3 s]
/proc/loadavg: 2.11 2.10 2.09 3/177 21894
/proc/meminfo: memFree=31223808/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=282.24 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 18389 0 0 0 28209 15 0 0 20 0 1 0 58516825 163299328 37203 33554432000 4194304 5646918 140733998557760 140733998556056 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 37203 187 355 0 39509 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 159472

[startup+342.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/178 21898
/proc/meminfo: memFree=31263388/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=110152 CPUtime=342.23 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 19692 0 0 0 34205 18 0 0 20 0 1 0 58516825 112795648 27254 33554432000 4194304 5646918 140733998557760 140733998556472 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 27538 27254 187 355 0 27179 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 110152

[startup+402.3 s]
/proc/loadavg: 2.01 2.06 2.08 4/177 21899
/proc/meminfo: memFree=31268152/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=110152 CPUtime=402.22 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 20667 0 0 0 40201 21 0 0 20 0 1 0 58516825 112795648 27261 33554432000 4194304 5646918 140733998557760 140733998556472 4402880 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 27538 27261 187 355 0 27179 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 110152

[startup+462.3 s]
/proc/loadavg: 2.08 2.07 2.08 3/177 21900
/proc/meminfo: memFree=31220364/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=462.21 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 21394 0 0 0 46198 23 0 0 20 0 1 0 58516825 163299328 38746 33554432000 4194304 5646918 140733998557760 140733998556056 4402781 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 38746 187 355 0 39509 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 159472

[startup+522.3 s]
/proc/loadavg: 2.07 2.07 2.08 3/177 21901
/proc/meminfo: memFree=31226636/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=522.2 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 22118 0 0 0 52195 25 0 0 20 0 1 0 58516825 163299328 37210 33554432000 4194304 5646918 140733998557760 140733998556056 4403047 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 37210 187 355 0 39509 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 159472

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.07 4/176 21902
/proc/meminfo: memFree=31228696/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=582.19 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 22842 0 0 0 58192 27 0 0 20 0 1 0 58516825 163299328 36186 33554432000 4194304 5646918 140733998557760 140733998556056 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 36186 187 355 0 39509 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 159472


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


[startup+942.3 s]
/proc/loadavg: 2.01 2.04 2.06 4/178 21913
/proc/meminfo: memFree=31222348/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=942.14 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 30899 0 0 0 94171 43 0 0 20 0 1 0 58516825 163299328 35675 33554432000 4194304 5646918 140733998557760 140733998556056 4403173 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 35675 188 355 0 39509 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 159472

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/177 21914
/proc/meminfo: memFree=31218256/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=159472 CPUtime=1002.13 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 31400 0 0 0 100168 45 0 0 20 0 1 0 58516825 163299328 36699 33554432000 4194304 5646918 140733998557760 140733998556056 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 39868 36699 188 355 0 39509 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 159472

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/177 21915
/proc/meminfo: memFree=31235700/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=110152 CPUtime=1062.12 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 31891 0 0 0 106166 46 0 0 20 0 1 0 58516825 112795648 27262 33554432000 4194304 5646918 140733998557760 140733998556472 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 27538 27262 188 355 0 27179 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 110152

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/177 21916
/proc/meminfo: memFree=31231824/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=110152 CPUtime=1122.11 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 33560 0 0 0 112162 49 0 0 20 0 1 0 58516825 112795648 27262 33554432000 4194304 5646918 140733998557760 140733998556472 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 27538 27262 188 355 0 27179 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 110152

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/177 21917
/proc/meminfo: memFree=31231372/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=129112 CPUtime=1182.09 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 35102 0 0 0 118157 52 0 0 20 0 1 0 58516825 132210688 27381 33554432000 4194304 5646918 140733998557760 140733998556472 4402811 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 32278 27381 188 355 0 31919 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 129112

[startup+1242.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/177 21919
/proc/meminfo: memFree=31208608/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=178432 CPUtime=1242.09 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 36679 0 0 0 124154 55 0 0 20 0 1 0 58516825 182714368 36306 33554432000 4194304 5646918 140733998557760 140733998556056 4403116 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 44608 36306 188 355 0 44249 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 178432

[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.05 3/177 22032
/proc/meminfo: memFree=31205596/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=178432 CPUtime=1302.08 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 38355 0 0 0 130149 59 0 0 20 0 1 0 58516825 182714368 36825 33554432000 4194304 5646918 140733998557760 140733998556056 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 44608 36825 188 355 0 44249 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 178432

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/177 22033
/proc/meminfo: memFree=31100148/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=129112 CPUtime=1362.06 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 39784 0 0 0 136145 61 0 0 20 0 1 0 58516825 132210688 27900 33554432000 4194304 5646918 140733998557760 140733998556472 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 32278 27900 188 355 0 31919 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 129112

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.04 3/176 22034
/proc/meminfo: memFree=30954940/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=178432 CPUtime=1422.06 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 40508 0 0 0 142143 63 0 0 20 0 1 0 58516825 182714368 39897 33554432000 4194304 5646918 140733998557760 140733998556056 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 44608 39897 188 355 0 44249 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 178432

[startup+1482.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/177 22036
/proc/meminfo: memFree=31036520/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=180580 CPUtime=1482.05 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 42010 0 0 0 148139 66 0 0 20 0 1 0 58516825 184913920 40952 33554432000 4194304 5646918 140733998557760 140733998556056 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 45145 40952 188 355 0 44786 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 180580

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 2.04 3/178 22041
/proc/meminfo: memFree=30950820/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=180580 CPUtime=1542.04 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 42736 0 0 0 154136 68 0 0 20 0 1 0 58516825 184913920 40952 33554432000 4194304 5646918 140733998557760 140733998556056 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 45145 40952 188 355 0 44786 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 180580

[startup+1602.3 s]
/proc/loadavg: 2.18 2.08 2.05 3/177 22042
/proc/meminfo: memFree=31129612/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=131260 CPUtime=1602.04 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 43230 0 0 0 160133 71 0 0 20 0 1 0 58516825 134410240 32539 33554432000 4194304 5646918 140733998557760 140733998556472 4403450 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 32815 32539 188 355 0 32456 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 131260

[startup+1662.3 s]
/proc/loadavg: 2.18 2.10 2.06 4/178 22044
/proc/meminfo: memFree=30983988/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=180580 CPUtime=1662.03 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 45126 0 0 0 166128 75 0 0 20 0 1 0 58516825 184913920 40952 33554432000 4194304 5646918 140733998557760 140733998556056 4403372 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 45145 40952 188 355 0 44786 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 180580

[startup+1722.3 s]
/proc/loadavg: 2.11 2.09 2.06 3/177 22045
/proc/meminfo: memFree=30910464/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=180580 CPUtime=1722.01 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 45978 0 0 0 172125 76 0 0 20 0 1 0 58516825 184913920 42488 33554432000 4194304 5646918 140733998557760 140733998556056 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 45145 42488 188 355 0 44786 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 180580

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.05 3/177 22046
/proc/meminfo: memFree=31113944/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=180580 CPUtime=1782 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 46770 0 0 0 178122 78 0 0 20 0 1 0 58516825 184913920 40952 33554432000 4194304 5646918 140733998557760 140733998556056 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 45145 40952 188 355 0 44786 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 180580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.08 2.05 3/176 22046
/proc/meminfo: memFree=31119348/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=131260 CPUtime=1800 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 46944 0 0 0 179922 78 0 0 20 0 1 0 58516825 134410240 32539 33554432000 4194304 5646918 140733998557760 140733998556056 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 32815 32539 188 355 0 32456 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 131260

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 21888 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.08 2.08 2.05 3/176 22046
/proc/meminfo: memFree=31119348/32872528 swapFree=497380/530084
[pid=21888] ppid=21885 vsize=131260 CPUtime=1800 cores=1,3,5,7
/proc/21888/stat : 21888 (minisatp) R 21885 21888 19400 0 -1 4202496 46944 0 0 0 179922 78 0 0 20 0 1 0 58516825 134410240 32539 33554432000 4194304 5646918 140733998557760 140733998556056 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/21888/statm: 32815 32539 188 355 0 32456 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 131260

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.22
CPU system time (s): 0.789879
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 211400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.789879
maximum resident set size= 186604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46944
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= 23
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66568 second user time and 11.1783 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-22 05:05:14
IDJOB=4112768
IDBENCH=24984
IDSOLVER=2555
FILE ID=node141/4112768-1466564714
RUNJOBID= node141-1466551497-19417
PBS_JOBID= 19943327
Free space on /tmp= 71724 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112768-1466564714/watcher-4112768-1466564714 -o /tmp/evaluation-result-4112768-1466564714/solver-4112768-1466564714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466551497-19417 --watchdog 1960  minisatp HOME/instance-4112768-1466564714.opb

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

MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847
RANDOM SEED=380428935

node141.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		: 2666.547
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	: 5333.09
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		: 2666.547
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		: 2666.547
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.54
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		: 2666.547
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.55
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		: 2666.547
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.56
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		: 2666.547
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.55
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		: 2666.547
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.55
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		: 2666.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31374940 kB
Buffers:           67964 kB
Cached:            94420 kB
SwapCached:         4168 kB
Active:           121604 kB
Inactive:         110112 kB
Active(anon):      66468 kB
Inactive(anon):     5448 kB
Active(file):      55136 kB
Inactive(file):   104664 kB
Unevictable:      530084 kB
Mlocked:          497380 kB
SwapTotal:      67108856 kB
SwapFree:       67097628 kB
Dirty:              4732 kB
Writeback:             0 kB
AnonPages:        596852 kB
Mapped:             9472 kB
Shmem:                 0 kB
Slab:             605056 kB
SReclaimable:      48248 kB
SUnreclaim:       556808 kB
KernelStack:        1424 kB
PageTables:         5264 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     713528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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-4112768-1466564714.opb

Free space on /tmp at the end= 71720 MiB
End job on node141 at 2016-06-22 05:35:14