Trace number 3291190

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 NameAnswerCPU timeWall clock time
sathys 2011-04-01SAT 178.89 178.901

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05F20.cnf
MD5SUM82462bfc10e506c60d6bdf35a0143bf9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7966
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses481346
Sum of the clauses size3851671
Maximum clause length78
Minimum clause length1
Number of clauses of size 121
Number of clauses of size 227486
Number of clauses of size 322736
Number of clauses of size 418300
Number of clauses of size 542820
Number of clauses of size over 5369983

Solver Data 

0.00/0.00	static
0.00/0.00	HOME/instance-3291190-1303779395.cnf
0.00/0.00	c Parsing...
0.00/0.33	c ==============================================================================
0.00/0.33	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.33	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.33	c ==============================================================================
0.00/0.33	c |         0 |  480905  3850789 |  144271       0        0     nan |  0.000 % |
3.09/3.51	c |         0 |  468974  3645356 |      --       0       --      -- |     --   | -1472/21208
4.06/4.32	c ==============================================================================
4.06/4.32	c Result  :   #vars: 8908   #clauses: 468974   #literals: 3645356
4.06/4.32	c CPU time:   3.47247 s
4.06/4.32	c ==============================================================================
4.78/4.90	c 
4.78/4.90	c seed = 0, numatom = 8908, numclause = 446040, numliterals = 3645356
4.78/4.90	c ---------------------------------------------------------------------------------------------------------------------------------------------
4.78/4.90	c | resCDCL |    tps  |   #impl |  #learnt |  #conf |  #clean |    #propa |   #deci ||  tryLS | numflip |  maxSat/maxNoBi |  nbAlea |    Equi |
4.78/4.90	c ---------------------------------------------------------------------------------------------------------------------------------------------
5.47/5.58	c |       2 |     0.7 |       0 |      496 |    198 |       1 |    242748 |    6091 ||      2 |   15736 |     126/     81 |     315 |       0 |
5.87/5.90	c |       4 |     0.3 |       0 |     1022 |    298 |       2 |    463067 |   13391 ||      4 |   26703 |     120/     49 |     714 |       0 |
6.17/6.22	c |       6 |     0.3 |       0 |     1615 |    189 |       3 |    752525 |   19688 ||      6 |   37491 |     120/     49 |    1123 |       0 |
6.47/6.59	c |       7 |     0.4 |       0 |     2222 |    391 |       4 |   1064905 |   27240 ||      7 |   49482 |     120/     42 |    1639 |       0 |
7.07/7.11	c |      11 |     0.5 |       0 |     2839 |    290 |       5 |   1461772 |   37129 ||     11 |   64969 |     110/     42 |    2277 |       0 |
7.67/7.72	c |      14 |     0.6 |       0 |     3589 |    488 |       6 |   1950763 |   51289 ||     14 |   87309 |     110/     42 |    3199 |       0 |
8.17/8.23	c |      15 |     0.5 |       0 |     4479 |    988 |       7 |   2418505 |   64833 ||     15 |  108418 |     110/     42 |    4224 |       0 |
8.57/8.61	c |      16 |     0.4 |       0 |     5190 |     88 |       8 |   2876770 |   74098 ||     16 |  118114 |     108/     42 |    4426 |       0 |
9.28/9.32	c |      21 |     0.7 |       0 |     5790 |     83 |       9 |   3510827 |   88870 ||     21 |  140818 |      84/     32 |    5375 |       0 |
9.88/9.93	c |      25 |     0.6 |       0 |     6483 |    181 |      10 |   4119965 |  104882 ||     25 |  165709 |      84/     32 |    6443 |       0 |
10.68/10.76	c |      29 |     0.8 |       0 |     7262 |    573 |      11 |   4723877 |  121693 ||     29 |  196337 |      84/     32 |    7538 |       0 |
11.48/11.56	c |      30 |     0.8 |       0 |     8058 |    375 |      12 |   5528701 |  135067 ||     30 |  217493 |      81/     27 |    8545 |       0 |
12.38/12.42	c |      31 |     0.9 |       0 |     8657 |   2077 |      13 |   6275162 |  151938 ||     31 |  256885 |      63/     19 |   10477 |       0 |
12.58/12.69	c |      31 |     0.3 |       0 |     9112 |   1477 |      14 |   6798267 |  158385 ||     31 |  263519 |      63/     19 |   10528 |       0 |
13.58/13.68	c |      38 |     1.0 |       0 |     9449 |    369 |      15 |   7561831 |  178806 ||     38 |  298862 |      63/     19 |   12046 |       0 |
14.48/14.57	c |      44 |     0.9 |       0 |    10179 |    260 |      16 |   8406822 |  199603 ||     44 |  329990 |      63/     19 |   13111 |       0 |
15.38/15.43	c |      46 |     0.9 |       0 |    10994 |    258 |      17 |   9384401 |  219318 ||     46 |  366893 |      63/     19 |   14645 |       0 |
16.18/16.28	c |      53 |     0.8 |       2 |    11776 |    253 |      18 |  10285246 |  241266 ||     53 |  398027 |      77/     44 |   16171 |       0 |
17.28/17.30	c |      59 |     1.0 |       2 |    12693 |    141 |      19 |  11263460 |  265695 ||     59 |  433957 |      54/     19 |   17339 |       0 |
18.28/18.34	c |      61 |     1.0 |       2 |    13822 |    738 |      20 |  12196859 |  285747 ||     61 |  464505 |      54/     17 |   18853 |       0 |
19.28/19.35	c |      62 |     1.0 |       2 |    15073 |    838 |      21 |  13078161 |  308664 ||     62 |  497799 |      54/     17 |   20850 |       0 |
20.48/20.58	c |      63 |     1.2 |       2 |    15947 |   3440 |      22 |  14100206 |  337933 ||     63 |  546813 |      54/     13 |   24547 |       0 |
21.38/21.46	c |      63 |     0.9 |       2 |    16677 |   1340 |      23 |  15034192 |  362397 ||     63 |  580829 |      54/     13 |   24873 |       0 |
22.38/22.41	c |      67 |     0.9 |       2 |    17274 |     34 |      24 |  16067571 |  378959 ||     67 |  598597 |      54/     13 |   25528 |       0 |
23.78/23.81	c |      76 |     1.4 |       2 |    17873 |     19 |      25 |  17312884 |  403605 ||     76 |  642314 |      54/     13 |   27420 |       0 |
24.88/24.96	c |      81 |     1.1 |       2 |    18559 |    115 |      26 |  18473978 |  429124 ||     81 |  680054 |      54/     13 |   29384 |       0 |
26.48/26.57	c |      90 |     1.6 |       2 |    19642 |      6 |      27 |  19828343 |  457419 ||     90 |  728279 |      54/     13 |   31231 |       0 |
28.07/28.14	c |      94 |     1.6 |       2 |    20708 |   1098 |      28 |  21079514 |  484961 ||     94 |  777125 |      54/     13 |   34709 |       0 |
29.27/29.33	c |      96 |     1.2 |       2 |    22052 |     89 |      29 |  22321329 |  505891 ||     96 |  809373 |      54/     13 |   35227 |       0 |
30.87/30.93	c |     107 |     1.6 |       2 |    23632 |    272 |      30 |  23746934 |  535545 ||    107 |  857925 |      28/     13 |   37499 |       0 |
32.38/32.45	c |     113 |     1.5 |       2 |    24768 |    261 |      31 |  25166773 |  566075 ||    113 |  903058 |      28/     13 |   39673 |       0 |
34.17/34.27	c |     123 |     1.8 |       2 |    25921 |     52 |      32 |  26672448 |  596950 ||    123 |  956846 |      28/     13 |   42063 |       0 |
36.17/36.21	c |     125 |     1.9 |       2 |    26630 |    150 |      33 |  28229847 |  628830 ||    125 | 1012706 |      28/     13 |   45033 |       0 |
38.07/38.19	c |     126 |     2.0 |       2 |    27272 |   3951 |      34 |  29804365 |  663472 ||    126 | 1075952 |      28/     13 |   48784 |       0 |
39.07/39.10	c |     126 |     0.9 |       2 |    28090 |   3049 |      35 |  31339569 |  680692 ||    126 | 1093811 |      28/     13 |   48956 |       0 |
41.77/41.84	c |     127 |     2.7 |       2 |    28478 |   7053 |      36 |  33224229 |  727334 ||    127 | 1190525 |      28/      5 |   56237 |       0 |
43.38/43.50	c |     127 |     1.6 |       2 |    28996 |   1553 |      37 |  34822341 |  756411 ||    127 | 1245782 |      28/      5 |   56750 |       0 |
44.27/44.35	c |     127 |     0.9 |       2 |    29160 |   5758 |      38 |  36190818 |  766845 ||    127 | 1245782 |      28/      5 |   56750 |       0 |
46.27/46.31	c |     140 |     2.0 |       2 |    29417 |    145 |      39 |  37996471 |  798219 ||    140 | 1297662 |      28/      5 |   59203 |       0 |
48.17/48.29	c |     149 |     2.0 |       2 |    30309 |    235 |      40 |  39742154 |  832691 ||    149 | 1353380 |      28/      5 |   62159 |       0 |
50.37/50.47	c |     157 |     2.2 |       2 |    31099 |    523 |      41 |  41625916 |  869454 ||    157 | 1413272 |      28/      5 |   64677 |       0 |
52.37/52.46	c |     163 |     2.0 |       2 |    31858 |     19 |      42 |  43440162 |  897278 ||    163 | 1463532 |      28/      5 |   67319 |       0 |
54.67/54.71	c |     173 |     2.2 |       2 |    32528 |    205 |      43 |  45472843 |  938471 ||    173 | 1530248 |      28/      5 |   70561 |       0 |
56.77/56.85	c |     187 |     2.2 |       2 |    34626 |    398 |      44 |  47479914 |  974847 ||    187 | 1590018 |      28/      5 |   73510 |       0 |
59.07/59.17	c |     189 |     2.3 |       2 |    36398 |   1094 |      45 |  49538140 | 1008852 ||    189 | 1648748 |      28/      5 |   76451 |       0 |
61.67/61.78	c |     190 |     2.6 |       2 |    37813 |   1293 |      46 |  51824837 | 1043502 ||    190 | 1709610 |      28/      5 |   80213 |       0 |
63.57/63.62	c |     200 |     1.8 |       2 |    38779 |    176 |      47 |  53775827 | 1072181 ||    200 | 1751152 |      28/      5 |   82171 |       0 |
66.48/66.59	c |     212 |     3.0 |       2 |    40488 |    563 |      48 |  56150751 | 1113652 ||    212 | 1823385 |      28/      5 |   85620 |       0 |
69.07/69.11	c |     221 |     2.5 |       2 |    41846 |   1645 |      49 |  58360393 | 1153383 ||    221 | 1889821 |      28/      5 |   89809 |       0 |
71.37/71.40	c |     231 |     2.3 |       2 |    42294 |     28 |      50 |  60495373 | 1187721 ||    231 | 1946504 |      28/      5 |   91919 |       0 |
73.97/74.05	c |     243 |     2.7 |       3 |    43433 |    112 |      51 |  62835968 | 1225394 ||    243 | 2012368 |      28/     15 |   95315 |       0 |
76.67/76.74	c |     252 |     2.7 |       3 |    44719 |   2098 |      52 |  65108745 | 1266491 ||    252 | 2087224 |      28/     15 |   99584 |       0 |
79.37/79.45	c |     253 |     2.7 |       3 |    45969 |    599 |      53 |  67647149 | 1307612 ||    253 | 2159831 |      28/     13 |  103445 |       0 |
81.97/82.02	c |     254 |     2.6 |       3 |    46191 |   6402 |      54 |  69957817 | 1343824 ||    254 | 2236436 |      28/     13 |  110529 |       0 |
84.57/84.64	c |     254 |     2.6 |       3 |    46948 |   2700 |      55 |  72424773 | 1376594 ||    254 | 2292473 |      28/     13 |  111019 |       0 |
87.67/87.74	c |     255 |     3.1 |       3 |    47324 |   8702 |      56 |  75062173 | 1410250 ||    255 | 2361765 |      28/     13 |  124437 |       0 |
91.47/91.53	c |     255 |     3.8 |       3 |    46855 |   6101 |      57 |  78106836 | 1466025 ||    255 | 2461714 |      28/     13 |  125377 |       0 |
94.47/94.50	c |     255 |     3.0 |       3 |    46239 |   1802 |      58 |  80779619 | 1502061 ||    255 | 2520966 |      28/     13 |  125986 |       0 |
95.57/95.60	c |     255 |     1.1 |       3 |    44761 |   8103 |      59 |  82882128 | 1511675 ||    255 | 2520966 |      28/     13 |  125986 |       0 |
97.28/97.33	c |     262 |     1.7 |       3 |    44501 |    298 |      60 |  85207690 | 1532201 ||    262 | 2544207 |      28/     13 |  127387 |       0 |
100.48/100.52	c |     277 |     3.2 |       3 |    44282 |    381 |      61 |  88033934 | 1578964 ||    277 | 2623310 |      28/     13 |  131288 |       0 |
103.97/104.05	c |     286 |     3.5 |       3 |    46188 |    355 |      62 |  91009484 | 1623133 ||    286 | 2706179 |      28/     13 |  135640 |       0 |
106.97/107.08	c |     301 |     3.0 |       3 |    47683 |   1033 |      63 |  94068880 | 1663445 ||    301 | 2771984 |      28/     13 |  139451 |       0 |
110.77/110.89	c |     316 |     3.8 |       3 |    49754 |    195 |      64 |  97120535 | 1708501 ||    316 | 2849009 |      28/     13 |  143331 |       0 |
114.67/114.78	c |     318 |     3.9 |       3 |    51858 |   4692 |      65 | 100127528 | 1758982 ||    318 | 2952040 |      28/     13 |  149045 |       0 |
117.57/117.69	c |     331 |     2.9 |       3 |    53562 |    162 |      66 | 103080340 | 1793388 ||    331 | 3003211 |      28/     13 |  151490 |       0 |
121.48/121.54	c |     347 |     3.9 |       3 |    55904 |    534 |      67 | 106028613 | 1845965 ||    347 | 3097375 |      28/     13 |  155947 |       0 |
125.17/125.28	c |     356 |     3.7 |       3 |    56976 |    521 |      68 | 109316809 | 1892415 ||    356 | 3170500 |      28/     13 |  160244 |       0 |
128.97/129.05	c |     373 |     3.8 |       3 |    58342 |     89 |      69 | 112378944 | 1932362 ||    373 | 3244476 |      28/     13 |  164236 |       0 |
132.77/132.86	c |     381 |     3.8 |       3 |    59188 |   2177 |      70 | 115456057 | 1974441 ||    381 | 3326092 |      28/     10 |  171631 |       0 |
136.17/136.21	c |     382 |     3.3 |       3 |    60323 |   4877 |      71 | 118335323 | 2012487 ||    382 | 3400324 |      28/     10 |  178714 |       0 |
139.87/139.94	c |     382 |     3.7 |       3 |    61839 |   2876 |      72 | 121202079 | 2055611 ||    382 | 3484632 |      28/     10 |  179448 |       0 |
142.77/142.86	c |     396 |     2.9 |       3 |    61588 |    367 |      73 | 124062517 | 2092400 ||    396 | 3537729 |      28/     10 |  182281 |       0 |
147.07/147.18	c |     412 |     4.3 |       3 |    63154 |   1136 |      74 | 127486373 | 2146784 ||    412 | 3631471 |      28/     10 |  187130 |       0 |
151.07/151.18	c |     426 |     4.0 |       4 |    64414 |     18 |      75 | 130761534 | 2195863 ||    426 | 3712139 |      74/     25 |  191434 |       0 |
155.77/155.87	c |     443 |     4.7 |       4 |    65394 |    986 |      76 | 134078243 | 2244710 ||    443 | 3804056 |      40/     22 |  196618 |       0 |
160.07/160.11	c |     445 |     4.2 |       4 |    66266 |    681 |      77 | 137562384 | 2294219 ||    445 | 3886131 |      40/     17 |  202245 |       0 |
163.67/163.72	c |     460 |     3.6 |       4 |    67804 |     61 |      78 | 140829285 | 2337430 ||    460 | 3960240 |      40/     17 |  206158 |       0 |
168.28/168.37	c |     476 |     4.7 |       4 |    69978 |   1941 |      79 | 144570245 | 2390469 ||    476 | 4058306 |      40/     17 |  211831 |       0 |
173.27/173.30	c |     491 |     4.9 |       4 |    70883 |    701 |      80 | 148248517 | 2436936 ||    491 | 4140144 |      40/     17 |  215699 |       0 |
178.77/178.84	c |     507 |     5.5 |       4 |    72364 |    368 |      81 | 152159009 | 2494468 ||    507 | 4249150 |      40/     13 |  221478 |       0 |
178.77/178.87	c |     507 |     0.0 |       4 |    72614 |    620 |      81 | 152232546 | 2495084 ||    507 | 4249150 |      40/     13 |  221478 |       0 |
178.77/178.87	c c 
178.77/178.87	c -----------------------------------
178.77/178.87	c # temps = 174.790000
178.77/178.87	c # cleaningDB = 81
178.77/178.87	c # clause binaire = 24833
178.77/178.87	c # literal removed by litRedundant = 7566491
178.77/178.87	c # literal removed by litRedundantBin = 837873
178.77/178.87	c # init clause removed by simplify = 862
178.77/178.87	c # learnt clause removed by simplify = 8
178.77/178.87	c # une clause fausse était une apprise = 0
178.77/178.87	c # equivalence dectecte = 0
178.77/178.87	c # Memory used           : 98.60 MB
178.77/178.87	c 
178.77/178.87	c ########################
178.77/178.87	c ####   ##  ###   ## ####
178.77/178.87	c #### #### # ## #### ####
178.77/178.87	c ####   ##  ###   ##  ###
178.77/178.87	c ########################
178.77/178.87	c # restart = 507
178.77/178.87	c # conflit = 364891
178.77/178.87	c # decision = 2495084
178.77/178.87	c # propagation = 152232546 	 (870945.397334 (prop/sec))
178.77/178.87	c 
178.77/178.87	c ########################
178.77/178.87	c ### ### #   ##   ##   ##
178.77/178.87	c ### # # # #### # ### ###
178.77/178.87	c ###  #  ### ## # ### ###
178.77/178.87	c ########################
178.77/178.87	c # numtry = 507
178.77/178.87	c # numflips = 4249150
178.77/178.87	c # maxSat = 28
178.77/178.87	c # freeFlip = 303774
178.77/178.87	c # nbBoundary = 0
178.77/178.87	c 
178.77/178.89	s SATISFIABLE
178.77/178.89	v 1 -2 -3 -4 5 6 -7 -8 9 -10 -11 12 13 -14 -15 -16 -17 -18 19 -20 21 -22 23 24 -25 -26 27 -28 29 30 31 -32 33 34 -35 36 37 -38 -39 -40 41 42 -43 -44 -45 -46 -47 -48 -49 -50 -51 -52 -53 -54 55 56 57 -58 -59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 71 72 73 -74 -75 -76 -77 -78 -79 80 -81 -82 -83 -84 -85 86 -87 -88 89 -90 91 92 93 -94 95 96 -97 98 99 100 101 -102 103 -104 105 106 107 108 109 110 111 112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 133 -134 -135 -136 137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 -180 -181 -182 183 -184 -185 -186 -187 -188 -189 -190 -191 -192 193 -194 -195 -196 197 -198 -199 200 201 -202 -203 204 -205 -206 207 208 -209 210 -211 212 -213 -214 -215 216 -217 218 -219 -220 -221 222 -223 -224 -225 -226 -227 -228 229 230 -231 -232 233 234 235 -236 237 238 239 240 241 242 -243 244 -245 -246 -247 248 -249 -250 251 252 -253 -254 255 -256 -257 258 259 -260 -261 -262 -263 264 265 266 -267 268 269 -270 271 272 -273 -274 275 -276 277 278 -279 280 -281 -282 -283 284 -285 -286 287 -288 -289 -290 -291 292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 305 306 -307 -308 309 -310 -311 312 313 -314 315 316 -317 318 319 320 321 322 -323 -324 325 326 -327 328 329 -330 331 332 -333 -334 335 336 337 338 339 340 341 342 343 344 -345 -346 347 -348 -349 350 351 -352 353 -354 355 356 -357 -358 359 -360 361 362 -363 -364 365 -366 -367 368 369 -370 371 -372 -373 374 -375 -376 377 378 -379 -380 -381 382 383 384 385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 401 402 403 404 405 406 407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 -446 447 448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 468 469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 481 482 483 484 485 486 487 488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 503 504 505 506 507 508 509 510 511 512 513 514 -515 -516 -517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 530 531 532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 552 553 -554 -555 -556 -557 -558 -559 -560 561 562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 594 -595 -596 -597 -598 -599 -600 601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 -685 686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 803 804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 -821 822 823 824 825 826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 862 863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 885 886 887 -888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 927 928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 942 943 944 945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 961 962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 982 983 984 985 986 987 988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 1042 -1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 1064 1065 1066 1067 1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 1126 1127 1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 1148 -1149 -1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 1182 1183 1184 1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 1262 1263 1264 1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 1283 1284 1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 1621 1622 1623 1624 1625 1626 1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 1643 1644 1645 1646 1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 1701 1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 2287 2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 2307 2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 2608 2609 2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 2883 2884 2885 2886 2887 2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 2941 2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 3170 3171 3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 3192 3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 5363 5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 5483 5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 5523 5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 5742 5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 5765 5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 -5818 -5819 -5820 -5821 5822 5823 5824 5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 5862 5863 5864 5865 5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 5944 5945 5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 6442 6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 6482 6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 -6691 -6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 6707 -6708 -6709 -6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 6765 6766 6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 -6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 6845 6846 6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 6906 6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 7267 7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 7347 7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 7407 7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 7482 7483 7484 7485 -7486 -7487 -7488 -7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 7564 7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 7944 7945 7946 7947 7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 8006 8007 8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 -8041 8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 8342 -8343 -8344 -8345 -8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 8526 8527 8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 8801 -8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 -8878 -8879 -8880 8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 -8899 -8900 -8901 -8902 8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 8952 -8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 8994 -8995 -8996 -8997 -8998 -8999 -9000 9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 9023 -9024 -9025 -9026 -9027 -9028 -9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 9045 -9046 -9047 -9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 -9066 -9067 -9068 9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 9086 -9087 -9088 -9089 -9090 -9091 -9092 -9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 9107 -9108 -9109 -9110 -9111 -9112 -9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 9133 -9134 -9135 -9136 -9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 -9160 -9161 -9162 -9163 9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 -9179 -9180 -9181 -9182 -9183 -9184 -9185 -9186 -9187 9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 9203 -9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 -9245 -9246 -9247 9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 9301 -9302 -9303 -9304 -9305 -9306 -9307 -9308 -9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 9327 -9328 -9329 -9330 -9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 -9352 -9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 -9375 -9376 -9377 -9378 -9379 -9380 -9381 9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407 9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 -9418 -9419 -9420 -9421 9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 -9546 -9547 9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 -9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 -9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 9794 -9795 -9796 -9797 -9798 -9799 -9800 9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 -9880 -9881 -9882 -9883 -9884 -9885 9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 -9902 -9903 -9904 -9905 -9906 9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 -9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 9964 -9965 -9966 -9967 -9968 -9969 -9970 -9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 9988 -9989 -9990 -9991 -9992 -9993 -9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 -10037 -10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 -10046 -10047 10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 -10122 -10123 -10124 -10125 -10126 -10127 10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 -10144 10145 -10146 -10147 -10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 10162 -10163 -10164 -10165 -10166 -10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 10188 -10189 -10190 -10191 -10192 -10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 10208 -10209 -10210 -10211 -10212 -10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 -10234 -10235 -10236 -10237 -10238 -10239 -10240 -10241 10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 -10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 -10279 -10280 -10281 10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 10302 -10303 -10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 10328 -10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 -10346 -10347 10348 -10349 -10350 -10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 10362 -10363 -10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 -10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 10395 10396 10397 10398 10399 10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 10409 10410 10411 10412 10413 10414 10415 10416 10417 10418 10419 10420 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291190-1303779395/watcher-3291190-1303779395 -o /tmp/evaluation-result-3291190-1303779395/solver-3291190-1303779395 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3291190-1303779395.cnf rnovelty 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.44 3.62 3.87 4/183 7434
/proc/meminfo: memFree=11018720/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) R 7432 7434 6092 0 -1 4202496 315 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880385429 0 65538 4100 65536 0 0 0 17 5 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0

