Trace number 3321218

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtSAT 752.061 96.8143

General information on the benchmark

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

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3321218-1304332580/watcher-3321218-1304332580 -o /tmp/evaluation-result-3321218-1304332580/solver-3321218-1304332580 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321218-1304332580.cnf 

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

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


[startup+0 s]
/proc/loadavg: 2.40 1.10 3.07 1/248 1590
/proc/meminfo: memFree=28237088/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=11800 CPUtime=0 cores=0-7
/proc/1590/stat : 1590 (runsolver) S 1588 1590 1495 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 525673423 12083200 51 33554432000 4194304 5434984 140734588552784 18446744073709551615 4881607 0 2147483391 4096 24578 18446744071699968823 0 0 17 4 0 0 0
/proc/1590/statm: 2950 51 31 303 0 2644 0

[startup+0.04565 s]
/proc/loadavg: 2.40 1.10 3.07 1/248 1590
/proc/meminfo: memFree=28237088/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=422472 CPUtime=0.13 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 3581 0 0 0 11 2 0 0 18 0 8 0 525673423 432611328 3467 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 105618 3473 338 106 0 100589 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 422472

[startup+0.100874 s]
/proc/loadavg: 2.40 1.10 3.07 1/248 1590
/proc/meminfo: memFree=28237088/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=571384 CPUtime=0.48 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 16015 0 0 0 36 12 0 0 17 0 8 0 525673423 585097216 14212 33554432000 4194304 4627427 140733886288624 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 142717 14192 341 106 0 137688 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 571384

[startup+0.45967 s]
/proc/loadavg: 2.40 1.10 3.07 1/248 1590
/proc/meminfo: memFree=28237088/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=866864 CPUtime=3.27 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 52336 0 0 0 302 25 0 0 18 0 8 0 525673423 887668736 50393 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 216716 50393 366 106 0 211687 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 866864

[startup+0.700491 s]
/proc/loadavg: 2.40 1.10 3.07 1/248 1590
/proc/meminfo: memFree=28237088/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=874492 CPUtime=5.13 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 63668 0 0 0 484 29 0 0 18 0 8 0 525673423 895479808 61725 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 218623 61725 367 106 0 213594 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 874492

[startup+1.50034 s]
/proc/loadavg: 2.40 1.10 3.07 9/256 1598
/proc/meminfo: memFree=27967704/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=954516 CPUtime=10.52 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) D 1588 1590 1495 0 -1 4202496 102595 0 0 0 1008 44 0 0 18 0 8 0 525673423 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261313291 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 238629 100652 373 106 0 233600 0
[pid=1590/tid=1592] ppid=1588 vsize=954516 CPUtime=1.31 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) D 1588 1590 1495 0 -1 4202560 12399 0 0 0 126 5 0 0 17 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261313291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=954516 CPUtime=1.32 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) D 1588 1590 1495 0 -1 4202560 18329 0 0 0 123 9 0 0 18 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261313721 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=954516 CPUtime=1.31 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) D 1588 1590 1495 0 -1 4202560 12310 0 0 0 126 5 0 0 17 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=954516 CPUtime=1.3 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) D 1588 1590 1495 0 -1 4202560 12799 0 0 0 126 4 0 0 18 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=954516 CPUtime=1.28 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 10425 0 0 0 124 4 0 0 17 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=954516 CPUtime=1.3 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) D 1588 1590 1495 0 -1 4202560 15143 0 0 0 126 4 0 0 18 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=954516 CPUtime=1.32 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 8572 0 0 0 129 3 0 0 17 0 8 0 525673426 977424384 100652 33554432000 4194304 4627427 140733886288624 18446744073709551615 254261721582 0 0 4096 2 18446604462199982080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 954516

[startup+3.10106 s]
/proc/loadavg: 2.40 1.10 3.07 9/256 1598
/proc/meminfo: memFree=27564708/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1246352 CPUtime=22.78 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 171908 0 0 0 2213 65 0 0 19 0 8 0 525673423 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 311588 168744 382 106 0 306559 0
[pid=1590/tid=1592] ppid=1588 vsize=1246352 CPUtime=2.84 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23294 0 0 0 275 9 0 0 19 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467832 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1246352 CPUtime=2.88 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23523 0 0 0 278 10 0 0 20 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467719 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1246352 CPUtime=2.83 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23195 0 0 0 275 8 0 0 19 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1246352 CPUtime=2.83 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23039 0 0 0 276 7 0 0 20 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1246352 CPUtime=2.8 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 22861 0 0 0 272 8 0 0 19 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1246352 CPUtime=2.84 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23280 0 0 0 277 7 0 0 20 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1246352 CPUtime=2.87 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 9190 0 0 0 283 4 0 0 18 0 8 0 525673426 1276264448 168744 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.78
Current children cumulated vsize (KiB) 1246352

