Trace number 3290500

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 173.204 173.254

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

0.00/0.00	static
0.00/0.00	HOME/instance-3290500-1303778033.cnf
0.00/0.00	c Parsing...
0.00/0.25	c ==============================================================================
0.00/0.25	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.25	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.25	c ==============================================================================
0.00/0.25	c |         0 |  394921  2820986 |  118476       0        0     nan |  0.000 % |
1.48/1.52	c |         0 |  391407  2786355 |      --       0       --      -- |     --   | -1484/21432
1.48/1.52	c ==============================================================================
1.48/1.52	c Result  :   #vars: 8988   #clauses: 391407   #literals: 2786355
1.48/1.52	c CPU time:   1.49477 s
1.48/1.52	c ==============================================================================
2.56/2.64	c 
2.56/2.64	c seed = 0, numatom = 8988, numclause = 368264, numliterals = 2786355
2.56/2.64	c ---------------------------------------------------------------------------------------------------------------------------------------------
2.56/2.64	c | resCDCL |    tps  |   #impl |  #learnt |  #conf |  #clean |    #propa |   #deci ||  tryLS | numflip |  maxSat/maxNoBi |  nbAlea |    Equi |
2.56/2.64	c ---------------------------------------------------------------------------------------------------------------------------------------------
3.07/3.14	c |       2 |     0.5 |       0 |      500 |    198 |       1 |    219310 |    4954 ||      2 |   13115 |     140/     77 |     292 |       0 |
3.37/3.41	c |       4 |     0.3 |       0 |     1020 |    289 |       2 |    466254 |   10882 ||      4 |   23328 |     128/     53 |     678 |       0 |
3.67/3.70	c |       6 |     0.3 |       0 |     1576 |    183 |       3 |    682243 |   17720 ||      6 |   33815 |     102/     44 |    1082 |       0 |
3.87/3.98	c |       7 |     0.3 |       0 |     2160 |    387 |       4 |    935169 |   25758 ||      7 |   47391 |      79/     26 |    1617 |       0 |
4.28/4.38	c |      11 |     0.4 |       0 |     2909 |    282 |       5 |   1299149 |   35403 ||     11 |   63862 |      79/     26 |    2266 |       0 |
4.77/4.83	c |      14 |     0.5 |       0 |     3669 |    475 |       6 |   1711385 |   48192 ||     14 |   83936 |      79/     26 |    3172 |       0 |
5.17/5.29	c |      15 |     0.5 |       0 |     4470 |    974 |       7 |   2165279 |   59556 ||     15 |  103237 |      79/     26 |    4176 |       0 |
5.57/5.64	c |      16 |     0.4 |       0 |     5105 |     70 |       8 |   2719131 |   67747 ||     16 |  113887 |      79/     26 |    4380 |       0 |
6.17/6.21	c |      21 |     0.6 |       0 |     5662 |     61 |       9 |   3266276 |   82783 ||     21 |  138435 |      79/     26 |    5347 |       0 |
6.67/6.72	c |      25 |     0.5 |       0 |     6487 |    149 |      10 |   3846073 |   94600 ||     25 |  157583 |      79/     26 |    6341 |       0 |
7.17/7.26	c |      29 |     0.5 |       0 |     7250 |    547 |      11 |   4378741 |  109978 ||     29 |  183818 |      79/     26 |    7411 |       0 |
7.77/7.85	c |      30 |     0.6 |       0 |     7979 |    347 |      12 |   4998934 |  130049 ||     30 |  212788 |      79/     26 |    8536 |       0 |
8.57/8.65	c |      31 |     0.8 |       0 |     8795 |   2049 |      13 |   5750590 |  146557 ||     31 |  246081 |      79/     26 |   10449 |       0 |
8.97/9.03	c |      31 |     0.4 |       0 |     9547 |   1447 |      14 |   6300566 |  156252 ||     31 |  255756 |      79/     26 |   10534 |       0 |
9.87/9.92	c |      38 |     0.9 |       0 |    10256 |    335 |      15 |   7128430 |  173099 ||     38 |  287469 |      79/     26 |   12006 |       0 |
10.67/10.76	c |      44 |     0.8 |       0 |    10854 |    227 |      16 |   7951692 |  190157 ||     44 |  316461 |      79/     26 |   13031 |       0 |
11.47/11.54	c |      46 |     0.8 |       0 |    11625 |    223 |      17 |   8789625 |  212954 ||     46 |  352830 |      79/     26 |   14588 |       0 |
12.27/12.31	c |      53 |     0.8 |       0 |    12470 |    208 |      18 |   9630587 |  232470 ||     53 |  382042 |      79/     26 |   16058 |       0 |
13.07/13.14	c |      59 |     0.8 |       0 |    13529 |    103 |      19 |  10581942 |  250621 ||     59 |  411427 |      79/     26 |   17153 |       0 |
13.97/14.04	c |      61 |     0.9 |       0 |    14405 |    700 |      20 |  11542273 |  272370 ||     61 |  446787 |      79/     26 |   18706 |       0 |
14.97/15.05	c |      62 |     1.0 |       0 |    15420 |    799 |      21 |  12531661 |  296647 ||     62 |  489314 |      79/     26 |   20772 |       0 |
16.17/16.21	c |      63 |     1.2 |       0 |    16263 |   3400 |      22 |  13630936 |  322315 ||     63 |  539090 |      79/     26 |   24458 |       0 |
17.07/17.12	c |      63 |     0.9 |       0 |    16529 |   1300 |      23 |  14603830 |  345244 ||     63 |  575890 |      79/     26 |   24787 |       0 |
17.57/17.65	c |      67 |     0.5 |       0 |    17489 |    296 |      24 |  15460783 |  359914 ||     67 |  594242 |      79/     26 |   25442 |       0 |
18.87/18.90	c |      76 |     1.3 |       0 |    18518 |    277 |      25 |  16691393 |  386358 ||     76 |  636848 |      79/     26 |   27360 |       0 |
19.87/19.98	c |      80 |     1.1 |       0 |    19178 |     64 |      26 |  17856671 |  410227 ||     80 |  673361 |      79/     26 |   29111 |       0 |
21.17/21.23	c |      90 |     1.2 |       0 |    20362 |    152 |      27 |  19091054 |  436287 ||     90 |  718728 |      79/     26 |   31140 |       0 |
22.47/22.52	c |      94 |     1.3 |       0 |    21598 |   1046 |      28 |  20430787 |  465942 ||     94 |  768197 |      64/     23 |   34647 |       0 |
23.57/23.63	c |      96 |     1.1 |       0 |    22740 |     46 |      29 |  21713144 |  493350 ||     96 |  806135 |      64/     23 |   35246 |       0 |
24.97/25.04	c |     107 |     1.4 |       2 |    23760 |    237 |      30 |  23027760 |  523072 ||    107 |  858191 |      83/     24 |   37549 |       0 |
26.17/26.30	c |     113 |     1.3 |       2 |    24154 |    226 |      31 |  24419554 |  553413 ||    113 |  905670 |      60/     24 |   39725 |       0 |
27.77/27.89	c |     123 |     1.6 |       2 |    24754 |     12 |      32 |  25888011 |  584911 ||    123 |  958502 |      60/     24 |   42120 |       0 |
29.47/29.59	c |     125 |     1.7 |       2 |    25341 |    110 |      33 |  27669974 |  617804 ||    125 | 1018805 |      60/     21 |   45115 |       0 |
30.77/30.84	c |     126 |     1.2 |       2 |    26064 |   3911 |      34 |  29203438 |  648018 ||    126 | 1076134 |      47/     13 |   48855 |       0 |
31.37/31.48	c |     126 |     0.7 |       2 |    26247 |   3013 |      35 |  30499113 |  665231 ||    126 | 1091947 |      47/     13 |   48991 |       0 |
33.37/33.41	c |     127 |     1.9 |       2 |    26414 |   7017 |      36 |  32424577 |  698816 ||    127 | 1166804 |      47/     13 |   56056 |       0 |
35.07/35.14	c |     127 |     1.7 |       2 |    26290 |   1517 |      37 |  34112753 |  734697 ||    127 | 1225806 |      47/     13 |   56646 |       0 |
35.87/35.91	c |     127 |     0.8 |       2 |    26786 |   5719 |      38 |  35496837 |  744710 ||    127 | 1225806 |      47/     13 |   56646 |       0 |
37.57/37.61	c |     139 |     1.7 |       2 |    26619 |     92 |      39 |  37275215 |  777512 ||    139 | 1278106 |      47/     13 |   58922 |       0 |
39.47/39.53	c |     148 |     1.9 |       2 |    26933 |    171 |      40 |  38991752 |  811353 ||    148 | 1333534 |      47/     13 |   61693 |       0 |
41.57/41.62	c |     157 |     2.1 |       2 |    28504 |    449 |      41 |  40928770 |  845651 ||    157 | 1391036 |      47/     13 |   64605 |       0 |
43.47/43.58	c |     163 |     2.0 |       2 |    29835 |    139 |      42 |  42986162 |  879858 ||    163 | 1443505 |      47/     13 |   67316 |       0 |
45.67/45.77	c |     173 |     2.2 |       2 |    31023 |    124 |      43 |  45063094 |  916457 ||    173 | 1507059 |      47/     13 |   70538 |       0 |
47.67/47.73	c |     187 |     2.0 |       2 |    32078 |    305 |      44 |  47030211 |  947977 ||    187 | 1561770 |      47/     13 |   73464 |       0 |
49.77/49.87	c |     189 |     2.1 |       2 |    33764 |   1000 |      45 |  49045638 |  986568 ||    189 | 1627674 |      47/     13 |   76501 |       0 |
51.97/52.09	c |     190 |     2.2 |       3 |    34859 |   1200 |      46 |  51134078 | 1027784 ||    190 | 1701262 |      47/     13 |   80440 |       0 |
53.97/54.08	c |     200 |     2.0 |       3 |    36049 |     86 |      47 |  53309660 | 1053097 ||    200 | 1737925 |      84/     37 |   82361 |       0 |
56.37/56.41	c |     212 |     2.3 |       3 |    36664 |    465 |      48 |  55265866 | 1092998 ||    212 | 1802430 |      80/     33 |   85763 |       0 |
58.87/58.93	c |     221 |     2.5 |       3 |    37779 |   1545 |      49 |  57562144 | 1126009 ||    221 | 1864612 |      80/     29 |   89897 |       0 |
60.97/61.07	c |     231 |     2.1 |       3 |    38781 |    235 |      50 |  59732244 | 1157783 ||    231 | 1916740 |      80/     29 |   91959 |       0 |
63.47/63.50	c |     243 |     2.4 |       3 |    39335 |      5 |      51 |  61950168 | 1198371 ||    243 | 1988053 |      66/     22 |   95416 |       0 |
66.17/66.26	c |     252 |     2.8 |       3 |    40486 |   1993 |      52 |  64393844 | 1237428 ||    252 | 2064389 |      66/     21 |   99691 |       0 |
68.87/68.92	c |     253 |     2.7 |       3 |    41832 |    490 |      53 |  66734440 | 1284488 ||    253 | 2149002 |      57/     18 |  103670 |       0 |
71.37/71.48	c |     254 |     2.6 |       3 |    42778 |   6292 |      54 |  69188571 | 1315443 ||    254 | 2215349 |      44/     11 |  110629 |       0 |
73.87/73.98	c |     254 |     2.5 |       3 |    42964 |   2590 |      55 |  71635758 | 1349300 ||    254 | 2272923 |      44/     11 |  111148 |       0 |
76.07/76.17	c |     255 |     2.2 |       3 |    43113 |   8591 |      56 |  73686939 | 1377389 ||    255 | 2338041 |      44/     11 |  124531 |       0 |
80.46/80.51	c |     255 |     4.3 |       3 |    44078 |   6102 |      57 |  77201351 | 1433266 ||    255 | 2464739 |      44/     11 |  125564 |       0 |
83.26/83.38	c |     255 |     2.9 |       3 |    45098 |   1694 |      58 |  80030329 | 1477070 ||    255 | 2540380 |      44/     11 |  126285 |       0 |
84.67/84.78	c |     255 |     1.4 |       3 |    44846 |   7995 |      59 |  82210303 | 1490954 ||    255 | 2540380 |      44/     11 |  126285 |       0 |
86.97/87.05	c |     261 |     2.3 |       3 |    44209 |    186 |      60 |  84839271 | 1511277 ||    261 | 2557812 |      44/     11 |  127225 |       0 |
90.17/90.21	c |     277 |     3.2 |       3 |    43221 |    249 |      61 |  87572231 | 1555523 ||    277 | 2639437 |      44/     11 |  131543 |       0 |
93.17/93.29	c |     286 |     3.1 |       3 |    45018 |    231 |      62 |  90385409 | 1609306 ||    286 | 2738001 |      44/     11 |  136004 |       0 |
96.26/96.36	c |     301 |     3.1 |       3 |    46043 |    894 |      63 |  93082927 | 1649120 ||    301 | 2807086 |      44/     11 |  139867 |       0 |
99.67/99.72	c |     316 |     3.4 |       3 |    46576 |     73 |      64 |  95908853 | 1694921 ||    316 | 2892937 |      44/     11 |  143799 |       0 |
102.96/103.02	c |     318 |     3.3 |       3 |    48148 |   4576 |      65 |  98927275 | 1744164 ||    318 | 2985449 |      44/     11 |  149450 |       0 |
105.57/105.66	c |     330 |     2.7 |       3 |    50260 |     52 |      66 | 101689766 | 1776401 ||    330 | 3031964 |      44/     11 |  151645 |       0 |
109.17/109.23	c |     347 |     3.6 |       3 |    52426 |    424 |      67 | 104908386 | 1817091 ||    347 | 3110200 |      44/     11 |  156164 |       0 |
112.77/112.81	c |     356 |     3.6 |       3 |    53446 |    397 |      68 | 107918580 | 1865011 ||    356 | 3194543 |      44/     11 |  160543 |       0 |
116.37/116.47	c |     373 |     3.7 |       3 |    54194 |    170 |      69 | 111000141 | 1912723 ||    373 | 3279761 |      44/     11 |  164690 |       0 |
120.37/120.43	c |     381 |     3.9 |       3 |    55601 |   2051 |      70 | 114405713 | 1959090 ||    381 | 3371053 |      44/     11 |  172154 |       0 |
124.17/124.29	c |     382 |     3.9 |       3 |    56565 |   4751 |      71 | 117448024 | 2004296 ||    382 | 3463856 |      44/     11 |  179411 |       0 |
127.76/127.82	c |     382 |     3.5 |       3 |    57420 |   2750 |      72 | 120738706 | 2048459 ||    382 | 3543434 |      44/     11 |  180111 |       0 |
130.66/130.74	c |     396 |     2.9 |       3 |    57809 |    234 |      73 | 123739061 | 2084242 ||    396 | 3596488 |      44/     11 |  182959 |       0 |
134.66/134.76	c |     412 |     4.0 |       4 |    58146 |   1008 |      74 | 127059389 | 2134600 ||    412 | 3689332 |      84/     28 |  187787 |       0 |
138.37/138.42	c |     426 |     3.7 |       4 |    59603 |    178 |      75 | 130370312 | 2182160 ||    426 | 3775951 |      81/     28 |  192148 |       0 |
142.77/142.81	c |     443 |     4.4 |       4 |    60935 |    846 |      76 | 133738284 | 2230516 ||    443 | 3868698 |      68/     22 |  197385 |       0 |
146.86/146.92	c |     445 |     4.1 |       4 |    61658 |    545 |      77 | 137168450 | 2284684 ||    445 | 3974341 |      59/     15 |  203216 |       0 |
150.87/150.90	c |     460 |     4.0 |       4 |    62658 |   1127 |      78 | 140434679 | 2327461 ||    460 | 4048010 |      59/     15 |  207073 |       0 |
155.08/155.11	c |     476 |     4.2 |       4 |    64607 |   1792 |      79 | 144064061 | 2377155 ||    476 | 4144061 |      59/     15 |  212705 |       0 |
159.48/159.53	c |     491 |     4.4 |       4 |    65932 |    577 |      80 | 147573073 | 2426760 ||    491 | 4234532 |      59/     15 |  216689 |       0 |
164.17/164.24	c |     507 |     4.7 |       4 |    66689 |    254 |      81 | 151380034 | 2480014 ||    507 | 4337744 |      59/     15 |  222372 |       0 |
168.37/168.48	c |     509 |     4.2 |       4 |    67160 |   4053 |      82 | 155655709 | 2522934 ||    509 | 4421813 |      59/     15 |  232719 |       0 |
172.58/172.61	c |     509 |     4.1 |       4 |    66823 |   3151 |      83 | 159750289 | 2580197 ||    509 | 4516575 |      59/     15 |  233658 |       0 |
173.07/173.18	c |     509 |     0.6 |       4 |    69380 |   5717 |      83 | 160751455 | 2585965 ||    509 | 4516575 |      59/     15 |  233658 |       0 |
173.07/173.18	c c 
173.07/173.18	c -----------------------------------
173.07/173.18	c # temps = 171.230000
173.07/173.18	c # cleaningDB = 83
173.07/173.18	c # clause binaire = 24480
173.07/173.18	c # literal removed by litRedundant = 10484243
173.07/173.18	c # literal removed by litRedundantBin = 852700
173.07/173.18	c # init clause removed by simplify = 0
173.07/173.18	c # learnt clause removed by simplify = 3
173.07/173.18	c # une clause fausse était une apprise = 0
173.07/173.18	c # equivalence dectecte = 0
173.07/173.18	c # Memory used           : 84.65 MB
173.07/173.18	c 
173.07/173.18	c ########################
173.07/173.18	c ####   ##  ###   ## ####
173.07/173.18	c #### #### # ## #### ####
173.07/173.18	c ####   ##  ###   ##  ###
173.07/173.18	c ########################
173.07/173.18	c # restart = 509
173.07/173.18	c # conflit = 384504
173.07/173.18	c # decision = 2585965
173.07/173.18	c # propagation = 160751455 	 (938804.269112 (prop/sec))
173.07/173.18	c 
173.07/173.18	c ########################
173.07/173.18	c ### ### #   ##   ##   ##
173.07/173.18	c ### # # # #### # ### ###
173.07/173.18	c ###  #  ### ## # ### ###
173.07/173.18	c ########################
173.07/173.18	c # numtry = 509
173.07/173.18	c # numflips = 4516575
173.07/173.18	c # maxSat = 44
173.07/173.18	c # freeFlip = 322281
173.07/173.18	c # nbBoundary = 0
173.07/173.18	c 
173.17/173.24	s SATISFIABLE
173.17/173.24	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-3290500-1303778033/watcher-3290500-1303778033 -o /tmp/evaluation-result-3290500-1303778033/solver-3290500-1303778033 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3290500-1303778033.cnf rnovelty 