[startup+0.0194979 s]
/proc/loadavg: 2.44 3.62 3.87 4/183 7434
/proc/meminfo: memFree=11018720/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100483 s]
/proc/loadavg: 2.44 3.62 3.87 4/183 7434
/proc/meminfo: memFree=11018720/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300454 s]
/proc/loadavg: 2.44 3.62 3.87 4/183 7434
/proc/meminfo: memFree=11018720/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700379 s]
/proc/loadavg: 2.44 3.62 3.87 4/183 7434
/proc/meminfo: memFree=11018720/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50024 s]
/proc/loadavg: 2.44 3.62 3.87 5/195 7450
/proc/meminfo: memFree=10847868/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
[pid=7435] ppid=7434 vsize=50760 CPUtime=1.49 cores=5,7
/proc/7435/stat : 7435 (SatELite_releas) R 7434 7434 6092 0 -1 4202496 12378 0 0 0 145 4 0 0 25 0 1 0 568170210 51978240 12332 33554432000 134512640 135144242 4289485440 18446744073709551615 134551331 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/7435/statm: 12690 12332 71 155 0 12533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59464

[startup+3.10096 s]
/proc/loadavg: 2.65 3.65 3.88 5/195 7450
/proc/meminfo: memFree=10588956/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=0 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 333 0 0 0 0 0 0 0 24 0 1 0 568170209 8912896 253 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 7 0 0 0
/proc/7434/statm: 2176 253 211 178 0 69 0
[pid=7435] ppid=7434 vsize=51164 CPUtime=3.09 cores=5,7
/proc/7435/stat : 7435 (SatELite_releas) R 7434 7434 6092 0 -1 4202496 12416 0 0 0 305 4 0 0 25 0 1 0 568170210 52391936 12370 33554432000 134512640 135144242 4289485440 18446744073709551615 134551340 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/7435/statm: 12791 12370 71 155 0 12634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59868

