Trace number 3394672

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 18819.5 2535.29

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark44.5842
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3394672-1306102932.cnf'
0.00/0.04	c -- header says num vars:          13574
0.00/0.04	c -- header says num clauses:     1301188
5.01/0.75	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
5.01/0.75	c -- vars added      13574
5.01/0.75	c Parsing time:  0.58 s
5.01/0.75	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data
8.22/1.13	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 0.31
41.69/5.38	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T:  4.24
48.88/6.21	c Replacing       88 vars Replaced   886898 lits Time:     0.75 s 
53.98/7.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
53.98/7.16	c bin-w-bin subsume rem          764 bins  time:  0.00 s
65.08/8.56	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  1.39 s
65.08/8.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.02 s
65.88/8.61	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.03 s
2563.66/321.24	c lits-rem:         0  cl-subs:    25458  v-elim:   1006  v-fix:    0  time: 312.59 s
2563.66/321.27	c Finding binary XORs  T:     0.03 s  found:       1
2564.37/321.35	c Replacing        1 vars Replaced        9 lits Time:     0.08 s 
2877.60/360.51	c Finding non-binary XORs:    39.10 s (found:       0, avg size: nan)
2877.60/360.51	c calculated reachability. Time: 0.00
2877.60/360.57	c Calc default polars -  time:   0.06 s pos:     376 undec:    2150 neg:   11048
2877.60/360.57	c =========================================================================================
2877.60/360.57	c types(t): F = full restart, N = normal restart
2877.60/360.57	c types(t): S = simplification begin/end, E = solution found
2877.60/360.57	c restart types(rt): st = static, dy = dynamic
2877.60/360.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2877.60/360.57	c  B st     0         0     11424   1231617     29678         0  10448561         0   no data   no data
2899.97/363.31	c  N dy    20      4524     11421   1231617     29811      4333  10448561    178037     10.00     10.62
2910.36/364.65	c Finding binary XORs  T:     0.02 s  found:       0
2914.40/365.18	c  N dy    43      8580     11411   1231606     32843      8243  10448347    349522     10.05     10.72
2924.03/366.40	c  N dy    63     13059     11411   1231606     33100     12629  10448347    549811     10.02     10.58
2941.61/368.53	c  N dy    88     17955     11411   1231606     33138     17453  10448347    764734     10.01     10.83
2956.71/370.45	c  N dy   113     21996     11402   1231606     33487     11698  10448346    299980     10.05     12.04
2965.50/371.53	c Finding binary XORs  T:     0.02 s  found:       2
2968.69/371.94	c  F st   126     25002     11402   1231537     33739     14652  10448065    430740      9.93   no data
2969.49/372.00	c Replacing        2 vars Replaced       23 lits Time:     0.06 s 
2975.09/372.72	c  N st   129     26190     11400   1231537     33750     15817  10448057    493211      9.93   no data
2991.08/374.70	c  S st   132     30001     11400   1231537     33797     19542  10448056    673374      9.93   no data
2999.86/375.83	c  S st   132     30502     11398   1231537     33818     20020  10448056    685202      9.93   no data
2999.86/375.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3071.75/384.81	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    4 Bins: 449567 BRemL: 230994 BRemN:      0 P: 200.0M T:  8.90
3072.59/384.94	c Replacing        4 vars Replaced     1600 lits Time:     0.13 s 
3075.74/385.33	c blocked clauses removed:        0 vars:      0 tried:       11386 T: 0.01 s
3075.74/385.35	c bin-w-bin subsume rem          150 bins  time:  0.02 s
3096.52/387.99	c subs with bin:     4549  lits-rem:     76602  v-fix:    0  time:  2.64 s
3097.32/388.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    621 time:  0.04 s
3097.32/388.06	c Removed useless bin:      17  fixed:     0  props:   1.61M  time:  0.03 s
5117.36/640.85	c lits-rem:         0  cl-subs:    44575  v-elim:    210  v-fix:    0  time: 252.78 s
5118.96/641.07	c subs with bin:       85  lits-rem:      4233  v-fix:    0  time:  0.19 s
7023.91/879.46	c lits-rem:        12  cl-subs:      416  v-elim:      0  v-fix:    0  time: 238.13 s
7027.11/879.87	c asymm  cl-useful: 0/4719/1182717 lits-rem:0 time: 0.41
7027.95/879.94	c calculated reachability. Time: 0.01
7027.95/879.94	c  N dy   132     30502     11176   1182717    236874     10920  10041328    646914      9.93   no data
7027.95/879.97	c Finding binary XORs  T:     0.03 s  found:       0
7037.58/881.17	c Finding binary XORs  T:     0.03 s  found:       2
7054.32/883.26	c  N dy   163     34528     11168   1182712    474484     14905  10041107   1299699     10.07     11.66
7067.85/884.99	c Finding binary XORs  T:     0.03 s  found:       0
7073.45/885.61	c  N dy   193     38591     11168   1182712    514005     18942  10041107   1559988     10.22     10.78
7086.23/887.23	c  N dy   218     42691     11168   1182712    514009     12112  10041107   1173103     10.21     11.02
7100.63/889.02	c  S st   238     45754     11168   1182712    523011     15151  10041107   1328240     10.25   no data
7111.01/890.32	c  S st   238     46256     11168   1182712    523013     15650  10041106   1343288     10.25   no data
7111.01/890.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
7194.96/900.90	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    1 Bins:   7116 BRemL: 307868 BRemN:      0 P: 200.0M T: 10.51
7196.51/901.04	c Replacing        3 vars Replaced      331 lits Time:     0.14 s 
7199.71/901.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7199.71/901.46	c bin-w-bin subsume rem         2239 bins  time:  0.02 s
7204.59/902.08	c subs with bin:     1001  lits-rem:     13468  v-fix:    0  time:  0.62 s
7205.31/902.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    209 time:  0.03 s
7205.31/902.14	c Removed useless bin:       9  fixed:     0  props:   1.19M  time:  0.02 s
9222.96/1154.65	c lits-rem:         0  cl-subs:    19478  v-elim:     32  v-fix:    0  time: 252.52 s
9225.40/1155.00	c subs with bin:       75  lits-rem:       927  v-fix:    0  time:  0.31 s
11109.59/1390.76	c lits-rem:         2  cl-subs:      335  v-elim:      0  v-fix:    0  time: 235.52 s
11116.07/1391.57	c vivif2 --  cl tried  1162298 cl shrink      124 lits rem        135 time: 0.80
11116.79/1391.61	c vivif2 --  cl tried    14302 cl shrink     1556 lits rem       4482 time: 0.04
11120.79/1392.13	c asymm  cl-useful: 0/4369/1162296 lits-rem:0 time: 0.52
11120.79/1392.19	c calculated reachability. Time: 0.01
11120.79/1392.19	c  N dy   238     46256     11132   1162296    218853     14296   9854957    682578     10.25   no data
11121.59/1392.22	c Finding binary XORs  T:     0.03 s  found:       0
11138.36/1394.30	c Finding binary XORs  T:     0.03 s  found:       3
11144.75/1395.15	c  N dy   264     50347     11118   1162284    247292     18306   9854729    959744     10.28     13.12
11168.81/1398.18	c  N dy   288     54461     11118   1162284    247298     22388   9854729   1183738     10.29     10.92
11199.09/1401.99	c  N dy   309     59435     11117   1162284    247979     27349   9854729   1627436     10.20     10.75
11218.27/1404.32	c  N dy   335     63479     11117   1162284    247994     31358   9854727   1823614     10.31     11.14
11237.45/1406.71	c  N dy   356     67542     11117   1162284    248005     19521   9854727    865187     10.30     10.89
11243.83/1407.58	c  S st   367     69384     11116   1162284    248006     21352   9854727    953322     10.31   no data
11253.43/1408.75	c  S st   367     69887     11116   1162284    248006     21855   9854727    971679     10.31   no data
11254.23/1408.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
11330.94/1418.47	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   20 Bins:  43505 BRemL: 199554 BRemN:      9 P: 200.0M T:  9.65
11343.77/1420.04	c Replacing       23 vars Replaced   343769 lits Time:     1.57 s 
11346.92/1420.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11346.92/1420.42	c bin-w-bin subsume rem          607 bins  time:  0.01 s
11350.12/1420.83	c subs with bin:     1896  lits-rem:      5385  v-fix:    0  time:  0.42 s
11350.12/1420.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    547 time:  0.03 s
11350.92/1420.96	c Removed useless bin:     131  fixed:     0  props:   1.21M  time:  0.02 s
12967.47/1623.25	c lits-rem:         0  cl-subs:    53246  v-elim:     46  v-fix:    0  time: 202.29 s
12970.74/1623.66	c subs with bin:      153  lits-rem:      2163  v-fix:    0  time:  0.37 s
14945.22/1870.75	c lits-rem:         6  cl-subs:      438  v-elim:      0  v-fix:    0  time: 246.86 s
14952.41/1871.60	c vivif2 --  cl tried  1008300 cl shrink        1 lits rem          2 time: 0.85
14952.41/1871.67	c vivif2 --  cl tried    19852 cl shrink     2563 lits rem      13860 time: 0.07
14957.29/1872.26	c asymm  cl-useful: 4/3853/1106988 lits-rem:12 time: 0.60
14958.00/1872.33	c calculated reachability. Time: 0.01
14958.00/1872.33	c  N dy   367     69887     11031   1106984     82531     19830   9346241    536138     10.31   no data
14958.00/1872.36	c Finding binary XORs  T:     0.03 s  found:       1
14983.65/1875.56	c Finding binary XORs  T:     0.03 s  found:      24
14985.97/1875.83	c  N dy   384     74371     11018   1106876    139209     23648   9307522   1029476     10.27     11.34
15013.14/1879.27	c  N dy   411     79155     11018   1106876    139211     28410   9307522   1347780     10.32     13.09
15020.33/1880.15	c Finding binary XORs  T:     0.03 s  found:       0
15041.11/1882.75	c  N dy   438     84315     11018   1106876    146999     33556   9307522   1767153     10.33     10.91
15058.69/1884.96	c  F st   457     87501     11018   1106876    147004     18403   9307521    522386     10.35   no data
15067.47/1886.04	c Replacing       25 vars Replaced   227696 lits Time:     1.08 s 
15082.65/1887.93	c  N st   462     90797     10993   1106873    146930     21677   9307418    845114     10.35   no data
15107.43/1891.05	c  N dy   493     96637     10993   1106873    146936     27481   9307418   1254078     10.39     10.98
15140.20/1895.15	c  N dy   520    102814     10993   1106873    146940     33630   9307418   1703420     10.39     12.35
15145.79/1895.88	c  S st   533    104831     10993   1106873    146943     35634   9307418   1800537     10.41      9.71
15156.98/1897.21	c  S st   533    105335     10993   1106873    146944     36134   9307418   1817284     10.41   no data
15156.98/1897.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
15246.52/1908.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  15800 BRemL:  77312 BRemN:     16 P: 200.0M T: 11.17
15249.67/1908.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15249.67/1908.84	c bin-w-bin subsume rem          442 bins  time:  0.01 s
15250.47/1908.94	c subs with bin:      155  lits-rem:       131  v-fix:    0  time:  0.10 s
15250.47/1908.97	c Subs w/ non-existent bins:      1 l-rem:      2 v-fix:     0 done:    377 time:  0.03 s
15251.27/1909.00	c Removed useless bin:      12  fixed:     0  props:   1.23M  time:  0.03 s
16899.88/2115.35	c lits-rem:         0  cl-subs:    48806  v-elim:     34  v-fix:    0  time: 206.34 s
16912.59/2116.91	c subs with bin:       76  lits-rem:       999  v-fix:    0  time:  1.48 s
18311.99/2299.30	c lits-rem:         6  cl-subs:      646  v-elim:      0  v-fix:    0  time: 182.18 s
18315.59/2300.28	c vivif2 --  cl tried  1057960 cl shrink      115 lits rem        832 time: 0.98
18316.39/2300.43	c vivif2 --  cl tried    33423 cl shrink     5758 lits rem      59849 time: 0.15
18317.99/2300.80	c asymm  cl-useful: 0/3931/1057947 lits-rem:0 time: 0.37
18317.99/2300.86	c calculated reachability. Time: 0.01
18317.99/2300.86	c  N dy   533    105335     10959   1057947     83960     33419   8892479   1373629     10.41   no data
18819.09/2535.07	c Following stats are for *FIRST FINISHED THREAD ONLY*
18819.09/2535.07	c num threads              : 8          
18819.09/2535.07	c restarts                 : 4389       
18819.09/2535.07	c dynamic restarts         : 4365       
18819.09/2535.07	c static restarts          : 24         
18819.09/2535.07	c full restarts            : 3          
18819.09/2535.07	c total simplify time      : 1.22       
18819.09/2535.07	c learnts DL2              : 0          
18819.09/2535.07	c learnts size 2           : 1029299    
18819.09/2535.07	c learnts size 1           : 1159        (8.54      % of vars)
18819.09/2535.07	c filedLit time            : 36.44       (1.44      % time)
18819.09/2535.07	c v-elim SatELite          : 1287        (9.48      % vars)
18819.09/2535.07	c SatELite time            : 1537.62     (60.68     % time)
18819.09/2535.07	c v-elim xor               : 0           (0.00      % vars)
18819.09/2535.07	c xor elim time            : 0.18        (0.01      % time)
18819.09/2535.07	c num binary xor trees     : 161        
18819.09/2535.07	c binxor trees' crown      : 191         (1.19      leafs/tree)
18819.09/2535.07	c bin xor find time        : 0.45       
18819.09/2535.07	c OTF clause improved      : 5497        (0.01      clauses/conflict)
18819.09/2535.07	c OTF impr. size diff      : 7576        (1.38       lits/clause)
18819.09/2535.07	c OTF cl watch-shrink      : 781774      (0.74      clauses/conflict)
18819.09/2535.07	c OTF cl watch-sh-lit      : 5938380     (7.60       lits/clause)
18819.09/2535.07	c tried to recurMin cls    : 475234      (44.98      % of conflicts)
18819.09/2535.07	c updated cache            : 60667       (0.13       lits/tried recurMin)
18819.09/2535.07	c unit cls recevied        : 31          (2.67      % of units)
18819.09/2535.07	c unit cls sent            : 1077        (92.92     % of units)
18819.09/2535.07	c bin cls recevied         : 303480     
18819.09/2535.07	c bin cls sent             : 582235     
18819.09/2535.07	c clauses over max glue    : 0           (0.00      % of all clauses)
18819.09/2535.07	c conflicts                : 1056468     (416.95    / sec)
18819.09/2535.07	c decisions                : 2398308     (1.45      % random)
18819.09/2535.07	c bogo-props               : 33802310420 (13340666.12 / sec)
18819.09/2535.07	c conflict literals        : 58089603    (32.73     % deleted)
18819.09/2535.07	c Memory used              : 5690.36     MB
18819.09/2535.07	c single-thread CPU time   : 2533.78     s
18819.09/2535.07	c all-threads sum CPU time : 18811.77    s
18819.09/2535.07	s SATISFIABLE
18819.09/2535.07	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 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 -10430 -10431 -10432 -10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 -10454 -10455 -10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 -10499 -10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583 -10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 10628 -10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 10650 -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 10826 -10827 -10828 -10829 -10830 -10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 10870 -10871 -10872 -10873 -10874 -10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 10979 10980 -10981 -10982 -10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001 11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 11023 11024 -11025 -11026 -11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 -11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 11155 11156 -11157 -11158 -11159 -11160 -11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 11266 -11267 -11268 -11269 -11270 -11271 -11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 11288 -11289 -11290 -11291 -11292 -11293 -11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 11376 -11377 -11378 -11379 -11380 -11381 -11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 -11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 -11599 -11600 -11601 -11602 11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 11617 -11618 -11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 11639 -11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647 -11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661 -11662 -11663 -11664 11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 11683 -11684 -11685 -11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 -11705 -11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 11716 -11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 -11729 -11730 -11731 -11732 -11733 -11734 11735 -11736 -11737 -11738 -11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 -11752 11753 -11754 -11755 -11756 -11757 -11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 11771 -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 11798 -11799 -11800 -11801 -11802 -11803 -11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 -11815 -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823 11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837 11838 -11839 -11840 -11841 -11842 -11843 -11844 -11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 11859 -11860 -11861 -11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881 11882 -11883 -11884 -11885 -11886 -11887 -11888 -11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 -11903 -11904 -11905 -11906 -11907 -11908 11909 -11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925 -11926 -11927 -11928 -11929 -11930 -11931 -11932 -11933 -11934 -11935 11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 11950 -11951 -11952 -11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970 -11971 -11972 -11973 -11974 -11975 11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 11993 -11994 -11995 -11996 -11997 -11998 -11999 -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 12019 -12020 -12021 -12022 -12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 -12042 -12043 -12044 12045 -12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 12058 -12059 -12060 -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 -12080 -12081 -12082 12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 -12104 -12105 12106 -12107 -12108 -12109 -12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123 -12124 12125 -12126 -12127 -12128 -12129 -12130 -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 -12146 -12147 12148 -12149 -12150 -12151 -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 12167 -12168 -12169 -12170 -12171 -12172 -12173 -12174 -12175 -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 12191 -12192 -12193 -12194 -12195 -12196 -12197 -12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 12211 -12212 -12213 -12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 12234 -12235 -12236 -12237 -12238 -12239 -12240 -12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 -12255 -12256 -12257 -12258 -12259 -12260 12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 12277 -12278 -12279 -12280 -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 12299 -12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 -12321 -12322 12323 -12324 -12325 -12326 -12327 -12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343 12344 -12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365 12366 -12367 -12368 -12369 -12370 -12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 12387 -12388 -12389 -12390 -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 12409 -12410 -12411 -12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431 12432 -12433 -12434 -12435 -12436 -12437 -12438 -12439 -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 12453 -12454 -12455 -12456 -12457 -12458 -12459 -12460 -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 12476 -12477 -12478 -12479 -12480 -12481 -12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 12499 -12500 -12501 -12502 -12503 -12504 -12505 -12506 -12507 -12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 -12521 -12522 -12523 -12524 12525 -12526 -12527 -12528 -12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 -12542 -12543 -12544 12545 -12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567 -12568 -12569 -12570 12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591 12592 -12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 12607 -12608 -12609 -12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 -12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631 -12632 -12633 -12634 -12635 12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 12655 -12656 -12657 -12658 -12659 -12660 -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673 -12674 -12675 -12676 -12677 -12678 -12679 -12680 -12681 -12682 -12683 12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 -12697 -12698 -12699 -12700 -12701 -12702 12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720 12721 -12722 -12723 -12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 12748 -12749 -12750 -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 -12761 -12762 -12763 -12764 -12765 12766 -12767 -12768 -12769 -12770 -12771 -12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 -12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 -12792 12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805 -12806 -12807 12808 -12809 -12810 -12811 -12812 -12813 -12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 12827 -12828 -12829 -12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 12850 -12851 -12852 -12853 -12854 -12855 -12856 -12857 -12858 -12859 -12860 -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871 -12872 -12873 -12874 -12875 -12876 12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895 -12896 -12897 -12898 -12899 -12900 -12901 -12902 -12903 12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 12918 -12919 -12920 -12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940 -12941 -12942 -12943 12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960 12961 -12962 -12963 -12964 -12965 -12966 -12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983 -12984 -12985 -12986 -12987 12988 -12989 -12990 -12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010 -13011 -13012 -13013 13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025 -13026 -13027 13028 -13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 -13050 -13051 13052 -13053 -13054 -13055 -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 -13072 -13073 13074 -13075 -13076 -13077 -13078 -13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 13095 -13096 -13097 -13098 -13099 -13100 -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 -13115 -13116 13117 -13118 -13119 -13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 13135 -13136 -13137 -13138 -13139 -13140 -13141 -13142 -13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160 -13161 13162 -13163 -13164 -13165 -13166 -13167 -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180 -13181 13182 -13183 -13184 -13185 -13186 -13187 -13188 -13189 -13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201 -13202 13203 -13204 -13205 -13206 -13207 -13208 -13209 -13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 -13223 -13224 -13225 -13226 -13227 -13228 13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245 -13246 13247 -13248 -13249 -13250 -13251 -13252 -13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 13272 -13273 -13274 -13275 -13276 -13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 13292 -13293 -13294 -13295 -13296 -13297 -13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 13312 -13313 -13314 -13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 13334 -13335 -13336 -13337 -13338 -13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 13356 -13357 -13358 -13359 -13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 13378 -13379 -13380 -13381 -13382 -13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399 13400 -13401 -13402 -13403 -13404 -13405 -13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421 13422 -13423 -13424 -13425 -13426 -13427 -13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 13444 -13445 -13446 -13447 -13448 -13449 -13450 -13451 -13452 -13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 13467 -13468 -13469 -13470 -13471 -13472 -13473 -13474 -13475 -13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490 -13491 -13492 13493 -13494 -13495 -13496 -13497 -13498 -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 -13510 -13511 -13512 13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 -13541 -13542 13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 13560 13561 13562 13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 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-3394672-1306102932/watcher-3394672-1306102932 -o /tmp/evaluation-result-3394672-1306102932/solver-3394672-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394672-1306102932.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 1.74 4.88 1/266 6032
/proc/meminfo: memFree=30335512/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 8 0 721894109 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 23036 352 299 95 0 18018 0
[pid=6032/tid=6033] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460588 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=92144 CPUtime=0 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 721894110 94355456 352 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460594 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0487851 s]
/proc/loadavg: 0.00 1.74 4.88 1/266 6032
/proc/meminfo: memFree=30335512/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=554100 CPUtime=0.27 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 4214 0 0 0 25 2 0 0 18 0 8 0 721894109 567398400 4111 33554432000 4194304 4580107 140737373949536 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 138525 4128 336 95 0 133507 0
[pid=6032/tid=6033] ppid=6030 vsize=554100 CPUtime=0.04 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 485 0 0 0 4 0 0 0 17 0 8 0 721894110 567398400 4134 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=554100 CPUtime=0 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 426 0 0 0 0 0 0 0 17 0 8 0 721894110 567398400 4140 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=554100 CPUtime=0.03 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 449 0 0 0 3 0 0 0 17 0 8 0 721894110 567398400 4150 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=554100 CPUtime=0.03 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 507 0 0 0 3 0 0 0 17 0 8 0 721894110 567398400 4152 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921438241 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=554100 CPUtime=0.03 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 540 0 0 0 3 0 0 0 18 0 8 0 721894110 567398400 4161 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=554100 CPUtime=0.03 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 493 0 0 0 3 0 0 0 18 0 8 0 721894110 567398400 4161 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=554100 CPUtime=0.03 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 451 0 0 0 3 0 0 0 17 0 8 0 721894110 567398400 4163 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882094 0 0 4096 2 18446604453986944320 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 554100

