0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321215-1304332562.cnf'
0.00/0.03	c -- header says num vars:          10420
0.00/0.03	c -- header says num clauses:      395383
1.44/0.26	c -- clauses added:            0 learnts,       395383 normals,            0 xors
1.44/0.26	c -- vars added      10420
1.44/0.26	c Parsing time:  0.17 s
1.44/0.26	c  N st     0         0     10420    367831     26628         0   2819244         0   no data   no data
1.44/0.50	c asymm  cl-useful: 0/1283/367388 lits-rem:0 time: 0.23
11.60/1.52	c Flit:    33 Blit:      0 bXBeca:    0 bXProp:   80 Bins:      0 BRemL:      0 BRemN:      0 P: 39.6M T:  1.00
12.40/1.65	c Replacing       80 vars Replaced   241302 lits Time:     0.12 s 
13.92/1.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.92/1.95	c bin-w-bin subsume rem          474 bins  time:  0.00 s
13.92/1.98	c subs with bin:      521  lits-rem:        14  v-fix:    0  time:  0.03 s
14.32/2.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   7018 time:  0.02 s
14.32/2.03	c Removed useless bin:       0  fixed:     0  props:   2.37M  time:  0.02 s
129.21/16.47	c lits-rem:         0  cl-subs:      230  v-elim:    868  v-fix:    0  time: 14.42 s
129.21/16.48	c Finding binary XORs  T:     0.01 s  found:       0
142.79/18.17	c Finding non-binary XORs:     1.66 s (found:       0, avg size: nan)
142.79/18.17	c calculated reachability. Time: 0.00
142.79/18.19	c Calc default polars -  time:   0.02 s pos:     336 undec:    1465 neg:    8619
142.79/18.19	c =========================================================================================
142.79/18.19	c types(t): F = full restart, N = normal restart
142.79/18.19	c types(t): S = simplification begin/end, E = solution found
142.79/18.19	c restart types(rt): st = static, dy = dynamic
142.79/18.19	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
142.79/18.19	c  B st     0         0      8955    367714     22995         0   2783510         0   no data   no data
148.41/18.89	c  N dy    16      4003      8951    367714     23124      3832   2783510    163127      9.41     10.09
152.35/19.35	c  N dy    39      8013      8927    367714     23750      7651   2783510    302180      9.41      9.92
156.40/19.85	c  N dy    69     12100      8924    367714     23862     11601   2783510    480339      9.88     11.42
161.96/20.54	c  N dy    94     16143      8924    367714     24123     15506   2783509    638015     10.00     13.23
162.76/20.69	c Finding binary XORs  T:     0.01 s  found:       1
166.75/21.17	c  N dy   118     20270      8924    364786     24424      9852   2763832    187923     10.07     10.66
173.15/21.90	c  N dy   141     24380      8923    364786     25344     13855   2763832    363887     10.11     10.65
173.99/22.05	c  F st   145     25002      8923    364786     25353     14464   2763832    392042     10.10   no data
174.79/22.10	c Replacing        1 vars Replaced        0 lits Time:     0.02 s 
179.54/22.78	c  N dy   151     30001      8903    361867     25347     19332   2744331    638981     10.10   no data
179.54/22.78	c  S st   151     30001      8903    361867     25347     19332   2744331    638981     10.10   no data
181.14/22.99	c Finding binary XORs  T:     0.01 s  found:       1
183.59/23.20	c  S st   151     30503      8901    361865     25856     19778   2744313    652481     10.10   no data
183.59/23.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
204.32/25.85	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 324057 BRemL: 297899 BRemN:      0 P: 68.1M T:  2.62
205.12/25.90	c Replacing        1 vars Replaced       14 lits Time:     0.04 s 
205.12/25.99	c blocked clauses removed:        0 vars:      0 tried:        8897 T: 0.00 s
205.12/26.00	c bin-w-bin subsume rem          137 bins  time:  0.01 s
205.92/26.05	c subs with bin:      509  lits-rem:      4982  v-fix:    0  time:  0.05 s
205.92/26.08	c Subs w/ non-existent bins:      4 l-rem:      2 v-fix:     0 done:   1960 time:  0.03 s
205.92/26.09	c Removed useless bin:       2  fixed:     0  props:   0.88M  time:  0.01 s
307.43/38.72	c lits-rem:         0  cl-subs:     7401  v-elim:    223  v-fix:    0  time: 12.63 s
308.23/38.86	c subs with bin:       79  lits-rem:      3606  v-fix:    0  time:  0.13 s
403.42/50.74	c lits-rem:        39  cl-subs:      484  v-elim:      0  v-fix:    0  time: 11.81 s
405.76/51.09	c asymm  cl-useful: 0/1542/354274 lits-rem:0 time: 0.35
406.56/51.11	c calculated reachability. Time: 0.01
406.56/51.11	c  N dy   151     30503      8674    354274     49430      8513   2687898    228159     10.10   no data
406.56/51.13	c Finding binary XORs  T:     0.02 s  found:       0
413.76/52.05	c  N dy   164     34667      8674    354274     49434     12651   2687898    421031      9.95     10.54
419.35/52.79	c Finding binary XORs  T:     0.02 s  found:       0
421.00/52.98	c  N dy   187     38894      8671    354273    341464     16840   2687780   1197648      9.95     10.51
427.35/53.73	c  N dy   208     42996      8671    354273    344767     11245   2687780    839792      9.91     10.45
431.34/54.24	c  S st   224     45760      8671    354273    344770     13992   2687780    953558      9.90     10.01
433.74/54.56	c  S st   224     46263      8671    354273    344771     14493   2687780    970521      9.90   no data
433.74/54.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
451.33/56.75	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2311 BRemL: 291052 BRemN:      1 P: 63.6M T:  2.17
452.13/56.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.13/56.86	c bin-w-bin subsume rem         1560 bins  time:  0.01 s
452.93/56.90	c subs with bin:      286  lits-rem:       103  v-fix:    0  time:  0.04 s
452.93/56.92	c Subs w/ non-existent bins:      0 l-rem:     16 v-fix:     0 done:    594 time:  0.02 s
452.93/56.93	c Removed useless bin:       0  fixed:     0  props:   0.84M  time:  0.01 s
529.68/66.57	c lits-rem:         0  cl-subs:      130  v-elim:     25  v-fix:    0  time:  9.63 s
531.27/66.74	c subs with bin:       42  lits-rem:       229  v-fix:    0  time:  0.15 s
624.80/78.48	c lits-rem:         2  cl-subs:      280  v-elim:      0  v-fix:    0  time: 11.67 s
626.40/78.63	c vivif2 --  cl tried   353892 cl shrink       90 lits rem         98 time: 0.15
626.40/78.65	c vivif2 --  cl tried    13145 cl shrink     1220 lits rem       3507 time: 0.02
628.81/78.92	c asymm  cl-useful: 5/1362/353892 lits-rem:6 time: 0.27
628.81/78.94	c calculated reachability. Time: 0.01
628.81/78.94	c  N dy   224     46263      8645    353892     54110     13145   2684109    343937      9.90   no data
628.81/78.96	c Finding binary XORs  T:     0.01 s  found:       0
636.80/79.93	c  N dy   245     50286      8642    353892     62485     17145   2684109    576084      9.84     10.57
637.60/80.03	c Finding binary XORs  T:     0.01 s  found:       2
642.39/80.67	c  N dy   268     54459      8632    353881     61637     21181   2683896    742855      9.89     10.63
647.99/81.38	c  N dy   298     58616      8632    353881     62149     25306   2683896    941648      9.98     10.67
655.19/82.28	c  N dy   321     62695      8631    353881     62157     29361   2683896   1117461      9.97     11.20
663.19/83.21	c  N dy   340     67100      8631    353881     62159     18557   2683896    467518      9.94     10.48
666.43/83.62	c  S st   356     69394      8630    353881     62163     20837   2683896    587481      9.96   no data
668.78/83.97	c  S st   356     69897      8630    353881     62164     21339   2683896    605376      9.96   no data
668.78/83.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
687.97/86.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   5085 BRemL:   9776 BRemN:      0 P: 64.4M T:  2.32
687.97/86.36	c Replacing        2 vars Replaced      878 lits Time:     0.05 s 
688.77/86.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
688.77/86.46	c bin-w-bin subsume rem           36 bins  time:  0.01 s
689.57/86.59	c subs with bin:     2131  lits-rem:      1711  v-fix:    0  time:  0.13 s
690.37/86.62	c Subs w/ non-existent bins:      0 l-rem:     12 v-fix:     0 done:   1931 time:  0.03 s
690.37/86.63	c Removed useless bin:       1  fixed:     0  props:   0.77M  time:  0.01 s
768.71/96.47	c lits-rem:         0  cl-subs:     1281  v-elim:     20  v-fix:    0  time:  9.84 s
771.95/96.81	c subs with bin:      229  lits-rem:      1699  v-fix:    0  time:  0.32 s
859.05/107.71	c lits-rem:        83  cl-subs:      919  v-elim:      0  v-fix:    0  time: 10.85 s
859.90/107.87	c vivif2 --  cl tried   350069 cl shrink       12 lits rem         14 time: 0.16
860.70/107.91	c vivif2 --  cl tried    18977 cl shrink     2168 lits rem       8944 time: 0.04
863.04/108.24	c asymm  cl-useful: 0/1450/350068 lits-rem:0 time: 0.33
863.04/108.26	c calculated reachability. Time: 0.01
863.04/108.26	c  N dy   356     69897      8608    350068     57104     18972   2656995    486537      9.96   no data
863.04/108.28	c Finding binary XORs  T:     0.01 s  found:       0
872.65/109.41	c  N dy   375     74556      8607    350068     64540     23602   2656995    752997      9.93     10.50
872.65/109.46	c Finding binary XORs  T:     0.01 s  found:       1
881.44/110.55	c  N dy   410     79403      8603    350065     64461     28396   2656859    982757      9.96     12.94
892.63/111.93	c  N dy   443     84526      8602    350065     66127     33496   2656859   1236898      9.96     10.72
899.82/112.82	c  F st   463     87502      8602    350065     66138     18259   2656859    349783      9.98   no data
899.82/112.87	c Replacing        1 vars Replaced      315 lits Time:     0.02 s 
906.22/113.62	c  N st   468     90798      8601    350063     66017     21526   2656843    542254      9.98   no data
909.41/114.01	c Finding binary XORs  T:     0.01 s  found:       0
917.41/115.00	c  N dy   492     96787      8601    350063     69600     27499   2656843    973796      9.97     10.62
929.40/116.55	c  N dy   527    103009      8601    350063     69611     33700   2656843   1296859     10.00     10.56
932.61/116.99	c  S st   529    104846      8601    350063     69613     35529   2656843   1453074      9.96      7.32
935.80/117.35	c  S st   529    105346      8601    350063     69620     36028   2656843   1476057      9.96   no data
935.80/117.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
955.79/119.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   3597 BRemL:  10867 BRemN:      1 P: 72.5M T:  2.51
956.63/119.93	c Replacing        1 vars Replaced     3542 lits Time:     0.04 s 
957.43/120.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
957.43/120.03	c bin-w-bin subsume rem          118 bins  time:  0.01 s
958.19/120.11	c subs with bin:      910  lits-rem:      1005  v-fix:    0  time:  0.08 s
958.19/120.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.02 s
958.19/120.15	c Removed useless bin:       2  fixed:     0  props:   0.68M  time:  0.01 s
1070.95/134.27	c lits-rem:         0  cl-subs:     1545  v-elim:     27  v-fix:    0  time: 14.12 s
1083.69/135.81	c subs with bin:      170  lits-rem:      5440  v-fix:    0  time:  1.49 s
1202.02/150.64	c lits-rem:        28  cl-subs:      776  v-elim:      0  v-fix:    0  time: 14.77 s
1202.86/150.79	c vivif2 --  cl tried   347671 cl shrink       12 lits rem         18 time: 0.15
1203.67/150.89	c vivif2 --  cl tried    32464 cl shrink     5919 lits rem      51013 time: 0.09
1206.81/151.26	c asymm  cl-useful: 21/2116/347671 lits-rem:21 time: 0.38
1206.81/151.29	c calculated reachability. Time: 0.01
1206.81/151.29	c  N dy   529    105346      8573    347671     61571     32462   2641230   1184721      9.96   no data
1207.61/151.30	c Finding binary XORs  T:     0.01 s  found:       0
1223.61/153.32	c  N dy   564    112148      8571    347671     71784     39226   2641228   1665429      9.96     13.39
1225.21/153.54	c Finding binary XORs  T:     0.01 s  found:       1
1238.84/155.28	c  N dy   605    119628      8569    347668     71120     26872   2641144    820141      9.99     10.60
1257.17/157.56	c  N dy   658    127792      8569    347668     71139     34978   2641144   1266513     10.01     10.54
1274.02/159.62	c  N dy   717    136171      8569    347668     71169     43320   2641144   1724300     10.08     10.62
1291.60/161.84	c  N dy   755    144877      8569    347668     71191     29704   2641144    724001     10.06     12.08
1310.75/164.23	c  N dy   807    154191      8569    347668     71212     38970   2641144   1240786     10.08     10.90
1317.18/165.04	c  S st   827    158021      8569    347668     71219     42754   2641144   1438778     10.08   no data
1321.14/165.52	c  S st   827    158522      8569    347668     71219     43253   2641144   1460458     10.08   no data
1321.14/165.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1345.91/168.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3032 BRemL:  10162 BRemN:      0 P: 70.3M T:  3.06
1345.91/168.66	c Replacing        1 vars Replaced     6205 lits Time:     0.06 s 
1346.71/168.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1346.71/168.76	c bin-w-bin subsume rem          134 bins  time:  0.01 s
1346.71/168.79	c subs with bin:      145  lits-rem:        35  v-fix:    0  time:  0.03 s
1347.51/168.82	c Subs w/ non-existent bins:      5 l-rem:      4 v-fix:     0 done:    526 time:  0.03 s
1347.51/168.83	c Removed useless bin:       1  fixed:     0  props:   0.67M  time:  0.01 s
1461.02/183.00	c lits-rem:         2  cl-subs:       34  v-elim:     20  v-fix:    0  time: 14.18 s
1473.82/184.61	c subs with bin:      595  lits-rem:      2907  v-fix:    0  time:  1.54 s
1588.15/198.98	c lits-rem:        19  cl-subs:     1024  v-elim:      0  v-fix:    0  time: 14.31 s
1589.79/199.14	c vivif2 --  cl tried   347528 cl shrink       12 lits rem         16 time: 0.16
1590.59/199.25	c vivif2 --  cl tried    39938 cl shrink     6928 lits rem      54021 time: 0.11
1592.94/199.57	c asymm  cl-useful: 12/1717/347528 lits-rem:13 time: 0.32
1592.94/199.59	c calculated reachability. Time: 0.01
1592.94/199.59	c  N dy   827    158522      8548    347528     63481     39931   2640661   1256619     10.08   no data
1593.74/199.61	c Finding binary XORs  T:     0.01 s  found:       0
1610.52/201.77	c Finding binary XORs  T:     0.01 s  found:       0
1615.32/202.40	c  N dy   890    168644      8544    347525     67763     26791   2640576    576193     10.11     15.60
1635.31/204.83	c  N dy   959    179508      8544    347525     67786     37595   2640576   1141745     10.15     10.69
1660.14/207.95	c  N dy  1034    191299      8544    347525     67799     49334   2640576   1773327     10.20     10.75
1709.00/227.79	c Following stats are for *FIRST FINISHED THREAD ONLY*
1709.00/227.79	c num threads              : 8          
1709.00/227.79	c restarts                 : 1924       
1709.00/227.79	c dynamic restarts         : 1900       
1709.00/227.79	c static restarts          : 24         
1709.00/227.79	c full restarts            : 3          
1709.00/227.79	c total simplify time      : 0.40       
1709.00/227.79	c learnts DL2              : 0          
1709.00/227.79	c learnts size 2           : 687218     
1709.00/227.79	c learnts size 1           : 609         (5.84      % of vars)
1709.00/227.79	c filedLit time            : 10.69       (4.71      % time)
1709.00/227.79	c v-elim SatELite          : 1175        (11.28     % vars)
1709.00/227.79	c SatELite time            : 106.14      (46.70     % time)
1709.00/227.79	c v-elim xor               : 0           (0.00      % vars)
1709.00/227.79	c xor elim time            : 0.09        (0.04      % time)
1709.00/227.79	c num binary xor trees     : 83         
1709.00/227.79	c binxor trees' crown      : 87          (1.05      leafs/tree)
1709.00/227.79	c bin xor find time        : 0.23       
1709.00/227.79	c OTF clause improved      : 1816        (0.01      clauses/conflict)
1709.00/227.79	c OTF impr. size diff      : 2247        (1.24       lits/clause)
1709.00/227.79	c OTF cl watch-shrink      : 253902      (0.72      clauses/conflict)
1709.00/227.79	c OTF cl watch-sh-lit      : 1685579     (6.64       lits/clause)
1709.00/227.79	c tried to recurMin cls    : 154524      (44.07      % of conflicts)
1709.00/227.79	c updated cache            : 0           (0.00       lits/tried recurMin)
1709.00/227.79	c unit cls recevied        : 36          (5.91      % of units)
1709.00/227.79	c unit cls sent            : 3           (0.49      % of units)
1709.00/227.79	c bin cls recevied         : 337474     
1709.00/227.79	c bin cls sent             : 7648       
1709.00/227.79	c clauses over max glue    : 0           (0.00      % of all clauses)
1709.00/227.79	c conflicts                : 350649      (1542.96   / sec)
1709.00/227.79	c decisions                : 770846      (1.16      % random)
1709.00/227.79	c bogo-props               : 5110198351  (22486384.18 / sec)
1709.00/227.79	c conflict literals        : 18613025    (29.96     % deleted)
1709.00/227.79	c Memory used              : 2073.53     MB
1709.00/227.79	c single-thread CPU time   : 227.26      s
1709.00/227.79	c all-threads sum CPU time : 1707.02     s
1709.00/227.79	s SATISFIABLE
1709.00/227.79	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-3321215-1304332562/watcher-3321215-1304332562 -o /tmp/evaluation-result-3321215-1304332562/solver-3321215-1304332562 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321215-1304332562.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.59 3.07 1/187 16968
/proc/meminfo: memFree=28219128/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=92188 CPUtime=0.01 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249906 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 23047 352 299 106 0 18018 0
[pid=16968/tid=16969] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249910 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=92188 CPUtime=0 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 544854289 94400512 352 33554432000 4194304 4627427 140735418336784 18446744073709551615 228134511670 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0879079 s]
/proc/loadavg: 0.00 0.59 3.07 1/187 16968
/proc/meminfo: memFree=28219128/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=629756 CPUtime=0.53 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) D 16966 16968 16908 0 -1 4202496 13387 0 0 0 44 9 0 0 17 0 8 0 544854289 644870144 12479 33554432000 4194304 4627427 140735418336784 18446744073709551615 4314206 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 157574 12585 341 106 0 152545 0
[pid=16968/tid=16969] ppid=16966 vsize=630296 CPUtime=0.06 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 1455 0 0 0 6 0 0 0 17 0 8 0 544854289 645423104 12598 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=630296 CPUtime=0.06 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 1587 0 0 0 5 1 0 0 17 0 8 0 544854289 645423104 12611 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=630296 CPUtime=0.04 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 1782 0 0 0 3 1 0 0 17 0 8 0 544854289 645423104 12645 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=630296 CPUtime=0.07 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) D 16966 16968 16908 0 -1 4202560 1668 0 0 0 6 1 0 0 17 0 8 0 544854289 645423104 12657 33554432000 4194304 4627427 140735418336784 18446744073709551615 4316503 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=630296 CPUtime=0.07 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 1521 0 0 0 6 1 0 0 17 0 8 0 544854289 645423104 12657 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=630296 CPUtime=0.06 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 1619 0 0 0 5 1 0 0 17 0 8 0 544854289 645423104 12659 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=630296 CPUtime=0.06 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 1700 0 0 0 5 1 0 0 17 0 8 0 544854289 645423104 12675 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 629756

