Trace number 3290624

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-1-mtSAT 757.573 190.709

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F19.cnf
MD5SUM724ced5489ef7e836f9b05218003acd5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark10.0565
Satisfiable
(Un)Satisfiability was proved
Number of variables9044
Number of clauses295685
Sum of the clauses size2135252
Maximum clause length66
Minimum clause length1
Number of clauses of size 16
Number of clauses of size 223461
Number of clauses of size 319584
Number of clauses of size 413813
Number of clauses of size 522420
Number of clauses of size over 5216401

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290624-1304133399.cnf'
0.00/0.00	c -- header says num vars:           9044
0.00/0.00	c -- header says num clauses:      295685
1.16/0.34	c -- clauses added:            0 learnts,       295685 normals,            0 xors
1.16/0.34	c -- vars added       9044
1.16/0.34	c Parsing time:  0.46 s
1.16/0.34	c  N st     0         0      9044    272212     23233         0   2134664         0   no data   no data  --
1.16/0.34	c asymm  cl-useful: 0/2700/272098 lits-rem:0 time: 0.77
3.97/1.07	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:   76 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  2.70
4.37/1.15	c Replacing       76 vars Replaced   189870 lits Time:     0.30 s 
4.71/1.27	c bin-w-bin subsume rem          146 bins  time:  0.01 s
5.49/1.40	c subs with bin:     2352  lits-rem:         4  v-fix:    0  time:  0.49 s
5.49/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6171 time:  0.07 s
5.49/1.43	c Removed useless bin:       0  fixed:     0  props:   1.73M  time:  0.05 s
123.33/30.95	c lits-rem:         0  cl-subs:        6  v-elim:   1224  v-fix:    0  time: 117.66 s
123.33/30.96	c Finding binary XORs  T:     0.04 s  found:       0
126.94/31.85	c Finding non-binary XORs:     3.48 s (found:       0, avg size: nan)
126.94/31.85	c calculated reachability. Time: 0.01
126.94/31.86	c Calc default polars -  time:   0.04 s pos:     330 undec:    1445 neg:    7269
126.94/31.86	c =========================================================================================
126.94/31.86	c types(t): F = full restart, N = normal restart
126.94/31.86	c types(t): S = simplification begin/end, E = solution found
126.94/31.86	c restart types(rt): st = static, dy = dynamic
126.94/31.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
126.94/31.86	c  B st     0         0      7599    272347     19267         0   2154210         0   no data   no data  --
128.93/32.33	c  N dy    18      4113      7597    272347     19444      3883   2154210    132359      9.53     10.09  --
131.34/32.94	c  N dy    43      8274      7596    272347     20201      7859   2154210    267971      9.07      9.71  --
132.52/33.29	c Finding binary XORs  T:     0.03 s  found:       3
133.72/33.50	c  N dy    68     12278      7596    272346     20388     11703   2154083    398901      9.47     10.73  --
135.73/34.09	c  N dy    90     16324      7596    272346     20494     15616   2154083    533064      9.51     10.06  --
138.51/34.78	c  N dy   118     20341      7596    272346     20789      9922   2154083    186104      9.53     10.13  --
140.91/35.30	c  N dy   145     24481      7596    272346     20868     13948   2154083    324449      9.63     10.22  --
140.91/35.36	c Finding binary XORs  T:     0.03 s  found:       2
141.31/35.41	c  F st   150     25003      7585    269963     43701     14439   2137975    386468      9.65   no data  --
141.31/35.43	c Replacing        5 vars Replaced      229 lits Time:     0.06 s 
144.52/36.25	c  N dy   156     30002      7580    269959     43690     19400   2137950    656541      9.65   no data  --
144.52/36.25	c  S st   156     30002      7580    269959     43690     19400   2137950    656541      9.65   no data  --
145.30/36.47	c  S st   156     30502      7580    269959     43691     19898   2137950    677000      9.65   no data  --
145.30/36.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
145.30/36.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
150.90/37.89	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    272 BRemL:    317 BRemN:      0 P: 42.3M T:  5.59
151.69/38.01	c bin-w-bin subsume rem           75 bins  time:  0.02 s
153.71/38.55	c subs with bin:      168  lits-rem:     11030  v-fix:    0  time:  2.15 s
153.71/38.57	c Subs w/ non-existent bins:      0 l-rem:    233 v-fix:     0 done:    239 time:  0.06 s
153.71/38.58	c Removed useless bin:       0  fixed:     0  props:   0.76M  time:  0.03 s
234.38/58.75	c lits-rem:        73  cl-subs:     5327  v-elim:     38  v-fix:    0  time: 80.19 s
235.18/58.94	c asymm  cl-useful: 0/2294/267281 lits-rem:0 time: 0.76
235.18/58.95	c calculated reachability. Time: 0.02
235.18/58.95	c  N dy   156     30502      7541    267281     42913     17180   2116210    553204      9.65   no data  --
237.58/59.56	c  N dy   179     34583      7539    267281     43177     21226   2116210    705234      9.64     10.47  --
239.97/60.11	c  N dy   208     38665      7539    267281     43181     25282   2116210    855737      9.73     10.84  --
242.37/60.74	c  N dy   237     42811      7539    267281     43183     29396   2116210   1023018      9.84     10.44  --
244.37/61.28	c  S st   258     45753      7539    267281     43183     17175   2116210    364185      9.90   no data  --
245.17/61.49	c  S st   258     46254      7539    267281     43183     17676   2116210    386087      9.90   no data  --
245.58/61.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
245.58/61.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
250.76/62.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    257 BRemL:     59 BRemN:      0 P: 42.2M T:  5.52
251.15/62.99	c bin-w-bin subsume rem            3 bins  time:  0.02 s
251.95/63.20	c subs with bin:       52  lits-rem:       357  v-fix:    0  time:  0.82 s
252.35/63.22	c Subs w/ non-existent bins:      0 l-rem:     80 v-fix:     0 done:   3092 time:  0.09 s
252.35/63.23	c Removed useless bin:       0  fixed:     0  props:   0.72M  time:  0.03 s
305.88/76.63	c lits-rem:       234  cl-subs:      470  v-elim:      5  v-fix:    0  time: 53.45 s
306.28/76.73	c vivif2 --  cl tried   267263 cl shrink      123 lits rem        127 time: 0.40
306.28/76.75	c vivif2 --  cl tried    17174 cl shrink      748 lits rem       3251 time: 0.07
307.09/76.95	c asymm  cl-useful: 1/4243/267263 lits-rem:1 time: 0.77
307.09/76.96	c calculated reachability. Time: 0.02
307.09/76.96	c  N dy   258     46254      7534    267263     43312     17174   2115835    372678      9.90   no data  --
309.87/77.69	c Finding binary XORs  T:     0.04 s  found:       0
310.27/77.75	c  N dy   278     50315      7532    267263     43535     21213   2115731    592650      9.80     10.34  --
313.07/78.42	c  N dy   303     54363      7532    267263     43537     25233   2115731    735146      9.81     11.07  --
315.47/79.07	c  N dy   320     58602      7532    267263     43538     29440   2115731    892392      9.77     10.42  --
318.66/79.88	c  N dy   341     62701      7532    267263     43543     33514   2115730   1068326      9.80     12.43  --
322.66/80.85	c  N dy   369     66722      7532    267263     43545     19023   2115730    348114      9.83     11.49  --
324.67/81.35	c  S st   384     69386      7532    267263     43547     21666   2115730    448193      9.84   no data  --
325.86/81.60	c  S st   384     69887      7532    267263     43547     22166   2115730    464198      9.84   no data  --
325.86/81.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
325.86/81.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
331.84/83.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    247 BRemL:     27 BRemN:      0 P: 45.2M T:  6.23
332.24/83.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
333.46/83.53	c subs with bin:       53  lits-rem:       181  v-fix:    0  time:  1.00 s
333.46/83.55	c Subs w/ non-existent bins:      0 l-rem:     63 v-fix:     0 done:   1527 time:  0.08 s
333.46/83.55	c Removed useless bin:       0  fixed:     0  props:   0.69M  time:  0.03 s
400.14/100.28	c lits-rem:       793  cl-subs:      849  v-elim:      4  v-fix:    0  time: 66.55 s
400.54/100.38	c vivif2 --  cl tried   267271 cl shrink        4 lits rem         12 time: 0.40
400.94/100.41	c vivif2 --  cl tried    21271 cl shrink      514 lits rem       2750 time: 0.08
401.74/100.67	c asymm  cl-useful: 14/3244/267271 lits-rem:14 time: 1.07
401.74/100.69	c calculated reachability. Time: 0.02
401.74/100.69	c  N dy   384     69887      7528    267271     43717     21271   2115858    438752      9.84   no data  --
408.15/102.24	c Finding binary XORs  T:     0.04 s  found:       0
408.15/102.25	c  N dy   398     78724      7526    267270     44354     29978   2115787   1132239      9.60     10.42  --
412.13/103.21	c  N dy   420     83941      7526    267270     44356     35158   2115787   1409048      9.58     10.22  --
414.52/103.86	c  F st   425     87503      7526    267270     44357     38689   2115787   1561307      9.51      8.41  --
416.12/104.24	c  N st   429     89535      7526    267270     44358     40708   2115787   1691442      9.51   no data  --
419.72/105.19	c  N dy   444     95290      7526    267270     44360     25801   2115787    674373      9.51     11.09  --
424.91/106.46	c  N dy   465    101710      7526    267270     44370     32154   2115787   1058263      9.44      9.94  --
426.91/106.98	c  S st   486    104830      7526    267270     44372     35261   2115787   1191181      9.45   no data  --
428.11/107.24	c  S st   486    105335      7526    267270     44372     35765   2115787   1208905      9.45   no data  --
428.11/107.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
428.11/107.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
434.10/108.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    153 BRemL:     99 BRemN:      0 P: 47.5M T:  6.04
434.51/108.88	c bin-w-bin subsume rem           11 bins  time:  0.02 s
438.49/109.84	c subs with bin:      458  lits-rem:      1034  v-fix:    0  time:  3.83 s
438.49/109.86	c Subs w/ non-existent bins:      0 l-rem:    152 v-fix:     0 done:   2420 time:  0.08 s
438.49/109.87	c Removed useless bin:       0  fixed:     0  props:   0.65M  time:  0.03 s
593.49/148.60	c lits-rem:       168  cl-subs:     2125  v-elim:      8  v-fix:    0  time: 154.59 s
593.89/148.70	c vivif2 --  cl tried   267274 cl shrink        0 lits rem          0 time: 0.40
593.89/148.76	c vivif2 --  cl tried    33206 cl shrink     2170 lits rem      15725 time: 0.22
594.69/148.97	c asymm  cl-useful: 0/1717/267274 lits-rem:0 time: 0.83
594.69/148.98	c calculated reachability. Time: 0.02
594.69/148.98	c  N dy   486    105335      7518    267274     44363     33206   2115862   1054776      9.45   no data  --
599.48/150.19	c Finding binary XORs  T:     0.04 s  found:       0
600.27/150.32	c  N dy   513    112522      7518    267274     45334     40342   2115862   1455917      9.42      9.95  --
605.47/151.60	c  N dy   528    119933      7518    267274     45339     25464   2115862    577265      9.37     10.06  --
610.68/152.95	c  N dy   555    127638      7518    267274     45348     33082   2115862    967626      9.34     15.24  --
617.45/154.63	c  N dy   590    136142      7518    267274     45352     41485   2115862   1406241      9.34      9.84  --
623.86/156.24	c  N dy   644    144888      7517    267274     45358     26694   2115862    538315      9.38     10.19  --
629.83/157.79	c  N dy   706    154139      7517    267274     45363     35883   2115862    908976      9.42      9.98  --
632.65/158.46	c  S st   729    158002      7517    267274     45365     39721   2115862   1063283      9.43      8.25  --
633.83/158.75	c  S st   729    158505      7517    267274     45365     40224   2115862   1081644      9.43   no data  --
633.83/158.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
633.83/158.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
640.22/160.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    199 BRemL:     99 BRemN:      0 P: 49.0M T:  6.24
640.62/160.46	c bin-w-bin subsume rem            5 bins  time:  0.02 s
644.61/161.43	c subs with bin:      237  lits-rem:       911  v-fix:    0  time:  3.87 s
644.61/161.45	c Subs w/ non-existent bins:      0 l-rem:    194 v-fix:     0 done:    779 time:  0.07 s
644.61/161.45	c Removed useless bin:       0  fixed:     0  props:   0.62M  time:  0.03 s
756.80/190.31	c lits-rem:       161  cl-subs:     1444  v-elim:      3  v-fix:    0  time: 111.83 s
756.98/190.41	c vivif2 --  cl tried   267250 cl shrink        0 lits rem          0 time: 0.20
756.98/190.46	c vivif2 --  cl tried    38115 cl shrink     2899 lits rem      15762 time: 0.11
757.38/190.65	c asymm  cl-useful: 0/317/267250 lits-rem:0 time: 0.38
757.38/190.67	c calculated reachability. Time: 0.01
757.38/190.67	c  N dy   729    158505      7514    267250     45344     38114   2115562   1018657      9.43   no data  --
757.38/190.67	c Following stats are for *FIRST FINISHED THREAD ONLY*
757.38/190.67	c num threads              : 4          
757.38/190.67	c restarts                 : 2082       
757.38/190.67	c dynamic restarts         : 2058       
757.38/190.67	c static restarts          : 24         
757.38/190.67	c full restarts            : 3          
757.38/190.67	c total simplify time      : 0.71       
757.38/190.67	c learnts DL2              : 0          
757.38/190.67	c learnts size 2           : 51758      
757.38/190.67	c learnts size 1           : 168         (1.86      % of vars)
757.38/190.67	c filedLit time            : 25.19       (3.33      % time)
757.38/190.67	c v-elim SatELite          : 1282        (14.18     % vars)
757.38/190.67	c SatELite time            : 414.84      (54.89     % time)
757.38/190.67	c v-elim xor               : 0           (0.00      % vars)
757.38/190.67	c xor elim time            : 0.22        (0.03      % time)
757.38/190.67	c num binary xor trees     : 77         
757.38/190.67	c binxor trees' crown      : 81          (1.05      leafs/tree)
757.38/190.67	c bin xor find time        : 0.36       
757.38/190.67	c OTF clause improved      : 2814        (0.01      clauses/conflict)
757.38/190.67	c OTF impr. size diff      : 3687        (1.31       lits/clause)
757.38/190.67	c OTF cl watch-shrink      : 310388      (0.72      clauses/conflict)
757.38/190.67	c OTF cl watch-sh-lit      : 1753513     (5.65       lits/clause)
757.38/190.67	c tried to recurMin cls    : 183014      (42.41      % of conflicts)
757.38/190.67	c updated cache            : 6078        (0.03       lits/tried recurMin)
757.38/190.67	c unit cls received        : 13          (7.74      % of units)
757.38/190.67	c unit cls sent            : 1           (0.60      % of units)
757.38/190.67	c bin cls received         : 26880      
757.38/190.67	c bin cls sent             : 1485       
757.38/190.67	c clauses over max glue    : 0           (0.00      % of all clauses)
757.38/190.67	c conflicts                : 431503      (570.98    / sec)
757.38/190.67	c decisions                : 1017956     (1.10      % random)
757.38/190.67	c bogo-props               : 5881256496  (7782259.21 / sec)
757.38/190.67	c conflict literals        : 20649212    (29.79     % deleted)
757.38/190.67	c Memory used              : 875.09      MB
757.38/190.67	c single-thread CPU time   : 755.73      s
757.38/190.67	c all-threads sum CPU time : 755.73      s
757.38/190.67	s SATISFIABLE
757.38/190.67	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 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-3290624-1304133399/watcher-3290624-1304133399 -o /tmp/evaluation-result-3290624-1304133399/solver-3290624-1304133399 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3290624-1304133399.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.70 4.28 5.76 7/180 7896
/proc/meminfo: memFree=29434544/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 603570591 52465664 352 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282796 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 12809 352 303 112 0 7774 0
[pid=7896/tid=7897] ppid=7894 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 603570592 52465664 352 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 603570592 52465664 352 33554432000 4194304 4650419 140736071596624 18446744073709551615 231907288118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 603570592 52465664 352 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282802 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0610249 s]
/proc/loadavg: 3.70 4.28 5.76 7/180 7896
/proc/meminfo: memFree=29434544/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=360412 CPUtime=0.2 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 11913 0 0 0 17 3 0 0 18 0 4 0 603570591 369061888 10897 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 90500 11807 345 112 0 85465 0
[pid=7896/tid=7897] ppid=7894 vsize=362000 CPUtime=0.04 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) D 7894 7896 7283 0 -1 4202560 3001 0 0 0 4 0 0 0 18 0 4 0 603570592 370688000 11807 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=362000 CPUtime=0.04 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) D 7894 7896 7283 0 -1 4202560 3073 0 0 0 4 0 0 0 18 0 4 0 603570592 370688000 11807 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=363448 CPUtime=0.05 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) D 7894 7896 7283 0 -1 4202560 3308 0 0 0 5 0 0 0 18 0 4 0 603570592 372170752 11991 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 360412

