Trace number 3290808

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 2352.89 597.998

General information on the benchmark

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

Solver Data 

0.00/0.00	c 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-3290808-1304133587.cnf'
0.00/0.00	c -- header says num vars:          10420
0.00/0.00	c -- header says num clauses:      484053
0.76/0.26	c -- clauses added:            0 learnts,       484053 normals,            0 xors
0.76/0.26	c -- vars added      10420
0.76/0.26	c Parsing time:  0.94 s
0.76/0.26	c  N st     0         0     10420    456210     26271         0   4129262         0   no data   no data  --
1.97/0.53	c asymm  cl-useful: 0/950/454844 lits-rem:0 time: 0.99
7.15/1.83	c Flit:    46 Blit:      0 bXBeca:    0 bXProp:   81 Bins:      0 BRemL:      0 BRemN:      0 P: 48.1M T:  4.82
7.95/2.04	c Replacing       81 vars Replaced   345278 lits Time:     0.82 s 
8.75/2.27	c bin-w-bin subsume rem          699 bins  time:  0.01 s
16.71/4.22	c subs with bin:    18037  lits-rem:       379  v-fix:    0  time:  7.78 s
16.71/4.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6095 time:  0.08 s
16.71/4.26	c Removed useless bin:      36  fixed:     0  props:   3.10M  time:  0.09 s
645.06/161.56	c lits-rem:         0  cl-subs:      902  v-elim:   1257  v-fix:    0  time: 627.73 s
645.06/161.57	c Finding binary XORs  T:     0.05 s  found:       0
658.66/164.93	c Finding non-binary XORs:    13.29 s (found:       0, avg size: nan)
658.66/164.93	c calculated reachability. Time: 0.01
658.66/164.95	c Calc default polars -  time:   0.07 s pos:     306 undec:    2224 neg:    7890
658.66/164.95	c =========================================================================================
658.66/164.95	c types(t): F = full restart, N = normal restart
658.66/164.95	c types(t): S = simplification begin/end, E = solution found
658.66/164.95	c restart types(rt): st = static, dy = dynamic
658.66/164.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
658.66/164.95	c  B st     0         0      8196    438190     21230         0   3905799         0   no data   no data  --
661.44/165.68	c  N dy    17      4046      8192    438190     21388      3826   3905799    133377     10.08     10.71  --
665.43/166.63	c  N dy    39      8149      8170    438190     22138      7778   3905797    286060     10.32     11.08  --
667.44/167.11	c Finding binary XORs  T:     0.04 s  found:       6
668.62/167.46	c  N dy    62     12156      8168    434434     22084     11636   3874933    434018     10.28     11.95  --
673.02/168.53	c  N dy    79     16220      8148    434434     22409     15554   3874933    582176     10.08     10.67  --
675.82/169.24	c  N dy   103     20889      8148    434434     22682     10475   3874932    233276     10.11     10.70  --
679.01/170.03	c  N dy   128     24955      8147    434434     22872     14425   3874932    382753     10.18     10.77  --
679.01/170.05	c  F st   129     25002      8147    434434     22872     14472   3874932    385905     10.19   no data  --
679.41/170.18	c Replacing        6 vars Replaced    10852 lits Time:     0.35 s 
681.81/170.70	c Finding binary XORs  T:     0.04 s  found:       1
683.01/171.05	c  N dy   135     30000      8140    429240     22805     19333   3834777    591914     10.19   no data  --
683.01/171.05	c  S st   135     30000      8140    429240     22805     19333   3834777    591914     10.19   no data  --
685.43/171.62	c  S st   135     30500      8140    429240     23024     19794   3834777    599564     10.19   no data  --
685.43/171.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
685.43/171.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
699.78/175.27	c Flit:    11 Blit:      0 bXBeca:    0 bXProp:    9 Bins:  26772 BRemL:   1113 BRemN:     22 P: 82.0M T: 14.49
700.18/175.39	c Replacing       10 vars Replaced    13080 lits Time:     0.47 s 
700.98/175.57	c bin-w-bin subsume rem           93 bins  time:  0.02 s
704.18/176.39	c subs with bin:      809  lits-rem:     43596  v-fix:    0  time:  3.28 s
704.58/176.41	c Subs w/ non-existent bins:      0 l-rem:    126 v-fix:     0 done:     47 time:  0.08 s
704.58/176.42	c Removed useless bin:       5  fixed:     0  props:   0.82M  time:  0.04 s
1155.96/289.49	c lits-rem:       329  cl-subs:    22602  v-elim:    105  v-fix:    0  time: 450.34 s
1157.57/289.84	c asymm  cl-useful: 0/500/411229 lits-rem:0 time: 1.41
1157.57/289.87	c calculated reachability. Time: 0.03
1157.57/289.87	c  N dy   135     30500      8007    411229     47145     14214   3672223    396220     10.19   no data  --
1157.57/289.88	c Finding binary XORs  T:     0.06 s  found:       0
1161.56/290.86	c  N dy   160     34598      8005    411229     47157     18279   3672223    563827     10.20     14.67  --
1163.97/291.45	c Finding binary XORs  T:     0.06 s  found:       1
1164.75/291.69	c  N dy   190     38639      7995    411219     50880     22246   3671960    759403     10.40     11.11  --
1168.78/292.63	c  N dy   215     42679      7993    411219     51215     26265   3671960    933917     10.44     13.56  --
1170.75/293.18	c  S st   231     45750      7993    411219     51215     29310   3671960   1080851     10.47   no data  --
1172.76/293.66	c  S st   231     46251      7993    411219     51216     29809   3671960   1097569     10.47   no data  --
1172.76/293.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1172.76/293.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1186.35/297.01	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    4 Bins:   1747 BRemL:   2639 BRemN:      4 P: 77.7M T: 13.24
1186.72/297.12	c Replacing        5 vars Replaced    11658 lits Time:     0.46 s 
1187.53/297.31	c bin-w-bin subsume rem         1596 bins  time:  0.02 s
1194.74/299.11	c subs with bin:     4675  lits-rem:     10364  v-fix:    0  time:  7.17 s
1194.74/299.14	c Subs w/ non-existent bins:      2 l-rem:    753 v-fix:     0 done:   2862 time:  0.13 s
1194.74/299.19	c Removed useless bin:       4  fixed:     0  props:   0.78M  time:  0.04 s
1735.59/434.59	c lits-rem:       108  cl-subs:     6125  v-elim:     27  v-fix:    0  time: 538.10 s
1736.78/434.83	c vivif2 --  cl tried   402125 cl shrink     1196 lits rem       1890 time: 0.96
1737.18/434.93	c vivif2 --  cl tried    27822 cl shrink     8760 lits rem      44640 time: 0.40
1738.37/435.25	c asymm  cl-useful: 0/437/402124 lits-rem:0 time: 1.26
1738.37/435.27	c calculated reachability. Time: 0.02
1738.37/435.27	c  N dy   231     46251      7959    402124     48201     27816   3597198    946167     10.47   no data  --
1742.76/436.37	c Finding binary XORs  T:     0.06 s  found:       7
1743.98/436.62	c  N dy   246     50283      7945    402112     52742     16780   3596923    404872     10.38     11.06  --
1747.16/437.47	c  N dy   269     54504      7944    402112     52745     20947   3596923    579930     10.42     11.02  --
1751.95/438.61	c  N dy   290     58908      7944    402112     52821     25323   3596922    800522     10.42     11.12  --
1754.74/439.39	c  N dy   320     63022      7944    402112     52823     29425   3596921   1010479     10.54     11.13  --
1759.14/440.42	c  N dy   332     67072      7944    402112     52824     33447   3596919   1168990     10.48     11.11  --
1761.96/441.16	c  S st   350     69376      7944    402112     52831     35737   3596917   1277993     10.52   no data  --
1763.94/441.62	c  S st   350     69877      7944    402112     52831     36237   3596917   1298269     10.52   no data  --
1763.94/441.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1763.94/441.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1775.14/444.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    864 BRemL:   1944 BRemN:      1 P: 76.0M T: 11.20
1775.51/444.56	c Replacing        7 vars Replaced    17212 lits Time:     0.43 s 
1776.31/444.74	c bin-w-bin subsume rem          154 bins  time:  0.03 s
1782.32/446.26	c subs with bin:     1875  lits-rem:      8094  v-fix:    0  time:  6.06 s
1782.32/446.28	c Subs w/ non-existent bins:      5 l-rem:   1047 v-fix:     0 done:    173 time:  0.09 s
1782.32/446.29	c Removed useless bin:       5  fixed:     0  props:   0.75M  time:  0.04 s
2351.72/597.40	c lits-rem:       131  cl-subs:    10994  v-elim:     57  v-fix:    0  time: 566.46 s
2352.12/597.64	c vivif2 --  cl tried   394743 cl shrink      708 lits rem        734 time: 0.48
2352.32/597.72	c vivif2 --  cl tried    30859 cl shrink     6896 lits rem      43039 time: 0.16
2352.72/597.93	c asymm  cl-useful: 0/401/394739 lits-rem:0 time: 0.42
2352.72/597.95	c calculated reachability. Time: 0.01
2352.72/597.95	c  N dy   350     69877      7880    394739     50626     30856   3542013    960085     10.52   no data  --
2352.72/597.95	c Following stats are for *FIRST FINISHED THREAD ONLY*
2352.72/597.95	c num threads              : 4          
2352.72/597.95	c restarts                 : 1630       
2352.72/597.95	c dynamic restarts         : 1612       
2352.72/597.95	c static restarts          : 18         
2352.72/597.95	c full restarts            : 3          
2352.72/597.95	c total simplify time      : 0.92       
2352.72/597.95	c learnts DL2              : 0          
2352.72/597.95	c learnts size 2           : 77226      
2352.72/597.95	c learnts size 1           : 1016        (9.75      % of vars)
2352.72/597.95	c filedLit time            : 39.05       (1.67      % time)
2352.72/597.95	c v-elim SatELite          : 1339        (12.85     % vars)
2352.72/597.95	c SatELite time            : 1862.67     (79.43     % time)
2352.72/597.95	c v-elim xor               : 0           (0.00      % vars)
2352.72/597.95	c xor elim time            : 0.21        (0.01      % time)
2352.72/597.95	c num binary xor trees     : 99         
2352.72/597.95	c binxor trees' crown      : 118         (1.19      leafs/tree)
2352.72/597.95	c bin xor find time        : 0.44       
2352.72/597.95	c OTF clause improved      : 2559        (0.01      clauses/conflict)
2352.72/597.95	c OTF impr. size diff      : 3454        (1.35       lits/clause)
2352.72/597.95	c OTF cl watch-shrink      : 282250      (0.72      clauses/conflict)
2352.72/597.95	c OTF cl watch-sh-lit      : 1746655     (6.19       lits/clause)
2352.72/597.95	c tried to recurMin cls    : 187296      (47.95      % of conflicts)
2352.72/597.95	c updated cache            : 11194       (0.06       lits/tried recurMin)
2352.72/597.95	c unit cls received        : 10          (0.98      % of units)
2352.72/597.95	c unit cls sent            : 944         (92.91     % of units)
2352.72/597.95	c bin cls received         : 7883       
2352.72/597.95	c bin cls sent             : 39108      
2352.72/597.95	c clauses over max glue    : 0           (0.00      % of all clauses)
2352.72/597.95	c conflicts                : 390568      (166.55    / sec)
2352.72/597.95	c decisions                : 881189      (1.89      % random)
2352.72/597.95	c bogo-props               : 6576952546  (2804618.57 / sec)
2352.72/597.95	c conflict literals        : 18652557    (33.62     % deleted)
2352.72/597.95	c Memory used              : 1038.76     MB
2352.72/597.95	c single-thread CPU time   : 2345.04     s
2352.72/597.95	c all-threads sum CPU time : 2345.04     s
2352.72/597.95	s SATISFIABLE
2352.72/597.95	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-3290808-1304133587/watcher-3290808-1304133587 -o /tmp/evaluation-result-3290808-1304133587/solver-3290808-1304133587 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290808-1304133587.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.12 8.09 8.01 5/180 6843
/proc/meminfo: memFree=23768440/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 524956510 52465664 352 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921137074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 12809 352 303 112 0 7774 0
[pid=6843/tid=6844] ppid=6841 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524956510 52465664 352 33554432000 4194304 4650419 140736068533376 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524956510 52465664 352 33554432000 4194304 4650419 140736068533376 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524956510 52465664 352 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921137068 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0925809 s]
/proc/loadavg: 8.12 8.09 8.01 5/180 6843
/proc/meminfo: memFree=23768440/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=300556 CPUtime=0.34 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) D 6841 6843 5765 0 -1 4202496 15333 0 0 0 32 2 0 0 18 0 4 0 524956510 307769344 14299 33554432000 4194304 4650419 140736068533376 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 75139 14299 345 112 0 70104 0
[pid=6843/tid=6844] ppid=6841 vsize=300556 CPUtime=0.08 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 3738 0 0 0 7 1 0 0 25 0 4 0 524956510 307769344 14299 33554432000 4194304 4650419 140736068533376 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=300556 CPUtime=0.08 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) D 6841 6843 5765 0 -1 4202560 3783 0 0 0 8 0 0 0 18 0 4 0 524956510 307769344 14299 33554432000 4194304 4650419 140736068533376 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=300556 CPUtime=0.08 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) D 6841 6843 5765 0 -1 4202560 3703 0 0 0 8 0 0 0 18 0 4 0 524956510 307769344 14299 33554432000 4194304 4650419 140736068533376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 300556

