Trace number 3400852

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 7038.78 253.786

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3400852-1306915600/watcher-3400852-1306915600 -o /tmp/evaluation-result-3400852-1306915600/solver-3400852-1306915600 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400852-1306915600.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.23 30.99 31.67 1/413 28967
/proc/meminfo: memFree=263425280/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=338000 CPUtime=0.87 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) R 28965 28967 28825 0 -1 4202496 469 0 0 0 87 0 0 0 25 0 32 0 17526095 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/28967/statm: 84500 408 300 95 0 79482 0
[pid=28967/tid=28968] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28968/stat : 28968 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28969/stat : 28969 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680784 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28970/stat : 28970 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28971/stat : 28971 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28972/stat : 28972 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28973/stat : 28973 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=338000 CPUtime=0 cores=0-31
/proc/28967/task/28974/stat : 28974 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680797 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28967/tid=28975] ppid=28965 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28967/task/28975/stat : 28975 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28976/stat : 28976 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28967/tid=28977] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28977/stat : 28977 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28967/tid=28978] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28978/stat : 28978 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680791 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28967/tid=28979] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28979/stat : 28979 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680797 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28967/tid=28980] ppid=28965 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28967/task/28980/stat : 28980 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28967/tid=28981] ppid=28965 vsize=338000 CPUtime=0.01 cores=0-31
/proc/28967/task/28981/stat : 28981 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28967/tid=28982] ppid=28965 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28967/task/28982/stat : 28982 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28967/tid=28983] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28983/stat : 28983 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28967/tid=28984] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28984/stat : 28984 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=28967/tid=28985] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28985/stat : 28985 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28967/tid=28986] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28986/stat : 28986 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28967/tid=28987] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28987/stat : 28987 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680797 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=28967/tid=28988] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28988/stat : 28988 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680797 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=28967/tid=28989] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28989/stat : 28989 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=28967/tid=28990] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28990/stat : 28990 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=28967/tid=28991] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28991/stat : 28991 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28967/tid=28992] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28992/stat : 28992 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28967/tid=28993] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28993/stat : 28993 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=28967/tid=28994] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28994/stat : 28994 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680787 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=28967/tid=28995] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28995/stat : 28995 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680784 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28967/tid=28996] ppid=28965 vsize=338000 CPUtime=0.02 cores=0-31
/proc/28967/task/28996/stat : 28996 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28967/tid=28997] ppid=28965 vsize=338000 CPUtime=0 cores=0-31
/proc/28967/task/28997/stat : 28997 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211681202 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28967/tid=28998] ppid=28965 vsize=338000 CPUtime=0.03 cores=0-31
/proc/28967/task/28998/stat : 28998 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 17526096 346112000 408 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680793 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.117073 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 28967
/proc/meminfo: memFree=263425280/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=1415948 CPUtime=2.36 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) D 28965 28967 28825 0 -1 4202496 11752 0 0 0 142 94 0 0 17 0 32 0 17526095 1449930752 11588 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/28967/statm: 353987 11644 334 95 0 348969 0
[pid=28967/tid=28968] ppid=28965 vsize=1415948 CPUtime=0.06 cores=0-31
/proc/28967/task/28968/stat : 28968 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 278 0 0 0 4 2 0 0 17 0 32 0 17526096 1449930752 11644 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=1432356 CPUtime=0.06 cores=0-31
/proc/28967/task/28969/stat : 28969 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 279 0 0 0 4 2 0 0 17 0 32 0 17526096 1466732544 11670 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=1432752 CPUtime=0.07 cores=0-31
/proc/28967/task/28970/stat : 28970 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 356 0 0 0 5 2 0 0 17 0 32 0 17526096 1467138048 11700 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=1432752 CPUtime=0.07 cores=0-31
/proc/28967/task/28971/stat : 28971 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 343 0 0 0 4 3 0 0 17 0 32 0 17526096 1467138048 11734 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604472720023008 0 0 -1 5 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=1432752 CPUtime=0.06 cores=0-31
/proc/28967/task/28972/stat : 28972 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 287 0 0 0 4 2 0 0 25 0 32 0 17526096 1467138048 11781 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=1441088 CPUtime=0.06 cores=0-31
/proc/28967/task/28973/stat : 28973 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 300 0 0 0 4 2 0 0 17 0 32 0 17526096 1475674112 11828 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604531417751008 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=1449424 CPUtime=0.03 cores=0-31
/proc/28967/task/28974/stat : 28974 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 357 0 0 0 1 2 0 0 17 0 32 0 17526096 1484210176 11888 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604495159696864 0 0 -1 30 0 0 0
[pid=28967/tid=28975] ppid=28965 vsize=1449424 CPUtime=0.06 cores=0-31
/proc/28967/task/28975/stat : 28975 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 357 0 0 0 4 2 0 0 17 0 32 0 17526096 1484210176 11893 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=1449572 CPUtime=0.07 cores=0-31
/proc/28967/task/28976/stat : 28976 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 389 0 0 0 4 3 0 0 17 0 32 0 17526096 1484361728 11901 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28967/tid=28977] ppid=28965 vsize=1449572 CPUtime=0.07 cores=0-31
/proc/28967/task/28977/stat : 28977 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 338 0 0 0 4 3 0 0 17 0 32 0 17526096 1484361728 11919 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604484413971936 0 0 -1 9 0 0 0
[pid=28967/tid=28978] ppid=28965 vsize=1449572 CPUtime=0.07 cores=0-31
/proc/28967/task/28978/stat : 28978 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 402 0 0 0 4 3 0 0 17 0 32 0 17526096 1484361728 11924 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604493722402272 0 0 -1 10 0 0 0
[pid=28967/tid=28979] ppid=28965 vsize=1449572 CPUtime=0.06 cores=0-31
/proc/28967/task/28979/stat : 28979 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 339 0 0 0 4 2 0 0 17 0 32 0 17526096 1484361728 11948 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 7 0 0 0
[pid=28967/tid=28980] ppid=28965 vsize=1449572 CPUtime=0.07 cores=0-31
/proc/28967/task/28980/stat : 28980 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 396 0 0 0 4 3 0 0 17 0 32 0 17526096 1484361728 11958 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 8 0 0 0
[pid=28967/tid=28981] ppid=28965 vsize=1449572 CPUtime=0.05 cores=0-31
/proc/28967/task/28981/stat : 28981 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 348 0 0 0 3 2 0 0 17 0 32 0 17526096 1484361728 11977 268435456000 4194304 4580107 140736481209584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28967/tid=28982] ppid=28965 vsize=1449572 CPUtime=0.06 cores=0-31
/proc/28967/task/28982/stat : 28982 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 451 0 0 0 4 2 0 0 17 0 32 0 17526096 1484361728 12017 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604488850841056 0 0 -1 16 0 0 0
[pid=28967/tid=28983] ppid=28965 vsize=1449572 CPUtime=0.07 cores=0-31
/proc/28967/task/28983/stat : 28983 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 392 0 0 0 4 3 0 0 17 0 32 0 17526096 1484361728 12103 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28967/tid=28984] ppid=28965 vsize=1449704 CPUtime=0.07 cores=0-31
/proc/28967/task/28984/stat : 28984 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 379 0 0 0 4 3 0 0 17 0 32 0 17526096 1484496896 12106 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604492396183008 0 0 -1 13 0 0 0
[pid=28967/tid=28985] ppid=28965 vsize=1449704 CPUtime=0.07 cores=0-31
/proc/28967/task/28985/stat : 28985 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 411 0 0 0 4 3 0 0 17 0 32 0 17526096 1484496896 12111 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=28967/tid=28986] ppid=28965 vsize=1449704 CPUtime=0.06 cores=0-31
/proc/28967/task/28986/stat : 28986 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 406 0 0 0 4 2 0 0 17 0 32 0 17526096 1484496896 12149 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=28967/tid=28987] ppid=28965 vsize=1449704 CPUtime=0.06 cores=0-31
/proc/28967/task/28987/stat : 28987 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 386 0 0 0 4 2 0 0 17 0 32 0 17526096 1484496896 12176 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604451356245472 0 0 -1 17 0 0 0
[pid=28967/tid=28988] ppid=28965 vsize=1449704 CPUtime=0.06 cores=0-31
/proc/28967/task/28988/stat : 28988 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 383 0 0 0 4 2 0 0 17 0 32 0 17526096 1484496896 12189 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446744071566928424 0 0 -1 18 0 0 0
[pid=28967/tid=28989] ppid=28965 vsize=1449704 CPUtime=0.06 cores=0-31
/proc/28967/task/28989/stat : 28989 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 378 0 0 0 4 2 0 0 17 0 32 0 17526096 1484496896 12194 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604506392026592 0 0 -1 15 0 0 0
[pid=28967/tid=28990] ppid=28965 vsize=1449704 CPUtime=0.07 cores=0-31
/proc/28967/task/28990/stat : 28990 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 354 0 0 0 4 3 0 0 17 0 32 0 17526096 1484496896 12196 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446744071566932904 0 0 -1 21 0 0 0
[pid=28967/tid=28991] ppid=28965 vsize=1449836 CPUtime=0.06 cores=0-31
/proc/28967/task/28991/stat : 28991 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 311 0 0 0 4 2 0 0 17 0 32 0 17526096 1484632064 12245 268435456000 4194304 4580107 140736481209584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=28967/tid=28992] ppid=28965 vsize=1450100 CPUtime=0.06 cores=0-31
/proc/28967/task/28992/stat : 28992 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 419 0 0 0 4 2 0 0 17 0 32 0 17526096 1484902400 12330 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=28967/tid=28993] ppid=28965 vsize=1450100 CPUtime=0.07 cores=0-31
/proc/28967/task/28993/stat : 28993 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 367 0 0 0 4 3 0 0 17 0 32 0 17526096 1484902400 12361 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604487286767072 0 0 -1 25 0 0 0
[pid=28967/tid=28994] ppid=28965 vsize=1450232 CPUtime=0.06 cores=0-31
/proc/28967/task/28994/stat : 28994 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 274 0 0 0 4 2 0 0 17 0 32 0 17526096 1485037568 12414 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604478870994400 0 0 -1 26 0 0 0
[pid=28967/tid=28995] ppid=28965 vsize=1450420 CPUtime=0.07 cores=0-31
/proc/28967/task/28995/stat : 28995 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 403 0 0 0 4 3 0 0 17 0 32 0 17526096 1485230080 12440 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=28967/tid=28996] ppid=28965 vsize=1450420 CPUtime=0.06 cores=0-31
/proc/28967/task/28996/stat : 28996 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 371 0 0 0 4 2 0 0 17 0 32 0 17526096 1485230080 12451 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28967/tid=28997] ppid=28965 vsize=1450420 CPUtime=0.02 cores=0-31
/proc/28967/task/28997/stat : 28997 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 415 0 0 0 0 2 0 0 17 0 32 0 17526096 1485230080 12461 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604464527384032 0 0 -1 31 0 0 0
[pid=28967/tid=28998] ppid=28965 vsize=1450420 CPUtime=0.08 cores=0-31
/proc/28967/task/28998/stat : 28998 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 411 0 0 0 4 4 0 0 17 0 32 0 17526096 1485230080 12466 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604531417751008 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 1415948

