Trace number 3369537

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)SAT 1418.08 384.334

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3369537-1305414889/watcher-3369537-1305414889 -o /tmp/evaluation-result-3369537-1305414889/solver-3369537-1305414889 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369537-1305414889.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.72 5.00 6.49 6/388 29113
/proc/meminfo: memFree=26967668/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=51236 CPUtime=0.03 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 417 0 0 0 3 0 0 0 20 0 4 0 653087642 52465664 358 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005670322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29113/statm: 12809 358 306 112 0 7774 0
[pid=29113/tid=29114] ppid=29111 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 653087643 52465664 358 33554432000 4194304 4650419 140736374169824 18446744073709551615 251809287254 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 653087643 52465664 358 33554432000 4194304 4650419 140736374169824 18446744073709551615 251809287254 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 4 0 0 0 1 0 0 0 21 0 4 0 653087643 52465664 358 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814240187 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0846949 s]
/proc/loadavg: 3.72 5.00 6.49 6/388 29113
/proc/meminfo: memFree=26967668/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=300860 CPUtime=0.35 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) D 29111 29113 28704 0 -1 4202496 16544 0 0 0 32 3 0 0 18 0 4 0 653087642 308080640 15525 33554432000 4194304 4650419 140736374169824 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 75282 15528 345 112 0 70247 0
[pid=29113/tid=29114] ppid=29111 vsize=301128 CPUtime=0.07 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 4042 0 0 0 7 0 0 0 22 0 4 0 653087643 308355072 15528 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=301128 CPUtime=0.07 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) D 29111 29113 28704 0 -1 4202560 4023 0 0 0 7 0 0 0 18 0 4 0 653087643 308355072 15528 33554432000 4194304 4650419 140736374169824 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=301936 CPUtime=0.08 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 4031 0 0 0 8 0 0 0 18 0 4 0 653087643 309182464 15529 33554432000 4194304 4650419 140736374169824 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 300860

[startup+0.115162 s]
/proc/loadavg: 3.72 5.00 6.49 6/388 29113
/proc/meminfo: memFree=26967668/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=304900 CPUtime=0.41 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 19202 0 0 0 37 4 0 0 18 0 4 0 653087642 312217600 18183 33554432000 4194304 4650419 140736374169824 18446744073709551615 251813936907 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 76297 18809 345 112 0 71262 0
[pid=29113/tid=29114] ppid=29111 vsize=305328 CPUtime=0.09 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 4944 0 0 0 9 0 0 0 22 0 4 0 653087643 312655872 19108 33554432000 4194304 4650419 140736374169824 18446744073709551615 4546977 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=436892 CPUtime=0.11 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 5303 0 0 0 10 1 0 0 18 0 4 0 653087643 447377408 20641 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=437700 CPUtime=0.12 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) D 29111 29113 28704 0 -1 4202560 5317 0 0 0 11 1 0 0 18 0 4 0 653087643 448204800 20646 33554432000 4194304 4650419 140736374169824 18446744073709551615 4373896 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 304900

[startup+0.480832 s]
/proc/loadavg: 3.72 5.00 6.49 6/388 29113
/proc/meminfo: memFree=26967668/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=519032 CPUtime=1.86 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) D 29111 29113 28704 0 -1 4202496 57072 0 0 0 176 10 0 0 18 0 4 0 653087642 531488768 47392 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814283399 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 129758 47392 370 112 0 124723 0
[pid=29113/tid=29114] ppid=29111 vsize=519032 CPUtime=0.44 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) D 29111 29113 28704 0 -1 4202560 15811 0 0 0 43 1 0 0 23 0 4 0 653087643 531488768 46885 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814283399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=519032 CPUtime=0.46 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 15788 0 0 0 44 2 0 0 18 0 4 0 653087643 531488768 46885 33554432000 4194304 4650419 140736374169824 18446744073709551615 251814283399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=519032 CPUtime=0.46 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 9637 0 0 0 44 2 0 0 18 0 4 0 653087643 531488768 46885 33554432000 4194304 4650419 140736374169824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 519032

[startup+0.701177 s]
/proc/loadavg: 3.72 5.00 6.49 6/388 29113
/proc/meminfo: memFree=26967668/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=425944 CPUtime=2.74 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 62433 0 0 0 262 12 0 0 18 0 4 0 653087642 436166656 41955 33554432000 4194304 4650419 140736374169824 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 106486 41955 373 112 0 101451 0
[pid=29113/tid=29114] ppid=29111 vsize=425944 CPUtime=0.66 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 17658 0 0 0 64 2 0 0 25 0 4 0 653087643 436166656 41955 33554432000 4194304 4650419 140736374169824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=425944 CPUtime=0.67 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 17632 0 0 0 65 2 0 0 18 0 4 0 653087643 436166656 41955 33554432000 4194304 4650419 140736374169824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=425944 CPUtime=0.69 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 9856 0 0 0 66 3 0 0 18 0 4 0 653087643 436166656 41955 33554432000 4194304 4650419 140736374169824 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 425944

