Trace number 3394666

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 764.674 97.7576

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.63553
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394666-1306102931.cnf'
0.00/0.03	c -- header says num vars:           9044
0.00/0.03	c -- header says num clauses:      295685
0.62/0.42	c -- clauses added:            0 learnts,       295685 normals,            0 xors
0.62/0.42	c -- vars added       9044
0.62/0.42	c Parsing time:  0.13 s
0.62/0.42	c  N st     0         0      9044    272212     23233         0   2134664         0   no data   no data
1.51/0.43	c asymm  cl-useful: 0/2700/272098 lits-rem:0 time: 0.22
3.64/1.18	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:   76 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  0.74
3.64/1.26	c Replacing       76 vars Replaced   189870 lits Time:     0.08 s 
10.59/1.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.59/1.51	c bin-w-bin subsume rem          146 bins  time:  0.00 s
11.36/1.63	c subs with bin:     2352  lits-rem:         4  v-fix:    0  time:  0.12 s
11.36/1.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6171 time:  0.02 s
11.36/1.66	c Removed useless bin:       0  fixed:     0  props:   1.73M  time:  0.01 s
64.82/8.32	c lits-rem:         0  cl-subs:        4  v-elim:    816  v-fix:    0  time:  6.64 s
64.82/8.33	c Finding binary XORs  T:     0.01 s  found:       0
71.99/9.24	c Finding non-binary XORs:     0.89 s (found:       0, avg size: nan)
71.99/9.24	c calculated reachability. Time: 0.00
71.99/9.25	c Calc default polars -  time:   0.01 s pos:     330 undec:    1037 neg:    7677
71.99/9.25	c =========================================================================================
71.99/9.25	c types(t): F = full restart, N = normal restart
71.99/9.25	c types(t): S = simplification begin/end, E = solution found
71.99/9.25	c restart types(rt): st = static, dy = dynamic
71.99/9.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
71.99/9.25	c  B st     0         0      8007    270795     20413         0   2124244         0   no data   no data
76.77/9.86	c  N dy    19      4038      8007    270795     20547      3861   2124244    138229      9.31      9.95
79.94/10.26	c  N dy    41      8052      8004    270795     21317      7707   2124244    275298      9.52     11.37
84.73/10.88	c  N dy    59     12069      8004    270795     21409     11594   2124244    412734      9.21      9.70
85.53/10.98	c Finding binary XORs  T:     0.01 s  found:       0
91.12/11.67	c  N dy    79     16640      8002    270794     22119     16045   2124137    577939      9.08      9.77
96.71/12.31	c  N dy   109     20713      7983    270794     23094     10370   2124137    202099      9.33     12.97
99.90/12.78	c Finding binary XORs  T:     0.01 s  found:       1
100.79/12.90	c  N dy   134     24855      7983    268410     23702     14331   2108006    343697      9.47      9.98
101.64/12.92	c  F st   135     25000      7983    268410     23702     14475   2108006    347859      9.46      8.57
101.64/12.94	c Replacing        1 vars Replaced       10 lits Time:     0.02 s 
106.29/13.59	c  N dy   141     30001      7982    268410     23753     19382   2108002    549713      9.46   no data
106.29/13.59	c  S st   141     30001      7982    268410     23753     19382   2108002    549713      9.46   no data
109.57/13.93	c  S st   141     30503      7982    268410     23785     19851   2108002    562351      9.46   no data
109.57/13.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
124.64/15.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 304073 BRemL: 281124 BRemN:      0 P: 48.7M T:  1.88
124.64/15.89	c blocked clauses removed:        0 vars:      0 tried:        7982 T: 0.00 s
124.64/15.90	c bin-w-bin subsume rem          168 bins  time:  0.00 s
125.45/15.92	c subs with bin:      116  lits-rem:      2561  v-fix:    0  time:  0.03 s
125.45/15.94	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:   1083 time:  0.02 s
125.45/15.96	c Removed useless bin:       0  fixed:     0  props:   0.84M  time:  0.01 s
166.94/21.17	c lits-rem:         0  cl-subs:     2632  v-elim:     96  v-fix:    0  time:  5.21 s
168.53/21.39	c subs with bin:       31  lits-rem:      6764  v-fix:    0  time:  0.19 s
210.83/26.67	c lits-rem:        98  cl-subs:      775  v-elim:      0  v-fix:    0  time:  5.23 s
213.23/26.92	c asymm  cl-useful: 0/2860/265859 lits-rem:0 time: 0.25
213.23/26.94	c calculated reachability. Time: 0.01
213.23/26.94	c  N dy   141     30503      7886    265859     45334     14336   2089165    386410      9.46   no data
213.23/26.95	c Finding binary XORs  T:     0.01 s  found:       0
218.80/27.66	c  N dy   164     34515      7884    265859     45406     18310   2089165    533350      9.47     10.05
226.78/28.64	c Finding binary XORs  T:     0.01 s  found:       0
227.57/28.71	c  N dy   192     38612      7884    265859    326365     22361   2089065   1233370      9.54     10.10
233.96/29.56	c  N dy   220     42657      7883    265859    326366     13625   2089065    815960      9.64     11.02
238.76/30.14	c  S st   236     45755      7883    265859    326368     16701   2089065    943275      9.63      7.52
240.36/30.39	c  S st   236     46256      7883    265859    326368     17201   2089065    960054      9.63   no data
240.36/30.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
253.11/31.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1050 BRemL: 279595 BRemN:      0 P: 45.5M T:  1.56
253.91/32.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
253.91/32.04	c bin-w-bin subsume rem         1700 bins  time:  0.00 s
253.91/32.05	c subs with bin:        2  lits-rem:        15  v-fix:    0  time:  0.02 s
253.91/32.07	c Subs w/ non-existent bins:      0 l-rem:     11 v-fix:     0 done:    689 time:  0.02 s
253.91/32.08	c Removed useless bin:       0  fixed:     0  props:   0.78M  time:  0.01 s
290.63/36.68	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time:  4.60 s
292.23/36.87	c subs with bin:       44  lits-rem:       283  v-fix:    0  time:  0.18 s
330.54/41.65	c lits-rem:        19  cl-subs:      364  v-elim:      0  v-fix:    0  time:  4.73 s
331.34/41.75	c vivif2 --  cl tried   265852 cl shrink       80 lits rem         89 time: 0.10
331.34/41.77	c vivif2 --  cl tried    16424 cl shrink      781 lits rem       3697 time: 0.02
333.74/42.09	c asymm  cl-useful: 3/4159/265852 lits-rem:3 time: 0.32
334.54/42.11	c calculated reachability. Time: 0.01
334.54/42.11	c  N dy   236     46256      7880    265852     45498     16424   2088892    375892      9.63   no data
339.32/42.73	c Finding binary XORs  T:     0.01 s  found:       0
340.12/42.83	c  N dy   253     50310      7878    265851     47619     20418   2088835    586051      9.53     13.11
345.72/43.54	c  N dy   275     54314      7878    265851     47620     24396   2088835    770992      9.56     10.25
352.10/44.39	c  N dy   299     58745      7877    265851     47668     28801   2088835    966135      9.57     10.39
357.67/45.08	c  N dy   319     62792      7877    265851     47672     32811   2088835   1102701      9.57     10.10
365.67/46.05	c  N dy   344     66982      7877    265851     47675     19864   2088835    420403      9.58     10.12
369.66/46.55	c  S st   361     69384      7877    265851     47684     22244   2088835    520066      9.61      9.97
372.06/46.85	c  S st   361     69885      7877    265851     47684     22742   2088835    542614      9.61   no data
372.06/46.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
384.82/48.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    236 BRemL:    722 BRemN:      0 P: 46.6M T:  1.59
385.62/48.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
385.62/48.53	c bin-w-bin subsume rem           16 bins  time:  0.00 s
385.62/48.55	c subs with bin:       19  lits-rem:        20  v-fix:    0  time:  0.02 s
385.62/48.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2573 time:  0.02 s
385.62/48.58	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.01 s
416.84/52.48	c lits-rem:         0  cl-subs:       36  v-elim:     10  v-fix:    0  time:  3.90 s
419.93/52.84	c subs with bin:       47  lits-rem:       322  v-fix:    0  time:  0.34 s
463.04/58.25	c lits-rem:        54  cl-subs:      466  v-elim:      0  v-fix:    0  time:  5.36 s
463.84/58.36	c vivif2 --  cl tried   265820 cl shrink        0 lits rem          0 time: 0.10
463.84/58.38	c vivif2 --  cl tried    21212 cl shrink     1037 lits rem       8059 time: 0.02
466.24/58.66	c asymm  cl-useful: 9/2817/265820 lits-rem:22 time: 0.27
466.24/58.67	c calculated reachability. Time: 0.00
466.24/58.67	c  N dy   361     69885      7867    265820     47060     21211   2088443    489684      9.61   no data
476.62/59.96	c  N dy   383     75785      7867    265820     47061     27080   2088443   1036188      9.58     10.24
476.62/59.97	c Finding binary XORs  T:     0.01 s  found:       0
483.80/60.81	c  N dy   390     80714      7866    265820     47764     31971   2088443   1483184      9.45     11.96
494.18/62.14	c  N dy   414     86308      7866    265820     47845     37534   2088443   1896357      9.43     10.00
496.72/62.48	c  F st   420     87500      7866    265820     47847     38710   2088443   1983811      9.41      5.88
504.65/63.43	c  N dy   426     92691      7866    265820     47831     24394   2088395    831717      9.41   no data
514.92/64.73	c Finding binary XORs  T:     0.01 s  found:       0
515.72/64.81	c  N dy   458     98684      7866    265820     48753     30344   2088395   1135759      9.42     14.11
528.50/66.47	c  S st   493    104827      7866    265820     48804     36440   2088395   1464775      9.42      8.01
530.98/66.75	c  S st   493    105333      7866    265820     48804     36944   2088395   1486310      9.42   no data
530.98/66.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
543.67/68.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1372 BRemL:   2055 BRemN:      0 P: 48.8M T:  1.57
544.47/68.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
544.47/68.41	c bin-w-bin subsume rem           13 bins  time:  0.00 s
544.47/68.43	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.02 s
544.47/68.44	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   1493 time:  0.02 s
544.47/68.45	c Removed useless bin:       0  fixed:     0  props:   0.70M  time:  0.01 s
620.28/77.99	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  9.53 s
632.28/79.43	c subs with bin:       97  lits-rem:      2035  v-fix:    0  time:  1.38 s
730.46/91.79	c lits-rem:        18  cl-subs:      900  v-elim:      0  v-fix:    0  time: 12.31 s
731.26/91.89	c vivif2 --  cl tried   265817 cl shrink        0 lits rem          0 time: 0.11
732.06/91.99	c vivif2 --  cl tried    35667 cl shrink     4041 lits rem      51404 time: 0.10
734.44/92.29	c asymm  cl-useful: 0/362/265817 lits-rem:0 time: 0.30
735.24/92.31	c calculated reachability. Time: 0.01
735.24/92.31	c  N dy   493    105333      7865    265817     48074     35666   2088386   1384032      9.42   no data
740.04/92.96	c Finding binary XORs  T:     0.01 s  found:       0
746.42/93.70	c  N dy   526    112117      7865    265817     51458     42418   2088386   1840893      9.42      9.96
756.80/95.06	c  N dy   579    119280      7865    265817     51969     28035   2088386    746237      9.51     10.02
764.61/97.70	c Following stats are for *FIRST FINISHED THREAD ONLY*
764.61/97.70	c num threads              : 8          
764.61/97.70	c restarts                 : 1119       
764.61/97.70	c dynamic restarts         : 1101       
764.61/97.70	c static restarts          : 18         
764.61/97.70	c full restarts            : 2          
764.61/97.70	c total simplify time      : 0.18       
764.61/97.70	c learnts DL2              : 0          
764.61/97.70	c learnts size 2           : 601795     
764.61/97.70	c learnts size 1           : 177         (1.96      % of vars)
764.61/97.70	c filedLit time            : 6.15        (6.32      % time)
764.61/97.70	c v-elim SatELite          : 923         (10.21     % vars)
764.61/97.70	c SatELite time            : 37.85       (38.88     % time)
764.61/97.70	c v-elim xor               : 0           (0.00      % vars)
764.61/97.70	c xor elim time            : 0.05        (0.05      % time)
764.61/97.70	c num binary xor trees     : 77         
764.61/97.70	c binxor trees' crown      : 77          (1.00      leafs/tree)
764.61/97.70	c bin xor find time        : 0.12       
764.61/97.70	c OTF clause improved      : 1277        (0.01      clauses/conflict)
764.61/97.70	c OTF impr. size diff      : 1604        (1.26       lits/clause)
764.61/97.70	c OTF cl watch-shrink      : 128953      (0.66      clauses/conflict)
764.61/97.70	c OTF cl watch-sh-lit      : 782890      (6.07       lits/clause)
764.61/97.70	c tried to recurMin cls    : 86081       (44.32      % of conflicts)
764.61/97.70	c updated cache            : 0           (0.00       lits/tried recurMin)
764.61/97.70	c unit cls recevied        : 4           (2.26      % of units)
764.61/97.70	c unit cls sent            : 20          (11.30     % of units)
764.61/97.70	c bin cls recevied         : 292219     
764.61/97.70	c bin cls sent             : 2648       
764.61/97.70	c clauses over max glue    : 0           (0.00      % of all clauses)
764.61/97.70	c conflicts                : 194237      (1995.32   / sec)
764.61/97.70	c decisions                : 452296      (1.58      % random)
764.61/97.70	c bogo-props               : 3127733250  (32129998.07 / sec)
764.61/97.70	c conflict literals        : 8941670     (28.88     % deleted)
764.61/97.70	c Memory used              : 1544.89     MB
764.61/97.70	c single-thread CPU time   : 97.35       s
764.61/97.70	c all-threads sum CPU time : 763.23      s
764.61/97.70	s SATISFIABLE
764.61/97.70	v 1 -2 -3 -4 5 -6 -7 -8 9 10 11 -12 -13 14 15 -16 17 -18 -19 -20 21 22 -23 -24 -25 26 -27 -28 -29 -30 -31 -32 -33 -34 -35 36 -37 -38 39 40 41 -42 -43 44 45 -46 -47 -48 49 -50 -51 -52 -53 -54 -55 -56 -57 -58 59 -60 -61 -62 -63 64 -65 -66 -67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 84 -85 -86 -87 -88 89 -90 -91 92 -93 94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 106 -107 -108 -109 110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 134 -135 136 -137 -138 -139 -140 -141 -142 -143 -144 -145 146 147 148 149 -150 -151 -152 -153 -154 -155 -156 -157 -158 -159 -160 161 162 -163 164 -165 -166 167 -168 -169 -170 -171 -172 -173 174 175 -176 177 -178 179 -180 -181 -182 183 184 -185 -186 -187 -188 -189 190 -191 -192 -193 -194 195 -196 -197 198 199 -200 -201 -202 -203 -204 205 206 -207 -208 -209 -210 -211 -212 -213 214 -215 -216 -217 -218 -219 -220 221 222 223 -224 225 -226 227 -228 -229 -230 231 232 -233 -234 -235 -236 -237 238 239 -240 241 -242 243 -244 245 246 -247 248 249 -250 251 252 -253 254 -255 256 -257 258 -259 -260 261 262 -263 264 -265 266 -267 268 -269 270 271 -272 273 274 -275 276 -277 -278 -279 280 -281 -282 -283 -284 -285 -286 287 288 289 -290 291 292 293 294 295 -296 297 298 -299 300 -301 302 -303 304 -305 306 -307 308 -309 310 311 312 313 314 -315 -316 -317 -318 -319 -320 321 322 323 324 325 -326 327 -328 -329 -330 -331 -332 -333 334 -335 336 337 -338 339 -340 341 342 -343 -344 -345 -346 -347 348 349 350 351 352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 -363 -364 -365 -366 -367 -368 -369 -370 371 372 -373 -374 -375 -376 -377 -378 -379 -380 -381 382 383 384 385 -386 -387 -388 -389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 445 446 447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 -470 -471 -472 -473 -474 -475 -476 477 478 479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 -517 -518 -519 -520 -521 522 523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 556 557 558 -559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 615 616 -617 -618 -619 -620 -621 -622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 672 673 674 -675 -676 -677 -678 -679 -680 -681 -682 -683 -684 685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 723 724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 -820 821 822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 858 859 860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 -890 -891 -892 -893 -894 895 896 897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 -927 -928 -929 -930 -931 -932 -933 934 935 936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 1010 1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 -1043 -1044 -1045 1046 1047 1048 1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 -1062 -1063 -1064 -1065 -1066 -1067 -1068 -1069 -1070 -1071 -1072 -1073 1074 -1075 -1076 -1077 -1078 -1079 -1080 -1081 -1082 -1083 -1084 -1085 -1086 -1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 -1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 -1145 -1146 -1147 1148 1149 1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 -1168 -1169 -1170 -1171 -1172 -1173 -1174 -1175 -1176 -1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 1225 1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 1260 1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1281 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 -1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 1318 1319 -1320 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 1375 1376 1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1501 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 1807 1808 1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 -1918 -1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 1981 -1982 -1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 -2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 -2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 -2206 -2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 -2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 -2452 -2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 -2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 -2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 2650 2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 -2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 -2717 -2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 -2754 -2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 2801 2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 -2842 -2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 -3216 -3217 -3218 -3219 -3220 -3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 -3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 -3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 -3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 -3394 -3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 -3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 -3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 4168 4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 -4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 -4209 -4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 4356 -4357 -4358 -4359 -4360 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 -4563 -4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 -4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 -4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 -4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 -4670 -4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 -4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 -4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 -4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 -4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 -4777 -4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 4960 4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 -5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 -5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 5439 -5440 -5441 -5442 -5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 -5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 5590 5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 5628 5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 -5702 -5703 5704 5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 -5817 5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 -6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 6103 6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 6179 6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 6539 6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 6577 6578 6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 -6625 -6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 -6646 -6647 -6648 -6649 -6650 -6651 -6652 6653 6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 -6690 6691 6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 6710 -6711 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 -6734 -6735 -6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 -6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 -6800 -6801 -6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 6900 6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 -6954 -6955 -6956 -6957 6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 6976 6977 -6978 -6979 -6980 -6981 -6982 -6983 -6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 7013 7014 7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 -7050 -7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 -7160 -7161 -7162 -7163 -7164 -7165 -7166 -7167 7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 7223 7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 7261 7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 -7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 -7421 -7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 -7445 -7446 -7447 -7448 -7449 -7450 -7451 7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 -7465 -7466 -7467 -7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 -7487 -7488 -7489 7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 7527 7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 7568 -7569 -7570 -7571 -7572 -7573 -7574 -7575 -7576 -7577 -7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 -7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 7678 -7679 -7680 -7681 -7682 -7683 -7684 -7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 -7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 -7729 -7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 -7752 -7753 -7754 -7755 -7756 -7757 7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 7854 -7855 -7856 -7857 -7858 -7859 -7860 -7861 -7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 -7882 -7883 -7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 7943 -7944 -7945 -7946 -7947 -7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 7963 -7964 -7965 -7966 -7967 -7968 -7969 -7970 -7971 -7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 7985 -7986 -7987 -7988 -7989 -7990 -7991 -7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 -8037 -8038 -8039 -8040 8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 8078 -8079 -8080 -8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 8097 -8098 -8099 -8100 -8101 -8102 -8103 -8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 -8124 -8125 -8126 -8127 -8128 -8129 -8130 -8131 -8132 8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 -8148 -8149 -8150 -8151 -8152 -8153 8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 8230 -8231 -8232 -8233 -8234 -8235 -8236 -8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 -8261 -8262 -8263 -8264 -8265 8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 8346 -8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 -8608 -8609 -8610 -8611 -8612 -8613 -8614 -8615 8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 -8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 -8696 -8697 -8698 -8699 -8700 -8701 -8702 -8703 -8704 -8705 -8706 8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 -8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 -8763 8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 8802 -8803 -8804 -8805 -8806 -8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 -8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 -8850 -8851 -8852 -8853 -8854 8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 -8874 -8875 -8876 -8877 8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 8897 -8898 -8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 8914 -8915 -8916 -8917 -8918 -8919 -8920 -8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 8953 -8954 -8955 -8956 -8957 -8958 -8959 -8960 -8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 -9001 -9002 -9003 -9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 9018 9019 9020 9021 9022 9023 9024 9025 -9026 -9027 -9028 -9029 -9030 9031 9032 9033 9034 9035 9036 9037 9038 9039 9040 9041 9042 9043 9044 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3394666-1306102931/watcher-3394666-1306102931 -o /tmp/evaluation-result-3394666-1306102931/solver-3394666-1306102931 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394666-1306102931.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=92144 CPUtime=0.03 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 412 0 0 0 3 0 0 0 22 0 8 0 702708636 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897842 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 23036 352 299 95 0 18018 0
[pid=19109/tid=19110] ppid=19107 vsize=92144 CPUtime=0.01 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 8 0 702708636 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897842 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=92144 CPUtime=0.01 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897842 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=92144 CPUtime=0 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=92144 CPUtime=0 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=92144 CPUtime=0 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=92144 CPUtime=0.01 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897842 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=92144 CPUtime=0.01 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 8 0 702708637 94355456 352 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897842 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.114838 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=642072 CPUtime=0.62 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) S 19107 19109 19049 0 -1 4202496 21583 0 0 0 49 13 0 0 17 0 8 0 702708636 657481728 19788 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 160518 20376 338 95 0 155500 0
[pid=19109/tid=19110] ppid=19107 vsize=642072 CPUtime=0.08 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 2945 0 0 0 7 1 0 0 17 0 8 0 702708636 657481728 20416 33554432000 4194304 4580107 140737206364752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=642072 CPUtime=0.08 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 2917 0 0 0 7 1 0 0 17 0 8 0 702708637 657481728 20435 33554432000 4194304 4580107 140737206364752 18446744073709551615 4511232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=642552 CPUtime=0.05 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 2507 0 0 0 4 1 0 0 17 0 8 0 702708637 657973248 20751 33554432000 4194304 4580107 140737206364752 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=642552 CPUtime=0.06 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 2893 0 0 0 5 1 0 0 17 0 8 0 702708637 657973248 20751 33554432000 4194304 4580107 140737206364752 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=642552 CPUtime=0.05 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 2672 0 0 0 4 1 0 0 17 0 8 0 702708637 657973248 20751 33554432000 4194304 4580107 140737206364752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=642552 CPUtime=0.08 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 2874 0 0 0 7 1 0 0 17 0 8 0 702708637 657973248 20979 33554432000 4194304 4580107 140737206364752 18446744073709551615 4489175 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=642552 CPUtime=0.07 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 2466 0 0 0 6 1 0 0 17 0 8 0 702708637 657973248 21187 33554432000 4194304 4580107 140737206364752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 642072

