Trace number 3400843

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 51049.2 1873.14

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3777.08
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3400843-1306903076.cnf'
1.06/0.05	c -- header says num vars:          13574
1.06/0.05	c -- header says num clauses:     1301188
69.40/3.51	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
69.40/3.51	c -- vars added      13574
69.40/3.51	c Parsing time:  1.44 s
69.40/3.51	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data
93.09/4.54	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 0.64
308.75/11.44	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T:  6.70
343.17/12.57	c Replacing       88 vars Replaced   886898 lits Time:     0.96 s 
477.13/22.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
477.13/22.54	c bin-w-bin subsume rem          764 bins  time:  0.01 s
554.39/25.26	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  2.65 s
554.39/25.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.04 s
556.85/25.35	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.04 s
16679.56/531.85	c lits-rem:         0  cl-subs:    25458  v-elim:   1006  v-fix:    0  time: 504.02 s
16679.56/531.88	c Finding binary XORs  T:     0.04 s  found:       1
16682.77/531.99	c Replacing        1 vars Replaced        9 lits Time:     0.10 s 
17663.67/562.62	c Finding non-binary XORs:    30.54 s (found:       0, avg size: nan)
17663.67/562.62	c calculated reachability. Time: 0.01
17666.86/562.73	c Calc default polars -  time:   0.11 s pos:     376 undec:    2150 neg:   11048
17666.86/562.73	c =========================================================================================
17666.86/562.73	c types(t): F = full restart, N = normal restart
17666.86/562.73	c types(t): S = simplification begin/end, E = solution found
17666.86/562.73	c restart types(rt): st = static, dy = dynamic
17666.86/562.73	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
17666.86/562.73	c  B st     0         0     11424   1231617     29678         0  10448561         0   no data   no data
17807.44/567.13	c  N dy    20      4524     11421   1231617     29811      4333  10448561    178037     10.00     10.62
17877.73/569.39	c Finding binary XORs  T:     0.03 s  found:      45
17967.17/572.17	c  N dy    44      8537     11363   1231361     40354      8215  10409961    390085      9.80     10.38
18095.04/576.18	c  N dy    71     12589     11361   1231361     41214     12225  10409959    603135     10.31     14.72
18158.97/578.15	c Finding binary XORs  T:     0.03 s  found:       1
18213.30/579.84	c  N dy    97     16873     11361   1231359     41206     16470  10409937    801938     10.57     11.17
18318.78/583.15	c  N dy   124     20895     11360   1231359     41716     10668  10409937    274335     10.73     11.30
18465.70/587.78	c  F st   148     25000     11359   1231359     42173     14755  10409937    518831     10.76      9.93
18527.03/589.69	c Replacing       46 vars Replaced   425026 lits Time:     1.82 s 
18539.18/590.08	c  N st   148     25000     11306   1231310     41972     14736  10409477    517875     10.76      9.93
18542.38/590.12	c Finding binary XORs  T:     0.03 s  found:       1
18673.39/594.26	c  N dy   154     30000     11306   1231310     41990     19692  10409477    822880     10.76   no data
18673.39/594.26	c  S st   154     30000     11306   1231310     41990     19692  10409477    822880     10.76   no data
18753.31/596.72	c  S st   154     30501     11304   1231310     42666     20175  10409477    835889     10.76   no data
18756.51/596.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
19286.98/613.43	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    8 Bins: 296526 BRemL: 214511 BRemN:      2 P: 200.0M T: 16.56
19293.38/613.66	c Replacing        9 vars Replaced     1288 lits Time:     0.23 s 
19322.15/614.59	c blocked clauses removed:        0 vars:      0 tried:       11291 T: 0.01 s
19325.35/614.60	c bin-w-bin subsume rem          266 bins  time:  0.01 s
19517.13/620.63	c subs with bin:    10952  lits-rem:     92755  v-fix:    0  time:  6.03 s
19517.13/620.68	c Subs w/ non-existent bins:      1 l-rem:      6 v-fix:     0 done:    104 time:  0.05 s
19520.32/620.78	c Removed useless bin:     154  fixed:     0  props:   1.42M  time:  0.03 s
31090.11/982.71	c lits-rem:         0  cl-subs:   111123  v-elim:    210  v-fix:    0  time: 361.79 s
31099.70/983.08	c subs with bin:       88  lits-rem:      2729  v-fix:    0  time:  0.30 s
43254.65/1363.38	c lits-rem:         2  cl-subs:      411  v-elim:      0  v-fix:    0  time: 374.20 s
43280.22/1364.11	c asymm  cl-useful: 0/4758/1109616 lits-rem:0 time: 0.70
43280.22/1364.19	c calculated reachability. Time: 0.02
43280.22/1364.19	c  N dy   154     30501     11081   1109616    117457     11272   9371195    451343     10.76   no data
43283.42/1364.24	c Finding binary XORs  T:     0.05 s  found:       0
43383.18/1367.38	c  N dy   167     35138     11080   1109616    117460     15869   9371195    782105     10.36     10.96
43471.98/1370.17	c Finding binary XORs  T:     0.05 s  found:      14
43532.71/1372.09	c  N dy   193     39215     11061   1109541    632203     19518   9351156   2001268     10.44     11.01
43650.62/1375.77	c  N dy   225     43583     11061   1109541    635604     12967   9351156   1530870     10.59     11.16
43696.02/1377.19	c  S st   230     45751     11061   1109541    635605     15126   9351156   1683212     10.49      9.08
43766.27/1379.37	c  S st   230     46251     11061   1109541    635605     15625   9351156   1705377     10.49   no data
43772.02/1379.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
44434.04/1400.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   2496 BRemL: 139758 BRemN:     10 P: 200.0M T: 20.13
44462.05/1401.15	c Replacing       17 vars Replaced    41993 lits Time:     0.89 s 
44484.41/1401.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44487.57/1401.95	c bin-w-bin subsume rem         4367 bins  time:  0.07 s
44497.17/1402.28	c subs with bin:      622  lits-rem:      4392  v-fix:    0  time:  0.33 s
44500.37/1402.37	c Subs w/ non-existent bins:      0 l-rem:      4 v-fix:     0 done:   1219 time:  0.08 s
44504.18/1402.43	c Removed useless bin:       6  fixed:     0  props:   1.05M  time:  0.04 s
49525.27/1652.43	c lits-rem:         0  cl-subs:    26848  v-elim:     62  v-fix:    0  time: 249.40 s
49536.27/1653.56	c subs with bin:       95  lits-rem:      1549  v-fix:    0  time:  1.07 s
51043.63/1870.54	c lits-rem:         6  cl-subs:      295  v-elim:      0  v-fix:    0  time: 216.48 s
51046.02/1871.40	c vivif2 --  cl tried   801761 cl shrink        9 lits rem          9 time: 0.86
51046.32/1871.44	c vivif2 --  cl tried    13525 cl shrink     1641 lits rem       5058 time: 0.04
51047.52/1871.88	c asymm  cl-useful: 0/6026/1082114 lits-rem:0 time: 0.44
51047.82/1871.97	c calculated reachability. Time: 0.02
51047.82/1871.97	c  N dy   230     46251     10982   1082114    482944     13520   9117289   1258865     10.49   no data
51047.82/1871.97	c Following stats are for *FIRST FINISHED THREAD ONLY*
51047.82/1871.97	c num threads              : 32         
51047.82/1871.97	c restarts                 : 2394       
51047.82/1871.97	c dynamic restarts         : 2370       
51047.82/1871.97	c static restarts          : 24         
51047.82/1871.97	c full restarts            : 3          
51047.82/1871.97	c total simplify time      : 3.00       
51047.82/1871.97	c learnts DL2              : 0          
51047.82/1871.97	c learnts size 2           : 860105     
51047.82/1871.97	c learnts size 1           : 1155        (8.51      % of vars)
51047.82/1871.97	c filedLit time            : 20.14       (1.09      % time)
51047.82/1871.97	c v-elim SatELite          : 1215        (8.95      % vars)
51047.82/1871.97	c SatELite time            : 972.05      (52.43     % time)
51047.82/1871.97	c v-elim xor               : 0           (0.00      % vars)
51047.82/1871.97	c xor elim time            : 0.09        (0.00      % time)
51047.82/1871.97	c num binary xor trees     : 143        
51047.82/1871.97	c binxor trees' crown      : 158         (1.10      leafs/tree)
51047.82/1871.97	c bin xor find time        : 1.22       
51047.82/1871.97	c OTF clause improved      : 2316        (0.00      clauses/conflict)
51047.82/1871.97	c OTF impr. size diff      : 3166        (1.37       lits/clause)
51047.82/1871.97	c OTF cl watch-shrink      : 346464      (0.74      clauses/conflict)
51047.82/1871.97	c OTF cl watch-sh-lit      : 2848712     (8.22       lits/clause)
51047.82/1871.97	c tried to recurMin cls    : 208090      (44.36      % of conflicts)
51047.82/1871.97	c updated cache            : 16418       (0.08       lits/tried recurMin)
51047.82/1871.97	c unit cls recevied        : 59          (5.11      % of units)
51047.82/1871.97	c unit cls sent            : 4           (0.35      % of units)
51047.82/1871.97	c bin cls recevied         : 516339     
51047.82/1871.97	c bin cls sent             : 16636      
51047.82/1871.97	c clauses over max glue    : 0           (0.00      % of all clauses)
51047.82/1871.97	c conflicts                : 469129      (253.04    / sec)
51047.82/1871.97	c decisions                : 1112055     (1.72      % random)
51047.82/1871.97	c bogo-props               : 14471171310 (7805440.78 / sec)
51047.82/1871.97	c conflict literals        : 24536871    (31.32     % deleted)
51047.82/1871.97	c Memory used              : 19798.20    MB
51047.82/1871.97	c single-thread CPU time   : 1853.99     s
51047.82/1871.97	c all-threads sum CPU time : 50916.77    s
51047.82/1871.97	s SATISFIABLE
51047.82/1871.97	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 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500 -10501 10502 10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543 -10544 -10545 -10546 -10547 10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607 10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 -10629 10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 -10804 -10805 10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 -10826 -10827 10828 -10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980 10981 10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023 -11024 -11025 -11026 -11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047 11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 -11159 -11160 -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 -11267 -11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380 -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 -11444 -11445 -11446 11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 11599 -11600 -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 11617 -11618 -11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640 11641 -11642 -11643 -11644 -11645 -11646 -11647 -11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661 11662 -11663 -11664 -11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 -11683 -11684 -11685 11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 -11705 -11706 -11707 -11708 -11709 -11710 -11711 11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 -11729 -11730 -11731 -11732 -11733 -11734 11735 -11736 -11737 -11738 -11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 -11752 11753 -11754 -11755 -11756 -11757 -11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 -11771 11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 11793 -11794 -11795 -11796 -11797 -11798 -11799 -11800 -11801 -11802 -11803 -11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 -11815 -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823 11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837 11838 -11839 -11840 -11841 -11842 -11843 -11844 -11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 -11860 -11861 11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881 -11882 -11883 -11884 11885 -11886 -11887 -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 11903 -11904 -11905 -11906 -11907 -11908 -11909 -11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925 -11926 11927 -11928 -11929 -11930 -11931 -11932 -11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 11947 -11948 -11949 -11950 -11951 -11952 -11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970 -11971 -11972 -11973 -11974 11975 -11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 -11993 -11994 -11995 11996 -11997 -11998 -11999 -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 12018 -12019 -12020 -12021 -12022 -12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 12042 -12043 -12044 -12045 -12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 12058 -12059 -12060 -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080 -12081 -12082 -12083 -12084 12085 -12086 -12087 -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 -12104 12105 -12106 -12107 -12108 -12109 -12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123 -12124 -12125 -12126 -12127 -12128 12129 -12130 -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 -12146 12147 -12148 -12149 -12150 -12151 -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167 -12168 12169 -12170 -12171 -12172 -12173 -12174 -12175 -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 -12191 -12192 -12193 12194 -12195 -12196 -12197 -12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211 -12212 -12213 12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 -12234 -12235 -12236 -12237 -12238 -12239 -12240 12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 12255 -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 -12277 -12278 -12279 -12280 -12281 -12282 12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 -12300 12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 -12321 -12322 -12323 -12324 -12325 -12326 -12327 12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343 -12344 -12345 12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365 -12366 -12367 12368 -12369 -12370 -12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 -12387 12388 -12389 -12390 -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 -12410 12411 -12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 12431 -12432 -12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453 -12454 -12455 -12456 -12457 -12458 12459 -12460 -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 12478 -12479 -12480 -12481 -12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 -12499 -12500 -12501 -12502 -12503 -12504 -12505 12506 -12507 -12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 -12521 12522 -12523 -12524 -12525 -12526 -12527 -12528 -12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 -12542 -12543 -12544 -12545 -12546 12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567 12568 -12569 -12570 -12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 12591 -12592 -12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 -12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 12630 -12631 -12632 -12633 -12634 -12635 -12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655 -12656 -12657 -12658 12659 -12660 -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673 -12674 -12675 -12676 -12677 -12678 -12679 12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 -12697 -12698 -12699 -12700 -12701 -12702 12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720 12721 -12722 -12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 12748 -12749 -12750 -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 -12769 -12770 -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 -12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 12792 -12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805 12806 -12807 -12808 -12809 -12810 -12811 -12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 -12827 -12828 -12829 12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850 -12851 -12852 12853 -12854 -12855 -12856 -12857 -12858 -12859 -12860 -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 12871 -12872 -12873 -12874 -12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 12895 -12896 -12897 -12898 -12899 -12900 -12901 -12902 -12903 -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 12915 -12916 -12917 -12918 -12919 -12920 -12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940 -12941 -12942 12943 -12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960 -12961 -12962 -12963 -12964 12965 -12966 -12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983 -12984 -12985 -12986 12987 -12988 -12989 -12990 -12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 13010 -13011 -13012 -13013 -13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025 13026 -13027 -13028 -13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 -13050 -13051 -13052 -13053 13054 -13055 -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 -13072 -13073 13074 -13075 -13076 -13077 -13078 -13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 -13099 13100 -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 -13115 13116 -13117 -13118 -13119 -13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135 -13136 13137 -13138 -13139 -13140 -13141 -13142 -13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160 -13161 -13162 -13163 -13164 -13165 13166 -13167 -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180 -13181 -13182 -13183 -13184 -13185 -13186 -13187 13188 -13189 -13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201 -13202 -13203 -13204 -13205 -13206 -13207 -13208 -13209 13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 -13223 13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 -13250 -13251 -13252 -13253 13254 -13255 -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 13276 -13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 -13292 -13293 -13294 -13295 -13296 -13297 13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 -13312 -13313 13314 -13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335 13336 -13337 -13338 -13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 -13356 -13357 13358 -13359 -13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 -13379 13380 -13381 -13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 13399 -13400 -13401 -13402 -13403 -13404 -13405 -13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421 -13422 -13423 -13424 -13425 -13426 -13427 -13428 13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 -13444 -13445 13446 -13447 -13448 -13449 -13450 -13451 -13452 -13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470 -13471 -13472 -13473 13474 -13475 -13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490 13491 -13492 -13493 -13494 -13495 -13496 -13497 -13498 -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 -13510 -13511 -13512 -13513 -13514 13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 13541 13542 13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 -13560 -13561 -13562 13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400843-1306903076/watcher-3400843-1306903076 -o /tmp/evaluation-result-3400843-1306903076/solver-3400843-1306903076 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400843-1306903076.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 27.53 29.99 30.66 1/413 27938
/proc/meminfo: memFree=263402312/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=797968 CPUtime=0.94 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) D 27936 27938 27912 0 -1 4202496 7757 0 0 0 34 60 0 0 22 0 32 0 16273828 817119232 7613 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/27938/statm: 199492 7614 330 95 0 194474 0
[pid=27938/tid=27939] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27939/stat : 27939 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 264 0 0 0 1 1 0 0 24 0 32 0 16273829 817119232 7677 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27938/tid=27940] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27940/stat : 27940 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 207 0 0 0 1 1 0 0 24 0 32 0 16273829 817119232 7677 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27938/tid=27941] ppid=27936 vsize=797968 CPUtime=0.03 cores=0-31
/proc/27938/task/27941/stat : 27941 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 235 0 0 0 1 2 0 0 18 0 32 0 16273829 817119232 7677 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27938/tid=27942] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27942/stat : 27942 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 228 0 0 0 1 1 0 0 19 0 32 0 16273829 817119232 7698 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27938/tid=27943] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27943/stat : 27943 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 218 0 0 0 1 1 0 0 19 0 32 0 16273829 817119232 7737 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27938/tid=27944] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27944/stat : 27944 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 226 0 0 0 1 1 0 0 19 0 32 0 16273829 817119232 7742 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27938/tid=27945] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27945/stat : 27945 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 242 0 0 0 1 1 0 0 19 0 32 0 16273829 817119232 7744 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27938/tid=27946] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27946/stat : 27946 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 271 0 0 0 1 1 0 0 18 0 32 0 16273829 817119232 7768 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27938/tid=27947] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27947/stat : 27947 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 215 0 0 0 1 1 0 0 18 0 32 0 16273829 817119232 7802 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27938/tid=27948] ppid=27936 vsize=797968 CPUtime=0.03 cores=0-31
/proc/27938/task/27948/stat : 27948 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 249 0 0 0 1 2 0 0 20 0 32 0 16273829 817119232 7803 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27938/tid=27949] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27949/stat : 27949 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 210 0 0 0 0 1 0 0 20 0 32 0 16273829 817119232 7810 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27938/tid=27950] ppid=27936 vsize=797968 CPUtime=0.03 cores=0-31
/proc/27938/task/27950/stat : 27950 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 286 0 0 0 1 2 0 0 18 0 32 0 16273829 817119232 7831 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27938/tid=27951] ppid=27936 vsize=797968 CPUtime=0.03 cores=0-31
/proc/27938/task/27951/stat : 27951 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 226 0 0 0 1 2 0 0 20 0 32 0 16273829 817119232 7844 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27938/tid=27952] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27952/stat : 27952 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 243 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7845 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27938/tid=27953] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27953/stat : 27953 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 231 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7860 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27938/tid=27954] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27954/stat : 27954 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 232 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 7887 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27938/tid=27955] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27955/stat : 27955 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 269 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7887 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27938/tid=27956] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27956/stat : 27956 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 245 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7887 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27938/tid=27957] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27957/stat : 27957 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 214 0 0 0 0 1 0 0 21 0 32 0 16273829 817119232 7889 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27938/tid=27958] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27958/stat : 27958 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 263 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7914 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27938/tid=27959] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27959/stat : 27959 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 244 0 0 0 1 1 0 0 18 0 32 0 16273829 817119232 7964 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27938/tid=27960] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27960/stat : 27960 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 245 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 7964 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27938/tid=27961] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27961/stat : 27961 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 261 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7965 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27938/tid=27962] ppid=27936 vsize=797968 CPUtime=0 cores=0-31
/proc/27938/task/27962/stat : 27962 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 23 0 0 0 0 0 0 0 18 0 32 0 16273829 817119232 7977 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27938/tid=27963] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27963/stat : 27963 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 273 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 7986 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27938/tid=27964] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27964/stat : 27964 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 241 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 7994 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27938/tid=27965] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27965/stat : 27965 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 247 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 8002 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27938/tid=27966] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27966/stat : 27966 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 276 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 8029 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27938/tid=27967] ppid=27936 vsize=797968 CPUtime=0.01 cores=0-31
/proc/27938/task/27967/stat : 27967 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 265 0 0 0 0 1 0 0 18 0 32 0 16273829 817119232 8032 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27938/tid=27968] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27968/stat : 27968 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 236 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 8032 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27938/tid=27969] ppid=27936 vsize=797968 CPUtime=0.02 cores=0-31
/proc/27938/task/27969/stat : 27969 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 264 0 0 0 0 2 0 0 18 0 32 0 16273829 817119232 8036 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.055292 s]
/proc/loadavg: 27.53 29.99 30.66 1/413 27938
/proc/meminfo: memFree=263402312/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=1125780 CPUtime=1.06 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) D 27936 27938 27912 0 -1 4202496 8958 0 0 0 34 72 0 0 18 0 32 0 16273828 1152798720 8814 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/27938/statm: 281445 8818 330 95 0 276427 0
[pid=27938/tid=27939] ppid=27936 vsize=1125928 CPUtime=0.03 cores=0-31
/proc/27938/task/27939/stat : 27939 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 286 0 0 0 1 2 0 0 24 0 32 0 16273829 1152950272 8820 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27938/tid=27940] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27940/stat : 27940 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 254 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8831 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27938/tid=27941] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27941/stat : 27941 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 267 0 0 0 1 2 0 0 17 0 32 0 16273829 1085841408 8847 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604499818765792 0 0 -1 2 0 0 0
[pid=27938/tid=27942] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27942/stat : 27942 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 271 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8847 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604469205319136 0 0 -1 16 0 0 0
[pid=27938/tid=27943] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27943/stat : 27943 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 264 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8847 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27938/tid=27944] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27944/stat : 27944 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 267 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8856 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650601881 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27938/tid=27945] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27945/stat : 27945 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 270 0 0 0 1 1 0 0 17 0 32 0 16273829 1085841408 8864 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604470804127200 0 0 -1 5 0 0 0
[pid=27938/tid=27946] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27946/stat : 27946 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 301 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8877 268435456000 4194304 4580107 140734396817472 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27938/tid=27947] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27947/stat : 27947 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 258 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8877 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27938/tid=27948] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27948/stat : 27948 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 285 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8882 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27938/tid=27949] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27949/stat : 27949 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 253 0 0 0 0 2 0 0 20 0 32 0 16273829 1085841408 8890 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27938/tid=27950] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27950/stat : 27950 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 315 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8899 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27938/tid=27951] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27951/stat : 27951 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 267 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8899 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27938/tid=27952] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27952/stat : 27952 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 286 0 0 0 0 2 0 0 18 0 32 0 16273829 1085841408 8909 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27938/tid=27953] ppid=27936 vsize=1060392 CPUtime=0.01 cores=0-31
/proc/27938/task/27953/stat : 27953 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 266 0 0 0 0 1 0 0 17 0 32 0 16273829 1085841408 8910 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744071566930064 0 0 -1 13 0 0 0
[pid=27938/tid=27954] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27954/stat : 27954 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 267 0 0 0 0 2 0 0 18 0 32 0 16273829 1085841408 8928 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27938/tid=27955] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27955/stat : 27955 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 303 0 0 0 0 2 0 0 17 0 32 0 16273829 1085841408 8943 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604474174127584 0 0 -1 11 0 0 0
[pid=27938/tid=27956] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27956/stat : 27956 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 286 0 0 0 0 2 0 0 18 0 32 0 16273829 1085841408 8944 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27938/tid=27957] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27957/stat : 27957 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 253 0 0 0 0 2 0 0 21 0 32 0 16273829 1085841408 8950 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27938/tid=27958] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27958/stat : 27958 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 299 0 0 0 1 2 0 0 17 0 32 0 16273829 1085841408 8954 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27938/tid=27959] ppid=27936 vsize=1060392 CPUtime=0.03 cores=0-31
/proc/27938/task/27959/stat : 27959 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 288 0 0 0 1 2 0 0 18 0 32 0 16273829 1085841408 8965 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27938/tid=27960] ppid=27936 vsize=1060392 CPUtime=0.02 cores=0-31
/proc/27938/task/27960/stat : 27960 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 275 0 0 0 0 2 0 0 18 0 32 0 16273829 1085841408 8976 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 22 0 0 0
[pid=27938/tid=27961] ppid=27936 vsize=1125928 CPUtime=0.02 cores=0-31
/proc/27938/task/27961/stat : 27961 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 267 0 0 0 1 1 0 0 17 0 32 0 16273829 1152950272 8977 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604443339259360 0 0 -1 19 0 0 0
[pid=27938/tid=27962] ppid=27936 vsize=1125928 CPUtime=0 cores=0-31
/proc/27938/task/27962/stat : 27962 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 63 0 0 0 0 0 0 0 18 0 32 0 16273829 1152950272 8980 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27938/tid=27963] ppid=27936 vsize=1125928 CPUtime=0.02 cores=0-31
/proc/27938/task/27963/stat : 27963 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 280 0 0 0 0 2 0 0 17 0 32 0 16273829 1152950272 8989 268435456000 4194304 4580107 140734396817472 18446744073709551615 4308242 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27938/tid=27964] ppid=27936 vsize=1125928 CPUtime=0.02 cores=0-31
/proc/27938/task/27964/stat : 27964 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 274 0 0 0 0 2 0 0 17 0 32 0 16273829 1152950272 8996 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744071566929944 0 0 -1 25 0 0 0
[pid=27938/tid=27965] ppid=27936 vsize=1125928 CPUtime=0.02 cores=0-31
/proc/27938/task/27965/stat : 27965 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 268 0 0 0 0 2 0 0 17 0 32 0 16273829 1152950272 8998 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744071566930424 0 0 -1 26 0 0 0
[pid=27938/tid=27966] ppid=27936 vsize=1125928 CPUtime=0.02 cores=0-31
/proc/27938/task/27966/stat : 27966 (strangenight2-m) D 27936 27938 27912 0 -1 4202560 312 0 0 0 0 2 0 0 17 0 32 0 16273829 1152950272 9005 268435456000 4194304 4580107 140734396817472 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27938/tid=27967] ppid=27936 vsize=1125928 CPUtime=0.01 cores=0-31
/proc/27938/task/27967/stat : 27967 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 267 0 0 0 0 1 0 0 17 0 32 0 16273829 1152950272 9012 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604470804127200 0 0 -1 29 0 0 0
[pid=27938/tid=27968] ppid=27936 vsize=1125932 CPUtime=0.02 cores=0-31
/proc/27938/task/27968/stat : 27968 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 281 0 0 0 0 2 0 0 18 0 32 0 16273829 1152954368 9023 268435456000 4194304 4580107 140734396817472 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=27938/tid=27969] ppid=27936 vsize=1125932 CPUtime=0.02 cores=0-31
/proc/27938/task/27969/stat : 27969 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 267 0 0 0 0 2 0 0 17 0 32 0 16273829 1152954368 9028 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604499952631264 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 1125780