running on 2 cores: 4,6

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: 0.92 1.10 2.02 5/195 5534
/proc/meminfo: memFree=20749428/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) R 5532 5534 4124 0 -1 4202496 315 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244169109 0 65538 4100 65536 0 0 0 17 4 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0

[startup+0.040861 s]
/proc/loadavg: 0.92 1.10 2.02 5/195 5534
/proc/meminfo: memFree=20749428/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100845 s]
/proc/loadavg: 0.92 1.10 2.02 5/195 5534
/proc/meminfo: memFree=20749428/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300814 s]
/proc/loadavg: 0.92 1.10 2.02 5/195 5534
/proc/meminfo: memFree=20749428/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700742 s]
/proc/loadavg: 0.92 1.10 2.02 5/195 5534
/proc/meminfo: memFree=20749428/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50057 s]
/proc/loadavg: 1.17 1.15 2.03 5/197 5536
/proc/meminfo: memFree=20706992/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=0 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489401356 8912896 253 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/5534/statm: 2176 253 211 178 0 69 0
[pid=5535] ppid=5534 vsize=42940 CPUtime=1.48 cores=4,6
/proc/5535/stat : 5535 (SatELite_releas) R 5534 5534 4124 0 -1 4202496 10177 0 0 0 146 2 0 0 25 0 1 0 489401357 43970560 10045 33554432000 134512640 135144242 4288456480 18446744073709551615 134605075 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/5535/statm: 10735 10045 77 155 0 10578 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 51644

