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-3290484-1304124395.cnf'
0.00/0.00	c -- header says num vars:          10420
0.00/0.00	c -- header says num clauses:      395383
0.94/0.25	c -- clauses added:            0 learnts,       395383 normals,            0 xors
0.94/0.25	c -- vars added      10420
0.94/0.25	c Parsing time:  0.17 s
0.94/0.25	c  N st     0         0     10420    367831     26628         0   2819244         0   no data   no data
1.54/0.44	c asymm  cl-useful: 0/1283/367388 lits-rem:0 time: 0.22
5.53/1.41	c Flit:    33 Blit:      0 bXBeca:    0 bXProp:   80 Bins:      0 BRemL:      0 BRemN:      0 P: 39.6M T:  0.97
5.93/1.54	c Replacing       80 vars Replaced   241302 lits Time:     0.12 s 
6.70/1.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.70/1.70	c bin-w-bin subsume rem          474 bins  time:  0.00 s
6.70/1.73	c subs with bin:      521  lits-rem:        14  v-fix:    0  time:  0.03 s
6.70/1.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7018 time:  0.02 s
6.70/1.77	c Removed useless bin:       0  fixed:     0  props:   2.37M  time:  0.02 s
65.84/16.56	c lits-rem:         0  cl-subs:      230  v-elim:    868  v-fix:    0  time: 14.78 s
65.84/16.57	c Finding binary XORs  T:     0.01 s  found:       0
73.00/18.32	c Finding non-binary XORs:     1.73 s (found:       0, avg size: nan)
73.00/18.32	c calculated reachability. Time: 0.00
73.00/18.34	c Calc default polars -  time:   0.02 s pos:     336 undec:    1465 neg:    8619
73.00/18.34	c =========================================================================================
73.00/18.34	c types(t): F = full restart, N = normal restart
73.00/18.34	c types(t): S = simplification begin/end, E = solution found
73.00/18.34	c restart types(rt): st = static, dy = dynamic
73.00/18.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
73.00/18.34	c  B st     0         0      8955    367714     22995         0   2783510         0   no data   no data
75.80/19.07	c  N dy    16      4003      8951    367714     23124      3832   2783510    163127      9.41     10.09
77.80/19.51	c  N dy    44      8074      8927    367714     23913      7728   2783509    317134      9.94     10.51
80.18/20.16	c  N dy    65     12086      8924    367714     24017     11613   2783508    475999      9.85     10.85
81.39/20.43	c Finding binary XORs  T:     0.01 s  found:       1
83.41/20.93	c  N dy    82     16139      8923    364785     24099     15509   2763822    615516      9.61     12.10
85.78/21.60	c  N dy   110     20188      8923    364785     24542      9805   2763822    181559      9.86     10.60
88.98/22.31	c  N dy   139     24264      8923    364785     24614     13793   2763822    350681      9.98     10.52
89.38/22.44	c  F st   145     25000      8923    364785     24810     14517   2763822    383637     10.01   no data
89.38/22.46	c Replacing        1 vars Replaced        8 lits Time:     0.02 s 
90.98/22.88	c  N st   150     28300      8922    364785     24848     17750   2763818    553217     10.01   no data
92.19/23.12	c  S st   151     30003      8922    364785     24884     19409   2763818    633997     10.01   no data
93.77/23.55	c  S st   151     30503      8922    364785     25081     19871   2763818    644907     10.01   no data
93.77/23.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
104.98/26.35	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 341538 BRemL: 314229 BRemN:      0 P: 69.7M T:  2.77
105.38/26.46	c blocked clauses removed:        0 vars:      0 tried:        8920 T: 0.00 s
105.38/26.46	c bin-w-bin subsume rem           72 bins  time:  0.01 s
105.75/26.52	c subs with bin:      454  lits-rem:      4480  v-fix:    0  time:  0.05 s
105.75/26.54	c Subs w/ non-existent bins:      1 l-rem:     12 v-fix:     0 done:    303 time:  0.02 s
105.75/26.55	c Removed useless bin:       0  fixed:     0  props:   0.88M  time:  0.01 s
156.07/39.19	c lits-rem:         0  cl-subs:     6738  v-elim:    213  v-fix:    0  time: 12.64 s
156.87/39.33	c subs with bin:       72  lits-rem:      3813  v-fix:    0  time:  0.12 s
200.81/50.38	c lits-rem:         9  cl-subs:      900  v-elim:      0  v-fix:    0  time: 10.99 s
202.40/50.71	c asymm  cl-useful: 0/1440/357453 lits-rem:0 time: 0.33
202.40/50.74	c calculated reachability. Time: 0.01
202.40/50.74	c  N dy   151     30503      8707    357453     50126      8863   2708103    254257     10.01   no data
202.40/50.75	c Finding binary XORs  T:     0.01 s  found:       0
204.80/51.35	c  N dy   177     34616      8707    357453     50132     12931   2708103    417325     10.05     10.78
207.59/52.04	c Finding binary XORs  T:     0.01 s  found:       0
207.59/52.07	c  N dy   201     38859      8703    357451    371215     17138   2707977   1247823     10.06     10.75
210.82/52.87	c  N dy   222     43487      8703    357451    378807     11913   2707977    975127      9.97     10.51
211.99/53.16	c  S st   234     45754      8702    357451    378811     14165   2707977   1070593      9.95      9.62
213.19/53.44	c  S st   234     46256      8702    357451    378811     14664   2707977   1092430      9.95   no data
213.19/53.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
221.98/55.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3377 BRemL: 322647 BRemN:      1 P: 64.6M T:  2.21
222.38/55.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.38/55.78	c bin-w-bin subsume rem         1652 bins  time:  0.01 s
222.78/55.80	c subs with bin:       64  lits-rem:       645  v-fix:    0  time:  0.02 s
222.78/55.83	c Subs w/ non-existent bins:      1 l-rem:     13 v-fix:     0 done:   1046 time:  0.02 s
222.78/55.84	c Removed useless bin:       1  fixed:     0  props:   0.84M  time:  0.01 s
267.12/66.90	c lits-rem:         0  cl-subs:      791  v-elim:     41  v-fix:    0  time: 11.07 s
267.53/67.07	c subs with bin:       84  lits-rem:       657  v-fix:    0  time:  0.15 s
318.24/79.75	c lits-rem:         1  cl-subs:      421  v-elim:      0  v-fix:    0  time: 12.61 s
319.04/79.91	c vivif2 --  cl tried   356526 cl shrink       84 lits rem        102 time: 0.16
319.04/79.93	c vivif2 --  cl tried    11744 cl shrink     1066 lits rem       3087 time: 0.02
320.26/80.26	c asymm  cl-useful: 5/1313/356525 lits-rem:6 time: 0.33
320.26/80.28	c calculated reachability. Time: 0.01
320.26/80.28	c  N dy   234     46256      8661    356525     57003     11742   2700664    308918      9.95   no data
320.26/80.30	c Finding binary XORs  T:     0.01 s  found:       0
324.23/81.29	c  N dy   248     50374      8658    356525     59886     15824   2700664    529605      9.84     10.43
327.42/82.03	c  N dy   276     54402      8643    356525     59890     19837   2700664    729380      9.92     10.50
329.44/82.52	c Finding binary XORs  T:     0.01 s  found:       1
330.63/82.80	c  N dy   302     58701      8642    353606     59825     23911   2681102    916331      9.98     10.83
333.02/83.49	c  N dy   329     62715      8642    353606     63705     27897   2681102   1125351     10.04     10.93
335.42/84.07	c  N dy   357     66775      8642    353606     63707     17458   2681101    478727     10.11     10.88
337.01/84.47	c  S st   374     69384      8642    353606     63711     20054   2681101    607403     10.14   no data
338.61/84.82	c  S st   374     69884      8642    353606     63711     20554   2681101    633246     10.14   no data
338.61/84.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
347.80/87.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3429 BRemL:   8071 BRemN:      2 P: 67.3M T:  2.28
347.80/87.15	c Replacing        1 vars Replaced       16 lits Time:     0.02 s 
348.20/87.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.20/87.25	c bin-w-bin subsume rem           59 bins  time:  0.01 s
348.20/87.29	c subs with bin:      529  lits-rem:        56  v-fix:    0  time:  0.05 s
348.60/87.32	c Subs w/ non-existent bins:      2 l-rem:     26 v-fix:     0 done:   1517 time:  0.02 s
348.60/87.33	c Removed useless bin:       0  fixed:     0  props:   0.80M  time:  0.01 s
388.15/97.21	c lits-rem:         0  cl-subs:       70  v-elim:     12  v-fix:    0  time:  9.88 s
390.15/97.72	c subs with bin:       99  lits-rem:       619  v-fix:    0  time:  0.49 s
434.09/108.73	c lits-rem:         4  cl-subs:      574  v-elim:      0  v-fix:    0  time: 10.95 s
434.51/108.89	c vivif2 --  cl tried   352880 cl shrink       10 lits rem         12 time: 0.15
434.91/108.92	c vivif2 --  cl tried    18876 cl shrink     2004 lits rem      12203 time: 0.03
435.68/109.14	c asymm  cl-useful: 0/1317/352880 lits-rem:0 time: 0.23
435.68/109.17	c calculated reachability. Time: 0.00
435.68/109.17	c  N dy   374     69884      8629    352880     58402     18876   2676055    545349     10.14   no data
435.68/109.18	c Finding binary XORs  T:     0.01 s  found:       0
439.30/110.05	c  N dy   393     74384      8628    352880     62741     23349   2676055    862680     10.10     10.68
442.87/110.93	c  N dy   421     79345      8620    352880     62744     28280   2676055   1106423     10.13     10.86
443.29/111.05	c Finding binary XORs  T:     0.01 s  found:       1
446.86/111.94	c  N dy   451     84632      8620    352873     62438     33446   2675880   1384147     10.17     11.31
449.66/112.69	c  F st   466     87500      8620    352873     62441     18256   2675880    381613     10.15     10.34
450.06/112.74	c Replacing        1 vars Replaced     4370 lits Time:     0.05 s 
452.08/113.26	c  N st   471     90794      8619    352873     62443     21520   2675876    526755     10.15   no data
455.66/114.17	c  N dy   495     96766      8619    352873     62446     27459   2675875    807698     10.15     10.71
460.45/115.39	c  N dy   534    102943      8619    352873     62450     33604   2675875   1129290     10.18     12.92
462.04/115.71	c  S st   546    104826      8619    352873     62450     35469   2675875   1227492     10.20   no data
463.24/116.07	c  S st   546    105327      8619    352873     62450     35969   2675875   1245507     10.20   no data
463.24/116.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
473.24/118.53	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    3 Bins:   6501 BRemL:   9049 BRemN:      0 P: 68.1M T:  2.44
473.24/118.59	c Replacing        3 vars Replaced     1606 lits Time:     0.06 s 
473.64/118.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
473.64/118.69	c bin-w-bin subsume rem           84 bins  time:  0.01 s
474.45/118.82	c subs with bin:     1551  lits-rem:      2806  v-fix:    0  time:  0.14 s
474.45/118.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3487 time:  0.03 s
474.45/118.87	c Removed useless bin:       1  fixed:     0  props:   0.75M  time:  0.01 s
528.75/132.47	c lits-rem:         0  cl-subs:     1382  v-elim:     42  v-fix:    0  time: 13.59 s
533.54/133.62	c subs with bin:      240  lits-rem:      2549  v-fix:    0  time:  1.11 s
584.30/146.37	c lits-rem:        56  cl-subs:      737  v-elim:      0  v-fix:    0  time: 12.68 s
585.07/146.53	c vivif2 --  cl tried   350032 cl shrink        8 lits rem         14 time: 0.16
585.47/146.61	c vivif2 --  cl tried    32282 cl shrink     5592 lits rem      31936 time: 0.08
587.08/147.00	c asymm  cl-useful: 21/2226/350032 lits-rem:21 time: 0.39
587.08/147.02	c calculated reachability. Time: 0.01
587.08/147.02	c  N dy   546    105327      8573    350032     59382     32278   2656746   1008955     10.20   no data
587.08/147.04	c Finding binary XORs  T:     0.01 s  found:       0
593.46/148.65	c Finding binary XORs  T:     0.01 s  found:       1
593.86/148.78	c  N dy   573    112165      8571    350031     66065     39070   2656687   1557717     10.13     10.72
600.65/150.46	c  N dy   606    119391      8571    350031     67143     26690   2656685    889688     10.10     11.33
606.27/151.84	c  N dy   654    127203      8571    350031     67151     34459   2656685   1314106     10.14     10.85
613.04/153.56	c  N dy   705    135425      8571    350031     67155     42629   2656684   1758531     10.18     10.76
613.84/153.76	c Finding binary XORs  T:     0.01 s  found:       0
620.62/155.45	c  N dy   745    144151      8571    350031     69014     29082   2656683    806844     10.16     14.03
627.42/157.18	c  N dy   808    153388      8570    350031     69031     38263   2656683   1297117     10.20     21.58
631.81/158.24	c  S st   839    157994      8570    350031     69039     42836   2656683   1579882     10.22   no data
633.40/158.65	c  S st   839    158495      8570    350031     69039     43334   2656683   1597362     10.22   no data
633.40/158.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
643.79/161.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4028 BRemL:   8387 BRemN:      0 P: 70.9M T:  2.56
644.19/161.30	c Replacing        1 vars Replaced     3337 lits Time:     0.06 s 
644.19/161.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
644.19/161.39	c bin-w-bin subsume rem          159 bins  time:  0.01 s
644.59/161.43	c subs with bin:       36  lits-rem:       882  v-fix:    0  time:  0.04 s
644.59/161.45	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   1313 time:  0.02 s
644.59/161.46	c Removed useless bin:       1  fixed:     0  props:   0.68M  time:  0.01 s
688.13/172.34	c lits-rem:         0  cl-subs:     1733  v-elim:      4  v-fix:    0  time: 10.87 s
694.51/173.92	c subs with bin:       84  lits-rem:      2737  v-fix:    0  time:  1.52 s
751.64/188.28	c lits-rem:        41  cl-subs:      984  v-elim:      0  v-fix:    0  time: 14.30 s
752.44/188.43	c vivif2 --  cl tried   348261 cl shrink        6 lits rem         10 time: 0.15
752.84/188.55	c vivif2 --  cl tried    41690 cl shrink     7405 lits rem      61947 time: 0.11
754.04/188.84	c asymm  cl-useful: 11/1759/348261 lits-rem:13 time: 0.29
754.04/188.87	c calculated reachability. Time: 0.01
754.04/188.87	c  N dy   839    158495      8565    348261     62747     41682   2644085   1466322     10.22   no data
754.04/188.88	c Finding binary XORs  T:     0.01 s  found:       0
762.03/190.83	c Finding binary XORs  T:     0.01 s  found:       0
763.22/191.15	c  N dy   889    168671      8563    348260     66957     28091   2644024    689899     10.22     10.79
772.42/193.49	c  N dy   947    179511      8563    348260     66978     38863   2644024   1264958     10.21     10.79
784.40/196.43	c  N dy  1020    192906      8563    348260     67000     26887   2644024    499649     10.23     10.89
793.58/198.76	c  N dy  1105    205232      8562    348260     67026     39125   2644024   1146951     10.30     10.89
807.57/202.23	c  N dy  1171    218759      8562    348260     67037     52584   2644024   1838988     10.29     10.97
821.16/205.67	c  N dy  1251    232883      8562    348260     67058     40079   2644024   1184000     10.32     10.87
825.56/206.74	c  S st  1280    237744      8562    348260     67066     44913   2644024   1428121     10.32   no data
827.14/207.14	c  S st  1280    238245      8562    348260     67067     45412   2644024   1443605     10.32   no data
827.14/207.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
836.72/209.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1962 BRemL:   4656 BRemN:      1 P: 71.9M T:  2.36
837.12/209.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
837.12/209.63	c bin-w-bin subsume rem           98 bins  time:  0.01 s
837.12/209.66	c subs with bin:       49  lits-rem:         7  v-fix:    0  time:  0.03 s
837.12/209.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2386 time:  0.02 s
837.12/209.69	c Removed useless bin:       0  fixed:     0  props:   0.67M  time:  0.01 s
868.94/219.86	c lits-rem:         0  cl-subs:        1  v-elim:      3  v-fix:    0  time: 10.16 s
871.74/221.29	c subs with bin:      173  lits-rem:      1522  v-fix:    0  time:  1.39 s
892.75/231.79	c lits-rem:        47  cl-subs:     1152  v-elim:      0  v-fix:    0  time: 10.43 s
893.15/231.94	c vivif2 --  cl tried   348067 cl shrink        7 lits rem         13 time: 0.15
893.35/232.03	c vivif2 --  cl tried    43268 cl shrink     6241 lits rem      51664 time: 0.09
893.74/232.27	c asymm  cl-useful: 10/1296/348067 lits-rem:10 time: 0.24
893.74/232.29	c calculated reachability. Time: 0.01
893.74/232.29	c  N dy  1280    238245      8559    348067     64082     43267   2642701   1304072     10.32   no data
893.74/232.29	c Following stats are for *FIRST FINISHED THREAD ONLY*
893.74/232.29	c num threads              : 4          
893.74/232.29	c restarts                 : 2069       
893.74/232.29	c dynamic restarts         : 2045       
893.74/232.29	c static restarts          : 24         
893.74/232.29	c full restarts            : 3          
893.74/232.29	c total simplify time      : 0.43       
893.74/232.29	c learnts DL2              : 0          
893.74/232.29	c learnts size 2           : 846472     
893.74/232.29	c learnts size 1           : 596         (5.72      % of vars)
893.74/232.29	c filedLit time            : 8.85        (3.83      % time)
893.74/232.29	c v-elim SatELite          : 1170        (11.23     % vars)
893.74/232.29	c SatELite time            : 71.81       (31.11     % time)
893.74/232.29	c v-elim xor               : 0           (0.00      % vars)
893.74/232.29	c xor elim time            : 0.06        (0.03      % time)
893.74/232.29	c num binary xor trees     : 84         
893.74/232.29	c binxor trees' crown      : 92          (1.10      leafs/tree)
893.74/232.29	c bin xor find time        : 0.18       
893.74/232.29	c OTF clause improved      : 2918        (0.01      clauses/conflict)
893.74/232.29	c OTF impr. size diff      : 3925        (1.35       lits/clause)
893.74/232.29	c OTF cl watch-shrink      : 370435      (0.71      clauses/conflict)
893.74/232.29	c OTF cl watch-sh-lit      : 2397256     (6.47       lits/clause)
893.74/232.29	c tried to recurMin cls    : 229004      (44.09      % of conflicts)
893.74/232.29	c updated cache            : 18588       (0.08       lits/tried recurMin)
893.74/232.29	c unit cls recevied        : 25          (4.19      % of units)
893.74/232.29	c unit cls sent            : 504         (84.56     % of units)
893.74/232.29	c bin cls recevied         : 351247     
893.74/232.29	c bin cls sent             : 459527     
893.74/232.29	c clauses over max glue    : 0           (0.00      % of all clauses)
893.74/232.29	c conflicts                : 519359      (2250.06   / sec)
893.74/232.29	c decisions                : 1112479     (1.52      % random)
893.74/232.29	c bogo-props               : 8116474001  (35163665.05 / sec)
893.74/232.29	c conflict literals        : 26856435    (30.80     % deleted)
893.74/232.29	c Memory used              : 991.32      MB
893.74/232.29	c single-thread CPU time   : 230.82      s
893.74/232.29	c all-threads sum CPU time : 893.02      s
893.74/232.29	s SATISFIABLE
893.74/232.29	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-3290484-1304124395/watcher-3290484-1304124395 -o /tmp/evaluation-result-3290484-1304124395/solver-3290484-1304124395 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290484-1304124395.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: 6.95 7.94 7.92 5/184 5999
/proc/meminfo: memFree=30922260/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 524037417 52441088 347 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874747314 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 12803 347 299 106 0 7774 0
[pid=5999/tid=6000] ppid=5997 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524037417 52441088 347 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874747314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524037417 52441088 347 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874747318 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524037418 52441088 347 33554432000 4194304 4627427 140737423366800 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0996701 s]
/proc/loadavg: 6.95 7.94 7.92 5/184 5999
/proc/meminfo: memFree=30922260/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=303168 CPUtime=0.34 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) D 5997 5999 5928 0 -1 4202496 16927 0 0 0 31 3 0 0 18 0 4 0 524037417 310444032 15961 33554432000 4194304 4627427 140737423366800 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 76165 18824 341 106 0 71136 0
[pid=5999/tid=6000] ppid=5997 vsize=437332 CPUtime=0.11 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) D 5997 5999 5928 0 -1 4202560 5377 0 0 0 10 1 0 0 18 0 4 0 524037417 447827968 20778 33554432000 4194304 4627427 140737423366800 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=437332 CPUtime=0.11 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 5318 0 0 0 10 1 0 0 18 0 4 0 524037417 447827968 20778 33554432000 4194304 4627427 140737423366800 18446744073709551615 4533533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=437332 CPUtime=0.11 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) D 5997 5999 5928 0 -1 4202560 5349 0 0 0 10 1 0 0 18 0 4 0 524037418 447827968 20778 33554432000 4194304 4627427 140737423366800 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 303168