[startup+0.10376 s]
/proc/loadavg: 0.00 1.74 4.88 1/266 6032
/proc/meminfo: memFree=30335512/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=559080 CPUtime=0.79 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) D 6030 6032 6006 0 -1 4202496 16603 0 0 0 74 5 0 0 18 0 8 0 721894109 572497920 16500 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 139830 16654 337 95 0 134812 0
[pid=6032/tid=6033] ppid=6030 vsize=559320 CPUtime=0.1 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 2006 0 0 0 10 0 0 0 18 0 8 0 721894110 572743680 16654 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=559320 CPUtime=0.06 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 1935 0 0 0 6 0 0 0 18 0 8 0 721894110 572743680 16654 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=559560 CPUtime=0.09 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 2086 0 0 0 9 0 0 0 18 0 8 0 721894110 572989440 16770 33554432000 4194304 4580107 140737373949536 18446744073709551615 4354042 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=559880 CPUtime=0.09 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 2097 0 0 0 9 0 0 0 18 0 8 0 721894110 573317120 16964 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=560040 CPUtime=0.09 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 2075 0 0 0 9 0 0 0 18 0 8 0 721894110 573480960 17116 33554432000 4194304 4580107 140737373949536 18446744073709551615 4512095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=560040 CPUtime=0.09 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 2171 0 0 0 9 0 0 0 18 0 8 0 721894110 573480960 17116 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=560120 CPUtime=0.09 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 2081 0 0 0 9 0 0 0 18 0 8 0 721894110 573562880 17123 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921834922 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 559080

