Trace number 3290807

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-Night2-stSAT 638.608 638.606

General information on the benchmark

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

Solver Data

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

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290807-1303782454/watcher-3290807-1303782454 -o /tmp/evaluation-result-3290807-1303782454/solver-3290807-1303782454 -C 2400 -W 1300 -M 7680 ./strangenight2-st HOME/instance-3290807-1303782454.cnf 

running on 2 cores: 0,2

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


[startup+0 s]
/proc/loadavg: 3.98 3.44 3.02 4/189 6604
/proc/meminfo: memFree=19966048/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=30216 CPUtime=0 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 849 0 0 0 0 0 0 0 22 0 1 0 489843467 30941184 788 33554432000 4194304 4627331 140734610237632 18446744073709551615 4360952 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 7554 789 320 106 0 2525 0

[startup+0.044158 s]
/proc/loadavg: 3.98 3.44 3.02 4/189 6604
/proc/meminfo: memFree=19966048/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=30916 CPUtime=0.03 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 1725 0 0 0 3 0 0 0 23 0 1 0 489843467 31657984 1664 33554432000 4194304 4627331 140734610237632 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 7729 1665 324 106 0 2700 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 30916

[startup+0.101167 s]
/proc/loadavg: 3.98 3.44 3.02 4/189 6604
/proc/meminfo: memFree=19966048/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=38500 CPUtime=0.08 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 4600 0 0 0 8 0 0 0 23 0 1 0 489843467 39424000 4304 33554432000 4194304 4627331 140734610237632 18446744073709551615 4507164 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 9625 4307 324 106 0 4596 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 38500

[startup+0.301136 s]
/proc/loadavg: 3.98 3.44 3.02 4/189 6604
/proc/meminfo: memFree=19966048/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=82840 CPUtime=0.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 10939 0 0 0 27 2 0 0 23 0 1 0 489843467 84828160 10643 33554432000 4194304 4627331 140734610237632 18446744073709551615 4519384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 20710 10643 341 106 0 15681 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82840

[startup+0.701074 s]
/proc/loadavg: 3.98 3.44 3.02 4/189 6604
/proc/meminfo: memFree=19966048/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=93656 CPUtime=0.69 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 13356 0 0 0 67 2 0 0 25 0 1 0 489843467 95903744 13060 33554432000 4194304 4627331 140734610237632 18446744073709551615 4309113 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 23414 13060 346 106 0 18385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 93656

[startup+1.50091 s]
/proc/loadavg: 3.98 3.44 3.02 5/190 6605
/proc/meminfo: memFree=19909624/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=99848 CPUtime=1.49 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 14852 0 0 0 147 2 0 0 25 0 1 0 489843467 102244352 14556 33554432000 4194304 4627331 140734610237632 18446744073709551615 4308922 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 24962 14556 346 106 0 19933 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99848

[startup+3.10061 s]
/proc/loadavg: 3.98 3.44 3.02 5/190 6605
/proc/meminfo: memFree=19835844/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=202992 CPUtime=3.08 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 39092 0 0 0 303 5 0 0 25 0 1 0 489843467 207863808 38796 33554432000 4194304 4627331 140734610237632 18446744073709551615 4420147 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 50748 38796 358 106 0 45719 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202992

[startup+6.30107 s]
/proc/loadavg: 3.98 3.45 3.03 5/190 6605
/proc/meminfo: memFree=19804224/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=214832 CPUtime=6.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 41889 0 0 0 623 6 0 0 25 0 1 0 489843467 219987968 41593 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 53708 41593 363 106 0 48679 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 214832

[startup+12.7009 s]
/proc/loadavg: 3.98 3.46 3.03 5/190 6605
/proc/meminfo: memFree=19805856/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=214832 CPUtime=12.69 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 41889 0 0 0 1263 6 0 0 25 0 1 0 489843467 219987968 41593 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467736 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 53708 41593 363 106 0 48679 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 214832

[startup+25.5007 s]
/proc/loadavg: 3.99 3.48 3.05 5/190 6605
/proc/meminfo: memFree=19806092/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=214832 CPUtime=25.49 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 41889 0 0 0 2543 6 0 0 25 0 1 0 489843467 219987968 41593 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467800 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 53708 41593 363 106 0 48679 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 214832

