Trace number 3367136

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 386.679 98.5394

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 benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367136-1305414970.cnf'
0.00/0.01	c -- header says num vars:           9044
0.00/0.01	c -- header says num clauses:      295685
0.25/0.36	c -- clauses added:            0 learnts,       295685 normals,            0 xors
0.25/0.36	c -- vars added       9044
0.25/0.36	c Parsing time:  0.11 s
0.25/0.36	c  N st     0         0      9044    272212     23233         0   2134664         0   no data   no data
0.25/0.36	c asymm  cl-useful: 0/2700/272098 lits-rem:0 time: 0.20
4.01/1.07	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:   76 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  0.71
4.41/1.15	c Replacing       76 vars Replaced   189870 lits Time:     0.08 s 
4.74/1.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4.74/1.27	c bin-w-bin subsume rem          146 bins  time:  0.00 s
4.74/1.39	c subs with bin:     2352  lits-rem:         4  v-fix:    0  time:  0.12 s
4.74/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6171 time:  0.02 s
4.74/1.42	c Removed useless bin:       0  fixed:     0  props:   1.73M  time:  0.01 s
31.86/8.08	c lits-rem:         0  cl-subs:        4  v-elim:    816  v-fix:    0  time:  6.66 s
31.86/8.09	c Finding binary XORs  T:     0.01 s  found:       0
35.05/8.87	c Finding non-binary XORs:     0.76 s (found:       0, avg size: nan)
35.05/8.87	c calculated reachability. Time: 0.00
35.05/8.88	c Calc default polars -  time:   0.01 s pos:     330 undec:    1037 neg:    7677
35.05/8.88	c =========================================================================================
35.05/8.88	c types(t): F = full restart, N = normal restart
35.05/8.88	c types(t): S = simplification begin/end, E = solution found
35.05/8.88	c restart types(rt): st = static, dy = dynamic
35.05/8.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
35.05/8.88	c  B st     0         0      8007    270795     20413         0   2124244         0   no data   no data
37.45/9.47	c  N dy    19      4038      8007    270795     20547      3861   2124244    138229      9.31      9.95
39.04/9.89	c  N dy    40      8245      8002    270795     21240      7918   2124244    286446      9.24      9.74
42.25/10.64	c  N dy    64     13554      8002    270795     21339     13070   2124244    462105      9.19      9.81
42.25/10.67	c Finding binary XORs  T:     0.01 s  found:       0
44.62/11.24	c  N dy    85     17604      8001    270792     21874     16982   2124117    602520      9.20      9.75
47.05/11.84	c  N dy   111     21774      8001    270792     22154     11402   2124117    238804      9.28     10.05
48.61/12.29	c  F st   134     25000      7998    270792     22220     14529   2124117    354841      9.41   no data
49.81/12.53	c  N st   137     26188      7998    270788     22398     15670   2124077    405334      9.41   no data
51.79/13.02	c  S st   140     30000      7998    270788     22451     19401   2124077    597826      9.41   no data
52.59/13.27	c  S st   140     30501      7998    270788     22474     19879   2124077    613126      9.41   no data
52.59/13.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
60.57/15.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 326899 BRemL: 302204 BRemN:      0 P: 49.6M T:  1.94
60.97/15.30	c blocked clauses removed:        0 vars:      0 tried:        7998 T: 0.00 s
60.97/15.31	c bin-w-bin subsume rem           55 bins  time:  0.00 s
61.37/15.41	c subs with bin:     1510  lits-rem:      2346  v-fix:    0  time:  0.10 s
61.37/15.43	c Subs w/ non-existent bins:      0 l-rem:     11 v-fix:     0 done:   1494 time:  0.02 s
61.37/15.44	c Removed useless bin:       0  fixed:     0  props:   0.86M  time:  0.01 s
81.74/20.52	c lits-rem:         0  cl-subs:     2428  v-elim:     99  v-fix:    0  time:  5.07 s
83.71/21.02	c subs with bin:       54  lits-rem:     14523  v-fix:    0  time:  0.47 s
102.87/25.87	c lits-rem:        49  cl-subs:      744  v-elim:      0  v-fix:    0  time:  4.80 s
104.10/26.18	c asymm  cl-useful: 0/3019/267043 lits-rem:0 time: 0.30
104.10/26.19	c calculated reachability. Time: 0.00
104.10/26.19	c  N dy   140     30501      7899    267043     45853     15012   2096975    470314      9.41   no data
104.45/26.21	c Finding binary XORs  T:     0.01 s  found:       0
107.25/26.93	c Finding binary XORs  T:     0.01 s  found:       1
107.65/27.01	c  N dy   166     34575      7883    266078    353221     19028   2090270   1225967      9.48     10.24
111.25/27.90	c  N dy   187     38996      7883    266078    354548     23422   2090270   1390166      9.40      9.93
114.03/28.69	c  N dy   210     43133      7883    266078    354549     14430   2090270    899493      9.45      9.99
116.03/29.13	c  S st   226     45751      7883    266078    354553     17041   2090270    982909      9.46   no data
116.85/29.35	c  S st   226     46252      7883    266078    354553     17541   2090270   1000711      9.46   no data
116.85/29.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
123.21/30.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    288 BRemL: 305526 BRemN:      0 P: 46.2M T:  1.56
123.21/30.95	c Replacing        1 vars Replaced      250 lits Time:     0.01 s 
123.61/31.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.61/31.01	c bin-w-bin subsume rem         1727 bins  time:  0.00 s
123.61/31.03	c subs with bin:        3  lits-rem:         1  v-fix:    0  time:  0.02 s
123.61/31.05	c Subs w/ non-existent bins:      0 l-rem:     29 v-fix:     0 done:   1419 time:  0.02 s
123.61/31.06	c Removed useless bin:       0  fixed:     0  props:   0.82M  time:  0.01 s
156.35/39.23	c lits-rem:         0  cl-subs:        1  v-elim:      2  v-fix:    0  time:  8.18 s
157.12/39.41	c subs with bin:       19  lits-rem:        98  v-fix:    0  time:  0.16 s
179.86/45.11	c lits-rem:        21  cl-subs:      378  v-elim:      0  v-fix:    0  time:  5.65 s
180.26/45.22	c vivif2 --  cl tried   266074 cl shrink       46 lits rem         46 time: 0.11
180.26/45.24	c vivif2 --  cl tried    16852 cl shrink      732 lits rem       2491 time: 0.02
181.87/45.62	c asymm  cl-useful: 1/4140/266074 lits-rem:1 time: 0.37
181.87/45.64	c calculated reachability. Time: 0.00
181.87/45.64	c  N dy   226     46252      7880    266074     47576     16852   2090164    370069      9.46   no data
186.25/46.73	c  N dy   239     50300      7879    266074     48340     20864   2090164    697562      9.32      9.82
187.07/46.94	c Finding binary XORs  T:     0.01 s  found:       0
189.44/47.57	c  N dy   269     54395      7877    266073     48228     24875   2090057    841282      9.41     12.44
193.03/48.46	c  N dy   294     58396      7877    266073     48280     28844   2090057   1014029      9.43     10.01
196.62/49.40	c  N dy   316     62495      7877    266073     49064     32923   2090057   1166225      9.41      9.92
199.82/50.17	c  N dy   340     66570      7877    266073     49068     19670   2090057    403969      9.41     10.15
202.21/50.79	c  S st   354     69380      7877    266073     50986     22453   2090057    506641      9.40   no data
203.00/50.98	c Finding binary XORs  T:     0.01 s  found:       0
203.40/51.07	c  S st   354     69883      7877    266073     50986     22954   2090057    527605      9.40   no data
203.40/51.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
210.18/52.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    318 BRemL:   3813 BRemN:      0 P: 47.8M T:  1.65
210.59/52.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
210.59/52.81	c bin-w-bin subsume rem           21 bins  time:  0.00 s
210.59/52.83	c subs with bin:       20  lits-rem:       206  v-fix:    0  time:  0.02 s
210.59/52.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1995 time:  0.02 s
210.59/52.86	c Removed useless bin:       0  fixed:     0  props:   0.75M  time:  0.01 s
239.73/60.18	c lits-rem:         0  cl-subs:      205  v-elim:      3  v-fix:    0  time:  7.32 s
240.90/60.46	c subs with bin:       78  lits-rem:       792  v-fix:    0  time:  0.26 s
263.64/66.19	c lits-rem:        57  cl-subs:      491  v-elim:      0  v-fix:    0  time:  5.68 s
264.04/66.29	c vivif2 --  cl tried   265856 cl shrink        0 lits rem          0 time: 0.10
264.44/66.31	c vivif2 --  cl tried    22085 cl shrink      823 lits rem       6242 time: 0.02
265.24/66.56	c asymm  cl-useful: 5/2712/265856 lits-rem:5 time: 0.24
265.24/66.57	c calculated reachability. Time: 0.00
265.24/66.57	c  N dy   354     69883      7874    265856     47438     22085   2088874    492687      9.40   no data
269.24/67.54	c  N dy   367     74430      7874    265856     47788     26612   2088874    728632      9.33     10.38
273.62/68.69	c  N dy   378     80064      7873    265856     47793     32178   2088874   1152973      9.18      9.67
279.23/70.08	c  N dy   416     85354      7873    265856     47956     37424   2088874   1417622      9.21      9.71
280.80/70.49	c  F st   432     87500      7873    265856     47964     39548   2088874   1530723      9.24      8.97
283.62/71.18	c  N st   437     90798      7873    265856     47946     22928   2088826    535477      9.24   no data
287.59/72.13	c  N dy   455     96678      7873    265856     47948     28756   2088826    840693      9.24      9.84
288.01/72.26	c Finding binary XORs  T:     0.01 s  found:       0
294.77/73.91	c  N dy   498    103532      7873    265856     47961     35539   2088826   1210344      9.27      9.90
296.37/74.33	c  S st   506    104824      7873    265856     47969     36821   2088826   1271567      9.26   no data
297.56/74.64	c  S st   506    105324      7873    265856     47969     37321   2088826   1288649      9.26   no data
297.56/74.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
304.35/76.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    531 BRemL:    540 BRemN:      0 P: 49.6M T:  1.73
304.75/76.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
304.75/76.46	c bin-w-bin subsume rem            9 bins  time:  0.00 s
304.75/76.48	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.02 s
304.75/76.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1110 time:  0.02 s
305.15/76.51	c Removed useless bin:       0  fixed:     0  props:   0.72M  time:  0.01 s
334.67/83.92	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  7.42 s
339.45/85.16	c subs with bin:      507  lits-rem:      1122  v-fix:    0  time:  1.19 s
380.06/95.52	c lits-rem:        98  cl-subs:      822  v-elim:      0  v-fix:    0  time: 10.31 s
380.36/95.62	c vivif2 --  cl tried   265856 cl shrink        6 lits rem          6 time: 0.10
380.36/95.69	c vivif2 --  cl tried    35349 cl shrink     3324 lits rem      31553 time: 0.07
381.26/95.94	c asymm  cl-useful: 0/359/265856 lits-rem:0 time: 0.25
381.26/95.96	c calculated reachability. Time: 0.00
381.26/95.96	c  N dy   506    105324      7870    265856     47872     35349   2088875   1199246      9.26   no data
386.61/98.51	c Following stats are for *FIRST FINISHED THREAD ONLY*
386.61/98.51	c num threads              : 4          
386.61/98.51	c restarts                 : 880        
386.61/98.51	c dynamic restarts         : 862        
386.61/98.51	c static restarts          : 18         
386.61/98.51	c full restarts            : 2          
386.61/98.51	c total simplify time      : 0.16       
386.61/98.51	c learnts DL2              : 0          
386.61/98.51	c learnts size 2           : 659186     
386.61/98.51	c learnts size 1           : 176         (1.95      % of vars)
386.61/98.51	c filedLit time            : 6.01        (6.11      % time)
386.61/98.51	c v-elim SatELite          : 917         (10.14     % vars)
386.61/98.51	c SatELite time            : 43.07       (43.80     % time)
386.61/98.51	c v-elim xor               : 0           (0.00      % vars)
386.61/98.51	c xor elim time            : 0.05        (0.05      % time)
386.61/98.51	c num binary xor trees     : 77         
386.61/98.51	c binxor trees' crown      : 77          (1.00      leafs/tree)
386.61/98.51	c bin xor find time        : 0.09       
386.61/98.51	c OTF clause improved      : 1120        (0.01      clauses/conflict)
386.61/98.51	c OTF impr. size diff      : 1299        (1.16       lits/clause)
386.61/98.51	c OTF cl watch-shrink      : 114620      (0.66      clauses/conflict)
386.61/98.51	c OTF cl watch-sh-lit      : 696665      (6.08       lits/clause)
386.61/98.51	c tried to recurMin cls    : 77114       (44.40      % of conflicts)
386.61/98.51	c updated cache            : 0           (0.00       lits/tried recurMin)
386.61/98.51	c unit cls recevied        : 7           (3.98      % of units)
386.61/98.51	c unit cls sent            : 4           (2.27      % of units)
386.61/98.51	c bin cls recevied         : 315072     
386.61/98.51	c bin cls sent             : 2874       
386.61/98.51	c clauses over max glue    : 0           (0.00      % of all clauses)
386.61/98.51	c conflicts                : 173664      (1766.01   / sec)
386.61/98.51	c decisions                : 394444      (1.84      % random)
386.61/98.51	c bogo-props               : 2636961589  (26815545.00 / sec)
386.61/98.51	c conflict literals        : 8020596     (28.79     % deleted)
386.61/98.51	c Memory used              : 881.43      MB
386.61/98.51	c single-thread CPU time   : 98.34       s
386.61/98.51	c all-threads sum CPU time : 386.11      s
386.61/98.51	s SATISFIABLE
386.61/98.51	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367136-1305414970/watcher-3367136-1305414970 -o /tmp/evaluation-result-3367136-1305414970/solver-3367136-1305414970 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367136-1305414970.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653095876 52396032 352 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234713 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 12792 352 302 95 0 7774 0
[pid=15501/tid=15502] ppid=15499 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653095877 52396032 352 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234707 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653095877 52396032 352 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293235122 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653095877 52396032 352 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234713 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.069124 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=297412 CPUtime=0.25 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) D 15499 15501 15323 0 -1 4202496 13143 0 0 0 22 3 0 0 25 0 4 0 653095876 304549888 12157 33554432000 4194304 4580107 140734261214816 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 75247 15579 338 95 0 70229 0
[pid=15501/tid=15502] ppid=15499 vsize=301528 CPUtime=0.07 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) D 15499 15501 15323 0 -1 4202560 4123 0 0 0 7 0 0 0 18 0 4 0 653095877 308764672 15615 33554432000 4194304 4580107 140734261214816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=301796 CPUtime=0.06 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) D 15499 15501 15323 0 -1 4202560 4080 0 0 0 6 0 0 0 18 0 4 0 653095877 309039104 15618 33554432000 4194304 4580107 140734261214816 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=302604 CPUtime=0.08 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 3972 0 0 0 7 1 0 0 18 0 4 0 653095877 309866496 15776 33554432000 4194304 4580107 140734261214816 18446744073709551615 268272746922 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 297412