[startup+6.30049 s]
/proc/loadavg: 2.93 1.23 3.10 9/256 1599
/proc/meminfo: memFree=27561028/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1246352 CPUtime=48.35 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 172686 0 0 0 4769 66 0 0 25 0 8 0 525673423 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 311588 169521 383 106 0 306559 0
[pid=1590/tid=1592] ppid=1588 vsize=1246352 CPUtime=6.04 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23294 0 0 0 595 9 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1246352 CPUtime=6.08 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23523 0 0 0 598 10 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467832 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1246352 CPUtime=6.03 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23195 0 0 0 595 8 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1246352 CPUtime=6.04 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23039 0 0 0 596 8 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1246352 CPUtime=5.97 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 22861 0 0 0 589 8 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1246352 CPUtime=6.04 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 23280 0 0 0 597 7 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1246352 CPUtime=6.07 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 9968 0 0 0 603 4 0 0 25 0 8 0 525673426 1276264448 169521 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.35
Current children cumulated vsize (KiB) 1246352

[startup+12.7003 s]
/proc/loadavg: 3.33 1.34 3.12 9/256 1599
/proc/meminfo: memFree=27580496/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1260708 CPUtime=99.47 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 196837 0 0 0 9874 73 0 0 25 0 8 0 525673423 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 315177 166114 388 106 0 310148 0
[pid=1590/tid=1592] ppid=1588 vsize=1260708 CPUtime=12.43 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 26014 0 0 0 1233 10 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1260708 CPUtime=12.48 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 26872 0 0 0 1237 11 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1260708 CPUtime=12.42 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 24533 0 0 0 1234 8 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4333080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1260708 CPUtime=12.43 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 26433 0 0 0 1234 9 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1260708 CPUtime=12.32 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 25563 0 0 0 1223 9 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1260708 CPUtime=12.43 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 26043 0 0 0 1236 7 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1260708 CPUtime=12.47 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 15134 0 0 0 1241 6 0 0 25 0 8 0 525673426 1290964992 166114 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.47
Current children cumulated vsize (KiB) 1260708

[startup+25.501 s]
/proc/loadavg: 4.37 1.66 3.20 9/256 1599
/proc/meminfo: memFree=27363180/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1387336 CPUtime=201.73 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 278815 0 0 0 20081 92 0 0 25 0 8 0 525673423 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 346834 219322 391 106 0 341805 0
[pid=1590/tid=1592] ppid=1588 vsize=1387336 CPUtime=25.23 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 36209 0 0 0 2511 12 0 0 20 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1387336 CPUtime=25.26 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 38547 0 0 0 2513 13 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1387336 CPUtime=25.22 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 32943 0 0 0 2512 10 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1387336 CPUtime=25.23 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 35562 0 0 0 2511 12 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1387336 CPUtime=25.01 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 32707 0 0 0 2490 11 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1387336 CPUtime=25.23 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 33887 0 0 0 2513 10 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1387336 CPUtime=25.27 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 35377 0 0 0 2518 9 0 0 25 0 8 0 525673426 1420632064 219322 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.73
Current children cumulated vsize (KiB) 1387336

[startup+51.1005 s]
/proc/loadavg: 5.66 2.19 3.33 9/256 1600
/proc/meminfo: memFree=27218932/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1425064 CPUtime=406.31 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 367371 0 0 0 40514 117 0 0 25 0 8 0 525673423 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 356266 255824 391 106 0 351237 0
[pid=1590/tid=1592] ppid=1588 vsize=1425064 CPUtime=50.83 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 43948 0 0 0 5069 14 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1425064 CPUtime=50.87 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 45855 0 0 0 5071 16 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1425064 CPUtime=50.82 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 42512 0 0 0 5070 12 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1425064 CPUtime=50.83 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 52169 0 0 0 5067 16 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1425064 CPUtime=50.4 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 42492 0 0 0 5025 15 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4299555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1425064 CPUtime=50.83 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 45537 0 0 0 5070 13 0 0 25 0 8 0 525673426 1459265536 255824 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1425064 CPUtime=50.86 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 51433 0 0 0 5072 14 0 0 25 0 8 0 525673426 1459265536 255825 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.31

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

/proc/loadavg: 5.66 2.19 3.33 9/256 1600
/proc/meminfo: memFree=27218932/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1425064 CPUtime=407.12 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 367485 0 0 0 40595 117 0 0 25 0 8 0 525673423 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 356266 255938 391 106 0 351237 0
[pid=1590/tid=1592] ppid=1588 vsize=1425064 CPUtime=50.93 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 43962 0 0 0 5079 14 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1425064 CPUtime=50.97 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 45897 0 0 0 5081 16 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1425064 CPUtime=50.92 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 42512 0 0 0 5080 12 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1425064 CPUtime=50.93 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 52185 0 0 0 5077 16 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1425064 CPUtime=50.5 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 42508 0 0 0 5035 15 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1425064 CPUtime=50.93 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 45551 0 0 0 5080 13 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1425064 CPUtime=50.96 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 51445 0 0 0 5082 14 0 0 25 0 8 0 525673426 1459265536 255938 33554432000 4194304 4627427 140733886288624 18446744073709551615 4332783 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.12
Current children cumulated vsize (KiB) 1425064