[startup+0.10332 s]
/proc/loadavg: 27.53 29.99 30.66 1/413 27938
/proc/meminfo: memFree=263402312/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=1394144 CPUtime=1.64 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) R 27936 27938 27912 0 -1 4202496 14193 0 0 0 55 109 0 0 17 0 32 0 16273828 1427603456 14049 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/27938/statm: 348536 14051 334 95 0 343518 0
[pid=27938/tid=27939] ppid=27936 vsize=1394144 CPUtime=0.05 cores=0-31
/proc/27938/task/27939/stat : 27939 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 402 0 0 0 2 3 0 0 17 0 32 0 16273829 1427603456 14053 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27938/tid=27940] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27940/stat : 27940 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 450 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14053 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27938/tid=27941] ppid=27936 vsize=1394144 CPUtime=0.06 cores=0-31
/proc/27938/task/27941/stat : 27941 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 429 0 0 0 2 4 0 0 17 0 32 0 16273829 1427603456 14054 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446604502865018336 0 0 -1 2 0 0 0
[pid=27938/tid=27942] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27942/stat : 27942 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 440 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14058 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27938/tid=27943] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27943/stat : 27943 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 413 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14059 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 18446744071566932024 0 0 -1 4 0 0 0
[pid=27938/tid=27944] ppid=27936 vsize=1394144 CPUtime=0.05 cores=0-31
/proc/27938/task/27944/stat : 27944 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 407 0 0 0 2 3 0 0 17 0 32 0 16273829 1427603456 14068 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27938/tid=27945] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27945/stat : 27945 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 417 0 0 0 2 2 0 0 17 0 32 0 16273829 1427603456 14069 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27938/tid=27946] ppid=27936 vsize=1394144 CPUtime=0.05 cores=0-31
/proc/27938/task/27946/stat : 27946 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 519 0 0 0 2 3 0 0 17 0 32 0 16273829 1427603456 14070 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27938/tid=27947] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27947/stat : 27947 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 416 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14072 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27938/tid=27948] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27948/stat : 27948 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 450 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14073 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27938/tid=27949] ppid=27936 vsize=1394144 CPUtime=0.03 cores=0-31
/proc/27938/task/27949/stat : 27949 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 415 0 0 0 1 2 0 0 17 0 32 0 16273829 1427603456 14077 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27938/tid=27950] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27950/stat : 27950 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 447 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14078 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27938/tid=27951] ppid=27936 vsize=1394144 CPUtime=0.05 cores=0-31
/proc/27938/task/27951/stat : 27951 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 385 0 0 0 2 3 0 0 17 0 32 0 16273829 1427603456 14082 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27938/tid=27952] ppid=27936 vsize=1394144 CPUtime=0.03 cores=0-31
/proc/27938/task/27952/stat : 27952 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 414 0 0 0 1 2 0 0 17 0 32 0 16273829 1427603456 14082 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27938/tid=27953] ppid=27936 vsize=1394144 CPUtime=0.03 cores=0-31
/proc/27938/task/27953/stat : 27953 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 394 0 0 0 1 2 0 0 17 0 32 0 16273829 1427603456 14084 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27938/tid=27954] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31
/proc/27938/task/27954/stat : 27954 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 426 0 0 0 1 3 0 0 17 0 32 0 16273829 1427603456 14085 268435456000 4194304 4580107 140734396817472 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27938/tid=27955] ppid=27936 vsize=1394144 CPUtime=0.04 cores=0-31

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