[startup+3.1003 s]
/proc/loadavg: 1.17 1.15 2.03 5/198 5538
/proc/meminfo: memFree=20717652/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=67200 CPUtime=1.14 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 14879 0 0 0 112 2 0 0 18 0 1 0 489401551 68812800 14790 33554432000 4194304 4241092 140737065229280 18446744073709551615 4225156 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 16800 14790 131 12 0 15264 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 84608

[startup+6.30073 s]
/proc/loadavg: 1.39 1.19 2.04 5/198 5569
/proc/meminfo: memFree=20657144/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=71072 CPUtime=4.34 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 15854 0 0 0 432 2 0 0 25 0 1 0 489401551 72777728 15765 33554432000 4194304 4241092 140737065229280 18446744073709551615 4205837 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 17768 15765 136 12 0 16232 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 88480

[startup+12.7006 s]
/proc/loadavg: 1.60 1.24 2.05 5/198 5569
/proc/meminfo: memFree=20647452/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=73208 CPUtime=10.74 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 16408 0 0 0 1072 2 0 0 25 0 1 0 489401551 74964992 16319 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 18302 16319 136 12 0 16766 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 90616

[startup+25.5013 s]
/proc/loadavg: 1.97 1.33 2.07 5/198 5569
/proc/meminfo: memFree=20636540/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=75224 CPUtime=23.54 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 16933 0 0 0 2352 2 0 0 25 0 1 0 489401551 77029376 16844 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 18806 16844 136 12 0 17270 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 92632

