Trace number 3369538

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-1-mt (fixed)SAT 2344.64 622.587

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3369538-1305415005/watcher-3369538-1305415005 -o /tmp/evaluation-result-3369538-1305415005/solver-3369538-1305415005 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369538-1305415005.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 653098698 52465664 358 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335892411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 12809 358 306 112 0 7774 0
[pid=4243/tid=4244] ppid=4241 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653098698 52465664 358 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702450 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653098698 52465664 358 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702041 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653098698 52465664 358 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702041 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.101536 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=303740 CPUtime=0.34 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) D 4241 4243 3750 0 -1 4202496 17221 0 0 0 30 4 0 0 18 0 4 0 653098698 311029760 16181 33554432000 4194304 4650419 140735116260256 18446744073709551615 4520021 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 75935 16181 345 112 0 70900 0
[pid=4243/tid=4244] ppid=4241 vsize=303740 CPUtime=0.07 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) D 4241 4243 3750 0 -1 4202560 4208 0 0 0 6 1 0 0 18 0 4 0 653098698 311029760 16181 33554432000 4194304 4650419 140735116260256 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=303740 CPUtime=0.07 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 4214 0 0 0 6 1 0 0 18 0 4 0 653098698 311029760 16181 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335892283 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=304556 CPUtime=0.09 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 4366 0 0 0 9 0 0 0 18 0 4 0 653098698 311865344 17232 33554432000 4194304 4650419 140735116260256 18446744073709551615 4548880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 303740

[startup+0.247998 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=454536 CPUtime=0.9 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) D 4241 4243 3750 0 -1 4202496 39848 0 0 0 81 9 0 0 18 0 4 0 653098698 465444864 38808 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335589479 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 113634 38809 345 112 0 108599 0
[pid=4243/tid=4244] ppid=4241 vsize=454536 CPUtime=0.21 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) D 4241 4243 3750 0 -1 4202560 9933 0 0 0 19 2 0 0 18 0 4 0 653098698 465444864 38810 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=454872 CPUtime=0.22 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 9986 0 0 0 19 3 0 0 18 0 4 0 653098698 465788928 38948 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=553944 CPUtime=0.49 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 11370 0 0 0 47 2 0 0 18 0 4 0 653098698 567238656 41678 33554432000 4194304 4650419 140735116260256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 454536

[startup+0.581998 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=573216 CPUtime=2.23 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 69423 0 0 0 209 14 0 0 18 0 4 0 653098698 586973184 60106 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335935623 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 141252 59585 370 112 0 136217 0
[pid=4243/tid=4244] ppid=4241 vsize=565008 CPUtime=0.54 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) D 4241 4243 3750 0 -1 4202560 19324 0 0 0 51 3 0 0 18 0 4 0 653098698 578568192 59585 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335935623 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=565008 CPUtime=0.55 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 19313 0 0 0 51 4 0 0 18 0 4 0 653098698 578568192 59193 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335935623 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=565008 CPUtime=0.56 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 11453 0 0 0 54 2 0 0 18 0 4 0 653098698 578568192 59193 33554432000 4194304 4650419 140735116260256 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 573216

