Trace number 3290806

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 1317.14 346.426

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 benchmark20.1839
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 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290806-1304124629.cnf'
0.00/0.00	c -- header says num vars:          10420
0.00/0.00	c -- header says num clauses:      484053
0.90/0.57	c -- clauses added:            0 learnts,       484053 normals,            0 xors
0.90/0.57	c -- vars added      10420
0.90/0.57	c Parsing time:  0.24 s
0.90/0.57	c  N st     0         0     10420    456210     26271         0   4129262         0   no data   no data
0.90/0.57	c asymm  cl-useful: 0/950/454844 lits-rem:0 time: 0.27
7.15/1.84	c Flit:    46 Blit:      0 bXBeca:    0 bXProp:   81 Bins:      0 BRemL:      0 BRemN:      0 P: 48.1M T:  1.27
7.95/2.09	c Replacing       81 vars Replaced   345278 lits Time:     0.26 s 
9.12/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.12/2.32	c bin-w-bin subsume rem          699 bins  time:  0.00 s
16.70/4.21	c subs with bin:    18037  lits-rem:       379  v-fix:    0  time:  1.89 s
16.70/4.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6095 time:  0.02 s
16.70/4.25	c Removed useless bin:      36  fixed:     0  props:   3.10M  time:  0.02 s
182.08/45.68	c lits-rem:         0  cl-subs:      901  v-elim:    838  v-fix:    0  time: 41.40 s
182.08/45.69	c Finding binary XORs  T:     0.01 s  found:       0
197.25/49.47	c Finding non-binary XORs:     3.76 s (found:       0, avg size: nan)
197.25/49.47	c calculated reachability. Time: 0.00
197.25/49.49	c Calc default polars -  time:   0.02 s pos:     306 undec:    1805 neg:    8309
197.25/49.49	c =========================================================================================
197.25/49.49	c types(t): F = full restart, N = normal restart
197.25/49.49	c types(t): S = simplification begin/end, E = solution found
197.25/49.49	c restart types(rt): st = static, dy = dynamic
197.25/49.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
197.25/49.49	c  B st     0         0      8615    436628     22374         0   3873682         0   no data   no data
200.06/50.19	c  N dy    16      4810      8582    436628     22509      4595   3873682    173893      8.81      9.31
203.23/50.91	c  N dy    46      8853      8577    436628     23338      8485   3873682    332519     10.27     10.95
206.83/51.85	c  N dy    66     13944      8576    436628     23822     13406   3873682    560281     10.17     10.74
208.04/52.17	c Finding binary XORs  T:     0.01 s  found:       3
210.43/52.77	c  N dy    84     18177      8554    431294     23614     15921   3832725    702373     10.03     10.59
214.82/53.87	c  N dy   105     22871      8537    431294     23960     11640   3832725    309245      9.89     10.46
216.81/54.38	c  F st   125     25000      8537    431294     24328     13730   3832725    405473     10.03   no data
217.23/54.43	c Replacing        3 vars Replaced       41 lits Time:     0.02 s 
218.81/54.86	c  N st   129     27033      8532    431006     24304     15700   3831204    535674     10.03   no data
220.81/55.30	c  S st   131     30000      8532    431006     24349     18611   3831204    761186     10.03   no data
222.03/55.61	c Finding binary XORs  T:     0.01 s  found:       1
223.20/55.99	c  S st   131     30502      8532    431006     24578     19069   3831204    774558     10.03   no data
223.60/56.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
237.59/59.55	c Flit:     4 Blit:      2 bXBeca:    0 bXProp:    6 Bins: 368981 BRemL: 334450 BRemN:     17 P: 86.5M T:  3.53
237.99/59.68	c Replacing        7 vars Replaced     9795 lits Time:     0.13 s 
238.79/59.80	c blocked clauses removed:        0 vars:      0 tried:        8518 T: 0.00 s
238.79/59.81	c bin-w-bin subsume rem          118 bins  time:  0.01 s
239.99/60.19	c subs with bin:     1791  lits-rem:     24523  v-fix:    0  time:  0.38 s
240.39/60.21	c Subs w/ non-existent bins:      2 l-rem:      8 v-fix:     0 done:    161 time:  0.02 s
240.39/60.22	c Removed useless bin:       8  fixed:     0  props:   0.91M  time:  0.01 s
386.99/96.92	c lits-rem:         0  cl-subs:    19385  v-elim:    236  v-fix:    0  time: 36.68 s
388.18/97.25	c subs with bin:       95  lits-rem:      5579  v-fix:    0  time:  0.31 s
518.80/129.91	c lits-rem:        17  cl-subs:      480  v-elim:      0  v-fix:    0  time: 32.58 s
520.42/130.36	c asymm  cl-useful: 0/703/406627 lits-rem:0 time: 0.45
520.42/130.38	c calculated reachability. Time: 0.01
520.42/130.38	c  N dy   131     30502      8282    406627     54951      9492   3621940    323709     10.03   no data
520.42/130.40	c Finding binary XORs  T:     0.02 s  found:       0
523.19/131.06	c  N dy   146     34574      8282    406627     54959     13527   3621940    477834      9.93     10.52
525.99/131.75	c Finding binary XORs  T:     0.02 s  found:       1
528.39/132.38	c  N dy   164     38712      8272    406618    392053     17604   3621783   1314820      9.89     10.43
533.19/133.55	c  N dy   184     42766      8271    406618    401252     11413   3621783    954923      9.87     10.43
535.57/134.13	c  S st   203     45753      8271    406618    401255     14373   3621782   1084740      9.91   no data
537.18/134.54	c  S st   203     46255      8271    406618    401257     14871   3621782   1099135      9.91   no data
537.18/134.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
549.55/137.64	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   8423 BRemL: 349108 BRemN:      4 P: 79.9M T:  3.08
549.55/137.69	c Replacing        1 vars Replaced      458 lits Time:     0.05 s 
550.35/137.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
550.35/137.81	c bin-w-bin subsume rem         1732 bins  time:  0.01 s
550.35/137.89	c subs with bin:      743  lits-rem:       797  v-fix:    0  time:  0.08 s
550.75/137.91	c Subs w/ non-existent bins:      1 l-rem:     14 v-fix:     0 done:    477 time:  0.02 s
550.75/137.92	c Removed useless bin:       1  fixed:     0  props:   0.79M  time:  0.01 s
676.99/169.59	c lits-rem:         0  cl-subs:      737  v-elim:     45  v-fix:    0  time: 31.67 s
678.60/169.91	c subs with bin:      101  lits-rem:      1076  v-fix:    0  time:  0.30 s
805.99/201.84	c lits-rem:      1404  cl-subs:      370  v-elim:      0  v-fix:    0  time: 31.80 s
806.77/202.09	c vivif2 --  cl tried   405177 cl shrink     1763 lits rem       1819 time: 0.25
807.17/202.12	c vivif2 --  cl tried    13548 cl shrink     1812 lits rem       7811 time: 0.02
808.38/202.48	c asymm  cl-useful: 1/644/405176 lits-rem:1 time: 0.36
808.78/202.51	c calculated reachability. Time: 0.01
808.78/202.51	c  N dy   203     46255      8224    405176     57546     13545   3608715    360576      9.91   no data
808.78/202.52	c Finding binary XORs  T:     0.02 s  found:       0
810.80/203.09	c Finding binary XORs  T:     0.01 s  found:       2
813.57/203.75	c  N dy   224     50285      8211    405164     74319     17517   3608537    562932      9.88     10.43
819.96/205.30	c  N dy   242     54395      8210    405164     74324     21603   3608537    886095      9.85     10.38
825.15/206.69	c  N dy   261     58470      8210    405164     75595     25659   3608537   1105808      9.83     11.93
830.35/207.97	c  N dy   282     62540      8210    405164     75610     29706   3608536   1287204      9.81     10.37
834.74/209.01	c  N dy   309     66630      8210    405164     75612     18187   3608536    473302      9.86     10.64
836.75/209.54	c  S st   327     69382      8209    405164     75615     20923   3608536    612480      9.87   no data
837.53/209.80	c Finding binary XORs  T:     0.01 s  found:       0
838.33/209.96	c  S st   327     69884      8209    405163     75540     21412   3608475    633123      9.87   no data
838.33/209.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
850.34/213.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  10186 BRemL:  20930 BRemN:      3 P: 83.5M T:  3.01
850.71/213.03	c Replacing        4 vars Replaced     2345 lits Time:     0.03 s 
851.11/213.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
851.11/213.14	c bin-w-bin subsume rem          222 bins  time:  0.01 s
851.51/213.25	c subs with bin:      693  lits-rem:      2380  v-fix:    0  time:  0.11 s
851.51/213.27	c Subs w/ non-existent bins:     20 l-rem:      0 v-fix:     0 done:    338 time:  0.02 s
851.51/213.29	c Removed useless bin:       3  fixed:     0  props:   0.72M  time:  0.01 s
972.56/243.55	c lits-rem:         0  cl-subs:     5486  v-elim:     29  v-fix:    0  time: 30.26 s
975.35/244.22	c subs with bin:      157  lits-rem:      2157  v-fix:    0  time:  0.64 s
1109.59/277.85	c lits-rem:        22  cl-subs:      473  v-elim:      0  v-fix:    0  time: 33.54 s
1110.36/278.09	c vivif2 --  cl tried   398968 cl shrink       71 lits rem         98 time: 0.25
1110.76/278.14	c vivif2 --  cl tried    19482 cl shrink     2504 lits rem      16642 time: 0.05
1112.36/278.58	c asymm  cl-useful: 0/564/398968 lits-rem:0 time: 0.44
1112.76/278.61	c calculated reachability. Time: 0.01
1112.76/278.61	c  N dy   327     69884      8176    398968     62494     19479   3562650    522742      9.87   no data
1112.76/278.63	c Finding binary XORs  T:     0.02 s  found:       0
1119.15/280.21	c  N dy   347     74541      8166    398968     70146     24108   3562650    779781      9.82     10.38
1119.54/280.34	c Finding binary XORs  T:     0.02 s  found:       0
1124.73/281.61	c  N dy   367     79409      8166    398959     72509     28880   3562496   1116333      9.79     10.37
1130.33/283.04	c  N dy   393     84640      8166    398959     72512     34089   3562496   1420886      9.79     10.33
1133.53/283.85	c  F st   416     87500      8166    398959     72514     36922   3562496   1594466      9.84   no data
1137.53/284.85	c  N st   421     90796      8166    398959     72519     21682   3562496    567871      9.84   no data
1137.53/284.87	c Finding binary XORs  T:     0.02 s  found:       0
1143.92/286.45	c  N dy   440     96662      8166    398959     72526     27516   3562494    907327      9.82     10.69
1153.52/288.81	c  N dy   477    103093      8166    398959     72532     33898   3562494   1293143      9.85     10.55
1156.30/289.51	c  S st   486    104826      8166    398959     72534     35619   3562494   1397913      9.83   no data
1158.69/290.13	c  S st   486    105328      8166    398959     72534     36119   3562494   1418644      9.83   no data
1158.69/290.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1173.07/293.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   7508 BRemL:  16498 BRemN:      0 P: 84.7M T:  3.55
1173.47/293.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1173.47/293.83	c bin-w-bin subsume rem          161 bins  time:  0.01 s
1173.87/293.91	c subs with bin:      529  lits-rem:        23  v-fix:    0  time:  0.08 s
1173.87/293.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    601 time:  0.02 s
1173.87/293.95	c Removed useless bin:       0  fixed:     0  props:   0.73M  time:  0.01 s
1263.29/320.71	c lits-rem:         0  cl-subs:       38  v-elim:     13  v-fix:    0  time: 26.73 s
1267.47/322.18	c subs with bin:      120  lits-rem:      1379  v-fix:    0  time:  1.41 s
1315.92/345.81	c lits-rem:         3  cl-subs:      761  v-elim:      0  v-fix:    0  time: 23.55 s
1316.33/346.04	c vivif2 --  cl tried   398399 cl shrink       48 lits rem         56 time: 0.23
1316.52/346.14	c vivif2 --  cl tried    34321 cl shrink     7849 lits rem      86253 time: 0.10
1316.92/346.35	c asymm  cl-useful: 0/507/398399 lits-rem:0 time: 0.22
1316.92/346.38	c calculated reachability. Time: 0.01
1316.92/346.38	c  N dy   486    105328      8153    398399     62627     34321   3559793   1235700      9.83   no data
1316.92/346.38	c Following stats are for *FIRST FINISHED THREAD ONLY*
1316.92/346.38	c num threads              : 4          
1316.92/346.38	c restarts                 : 609        
1316.92/346.38	c dynamic restarts         : 591        
1316.92/346.38	c static restarts          : 18         
1316.92/346.38	c full restarts            : 2          
1316.92/346.38	c total simplify time      : 0.38       
1316.92/346.38	c learnts DL2              : 0          
1316.92/346.38	c learnts size 2           : 792264     
1316.92/346.38	c learnts size 1           : 1015        (9.74      % of vars)
1316.92/346.38	c filedLit time            : 11.42       (3.32      % time)
1316.92/346.38	c v-elim SatELite          : 1161        (11.14     % vars)
1316.92/346.38	c SatELite time            : 243.52      (70.67     % time)
1316.92/346.38	c v-elim xor               : 0           (0.00      % vars)
1316.92/346.38	c xor elim time            : 0.07        (0.02      % time)
1316.92/346.38	c num binary xor trees     : 90         
1316.92/346.38	c binxor trees' crown      : 96          (1.07      leafs/tree)
1316.92/346.38	c bin xor find time        : 0.19       
1316.92/346.38	c OTF clause improved      : 861         (0.01      clauses/conflict)
1316.92/346.38	c OTF impr. size diff      : 1119        (1.30       lits/clause)
1316.92/346.38	c OTF cl watch-shrink      : 88963       (0.70      clauses/conflict)
1316.92/346.38	c OTF cl watch-sh-lit      : 542805      (6.10       lits/clause)
1316.92/346.38	c tried to recurMin cls    : 60175       (47.40      % of conflicts)
1316.92/346.38	c updated cache            : 0           (0.00       lits/tried recurMin)
1316.92/346.38	c unit cls recevied        : 28          (2.76      % of units)
1316.92/346.38	c unit cls sent            : 30          (2.96      % of units)
1316.92/346.38	c bin cls recevied         : 368628     
1316.92/346.38	c bin cls sent             : 32580      
1316.92/346.38	c clauses over max glue    : 0           (0.00      % of all clauses)
1316.92/346.38	c conflicts                : 126942      (368.42    / sec)
1316.92/346.38	c decisions                : 317408      (2.34      % random)
1316.92/346.38	c bogo-props               : 2103224385  (6104058.82 / sec)
1316.92/346.38	c conflict literals        : 5998387     (27.14     % deleted)
1316.92/346.38	c Memory used              : 1069.24     MB
1316.92/346.38	c single-thread CPU time   : 344.56      s
1316.92/346.38	c all-threads sum CPU time : 1316.21     s
1316.92/346.38	s SATISFIABLE
1316.92/346.38	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-3290806-1304124629/watcher-3290806-1304124629 -o /tmp/evaluation-result-3290806-1304124629/solver-3290806-1304124629 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290806-1304124629.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 524060810 52441088 352 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550537659 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 12803 352 303 106 0 7774 0
[pid=6035/tid=6036] ppid=6033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524060810 52441088 352 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632690 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524060810 52441088 352 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632690 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524060810 52441088 352 33554432000 4194304 4627427 140737129323120 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.034078 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=285064 CPUtime=0.15 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) D 6033 6035 5928 0 -1 4202496 5842 0 0 0 14 1 0 0 22 0 4 0 524060810 291905536 5760 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550580919 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 71413 6259 341 106 0 66384 0
[pid=6035/tid=6036] ppid=6033 vsize=286488 CPUtime=0.04 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 1668 0 0 0 4 0 0 0 18 0 4 0 524060810 293363712 6726 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550642670 0 0 4096 2 18446604453885870336 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=286876 CPUtime=0.04 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 1695 0 0 0 4 0 0 0 18 0 4 0 524060810 293761024 6857 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=286876 CPUtime=0.03 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 1665 0 0 0 3 0 0 0 18 0 4 0 524060810 293761024 6989 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550198085 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 285064