[startup+76.8008 s]
/proc/loadavg: 6.46 2.65 3.46 9/256 1600
/proc/meminfo: memFree=27112620/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1479316 CPUtime=611.7 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 433902 0 0 0 61033 137 0 0 25 0 8 0 525673423 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 369829 280800 391 106 0 364800 0
[pid=1590/tid=1592] ppid=1588 vsize=1479316 CPUtime=76.52 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 53282 0 0 0 7636 16 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1479316 CPUtime=76.57 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 53952 0 0 0 7637 20 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1479316 CPUtime=76.51 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 55278 0 0 0 7636 15 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1479316 CPUtime=76.53 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 59424 0 0 0 7635 18 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1479316 CPUtime=75.89 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 51396 0 0 0 7571 18 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1479316 CPUtime=76.53 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 48077 0 0 0 7639 14 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1479316 CPUtime=76.55 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61452 0 0 0 7638 17 0 0 25 0 8 0 525673426 1514819584 280800 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 611.7
Current children cumulated vsize (KiB) 1479316

[startup+89.6006 s]
/proc/loadavg: 6.80 2.91 3.53 9/256 1601
/proc/meminfo: memFree=27069956/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1609992 CPUtime=713.99 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 456247 0 0 0 71254 145 0 0 25 0 8 0 525673423 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 402498 292651 391 106 0 397469 0
[pid=1590/tid=1592] ppid=1588 vsize=1609992 CPUtime=89.33 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 57635 0 0 0 8916 17 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4324600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1609992 CPUtime=89.36 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 55153 0 0 0 8916 20 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467832 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1609992 CPUtime=89.32 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 60964 0 0 0 8914 18 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1609992 CPUtime=89.33 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61128 0 0 0 8914 19 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1609992 CPUtime=88.59 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 53246 0 0 0 8839 20 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1609992 CPUtime=89.33 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 49665 0 0 0 8919 14 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1609992 CPUtime=89.35 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 67279 0 0 0 8916 19 0 0 25 0 8 0 525673426 1648631808 292651 33554432000 4194304 4627427 140733886288624 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 713.99
Current children cumulated vsize (KiB) 1609992

[startup+92.801 s]
/proc/loadavg: 6.80 2.91 3.53 9/256 1601
/proc/meminfo: memFree=27127604/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1527352 CPUtime=739.57 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 460231 0 0 0 73810 147 0 0 25 0 8 0 525673423 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 381838 277301 391 106 0 376809 0
[pid=1590/tid=1592] ppid=1588 vsize=1527352 CPUtime=92.52 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61462 0 0 0 9234 18 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1527352 CPUtime=92.56 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 55162 0 0 0 9236 20 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1527352 CPUtime=92.52 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61023 0 0 0 9234 18 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4321558 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1527352 CPUtime=92.52 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61143 0 0 0 9233 19 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1527352 CPUtime=91.76 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 53247 0 0 0 9156 20 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4515202 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1527352 CPUtime=92.53 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 49665 0 0 0 9239 14 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1527352 CPUtime=92.56 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 67352 0 0 0 9236 20 0 0 25 0 8 0 525673426 1564008448 277301 33554432000 4194304 4627427 140733886288624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 739.57
Current children cumulated vsize (KiB) 1527352

[startup+94.4007 s]
/proc/loadavg: 6.89 3.00 3.55 9/256 1601
/proc/meminfo: memFree=27114336/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1619568 CPUtime=747.29 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 463719 0 0 0 74581 148 0 0 25 0 8 0 525673423 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 404892 280506 391 106 0 399863 0
[pid=1590/tid=1592] ppid=1588 vsize=1619568 CPUtime=94.12 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61598 0 0 0 9394 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422793259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1619568 CPUtime=93.32 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 55162 0 0 0 9312 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 61023 0 0 0 9309 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 64363 0 0 0 9308 19 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1619568 CPUtime=92.52 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 53251 0 0 0 9232 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1619568 CPUtime=93.28 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 49793 0 0 0 9314 14 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1619568 CPUtime=93.31 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 67352 0 0 0 9311 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 747.29
Current children cumulated vsize (KiB) 1619568

