Trace number 3400840

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 3518.22 123.419

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark639.158
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400840-1306902598.cnf'
0.00/0.11	c -- header says num vars:           9044
0.00/0.11	c -- header says num clauses:      295685
19.44/1.07	c -- clauses added:            0 learnts,       295685 normals,            0 xors
19.44/1.07	c -- vars added       9044
19.44/1.07	c Parsing time:  0.29 s
19.44/1.07	c  N st     0         0      9044    272212     23233         0   2134664         0   no data   no data
36.24/1.62	c asymm  cl-useful: 0/2700/272098 lits-rem:0 time: 0.52
88.33/3.80	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:   76 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  1.76
97.09/4.09	c Replacing       76 vars Replaced   189870 lits Time:     0.21 s 
125.45/6.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
125.45/6.34	c bin-w-bin subsume rem          146 bins  time:  0.00 s
127.92/6.52	c subs with bin:     2352  lits-rem:         4  v-fix:    0  time:  0.16 s
127.92/6.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6171 time:  0.03 s
127.92/6.58	c Removed useless bin:       0  fixed:     0  props:   1.73M  time:  0.02 s
374.02/14.84	c lits-rem:         0  cl-subs:        4  v-elim:    816  v-fix:    0  time:  7.90 s
374.02/14.86	c Finding binary XORs  T:     0.02 s  found:       0
412.38/16.06	c Finding non-binary XORs:     1.17 s (found:       0, avg size: nan)
412.38/16.06	c calculated reachability. Time: 0.01
412.38/16.09	c Calc default polars -  time:   0.03 s pos:     330 undec:    1037 neg:    7677
412.38/16.09	c =========================================================================================
412.38/16.09	c types(t): F = full restart, N = normal restart
412.38/16.09	c types(t): S = simplification begin/end, E = solution found
412.38/16.09	c restart types(rt): st = static, dy = dynamic
412.38/16.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
412.38/16.09	c  B st     0         0      8007    270795     20413         0   2124244         0   no data   no data
462.26/17.66	c  N dy    19      4038      8007    270795     20547      3861   2124244    138229      9.31      9.95
477.00/18.13	c Finding binary XORs  T:     0.02 s  found:       0
492.54/18.70	c  N dy    42      8164      8001    270791     22711      7827   2124108    280275      9.51     10.09
532.66/19.99	c  N dy    61     12202      8001    270791     22748     11796   2124108    431490      9.34      9.87
567.77/21.09	c  N dy    83     16326      7999    270791     24401     15839   2124107    575320      9.28      9.89
573.52/21.20	c Finding binary XORs  T:     0.01 s  found:       0
599.70/22.07	c  N dy   114     20487      7999    270789     26262     10112   2124089    214943      9.49     10.16
638.05/23.22	c  N dy   141     24552      7981    270789     26291     14126   2124089    365558      9.53     12.60
640.64/23.33	c  F st   145     25001      7981    270789     27610     14571   2124089    388415      9.54      9.84
659.83/23.91	c Finding binary XORs  T:     0.02 s  found:       1
679.00/24.53	c  N dy   151     30002      7981    268408     27546     19435   2107987    589303      9.54   no data
679.00/24.53	c  S st   151     30002      7981    268408     27546     19435   2107987    589303      9.54   no data
698.17/25.16	c  S st   151     30503      7981    268408     27575     19906   2107987    603532      9.54   no data
698.17/25.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
816.39/28.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 240752 BRemL: 221443 BRemN:      0 P: 50.5M T:  3.60
816.39/28.84	c Replacing        1 vars Replaced       10 lits Time:     0.03 s 
822.74/29.01	c blocked clauses removed:        0 vars:      0 tried:        7980 T: 0.01 s
822.74/29.02	c bin-w-bin subsume rem          172 bins  time:  0.01 s
822.74/29.06	c subs with bin:      120  lits-rem:      2574  v-fix:    0  time:  0.04 s
822.74/29.09	c Subs w/ non-existent bins:      1 l-rem:     28 v-fix:     0 done:    521 time:  0.03 s
825.97/29.11	c Removed useless bin:       0  fixed:     0  props:   0.84M  time:  0.02 s
1024.61/35.35	c lits-rem:         0  cl-subs:     2633  v-elim:     99  v-fix:    0  time:  6.22 s
1036.77/35.74	c subs with bin:       49  lits-rem:      5203  v-fix:    0  time:  0.33 s
1250.89/42.46	c lits-rem:        38  cl-subs:      689  v-elim:      0  v-fix:    0  time:  6.57 s
1263.68/42.81	c asymm  cl-useful: 0/2907/265850 lits-rem:0 time: 0.35
1263.68/42.84	c calculated reachability. Time: 0.01
1263.68/42.84	c  N dy   151     30503      7881    265850     45475     14345   2089077    419684      9.54   no data
1263.68/42.86	c Finding binary XORs  T:     0.02 s  found:       0
1301.17/44.09	c Finding binary XORs  T:     0.02 s  found:       0
1310.01/44.35	c  N dy   173     34620      7878    265849    254464     18423   2088968    982340      9.52     11.81
1341.96/45.40	c  N dy   201     38666      7878    265849    264220     22447   2088968   1146064      9.60     10.16
1380.32/46.52	c  N dy   222     42811      7878    265849    264221     13821   2088968    739951      9.60     10.14
1402.71/47.27	c  S st   240     45755      7878    265849    264234     16743   2088968    847858      9.60      9.41
1418.67/47.71	c  S st   240     46256      7878    265849    264234     17242   2088968    867235      9.60   no data
1418.67/47.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1504.97/50.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    248 BRemL: 216987 BRemN:      0 P: 45.9M T:  2.68
1508.17/50.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1508.17/50.56	c bin-w-bin subsume rem         1435 bins  time:  0.01 s
1508.17/50.59	c subs with bin:       21  lits-rem:        26  v-fix:    0  time:  0.03 s
1511.96/50.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1512 time:  0.03 s
1511.96/50.64	c Removed useless bin:       0  fixed:     0  props:   0.79M  time:  0.02 s
1667.64/55.51	c lits-rem:         0  cl-subs:       34  v-elim:      7  v-fix:    0  time:  4.87 s
1674.00/55.79	c subs with bin:       82  lits-rem:       244  v-fix:    0  time:  0.24 s
1871.86/61.99	c lits-rem:        42  cl-subs:      349  v-elim:      0  v-fix:    0  time:  6.09 s
1878.24/62.13	c vivif2 --  cl tried   265808 cl shrink       66 lits rem         66 time: 0.14
1878.24/62.15	c vivif2 --  cl tried    16217 cl shrink      918 lits rem       4465 time: 0.03
1891.01/62.53	c asymm  cl-useful: 8/4093/265808 lits-rem:8 time: 0.38
1891.01/62.56	c calculated reachability. Time: 0.01
1891.01/62.56	c  N dy   240     46256      7871    265808     45870     16217   2088421    384266      9.60   no data
1891.01/62.58	c Finding binary XORs  T:     0.02 s  found:       0
1929.32/63.75	c  N dy   261     50569      7870    265808     47394     20485   2088421    611953      9.52     10.15
1968.21/64.94	c  N dy   284     54782      7869    265808     47401     24657   2088420    779974      9.54     10.23
1989.96/65.66	c Finding binary XORs  T:     0.02 s  found:       0
2003.32/66.04	c  N dy   309     58798      7869    265808     48175     28587   2088324    956173      9.60     11.16
2034.64/67.09	c  N dy   329     62860      7869    265808     48437     32628   2088324   1144250      9.60     12.21
2069.76/68.18	c  N dy   351     66940      7869    265808     48438     19727   2088324    434223      9.61     12.95
2092.09/68.84	c  S st   369     69384      7869    265808     48456     22162   2088324    534158      9.68   no data
2101.67/69.19	c  S st   369     69887      7869    265808     48456     22664   2088324    556998      9.68   no data
2104.87/69.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2194.22/72.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1611 BRemL:   1740 BRemN:      0 P: 49.0M T:  2.82
2197.42/72.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2197.42/72.18	c bin-w-bin subsume rem           14 bins  time:  0.01 s
2200.61/72.21	c subs with bin:       21  lits-rem:        29  v-fix:    0  time:  0.03 s
2200.61/72.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    785 time:  0.03 s
2200.61/72.26	c Removed useless bin:       0  fixed:     0  props:   0.70M  time:  0.02 s
2360.42/77.22	c lits-rem:         0  cl-subs:       42  v-elim:     12  v-fix:    0  time:  4.95 s
2376.41/77.71	c subs with bin:      111  lits-rem:      1386  v-fix:    0  time:  0.45 s
2584.15/84.25	c lits-rem:        48  cl-subs:      391  v-elim:      0  v-fix:    0  time:  6.43 s
2587.38/84.39	c vivif2 --  cl tried   265771 cl shrink        2 lits rem          2 time: 0.14
2590.54/84.43	c vivif2 --  cl tried    20808 cl shrink      966 lits rem       6987 time: 0.04
2603.96/84.84	c asymm  cl-useful: 8/2814/265771 lits-rem:9 time: 0.41
2603.96/84.87	c calculated reachability. Time: 0.01
2603.96/84.87	c  N dy   369     69887      7857    265771     48177     20807   2087878    478218      9.68   no data
2644.87/86.17	c Finding binary XORs  T:     0.02 s  found:       0
2648.07/86.20	c  N dy   380     74393      7857    265771     51057     25276   2087877    920233      9.60     10.16
2692.82/87.67	c  N dy   398     79191      7857    265771     51057     30040   2087877   1349258      9.57     11.11
2744.61/89.22	c  N dy   417     84264      7856    265771     53028     35052   2087877   1741960      9.53     15.68
2782.32/90.45	c Finding binary XORs  T:     0.02 s  found:       0
2782.32/90.47	c  F st   429     87501      7856    265771     53292     38103   2087829   2020183      9.51   no data
2807.91/91.28	c  N st   434     90804      7856    265771     53292     22269   2087829    597767      9.51   no data
2855.85/92.72	c  N dy   464     96683      7856    265771     53302     28120   2087829    907149      9.57     10.13
2917.21/94.63	c  N dy   501    102934      7856    265771     53689     34330   2087829   1225619      9.60     12.03
2932.57/95.15	c  S st   509    104832      7856    265771     53689     36213   2087829   1354880      9.60      6.28
2948.55/95.64	c  S st   509    105335      7856    265771     53718     36715   2087829   1375452      9.60   no data
2948.55/95.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3038.05/98.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    641 BRemL:   2098 BRemN:      0 P: 50.0M T:  2.75
3041.25/98.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3041.25/98.55	c bin-w-bin subsume rem           44 bins  time:  0.01 s
3041.25/98.58	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  0.03 s
3044.45/98.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    941 time:  0.03 s
3044.45/98.63	c Removed useless bin:       0  fixed:     0  props:   0.64M  time:  0.02 s
3364.07/108.62	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  9.99 s
3421.61/110.49	c subs with bin:       28  lits-rem:       575  v-fix:    0  time:  1.75 s
3510.15/120.10	c lits-rem:        33  cl-subs:      742  v-elim:      0  v-fix:    0  time:  9.50 s
3510.89/120.22	c vivif2 --  cl tried   265770 cl shrink        0 lits rem          0 time: 0.12
3511.29/120.32	c vivif2 --  cl tried    35441 cl shrink     4158 lits rem      37509 time: 0.09
3512.08/120.54	c asymm  cl-useful: 0/374/265770 lits-rem:0 time: 0.22
3512.08/120.56	c calculated reachability. Time: 0.01
3512.08/120.56	c  N dy   509    105335      7853    265770     51881     35441   2087933   1280811      9.60   no data
3517.65/122.92	c Following stats are for *FIRST FINISHED THREAD ONLY*
3517.65/122.92	c num threads              : 32         
3517.65/122.92	c restarts                 : 1226       
3517.65/122.92	c dynamic restarts         : 1202       
3517.65/122.92	c static restarts          : 24         
3517.65/122.92	c full restarts            : 3          
3517.65/122.92	c total simplify time      : 0.36       
3517.65/122.92	c learnts DL2              : 0          
3517.65/122.92	c learnts size 2           : 331469     
3517.65/122.92	c learnts size 1           : 179         (1.98      % of vars)
3517.65/122.92	c filedLit time            : 3.69        (3.14      % time)
3517.65/122.92	c v-elim SatELite          : 831         (9.19      % vars)
3517.65/122.92	c SatELite time            : 8.93        (7.60      % time)
3517.65/122.92	c v-elim xor               : 0           (0.00      % vars)
3517.65/122.92	c xor elim time            : 0.03        (0.03      % time)
3517.65/122.92	c num binary xor trees     : 77         
3517.65/122.92	c binxor trees' crown      : 81          (1.05      leafs/tree)
3517.65/122.92	c bin xor find time        : 0.18       
3517.65/122.92	c OTF clause improved      : 2280        (0.01      clauses/conflict)
3517.65/122.92	c OTF impr. size diff      : 3051        (1.34       lits/clause)
3517.65/122.92	c OTF cl watch-shrink      : 222354      (0.67      clauses/conflict)
3517.65/122.92	c OTF cl watch-sh-lit      : 1410772     (6.34       lits/clause)
3517.65/122.92	c tried to recurMin cls    : 147749      (44.55      % of conflicts)
3517.65/122.92	c updated cache            : 20640       (0.14       lits/tried recurMin)
3517.65/122.92	c unit cls recevied        : 27          (15.08     % of units)
3517.65/122.92	c unit cls sent            : 134         (74.86     % of units)
3517.65/122.92	c bin cls recevied         : 260151     
3517.65/122.92	c bin cls sent             : 48959      
3517.65/122.92	c clauses over max glue    : 0           (0.00      % of all clauses)
3517.65/122.92	c conflicts                : 331684      (2820.68   / sec)
3517.65/122.92	c decisions                : 798977      (4.70      % random)
3517.65/122.92	c bogo-props               : 3544658310  (30144184.05 / sec)
3517.65/122.92	c conflict literals        : 18214144    (25.40     % deleted)
3517.65/122.92	c Memory used              : 6256.18     MB
3517.65/122.92	c single-thread CPU time   : 117.59      s
3517.65/122.92	c all-threads sum CPU time : 3491.34     s
3517.65/122.92	s SATISFIABLE
3517.65/122.92	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 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-3400840-1306902598/watcher-3400840-1306902598 -o /tmp/evaluation-result-3400840-1306902598/solver-3400840-1306902598 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400840-1306902598.cnf 

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

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