[startup+0.119778 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=438856 CPUtime=0.56 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 24098 0 0 0 51 5 0 0 22 0 4 0 524060810 449388544 23097 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550595498 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 110322 23097 341 106 0 105293 0
[pid=6035/tid=6036] ppid=6033 vsize=439664 CPUtime=0.13 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) D 6033 6035 5928 0 -1 4202560 5796 0 0 0 12 1 0 0 18 0 4 0 524060810 450215936 23105 33554432000 4194304 4627427 140737129323120 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=442096 CPUtime=0.13 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) D 6033 6035 5928 0 -1 4202560 5900 0 0 0 12 1 0 0 18 0 4 0 524060810 452706304 23105 33554432000 4194304 4627427 140737129323120 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=440472 CPUtime=0.13 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) D 6033 6035 5928 0 -1 4202560 6046 0 0 0 12 1 0 0 18 0 4 0 524060810 451043328 23137 33554432000 4194304 4627427 140737129323120 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 438856

[startup+0.368918 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=458268 CPUtime=2.26 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 45184 0 0 0 217 9 0 0 24 0 4 0 524060810 469266432 44183 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550234720 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 114649 44487 367 106 0 109620 0
[pid=6035/tid=6036] ppid=6033 vsize=461648 CPUtime=0.63 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) D 6033 6035 5928 0 -1 4202560 11334 0 0 0 61 2 0 0 18 0 4 0 524060810 472727552 46742 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=468772 CPUtime=0.99 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 13138 0 0 0 96 3 0 0 19 0 4 0 524060810 480022528 52086 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=468772 CPUtime=0.98 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 12986 0 0 0 96 2 0 0 19 0 4 0 524060810 480022528 52086 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 458268