[startup+51.1007 s]
/proc/loadavg: 2.77 1.58 2.13 5/198 5632
/proc/meminfo: memFree=20578148/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=77856 CPUtime=49.14 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 17578 0 0 0 4912 2 0 0 25 0 1 0 489401551 79724544 17489 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 19464 17489 136 12 0 17928 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 95264

[startup+102.307 s]
/proc/loadavg: 3.46 1.95 2.23 5/198 5633
/proc/meminfo: memFree=20559096/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=82176 CPUtime=100.34 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 18688 0 0 0 10032 2 0 0 25 0 1 0 489401551 84148224 18589 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 20544 18589 136 12 0 19008 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99584

[startup+162.301 s]
/proc/loadavg: 3.80 2.32 2.33 5/198 5635
/proc/meminfo: memFree=20545020/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86368 CPUtime=160.34 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19726 0 0 0 16031 3 0 0 25 0 1 0 489401551 88440832 19618 33554432000 4194304 4241092 140737065229280 18446744073709551615 4206044 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21592 19618 136 12 0 20056 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 103776

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

[startup+166.301 s]
/proc/loadavg: 3.82 2.35 2.34 5/198 5635
/proc/meminfo: memFree=20544276/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86368 CPUtime=164.34 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19736 0 0 0 16431 3 0 0 25 0 1 0 489401551 88440832 19627 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21592 19627 136 12 0 20056 0
Current children cumulated CPU time (s) 166.27
Current children cumulated vsize (KiB) 103776