[startup+96.0004 s]
/proc/loadavg: 6.89 3.00 3.55 3/256 1601
/proc/meminfo: memFree=27114584/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1619568 CPUtime=750.49 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 463719 0 0 0 74901 148 0 0 25 0 8 0 525673423 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 4427854 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 404892 280506 391 106 0 399863 0
[pid=1590/tid=1592] ppid=1588 vsize=1619568 CPUtime=95.72 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61598 0 0 0 9554 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 4219945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1619568 CPUtime=93.32 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 55162 0 0 0 9312 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 61023 0 0 0 9309 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 64363 0 0 0 9308 19 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1619568 CPUtime=92.52 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 53251 0 0 0 9232 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1619568 CPUtime=93.28 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 49793 0 0 0 9314 14 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1619568 CPUtime=93.31 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 67352 0 0 0 9311 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 750.49
Current children cumulated vsize (KiB) 1619568

[startup+96.4004 s]
/proc/loadavg: 6.89 3.00 3.55 3/256 1601
/proc/meminfo: memFree=27114584/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=1619568 CPUtime=751.29 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) R 1588 1590 1495 0 -1 4202496 463719 0 0 0 74981 148 0 0 25 0 8 0 525673423 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 4520564 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 404892 280506 391 106 0 399863 0
[pid=1590/tid=1592] ppid=1588 vsize=1619568 CPUtime=96.12 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202560 61598 0 0 0 9594 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 4205600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1590/tid=1593] ppid=1588 vsize=1619568 CPUtime=93.32 cores=0-7
/proc/1590/task/1593/stat : 1593 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 55162 0 0 0 9312 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 4 0 0 0
[pid=1590/tid=1594] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1594/stat : 1594 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 61023 0 0 0 9309 18 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 3 0 0 0
[pid=1590/tid=1595] ppid=1588 vsize=1619568 CPUtime=93.27 cores=0-7
/proc/1590/task/1595/stat : 1595 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 64363 0 0 0 9308 19 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 2 0 0 0
[pid=1590/tid=1596] ppid=1588 vsize=1619568 CPUtime=92.52 cores=0-7
/proc/1590/task/1596/stat : 1596 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 53251 0 0 0 9232 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 7 0 0 0
[pid=1590/tid=1597] ppid=1588 vsize=1619568 CPUtime=93.28 cores=0-7
/proc/1590/task/1597/stat : 1597 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 49793 0 0 0 9314 14 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 6 0 0 0
[pid=1590/tid=1598] ppid=1588 vsize=1619568 CPUtime=93.31 cores=0-7
/proc/1590/task/1598/stat : 1598 (strangenight2-m) S 1588 1590 1495 0 -1 4202560 67352 0 0 0 9311 20 0 0 25 0 8 0 525673426 1658437632 280506 33554432000 4194304 4627427 140733886288624 18446744073709551615 47135422817844 0 0 4096 2 18446604462199982080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 751.29
Current children cumulated vsize (KiB) 1619568

[startup+96.8013 s]
/proc/loadavg: 6.89 3.00 3.55 2/250 1601
/proc/meminfo: memFree=27985560/32951124 swapFree=67111348/67111528
[pid=1590] ppid=1588 vsize=0 CPUtime=752.04 cores=0-7
/proc/1590/stat : 1590 (strangenight2-m) Z 1588 1590 1495 0 -1 4203548 464170 0 0 0 75052 152 0 0 25 0 2 0 525673423 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/1590/statm: 0 0 0 0 0 0 0
[pid=1590/tid=1592] ppid=1588 vsize=0 CPUtime=96.54 cores=0-7
/proc/1590/task/1592/stat : 1592 (strangenight2-m) R 1588 1590 1495 0 -1 4202564 61606 0 0 0 9630 24 0 0 25 0 2 0 525673426 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 752.04
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 96.8143
CPU time (s): 752.061
CPU user time (s): 750.522
CPU system time (s): 1.53877
CPU usage (%): 776.807
Max. virtual memory (cumulated for all children) (KiB): 1619568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 750.522
system time used= 1.53877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 464170
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= 60775
involuntary context switches= 3431

runsolver used 0.224965 second user time and 0.581911 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-02 12:36:21
IDJOB=3321218
IDBENCH=83443
IDSOLVER=1709
FILE ID=node140/3321218-1304332580
RUNJOBID= node140-1304332543-1509
PBS_JOBID= 13177701
Free space on /tmp= 73572 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321218-1304332580/watcher-3321218-1304332580 -o /tmp/evaluation-result-3321218-1304332580/solver-3321218-1304332580 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321218-1304332580.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=262331838

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.75
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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28237368 kB
Buffers:        996412 kB
Cached:        1903600 kB
SwapCached:        176 kB
Active:        1524744 kB
Inactive:      2674340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28237368 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           16828 kB
Writeback:           0 kB
AnonPages:     1298940 kB
Mapped:          21292 kB
Slab:           435672 kB
PageTables:      15112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 37395700 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= 73568 MiB
End job on node140 at 2011-05-02 12:37:58