[startup+0.360958 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=441892 CPUtime=1.42 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 27359 0 0 0 136 6 0 0 25 0 4 0 653095876 452497408 26371 33554432000 4194304 4580107 140734261214816 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 110691 27018 360 95 0 105673 0
[pid=15501/tid=15502] ppid=15499 vsize=444400 CPUtime=0.4 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 7126 0 0 0 39 1 0 0 18 0 4 0 653095877 455065600 28314 33554432000 4194304 4580107 140734261214816 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=445324 CPUtime=0.42 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) D 15499 15501 15323 0 -1 4202560 7517 0 0 0 41 1 0 0 18 0 4 0 653095877 456011776 29176 33554432000 4194304 4580107 140734261214816 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=449132 CPUtime=0.8 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 7760 0 0 0 78 2 0 0 18 0 4 0 653095877 459911168 32813 33554432000 4194304 4580107 140734261214816 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 441892

[startup+0.916467 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=449972 CPUtime=3.61 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 34381 0 0 0 353 8 0 0 25 0 4 0 653095876 460771328 33393 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 112493 33393 360 95 0 107475 0
[pid=15501/tid=15502] ppid=15499 vsize=449972 CPUtime=0.9 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8656 0 0 0 88 2 0 0 19 0 4 0 653095877 460771328 33393 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=449972 CPUtime=0.89 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8708 0 0 0 88 1 0 0 19 0 4 0 653095877 460771328 33393 33554432000 4194304 4580107 140734261214816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=449972 CPUtime=0.9 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 7863 0 0 0 88 2 0 0 19 0 4 0 653095877 460771328 33393 33554432000 4194304 4580107 140734261214816 18446744073709551615 4319849 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 449972

[startup+1.01645 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=449972 CPUtime=4.01 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 34662 0 0 0 393 8 0 0 25 0 4 0 653095876 460771328 33674 33554432000 4194304 4580107 140734261214816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 112493 33674 361 95 0 107475 0
[pid=15501/tid=15502] ppid=15499 vsize=449972 CPUtime=1 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8725 0 0 0 98 2 0 0 19 0 4 0 653095877 460771328 33674 33554432000 4194304 4580107 140734261214816 18446744073709551615 4234883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=449972 CPUtime=0.99 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8712 0 0 0 98 1 0 0 19 0 4 0 653095877 460771328 33674 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=449972 CPUtime=1 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8065 0 0 0 98 2 0 0 19 0 4 0 653095877 460771328 33674 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 449972

[startup+1.52636 s]
/proc/loadavg: 7.46 7.94 7.81 5/320 15501
/proc/meminfo: memFree=27914200/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=507192 CPUtime=6.03 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 78292 0 0 0 585 18 0 0 18 0 4 0 653095876 519364608 77072 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 126798 77072 374 95 0 121780 0
[pid=15501/tid=15502] ppid=15499 vsize=507192 CPUtime=1.5 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23040 0 0 0 145 5 0 0 18 0 4 0 653095877 519364608 77072 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=507192 CPUtime=1.49 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23216 0 0 0 145 4 0 0 18 0 4 0 653095877 519364608 77072 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=507192 CPUtime=1.51 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8377 0 0 0 149 2 0 0 18 0 4 0 653095877 519364608 77073 33554432000 4194304 4580107 140734261214816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 507192

[startup+3.10109 s]
/proc/loadavg: 7.51 7.94 7.82 9/324 15505
/proc/meminfo: memFree=27563140/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=507192 CPUtime=12.3 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 78721 0 0 0 1212 18 0 0 20 0 4 0 653095876 519364608 77501 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 126798 77501 374 95 0 121780 0
[pid=15501/tid=15502] ppid=15499 vsize=507192 CPUtime=3.07 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23040 0 0 0 302 5 0 0 20 0 4 0 653095877 519364608 77501 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=507192 CPUtime=3.04 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23216 0 0 0 300 4 0 0 20 0 4 0 653095877 519364608 77501 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=507192 CPUtime=3.08 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 8805 0 0 0 306 2 0 0 20 0 4 0 653095877 519364608 77501 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 507192

[startup+6.31252 s]
/proc/loadavg: 7.55 7.94 7.82 9/324 15505
/proc/meminfo: memFree=27531544/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=507192 CPUtime=25.11 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 79474 0 0 0 2493 18 0 0 25 0 4 0 653095876 519364608 78254 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 126798 78254 375 95 0 121780 0
[pid=15501/tid=15502] ppid=15499 vsize=507192 CPUtime=6.29 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23040 0 0 0 624 5 0 0 25 0 4 0 653095877 519364608 78254 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=507192 CPUtime=6.22 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 23216 0 0 0 618 4 0 0 25 0 4 0 653095877 519364608 78254 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=507192 CPUtime=6.29 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 9558 0 0 0 627 2 0 0 25 0 4 0 653095877 519364608 78254 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 507192

[startup+12.7004 s]
/proc/loadavg: 7.58 7.94 7.82 9/324 15535
/proc/meminfo: memFree=27530440/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=546316 CPUtime=50.6 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 96551 0 0 0 5038 22 0 0 25 0 4 0 653095876 559427584 81443 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 136579 81443 380 95 0 131561 0
[pid=15501/tid=15502] ppid=15499 vsize=546316 CPUtime=12.67 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 26622 0 0 0 1261 6 0 0 25 0 4 0 653095877 559427584 81443 33554432000 4194304 4580107 140734261214816 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=546316 CPUtime=12.55 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 26318 0 0 0 1250 5 0 0 25 0 4 0 653095877 559427584 81443 33554432000 4194304 4580107 140734261214816 18446744073709551615 4249079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=546316 CPUtime=12.68 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 16924 0 0 0 1264 4 0 0 25 0 4 0 653095877 559427584 81443 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 546316

[startup+25.5011 s]
/proc/loadavg: 7.80 7.97 7.83 9/324 15565
/proc/meminfo: memFree=27306584/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=689796 CPUtime=101.67 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 142320 0 0 0 10137 30 0 0 25 0 4 0 653095876 706351104 117760 33554432000 4194304 4580107 140734261214816 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 172449 117760 380 95 0 167431 0
[pid=15501/tid=15502] ppid=15499 vsize=689796 CPUtime=25.47 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 35718 0 0 0 2539 8 0 0 25 0 4 0 653095877 706351104 117760 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=689796 CPUtime=25.22 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 35695 0 0 0 2515 7 0 0 25 0 4 0 653095877 706351104 117760 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=689796 CPUtime=25.48 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 36266 0 0 0 2541 7 0 0 25 0 4 0 653095877 706351104 117760 33554432000 4194304 4580107 140734261214816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 689796

[startup+51.1006 s]
/proc/loadavg: 8.01 8.01 7.84 9/324 15566
/proc/meminfo: memFree=27141368/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=771048 CPUtime=203.8 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 177063 0 0 0 20342 38 0 0 25 0 4 0 653095876 789553152 127904 33554432000 4194304 4580107 140734261214816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 192762 127904 380 95 0 187744 0
[pid=15501/tid=15502] ppid=15499 vsize=771048 CPUtime=51.06 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 44423 0 0 0 5096 10 0 0 25 0 4 0 653095877 789553152 127904 33554432000 4194304 4580107 140734261214816 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=771048 CPUtime=50.57 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 44755 0 0 0 5048 9 0 0 25 0 4 0 653095877 789553152 127904 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=771048 CPUtime=51.07 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 47681 0 0 0 5098 9 0 0 25 0 4 0 653095877 789553152 127904 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 771048

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

[startup+51.9004 s]
/proc/loadavg: 8.01 8.01 7.84 9/324 15566
/proc/meminfo: memFree=27130556/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=771048 CPUtime=207 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 177379 0 0 0 20661 39 0 0 25 0 4 0 653095876 789553152 128220 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 192762 128220 380 95 0 187744 0
[pid=15501/tid=15502] ppid=15499 vsize=771048 CPUtime=51.86 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 44534 0 0 0 5176 10 0 0 25 0 4 0 653095877 789553152 128221 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=771048 CPUtime=51.36 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 44755 0 0 0 5127 9 0 0 25 0 4 0 653095877 789553152 128221 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=771048 CPUtime=51.87 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 47887 0 0 0 5178 9 0 0 25 0 4 0 653095877 789553152 128221 33554432000 4194304 4580107 140734261214816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 207
Current children cumulated vsize (KiB) 771048

[startup+77.5009 s]
/proc/loadavg: 8.00 8.00 7.85 9/324 15567
/proc/meminfo: memFree=26934852/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=813756 CPUtime=309.13 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 210053 0 0 0 30865 48 0 0 25 0 4 0 653095876 833286144 148722 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 203439 148722 380 95 0 198421 0
[pid=15501/tid=15502] ppid=15499 vsize=813756 CPUtime=77.46 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 52674 0 0 0 7734 12 0 0 25 0 4 0 653095877 833286144 148722 33554432000 4194304 4580107 140734261214816 18446744073709551615 4416098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=813756 CPUtime=76.7 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 52339 0 0 0 7658 12 0 0 25 0 4 0 653095877 833286144 148722 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=813756 CPUtime=77.47 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 63567 0 0 0 7734 13 0 0 25 0 4 0 653095877 833286144 148722 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 309.13
Current children cumulated vsize (KiB) 813756

[startup+90.3006 s]
/proc/loadavg: 8.00 8.00 7.85 9/324 15567
/proc/meminfo: memFree=26881476/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=360.2 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 229941 0 0 0 35967 53 0 0 25 0 4 0 653095876 924246016 165668 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 165668 380 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=90.25 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 57810 0 0 0 9012 13 0 0 25 0 4 0 653095877 924246016 165668 33554432000 4194304 4580107 140734261214816 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=89.37 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58283 0 0 0 8924 13 0 0 25 0 4 0 653095877 924246016 165668 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=90.27 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 72048 0 0 0 9011 16 0 0 25 0 4 0 653095877 924246016 165668 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 360.2
Current children cumulated vsize (KiB) 902584

[startup+93.501 s]
/proc/loadavg: 8.08 8.02 7.85 9/324 15567
/proc/meminfo: memFree=26868576/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=372.97 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) R 15499 15501 15323 0 -1 4202496 230265 0 0 0 37244 53 0 0 25 0 4 0 653095876 924246016 165992 33554432000 4194304 4580107 140734261214816 18446744073709551615 4416732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 165992 380 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=93.45 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58134 0 0 0 9332 13 0 0 25 0 4 0 653095877 924246016 165992 33554432000 4194304 4580107 140734261214816 18446744073709551615 4205160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=92.54 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58283 0 0 0 9241 13 0 0 25 0 4 0 653095877 924246016 165992 33554432000 4194304 4580107 140734261214816 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=93.47 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 72048 0 0 0 9331 16 0 0 25 0 4 0 653095877 924246016 165992 33554432000 4194304 4580107 140734261214816 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 372.97
Current children cumulated vsize (KiB) 902584

[startup+96.7005 s]
/proc/loadavg: 8.00 8.00 7.85 7/324 15567
/proc/meminfo: memFree=26846752/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=383.02 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) S 15499 15501 15323 0 -1 4202496 230443 0 0 0 38249 53 0 0 25 0 4 0 653095876 924246016 166170 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 166170 380 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=96.65 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58134 0 0 0 9652 13 0 0 25 0 4 0 653095877 924246016 166170 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293210155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=93.63 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) S 15499 15501 15323 0 -1 4202560 58400 0 0 0 9350 13 0 0 25 0 4 0 653095877 924246016 166170 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446604452420669632 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=96.67 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 72102 0 0 0 9651 16 0 0 25 0 4 0 653095877 924246016 166170 33554432000 4194304 4580107 140734261214816 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 383.02
Current children cumulated vsize (KiB) 902584

