Trace number 3291176

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-mtSAT 2135.43 561.542

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3291176-1304133698/watcher-3291176-1304133698 -o /tmp/evaluation-result-3291176-1304133698/solver-3291176-1304133698 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3291176-1304133698.cnf 

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

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: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 419 0 0 0 1 0 0 0 24 0 4 0 524967738 52465664 358 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 12809 358 306 112 0 7774 0
[pid=11634/tid=11635] ppid=11632 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524967739 52465664 358 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695242162 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524967739 52465664 358 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241753 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524967739 52465664 358 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241747 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.052632 s]
/proc/loadavg: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=289420 CPUtime=0.15 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 8175 0 0 0 13 2 0 0 18 0 4 0 524967738 296366080 7675 33554432000 4194304 4650419 140736000529520 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 72611 7910 345 112 0 67576 0
[pid=11634/tid=11635] ppid=11632 vsize=290444 CPUtime=0.03 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 2107 0 0 0 3 0 0 0 18 0 4 0 524967739 297414656 7923 33554432000 4194304 4650419 140736000529520 18446744073709551615 255377406446 0 0 4096 2 18446604471145539648 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=290444 CPUtime=0.03 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 2121 0 0 0 3 0 0 0 18 0 4 0 524967739 297414656 7937 33554432000 4194304 4650419 140736000529520 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=291472 CPUtime=0.03 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 2011 0 0 0 3 0 0 0 18 0 4 0 524967739 298467328 7954 33554432000 4194304 4650419 140736000529520 18446744073709551615 255377406446 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 289420

[startup+0.103319 s]
/proc/loadavg: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=303148 CPUtime=0.3 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) D 11632 11634 10653 0 -1 4202496 17032 0 0 0 23 7 0 0 18 0 4 0 524967738 310423552 15992 33554432000 4194304 4650419 140736000529520 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 75956 16162 345 112 0 70921 0
[pid=11634/tid=11635] ppid=11632 vsize=303824 CPUtime=0.05 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) D 11632 11634 10653 0 -1 4202560 4315 0 0 0 5 0 0 0 18 0 4 0 524967739 311115776 16246 33554432000 4194304 4650419 140736000529520 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=303824 CPUtime=0.07 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) D 11632 11634 10653 0 -1 4202560 4226 0 0 0 5 2 0 0 18 0 4 0 524967739 311115776 16246 33554432000 4194304 4650419 140736000529520 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=304632 CPUtime=0.06 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 4127 0 0 0 5 1 0 0 18 0 4 0 524967739 311943168 16249 33554432000 4194304 4650419 140736000529520 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 303148

[startup+0.34155 s]
/proc/loadavg: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=556376 CPUtime=1.9 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 43265 0 0 0 174 16 0 0 18 0 4 0 524967738 569729024 41946 33554432000 4194304 4650419 140736000529520 18446744073709551615 255376962593 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 142425 44141 370 112 0 137390 0
[pid=11634/tid=11635] ppid=11632 vsize=569700 CPUtime=0.46 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) D 11632 11634 10653 0 -1 4202560 12026 0 0 0 44 2 0 0 18 0 4 0 524967739 583372800 43918 33554432000 4194304 4650419 140736000529520 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=569700 CPUtime=0.47 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 11578 0 0 0 43 4 0 0 18 0 4 0 524967739 583372800 43918 33554432000 4194304 4650419 140736000529520 18446744073709551615 255377344647 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=567824 CPUtime=0.47 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 11459 0 0 0 43 4 0 0 18 0 4 0 524967739 581451776 43719 33554432000 4194304 4650419 140736000529520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 556376

[startup+1.06963 s]
/proc/loadavg: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=447088 CPUtime=4.13 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 76373 0 0 0 387 26 0 0 19 0 4 0 524967738 457818112 51498 33554432000 4194304 4650419 140736000529520 18446744073709551615 255377344695 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 112115 52837 374 112 0 107080 0
[pid=11634/tid=11635] ppid=11632 vsize=451268 CPUtime=1.49 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 21913 0 0 0 143 6 0 0 19 0 4 0 524967739 462098432 55635 33554432000 4194304 4650419 140736000529520 18446744073709551615 4371120 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=451268 CPUtime=1.5 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 22535 0 0 0 143 7 0 0 18 0 4 0 524967739 462098432 55635 33554432000 4194304 4650419 140736000529520 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=451268 CPUtime=1.5 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 13051 0 0 0 145 5 0 0 19 0 4 0 524967739 462098432 55636 33554432000 4194304 4650419 140736000529520 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 447088