[startup+1.50104 s]
/proc/loadavg: 3.72 5.00 6.49 9/392 29117
/proc/meminfo: memFree=26772832/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=431328 CPUtime=5.93 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 67022 0 0 0 580 13 0 0 19 0 4 0 653087642 441679872 46544 33554432000 4194304 4650419 140736374169824 18446744073709551615 4313319 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 107832 46544 376 112 0 102797 0
[pid=29113/tid=29114] ppid=29111 vsize=431328 CPUtime=1.47 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 18986 0 0 0 144 3 0 0 25 0 4 0 653087643 441679872 46544 33554432000 4194304 4650419 140736374169824 18446744073709551615 4313719 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=431328 CPUtime=1.47 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 18970 0 0 0 144 3 0 0 19 0 4 0 653087643 441679872 46544 33554432000 4194304 4650419 140736374169824 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=431328 CPUtime=1.49 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 10465 0 0 0 146 3 0 0 19 0 4 0 653087643 441679872 46544 33554432000 4194304 4650419 140736374169824 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 431328

[startup+3.10077 s]
/proc/loadavg: 3.72 5.00 6.49 9/392 29117
/proc/meminfo: memFree=26523344/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=645608 CPUtime=12.29 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 126186 0 0 0 1204 25 0 0 20 0 4 0 653087642 661102592 105597 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476354 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 161402 105597 409 112 0 156367 0
[pid=29113/tid=29114] ppid=29111 vsize=645608 CPUtime=3.06 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 38505 0 0 0 299 7 0 0 20 0 4 0 653087643 661102592 105597 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=645608 CPUtime=3.07 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 38321 0 0 0 300 7 0 0 20 0 4 0 653087643 661102592 105597 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476367 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=645608 CPUtime=3.08 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 11301 0 0 0 305 3 0 0 25 0 4 0 653087643 661102592 105597 33554432000 4194304 4650419 140736374169824 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 645608

[startup+6.30024 s]
/proc/loadavg: 4.06 5.05 6.50 9/392 29117
/proc/meminfo: memFree=26474644/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=646012 CPUtime=25.03 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 127929 0 0 0 2478 25 0 0 25 0 4 0 653087642 661516288 107336 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 161503 107336 412 112 0 156468 0
[pid=29113/tid=29114] ppid=29111 vsize=646012 CPUtime=6.25 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 38531 0 0 0 618 7 0 0 25 0 4 0 653087643 661516288 107336 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=646012 CPUtime=6.27 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 38349 0 0 0 620 7 0 0 25 0 4 0 653087643 661516288 107336 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=646012 CPUtime=6.29 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 12963 0 0 0 625 4 0 0 25 0 4 0 653087643 661516288 107336 33554432000 4194304 4650419 140736374169824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 646012

[startup+12.7012 s]
/proc/loadavg: 4.38 5.09 6.51 9/392 29147
/proc/meminfo: memFree=26412388/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=704448 CPUtime=50.56 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 159158 0 0 0 5026 30 0 0 25 0 4 0 653087642 721354752 132119 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 176112 132119 413 112 0 171077 0
[pid=29113/tid=29114] ppid=29111 vsize=704448 CPUtime=12.65 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 39500 0 0 0 1258 7 0 0 25 0 4 0 653087643 721354752 132119 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=704448 CPUtime=12.67 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 39316 0 0 0 1260 7 0 0 25 0 4 0 653087643 721354752 132119 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=704448 CPUtime=12.69 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 41288 0 0 0 1261 8 0 0 25 0 4 0 653087643 721354752 132119 33554432000 4194304 4650419 140736374169824 18446744073709551615 4504103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 704448

[startup+25.501 s]
/proc/loadavg: 5.18 5.24 6.53 6/384 29198
/proc/meminfo: memFree=26472196/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=735708 CPUtime=101.59 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 202985 0 0 0 10123 36 0 0 25 0 4 0 653087642 753364992 134666 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 183927 134666 392 112 0 178892 0
[pid=29113/tid=29114] ppid=29111 vsize=735708 CPUtime=25.45 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 53469 0 0 0 2536 9 0 0 25 0 4 0 653087643 753364992 134666 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=735708 CPUtime=25.47 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 58679 0 0 0 2537 10 0 0 25 0 4 0 653087643 753364992 134666 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=735708 CPUtime=25.49 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 51069 0 0 0 2540 9 0 0 25 0 4 0 653087643 753364992 134666 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 735708