[startup+97.5003 s]
/proc/loadavg: 8.00 8.00 7.85 7/324 15567
/proc/meminfo: memFree=26837452/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=384.62 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) S 15499 15501 15323 0 -1 4202496 231988 0 0 0 38409 53 0 0 25 0 4 0 653095876 924246016 167708 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 167708 385 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=97.46 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58134 0 0 0 9733 13 0 0 25 0 4 0 653095877 924246016 167708 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293210155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=93.63 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) S 15499 15501 15323 0 -1 4202560 58400 0 0 0 9350 13 0 0 25 0 4 0 653095877 924246016 167708 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446604452420669632 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=97.48 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 73647 0 0 0 9732 16 0 0 25 0 4 0 653095877 924246016 167708 33554432000 4194304 4580107 140734261214816 18446744073709551615 4416854 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 384.62
Current children cumulated vsize (KiB) 902584

[startup+98.3012 s]
/proc/loadavg: 8.00 8.00 7.85 7/324 15567
/proc/meminfo: memFree=26837452/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=386.22 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) S 15499 15501 15323 0 -1 4202496 232522 0 0 0 38569 53 0 0 25 0 4 0 653095876 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 167202 380 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=98.25 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58134 0 0 0 9812 13 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293210155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=93.63 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) S 15499 15501 15323 0 -1 4202560 58400 0 0 0 9350 13 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446604452420669632 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=98.27 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 74181 0 0 0 9811 16 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.22
Current children cumulated vsize (KiB) 902584

