Trace number 3290622

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtSAT 463.11 121.377

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3290622-1304124428.cnf'
0.00/0.00	c -- header says num vars:           9044
0.00/0.00	c -- header says num clauses:      295685
0.38/0.39	c -- clauses added:            0 learnts,       295685 normals,            0 xors
0.38/0.39	c -- vars added       9044
0.38/0.39	c Parsing time:  0.13 s
0.38/0.39	c  N st     0         0      9044    272212     23233         0   2134664         0   no data   no data
0.38/0.39	c asymm  cl-useful: 0/2700/272098 lits-rem:0 time: 0.22
4.40/1.12	c Flit:    19 Blit:      0 bXBeca:    0 bXProp:   76 Bins:      0 BRemL:      0 BRemN:      0 P: 30.3M T:  0.73
4.78/1.21	c Replacing       76 vars Replaced   189870 lits Time:     0.09 s 
5.09/1.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.09/1.34	c bin-w-bin subsume rem          146 bins  time:  0.00 s
5.61/1.46	c subs with bin:     2352  lits-rem:         4  v-fix:    0  time:  0.12 s
5.61/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   6171 time:  0.02 s
5.61/1.49	c Removed useless bin:       0  fixed:     0  props:   1.73M  time:  0.01 s
33.03/8.34	c lits-rem:         0  cl-subs:        4  v-elim:    816  v-fix:    0  time:  6.83 s
33.03/8.35	c Finding binary XORs  T:     0.01 s  found:       0
37.01/9.31	c Finding non-binary XORs:     0.95 s (found:       0, avg size: nan)
37.01/9.31	c calculated reachability. Time: 0.00
37.01/9.32	c Calc default polars -  time:   0.01 s pos:     330 undec:    1037 neg:    7677
37.01/9.32	c =========================================================================================
37.01/9.32	c types(t): F = full restart, N = normal restart
37.01/9.32	c types(t): S = simplification begin/end, E = solution found
37.01/9.32	c restart types(rt): st = static, dy = dynamic
37.01/9.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
37.01/9.32	c  B st     0         0      8007    270795     20413         0   2124244         0   no data   no data
39.40/9.93	c  N dy    19      4038      8007    270795     20547      3861   2124244    138229      9.31      9.95
41.00/10.34	c  N dy    38      8173      8002    270795     21524      7822   2124244    275195      9.44      9.98
42.60/10.77	c  N dy    56     12348      8002    270795     21606     11875   2124244    439597      9.16      9.77
44.20/11.15	c Finding binary XORs  T:     0.01 s  found:       0
45.39/11.43	c  N dy    77     16392      8002    270792     21798     15794   2124117    590335      9.11     10.10
47.39/11.99	c  N dy   104     20479      8002    270792     22149     10094   2124117    198729      9.28      9.84
49.79/12.53	c  N dy   128     24492      8000    270792     22208     14020   2124117    351175      9.38     12.34
50.19/12.61	c  F st   132     25001      7999    270792     22302     14514   2124117    369807      9.40      8.58
53.78/13.51	c  N dy   138     30000      7998    270789     22343     19411   2124086    624943      9.40   no data
53.78/13.51	c  S st   138     30000      7998    270789     22343     19411   2124086    624943      9.40   no data
54.58/13.80	c  S st   138     30501      7998    270789     22382     19872   2124086    639134      9.40   no data
55.00/13.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
62.96/15.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 328994 BRemL: 304398 BRemN:      0 P: 50.4M T:  2.00
62.96/15.89	c blocked clauses removed:        0 vars:      0 tried:        7998 T: 0.00 s
63.37/15.90	c bin-w-bin subsume rem           31 bins  time:  0.00 s
63.78/16.02	c subs with bin:     1873  lits-rem:      2341  v-fix:    0  time:  0.12 s
63.78/16.04	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:    633 time:  0.02 s
63.78/16.05	c Removed useless bin:       0  fixed:     0  props:   0.86M  time:  0.01 s
85.74/21.52	c lits-rem:         0  cl-subs:     2428  v-elim:     98  v-fix:    0  time:  5.46 s
86.52/21.77	c subs with bin:       52  lits-rem:      7234  v-fix:    0  time:  0.23 s
105.29/26.41	c lits-rem:        58  cl-subs:      669  v-elim:      0  v-fix:    0  time:  4.58 s
106.49/26.71	c asymm  cl-useful: 0/3064/266683 lits-rem:0 time: 0.30
106.49/26.73	c calculated reachability. Time: 0.00
106.49/26.73	c  N dy   138     30501      7900    266683     45678     13806   2094353    377181      9.40   no data
106.49/26.74	c Finding binary XORs  T:     0.01 s  found:       0
108.89/27.37	c Finding binary XORs  T:     0.01 s  found:       1
110.49/27.79	c  N dy   159     34634      7886    266084    363506     17881   2090365   1183779      9.33      9.87
114.48/28.73	c  N dy   186     38701      7885    266084    365216     21928   2090365   1334890      9.39     13.68
116.90/29.35	c  N dy   202     42702      7885    266084    365218     13439   2090365    921523      9.32      9.85
118.87/29.82	c  S st   225     45751      7885    266084    365222     16454   2090365   1022257      9.39   no data
119.67/30.05	c  S st   225     46256      7885    266084    365222     16956   2090365   1044335      9.39   no data
119.67/30.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
126.06/31.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    418 BRemL: 316044 BRemN:      0 P: 47.1M T:  1.62
126.46/31.71	c Replacing        1 vars Replaced      284 lits Time:     0.03 s 
126.46/31.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126.46/31.78	c bin-w-bin subsume rem         1755 bins  time:  0.01 s
126.46/31.80	c subs with bin:       20  lits-rem:       215  v-fix:    0  time:  0.02 s
126.86/31.81	c Subs w/ non-existent bins:      0 l-rem:     14 v-fix:     0 done:   1203 time:  0.02 s
126.86/31.82	c Removed useless bin:       0  fixed:     0  props:   0.82M  time:  0.01 s
159.61/40.05	c lits-rem:         0  cl-subs:      205  v-elim:      2  v-fix:    0  time:  8.22 s
160.83/40.31	c subs with bin:       45  lits-rem:       211  v-fix:    0  time:  0.24 s
185.18/46.49	c lits-rem:        19  cl-subs:      316  v-elim:      0  v-fix:    0  time:  6.13 s
185.98/46.60	c vivif2 --  cl tried   265856 cl shrink       61 lits rem         61 time: 0.11
185.98/46.62	c vivif2 --  cl tried    16297 cl shrink      753 lits rem       2764 time: 0.02
187.58/47.03	c asymm  cl-useful: 7/4141/265856 lits-rem:7 time: 0.40
187.58/47.04	c calculated reachability. Time: 0.01
187.58/47.05	c  N dy   225     46256      7882    265856     47812     16297   2088870    388303      9.39   no data
189.58/47.51	c Finding binary XORs  T:     0.01 s  found:       0
191.19/48.00	c  N dy   238     50285      7880    265856     48516     20292   2088870    615525      9.28     10.46
194.77/48.83	c  N dy   263     54477      7879    265856     48517     24458   2088870    794139      9.26      9.79
197.96/49.69	c  N dy   290     58505      7879    265856     48615     28460   2088870    952282      9.30      9.85
200.76/50.38	c  N dy   311     62540      7879    265856     48617     32461   2088870   1114596      9.30     14.40
203.56/51.07	c  N dy   331     66603      7879    265856     48617     19507   2088870    450515      9.31      9.95
205.55/51.57	c  S st   351     69386      7879    265856     48935     22273   2088870    559998      9.34      8.72
206.74/51.86	c  S st   351     69888      7879    265856     48935     22775   2088870    575284      9.34   no data
206.74/51.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
213.16/53.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    985 BRemL:   3242 BRemN:      0 P: 47.8M T:  1.54
213.16/53.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.16/53.50	c bin-w-bin subsume rem            7 bins  time:  0.01 s
213.56/53.52	c subs with bin:       19  lits-rem:        19  v-fix:    0  time:  0.02 s
213.56/53.54	c Subs w/ non-existent bins:      0 l-rem:     15 v-fix:     0 done:    456 time:  0.02 s
213.56/53.55	c Removed useless bin:       0  fixed:     0  props:   0.76M  time:  0.01 s
243.91/61.13	c lits-rem:         0  cl-subs:       39  v-elim:      9  v-fix:    0  time:  7.58 s
245.49/61.54	c subs with bin:       58  lits-rem:       589  v-fix:    0  time:  0.40 s
267.06/66.94	c lits-rem:        33  cl-subs:      416  v-elim:      0  v-fix:    0  time:  5.35 s
267.46/67.05	c vivif2 --  cl tried   265816 cl shrink        0 lits rem          0 time: 0.11
267.46/67.07	c vivif2 --  cl tried    21059 cl shrink     1093 lits rem       6186 time: 0.03
268.66/67.38	c asymm  cl-useful: 4/2648/265816 lits-rem:4 time: 0.31
269.06/67.40	c calculated reachability. Time: 0.00
269.06/67.40	c  N dy   351     69888      7870    265816     46505     21059   2088290    495200      9.34   no data
269.06/67.41	c Finding binary XORs  T:     0.01 s  found:       0
273.46/68.55	c  N dy   358     76037      7870    265816     46507     27140   2088290   1102497      9.19      9.84
277.46/69.55	c  N dy   384     80897      7867    265816     47682     31933   2088290   1452047      9.20      9.69
283.46/71.05	c  N dy   420     87001      7867    265816     48006     38012   2088290   1911169      9.24      9.84
283.86/71.16	c  F st   423     87500      7867    265816     48007     38509   2088290   1943197      9.24      8.96
284.24/71.26	c Finding binary XORs  T:     0.01 s  found:       0
287.44/72.08	c  N dy   429     92693      7867    265814     47914     24234   2088222    732411      9.24   no data
293.02/73.48	c  N dy   461     98707      7867    265814     47916     30212   2088222   1041445      9.25      9.82
297.83/74.64	c  S st   503    104834      7867    265814     47927     36290   2088222   1299845      9.29   no data
298.63/74.88	c  S st   503    105334      7867    265814     47927     36789   2088222   1323245      9.29   no data
299.03/74.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
305.43/76.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    881 BRemL:   1114 BRemN:      0 P: 50.6M T:  1.61
305.43/76.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
305.43/76.58	c bin-w-bin subsume rem           54 bins  time:  0.01 s
305.43/76.60	c subs with bin:       17  lits-rem:        23  v-fix:    0  time:  0.02 s
305.83/76.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3479 time:  0.02 s
305.83/76.63	c Removed useless bin:       0  fixed:     0  props:   0.71M  time:  0.01 s
338.56/84.83	c lits-rem:         0  cl-subs:       34  v-elim:      5  v-fix:    0  time:  8.21 s
344.98/86.43	c subs with bin:       72  lits-rem:       952  v-fix:    0  time:  1.54 s
377.71/94.68	c lits-rem:        22  cl-subs:      787  v-elim:      0  v-fix:    0  time:  8.21 s
378.11/94.78	c vivif2 --  cl tried   265772 cl shrink        0 lits rem          0 time: 0.10
378.51/94.85	c vivif2 --  cl tried    34738 cl shrink     3123 lits rem      25640 time: 0.07
379.71/95.10	c asymm  cl-useful: 0/388/265772 lits-rem:0 time: 0.25
379.71/95.12	c calculated reachability. Time: 0.00
379.71/95.12	c  N dy   503    105334      7862    265772     47483     34738   2087639   1210706      9.29   no data
383.30/96.03	c Finding binary XORs  T:     0.01 s  found:       0
385.30/96.58	c  N dy   536    112097      7862    265772     47885     41474   2087639   1603787      9.30     10.83
391.29/98.08	c  N dy   565    119780      7862    265772     48329     28200   2087639    882875      9.28      9.79
397.70/99.66	c  N dy   609    127517      7862    265772     48979     35874   2087639   1351359      9.30      9.93
402.87/100.94	c Finding binary XORs  T:     0.01 s  found:       0
405.27/101.58	c  N dy   660    135798      7862    265772     48986     44084   2087639   1831859      9.35     10.07
412.87/103.42	c  N dy   707    145349      7862    265772     48994     30710   2087639    835136      9.39      9.93
420.45/105.39	c  N dy   754    154656      7862    265772     49541     39938   2087639   1297715      9.40      9.91
422.85/105.99	c  S st   776    158001      7862    265772     49541     43251   2087639   1464949      9.41      7.78
424.06/106.25	c  S st   776    158504      7862    265772     49549     43754   2087639   1485552      9.41   no data
424.06/106.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
429.34/107.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1046 BRemL:   1591 BRemN:      0 P: 51.6M T:  1.62
429.64/107.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
429.64/107.95	c bin-w-bin subsume rem           35 bins  time:  0.01 s
429.64/107.97	c subs with bin:        1  lits-rem:         4  v-fix:    0  time:  0.02 s
429.64/107.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1263 time:  0.02 s
429.94/108.00	c Removed useless bin:       0  fixed:     0  props:   0.68M  time:  0.01 s
449.14/114.47	c lits-rem:         0  cl-subs:        0  v-elim:      4  v-fix:    0  time:  6.46 s
452.17/115.97	c subs with bin:      428  lits-rem:       642  v-fix:    0  time:  1.46 s
462.18/120.94	c lits-rem:       260  cl-subs:     1373  v-elim:      0  v-fix:    0  time:  4.92 s
462.38/121.04	c vivif2 --  cl tried   265779 cl shrink        4 lits rem          4 time: 0.10
462.58/121.12	c vivif2 --  cl tried    40647 cl shrink     4210 lits rem      35526 time: 0.08
462.98/121.32	c asymm  cl-useful: 0/349/265779 lits-rem:0 time: 0.20
462.98/121.34	c calculated reachability. Time: 0.00
462.98/121.34	c  N dy   776    158504      7858    265779     48915     40643   2087779   1340170      9.41   no data
462.98/121.34	c Following stats are for *FIRST FINISHED THREAD ONLY*
462.98/121.34	c num threads              : 4          
462.98/121.34	c restarts                 : 1104       
462.98/121.34	c dynamic restarts         : 1080       
462.98/121.34	c static restarts          : 24         
462.98/121.34	c full restarts            : 3          
462.98/121.34	c total simplify time      : 0.22       
462.98/121.34	c learnts DL2              : 0          
462.98/121.34	c learnts size 2           : 794598     
462.98/121.34	c learnts size 1           : 178         (1.97      % of vars)
462.98/121.34	c filedLit time            : 5.75        (4.75      % time)
462.98/121.34	c v-elim SatELite          : 921         (10.18     % vars)
462.98/121.34	c SatELite time            : 27.01       (22.29     % time)
462.98/121.34	c v-elim xor               : 0           (0.00      % vars)
462.98/121.34	c xor elim time            : 0.04        (0.03      % time)
462.98/121.34	c num binary xor trees     : 77         
462.98/121.34	c binxor trees' crown      : 80          (1.04      leafs/tree)
462.98/121.34	c bin xor find time        : 0.10       
462.98/121.34	c OTF clause improved      : 2047        (0.01      clauses/conflict)
462.98/121.34	c OTF impr. size diff      : 2564        (1.25       lits/clause)
462.98/121.34	c OTF cl watch-shrink      : 205968      (0.66      clauses/conflict)
462.98/121.34	c OTF cl watch-sh-lit      : 1065160     (5.17       lits/clause)
462.98/121.34	c tried to recurMin cls    : 141186      (45.38      % of conflicts)
462.98/121.34	c updated cache            : 9316        (0.07       lits/tried recurMin)
462.98/121.34	c unit cls recevied        : 9           (5.06      % of units)
462.98/121.34	c unit cls sent            : 150         (84.27     % of units)
462.98/121.34	c bin cls recevied         : 335233     
462.98/121.34	c bin cls sent             : 433629     
462.98/121.34	c clauses over max glue    : 0           (0.00      % of all clauses)
462.98/121.34	c conflicts                : 311148      (2568.49   / sec)
462.98/121.34	c decisions                : 703663      (2.26      % random)
462.98/121.34	c bogo-props               : 4809350191  (39700569.97 / sec)
462.98/121.34	c conflict literals        : 14397344    (27.20     % deleted)
462.98/121.34	c Memory used              : 760.62      MB
462.98/121.34	c single-thread CPU time   : 121.14      s
462.98/121.34	c all-threads sum CPU time : 462.39      s
462.98/121.34	s SATISFIABLE
462.98/121.34	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-3290622-1304124428/watcher-3290622-1304124428 -o /tmp/evaluation-result-3290622-1304124428/solver-3290622-1304124428 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290622-1304124428.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 602673509 52441088 348 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641964 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 12803 348 299 106 0 7774 0
[pid=28035/tid=28036] ppid=28033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 602673509 52441088 348 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602673509 52441088 348 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641970 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 602673509 52441088 348 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0431221 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=289292 CPUtime=0.13 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 7074 0 0 0 12 1 0 0 18 0 4 0 602673509 296235008 6599 33554432000 4194304 4627427 140733960769040 18446744073709551615 216734875403 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 72323 6620 341 106 0 67294 0
[pid=28035/tid=28036] ppid=28033 vsize=289292 CPUtime=0.02 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 1736 0 0 0 2 0 0 0 18 0 4 0 602673509 296235008 6620 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=289292 CPUtime=0.02 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 1672 0 0 0 2 0 0 0 18 0 4 0 602673509 296235008 6628 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=289588 CPUtime=0.02 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 1627 0 0 0 2 0 0 0 18 0 4 0 602673509 296538112 6639 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 289292

