Trace number 3367137

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)SAT 650.742 170.966

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 3.84 4.80 6.35 5/253 13807
/proc/meminfo: memFree=21685432/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653092343 52396032 347 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225970 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 12792 347 299 95 0 7774 0
[pid=13807/tid=13808] ppid=13805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653092343 52396032 347 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653092343 52396032 347 33554432000 4194304 4580107 140733573996672 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653092343 52396032 347 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225970 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0577729 s]
/proc/loadavg: 3.84 4.80 6.35 5/253 13807
/proc/meminfo: memFree=21685432/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=295484 CPUtime=0.2 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 11227 0 0 0 18 2 0 0 18 0 4 0 653092343 302575616 10212 33554432000 4194304 4580107 140733573996672 18446744073709551615 271550234379 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 74178 10589 338 95 0 69160 0
[pid=13807/tid=13808] ppid=13805 vsize=297760 CPUtime=0.06 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) D 13805 13807 13336 0 -1 4202560 3179 0 0 0 5 1 0 0 18 0 4 0 653092343 304906240 12128 33554432000 4194304 4580107 140733573996672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=299208 CPUtime=0.05 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) D 13805 13807 13336 0 -1 4202560 3286 0 0 0 5 0 0 0 18 0 4 0 653092343 306388992 12387 33554432000 4194304 4580107 140733573996672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=299568 CPUtime=0.06 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 3136 0 0 0 5 1 0 0 25 0 4 0 653092343 306757632 12435 33554432000 4194304 4580107 140733573996672 18446744073709551615 4511159 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 295484

[startup+0.116189 s]
/proc/loadavg: 3.84 4.80 6.35 5/253 13807
/proc/meminfo: memFree=21685432/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=437304 CPUtime=0.44 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) D 13805 13807 13336 0 -1 4202496 21830 0 0 0 39 5 0 0 18 0 4 0 653092343 447799296 20815 33554432000 4194304 4580107 140733573996672 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 109326 20815 338 95 0 104308 0
[pid=13807/tid=13808] ppid=13805 vsize=438920 CPUtime=0.1 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) D 13805 13807 13336 0 -1 4202560 5337 0 0 0 9 1 0 0 18 0 4 0 653092343 449454080 20820 33554432000 4194304 4580107 140733573996672 18446744073709551615 271550595498 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=441352 CPUtime=0.09 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) D 13805 13807 13336 0 -1 4202560 5339 0 0 0 9 0 0 0 18 0 4 0 653092343 451944448 20820 33554432000 4194304 4580107 140733573996672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=439728 CPUtime=0.1 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) D 13805 13807 13336 0 -1 4202560 5311 0 0 0 9 1 0 0 25 0 4 0 653092343 450281472 20820 33554432000 4194304 4580107 140733573996672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 437304

[startup+0.300604 s]
/proc/loadavg: 3.84 4.80 6.35 5/253 13807
/proc/meminfo: memFree=21685432/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=451796 CPUtime=1.16 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 34291 0 0 0 109 7 0 0 18 0 4 0 653092343 462639104 33102 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 112949 33102 359 95 0 107931 0
[pid=13807/tid=13808] ppid=13805 vsize=451796 CPUtime=0.29 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 8290 0 0 0 27 2 0 0 18 0 4 0 653092343 462639104 33102 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=451796 CPUtime=0.28 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 8234 0 0 0 27 1 0 0 18 0 4 0 653092343 462639104 33102 33554432000 4194304 4580107 140733573996672 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=451796 CPUtime=0.28 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 9002 0 0 0 27 1 0 0 25 0 4 0 653092343 462639104 33102 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 451796