[startup+0.235074 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=932460 CPUtime=1.51 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 50684 0 0 0 131 20 0 0 18 0 8 0 702708636 954839040 48696 33554432000 4194304 4580107 140737206364752 18446744073709551615 4501054 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 233304 50794 360 95 0 228286 0
[pid=19109/tid=19110] ppid=19107 vsize=933216 CPUtime=0.39 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 6448 0 0 0 37 2 0 0 18 0 8 0 702708636 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=933216 CPUtime=0.39 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 6613 0 0 0 38 1 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=933216 CPUtime=0.36 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 6431 0 0 0 33 3 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=933216 CPUtime=0.37 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 6605 0 0 0 34 3 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=933216 CPUtime=0.36 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 6363 0 0 0 34 2 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=933216 CPUtime=0.39 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 6530 0 0 0 37 2 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=933216 CPUtime=0.38 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 6951 0 0 0 36 2 0 0 18 0 8 0 702708637 955613184 50794 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 932460

[startup+0.502743 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=937968 CPUtime=3.64 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) D 19107 19109 19049 0 -1 4202496 58079 0 0 0 342 22 0 0 18 0 8 0 702708636 960479232 56089 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 234525 56291 360 95 0 229507 0
[pid=19109/tid=19110] ppid=19107 vsize=938100 CPUtime=0.46 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 7354 0 0 0 44 2 0 0 18 0 8 0 702708636 960614400 56398 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=938232 CPUtime=0.47 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 7276 0 0 0 45 2 0 0 18 0 8 0 702708637 960749568 56685 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=938364 CPUtime=0.44 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 7240 0 0 0 41 3 0 0 18 0 8 0 702708637 960884736 56908 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=938364 CPUtime=0.45 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 7475 0 0 0 42 3 0 0 18 0 8 0 702708637 960884736 57017 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=938636 CPUtime=0.45 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 7304 0 0 0 42 3 0 0 18 0 8 0 702708637 961163264 57452 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=938900 CPUtime=0.49 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 7617 0 0 0 47 2 0 0 18 0 8 0 702708637 961433600 57988 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=938900 CPUtime=0.48 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 7191 0 0 0 45 3 0 0 18 0 8 0 702708637 961433600 57988 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 937968

[startup+1.28737 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=974932 CPUtime=9.86 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) D 19107 19109 19049 0 -1 4202496 73458 0 0 0 958 28 0 0 19 0 8 0 702708636 998330368 71468 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 243733 71468 366 95 0 238715 0
[pid=19109/tid=19110] ppid=19107 vsize=974932 CPUtime=1.22 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 9961 0 0 0 119 3 0 0 18 0 8 0 702708636 998330368 71468 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=974932 CPUtime=1.24 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) D 19107 19109 19049 0 -1 4202560 10453 0 0 0 121 3 0 0 18 0 8 0 702708637 998330368 71468 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095112225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=974932 CPUtime=1.21 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 8808 0 0 0 117 4 0 0 18 0 8 0 702708637 998330368 71488 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=975252 CPUtime=1.21 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 9066 0 0 0 118 3 0 0 18 0 8 0 702708637 998658048 71558 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=975384 CPUtime=1.2 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 8751 0 0 0 117 3 0 0 17 0 8 0 702708637 998793216 71633 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=975384 CPUtime=1.23 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 8973 0 0 0 121 2 0 0 18 0 8 0 702708637 998793216 71687 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095556078 0 0 4096 2 18446604459485807552 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=975384 CPUtime=1.23 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 8160 0 0 0 120 3 0 0 19 0 8 0 702708637 998793216 71687 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.86
Current children cumulated vsize (KiB) 974932

