Trace number 3394690

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 2305.13 308.887

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 benchmark13.7429
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.01	c Using 8 threads
0.05/0.04	c This is CryptoMiniSat 3.0.0
0.05/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.05/0.04	c Reading file 'HOME/instance-3394690-1307666162.cnf'
0.05/0.04	c -- header says num vars:          10420
0.05/0.04	c -- header says num clauses:      481346
1.93/0.33	c -- clauses added:            0 learnts,       481346 normals,            0 xors
1.93/0.33	c -- vars added      10420
1.93/0.33	c Parsing time:  0.21 s
1.93/0.33	c  N st     0         0     10420    453785     26451         0   3846062         0   no data   no data
4.30/0.61	c asymm  cl-useful: 10/1790/453199 lits-rem:10 time: 0.27
13.84/1.83	c Flit:    46 Blit:      0 bXBeca:    0 bXProp:   81 Bins:      0 BRemL:      0 BRemN:      0 P: 46.5M T:  1.20
15.43/2.02	c Replacing       81 vars Replaced   321635 lits Time:     0.18 s 
17.00/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.00/2.42	c bin-w-bin subsume rem          452 bins  time:  0.00 s
18.56/2.61	c subs with bin:     3015  lits-rem:        11  v-fix:    0  time:  0.19 s
18.56/2.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6196 time:  0.02 s
18.56/2.66	c Removed useless bin:       0  fixed:     0  props:   2.36M  time:  0.02 s
311.95/39.32	c lits-rem:         0  cl-subs:     6496  v-elim:    860  v-fix:    0  time: 36.64 s
311.95/39.33	c Finding binary XORs  T:     0.01 s  found:       1
311.95/39.34	c Replacing        1 vars Replaced        9 lits Time:     0.02 s 
331.96/41.89	c Finding non-binary XORs:     2.52 s (found:       0, avg size: nan)
331.96/41.89	c calculated reachability. Time: 0.00
332.71/41.91	c Calc default polars -  time:   0.02 s pos:     328 undec:    1567 neg:    8525
332.71/41.91	c =========================================================================================
332.71/41.91	c types(t): F = full restart, N = normal restart
332.71/41.91	c types(t): S = simplification begin/end, E = solution found
332.71/41.91	c restart types(rt): st = static, dy = dynamic
332.71/41.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
332.71/41.91	c  B st     0         0      8853    443882     22705         0   3633477         0   no data   no data
339.10/42.71	c  N dy    15      4036      8850    443882     22783      3905   3633475    186235     11.71     13.25
343.10/43.26	c Finding binary XORs  T:     0.01 s  found:       0
344.69/43.47	c  N dy    33      8086      8843    443874     24490      7793   3633297    359266     10.94     11.60
350.30/44.16	c  N dy    54     12154      8843    443874     24558     11771   3633297    537933     10.84     13.15
358.34/45.14	c  N dy    69     17125      8842    443874     25160     16651   3633296    831181     10.44     11.07
361.49/45.59	c Finding binary XORs  T:     0.01 s  found:       0
367.13/46.21	c  N dy    89     22119      8840    443871     25844     11798   3633265    303977     10.26     10.84
372.67/46.99	c  F st   105     25001      8840    443871     26353     14638   3633265    435449     10.25      9.66
376.67/47.44	c  N st   108     26190      8838    443869     26363     15790   3633247    507466     10.25   no data
382.27/48.14	c  S st   111     30000      8838    443869     26400     19522   3633247    693022     10.25   no data
386.27/48.67	c  S st   111     30502      8838    443869     26428     19995   3633247    702946     10.25   no data
386.27/48.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
411.85/51.83	c Flit:     8 Blit:      0 bXBeca:    0 bXProp:    4 Bins: 357017 BRemL: 324603 BRemN:      0 P: 83.1M T:  3.13
411.85/51.88	c Replacing        4 vars Replaced     1970 lits Time:     0.05 s 
412.65/52.00	c blocked clauses removed:        0 vars:      0 tried:        8825 T: 0.00 s
413.45/52.00	c bin-w-bin subsume rem           99 bins  time:  0.01 s
415.04/52.22	c subs with bin:      958  lits-rem:     22135  v-fix:    0  time:  0.22 s
415.04/52.24	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:    478 time:  0.02 s
415.04/52.26	c Removed useless bin:       7  fixed:     0  props:   0.96M  time:  0.01 s
645.29/81.08	c lits-rem:         0  cl-subs:    15159  v-elim:    133  v-fix:    0  time: 28.81 s
646.89/81.28	c subs with bin:      117  lits-rem:      3542  v-fix:    0  time:  0.18 s
891.52/111.83	c lits-rem:         4  cl-subs:      536  v-elim:      0  v-fix:    0  time: 30.46 s
894.76/112.28	c asymm  cl-useful: 0/2174/427997 lits-rem:0 time: 0.46
895.52/112.31	c calculated reachability. Time: 0.01
895.52/112.31	c  N dy   111     30502      8692    427997     56816     11599   3505282    331290     10.25   no data
895.52/112.33	c Finding binary XORs  T:     0.02 s  found:       0
901.92/113.10	c Finding binary XORs  T:     0.02 s  found:       1
906.71/113.73	c  N dy   130     34508      8681    427979    409606     15545   3504994   1199229     10.20     14.20
916.31/114.99	c  N dy   149     38719      8680    427979    425942     19730   3504994   1416191     10.17     10.74
925.90/116.15	c  N dy   170     42775      8680    427979    425945     12455   3504994   1005062     10.13     10.77
930.70/116.74	c Finding binary XORs  T:     0.02 s  found:       1
933.09/117.04	c  S st   186     45753      8680    427978    434118     15421   3504932   1159432     10.13      7.55
936.30/117.48	c  S st   186     46255      8680    427978    434119     15922   3504932   1174650     10.13   no data
937.10/117.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
961.07/120.56	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    1 Bins:   4904 BRemL: 326733 BRemN:      1 P: 72.4M T:  3.04
961.87/120.60	c Replacing        3 vars Replaced      376 lits Time:     0.05 s 
962.67/120.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
962.67/120.73	c bin-w-bin subsume rem         2390 bins  time:  0.01 s
963.48/120.80	c subs with bin:      324  lits-rem:      3418  v-fix:    0  time:  0.08 s
963.48/120.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1304 time:  0.03 s
963.48/120.85	c Removed useless bin:       5  fixed:     0  props:   0.94M  time:  0.01 s
1156.15/144.94	c lits-rem:         0  cl-subs:     5118  v-elim:      9  v-fix:    0  time: 24.10 s
1158.59/145.28	c subs with bin:       70  lits-rem:       846  v-fix:    0  time:  0.31 s
1388.80/174.04	c lits-rem:         1  cl-subs:      289  v-elim:      0  v-fix:    0  time: 28.68 s
1390.40/174.29	c vivif2 --  cl tried   422545 cl shrink       87 lits rem         95 time: 0.25
1391.20/174.33	c vivif2 --  cl tried    15331 cl shrink     1981 lits rem       5058 time: 0.03
1394.39/174.72	c asymm  cl-useful: 0/1754/422544 lits-rem:0 time: 0.39
1394.39/174.75	c calculated reachability. Time: 0.01
1394.39/174.75	c  N dy   186     46255      8667    422544    109326     15327   3461544    501557     10.13   no data
1404.83/176.03	c  N dy   208     50905      8666    422544    152787     19948   3461544    851927     10.09     11.17
1404.83/176.08	c Finding binary XORs  T:     0.02 s  found:       5
1415.98/177.43	c  N dy   233     54926      8650    422529    151269     23842   3461282   1017193     10.12     18.38
1427.17/178.84	c  N dy   258     59119      8650    422529    151722     28003   3461282   1179754     10.11     10.65
1439.21/180.32	c  N dy   282     63356      8650    422529    151724     32211   3461282   1366123     10.14     10.79
1448.00/181.45	c  N dy   311     67683      8650    422529    151726     20111   3461282    677464     10.21     10.90
1451.15/181.80	c  S st   318     69382      8650    422529    151729     21796   3461281    774861     10.20      9.74
1453.55/182.10	c  S st   318     69883      8650    422529    151730     22296   3461281    793165     10.20   no data
1453.55/182.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1478.34/185.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  18487 BRemL:  91626 BRemN:     16 P: 85.8M T:  3.09
1478.34/185.24	c Replacing        5 vars Replaced      273 lits Time:     0.03 s 
1479.14/185.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1479.14/185.37	c bin-w-bin subsume rem          184 bins  time:  0.01 s
1479.94/185.43	c subs with bin:      543  lits-rem:      5520  v-fix:    0  time:  0.06 s
1479.94/185.45	c Subs w/ non-existent bins:     19 l-rem:      0 v-fix:     0 done:    204 time:  0.02 s
1479.94/185.46	c Removed useless bin:       6  fixed:     0  props:   0.85M  time:  0.01 s
1725.37/216.18	c lits-rem:         0  cl-subs:     3867  v-elim:     10  v-fix:    0  time: 30.71 s
1730.96/216.83	c subs with bin:      187  lits-rem:      1314  v-fix:    0  time:  0.62 s
1974.82/247.33	c lits-rem:        95  cl-subs:      404  v-elim:      0  v-fix:    0  time: 30.42 s
1977.21/247.61	c vivif2 --  cl tried   418099 cl shrink       28 lits rem         29 time: 0.28
1977.21/247.66	c vivif2 --  cl tried    21421 cl shrink     2624 lits rem      14769 time: 0.05
1980.41/248.00	c asymm  cl-useful: 77/1930/418099 lits-rem:192 time: 0.34
1980.41/248.03	c calculated reachability. Time: 0.01
1980.41/248.03	c  N dy   318     69883      8635    418099     77368     21415   3419691    597743     10.20   no data
1980.41/248.04	c Finding binary XORs  T:     0.02 s  found:       0
1997.20/250.12	c Finding binary XORs  T:     0.02 s  found:       3
1997.20/250.17	c  N dy   333     76101      8616    418037     94638     27523   3419232   1214472     10.05     10.59
2005.19/251.16	c  N dy   368     80988      8616    418037     94641     32379   3419232   1445688     10.12     15.07
2014.79/252.32	c Finding binary XORs  T:     0.02 s  found:       0
2016.39/252.58	c  N dy   412     86214      8616    418037    101523     37575   3419232   1723642     10.27     13.86
2019.62/252.92	c  F st   423     87500      8616    418037    101525     38853   3419232   1790760     10.29      9.53
2019.62/252.95	c Replacing        3 vars Replaced     1669 lits Time:     0.03 s 
2029.22/254.18	c  N dy   429     92698      8612    418034    101530     24557   3419215    807403     10.29   no data
2042.77/255.83	c  N dy   467     98649      8612    418034    101551     30475   3419215   1081922     10.33     13.66
2055.61/257.49	c  S st   513    104826      8612    418034    101566     36615   3419215   1429197     10.42   no data
2059.56/257.92	c  S st   513    105327      8612    418034    101567     37114   3419215   1446046     10.42   no data
2059.56/257.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2088.34/261.59	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    4 Bins:  41222 BRemL:  62173 BRemN:      3 P: 88.9M T:  3.65
2089.97/261.76	c Replacing        4 vars Replaced    25747 lits Time:     0.17 s 
2090.78/261.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2090.78/261.89	c bin-w-bin subsume rem          311 bins  time:  0.01 s
2091.53/261.97	c subs with bin:      185  lits-rem:      4003  v-fix:    0  time:  0.08 s
2091.53/262.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2199 time:  0.03 s
2092.33/262.03	c Removed useless bin:     106  fixed:     0  props:   0.86M  time:  0.01 s
2241.48/283.99	c lits-rem:         0  cl-subs:    13365  v-elim:     37  v-fix:    0  time: 21.96 s
2245.68/285.33	c subs with bin:      119  lits-rem:      1960  v-fix:    0  time:  1.30 s
2303.24/308.00	c lits-rem:        51  cl-subs:      847  v-elim:      0  v-fix:    0  time: 22.59 s
2304.03/308.32	c vivif2 --  cl tried   404424 cl shrink       59 lits rem        629 time: 0.32
2304.23/308.40	c vivif2 --  cl tried    34727 cl shrink     5620 lits rem      35447 time: 0.08
2304.83/308.77	c asymm  cl-useful: 61/1474/404424 lits-rem:75 time: 0.37
2304.83/308.80	c calculated reachability. Time: 0.01
2304.83/308.80	c  N dy   513    105327      8561    404424     76417     34706   3298370   1210601     10.42   no data
2304.83/308.80	c Following stats are for *FIRST FINISHED THREAD ONLY*
2304.83/308.80	c num threads              : 8          
2304.83/308.80	c restarts                 : 950        
2304.83/308.80	c dynamic restarts         : 932        
2304.83/308.80	c static restarts          : 18         
2304.83/308.80	c full restarts            : 2          
2304.83/308.80	c total simplify time      : 0.43       
2304.83/308.80	c learnts DL2              : 0          
2304.83/308.80	c learnts size 2           : 927511     
2304.83/308.80	c learnts size 1           : 706         (6.78      % of vars)
2304.83/308.80	c filedLit time            : 11.62       (3.77      % time)
2304.83/308.80	c v-elim SatELite          : 1030        (9.88      % vars)
2304.83/308.80	c SatELite time            : 208.33      (67.58     % time)
2304.83/308.80	c v-elim xor               : 0           (0.00      % vars)
2304.83/308.80	c xor elim time            : 0.08        (0.03      % time)
2304.83/308.80	c num binary xor trees     : 92         
2304.83/308.80	c binxor trees' crown      : 99          (1.08      leafs/tree)
2304.83/308.80	c bin xor find time        : 0.23       
2304.83/308.80	c OTF clause improved      : 1191        (0.01      clauses/conflict)
2304.83/308.80	c OTF impr. size diff      : 1685        (1.41       lits/clause)
2304.83/308.80	c OTF cl watch-shrink      : 124747      (0.71      clauses/conflict)
2304.83/308.80	c OTF cl watch-sh-lit      : 921162      (7.38       lits/clause)
2304.83/308.80	c tried to recurMin cls    : 83065       (47.29      % of conflicts)
2304.83/308.80	c updated cache            : 0           (0.00       lits/tried recurMin)
2304.83/308.80	c unit cls recevied        : 39          (5.52      % of units)
2304.83/308.80	c unit cls sent            : 6           (0.85      % of units)
2304.83/308.80	c bin cls recevied         : 502267     
2304.83/308.80	c bin cls sent             : 56778      
2304.83/308.80	c clauses over max glue    : 0           (0.00      % of all clauses)
2304.83/308.80	c conflicts                : 175651      (569.82    / sec)
2304.83/308.80	c decisions                : 414992      (1.66      % random)
2304.83/308.80	c bogo-props               : 2624685692  (8514625.91 / sec)
2304.83/308.80	c conflict literals        : 9443183     (32.70     % deleted)
2304.83/308.80	c Memory used              : 2500.41     MB
2304.83/308.80	c single-thread CPU time   : 308.26      s
2304.83/308.80	c all-threads sum CPU time : 2302.59     s
2304.83/308.80	s SATISFIABLE
2305.03/308.80	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-3394690-1307666162/watcher-3394690-1307666162 -o /tmp/evaluation-result-3394690-1307666162/solver-3394690-1307666162 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394690-1307666162.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.27 2.05 2.02 1/170 11315
/proc/meminfo: memFree=32380800/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500748273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 23036 352 299 95 0 18018 0
[pid=11315/tid=11316] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500748273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 352 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185968 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0150119 s]
/proc/loadavg: 2.27 2.05 2.02 1/170 11315
/proc/meminfo: memFree=32380800/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=92144 CPUtime=0.05 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 420 0 0 0 5 0 0 0 23 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185565 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 23036 359 302 95 0 18018 0
[pid=11315/tid=11316] ppid=11313 vsize=92144 CPUtime=0.01 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 4 0 0 0 1 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185561 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185555 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=92144 CPUtime=0 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 878212954 94355456 359 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185968 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 92144