[pid=27938/tid=27966] ppid=27936 vsize=20273348 CPUtime=1510.09 cores=0-31
/proc/27938/task/27966/stat : 27966 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212462 0 0 0 150545 464 0 0 19 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604502865018336 0 0 -1 2 0 0 0
[pid=27938/tid=27967] ppid=27936 vsize=20273348 CPUtime=1502.97 cores=0-31
/proc/27938/task/27967/stat : 27967 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 163184 0 0 0 150017 280 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469781323232 0 0 -1 25 0 0 0
[pid=27938/tid=27968] ppid=27936 vsize=20273348 CPUtime=1494.02 cores=0-31
/proc/27938/task/27968/stat : 27968 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 170864 0 0 0 149080 322 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469205319136 0 0 -1 3 0 0 0
[pid=27938/tid=27969] ppid=27936 vsize=20273348 CPUtime=1855.09 cores=0-31
/proc/27938/task/27969/stat : 27969 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 271131 0 0 0 185262 247 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 51038.2
Current children cumulated vsize (KiB) 20273348

[startup+1870.3 s]
/proc/loadavg: 5.48 15.12 24.28 4/445 28029
/proc/meminfo: memFree=247652848/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=20273348 CPUtime=51043 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) R 27936 27938 27912 0 -1 4202496 6329211 0 0 0 5091177 13126 0 0 25 0 32 0 16273828 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 4442134 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/27938/statm: 5068337 3932065 400 95 0 5063319 0
[pid=27938/tid=27939] ppid=27936 vsize=20273348 CPUtime=1666.1 cores=0-31
/proc/27938/task/27939/stat : 27939 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 170194 0 0 0 166285 325 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604441035464160 0 0 -1 29 0 0 0
[pid=27938/tid=27940] ppid=27936 vsize=20273348 CPUtime=1690.99 cores=0-31
/proc/27938/task/27940/stat : 27940 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 191254 0 0 0 168634 465 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604474174127584 0 0 -1 30 0 0 0
[pid=27938/tid=27941] ppid=27936 vsize=20273348 CPUtime=1745.58 cores=0-31
/proc/27938/task/27941/stat : 27941 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 176093 0 0 0 174093 465 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604451846086112 0 0 -1 20 0 0 0
[pid=27938/tid=27942] ppid=27936 vsize=20273348 CPUtime=1841.15 cores=0-31
/proc/27938/task/27942/stat : 27942 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 177413 0 0 0 183630 485 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604468723072480 0 0 -1 27 0 0 0
[pid=27938/tid=27943] ppid=27936 vsize=20273348 CPUtime=1787.46 cores=0-31
/proc/27938/task/27943/stat : 27943 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 204577 0 0 0 178297 449 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604506270219744 0 0 -1 21 0 0 0
[pid=27938/tid=27944] ppid=27936 vsize=20273348 CPUtime=1795.79 cores=0-31
/proc/27938/task/27944/stat : 27944 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212167 0 0 0 179073 506 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604504915885536 0 0 -1 12 0 0 0
[pid=27938/tid=27945] ppid=27936 vsize=20273348 CPUtime=1833.92 cores=0-31
/proc/27938/task/27945/stat : 27945 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 191793 0 0 0 183021 371 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604503897849312 0 0 -1 30 0 0 0
[pid=27938/tid=27946] ppid=27936 vsize=20273348 CPUtime=1507.95 cores=0-31
/proc/27938/task/27946/stat : 27946 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 203532 0 0 0 150302 493 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604456054644192 0 0 -1 26 0 0 0
[pid=27938/tid=27947] ppid=27936 vsize=20273348 CPUtime=1504.92 cores=0-31
/proc/27938/task/27947/stat : 27947 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 175425 0 0 0 150204 288 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452774567392 0 0 -1 16 0 0 0
[pid=27938/tid=27948] ppid=27936 vsize=20273348 CPUtime=1505.73 cores=0-31
/proc/27938/task/27948/stat : 27948 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 159606 0 0 0 150359 214 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604501656821216 0 0 -1 1 0 0 0
[pid=27938/tid=27949] ppid=27936 vsize=20273348 CPUtime=1504.49 cores=0-31
/proc/27938/task/27949/stat : 27949 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 173987 0 0 0 150004 445 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604504024301024 0 0 -1 7 0 0 0
[pid=27938/tid=27950] ppid=27936 vsize=20273348 CPUtime=1504.52 cores=0-31
/proc/27938/task/27950/stat : 27950 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 168647 0 0 0 150176 276 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604474487422432 0 0 -1 0 0 0 0
[pid=27938/tid=27951] ppid=27936 vsize=20273348 CPUtime=1856.81 cores=0-31
/proc/27938/task/27951/stat : 27951 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 235691 0 0 0 185231 450 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071890987 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27938/tid=27952] ppid=27936 vsize=20273348 CPUtime=1507.23 cores=0-31
/proc/27938/task/27952/stat : 27952 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 195258 0 0 0 150213 510 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604451846774240 0 0 -1 14 0 0 0
[pid=27938/tid=27953] ppid=27936 vsize=20273348 CPUtime=1505.28 cores=0-31
/proc/27938/task/27953/stat : 27953 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 217629 0 0 0 150214 314 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452606893536 0 0 -1 17 0 0 0
[pid=27938/tid=27954] ppid=27936 vsize=20273348 CPUtime=1506.05 cores=0-31
/proc/27938/task/27954/stat : 27954 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 218208 0 0 0 150099 506 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452367416800 0 0 -1 28 0 0 0
[pid=27938/tid=27955] ppid=27936 vsize=20273348 CPUtime=1509.47 cores=0-31
/proc/27938/task/27955/stat : 27955 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212591 0 0 0 150443 504 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446744071566928944 0 0 -1 22 0 0 0
[pid=27938/tid=27956] ppid=27936 vsize=20273348 CPUtime=1508.39 cores=0-31
/proc/27938/task/27956/stat : 27956 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 207384 0 0 0 150378 461 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604443339259360 0 0 -1 10 0 0 0
[pid=27938/tid=27957] ppid=27936 vsize=20273348 CPUtime=1505.48 cores=0-31
/proc/27938/task/27957/stat : 27957 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 240381 0 0 0 150024 524 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604446224784864 0 0 -1 6 0 0 0
[pid=27938/tid=27958] ppid=27936 vsize=20273348 CPUtime=1505.76 cores=0-31
/proc/27938/task/27958/stat : 27958 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 230215 0 0 0 150061 515 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604488719957472 0 0 -1 11 0 0 0
[pid=27938/tid=27959] ppid=27936 vsize=20273348 CPUtime=1507.34 cores=0-31
/proc/27938/task/27959/stat : 27959 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 213980 0 0 0 150303 431 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604505768328672 0 0 -1 31 0 0 0
[pid=27938/tid=27960] ppid=27936 vsize=20273348 CPUtime=1506.1 cores=0-31
/proc/27938/task/27960/stat : 27960 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 180292 0 0 0 150211 399 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604482133843424 0 0 -1 8 0 0 0
[pid=27938/tid=27961] ppid=27936 vsize=20273348 CPUtime=1505.79 cores=0-31
/proc/27938/task/27961/stat : 27961 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 200934 0 0 0 150169 410 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604499818765792 0 0 -1 9 0 0 0
[pid=27938/tid=27962] ppid=27936 vsize=20273348 CPUtime=1507.51 cores=0-31
/proc/27938/task/27962/stat : 27962 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 168969 0 0 0 150502 249 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604505421151712 0 0 -1 24 0 0 0
[pid=27938/tid=27963] ppid=27936 vsize=20273348 CPUtime=1506.8 cores=0-31
/proc/27938/task/27963/stat : 27963 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 224402 0 0 0 150150 530 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604470804127200 0 0 -1 18 0 0 0
[pid=27938/tid=27964] ppid=27936 vsize=20273348 CPUtime=1505.26 cores=0-31
/proc/27938/task/27964/stat : 27964 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 189044 0 0 0 150128 398 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604492756557280 0 0 -1 4 0 0 0
[pid=27938/tid=27965] ppid=27936 vsize=20273348 CPUtime=1493.4 cores=0-31
/proc/27938/task/27965/stat : 27965 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 198789 0 0 0 148997 343 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604496097836512 0 0 -1 15 0 0 0
[pid=27938/tid=27966] ppid=27936 vsize=20273348 CPUtime=1510.09 cores=0-31
/proc/27938/task/27966/stat : 27966 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212462 0 0 0 150545 464 0 0 19 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604502865018336 0 0 -1 2 0 0 0
[pid=27938/tid=27967] ppid=27936 vsize=20273348 CPUtime=1502.97 cores=0-31
/proc/27938/task/27967/stat : 27967 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 163184 0 0 0 150017 280 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469781323232 0 0 -1 25 0 0 0
[pid=27938/tid=27968] ppid=27936 vsize=20273348 CPUtime=1494.02 cores=0-31
/proc/27938/task/27968/stat : 27968 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 170864 0 0 0 149080 322 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469205319136 0 0 -1 3 0 0 0
[pid=27938/tid=27969] ppid=27936 vsize=20273348 CPUtime=1856.69 cores=0-31
/proc/27938/task/27969/stat : 27969 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 271131 0 0 0 185422 247 0 0 25 0 32 0 16273829 20759908352 3932065 268435456000 4194304 4580107 140734396817472 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 51043
Current children cumulated vsize (KiB) 20273348