[startup+0.301185 s]
/proc/loadavg: 0.00 1.74 4.88 1/266 6032
/proc/meminfo: memFree=30335512/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=949964 CPUtime=2.02 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 69003 0 0 0 177 25 0 0 18 0 8 0 721894109 972763136 67239 33554432000 4194304 4580107 140737373949536 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 237491 67249 338 95 0 232473 0
[pid=6032/tid=6033] ppid=6030 vsize=949964 CPUtime=0.25 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 8176 0 0 0 23 2 0 0 18 0 8 0 721894110 972763136 67259 33554432000 4194304 4580107 140737373949536 18446744073709551615 4511177 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=950100 CPUtime=0.22 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 8433 0 0 0 19 3 0 0 18 0 8 0 721894110 972902400 67882 33554432000 4194304 4580107 140737373949536 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=950100 CPUtime=0.25 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 8871 0 0 0 22 3 0 0 18 0 8 0 721894110 972902400 68521 33554432000 4194304 4580107 140737373949536 18446744073709551615 4511003 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=950100 CPUtime=0.25 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 9007 0 0 0 22 3 0 0 18 0 8 0 721894110 972902400 68765 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=950100 CPUtime=0.26 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 8881 0 0 0 23 3 0 0 18 0 8 0 721894110 972902400 68765 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=950100 CPUtime=0.25 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 8653 0 0 0 22 3 0 0 18 0 8 0 721894110 972902400 68765 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=950100 CPUtime=0.25 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) D 6030 6032 6006 0 -1 4202560 8541 0 0 0 22 3 0 0 18 0 8 0 721894110 972902400 68765 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 949964