[startup+6.3004 s]
/proc/loadavg: 2.65 3.65 3.88 5/196 7452
/proc/meminfo: memFree=10445976/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=80564 CPUtime=2.21 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 18062 0 0 0 218 3 0 0 19 0 1 0 568170617 82497536 17974 33554432000 4194304 4241092 140736500506208 18446744073709551615 4205855 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 20141 17974 136 12 0 18605 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 97972

[startup+12.7013 s]
/proc/loadavg: 2.85 3.66 3.88 5/191 7474
/proc/meminfo: memFree=10461804/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=84828 CPUtime=8.62 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 19130 0 0 0 858 4 0 0 25 0 1 0 568170617 86863872 19042 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 21207 19042 136 12 0 19671 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102236

[startup+25.501 s]
/proc/loadavg: 3.03 3.67 3.88 5/196 7483
/proc/meminfo: memFree=10406532/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=88808 CPUtime=21.42 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 20159 0 0 0 2138 4 0 0 25 0 1 0 568170617 90939392 20070 33554432000 4194304 4241092 140736500506208 18446744073709551615 4206041 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 22202 20070 138 12 0 20666 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106216

[startup+51.1075 s]
/proc/loadavg: 3.36 3.69 3.88 5/197 7486
/proc/meminfo: memFree=10157816/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=91496 CPUtime=47.02 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 20884 0 0 0 4698 4 0 0 25 0 1 0 568170617 93691904 20795 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 22874 20795 138 12 0 21338 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 108904