[startup+0 s]
/proc/loadavg: 26.11 29.79 31.04 1/413 27727
/proc/meminfo: memFree=263450672/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=338000 CPUtime=0.85 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) R 27725 27727 27585 0 -1 4202496 467 0 0 0 85 0 0 0 22 0 32 0 16225887 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/27727/statm: 84500 406 300 95 0 79482 0
[pid=27727/tid=27728] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27728/stat : 27728 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27727/tid=27730] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27730/stat : 27730 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27727/tid=27731] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27731/stat : 27731 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27727/tid=27732] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27732/stat : 27732 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957463 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27727/tid=27733] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27733/stat : 27733 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27727/tid=27734] ppid=27725 vsize=338000 CPUtime=0.03 cores=0-31
/proc/27727/task/27734/stat : 27734 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27727/tid=27735] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27735/stat : 27735 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27727/tid=27736] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27736/stat : 27736 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27727/tid=27737] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27737/stat : 27737 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957469 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27727/tid=27738] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27738/stat : 27738 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27727/tid=27739] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27739/stat : 27739 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27727/tid=27740] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27740/stat : 27740 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957469 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27727/tid=27741] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27741/stat : 27741 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=27727/tid=27742] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27742/stat : 27742 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27727/tid=27743] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27743/stat : 27743 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27727/tid=27744] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27744/stat : 27744 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27727/tid=27745] ppid=27725 vsize=338000 CPUtime=0 cores=0-31
/proc/27727/task/27745/stat : 27745 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957874 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27727/tid=27746] ppid=27725 vsize=338000 CPUtime=0.01 cores=0-31
/proc/27727/task/27746/stat : 27746 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27727/tid=27747] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27747/stat : 27747 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=27727/tid=27748] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27748/stat : 27748 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957456 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27727/tid=27749] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27749/stat : 27749 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=27727/tid=27750] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27750/stat : 27750 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=27727/tid=27751] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27751/stat : 27751 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27727/tid=27752] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27752/stat : 27752 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27727/tid=27753] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27753/stat : 27753 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27727/tid=27754] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27754/stat : 27754 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27727/tid=27755] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27755/stat : 27755 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27727/tid=27756] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27756/stat : 27756 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957459 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27727/tid=27757] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27757/stat : 27757 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27727/tid=27758] ppid=27725 vsize=338000 CPUtime=0.02 cores=0-31
/proc/27727/task/27758/stat : 27758 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 16225888 346112000 406 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957465 0 0 4096 2 0 0 0 -1 30 0 0 0