[startup+0.700668 s]
/proc/loadavg: 0.00 1.74 4.88 1/266 6032
/proc/meminfo: memFree=30335512/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=2114540 CPUtime=5.01 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 190309 0 0 0 443 58 0 0 18 0 8 0 721894109 2165288960 188161 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489196 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 528635 188174 338 95 0 523617 0
[pid=6032/tid=6033] ppid=6030 vsize=2114540 CPUtime=0.62 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23472 0 0 0 56 6 0 0 18 0 8 0 721894110 2165288960 188180 33554432000 4194304 4580107 140737373949536 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=2114540 CPUtime=0.57 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23577 0 0 0 51 6 0 0 18 0 8 0 721894110 2165288960 188187 33554432000 4194304 4580107 140737373949536 18446744073709551615 4353598 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=2114540 CPUtime=0.63 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23975 0 0 0 56 7 0 0 18 0 8 0 721894110 2165288960 188191 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=2114540 CPUtime=0.62 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23978 0 0 0 54 8 0 0 18 0 8 0 721894110 2165288960 188199 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=2114540 CPUtime=0.62 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23867 0 0 0 56 6 0 0 18 0 8 0 721894110 2165288960 188205 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=2114540 CPUtime=0.62 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23699 0 0 0 55 7 0 0 18 0 8 0 721894110 2165288960 188212 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=2114540 CPUtime=0.62 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 23191 0 0 0 54 8 0 0 18 0 8 0 721894110 2165288960 188221 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 2114540