[startup+102.3 s]
/proc/loadavg: 3.72 3.74 3.89 5/198 7520
/proc/meminfo: memFree=9987196/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=96216 CPUtime=98.21 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 22109 0 0 0 9817 4 0 0 25 0 1 0 568170617 98525184 22006 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 24054 22006 138 12 0 22518 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 113624

[startup+162.301 s]
/proc/loadavg: 3.90 3.79 3.90 5/198 7522
/proc/meminfo: memFree=9963976/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100436 CPUtime=158.21 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23173 0 0 0 15817 4 0 0 25 0 1 0 568170617 102846464 23058 33554432000 4194304 4241092 140736500506208 18446744073709551615 4225153 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25109 23058 138 12 0 23573 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 117844

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

[startup+166.801 s]
/proc/loadavg: 3.90 3.79 3.90 5/198 7522
/proc/meminfo: memFree=9962192/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100752 CPUtime=162.72 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23263 0 0 0 16267 5 0 0 25 0 1 0 568170617 103170048 23147 33554432000 4194304 4241092 140736500506208 18446744073709551615 4228339 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25188 23147 138 12 0 23652 0
Current children cumulated CPU time (s) 166.78
Current children cumulated vsize (KiB) 118160

[startup+173.208 s]
/proc/loadavg: 3.92 3.79 3.90 5/198 7522
/proc/meminfo: memFree=9957108/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100816 CPUtime=169.12 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23271 0 0 0 16907 5 0 0 25 0 1 0 568170617 103235584 23155 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223488 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25204 23155 138 12 0 23668 0
Current children cumulated CPU time (s) 173.18
Current children cumulated vsize (KiB) 118224