[startup+0.210599 s]
/proc/loadavg: 27.23 30.99 31.67 1/413 28967
/proc/meminfo: memFree=263425280/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=1468236 CPUtime=4.46 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) D 28965 28967 28825 0 -1 4202496 30728 0 0 0 259 187 0 0 17 0 32 0 17526095 1503473664 30336 268435456000 4194304 4580107 140736481209584 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/28967/statm: 367059 30432 336 95 0 362041 0
[pid=28967/tid=28968] ppid=28965 vsize=1468236 CPUtime=0.14 cores=0-31
/proc/28967/task/28968/stat : 28968 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 758 0 0 0 8 6 0 0 17 0 32 0 17526096 1503473664 30517 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=1468236 CPUtime=0.13 cores=0-31
/proc/28967/task/28969/stat : 28969 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 1171 0 0 0 7 6 0 0 17 0 32 0 17526096 1503473664 30753 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=1468236 CPUtime=0.15 cores=0-31
/proc/28967/task/28970/stat : 28970 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 850 0 0 0 9 6 0 0 17 0 32 0 17526096 1503473664 30801 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=1468236 CPUtime=0.14 cores=0-31
/proc/28967/task/28971/stat : 28971 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 848 0 0 0 8 6 0 0 17 0 32 0 17526096 1503473664 30801 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=1468236 CPUtime=0.14 cores=0-31
/proc/28967/task/28972/stat : 28972 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 794 0 0 0 8 6 0 0 17 0 32 0 17526096 1503473664 30801 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=1468344 CPUtime=0.13 cores=0-31
/proc/28967/task/28973/stat : 28973 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 740 0 0 0 8 5 0 0 17 0 32 0 17526096 1503584256 30938 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=1468344 CPUtime=0.1 cores=0-31
/proc/28967/task/28974/stat : 28974 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 793 0 0 0 5 5 0 0 17 0 32 0 17526096 1503584256 30938 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=28967/tid=28975] ppid=28965 vsize=1468344 CPUtime=0.13 cores=0-31
/proc/28967/task/28975/stat : 28975 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 1218 0 0 0 8 5 0 0 17 0 32 0 17526096 1503584256 31052 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=1468344 CPUtime=0.14 cores=0-31
/proc/28967/task/28976/stat : 28976 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 1426 0 0 0 8 6 0 0 17 0 32 0 17526096 1503584256 31155 268435456000 4194304 4580107 140736481209584 18446744073709551615 258651060958 0 0 4096 2 18446604478870994400 0 0 -1 0 0 0 0
[pid=28967/tid=28977] ppid=28965 vsize=1468344 CPUtime=0.14 cores=0-31
/proc/28967/task/28977/stat : 28977 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 793 0 0 0 8 6 0 0 17 0 32 0 17526096 1503584256 31305 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=28967/tid=28978] ppid=28965 vsize=1468344 CPUtime=0.14 cores=0-31
/proc/28967/task/28978/stat : 28978 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 891 0 0 0 8 6 0 0 17 0 32 0 17526096 1503584256 31347 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=28967/tid=28979] ppid=28965 vsize=1468532 CPUtime=0.13 cores=0-31
/proc/28967/task/28979/stat : 28979 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 812 0 0 0 8 5 0 0 17 0 32 0 17526096 1503776768 31447 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=28967/tid=28980] ppid=28965 vsize=1468532 CPUtime=0.13 cores=0-31
/proc/28967/task/28980/stat : 28980 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 1195 0 0 0 7 6 0 0 17 0 32 0 17526096 1503776768 31447 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=28967/tid=28981] ppid=28965 vsize=1468532 CPUtime=0.12 cores=0-31
/proc/28967/task/28981/stat : 28981 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 861 0 0 0 7 5 0 0 17 0 32 0 17526096 1503776768 31447 268435456000 4194304 4580107 140736481209584 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28967/tid=28982] ppid=28965 vsize=1468640 CPUtime=0.14 cores=0-31
/proc/28967/task/28982/stat : 28982 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 1821 0 0 0 9 5 0 0 17 0 32 0 17526096 1503887360 31488 268435456000 4194304 4580107 140736481209584 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=28967/tid=28983] ppid=28965 vsize=1468800 CPUtime=0.13 cores=0-31
/proc/28967/task/28983/stat : 28983 (strangenight2-m) D 28965 28967 28825 0 -1 4202560 1169 0 0 0 8 5 0 0 17 0 32 0 17526096 1504051200 31501 268435456000 4194304 4580107 140736481209584 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=28967/tid=28984] ppid=28965 vsize=1468800 CPUtime=0.13 cores=0-31

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

