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

OK

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524087538 52441088 347 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810535346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 12803 347 299 106 0 7774 0
[pid=10322/tid=10323] ppid=10320 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524087539 52441088 347 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810535346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524087539 52441088 347 33554432000 4194304 4627427 140737217448464 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524087539 52441088 347 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810535340 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.053982 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=293412 CPUtime=0.18 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 9745 0 0 0 17 1 0 0 18 0 4 0 524087538 300453888 8732 33554432000 4194304 4627427 140737217448464 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 73353 8742 341 106 0 68324 0
[pid=10322/tid=10323] ppid=10320 vsize=293412 CPUtime=0.04 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 2343 0 0 0 4 0 0 0 18 0 4 0 524087539 300453888 8745 33554432000 4194304 4627427 140737217448464 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=293412 CPUtime=0.04 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 2333 0 0 0 4 0 0 0 25 0 4 0 524087539 300453888 8751 33554432000 4194304 4627427 140737217448464 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=293412 CPUtime=0.04 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 2379 0 0 0 4 0 0 0 18 0 4 0 524087539 300453888 8758 33554432000 4194304 4627427 140737217448464 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 293412

[startup+0.104122 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=436848 CPUtime=0.46 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 21459 0 0 0 42 4 0 0 18 0 4 0 524087538 447332352 20440 33554432000 4194304 4627427 140737217448464 18446744073709551615 4361048 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 109410 21740 341 106 0 104381 0
[pid=10322/tid=10323] ppid=10320 vsize=438448 CPUtime=0.12 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 5550 0 0 0 11 1 0 0 18 0 4 0 524087539 448970752 21751 33554432000 4194304 4627427 140737217448464 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=438448 CPUtime=0.11 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) D 10320 10322 9895 0 -1 4202560 5589 0 0 0 11 0 0 0 18 0 4 0 524087539 448970752 21840 33554432000 4194304 4627427 140737217448464 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=438448 CPUtime=0.12 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 5691 0 0 0 11 1 0 0 18 0 4 0 524087539 448970752 21996 33554432000 4194304 4627427 140737217448464 18446744073709551615 4531682 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 436848