[startup+0.108947 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=303080 CPUtime=0.38 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) S 28033 28035 27450 0 -1 4202496 18466 0 0 0 34 4 0 0 18 0 4 0 602673509 310353920 17469 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 75770 17482 341 106 0 70741 0
[pid=28035/tid=28036] ppid=28033 vsize=303080 CPUtime=0.09 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 4592 0 0 0 8 1 0 0 18 0 4 0 602673509 310353920 17492 33554432000 4194304 4627427 140733960769040 18446744073709551615 4530752 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=303080 CPUtime=0.09 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 4534 0 0 0 8 1 0 0 18 0 4 0 602673509 310353920 17501 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=303232 CPUtime=0.09 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 4499 0 0 0 8 1 0 0 18 0 4 0 602673509 310509568 17768 33554432000 4194304 4627427 140733960769040 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 303080

[startup+0.389226 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=440444 CPUtime=1.52 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 26987 0 0 0 146 6 0 0 18 0 4 0 602673509 451014656 25987 33554432000 4194304 4627427 140733960769040 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 110218 26290 367 106 0 105189 0
[pid=28035/tid=28036] ppid=28033 vsize=440872 CPUtime=0.37 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 6607 0 0 0 36 1 0 0 18 0 4 0 602673509 451452928 26396 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=441864 CPUtime=0.38 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 6973 0 0 0 37 1 0 0 18 0 4 0 602673509 452468736 27225 33554432000 4194304 4627427 140733960769040 18446744073709551615 216735283694 0 0 4096 2 18446604453895837568 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=443300 CPUtime=0.44 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 7370 0 0 0 43 1 0 0 18 0 4 0 602673509 453939200 28615 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 440444

[startup+1.01283 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=447960 CPUtime=4 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 34752 0 0 0 392 8 0 0 19 0 4 0 602673509 458711040 33752 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 111990 33752 368 106 0 106961 0
[pid=28035/tid=28036] ppid=28033 vsize=447960 CPUtime=0.99 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 8788 0 0 0 97 2 0 0 19 0 4 0 602673509 458711040 33752 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=447960 CPUtime=0.99 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 8906 0 0 0 97 2 0 0 19 0 4 0 602673509 458711040 33752 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=447960 CPUtime=0.99 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 8107 0 0 0 98 1 0 0 19 0 4 0 602673509 458711040 33752 33554432000 4194304 4627427 140733960769040 18446744073709551615 4327381 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 447960

[startup+1.50075 s]
/proc/loadavg: 7.37 7.93 7.96 5/180 28035
/proc/meminfo: memFree=24284964/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=502016 CPUtime=5.88 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 73685 0 0 0 570 18 0 0 18 0 4 0 602673509 514064384 72536 33554432000 4194304 4627427 140733960769040 18446744073709551615 4431969 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 125504 72543 381 106 0 120475 0
[pid=28035/tid=28036] ppid=28033 vsize=502016 CPUtime=1.45 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 20970 0 0 0 140 5 0 0 18 0 4 0 602673509 514064384 72548 33554432000 4194304 4627427 140733960769040 18446744073709551615 4300413 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=502016 CPUtime=1.46 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 21384 0 0 0 141 5 0 0 18 0 4 0 602673509 514064384 72553 33554432000 4194304 4627427 140733960769040 18446744073709551615 4300151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=502016 CPUtime=1.47 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 8433 0 0 0 146 1 0 0 18 0 4 0 602673509 514064384 72559 33554432000 4194304 4627427 140733960769040 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 502016

[startup+3.10048 s]
/proc/loadavg: 7.42 7.93 7.96 9/184 28039
/proc/meminfo: memFree=23937088/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=523720 CPUtime=12.25 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 79142 0 0 0 1205 20 0 0 20 0 4 0 602673509 536289280 77691 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 130930 77691 381 106 0 125901 0
[pid=28035/tid=28036] ppid=28033 vsize=523720 CPUtime=3.04 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 22897 0 0 0 299 5 0 0 20 0 4 0 602673509 536289280 77691 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467847 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=523720 CPUtime=3.04 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 23341 0 0 0 298 6 0 0 20 0 4 0 602673509 536289280 77691 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=523720 CPUtime=3.07 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 8881 0 0 0 305 2 0 0 20 0 4 0 602673509 536289280 77691 33554432000 4194304 4627427 140733960769040 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 523720

[startup+6.30092 s]
/proc/loadavg: 7.42 7.93 7.96 9/184 28040
/proc/meminfo: memFree=23897912/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=523720 CPUtime=25.03 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 79924 0 0 0 2483 20 0 0 25 0 4 0 602673509 536289280 78473 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 130930 78473 383 106 0 125901 0
[pid=28035/tid=28036] ppid=28033 vsize=523720 CPUtime=6.24 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 22897 0 0 0 619 5 0 0 25 0 4 0 602673509 536289280 78473 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=523720 CPUtime=6.23 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 23341 0 0 0 617 6 0 0 25 0 4 0 602673509 536289280 78473 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=523720 CPUtime=6.27 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 9663 0 0 0 624 3 0 0 25 0 4 0 602673509 536289280 78473 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 523720

[startup+12.7008 s]
/proc/loadavg: 7.51 7.94 7.96 9/184 28070
/proc/meminfo: memFree=23890824/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=494960 CPUtime=50.61 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 96601 0 0 0 5035 26 0 0 25 0 4 0 602673509 506839040 80892 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 123740 80892 391 106 0 118711 0
[pid=28035/tid=28036] ppid=28033 vsize=494960 CPUtime=12.62 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 25990 0 0 0 1255 7 0 0 25 0 4 0 602673509 506839040 80892 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=494960 CPUtime=12.62 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 26754 0 0 0 1255 7 0 0 25 0 4 0 602673509 506839040 80892 33554432000 4194304 4627427 140733960769040 18446744073709551615 4222672 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=494960 CPUtime=12.68 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 16438 0 0 0 1263 5 0 0 25 0 4 0 602673509 506839040 80892 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 494960

[startup+25.5006 s]
/proc/loadavg: 7.66 7.95 7.96 9/184 28100
/proc/meminfo: memFree=23690456/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=759216 CPUtime=101.7 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 143965 0 0 0 10134 36 0 0 25 0 4 0 602673509 777437184 115744 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467868 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 189804 115744 391 106 0 184775 0
[pid=28035/tid=28036] ppid=28033 vsize=759216 CPUtime=25.34 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 33626 0 0 0 2526 8 0 0 25 0 4 0 602673509 777437184 115744 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=759216 CPUtime=25.4 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 36324 0 0 0 2530 10 0 0 25 0 4 0 602673509 777437184 115744 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=759216 CPUtime=25.46 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 38353 0 0 0 2538 8 0 0 25 0 4 0 602673509 777437184 115744 33554432000 4194304 4627427 140733960769040 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 759216

[startup+51.1011 s]
/proc/loadavg: 7.78 7.96 7.96 9/184 28101
/proc/meminfo: memFree=23523760/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=729240 CPUtime=203.96 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 178275 0 0 0 20351 45 0 0 25 0 4 0 602673509 746741760 123527 33554432000 4194304 4627427 140733960769040 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 182310 123527 391 106 0 177281 0
[pid=28035/tid=28036] ppid=28033 vsize=729240 CPUtime=50.8 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 40280 0 0 0 5070 10 0 0 25 0 4 0 602673509 746741760 123528 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309043 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=729240 CPUtime=51 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 45074 0 0 0 5088 12 0 0 25 0 4 0 602673509 746741760 123528 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=729240 CPUtime=51.06 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 49749 0 0 0 5095 11 0 0 25 0 4 0 602673509 746741760 123528 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 729240

[startup+102.301 s]
/proc/loadavg: 7.96 7.98 7.97 9/184 28102
/proc/meminfo: memFree=23292312/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=813104 CPUtime=408.46 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 249025 0 0 0 40781 65 0 0 25 0 4 0 602673509 832618496 144217 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 203276 144217 391 106 0 198247 0
[pid=28035/tid=28036] ppid=28033 vsize=813104 CPUtime=101.71 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 62485 0 0 0 10155 16 0 0 25 0 4 0 602673509 832618496 144217 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=813104 CPUtime=102.2 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 57779 0 0 0 10204 16 0 0 25 0 4 0 602673509 832618496 144217 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=813104 CPUtime=102.27 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 67507 0 0 0 10210 17 0 0 25 0 4 0 602673509 832618496 144217 33554432000 4194304 4627427 140733960769040 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 813104

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

[startup+103.006 s]
/proc/loadavg: 7.96 7.98 7.97 9/184 28102
/proc/meminfo: memFree=23285864/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=813104 CPUtime=411.29 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 249459 0 0 0 41063 66 0 0 25 0 4 0 602673509 832618496 144651 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 203276 144651 391 106 0 198247 0
[pid=28035/tid=28036] ppid=28033 vsize=813104 CPUtime=102.41 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 62485 0 0 0 10225 16 0 0 25 0 4 0 602673509 832618496 144651 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=813104 CPUtime=102.91 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 57779 0 0 0 10275 16 0 0 25 0 4 0 602673509 832618496 144651 33554432000 4194304 4627427 140733960769040 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=813104 CPUtime=102.97 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 67753 0 0 0 10280 17 0 0 25 0 4 0 602673509 832618496 144651 33554432000 4194304 4627427 140733960769040 18446744073709551615 4297720 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 411.29
Current children cumulated vsize (KiB) 813104

[startup+109.401 s]
/proc/loadavg: 7.88 7.96 7.96 8/184 28102
/proc/meminfo: memFree=23315368/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=434.14 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 256788 0 0 0 43347 67 0 0 25 0 4 0 602673509 797564928 146348 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 146348 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=108.79 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 62488 0 0 0 10863 16 0 0 25 0 4 0 602673509 797564928 146348 33554432000 4194304 4627427 140733960769040 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 146348 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=109.36 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 10919 17 0 0 25 0 4 0 602673509 797564928 146348 33554432000 4194304 4627427 140733960769040 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 434.14
Current children cumulated vsize (KiB) 778872

[startup+115.801 s]
/proc/loadavg: 7.81 7.94 7.96 7/184 28102
/proc/meminfo: memFree=23296888/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=451.97 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 258146 0 0 0 45130 67 0 0 25 0 4 0 602673509 797564928 145804 33554432000 4194304 4627427 140733960769040 18446744073709551615 4424704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 145804 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 145804 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 145804 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=115.76 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 11559 17 0 0 25 0 4 0 602673509 797564928 145804 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617156 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 451.97
Current children cumulated vsize (KiB) 778872

[startup+119 s]
/proc/loadavg: 7.67 7.91 7.95 7/184 28102
/proc/meminfo: memFree=23309284/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=458.38 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 260174 0 0 0 45770 68 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 147822 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=118.96 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 11879 17 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617156 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 458.38
Current children cumulated vsize (KiB) 778872

[startup+120.606 s]
/proc/loadavg: 7.67 7.91 7.95 7/184 28102
/proc/meminfo: memFree=23346852/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=461.59 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 260174 0 0 0 46091 68 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 147822 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=120.57 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 12040 17 0 0 25 0 4 0 602673509 797564928 147822 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617003 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 461.59
Current children cumulated vsize (KiB) 778872

[startup+121.001 s]
/proc/loadavg: 7.67 7.91 7.95 7/184 28102
/proc/meminfo: memFree=23346852/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=462.38 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 260174 0 0 0 46170 68 0 0 25 0 4 0 602673509 797564928 146145 33554432000 4194304 4627427 140733960769040 18446744073709551615 4520569 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 146145 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 146145 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 146145 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=120.96 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 12079 17 0 0 25 0 4 0 602673509 797564928 146145 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617003 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 462.38
Current children cumulated vsize (KiB) 778872

[startup+121.201 s]
/proc/loadavg: 7.67 7.91 7.95 7/184 28102
/proc/meminfo: memFree=23346852/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=462.78 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 260516 0 0 0 46210 68 0 0 25 0 4 0 602673509 797564928 146487 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 146487 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 146487 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 146487 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=121.16 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 12099 17 0 0 25 0 4 0 602673509 797564928 146487 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617003 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 462.78
Current children cumulated vsize (KiB) 778872

[startup+121.301 s]
/proc/loadavg: 7.67 7.91 7.95 7/184 28102
/proc/meminfo: memFree=23346852/32951124 swapFree=67102140/67111528
[pid=28035] ppid=28033 vsize=778872 CPUtime=462.98 cores=0,2,4,6
/proc/28035/stat : 28035 (strangenight2-m) R 28033 28035 27450 0 -1 4202496 260517 0 0 0 46230 68 0 0 25 0 4 0 602673509 797564928 146488 33554432000 4194304 4627427 140733960769040 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28035/statm: 194718 146488 391 106 0 189689 0
[pid=28035/tid=28036] ppid=28033 vsize=778872 CPUtime=113.82 cores=0,2,4,6
/proc/28035/task/28036/stat : 28036 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 62553 0 0 0 11366 16 0 0 25 0 4 0 602673509 797564928 146488 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28037] ppid=28033 vsize=778872 CPUtime=106.6 cores=0,2,4,6
/proc/28035/task/28037/stat : 28037 (strangenight2-m) S 28033 28035 27450 0 -1 4202560 58033 0 0 0 10644 16 0 0 25 0 4 0 602673509 797564928 146488 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288641588 0 0 4096 2 18446604453895837568 0 0 -1 2 0 0 0
[pid=28035/tid=28038] ppid=28033 vsize=778872 CPUtime=121.26 cores=0,2,4,6
/proc/28035/task/28038/stat : 28038 (strangenight2-m) R 28033 28035 27450 0 -1 4202560 72041 0 0 0 12109 17 0 0 25 0 4 0 602673509 797564928 146488 33554432000 4194304 4627427 140733960769040 18446744073709551615 47594288617156 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 462.98
Current children cumulated vsize (KiB) 778872

Child status: 10
Real time (s): 121.377
CPU time (s): 463.11
CPU user time (s): 462.398
CPU system time (s): 0.711891
CPU usage (%): 381.546
Max. virtual memory (cumulated for all children) (KiB): 882852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 462.398
system time used= 0.711891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260525
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= 12816
involuntary context switches= 2390

runsolver used 0.182972 second user time and 0.483926 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-30 02:47:09
IDJOB=3290622
IDBENCH=83443
IDSOLVER=1586
FILE ID=node119/3290622-1304124428
RUNJOBID= node119-1304123222-27885
PBS_JOBID= 13170728
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= 724ced5489ef7e836f9b05218003acd5
RANDOM SEED=1202496362

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24285244 kB
Buffers:       1916304 kB
Cached:        6049772 kB
SwapCached:       3688 kB
Active:         275536 kB
Inactive:      7826840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24285244 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           23860 kB
Writeback:           4 kB
AnonPages:      135520 kB
Mapped:          14964 kB
Slab:           499852 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   353888 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= 71788 MiB
End job on node119 at 2011-04-30 02:49:10