[startup+0.141117 s]
/proc/loadavg: 3.70 4.28 5.76 7/180 7896
/proc/meminfo: memFree=29434544/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=505064 CPUtime=0.52 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) D 7894 7896 7283 0 -1 4202496 24989 0 0 0 46 6 0 0 18 0 4 0 603570591 517185536 23970 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895533751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 126266 23970 345 112 0 121231 0
[pid=7896/tid=7897] ppid=7894 vsize=505064 CPUtime=0.11 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 6076 0 0 0 10 1 0 0 18 0 4 0 603570592 517185536 23970 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=505064 CPUtime=0.12 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 6183 0 0 0 11 1 0 0 18 0 4 0 603570592 517185536 23970 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895595502 0 0 4096 2 18446604471152761024 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=505064 CPUtime=0.12 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) D 7894 7896 7283 0 -1 4202560 6260 0 0 0 11 1 0 0 18 0 4 0 603570592 517185536 23970 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 505064

[startup+0.30089 s]
/proc/loadavg: 3.70 4.28 5.76 7/180 7896
/proc/meminfo: memFree=29434544/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=508472 CPUtime=1.16 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 26400 0 0 0 110 6 0 0 18 0 4 0 603570591 520675328 25381 33554432000 4194304 4650419 140736071596624 18446744073709551615 4369856 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 127118 25381 368 112 0 122083 0
[pid=7896/tid=7897] ppid=7894 vsize=508472 CPUtime=0.27 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 6241 0 0 0 26 1 0 0 18 0 4 0 603570592 520675328 25381 33554432000 4194304 4650419 140736071596624 18446744073709551615 4370270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=508472 CPUtime=0.28 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 6338 0 0 0 27 1 0 0 18 0 4 0 603570592 520675328 25381 33554432000 4194304 4650419 140736071596624 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=508472 CPUtime=0.28 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 7214 0 0 0 27 1 0 0 18 0 4 0 603570592 520675328 25381 33554432000 4194304 4650419 140736071596624 18446744073709551615 4310960 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 508472