[startup+1.4629 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=463472 CPUtime=5.8 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 53348 0 0 0 566 14 0 0 19 0 4 0 524087538 474595328 52329 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 115868 52329 367 106 0 110839 0
[pid=10322/tid=10323] ppid=10320 vsize=463472 CPUtime=1.45 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13592 0 0 0 141 4 0 0 19 0 4 0 524087539 474595328 52329 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=463472 CPUtime=1.44 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13558 0 0 0 142 2 0 0 19 0 4 0 524087539 474595328 52329 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=463472 CPUtime=1.44 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 12244 0 0 0 141 3 0 0 19 0 4 0 524087539 474595328 52329 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 463472

[startup+1.56288 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=463768 CPUtime=6.2 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 53737 0 0 0 606 14 0 0 19 0 4 0 524087538 474898432 52718 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 115942 52718 367 106 0 110913 0
[pid=10322/tid=10323] ppid=10320 vsize=463768 CPUtime=1.55 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13672 0 0 0 151 4 0 0 20 0 4 0 524087539 474898432 52718 33554432000 4194304 4627427 140737217448464 18446744073709551615 4238352 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=463768 CPUtime=1.54 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13672 0 0 0 152 2 0 0 19 0 4 0 524087539 474898432 52718 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=463768 CPUtime=1.54 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 12310 0 0 0 151 3 0 0 20 0 4 0 524087539 474898432 52718 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 463768

[startup+1.66286 s]
/proc/loadavg: 7.35 7.98 8.10 9/184 10322
/proc/meminfo: memFree=29644416/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=463768 CPUtime=6.6 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 53869 0 0 0 646 14 0 0 19 0 4 0 524087538 474898432 52850 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 115942 52850 367 106 0 110913 0
[pid=10322/tid=10323] ppid=10320 vsize=463768 CPUtime=1.65 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13708 0 0 0 161 4 0 0 20 0 4 0 524087539 474898432 52850 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=463768 CPUtime=1.64 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13698 0 0 0 162 2 0 0 19 0 4 0 524087539 474898432 52850 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=463768 CPUtime=1.64 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 12367 0 0 0 161 3 0 0 20 0 4 0 524087539 474898432 52850 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.6
Current children cumulated vsize (KiB) 463768

[startup+3.10059 s]
/proc/loadavg: 7.35 7.98 8.10 9/188 10326
/proc/meminfo: memFree=29164768/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=743544 CPUtime=12.29 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 128039 0 0 0 1198 31 0 0 19 0 4 0 524087538 761389056 126642 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 185886 126642 381 106 0 180857 0
[pid=10322/tid=10323] ppid=10320 vsize=743544 CPUtime=3.06 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38144 0 0 0 297 9 0 0 19 0 4 0 524087539 761389056 126642 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=743544 CPUtime=3.04 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38217 0 0 0 297 7 0 0 19 0 4 0 524087539 761389056 126642 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=743544 CPUtime=3.09 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 13133 0 0 0 305 4 0 0 25 0 4 0 524087539 761389056 126642 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 743544

[startup+6.301 s]
/proc/loadavg: 7.41 7.98 8.10 9/188 10327
/proc/meminfo: memFree=29078488/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=745140 CPUtime=25.07 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 128981 0 0 0 2476 31 0 0 25 0 4 0 524087538 763023360 127584 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 186285 127584 382 106 0 181256 0
[pid=10322/tid=10323] ppid=10320 vsize=745140 CPUtime=6.26 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38144 0 0 0 617 9 0 0 25 0 4 0 524087539 763023360 127584 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467832 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=745140 CPUtime=6.23 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38217 0 0 0 616 7 0 0 25 0 4 0 524087539 763023360 127584 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=745140 CPUtime=6.29 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 14075 0 0 0 625 4 0 0 25 0 4 0 524087539 763023360 127584 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 745140

[startup+12.7008 s]
/proc/loadavg: 7.45 7.98 8.10 9/188 10327
/proc/meminfo: memFree=29021360/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=747100 CPUtime=50.64 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 130328 0 0 0 5031 33 0 0 25 0 4 0 524087538 765030400 128931 33554432000 4194304 4627427 140737217448464 18446744073709551615 4468024 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 186775 128931 383 106 0 181746 0
[pid=10322/tid=10323] ppid=10320 vsize=747100 CPUtime=12.66 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38144 0 0 0 1257 9 0 0 25 0 4 0 524087539 765030400 128931 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=747100 CPUtime=12.59 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38217 0 0 0 1252 7 0 0 25 0 4 0 524087539 765030400 128931 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=747100 CPUtime=12.68 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 15422 0 0 0 1263 5 0 0 25 0 4 0 524087539 765030400 128931 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 747100

[startup+25.5004 s]
/proc/loadavg: 7.57 7.98 8.09 9/188 10327
/proc/meminfo: memFree=28846828/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=871532 CPUtime=101.77 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 161756 0 0 0 10138 39 0 0 25 0 4 0 524087538 892448768 159589 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 217883 159589 386 106 0 212854 0
[pid=10322/tid=10323] ppid=10320 vsize=871532 CPUtime=25.46 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38144 0 0 0 2537 9 0 0 25 0 4 0 524087539 892448768 159589 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=871532 CPUtime=25.32 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 38217 0 0 0 2525 7 0 0 25 0 4 0 524087539 892448768 159589 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=871532 CPUtime=25.48 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 46850 0 0 0 2537 11 0 0 25 0 4 0 524087539 892448768 159589 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 871532

[startup+51.1007 s]
/proc/loadavg: 7.72 7.98 8.09 9/188 10328
/proc/meminfo: memFree=28790860/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=853796 CPUtime=204.03 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 181970 0 0 0 20357 46 0 0 25 0 4 0 524087538 874287104 160746 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 213449 160746 391 106 0 208420 0
[pid=10322/tid=10323] ppid=10320 vsize=853796 CPUtime=51.07 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 44149 0 0 0 5095 12 0 0 25 0 4 0 524087539 874287104 160746 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=853796 CPUtime=50.78 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 44336 0 0 0 5069 9 0 0 25 0 4 0 524087539 874287104 160746 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=853796 CPUtime=51.08 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 46850 0 0 0 5097 11 0 0 25 0 4 0 524087539 874287104 160746 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467855 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 853796

[startup+102.3 s]
/proc/loadavg: 7.98 8.01 8.09 9/188 10329
/proc/meminfo: memFree=28679924/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=931912 CPUtime=408.57 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 222167 0 0 0 40802 55 0 0 25 0 4 0 524087538 954277888 181698 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 232978 181698 391 106 0 227949 0
[pid=10322/tid=10323] ppid=10320 vsize=931912 CPUtime=102.27 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 56500 0 0 0 10213 14 0 0 25 0 4 0 524087539 954277888 181698 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=931912 CPUtime=101.7 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 52999 0 0 0 10160 10 0 0 25 0 4 0 524087539 954277888 181698 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=931912 CPUtime=102.29 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 57788 0 0 0 10214 15 0 0 25 0 4 0 524087539 954277888 181698 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.57
Current children cumulated vsize (KiB) 931912

[startup+162.301 s]
/proc/loadavg: 7.99 8.00 8.09 9/188 10331
/proc/meminfo: memFree=28606480/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1008052 CPUtime=648.23 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 253304 0 0 0 64761 62 0 0 25 0 4 0 524087538 1032245248 191131 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 252013 191131 391 106 0 246984 0
[pid=10322/tid=10323] ppid=10320 vsize=1008052 CPUtime=162.26 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 66847 0 0 0 16210 16 0 0 25 0 4 0 524087539 1032245248 191131 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1008052 CPUtime=161.38 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 65070 0 0 0 16125 13 0 0 25 0 4 0 524087539 1032245248 191131 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1008052 CPUtime=162.29 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 61943 0 0 0 16213 16 0 0 25 0 4 0 524087539 1032245248 191131 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 648.23
Current children cumulated vsize (KiB) 1008052

[startup+222.307 s]
/proc/loadavg: 8.05 8.01 8.09 9/188 10332
/proc/meminfo: memFree=28481824/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1011212 CPUtime=887.92 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 323572 0 0 0 88710 82 0 0 25 0 4 0 524087538 1035481088 189753 33554432000 4194304 4627427 140737217448464 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 252803 189753 391 106 0 247774 0
[pid=10322/tid=10323] ppid=10320 vsize=1011212 CPUtime=222.26 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 80920 0 0 0 22206 20 0 0 25 0 4 0 524087539 1035481088 189753 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1011212 CPUtime=221.05 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 85392 0 0 0 22086 19 0 0 25 0 4 0 524087539 1035481088 189753 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1011212 CPUtime=222.3 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 85075 0 0 0 22206 24 0 0 25 0 4 0 524087539 1035481088 189753 33554432000 4194304 4627427 140737217448464 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 887.92
Current children cumulated vsize (KiB) 1011212

[startup+282.301 s]
/proc/loadavg: 8.19 8.06 8.10 9/188 10334
/proc/meminfo: memFree=28404780/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1028572 CPUtime=1127.58 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) R 10320 10322 9895 0 -1 4202496 348789 0 0 0 112668 90 0 0 25 0 4 0 524087538 1053257728 200876 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467868 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 257143 200876 391 106 0 252114 0
[pid=10322/tid=10323] ppid=10320 vsize=1028572 CPUtime=282.25 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 87704 0 0 0 28203 22 0 0 25 0 4 0 524087539 1053257728 200876 33554432000 4194304 4627427 140737217448464 18446744073709551615 4326177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1028572 CPUtime=280.73 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 94407 0 0 0 28052 21 0 0 25 0 4 0 524087539 1053257728 200876 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1028572 CPUtime=282.29 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 88769 0 0 0 28205 24 0 0 25 0 4 0 524087539 1053257728 200876 33554432000 4194304 4627427 140737217448464 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1127.58
Current children cumulated vsize (KiB) 1028572

[startup+342.301 s]
/proc/loadavg: 7.70 7.96 8.06 7/188 10336
/proc/meminfo: memFree=28285444/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1327.87 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 132686 101 0 0 25 0 4 0 524087538 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 209803 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=342.25 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 34199 26 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=342.27 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 34199 28 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1327.87
Current children cumulated vsize (KiB) 1307272

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

[startup+346.701 s]
/proc/loadavg: 7.56 7.93 8.05 7/188 10336
/proc/meminfo: memFree=28266844/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1336.67 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 133566 101 0 0 25 0 4 0 524087538 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 209803 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=346.65 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 34639 26 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 4468012 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=346.67 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 34639 28 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1336.67
Current children cumulated vsize (KiB) 1307272

[startup+349.906 s]
/proc/loadavg: 7.44 7.90 8.04 7/188 10336
/proc/meminfo: memFree=28272300/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1343.08 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 134207 101 0 0 25 0 4 0 524087538 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 209803 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=349.86 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 34960 26 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=349.87 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 34959 28 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510532 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1343.08
Current children cumulated vsize (KiB) 1307272

[startup+351.501 s]
/proc/loadavg: 7.44 7.90 8.04 7/188 10336
/proc/meminfo: memFree=28269448/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1346.27 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 134526 101 0 0 25 0 4 0 524087538 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 209803 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=351.45 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 35119 26 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=351.47 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 35119 28 0 0 25 0 4 0 524087539 1338646528 209803 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1346.27
Current children cumulated vsize (KiB) 1307272

[startup+352.301 s]
/proc/loadavg: 7.44 7.90 8.04 7/188 10336
/proc/meminfo: memFree=28292636/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1347.87 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 134686 101 0 0 25 0 4 0 524087538 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 207315 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=352.25 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 35199 26 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 4520564 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=352.27 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 35199 28 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1347.87
Current children cumulated vsize (KiB) 1307272

[startup+352.701 s]
/proc/loadavg: 7.44 7.90 8.04 7/188 10336
/proc/meminfo: memFree=28292636/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1348.67 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 134766 101 0 0 25 0 4 0 524087538 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 207315 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=352.65 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 35239 26 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=352.67 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 35239 28 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1348.67
Current children cumulated vsize (KiB) 1307272

[startup+352.901 s]
/proc/loadavg: 7.44 7.90 8.04 7/188 10336
/proc/meminfo: memFree=28292636/32951124 swapFree=67111352/67111528
[pid=10322] ppid=10320 vsize=1307272 CPUtime=1349.07 cores=0,2,4,6
/proc/10322/stat : 10322 (strangenight2-m) S 10320 10322 9895 0 -1 4202496 388624 0 0 0 134806 101 0 0 25 0 4 0 524087538 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10322/statm: 326818 207315 391 106 0 321789 0
[pid=10322/tid=10323] ppid=10320 vsize=1307272 CPUtime=352.85 cores=0,2,4,6
/proc/10322/task/10323/stat : 10323 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 103926 0 0 0 35259 26 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 4495408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10322/tid=10324] ppid=10320 vsize=1307272 CPUtime=313.5 cores=0,2,4,6
/proc/10322/task/10324/stat : 10324 (strangenight2-m) S 10320 10322 9895 0 -1 4202560 102404 0 0 0 31326 24 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810534964 0 0 4096 2 18446604453847609792 0 0 -1 6 0 0 0
[pid=10322/tid=10325] ppid=10320 vsize=1307272 CPUtime=352.87 cores=0,2,4,6
/proc/10322/task/10325/stat : 10325 (strangenight2-m) R 10320 10322 9895 0 -1 4202560 96614 0 0 0 35259 28 0 0 25 0 4 0 524087539 1338646528 207315 33554432000 4194304 4627427 140737217448464 18446744073709551615 47139810510379 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1349.07
Current children cumulated vsize (KiB) 1307272

Child status: 10
Real time (s): 352.964
CPU time (s): 1349.17
CPU user time (s): 1348.11
CPU system time (s): 1.05984
CPU usage (%): 382.24
Max. virtual memory (cumulated for all children) (KiB): 1307272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1348.11
system time used= 1.05984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 388632
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= 10091
involuntary context switches= 19562

runsolver used 0.529919 second user time and 1.40079 second system time

The end

Begin job on node135 at 2011-04-30 02:54:57
IDJOB=3291174
IDBENCH=83475
IDSOLVER=1586
FILE ID=node135/3291174-1304124896
RUNJOBID= node135-1304124896-10239
PBS_JOBID= 13170740
Free space on /tmp= 71096 MiB

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

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

MD5SUM BENCH= 82462bfc10e506c60d6bdf35a0143bf9
RANDOM SEED=1712478233

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29644448 kB
Buffers:        925320 kB
Cached:        1772112 kB
SwapCached:        172 kB
Active:         196864 kB
Inactive:      2592748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29644448 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           32308 kB
Writeback:           0 kB
AnonPages:       91628 kB
Mapped:          15176 kB
Slab:           454372 kB
PageTables:       4824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   291120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71088 MiB
End job on node135 at 2011-04-30 03:00:50