[startup+1.50148 s]
/proc/loadavg: 0.00 0.01 1.18 1/514 19109
/proc/meminfo: memFree=9069992/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1093148 CPUtime=10.59 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 141800 0 0 0 1008 51 0 0 18 0 8 0 702708636 1119383552 139810 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095148240 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 273287 139832 371 95 0 268269 0
[pid=19109/tid=19110] ppid=19107 vsize=1093148 CPUtime=1.31 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 22791 0 0 0 125 6 0 0 18 0 8 0 702708636 1119383552 139836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4412400 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1093148 CPUtime=1.33 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 22070 0 0 0 127 6 0 0 17 0 8 0 702708637 1119383552 139850 33554432000 4194304 4580107 140737206364752 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1093148 CPUtime=1.28 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 14382 0 0 0 122 6 0 0 17 0 8 0 702708637 1119383552 139867 33554432000 4194304 4580107 140737206364752 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1093148 CPUtime=1.3 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 22045 0 0 0 122 8 0 0 18 0 8 0 702708637 1119383552 139876 33554432000 4194304 4580107 140737206364752 18446744073709551615 4401152 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1093148 CPUtime=1.27 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 13082 0 0 0 122 5 0 0 17 0 8 0 702708637 1119383552 139888 33554432000 4194304 4580107 140737206364752 18446744073709551615 228095148217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1093148 CPUtime=1.31 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 17321 0 0 0 125 6 0 0 17 0 8 0 702708637 1119383552 139894 33554432000 4194304 4580107 140737206364752 18446744073709551615 4401345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1093148 CPUtime=1.37 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 8242 0 0 0 134 3 0 0 17 0 8 0 702708637 1119383552 139901 33554432000 4194304 4580107 140737206364752 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 1093148