[startup+0.101902 s]
/proc/loadavg: 0.00 0.59 3.07 1/187 16968
/proc/meminfo: memFree=28219128/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=638476 CPUtime=0.61 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 17283 0 0 0 49 12 0 0 17 0 8 0 544854289 653799424 15336 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 159619 15350 341 106 0 154590 0
[pid=16968/tid=16969] ppid=16966 vsize=638476 CPUtime=0.07 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 2019 0 0 0 6 1 0 0 17 0 8 0 544854289 653799424 15355 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=638616 CPUtime=0.08 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) D 16966 16968 16908 0 -1 4202560 2097 0 0 0 6 2 0 0 17 0 8 0 544854289 653942784 15355 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122757303 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=638616 CPUtime=0.04 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 2129 0 0 0 3 1 0 0 17 0 8 0 544854289 653942784 15357 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=638756 CPUtime=0.08 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 2217 0 0 0 7 1 0 0 17 0 8 0 544854289 654086144 15358 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=638756 CPUtime=0.08 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 1969 0 0 0 7 1 0 0 17 0 8 0 544854289 654086144 15360 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=638756 CPUtime=0.07 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 2063 0 0 0 5 2 0 0 17 0 8 0 544854289 654086144 15386 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=638756 CPUtime=0.07 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 2265 0 0 0 6 1 0 0 17 0 8 0 544854289 654086144 15405 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 638476