[startup+0.101033 s]
/proc/loadavg: 2.27 2.05 2.02 1/170 11315
/proc/meminfo: memFree=32380800/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=630292 CPUtime=0.6 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 14233 0 0 0 52 8 0 0 18 0 8 0 878212954 645419008 13674 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500388983 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 157702 13715 338 95 0 152684 0
[pid=11315/tid=11316] ppid=11313 vsize=630808 CPUtime=0.08 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 1487 0 0 0 7 1 0 0 17 0 8 0 878212954 645947392 13846 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500796910 0 0 4096 2 18446604453877201088 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=630808 CPUtime=0.06 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1705 0 0 0 6 0 0 0 17 0 8 0 878212954 645947392 13853 33554432000 4194304 4580107 140737132266352 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=630808 CPUtime=0.06 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 1809 0 0 0 6 0 0 0 17 0 8 0 878212954 645947392 13867 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500796910 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=631324 CPUtime=0.07 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1611 0 0 0 7 0 0 0 17 0 8 0 878212954 646475776 13912 33554432000 4194304 4580107 140737132266352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=631840 CPUtime=0.06 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) D 11313 11315 11073 0 -1 4202560 1909 0 0 0 5 1 0 0 17 0 8 0 878212954 647004160 14000 33554432000 4194304 4580107 140737132266352 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=631840 CPUtime=0.08 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 1898 0 0 0 7 1 0 0 17 0 8 0 878212954 647004160 14159 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500796959 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=631840 CPUtime=0.04 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) D 11313 11315 11073 0 -1 4202560 1710 0 0 0 3 1 0 0 17 0 8 0 878212954 647004160 14195 33554432000 4194304 4580107 140737132266352 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 630292