[startup+3.10119 s]
/proc/loadavg: 0.48 0.11 1.21 9/522 19117
/proc/meminfo: memFree=8385948/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1224036 CPUtime=23.32 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 173917 0 0 0 2275 57 0 0 20 0 8 0 702708636 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 306009 170939 374 95 0 300991 0
[pid=19109/tid=19110] ppid=19107 vsize=1224036 CPUtime=2.92 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24727 0 0 0 285 7 0 0 20 0 8 0 702708636 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1224036 CPUtime=2.93 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24068 0 0 0 287 6 0 0 20 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1224036 CPUtime=2.88 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 22467 0 0 0 280 8 0 0 19 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1224036 CPUtime=2.85 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24487 0 0 0 277 8 0 0 20 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1224036 CPUtime=2.86 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 20945 0 0 0 280 6 0 0 19 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1224036 CPUtime=2.91 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 23707 0 0 0 284 7 0 0 19 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1224036 CPUtime=2.97 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 8852 0 0 0 294 3 0 0 19 0 8 0 702708637 1253412864 170939 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.32
Current children cumulated vsize (KiB) 1224036

[startup+6.3216 s]
/proc/loadavg: 0.48 0.11 1.21 9/522 19117
/proc/meminfo: memFree=8382864/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1224036 CPUtime=49.02 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 174672 0 0 0 4844 58 0 0 25 0 8 0 702708636 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 306009 171694 375 95 0 300991 0
[pid=19109/tid=19110] ppid=19107 vsize=1224036 CPUtime=6.14 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24727 0 0 0 607 7 0 0 25 0 8 0 702708636 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1224036 CPUtime=6.15 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24068 0 0 0 609 6 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1224036 CPUtime=6.1 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 22467 0 0 0 602 8 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1224036 CPUtime=6.01 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 24487 0 0 0 593 8 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1224036 CPUtime=6.08 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 20945 0 0 0 602 6 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1224036 CPUtime=6.13 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 23707 0 0 0 606 7 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1224036 CPUtime=6.19 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 9607 0 0 0 615 4 0 0 25 0 8 0 702708637 1253412864 171694 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0

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