[startup+0.134832 s]
/proc/loadavg: 6.95 7.94 7.92 5/184 5999
/proc/meminfo: memFree=30922260/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=444816 CPUtime=0.64 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 29132 0 0 0 58 6 0 0 18 0 4 0 524037417 455491584 27992 33554432000 4194304 4627427 140737423366800 18446744073709551615 271550595498 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 111204 27992 341 106 0 106175 0
[pid=5999/tid=6000] ppid=5997 vsize=447248 CPUtime=0.15 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 7261 0 0 0 14 1 0 0 18 0 4 0 524037417 457981952 28172 33554432000 4194304 4627427 140737423366800 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=447248 CPUtime=0.15 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 7264 0 0 0 14 1 0 0 18 0 4 0 524037417 457981952 28172 33554432000 4194304 4627427 140737423366800 18446744073709551615 271550595498 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=447248 CPUtime=0.15 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) D 5997 5999 5928 0 -1 4202560 7234 0 0 0 14 1 0 0 18 0 4 0 524037418 457981952 28172 33554432000 4194304 4627427 140737423366800 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 444816

[startup+0.30062 s]
/proc/loadavg: 6.95 7.94 7.92 5/184 5999
/proc/meminfo: memFree=30922260/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=451024 CPUtime=1.14 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 34261 0 0 0 107 7 0 0 18 0 4 0 524037417 461848576 33121 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 112756 33121 365 106 0 107727 0
[pid=5999/tid=6000] ppid=5997 vsize=451024 CPUtime=0.28 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 8322 0 0 0 26 2 0 0 18 0 4 0 524037417 461848576 33121 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=451024 CPUtime=0.27 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 8342 0 0 0 26 1 0 0 18 0 4 0 524037417 461848576 33121 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=451024 CPUtime=0.28 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 9071 0 0 0 26 2 0 0 18 0 4 0 524037418 461848576 33121 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 451024

