Trace number 3321222

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-mtSAT 2627.95 363.58

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F20.cnf
MD5SUM2ee3aaaabe8a89270b338ea6a7bf3762
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.9041
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses484053
Sum of the clauses size4133728
Maximum clause length91
Minimum clause length1
Number of clauses of size 134
Number of clauses of size 227746
Number of clauses of size 323112
Number of clauses of size 411940
Number of clauses of size 522180
Number of clauses of size over 5399041

Solver Data 

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

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321222-1304332709/watcher-3321222-1304332709 -o /tmp/evaluation-result-3321222-1304332709/solver-3321222-1304332709 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321222-1304332709.cnf 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.16 2.31 2/185 15589
/proc/meminfo: memFree=27477560/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=92188 CPUtime=0.01 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 422 0 0 0 1 0 0 0 21 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248438 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15589/statm: 23047 361 303 106 0 18018 0
[pid=15589/tid=15590] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664808379 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248434 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248025 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=92188 CPUtime=0 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 544870664 94400512 361 33554432000 4194304 4627427 140734043021360 18446744073709551615 274659855446 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0925059 s]
/proc/loadavg: 0.00 0.16 2.31 2/185 15589
/proc/meminfo: memFree=27477560/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=630956 CPUtime=0.58 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 16606 0 0 0 52 6 0 0 17 0 8 0 544870664 646098944 15815 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 157739 15823 341 106 0 152710 0
[pid=15589/tid=15590] ppid=15587 vsize=630956 CPUtime=0.07 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 2225 0 0 0 7 0 0 0 17 0 8 0 544870664 646098944 15888 33554432000 4194304 4627427 140734043021360 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=631244 CPUtime=0.05 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2196 0 0 0 4 1 0 0 17 0 8 0 544870664 646393856 15915 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 7 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=631244 CPUtime=0.06 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2206 0 0 0 6 0 0 0 17 0 8 0 544870664 646393856 15930 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=631532 CPUtime=0.07 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 1893 0 0 0 7 0 0 0 17 0 8 0 544870664 646688768 15945 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=632560 CPUtime=0.06 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 1606 0 0 0 6 0 0 0 17 0 8 0 544870664 647741440 15965 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=632560 CPUtime=0.07 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2038 0 0 0 6 1 0 0 17 0 8 0 544870664 647741440 15988 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=632560 CPUtime=0.06 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2051 0 0 0 6 0 0 0 17 0 8 0 544870664 647741440 16012 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 630956

[startup+0.101496 s]
/proc/loadavg: 0.00 0.16 2.31 2/185 15589
/proc/meminfo: memFree=27477560/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=635116 CPUtime=0.63 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) S 15587 15589 15563 0 -1 4202496 19379 0 0 0 55 8 0 0 17 0 8 0 544870664 650358784 17808 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 158779 17820 341 106 0 153750 0
[pid=15589/tid=15590] ppid=15587 vsize=635116 CPUtime=0.07 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2432 0 0 0 7 0 0 0 17 0 8 0 544870664 650358784 17821 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=635116 CPUtime=0.06 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2538 0 0 0 5 1 0 0 17 0 8 0 544870664 650358784 17833 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 7 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=635116 CPUtime=0.07 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 2570 0 0 0 7 0 0 0 17 0 8 0 544870664 650358784 17847 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=635116 CPUtime=0.07 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 2238 0 0 0 7 0 0 0 17 0 8 0 544870664 650358784 17856 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=636144 CPUtime=0.07 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 1928 0 0 0 7 0 0 0 17 0 8 0 544870664 651411456 17894 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=636284 CPUtime=0.07 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 2280 0 0 0 6 1 0 0 17 0 8 0 544870664 651554816 17995 33554432000 4194304 4627427 140734043021360 18446744073709551615 4530625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=636284 CPUtime=0.08 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 2593 0 0 0 7 1 0 0 17 0 8 0 544870664 651554816 17995 33554432000 4194304 4627427 140734043021360 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 635116

[startup+0.31115 s]
/proc/loadavg: 0.00 0.16 2.31 2/185 15589
/proc/meminfo: memFree=27477560/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=951448 CPUtime=2.23 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) D 15587 15589 15563 0 -1 4202496 77420 0 0 0 196 27 0 0 18 0 8 0 544870664 974282752 75658 33554432000 4194304 4627427 140734043021360 18446744073709551615 4302919 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 237862 75658 341 106 0 232833 0
[pid=15589/tid=15590] ppid=15587 vsize=951448 CPUtime=0.27 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 10498 0 0 0 25 2 0 0 18 0 8 0 544870664 974282752 75658 33554432000 4194304 4627427 140734043021360 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=951448 CPUtime=0.25 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 10162 0 0 0 22 3 0 0 18 0 8 0 544870664 974282752 75658 33554432000 4194304 4627427 140734043021360 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=952664 CPUtime=0.27 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 10112 0 0 0 24 3 0 0 18 0 8 0 544870664 975527936 75687 33554432000 4194304 4627427 140734043021360 18446744073709551615 4504795 0 0 4096 2 18446604453853202496 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=955172 CPUtime=0.36 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 10371 0 0 0 33 3 0 0 18 0 8 0 544870664 978096128 82659 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=956160 CPUtime=0.58 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 10275 0 0 0 53 5 0 0 18 0 8 0 544870664 979107840 85171 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=956540 CPUtime=0.58 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 11030 0 0 0 55 3 0 0 18 0 8 0 544870664 979496960 85556 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=956676 CPUtime=0.59 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 11889 0 0 0 56 3 0 0 18 0 8 0 544870664 979636224 86051 33554432000 4194304 4627427 140734043021360 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 951448