/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 53122 0 0 0 5121 16 0 0 25 0 8 0 702708637 1504870400 262513 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1469600 CPUtime=51.66 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 42895 0 0 0 5153 13 0 0 25 0 8 0 702708637 1504870400 262513 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1469600 CPUtime=51.7 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 50560 0 0 0 5156 14 0 0 25 0 8 0 702708637 1504870400 262513 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1469600 CPUtime=51.75 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 55321 0 0 0 5162 13 0 0 25 0 8 0 702708637 1504870400 262513 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 412.76
Current children cumulated vsize (KiB) 1469600

[startup+77.5004 s]
/proc/loadavg: 5.90 1.87 1.74 9/522 19119
/proc/meminfo: memFree=7887332/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1693500 CPUtime=617.11 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 434879 0 0 0 61586 125 0 0 25 0 8 0 702708636 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 423375 296243 380 95 0 418357 0
[pid=19109/tid=19110] ppid=19107 vsize=1693500 CPUtime=77.3 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 49089 0 0 0 7717 13 0 0 25 0 8 0 702708636 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293208 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1693500 CPUtime=76.3 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 48746 0 0 0 7617 13 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1693500 CPUtime=77.26 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 51250 0 0 0 7709 17 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1693500 CPUtime=76.97 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 57042 0 0 0 7680 17 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1693500 CPUtime=77.26 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 53468 0 0 0 7710 16 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1693500 CPUtime=77.3 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 58001 0 0 0 7713 17 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1693500 CPUtime=77.34 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 68970 0 0 0 7718 16 0 0 25 0 8 0 702708637 1734144000 296243 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 617.11
Current children cumulated vsize (KiB) 1693500