[startup+1.05048 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=469252 CPUtime=4.16 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 53455 0 0 0 404 12 0 0 25 0 4 0 524060810 480514048 52454 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 117313 52454 367 106 0 112284 0
[pid=6035/tid=6036] ppid=6033 vsize=469252 CPUtime=1.03 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 12958 0 0 0 101 2 0 0 19 0 4 0 524060810 480514048 52454 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550198469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=469252 CPUtime=1.03 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) D 6033 6035 5928 0 -1 4202560 13250 0 0 0 100 3 0 0 19 0 4 0 524060810 480514048 52454 33554432000 4194304 4627427 140737129323120 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=469252 CPUtime=1.02 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 13009 0 0 0 100 2 0 0 19 0 4 0 524060810 480514048 52454 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 469252

[startup+1.50034 s]
/proc/loadavg: 7.51 7.93 7.93 5/184 6035
/proc/meminfo: memFree=30751000/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=472376 CPUtime=5.96 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 55737 0 0 0 583 13 0 0 25 0 4 0 524060810 483713024 54736 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 118094 54736 367 106 0 113065 0
[pid=6035/tid=6036] ppid=6033 vsize=472376 CPUtime=1.48 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 13392 0 0 0 145 3 0 0 19 0 4 0 524060810 483713024 54736 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=472376 CPUtime=1.48 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 13808 0 0 0 145 3 0 0 19 0 4 0 524060810 483713024 54736 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=472376 CPUtime=1.48 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 13717 0 0 0 145 3 0 0 20 0 4 0 524060810 483713024 54736 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 472376