[startup+0.700813 s]
/proc/loadavg: 3.70 4.28 5.76 7/180 7896
/proc/meminfo: memFree=29434544/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=449732 CPUtime=2.75 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 47576 0 0 0 265 10 0 0 18 0 4 0 603570591 460525568 32911 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 112433 32911 374 112 0 107398 0
[pid=7896/tid=7897] ppid=7894 vsize=449732 CPUtime=0.67 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 13076 0 0 0 65 2 0 0 18 0 4 0 603570592 460525568 32913 33554432000 4194304 4650419 140736071596624 18446744073709551615 4370252 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=449732 CPUtime=0.68 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 13238 0 0 0 66 2 0 0 18 0 4 0 603570592 460525568 32913 33554432000 4194304 4650419 140736071596624 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=449732 CPUtime=0.68 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 7770 0 0 0 67 1 0 0 18 0 4 0 603570592 460525568 32914 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 449732

[startup+1.50066 s]
/proc/loadavg: 3.70 4.28 5.76 5/176 7917
/proc/meminfo: memFree=29341312/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=609464 CPUtime=5.89 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 91108 0 0 0 567 22 0 0 18 0 4 0 603570591 624091136 76350 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 152366 76350 413 112 0 147331 0
[pid=7896/tid=7897] ppid=7894 vsize=609464 CPUtime=1.44 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 28428 0 0 0 138 6 0 0 18 0 4 0 603570592 624091136 76350 33554432000 4194304 4650419 140736071596624 18446744073709551615 4444130 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=609464 CPUtime=1.47 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 26616 0 0 0 140 7 0 0 18 0 4 0 603570592 624091136 76350 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=609464 CPUtime=1.47 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 8382 0 0 0 146 1 0 0 18 0 4 0 603570592 624091136 76350 33554432000 4194304 4650419 140736071596624 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 609464