[startup+51.1007 s]
/proc/loadavg: 6.20 5.47 6.58 9/392 29208
/proc/meminfo: memFree=26062592/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=735708 CPUtime=203.66 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 268331 0 0 0 20322 44 0 0 25 0 4 0 653087642 753364992 133115 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 183927 133115 392 112 0 178892 0
[pid=29113/tid=29114] ppid=29111 vsize=735708 CPUtime=51.04 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 69793 0 0 0 5093 11 0 0 25 0 4 0 653087643 753364992 133115 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=735708 CPUtime=51.07 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 84646 0 0 0 5093 14 0 0 25 0 4 0 653087643 753364992 133115 33554432000 4194304 4650419 140736374169824 18446744073709551615 4441903 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=735708 CPUtime=51.08 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 74124 0 0 0 5097 11 0 0 25 0 4 0 653087643 753364992 133115 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.66
Current children cumulated vsize (KiB) 735708

[startup+102.301 s]
/proc/loadavg: 7.28 5.87 6.65 9/392 29209
/proc/meminfo: memFree=25878064/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=880044 CPUtime=407.85 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 501923 0 0 0 40702 83 0 0 25 0 4 0 653087642 901165056 157604 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 220011 157604 409 112 0 214976 0
[pid=29113/tid=29114] ppid=29111 vsize=880044 CPUtime=102.25 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 96500 0 0 0 10210 15 0 0 25 0 4 0 653087643 901165056 157604 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=880044 CPUtime=102.28 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 109970 0 0 0 10210 18 0 0 25 0 4 0 653087643 901165056 157604 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=880044 CPUtime=102.3 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 250663 0 0 0 10190 40 0 0 25 0 4 0 653087643 901165056 157604 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 880044

[startup+162.301 s]

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

/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 429231 0 0 0 22165 57 0 0 25 0 4 0 653087643 969056256 178366 33554432000 4194304 4650419 140736374169824 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=946344 CPUtime=222.28 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 988146 0 0 0 22099 129 0 0 25 0 4 0 653087643 969056256 178366 33554432000 4194304 4650419 140736374169824 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=946344 CPUtime=222.3 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 786246 0 0 0 22117 113 0 0 25 0 4 0 653087643 969056256 178366 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.31
Current children cumulated vsize (KiB) 946344

[startup+282.301 s]
/proc/loadavg: 8.07 6.88 6.90 9/392 29244
/proc/meminfo: memFree=26054372/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1028912 CPUtime=1125.49 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) R 29111 29113 28704 0 -1 4202496 2647035 0 0 0 112187 362 0 0 25 0 4 0 653087642 1053605888 190932 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 257228 190932 395 112 0 252193 0
[pid=29113/tid=29114] ppid=29111 vsize=1028912 CPUtime=282.19 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 813514 0 0 0 28112 107 0 0 25 0 4 0 653087643 1053605888 190932 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1028912 CPUtime=282.27 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 989714 0 0 0 28098 129 0 0 25 0 4 0 653087643 1053605888 190932 33554432000 4194304 4650419 140736374169824 18446744073709551615 4303888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1028912 CPUtime=282.29 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 786249 0 0 0 28116 113 0 0 25 0 4 0 653087643 1053605888 190932 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1125.49
Current children cumulated vsize (KiB) 1028912

[startup+342.301 s]
/proc/loadavg: 7.67 7.01 6.95 7/392 29246
/proc/meminfo: memFree=25925904/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1334.05 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 133032 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=342.18 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 34109 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=342.3 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 34114 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645508 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1334.05
Current children cumulated vsize (KiB) 1144020

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

[startup+358.401 s]
/proc/loadavg: 7.30 6.96 6.93 7/392 29246
/proc/meminfo: memFree=25897864/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1366.25 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 136252 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=358.28 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 35719 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=358.4 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 35724 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645508 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1366.25
Current children cumulated vsize (KiB) 1144020

[startup+371.201 s]
/proc/loadavg: 7.08 6.93 6.92 7/392 29246
/proc/meminfo: memFree=25903808/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1391.84 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 138811 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=371.07 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 36998 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=371.2 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 37004 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4205400 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1391.84
Current children cumulated vsize (KiB) 1144020

[startup+377.601 s]
/proc/loadavg: 6.99 6.92 6.91 7/392 29247
/proc/meminfo: memFree=25886056/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1404.64 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 140091 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=377.47 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 37638 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=377.6 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 37644 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645508 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1404.64
Current children cumulated vsize (KiB) 1144020