[startup+1.65633 s]
/proc/loadavg: 8.13 8.12 8.09 2/178 11634
/proc/meminfo: memFree=29596216/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=451268 CPUtime=6.43 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 80695 0 0 0 616 27 0 0 18 0 4 0 524967738 462098432 55820 33554432000 4194304 4650419 140736000529520 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 112817 55820 374 112 0 107782 0
[pid=11634/tid=11635] ppid=11632 vsize=451268 CPUtime=1.59 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 21922 0 0 0 153 6 0 0 19 0 4 0 524967739 462098432 55820 33554432000 4194304 4650419 140736000529520 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=451268 CPUtime=1.6 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 22571 0 0 0 153 7 0 0 18 0 4 0 524967739 462098432 55820 33554432000 4194304 4650419 140736000529520 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=451268 CPUtime=1.6 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 13127 0 0 0 155 5 0 0 19 0 4 0 524967739 462098432 55820 33554432000 4194304 4650419 140736000529520 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 451268

[startup+3.10106 s]
/proc/loadavg: 8.04 8.10 8.08 9/188 11647
/proc/meminfo: memFree=28878428/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=702892 CPUtime=12.13 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 151143 0 0 0 1172 41 0 0 19 0 4 0 524967738 719761408 126092 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476812 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 175723 126092 460 112 0 170688 0
[pid=11634/tid=11635] ppid=11632 vsize=702892 CPUtime=3.01 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 45370 0 0 0 290 11 0 0 19 0 4 0 524967739 719761408 126092 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476437 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=702892 CPUtime=3.03 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 47335 0 0 0 293 10 0 0 19 0 4 0 524967739 719761408 126092 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=702892 CPUtime=3.03 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 13774 0 0 0 298 5 0 0 19 0 4 0 524967739 719761408 126092 33554432000 4194304 4650419 140736000529520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.13
Current children cumulated vsize (KiB) 702892

[startup+6.30047 s]
/proc/loadavg: 8.04 8.10 8.08 10/188 11647
/proc/meminfo: memFree=28136780/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=737552 CPUtime=24.9 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 161636 0 0 0 2447 43 0 0 25 0 4 0 524967738 755253248 132733 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 184388 132733 391 112 0 179353 0
[pid=11634/tid=11635] ppid=11632 vsize=737552 CPUtime=6.2 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 47901 0 0 0 608 12 0 0 18 0 4 0 524967739 755253248 132733 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=737552 CPUtime=6.23 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 49828 0 0 0 613 10 0 0 25 0 4 0 524967739 755253248 132733 33554432000 4194304 4650419 140736000529520 18446744073709551615 4422572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=737552 CPUtime=6.22 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 14968 0 0 0 617 5 0 0 25 0 4 0 524967739 755253248 132733 33554432000 4194304 4650419 140736000529520 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 737552

[startup+12.7003 s]
/proc/loadavg: 8.11 8.11 8.09 9/188 11647
/proc/meminfo: memFree=28041092/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=737552 CPUtime=50.46 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 175470 0 0 0 5001 45 0 0 25 0 4 0 524967738 755253248 136007 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476391 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 184388 136007 392 112 0 179353 0
[pid=11634/tid=11635] ppid=11632 vsize=737552 CPUtime=12.56 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 50747 0 0 0 1243 13 0 0 25 0 4 0 524967739 755253248 136007 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=737552 CPUtime=12.63 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 58694 0 0 0 1252 11 0 0 25 0 4 0 524967739 755253248 136007 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476509 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=737552 CPUtime=12.63 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 17090 0 0 0 1256 7 0 0 25 0 4 0 524967739 755253248 136007 33554432000 4194304 4650419 140736000529520 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 737552