[startup+3.10037 s]
/proc/loadavg: 4.12 4.36 5.78 11/184 7930
/proc/meminfo: memFree=29019344/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=610072 CPUtime=12.28 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 93313 0 0 0 1206 22 0 0 20 0 4 0 603570591 624713728 78506 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 152518 78507 416 112 0 147483 0
[pid=7896/tid=7897] ppid=7894 vsize=610072 CPUtime=3.04 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 28859 0 0 0 298 6 0 0 20 0 4 0 603570592 624713728 78507 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=610072 CPUtime=3.07 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 27060 0 0 0 300 7 0 0 20 0 4 0 603570592 624713728 78507 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=610072 CPUtime=3.08 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 9271 0 0 0 306 2 0 0 20 0 4 0 603570592 624713728 78507 33554432000 4194304 4650419 140736071596624 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 610072

[startup+6.30077 s]
/proc/loadavg: 4.12 4.36 5.78 10/184 7930
/proc/meminfo: memFree=28980372/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=606380 CPUtime=25.07 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 102627 0 0 0 2483 24 0 0 25 0 4 0 603570591 620933120 82944 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 151595 82944 417 112 0 146560 0
[pid=7896/tid=7897] ppid=7894 vsize=606380 CPUtime=6.22 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 29755 0 0 0 616 6 0 0 25 0 4 0 603570592 620933120 82944 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=606380 CPUtime=6.27 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 27956 0 0 0 620 7 0 0 25 0 4 0 603570592 620933120 82944 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=606380 CPUtime=6.27 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 15897 0 0 0 624 3 0 0 25 0 4 0 603570592 620933120 82944 33554432000 4194304 4650419 140736071596624 18446744073709551615 4346073 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 606380