[startup+0.3009 s]
/proc/loadavg: 2.27 2.05 2.02 1/170 11315
/proc/meminfo: memFree=32380800/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=955196 CPUtime=1.93 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 71062 0 0 0 165 28 0 0 18 0 8 0 878212954 978120704 69347 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 238799 69358 338 95 0 233781 0
[pid=11315/tid=11316] ppid=11313 vsize=955196 CPUtime=0.23 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8443 0 0 0 20 3 0 0 18 0 8 0 878212954 978120704 69364 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=955196 CPUtime=0.23 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8896 0 0 0 20 3 0 0 18 0 8 0 878212954 978120704 69368 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=955196 CPUtime=0.23 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8822 0 0 0 20 3 0 0 18 0 8 0 878212954 978120704 69377 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=955196 CPUtime=0.24 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8744 0 0 0 21 3 0 0 18 0 8 0 878212954 978120704 69384 33554432000 4194304 4580107 140737132266352 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=955196 CPUtime=0.23 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 9337 0 0 0 19 4 0 0 18 0 8 0 878212954 978120704 69387 33554432000 4194304 4580107 140737132266352 18446744073709551615 4512161 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=955196 CPUtime=0.24 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8663 0 0 0 21 3 0 0 18 0 8 0 878212954 978120704 69393 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=955196 CPUtime=0.2 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 8690 0 0 0 17 3 0 0 18 0 8 0 878212954 978120704 69400 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 955196