[startup+0.700531 s]
/proc/loadavg: 3.84 4.80 6.35 5/253 13807
/proc/meminfo: memFree=21685432/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=460748 CPUtime=2.76 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 41309 0 0 0 267 9 0 0 18 0 4 0 653092343 471805952 40120 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294598 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 115187 40120 360 95 0 110169 0
[pid=13807/tid=13808] ppid=13805 vsize=460748 CPUtime=0.68 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 10340 0 0 0 66 2 0 0 18 0 4 0 653092343 471805952 40120 33554432000 4194304 4580107 140733573996672 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=460748 CPUtime=0.68 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 10326 0 0 0 66 2 0 0 18 0 4 0 653092343 471805952 40120 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=460748 CPUtime=0.68 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 9825 0 0 0 66 2 0 0 25 0 4 0 653092343 471805952 40120 33554432000 4194304 4580107 140733573996672 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 460748

[startup+1.50039 s]
/proc/loadavg: 3.84 4.80 6.35 10/257 13811
/proc/meminfo: memFree=21513064/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=490228 CPUtime=5.95 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 46858 0 0 0 584 11 0 0 20 0 4 0 653092343 501993472 45670 33554432000 4194304 4580107 140733573996672 18446744073709551615 271550198469 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 122557 45685 366 95 0 117539 0
[pid=13807/tid=13808] ppid=13805 vsize=490228 CPUtime=1.48 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 11678 0 0 0 146 2 0 0 19 0 4 0 653092343 501993472 45691 33554432000 4194304 4580107 140733573996672 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=490228 CPUtime=1.47 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 11581 0 0 0 145 2 0 0 20 0 4 0 653092343 501993472 45697 33554432000 4194304 4580107 140733573996672 18446744073709551615 4439199 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=490360 CPUtime=1.48 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 10637 0 0 0 146 2 0 0 25 0 4 0 653092343 502128640 45710 33554432000 4194304 4580107 140733573996672 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 490228

[startup+3.1011 s]
/proc/loadavg: 3.84 4.80 6.35 9/257 13811
/proc/meminfo: memFree=21267196/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=736088 CPUtime=12.32 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 106297 0 0 0 1209 23 0 0 20 0 4 0 653092343 753754112 104707 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 184022 104707 374 95 0 179004 0
[pid=13807/tid=13808] ppid=13805 vsize=736088 CPUtime=3.07 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31504 0 0 0 301 6 0 0 20 0 4 0 653092343 753754112 104707 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=736088 CPUtime=3.05 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31575 0 0 0 299 6 0 0 20 0 4 0 653092343 753754112 104707 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=736088 CPUtime=3.08 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 11359 0 0 0 305 3 0 0 25 0 4 0 653092343 753754112 104707 33554432000 4194304 4580107 140733573996672 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 736088

[startup+6.30052 s]
/proc/loadavg: 4.17 4.86 6.36 9/257 13811
/proc/meminfo: memFree=21247608/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=736492 CPUtime=25.09 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 107342 0 0 0 2486 23 0 0 25 0 4 0 653092343 754167808 105748 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451864 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 184123 105748 375 95 0 179105 0
[pid=13807/tid=13808] ppid=13805 vsize=736492 CPUtime=6.27 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31504 0 0 0 621 6 0 0 25 0 4 0 653092343 754167808 105748 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451807 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=736492 CPUtime=6.23 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31575 0 0 0 617 6 0 0 25 0 4 0 653092343 754167808 105748 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=736492 CPUtime=6.28 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 12404 0 0 0 625 3 0 0 25 0 4 0 653092343 754167808 105748 33554432000 4194304 4580107 140733573996672 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 736492

[startup+12.7004 s]
/proc/loadavg: 4.47 4.91 6.37 9/257 13811
/proc/meminfo: memFree=21238116/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=723088 CPUtime=50.64 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 114636 0 0 0 5037 27 0 0 25 0 4 0 653092343 740442112 106674 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 180772 106674 376 95 0 175754 0
[pid=13807/tid=13808] ppid=13805 vsize=723088 CPUtime=12.67 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31504 0 0 0 1261 6 0 0 25 0 4 0 653092343 740442112 106674 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=723088 CPUtime=12.57 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 31575 0 0 0 1251 6 0 0 25 0 4 0 653092343 740442112 106674 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=723088 CPUtime=12.68 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 19698 0 0 0 1261 7 0 0 25 0 4 0 653092343 740442112 106674 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 723088