[startup+0.700548 s]
/proc/loadavg: 6.95 7.94 7.92 5/184 5999
/proc/meminfo: memFree=30922260/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=459500 CPUtime=2.74 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 41166 0 0 0 264 10 0 0 18 0 4 0 524037417 470528000 40026 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 114875 40026 367 106 0 109846 0
[pid=5999/tid=6000] ppid=5997 vsize=459500 CPUtime=0.67 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 10346 0 0 0 65 2 0 0 18 0 4 0 524037417 470528000 40026 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=459500 CPUtime=0.68 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 10295 0 0 0 66 2 0 0 18 0 4 0 524037417 470528000 40026 33554432000 4194304 4627427 140737423366800 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=459500 CPUtime=0.67 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 10019 0 0 0 65 2 0 0 18 0 4 0 524037418 470528000 40026 33554432000 4194304 4627427 140737423366800 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 459500

[startup+1.5004 s]
/proc/loadavg: 6.95 7.94 7.92 9/188 6003
/proc/meminfo: memFree=30744428/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=464540 CPUtime=5.93 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 45974 0 0 0 582 11 0 0 20 0 4 0 524037417 475688960 44834 33554432000 4194304 4627427 140737423366800 18446744073709551615 4324104 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 116135 44834 371 106 0 111106 0
[pid=5999/tid=6000] ppid=5997 vsize=464540 CPUtime=1.48 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 11588 0 0 0 145 3 0 0 19 0 4 0 524037417 475688960 44834 33554432000 4194304 4627427 140737423366800 18446744073709551615 4324341 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=464540 CPUtime=1.47 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 11537 0 0 0 145 2 0 0 19 0 4 0 524037417 475688960 44834 33554432000 4194304 4627427 140737423366800 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=464540 CPUtime=1.47 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 11086 0 0 0 145 2 0 0 20 0 4 0 524037418 475688960 44834 33554432000 4194304 4627427 140737423366800 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 464540