[startup+1871.9 s]
/proc/loadavg: 5.48 15.12 24.28 4/445 28029
/proc/meminfo: memFree=247652968/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=20273348 CPUtime=51047.8 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) R 27936 27938 27912 0 -1 4202496 6329325 0 0 0 5091656 13126 0 0 25 0 32 0 16273828 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 4479081 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/27938/statm: 5068337 3932179 400 95 0 5063319 0
[pid=27938/tid=27939] ppid=27936 vsize=20273348 CPUtime=1666.1 cores=0-31
/proc/27938/task/27939/stat : 27939 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 170194 0 0 0 166285 325 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604441035464160 0 0 -1 29 0 0 0
[pid=27938/tid=27940] ppid=27936 vsize=20273348 CPUtime=1690.99 cores=0-31
/proc/27938/task/27940/stat : 27940 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 191254 0 0 0 168634 465 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604474174127584 0 0 -1 30 0 0 0
[pid=27938/tid=27941] ppid=27936 vsize=20273348 CPUtime=1745.58 cores=0-31
/proc/27938/task/27941/stat : 27941 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 176093 0 0 0 174093 465 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604451846086112 0 0 -1 20 0 0 0
[pid=27938/tid=27942] ppid=27936 vsize=20273348 CPUtime=1841.15 cores=0-31
/proc/27938/task/27942/stat : 27942 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 177413 0 0 0 183630 485 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604468723072480 0 0 -1 27 0 0 0
[pid=27938/tid=27943] ppid=27936 vsize=20273348 CPUtime=1787.46 cores=0-31
/proc/27938/task/27943/stat : 27943 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 204577 0 0 0 178297 449 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604506270219744 0 0 -1 21 0 0 0
[pid=27938/tid=27944] ppid=27936 vsize=20273348 CPUtime=1795.79 cores=0-31
/proc/27938/task/27944/stat : 27944 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212167 0 0 0 179073 506 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604504915885536 0 0 -1 12 0 0 0
[pid=27938/tid=27945] ppid=27936 vsize=20273348 CPUtime=1833.92 cores=0-31
/proc/27938/task/27945/stat : 27945 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 191793 0 0 0 183021 371 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604503897849312 0 0 -1 30 0 0 0
[pid=27938/tid=27946] ppid=27936 vsize=20273348 CPUtime=1507.95 cores=0-31
/proc/27938/task/27946/stat : 27946 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 203532 0 0 0 150302 493 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604456054644192 0 0 -1 26 0 0 0
[pid=27938/tid=27947] ppid=27936 vsize=20273348 CPUtime=1504.92 cores=0-31
/proc/27938/task/27947/stat : 27947 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 175425 0 0 0 150204 288 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452774567392 0 0 -1 16 0 0 0
[pid=27938/tid=27948] ppid=27936 vsize=20273348 CPUtime=1505.73 cores=0-31
/proc/27938/task/27948/stat : 27948 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 159606 0 0 0 150359 214 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604501656821216 0 0 -1 1 0 0 0
[pid=27938/tid=27949] ppid=27936 vsize=20273348 CPUtime=1504.49 cores=0-31
/proc/27938/task/27949/stat : 27949 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 173987 0 0 0 150004 445 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604504024301024 0 0 -1 7 0 0 0
[pid=27938/tid=27950] ppid=27936 vsize=20273348 CPUtime=1504.52 cores=0-31
/proc/27938/task/27950/stat : 27950 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 168647 0 0 0 150176 276 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604474487422432 0 0 -1 0 0 0 0
[pid=27938/tid=27951] ppid=27936 vsize=20273348 CPUtime=1858.41 cores=0-31
/proc/27938/task/27951/stat : 27951 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 235691 0 0 0 185391 450 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071890987 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=27938/tid=27952] ppid=27936 vsize=20273348 CPUtime=1507.23 cores=0-31
/proc/27938/task/27952/stat : 27952 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 195258 0 0 0 150213 510 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604451846774240 0 0 -1 14 0 0 0
[pid=27938/tid=27953] ppid=27936 vsize=20273348 CPUtime=1505.28 cores=0-31
/proc/27938/task/27953/stat : 27953 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 217629 0 0 0 150214 314 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452606893536 0 0 -1 17 0 0 0
[pid=27938/tid=27954] ppid=27936 vsize=20273348 CPUtime=1506.05 cores=0-31
/proc/27938/task/27954/stat : 27954 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 218208 0 0 0 150099 506 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604452367416800 0 0 -1 28 0 0 0
[pid=27938/tid=27955] ppid=27936 vsize=20273348 CPUtime=1509.47 cores=0-31
/proc/27938/task/27955/stat : 27955 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212591 0 0 0 150443 504 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446744071566928944 0 0 -1 22 0 0 0
[pid=27938/tid=27956] ppid=27936 vsize=20273348 CPUtime=1508.39 cores=0-31
/proc/27938/task/27956/stat : 27956 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 207384 0 0 0 150378 461 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604443339259360 0 0 -1 10 0 0 0
[pid=27938/tid=27957] ppid=27936 vsize=20273348 CPUtime=1505.48 cores=0-31
/proc/27938/task/27957/stat : 27957 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 240381 0 0 0 150024 524 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604446224784864 0 0 -1 6 0 0 0
[pid=27938/tid=27958] ppid=27936 vsize=20273348 CPUtime=1505.76 cores=0-31
/proc/27938/task/27958/stat : 27958 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 230215 0 0 0 150061 515 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604488719957472 0 0 -1 11 0 0 0
[pid=27938/tid=27959] ppid=27936 vsize=20273348 CPUtime=1507.34 cores=0-31
/proc/27938/task/27959/stat : 27959 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 213980 0 0 0 150303 431 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604505768328672 0 0 -1 31 0 0 0
[pid=27938/tid=27960] ppid=27936 vsize=20273348 CPUtime=1506.1 cores=0-31
/proc/27938/task/27960/stat : 27960 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 180292 0 0 0 150211 399 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604482133843424 0 0 -1 8 0 0 0
[pid=27938/tid=27961] ppid=27936 vsize=20273348 CPUtime=1505.79 cores=0-31
/proc/27938/task/27961/stat : 27961 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 200934 0 0 0 150169 410 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604499818765792 0 0 -1 9 0 0 0
[pid=27938/tid=27962] ppid=27936 vsize=20273348 CPUtime=1507.51 cores=0-31
/proc/27938/task/27962/stat : 27962 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 168969 0 0 0 150502 249 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604505421151712 0 0 -1 24 0 0 0
[pid=27938/tid=27963] ppid=27936 vsize=20273348 CPUtime=1506.8 cores=0-31
/proc/27938/task/27963/stat : 27963 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 224402 0 0 0 150150 530 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604470804127200 0 0 -1 18 0 0 0
[pid=27938/tid=27964] ppid=27936 vsize=20273348 CPUtime=1505.26 cores=0-31
/proc/27938/task/27964/stat : 27964 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 189044 0 0 0 150128 398 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604492756557280 0 0 -1 4 0 0 0
[pid=27938/tid=27965] ppid=27936 vsize=20273348 CPUtime=1493.4 cores=0-31
/proc/27938/task/27965/stat : 27965 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 198789 0 0 0 148997 343 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604496097836512 0 0 -1 15 0 0 0
[pid=27938/tid=27966] ppid=27936 vsize=20273348 CPUtime=1510.09 cores=0-31
/proc/27938/task/27966/stat : 27966 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 212462 0 0 0 150545 464 0 0 19 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604502865018336 0 0 -1 2 0 0 0
[pid=27938/tid=27967] ppid=27936 vsize=20273348 CPUtime=1502.97 cores=0-31
/proc/27938/task/27967/stat : 27967 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 163184 0 0 0 150017 280 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469781323232 0 0 -1 25 0 0 0
[pid=27938/tid=27968] ppid=27936 vsize=20273348 CPUtime=1494.02 cores=0-31
/proc/27938/task/27968/stat : 27968 (strangenight2-m) S 27936 27938 27912 0 -1 4202560 170864 0 0 0 149080 322 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915572 0 0 4096 2 18446604469205319136 0 0 -1 3 0 0 0
[pid=27938/tid=27969] ppid=27936 vsize=20273348 CPUtime=1858.29 cores=0-31
/proc/27938/task/27969/stat : 27969 (strangenight2-m) R 27936 27938 27912 0 -1 4202560 271138 0 0 0 185582 247 0 0 25 0 32 0 16273829 20759908352 3932179 268435456000 4194304 4580107 140734396817472 18446744073709551615 47507071915539 0 0 4096 2 0 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 51047.8
Current children cumulated vsize (KiB) 20273348