[startup+0.135657 s]
/proc/loadavg: 26.11 29.79 31.04 1/413 27727
/proc/meminfo: memFree=263450672/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=1391768 CPUtime=3.12 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) R 27725 27727 27585 0 -1 4202496 11899 0 0 0 220 92 0 0 17 0 32 0 16225887 1425170432 11744 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/27727/statm: 347975 11796 334 95 0 342957 0
[pid=27727/tid=27728] ppid=27725 vsize=1391900 CPUtime=0.09 cores=0-31
/proc/27727/task/27728/stat : 27728 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 347 0 0 0 7 2 0 0 17 0 32 0 16225888 1425305600 11798 268435456000 4194304 4580107 140736924510352 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=1392164 CPUtime=0.09 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 382 0 0 0 7 2 0 0 17 0 32 0 16225888 1425575936 11946 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604456697363936 0 0 -1 2 0 0 0
[pid=27727/tid=27730] ppid=27725 vsize=1392428 CPUtime=0.1 cores=0-31
/proc/27727/task/27730/stat : 27730 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 423 0 0 0 7 3 0 0 17 0 32 0 16225888 1425846272 12025 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27727/tid=27731] ppid=27725 vsize=1392428 CPUtime=0.09 cores=0-31
/proc/27727/task/27731/stat : 27731 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 320 0 0 0 7 2 0 0 17 0 32 0 16225888 1425846272 12032 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27727/tid=27732] ppid=27725 vsize=1392428 CPUtime=0.09 cores=0-31
/proc/27727/task/27732/stat : 27732 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 341 0 0 0 7 2 0 0 17 0 32 0 16225888 1425846272 12032 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604501604523488 0 0 -1 16 0 0 0
[pid=27727/tid=27733] ppid=27725 vsize=1392428 CPUtime=0.09 cores=0-31
/proc/27727/task/27733/stat : 27733 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 333 0 0 0 7 2 0 0 17 0 32 0 16225888 1425846272 12063 268435456000 4194304 4580107 140736924510352 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27727/tid=27734] ppid=27725 vsize=1392428 CPUtime=0.09 cores=0-31
/proc/27727/task/27734/stat : 27734 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 394 0 0 0 7 2 0 0 17 0 32 0 16225888 1425846272 12078 268435456000 4194304 4580107 140736924510352 18446744073709551615 4299181 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27727/tid=27735] ppid=27725 vsize=1392560 CPUtime=0.1 cores=0-31
/proc/27727/task/27735/stat : 27735 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 369 0 0 0 7 3 0 0 17 0 32 0 16225888 1425981440 12116 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 6 0 0 0
[pid=27727/tid=27736] ppid=27725 vsize=1392692 CPUtime=0.1 cores=0-31
/proc/27727/task/27736/stat : 27736 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 366 0 0 0 7 3 0 0 17 0 32 0 16225888 1426116608 12141 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27727/tid=27737] ppid=27725 vsize=1392692 CPUtime=0.1 cores=0-31
/proc/27727/task/27737/stat : 27737 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 421 0 0 0 7 3 0 0 17 0 32 0 16225888 1426116608 12146 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27727/tid=27738] ppid=27725 vsize=1392692 CPUtime=0.1 cores=0-31
/proc/27727/task/27738/stat : 27738 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 389 0 0 0 7 3 0 0 17 0 32 0 16225888 1426116608 12159 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27727/tid=27739] ppid=27725 vsize=1392692 CPUtime=0.1 cores=0-31
/proc/27727/task/27739/stat : 27739 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 334 0 0 0 7 3 0 0 17 0 32 0 16225888 1426116608 12192 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27727/tid=27740] ppid=27725 vsize=1392692 CPUtime=0.1 cores=0-31
/proc/27727/task/27740/stat : 27740 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 381 0 0 0 7 3 0 0 20 0 32 0 16225888 1426116608 12198 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27727/tid=27741] ppid=27725 vsize=1392956 CPUtime=0.09 cores=0-31
/proc/27727/task/27741/stat : 27741 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 413 0 0 0 7 2 0 0 17 0 32 0 16225888 1426386944 12381 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604493926194656 0 0 -1 13 0 0 0
[pid=27727/tid=27742] ppid=27725 vsize=1393088 CPUtime=0.09 cores=0-31
/proc/27727/task/27742/stat : 27742 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 289 0 0 0 7 2 0 0 17 0 32 0 16225888 1426522112 12393 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27727/tid=27743] ppid=27725 vsize=1393088 CPUtime=0.1 cores=0-31
/proc/27727/task/27743/stat : 27743 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 398 0 0 0 7 3 0 0 17 0 32 0 16225888 1426522112 12431 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27727/tid=27744] ppid=27725 vsize=1393236 CPUtime=0.09 cores=0-31
/proc/27727/task/27744/stat : 27744 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 383 0 0 0 6 3 0 0 17 0 32 0 16225888 1426673664 12491 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446744071566930064 0 0 -1 4 0 0 0
[pid=27727/tid=27745] ppid=27725 vsize=1393236 CPUtime=0.04 cores=0-31
/proc/27727/task/27745/stat : 27745 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 430 0 0 0 0 4 0 0 17 0 32 0 16225888 1426673664 12498 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604499696336352 0 0 -1 31 0 0 0
[pid=27727/tid=27746] ppid=27725 vsize=1393236 CPUtime=0.08 cores=0-31
/proc/27727/task/27746/stat : 27746 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 342 0 0 0 5 3 0 0 17 0 32 0 16225888 1426673664 12559 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=27727/tid=27747] ppid=27725 vsize=1393368 CPUtime=0.11 cores=0-31
/proc/27727/task/27747/stat : 27747 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 436 0 0 0 7 4 0 0 17 0 32 0 16225888 1426808832 12663 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 18446604494816280032 0 0 -1 28 0 0 0
[pid=27727/tid=27748] ppid=27725 vsize=1393368 CPUtime=0.1 cores=0-31
/proc/27727/task/27748/stat : 27748 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 388 0 0 0 7 3 0 0 17 0 32 0 16225888 1426808832 12747 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=27727/tid=27749] ppid=27725 vsize=1393368 CPUtime=0.11 cores=0-31
/proc/27727/task/27749/stat : 27749 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 380 0 0 0 7 4 0 0 18 0 32 0 16225888 1426808832 12764 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604451537968608 0 0 -1 18 0 0 0
[pid=27727/tid=27750] ppid=27725 vsize=1393516 CPUtime=0.1 cores=0-31
/proc/27727/task/27750/stat : 27750 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 387 0 0 0 7 3 0 0 17 0 32 0 16225888 1426960384 12793 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446744071566933224 0 0 -1 15 0 0 0
[pid=27727/tid=27751] ppid=27725 vsize=1393516 CPUtime=0.11 cores=0-31
/proc/27727/task/27751/stat : 27751 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 434 0 0 0 7 4 0 0 17 0 32 0 16225888 1426960384 12802 268435456000 4194304 4580107 140736924510352 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=27727/tid=27752] ppid=27725 vsize=1393516 CPUtime=0.1 cores=0-31
/proc/27727/task/27752/stat : 27752 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 401 0 0 0 7 3 0 0 17 0 32 0 16225888 1426960384 12821 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=27727/tid=27753] ppid=27725 vsize=1393516 CPUtime=0.11 cores=0-31
/proc/27727/task/27753/stat : 27753 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 353 0 0 0 7 4 0 0 17 0 32 0 16225888 1426960384 12891 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=27727/tid=27754] ppid=27725 vsize=1393516 CPUtime=0.11 cores=0-31
/proc/27727/task/27754/stat : 27754 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 394 0 0 0 7 4 0 0 17 0 32 0 16225888 1426960384 12952 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=27727/tid=27755] ppid=27725 vsize=1393516 CPUtime=0.1 cores=0-31
/proc/27727/task/27755/stat : 27755 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 416 0 0 0 6 4 0 0 17 0 32 0 16225888 1426960384 13029 268435456000 4194304 4580107 140736924510352 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=27727/tid=27756] ppid=27725 vsize=1393516 CPUtime=0.1 cores=0-31
/proc/27727/task/27756/stat : 27756 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 365 0 0 0 6 4 0 0 17 0 32 0 16225888 1426960384 13053 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=27727/tid=27757] ppid=27725 vsize=1393516 CPUtime=0.11 cores=0-31
/proc/27727/task/27757/stat : 27757 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 398 0 0 0 7 4 0 0 18 0 32 0 16225888 1426960384 13064 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27727/tid=27758] ppid=27725 vsize=1393516 CPUtime=0.11 cores=0-31
/proc/27727/task/27758/stat : 27758 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 405 0 0 0 7 4 0 0 17 0 32 0 16225888 1426960384 13082 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 1391768