[startup+1.50053 s]
/proc/loadavg: 0.64 1.84 4.90 9/274 6040
/proc/meminfo: memFree=29433724/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=2212032 CPUtime=11.33 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 238309 0 0 0 1064 69 0 0 19 0 8 0 721894109 2265120768 236160 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 553008 236160 360 95 0 547990 0
[pid=6032/tid=6033] ppid=6030 vsize=2212032 CPUtime=1.41 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 29377 0 0 0 134 7 0 0 18 0 8 0 721894110 2265120768 236160 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=2212032 CPUtime=1.36 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 30046 0 0 0 128 8 0 0 19 0 8 0 721894110 2265120768 236160 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=2212032 CPUtime=1.42 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 30555 0 0 0 134 8 0 0 19 0 8 0 721894110 2265120768 236160 33554432000 4194304 4580107 140737373949536 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=2212032 CPUtime=1.41 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 29932 0 0 0 132 9 0 0 19 0 8 0 721894110 2265120768 236161 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=2212032 CPUtime=1.41 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 29395 0 0 0 134 7 0 0 18 0 8 0 721894110 2265120768 236161 33554432000 4194304 4580107 140737373949536 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=2212032 CPUtime=1.42 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 28970 0 0 0 133 9 0 0 19 0 8 0 721894110 2265120768 236161 33554432000 4194304 4580107 140737373949536 18446744073709551615 4292944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=2212032 CPUtime=1.41 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 29899 0 0 0 132 9 0 0 18 0 8 0 721894110 2265120768 236161 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.33
Current children cumulated vsize (KiB) 2212032