[startup+12.7006 s]
/proc/loadavg: 4.72 4.48 5.80 10/184 7930
/proc/meminfo: memFree=28815508/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=680188 CPUtime=50.63 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 161834 0 0 0 5030 33 0 0 25 0 4 0 603570591 696512512 98719 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 170047 98719 392 112 0 165012 0
[pid=7896/tid=7897] ppid=7894 vsize=680188 CPUtime=12.58 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 33137 0 0 0 1252 6 0 0 25 0 4 0 603570592 696512512 98719 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=680188 CPUtime=12.67 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 57353 0 0 0 1256 11 0 0 25 0 4 0 603570592 696512512 98719 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=680188 CPUtime=12.68 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 32126 0 0 0 1262 6 0 0 25 0 4 0 603570592 696512512 98719 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 680188

[startup+25.5012 s]
/proc/loadavg: 5.22 4.59 5.83 9/184 7931
/proc/meminfo: memFree=28758540/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=692392 CPUtime=101.77 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 281927 0 0 0 10129 48 0 0 25 0 4 0 603570591 709009408 101242 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 173098 101242 392 112 0 168063 0
[pid=7896/tid=7897] ppid=7894 vsize=692392 CPUtime=25.32 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 70227 0 0 0 2520 12 0 0 25 0 4 0 603570592 709009408 101242 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=692392 CPUtime=25.47 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 116913 0 0 0 2529 18 0 0 25 0 4 0 603570592 709009408 101242 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=692392 CPUtime=25.47 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 34175 0 0 0 2541 6 0 0 25 0 4 0 603570592 709009408 101242 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 692392