[startup+0.700822 s]
/proc/loadavg: 2.27 2.05 2.02 1/170 11315
/proc/meminfo: memFree=32380800/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=967624 CPUtime=5.08 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 90826 0 0 0 476 32 0 0 18 0 8 0 878212954 990846976 89111 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500388619 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 241906 89111 360 95 0 236888 0
[pid=11315/tid=11316] ppid=11313 vsize=967624 CPUtime=0.62 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 10867 0 0 0 59 3 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=967624 CPUtime=0.62 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11436 0 0 0 59 3 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=967624 CPUtime=0.63 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11419 0 0 0 58 5 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=967624 CPUtime=0.64 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11199 0 0 0 60 4 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294642 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=967624 CPUtime=0.62 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11664 0 0 0 58 4 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4234976 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=967624 CPUtime=0.63 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11079 0 0 0 60 3 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=967624 CPUtime=0.6 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 11248 0 0 0 56 4 0 0 18 0 8 0 878212954 990846976 89112 33554432000 4194304 4580107 140737132266352 18446744073709551615 4302118 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 967624

[startup+1.50067 s]
/proc/loadavg: 2.27 2.05 2.02 9/178 11323
/proc/meminfo: memFree=31995864/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=976060 CPUtime=11.43 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 106158 0 0 0 1103 40 0 0 18 0 8 0 878212954 999485440 104443 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 244015 104443 361 95 0 238997 0
[pid=11315/tid=11316] ppid=11313 vsize=976060 CPUtime=1.42 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 12804 0 0 0 137 5 0 0 19 0 8 0 878212954 999485440 104443 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=976060 CPUtime=1.42 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 13565 0 0 0 138 4 0 0 18 0 8 0 878212954 999485440 104443 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=976060 CPUtime=1.42 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 13413 0 0 0 137 5 0 0 18 0 8 0 878212954 999485440 104443 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=976060 CPUtime=1.43 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 13213 0 0 0 138 5 0 0 18 0 8 0 878212954 999485440 104444 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=976060 CPUtime=1.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 14039 0 0 0 136 5 0 0 18 0 8 0 878212954 999485440 104445 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=976060 CPUtime=1.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 13075 0 0 0 139 4 0 0 19 0 8 0 878212954 999485440 104445 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=976060 CPUtime=1.39 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 12004 0 0 0 135 4 0 0 19 0 8 0 878212954 999485440 104445 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 976060