[startup+51.1012 s]
/proc/loadavg: 3.99 3.52 3.07 5/190 6606
/proc/meminfo: memFree=19767084/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=239644 CPUtime=51.08 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 49578 0 0 0 5101 7 0 0 25 0 1 0 489843467 245395456 46700 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 59911 46700 379 106 0 54882 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 239644

[startup+102.307 s]
/proc/loadavg: 3.99 3.60 3.12 5/190 6607
/proc/meminfo: memFree=19766384/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=244888 CPUtime=102.3 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 56891 0 0 0 10221 9 0 0 25 0 1 0 489843467 250765312 48742 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 61222 48742 379 106 0 56193 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 244888

[startup+162.301 s]
/proc/loadavg: 3.99 3.67 3.17 5/190 6609
/proc/meminfo: memFree=19762020/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=235828 CPUtime=162.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 67359 0 0 0 16219 10 0 0 25 0 1 0 489843467 241487872 47531 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 58957 47531 379 106 0 53928 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 235828

[startup+222.301 s]
/proc/loadavg: 3.99 3.72 3.22 5/190 6610
/proc/meminfo: memFree=19759492/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=241628 CPUtime=222.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 70553 0 0 0 22218 11 0 0 25 0 1 0 489843467 247427072 50725 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467899 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 60407 50725 379 106 0 55378 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 241628

[startup+282.3 s]
/proc/loadavg: 4.06 3.79 3.27 5/190 6612
/proc/meminfo: memFree=19705704/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=255608 CPUtime=282.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 82210 0 0 0 28215 14 0 0 25 0 1 0 489843467 261742592 54032 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467727 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 63902 54032 379 106 0 58873 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 255608

[startup+342.301 s]
/proc/loadavg: 4.06 3.84 3.32 5/190 6614
/proc/meminfo: memFree=19728580/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=259348 CPUtime=342.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 93513 0 0 0 34213 16 0 0 25 0 1 0 489843467 265572352 56471 33554432000 4194304 4627331 140734610237632 18446744073709551615 4308224 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 64837 56471 379 106 0 59808 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 259348

[startup+402.301 s]
/proc/loadavg: 4.02 3.86 3.36 5/190 6615
/proc/meminfo: memFree=19708728/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=263704 CPUtime=402.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 101004 0 0 0 40212 17 0 0 25 0 1 0 489843467 270032896 55478 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467736 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 65926 55478 379 106 0 60897 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 263704

[startup+462.301 s]
/proc/loadavg: 4.00 3.89 3.40 5/190 6617
/proc/meminfo: memFree=19647440/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=286788 CPUtime=462.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 115789 0 0 0 46206 23 0 0 25 0 1 0 489843467 293670912 62952 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467748 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 71697 62952 379 106 0 66668 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 286788

[startup+522.301 s]
/proc/loadavg: 4.00 3.90 3.43 5/190 6618
/proc/meminfo: memFree=19618900/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=445824 CPUtime=522.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125052 0 0 0 52203 26 0 0 25 0 1 0 489843467 456523776 71683 33554432000 4194304 4627331 140734610237632 18446744073709551615 4309283 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 111456 71683 379 106 0 106427 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 445824

[startup+582.3 s]
/proc/loadavg: 4.00 3.92 3.46 5/190 6620
/proc/meminfo: memFree=19614540/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=317136 CPUtime=582.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125942 0 0 0 58202 27 0 0 25 0 1 0 489843467 324747264 71370 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467856 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 79284 71370 379 106 0 74255 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 317136

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

[startup+588.701 s]
/proc/loadavg: 4.00 3.92 3.47 5/190 6620
/proc/meminfo: memFree=19609452/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=317136 CPUtime=588.7 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125942 0 0 0 58843 27 0 0 25 0 1 0 489843467 324747264 71370 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467964 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 79284 71370 379 106 0 74255 0
Current children cumulated CPU time (s) 588.7
Current children cumulated vsize (KiB) 317136

[startup+614.301 s]
/proc/loadavg: 4.00 3.93 3.48 5/190 6621
/proc/meminfo: memFree=19613900/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=317136 CPUtime=614.3 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125942 0 0 0 61403 27 0 0 25 0 1 0 489843467 324747264 71370 33554432000 4194304 4627331 140734610237632 18446744073709551615 4467809 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 79284 71370 379 106 0 74255 0
Current children cumulated CPU time (s) 614.3
Current children cumulated vsize (KiB) 317136