[startup+51.1004 s]
/proc/loadavg: 6.17 4.86 5.88 9/184 7961
/proc/meminfo: memFree=27381908/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=708952 CPUtime=204.02 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 396081 0 0 0 20335 67 0 0 25 0 4 0 603570591 725966848 125065 33554432000 4194304 4650419 140736071596624 18446744073709551615 4441467 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 177238 125082 409 112 0 172203 0
[pid=7896/tid=7897] ppid=7894 vsize=708952 CPUtime=50.78 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 84068 0 0 0 5064 14 0 0 25 0 4 0 603570592 725966848 125091 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=708952 CPUtime=51.07 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 160529 0 0 0 5081 26 0 0 25 0 4 0 603570592 725966848 125102 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=708952 CPUtime=51.08 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 44342 0 0 0 5099 9 0 0 25 0 4 0 603570592 725966848 125112 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.02
Current children cumulated vsize (KiB) 708952

[startup+102.307 s]
/proc/loadavg: 7.35 5.41 6.01 9/184 7963
/proc/meminfo: memFree=27061568/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=766108 CPUtime=408.55 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 917833 0 0 0 40709 146 0 0 25 0 4 0 603570591 784494592 135317 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 191527 135317 395 112 0 186492 0
[pid=7896/tid=7897] ppid=7894 vsize=766108 CPUtime=101.7 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 105116 0 0 0 10152 18 0 0 25 0 4 0 603570592 784494592 135317 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=766108 CPUtime=102.27 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 285617 0 0 0 10182 45 0 0 25 0 4 0 603570592 784494592 135317 33554432000 4194304 4650419 140736071596624 18446744073709551615 4436173 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=766108 CPUtime=102.29 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 136504 0 0 0 10206 23 0 0 25 0 4 0 603570592 784494592 135317 33554432000 4194304 4650419 140736071596624 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.55
Current children cumulated vsize (KiB) 766108