[startup+3.10035 s]
/proc/loadavg: 2.80 2.17 2.05 3/178 11323
/proc/meminfo: memFree=31877456/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=1626436 CPUtime=22.55 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 280963 0 0 0 2158 97 0 0 18 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451818 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 406609 278472 374 95 0 401591 0
[pid=11315/tid=11316] ppid=11313 vsize=1626436 CPUtime=2.79 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 34368 0 0 0 267 12 0 0 17 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=1626436 CPUtime=2.79 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 38470 0 0 0 267 12 0 0 18 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=1626436 CPUtime=2.79 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 39987 0 0 0 265 14 0 0 18 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451802 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=1626436 CPUtime=2.81 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 38523 0 0 0 268 13 0 0 17 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=1626436 CPUtime=2.79 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 40132 0 0 0 267 12 0 0 18 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=1626436 CPUtime=2.81 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 37997 0 0 0 269 12 0 0 18 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451838 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=1626436 CPUtime=2.86 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 12554 0 0 0 281 5 0 0 17 0 8 0 878212954 1665470464 278472 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 22.55
Current children cumulated vsize (KiB) 1626436

[startup+6.30072 s]
/proc/loadavg: 2.80 2.17 2.05 9/178 11323
/proc/meminfo: memFree=31264276/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=1627044 CPUtime=48.13 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 281969 0 0 0 4715 98 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11315/statm: 406761 279478 375 95 0 401743 0
[pid=11315/tid=11316] ppid=11313 vsize=1627044 CPUtime=5.99 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 34368 0 0 0 587 12 0 0 23 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=1627044 CPUtime=5.97 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 38470 0 0 0 585 12 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=1627044 CPUtime=5.99 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 39987 0 0 0 585 14 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=1627044 CPUtime=6.01 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 38523 0 0 0 588 13 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=1627044 CPUtime=5.99 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 40132 0 0 0 587 12 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=1627044 CPUtime=6.01 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 37997 0 0 0 589 12 0 0 25 0 8 0 878212954 1666093056 279478 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=1627044 CPUtime=6.06 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 13561 0 0 0 600 6 0 0 25 0 8 0 878212954 1666093056 279479 33554432000 4194304 4580107 140737132266352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2688974848 478410 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2625952 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2688974848 478410 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2625952 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2688974848 478410 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2625952 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2688974848 478410 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2272.69
Current children cumulated vsize (KiB) 2625952