[startup+0.331941 s]
/proc/loadavg: 0.00 0.59 3.07 1/187 16968
/proc/meminfo: memFree=28219128/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=955236 CPUtime=2.36 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 67087 0 0 0 209 27 0 0 18 0 8 0 544854289 978161664 64723 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 238809 64789 365 106 0 233780 0
[pid=16968/tid=16969] ppid=16966 vsize=955236 CPUtime=0.29 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 8168 0 0 0 27 2 0 0 18 0 8 0 544854289 978161664 64811 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=957508 CPUtime=0.49 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 8509 0 0 0 45 4 0 0 18 0 8 0 544854289 980488192 66886 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=957656 CPUtime=0.46 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 8384 0 0 0 43 3 0 0 18 0 8 0 544854289 980639744 66899 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122375201 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=957656 CPUtime=0.48 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 8418 0 0 0 45 3 0 0 18 0 8 0 544854289 980639744 66935 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122410763 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=957656 CPUtime=0.48 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 8383 0 0 0 45 3 0 0 18 0 8 0 544854289 980639744 66955 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=957792 CPUtime=0.47 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) D 16966 16968 16908 0 -1 4202560 8394 0 0 0 44 3 0 0 18 0 8 0 544854289 980779008 67013 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122410763 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=957960 CPUtime=0.47 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 9862 0 0 0 44 3 0 0 18 0 8 0 544854289 980951040 67046 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 955236