[startup+0.226443 s]
/proc/loadavg: 26.11 29.79 31.04 1/413 27727
/proc/meminfo: memFree=263450672/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=1397724 CPUtime=5.25 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) D 27725 27727 27585 0 -1 4202496 24376 0 0 0 314 211 0 0 17 0 32 0 16225887 1431269376 23991 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/27727/statm: 349491 24087 336 95 0 344473 0
[pid=27727/tid=27728] ppid=27725 vsize=1397964 CPUtime=0.17 cores=0-31
/proc/27727/task/27728/stat : 27728 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 661 0 0 0 11 6 0 0 17 0 32 0 16225888 1431515136 24137 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446744071566930424 0 0 -1 1 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=1397964 CPUtime=0.17 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 1192 0 0 0 12 5 0 0 17 0 32 0 16225888 1431515136 24195 268435456000 4194304 4580107 140736924510352 18446744073709551615 4307191 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27727/tid=27730] ppid=27725 vsize=1397964 CPUtime=0.16 cores=0-31
/proc/27727/task/27730/stat : 27730 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 1396 0 0 0 10 6 0 0 17 0 32 0 16225888 1431515136 24195 268435456000 4194304 4580107 140736924510352 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=27727/tid=27731] ppid=27725 vsize=1398036 CPUtime=0.15 cores=0-31
/proc/27727/task/27731/stat : 27731 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 849 0 0 0 10 5 0 0 17 0 32 0 16225888 1431588864 24250 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27727/tid=27732] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27732/stat : 27732 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 898 0 0 0 10 6 0 0 17 0 32 0 16225888 1431588864 24335 268435456000 4194304 4580107 140736924510352 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=27727/tid=27733] ppid=27725 vsize=1398036 CPUtime=0.17 cores=0-31
/proc/27727/task/27733/stat : 27733 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 788 0 0 0 10 7 0 0 17 0 32 0 16225888 1431588864 24404 268435456000 4194304 4580107 140736924510352 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27727/tid=27734] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27734/stat : 27734 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 722 0 0 0 10 6 0 0 17 0 32 0 16225888 1431588864 24417 268435456000 4194304 4580107 140736924510352 18446744073709551615 4512098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27727/tid=27735] ppid=27725 vsize=1398036 CPUtime=0.15 cores=0-31
/proc/27727/task/27735/stat : 27735 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 666 0 0 0 10 5 0 0 17 0 32 0 16225888 1431588864 24490 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27727/tid=27736] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27736/stat : 27736 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 665 0 0 0 10 6 0 0 17 0 32 0 16225888 1431588864 24522 268435456000 4194304 4580107 140736924510352 18446744073709551615 4511192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27727/tid=27737] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27737/stat : 27737 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 879 0 0 0 9 7 0 0 17 0 32 0 16225888 1431588864 24545 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=27727/tid=27738] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27738/stat : 27738 (strangenight2-m) D 27725 27727 27585 0 -1 4202560 655 0 0 0 10 6 0 0 17 0 32 0 16225888 1431588864 24622 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=27727/tid=27739] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27739/stat : 27739 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 586 0 0 0 10 6 0 0 17 0 32 0 16225888 1431588864 24692 268435456000 4194304 4580107 140736924510352 18446744073709551615 4252624 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=27727/tid=27740] ppid=27725 vsize=1398036 CPUtime=0.16 cores=0-31
/proc/27727/task/27740/stat : 27740 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 609 0 0 0 9 7 0 0 17 0 32 0 16225888 1431588864 24711 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 7 0 0 0
[pid=27727/tid=27741] ppid=27725 vsize=1398036 CPUtime=0.15 cores=0-31
/proc/27727/task/27741/stat : 27741 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 691 0 0 0 10 5 0 0 17 0 32 0 16225888 1431588864 24759 268435456000 4194304 4580107 140736924510352 18446744073709551615 258651060958 0 0 4096 2 18446604501604523488 0 0 -1 13 0 0 0
[pid=27727/tid=27742] ppid=27725 vsize=1398036 CPUtime=0.17 cores=0-31
/proc/27727/task/27742/stat : 27742 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 597 0 0 0 10 7 0 0 17 0 32 0 16225888 1431588864 24974 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=27727/tid=27743] ppid=27725 vsize=1398108 CPUtime=0.17 cores=0-31
/proc/27727/task/27743/stat : 27743 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 689 0 0 0 10 7 0 0 17 0 32 0 16225888 1431662592 25006 268435456000 4194304 4580107 140736924510352 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=27727/tid=27744] ppid=27725 vsize=1398108 CPUtime=0.15 cores=0-31

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