[startup+0.101983 s]
/proc/loadavg: 8.12 8.09 8.01 5/180 6843
/proc/meminfo: memFree=23768440/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=300824 CPUtime=0.37 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) D 6841 6843 5765 0 -1 4202496 16678 0 0 0 35 2 0 0 18 0 4 0 524956510 308043776 15644 33554432000 4194304 4650419 140736068533376 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 75206 15644 345 112 0 70171 0
[pid=6843/tid=6844] ppid=6841 vsize=300824 CPUtime=0.08 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 4070 0 0 0 7 1 0 0 25 0 4 0 524956510 308043776 15644 33554432000 4194304 4650419 140736068533376 18446744073709551615 212687718583 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=300824 CPUtime=0.08 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) D 6841 6843 5765 0 -1 4202560 4098 0 0 0 8 0 0 0 18 0 4 0 524956510 308043776 15644 33554432000 4194304 4650419 140736068533376 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=300824 CPUtime=0.09 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) D 6841 6843 5765 0 -1 4202560 4046 0 0 0 9 0 0 0 18 0 4 0 524956510 308043776 15644 33554432000 4194304 4650419 140736068533376 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 300824

[startup+0.301169 s]
/proc/loadavg: 8.12 8.09 8.01 5/180 6843
/proc/meminfo: memFree=23768440/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=455876 CPUtime=1.16 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 42489 0 0 0 109 7 0 0 18 0 4 0 524956510 466817024 41452 33554432000 4194304 4650419 140736068533376 18446744073709551615 4532792 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 113969 41452 368 112 0 108934 0
[pid=6843/tid=6844] ppid=6841 vsize=455876 CPUtime=0.28 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 10477 0 0 0 26 2 0 0 25 0 4 0 524956510 466817024 41452 33554432000 4194304 4650419 140736068533376 18446744073709551615 4532818 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=455876 CPUtime=0.28 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 10495 0 0 0 27 1 0 0 18 0 4 0 524956510 466817024 41452 33554432000 4194304 4650419 140736068533376 18446744073709551615 4532801 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=455876 CPUtime=0.28 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 10585 0 0 0 27 1 0 0 18 0 4 0 524956510 466817024 41452 33554432000 4194304 4650419 140736068533376 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 455876