[startup+3.10104 s]
/proc/loadavg: 7.51 7.93 7.93 9/188 6039
/proc/meminfo: memFree=30238600/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=740616 CPUtime=12.31 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 131022 0 0 0 1204 27 0 0 18 0 4 0 524060810 758390784 130021 33554432000 4194304 4627427 140737129323120 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 185154 130021 377 106 0 180125 0
[pid=6035/tid=6036] ppid=6033 vsize=740616 CPUtime=3.06 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 38111 0 0 0 300 6 0 0 19 0 4 0 524060810 758390784 130021 33554432000 4194304 4627427 140737129323120 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=740616 CPUtime=3.08 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 38411 0 0 0 300 8 0 0 19 0 4 0 524060810 758390784 130021 33554432000 4194304 4627427 140737129323120 18446744073709551615 4420186 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=740616 CPUtime=3.06 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 14708 0 0 0 303 3 0 0 19 0 4 0 524060810 758390784 130021 33554432000 4194304 4627427 140737129323120 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 740616

[startup+6.30047 s]
/proc/loadavg: 7.55 7.93 7.93 9/188 6039
/proc/meminfo: memFree=30196452/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=774432 CPUtime=25.08 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 140646 0 0 0 2479 29 0 0 25 0 4 0 524060810 793018368 139390 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467990 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 193608 139390 383 106 0 188579 0
[pid=6035/tid=6036] ppid=6033 vsize=774432 CPUtime=6.24 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 40904 0 0 0 617 7 0 0 25 0 4 0 524060810 793018368 139390 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=774432 CPUtime=6.27 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 41258 0 0 0 619 8 0 0 25 0 4 0 524060810 793018368 139390 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=774432 CPUtime=6.27 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 15848 0 0 0 623 4 0 0 25 0 4 0 524060810 793018368 139390 33554432000 4194304 4627427 140737129323120 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 774432