[startup+2.00127 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=644992 CPUtime=7.76 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 120044 0 0 0 742 34 0 0 18 0 4 0 653098698 660471808 95209 33554432000 4194304 4650419 140735116260256 18446744073709551615 4427009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 163070 98419 379 112 0 158035 0
[pid=4243/tid=4244] ppid=4241 vsize=657844 CPUtime=1.95 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 38618 0 0 0 181 14 0 0 18 0 4 0 653098698 673632256 105618 33554432000 4194304 4650419 140735116260256 18446744073709551615 4426459 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=660880 CPUtime=1.95 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 39949 0 0 0 182 13 0 0 18 0 4 0 653098698 676741120 107179 33554432000 4194304 4650419 140735116260256 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=661384 CPUtime=2.01 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 13036 0 0 0 198 3 0 0 19 0 4 0 653098698 677257216 107607 33554432000 4194304 4650419 140735116260256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.76
Current children cumulated vsize (KiB) 644992

[startup+2.97398 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=678588 CPUtime=11.6 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 150582 0 0 0 1121 39 0 0 19 0 4 0 653098698 694874112 125572 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 169647 125572 460 112 0 164612 0
[pid=4243/tid=4244] ppid=4241 vsize=678588 CPUtime=2.89 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 45813 0 0 0 274 15 0 0 19 0 4 0 653098698 694874112 125572 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=678588 CPUtime=2.89 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 45815 0 0 0 275 14 0 0 19 0 4 0 653098698 694874112 125572 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=678588 CPUtime=2.96 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 13573 0 0 0 293 3 0 0 21 0 4 0 653098698 694874112 125572 33554432000 4194304 4650419 140735116260256 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 678588

[startup+3.17395 s]
/proc/loadavg: 3.78 5.42 6.86 2/281 4243
/proc/meminfo: memFree=21492592/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=678588 CPUtime=12.4 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 150697 0 0 0 1201 39 0 0 19 0 4 0 653098698 694874112 125687 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 169647 125687 460 112 0 164612 0
[pid=4243/tid=4244] ppid=4241 vsize=678588 CPUtime=3.09 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 45813 0 0 0 294 15 0 0 19 0 4 0 653098698 694874112 125687 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=678588 CPUtime=3.09 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 45815 0 0 0 295 14 0 0 19 0 4 0 653098698 694874112 125687 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=678588 CPUtime=3.15 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 13688 0 0 0 312 3 0 0 22 0 4 0 653098698 694874112 125687 33554432000 4194304 4650419 140735116260256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 678588

[startup+6.3004 s]
/proc/loadavg: 3.95 5.43 6.85 9/291 4256
/proc/meminfo: memFree=20013844/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=713248 CPUtime=24.86 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 161251 0 0 0 2443 43 0 0 25 0 4 0 653098698 730365952 132388 33554432000 4194304 4650419 140735116260256 18446744073709551615 4422572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 178312 132388 391 112 0 173277 0
[pid=4243/tid=4244] ppid=4241 vsize=713248 CPUtime=6.18 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 49170 0 0 0 602 16 0 0 25 0 4 0 653098698 730365952 132388 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=713248 CPUtime=6.2 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 49173 0 0 0 604 16 0 0 25 0 4 0 653098698 730365952 132388 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=713248 CPUtime=6.28 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 14996 0 0 0 625 3 0 0 25 0 4 0 653098698 730365952 132388 33554432000 4194304 4650419 140735116260256 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.86
Current children cumulated vsize (KiB) 713248

[startup+12.7003 s]
/proc/loadavg: 4.87 5.58 6.89 9/291 4256
/proc/meminfo: memFree=19923472/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=713248 CPUtime=50.39 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 193785 0 0 0 4990 49 0 0 25 0 4 0 653098698 730365952 135632 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 178312 135632 392 112 0 173277 0
[pid=4243/tid=4244] ppid=4241 vsize=713248 CPUtime=12.53 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 63593 0 0 0 1234 19 0 0 25 0 4 0 653098698 730365952 135632 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=713248 CPUtime=12.59 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 64040 0 0 0 1240 19 0 0 25 0 4 0 653098698 730365952 135632 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=713248 CPUtime=12.68 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 18240 0 0 0 1264 4 0 0 25 0 4 0 653098698 730365952 135632 33554432000 4194304 4650419 140735116260256 18446744073709551615 4345932 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 713248

[startup+25.511 s]
/proc/loadavg: 5.43 5.68 6.90 9/291 4257
/proc/meminfo: memFree=18268208/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=855260 CPUtime=101.52 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 257578 0 0 0 10095 57 0 0 25 0 4 0 653098698 875786240 163708 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 213815 163708 392 112 0 208780 0
[pid=4243/tid=4244] ppid=4241 vsize=855260 CPUtime=25.22 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 81883 0 0 0 2501 21 0 0 25 0 4 0 653098698 875786240 163708 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=855260 CPUtime=25.4 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 81464 0 0 0 2519 21 0 0 25 0 4 0 653098698 875786240 163708 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=855260 CPUtime=25.49 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 46319 0 0 0 2542 7 0 0 25 0 4 0 653098698 875786240 163708 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 855260

[startup+51.1004 s]
/proc/loadavg: 6.31 5.86 6.93 9/291 4257
/proc/meminfo: memFree=17786248/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=866424 CPUtime=203.63 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 375600 0 0 0 20293 70 0 0 25 0 4 0 653098698 887218176 164361 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 216606 164361 392 112 0 211571 0
[pid=4243/tid=4244] ppid=4241 vsize=866424 CPUtime=50.58 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 137012 0 0 0 5031 27 0 0 25 0 4 0 653098698 887218176 164361 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=866424 CPUtime=50.99 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 138736 0 0 0 5071 28 0 0 25 0 4 0 653098698 887218176 164361 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=866424 CPUtime=51.07 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 51940 0 0 0 5099 8 0 0 25 0 4 0 653098698 887218176 164361 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.63
Current children cumulated vsize (KiB) 866424

[startup+102.3 s]
/proc/loadavg: 7.47 6.27 7.01 9/291 4259
/proc/meminfo: memFree=17718232/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=866424 CPUtime=407.95 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 443287 0 0 0 40716 79 0 0 25 0 4 0 653098698 887218176 164716 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 216606 164716 392 112 0 211571 0
[pid=4243/tid=4244] ppid=4241 vsize=866424 CPUtime=101.32 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 166761 0 0 0 10101 31 0 0 25 0 4 0 653098698 887218176 164716 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=866424 CPUtime=102.19 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 165155 0 0 0 10188 31 0 0 25 0 4 0 653098698 887218176 164716 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=866424 CPUtime=102.24 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 63454 0 0 0 10215 9 0 0 25 0 4 0 653098698 887218176 164716 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 866424

[startup+162.301 s]

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

/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1024965 0 0 0 40076 150 0 0 25 0 4 0 653098698 1049354240 196316 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1605.24
Current children cumulated vsize (KiB) 1024760

[startup+462.3 s]
/proc/loadavg: 8.09 7.57 7.36 9/291 4268
/proc/meminfo: memFree=17588676/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1055416 CPUtime=1844.7 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 3343625 0 0 0 183987 483 0 0 25 0 4 0 653098698 1080745984 201495 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 263854 201495 395 112 0 258819 0
[pid=4243/tid=4244] ppid=4241 vsize=1055416 CPUtime=458.04 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 849351 0 0 0 45682 122 0 0 25 0 4 0 653098698 1080745984 201495 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1055416 CPUtime=462.2 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1390781 0 0 0 46022 198 0 0 25 0 4 0 653098698 1080745984 201495 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1055416 CPUtime=462.26 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1044142 0 0 0 46074 152 0 0 25 0 4 0 653098698 1080745984 201495 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1844.7
Current children cumulated vsize (KiB) 1055416

[startup+522.301 s]
/proc/loadavg: 8.09 7.66 7.40 9/291 4270
/proc/meminfo: memFree=17560892/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1072044 CPUtime=2084.17 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 4180866 0 0 0 207824 593 0 0 25 0 4 0 653098698 1097773056 203772 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4243/statm: 268011 203772 395 112 0 262976 0
[pid=4243/tid=4244] ppid=4241 vsize=1072044 CPUtime=517.51 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 885237 0 0 0 51623 128 0 0 25 0 4 0 653098698 1097773056 203772 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1072044 CPUtime=522.2 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1704459 0 0 0 51980 240 0 0 25 0 4 0 653098698 1097773056 203772 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1072044 CPUtime=522.26 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1527946 0 0 0 52013 213 0 0 25 0 4 0 653098698 1097773056 203772 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2084.17
Current children cumulated vsize (KiB) 1072044

[startup+582.301 s]
/proc/loadavg: 7.26 7.53 7.37 7/291 4271
/proc/meminfo: memFree=17504332/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2264.09 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 225666 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=582.26 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 57952 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4220635 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2264.09
Current children cumulated vsize (KiB) 1076096

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

[startup+591.101 s]
/proc/loadavg: 7.06 7.48 7.36 7/291 4272
/proc/meminfo: memFree=17504328/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2281.69 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 227426 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=591.06 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 58832 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2281.69
Current children cumulated vsize (KiB) 1076096

[startup+603.9 s]
/proc/loadavg: 6.90 7.43 7.34 7/291 4272
/proc/meminfo: memFree=17504328/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2307.29 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 229986 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476491 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=603.86 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 60112 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2307.29
Current children cumulated vsize (KiB) 1076096

[startup+610.301 s]
/proc/loadavg: 6.83 7.41 7.34 7/291 4272
/proc/meminfo: memFree=17504328/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2320.09 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 231266 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=610.26 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 60752 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4205736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2320.09
Current children cumulated vsize (KiB) 1076096

[startup+616.701 s]
/proc/loadavg: 6.70 7.36 7.32 7/291 4272
/proc/meminfo: memFree=17504080/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2332.89 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 232546 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=616.66 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 61392 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677483 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2332.89
Current children cumulated vsize (KiB) 1076096

[startup+619.9 s]
/proc/loadavg: 6.70 7.36 7.32 7/291 4272
/proc/meminfo: memFree=17504076/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2339.29 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 233186 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=619.86 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 61712 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2339.29
Current children cumulated vsize (KiB) 1076096

[startup+621.501 s]
/proc/loadavg: 6.70 7.36 7.32 7/291 4272
/proc/meminfo: memFree=17503952/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2342.49 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 233506 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=621.46 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 61872 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4205400 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2342.49
Current children cumulated vsize (KiB) 1076096

[startup+622.301 s]
/proc/loadavg: 6.64 7.34 7.32 7/291 4272
/proc/meminfo: memFree=17504192/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2344.09 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 233666 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4533860 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=622.26 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 61952 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677483 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2344.09
Current children cumulated vsize (KiB) 1076096

[startup+622.501 s]
/proc/loadavg: 6.64 7.34 7.32 7/291 4272
/proc/meminfo: memFree=17504192/32951124 swapFree=66457188/67111528
[pid=4243] ppid=4241 vsize=1076096 CPUtime=2344.49 cores=0,2,4,6
/proc/4243/stat : 4243 (strangenight1-m) R 4241 4243 3750 0 -1 4202496 5304322 0 0 0 233706 743 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 4371135 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4243/statm: 269024 207527 395 112 0 263989 0
[pid=4243/tid=4244] ppid=4241 vsize=1076096 CPUtime=557.38 cores=0,2,4,6
/proc/4243/task/4244/stat : 4244 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1400242 0 0 0 55545 193 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4245] ppid=4241 vsize=1076096 CPUtime=542.27 cores=0,2,4,6
/proc/4243/task/4245/stat : 4245 (strangenight1-m) S 4241 4243 3750 0 -1 4202560 1897076 0 0 0 53963 264 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647702068 0 0 4096 2 18446604449919296832 0 0 -1 2 0 0 0
[pid=4243/tid=4246] ppid=4241 vsize=1076096 CPUtime=622.46 cores=0,2,4,6
/proc/4243/task/4246/stat : 4246 (strangenight1-m) R 4241 4243 3750 0 -1 4202560 1943680 0 0 0 61972 274 0 0 25 0 4 0 653098698 1101922304 207527 33554432000 4194304 4650419 140735116260256 18446744073709551615 47136647677636 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2344.49
Current children cumulated vsize (KiB) 1076096

Child status: 10
Real time (s): 622.587
CPU time (s): 2344.64
CPU user time (s): 2337.16
CPU system time (s): 7.47886
CPU usage (%): 376.596
Max. virtual memory (cumulated for all children) (KiB): 1141640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2337.16
system time used= 7.47886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5304330
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= 5730
involuntary context switches= 31959

runsolver used 1.58476 second user time and 4.08338 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-15 01:16:45
IDJOB=3369538
IDBENCH=83475
IDSOLVER=1846
FILE ID=node132/3369538-1305415005
RUNJOBID= node132-1305415004-4169
PBS_JOBID= 13324521
Free space on /tmp= 73276 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05F20.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369538-1305415005/watcher-3369538-1305415005 -o /tmp/evaluation-result-3369538-1305415005/solver-3369538-1305415005 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369538-1305415005.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=441758869

node132.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.833
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.66
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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
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.833
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.76
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.833
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.75
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.833
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.77
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.833
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.67
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.833
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.833
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:      21492748 kB
Buffers:        281572 kB
Cached:        5623768 kB
SwapCached:       6904 kB
Active:        4798312 kB
Inactive:      6354220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21492748 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:           65504 kB
Writeback:           0 kB
AnonPages:     5245172 kB
Mapped:          18528 kB
Slab:           220052 kB
PageTables:      24520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34741216 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73188 MiB
End job on node132 at 2011-05-15 01:27:08