[startup+169.5 s]
/proc/loadavg: 3.82 2.35 2.34 5/198 5635
/proc/meminfo: memFree=20543656/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86540 CPUtime=167.54 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19762 0 0 0 16751 3 0 0 25 0 1 0 489401551 88616960 19653 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21635 19653 136 12 0 20099 0
Current children cumulated CPU time (s) 169.47
Current children cumulated vsize (KiB) 103948

[startup+171.101 s]
/proc/loadavg: 3.83 2.38 2.35 5/198 5635
/proc/meminfo: memFree=20543656/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86508 CPUtime=169.14 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19783 0 0 0 16911 3 0 0 25 0 1 0 489401551 88584192 19671 33554432000 4194304 4241092 140737065229280 18446744073709551615 4221285 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21627 19671 136 12 0 20091 0
Current children cumulated CPU time (s) 171.07
Current children cumulated vsize (KiB) 103916

[startup+171.901 s]
/proc/loadavg: 3.83 2.38 2.35 5/198 5635
/proc/meminfo: memFree=20543408/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86508 CPUtime=169.94 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19783 0 0 0 16991 3 0 0 25 0 1 0 489401551 88584192 19671 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223627 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21627 19671 136 12 0 20091 0
Current children cumulated CPU time (s) 171.87
Current children cumulated vsize (KiB) 103916

