Trace number 3723749

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)21 1800.08 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark618.033
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.05	c Converting 32293 PB-constraints to clauses...
0.00/0.05	c   -- Unit propagations: (none)
0.00/0.05	c   -- Detecting intervals from adjacent constraints: =================
0.00/0.05	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.08	c ---[   0]---> Adder-cost: 1562   maxlim: 759   bits: 10/10
0.00/0.09	c ==================================[MINISAT+]==================================
0.00/0.09	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.09	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.09	c ==============================================================================
0.00/0.09	c |         0 |   43147   119846 |   14382       0        0    -nan |  0.000 % |
0.00/0.10	c |       100 |   43147   119846 |   15820     100     3508    35.1 |  0.105 % |
0.00/0.12	c |       250 |   43140   119823 |   17402     248     5469    22.1 |  0.115 % |
0.00/0.17	c |       475 |   43140   119823 |   19142     473     8036    17.0 |  0.115 % |
0.00/0.21	c |       812 |   43140   119823 |   21056     810    15114    18.7 |  0.115 % |
0.00/0.27	c |      1318 |   43131   119792 |   23162    1312    29030    22.1 |  0.124 % |
0.00/0.35	c |      2078 |   43122   119761 |   25478    2067    87493    42.3 |  0.134 % |
0.00/0.49	c |      3218 |   43112   119723 |   28026    3204   215275    67.2 |  0.143 % |
0.00/0.67	c |      4928 |   43112   119723 |   30829    4914   506477   103.1 |  0.144 % |
0.99/1.04	c |      7490 |   43107   119707 |   33912    7475  1024664   137.1 |  0.153 % |
1.58/1.60	c |     11334 |   43077   119610 |   37303   11313  1965561   173.7 |  0.210 % |
2.78/2.88	c |     17100 |   43077   119610 |   41033   17079  3278396   192.0 |  0.210 % |
4.58/4.69	c |     25751 |   43077   119610 |   45136   25730  5637966   219.1 |  0.210 % |
8.08/8.13	c |     38725 |   42850   118830 |   49650   38621  8434609   218.4 |  0.573 % |
8.79/8.85	c ==============================================================================
8.79/8.85	c Found solution: 30
8.79/8.85	c ---[   0]---> Sorter-cost:36104     Base:
8.79/8.89	c ==================================[MINISAT+]==================================
8.79/8.89	c | Conflicts | Original         | Learnt                           | Progress |
8.79/8.89	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.79/8.89	c ==============================================================================
8.79/8.89	c |     41422 |   81479   208961 |   27159   41318  8985041   217.5 |  0.573 % |
8.88/8.94	c |     41522 |   81479   208961 |   29874   16207  2662328   164.3 |  1.097 % |
8.88/8.96	c |     41677 |   81479   208961 |   32862   16362  2686351   164.2 |  1.097 % |
8.98/9.01	c |     41903 |   81479   208961 |   36148   16588  2723283   164.2 |  1.097 % |
8.98/9.08	c |     42243 |   81479   208961 |   39763   16928  2779292   164.2 |  1.097 % |
9.08/9.19	c |     42751 |   81479   208961 |   43739   17436  2856220   163.8 |  1.097 % |
9.28/9.37	c |     43510 |   81479   208961 |   48113   18195  2984252   164.0 |  1.097 % |
9.58/9.67	c |     44649 |   81479   208961 |   52925   19334  3176989   164.3 |  1.097 % |
10.08/10.13	c |     46359 |   81479   208961 |   58217   21044  3536412   168.0 |  1.097 % |
10.78/10.83	c |     48921 |   81479   208961 |   64039   23606  4006565   169.7 |  1.097 % |
11.78/11.81	c |     52766 |   81479   208961 |   70443   27451  4790469   174.5 |  1.097 % |
13.38/13.43	c |     58533 |   81479   208961 |   77487   33218  6097115   183.5 |  1.097 % |
15.78/15.87	c |     67182 |   81479   208961 |   85236   41867  8574860   204.8 |  1.097 % |
20.89/20.93	c |     80156 |   81479   208961 |   93760   54841 12133101   221.2 |  1.097 % |
28.99/29.04	c |     99617 |   81479   208961 |  103136   74302 16682834   224.5 |  1.097 % |
38.08/38.14	c |    128810 |   81479   208961 |  113449  103495 21031608   203.2 |  1.097 % |
40.08/40.11	c ==============================================================================
40.08/40.11	c Found solution: 29
40.08/40.11	c ---[   0]---> Sorter-cost:    0     Base:
40.08/40.16	c ==================================[MINISAT+]==================================
40.08/40.16	c | Conflicts | Original         | Learnt                           | Progress |
40.08/40.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.08/40.16	c ==============================================================================
40.08/40.16	c |    136513 |   81495   209004 |   27165  111198 22314507   200.7 |  1.097 % |
40.28/40.35	c |    136613 |   81495   209004 |   29881   18516  2425154   131.0 |  1.099 % |
40.28/40.38	c |    136763 |   81495   209004 |   32869   18666  2450295   131.3 |  1.099 % |
40.38/40.43	c ==============================================================================
40.38/40.43	c Found solution: 26
40.38/40.43	c ---[   0]---> Sorter-cost:    0     Base:
40.38/40.44	c ==================================[MINISAT+]==================================
40.38/40.44	c | Conflicts | Original         | Learnt                           | Progress |
40.38/40.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
40.38/40.44	c ==============================================================================
40.38/40.44	c |    136956 |   81339   208641 |   27113   18837  2472290   131.2 |  1.099 % |
40.38/40.48	c |    137062 |   81339   208641 |   29824   18943  2495684   131.7 |  1.451 % |
40.48/40.50	c |    137213 |   81339   208641 |   32806   19094  2526396   132.3 |  1.451 % |
40.48/40.57	c |    137440 |   81339   208641 |   36087   19321  2553005   132.1 |  1.451 % |
40.58/40.65	c |    137778 |   81339   208641 |   39696   19659  2612253   132.9 |  1.451 % |
40.78/40.82	c |    138284 |   81339   208641 |   43665   20165  2711336   134.5 |  1.451 % |
40.98/41.07	c |    139043 |   81339   208641 |   48032   20924  2992213   143.0 |  1.451 % |
41.08/41.10	c ==============================================================================
41.08/41.10	c Found solution: 23
41.08/41.10	c ---[   0]---> Sorter-cost:    0     Base:
41.08/41.12	c ==================================[MINISAT+]==================================
41.08/41.12	c | Conflicts | Original         | Learnt                           | Progress |
41.08/41.12	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.08/41.12	c ==============================================================================
41.08/41.12	c |    139118 |   81366   208709 |   27122   20999  3005618   143.1 |  1.451 % |
41.08/41.14	c |    139218 |   81366   208709 |   29834   21099  3024914   143.4 |  1.453 % |
41.08/41.18	c |    139369 |   81366   208709 |   32817   21250  3046235   143.4 |  1.453 % |
41.18/41.24	c |    139595 |   81366   208709 |   36099   21476  3066410   142.8 |  1.453 % |
41.27/41.35	c |    139935 |   81366   208709 |   39709   21816  3125162   143.3 |  1.453 % |
41.37/41.49	c |    140444 |   81366   208709 |   43680   22325  3206559   143.6 |  1.453 % |
41.57/41.63	c |    141203 |   81366   208709 |   48048   23084  3312356   143.5 |  1.453 % |
41.87/41.96	c |    142343 |   81366   208709 |   52853   24224  3526346   145.6 |  1.453 % |
42.27/42.39	c |    144052 |   81366   208709 |   58138   25933  4002053   154.3 |  1.453 % |
42.97/43.05	c |    146615 |   81366   208709 |   63952   28496  4422529   155.2 |  1.453 % |
44.17/44.29	c |    150460 |   81366   208709 |   70347   32341  4924168   152.3 |  1.453 % |
45.97/46.01	c |    156226 |   81366   208709 |   77382   38107  6030902   158.3 |  1.453 % |
48.17/48.30	c |    164877 |   81366   208709 |   85120   46758  7170993   153.4 |  1.453 % |
52.47/52.53	c |    177852 |   81366   208709 |   93632   59733  8466129   141.7 |  1.453 % |
57.47/57.54	c ==============================================================================
57.47/57.54	c Found solution: 22
57.47/57.54	c ---[   0]---> Sorter-cost:    0     Base:
57.47/57.58	c ==================================[MINISAT+]==================================
57.47/57.58	c | Conflicts | Original         | Learnt                           | Progress |
57.47/57.58	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
57.47/57.58	c ==============================================================================
57.47/57.58	c |    195123 |   79147   203530 |   26382   71486 10171215   142.3 |  1.453 % |
57.57/57.69	c |    195223 |   79147   203530 |   29020   17600  1951877   110.9 |  5.584 % |
57.67/57.71	c |    195373 |   79147   203530 |   31922   17750  1969915   111.0 |  5.584 % |
57.67/57.78	c |    195598 |   79147   203530 |   35114   17975  2021659   112.5 |  5.584 % |
57.77/57.85	c |    195935 |   79147   203530 |   38625   18312  2115692   115.5 |  5.584 % |
57.87/57.97	c |    196441 |   79147   203530 |   42488   18818  2239104   119.0 |  5.584 % |
58.07/58.18	c |    197200 |   79147   203530 |   46737   19577  2344263   119.7 |  5.584 % |
58.27/58.39	c |    198340 |   79147   203530 |   51411   20717  2425814   117.1 |  5.584 % |
58.77/58.84	c |    200048 |   79147   203530 |   56552   22425  2741043   122.2 |  5.584 % |
59.66/59.74	c |    202615 |   79147   203530 |   62207   24992  2993552   119.8 |  5.584 % |
60.26/60.36	c |    206459 |   79147   203530 |   68428   28836  3354853   116.3 |  5.584 % |
61.86/61.98	c |    212225 |   79147   203530 |   75270   34602  4214265   121.8 |  5.584 % |
63.86/63.92	c |    220877 |   79147   203530 |   82798   43254  5809431   134.3 |  5.584 % |
68.46/68.55	c |    233851 |   79147   203530 |   91077   56228  8611416   153.2 |  5.584 % |
74.55/74.63	c |    253312 |   79147   203530 |  100185   75689 11650686   153.9 |  5.584 % |
85.65/85.72	c |    282507 |   79147   203530 |  110204  104884 15247592   145.4 |  5.584 % |
101.74/101.88	c |    326298 |   79147   203530 |  121224   53683  4823904    89.9 |  5.584 % |
126.34/126.50	c |    391982 |   79147   203530 |  133347  119367 10191088    85.4 |  5.584 % |
160.53/160.64	c |    490512 |   79147   203530 |  146681  102502  7954771    77.6 |  5.584 % |
217.52/217.66	c |    638304 |   79147   203530 |  161349  123678 13977370   113.0 |  5.584 % |
329.50/329.62	c |    859989 |   79147   203530 |  177484   75236  7442542    98.9 |  5.584 % |
340.80/340.93	c ==============================================================================
340.80/340.93	c Found solution: 21
340.80/340.93	c ---[   0]---> Sorter-cost:    0     Base:
340.80/340.97	c ==================================[MINISAT+]==================================
340.80/340.97	c | Conflicts | Original         | Learnt                           | Progress |
340.80/340.97	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
340.80/340.97	c ==============================================================================
340.80/340.97	c |    885023 |   79161   203568 |   26387  100270 10669512   106.4 |  5.584 % |
341.20/341.34	c |    885123 |   79161   203568 |   29025   26109  2146938    82.2 |  5.585 % |
341.20/341.38	c |    885273 |   79161   203568 |   31928   26259  2156607    82.1 |  5.585 % |
341.30/341.42	c |    885498 |   79161   203568 |   35121   26484  2172021    82.0 |  5.585 % |
341.30/341.49	c |    885836 |   79161   203568 |   38633   26822  2200058    82.0 |  5.585 % |
341.40/341.60	c |    886343 |   79161   203568 |   42496   27329  2246454    82.2 |  5.585 % |
341.60/341.78	c |    887104 |   79161   203568 |   46746   28090  2299020    81.8 |  5.585 % |
342.00/342.11	c |    888243 |   79161   203568 |   51420   29229  2448975    83.8 |  5.585 % |
342.50/342.61	c |    889956 |   79161   203568 |   56562   30942  2646526    85.5 |  5.585 % |
343.10/343.25	c |    892518 |   79161   203568 |   62219   33504  2866776    85.6 |  5.585 % |
344.10/344.24	c |    896362 |   79161   203568 |   68441   37348  3158703    84.6 |  5.585 % |
345.80/345.90	c |    902128 |   79161   203568 |   75285   43114  3810979    88.4 |  5.585 % |
348.30/348.49	c |    910779 |   79161   203568 |   82813   51765  5102736    98.6 |  5.585 % |
352.90/353.03	c |    923753 |   79161   203568 |   91095   64739  6579225   101.6 |  5.585 % |
359.69/359.83	c |    943215 |   79161   203568 |  100204   84201  8290851    98.5 |  5.585 % |
368.59/368.79	c |    972407 |   79161   203568 |  110225   27570  1867492    67.7 |  5.585 % |
379.69/379.88	c |   1016197 |   79161   203568 |  121247   71360  6528634    91.5 |  5.585 % |
405.59/405.75	c |   1081883 |   79161   203568 |  133372   30399  2189519    72.0 |  5.585 % |
439.08/439.28	c |   1180413 |   79161   203568 |  146709  128929 11019523    85.5 |  5.585 % |
498.67/498.83	c |   1328205 |   79161   203568 |  161380   34645  2128578    61.4 |  5.585 % |
597.56/597.79	c |   1549888 |   79161   203568 |  177518  118882 10726392    90.2 |  5.585 % |
734.44/734.66	c |   1882413 |   79161   203568 |  195270  144409 11808328    81.8 |  5.585 % |
961.30/961.58	c |   2381201 |   79161   203568 |  214797  129929 10115302    77.9 |  5.585 % |
1327.45/1327.77	c |   3129384 |   79161   203568 |  236277  112193  8340749    74.3 |  5.585 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	v x1 x362 x699 x862 x1196 x1207 -x1265 -x1323 -x1381 -x1439 -x1497 -x1555 -x1613 -x11 -x1671 -x14 -x1698 -x17 -x1725 -x20 -x1752 -x23 -x1779 -x26 -x1806 -x29 -x1833 -x32 -x1860 -x1887 -x37 -x1914 -x40 -x1941 -x1968 -x45 -x1995 -x2022 x50 -x2049 -x53 -x2076 -x56 -x2103 -x59 -x2130 -x62 -x2157 -x65 -x2184 -x2211 -x70 -x2238 -x73 -x2265 -x76 -x2292 -x79 -x2319 x82 -x2346 -x85 -x2373 -x88 -x2400 -x2427 -x2429 -x2441 -x2443 -x2455 -x2457 -x2469 -x2471 -x2483 -x2485 -x2497 -x2499 -x2511 -x2513 -x2525 -x2527 -x2539 -x2541 -x2553 -x2555 -x2567 -x2569 -x2581 -x2583 -x2595 -x2597 -x2609 -x2611 -x2623 -x2625 -x2637 -x2639 -x2651 -x2653 -x2665 -x2667 -x2679 -x2681 -x2693 -x2695 -x2707 -x2709 -x2721 -x2723 -x2735 -x2737 -x2749 -x2751 -x2763 -x2765 -x2777 -x2779 -x2791 -x2793 -x2805 -x2807 -x2819 -x2831 -x2833 -x2845 -x2847 -x2859 -x2861 -x2873 -x2875 x2887 -x2889 -x2901 -x2903 -x2915 -x2917 x2929 -x2931 -x2943 -x2945 -x2957 -x2959 -x2971 -x2973 -x2985 -x2987 -x2999 -x3001 -x3013 -x3015 -x3027 -x3029 -x3041 -x3043 -x3055 -x3057 -x3069 -x3071 -x3083 -x3085 -x3097 -x3099 -x3111 -x3113 -x3125 -x3127 -x3139 -x3141 -x3153 -x3155 -x3167 -x3169 -x3181 -x3183 -x3195 -x3197 -x3209 -x3214 -x3219 -x3224 -x3229 -x3234 -x3239 -x3244 -x3249 -x3254 -x3259 -x3264 -x3269 -x3274 -x3279 -x3284 -x3289 -x3294 -x3299 -x3304 -x3309 -x3314 -x3319 -x3324 -x3329 x3334 -x3339 -x3344 -x3349 -x3354 -x3359 -x3364 -x3369 -x3374 -x3379 -x3384 -x3389 -x3394 -x3399 -x3404 -x3409 -x3414 -x3419 -x3424 -x3429 -x3434 -x3439 -x3444 -x3449 -x3454 -x3459 -x3464 -x3469 -x3474 -x3479 -x3484 -x3489 -x3494 -x3499 -x3504 -x3509 -x3514 -x3519 -x3524 -x3529 -x3534 -x3539 -x3544 -x3549 -x3554 -x3559 -x3617 -x3675 -x3733 -x3791 -x3849 -x3907 -x3965 -x4023 -x4050 -x4077 -x378 -x4104 -x4131 -x383 -x4158 -x4185 -x4212 -x4239 -x4266 -x4293 -x4320 -x4347 -x400 -x4374 -x403 -x4401 -x4428 -x4455 -x410 -x4482 -x413 -x4509 -x416 -x4536 -x419 -x4563 -x4590 x424 x4617 -x4644 -x429 -x4671 -x4698 -x434 -x4725 -x437 -x4752 -x4779 -x4791 -x4803 -x4805 -x4817 -x4829 -x4831 -x4843 -x4855 -x4857 -x4869 -x4871 -x4883 -x4895 -x4897 -x4909 -x4911 -x4923 -x4925 -x4937 -x4939 x4951 -x4953 -x4965 -x4977 -x4979 -x4991 -x4993 -x5005 -x5007 -x5019 -x5021 -x5033 -x5035 -x5047 -x5049 -x5061 -x5063 -x5075 -x5077 -x5089 -x5101 -x5113 -x5115 -x5127 -x5129 -x5141 -x5143 -x5155 -x5157 -x5169 -x5181 -x5183 -x5195 -x5207 -x5209 -x5221 -x5223 -x5235 -x5237 -x5249 -x5251 -x5263 -x5265 -x5277 -x5279 -x5291 -x5293 -x5305 -x5307 -x5319 -x5321 -x5333 -x5335 -x5347 -x5349 -x5361 -x5373 -x5375 -x5387 -x5389 -x5401 -x5403 -x5415 -x5417 -x5429 -x5431 -x5443 -x5445 -x5457 -x5459 -x5471 -x5473 -x5485 -x5487 -x5499 -x5501 -x5513 -x5515 -x5527 -x5529 -x5541 -x5546 -x5551 -x5556 -x5561 -x5566 -x5571 -x5576 -x5581 -x5586 -x5591 -x5596 -x5601 -x5606 -x5611 -x5616 -x5621 -x5626 -x5631 -x5636 -x5641 -x5646 -x5651 -x5656 -x5661 -x5666 -x5671 -x5676 -x5681 -x5686 -x5691 -x5696 -x5701 -x5706 -x5711 -x5716 -x5721 -x5726 -x5731 -x5736 -x5741 -x5746 -x5751 -x5756 -x5761 -x5766 -x5771 -x5776 -x5781 -x5786 -x5791 -x5796 -x5801 -x5806 -x5811 -x5816 -x5821 -x5826 -x5831 -x5836 -x5841 -x5846 -x5851 -x5856 -x5861 -x5866 -x5871 -x5876 x5881 -x5908 -x5935 -x5962 -x5989 -x6016 -x6043 -x6070 -x6082 -x712 -x6094 -x715 -x6106 -x718 -x6118 -x721 -x6130 -x6142 -x726 -x6154 -x729 -x6166 -x6178 -x6190 -x6202 -x738 -x6214 x741 -x6226 -x744 -x6238 -x6250 -x6262 -x751 -x6274 -x6286 -x6298 -x6310 -x6322 -x6327 -x6329 -x6334 -x6336 -x6341 -x6343 -x6348 -x6350 -x6355 -x6357 -x6362 -x6364 -x6369 -x6371 -x6376 -x6378 -x6383 -x6385 -x6390 -x6392 -x6397 -x6399 -x6404 -x6406 -x6411 -x6413 -x6418 -x6420 -x6425 -x6427 -x6432 -x6434 -x6439 -x6441 -x6446 -x6448 -x6453 -x6455 -x6460 -x6462 -x6467 -x6469 -x6474 -x6476 -x6481 -x6483 -x6488 x6493 -x6495 -x6500 -x6502 -x6507 -x6509 -x6514 -x6516 -x6521 -x6523 -x6528 -x6530 -x6535 -x6537 -x6542 -x6544 -x6549 -x6551 -x6556 -x6558 -x6563 -x6621 -x6679 -x6737 -x6795 -x6853 -x6911 x6969 -x7027 -x7054 -x7081 -x7108 -x7135 -x7162 -x7189 -x7216 -x888 -x7243 -x7270 -x7297 -x895 -x7324 -x7351 -x7378 -x7405 -x7432 -x7459 -x7486 -x7513 -x7540 -x7567 -x916 -x7594 -x7621 -x7648 -x923 -x7675 -x7702 -x928 -x7729 -x931 -x7756 -x7783 -x7795 -x7797 -x7809 -x7811 -x7823 -x7825 -x7837 -x7839 -x7851 -x7853 -x7865 -x7877 -x7879 -x7891 -x7893 -x7905 -x7917 -x7929 -x7941 -x7953 -x7955 -x7967 -x7969 -x7981 -x7993 -x7995 -x8007 -x8009 -x8021 -x8023 -x8035 -x8037 -x8049 -x8051 -x8063 -x8065 -x8077 -x8079 -x8091 -x8093 -x8105 -x8107 -x8119 -x8131 -x8133 -x8145 -x8147 -x8159 -x8161 -x8173 -x8175 -x8187 -x8189 -x8201 -x8203 -x8215 -x8217 -x8229 -x8231 -x8243 -x8245 -x8257 -x8259 -x8271 -x8273 -x8285 -x8287 -x8299 -x8301 -x8313 -x8315 -x8327 -x8329 -x8341 -x8343 -x8355 -x8357 -x8369 -x8371 -x8383 -x8385 -x8397 -x8399 -x8411 -x8423 -x8425 -x8437 -x8439 -x8451 -x8453 -x8465 -x8467 -x8479 -x8481 -x8493 -x8495 -x8507 -x8509 -x8521 x8523 -x8535 -x8537 -x8549 -x8554 -x8559 -x8564 -x8569 -x8574 -x8579 -x8584 -x8589 -x8594 -x8599 -x8604 -x8609 -x8614 -x8619 -x8624 -x8629 -x8634 -x8639 -x8644 -x8649 -x8654 -x8659 -x8664 -x8669 -x8674 -x8679 -x8684 -x8689 -x8694 -x8699 -x8704 x8709 -x8714 -x8719 -x8724 -x8729 -x8734 -x8739 -x8744 -x8749 -x8754 -x8759 -x8764 -x8769 -x8774 -x8779 -x8784 -x8789 -x8794 -x8799 -x8804 -x8809 -x8814 -x8819 -x8824 -x8829 -x8834 -x8839 -x8844 -x8849 -x8854 -x8859 -x8864 -x8869 -x8874 -x8879 -x8884 -x8889 -x8894 -x8896 -x8898 x8900 -x1202 -x1204 -x1205 -x10 -x12 -x13 -x15 -x16 -x18 -x19 -x21 -x22 -x24 -x25 -x27 -x28 -x30 -x31 -x33 -x34 -x35 -x36 -x38 -x39 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x51 -x52 -x54 -x55 -x57 -x58 -x60 -x61 -x63 -x64 -x66 -x67 -x68 -x69 -x71 -x72 -x74 -x75 -x77 -x78 -x80 -x81 -x83 -x84 -x86 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 -x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 -x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x174 -x175 -x177 -x176 -x178 -x180 -x179 -x181 -x183 -x182 -x184 -x186 -x185 -x187 x189 -x188 -x190 -x192 -x191 -x193 -x195 -x194 -x196 x198 -x197 -x199 -x201 -x200 -x202 -x204 -x203 -x205 -x207 -x206 -x208 -x210 -x209 -x211 -x213 -x212 -x214 -x216 -x215 -x217 -x219 -x218 -x220 -x222 -x221 -x223 -x225 -x224 -x226 -x228 -x227 -x229 -x231 -x230 -x232 -x234 -x233 -x235 -x237 -x236 -x238 -x240 -x239 -x241 -x243 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 -x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x351 -x350 -x352 -x354 -x353 -x355 -x357 -x356 -x358 -x360 -x359 -x361 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x401 -x402 -x404 -x405 -x406 -x407 -x408 -x409 -x411 -x412 -x414 -x415 -x417 -x418 -x420 -x421 -x422 x423 x425 -x426 -x427 -x428 -x430 -x431 -x432 -x433 -x435 -x436 -x438 -x439 -x440 -x441 -x442 -x444 -x443 -x445 -x446 -x447 -x449 -x448 -x450 -x451 -x452 -x454 -x453 -x455 -x457 -x456 -x458 -x459 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 x474 -x473 -x475 -x476 -x477 -x479 -x478 -x480 -x482 -x481 -x483 -x485 -x484 -x486 -x488 -x487 -x489 -x491 -x490 -x492 -x494 -x493 -x495 -x497 -x496 -x498 -x500 -x499 -x501 -x502 -x503 -x504 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x518 -x519 -x521 -x520 -x522 -x523 -x524 -x526 -x525 -x527 -x529 -x528 -x530 -x532 -x531 -x533 -x535 -x534 -x536 -x538 -x537 -x539 -x541 -x540 -x542 -x544 -x543 -x545 -x547 -x546 -x548 -x550 -x549 -x551 -x553 -x552 -x554 -x556 -x555 -x557 -x558 -x559 -x561 -x560 -x562 -x564 -x563 -x565 -x567 -x566 -x568 -x570 -x569 -x571 -x573 -x572 -x574 -x576 -x575 -x577 -x579 -x578 -x580 -x582 -x581 -x583 -x585 -x584 -x586 -x588 -x587 -x589 -x591 -x590 -x592 -x594 -x593 -x595 -x597 -x596 -x598 -x600 -x599 -x601 -x602 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x619 -x620 -x622 -x621 -x623 -x625 -x624 -x626 -x628 -x627 -x629 -x631 -x630 -x632 -x634 -x633 -x635 -x637 -x636 -x638 -x640 -x639 -x641 -x643 -x642 -x644 -x646 -x645 -x647 -x649 -x648 -x650 -x652 -x651 -x653 -x655 -x654 -x656 -x658 -x657 -x659 -x661 -x660 -x662 -x664 -x663 -x665 -x667 -x666 -x668 -x670 -x669 -x671 -x673 -x672 -x674 -x676 -x675 -x677 -x679 -x678 -x680 -x682 -x681 -x683 -x685 -x684 -x686 -x688 -x687 -x689 -x691 -x690 -x692 -x694 -x693 -x695 -x697 -x696 -x698 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x707 -x708 -x709 -x710 -x711 -x713 -x714 -x716 -x717 -x719 -x720 -x722 -x723 -x724 -x725 -x727 -x728 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x739 -x740 -x742 -x743 -x745 -x746 -x747 -x748 -x749 -x750 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x787 -x789 -x788 -x790 -x792 -x791 -x793 -x795 -x794 -x796 -x798 -x797 -x799 -x801 -x800 -x802 -x804 -x803 -x805 -x807 -x806 -x808 -x810 -x809 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x822 -x821 -x823 -x825 -x824 -x826 -x828 -x827 -x829 -x830 -x831 x833 -x832 -x834 -x836 -x835 -x837 -x839 -x838 -x840 -x842 -x841 -x843 -x845 -x844 -x846 -x848 -x847 -x849 -x851 -x850 -x852 -x854 -x853 -x855 -x857 -x856 -x858 -x860 -x859 -x861 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x889 -x890 -x891 -x892 -x893 -x894 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x917 -x918 -x919 -x920 -x921 -x922 -x924 -x925 -x926 -x927 -x929 -x930 -x932 -x933 -x934 -x936 -x935 -x937 -x939 -x938 -x940 -x942 -x941 -x943 -x945 -x944 -x946 -x948 -x947 -x949 -x950 -x951 -x953 -x952 -x954 -x956 -x955 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x967 -x966 -x968 -x970 -x969 -x971 -x972 -x973 -x975 -x974 -x976 -x978 -x977 -x979 -x981 -x980 -x982 -x984 -x983 -x985 -x987 -x986 -x988 -x990 -x989 -x991 -x993 -x992 -x994 -x996 -x995 -x997 -x999 -x998 -x1000 -x1001 -x1002 -x1004 -x1003 -x1005 -x1007 -x1006 -x1008 -x1010 -x1009 -x1011 -x1013 -x1012 -x1014 -x1016 -x1015 -x1017 -x1019 -x1018 -x1020 -x1022 -x1021 -x1023 -x1025 -x1024 -x1026 -x1028 -x1027 -x1029 -x1031 -x1030 -x1032 -x1034 -x1033 -x1035 -x1037 -x1036 -x1038 -x1040 -x1039 -x1041 -x1043 -x1042 -x1044 -x1046 -x1045 -x1047 -x1049 -x1048 -x1050 -x1052 -x1051 -x1053 -x1055 -x1054 -x1056 -x1058 -x1057 -x1059 -x1061 -x1060 -x1062 -x1063 -x1064 -x1066 -x1065 -x1067 -x1069 -x1068 -x1070 -x1072 -x1071 -x1073 -x1075 -x1074 -x1076 -x1078 -x1077 -x1079 -x1081 -x1080 -x1082 -x1084 -x1083 -x1085 -x1087 -x1086 x1088 -x1090 -x1089 -x1091 -x1093 -x1092 -x1094 -x1096 -x1095 -x1097 -x1099 -x1098 -x1100 -x1102 -x1101 -x1103 -x1105 -x1104 -x1106 -x1108 -x1107 -x1109 -x1111 -x1110 -x1112 -x1114 -x1113 -x1115 -x1117 -x1116 -x1118 -x1120 -x1119 -x1121 -x1123 -x1122 -x1124 -x1126 -x1125 -x1127 -x1129 -x1128 -x1130 -x1132 -x1131 -x1133 -x1135 -x1134 -x1136 -x1138 -x1137 -x1139 x1141 -x1140 -x1142 -x1144 -x1143 -x1145 -x1147 -x1146 -x1148 -x1150 -x1149 -x1151 -x1153 -x1152 -x1154 -x1156 -x1155 -x1157 -x1159 -x1158 -x1160 -x1162 -x1161 -x1163 -x1165 -x1164 -x1166 -x1167 -x1168 -x1170 -x1169 -x1171 -x1173 -x1172 -x1174 -x1176 -x1175 -x1177 -x1179 -x1178 -x1180 -x1182 -x1181 -x1183 -x1185 -x1184 -x1186 -x1188 -x1187 -x1189 -x1191 -x1190 -x1192 -x1194 -x1193 -x1195 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x1201 -x1203 -x1206 -x1197 -x1198 -x1199 x1200 x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 x1859 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2428 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2442 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2456 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2470 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2484 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2498 x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2512 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 x2526 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2540 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2554 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2568 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2582 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2596 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2610 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2624 x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2638 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2652 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2666 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 x2680 x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2694 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2708 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2722 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 x2736 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2750 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2764 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2778 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2792 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2806 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2832 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2846 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2860 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2874 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 x2888 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2902 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2916 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2930 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2944 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2958 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2972 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 x2986 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x3000 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 x3014 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 x3028 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3042 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3056 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3070 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3084 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3098 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3126 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3140 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3154 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3182 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 x3196 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3210 -x3211 -x3212 -x3213 -x3215 -x3216 -x3217 -x3218 -x3220 -x3221 -x3222 -x3223 -x3225 -x3226 -x3227 -x3228 -x3230 -x3231 -x3232 -x3233 -x3235 -x3236 -x3237 -x3238 -x3240 -x3241 -x3242 -x3243 -x3245 -x3246 -x3247 -x3248 -x3250 -x3251 -x3252 -x3253 -x3255 -x3256 -x3257 -x3258 -x3260 -x3261 -x3262 -x3263 -x3265 -x3266 -x3267 -x3268 -x3270 -x3271 -x3272 -x3273 -x3275 -x3276 -x3277 -x3278 -x3280 -x3281 -x3282 -x3283 -x3285 -x3286 -x3287 -x3288 -x3290 -x3291 -x3292 -x3293 x3295 x3296 -x3297 -x3298 -x3300 -x3301 -x3302 -x3303 -x3305 -x3306 -x3307 -x3308 -x3310 -x3311 -x3312 -x3313 -x3315 -x3316 -x3317 -x3318 -x3320 -x3321 -x3322 -x3323 -x3325 -x3326 -x3327 -x3328 x3330 -x3331 -x3332 -x3333 x3335 -x3336 -x3337 -x3338 -x3340 -x3341 -x3342 -x3343 x3345 -x3346 -x3347 -x3348 -x3350 -x3351 -x3352 -x3353 x3355 -x3356 -x3357 -x3358 x3360 -x3361 -x3362 -x3363 x3365 -x3366 -x3367 -x3368 -x3370 -x3371 -x3372 -x3373 -x3375 -x3376 -x3377 -x3378 -x3380 -x3381 -x3382 -x3383 -x3385 -x3386 -x3387 -x3388 -x3390 -x3391 -x3392 -x3393 x3395 -x3396 -x3397 -x3398 -x3400 -x3401 -x3402 -x3403 -x3405 -x3406 -x3407 -x3408 -x3410 -x3411 -x3412 -x3413 -x3415 -x3416 -x3417 -x3418 -x3420 -x3421 -x3422 -x3423 x3425 -x3426 -x3427 -x3428 -x3430 -x3431 -x3432 -x3433 -x3435 -x3436 -x3437 -x3438 -x3440 -x3441 -x3442 -x3443 -x3445 -x3446 -x3447 -x3448 -x3450 -x3451 -x3452 -x3453 -x3455 -x3456 -x3457 -x3458 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3470 -x3471 -x3472 -x3473 -x3475 -x3476 -x3477 -x3478 -x3480 -x3481 -x3482 -x3483 x3485 -x3486 -x3487 -x3488 -x3490 -x3491 -x3492 -x3493 -x3495 -x3496 -x3497 -x3498 -x3500 -x3501 -x3502 -x3503 -x3505 -x3506 -x3507 -x3508 -x3510 -x3511 -x3512 -x3513 -x3515 -x3516 -x3517 -x3518 -x3520 -x3521 -x3522 -x3523 -x3525 -x3526 -x3527 -x3528 -x3530 -x3531 -x3532 -x3533 -x3535 -x3536 -x3537 -x3538 -x3540 -x3541 -x3542 -x3543 -x3545 -x3546 -x3547 -x3548 -x3550 -x3551 -x3552 -x3553 x3555 -x3556 -x3557 -x3558 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4804 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4830 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4856 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4870 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 x4896 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 x4924 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 x4938 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 x4952 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 x4978 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5020 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5034 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5048 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5062 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5114 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 x5124 -x5125 -x5126 x5128 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5142 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5156 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 x5182 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 x5208 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5222 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5236 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5250 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5264 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5278 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 x5292 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 x5320 x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 x5334 x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5348 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5374 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 x5382 -x5383 -x5384 -x5385 -x5386 x5388 x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 x5400 x5402 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5416 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5430 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5444 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5458 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5472 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 x5486 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5500 x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 x5511 -x5512 -x5514 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5528 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 x5542 -x5543 -x5544 -x5545 -x5547 -x5548 -x5549 -x5550 -x5552 -x5553 -x5554 -x5555 -x5557 -x5558 -x5559 -x5560 -x5562 -x5563 -x5564 -x5565 -x5567 -x5568 -x5569 -x5570 -x5572 -x5573 -x5574 -x5575 -x5577 -x5578 -x5579 -x5580 -x5582 -x5583 -x5584 -x5585 x5587 -x5588 x5589 -x5590 -x5592 -x5593 -x5594 -x5595 x5597 -x5598 -x5599 -x5600 -x5602 -x5603 -x5604 -x5605 x5607 -x5608 -x5609 -x5610 -x5612 -x5613 -x5614 -x5615 x5617 -x5618 -x5619 x5620 -x5622 -x5623 -x5624 -x5625 -x5627 -x5628 -x5629 -x5630 -x5632 -x5633 -x5634 -x5635 -x5637 -x5638 -x5639 -x5640 -x5642 -x5643 -x5644 -x5645 -x5647 -x5648 -x5649 -x5650 -x5652 -x5653 -x5654 -x5655 -x5657 -x5658 -x5659 -x5660 -x5662 -x5663 -x5664 -x5665 -x5667 -x5668 -x5669 -x5670 -x5672 -x5673 -x5674 -x5675 -x5677 -x5678 -x5679 -x5680 -x5682 -x5683 -x5684 -x5685 -x5687 -x5688 -x5689 -x5690 -x5692 -x5693 -x5694 -x5695 -x5697 -x5698 -x5699 -x5700 x5702 -x5703 x5704 -x5705 -x5707 -x5708 -x5709 -x5710 -x5712 -x5713 -x5714 -x5715 -x5717 -x5718 -x5719 -x5720 -x5722 -x5723 -x5724 -x5725 -x5727 -x5728 -x5729 -x5730 -x5732 -x5733 -x5734 -x5735 -x5737 -x5738 -x5739 -x5740 -x5742 -x5743 -x5744 -x5745 -x5747 -x5748 -x5749 -x5750 -x5752 -x5753 -x5754 -x5755 -x5757 -x5758 -x5759 -x5760 -x5762 -x5763 -x5764 -x5765 -x5767 -x5768 -x5769 -x5770 -x5772 -x5773 -x5774 -x5775 -x5777 -x5778 -x5779 -x5780 x5782 x5783 -x5784 -x5785 -x5787 -x5788 -x5789 -x5790 x5792 -x5793 -x5794 -x5795 -x5797 -x5798 -x5799 -x5800 -x5802 -x5803 -x5804 -x5805 -x5807 -x5808 -x5809 -x5810 x5812 -x5813 -x5814 -x5815 -x5817 -x5818 -x5819 -x5820 -x5822 -x5823 -x5824 -x5825 x5827 -x5828 x5829 -x5830 x5832 -x5833 -x5834 -x5835 -x5837 -x5838 -x5839 -x5840 -x5842 -x5843 -x5844 -x5845 -x5847 -x5848 -x5849 -x5850 -x5852 -x5853 -x5854 -x5855 -x5857 -x5858 -x5859 -x5860 -x5862 -x5863 -x5864 -x5865 -x5867 -x5868 -x5869 -x5870 -x5872 -x5873 -x5874 -x5875 -x5877 -x5878 -x5879 -x5880 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 x5907 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6107 -x6108 -x6109 -x6110 -x6111 x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6323 -x6324 -x6325 -x6326 -x6328 -x6330 -x6331 -x6332 -x6333 -x6335 x6337 x6338 -x6339 -x6340 -x6342 x6344 -x6345 -x6346 -x6347 -x6349 x6351 -x6352 -x6353 -x6354 x6356 x6358 -x6359 -x6360 -x6361 -x6363 x6365 -x6366 -x6367 -x6368 x6370 -x6372 -x6373 -x6374 -x6375 -x6377 -x6379 -x6380 -x6381 -x6382 -x6384 x6386 -x6387 -x6388 -x6389 -x6391 -x6393 -x6394 -x6395 -x6396 -x6398 -x6400 -x6401 -x6402 -x6403 -x6405 -x6407 -x6408 -x6409 -x6410 -x6412 -x6414 -x6415 -x6416 -x6417 x6419 x6421 -x6422 -x6423 -x6424 x6426 -x6428 -x6429 -x6430 -x6431 -x6433 -x6435 -x6436 -x6437 -x6438 x6440 -x6442 -x6443 -x6444 -x6445 -x6447 -x6449 -x6450 -x6451 -x6452 -x6454 -x6456 -x6457 -x6458 -x6459 -x6461 -x6463 -x6464 -x6465 -x6466 -x6468 -x6470 -x6471 -x6472 -x6473 -x6475 -x6477 -x6478 -x6479 -x6480 -x6482 -x6484 -x6485 -x6486 -x6487 x6489 -x6490 -x6491 -x6492 x6494 x6496 -x6497 -x6498 -x6499 x6501 -x6503 -x6504 -x6505 -x6506 x6508 -x6510 -x6511 -x6512 -x6513 x6515 -x6517 -x6518 -x6519 -x6520 -x6522 -x6524 -x6525 -x6526 -x6527 x6529 -x6531 -x6532 -x6533 -x6534 -x6536 -x6538 -x6539 -x6540 -x6541 -x6543 -x6545 -x6546 -x6547 -x6548 x6550 -x6552 -x6553 -x6554 -x6555 x6557 -x6559 -x6560 -x6561 -x6562 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 x7796 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7810 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7824 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7838 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7852 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7878 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7892 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 x7954 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 x7968 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 x7994 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8008 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8022 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8036 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8050 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8064 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8078 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8092 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8106 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 x8129 -x8130 -x8132 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8146 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8160 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8174 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8188 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8202 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8216 x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8230 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8244 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8258 x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8272 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8286 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8300 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8314 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8328 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 x8342 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8356 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8370 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8384 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8398 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 x8424 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8438 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8452 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8466 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8480 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 x8494 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8508 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 x8522 x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8536 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8550 -x8551 -x8552 -x8553 -x8555 -x8556 -x8557 -x8558 -x8560 -x8561 -x8562 -x8563 -x8565 -x8566 -x8567 -x8568 -x8570 -x8571 -x8572 -x8573 -x8575 -x8576 -x8577 -x8578 -x8580 -x8581 -x8582 -x8583 -x8585 -x8586 -x8587 -x8588 -x8590 -x8591 -x8592 -x8593 -x8595 -x8596 -x8597 -x8598 -x8600 -x8601 -x8602 -x8603 -x8605 -x8606 -x8607 -x8608 x8610 -x8611 -x8612 -x8613 -x8615 -x8616 -x8617 -x8618 -x8620 -x8621 -x8622 -x8623 -x8625 -x8626 -x8627 -x8628 -x8630 -x8631 -x8632 -x8633 -x8635 -x8636 -x8637 -x8638 -x8640 -x8641 -x8642 -x8643 -x8645 -x8646 -x8647 -x8648 -x8650 -x8651 -x8652 -x8653 -x8655 -x8656 -x8657 -x8658 -x8660 -x8661 -x8662 -x8663 -x8665 -x8666 -x8667 -x8668 -x8670 -x8671 -x8672 -x8673 -x8675 -x8676 -x8677 -x8678 -x8680 -x8681 -x8682 -x8683 -x8685 -x8686 -x8687 -x8688 -x8690 -x8691 -x8692 -x8693 -x8695 -x8696 -x8697 -x8698 -x8700 -x8701 -x8702 -x8703 -x8705 -x8706 -x8707 -x8708 x8710 -x8711 -x8712 -x8713 -x8715 -x8716 -x8717 -x8718 -x8720 -x8721 -x8722 -x8723 -x8725 -x8726 -x8727 -x8728 -x8730 -x8731 -x8732 -x8733 -x8735 -x8736 -x8737 -x8738 -x8740 -x8741 -x8742 -x8743 -x8745 -x8746 -x8747 -x8748 -x8750 -x8751 -x8752 -x8753 -x8755 -x8756 -x8757 -x8758 -x8760 -x8761 -x8762 -x8763 -x8765 -x8766 -x8767 -x8768 -x8770 -x8771 -x8772 -x8773 -x8775 -x8776 -x8777 -x8778 -x8780 -x8781 -x8782 -x8783 -x8785 -x8786 -x8787 -x8788 -x8790 -x8791 -x8792 -x8793 -x8795 -x8796 -x8797 -x8798 -x8800 -x8801 -x8802 -x8803 x8805 x8806 -x8807 -x8808 -x8810 -x8811 -x8812 -x8813 -x8815 -x8816 -x8817 -x8818 -x8820 -x8821 -x8822 -x8823 x8825 -x8826 -x8827 -x8828 -x8830 -x8831 -x8832 -x8833 x8835 -x8836 -x8837 -x8838 -x8840 -x8841 -x8842 -x8843 -x8845 -x8846 -x8847 -x8848 -x8850 -x8851 -x8852 -x8853 -x8855 -x8856 -x8857 -x8858 -x8860 -x8861 -x8862 -x8863 -x8865 -x8866 -x8867 -x8868 -x8870 -x8871 -x8872 -x8873 -x8875 -x8876 -x8877 -x8878 -x8880 -x8881 -x8882 -x8883 -x8885 -x8886 -x8887 -x8888 -x8890 -x8891 -x8892 -x8893 x8895 -x8897 -x8899 x8901