[startup+162.301 s]
/proc/loadavg: 7.87 5.91 6.14 9/184 7964
/proc/meminfo: memFree=26932636/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=895932 CPUtime=648.21 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1002259 0 0 0 64654 167 0 0 25 0 4 0 603570591 917434368 160608 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 223983 160608 395 112 0 218948 0
[pid=7896/tid=7897] ppid=7894 vsize=895932 CPUtime=161.38 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 117696 0 0 0 16116 22 0 0 25 0 4 0 603570592 917434368 160608 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=895932 CPUtime=162.26 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 333538 0 0 0 16170 56 0 0 25 0 4 0 603570592 917434368 160608 33554432000 4194304 4650419 140736071596624 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=895932 CPUtime=162.28 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 146941 0 0 0 16202 26 0 0 25 0 4 0 603570592 917434368 160608 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.21
Current children cumulated vsize (KiB) 895932

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

[startup+166.301 s]
/proc/loadavg: 7.87 5.91 6.14 9/184 7964
/proc/meminfo: memFree=26958920/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=895932 CPUtime=664.19 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1006207 0 0 0 66251 168 0 0 25 0 4 0 603570591 917434368 160890 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 223983 160890 395 112 0 218948 0
[pid=7896/tid=7897] ppid=7894 vsize=895932 CPUtime=165.35 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 121644 0 0 0 16513 22 0 0 25 0 4 0 603570592 917434368 160890 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=895932 CPUtime=166.26 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 333538 0 0 0 16570 56 0 0 25 0 4 0 603570592 917434368 160890 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=895932 CPUtime=166.28 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 146941 0 0 0 16602 26 0 0 25 0 4 0 603570592 917434368 160890 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 664.19
Current children cumulated vsize (KiB) 895932

[startup+179.1 s]
/proc/loadavg: 7.97 6.02 6.18 9/184 7965
/proc/meminfo: memFree=26991080/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=896088 CPUtime=715.32 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1041719 0 0 0 71359 173 0 0 25 0 4 0 603570591 917594112 160614 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 224022 160614 395 112 0 218987 0
[pid=7896/tid=7897] ppid=7894 vsize=896088 CPUtime=178.08 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 157150 0 0 0 17781 27 0 0 25 0 4 0 603570592 917594112 160614 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=896088 CPUtime=179.06 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 333539 0 0 0 17850 56 0 0 25 0 4 0 603570592 917594112 160614 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476437 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=896088 CPUtime=179.08 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 146946 0 0 0 17882 26 0 0 25 0 4 0 603570592 917594112 160614 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 715.32
Current children cumulated vsize (KiB) 896088

[startup+185.5 s]
/proc/loadavg: 7.97 6.06 6.19 9/184 7965
/proc/meminfo: memFree=26985492/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=896088 CPUtime=740.89 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1042522 0 0 0 73916 173 0 0 25 0 4 0 603570591 917594112 160856 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 224022 160856 395 112 0 218987 0
[pid=7896/tid=7897] ppid=7894 vsize=896088 CPUtime=184.45 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 157711 0 0 0 18418 27 0 0 25 0 4 0 603570592 917594112 160856 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=896088 CPUtime=185.46 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 333779 0 0 0 18490 56 0 0 25 0 4 0 603570592 917594112 160856 33554432000 4194304 4650419 140736071596624 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=896088 CPUtime=185.48 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 146948 0 0 0 18522 26 0 0 25 0 4 0 603570592 917594112 160856 33554432000 4194304 4650419 140736071596624 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 740.89
Current children cumulated vsize (KiB) 896088

[startup+188.701 s]
/proc/loadavg: 7.98 6.09 6.19 9/184 7965
/proc/meminfo: memFree=26982020/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=896088 CPUtime=753.14 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1093138 0 0 0 75133 181 0 0 25 0 4 0 603570591 917594112 162144 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 224022 162144 395 112 0 218987 0
[pid=7896/tid=7897] ppid=7894 vsize=896088 CPUtime=187.63 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 207312 0 0 0 18729 34 0 0 25 0 4 0 603570592 917594112 162144 33554432000 4194304 4650419 140736071596624 18446744073709551615 4533853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=896088 CPUtime=188.66 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 334794 0 0 0 18810 56 0 0 25 0 4 0 603570592 917594112 162144 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556257988 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=896088 CPUtime=188.15 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 146948 0 0 0 18789 26 0 0 25 0 4 0 603570592 917594112 162144 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282420 0 0 4096 2 18446604471152761024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 753.14
Current children cumulated vsize (KiB) 896088

