Trace number 3367139

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 1213.99 313.484

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark20.1839
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 409 0 0 0 1 0 0 0 21 0 4 0 653102786 52396032 349 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4252/statm: 12792 349 299 95 0 7774 0
[pid=4252/tid=4253] ppid=4250 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 653102786 52396032 349 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 653102786 52396032 349 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461932 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 653102786 52396032 349 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461938 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.028926 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=282788 CPUtime=0.08 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 3379 0 0 0 8 0 0 0 22 0 4 0 653102786 289574912 3287 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 70697 3287 336 95 0 65679 0
[pid=4252/tid=4253] ppid=4250 vsize=282788 CPUtime=0.01 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) D 4250 4252 4220 0 -1 4202560 744 0 0 0 1 0 0 0 23 0 4 0 653102786 289574912 3287 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=282788 CPUtime=0.02 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) D 4250 4252 4220 0 -1 4202560 741 0 0 0 2 0 0 0 18 0 4 0 653102786 289574912 3287 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=282788 CPUtime=0.02 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) D 4250 4252 4220 0 -1 4202560 752 0 0 0 2 0 0 0 18 0 4 0 653102786 289574912 3287 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 282788

[startup+0.10231 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=301124 CPUtime=0.36 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) D 4250 4252 4220 0 -1 4202496 17381 0 0 0 32 4 0 0 18 0 4 0 653102786 308350976 16343 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 75314 17410 338 95 0 70296 0
[pid=4252/tid=4253] ppid=4250 vsize=301524 CPUtime=0.08 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) D 4250 4252 4220 0 -1 4202560 4498 0 0 0 7 1 0 0 18 0 4 0 653102786 308760576 17413 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=301524 CPUtime=0.09 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) D 4250 4252 4220 0 -1 4202560 4504 0 0 0 8 1 0 0 18 0 4 0 653102786 308760576 17413 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=301524 CPUtime=0.08 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 4543 0 0 0 8 0 0 0 18 0 4 0 653102786 308760576 17413 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634573226 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 301124