[startup+12.7073 s]
/proc/loadavg: 7.67 7.95 7.94 9/188 6040
/proc/meminfo: memFree=30179220/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=776484 CPUtime=50.68 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 142709 0 0 0 5036 32 0 0 25 0 4 0 524060810 795119616 141036 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 194121 141036 386 106 0 189092 0
[pid=6035/tid=6036] ppid=6033 vsize=776484 CPUtime=12.61 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 40904 0 0 0 1254 7 0 0 25 0 4 0 524060810 795119616 141036 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=776484 CPUtime=12.68 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 41258 0 0 0 1260 8 0 0 25 0 4 0 524060810 795119616 141036 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=776484 CPUtime=12.67 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 17911 0 0 0 1261 6 0 0 25 0 4 0 524060810 795119616 141036 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 776484

[startup+25.501 s]
/proc/loadavg: 7.81 7.97 7.94 9/188 6040
/proc/meminfo: memFree=30068476/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=931192 CPUtime=101.78 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 173074 0 0 0 10139 39 0 0 25 0 4 0 524060810 953540608 170476 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 232798 170476 386 106 0 227769 0
[pid=6035/tid=6036] ppid=6033 vsize=931192 CPUtime=25.34 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 40904 0 0 0 2527 7 0 0 25 0 4 0 524060810 953540608 170476 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=931192 CPUtime=25.47 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 41258 0 0 0 2539 8 0 0 25 0 4 0 524060810 953540608 170476 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467868 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=931192 CPUtime=25.46 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 48276 0 0 0 2533 13 0 0 25 0 4 0 524060810 953540608 170476 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 931192