[startup+25.5009 s]
/proc/loadavg: 8.09 8.11 8.09 10/188 11648
/proc/meminfo: memFree=26387460/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=814028 CPUtime=101.59 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 223827 0 0 0 10106 53 0 0 25 0 4 0 524967738 833564672 164453 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476437 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 203507 164453 392 112 0 198472 0
[pid=11634/tid=11635] ppid=11632 vsize=814028 CPUtime=25.29 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 57928 0 0 0 2515 14 0 0 25 0 4 0 524967739 833564672 164453 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=814028 CPUtime=25.43 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 59932 0 0 0 2532 11 0 0 25 0 4 0 524967739 833564672 164453 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476418 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=814028 CPUtime=25.42 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 40620 0 0 0 2532 10 0 0 25 0 4 0 524967739 833564672 164453 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 814028

[startup+51.1012 s]
/proc/loadavg: 8.11 8.11 8.09 9/188 11648
/proc/meminfo: memFree=25921796/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=825192 CPUtime=203.84 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 280925 0 0 0 20324 60 0 0 25 0 4 0 524967738 844996608 166946 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 206298 166946 392 112 0 201263 0
[pid=11634/tid=11635] ppid=11632 vsize=825192 CPUtime=50.76 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 79184 0 0 0 5059 17 0 0 25 0 4 0 524967739 844996608 166946 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=825192 CPUtime=51.03 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 60202 0 0 0 5092 11 0 0 25 0 4 0 524967739 844996608 166946 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=825192 CPUtime=51.02 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 44824 0 0 0 5091 11 0 0 25 0 4 0 524967739 844996608 166946 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 825192

[startup+102.307 s]
/proc/loadavg: 8.26 8.14 8.10 9/188 11650
/proc/meminfo: memFree=25862392/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=825192 CPUtime=408.37 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 421002 0 0 0 40757 80 0 0 25 0 4 0 524967738 844996608 164649 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 206298 164649 392 112 0 201263 0
[pid=11634/tid=11635] ppid=11632 vsize=825192 CPUtime=101.68 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 96109 0 0 0 10149 19 0 0 25 0 4 0 524967739 844996608 164649 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=825192 CPUtime=102.24 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 78164 0 0 0 10210 14 0 0 25 0 4 0 524967739 844996608 164649 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=825192 CPUtime=102.19 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 49715 0 0 0 10208 11 0 0 25 0 4 0 524967739 844996608 164649 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476488 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.37
Current children cumulated vsize (KiB) 825192

[startup+162.301 s]

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

/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 224847 0 0 0 33996 40 0 0 25 0 4 0 524967739 1047629824 190141 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1023076 CPUtime=342.22 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 127819 0 0 0 34198 24 0 0 25 0 4 0 524967739 1047629824 190141 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1023076 CPUtime=342.2 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 313881 0 0 0 34166 54 0 0 25 0 4 0 524967739 1047629824 190141 33554432000 4194304 4650419 140736000529520 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1367.03
Current children cumulated vsize (KiB) 1023076

[startup+402.301 s]
/proc/loadavg: 8.13 8.15 8.10 9/188 11658
/proc/meminfo: memFree=25730904/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1017800 CPUtime=1606.7 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 1568484 0 0 0 160403 267 0 0 25 0 4 0 524967738 1042227200 197671 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 254450 197671 395 112 0 249415 0
[pid=11634/tid=11635] ppid=11632 vsize=1017800 CPUtime=400.03 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 270324 0 0 0 39954 49 0 0 25 0 4 0 524967739 1042227200 197671 33554432000 4194304 4650419 140736000529520 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1017800 CPUtime=402.23 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 130299 0 0 0 40198 25 0 0 25 0 4 0 524967739 1042227200 197671 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1017800 CPUtime=402.19 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 338025 0 0 0 40157 62 0 0 25 0 4 0 524967739 1042227200 197671 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1606.7
Current children cumulated vsize (KiB) 1017800