[startup+176.4 s]
/proc/loadavg: 3.92 3.79 3.90 5/198 7522
/proc/meminfo: memFree=9956860/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100928 CPUtime=172.32 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23279 0 0 0 17227 5 0 0 25 0 1 0 568170617 103350272 23163 33554432000 4194304 4241092 140736500506208 18446744073709551615 4205867 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25232 23163 138 12 0 23696 0
Current children cumulated CPU time (s) 176.38
Current children cumulated vsize (KiB) 118336

[startup+178.001 s]
/proc/loadavg: 3.92 3.80 3.90 5/198 7522
/proc/meminfo: memFree=9956736/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100960 CPUtime=173.91 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23288 0 0 0 17386 5 0 0 25 0 1 0 568170617 103383040 23172 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25240 23172 138 12 0 23704 0
Current children cumulated CPU time (s) 177.97
Current children cumulated vsize (KiB) 118368

[startup+178.401 s]
/proc/loadavg: 3.92 3.80 3.90 5/198 7522
/proc/meminfo: memFree=9956736/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100960 CPUtime=174.31 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23289 0 0 0 17426 5 0 0 25 0 1 0 568170617 103383040 23173 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25240 23173 138 12 0 23704 0
Current children cumulated CPU time (s) 178.37
Current children cumulated vsize (KiB) 118368