[startup+25.501 s]
/proc/loadavg: 5.32 5.07 6.40 10/257 13811
/proc/meminfo: memFree=21106092/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=845376 CPUtime=101.73 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 155113 0 0 0 10136 37 0 0 25 0 4 0 653092343 865665024 133681 33554432000 4194304 4580107 140733573996672 18446744073709551615 4479031 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 211344 133681 380 95 0 206326 0
[pid=13807/tid=13808] ppid=13805 vsize=845376 CPUtime=25.47 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 37487 0 0 0 2539 8 0 0 25 0 4 0 653092343 865665024 133681 33554432000 4194304 4580107 140733573996672 18446744073709551615 4235153 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=845376 CPUtime=25.27 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 37170 0 0 0 2519 8 0 0 25 0 4 0 653092343 865665024 133681 33554432000 4194304 4580107 140733573996672 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=845376 CPUtime=25.48 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 44194 0 0 0 2536 12 0 0 25 0 4 0 653092343 865665024 133681 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 845376

[startup+51.1004 s]
/proc/loadavg: 6.23 5.31 6.44 9/257 13812
/proc/meminfo: memFree=21031464/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=780568 CPUtime=203.92 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 189562 0 0 0 20349 43 0 0 25 0 4 0 653092343 799301632 146457 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294245 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 195142 146457 380 95 0 190124 0
[pid=13807/tid=13808] ppid=13805 vsize=780568 CPUtime=51.08 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 44837 0 0 0 5098 10 0 0 25 0 4 0 653092343 799301632 146457 33554432000 4194304 4580107 140733573996672 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=780568 CPUtime=50.65 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 46360 0 0 0 5057 8 0 0 25 0 4 0 653092343 799301632 146457 33554432000 4194304 4580107 140733573996672 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=780568 CPUtime=51.08 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 52593 0 0 0 5094 14 0 0 25 0 4 0 653092343 799301632 146457 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 780568

[startup+102.31 s]
/proc/loadavg: 7.27 5.73 6.52 9/257 13813
/proc/meminfo: memFree=20910976/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=846240 CPUtime=408.34 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) R 13805 13807 13336 0 -1 4202496 253482 0 0 0 40775 59 0 0 25 0 4 0 653092343 866549760 172370 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 211560 172370 380 95 0 206542 0
[pid=13807/tid=13808] ppid=13805 vsize=846240 CPUtime=102.29 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 65119 0 0 0 10215 14 0 0 25 0 4 0 653092343 866549760 172370 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=846240 CPUtime=101.45 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 69294 0 0 0 10131 14 0 0 25 0 4 0 653092343 866549760 172370 33554432000 4194304 4580107 140733573996672 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=846240 CPUtime=102.29 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 66470 0 0 0 10210 19 0 0 25 0 4 0 653092343 866549760 172370 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 846240

[startup+162.301 s]
/proc/loadavg: 7.84 6.19 6.63 7/257 13815
/proc/meminfo: memFree=20810932/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=633.43 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295210 0 0 0 63270 73 0 0 25 0 4 0 653092343 1097990144 186805 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186805 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=162.28 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73024 0 0 0 16210 18 0 0 25 0 4 0 653092343 1097990144 186805 33554432000 4194304 4580107 140733573996672 18446744073709551615 4413617 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186805 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=162.29 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 16205 24 0 0 25 0 4 0 653092343 1097990144 186805 33554432000 4194304 4580107 140733573996672 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 633.43
Current children cumulated vsize (KiB) 1072256

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

[startup+166.3 s]
/proc/loadavg: 7.77 6.20 6.63 7/257 13815
/proc/meminfo: memFree=20821344/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=641.43 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295214 0 0 0 64070 73 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186809 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=166.28 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73028 0 0 0 16610 18 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=166.28 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 16604 24 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700201003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 641.43
Current children cumulated vsize (KiB) 1072256