[startup+0.73875 s]
/proc/loadavg: 0.00 0.16 2.31 2/185 15589
/proc/meminfo: memFree=27477560/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=961172 CPUtime=5.54 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 94936 0 0 0 521 33 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664467100 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 240293 93174 367 106 0 235264 0
[pid=15589/tid=15590] ppid=15587 vsize=961172 CPUtime=0.69 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 12000 0 0 0 66 3 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=961172 CPUtime=0.67 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 11586 0 0 0 63 4 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=961172 CPUtime=0.68 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 11811 0 0 0 65 3 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664466841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=961172 CPUtime=0.69 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 11565 0 0 0 65 4 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=961172 CPUtime=0.68 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 11226 0 0 0 63 5 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=961172 CPUtime=0.69 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) D 15587 15589 15563 0 -1 4202560 11931 0 0 0 65 4 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664469537 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=961172 CPUtime=0.69 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 12379 0 0 0 66 3 0 0 18 0 8 0 544870664 984240128 93174 33554432000 4194304 4627427 140734043021360 18446744073709551615 274664913390 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 961172

[startup+1.50124 s]
/proc/loadavg: 0.00 0.16 2.31 9/193 15597
/proc/meminfo: memFree=27044368/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=971120 CPUtime=11.57 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 111035 0 0 0 1119 38 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 242780 109273 367 106 0 237751 0
[pid=15589/tid=15590] ppid=15587 vsize=971120 CPUtime=1.45 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13961 0 0 0 141 4 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=971120 CPUtime=1.41 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13495 0 0 0 137 4 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=971120 CPUtime=1.44 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13530 0 0 0 140 4 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=971120 CPUtime=1.44 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13433 0 0 0 140 4 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=971120 CPUtime=1.44 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13716 0 0 0 138 6 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=971120 CPUtime=1.43 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 13984 0 0 0 139 4 0 0 18 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=971120 CPUtime=1.45 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 14386 0 0 0 141 4 0 0 19 0 8 0 544870664 994426880 109273 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 971120

[startup+3.10096 s]
/proc/loadavg: 0.00 0.16 2.31 5/193 15597
/proc/meminfo: memFree=26860724/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=1534396 CPUtime=22.87 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 286356 0 0 0 2196 91 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15589/statm: 383599 284594 377 106 0 378570 0
[pid=15589/tid=15590] ppid=15587 vsize=1534396 CPUtime=2.82 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 44955 0 0 0 270 12 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=1534396 CPUtime=2.8 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 32707 0 0 0 269 11 0 0 17 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=1534396 CPUtime=2.86 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 38289 0 0 0 275 11 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=1534396 CPUtime=2.82 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 40113 0 0 0 270 12 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=1534396 CPUtime=2.88 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 38464 0 0 0 274 14 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=1534396 CPUtime=2.83 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 37252 0 0 0 271 12 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=1534396 CPUtime=2.94 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 15253 0 0 0 289 5 0 0 18 0 8 0 544870664 1571221504 284594 33554432000 4194304 4627427 140734043021360 18446744073709551615 4305808 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.87
Current children cumulated vsize (KiB) 1534396

[startup+6.30041 s]
/proc/loadavg: 0.64 0.29 2.34 11/193 15597
/proc/meminfo: memFree=26257716/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=1612580 CPUtime=46.48 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 307445 0 0 0 4545 103 0 0 24 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15589/statm: 403145 305053 383 106 0 398116 0
[pid=15589/tid=15590] ppid=15587 vsize=1612580 CPUtime=5.99 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 47833 0 0 0 585 14 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=1612580 CPUtime=5.29 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 35422 0 0 0 517 12 0 0 21 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=1612580 CPUtime=6.03 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 41131 0 0 0 592 11 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=1612580 CPUtime=5.85 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 42954 0 0 0 572 13 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=1612580 CPUtime=6.08 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 41390 0 0 0 594 14 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=1612580 CPUtime=5.83 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 40082 0 0 0 566 17 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=1612580 CPUtime=6.1 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 16482 0 0 0 604 6 0 0 25 0 8 0 544870664 1651281920 305053 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/loadavg: 5.92 5.06 3.92 3/193 15606
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2592.47 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 258855 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=341.38 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 33970 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223616 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2592.47
Current children cumulated vsize (KiB) 2477392

[startup+352.201 s]
/proc/loadavg: 5.61 5.00 3.91 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2605.29 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 260137 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=347.78 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 34610 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223467 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2605.29
Current children cumulated vsize (KiB) 2477392