[startup+0.701088 s]
/proc/loadavg: 8.12 8.09 8.01 5/180 6843
/proc/meminfo: memFree=23768440/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=446500 CPUtime=2.76 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 74362 0 0 0 262 14 0 0 18 0 4 0 524956510 457216000 48660 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 111625 48660 373 112 0 106590 0
[pid=6843/tid=6844] ppid=6841 vsize=446500 CPUtime=0.68 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 20746 0 0 0 64 4 0 0 25 0 4 0 524956510 457216000 48660 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=446500 CPUtime=0.68 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 20004 0 0 0 65 3 0 0 18 0 4 0 524956510 457216000 48660 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=446500 CPUtime=0.68 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 12425 0 0 0 66 2 0 0 18 0 4 0 524956510 457216000 48660 33554432000 4194304 4650419 140736068533376 18446744073709551615 4365255 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 446500

[startup+1.50094 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 6847
/proc/meminfo: memFree=23553888/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=457488 CPUtime=5.95 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 82467 0 0 0 579 16 0 0 18 0 4 0 524956510 468467712 56765 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6843/statm: 114372 56765 373 112 0 109337 0
[pid=6843/tid=6844] ppid=6841 vsize=457488 CPUtime=1.47 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 23147 0 0 0 142 5 0 0 25 0 4 0 524956510 468467712 56765 33554432000 4194304 4650419 140736068533376 18446744073709551615 4244645 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=457488 CPUtime=1.48 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 22427 0 0 0 144 4 0 0 19 0 4 0 524956510 468467712 56765 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=457488 CPUtime=1.48 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 13315 0 0 0 146 2 0 0 20 0 4 0 524956510 468467712 56765 33554432000 4194304 4650419 140736068533376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 457488

[startup+3.10065 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 6848
/proc/meminfo: memFree=23500316/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=824788 CPUtime=12.32 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 157832 0 0 0 1202 30 0 0 18 0 4 0 524956510 844582912 132130 33554432000 4194304 4650419 140736068533376 18446744073709551615 4433084 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 206197 132130 383 112 0 201162 0
[pid=6843/tid=6844] ppid=6841 vsize=824788 CPUtime=3.06 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 47996 0 0 0 296 10 0 0 19 0 4 0 524956510 844582912 132130 33554432000 4194304 4650419 140736068533376 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=824788 CPUtime=3.06 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 47155 0 0 0 298 8 0 0 19 0 4 0 524956510 844582912 132130 33554432000 4194304 4650419 140736068533376 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=824788 CPUtime=3.08 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 14267 0 0 0 306 2 0 0 25 0 4 0 524956510 844582912 132130 33554432000 4194304 4650419 140736068533376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 824788

[startup+6.30106 s]
/proc/loadavg: 8.11 8.09 8.01 9/184 6848
/proc/meminfo: memFree=23215372/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=829792 CPUtime=25.1 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 163110 0 0 0 2479 31 0 0 25 0 4 0 524956510 849707008 137296 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 207448 137296 394 112 0 202413 0
[pid=6843/tid=6844] ppid=6841 vsize=829792 CPUtime=6.25 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 49155 0 0 0 614 11 0 0 25 0 4 0 524956510 849707008 137296 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=829792 CPUtime=6.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 48266 0 0 0 618 9 0 0 25 0 4 0 524956510 849707008 137296 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=829792 CPUtime=6.28 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 16116 0 0 0 626 2 0 0 25 0 4 0 524956510 849707008 137296 33554432000 4194304 4650419 140736068533376 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 829792

[startup+12.7009 s]
/proc/loadavg: 8.24 8.12 8.02 9/184 6848
/proc/meminfo: memFree=23162772/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=862352 CPUtime=50.66 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 185773 0 0 0 5031 35 0 0 25 0 4 0 524956510 883048448 146210 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 215588 146210 392 112 0 210553 0
[pid=6843/tid=6844] ppid=6841 vsize=862352 CPUtime=12.61 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 57147 0 0 0 1249 12 0 0 25 0 4 0 524956510 883048448 146210 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=862352 CPUtime=12.67 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 50382 0 0 0 1258 9 0 0 25 0 4 0 524956510 883048448 146210 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=862352 CPUtime=12.68 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 19817 0 0 0 1264 4 0 0 25 0 4 0 524956510 883048448 146210 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 862352

[startup+25.5006 s]
/proc/loadavg: 8.21 8.11 8.02 9/184 6848
/proc/meminfo: memFree=23084516/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=993424 CPUtime=101.79 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 247905 0 0 0 10136 43 0 0 25 0 4 0 524956510 1017266176 174599 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 248356 174599 392 112 0 243321 0
[pid=6843/tid=6844] ppid=6841 vsize=993424 CPUtime=25.34 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 74661 0 0 0 2520 14 0 0 25 0 4 0 524956510 1017266176 174599 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=993424 CPUtime=25.47 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 50383 0 0 0 2538 9 0 0 25 0 4 0 524956510 1017266176 174599 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=993424 CPUtime=25.47 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 47813 0 0 0 2540 7 0 0 25 0 4 0 524956510 1017266176 174599 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 993424

[startup+51.1009 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 6849
/proc/meminfo: memFree=23090952/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1004336 CPUtime=204.06 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 314757 0 0 0 20356 50 0 0 25 0 4 0 524956510 1028440064 174298 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476449 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 251084 174298 392 112 0 246049 0
[pid=6843/tid=6844] ppid=6841 vsize=1004336 CPUtime=50.81 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 104595 0 0 0 5063 18 0 0 25 0 4 0 524956510 1028440064 174298 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1004336 CPUtime=51.07 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 50386 0 0 0 5098 9 0 0 25 0 4 0 524956510 1028440064 174298 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476509 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1004336 CPUtime=51.08 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 53957 0 0 0 5100 8 0 0 25 0 4 0 524956510 1028440064 174298 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 1004336

[startup+102.307 s]
/proc/loadavg: 8.15 8.11 8.02 9/184 6850
/proc/meminfo: memFree=23023464/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1004784 CPUtime=408.61 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 414504 0 0 0 40797 64 0 0 25 0 4 0 524956510 1028898816 173361 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 251196 173361 392 112 0 246161 0
[pid=6843/tid=6844] ppid=6841 vsize=1004784 CPUtime=101.74 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 147533 0 0 0 10150 24 0 0 25 0 4 0 524956510 1028898816 173361 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1004784 CPUtime=102.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 50414 0 0 0 10218 9 0 0 25 0 4 0 524956510 1028898816 173361 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476437 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1004784 CPUtime=102.28 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 68695 0 0 0 10218 10 0 0 25 0 4 0 524956510 1028898816 173361 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 1004784

[startup+162.301 s]

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

/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 218114 0 0 0 28196 31 0 0 25 0 4 0 524956510 1040273408 198826 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1127.61
Current children cumulated vsize (KiB) 1015892

[startup+342.301 s]
/proc/loadavg: 8.19 8.13 8.04 9/184 6857
/proc/meminfo: memFree=22833892/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1018588 CPUtime=1367.28 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 2765253 0 0 0 136348 380 0 0 25 0 4 0 524956510 1043034112 204760 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 254647 204760 395 112 0 249612 0
[pid=6843/tid=6844] ppid=6841 vsize=1018588 CPUtime=340.44 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 860310 0 0 0 33926 118 0 0 25 0 4 0 524956510 1043034112 204760 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1018588 CPUtime=342.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 66317 0 0 0 34214 13 0 0 25 0 4 0 524956510 1043034112 204760 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1018588 CPUtime=342.25 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1006859 0 0 0 34089 136 0 0 25 0 4 0 524956510 1043034112 204760 33554432000 4194304 4650419 140736068533376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1367.28
Current children cumulated vsize (KiB) 1018588

[startup+402.301 s]
/proc/loadavg: 8.13 8.12 8.04 9/184 6889
/proc/meminfo: memFree=23357360/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1028668 CPUtime=1606.95 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 3057297 0 0 0 160276 419 0 0 25 0 4 0 524956510 1053356032 208458 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 257167 208458 396 112 0 252132 0
[pid=6843/tid=6844] ppid=6841 vsize=1028668 CPUtime=400.12 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 899917 0 0 0 39889 123 0 0 25 0 4 0 524956510 1053356032 208458 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1028668 CPUtime=402.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 66319 0 0 0 40214 13 0 0 25 0 4 0 524956510 1053356032 208458 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1028668 CPUtime=402.25 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1050267 0 0 0 40081 144 0 0 25 0 4 0 524956510 1053356032 208458 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1606.95
Current children cumulated vsize (KiB) 1028668

[startup+462.301 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 6891
/proc/meminfo: memFree=23281696/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1059256 CPUtime=1846.63 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 4119496 0 0 0 184099 564 0 0 25 0 4 0 524956510 1084678144 210191 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 264814 210191 395 112 0 259779 0
[pid=6843/tid=6844] ppid=6841 vsize=1059256 CPUtime=459.79 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1513555 0 0 0 45777 202 0 0 25 0 4 0 524956510 1084678144 210191 33554432000 4194304 4650419 140736068533376 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1059256 CPUtime=462.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 81867 0 0 0 46209 18 0 0 25 0 4 0 524956510 1084678144 210191 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1059256 CPUtime=462.25 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1062617 0 0 0 46079 146 0 0 25 0 4 0 524956510 1084678144 210191 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1846.63
Current children cumulated vsize (KiB) 1059256

[startup+522.301 s]
/proc/loadavg: 8.03 8.09 8.03 9/184 6892
/proc/meminfo: memFree=23230828/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1064136 CPUtime=2086.3 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 4610302 0 0 0 208004 626 0 0 25 0 4 0 524956510 1089675264 212467 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 266034 212467 395 112 0 260999 0
[pid=6843/tid=6844] ppid=6841 vsize=1064136 CPUtime=519.47 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1531011 0 0 0 51742 205 0 0 25 0 4 0 524956510 1089675264 212467 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1064136 CPUtime=522.27 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 82650 0 0 0 52209 18 0 0 25 0 4 0 524956510 1089675264 212467 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1064136 CPUtime=522.24 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1520812 0 0 0 52021 203 0 0 25 0 4 0 524956510 1089675264 212467 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2086.3
Current children cumulated vsize (KiB) 1064136

[startup+582.301 s]
/proc/loadavg: 7.79 8.02 8.01 8/184 6894
/proc/meminfo: memFree=23235004/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2313.97 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5509067 0 0 0 230652 745 0 0 25 0 4 0 524956510 1089212416 209506 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 209506 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=579.21 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1668947 0 0 0 57697 224 0 0 25 0 4 0 524956510 1089212416 209506 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 209506 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=582.25 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 57967 258 0 0 25 0 4 0 524956510 1089212416 209506 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2313.97
Current children cumulated vsize (KiB) 1063684

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

[startup+588.701 s]
/proc/loadavg: 7.72 8.00 8.00 8/184 6894
/proc/meminfo: memFree=23245784/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2333.17 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5540934 0 0 0 232568 749 0 0 25 0 4 0 524956510 1089212416 209650 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 209650 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=585.6 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1687334 0 0 0 58334 226 0 0 25 0 4 0 524956510 1089212416 209650 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 209650 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=588.65 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 58607 258 0 0 25 0 4 0 524956510 1089212416 209650 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2333.17
Current children cumulated vsize (KiB) 1063684

[startup+591.9 s]
/proc/loadavg: 7.59 7.97 7.99 7/184 6894
/proc/meminfo: memFree=23243296/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2340.72 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5581499 0 0 0 233318 754 0 0 25 0 4 0 524956510 1089212416 209525 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 209525 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=586.76 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 1716444 0 0 0 58446 230 0 0 25 0 4 0 524956510 1089212416 209525 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 209525 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=591.85 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 58927 258 0 0 25 0 4 0 524956510 1089212416 209525 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2340.72
Current children cumulated vsize (KiB) 1063684

[startup+595.107 s]
/proc/loadavg: 7.59 7.97 7.99 7/184 6894
/proc/meminfo: memFree=23233500/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2347.14 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5593650 0 0 0 233958 756 0 0 25 0 4 0 524956510 1089212416 209701 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 209701 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=586.76 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 1716444 0 0 0 58446 230 0 0 25 0 4 0 524956510 1089212416 209701 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 209701 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=595.05 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 59247 258 0 0 25 0 4 0 524956510 1089212416 209701 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2347.14
Current children cumulated vsize (KiB) 1063684

[startup+596.701 s]
/proc/loadavg: 7.59 7.97 7.99 7/184 6894
/proc/meminfo: memFree=23240568/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2350.33 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5726245 0 0 0 234263 770 0 0 25 0 4 0 524956510 1089212416 209818 33554432000 4194304 4650419 140736068533376 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 209818 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=586.76 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 1716444 0 0 0 58446 230 0 0 25 0 4 0 524956510 1089212416 209818 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 209818 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=596.65 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 59407 258 0 0 25 0 4 0 524956510 1089212416 209818 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112256 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2350.33
Current children cumulated vsize (KiB) 1063684

[startup+597.5 s]
/proc/loadavg: 7.46 7.93 7.98 7/184 6894
/proc/meminfo: memFree=23234988/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2351.92 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5815902 0 0 0 234412 780 0 0 25 0 4 0 524956510 1089212416 208311 33554432000 4194304 4650419 140736068533376 18446744073709551615 4533947 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 208311 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=586.76 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 1716444 0 0 0 58446 230 0 0 25 0 4 0 524956510 1089212416 208311 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 208311 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=597.45 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 59487 258 0 0 25 0 4 0 524956510 1089212416 208311 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2351.92
Current children cumulated vsize (KiB) 1063684

[startup+597.9 s]
/proc/loadavg: 7.46 7.93 7.98 7/184 6894
/proc/meminfo: memFree=23234988/32951124 swapFree=67111524/67111528
[pid=6843] ppid=6841 vsize=1063684 CPUtime=2352.72 cores=0,2,4,6
/proc/6843/stat : 6843 (strangenight1-m) R 6841 6843 5765 0 -1 4202496 5816379 0 0 0 234492 780 0 0 25 0 4 0 524956510 1089212416 208788 33554432000 4194304 4650419 140736068533376 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6843/statm: 265921 208788 395 112 0 260886 0
[pid=6843/tid=6844] ppid=6841 vsize=1063684 CPUtime=586.76 cores=0,2,4,6
/proc/6843/task/6844/stat : 6844 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 1716444 0 0 0 58446 230 0 0 25 0 4 0 524956510 1089212416 208788 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6845] ppid=6841 vsize=1063684 CPUtime=570.2 cores=0,2,4,6
/proc/6843/task/6845/stat : 6845 (strangenight1-m) S 6841 6843 5765 0 -1 4202560 82729 0 0 0 57002 18 0 0 25 0 4 0 524956510 1089212416 208788 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921136692 0 0 4096 2 18446604453928036416 0 0 -1 2 0 0 0
[pid=6843/tid=6846] ppid=6841 vsize=1063684 CPUtime=597.85 cores=0,2,4,6
/proc/6843/task/6846/stat : 6846 (strangenight1-m) R 6841 6843 5765 0 -1 4202560 1934412 0 0 0 59527 258 0 0 25 0 4 0 524956510 1089212416 208788 33554432000 4194304 4650419 140736068533376 18446744073709551615 47620921112107 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2352.72
Current children cumulated vsize (KiB) 1063684

Child status: 10
Real time (s): 597.998
CPU time (s): 2352.89
CPU user time (s): 2345.05
CPU system time (s): 7.84381
CPU usage (%): 393.461
Max. virtual memory (cumulated for all children) (KiB): 1162344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2345.05
system time used= 7.84381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5816395
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= 5224
involuntary context switches= 12663

runsolver used 0.973851 second user time and 2.27265 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 05:19:48
IDJOB=3290808
IDBENCH=83450
IDSOLVER=1588
FILE ID=node139/3290808-1304133587
RUNJOBID= node139-1304132383-6715
PBS_JOBID= 13170782
Free space on /tmp= 72872 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=2125739318

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23768604 kB
Buffers:       2055444 kB
Cached:        5947732 kB
SwapCached:          4 kB
Active:        1580020 kB
Inactive:      7082464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23768604 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           27976 kB
Writeback:           0 kB
AnonPages:      659320 kB
Mapped:          15608 kB
Slab:           454828 kB
PageTables:       5516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1014420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72864 MiB
End job on node139 at 2011-04-30 05:29:46