[startup+169.501 s]
/proc/loadavg: 7.63 6.20 6.63 7/257 13815
/proc/meminfo: memFree=20818984/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=647.83 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295214 0 0 0 64710 73 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186809 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=169.48 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73028 0 0 0 16930 18 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=169.49 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 16925 24 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700201003 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.83
Current children cumulated vsize (KiB) 1072256

[startup+170.301 s]
/proc/loadavg: 7.63 6.20 6.63 7/257 13815
/proc/meminfo: memFree=20818984/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=649.43 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295214 0 0 0 64870 73 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186809 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=170.28 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73028 0 0 0 17010 18 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=170.29 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 17005 24 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 649.43
Current children cumulated vsize (KiB) 1072256

[startup+170.701 s]
/proc/loadavg: 7.63 6.20 6.63 7/257 13815
/proc/meminfo: memFree=20817248/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=650.23 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295214 0 0 0 64950 73 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186809 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=170.68 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73028 0 0 0 17050 18 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=170.69 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 17045 24 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 650.23
Current children cumulated vsize (KiB) 1072256

[startup+170.901 s]
/proc/loadavg: 7.63 6.20 6.63 7/257 13815
/proc/meminfo: memFree=20817248/32951124 swapFree=67056788/67111528
[pid=13807] ppid=13805 vsize=1072256 CPUtime=650.63 cores=1,3,5,7
/proc/13807/stat : 13807 (strangenight2-m) S 13805 13807 13336 0 -1 4202496 295214 0 0 0 64990 73 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13807/statm: 268064 186809 380 95 0 263046 0
[pid=13807/tid=13808] ppid=13805 vsize=1072256 CPUtime=170.88 cores=1,3,5,7
/proc/13807/task/13808/stat : 13808 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 73028 0 0 0 17070 18 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13807/tid=13809] ppid=13805 vsize=1072256 CPUtime=153.79 cores=1,3,5,7
/proc/13807/task/13809/stat : 13809 (strangenight2-m) S 13805 13807 13336 0 -1 4202560 76855 0 0 0 15363 16 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700225588 0 0 4096 2 18446604466713344704 0 0 -1 1 0 0 0
[pid=13807/tid=13810] ppid=13805 vsize=1072256 CPUtime=170.89 cores=1,3,5,7
/proc/13807/task/13810/stat : 13810 (strangenight2-m) R 13805 13807 13336 0 -1 4202560 84385 0 0 0 17065 24 0 0 25 0 4 0 653092343 1097990144 186809 33554432000 4194304 4580107 140733573996672 18446744073709551615 47355700201156 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 650.63
Current children cumulated vsize (KiB) 1072256

Child status: 10
Real time (s): 170.966
CPU time (s): 650.742
CPU user time (s): 649.975
CPU system time (s): 0.766883
CPU usage (%): 380.626
Max. virtual memory (cumulated for all children) (KiB): 1180520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 649.975
system time used= 0.766883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295222
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= 7547
involuntary context switches= 4465

runsolver used 0.414936 second user time and 0.98285 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-15 01:15:45
IDJOB=3367137
IDBENCH=83436
IDSOLVER=1844
FILE ID=node133/3367137-1305414944
RUNJOBID= node133-1305414939-13754
PBS_JOBID= 13324520
Free space on /tmp= 73632 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3367137-1305414944/watcher-3367137-1305414944 -o /tmp/evaluation-result-3367137-1305414944/solver-3367137-1305414944 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367137-1305414944.cnf

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

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=502012591

node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21685588 kB
Buffers:        277660 kB
Cached:        3238224 kB
SwapCached:       8724 kB
Active:        8563256 kB
Inactive:      2421808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21685588 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           26032 kB
Writeback:           0 kB
AnonPages:     7466468 kB
Mapped:          21420 kB
Slab:           195700 kB
PageTables:      23192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19338908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73628 MiB
End job on node133 at 2011-05-15 01:18:36