[startup+178.801 s]
/proc/loadavg: 3.92 3.80 3.90 5/198 7522
/proc/meminfo: memFree=9956488/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=4.06 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) S 7432 7434 6092 0 -1 4202496 350 13662 0 0 0 0 399 7 18 0 1 0 568170209 8912896 256 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880564992 0 0 4100 65536 18446744071562362840 0 0 17 5 0 0 0
/proc/7434/statm: 2176 256 211 178 0 69 0
[pid=7451] ppid=7434 vsize=8704 CPUtime=0 cores=5,7
/proc/7451/stat : 7451 (esg_static.sh) S 7434 7434 6092 0 -1 4202560 131 0 0 0 0 0 0 0 18 0 1 0 568170617 8912896 135 33554432000 4194304 4922060 140733291549888 18446744073709551615 218880384133 0 65536 4096 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/7451/statm: 2176 135 90 178 0 69 0
[pid=7452] ppid=7451 vsize=100960 CPUtime=174.71 cores=5,7
/proc/7452/stat : 7452 (sathys) R 7451 7434 6092 0 -1 4202496 23290 0 0 0 17466 5 0 0 25 0 1 0 568170617 103383040 23174 33554432000 4194304 4241092 140736500506208 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 5 0 0 0
/proc/7452/statm: 25240 23174 138 12 0 23704 0
Current children cumulated CPU time (s) 178.77
Current children cumulated vsize (KiB) 118368