[startup+380.8 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25879608/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1411.04 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 140731 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=380.67 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 37958 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=380.8 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 37964 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645355 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1411.04
Current children cumulated vsize (KiB) 1144020

[startup+382.401 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25878244/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1414.24 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 141051 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=382.27 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 38118 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=382.4 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 38124 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645355 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1414.24
Current children cumulated vsize (KiB) 1144020

[startup+383.201 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25872416/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1415.84 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2681874 0 0 0 141211 373 0 0 25 0 4 0 653087642 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213294 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=383.07 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821563 0 0 0 38198 109 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=383.2 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 38204 116 0 0 25 0 4 0 653087643 1171476480 213294 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645355 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1415.84
Current children cumulated vsize (KiB) 1144020

[startup+384.015 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25871052/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1417.47 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2682141 0 0 0 141374 373 0 0 25 0 4 0 653087642 1171476480 213561 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213562 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=383.89 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821831 0 0 0 38280 109 0 0 25 0 4 0 653087643 1171476480 213562 33554432000 4194304 4650419 140736374169824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213562 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=384.01 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 38285 116 0 0 25 0 4 0 653087643 1171476480 213562 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645504 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1417.47
Current children cumulated vsize (KiB) 1144020

[startup+384.201 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25871052/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=1144020 CPUtime=1417.84 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) S 29111 29113 28704 0 -1 4202496 2682270 0 0 0 141411 373 0 0 25 0 4 0 653087642 1171476480 213690 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 286005 213690 395 112 0 280970 0
[pid=29113/tid=29114] ppid=29111 vsize=1144020 CPUtime=384.07 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 821959 0 0 0 38298 109 0 0 25 0 4 0 653087643 1171476480 213690 33554432000 4194304 4650419 140736374169824 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29113/tid=29115] ppid=29111 vsize=1144020 CPUtime=326.89 cores=1,3,5,7
/proc/29113/task/29115/stat : 29115 (strangenight1-m) S 29111 29113 28704 0 -1 4202560 1007833 0 0 0 32555 134 0 0 25 0 4 0 653087643 1171476480 213690 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005669940 0 0 4096 2 18446604468851144512 0 0 -1 1 0 0 0
[pid=29113/tid=29116] ppid=29111 vsize=1144020 CPUtime=384.2 cores=1,3,5,7
/proc/29113/task/29116/stat : 29116 (strangenight1-m) R 29111 29113 28704 0 -1 4202560 793768 0 0 0 38304 116 0 0 25 0 4 0 653087643 1171476480 213690 33554432000 4194304 4650419 140736374169824 18446744073709551615 47261005645508 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1417.84
Current children cumulated vsize (KiB) 1144020

[startup+384.301 s]
/proc/loadavg: 6.91 6.90 6.91 7/392 29247
/proc/meminfo: memFree=25871052/32950928 swapFree=44388876/67111528
[pid=29113] ppid=29111 vsize=0 CPUtime=1418.04 cores=1,3,5,7
/proc/29113/stat : 29113 (strangenight1-m) Z 29111 29113 28704 0 -1 4203548 2682280 0 0 0 141431 373 0 0 18 0 2 0 653087642 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/29113/statm: 0 0 0 0 0 0 0
[pid=29113/tid=29114] ppid=29111 vsize=0 CPUtime=384.17 cores=1,3,5,7
/proc/29113/task/29114/stat : 29114 (strangenight1-m) R 29111 29113 28704 0 -1 4203588 821961 0 0 0 38308 109 0 0 25 0 2 0 653087643 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1418.04
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 384.334
CPU time (s): 1418.08
CPU user time (s): 1414.31
CPU system time (s): 3.76543
CPU usage (%): 368.971
Max. virtual memory (cumulated for all children) (KiB): 1209564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1414.31
system time used= 3.76543
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2682280
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= 5134
involuntary context switches= 10306

runsolver used 1.3358 second user time and 3.53346 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-15 01:14:49
IDJOB=3369537
IDBENCH=83436
IDSOLVER=1846
FILE ID=node126/3369537-1305414889
RUNJOBID= node126-1305414889-29091
PBS_JOBID= 13324522
Free space on /tmp= 73304 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=798568600

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26969932 kB
Buffers:        263016 kB
Cached:        2462440 kB
SwapCached:      92524 kB
Active:         811020 kB
Inactive:      4918752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26969932 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           28360 kB
Writeback:           0 kB
AnonPages:     2924712 kB
Mapped:          15664 kB
Slab:           109740 kB
PageTables:      75136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88215008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73296 MiB
End job on node126 at 2011-05-15 01:21:14