[startup+3.10112 s]
/proc/loadavg: 6.95 7.94 7.92 10/188 6003
/proc/meminfo: memFree=30491716/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=734492 CPUtime=12.29 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 106457 0 0 0 1205 24 0 0 20 0 4 0 524037417 752119808 104985 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 183623 104985 381 106 0 178594 0
[pid=5999/tid=6000] ppid=5997 vsize=734492 CPUtime=3.07 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31680 0 0 0 299 8 0 0 19 0 4 0 524037417 752119808 104985 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=734492 CPUtime=3.06 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31542 0 0 0 300 6 0 0 20 0 4 0 524037417 752119808 104985 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467919 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=734492 CPUtime=3.06 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 11642 0 0 0 303 3 0 0 25 0 4 0 524037418 752119808 104985 33554432000 4194304 4627427 140737423366800 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 734492

[startup+6.30054 s]
/proc/loadavg: 7.11 7.96 7.93 9/188 6003
/proc/meminfo: memFree=30485676/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=734896 CPUtime=25.07 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 107452 0 0 0 2482 25 0 0 25 0 4 0 524037417 752533504 105976 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 183724 105976 383 106 0 178695 0
[pid=5999/tid=6000] ppid=5997 vsize=734896 CPUtime=6.27 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31680 0 0 0 619 8 0 0 25 0 4 0 524037417 752533504 105976 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=734896 CPUtime=6.26 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31542 0 0 0 620 6 0 0 25 0 4 0 524037417 752533504 105976 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=734896 CPUtime=6.25 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 12637 0 0 0 621 4 0 0 25 0 4 0 524037418 752533504 105976 33554432000 4194304 4627427 140737423366800 18446744073709551615 4333265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 734896