[startup+300.701 s]
/proc/loadavg: 6.60 5.55 3.58 3/178 11331
/proc/meminfo: memFree=30471384/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2625952 CPUtime=2288.83 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 765549 0 0 0 228639 244 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 656488 477537 380 95 0 651470 0
[pid=11315/tid=11316] ppid=11313 vsize=2625952 CPUtime=300.4 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30015 25 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2625952 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2625952 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2625952 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2625952 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2625952 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2625952 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2288.83
Current children cumulated vsize (KiB) 2625952

[startup+303.901 s]
/proc/loadavg: 6.23 5.49 3.57 3/178 11331
/proc/meminfo: memFree=30471384/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2625952 CPUtime=2295.23 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 765549 0 0 0 229279 244 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 4451736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 656488 477537 380 95 0 651470 0
[pid=11315/tid=11316] ppid=11313 vsize=2625952 CPUtime=303.6 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30335 25 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2625952 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2625952 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2625952 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2625952 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2625952 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2625952 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2295.23
Current children cumulated vsize (KiB) 2625952

[startup+307.101 s]
/proc/loadavg: 6.23 5.49 3.57 3/178 11331
/proc/meminfo: memFree=30471396/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2625952 CPUtime=2301.63 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 765549 0 0 0 229919 244 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 656488 477537 380 95 0 651470 0
[pid=11315/tid=11316] ppid=11313 vsize=2625952 CPUtime=306.8 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30655 25 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2625952 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2625952 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2625952 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2625952 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2625952 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2625952 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2301.63
Current children cumulated vsize (KiB) 2625952