[pid=27727/tid=27757] ppid=27725 vsize=6406328 CPUtime=114.6 cores=0-31
/proc/27727/task/27757/stat : 27757 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 51122 0 0 0 11371 89 0 0 25 0 32 0 16225888 6560079872 1078693 268435456000 4194304 4580107 140736924510352 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=27727/tid=27758] ppid=27725 vsize=6406328 CPUtime=113.67 cores=0-31
/proc/27727/task/27758/stat : 27758 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 48155 0 0 0 11307 60 0 0 25 0 32 0 16225888 6560079872 1078693 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280932907 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 3503.69
Current children cumulated vsize (KiB) 6406328

[startup+121.603 s]
/proc/loadavg: 27.74 29.79 30.91 4/445 27764
/proc/meminfo: memFree=259136316/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=6406328 CPUtime=3515.05 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) S 27725 27727 27585 0 -1 4202496 1553182 0 0 0 348870 2635 0 0 25 0 32 0 16225887 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/27727/statm: 1601582 1079091 379 95 0 1596564 0
[pid=27727/tid=27728] ppid=27725 vsize=6406328 CPUtime=113.3 cores=0-31
/proc/27727/task/27728/stat : 27728 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 48951 0 0 0 11237 93 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604461183475168 0 0 -1 18 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=6406328 CPUtime=119.72 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 60926 0 0 0 11911 61 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 4416453 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27727/tid=27730] ppid=27725 vsize=6406328 CPUtime=109.58 cores=0-31
/proc/27727/task/27730/stat : 27730 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 59707 0 0 0 10894 64 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604492499221984 0 0 -1 24 0 0 0
[pid=27727/tid=27731] ppid=27725 vsize=6406328 CPUtime=110.77 cores=0-31
/proc/27727/task/27731/stat : 27731 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 45948 0 0 0 10988 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604506160872928 0 0 -1 6 0 0 0
[pid=27727/tid=27732] ppid=27725 vsize=6406328 CPUtime=112.56 cores=0-31
/proc/27727/task/27732/stat : 27732 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 44548 0 0 0 11185 71 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604456696774112 0 0 -1 8 0 0 0
[pid=27727/tid=27733] ppid=27725 vsize=6406328 CPUtime=108.67 cores=0-31
/proc/27727/task/27733/stat : 27733 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47827 0 0 0 10784 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604477670751712 0 0 -1 22 0 0 0
[pid=27727/tid=27734] ppid=27725 vsize=6406328 CPUtime=107.18 cores=0-31
/proc/27727/task/27734/stat : 27734 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 42568 0 0 0 10636 82 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604450174639584 0 0 -1 20 0 0 0
[pid=27727/tid=27735] ppid=27725 vsize=6406328 CPUtime=107.88 cores=0-31
/proc/27727/task/27735/stat : 27735 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 37756 0 0 0 10699 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451051109856 0 0 -1 21 0 0 0
[pid=27727/tid=27736] ppid=27725 vsize=6406328 CPUtime=107.29 cores=0-31
/proc/27727/task/27736/stat : 27736 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50998 0 0 0 10629 100 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604499696336352 0 0 -1 13 0 0 0
[pid=27727/tid=27737] ppid=27725 vsize=6406328 CPUtime=109.02 cores=0-31
/proc/27727/task/27737/stat : 27737 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50177 0 0 0 10830 72 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604493926194656 0 0 -1 3 0 0 0
[pid=27727/tid=27738] ppid=27725 vsize=6406328 CPUtime=107.16 cores=0-31
/proc/27727/task/27738/stat : 27738 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 52546 0 0 0 10631 85 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604490475658720 0 0 -1 17 0 0 0
[pid=27727/tid=27739] ppid=27725 vsize=6406328 CPUtime=106.88 cores=0-31
/proc/27727/task/27739/stat : 27739 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 36246 0 0 0 10614 74 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604494816280032 0 0 -1 9 0 0 0
[pid=27727/tid=27740] ppid=27725 vsize=6406328 CPUtime=107.11 cores=0-31
/proc/27727/task/27740/stat : 27740 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 46957 0 0 0 10616 95 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451314097632 0 0 -1 12 0 0 0
[pid=27727/tid=27741] ppid=27725 vsize=6406328 CPUtime=107.99 cores=0-31
/proc/27727/task/27741/stat : 27741 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 49938 0 0 0 10707 92 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604453176655328 0 0 -1 16 0 0 0
[pid=27727/tid=27742] ppid=27725 vsize=6406328 CPUtime=106.95 cores=0-31
/proc/27727/task/27742/stat : 27742 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 49031 0 0 0 10602 93 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451099925984 0 0 -1 14 0 0 0
[pid=27727/tid=27743] ppid=27725 vsize=6406328 CPUtime=106.39 cores=0-31
/proc/27727/task/27743/stat : 27743 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 45389 0 0 0 10556 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451537968608 0 0 -1 25 0 0 0
[pid=27727/tid=27744] ppid=27725 vsize=6406328 CPUtime=108.66 cores=0-31
/proc/27727/task/27744/stat : 27744 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 46562 0 0 0 10789 77 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604450766773728 0 0 -1 23 0 0 0
[pid=27727/tid=27745] ppid=27725 vsize=6406328 CPUtime=107.47 cores=0-31
/proc/27727/task/27745/stat : 27745 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 58611 0 0 0 10648 99 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604488199060960 0 0 -1 30 0 0 0
[pid=27727/tid=27746] ppid=27725 vsize=6406328 CPUtime=107.49 cores=0-31
/proc/27727/task/27746/stat : 27746 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 52337 0 0 0 10661 88 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604480794770912 0 0 -1 10 0 0 0
[pid=27727/tid=27747] ppid=27725 vsize=6406328 CPUtime=109.39 cores=0-31
/proc/27727/task/27747/stat : 27747 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 54359 0 0 0 10887 52 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604490454056416 0 0 -1 27 0 0 0
[pid=27727/tid=27748] ppid=27725 vsize=6406328 CPUtime=107.48 cores=0-31
/proc/27727/task/27748/stat : 27748 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47788 0 0 0 10661 87 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604501604523488 0 0 -1 28 0 0 0
[pid=27727/tid=27749] ppid=27725 vsize=6406328 CPUtime=108.64 cores=0-31
/proc/27727/task/27749/stat : 27749 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 40411 0 0 0 10787 77 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604470526074336 0 0 -1 5 0 0 0
[pid=27727/tid=27750] ppid=27725 vsize=6406328 CPUtime=107.26 cores=0-31
/proc/27727/task/27750/stat : 27750 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47546 0 0 0 10643 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604503384964576 0 0 -1 19 0 0 0
[pid=27727/tid=27751] ppid=27725 vsize=6406328 CPUtime=106.44 cores=0-31
/proc/27727/task/27751/stat : 27751 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 48333 0 0 0 10555 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604492850421216 0 0 -1 31 0 0 0
[pid=27727/tid=27752] ppid=27725 vsize=6406328 CPUtime=113.81 cores=0-31
/proc/27727/task/27752/stat : 27752 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 43060 0 0 0 11292 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604495411469792 0 0 -1 15 0 0 0
[pid=27727/tid=27753] ppid=27725 vsize=6406328 CPUtime=106.71 cores=0-31
/proc/27727/task/27753/stat : 27753 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50130 0 0 0 10596 75 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446744071566933584 0 0 -1 1 0 0 0
[pid=27727/tid=27754] ppid=27725 vsize=6406328 CPUtime=110.59 cores=0-31
/proc/27727/task/27754/stat : 27754 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 57576 0 0 0 10971 88 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451631267296 0 0 -1 4 0 0 0
[pid=27727/tid=27755] ppid=27725 vsize=6406328 CPUtime=106.75 cores=0-31
/proc/27727/task/27755/stat : 27755 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 44300 0 0 0 10603 72 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604488383430112 0 0 -1 29 0 0 0
[pid=27727/tid=27756] ppid=27725 vsize=6406328 CPUtime=113.95 cores=0-31
/proc/27727/task/27756/stat : 27756 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 42780 0 0 0 11320 75 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604474947771872 0 0 -1 11 0 0 0
[pid=27727/tid=27757] ppid=27725 vsize=6406328 CPUtime=117.28 cores=0-31
/proc/27727/task/27757/stat : 27757 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 51122 0 0 0 11639 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604513116585440 0 0 -1 8 0 0 0
[pid=27727/tid=27758] ppid=27725 vsize=6406328 CPUtime=116.87 cores=0-31
/proc/27727/task/27758/stat : 27758 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 48155 0 0 0 11627 60 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280933060 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 3515.05
Current children cumulated vsize (KiB) 6406328