[startup+0.754538 s]
/proc/loadavg: 0.00 0.59 3.07 1/187 16968
/proc/meminfo: memFree=28219128/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=966680 CPUtime=5.65 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 82197 0 0 0 531 34 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 241670 79832 367 106 0 236641 0
[pid=16968/tid=16969] ppid=16966 vsize=966680 CPUtime=0.7 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10106 0 0 0 67 3 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=966680 CPUtime=0.71 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10316 0 0 0 66 5 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=966680 CPUtime=0.68 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10144 0 0 0 64 4 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=966680 CPUtime=0.71 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10222 0 0 0 67 4 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=966680 CPUtime=0.7 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10235 0 0 0 66 4 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=966680 CPUtime=0.7 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10383 0 0 0 66 4 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=966680 CPUtime=0.7 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 10301 0 0 0 67 3 0 0 18 0 8 0 544854289 989880320 79832 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 966680

[startup+1.50059 s]
/proc/loadavg: 0.00 0.59 3.07 9/195 16976
/proc/meminfo: memFree=27876948/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=973876 CPUtime=11.6 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 91798 0 0 0 1122 38 0 0 19 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 243469 89433 368 106 0 238440 0
[pid=16968/tid=16969] ppid=16966 vsize=973876 CPUtime=1.44 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11364 0 0 0 140 4 0 0 18 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=973876 CPUtime=1.45 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11532 0 0 0 140 5 0 0 18 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=973876 CPUtime=1.42 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11342 0 0 0 138 4 0 0 18 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=973876 CPUtime=1.46 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11461 0 0 0 141 5 0 0 18 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4238371 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=973876 CPUtime=1.44 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11519 0 0 0 140 4 0 0 19 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=973876 CPUtime=1.43 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11579 0 0 0 139 4 0 0 18 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=973876 CPUtime=1.44 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11229 0 0 0 141 3 0 0 19 0 8 0 544854289 997249024 89433 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 973876