[startup+51.1003 s]
/proc/loadavg: 7.88 7.97 7.94 9/188 6041
/proc/meminfo: memFree=30055856/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=926884 CPUtime=204.05 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 184754 0 0 0 20363 42 0 0 25 0 4 0 524060810 949129216 168117 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 231721 168117 391 106 0 226692 0
[pid=6035/tid=6036] ppid=6033 vsize=926884 CPUtime=50.8 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 44026 0 0 0 5072 8 0 0 25 0 4 0 524060810 949129216 168117 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=926884 CPUtime=51.07 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 45157 0 0 0 5098 9 0 0 25 0 4 0 524060810 949129216 168117 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=926884 CPUtime=51.07 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 48278 0 0 0 5094 13 0 0 25 0 4 0 524060810 949129216 168117 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.05
Current children cumulated vsize (KiB) 926884

[startup+102.301 s]
/proc/loadavg: 8.19 8.03 7.96 10/188 6042
/proc/meminfo: memFree=29930388/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=999656 CPUtime=408.55 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 225743 0 0 0 40800 55 0 0 25 0 4 0 524060810 1023647744 189230 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467944 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 249914 189230 396 106 0 244885 0
[pid=6035/tid=6036] ppid=6033 vsize=999656 CPUtime=101.72 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 52606 0 0 0 10161 11 0 0 25 0 4 0 524060810 1023647744 189230 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467995 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=999656 CPUtime=102.27 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 54584 0 0 0 10215 12 0 0 25 0 4 0 524060810 1023647744 189230 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=999656 CPUtime=102.26 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 59232 0 0 0 10209 17 0 0 25 0 4 0 524060810 1023647744 189230 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 999656