[startup+12.7004 s]
/proc/loadavg: 7.19 7.96 7.93 9/188 6003
/proc/meminfo: memFree=30471348/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=721492 CPUtime=50.63 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 113848 0 0 0 5036 27 0 0 25 0 4 0 524037417 738807808 106004 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 180373 106004 386 106 0 175344 0
[pid=5999/tid=6000] ppid=5997 vsize=721492 CPUtime=12.67 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31680 0 0 0 1259 8 0 0 25 0 4 0 524037417 738807808 106004 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=721492 CPUtime=12.66 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 31542 0 0 0 1260 6 0 0 25 0 4 0 524037417 738807808 106004 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467990 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=721492 CPUtime=12.6 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 19033 0 0 0 1255 5 0 0 25 0 4 0 524037418 738807808 106004 33554432000 4194304 4627427 140737423366800 18446744073709551615 4238550 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 721492

[startup+25.5011 s]
/proc/loadavg: 7.68 8.03 7.95 10/188 6004
/proc/meminfo: memFree=30335864/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=843716 CPUtime=101.76 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 156226 0 0 0 10138 38 0 0 25 0 4 0 524037417 863965184 133592 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 210929 133592 391 106 0 205900 0
[pid=5999/tid=6000] ppid=5997 vsize=843716 CPUtime=25.46 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 37998 0 0 0 2537 9 0 0 25 0 4 0 524037417 863965184 133592 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=843716 CPUtime=25.46 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 37111 0 0 0 2538 8 0 0 25 0 4 0 524037417 863965184 133592 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=843716 CPUtime=25.33 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 43645 0 0 0 2523 10 0 0 25 0 4 0 524037418 863965184 133594 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 843716