[startup+3.10131 s]
/proc/loadavg: 0.64 0.71 3.09 9/195 16976
/proc/meminfo: memFree=27306300/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=1607400 CPUtime=22.91 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 232248 0 0 0 2205 86 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 401850 228614 381 106 0 396821 0
[pid=16968/tid=16969] ppid=16966 vsize=1607400 CPUtime=2.84 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31137 0 0 0 272 12 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=1607400 CPUtime=2.85 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 32050 0 0 0 274 11 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=1607400 CPUtime=2.81 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 30727 0 0 0 270 11 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=1607400 CPUtime=2.85 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31441 0 0 0 274 11 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=1607400 CPUtime=2.83 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31433 0 0 0 272 11 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=1607400 CPUtime=2.82 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31723 0 0 0 272 10 0 0 19 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467995 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=1607400 CPUtime=2.93 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 11665 0 0 0 289 4 0 0 18 0 8 0 544854289 1645977600 228614 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (KiB) 1607400

[startup+6.30073 s]
/proc/loadavg: 0.64 0.71 3.09 9/195 16976
/proc/meminfo: memFree=27303548/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=1607400 CPUtime=48.47 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 233002 0 0 0 4761 86 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 401850 229367 383 106 0 396821 0
[pid=16968/tid=16969] ppid=16966 vsize=1607400 CPUtime=6.04 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31137 0 0 0 592 12 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=1607400 CPUtime=6.04 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 32050 0 0 0 593 11 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=1607400 CPUtime=6.01 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 30727 0 0 0 590 11 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=1607400 CPUtime=6.05 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31441 0 0 0 594 11 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467894 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=1607400 CPUtime=6.03 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31433 0 0 0 592 11 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=1607400 CPUtime=6 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 31723 0 0 0 590 10 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=1607400 CPUtime=6.14 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 12419 0 0 0 609 5 0 0 25 0 8 0 544854289 1645977600 229367 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=16968] ppid=16966 vsize=1806824 CPUtime=815.92 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 496459 0 0 0 81435 157 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 451706 344821 391 106 0 446677 0
[pid=16968/tid=16969] ppid=16966 vsize=1806824 CPUtime=102.03 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 58658 0 0 0 10185 18 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=1806824 CPUtime=102.02 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 60582 0 0 0 10184 18 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=1806824 CPUtime=102.02 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 61691 0 0 0 10182 20 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=1806824 CPUtime=102.05 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 57824 0 0 0 10185 20 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=1806824 CPUtime=102.04 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 61935 0 0 0 10185 19 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=1806824 CPUtime=101.45 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 70646 0 0 0 10123 22 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=1806824 CPUtime=102.14 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 67482 0 0 0 10195 19 0 0 25 0 8 0 544854289 1850187776 344821 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 815.92
Current children cumulated vsize (KiB) 1806824