[startup+462.301 s]
/proc/loadavg: 8.08 8.14 8.09 9/188 11659
/proc/meminfo: memFree=25717856/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1043840 CPUtime=1846.37 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) R 11632 11634 10653 0 -1 4202496 1979257 0 0 0 184307 330 0 0 25 0 4 0 524967738 1068892160 208644 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 260960 208644 395 112 0 255925 0
[pid=11634/tid=11635] ppid=11632 vsize=1043840 CPUtime=459.71 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 276950 0 0 0 45920 51 0 0 25 0 4 0 524967739 1068892160 208644 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1043840 CPUtime=462.22 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 227311 0 0 0 46180 42 0 0 25 0 4 0 524967739 1068892160 208644 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1043840 CPUtime=462.19 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 607769 0 0 0 46118 101 0 0 25 0 4 0 524967739 1068892160 208644 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1846.37
Current children cumulated vsize (KiB) 1043840

[startup+522.301 s]
/proc/loadavg: 7.61 8.01 8.05 7/188 11661
/proc/meminfo: memFree=25679136/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2056.98 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2097086 0 0 0 205345 353 0 0 25 0 4 0 524967738 1136001024 218451 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 218451 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 218451 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=522.22 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 237380 0 0 0 52178 44 0 0 25 0 4 0 524967739 1136001024 218451 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=522.15 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 52105 110 0 0 25 0 4 0 524967739 1136001024 218451 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2056.98
Current children cumulated vsize (KiB) 1109376

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

[startup+538.601 s]
/proc/loadavg: 7.25 7.91 8.02 7/188 11661
/proc/meminfo: memFree=25677876/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2089.58 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2098997 0 0 0 208604 354 0 0 25 0 4 0 524967738 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 218726 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=538.53 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 239291 0 0 0 53808 45 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 4475864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=538.45 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 53735 110 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2089.58
Current children cumulated vsize (KiB) 1109376

[startup+551.4 s]
/proc/loadavg: 6.97 7.82 7.99 7/188 11662
/proc/meminfo: memFree=25656420/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2115.18 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2100224 0 0 0 211164 354 0 0 25 0 4 0 524967738 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 218726 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=551.33 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 240518 0 0 0 55088 45 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=551.25 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 55015 110 0 0 25 0 4 0 524967739 1136001024 218726 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2115.18
Current children cumulated vsize (KiB) 1109376

[startup+557.801 s]
/proc/loadavg: 6.89 7.79 7.98 7/188 11662
/proc/meminfo: memFree=25656424/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2127.98 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2100589 0 0 0 212444 354 0 0 25 0 4 0 524967738 1136001024 219091 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 219091 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 219091 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=557.73 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 240883 0 0 0 55728 45 0 0 25 0 4 0 524967739 1136001024 219091 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=557.65 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 55655 110 0 0 25 0 4 0 524967739 1136001024 219091 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2127.98
Current children cumulated vsize (KiB) 1109376

[startup+559.401 s]
/proc/loadavg: 6.89 7.79 7.98 7/188 11662
/proc/meminfo: memFree=25655556/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2131.18 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2102287 0 0 0 212764 354 0 0 25 0 4 0 524967738 1136001024 219117 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 219117 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 219117 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=559.32 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 242581 0 0 0 55887 45 0 0 25 0 4 0 524967739 1136001024 219117 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=559.25 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 55815 110 0 0 25 0 4 0 524967739 1136001024 219117 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2131.18
Current children cumulated vsize (KiB) 1109376

[startup+560.201 s]
/proc/loadavg: 6.89 7.79 7.98 7/188 11662
/proc/meminfo: memFree=25655432/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2132.79 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2103365 0 0 0 212924 355 0 0 25 0 4 0 524967738 1136001024 219131 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 219131 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 219131 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=560.12 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 243659 0 0 0 55967 45 0 0 25 0 4 0 524967739 1136001024 219131 33554432000 4194304 4650419 140736000529520 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=560.05 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 55895 110 0 0 25 0 4 0 524967739 1136001024 219131 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217348 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2132.79
Current children cumulated vsize (KiB) 1109376

