Trace number 3304091

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
glucose 2SAT 29.1446 29.1464

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.9041
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.36	c ==============================================================================
0.00/0.36	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.36	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.36	c ==============================================================================
0.00/0.36	c |         0 |  483339  4132300 |  145001       0        0     nan |  0.000 % |
5.39/5.46	c |         0 |  464656  3916134 |      --       0       --      -- |     --   | -1440/20247
5.39/5.46	c ==============================================================================
5.39/5.46	c Result  :   #vars: 8687   #clauses: 464656   #literals: 3916134
5.39/5.46	c CPU time:   5.42518 s
5.39/5.46	c ==============================================================================
5.99/6.04	c
5.99/6.04	c Starting glucose
5.99/6.04	c
8.88/8.94	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
8.88/8.94	c WARNING: for repeatability, setting FPU to use double precision
8.88/8.94	c ============================[ Problem Statistics ]=============================
8.88/8.94	c |                                                                             |
8.88/8.94	c |  Number of variables:          8687                                         |
8.88/8.94	c |  Number of clauses:          464656                                         |
8.88/8.94	c |  Parse time:                   0.17 s                                       |
8.88/8.94	c |                                                                             |
8.88/8.94	c ============================[ Search Statistics ]==============================
8.88/8.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.88/8.94	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.88/8.94	c ===============================================================================
8.88/8.94	c |      2465 |    8687   464656  3916134 |        1     2465     31 |  0.000 % |
8.88/8.94	c |      3433 |    8687   464656  3916134 |        1     3433     32 |  0.000 % |
8.88/8.94	c |      3601 |    8687   464656  3916134 |        1     3601     33 |  0.000 % |
8.88/8.94	c |      3782 |    8687   464656  3916134 |        1     3782     33 |  0.000 % |
8.88/8.94	c |      4471 |    8687   464656  3916134 |        1     2476     25 |  0.000 % |
8.88/8.94	c |      4747 |    8687   464656  3916134 |        1     2752     26 |  0.000 % |
8.88/8.94	c |      5149 |    8687   464656  3916134 |        1     3154     28 |  0.000 % |
8.88/8.94	c |      6306 |    8687   464656  3916134 |        1     4311     37 |  0.000 % |
8.88/8.94	c |      6554 |    8687   464656  3916134 |        1     4559     38 |  0.000 % |
8.88/8.94	c |      6654 |    8687   464656  3916134 |        1     4659     38 |  0.000 % |
8.88/8.94	c |      6864 |    8687   464656  3916134 |        1     4869     39 |  0.000 % |
8.88/8.94	c |      7032 |    8687   464656  3916134 |        1     5037     40 |  0.000 % |
8.88/8.94	c |      7388 |    8687   464656  3916134 |        1     5393     44 |  0.000 % |
8.88/8.94	c |      8853 |    8687   464656  3916134 |        1     6858     44 |  0.000 % |
8.88/8.94	c |      9503 |    8687   464656  3916134 |        1     7508     44 |  0.000 % |
8.88/8.94	c |     10005 |    8687   464656  3916134 |        1     8010     45 |  0.000 % |
8.88/8.94	c |     11317 |    8687   464656  3916134 |        1     5033     28 |  0.000 % |
8.88/8.94	c |     11572 |    8687   464656  3916134 |        1     5288     29 |  0.000 % |
8.88/8.94	c |     11672 |    8687   464656  3916134 |        1     5388     30 |  0.000 % |
8.88/8.94	c |     11805 |    8687   464656  3916134 |        1     5521     31 |  0.000 % |
8.88/8.94	c |     12292 |    8687   464656  3916134 |        1     6008     33 |  0.000 % |
8.88/8.94	c |     12515 |    8687   464656  3916134 |        1     6231     33 |  0.000 % |
8.88/8.94	c |     13592 |    8687   464656  3916134 |        1     7308     37 |  0.000 % |
8.88/8.94	c |     13845 |    8687   464656  3916134 |        1     7561     37 |  0.000 % |
8.88/8.94	c |     15197 |    8687   464656  3916134 |        1     8913     42 |  0.000 % |
8.88/8.94	c |     15424 |    8687   464656  3916134 |        1     9140     42 |  0.000 % |
8.88/8.94	c |     16824 |    8687   464656  3916134 |        1    10540     44 |  0.000 % |
8.88/8.94	c |     17164 |    8687   464656  3916134 |        1    10880     45 |  0.000 % |
8.88/8.94	c |     18104 |    8687   464656  3916134 |        1    11820     46 |  0.000 % |
8.88/8.94	c |     18347 |    8687   464656  3916134 |        1    12063     46 |  0.000 % |
8.88/8.94	c |     19231 |    8687   464656  3916134 |        1    12947     46 |  0.000 % |
8.88/8.94	c |     19631 |    8687   464656  3916134 |        1    13347     47 |  0.000 % |
8.88/8.94	c |     19731 |    8687   464656  3916134 |        1    13447     47 |  0.000 % |
8.88/8.94	c |     19969 |    8687   464656  3916134 |        1     6942     24 |  0.000 % |
8.88/8.94	c |     20653 |    8687   464656  3916134 |        1     7626     30 |  0.000 % |
8.88/8.94	c |     20754 |    8687   464656  3916134 |        1     7727     30 |  0.000 % |
8.88/8.94	c |     21079 |    8687   464656  3916134 |        1     8052     31 |  0.000 % |
8.88/8.94	c |     21200 |    8687   464656  3916134 |        1     8173     32 |  0.000 % |
8.88/8.94	c |     22127 |    8687   464656  3916134 |        1     9100     35 |  0.000 % |
11.18/11.26	c |     25521 |    8687   464656  3916134 |        1    12494     38 |  0.000 % |
11.18/11.26	c |     25641 |    8687   464656  3916134 |        1    12614     38 |  0.000 % |
11.18/11.26	c |     25847 |    8687   464656  3916134 |        1    12820     39 |  0.000 % |
11.18/11.26	c |     27171 |    8687   464656  3916134 |        1    14144     40 |  0.000 % |
11.18/11.26	c |     27489 |    8687   464656  3916134 |        1    14462     41 |  0.000 % |
11.18/11.26	c |     27596 |    8687   464656  3916134 |        1    14569     41 |  0.000 % |
11.18/11.26	c |     30137 |    8687   464656  3916134 |        1    17110     46 |  0.000 % |
11.18/11.26	c |     30297 |    8687   464656  3916134 |        1    17270     46 |  0.000 % |
11.18/11.26	c |     31565 |    8687   464656  3916134 |        1    18538     47 |  0.000 % |
11.18/11.26	c |     31672 |    8687   464656  3916134 |        1     9363     26 |  0.000 % |
11.18/11.26	c |     31815 |    8687   464656  3916134 |        1     9506     26 |  0.000 % |
11.18/11.26	c |     32113 |    8655   464296  3914500 |        1     9802     27 |  0.368 % |
11.18/11.26	c |     32874 |    8655   464296  3914500 |        1    10563     29 |  0.368 % |
11.18/11.26	c |     32976 |    8655   464296  3914500 |        1    10665     29 |  0.368 % |
11.18/11.26	c |     35390 |    8655   464296  3914500 |        1    13079     34 |  0.368 % |
11.18/11.26	c |     36482 |    8654   464296  3914500 |        1    14170     37 |  0.380 % |
11.18/11.26	c |     36945 |    8654   464296  3914500 |        1    14633     37 |  0.380 % |
11.18/11.26	c |     37111 |    8654   464296  3914500 |        1    14799     38 |  0.380 % |
11.18/11.26	c |     37709 |    8654   464296  3914500 |        1    15397     39 |  0.380 % |
11.18/11.26	c |     38016 |    8652   464296  3914500 |        1    15703     39 |  0.403 % |
11.18/11.26	c |     38670 |    8652   464296  3914500 |        1    16357     40 |  0.403 % |
11.18/11.26	c |     39028 |    8652   464296  3914500 |        1    16715     40 |  0.403 % |
11.18/11.26	c |     39129 |    8652   464296  3914500 |        1    16816     40 |  0.403 % |
11.18/11.26	c |     39553 |    8652   464296  3914500 |        1    17240     41 |  0.403 % |
11.18/11.26	c |     39663 |    8652   464296  3914500 |        1    17350     41 |  0.403 % |
11.18/11.26	c |     39866 |    8652   464296  3914500 |        1    17553     41 |  0.403 % |
11.18/11.26	c |     40060 |    8652   464296  3914500 |        1    17747     42 |  0.403 % |
11.18/11.26	c |     40372 |    8652   464296  3914500 |        1    18059     42 |  0.403 % |
11.18/11.26	c |     40472 |    8652   464296  3914500 |        1    18159     42 |  0.403 % |
11.18/11.26	c |     41596 |    8652   464296  3914500 |        1    19283     44 |  0.403 % |
11.18/11.26	c |     42083 |    8652   464296  3914500 |        1    19770     44 |  0.403 % |
11.18/11.26	c |     42285 |    8652   464296  3914500 |        1    19972     44 |  0.403 % |
11.18/11.26	c |     43587 |    8652   464296  3914500 |        1    21274     45 |  0.403 % |
11.18/11.26	c |     43962 |    8652   464296  3914500 |        1    21649     45 |  0.403 % |
11.18/11.26	c |     47919 |    8652   464296  3914500 |        1    13775     25 |  0.403 % |
11.18/11.26	c |     48020 |    8652   464296  3914500 |        1    13876     25 |  0.403 % |
11.18/11.26	c |     48232 |    8652   464296  3914500 |        1    14088     26 |  0.403 % |
11.18/11.26	c |     48420 |    8652   464296  3914500 |        1    14276     27 |  0.403 % |
11.18/11.26	c |     49103 |    8652   464296  3914500 |        1    14959     28 |  0.403 % |
11.18/11.26	c |     49889 |    8652   464296  3914500 |        1    15745     30 |  0.403 % |
11.18/11.26	c |     49995 |    8652   463983  3913354 |        1    15850     30 |  0.403 % |
11.18/11.26	c |     50348 |    8652   463983  3913354 |        1    16203     31 |  0.403 % |
11.18/11.26	c |     50679 |    8652   463983  3913354 |        1    16534     32 |  0.403 % |
11.18/11.26	c |     50902 |    8652   463983  3913354 |        1    16757     32 |  0.403 % |
11.18/11.26	c |     51083 |    8652   463983  3913354 |        1    16938     32 |  0.403 % |
11.18/11.26	c |     51897 |    8651   463983  3913354 |        1    17751     33 |  0.414 % |
11.18/11.26	c |     51997 |    8651   463983  3913354 |        1    17851     33 |  0.414 % |
11.18/11.26	c |     52098 |    8651   463983  3913354 |        1    17952     34 |  0.414 % |
11.18/11.26	c |     52376 |    8651   463983  3913354 |        1    18230     34 |  0.414 % |
11.18/11.26	c |     52498 |    8651   463983  3913354 |        1    18352     34 |  0.414 % |
14.08/14.16	c |     53875 |    8651   463983  3913354 |        1    19729     36 |  0.414 % |
14.08/14.16	c |     54846 |    8651   463983  3913354 |        1    20700     38 |  0.414 % |
14.08/14.16	c |     55224 |    8651   463983  3913354 |        1    21078     38 |  0.414 % |
14.08/14.16	c |     55975 |    8651   463983  3913354 |        1    21829     38 |  0.414 % |
14.08/14.16	c |     56138 |    8651   463983  3913354 |        1    21992     39 |  0.414 % |
14.08/14.16	c |     56317 |    8651   463983  3913354 |        1    22171     39 |  0.414 % |
14.08/14.16	c |     56417 |    8651   463983  3913354 |        1    22271     39 |  0.414 % |
14.08/14.16	c |     57145 |    8651   463983  3913354 |        1    22999     39 |  0.414 % |
14.08/14.16	c |     57658 |    8651   463983  3913354 |        1    23512     40 |  0.414 % |
14.08/14.16	c |     57772 |    8651   463983  3913354 |        1    23626     40 |  0.414 % |
14.08/14.16	c |     57912 |    8651   463983  3913354 |        1    23766     41 |  0.414 % |
14.08/14.16	c |     58013 |    8651   463983  3913354 |        1    23867     41 |  0.414 % |
14.08/14.16	c |     58121 |    8651   463983  3913354 |        1    23975     41 |  0.414 % |
14.08/14.16	c |     59898 |    8651   463983  3913354 |        1    25752     42 |  0.414 % |
14.08/14.16	c |     60835 |    8651   463983  3913354 |        1    26689     42 |  0.414 % |
14.08/14.16	c |     61104 |    8651   463983  3913354 |        1    26958     42 |  0.414 % |
14.08/14.16	c |     71099 |    8651   463983  3913354 |        1    22533     48 |  0.414 % |
14.08/14.16	c |     71201 |    8651   463983  3913354 |        1    22635     48 |  0.414 % |
14.08/14.16	c |     71301 |    8651   463983  3913354 |        1    22735     48 |  0.414 % |
14.08/14.16	c |     72098 |    8651   463983  3913354 |        1    23532     48 |  0.414 % |
14.08/14.16	c |     74505 |    8651   463983  3913354 |        1    25939     50 |  0.414 % |
14.08/14.16	c |     74613 |    8651   463983  3913354 |        1    26047     50 |  0.414 % |
14.08/14.16	c |     74714 |    8651   463983  3913354 |        1    26148     50 |  0.414 % |
14.08/14.16	c |     75593 |    8651   463983  3913354 |        1    27027     50 |  0.414 % |
14.08/14.16	c |     75777 |    8651   463983  3913354 |        1    27211     51 |  0.414 % |
14.08/14.16	c |     76437 |    8651   463983  3913354 |        1    27871     51 |  0.414 % |
14.08/14.16	c |     76539 |    8651   463983  3913354 |        1    27973     51 |  0.414 % |
14.08/14.16	c |     76880 |    8651   463983  3913354 |        1    28314     51 |  0.414 % |
14.08/14.16	c |     77136 |    8651   463983  3913354 |        1    28570     51 |  0.414 % |
14.08/14.16	c |     78275 |    8651   463983  3913354 |        1    29709     51 |  0.414 % |
14.08/14.16	c |     78617 |    8651   463983  3913354 |        1    30051     51 |  0.414 % |
14.08/14.16	c |     78878 |    8651   463983  3913354 |        1    30312     51 |  0.414 % |
14.08/14.16	c |     78979 |    8651   463983  3913354 |        1    30413     51 |  0.414 % |
14.08/14.16	c |     82003 |    8651   463983  3913354 |        1    33437     54 |  0.414 % |
14.08/14.16	c |     82113 |    8651   463983  3913354 |        1    33547     54 |  0.414 % |
14.08/14.16	c |     82914 |    8651   463983  3913354 |        1    17368     31 |  0.414 % |
14.08/14.16	c |     84128 |    8651   463983  3913354 |        1    18582     32 |  0.414 % |
14.08/14.16	c |     84264 |    8651   463983  3913354 |        1    18718     32 |  0.414 % |
14.08/14.16	c |     85594 |    8651   463983  3913354 |        1    20048     37 |  0.414 % |
14.08/14.16	c |     85694 |    8651   463983  3913354 |        1    20148     37 |  0.414 % |
14.08/14.16	c |     86016 |    8651   463983  3913354 |        1    20470     37 |  0.414 % |
14.08/14.16	c |     86118 |    8651   463983  3913354 |        1    20572     38 |  0.414 % |
14.08/14.16	c |     86567 |    8651   463983  3913354 |        1    21021     38 |  0.414 % |
14.08/14.16	c |     89964 |    8651   463983  3913354 |        1    24418     44 |  0.414 % |
14.08/14.16	c |     90065 |    8651   463983  3913354 |        1    24519     45 |  0.414 % |
14.08/14.16	c |     91219 |    8651   463983  3913354 |        1    25673     45 |  0.414 % |
14.08/14.16	c |     92210 |    8651   463983  3913354 |        1    26664     46 |  0.414 % |
14.08/14.16	c |     92362 |    8651   463983  3913354 |        1    26816     46 |  0.414 % |
14.08/14.16	c |     93184 |    8651   463983  3913354 |        1    27638     46 |  0.414 % |
14.08/14.16	c |     93497 |    8651   463983  3913354 |        1    27951     46 |  0.414 % |
18.08/18.13	c |     93653 |    8651   463983  3913354 |        1    28107     46 |  0.414 % |
18.08/18.13	c |     94027 |    8651   463983  3913354 |        1    28481     47 |  0.414 % |
18.08/18.13	c |     94131 |    8651   463983  3913354 |        1    28585     47 |  0.414 % |
18.08/18.13	c |     94231 |    8651   463983  3913354 |        1    28685     47 |  0.414 % |
18.08/18.13	c |     94331 |    8651   463983  3913354 |        1    28785     47 |  0.414 % |
18.08/18.13	c |     94760 |    8651   463983  3913354 |        1    29214     47 |  0.414 % |
18.08/18.13	c |     94860 |    8651   463983  3913354 |        1    29314     47 |  0.414 % |
18.08/18.13	c |     95033 |    8651   463983  3913354 |        1    29487     48 |  0.414 % |
18.08/18.13	c |     95327 |    8651   463983  3913354 |        1    29781     48 |  0.414 % |
18.08/18.13	c |     95828 |    8651   463983  3913354 |        1    30282     48 |  0.414 % |
18.08/18.13	c |     95928 |    8651   463983  3913354 |        1    30382     49 |  0.414 % |
18.08/18.13	c |     96029 |    8651   463983  3913354 |        1    30483     49 |  0.414 % |
18.08/18.13	c |     96172 |    8651   463983  3913354 |        1    30626     49 |  0.414 % |
18.08/18.13	c |     96448 |    8651   463983  3913354 |        1    30902     49 |  0.414 % |
18.08/18.13	c |     96684 |    8651   463983  3913354 |        1    31138     49 |  0.414 % |
18.08/18.13	c |     96996 |    8651   463983  3913354 |        1    31450     49 |  0.414 % |
18.08/18.13	c |     97096 |    8651   463983  3913354 |        1    31550     49 |  0.414 % |
18.08/18.13	c |     97227 |    8651   463983  3913354 |        1    31681     49 |  0.414 % |
18.08/18.13	c |     98174 |    8651   463983  3913354 |        1    32628     49 |  0.414 % |
18.08/18.13	c |     98903 |    8651   463983  3913354 |        1    33357     50 |  0.414 % |
18.08/18.13	c |     99078 |    8651   463983  3913354 |        1    33532     50 |  0.414 % |
18.08/18.13	c |     99185 |    8651   463983  3913354 |        1    33639     50 |  0.414 % |
18.08/18.13	c |    104679 |    8651   463983  3913354 |        1    39133     53 |  0.414 % |
18.08/18.13	c |    104930 |    8651   463983  3913354 |        1    19764     23 |  0.414 % |
18.08/18.13	c |    105032 |    8651   463983  3913354 |        1    19866     24 |  0.414 % |
18.08/18.13	c |    105292 |    8651   463983  3913354 |        1    20126     24 |  0.414 % |
18.08/18.13	c |    105797 |    8651   463983  3913354 |        1    20631     26 |  0.414 % |
18.08/18.13	c |    105936 |    8651   463983  3913354 |        1    20770     26 |  0.414 % |
18.08/18.13	c |    106757 |    8651   463983  3913354 |        1    21591     27 |  0.414 % |
18.08/18.13	c |    107508 |    8651   463983  3913354 |        1    22342     30 |  0.414 % |
18.08/18.13	c |    107608 |    8651   463983  3913354 |        1    22442     30 |  0.414 % |
18.08/18.13	c |    107815 |    8651   463983  3913354 |        1    22649     30 |  0.414 % |
18.08/18.13	c |    108989 |    8651   463983  3913354 |        1    23823     32 |  0.414 % |
18.08/18.13	c |    111563 |    8651   463983  3913354 |        1    26397     34 |  0.414 % |
18.08/18.13	c |    111664 |    8651   463983  3913354 |        1    26498     34 |  0.414 % |
18.08/18.13	c |    113841 |    8651   463983  3913354 |        1    28675     36 |  0.414 % |
18.08/18.13	c |    114528 |    8651   463983  3913354 |        1    29362     37 |  0.414 % |
18.08/18.13	c |    117729 |    8651   463983  3913354 |        1    32563     38 |  0.414 % |
18.08/18.13	c |    117829 |    8651   463983  3913354 |        1    32663     39 |  0.414 % |
18.08/18.13	c |    119246 |    8651   463983  3913354 |        1    34080     39 |  0.414 % |
18.08/18.13	c |    123839 |    8651   463983  3913354 |        1    38673     45 |  0.414 % |
18.08/18.13	c |    124199 |    8651   463983  3913354 |        1    39033     45 |  0.414 % |
18.08/18.13	c |    127177 |    8651   463983  3913354 |        1    42011     46 |  0.414 % |
18.08/18.13	c |    130715 |    8651   463983  3913354 |        1    23333     23 |  0.414 % |
18.08/18.13	c |    132237 |    8651   463983  3913354 |        1    24855     27 |  0.414 % |
18.08/18.13	c |    132364 |    8651   463983  3913354 |        1    24982     27 |  0.414 % |
18.08/18.13	c |    133271 |    8651   463983  3913354 |        1    25889     30 |  0.414 % |
18.08/18.13	c |    136167 |    8651   463983  3913354 |        1    28785     34 |  0.414 % |
18.08/18.13	c |    137526 |    8651   463983  3913354 |        1    30144     35 |  0.414 % |
18.08/18.13	c |    137755 |    8651   463983  3913354 |        1    30373     36 |  0.414 % |
20.18/20.23	c |    138165 |    8651   463983  3913354 |        1    30783     36 |  0.414 % |
20.18/20.23	c |    138412 |    8651   463983  3913354 |        1    31030     36 |  0.414 % |
20.18/20.23	c |    139638 |    8651   463983  3913354 |        1    32256     38 |  0.414 % |
20.18/20.23	c |    139925 |    8651   463983  3913354 |        1    32543     38 |  0.414 % |
20.18/20.23	c |    140028 |    8651   463983  3913354 |        1    32646     39 |  0.414 % |
20.18/20.23	c |    141071 |    8650   463983  3913354 |        1    33688     39 |  0.426 % |
20.18/20.23	c |    141774 |    8650   463983  3913354 |        1    34391     40 |  0.426 % |
20.18/20.23	c |    143576 |    8650   463983  3913354 |        1    36193     41 |  0.426 % |
20.18/20.23	c |    146600 |    8650   463983  3913354 |        1    39217     43 |  0.426 % |
20.18/20.23	c |    147493 |    8650   463983  3913354 |        1    40110     43 |  0.426 % |
20.18/20.23	c |    148424 |    8650   463983  3913354 |        1    41041     43 |  0.426 % |
20.18/20.23	c |    148944 |    8650   463983  3913354 |        1    41561     44 |  0.426 % |
20.18/20.23	c |    149413 |    8650   463983  3913354 |        1    42030     44 |  0.426 % |
20.18/20.23	c |    149518 |    8650   463983  3913354 |        1    42135     44 |  0.426 % |
20.18/20.23	c |    149689 |    8650   463983  3913354 |        1    42306     44 |  0.426 % |
20.18/20.23	c |    149895 |    8650   463983  3913354 |        1    42512     44 |  0.426 % |
20.18/20.23	c |    149995 |    8650   463983  3913354 |        1    42612     44 |  0.426 % |
20.18/20.23	c |    150995 |    8650   463983  3913354 |        1    43612     45 |  0.426 % |
20.18/20.23	c |    151095 |    8650   463983  3913354 |        1    43712     45 |  0.426 % |
20.18/20.23	c |    151209 |    8650   463983  3913354 |        1    43826     45 |  0.426 % |
20.18/20.23	c |    151631 |    8650   463983  3913354 |        1    44248     45 |  0.426 % |
20.18/20.23	c |    151869 |    8650   463983  3913354 |        1    44486     46 |  0.426 % |
20.18/20.23	c |    152821 |    8650   463983  3913354 |        1    45438     46 |  0.426 % |
20.18/20.23	c |    152923 |    8650   463983  3913354 |        1    45540     46 |  0.426 % |
20.18/20.23	c |    153264 |    8650   463983  3913354 |        1    45881     46 |  0.426 % |
20.18/20.23	c |    153364 |    8650   463983  3913354 |        1    45981     46 |  0.426 % |
20.18/20.23	c |    153465 |    8650   463983  3913354 |        1    46082     46 |  0.426 % |
20.18/20.23	c |    154477 |    8650   463983  3913354 |        1    47094     47 |  0.426 % |
20.18/20.23	c |    155689 |    8650   463983  3913354 |        1    48306     48 |  0.426 % |
20.18/20.23	c |    155789 |    8650   463983  3913354 |        1    48406     48 |  0.426 % |
20.18/20.23	c |    155891 |    8650   463983  3913354 |        1    48508     49 |  0.426 % |
20.18/20.23	c |    156084 |    8650   463983  3913354 |        1    48701     49 |  0.426 % |
20.18/20.23	c |    156184 |    8650   463983  3913354 |        1    48801     49 |  0.426 % |
20.18/20.23	c |    156287 |    8650   463983  3913354 |        1    48904     49 |  0.426 % |
20.18/20.23	c |    156389 |    8650   463983  3913354 |        1    49006     49 |  0.426 % |
20.18/20.23	c |    156490 |    8650   463983  3913354 |        1    49107     49 |  0.426 % |
20.18/20.23	c |    156592 |    8650   463983  3913354 |        1    49209     49 |  0.426 % |
20.18/20.23	c |    156741 |    8650   463983  3913354 |        1    49358     49 |  0.426 % |
20.18/20.23	c |    156843 |    8650   463983  3913354 |        1    49460     49 |  0.426 % |
20.18/20.23	c |    160107 |    8650   463983  3913354 |        1    27927     27 |  0.426 % |
20.18/20.23	c |    160597 |    8650   463983  3913354 |        1    28417     27 |  0.426 % |
20.18/20.23	c |    160698 |    8650   463983  3913354 |        1    28518     28 |  0.426 % |
20.18/20.23	c |    161828 |    8650   463983  3913354 |        1    29648     28 |  0.426 % |
20.18/20.23	c |    161928 |    8650   463983  3913354 |        1    29748     29 |  0.426 % |
20.18/20.23	c |    162056 |    8650   463983  3913354 |        1    29876     29 |  0.426 % |
20.18/20.23	c |    162157 |    8650   463983  3913354 |        1    29977     29 |  0.426 % |
20.18/20.23	c |    162407 |    8650   463983  3913354 |        1    30227     30 |  0.426 % |
20.18/20.23	c |    162613 |    8650   463983  3913354 |        1    30433     30 |  0.426 % |
20.18/20.23	c |    162954 |    8650   463983  3913354 |        1    30774     30 |  0.426 % |
20.18/20.23	c |    163062 |    8650   463983  3913354 |        1    30882     30 |  0.426 % |
26.18/26.25	c |    163171 |    8650   463983  3913354 |        1    30991     31 |  0.426 % |
26.18/26.25	c |    163271 |    8650   463983  3913354 |        1    31091     31 |  0.426 % |
26.18/26.25	c |    163371 |    8650   463983  3913354 |        1    31191     31 |  0.426 % |
26.18/26.25	c |    163724 |    8650   463983  3913354 |        1    31544     32 |  0.426 % |
26.18/26.25	c |    163868 |    8650   463983  3913354 |        1    31688     32 |  0.426 % |
26.18/26.25	c |    163968 |    8650   463983  3913354 |        1    31788     32 |  0.426 % |
26.18/26.25	c |    164429 |    8650   463983  3913354 |        1    32249     33 |  0.426 % |
26.18/26.25	c |    165193 |    8650   463983  3913354 |        1    33013     34 |  0.426 % |
26.18/26.25	c |    167839 |    8650   463983  3913354 |        1    35659     35 |  0.426 % |
26.18/26.25	c |    167939 |    8650   463983  3913354 |        1    35759     36 |  0.426 % |
26.18/26.25	c |    168661 |    8650   463983  3913354 |        1    36481     37 |  0.426 % |
26.18/26.25	c |    171671 |    8650   463983  3913354 |        1    39491     39 |  0.426 % |
26.18/26.25	c |    171771 |    8650   463983  3913354 |        1    39591     39 |  0.426 % |
26.18/26.25	c |    172714 |    8650   463983  3913354 |        1    40534     40 |  0.426 % |
26.18/26.25	c |    172876 |    8650   463983  3913354 |        1    40696     40 |  0.426 % |
26.18/26.25	c |    175518 |    8650   463983  3913354 |        1    43338     42 |  0.426 % |
26.18/26.25	c |    175995 |    8650   463983  3913354 |        1    43815     42 |  0.426 % |
26.18/26.25	c |    176894 |    8650   463983  3913354 |        1    44714     42 |  0.426 % |
26.18/26.25	c |    178039 |    8650   463983  3913354 |        1    45859     43 |  0.426 % |
26.18/26.25	c |    178537 |    8650   463983  3913354 |        1    46357     43 |  0.426 % |
26.18/26.25	c |    178786 |    8650   463983  3913354 |        1    46606     44 |  0.426 % |
26.18/26.25	c |    179941 |    8650   463983  3913354 |        1    47761     45 |  0.426 % |
26.18/26.25	c |    180161 |    8650   463983  3913354 |        1    47981     45 |  0.426 % |
26.18/26.25	c |    184001 |    8650   463983  3913354 |        1    51821     47 |  0.426 % |
26.18/26.25	c |    184419 |    8650   463983  3913354 |        1    52239     47 |  0.426 % |
26.18/26.25	c |    184706 |    8650   463983  3913354 |        1    52526     48 |  0.426 % |
26.18/26.25	c |    184806 |    8650   463983  3913354 |        1    52626     48 |  0.426 % |
26.18/26.25	c |    189065 |    8650   463983  3913354 |        1    29495     26 |  0.426 % |
26.18/26.25	c |    199968 |    8650   463983  3913354 |        1    40398     34 |  0.426 % |
26.18/26.25	c |    200638 |    8650   463983  3913354 |        1    41068     34 |  0.426 % |
26.18/26.25	c |    209045 |    8650   463983  3913354 |        1    49475     39 |  0.426 % |
26.18/26.25	c |    209145 |    8650   463983  3913354 |        1    49575     39 |  0.426 % |
26.18/26.25	c |    210829 |    8650   463983  3913354 |        1    51259     40 |  0.426 % |
26.18/26.25	c |    210929 |    8650   463983  3913354 |        1    51359     40 |  0.426 % |
26.18/26.25	c |    211415 |    8650   463983  3913354 |        1    51845     41 |  0.426 % |
26.18/26.25	c |    211687 |    8650   463983  3913354 |        1    52117     41 |  0.426 % |
26.18/26.25	c |    212805 |    8650   463983  3913354 |        1    53235     41 |  0.426 % |
26.18/26.25	c |    212910 |    8650   463983  3913354 |        1    53340     41 |  0.426 % |
26.18/26.25	c |    213047 |    8650   463983  3913354 |        1    53477     41 |  0.426 % |
26.18/26.25	c |    213147 |    8650   463983  3913354 |        1    53577     41 |  0.426 % |
26.18/26.25	c |    213532 |    8650   463983  3913354 |        1    53962     42 |  0.426 % |
26.18/26.25	c |    213812 |    8650   463983  3913354 |        1    54242     42 |  0.426 % |
26.18/26.25	c |    213913 |    8650   463983  3913354 |        1    54343     42 |  0.426 % |
26.18/26.25	c |    214014 |    8650   463983  3913354 |        1    54444     42 |  0.426 % |
26.18/26.25	c |    216497 |    8650   463983  3913354 |        1    56927     43 |  0.426 % |
26.18/26.25	c |    216695 |    8650   463983  3913354 |        1    57125     43 |  0.426 % |
26.18/26.25	c |    218075 |    8650   463983  3913354 |        1    58505     44 |  0.426 % |
26.18/26.25	c |    218230 |    8650   463983  3913354 |        1    58660     44 |  0.426 % |
26.18/26.25	c |    222053 |    8650   463983  3913354 |        1    32474     28 |  0.426 % |
26.18/26.25	c |    222472 |    8650   463983  3913354 |        1    32893     29 |  0.426 % |
29.08/29.12	c |    224656 |    8650   463983  3913354 |        1    35077     31 |  0.426 % |
29.08/29.12	c |    225127 |    8650   463983  3913354 |        1    35548     31 |  0.426 % |
29.08/29.12	c |    225365 |    8650   463983  3913354 |        1    35786     31 |  0.426 % |
29.08/29.12	c |    225845 |    8650   463983  3913354 |        1    36266     32 |  0.426 % |
29.08/29.12	c |    227064 |    8650   463983  3913354 |        1    37485     33 |  0.426 % |
29.08/29.12	c |    229218 |    8650   463983  3913354 |        1    39639     34 |  0.426 % |
29.08/29.12	c |    229369 |    8650   463983  3913354 |        1    39790     34 |  0.426 % |
29.08/29.12	c |    229602 |    8650   463983  3913354 |        1    40023     34 |  0.426 % |
29.08/29.12	c |    231764 |    8650   463983  3913354 |        1    42185     37 |  0.426 % |
29.08/29.12	c |    231878 |    8650   463983  3913354 |        1    42299     37 |  0.426 % |
29.08/29.12	c |    231985 |    8650   463983  3913354 |        1    42406     37 |  0.426 % |
29.08/29.12	c |    232085 |    8650   463983  3913354 |        1    42506     37 |  0.426 % |
29.08/29.12	c |    232185 |    8650   463983  3913354 |        1    42606     37 |  0.426 % |
29.08/29.12	c |    232301 |    8650   463983  3913354 |        1    42722     37 |  0.426 % |
29.08/29.12	c |    233077 |    8650   463983  3913354 |        1    43498     38 |  0.426 % |
29.08/29.12	c |    233177 |    8650   463983  3913354 |        1    43598     38 |  0.426 % |
29.08/29.12	c |    233278 |    8650   463983  3913354 |        1    43699     38 |  0.426 % |
29.08/29.12	c |    233450 |    8650   463983  3913354 |        1    43871     38 |  0.426 % |
29.08/29.12	c |    233826 |    8650   463983  3913354 |        1    44247     38 |  0.426 % |
29.08/29.12	c |    235560 |    8650   463983  3913354 |        1    45981     40 |  0.426 % |
29.08/29.12	c |    235660 |    8650   463983  3913354 |        1    46081     40 |  0.426 % |
29.08/29.12	c |    235871 |    8650   463983  3913354 |        1    46292     40 |  0.426 % |
29.08/29.12	c |    236339 |    8650   463983  3913354 |        1    46760     40 |  0.426 % |
29.08/29.12	c |    236582 |    8650   463983  3913354 |        1    47003     40 |  0.426 % |
29.08/29.12	c |    236683 |    8650   463983  3913354 |        1    47104     40 |  0.426 % |
29.08/29.12	c |    237348 |    8650   463983  3913354 |        1    47769     41 |  0.426 % |
29.08/29.12	c |    241325 |    8650   463983  3913354 |        1    51746     41 |  0.426 % |
29.08/29.12	c |    242155 |    8650   463983  3913354 |        1    52576     41 |  0.426 % |
29.08/29.12	c |    242272 |    8650   463983  3913354 |        1    52693     41 |  0.426 % |
29.08/29.12	c |    242541 |    8650   463983  3913354 |        1    52962     41 |  0.426 % |
29.08/29.12	c |    244333 |    8650   463983  3913354 |        1    54754     42 |  0.426 % |
29.08/29.12	c |    245499 |    8650   463983  3913354 |        1    55920     43 |  0.426 % |
29.08/29.12	c |    245614 |    8650   463983  3913354 |        1    56035     43 |  0.426 % |
29.08/29.12	c |    247203 |    8650   463983  3913354 |        1    57624     44 |  0.426 % |
29.08/29.12	c |    247342 |    8650   463983  3913354 |        1    57763     44 |  0.426 % |
29.08/29.12	c |    248804 |    8650   463983  3913354 |        1    59225     44 |  0.426 % |
29.08/29.12	c |    249212 |    8650   463983  3913354 |        1    59633     45 |  0.426 % |
29.08/29.12	c |    249314 |    8650   463983  3913354 |        1    59735     45 |  0.426 % |
29.08/29.12	c |    249673 |    8650   463983  3913354 |        1    60094     45 |  0.426 % |
29.08/29.12	c |    249776 |    8650   463983  3913354 |        1    60197     45 |  0.426 % |
29.08/29.12	c |    250039 |    8650   463983  3913354 |        1    60460     45 |  0.426 % |
29.08/29.12	c |    250316 |    8650   463983  3913354 |        1    60737     46 |  0.426 % |
29.08/29.12	c |    250416 |    8650   463983  3913354 |        1    60837     46 |  0.426 % |
29.08/29.12	c |    250580 |    8650   463983  3913354 |        1    61001     46 |  0.426 % |
29.08/29.12	c |    250740 |    8650   463983  3913354 |        1    61161     46 |  0.426 % |
29.08/29.12	c |    250867 |    8650   463983  3913354 |        1    61288     46 |  0.426 % |
29.08/29.12	c |    251637 |    8650   463983  3913354 |        1    62058     46 |  0.426 % |
29.08/29.12	c |    251747 |    8650   463983  3913354 |        1    62168     46 |  0.426 % |
29.08/29.12	c |    256012 |    8650   463983  3913354 |        1    33845     23 |  0.426 % |
29.08/29.13	c ===============================================================================
29.08/29.13	c restarts              : 338
29.08/29.13	c nb ReduceDB           : 13
29.08/29.13	c nb removed Clauses    : 222160
29.08/29.13	c nb learnts DL2        : 3301
29.08/29.13	c nb learnts size 2     : 2258
29.08/29.13	c nb learnts size 1     : 6
29.08/29.13	c conflicts             : 256012         (11142 /sec)
29.08/29.13	c decisions             : 646277         (0.00 % random) (28128 /sec)
29.08/29.13	c propagations          : 69672101       (3032319 /sec)
29.08/29.13	c conflict literals     : 16869453       (24.57 % deleted)
29.08/29.13	c nb reduced Clauses    : 1194
29.08/29.13	c CPU time              : 22.9765 s
29.08/29.13	
29.08/29.14	s SATISFIABLE
29.08/29.14	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-3304091-1303905045/watcher-3304091-1303905045 -o /tmp/evaluation-result-3304091-1303905045/solver-3304091-1303905045 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3304091-1303905045.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 24746
/proc/meminfo: memFree=11862108/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0