Current children cumulated vsize (KiB) 8034804

[startup+251.202 s]
/proc/loadavg: 21.06 28.86 30.84 5/445 29025
/proc/meminfo: memFree=257577364/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=8034804 CPUtime=7030.87 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) R 28965 28967 28825 0 -1 4202496 2317083 0 0 0 698717 4370 0 0 25 0 32 0 17526095 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 4416018 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28967/statm: 2008701 1460245 378 95 0 2003683 0
[pid=28967/tid=28968] ppid=28965 vsize=8034804 CPUtime=246.89 cores=0-31
/proc/28967/task/28968/stat : 28968 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 60863 0 0 0 24552 137 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=8034804 CPUtime=236.46 cores=0-31
/proc/28967/task/28969/stat : 28969 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 70006 0 0 0 23528 118 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604471963434464 0 0 -1 20 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=8034804 CPUtime=206.68 cores=0-31
/proc/28967/task/28970/stat : 28970 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 61080 0 0 0 20530 138 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604492396183008 0 0 -1 28 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=8034804 CPUtime=205.53 cores=0-31
/proc/28967/task/28971/stat : 28971 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65100 0 0 0 20391 162 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604484413971936 0 0 -1 0 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=8034804 CPUtime=205.02 cores=0-31
/proc/28967/task/28972/stat : 28972 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 62367 0 0 0 20408 94 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604491757551072 0 0 -1 9 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=8034804 CPUtime=204.6 cores=0-31
/proc/28967/task/28973/stat : 28973 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65771 0 0 0 20333 127 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604492348480992 0 0 -1 4 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=8034804 CPUtime=206.22 cores=0-31
/proc/28967/task/28974/stat : 28974 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 67075 0 0 0 20454 168 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604453631409632 0 0 -1 1 0 0 0
[pid=28967/tid=28975] ppid=28965 vsize=8034804 CPUtime=207.25 cores=0-31
/proc/28967/task/28975/stat : 28975 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 74934 0 0 0 20602 123 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604450216484320 0 0 -1 15 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=8034804 CPUtime=205.35 cores=0-31
/proc/28967/task/28976/stat : 28976 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 76008 0 0 0 20371 164 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506324721120 0 0 -1 26 0 0 0
[pid=28967/tid=28977] ppid=28965 vsize=8034804 CPUtime=204.68 cores=0-31
/proc/28967/task/28977/stat : 28977 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 61343 0 0 0 20348 120 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604448425115104 0 0 -1 17 0 0 0
[pid=28967/tid=28978] ppid=28965 vsize=8034804 CPUtime=204.8 cores=0-31
/proc/28967/task/28978/stat : 28978 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 69013 0 0 0 20370 110 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446744071566928864 0 0 -1 16 0 0 0
[pid=28967/tid=28979] ppid=28965 vsize=8034804 CPUtime=208.07 cores=0-31
/proc/28967/task/28979/stat : 28979 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65937 0 0 0 20668 139 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604496633396704 0 0 -1 24 0 0 0
[pid=28967/tid=28980] ppid=28965 vsize=8034804 CPUtime=206.26 cores=0-31
/proc/28967/task/28980/stat : 28980 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 73785 0 0 0 20493 133 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604503837441504 0 0 -1 12 0 0 0
[pid=28967/tid=28981] ppid=28965 vsize=8034804 CPUtime=219.51 cores=0-31
/proc/28967/task/28981/stat : 28981 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 68067 0 0 0 21795 156 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604464527384032 0 0 -1 8 0 0 0
[pid=28967/tid=28982] ppid=28965 vsize=8034804 CPUtime=214.12 cores=0-31
/proc/28967/task/28982/stat : 28982 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 71542 0 0 0 21320 92 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604472720023008 0 0 -1 29 0 0 0
[pid=28967/tid=28983] ppid=28965 vsize=8034804 CPUtime=213.5 cores=0-31
/proc/28967/task/28983/stat : 28983 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 74229 0 0 0 21200 150 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506392026592 0 0 -1 18 0 0 0
[pid=28967/tid=28984] ppid=28965 vsize=8034804 CPUtime=204.76 cores=0-31
/proc/28967/task/28984/stat : 28984 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 71960 0 0 0 20338 138 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604495159696864 0 0 -1 6 0 0 0
[pid=28967/tid=28985] ppid=28965 vsize=8034804 CPUtime=213.42 cores=0-31
/proc/28967/task/28985/stat : 28985 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 67463 0 0 0 21218 124 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604454520684000 0 0 -1 13 0 0 0
[pid=28967/tid=28986] ppid=28965 vsize=8034804 CPUtime=219.65 cores=0-31
/proc/28967/task/28986/stat : 28986 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 72674 0 0 0 21794 171 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604453129182688 0 0 -1 15 0 0 0
[pid=28967/tid=28987] ppid=28965 vsize=8034804 CPUtime=214.18 cores=0-31
/proc/28967/task/28987/stat : 28987 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 64514 0 0 0 21296 122 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604443339259360 0 0 -1 25 0 0 0
[pid=28967/tid=28988] ppid=28965 vsize=8034804 CPUtime=206.6 cores=0-31
/proc/28967/task/28988/stat : 28988 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 75532 0 0 0 20497 163 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604478870994400 0 0 -1 30 0 0 0
[pid=28967/tid=28989] ppid=28965 vsize=8034804 CPUtime=221.41 cores=0-31
/proc/28967/task/28989/stat : 28989 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 78868 0 0 0 22016 125 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604449634803168 0 0 -1 23 0 0 0
[pid=28967/tid=28990] ppid=28965 vsize=8034804 CPUtime=224.33 cores=0-31
/proc/28967/task/28990/stat : 28990 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 83958 0 0 0 22256 177 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604488850841056 0 0 -1 25 0 0 0
[pid=28967/tid=28991] ppid=28965 vsize=8034804 CPUtime=219.3 cores=0-31
/proc/28967/task/28991/stat : 28991 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 78686 0 0 0 21800 130 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604469778234848 0 0 -1 10 0 0 0
[pid=28967/tid=28992] ppid=28965 vsize=8034804 CPUtime=233.8 cores=0-31
/proc/28967/task/28992/stat : 28992 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 81390 0 0 0 23202 178 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506454892000 0 0 -1 5 0 0 0
[pid=28967/tid=28993] ppid=28965 vsize=8034804 CPUtime=227.67 cores=0-31
/proc/28967/task/28993/stat : 28993 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 75022 0 0 0 22611 156 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506447519200 0 0 -1 14 0 0 0
[pid=28967/tid=28994] ppid=28965 vsize=8034804 CPUtime=227.32 cores=0-31
/proc/28967/task/28994/stat : 28994 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 84650 0 0 0 22572 160 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604487286767072 0 0 -1 22 0 0 0
[pid=28967/tid=28995] ppid=28965 vsize=8034804 CPUtime=240.66 cores=0-31
/proc/28967/task/28995/stat : 28995 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 72373 0 0 0 23951 115 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604459625070048 0 0 -1 28 0 0 0
[pid=28967/tid=28996] ppid=28965 vsize=8034804 CPUtime=248.33 cores=0-31
/proc/28967/task/28996/stat : 28996 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 84218 0 0 0 24713 120 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28967/tid=28997] ppid=28965 vsize=8034804 CPUtime=240.56 cores=0-31
/proc/28967/task/28997/stat : 28997 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 86357 0 0 0 23887 169 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604484624866784 0 0 -1 22 0 0 0
[pid=28967/tid=28998] ppid=28965 vsize=8034804 CPUtime=244.94 cores=0-31
/proc/28967/task/28998/stat : 28998 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 87944 0 0 0 24397 97 0 0 25 0 32 0 17526096 8227639296 1460245 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211656235 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 7030.87
Current children cumulated vsize (KiB) 8034804