[startup+358.6 s]
/proc/loadavg: 5.05 4.90 3.89 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2618.07 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 261415 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4467981 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=354.18 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 35250 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223467 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2618.07
Current children cumulated vsize (KiB) 2477392

[startup+361.801 s]
/proc/loadavg: 5.05 4.90 3.89 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2624.47 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 262055 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=357.38 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 35570 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223467 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2624.47
Current children cumulated vsize (KiB) 2477392

[startup+362.601 s]
/proc/loadavg: 5.05 4.90 3.89 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2626.07 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 262215 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4428125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=358.18 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 35650 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223620 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2626.07
Current children cumulated vsize (KiB) 2477392

[startup+363.001 s]
/proc/loadavg: 5.05 4.90 3.89 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2626.87 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 262295 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4520543 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=358.58 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 35690 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223467 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2626.87
Current children cumulated vsize (KiB) 2477392

[startup+363.401 s]
/proc/loadavg: 4.81 4.86 3.88 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=2477392 CPUtime=2627.67 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) R 15587 15589 15563 0 -1 4202496 766160 0 0 0 262375 392 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 619348 490247 391 106 0 614319 0
[pid=15589/tid=15590] ppid=15587 vsize=2477392 CPUtime=313.67 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 89420 0 0 0 31341 26 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 2 0 0 0
[pid=15589/tid=15591] ppid=15587 vsize=2477392 CPUtime=358.98 cores=0-7
/proc/15589/task/15591/stat : 15591 (strangenight2-m) R 15587 15589 15563 0 -1 4202560 77960 0 0 0 35730 168 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037223620 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15589/tid=15592] ppid=15587 vsize=2477392 CPUtime=339.6 cores=0-7
/proc/15589/task/15592/stat : 15592 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 95509 0 0 0 33931 29 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15593] ppid=15587 vsize=2477392 CPUtime=313.57 cores=0-7
/proc/15589/task/15593/stat : 15593 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 110282 0 0 0 31322 35 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 3 0 0 0
[pid=15589/tid=15594] ppid=15587 vsize=2477392 CPUtime=313.78 cores=0-7
/proc/15589/task/15594/stat : 15594 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 92919 0 0 0 31347 31 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 5 0 0 0
[pid=15589/tid=15595] ppid=15587 vsize=2477392 CPUtime=313.33 cores=0-7
/proc/15589/task/15595/stat : 15595 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 112261 0 0 0 31293 40 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 4 0 0 0
[pid=15589/tid=15596] ppid=15587 vsize=2477392 CPUtime=313.81 cores=0-7
/proc/15589/task/15596/stat : 15596 (strangenight2-m) S 15587 15589 15563 0 -1 4202560 113761 0 0 0 31342 39 0 0 25 0 8 0 544870664 2536849408 490247 33554432000 4194304 4627427 140734043021360 18446744073709551615 48001037248052 0 0 4096 2 18446604453853202496 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2627.67
Current children cumulated vsize (KiB) 2477392

[startup+363.501 s]
/proc/loadavg: 4.81 4.86 3.88 3/193 15607
/proc/meminfo: memFree=25515788/32951132 swapFree=67111356/67111528
[pid=15589] ppid=15587 vsize=0 CPUtime=2627.86 cores=0-7
/proc/15589/stat : 15589 (strangenight2-m) Z 15587 15589 15563 0 -1 4203548 766168 0 0 0 262392 394 0 0 25 0 2 0 544870664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15589/statm: 0 0 0 0 0 0 0
[pid=15589/tid=15590] ppid=15587 vsize=0 CPUtime=313.69 cores=0-7
/proc/15589/task/15590/stat : 15590 (strangenight2-m) R 15587 15589 15563 0 -1 4203588 89420 0 0 0 31341 28 0 0 18 0 2 0 544870664 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2627.86
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 363.58
CPU time (s): 2627.95
CPU user time (s): 2623.93
CPU system time (s): 4.02239
CPU usage (%): 722.798
Max. virtual memory (cumulated for all children) (KiB): 2605388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2623.93
system time used= 4.02239
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 766168
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= 63922
involuntary context switches= 11897

runsolver used 0.513921 second user time and 1.58876 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-02 12:38:30
IDJOB=3321222
IDBENCH=83450
IDSOLVER=1709
FILE ID=node131/3321222-1304332709
RUNJOBID= node131-1304332707-15577
PBS_JOBID= 13177711
Free space on /tmp= 72864 MiB

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

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=639142636

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.75
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.830
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:     32951132 kB
MemFree:      27477724 kB
Buffers:        301300 kB
Cached:        2001016 kB
SwapCached:        168 kB
Active:        3217252 kB
Inactive:      1924144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      27477724 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           27576 kB
Writeback:           0 kB
AnonPages:     2839276 kB
Mapped:          19356 kB
Slab:           260780 kB
PageTables:      10768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:  3172364 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72860 MiB
End job on node131 at 2011-05-02 12:44:34