[startup+98.5001 s]
/proc/loadavg: 8.00 8.00 7.85 7/324 15567
/proc/meminfo: memFree=26837452/32950928 swapFree=60199044/67111528
[pid=15501] ppid=15499 vsize=902584 CPUtime=386.61 cores=0,2,4,6
/proc/15501/stat : 15501 (strangenight2-m) S 15499 15501 15323 0 -1 4202496 232522 0 0 0 38608 53 0 0 25 0 4 0 653095876 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15501/statm: 225646 167202 380 95 0 220628 0
[pid=15501/tid=15502] ppid=15499 vsize=902584 CPUtime=98.45 cores=0,2,4,6
/proc/15501/task/15502/stat : 15502 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 58134 0 0 0 9832 13 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293210308 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15501/tid=15503] ppid=15499 vsize=902584 CPUtime=93.63 cores=0,2,4,6
/proc/15501/task/15503/stat : 15503 (strangenight2-m) S 15499 15501 15323 0 -1 4202560 58400 0 0 0 9350 13 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 47035293234740 0 0 4096 2 18446604452420669632 0 0 -1 6 0 0 0
[pid=15501/tid=15504] ppid=15499 vsize=902584 CPUtime=98.47 cores=0,2,4,6
/proc/15501/task/15504/stat : 15504 (strangenight2-m) R 15499 15501 15323 0 -1 4202560 74181 0 0 0 9831 16 0 0 25 0 4 0 653095877 924246016 167202 33554432000 4194304 4580107 140734261214816 18446744073709551615 4479081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.61
Current children cumulated vsize (KiB) 902584

Child status: 10
Real time (s): 98.5394
CPU time (s): 386.679
CPU user time (s): 386.114
CPU system time (s): 0.564914
CPU usage (%): 392.411
Max. virtual memory (cumulated for all children) (KiB): 902584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 386.114
system time used= 0.564914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232530
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= 9494
involuntary context switches= 2111

runsolver used 0.305953 second user time and 0.697893 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 01:16:11
IDJOB=3367136
IDBENCH=83443
IDSOLVER=1844
FILE ID=node122/3367136-1305414970
RUNJOBID= node122-1305413763-15341
PBS_JOBID= 13324540
Free space on /tmp= 73420 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=245650683

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27914480 kB
Buffers:        278584 kB
Cached:        3364956 kB
SwapCached:      50104 kB
Active:         972684 kB
Inactive:      3854352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27914480 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           23556 kB
Writeback:           0 kB
AnonPages:     1144228 kB
Mapped:          14228 kB
Slab:           114156 kB
PageTables:      32516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52688168 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= 73408 MiB
End job on node122 at 2011-05-15 01:17:49