[startup+90.3011 s]
/proc/loadavg: 6.22 2.07 1.81 9/522 19119
/proc/meminfo: memFree=7886724/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1647800 CPUtime=719.28 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 465767 0 0 0 71795 133 0 0 25 0 8 0 702708636 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 411950 296102 380 95 0 406932 0
[pid=19109/tid=19110] ppid=19107 vsize=1647800 CPUtime=90.1 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 57913 0 0 0 8995 15 0 0 25 0 8 0 702708636 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1647800 CPUtime=88.86 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54798 0 0 0 8872 14 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1647800 CPUtime=90.07 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 59881 0 0 0 8987 20 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1647800 CPUtime=89.77 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 57045 0 0 0 8960 17 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1647800 CPUtime=90.06 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 55081 0 0 0 8989 17 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1647800 CPUtime=90.09 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 60238 0 0 0 8992 17 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1647800 CPUtime=90.14 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 70706 0 0 0 8997 17 0 0 25 0 8 0 702708637 1687347200 296102 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 719.28
Current children cumulated vsize (KiB) 1647800

[startup+93.5005 s]
/proc/loadavg: 6.37 2.17 1.84 9/522 19120
/proc/meminfo: memFree=7881268/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1647724 CPUtime=744.82 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 472586 0 0 0 74346 136 0 0 25 0 8 0 702708636 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 411931 295836 380 95 0 406913 0
[pid=19109/tid=19110] ppid=19107 vsize=1647724 CPUtime=93.31 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 58585 0 0 0 9315 16 0 0 25 0 8 0 702708636 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1647724 CPUtime=92.01 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54869 0 0 0 9187 14 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1647724 CPUtime=93.26 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 60772 0 0 0 9306 20 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1647724 CPUtime=92.97 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 57045 0 0 0 9280 17 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294245 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1647724 CPUtime=93.26 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 55081 0 0 0 9309 17 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1647724 CPUtime=93.29 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 60400 0 0 0 9312 17 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1647724 CPUtime=93.34 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 74865 0 0 0 9316 18 0 0 25 0 8 0 702708637 1687269376 295836 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 744.82
Current children cumulated vsize (KiB) 1647724