[startup+252.802 s]
/proc/loadavg: 21.06 28.86 30.84 5/445 29025
/proc/meminfo: memFree=257577672/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=8034804 CPUtime=7037.16 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) S 28965 28967 28825 0 -1 4202496 2317298 0 0 0 699346 4370 0 0 25 0 32 0 17526095 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28967/statm: 2008701 1458852 378 95 0 2003683 0
[pid=28967/tid=28968] ppid=28965 vsize=8034804 CPUtime=248.49 cores=0-31
/proc/28967/task/28968/stat : 28968 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 60984 0 0 0 24712 137 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=28967/tid=28969] ppid=28965 vsize=8034804 CPUtime=236.46 cores=0-31
/proc/28967/task/28969/stat : 28969 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 70006 0 0 0 23528 118 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604471963434464 0 0 -1 20 0 0 0
[pid=28967/tid=28970] ppid=28965 vsize=8034804 CPUtime=206.68 cores=0-31
/proc/28967/task/28970/stat : 28970 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 61080 0 0 0 20530 138 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604492396183008 0 0 -1 28 0 0 0
[pid=28967/tid=28971] ppid=28965 vsize=8034804 CPUtime=205.53 cores=0-31
/proc/28967/task/28971/stat : 28971 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65100 0 0 0 20391 162 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604484413971936 0 0 -1 0 0 0 0
[pid=28967/tid=28972] ppid=28965 vsize=8034804 CPUtime=205.02 cores=0-31
/proc/28967/task/28972/stat : 28972 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 62367 0 0 0 20408 94 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604491757551072 0 0 -1 9 0 0 0
[pid=28967/tid=28973] ppid=28965 vsize=8034804 CPUtime=204.6 cores=0-31
/proc/28967/task/28973/stat : 28973 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65771 0 0 0 20333 127 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604492348480992 0 0 -1 4 0 0 0
[pid=28967/tid=28974] ppid=28965 vsize=8034804 CPUtime=206.22 cores=0-31
/proc/28967/task/28974/stat : 28974 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 67075 0 0 0 20454 168 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604453631409632 0 0 -1 1 0 0 0
[pid=28967/tid=28975] ppid=28965 vsize=8034804 CPUtime=207.25 cores=0-31
/proc/28967/task/28975/stat : 28975 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 74934 0 0 0 20602 123 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604450216484320 0 0 -1 15 0 0 0
[pid=28967/tid=28976] ppid=28965 vsize=8034804 CPUtime=205.35 cores=0-31
/proc/28967/task/28976/stat : 28976 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 76008 0 0 0 20371 164 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506324721120 0 0 -1 26 0 0 0
[pid=28967/tid=28977] ppid=28965 vsize=8034804 CPUtime=204.68 cores=0-31
/proc/28967/task/28977/stat : 28977 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 61343 0 0 0 20348 120 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604448425115104 0 0 -1 17 0 0 0
[pid=28967/tid=28978] ppid=28965 vsize=8034804 CPUtime=204.8 cores=0-31
/proc/28967/task/28978/stat : 28978 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 69013 0 0 0 20370 110 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446744071566928864 0 0 -1 16 0 0 0
[pid=28967/tid=28979] ppid=28965 vsize=8034804 CPUtime=208.07 cores=0-31
/proc/28967/task/28979/stat : 28979 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 65937 0 0 0 20668 139 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604496633396704 0 0 -1 24 0 0 0
[pid=28967/tid=28980] ppid=28965 vsize=8034804 CPUtime=206.26 cores=0-31
/proc/28967/task/28980/stat : 28980 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 73785 0 0 0 20493 133 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604503837441504 0 0 -1 12 0 0 0
[pid=28967/tid=28981] ppid=28965 vsize=8034804 CPUtime=219.51 cores=0-31
/proc/28967/task/28981/stat : 28981 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 68067 0 0 0 21795 156 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604464527384032 0 0 -1 8 0 0 0
[pid=28967/tid=28982] ppid=28965 vsize=8034804 CPUtime=214.12 cores=0-31
/proc/28967/task/28982/stat : 28982 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 71542 0 0 0 21320 92 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604472720023008 0 0 -1 29 0 0 0
[pid=28967/tid=28983] ppid=28965 vsize=8034804 CPUtime=213.5 cores=0-31
/proc/28967/task/28983/stat : 28983 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 74229 0 0 0 21200 150 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506392026592 0 0 -1 18 0 0 0
[pid=28967/tid=28984] ppid=28965 vsize=8034804 CPUtime=204.76 cores=0-31
/proc/28967/task/28984/stat : 28984 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 71960 0 0 0 20338 138 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604495159696864 0 0 -1 6 0 0 0
[pid=28967/tid=28985] ppid=28965 vsize=8034804 CPUtime=213.42 cores=0-31
/proc/28967/task/28985/stat : 28985 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 67463 0 0 0 21218 124 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604454520684000 0 0 -1 13 0 0 0
[pid=28967/tid=28986] ppid=28965 vsize=8034804 CPUtime=219.65 cores=0-31
/proc/28967/task/28986/stat : 28986 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 72674 0 0 0 21794 171 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604453129182688 0 0 -1 15 0 0 0
[pid=28967/tid=28987] ppid=28965 vsize=8034804 CPUtime=214.18 cores=0-31
/proc/28967/task/28987/stat : 28987 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 64514 0 0 0 21296 122 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604443339259360 0 0 -1 25 0 0 0
[pid=28967/tid=28988] ppid=28965 vsize=8034804 CPUtime=206.6 cores=0-31
/proc/28967/task/28988/stat : 28988 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 75532 0 0 0 20497 163 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604478870994400 0 0 -1 30 0 0 0
[pid=28967/tid=28989] ppid=28965 vsize=8034804 CPUtime=221.41 cores=0-31
/proc/28967/task/28989/stat : 28989 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 78868 0 0 0 22016 125 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604449634803168 0 0 -1 23 0 0 0
[pid=28967/tid=28990] ppid=28965 vsize=8034804 CPUtime=224.33 cores=0-31
/proc/28967/task/28990/stat : 28990 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 83958 0 0 0 22256 177 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604488850841056 0 0 -1 25 0 0 0
[pid=28967/tid=28991] ppid=28965 vsize=8034804 CPUtime=219.3 cores=0-31
/proc/28967/task/28991/stat : 28991 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 78686 0 0 0 21800 130 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604469778234848 0 0 -1 10 0 0 0
[pid=28967/tid=28992] ppid=28965 vsize=8034804 CPUtime=233.8 cores=0-31
/proc/28967/task/28992/stat : 28992 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 81390 0 0 0 23202 178 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506454892000 0 0 -1 5 0 0 0
[pid=28967/tid=28993] ppid=28965 vsize=8034804 CPUtime=227.67 cores=0-31
/proc/28967/task/28993/stat : 28993 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 75022 0 0 0 22611 156 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604506447519200 0 0 -1 14 0 0 0
[pid=28967/tid=28994] ppid=28965 vsize=8034804 CPUtime=227.32 cores=0-31
/proc/28967/task/28994/stat : 28994 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 84650 0 0 0 22572 160 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604487286767072 0 0 -1 22 0 0 0
[pid=28967/tid=28995] ppid=28965 vsize=8034804 CPUtime=240.66 cores=0-31
/proc/28967/task/28995/stat : 28995 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 72373 0 0 0 23951 115 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604459625070048 0 0 -1 28 0 0 0
[pid=28967/tid=28996] ppid=28965 vsize=8034804 CPUtime=249.93 cores=0-31
/proc/28967/task/28996/stat : 28996 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 84218 0 0 0 24873 120 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 4288888 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=28967/tid=28997] ppid=28965 vsize=8034804 CPUtime=240.56 cores=0-31
/proc/28967/task/28997/stat : 28997 (strangenight2-m) S 28965 28967 28825 0 -1 4202560 86357 0 0 0 23887 169 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 47252211680820 0 0 4096 2 18446604484624866784 0 0 -1 22 0 0 0
[pid=28967/tid=28998] ppid=28965 vsize=8034804 CPUtime=246.54 cores=0-31
/proc/28967/task/28998/stat : 28998 (strangenight2-m) R 28965 28967 28825 0 -1 4202560 87944 0 0 0 24557 97 0 0 25 0 32 0 17526096 8227639296 1458852 268435456000 4194304 4580107 140736481209584 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 7037.16
Current children cumulated vsize (KiB) 8034804