[startup+122.403 s]
/proc/loadavg: 25.67 29.33 30.76 3/445 27764
/proc/meminfo: memFree=259137192/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=6406328 CPUtime=3516.65 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) S 27725 27727 27585 0 -1 4202496 1553182 0 0 0 349030 2635 0 0 25 0 32 0 16225887 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/27727/statm: 1601582 1079091 379 95 0 1596564 0
[pid=27727/tid=27728] ppid=27725 vsize=6406328 CPUtime=113.3 cores=0-31
/proc/27727/task/27728/stat : 27728 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 48951 0 0 0 11237 93 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604461183475168 0 0 -1 18 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=6406328 CPUtime=120.52 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 60926 0 0 0 11991 61 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 4397979 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=27727/tid=27730] ppid=27725 vsize=6406328 CPUtime=109.58 cores=0-31
/proc/27727/task/27730/stat : 27730 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 59707 0 0 0 10894 64 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604492499221984 0 0 -1 24 0 0 0
[pid=27727/tid=27731] ppid=27725 vsize=6406328 CPUtime=110.77 cores=0-31
/proc/27727/task/27731/stat : 27731 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 45948 0 0 0 10988 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604506160872928 0 0 -1 6 0 0 0
[pid=27727/tid=27732] ppid=27725 vsize=6406328 CPUtime=112.56 cores=0-31
/proc/27727/task/27732/stat : 27732 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 44548 0 0 0 11185 71 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604456696774112 0 0 -1 8 0 0 0
[pid=27727/tid=27733] ppid=27725 vsize=6406328 CPUtime=108.67 cores=0-31
/proc/27727/task/27733/stat : 27733 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47827 0 0 0 10784 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604477670751712 0 0 -1 22 0 0 0
[pid=27727/tid=27734] ppid=27725 vsize=6406328 CPUtime=107.18 cores=0-31
/proc/27727/task/27734/stat : 27734 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 42568 0 0 0 10636 82 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604450174639584 0 0 -1 20 0 0 0
[pid=27727/tid=27735] ppid=27725 vsize=6406328 CPUtime=107.88 cores=0-31
/proc/27727/task/27735/stat : 27735 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 37756 0 0 0 10699 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451051109856 0 0 -1 21 0 0 0
[pid=27727/tid=27736] ppid=27725 vsize=6406328 CPUtime=107.29 cores=0-31
/proc/27727/task/27736/stat : 27736 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50998 0 0 0 10629 100 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604499696336352 0 0 -1 13 0 0 0
[pid=27727/tid=27737] ppid=27725 vsize=6406328 CPUtime=109.02 cores=0-31
/proc/27727/task/27737/stat : 27737 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50177 0 0 0 10830 72 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604493926194656 0 0 -1 3 0 0 0
[pid=27727/tid=27738] ppid=27725 vsize=6406328 CPUtime=107.16 cores=0-31
/proc/27727/task/27738/stat : 27738 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 52546 0 0 0 10631 85 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604490475658720 0 0 -1 17 0 0 0
[pid=27727/tid=27739] ppid=27725 vsize=6406328 CPUtime=106.88 cores=0-31
/proc/27727/task/27739/stat : 27739 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 36246 0 0 0 10614 74 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604494816280032 0 0 -1 9 0 0 0
[pid=27727/tid=27740] ppid=27725 vsize=6406328 CPUtime=107.11 cores=0-31
/proc/27727/task/27740/stat : 27740 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 46957 0 0 0 10616 95 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451314097632 0 0 -1 12 0 0 0
[pid=27727/tid=27741] ppid=27725 vsize=6406328 CPUtime=107.99 cores=0-31
/proc/27727/task/27741/stat : 27741 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 49938 0 0 0 10707 92 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604453176655328 0 0 -1 16 0 0 0
[pid=27727/tid=27742] ppid=27725 vsize=6406328 CPUtime=106.95 cores=0-31
/proc/27727/task/27742/stat : 27742 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 49031 0 0 0 10602 93 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451099925984 0 0 -1 14 0 0 0
[pid=27727/tid=27743] ppid=27725 vsize=6406328 CPUtime=106.39 cores=0-31
/proc/27727/task/27743/stat : 27743 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 45389 0 0 0 10556 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451537968608 0 0 -1 25 0 0 0
[pid=27727/tid=27744] ppid=27725 vsize=6406328 CPUtime=108.66 cores=0-31
/proc/27727/task/27744/stat : 27744 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 46562 0 0 0 10789 77 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604450766773728 0 0 -1 23 0 0 0
[pid=27727/tid=27745] ppid=27725 vsize=6406328 CPUtime=107.47 cores=0-31
/proc/27727/task/27745/stat : 27745 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 58611 0 0 0 10648 99 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604488199060960 0 0 -1 30 0 0 0
[pid=27727/tid=27746] ppid=27725 vsize=6406328 CPUtime=107.49 cores=0-31
/proc/27727/task/27746/stat : 27746 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 52337 0 0 0 10661 88 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604480794770912 0 0 -1 10 0 0 0
[pid=27727/tid=27747] ppid=27725 vsize=6406328 CPUtime=109.39 cores=0-31
/proc/27727/task/27747/stat : 27747 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 54359 0 0 0 10887 52 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604490454056416 0 0 -1 27 0 0 0
[pid=27727/tid=27748] ppid=27725 vsize=6406328 CPUtime=107.48 cores=0-31
/proc/27727/task/27748/stat : 27748 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47788 0 0 0 10661 87 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604501604523488 0 0 -1 28 0 0 0
[pid=27727/tid=27749] ppid=27725 vsize=6406328 CPUtime=108.64 cores=0-31
/proc/27727/task/27749/stat : 27749 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 40411 0 0 0 10787 77 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604470526074336 0 0 -1 5 0 0 0
[pid=27727/tid=27750] ppid=27725 vsize=6406328 CPUtime=107.26 cores=0-31
/proc/27727/task/27750/stat : 27750 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 47546 0 0 0 10643 83 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604503384964576 0 0 -1 19 0 0 0
[pid=27727/tid=27751] ppid=27725 vsize=6406328 CPUtime=106.44 cores=0-31
/proc/27727/task/27751/stat : 27751 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 48333 0 0 0 10555 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604492850421216 0 0 -1 31 0 0 0
[pid=27727/tid=27752] ppid=27725 vsize=6406328 CPUtime=113.81 cores=0-31
/proc/27727/task/27752/stat : 27752 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 43060 0 0 0 11292 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604495411469792 0 0 -1 15 0 0 0
[pid=27727/tid=27753] ppid=27725 vsize=6406328 CPUtime=106.71 cores=0-31
/proc/27727/task/27753/stat : 27753 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 50130 0 0 0 10596 75 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446744071566933584 0 0 -1 1 0 0 0
[pid=27727/tid=27754] ppid=27725 vsize=6406328 CPUtime=110.59 cores=0-31
/proc/27727/task/27754/stat : 27754 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 57576 0 0 0 10971 88 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604451631267296 0 0 -1 4 0 0 0
[pid=27727/tid=27755] ppid=27725 vsize=6406328 CPUtime=106.75 cores=0-31
/proc/27727/task/27755/stat : 27755 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 44300 0 0 0 10603 72 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604488383430112 0 0 -1 29 0 0 0
[pid=27727/tid=27756] ppid=27725 vsize=6406328 CPUtime=113.95 cores=0-31
/proc/27727/task/27756/stat : 27756 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 42780 0 0 0 11320 75 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604474947771872 0 0 -1 11 0 0 0
[pid=27727/tid=27757] ppid=27725 vsize=6406328 CPUtime=117.28 cores=0-31
/proc/27727/task/27757/stat : 27757 (strangenight2-m) S 27725 27727 27585 0 -1 4202560 51122 0 0 0 11639 89 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280957492 0 0 4096 2 18446604513116585440 0 0 -1 8 0 0 0
[pid=27727/tid=27758] ppid=27725 vsize=6406328 CPUtime=117.67 cores=0-31
/proc/27727/task/27758/stat : 27758 (strangenight2-m) R 27725 27727 27585 0 -1 4202560 48155 0 0 0 11707 60 0 0 25 0 32 0 16225888 6560079872 1079091 268435456000 4194304 4580107 140736924510352 18446744073709551615 47018280933060 0 0 4096 2 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 3516.65
Current children cumulated vsize (KiB) 6406328