[startup+162.301 s]
/proc/loadavg: 7.50 3.69 3.86 9/195 16980
/proc/meminfo: memFree=26734508/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=1980692 CPUtime=1295.55 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) R 16966 16968 16908 0 -1 4202496 565756 0 0 0 129373 182 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 495173 370875 391 106 0 490144 0
[pid=16968/tid=16969] ppid=16966 vsize=1980692 CPUtime=162.02 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 73196 0 0 0 16180 22 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467894 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=1980692 CPUtime=162.02 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 70695 0 0 0 16180 22 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=1980692 CPUtime=162.01 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 69892 0 0 0 16177 24 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=1980692 CPUtime=162.04 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 59821 0 0 0 16183 21 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=1980692 CPUtime=162.04 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 77886 0 0 0 16179 25 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=1980692 CPUtime=161.13 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 77844 0 0 0 16089 24 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=1980692 CPUtime=162.13 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 77598 0 0 0 16192 21 0 0 25 0 8 0 544854289 2028228608 370875 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1295.55
Current children cumulated vsize (KiB) 1980692

[startup+222.307 s]
/proc/loadavg: 6.60 4.27 4.05 3/195 16982
/proc/meminfo: memFree=26504456/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=2123288 CPUtime=1698.2 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) S 16966 16968 16908 0 -1 4202496 682664 0 0 0 169603 217 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 530822 428511 391 106 0 525793 0
[pid=16968/tid=16969] ppid=16966 vsize=2123288 CPUtime=222.02 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 87806 0 0 0 22176 26 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902224939 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=2123288 CPUtime=222.01 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 81605 0 0 0 22177 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=2123288 CPUtime=208.5 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 87987 0 0 0 20820 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=2123288 CPUtime=212.54 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 67224 0 0 0 21230 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=2123288 CPUtime=208.51 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 90362 0 0 0 20823 28 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=2123288 CPUtime=207.36 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 100678 0 0 0 20704 32 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=2123288 CPUtime=208.61 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 107434 0 0 0 20831 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1698.2
Current children cumulated vsize (KiB) 2123288

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