[startup+162.307 s]
/proc/loadavg: 8.16 8.05 7.98 9/188 6044
/proc/meminfo: memFree=29878560/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1033612 CPUtime=648.25 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 269734 0 0 0 64758 67 0 0 25 0 4 0 524060810 1058418688 196287 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 258403 196287 394 106 0 253374 0
[pid=6035/tid=6036] ppid=6033 vsize=1033612 CPUtime=161.4 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 60725 0 0 0 16126 14 0 0 25 0 4 0 524060810 1058418688 196287 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1033612 CPUtime=162.27 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 66118 0 0 0 16212 15 0 0 25 0 4 0 524060810 1058418688 196287 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1033612 CPUtime=162.27 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 75940 0 0 0 16205 22 0 0 25 0 4 0 524060810 1058418688 196287 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 1033612

[startup+222.3 s]
/proc/loadavg: 8.15 8.07 7.99 10/188 6075
/proc/meminfo: memFree=27539148/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1134044 CPUtime=887.87 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 297320 0 0 0 88707 80 0 0 25 0 4 0 524060810 1161261056 209866 33554432000 4194304 4627427 140737129323120 18446744073709551615 4468007 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 283511 209866 398 106 0 278482 0
[pid=6035/tid=6036] ppid=6033 vsize=1134044 CPUtime=221.07 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63031 0 0 0 22091 16 0 0 25 0 4 0 524060810 1161261056 209866 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1134044 CPUtime=222.26 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 69578 0 0 0 22211 15 0 0 25 0 4 0 524060810 1161261056 209866 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1134044 CPUtime=222.27 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 93155 0 0 0 22198 29 0 0 25 0 4 0 524060810 1161261056 209866 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.87
Current children cumulated vsize (KiB) 1134044

[startup+282.3 s]
/proc/loadavg: 8.12 8.07 7.99 9/188 6077
/proc/meminfo: memFree=27011456/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1005688 CPUtime=1127.54 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 311703 0 0 0 112669 85 0 0 25 0 4 0 524060810 1029824512 214730 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6035/statm: 251422 214730 398 106 0 246393 0
[pid=6035/tid=6036] ppid=6033 vsize=1005688 CPUtime=280.74 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 28058 16 0 0 25 0 4 0 524060810 1029824512 214730 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1005688 CPUtime=282.25 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 78697 0 0 0 28207 18 0 0 25 0 4 0 524060810 1029824512 214730 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1005688 CPUtime=282.27 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 94942 0 0 0 28198 29 0 0 25 0 4 0 524060810 1029824512 214730 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467967 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.54
Current children cumulated vsize (KiB) 1005688

[startup+342.301 s]
/proc/loadavg: 7.39 7.90 7.94 7/188 6078
/proc/meminfo: memFree=26976976/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1308.92 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 324912 0 0 0 130805 87 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467852 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 223323 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=340.64 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34048 16 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1308.92
Current children cumulated vsize (KiB) 1094896

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

[startup+342.9 s]
/proc/loadavg: 7.39 7.90 7.94 7/188 6078
/proc/meminfo: memFree=26976976/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1310.12 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 324912 0 0 0 130925 87 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 223323 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=341.24 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34108 16 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607876 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1310.12
Current children cumulated vsize (KiB) 1094896

[startup+344.501 s]
/proc/loadavg: 7.28 7.86 7.93 7/188 6078
/proc/meminfo: memFree=26977024/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1313.32 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 324912 0 0 0 131245 87 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 223323 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=342.84 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34268 16 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1313.32
Current children cumulated vsize (KiB) 1094896