Verifier Data 

OK	21

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3723749-1338574741/watcher-3723749-1338574741 -o /tmp/evaluation-result-3723749-1338574741/solver-3723749-1338574741 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723749-1338574741.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12994
/proc/meminfo: memFree=26776248/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0

[startup+0.0654419 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12994
/proc/meminfo: memFree=26776248/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100305 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12994
/proc/meminfo: memFree=26776248/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12994
/proc/meminfo: memFree=26776248/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12994
/proc/meminfo: memFree=26776248/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26755020/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=22628 CPUtime=1.48 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 5592 0 0 0 147 1 0 0 20 0 1 0 323598986 23171072 5395 33554432000 4194304 5276501 140737254152688 140737254150936 4397196 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 5657 5395 148 265 0 5389 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31776

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26754076/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=26268 CPUtime=3.09 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 6476 0 0 0 307 2 0 0 20 0 1 0 323598986 26898432 6279 33554432000 4194304 5276501 140737254152688 140737254150280 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 6567 6279 148 265 0 6299 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35416

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26738204/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=41912 CPUtime=6.29 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 10414 0 0 0 626 3 0 0 20 0 1 0 323598986 42917888 10217 33554432000 4194304 5276501 140737254152688 140737254150680 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 10478 10217 148 265 0 10210 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51060

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26720596/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=56272 CPUtime=12.68 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 13893 0 0 0 1265 3 0 0 20 0 1 0 323598986 57622528 13696 33554432000 4194304 5276501 140737254152688 140737254150936 4399918 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 14068 13696 150 265 0 13800 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 65420

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26694244/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=83788 CPUtime=25.48 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 20744 0 0 0 2543 5 0 0 20 0 1 0 323598986 85798912 20547 33554432000 4194304 5276501 140737254152688 140737254150280 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 20947 20547 150 265 0 20679 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92936

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 12999
/proc/meminfo: memFree=26659308/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=118068 CPUtime=51.07 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 29286 0 0 0 5099 8 0 0 20 0 1 0 323598986 120901632 29079 33554432000 4194304 5276501 140737254152688 140737254150936 4399315 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 29517 29079 152 265 0 29249 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 127216

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.95 3/180 13002
/proc/meminfo: memFree=26657488/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=118992 CPUtime=102.24 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 29523 0 0 0 10216 8 0 0 20 0 1 0 323598986 121847808 29358 33554432000 4194304 5276501 140737254152688 140737254150872 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 29748 29358 152 265 0 29480 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 128140

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13002
/proc/meminfo: memFree=26653404/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=124072 CPUtime=162.23 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 30566 0 0 0 16215 8 0 0 20 0 1 0 323598986 127049728 30401 33554432000 4194304 5276501 140737254152688 140737254150872 4399323 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 31018 30401 152 265 0 30750 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 133220

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13002
/proc/meminfo: memFree=26652164/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=125680 CPUtime=222.22 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 30960 0 0 0 22214 8 0 0 20 0 1 0 323598986 128696320 30795 33554432000 4194304 5276501 140737254152688 140737254150936 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 31420 30795 152 265 0 31152 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 134828

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 13002
/proc/meminfo: memFree=26648576/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=129844 CPUtime=282.21 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 31919 0 0 0 28212 9 0 0 20 0 1 0 323598986 132960256 31754 33554432000 4194304 5276501 140737254152688 140737254150872 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 32461 31754 152 265 0 32193 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 138992

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13003
/proc/meminfo: memFree=26597976/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=133928 CPUtime=342.2 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 32834 0 0 0 34211 9 0 0 20 0 1 0 323598986 137142272 32669 33554432000 4194304 5276501 140737254152688 140737254150936 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 33482 32669 152 265 0 33214 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 143076

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/179 13003
/proc/meminfo: memFree=26511176/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=151008 CPUtime=1062.09 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 36589 0 0 0 106199 10 0 0 20 0 1 0 323598986 154632192 36424 33554432000 4194304 5276501 140737254152688 140737254151112 4399866 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 37752 36424 152 265 0 37484 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 160156

[startup+1122.3 s]
/proc/loadavg: 1.98 2.00 1.95 3/179 13052
/proc/meminfo: memFree=27590920/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=154976 CPUtime=1122.07 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 37580 0 0 0 112197 10 0 0 20 0 1 0 323598986 158695424 37790 33554432000 4194304 5276501 140737254152688 140737254150872 4400061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 38744 37790 152 265 0 38476 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 164124

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13052
/proc/meminfo: memFree=27550224/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=157608 CPUtime=1182.06 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 38201 0 0 0 118196 10 0 0 20 0 1 0 323598986 161390592 38411 33554432000 4194304 5276501 140737254152688 140737254151112 4390311 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 39402 38411 152 265 0 39134 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 166756

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13053
/proc/meminfo: memFree=27527008/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=158452 CPUtime=1242.06 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 38296 0 0 0 124195 11 0 0 20 0 1 0 323598986 162254848 38506 33554432000 4194304 5276501 140737254152688 140737254150920 4399921 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 39613 38506 152 265 0 39345 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 167600

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/180 13056
/proc/meminfo: memFree=27457924/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=159164 CPUtime=1302.05 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 38458 0 0 0 130194 11 0 0 20 0 1 0 323598986 162983936 38669 33554432000 4194304 5276501 140737254152688 140737254150872 4396944 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 39791 38669 152 265 0 39523 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 168312

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13056
/proc/meminfo: memFree=27457284/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=159376 CPUtime=1362.03 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 38545 0 0 0 136192 11 0 0 20 0 1 0 323598986 163201024 38756 33554432000 4194304 5276501 140737254152688 140737254150936 4400432 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 39844 38756 152 265 0 39576 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 168524

[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 1.95 3/179 13056
/proc/meminfo: memFree=27445816/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=169328 CPUtime=1422.03 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 40984 0 0 0 142191 12 0 0 20 0 1 0 323598986 173391872 41195 33554432000 4194304 5276501 140737254152688 140737254150680 4400468 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 42332 41195 152 265 0 42064 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 178476

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/179 13056
/proc/meminfo: memFree=27439244/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=169852 CPUtime=1482.01 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 41099 0 0 0 148189 12 0 0 20 0 1 0 323598986 173928448 41310 33554432000 4194304 5276501 140737254152688 140737254150872 4390311 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 42463 41310 152 265 0 42195 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 179000

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/179 13057
/proc/meminfo: memFree=27426216/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=173372 CPUtime=1542 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 41917 0 0 0 154188 12 0 0 20 0 1 0 323598986 177532928 42160 33554432000 4194304 5276501 140737254152688 140737254150872 4399768 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 43343 42160 152 265 0 43075 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 182520

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13057
/proc/meminfo: memFree=27425596/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=173992 CPUtime=1601.99 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 42088 0 0 0 160187 12 0 0 20 0 1 0 323598986 178167808 42331 33554432000 4194304 5276501 140737254152688 140737254151112 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 43498 42331 152 265 0 43230 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 183140

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13057
/proc/meminfo: memFree=27388124/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=183508 CPUtime=1661.98 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 44439 0 0 0 166185 13 0 0 20 0 1 0 323598986 187912192 44682 33554432000 4194304 5276501 140737254152688 140737254150280 4390311 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 45877 44682 152 265 0 45609 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 192656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 13057
/proc/meminfo: memFree=27355760/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=185304 CPUtime=1721.97 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 44798 0 0 0 172184 13 0 0 20 0 1 0 323598986 189751296 45041 33554432000 4194304 5276501 140737254152688 140737254151112 4396982 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 46326 45041 152 265 0 46058 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 194452

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/179 13057
/proc/meminfo: memFree=27327536/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=185304 CPUtime=1781.95 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 44854 0 0 0 178182 13 0 0 20 0 1 0 323598986 189751296 45116 33554432000 4194304 5276501 140737254152688 140737254151112 4395139 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 46326 45116 152 265 0 46058 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 194452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 1.96 3/179 13057
/proc/meminfo: memFree=27314020/32873844 swapFree=7628/7628
[pid=12994] ppid=12992 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12994/stat : 12994 (minisat+_script) S 12992 12994 10797 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323598986 9367552 276 33554432000 4194304 5064252 140734208339040 140734208337952 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12994/statm: 2287 276 236 213 0 72 0
[pid=12998] ppid=12994 vsize=185840 CPUtime=1800.06 cores=0,2,4,6
/proc/12998/stat : 12998 (minisat+_64-bit) R 12994 12994 10797 0 -1 4202496 44917 0 0 0 179992 14 0 0 20 0 1 0 323598986 190300160 45179 33554432000 4194304 5276501 140737254152688 140737254150872 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12998/statm: 46460 45179 152 265 0 46192 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 194988

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.93
CPU system time (s): 0.143978
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 194988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.143978
maximum resident set size= 180724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45868
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= 89
involuntary context switches= 2025

runsolver used 3.75743 second user time and 9.96049 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-01 20:19:01
IDJOB=3723749
IDBENCH=25018
IDSOLVER=2307
FILE ID=node144/3723749-1338574741
RUNJOBID= node144-1338570361-12646
PBS_JOBID= 14635840
Free space on /tmp= 70832 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723749-1338574741/watcher-3723749-1338574741 -o /tmp/evaluation-result-3723749-1338574741/solver-3723749-1338574741 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723749-1338574741.opb

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

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1018247903

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26776512 kB
Buffers:          615336 kB
Cached:          3523420 kB
SwapCached:          464 kB
Active:          3423812 kB
Inactive:        1810108 kB
Active(anon):    1077632 kB
Inactive(anon):    11200 kB
Active(file):    2346180 kB
Inactive(file):  1798908 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108376 kB
Dirty:              3160 kB
Writeback:             4 kB
AnonPages:       1093016 kB
Mapped:            14956 kB
Shmem:               172 kB
Slab:             722912 kB
SReclaimable:     165076 kB
SUnreclaim:       557836 kB
KernelStack:        1464 kB
PageTables:         6244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1203084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70832 MiB
End job on node144 at 2012-06-01 20:49:01