[startup+253.201 s]
/proc/loadavg: 21.06 28.86 30.84 4/445 29025
/proc/meminfo: memFree=257582772/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=0 CPUtime=7038.19 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) R 28965 28967 28825 0 -1 4203524 2317307 0 0 0 699437 4382 0 0 21 0 1 0 17526095 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28967/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7038.19
Current children cumulated vsize (KiB) 0

[startup+253.601 s]
/proc/loadavg: 21.06 28.86 30.84 4/445 29025
/proc/meminfo: memFree=257582772/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=0 CPUtime=7038.59 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) R 28965 28967 28825 0 -1 4203524 2317307 0 0 0 699437 4422 0 0 22 0 1 0 17526095 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28967/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7038.59
Current children cumulated vsize (KiB) 0

[startup+253.701 s]
/proc/loadavg: 21.06 28.86 30.84 4/445 29025
/proc/meminfo: memFree=257582772/264257624 swapFree=67044780/67111528
[pid=28967] ppid=28965 vsize=0 CPUtime=7038.69 cores=0-31
/proc/28967/stat : 28967 (strangenight2-m) R 28965 28967 28825 0 -1 4203524 2317307 0 0 0 699437 4432 0 0 23 0 1 0 17526095 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28967/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7038.69
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 253.786
CPU time (s): 7038.78
CPU user time (s): 6994.38
CPU system time (s): 44.4072
CPU usage (%): 2773.51
Max. virtual memory (cumulated for all children) (KiB): 8051580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6994.38
system time used= 44.4072
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2317307
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= 782723
involuntary context switches= 23942

runsolver used 1.37779 second user time and 6.12107 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 10:06:41
IDJOB=3400852
IDBENCH=83475
IDSOLVER=1886
FILE ID=node200/3400852-1306915600
RUNJOBID= node200-1306915599-28839
PBS_JOBID= 13471460
Free space on /tmp= 62032 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=372322659

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:      263425560 kB
Buffers:        181592 kB
Cached:         451912 kB
SwapCached:      29976 kB
Active:         177696 kB
Inactive:       488340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263425560 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:           25896 kB
Writeback:           0 kB
AnonPages:       29732 kB
Mapped:           8232 kB
Slab:            78740 kB
PageTables:       5212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173688 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= 62024 MiB
End job on node200 at 2011-06-01 10:10:55