[startup+95.1012 s]
/proc/loadavg: 6.37 2.17 1.84 9/522 19120
/proc/meminfo: memFree=7910408/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1581968 CPUtime=757.6 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) R 19107 19109 19049 0 -1 4202496 484210 0 0 0 75622 138 0 0 25 0 8 0 702708636 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 395492 289562 380 95 0 390474 0
[pid=19109/tid=19110] ppid=19107 vsize=1581968 CPUtime=94.9 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 62101 0 0 0 9474 16 0 0 25 0 8 0 702708636 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1581968 CPUtime=93.59 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54869 0 0 0 9345 14 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1581968 CPUtime=94.87 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 64235 0 0 0 9466 21 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1581968 CPUtime=94.57 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 57045 0 0 0 9440 17 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1581968 CPUtime=94.86 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 55081 0 0 0 9469 17 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1581968 CPUtime=94.89 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 60901 0 0 0 9472 17 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1581968 CPUtime=94.93 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 75397 0 0 0 9475 18 0 0 25 0 8 0 702708637 1619935232 289562 33554432000 4194304 4580107 140737206364752 18446744073709551615 4321644 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 757.6
Current children cumulated vsize (KiB) 1581968

[startup+96.7009 s]
/proc/loadavg: 6.02 2.17 1.84 3/522 19120
/proc/meminfo: memFree=7909664/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1581968 CPUtime=762.61 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) S 19107 19109 19049 0 -1 4202496 484522 0 0 0 76122 139 0 0 25 0 8 0 702708636 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 395492 289873 380 95 0 390474 0
[pid=19109/tid=19110] ppid=19107 vsize=1581968 CPUtime=96.5 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 62156 0 0 0 9634 16 0 0 25 0 8 0 702708636 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938872875 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1581968 CPUtime=95.17 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54869 0 0 0 9503 14 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 4416310 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1581968 CPUtime=95.17 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 64271 0 0 0 9496 21 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1581968 CPUtime=94.87 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 57046 0 0 0 9470 17 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1581968 CPUtime=95.16 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 55081 0 0 0 9499 17 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1581968 CPUtime=95.2 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 60956 0 0 0 9502 18 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1581968 CPUtime=95.24 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 75451 0 0 0 9506 18 0 0 25 0 8 0 702708637 1619935232 289873 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 762.61
Current children cumulated vsize (KiB) 1581968