[startup+178.901 s]
/proc/loadavg: 3.92 3.80 3.90 5/198 7522
/proc/meminfo: memFree=9956488/32950928 swapFree=67111528/67111528
[pid=7434] ppid=7432 vsize=8704 CPUtime=178.87 cores=5,7
/proc/7434/stat : 7434 (esg_static.sh) R 7432 7434 6092 0 -1 4202496 513 38723 0 0 0 0 17874 13 22 0 1 0 568170209 8912896 269 33554432000 4194304 4922060 140733291549888 18446744073709551615 4477163 0 0 4100 65536 0 0 0 17 7 0 0 0
/proc/7434/statm: 2176 269 218 178 0 69 0
Current children cumulated CPU time (s) 178.87
Current children cumulated vsize (KiB) 8704

Child status: 10
Real time (s): 178.901
CPU time (s): 178.89
CPU user time (s): 178.747
CPU system time (s): 0.142978
CPU usage (%): 99.9935
Max. virtual memory (cumulated for all children) (KiB): 118368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.747
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39430
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= 144
involuntary context switches= 227

runsolver used 0.275958 second user time and 0.814876 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-26 02:56:36
IDJOB=3291190
IDBENCH=83475
IDSOLVER=1610
FILE ID=node112/3291190-1303779395
RUNJOBID= node112-1303779393-7315
PBS_JOBID= 13157186
Free space on /tmp= 72292 MiB

SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291190-1303779395/watcher-3291190-1303779395 -o /tmp/evaluation-result-3291190-1303779395/solver-3291190-1303779395 -C 2400 -W 1300 -M 7680  ./esg_static.sh HOME/instance-3291190-1303779395.cnf rnovelty

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=696127675

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5261.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      11019124 kB
Buffers:       1978908 kB
Cached:       19318848 kB
SwapCached:          0 kB
Active:       10033720 kB
Inactive:     11344824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11019124 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          226372 kB
Writeback:           0 kB
AnonPages:       80308 kB
Mapped:          15180 kB
Slab:           488160 kB
PageTables:       5372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   225708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72072 MiB
End job on node112 at 2011-04-26 02:59:35