[startup+345.301 s]
/proc/loadavg: 7.28 7.86 7.93 7/188 6078
/proc/meminfo: memFree=26976900/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1314.92 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 324912 0 0 0 131405 87 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 4427670 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 223323 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=343.64 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34348 16 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 223323 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1314.92
Current children cumulated vsize (KiB) 1094896

[startup+346.101 s]
/proc/loadavg: 7.28 7.86 7.93 7/188 6078
/proc/meminfo: memFree=26986324/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1316.52 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 325157 0 0 0 131565 87 0 0 25 0 4 0 524060810 1121173504 221067 33554432000 4194304 4627427 140737129323120 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 221067 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=344.44 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34428 16 0 0 25 0 4 0 524060810 1121173504 221067 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607876 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 221068 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 221068 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1316.52
Current children cumulated vsize (KiB) 1094896

[startup+346.301 s]
/proc/loadavg: 7.28 7.86 7.93 7/188 6078
/proc/meminfo: memFree=26986324/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=1094896 CPUtime=1316.92 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4202496 325578 0 0 0 131605 87 0 0 25 0 4 0 524060810 1121173504 221488 33554432000 4194304 4627427 140737129323120 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 273724 221488 394 106 0 268695 0
[pid=6035/tid=6036] ppid=6033 vsize=1094896 CPUtime=344.64 cores=0,2,4,6
/proc/6035/task/6036/stat : 6036 (strangenight2-m) R 6033 6035 5928 0 -1 4202560 63608 0 0 0 34448 16 0 0 25 0 4 0 524060810 1121173504 221488 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601607723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6035/tid=6037] ppid=6033 vsize=1094896 CPUtime=323.11 cores=0,2,4,6
/proc/6035/task/6037/stat : 6037 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 81936 0 0 0 32292 19 0 0 25 0 4 0 524060810 1121173504 221488 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 4 0 0 0
[pid=6035/tid=6038] ppid=6033 vsize=1094896 CPUtime=302.94 cores=0,2,4,6
/proc/6035/task/6038/stat : 6038 (strangenight2-m) S 6033 6035 5928 0 -1 4202560 94951 0 0 0 30265 29 0 0 25 0 4 0 524060810 1121173504 221488 33554432000 4194304 4627427 140737129323120 18446744073709551615 47332601632308 0 0 4096 2 18446604453885870336 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1316.92
Current children cumulated vsize (KiB) 1094896

[startup+346.401 s]
/proc/loadavg: 7.28 7.86 7.93 7/188 6078
/proc/meminfo: memFree=26986324/32951124 swapFree=67111336/67111528
[pid=6035] ppid=6033 vsize=0 CPUtime=1317.1 cores=0,2,4,6
/proc/6035/stat : 6035 (strangenight2-m) R 6033 6035 5928 0 -1 4203524 325586 0 0 0 131621 89 0 0 25 0 1 0 524060810 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6035/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1317.1
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 346.426
CPU time (s): 1317.14
CPU user time (s): 1316.22
CPU system time (s): 0.91886
CPU usage (%): 380.207
Max. virtual memory (cumulated for all children) (KiB): 1160432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1316.22
system time used= 0.91886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 325586
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= 7908
involuntary context switches= 22282

runsolver used 0.504923 second user time and 1.39379 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-30 02:50:29
IDJOB=3290806
IDBENCH=83450
IDSOLVER=1586
FILE ID=node133/3290806-1304124629
RUNJOBID= node133-1304124391-5946
PBS_JOBID= 13170758
Free space on /tmp= 71868 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-3290806-1304124629/watcher-3290806-1304124629 -o /tmp/evaluation-result-3290806-1304124629/solver-3290806-1304124629 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3290806-1304124629.cnf

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

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=1830611123

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30751156 kB
Buffers:        510900 kB
Cached:        1081552 kB
SwapCached:        124 kB
Active:         369540 kB
Inactive:      1486972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30751156 kB
SwapTotal:    67111528 kB
SwapFree:     67111336 kB
Dirty:           27256 kB
Writeback:           0 kB
AnonPages:      263668 kB
Mapped:          15520 kB
Slab:           280444 kB
PageTables:       5388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   520888 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71752 MiB
End job on node133 at 2011-04-30 02:56:16