[startup+224.001 s]
/proc/loadavg: 6.60 4.27 4.05 3/195 16982
/proc/meminfo: memFree=26504456/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=2123288 CPUtime=1701.59 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) S 16966 16968 16908 0 -1 4202496 682664 0 0 0 169942 217 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 530822 428511 391 106 0 525793 0
[pid=16968/tid=16969] ppid=16966 vsize=2123288 CPUtime=223.72 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 87806 0 0 0 22346 26 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902225092 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=2123288 CPUtime=223.7 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 81605 0 0 0 22346 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=2123288 CPUtime=208.5 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 87987 0 0 0 20820 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=2123288 CPUtime=212.54 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 67224 0 0 0 21230 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=2123288 CPUtime=208.51 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 90362 0 0 0 20823 28 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=2123288 CPUtime=207.36 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 100678 0 0 0 20704 32 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=2123288 CPUtime=208.61 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 107434 0 0 0 20831 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1701.59
Current children cumulated vsize (KiB) 2123288

[startup+225.607 s]
/proc/loadavg: 6.60 4.27 4.05 3/195 16982
/proc/meminfo: memFree=26504572/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=2123288 CPUtime=1704.81 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) S 16966 16968 16908 0 -1 4202496 682664 0 0 0 170264 217 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 530822 428511 391 106 0 525793 0
[pid=16968/tid=16969] ppid=16966 vsize=2123288 CPUtime=225.32 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 87806 0 0 0 22506 26 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 4219935 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=2123288 CPUtime=225.31 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 81605 0 0 0 22507 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=2123288 CPUtime=208.5 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 87987 0 0 0 20820 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=2123288 CPUtime=212.54 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 67224 0 0 0 21230 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=2123288 CPUtime=208.51 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 90362 0 0 0 20823 28 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=2123288 CPUtime=207.36 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 100678 0 0 0 20704 32 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=2123288 CPUtime=208.61 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 107434 0 0 0 20831 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1704.81
Current children cumulated vsize (KiB) 2123288

[startup+227.201 s]
/proc/loadavg: 6.60 4.27 4.05 3/195 16982
/proc/meminfo: memFree=26504572/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=2123288 CPUtime=1707.99 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) S 16966 16968 16908 0 -1 4202496 682664 0 0 0 170582 217 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 530822 428511 391 106 0 525793 0
[pid=16968/tid=16969] ppid=16966 vsize=2123288 CPUtime=226.92 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 87806 0 0 0 22666 26 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902225092 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=2123288 CPUtime=226.9 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 81605 0 0 0 22666 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 4302447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=2123288 CPUtime=208.5 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 87987 0 0 0 20820 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=2123288 CPUtime=212.54 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 67224 0 0 0 21230 24 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=2123288 CPUtime=208.51 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 90362 0 0 0 20823 28 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=2123288 CPUtime=207.36 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 100678 0 0 0 20704 32 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=2123288 CPUtime=208.61 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 107434 0 0 0 20831 30 0 0 25 0 8 0 544854289 2174246912 428511 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1707.99
Current children cumulated vsize (KiB) 2123288