[startup+51.1004 s]
/proc/loadavg: 7.85 8.04 7.95 9/188 6004
/proc/meminfo: memFree=30252716/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=800500 CPUtime=204 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 182204 0 0 0 20357 43 0 0 25 0 4 0 524037417 819712000 148723 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 200125 148723 391 106 0 195096 0
[pid=5999/tid=6000] ppid=5997 vsize=800500 CPUtime=51.05 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 43961 0 0 0 5095 10 0 0 25 0 4 0 524037417 819712000 148723 33554432000 4194304 4627427 140737423366800 18446744073709551615 4427302 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=800500 CPUtime=51.05 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 41188 0 0 0 5095 10 0 0 25 0 4 0 524037417 819712000 148723 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=800500 CPUtime=50.8 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 53448 0 0 0 5067 13 0 0 25 0 4 0 524037418 819712000 148723 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204
Current children cumulated vsize (KiB) 800500

[startup+102.307 s]
/proc/loadavg: 8.00 8.05 7.96 9/188 6006
/proc/meminfo: memFree=30144240/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=923188 CPUtime=408.54 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 243397 0 0 0 40797 57 0 0 25 0 4 0 524037417 945344512 168880 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 230797 168880 391 106 0 225768 0
[pid=5999/tid=6000] ppid=5997 vsize=923188 CPUtime=102.26 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 59354 0 0 0 10213 13 0 0 25 0 4 0 524037417 945344512 168880 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=923188 CPUtime=102.25 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 52093 0 0 0 10212 13 0 0 25 0 4 0 524037417 945344512 168880 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=923188 CPUtime=101.72 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 72457 0 0 0 10154 18 0 0 25 0 4 0 524037418 945344512 168880 33554432000 4194304 4627427 140737423366800 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 923188