[startup+3.10124 s]
/proc/loadavg: 0.64 1.84 4.90 9/274 6040
/proc/meminfo: memFree=29347668/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=2420960 CPUtime=24.12 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 257593 0 0 0 2336 76 0 0 22 0 8 0 721894109 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 605240 255444 360 95 0 600222 0
[pid=6032/tid=6033] ppid=6030 vsize=2420960 CPUtime=3.02 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 31545 0 0 0 294 8 0 0 22 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=2420960 CPUtime=2.95 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 32475 0 0 0 286 9 0 0 18 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4236179 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=2420960 CPUtime=3.02 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 32999 0 0 0 293 9 0 0 22 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=2420960 CPUtime=3.01 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 32354 0 0 0 292 9 0 0 20 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=2420960 CPUtime=3.02 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 31510 0 0 0 293 9 0 0 22 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=2420960 CPUtime=3.02 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 31310 0 0 0 292 10 0 0 22 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=2420960 CPUtime=2.99 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 33080 0 0 0 289 10 0 0 21 0 8 0 721894110 2479063040 255444 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.12
Current children cumulated vsize (KiB) 2420960

[startup+6.30066 s]
/proc/loadavg: 0.64 1.84 4.90 9/274 6041
/proc/meminfo: memFree=29261868/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=2503972 CPUtime=49.68 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) R 6030 6032 6006 0 -1 4202496 273555 0 0 0 4888 80 0 0 25 0 8 0 721894109 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4443104 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 625993 271405 366 95 0 620975 0
[pid=6032/tid=6033] ppid=6030 vsize=2503972 CPUtime=6.21 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 33637 0 0 0 613 8 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4439199 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=2503972 CPUtime=6.13 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 34164 0 0 0 603 10 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4305611 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=2503972 CPUtime=6.22 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 35133 0 0 0 613 9 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4305619 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=2503972 CPUtime=6.21 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 34450 0 0 0 611 10 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4439199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=2503972 CPUtime=6.22 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 33197 0 0 0 613 9 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4305563 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=2503972 CPUtime=6.22 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 33009 0 0 0 612 10 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4305203 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=2503972 CPUtime=6.19 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 35463 0 0 0 607 12 0 0 25 0 8 0 721894110 2564067328 271405 33554432000 4194304 4580107 140737373949536 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0

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