[startup+307.901 s]
/proc/loadavg: 5.90 5.43 3.56 3/178 11331
/proc/meminfo: memFree=30471396/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2625952 CPUtime=2303.24 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 765549 0 0 0 230080 244 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 4416709 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 656488 477537 380 95 0 651470 0
[pid=11315/tid=11316] ppid=11313 vsize=2625952 CPUtime=307.61 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30736 25 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2625952 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2625952 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2625952 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2625952 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2625952 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2625952 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2688974848 477537 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2303.24
Current children cumulated vsize (KiB) 2625952

[startup+308.301 s]
/proc/loadavg: 5.90 5.43 3.56 3/178 11331
/proc/meminfo: memFree=30471396/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2560416 CPUtime=2304.03 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 765549 0 0 0 230159 244 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 4502021 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 640104 474808 380 95 0 635086 0
[pid=11315/tid=11316] ppid=11313 vsize=2560416 CPUtime=308 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30775 25 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2560416 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2560416 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2560416 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2560416 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2560416 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2560416 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2621865984 474808 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2304.03
Current children cumulated vsize (KiB) 2560416

[startup+308.701 s]
/proc/loadavg: 5.90 5.43 3.56 3/178 11331
/proc/meminfo: memFree=30471396/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2560416 CPUtime=2304.83 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 766081 0 0 0 230239 244 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 640104 475340 380 95 0 635086 0
[pid=11315/tid=11316] ppid=11313 vsize=2560416 CPUtime=308.4 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82553 0 0 0 30815 25 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013161003 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2560416 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2560416 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2560416 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2560416 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2560416 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2560416 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2621865984 475340 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2304.83
Current children cumulated vsize (KiB) 2560416