[startup+162.3 s]
/proc/loadavg: 8.12 8.07 7.97 9/188 6007
/proc/meminfo: memFree=30058196/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=986484 CPUtime=648.18 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 301665 0 0 0 64744 74 0 0 25 0 4 0 524037417 1010159616 188998 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 246621 188998 391 106 0 241592 0
[pid=5999/tid=6000] ppid=5997 vsize=986484 CPUtime=162.25 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 68992 0 0 0 16209 16 0 0 25 0 4 0 524037417 1010159616 188998 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=986484 CPUtime=162.25 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 66103 0 0 0 16207 18 0 0 25 0 4 0 524037417 1010159616 188998 33554432000 4194304 4627427 140737423366800 18446744073709551615 4321713 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=986484 CPUtime=161.39 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 88271 0 0 0 16116 23 0 0 25 0 4 0 524037418 1010159616 188998 33554432000 4194304 4627427 140737423366800 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.18
Current children cumulated vsize (KiB) 986484

[startup+222.3 s]
/proc/loadavg: 7.95 8.03 7.96 7/188 6009
/proc/meminfo: memFree=30029852/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=873.94 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 87302 92 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467896 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 187652 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=221.12 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 22082 30 0 0 25 0 4 0 524037418 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 873.94
Current children cumulated vsize (KiB) 1015108

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