[startup+172.707 s]
/proc/loadavg: 3.83 2.38 2.35 5/198 5635
/proc/meminfo: memFree=20543284/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86676 CPUtime=170.75 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19806 0 0 0 17072 3 0 0 25 0 1 0 489401551 88756224 19694 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21669 19694 136 12 0 20133 0
Current children cumulated CPU time (s) 172.68
Current children cumulated vsize (KiB) 104084

[startup+173.101 s]
/proc/loadavg: 3.83 2.38 2.35 5/198 5635
/proc/meminfo: memFree=20543284/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=1.93 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 349 10236 0 0 0 0 189 4 18 0 1 0 489401356 8912896 256 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244348672 0 0 4100 65536 18446744071562362840 0 0 17 4 0 0 0
/proc/5534/statm: 2176 256 211 178 0 69 0
[pid=5537] ppid=5534 vsize=8704 CPUtime=0 cores=4,6
/proc/5537/stat : 5537 (esg_static.sh) S 5534 5534 4124 0 -1 4202560 131 0 0 0 0 0 0 0 19 0 1 0 489401551 8912896 135 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4096 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5537/statm: 2176 135 90 178 0 69 0
[pid=5538] ppid=5537 vsize=86676 CPUtime=171.14 cores=4,6
/proc/5538/stat : 5538 (sathys) R 5537 5534 4124 0 -1 4202496 19812 0 0 0 17111 3 0 0 25 0 1 0 489401551 88756224 19700 33554432000 4194304 4241092 140737065229280 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 4 0 0 0
/proc/5538/statm: 21669 19700 136 12 0 20133 0
Current children cumulated CPU time (s) 173.07
Current children cumulated vsize (KiB) 104084