[startup+227.601 s]
/proc/loadavg: 6.60 4.27 4.05 3/195 16982
/proc/meminfo: memFree=26504572/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=2123288 CPUtime=1708.79 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) S 16966 16968 16908 0 -1 4202496 682848 0 0 0 170662 217 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 530822 428695 391 106 0 525793 0
[pid=16968/tid=16969] ppid=16966 vsize=2123288 CPUtime=227.32 cores=0-7
/proc/16968/task/16969/stat : 16969 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 87806 0 0 0 22706 26 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902224939 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16968/tid=16970] ppid=16966 vsize=2123288 CPUtime=227.3 cores=0-7
/proc/16968/task/16970/stat : 16970 (strangenight2-m) R 16966 16968 16908 0 -1 4202560 81789 0 0 0 22706 24 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16968/tid=16971] ppid=16966 vsize=2123288 CPUtime=208.5 cores=0-7
/proc/16968/task/16971/stat : 16971 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 87987 0 0 0 20820 30 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 5 0 0 0
[pid=16968/tid=16972] ppid=16966 vsize=2123288 CPUtime=212.54 cores=0-7
/proc/16968/task/16972/stat : 16972 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 67224 0 0 0 21230 24 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 1 0 0 0
[pid=16968/tid=16973] ppid=16966 vsize=2123288 CPUtime=208.51 cores=0-7
/proc/16968/task/16973/stat : 16973 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 90362 0 0 0 20823 28 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 3 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=2123288 CPUtime=207.36 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 100678 0 0 0 20704 32 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 7 0 0 0
[pid=16968/tid=16975] ppid=16966 vsize=2123288 CPUtime=208.61 cores=0-7
/proc/16968/task/16975/stat : 16975 (strangenight2-m) S 16966 16968 16908 0 -1 4202560 107434 0 0 0 20831 30 0 0 25 0 8 0 544854289 2174246912 428695 33554432000 4194304 4627427 140735418336784 18446744073709551615 47409902249524 0 0 4096 2 18446604471098583040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1708.79
Current children cumulated vsize (KiB) 2123288

[startup+227.807 s]
/proc/loadavg: 6.23 4.23 4.04 3/195 16982
/proc/meminfo: memFree=26504200/32951124 swapFree=67111444/67111528
[pid=16968] ppid=16966 vsize=0 CPUtime=1709.19 cores=0-7
/proc/16968/stat : 16968 (strangenight2-m) Z 16966 16968 16908 0 -1 4203548 682857 0 0 0 170701 218 0 0 18 0 2 0 544854289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16968/statm: 0 0 0 0 0 0 0
[pid=16968/tid=16974] ppid=16966 vsize=0 CPUtime=207.37 cores=0-7
/proc/16968/task/16974/stat : 16974 (strangenight2-m) R 16966 16968 16908 0 -1 4203588 100678 0 0 0 20704 33 0 0 18 0 2 0 544854289 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1709.19
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 227.882
CPU time (s): 1709.28
CPU user time (s): 1707.02
CPU system time (s): 2.26266
CPU usage (%): 750.071
Max. virtual memory (cumulated for all children) (KiB): 2236268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1707.02
system time used= 2.26266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682857
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= 74931
involuntary context switches= 7797

runsolver used 0.321951 second user time and 0.952855 second system time

The end

Begin job on node138 at 2011-05-02 12:36:03
IDJOB=3321215
IDBENCH=83436
IDSOLVER=1709
FILE ID=node138/3321215-1304332562
RUNJOBID= node138-1304332543-16922
PBS_JOBID= 13177703
Free space on /tmp= 73256 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-3321215-1304332562/watcher-3321215-1304332562 -o /tmp/evaluation-result-3321215-1304332562/solver-3321215-1304332562 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321215-1304332562.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=1556850277

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.82
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.854
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:      28219300 kB
Buffers:        726572 kB
Cached:        1782384 kB
SwapCached:         84 kB
Active:        2284804 kB
Inactive:      2037180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28219300 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           20896 kB
Writeback:           0 kB
AnonPages:     1813276 kB
Mapped:          19640 kB
Slab:           339804 kB
PageTables:       8340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2019936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73252 MiB
End job on node138 at 2011-05-02 12:39:51