[startup+189.501 s]
/proc/loadavg: 7.98 6.09 6.19 8/184 7965
/proc/meminfo: memFree=26978424/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=896088 CPUtime=755.18 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1093432 0 0 0 75337 181 0 0 25 0 4 0 603570591 917594112 162438 33554432000 4194304 4650419 140736071596624 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 224022 162438 395 112 0 218987 0
[pid=7896/tid=7897] ppid=7894 vsize=896088 CPUtime=188.08 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 207606 0 0 0 18774 34 0 0 25 0 4 0 603570592 917594112 162438 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282420 0 0 4096 2 18446604471152761024 0 0 -1 3 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=896088 CPUtime=189.46 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 334794 0 0 0 18890 56 0 0 25 0 4 0 603570592 917594112 162438 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556257988 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=896088 CPUtime=188.15 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 146948 0 0 0 18789 26 0 0 25 0 4 0 603570592 917594112 162438 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282420 0 0 4096 2 18446604471152761024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 755.18
Current children cumulated vsize (KiB) 896088

[startup+190.306 s]
/proc/loadavg: 7.98 6.09 6.19 7/184 7965
/proc/meminfo: memFree=26978424/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=896088 CPUtime=756.8 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) R 7894 7896 7283 0 -1 4202496 1093436 0 0 0 75499 181 0 0 25 0 4 0 603570591 917594112 162442 33554432000 4194304 4650419 140736071596624 18446744073709551615 4306787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 224022 162442 395 112 0 218987 0
[pid=7896/tid=7897] ppid=7894 vsize=896088 CPUtime=188.08 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 207606 0 0 0 18774 34 0 0 25 0 4 0 603570592 917594112 162442 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282420 0 0 4096 2 18446604471152761024 0 0 -1 3 0 0 0
[pid=7896/tid=7898] ppid=7894 vsize=896088 CPUtime=190.26 cores=1,3,5,7
/proc/7896/task/7898/stat : 7898 (strangenight1-m) R 7894 7896 7283 0 -1 4202560 334794 0 0 0 18970 56 0 0 25 0 4 0 603570592 917594112 162442 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556257988 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7896/tid=7899] ppid=7894 vsize=896088 CPUtime=188.15 cores=1,3,5,7
/proc/7896/task/7899/stat : 7899 (strangenight1-m) S 7894 7896 7283 0 -1 4202560 146948 0 0 0 18789 26 0 0 25 0 4 0 603570592 917594112 162442 33554432000 4194304 4650419 140736071596624 18446744073709551615 46930556282420 0 0 4096 2 18446604471152761024 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 756.8
Current children cumulated vsize (KiB) 896088

[startup+190.7 s]
/proc/loadavg: 7.98 6.09 6.19 7/184 7965
/proc/meminfo: memFree=26978424/32950928 swapFree=67111356/67111528
[pid=7896] ppid=7894 vsize=0 CPUtime=757.55 cores=1,3,5,7
/proc/7896/stat : 7896 (strangenight1-m) Z 7894 7896 7283 0 -1 4203548 1093626 0 0 0 75572 183 0 0 25 0 2 0 603570591 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7896/statm: 0 0 0 0 0 0 0
[pid=7896/tid=7897] ppid=7894 vsize=0 CPUtime=188.11 cores=1,3,5,7
/proc/7896/task/7897/stat : 7897 (strangenight1-m) R 7894 7896 7283 0 -1 4203588 207606 0 0 0 18774 37 0 0 18 0 2 0 603570592 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 757.55
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 190.709
CPU time (s): 757.573
CPU user time (s): 755.729
CPU system time (s): 1.84372
CPU usage (%): 397.241
Max. virtual memory (cumulated for all children) (KiB): 943236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 755.729
system time used= 1.84372
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1093626
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= 6198
involuntary context switches= 3790

runsolver used 0.276957 second user time and 0.771882 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 05:16:39
IDJOB=3290624
IDBENCH=83443
IDSOLVER=1588
FILE ID=node114/3290624-1304133399
RUNJOBID= node114-1304133399-7874
PBS_JOBID= 13170787
Free space on /tmp= 73380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F19.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290624-1304133399/watcher-3290624-1304133399 -o /tmp/evaluation-result-3290624-1304133399/solver-3290624-1304133399 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3290624-1304133399.cnf

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1825203221

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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.848
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:     32950928 kB
MemFree:      29434576 kB
Buffers:       1086136 kB
Cached:        1821148 kB
SwapCached:        168 kB
Active:         222960 kB
Inactive:      2788152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29434576 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           25652 kB
Writeback:           0 kB
AnonPages:      103576 kB
Mapped:          15268 kB
Slab:           441408 kB
PageTables:       5120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   291088 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73312 MiB
End job on node114 at 2011-04-30 05:19:50