[startup+123.201 s]
/proc/loadavg: 25.67 29.33 30.76 2/415 27764
/proc/meminfo: memFree=261499328/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=0 CPUtime=3518.03 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) Z 27725 27727 27585 0 -1 4203548 1553282 0 0 0 349134 2669 0 0 18 0 2 0 16225887 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/27727/statm: 0 0 0 0 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=0 CPUtime=121.36 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) R 27725 27727 27585 0 -1 4203588 61017 0 0 0 12044 92 0 0 25 0 2 0 16225888 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 3518.03
Current children cumulated vsize (KiB) 0

[startup+123.401 s]
/proc/loadavg: 25.67 29.33 30.76 2/415 27764
/proc/meminfo: memFree=261499328/264257624 swapFree=67044780/67111528
[pid=27727] ppid=27725 vsize=0 CPUtime=3518.19 cores=0-31
/proc/27727/stat : 27727 (strangenight2-m) Z 27725 27727 27585 0 -1 4203548 1553282 0 0 0 349134 2685 0 0 18 0 2 0 16225887 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/27727/statm: 0 0 0 0 0 0 0
[pid=27727/tid=27729] ppid=27725 vsize=0 CPUtime=121.53 cores=0-31
/proc/27727/task/27729/stat : 27729 (strangenight2-m) R 27725 27727 27585 0 -1 4203588 61017 0 0 0 12044 109 0 0 25 0 2 0 16225888 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 3518.19
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 123.419
CPU time (s): 3518.22
CPU user time (s): 3491.34
CPU system time (s): 26.8759
CPU usage (%): 2850.63
Max. virtual memory (cumulated for all children) (KiB): 6590860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3491.34
system time used= 26.8759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1553282
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= 556694
involuntary context switches= 18406

runsolver used 0.739887 second user time and 2.96555 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-01 06:29:59
IDJOB=3400840
IDBENCH=83443
IDSOLVER=1886
FILE ID=node200/3400840-1306902598
RUNJOBID= node200-1306902580-27599
PBS_JOBID= 13471403
Free space on /tmp= 61568 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=2142637933

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

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

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.042
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263451068 kB
Buffers:        173220 kB
Cached:         423464 kB
SwapCached:      29976 kB
Active:         161868 kB
Inactive:       467172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263451068 kB
SwapTotal:    67111528 kB
SwapFree:     67044780 kB
Dirty:           16612 kB
Writeback:           0 kB
AnonPages:       30012 kB
Mapped:           8544 kB
Slab:            77020 kB
PageTables:       3912 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   177420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61564 MiB
End job on node200 at 2011-06-01 06:32:03