[startup+223.901 s]
/proc/loadavg: 7.79 8.00 7.95 7/188 6009
/proc/meminfo: memFree=30030844/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=877.15 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 87623 92 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467894 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 187652 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=222.72 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 22242 30 0 0 25 0 4 0 524037418 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874722496 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 877.15
Current children cumulated vsize (KiB) 1015108

[startup+227.1 s]
/proc/loadavg: 7.79 8.00 7.95 7/188 6009
/proc/meminfo: memFree=30026996/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=883.54 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 88262 92 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 187652 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=225.92 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 22562 30 0 0 25 0 4 0 524037418 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874722347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 883.54
Current children cumulated vsize (KiB) 1015108

[startup+230.301 s]
/proc/loadavg: 7.65 7.97 7.94 7/188 6009
/proc/meminfo: memFree=30018680/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=889.95 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 88903 92 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4467838 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 187652 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=229.12 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 22882 30 0 0 25 0 4 0 524037418 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874722347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 889.95
Current children cumulated vsize (KiB) 1015108

[startup+231.101 s]
/proc/loadavg: 7.65 7.97 7.94 7/188 6009
/proc/meminfo: memFree=30013844/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=891.55 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 89063 92 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 4427693 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 187652 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=229.92 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 22962 30 0 0 25 0 4 0 524037418 1039470592 187652 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874722500 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 891.55
Current children cumulated vsize (KiB) 1015108

[startup+231.901 s]
/proc/loadavg: 7.65 7.97 7.94 7/188 6009
/proc/meminfo: memFree=30013844/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=1015108 CPUtime=893.15 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4202496 370271 0 0 0 89223 92 0 0 25 0 4 0 524037417 1039470592 185562 33554432000 4194304 4627427 140737423366800 18446744073709551615 4520557 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 253777 185562 392 106 0 248748 0
[pid=5999/tid=6000] ppid=5997 vsize=1015108 CPUtime=212.02 cores=0,2,4,6
/proc/5999/task/6000/stat : 6000 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 83333 0 0 0 21182 20 0 0 25 0 4 0 524037417 1039470592 185562 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 4 0 0 0
[pid=5999/tid=6001] ppid=5997 vsize=1015108 CPUtime=218.51 cores=0,2,4,6
/proc/5999/task/6001/stat : 6001 (strangenight2-m) S 5997 5999 5928 0 -1 4202560 80998 0 0 0 21830 21 0 0 25 0 4 0 524037417 1039470592 185562 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874746932 0 0 4096 2 18446604453934966592 0 0 -1 2 0 0 0
[pid=5999/tid=6002] ppid=5997 vsize=1015108 CPUtime=230.72 cores=0,2,4,6
/proc/5999/task/6002/stat : 6002 (strangenight2-m) R 5997 5999 5928 0 -1 4202560 116790 0 0 0 23042 30 0 0 25 0 4 0 524037418 1039470592 185562 33554432000 4194304 4627427 140737423366800 18446744073709551615 47765874722347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 893.15
Current children cumulated vsize (KiB) 1015108

[startup+232.301 s]
/proc/loadavg: 7.65 7.97 7.94 7/188 6009
/proc/meminfo: memFree=30018928/32951124 swapFree=67111336/67111528
[pid=5999] ppid=5997 vsize=0 CPUtime=893.94 cores=0,2,4,6
/proc/5999/stat : 5999 (strangenight2-m) R 5997 5999 5928 0 -1 4203524 370782 0 0 0 89302 92 0 0 25 0 1 0 524037417 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/5999/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 893.94
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 232.333
CPU time (s): 893.979
CPU user time (s): 893.02
CPU system time (s): 0.958854
CPU usage (%): 384.783
Max. virtual memory (cumulated for all children) (KiB): 1218160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 893.02
system time used= 0.958854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370782
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= 8516
involuntary context switches= 15188

runsolver used 0.383941 second user time and 0.900863 second system time

The end

Begin job on node133 at 2011-04-30 02:46:35
IDJOB=3290484
IDBENCH=83436
IDSOLVER=1586
FILE ID=node133/3290484-1304124395
RUNJOBID= node133-1304124391-5946
PBS_JOBID= 13170758
Free space on /tmp= 71876 MiB

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

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=404151817

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30922416 kB
Buffers:        510484 kB
Cached:        1073716 kB
SwapCached:        124 kB
Active:         196864 kB
Inactive:      1485440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30922416 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:           26408 kB
Writeback:           0 kB
AnonPages:       98584 kB
Mapped:          15476 kB
Slab:           281572 kB
PageTables:       4836 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   307304 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= 71872 MiB
End job on node133 at 2011-04-30 02:50:28