[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2508.48 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 250740 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18766.5
Current children cumulated vsize (KiB) 5564780

[startup+2521.5 s]
/proc/loadavg: 2.20 4.84 6.50 3/274 6120
/proc/meminfo: memFree=26206132/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5564780 CPUtime=18792.1 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2304987 0 0 0 1878461 748 0 0 25 0 8 0 721894109 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1391195 1030329 380 95 0 1386177 0
[pid=6032/tid=6033] ppid=6030 vsize=5564780 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5564780 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5564780 CPUtime=2521.16 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 292870 0 0 0 252023 93 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2521.28 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 252020 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18792.1
Current children cumulated vsize (KiB) 5564780

[startup+2527.9 s]
/proc/loadavg: 2.18 4.79 6.47 3/274 6120
/proc/meminfo: memFree=26206128/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5564780 CPUtime=18804.9 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2304987 0 0 0 1879741 748 0 0 25 0 8 0 721894109 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1391195 1030329 380 95 0 1386177 0
[pid=6032/tid=6033] ppid=6030 vsize=5564780 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5564780 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5564780 CPUtime=2527.56 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 292870 0 0 0 252663 93 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2527.68 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 252660 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18804.9
Current children cumulated vsize (KiB) 5564780

[startup+2531.11 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206004/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5564780 CPUtime=18811.3 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2304987 0 0 0 1880383 748 0 0 25 0 8 0 721894109 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1391195 1030329 380 95 0 1386177 0
[pid=6032/tid=6033] ppid=6030 vsize=5564780 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5564780 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5564780 CPUtime=2530.77 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 292870 0 0 0 252984 93 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2530.89 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 252981 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18811.3
Current children cumulated vsize (KiB) 5564780

[startup+2532.7 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206004/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5564780 CPUtime=18814.5 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2304987 0 0 0 1880701 748 0 0 25 0 8 0 721894109 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1391195 1030329 380 95 0 1386177 0
[pid=6032/tid=6033] ppid=6030 vsize=5564780 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5564780 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5564780 CPUtime=2532.36 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 292870 0 0 0 253143 93 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2532.48 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 253140 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435780 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18814.5
Current children cumulated vsize (KiB) 5564780

[startup+2534.3 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206124/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5564780 CPUtime=18817.7 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2304987 0 0 0 1881022 748 0 0 25 0 8 0 721894109 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1391195 1030329 380 95 0 1386177 0
[pid=6032/tid=6033] ppid=6030 vsize=5564780 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5564780 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5564780 CPUtime=2533.97 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 292870 0 0 0 253304 93 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 4502102 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5564780 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5564780 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5564780 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5564780 CPUtime=2534.09 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 253301 108 0 0 25 0 8 0 721894110 5698334720 1030329 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435627 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18817.7
Current children cumulated vsize (KiB) 5564780

[startup+2534.7 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206124/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=5826928 CPUtime=18818.5 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) S 6030 6032 6006 0 -1 4202496 2305667 0 0 0 1881101 748 0 0 25 0 8 0 721894109 5966774272 1031009 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 1456732 1031010 380 95 0 1451714 0
[pid=6032/tid=6033] ppid=6030 vsize=5826928 CPUtime=2332.66 cores=0-7
/proc/6032/task/6033/stat : 6033 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 227262 0 0 0 233213 53 0 0 25 0 8 0 721894110 5966774272 1031010 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 4 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=5826928 CPUtime=2270.68 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 261182 0 0 0 226981 87 0 0 25 0 8 0 721894110 5966774272 1031010 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 1 0 0 0
[pid=6032/tid=6035] ppid=6030 vsize=5826928 CPUtime=2534.36 cores=0-7
/proc/6032/task/6035/stat : 6035 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 293551 0 0 0 253343 93 0 0 25 0 8 0 721894110 5966774272 1031010 33554432000 4194304 4580107 140737373949536 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6032/tid=6036] ppid=6030 vsize=5826928 CPUtime=2284.36 cores=0-7
/proc/6032/task/6036/stat : 6036 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 319906 0 0 0 228322 114 0 0 25 0 8 0 721894110 5966774272 1031010 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 3 0 0 0
[pid=6032/tid=6037] ppid=6030 vsize=5826928 CPUtime=2276.87 cores=0-7
/proc/6032/task/6037/stat : 6037 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 332412 0 0 0 227569 118 0 0 25 0 8 0 721894110 5966774272 1031010 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 7 0 0 0
[pid=6032/tid=6038] ppid=6030 vsize=5826928 CPUtime=2284.41 cores=0-7
/proc/6032/task/6038/stat : 6038 (strangenight2-m) S 6030 6032 6006 0 -1 4202560 328741 0 0 0 228321 120 0 0 25 0 8 0 721894110 5966774272 1031011 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346460212 0 0 4096 2 18446604453986944320 0 0 -1 5 0 0 0
[pid=6032/tid=6039] ppid=6030 vsize=5826928 CPUtime=2534.48 cores=0-7
/proc/6032/task/6039/stat : 6039 (strangenight2-m) R 6030 6032 6006 0 -1 4202560 335628 0 0 0 253340 108 0 0 25 0 8 0 721894110 5966774272 1031011 33554432000 4194304 4580107 140737373949536 18446744073709551615 47135346435780 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18818.5
Current children cumulated vsize (KiB) 5826928

[startup+2535.1 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206124/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=0 CPUtime=18819.3 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) Z 6030 6032 6006 0 -1 4203548 2306084 0 0 0 1881177 751 0 0 18 0 2 0 721894109 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 0 0 0 0 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=0 CPUtime=2270.7 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4203588 261182 0 0 0 226981 89 0 0 18 0 2 0 721894110 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18819.3
Current children cumulated vsize (KiB) 0

[startup+2535.2 s]
/proc/loadavg: 2.17 4.74 6.45 3/274 6120
/proc/meminfo: memFree=26206124/32951124 swapFree=55664332/67111528
[pid=6032] ppid=6030 vsize=0 CPUtime=18819.4 cores=0-7
/proc/6032/stat : 6032 (strangenight2-m) Z 6030 6032 6006 0 -1 4203548 2306084 0 0 0 1881177 761 0 0 18 0 2 0 721894109 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6032/statm: 0 0 0 0 0 0 0
[pid=6032/tid=6034] ppid=6030 vsize=0 CPUtime=2270.8 cores=0-7
/proc/6032/task/6034/stat : 6034 (strangenight2-m) R 6030 6032 6006 0 -1 4203588 261182 0 0 0 226981 99 0 0 18 0 2 0 721894110 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18819.4
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2535.29
CPU time (s): 18819.5
CPU user time (s): 18811.8
CPU system time (s): 7.69583
CPU usage (%): 742.301
Max. virtual memory (cumulated for all children) (KiB): 5843132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18811.8
system time used= 7.69583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2306084
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= 86126
involuntary context switches= 87589

runsolver used 5.08523 second user time and 18.2042 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-23 00:22:14
IDJOB=3394672
IDBENCH=83447
IDSOLVER=1878
FILE ID=node109/3394672-1306102932
RUNJOBID= node109-1306102932-6020
PBS_JOBID= 13388006
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394672-1306102932/watcher-3394672-1306102932 -o /tmp/evaluation-result-3394672-1306102932/solver-3394672-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394672-1306102932.cnf

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1118060676

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30335924 kB
Buffers:         49948 kB
Cached:         646212 kB
SwapCached:      10104 kB
Active:         131384 kB
Inactive:      2290720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30335924 kB
SwapTotal:    67111528 kB
SwapFree:     55664332 kB
Dirty:           69396 kB
Writeback:           0 kB
AnonPages:     1722476 kB
Mapped:          15768 kB
Slab:            92396 kB
PageTables:      36992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 30861480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72988 MiB
End job on node109 at 2011-05-23 01:04:29