[startup+97.5008 s]
/proc/loadavg: 6.02 2.17 1.84 3/522 19120
/proc/meminfo: memFree=7909416/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1581968 CPUtime=764.23 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) S 19107 19109 19049 0 -1 4202496 484621 0 0 0 76284 139 0 0 25 0 8 0 702708636 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 395492 289972 380 95 0 390474 0
[pid=19109/tid=19110] ppid=19107 vsize=1581968 CPUtime=97.32 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 62156 0 0 0 9716 16 0 0 25 0 8 0 702708636 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938873028 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1581968 CPUtime=95.99 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54968 0 0 0 9585 14 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1581968 CPUtime=95.17 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 64271 0 0 0 9496 21 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1581968 CPUtime=94.87 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 57046 0 0 0 9470 17 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1581968 CPUtime=95.16 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 55081 0 0 0 9499 17 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1581968 CPUtime=95.2 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 60956 0 0 0 9502 18 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1581968 CPUtime=95.24 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 75451 0 0 0 9506 18 0 0 25 0 8 0 702708637 1619935232 289972 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 764.23
Current children cumulated vsize (KiB) 1581968

[startup+97.7007 s]
/proc/loadavg: 6.02 2.17 1.84 3/522 19120
/proc/meminfo: memFree=7909416/32951124 swapFree=65066528/67111528
[pid=19109] ppid=19107 vsize=1581968 CPUtime=764.61 cores=0-7
/proc/19109/stat : 19109 (strangenight2-m) S 19107 19109 19049 0 -1 4202496 484624 0 0 0 76322 139 0 0 25 0 8 0 702708636 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19109/statm: 395492 289975 380 95 0 390474 0
[pid=19109/tid=19110] ppid=19107 vsize=1581968 CPUtime=97.5 cores=0-7
/proc/19109/task/19110/stat : 19110 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 62156 0 0 0 9734 16 0 0 25 0 8 0 702708636 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938872875 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19109/tid=19111] ppid=19107 vsize=1581968 CPUtime=96.17 cores=0-7
/proc/19109/task/19111/stat : 19111 (strangenight2-m) R 19107 19109 19049 0 -1 4202560 54971 0 0 0 9603 14 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 4290660 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19109/tid=19112] ppid=19107 vsize=1581968 CPUtime=95.17 cores=0-7
/proc/19109/task/19112/stat : 19112 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 64271 0 0 0 9496 21 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 3 0 0 0
[pid=19109/tid=19113] ppid=19107 vsize=1581968 CPUtime=94.87 cores=0-7
/proc/19109/task/19113/stat : 19113 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 57046 0 0 0 9470 17 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 1 0 0 0
[pid=19109/tid=19114] ppid=19107 vsize=1581968 CPUtime=95.16 cores=0-7
/proc/19109/task/19114/stat : 19114 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 55081 0 0 0 9499 17 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 5 0 0 0
[pid=19109/tid=19115] ppid=19107 vsize=1581968 CPUtime=95.2 cores=0-7
/proc/19109/task/19115/stat : 19115 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 60956 0 0 0 9502 18 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 0 0 0 0
[pid=19109/tid=19116] ppid=19107 vsize=1581968 CPUtime=95.24 cores=0-7
/proc/19109/task/19116/stat : 19116 (strangenight2-m) S 19107 19109 19049 0 -1 4202560 75451 0 0 0 9506 18 0 0 25 0 8 0 702708637 1619935232 289975 33554432000 4194304 4580107 140737206364752 18446744073709551615 47399938897460 0 0 4096 2 18446604459485807552 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 764.61
Current children cumulated vsize (KiB) 1581968

Child status: 10
Real time (s): 97.7576
CPU time (s): 764.674
CPU user time (s): 763.23
CPU system time (s): 1.44378
CPU usage (%): 782.214
Max. virtual memory (cumulated for all children) (KiB): 1851436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 763.23
system time used= 1.44378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 484632
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= 60230
involuntary context switches= 3506

runsolver used 0.461929 second user time and 1.27581 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-23 00:22:12
IDJOB=3394666
IDBENCH=83443
IDSOLVER=1878
FILE ID=node142/3394666-1306102931
RUNJOBID= node142-1306102930-19063
PBS_JOBID= 13387995
Free space on /tmp= 73396 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394666-1306102931/watcher-3394666-1306102931 -o /tmp/evaluation-result-3394666-1306102931/solver-3394666-1306102931 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394666-1306102931.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1331703354

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       9070272 kB
Buffers:        244500 kB
Cached:        6618544 kB
SwapCached:      20520 kB
Active:       11883560 kB
Inactive:     11665752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       9070272 kB
SwapTotal:    67111528 kB
SwapFree:     65066528 kB
Dirty:           16332 kB
Writeback:           0 kB
AnonPages:    16674232 kB
Mapped:          33024 kB
Slab:           186608 kB
PageTables:      74568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145376388 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73392 MiB
End job on node142 at 2011-05-23 00:23:49