[startup+0.542613 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=462700 CPUtime=2.07 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 44723 0 0 0 196 11 0 0 18 0 4 0 653102786 473804800 43682 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294620 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 115762 44701 360 95 0 110744 0
[pid=4252/tid=4253] ppid=4250 vsize=463456 CPUtime=0.56 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 11540 0 0 0 54 2 0 0 18 0 4 0 653102786 474578944 46365 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=463648 CPUtime=0.59 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 11641 0 0 0 56 3 0 0 18 0 4 0 653102786 474775552 46672 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=463648 CPUtime=0.59 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 12357 0 0 0 56 3 0 0 18 0 4 0 653102786 474775552 46973 33554432000 4194304 4580107 140737008333520 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.07
Current children cumulated vsize (KiB) 462700

[startup+0.710651 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=465416 CPUtime=3.61 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) D 4250 4252 4220 0 -1 4202496 52519 0 0 0 347 14 0 0 18 0 4 0 653102786 476585984 51478 33554432000 4194304 4580107 140737008333520 18446744073709551615 216634558647 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 116354 51712 360 95 0 111336 0
[pid=4252/tid=4253] ppid=4250 vsize=465556 CPUtime=0.97 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 13411 0 0 0 93 4 0 0 18 0 4 0 653102786 476729344 52608 33554432000 4194304 4580107 140737008333520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=465556 CPUtime=0.98 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 13501 0 0 0 94 4 0 0 18 0 4 0 653102786 476729344 52834 33554432000 4194304 4580107 140737008333520 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=468208 CPUtime=1.51 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 13443 0 0 0 148 3 0 0 20 0 4 0 653102786 479444992 55559 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 465416

[startup+1.63641 s]
/proc/loadavg: 6.37 7.76 7.94 2/346 4252
/proc/meminfo: memFree=26191500/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=468820 CPUtime=6.4 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 57499 0 0 0 623 17 0 0 19 0 4 0 653102786 480071680 56458 33554432000 4194304 4580107 140737008333520 18446744073709551615 4234976 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 117205 56458 361 95 0 112187 0
[pid=4252/tid=4253] ppid=4250 vsize=468820 CPUtime=1.58 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 14496 0 0 0 154 4 0 0 19 0 4 0 653102786 480071680 56458 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=468820 CPUtime=1.59 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 14481 0 0 0 154 5 0 0 19 0 4 0 653102786 480071680 56458 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=468820 CPUtime=1.6 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 13614 0 0 0 157 3 0 0 20 0 4 0 653102786 480071680 56458 33554432000 4194304 4580107 140737008333520 18446744073709551615 4317516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 468820

[startup+3.10115 s]
/proc/loadavg: 6.37 7.76 7.94 10/356 4265
/proc/meminfo: memFree=25397196/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=715248 CPUtime=12.22 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 130901 0 0 0 1190 32 0 0 19 0 4 0 653102786 732413952 129860 33554432000 4194304 4580107 140737008333520 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 178812 129860 371 95 0 173794 0
[pid=4252/tid=4253] ppid=4250 vsize=715248 CPUtime=3.03 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 38750 0 0 0 294 9 0 0 19 0 4 0 653102786 732413952 129860 33554432000 4194304 4580107 140737008333520 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=715248 CPUtime=3.05 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 38646 0 0 0 296 9 0 0 19 0 4 0 653102786 732413952 129861 33554432000 4194304 4580107 140737008333520 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=715248 CPUtime=3.07 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 14444 0 0 0 303 4 0 0 25 0 4 0 653102786 732413952 129861 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 715248

[startup+6.30059 s]
/proc/loadavg: 6.50 7.76 7.94 9/356 4265
/proc/meminfo: memFree=25063892/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=748916 CPUtime=24.97 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 140715 0 0 0 2463 34 0 0 25 0 4 0 653102786 766889984 139296 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451813 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 187229 139296 375 95 0 182211 0
[pid=4252/tid=4253] ppid=4250 vsize=748916 CPUtime=6.23 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41592 0 0 0 613 10 0 0 25 0 4 0 653102786 766889984 139296 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=748916 CPUtime=6.25 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41491 0 0 0 615 10 0 0 25 0 4 0 653102786 766889984 139296 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=748916 CPUtime=6.26 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 15728 0 0 0 622 4 0 0 25 0 4 0 653102786 766889984 139296 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 748916

[startup+12.7005 s]
/proc/loadavg: 6.62 7.77 7.94 9/356 4265
/proc/meminfo: memFree=24128300/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=760100 CPUtime=50.5 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 144337 0 0 0 5013 37 0 0 25 0 4 0 653102786 778342400 142661 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451847 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 190025 142661 376 95 0 185007 0
[pid=4252/tid=4253] ppid=4250 vsize=760100 CPUtime=12.63 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41592 0 0 0 1253 10 0 0 25 0 4 0 653102786 778342400 142661 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=760100 CPUtime=12.65 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41491 0 0 0 1255 10 0 0 25 0 4 0 653102786 778342400 142661 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=760100 CPUtime=12.66 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 19350 0 0 0 1259 7 0 0 25 0 4 0 653102786 778342400 142661 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 760100

[startup+25.5012 s]
/proc/loadavg: 6.93 7.78 7.94 9/356 4266
/proc/meminfo: memFree=23997376/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=887628 CPUtime=101.54 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 175040 0 0 0 10111 43 0 0 25 0 4 0 653102786 908931072 172851 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 221907 172851 376 95 0 216889 0
[pid=4252/tid=4253] ppid=4250 vsize=887628 CPUtime=25.43 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41592 0 0 0 2533 10 0 0 25 0 4 0 653102786 908931072 172851 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451734 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=887628 CPUtime=25.45 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 41491 0 0 0 2535 10 0 0 25 0 4 0 653102786 908931072 172851 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=887628 CPUtime=25.47 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 50053 0 0 0 2533 14 0 0 25 0 4 0 653102786 908931072 172851 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451784 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 887628

[startup+51.1007 s]
/proc/loadavg: 7.29 7.80 7.94 9/356 4266
/proc/meminfo: memFree=23721140/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=869952 CPUtime=203.6 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 187729 0 0 0 20313 47 0 0 25 0 4 0 653102786 890830848 167563 33554432000 4194304 4580107 140737008333520 18446744073709551615 4292935 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 217488 167563 380 95 0 212470 0
[pid=4252/tid=4253] ppid=4250 vsize=869952 CPUtime=51.03 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 45819 0 0 0 5092 11 0 0 25 0 4 0 653102786 890830848 167563 33554432000 4194304 4580107 140737008333520 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=869952 CPUtime=51.02 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 45679 0 0 0 5091 11 0 0 25 0 4 0 653102786 890830848 167563 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=869952 CPUtime=51.07 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 50054 0 0 0 5093 14 0 0 25 0 4 0 653102786 890830848 167563 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 869952

[startup+102.314 s]
/proc/loadavg: 7.77 7.85 7.95 9/356 4268
/proc/meminfo: memFree=23619820/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1061392 CPUtime=407.83 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 228087 0 0 0 40723 60 0 0 25 0 4 0 653102786 1086865408 191691 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451678 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 265348 191691 393 95 0 260330 0
[pid=4252/tid=4253] ppid=4250 vsize=1061392 CPUtime=102.25 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 56964 0 0 0 10212 13 0 0 25 0 4 0 653102786 1086865408 191691 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1061392 CPUtime=102.23 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 55159 0 0 0 10209 14 0 0 25 0 4 0 653102786 1086865408 191691 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1061392 CPUtime=102.27 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 59550 0 0 0 10209 18 0 0 25 0 4 0 653102786 1086865408 191691 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.83
Current children cumulated vsize (KiB) 1061392

[startup+162.301 s]
/proc/loadavg: 8.03 7.91 7.96 9/356 4269
/proc/meminfo: memFree=23604028/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1021492 CPUtime=647.06 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 271310 0 0 0 64635 71 0 0 25 0 4 0 653102786 1046007808 195379 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451847 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 255373 195379 380 95 0 250355 0
[pid=4252/tid=4253] ppid=4250 vsize=1021492 CPUtime=162.23 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 69207 0 0 0 16207 16 0 0 25 0 4 0 653102786 1046007808 195379 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1021492 CPUtime=162.21 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 66436 0 0 0 16203 18 0 0 25 0 4 0 653102786 1046007808 195379 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1021492 CPUtime=162.27 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 69140 0 0 0 16207 20 0 0 25 0 4 0 653102786 1046007808 195379 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.06
Current children cumulated vsize (KiB) 1021492

[startup+222.301 s]
/proc/loadavg: 8.01 7.92 7.96 9/356 4271
/proc/meminfo: memFree=23531328/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1047852 CPUtime=886.33 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 313473 0 0 0 88544 89 0 0 25 0 4 0 653102786 1073000448 213485 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 261963 213485 380 95 0 256945 0
[pid=4252/tid=4253] ppid=4250 vsize=1047852 CPUtime=222.23 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 81590 0 0 0 22203 20 0 0 25 0 4 0 653102786 1073000448 213485 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1047852 CPUtime=222.22 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 69457 0 0 0 22203 19 0 0 25 0 4 0 653102786 1073000448 213485 33554432000 4194304 4580107 140737008333520 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1047852 CPUtime=222.27 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 87541 0 0 0 22196 31 0 0 25 0 4 0 653102786 1073000448 213485 33554432000 4194304 4580107 140737008333520 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.33
Current children cumulated vsize (KiB) 1047852

[startup+282.301 s]
/proc/loadavg: 8.10 7.96 7.97 9/356 4272
/proc/meminfo: memFree=23528296/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1047852 CPUtime=1125.63 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 326955 0 0 0 112467 96 0 0 25 0 4 0 653102786 1073000448 214666 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 261963 214666 380 95 0 256945 0
[pid=4252/tid=4253] ppid=4250 vsize=1047852 CPUtime=282.24 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 81672 0 0 0 28204 20 0 0 25 0 4 0 653102786 1073000448 214666 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451668 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1047852 CPUtime=282.22 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 78177 0 0 0 28198 24 0 0 25 0 4 0 653102786 1073000448 214666 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1047852 CPUtime=282.27 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 87583 0 0 0 28196 31 0 0 25 0 4 0 653102786 1073000448 214666 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1125.63
Current children cumulated vsize (KiB) 1047852

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

[startup+282.601 s]
/proc/loadavg: 8.10 7.96 7.97 9/356 4273
/proc/meminfo: memFree=23527428/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1047852 CPUtime=1126.85 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 326981 0 0 0 112589 96 0 0 25 0 4 0 653102786 1073000448 214692 33554432000 4194304 4580107 140737008333520 18446744073709551615 4301867 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4252/statm: 261963 214692 380 95 0 256945 0
[pid=4252/tid=4253] ppid=4250 vsize=1047852 CPUtime=282.55 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 81672 0 0 0 28235 20 0 0 25 0 4 0 653102786 1073000448 214692 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1047852 CPUtime=282.53 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 78177 0 0 0 28229 24 0 0 25 0 4 0 653102786 1073000448 214692 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1047852 CPUtime=282.59 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 87583 0 0 0 28228 31 0 0 25 0 4 0 653102786 1073000448 214692 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1126.85
Current children cumulated vsize (KiB) 1047852

[startup+295.401 s]
/proc/loadavg: 8.08 7.96 7.97 8/356 4273
/proc/meminfo: memFree=23498036/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1177.12 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335059 0 0 0 117614 98 0 0 25 0 4 0 653102786 1140109312 221803 33554432000 4194304 4580107 140737008333520 18446744073709551615 4219847 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 221803 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=295.34 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 81672 0 0 0 29514 20 0 0 25 0 4 0 653102786 1140109312 221803 33554432000 4194304 4580107 140737008333520 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=295.31 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79603 0 0 0 29507 24 0 0 25 0 4 0 653102786 1140109312 221803 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 221803 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1177.12
Current children cumulated vsize (KiB) 1113388

[startup+301.801 s]
/proc/loadavg: 7.91 7.93 7.96 7/356 4273
/proc/meminfo: memFree=23496176/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1190.65 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335388 0 0 0 118967 98 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933437124 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 222132 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=301.71 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79603 0 0 0 30147 24 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451734 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1190.65
Current children cumulated vsize (KiB) 1113388

[startup+308.201 s]
/proc/loadavg: 7.76 7.90 7.95 7/356 4273
/proc/meminfo: memFree=23496412/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1203.45 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335388 0 0 0 120247 98 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933436960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 222132 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=308.11 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79603 0 0 0 30787 24 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1203.45
Current children cumulated vsize (KiB) 1113388

[startup+311.401 s]
/proc/loadavg: 7.62 7.87 7.94 7/356 4273
/proc/meminfo: memFree=23524684/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1209.85 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335388 0 0 0 120887 98 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933437124 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 222132 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=311.31 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79603 0 0 0 31107 24 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1209.85
Current children cumulated vsize (KiB) 1113388

[startup+312.201 s]
/proc/loadavg: 7.62 7.87 7.94 7/356 4273
/proc/meminfo: memFree=23524684/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1211.45 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335388 0 0 0 121047 98 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933437124 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 222132 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=312.11 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79603 0 0 0 31187 24 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 222132 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1211.45
Current children cumulated vsize (KiB) 1113388

[startup+313.001 s]
/proc/loadavg: 7.62 7.87 7.94 7/356 4273
/proc/meminfo: memFree=23524684/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1213.05 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335394 0 0 0 121207 98 0 0 25 0 4 0 653102786 1140109312 221303 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933436960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 221303 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 221303 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=312.91 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79609 0 0 0 31267 24 0 0 25 0 4 0 653102786 1140109312 221303 33554432000 4194304 4580107 140737008333520 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 221303 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1213.05
Current children cumulated vsize (KiB) 1113388

[startup+313.401 s]
/proc/loadavg: 7.62 7.87 7.94 7/356 4273
/proc/meminfo: memFree=23556924/32951124 swapFree=53501236/67111528
[pid=4252] ppid=4250 vsize=1113388 CPUtime=1213.86 cores=1,3,5,7
/proc/4252/stat : 4252 (strangenight2-m) R 4250 4252 4220 0 -1 4202496 335548 0 0 0 121288 98 0 0 25 0 4 0 653102786 1140109312 221457 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933437124 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/4252/statm: 278347 221457 380 95 0 273329 0
[pid=4252/tid=4253] ppid=4250 vsize=1113388 CPUtime=296.07 cores=1,3,5,7
/proc/4252/task/4253/stat : 4253 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 82001 0 0 0 29587 20 0 0 25 0 4 0 653102786 1140109312 221457 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 1 0 0 0
[pid=4252/tid=4254] ppid=4250 vsize=1113388 CPUtime=313.32 cores=1,3,5,7
/proc/4252/task/4254/stat : 4254 (strangenight2-m) R 4250 4252 4220 0 -1 4202560 79763 0 0 0 31308 24 0 0 25 0 4 0 653102786 1140109312 221457 33554432000 4194304 4580107 140737008333520 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4252/tid=4255] ppid=4250 vsize=1113388 CPUtime=294.63 cores=1,3,5,7
/proc/4252/task/4255/stat : 4255 (strangenight2-m) S 4250 4252 4220 0 -1 4202560 87583 0 0 0 29432 31 0 0 25 0 4 0 653102786 1140109312 221457 33554432000 4194304 4580107 140737008333520 18446744073709551615 47044933461556 0 0 4096 2 18446604467136645248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1213.86
Current children cumulated vsize (KiB) 1113388

Child status: 10
Real time (s): 313.484
CPU time (s): 1213.99
CPU user time (s): 1212.97
CPU system time (s): 1.02584
CPU usage (%): 387.258
Max. virtual memory (cumulated for all children) (KiB): 1176624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1212.97
system time used= 1.02584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335556
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= 9688
involuntary context switches= 8844

runsolver used 0.763883 second user time and 3.04454 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 01:16:42
IDJOB=3367139
IDBENCH=83450
IDSOLVER=1844
FILE ID=node103/3367139-1305415001
RUNJOBID= node103-1305415001-4239
PBS_JOBID= 13324557
Free space on /tmp= 72948 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1081946365

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26191780 kB
Buffers:        302764 kB
Cached:        3915868 kB
SwapCached:     340192 kB
Active:        1345424 kB
Inactive:      5142300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26191780 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           52132 kB
Writeback:           0 kB
AnonPages:     1939532 kB
Mapped:          10204 kB
Slab:           152860 kB
PageTables:      52916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78290980 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= 72896 MiB
End job on node103 at 2011-05-15 01:21:55