[startup+0.0405951 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 24746
/proc/meminfo: memFree=11862108/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100586 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 24746
/proc/meminfo: memFree=11862108/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.30056 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 24746
/proc/meminfo: memFree=11862108/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700473 s]
/proc/loadavg: 2.00 2.00 1.95 2/178 24746
/proc/meminfo: memFree=11862108/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24748
/proc/meminfo: memFree=11810360/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
[pid=24747] ppid=24746 vsize=53328 CPUtime=1.49 cores=1,3,5,7
/proc/24747/stat : 24747 (SatELite_releas) R 24746 24746 24330 0 -1 4202496 12943 0 0 0 146 3 0 0 25 0 1 0 502105018 54607872 12898 33554432000 134512640 135144242 4288197648 18446744073709551615 134551334 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24747/statm: 13332 12898 71 155 0 13175 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62032

[startup+3.10103 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24748
/proc/meminfo: memFree=11809988/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 332 0 0 0 0 0 0 0 24 0 1 0 502105018 8912896 252 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/24746/statm: 2176 252 211 178 0 69 0
[pid=24747] ppid=24746 vsize=53500 CPUtime=3.09 cores=1,3,5,7
/proc/24747/stat : 24747 (SatELite_releas) R 24746 24746 24330 0 -1 4202496 12957 0 0 0 306 3 0 0 25 0 1 0 502105018 54784000 12912 33554432000 134512640 135144242 4288197648 18446744073709551615 134588125 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/24747/statm: 13375 12912 71 155 0 13218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 62204

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24748
/proc/meminfo: memFree=11807664/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 8704

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24749
/proc/meminfo: memFree=11791720/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=74056 CPUtime=6.64 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 28094 0 0 0 659 5 0 0 25 0 1 0 502105623 75833344 13133 33554432000 4194304 4260849 140734611137024 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 18514 13133 251 17 0 15155 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 82760

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24750
/proc/meminfo: memFree=11725664/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=135172 CPUtime=19.44 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 44645 0 0 0 1937 7 0 0 25 0 1 0 502105623 138416128 28663 33554432000 4194304 4260849 140734611137024 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 33793 28663 251 17 0 30434 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 143876

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

[startup+27.1007 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24750
/proc/meminfo: memFree=11723556/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=135172 CPUtime=21.04 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 44884 0 0 0 2096 8 0 0 25 0 1 0 502105623 138416128 28896 33554432000 4194304 4260849 140734611137024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 33793 28896 251 17 0 30434 0
Current children cumulated CPU time (s) 27.08
Current children cumulated vsize (KiB) 143876

[startup+27.9005 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24750
/proc/meminfo: memFree=11722688/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=135172 CPUtime=21.84 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 44885 0 0 0 2176 8 0 0 25 0 1 0 502105623 138416128 28897 33554432000 4194304 4260849 140734611137024 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 33793 28897 251 17 0 30434 0
Current children cumulated CPU time (s) 27.88
Current children cumulated vsize (KiB) 143876

[startup+28.7004 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24750
/proc/meminfo: memFree=11721324/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=123796 CPUtime=22.64 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 52746 0 0 0 2255 9 0 0 25 0 1 0 502105623 126767104 21701 33554432000 4194304 4260849 140734611137024 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 30949 21701 251 17 0 27590 0
Current children cumulated CPU time (s) 28.68
Current children cumulated vsize (KiB) 132500

[startup+29.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 24750
/proc/meminfo: memFree=11721324/32951124 swapFree=67111528/67111528
[pid=24746] ppid=24744 vsize=8704 CPUtime=6.04 cores=1,3,5,7
/proc/24746/stat : 24746 (glucose.sh) S 24744 24746 24330 0 -1 4202496 358 14270 0 0 0 0 598 6 18 0 1 0 502105018 8912896 254 33554432000 4194304 4922060 140734623501120 18446744073709551615 230808984709 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/24746/statm: 2176 254 211 178 0 69 0
[pid=24749] ppid=24746 vsize=104824 CPUtime=23.04 cores=1,3,5,7
/proc/24749/stat : 24749 (glucose_static) R 24746 24746 24330 0 -1 4202496 58988 0 0 0 2294 10 0 0 25 0 1 0 502105623 107339776 19505 33554432000 4194304 4260849 140734611137024 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24749/statm: 26206 19505 251 17 0 22847 0
Current children cumulated CPU time (s) 29.08
Current children cumulated vsize (KiB) 113528

Child status: 10
Real time (s): 29.1464
CPU time (s): 29.1446
CPU user time (s): 28.9716
CPU system time (s): 0.172973
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 162848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9716
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 134

runsolver used 0.049992 second user time and 0.108983 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-27 13:50:46
IDJOB=3304091
IDBENCH=83450
IDSOLVER=1687
FILE ID=node104/3304091-1303905045
RUNJOBID= node104-1303899346-24349
PBS_JOBID= 13164544
Free space on /tmp= 71524 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3304091-1303905045/watcher-3304091-1303905045 -o /tmp/evaluation-result-3304091-1303905045/solver-3304091-1303905045 -C 5000 -W 5100 -M 15500  glucose.sh HOME/instance-3304091-1303905045.cnf 

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1617400415

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11862380 kB
Buffers:       2305452 kB
Cached:       18035924 kB
SwapCached:          0 kB
Active:       11319616 kB
Inactive:      9180592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11862380 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           22940 kB
Writeback:           0 kB
AnonPages:      158208 kB
Mapped:          15224 kB
Slab:           525384 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   319012 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= 71524 MiB
End job on node104 at 2011-04-27 13:51:15