[startup+561.007 s]
/proc/loadavg: 6.82 7.76 7.97 7/188 11662
/proc/meminfo: memFree=25656300/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2134.4 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2139765 0 0 0 213082 358 0 0 25 0 4 0 524967738 1136001024 218767 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 218767 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 218767 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=560.93 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 280059 0 0 0 56044 49 0 0 25 0 4 0 524967739 1136001024 218767 33554432000 4194304 4650419 140736000529520 18446744073709551615 4533846 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=560.86 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 55976 110 0 0 25 0 4 0 524967739 1136001024 218767 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695217195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2134.4
Current children cumulated vsize (KiB) 1109376

[startup+561.401 s]
/proc/loadavg: 6.82 7.76 7.97 7/188 11662
/proc/meminfo: memFree=25656300/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=1109376 CPUtime=2135.18 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) S 11632 11634 10653 0 -1 4202496 2139884 0 0 0 213160 358 0 0 25 0 4 0 524967738 1136001024 218886 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 277344 218886 395 112 0 272309 0
[pid=11634/tid=11635] ppid=11632 vsize=1109376 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) S 11632 11634 10653 0 -1 4202560 277117 0 0 0 51542 51 0 0 25 0 4 0 524967739 1136001024 218886 33554432000 4194304 4650419 140736000529520 18446744073709551615 47801695241780 0 0 4096 2 18446604471145539648 0 0 -1 1 0 0 0
[pid=11634/tid=11636] ppid=11632 vsize=1109376 CPUtime=561.33 cores=1,3,5,7
/proc/11634/task/11636/stat : 11636 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 280178 0 0 0 56084 49 0 0 25 0 4 0 524967739 1136001024 218886 33554432000 4194304 4650419 140736000529520 18446744073709551615 4369143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11634/tid=11637] ppid=11632 vsize=1109376 CPUtime=561.25 cores=1,3,5,7
/proc/11634/task/11637/stat : 11637 (strangenight1-m) R 11632 11634 10653 0 -1 4202560 651453 0 0 0 56015 110 0 0 25 0 4 0 524967739 1136001024 218886 33554432000 4194304 4650419 140736000529520 18446744073709551615 4220608 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2135.18
Current children cumulated vsize (KiB) 1109376

[startup+561.501 s]
/proc/loadavg: 6.82 7.76 7.97 7/188 11662
/proc/meminfo: memFree=25656300/32951124 swapFree=67111352/67111528
[pid=11634] ppid=11632 vsize=0 CPUtime=2135.38 cores=1,3,5,7
/proc/11634/stat : 11634 (strangenight1-m) Z 11632 11634 10653 0 -1 4203548 2139892 0 0 0 213180 358 0 0 18 0 2 0 524967738 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11634/statm: 0 0 0 0 0 0 0
[pid=11634/tid=11635] ppid=11632 vsize=0 CPUtime=515.93 cores=1,3,5,7
/proc/11634/task/11635/stat : 11635 (strangenight1-m) R 11632 11634 10653 0 -1 4203588 277117 0 0 0 51542 51 0 0 18 0 2 0 524967739 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2135.38
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 561.542
CPU time (s): 2135.43
CPU user time (s): 2131.81
CPU system time (s): 3.62345
CPU usage (%): 380.28
Max. virtual memory (cumulated for all children) (KiB): 1181236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2131.81
system time used= 3.62345
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2139892
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= 11066
involuntary context switches= 14672

runsolver used 0.685895 second user time and 2.40163 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 05:21:39
IDJOB=3291176
IDBENCH=83475
IDSOLVER=1588
FILE ID=node135/3291176-1304133698
RUNJOBID= node135-1304132493-11464
PBS_JOBID= 13170784
Free space on /tmp= 72028 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3291176-1304133698/watcher-3291176-1304133698 -o /tmp/evaluation-result-3291176-1304133698/solver-3291176-1304133698 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3291176-1304133698.cnf

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1087781555

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29596744 kB
Buffers:        936912 kB
Cached:        1829712 kB
SwapCached:        172 kB
Active:         185900 kB
Inactive:      2650580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29596744 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           81552 kB
Writeback:           0 kB
AnonPages:       69596 kB
Mapped:          14600 kB
Slab:           455936 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195768 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= 71956 MiB
End job on node135 at 2011-04-30 05:31:00