[startup+627.1 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19604844/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=627.09 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125943 0 0 0 62682 27 0 0 25 0 1 0 489843467 328359936 71371 33554432000 4194304 4627331 140734610237632 18446744073709551615 4309364 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71371 379 106 0 75137 0
Current children cumulated CPU time (s) 627.09
Current children cumulated vsize (KiB) 320664

[startup+633.5 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19611292/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=633.5 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 125943 0 0 0 63323 27 0 0 25 0 1 0 489843467 328359936 71371 33554432000 4194304 4627331 140734610237632 18446744073709551615 4327720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71371 379 106 0 75137 0
Current children cumulated CPU time (s) 633.5
Current children cumulated vsize (KiB) 320664

[startup+636.701 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19609924/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=636.69 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 126168 0 0 0 63642 27 0 0 25 0 1 0 489843467 328359936 71596 33554432000 4194304 4627331 140734610237632 18446744073709551615 4321588 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71596 379 106 0 75137 0
Current children cumulated CPU time (s) 636.69
Current children cumulated vsize (KiB) 320664

[startup+637.501 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19608932/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=637.49 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 126168 0 0 0 63722 27 0 0 25 0 1 0 489843467 328359936 71596 33554432000 4194304 4627331 140734610237632 18446744073709551615 4309163 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71596 379 106 0 75137 0
Current children cumulated CPU time (s) 637.49
Current children cumulated vsize (KiB) 320664

[startup+638.3 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19608188/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=638.29 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 126168 0 0 0 63802 27 0 0 25 0 1 0 489843467 328359936 71596 33554432000 4194304 4627331 140734610237632 18446744073709551615 4308085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71596 379 106 0 75137 0
Current children cumulated CPU time (s) 638.29
Current children cumulated vsize (KiB) 320664

[startup+638.5 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19608188/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=320664 CPUtime=638.49 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202496 126168 0 0 0 63822 27 0 0 25 0 1 0 489843467 328359936 71596 33554432000 4194304 4627331 140734610237632 18446744073709551615 4309280 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/6604/statm: 80166 71596 379 106 0 75137 0
Current children cumulated CPU time (s) 638.49
Current children cumulated vsize (KiB) 320664

[startup+638.6 s]
/proc/loadavg: 4.00 3.93 3.49 5/190 6621
/proc/meminfo: memFree=19608188/32951124 swapFree=67111464/67111528
[pid=6604] ppid=6602 vsize=0 CPUtime=638.59 cores=0,2
/proc/6604/stat : 6604 (strangenight2-s) R 6602 6604 6373 0 -1 4202500 126184 0 0 0 63831 28 0 0 25 0 1 0 489843467 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/6604/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 638.59
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 638.606
CPU time (s): 638.608
CPU user time (s): 638.317
CPU system time (s): 0.290955
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 446364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 638.317
system time used= 0.290955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126184
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= 13
involuntary context switches= 8472

runsolver used 1.08683 second user time and 2.40963 second system time

The end

Launcher Data

Begin job on node136 at 2011-04-26 03:47:35
IDJOB=3290807
IDBENCH=83450
IDSOLVER=1587
FILE ID=node136/3290807-1303782454
RUNJOBID= node136-1303782152-6391
PBS_JOBID= 13157229
Free space on /tmp= 72088 MiB

SOLVER NAME= CryptoMiniSat Strange-Night2-st
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F20.cnf
COMMAND LINE= ./strangenight2-st BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290807-1303782454/watcher-3290807-1303782454 -o /tmp/evaluation-result-3290807-1303782454/solver-3290807-1303782454 -C 2400 -W 1300 -M 7680  ./strangenight2-st HOME/instance-3290807-1303782454.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2ee3aaaabe8a89270b338ea6a7bf3762
RANDOM SEED=144596948

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19966204 kB
Buffers:       1715636 kB
Cached:        9964352 kB
SwapCached:         60 kB
Active:        5484300 kB
Inactive:      6920776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19966204 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           62216 kB
Writeback:          32 kB
AnonPages:      724260 kB
Mapped:          16228 kB
Slab:           514280 kB
PageTables:       6788 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1100132 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= 72084 MiB
End job on node136 at 2011-04-26 03:58:14