[startup+308.801 s]
/proc/loadavg: 5.90 5.43 3.56 3/178 11331
/proc/meminfo: memFree=30471396/32950928 swapFree=67053604/67111528
[pid=11315] ppid=11313 vsize=2560416 CPUtime=2305.03 cores=0-7
/proc/11315/stat : 11315 (strangenight2-m) R 11313 11315 11073 0 -1 4202496 766088 0 0 0 230259 244 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185555 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11315/statm: 640104 475346 385 95 0 635086 0
[pid=11315/tid=11316] ppid=11313 vsize=2560416 CPUtime=308.5 cores=0-7
/proc/11315/task/11316/stat : 11316 (strangenight2-m) R 11313 11315 11073 0 -1 4202560 82559 0 0 0 30825 25 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842010587217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11315/tid=11317] ppid=11313 vsize=2560416 CPUtime=276.9 cores=0-7
/proc/11315/task/11317/stat : 11317 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 92486 0 0 0 27659 31 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 7 0 0 0
[pid=11315/tid=11318] ppid=11313 vsize=2560416 CPUtime=297.32 cores=0-7
/proc/11315/task/11318/stat : 11318 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 101147 0 0 0 29698 34 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 1 0 0 0
[pid=11315/tid=11319] ppid=11313 vsize=2560416 CPUtime=278.39 cores=0-7
/proc/11315/task/11319/stat : 11319 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 99841 0 0 0 27809 30 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 4 0 0 0
[pid=11315/tid=11320] ppid=11313 vsize=2560416 CPUtime=278.41 cores=0-7
/proc/11315/task/11320/stat : 11320 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 85104 0 0 0 27817 24 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 3 0 0 0
[pid=11315/tid=11321] ppid=11313 vsize=2560416 CPUtime=278.43 cores=0-7
/proc/11315/task/11321/stat : 11321 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 94496 0 0 0 27815 28 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 0 0 0 0
[pid=11315/tid=11322] ppid=11313 vsize=2560416 CPUtime=278.48 cores=0-7
/proc/11315/task/11322/stat : 11322 (strangenight2-m) S 11313 11315 11073 0 -1 4202560 121018 0 0 0 27803 45 0 0 25 0 8 0 878212954 2621865984 475346 33554432000 4194304 4580107 140737132266352 18446744073709551615 47842013185588 0 0 4096 2 18446604453877201088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2305.03
Current children cumulated vsize (KiB) 2560416

Child status: 10
Real time (s): 308.887
CPU time (s): 2305.13
CPU user time (s): 2302.6
CPU system time (s): 2.53061
CPU usage (%): 746.27
Max. virtual memory (cumulated for all children) (KiB): 2625952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2302.6
system time used= 2.53062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766090
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= 75905
involuntary context switches= 10119

runsolver used 0.415936 second user time and 1.2778 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-10 02:36:03
IDJOB=3394690
IDBENCH=83475
IDSOLVER=1878
FILE ID=node149/3394690-1307666162
RUNJOBID= node149-1307666142-11087
PBS_JOBID= 13549473
Free space on /tmp= 73984 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-3394690-1307666162/watcher-3394690-1307666162 -o /tmp/evaluation-result-3394690-1307666162/solver-3394690-1307666162 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394690-1307666162.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=567670263

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32380988 kB
Buffers:         59592 kB
Cached:         354088 kB
SwapCached:      10296 kB
Active:         143704 kB
Inactive:       287428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32380988 kB
SwapTotal:    67111528 kB
SwapFree:     67053604 kB
Dirty:           26516 kB
Writeback:          44 kB
AnonPages:       15120 kB
Mapped:           8628 kB
Slab:            71376 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73976 MiB
End job on node149 at 2011-06-10 02:41:12