[startup+1872.7 s]
/proc/loadavg: 5.48 15.12 24.28 2/414 28029
/proc/meminfo: memFree=249317916/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=0 CPUtime=51048.8 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) R 27936 27938 27912 0 -1 4203524 6329334 0 0 0 5091677 13202 0 0 25 0 1 0 16273828 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/27938/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 51048.8
Current children cumulated vsize (KiB) 0

[startup+1873.1 s]
/proc/loadavg: 5.48 15.12 24.28 2/414 28029
/proc/meminfo: memFree=249317916/264257624 swapFree=67044780/67111528
[pid=27938] ppid=27936 vsize=0 CPUtime=51049.2 cores=0-31
/proc/27938/stat : 27938 (strangenight2-m) R 27936 27938 27912 0 -1 4203524 6329334 0 0 0 5091677 13242 0 0 25 0 1 0 16273828 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/27938/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 51049.2
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1873.14
CPU time (s): 51049.2
CPU user time (s): 50916.8
CPU system time (s): 132.462
CPU usage (%): 2725.33
Max. virtual memory (cumulated for all children) (KiB): 22522268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50916.8
system time used= 132.462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6329334
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= 1327590
involuntary context switches= 133791

runsolver used 8.75567 second user time and 47.0658 second system time

The end

Launcher Data

Begin job on node200 at 2011-06-01 06:37:59
IDJOB=3400843
IDBENCH=83447
IDSOLVER=1886
FILE ID=node200/3400843-1306903076
RUNJOBID= node200-1306903076-27926
PBS_JOBID= 13471404
Free space on /tmp= 61516 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400843-1306903076/watcher-3400843-1306903076 -o /tmp/evaluation-result-3400843-1306903076/solver-3400843-1306903076 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400843-1306903076.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=853212357

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.95
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3996.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263402592 kB
Buffers:        173844 kB
Cached:         480936 kB
SwapCached:      29976 kB
Active:         215324 kB
Inactive:       471392 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263402592 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:           69716 kB
Writeback:           0 kB
AnonPages:       30008 kB
Mapped:           8484 kB
Slab:            79184 kB
PageTables:       6060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61512 MiB
End job on node200 at 2011-06-01 07:09:12