[startup+173.201 s]
/proc/loadavg: 3.83 2.38 2.35 5/198 5635
/proc/meminfo: memFree=20543284/32951124 swapFree=67111464/67111528
[pid=5534] ppid=5532 vsize=8704 CPUtime=173.17 cores=4,6
/proc/5534/stat : 5534 (esg_static.sh) S 5532 5534 4124 0 -1 4202496 412 30420 0 0 0 0 17309 8 20 0 1 0 489401356 8912896 259 33554432000 4194304 4922060 140735900663312 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/5534/statm: 2176 259 214 178 0 69 0
Current children cumulated CPU time (s) 173.17
Current children cumulated vsize (KiB) 8704

Child status: 10
Real time (s): 173.254
CPU time (s): 173.204
CPU user time (s): 173.106
CPU system time (s): 0.097985
CPU usage (%): 99.9709
Max. virtual memory (cumulated for all children) (KiB): 104084

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

runsolver used 0.275958 second user time and 0.679896 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-26 02:33:54
IDJOB=3290500
IDBENCH=83436
IDSOLVER=1610
FILE ID=node136/3290500-1303778033
RUNJOBID= node136-1303778033-5484
PBS_JOBID= 13157165
Free space on /tmp= 72176 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=827530394

node136.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.809
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.61
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.809
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.75
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.809
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.75
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.809
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.76
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.809
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	: 5332.75
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.809
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.83
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20749576 kB
Buffers:       1713036 kB
Cached:        9831028 kB
SwapCached:         60 kB
Active:        4715248 kB
Inactive:      6908308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20749576 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           21532 kB
Writeback:          52 kB
AnonPages:       79296 kB
Mapped:          15204 kB
Slab:           513772 kB
PageTables:       5408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   265752 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= 72156 MiB
End job on node136 at 2011-04-26 02:36:47