Trace number 2669872

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
PB-wave alpha 2? (TO) 1800.04 1800.51

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
MD5SUM9da797f3e3b73aa39825ce2ab436589f
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.202968
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3655
Total number of constraints8686
Number of constraints which are clauses7982
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints704
Minimum length of a constraint1
Maximum length of a constraint15
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 158
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 539
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.03	c PB-wave - v2
0.00/0.03	c command line = ./PB-wave
0.00/0.03	c seed = 121211176
0.00/0.03	c cutoff = 1000000
0.00/0.03	c tries = 1000000
0.00/0.03	c heuristic = c best, noise 50 / 100
0.00/0.03	#var 3655 #con 8686
0.00/0.03	mode is SAT
0.00/0.03	c tail starts after flip = 10965
0.00/0.03	c numatom = 3655, numclause = 8686, numliterals = 29008
0.00/0.03	c wff read in
0.00/0.03	c 
0.00/0.03	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.03	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.03	c       this      this      this      this      this      this   success   success       until         std
0.00/0.03	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.03	c
1.19/1.20	c        39       133    114.71     22.49      5.10   1000000         0
2.29/2.38	c        52        95    119.56     23.23      5.15   1000000         0
3.49/3.57	c        50       133    116.92     24.54      4.76   1000000         0
4.69/4.74	c        54       124    118.07     24.86      4.75   1000000         0
5.89/5.92	c        50       110    116.76     24.25      4.82   1000000         0
7.09/7.10	c        45        95    122.59     25.26      4.85   1000000         0
8.19/8.26	c        46       127    114.36     25.06      4.56   1000000         0
9.39/9.43	c        63        92    120.92     20.96      5.77   1000000         0
10.59/10.60	c        57       129    124.14     22.66      5.48   1000000         0
11.69/11.78	c        47       130    118.65     25.71      4.61   1000000         0
12.89/12.95	c        45       101    113.99     23.52      4.85   1000000         0
14.09/14.13	c        49       114    120.24     24.16      4.98   1000000         0
15.29/15.31	c        46        88    115.17     24.15      4.77   1000000         0
16.39/16.48	c        40       106    109.77     25.75      4.26   1000000         0
17.59/17.65	c        52        99    119.32     24.43      4.88   1000000         0
18.79/18.84	c        45       103    115.97     22.37      5.18   1000000         0
19.98/20.02	c        39       104    118.48     24.34      4.87   1000000         0
21.18/21.20	c        53       109    115.57     22.71      5.09   1000000         0
22.28/22.38	c        50       116    122.24     23.24      5.26   1000000         0
23.48/23.55	c        49        80    110.59     21.50      5.14   1000000         0
24.68/24.72	c        43        95    113.89     23.76      4.79   1000000         0
25.78/25.88	c        49       102    114.21     23.53      4.85   1000000         0
26.98/27.05	c        47       118    116.94     24.81      4.71   1000000         0
28.18/28.23	c        58       106    116.28     25.41      4.58   1000000         0
29.38/29.40	c        48       100    117.43     23.54      4.99   1000000         0
30.48/30.58	c        53       117    119.55     26.64      4.49   1000000         0
31.68/31.77	c        43       102    115.41     24.63      4.69   1000000         0
32.89/32.94	c        54       109    122.29     23.74      5.15   1000000         0
33.99/34.10	c        55       129    118.48     23.82      4.97   1000000         0
35.19/35.27	c        44        95    115.05     22.77      5.05   1000000         0
36.38/36.45	c        49       113    119.42     24.97      4.78   1000000         0
37.58/37.62	c        48       110    114.93     25.20      4.56   1000000         0
38.68/38.79	c        44        80    115.25     23.56      4.89   1000000         0
39.88/39.96	c        47       112    116.51     23.71      4.91   1000000         0
41.08/41.13	c        29        88    118.49     26.01      4.56   1000000         0
42.28/42.30	c        45       110    118.40     24.41      4.85   1000000         0
43.38/43.47	c        62       102    120.16     21.66      5.55   1000000         0
44.58/44.62	c        50       112    121.27     25.72      4.72   1000000         0
45.78/45.81	c        41       104    113.76     25.42      4.48   1000000         0
46.88/46.98	c        54        90    117.90     23.29      5.06   1000000         0
48.08/48.17	c        43       117    114.40     23.84      4.80   1000000         0
49.28/49.34	c        39       131    114.79     23.69      4.85   1000000         0
50.48/50.52	c        58       132    118.52     22.93      5.17   1000000         0
51.58/51.69	c        45       101    117.50     23.48      5.00   1000000         0
52.78/52.86	c        48       111    118.33     25.99      4.55   1000000         0
53.98/54.03	c        40        81    116.11     26.27      4.42   1000000         0
55.18/55.20	c        49       108    119.51     26.76      4.47   1000000         0
56.28/56.36	c        47        92    117.02     27.47      4.26   1000000         0
57.48/57.54	c        52       152    119.50     23.43      5.10   1000000         0
58.68/58.71	c        37       105    118.75     25.39      4.68   1000000         0
59.77/59.88	c        50        97    115.81     22.74      5.09   1000000         0
60.97/61.05	c        41       107    112.97     25.66      4.40   1000000         0
62.17/62.23	c        41       141    118.23     24.21      4.88   1000000         0
63.37/63.42	c        41       105    112.52     23.72      4.74   1000000         0
64.47/64.59	c        53       124    119.82     23.56      5.09   1000000         0
65.67/65.75	c        32       119    115.61     25.48      4.54   1000000         0
66.87/66.91	c        44        97    115.96     25.27      4.59   1000000         0
67.97/68.08	c        59        97    120.80     22.19      5.44   1000000         0
69.18/69.26	c        47       125    117.22     23.77      4.93   1000000         0
70.38/70.44	c        55       139    120.33     23.08      5.21   1000000         0
71.57/71.62	c        47       125    122.32     21.87      5.59   1000000         0
72.67/72.79	c        50       112    117.97     22.94      5.14   1000000         0
73.87/73.98	c        61       104    121.30     22.27      5.45   1000000         0
75.07/75.14	c        38       121    113.74     23.92      4.75   1000000         0
76.27/76.31	c        55       115    116.98     26.23      4.46   1000000         0
77.37/77.48	c        57       120    121.14     22.71      5.33   1000000         0
78.57/78.66	c        48       109    114.04     24.12      4.73   1000000         0
79.77/79.84	c        53       112    122.86     20.69      5.94   1000000         0
80.87/80.99	c        50       125    119.40     24.26      4.92   1000000         0
82.07/82.17	c        47        99    118.54     22.99      5.16   1000000         0
83.27/83.34	c        48        84    112.81     23.49      4.80   1000000         0
84.47/84.52	c        50       159    116.16     24.37      4.77   1000000         0
85.67/85.70	c        48       135    113.19     24.38      4.64   1000000         0
86.77/86.87	c        50       116    116.49     24.47      4.76   1000000         0
87.97/88.05	c        50       133    118.06     23.63      5.00   1000000         0
89.17/89.22	c        52       102    116.38     23.49      4.95   1000000         0
90.27/90.38	c        34       117    114.67     23.31      4.92   1000000         0
91.47/91.54	c        45       151    114.98     22.73      5.06   1000000         0
92.67/92.71	c        37       101    115.61     26.11      4.43   1000000         0
93.77/93.88	c        47       104    115.89     23.03      5.03   1000000         0
94.97/95.04	c        51       160    121.06     22.72      5.33   1000000         0
96.17/96.23	c        52        83    119.99     24.31      4.94   1000000         0
97.27/97.39	c        56       110    120.68     25.86      4.67   1000000         0
98.47/98.58	c        54       115    119.59     25.58      4.67   1000000         0
99.66/99.76	c        30       109    114.89     23.05      4.98   1000000         0
100.86/100.93	c        50       157    118.35     24.15      4.90   1000000         0
101.96/102.09	c        41        87    118.39     25.49      4.64   1000000         0
103.16/103.26	c        50       111    113.45     25.98      4.37   1000000         0
104.37/104.43	c        41        87    115.05     24.66      4.67   1000000         0
105.57/105.61	c        49       138    117.16     21.57      5.43   1000000         0
106.67/106.77	c        36       105    114.98     24.02      4.79   1000000         0
107.86/107.96	c        43       117    111.11     27.11      4.10   1000000         0
109.06/109.13	c        35        91    115.24     25.69      4.49   1000000         0
110.26/110.30	c        44       102    116.19     22.85      5.08   1000000         0
111.36/111.48	c        52       149    119.89     23.90      5.02   1000000         0
112.56/112.64	c        44       140    114.11     25.99      4.39   1000000         0
113.76/113.83	c        49        92    119.45     24.24      4.93   1000000         0
114.86/114.98	c        52        91    116.42     25.04      4.65   1000000         0
116.06/116.15	c        46       137    115.98     24.98      4.64   1000000         0
117.26/117.31	c        54       110    116.90     20.74      5.64   1000000         0
118.36/118.48	c        47        86    117.25     22.32      5.25   1000000         0
119.56/119.64	c        60       104    121.27     22.80      5.32   1000000         0
120.76/120.82	c        31       116    119.76     26.21      4.57   1000000         0
121.86/121.99	c        47       104    115.50     26.94      4.29   1000000         0
123.07/123.17	c        54       146    119.26     22.14      5.39   1000000         0
124.27/124.34	c        56       105    117.80     20.30      5.80   1000000         0
125.46/125.50	c        49        94    119.45     25.75      4.64   1000000         0
126.56/126.67	c        37       122    111.67     24.27      4.60   1000000         0
127.76/127.84	c        53       100    119.26     24.54      4.86   1000000         0
128.96/129.01	c        48       104    112.86     26.14      4.32   1000000         0
130.06/130.20	c        52       115    118.93     21.52      5.53   1000000         0
131.26/131.36	c        39       111    111.68     25.49      4.38   1000000         0
132.46/132.55	c        46       165    118.32     23.76      4.98   1000000         0
133.66/133.71	c        48        95    116.71     25.16      4.64   1000000         0
134.76/134.88	c        48       130    117.75     26.31      4.48   1000000         0
135.96/136.05	c        43       136    116.59     24.68      4.72   1000000         0
137.15/137.23	c        44        82    117.98     23.55      5.01   1000000         0
138.35/138.40	c        48       137    114.38     24.82      4.61   1000000         0
139.45/139.57	c        40        86    117.30     23.19      5.06   1000000         0
140.66/140.75	c        54       110    117.76     20.60      5.72   1000000         0
141.86/141.93	c        37       116    114.50     26.46      4.33   1000000         0
142.96/143.09	c        46       124    113.46     22.24      5.10   1000000         0
144.15/144.25	c        41       121    117.22     23.17      5.06   1000000         0
145.35/145.42	c        45        88    116.05     23.71      4.89   1000000         0
146.45/146.59	c        53       115    119.06     23.74      5.01   1000000         0
147.65/147.77	c        48       125    116.58     22.01      5.30   1000000         0
148.85/148.95	c        36       131    113.57     23.62      4.81   1000000         0
150.05/150.12	c        48       128    120.70     23.58      5.12   1000000         0
151.15/151.29	c        45       109    119.09     27.36      4.35   1000000         0
152.35/152.45	c        44       127    116.15     25.06      4.64   1000000         0
153.55/153.64	c        59       122    121.89     22.56      5.40   1000000         0
154.75/154.81	c        46       127    116.39     23.17      5.02   1000000         0
155.85/155.98	c        53       113    116.12     23.42      4.96   1000000         0
157.05/157.15	c        43       121    117.42     23.28      5.04   1000000         0
158.26/158.33	c        44       104    116.11     23.15      5.02   1000000         0
159.46/159.52	c        47       140    113.68     24.47      4.65   1000000         0
160.56/160.70	c        47       114    120.23     24.00      5.01   1000000         0
161.75/161.87	c        49       105    119.92     25.88      4.63   1000000         0
162.95/163.03	c        51       119    122.06     24.84      4.91   1000000         0
164.15/164.20	c        47        73    117.14     24.25      4.83   1000000         0
165.25/165.36	c        48       112    121.52     25.46      4.77   1000000         0
166.45/166.53	c        55       121    121.80     25.57      4.76   1000000         0
167.65/167.71	c        43       134    118.09     23.06      5.12   1000000         0
168.75/168.87	c        46       144    112.42     23.28      4.83   1000000         0
169.95/170.05	c        41       154    119.05     23.51      5.06   1000000         0
171.14/171.22	c        42       122    119.44     25.79      4.63   1000000         0
172.34/172.40	c        42       143    113.38     24.96      4.54   1000000         0
173.44/173.57	c        47       116    118.23     24.91      4.75   1000000         0
174.64/174.74	c        43        95    117.61     25.78      4.56   1000000         0
175.85/175.91	c        41       101    113.00     21.95      5.15   1000000         0
176.95/177.08	c        37        91    114.31     25.52      4.48   1000000         0
178.15/178.25	c        46       111    120.93     24.74      4.89   1000000         0
179.34/179.43	c        40       132    116.39     24.67      4.72   1000000         0
180.54/180.61	c        40       121    114.29     25.24      4.53   1000000         0
181.64/181.77	c        45       150    115.75     28.07      4.12   1000000         0
182.84/182.93	c        43        97    116.35     24.16      4.82   1000000         0
184.04/184.10	c        52       119    118.08     25.43      4.64   1000000         0
185.14/185.27	c        49       150    118.97     21.14      5.63   1000000         0
186.34/186.44	c        46       121    111.43     26.25      4.25   1000000         0
187.54/187.61	c        49       132    117.08     23.62      4.96   1000000         0
188.64/188.77	c        48       120    114.60     25.63      4.47   1000000         0
189.84/189.95	c        41       124    119.49     22.39      5.34   1000000         0
191.04/191.11	c        45       113    113.65     24.15      4.71   1000000         0
192.14/192.29	c        49       127    116.23     21.56      5.39   1000000         0
193.34/193.45	c        51       142    119.22     25.96      4.59   1000000         0
194.55/194.62	c        50       140    121.02     22.31      5.42   1000000         0
195.65/195.80	c        44        85    112.03     25.21      4.44   1000000         0
196.85/196.96	c        48        88    117.03     25.59      4.57   1000000         0
198.04/198.13	c        49        64    117.64     26.22      4.49   1000000         0
199.24/199.30	c        41       110    119.28     24.35      4.90   1000000         0
200.34/200.47	c        44       117    116.32     21.72      5.36   1000000         0
201.54/201.63	c        47       101    118.45     23.62      5.01   1000000         0
202.64/202.79	c        44       110    116.01     23.61      4.91   1000000         0
203.84/203.96	c        49       115    121.50     22.72      5.35   1000000         0
205.03/205.12	c        55       121    121.04     24.32      4.98   1000000         0
206.13/206.29	c        37       155    116.09     26.21      4.43   1000000         0
207.33/207.47	c        59        71    120.32     23.44      5.13   1000000         0
208.53/208.63	c        52       117    116.75     24.15      4.83   1000000         0
209.63/209.79	c        50        98    117.99     25.56      4.62   1000000         0
210.83/210.97	c        47       151    119.74     23.97      5.00   1000000         0
212.03/212.14	c        46       111    119.90     23.83      5.03   1000000         0
213.24/213.31	c        50       115    118.87     23.70      5.02   1000000         0
214.34/214.49	c        45       123    116.52     27.49      4.24   1000000         0
215.54/215.66	c        54       152    118.37     22.22      5.33   1000000         0
216.73/216.84	c        48       109    117.78     25.47      4.62   1000000         0
217.93/218.01	c        51        80    115.24     22.80      5.05   1000000         0
219.03/219.19	c        56       100    118.47     26.63      4.45   1000000         0
220.23/220.36	c        46       118    120.21     23.73      5.07   1000000         0
221.43/221.53	c        45       150    116.30     23.37      4.98   1000000         0
222.53/222.69	c        47        86    118.37     25.67      4.61   1000000         0
223.73/223.86	c        56        96    120.21     23.96      5.02   1000000         0
224.93/225.02	c        46       105    119.06     24.40      4.88   1000000         0
226.13/226.20	c        45       109    115.82     26.70      4.34   1000000         0
227.23/227.38	c        53       122    118.12     23.02      5.13   1000000         0
228.43/228.55	c        41       123    120.92     25.85      4.68   1000000         0
229.63/229.73	c        50       121    117.20     24.93      4.70   1000000         0
230.83/230.91	c        48       126    121.67     24.35      5.00   1000000         0
231.93/232.08	c        53       116    114.19     24.15      4.73   1000000         0
233.13/233.26	c        48       136    118.31     22.95      5.16   1000000         0
234.33/234.45	c        51       132    118.60     22.15      5.35   1000000         0
235.53/235.62	c        47       116    115.32     21.86      5.28   1000000         0
236.73/236.81	c        40        99    111.67     24.08      4.64   1000000         0
237.83/237.98	c        49        98    114.10     26.26      4.34   1000000         0
239.03/239.14	c        44        98    118.50     21.65      5.47   1000000         0
240.23/240.31	c        39       117    117.69     23.42      5.02   1000000         0
241.33/241.48	c        46       120    116.19     22.56      5.15   1000000         0
242.53/242.66	c        48       137    117.86     22.38      5.27   1000000         0
243.72/243.83	c        38       107    120.18     24.68      4.87   1000000         0
244.92/245.00	c        38       101    116.42     24.66      4.72   1000000         0
246.02/246.16	c        52        93    116.99     22.65      5.16   1000000         0
247.22/247.33	c        50       141    121.49     23.58      5.15   1000000         0
248.43/248.50	c        52        98    117.57     24.21      4.86   1000000         0
249.53/249.67	c        49       105    115.41     23.48      4.92   1000000         0
250.73/250.85	c        47        97    118.03     24.87      4.75   1000000         0
251.92/252.02	c        54       109    120.09     24.54      4.89   1000000         0
253.02/253.19	c        49        83    115.05     22.80      5.05   1000000         0
254.22/254.36	c        53       103    122.44     24.13      5.08   1000000         0
255.42/255.54	c        54       126    119.84     23.98      5.00   1000000         0
256.62/256.70	c        38       131    115.92     23.64      4.90   1000000         0
257.72/257.87	c        40       108    110.74     25.15      4.40   1000000         0
258.92/259.04	c        53        90    116.30     23.50      4.95   1000000         0
260.12/260.22	c        54       131    120.30     24.69      4.87   1000000         0
261.22/261.40	c        41       106    111.33     25.20      4.42   1000000         0
262.42/262.57	c        41       105    118.81     25.06      4.74   1000000         0
263.62/263.73	c        48       124    116.70     25.64      4.55   1000000         0
264.72/264.89	c        41       105    117.20     24.66      4.75   1000000         0
265.92/266.07	c        42       101    116.37     21.97      5.30   1000000         0
267.13/267.24	c        52       119    119.63     23.13      5.17   1000000         0
268.33/268.41	c        50        89    121.77     21.47      5.67   1000000         0
269.43/269.58	c        50        96    117.93     27.26      4.33   1000000         0
270.62/270.75	c        41       134    116.16     25.19      4.61   1000000         0
271.82/271.93	c        50        65    115.39     20.84      5.54   1000000         0
273.02/273.12	c        57       118    121.51     22.44      5.41   1000000         0
274.22/274.30	c        49       126    115.59     23.53      4.91   1000000         0
275.32/275.46	c        46       124    117.95     24.11      4.89   1000000         0
276.52/276.64	c        44        99    120.08     26.65      4.51   1000000         0
277.72/277.81	c        50       157    120.21     23.66      5.08   1000000         0
278.92/279.00	c        48       124    116.46     24.67      4.72   1000000         0
280.02/280.17	c        48       104    118.72     22.47      5.28   1000000         0
281.22/281.34	c        24        77    114.50     26.99      4.24   1000000         0
282.41/282.51	c        55       151    119.97     25.00      4.80   1000000         0
283.62/283.70	c        47       115    116.33     23.87      4.87   1000000         0
284.72/284.88	c        51       133    118.24     24.63      4.80   1000000         0
285.92/286.04	c        50        78    117.63     24.41      4.82   1000000         0
287.11/287.22	c        48       107    116.35     23.52      4.95   1000000         0
288.21/288.39	c        50       104    116.70     24.01      4.86   1000000         0
289.41/289.55	c        47        91    112.88     24.81      4.55   1000000         0
290.61/290.73	c        49        97    116.68     21.34      5.47   1000000         0
291.71/291.89	c        44       120    114.37     26.57      4.30   1000000         0
292.91/293.05	c        51       141    117.79     23.34      5.05   1000000         0
294.11/294.21	c        44       109    115.92     24.92      4.65   1000000         0
295.21/295.39	c        52       140    118.35     23.50      5.04   1000000         0
296.41/296.57	c        40       112    112.83     22.91      4.92   1000000         0
297.61/297.76	c        50       124    119.20     24.39      4.89   1000000         0
298.81/298.94	c        45        85    114.53     23.75      4.82   1000000         0
300.01/300.11	c        51       107    115.61     21.53      5.37   1000000         0
301.11/301.27	c        53       119    116.98     26.41      4.43   1000000         0
302.32/302.44	c        49       104    121.19     24.48      4.95   1000000         0
303.52/303.61	c        42       125    116.67     22.84      5.11   1000000         0
304.62/304.79	c        34       116    116.92     25.69      4.55   1000000         0
305.81/305.97	c        50       126    119.96     25.37      4.73   1000000         0
307.01/307.15	c        43       138    122.64     26.91      4.56   1000000         0
308.21/308.32	c        47       105    119.15     22.95      5.19   1000000         0
309.31/309.48	c        41       122    115.28     22.43      5.14   1000000         0
310.51/310.65	c        50        74    114.78     24.70      4.65   1000000         0
311.71/311.81	c        49       133    118.29     22.52      5.25   1000000         0
312.81/312.99	c        37       116    117.37     24.15      4.86   1000000         0
314.01/314.16	c        50       125    114.06     25.33      4.50   1000000         0
315.21/315.34	c        49        93    114.45     24.39      4.69   1000000         0
316.40/316.52	c        42        62    117.72     24.79      4.75   1000000         0
317.50/317.69	c        36       102    110.62     25.15      4.40   1000000         0
318.70/318.87	c        48       148    117.59     25.09      4.69   1000000         0
319.91/320.03	c        52        91    116.10     24.27      4.78   1000000         0
321.11/321.22	c        37       113    119.71     25.76      4.65   1000000         0
322.21/322.38	c        49       145    117.39     21.48      5.46   1000000         0
323.40/323.56	c        47       111    115.97     25.24      4.60   1000000         0
324.60/324.73	c        47       112    118.08     21.56      5.48   1000000         0
325.80/325.91	c        36       107    105.02     24.51      4.28   1000000         0
326.90/327.09	c        49       109    117.86     23.22      5.07   1000000         0
328.10/328.26	c        59       115    120.84     22.70      5.32   1000000         0
329.30/329.43	c        49       129    113.17     25.40      4.46   1000000         0
330.50/330.61	c        48        85    116.96     22.64      5.17   1000000         0
331.60/331.77	c        39       152    115.02     27.90      4.12   1000000         0
332.80/332.94	c        44        91    121.33     23.05      5.26   1000000         0
334.00/334.12	c        44       109    123.48     22.82      5.41   1000000         0
335.10/335.29	c        42       139    121.69     26.92      4.52   1000000         0
336.30/336.48	c        52        97    121.14     25.28      4.79   1000000         0
337.51/337.64	c        40       132    120.48     28.48      4.23   1000000         0
338.71/338.82	c        50       109    119.02     23.69      5.02   1000000         0
339.81/339.99	c        48        95    118.72     23.08      5.14   1000000         0
341.00/341.15	c        45       109    123.01     28.53      4.31   1000000         0
342.20/342.34	c        42       156    119.15     22.73      5.24   1000000         0
343.40/343.51	c        46        87    115.28     24.11      4.78   1000000         0
344.50/344.69	c        44       142    119.42     24.04      4.97   1000000         0
345.70/345.86	c        46       123    112.79     23.58      4.78   1000000         0
346.90/347.03	c        51       120    113.56     24.83      4.57   1000000         0
348.10/348.21	c        40        97    120.19     25.21      4.77   1000000         0
349.20/349.38	c        45       106    114.24     23.82      4.80   1000000         0
350.40/350.55	c        35       121    113.44     25.08      4.52   1000000         0
351.60/351.72	c        37       133    117.49     24.12      4.87   1000000         0
352.80/352.90	c        49       114    111.16     24.30      4.57   1000000         0
353.90/354.06	c        44       111    115.27     24.64      4.68   1000000         0
355.10/355.23	c        49       159    116.87     24.19      4.83   1000000         0
356.20/356.39	c        48       130    119.28     24.09      4.95   1000000         0
357.40/357.55	c        46        94    117.15     22.81      5.14   1000000         0
358.59/358.72	c        45        66    115.10     23.31      4.94   1000000         0
359.69/359.89	c        57       181    116.53     24.75      4.71   1000000         0
360.89/361.06	c        52       134    115.80     26.79      4.32   1000000         0
362.09/362.22	c        42       135    116.16     25.69      4.52   1000000         0
363.19/363.39	c        42       144    121.82     25.03      4.87   1000000         0
364.39/364.57	c        50       107    115.91     22.36      5.18   1000000         0
365.59/365.74	c        42       114    118.73     23.08      5.14   1000000         0
366.79/366.92	c        50       125    123.45     24.58      5.02   1000000         0
367.99/368.10	c        41       124    115.25     22.12      5.21   1000000         0
369.09/369.27	c        35       159    122.12     23.26      5.25   1000000         0
370.29/370.45	c        51       105    118.58     25.28      4.69   1000000         0
371.49/371.63	c        52       109    117.07     24.54      4.77   1000000         0
372.59/372.79	c        52       106    120.18     24.31      4.94   1000000         0
373.80/373.95	c        39        95    115.99     25.23      4.60   1000000         0
375.00/375.13	c        57       127    118.95     21.00      5.66   1000000         0
376.19/376.31	c        55        98    120.52     23.59      5.11   1000000         0
377.29/377.47	c        51       113    119.80     23.48      5.10   1000000         0
378.49/378.64	c        51       115    118.38     25.80      4.59   1000000         0
379.69/379.82	c        47        94    117.79     24.21      4.87   1000000         0
380.79/380.98	c        44       135    116.50     25.83      4.51   1000000         0
381.99/382.16	c        45       125    118.59     25.46      4.66   1000000         0
383.19/383.33	c        35        95    115.45     24.47      4.72   1000000         0
384.39/384.50	c        41       130    117.69     22.84      5.15   1000000         0
385.49/385.69	c        50       122    120.32     22.70      5.30   1000000         0
386.69/386.86	c        39       100    113.88     25.45      4.47   1000000         0
387.89/388.03	c        58       102    119.53     23.64      5.06   1000000         0
389.09/389.20	c        47        92    120.42     22.16      5.43   1000000         0
390.19/390.38	c        46        99    119.12     24.52      4.86   1000000         0
391.39/391.54	c        43       109    118.23     25.61      4.62   1000000         0
392.59/392.71	c        42        95    117.86     26.99      4.37   1000000         0
393.69/393.89	c        48       140    121.83     24.72      4.93   1000000         0
394.88/395.06	c        50        89    116.19     20.99      5.53   1000000         0
396.08/396.22	c        43       122    115.10     24.05      4.79   1000000         0
397.18/397.39	c        58       105    120.08     24.79      4.84   1000000         0
398.38/398.56	c        46       131    116.37     25.38      4.59   1000000         0
399.58/399.73	c        54       162    117.83     24.10      4.89   1000000         0
400.78/400.91	c        44       131    115.99     22.93      5.06   1000000         0
401.88/402.08	c        37       114    114.09     23.75      4.80   1000000         0
403.08/403.24	c        46       118    115.27     23.28      4.95   1000000         0
404.28/404.42	c        47       133    114.57     24.11      4.75   1000000         0
405.38/405.58	c        51        81    119.41     27.80      4.29   1000000         0
406.58/406.74	c        53       136    118.21     21.29      5.55   1000000         0
407.78/407.90	c        48       113    113.66     23.26      4.89   1000000         0
408.88/409.07	c        39       135    110.73     25.15      4.40   1000000         0
410.09/410.24	c        41       120    111.78     25.23      4.43   1000000         0
411.29/411.41	c        44       119    118.30     23.61      5.01   1000000         0
412.39/412.58	c        32       114    110.74     22.74      4.87   1000000         0
413.58/413.75	c        32       111    116.93     24.70      4.73   1000000         0
414.78/414.92	c        34        96    114.65     26.94      4.26   1000000         0
415.88/416.09	c        48        88    121.34     23.88      5.08   1000000         0
417.08/417.26	c        50       115    113.82     22.80      4.99   1000000         0
418.28/418.42	c        50       117    117.98     23.73      4.97   1000000         0
419.48/419.60	c        46       101    118.78     25.95      4.58   1000000         0
420.58/420.78	c        45       124    118.83     26.30      4.52   1000000         0
421.78/421.96	c        41       101    115.36     25.11      4.59   1000000         0
422.98/423.12	c        32       129    111.01     24.98      4.44   1000000         0
424.18/424.30	c        42       123    118.51     26.36      4.50   1000000         0
425.28/425.47	c        47        80    118.60     26.09      4.55   1000000         0
426.48/426.65	c        52       143    117.96     25.03      4.71   1000000         0
427.68/427.81	c        33       121    116.77     24.69      4.73   1000000         0
428.78/428.98	c        52       133    120.19     21.98      5.47   1000000         0
429.98/430.16	c        44       109    113.72     24.93      4.56   1000000         0
431.18/431.32	c        59       125    119.74     22.08      5.42   1000000         0
432.28/432.49	c        50       115    118.21     23.70      4.99   1000000         0
433.48/433.66	c        54        93    116.12     22.87      5.08   1000000         0
434.67/434.83	c        42       134    115.12     23.47      4.91   1000000         0
435.87/436.00	c        52        84    115.76     23.11      5.01   1000000         0
436.97/437.18	c        51       122    117.04     22.38      5.23   1000000         0
438.17/438.36	c        39       118    116.66     24.78      4.71   1000000         0
439.37/439.52	c        43        89    119.43     25.48      4.69   1000000         0
440.47/440.69	c        41        71    118.57     25.90      4.58   1000000         0
441.67/441.87	c        48        88    117.65     23.29      5.05   1000000         0
442.87/443.05	c        40        63    118.21     23.40      5.05   1000000         0
444.07/444.21	c        45       127    121.72     22.48      5.41   1000000         0
445.17/445.38	c        47       150    117.07     27.77      4.22   1000000         0
446.38/446.55	c        48        92    121.88     23.75      5.13   1000000         0
447.58/447.72	c        52        98    115.22     22.36      5.15   1000000         0
448.68/448.88	c        45       123    114.23     23.29      4.91   1000000         0
449.87/450.05	c        52       125    119.55     22.33      5.35   1000000         0
451.07/451.23	c        43       110    115.45     24.11      4.79   1000000         0
452.27/452.40	c        39       100    115.97     23.47      4.94   1000000         0
453.37/453.57	c        43       143    117.93     25.69      4.59   1000000         0
454.57/454.73	c        52       126    120.91     23.72      5.10   1000000         0
455.77/455.91	c        47       130    115.45     23.54      4.91   1000000         0
456.87/457.08	c        38       132    119.69     24.27      4.93   1000000         0
458.07/458.25	c        47        99    116.39     24.31      4.79   1000000         0
459.27/459.43	c        36       119    119.34     25.44      4.69   1000000         0
460.37/460.59	c        44       113    120.58     27.88      4.32   1000000         0
461.57/461.76	c        45       118    118.10     22.91      5.15   1000000         0
462.77/462.93	c        42       135    121.12     23.61      5.13   1000000         0
463.97/464.10	c        47       112    117.01     23.59      4.96   1000000         0
465.07/465.28	c        53       135    117.62     20.71      5.68   1000000         0
466.27/466.45	c        44       112    119.83     24.92      4.81   1000000         0
467.47/467.61	c        37        95    115.06     23.77      4.84   1000000         0
468.57/468.78	c        55       133    120.24     24.81      4.85   1000000         0
469.76/469.95	c        51       102    116.39     24.60      4.73   1000000         0
470.96/471.12	c        47        86    112.25     22.77      4.93   1000000         0
472.16/472.30	c        49        74    116.16     22.55      5.15   1000000         0
473.26/473.46	c        36       113    113.02     25.40      4.45   1000000         0
474.46/474.63	c        50       112    113.98     23.89      4.77   1000000         0
475.56/475.79	c        37       126    119.11     23.06      5.16   1000000         0
476.76/476.96	c        48       126    116.75     23.43      4.98   1000000         0
477.96/478.13	c        52       104    120.17     22.73      5.29   1000000         0
479.16/479.31	c        34        98    115.31     25.57      4.51   1000000         0
480.26/480.46	c        47       113    114.57     22.20      5.16   1000000         0
481.46/481.64	c        48       111    122.54     23.20      5.28   1000000         0
482.67/482.80	c        44       129    120.10     24.52      4.90   1000000         0
483.77/483.97	c        43       123    112.83     24.15      4.67   1000000         0
484.97/485.14	c        47        96    115.98     22.58      5.14   1000000         0
486.16/486.30	c        47       136    119.45     22.34      5.35   1000000         0
487.26/487.48	c        54       119    120.65     23.75      5.08   1000000         0
488.46/488.65	c        40       157    118.00     23.93      4.93   1000000         0
489.66/489.82	c        50       129    117.95     25.39      4.65   1000000         0
490.76/490.98	c        51       116    114.77     22.81      5.03   1000000         0
491.96/492.16	c        52       128    120.19     22.05      5.45   1000000         0
493.16/493.34	c        47       120    118.68     24.46      4.85   1000000         0
494.36/494.52	c        36       124    112.97     25.25      4.47   1000000         0
495.46/495.69	c        54       131    116.50     24.29      4.80   1000000         0
496.66/496.86	c        58       109    121.38     22.55      5.38   1000000         0
497.86/498.02	c        39       109    111.35     26.98      4.13   1000000         0
498.96/499.19	c        54       124    120.76     21.56      5.60   1000000         0
500.16/500.36	c        42       153    119.06     24.29      4.90   1000000         0
501.36/501.54	c        42       125    115.96     25.91      4.48   1000000         0
502.46/502.70	c        40        93    121.51     23.48      5.17   1000000         0
503.66/503.88	c        42        97    112.77     22.74      4.96   1000000         0
504.86/505.05	c        41       123    117.05     23.79      4.92   1000000         0
506.06/506.21	c        51       120    118.76     22.68      5.24   1000000         0
507.15/507.38	c        35       109    117.56     25.27      4.65   1000000         0
508.35/508.56	c        44        91    112.71     23.79      4.74   1000000         0
509.55/509.72	c        45       156    119.79     24.24      4.94   1000000         0
510.65/510.89	c        44       113    117.13     24.81      4.72   1000000         0
511.85/512.04	c        52        78    118.00     21.92      5.38   1000000         0
513.05/513.21	c        48       122    120.09     24.58      4.88   1000000         0
514.15/514.38	c        40       131    114.90     24.18      4.75   1000000         0
515.35/515.56	c        45       114    120.02     24.03      4.99   1000000         0
516.55/516.73	c        46       107    116.67     23.01      5.07   1000000         0
517.75/517.90	c        57        96    121.73     24.62      4.94   1000000         0
518.85/519.08	c        46       122    115.60     22.66      5.10   1000000         0
520.06/520.25	c        43       125    121.93     23.91      5.10   1000000         0
521.26/521.42	c        53       111    117.71     23.24      5.06   1000000         0
522.45/522.60	c        58       124    119.81     23.37      5.13   1000000         0
523.55/523.78	c        52       164    119.17     23.79      5.01   1000000         0
524.75/524.95	c        52       117    116.69     24.59      4.75   1000000         0
525.95/526.12	c        41        77    115.13     25.26      4.56   1000000         0
527.05/527.28	c        50        90    118.07     22.89      5.16   1000000         0
528.25/528.46	c        46       143    110.42     24.53      4.50   1000000         0
529.45/529.63	c        48       124    119.74     23.25      5.15   1000000         0
530.65/530.81	c        43        97    118.70     24.74      4.80   1000000         0
531.75/531.99	c        46        64    114.99     23.71      4.85   1000000         0
532.95/533.18	c        35       103    114.33     24.32      4.70   1000000         0
534.15/534.35	c        53       132    118.20     23.98      4.93   1000000         0
535.35/535.53	c        46       137    118.27     24.57      4.81   1000000         0
536.55/536.72	c        51        91    116.37     25.55      4.55   1000000         0
537.65/537.89	c        47       141    121.43     25.40      4.78   1000000         0
538.85/539.06	c        38        94    119.92     23.95      5.01   1000000         0
540.05/540.24	c        45       100    116.07     22.54      5.15   1000000         0
541.25/541.41	c        41       141    115.12     24.21      4.75   1000000         0
542.35/542.59	c        43       114    116.52     26.23      4.44   1000000         0
543.55/543.75	c        43        68    117.28     25.01      4.69   1000000         0
544.75/544.92	c        54       132    117.60     24.15      4.87   1000000         0
545.85/546.09	c        51       154    120.22     23.52      5.11   1000000         0
547.04/547.25	c        45       127    116.45     23.28      5.00   1000000         0
548.24/548.41	c        54        97    119.18     25.32      4.71   1000000         0
549.34/549.58	c        43       109    118.14     24.44      4.83   1000000         0
550.54/550.76	c        40       109    113.22     26.43      4.28   1000000         0
551.74/551.95	c        55       115    120.37     23.80      5.06   1000000         0
552.94/553.13	c        39       142    114.70     23.73      4.83   1000000         0
554.04/554.29	c        56        79    119.59     23.05      5.19   1000000         0
555.25/555.47	c        52       127    119.94     22.31      5.38   1000000         0
556.45/556.66	c        48       132    114.87     24.28      4.73   1000000         0
557.64/557.83	c        49        97    116.45     24.05      4.84   1000000         0
558.74/558.99	c        50       116    118.80     23.43      5.07   1000000         0
559.94/560.15	c        50       115    118.42     22.47      5.27   1000000         0
561.14/561.32	c        45       125    118.92     25.29      4.70   1000000         0
562.34/562.50	c        38       140    117.37     21.97      5.34   1000000         0
563.44/563.65	c        43       145    116.82     24.78      4.71   1000000         0
564.64/564.82	c        43        87    111.79     26.96      4.15   1000000         0
565.74/565.99	c        51        82    115.18     25.55      4.51   1000000         0
566.94/567.16	c        50       117    119.21     24.63      4.84   1000000         0
568.14/568.32	c        52       131    120.41     24.85      4.85   1000000         0
569.34/569.50	c        45       148    113.85     21.43      5.31   1000000         0
570.44/570.66	c        50       119    119.85     22.69      5.28   1000000         0
571.64/571.83	c        51       183    119.12     24.81      4.80   1000000         0
572.84/573.00	c        31       132    112.18     24.22      4.63   1000000         0
573.94/574.17	c        42       103    116.61     27.57      4.23   1000000         0
575.14/575.35	c        39       120    115.71     26.58      4.35   1000000         0
576.34/576.52	c        41       126    118.55     25.13      4.72   1000000         0
577.54/577.70	c        45       136    117.69     28.11      4.19   1000000         0
578.64/578.87	c        40       118    113.51     23.44      4.84   1000000         0
579.83/580.04	c        46       116    115.97     23.24      4.99   1000000         0
581.03/581.21	c        36        98    118.88     24.42      4.87   1000000         0
582.13/582.38	c        44       129    118.86     25.74      4.62   1000000         0
583.33/583.55	c        45        94    114.94     28.23      4.07   1000000         0
584.53/584.73	c        51       118    120.36     23.13      5.20   1000000         0
585.73/585.92	c        50        81    115.13     26.65      4.32   1000000         0
586.83/587.09	c        50       121    120.49     25.39      4.75   1000000         0
588.03/588.26	c        50       117    119.59     23.80      5.03   1000000         0
589.23/589.43	c        53       144    116.29     22.60      5.15   1000000         0
590.44/590.60	c        53       104    120.26     23.19      5.18   1000000         0
591.54/591.78	c        45       170    111.33     23.53      4.73   1000000         0
592.74/592.96	c        59        96    120.72     23.44      5.15   1000000         0
593.93/594.13	c        47        99    114.44     22.22      5.15   1000000         0
595.13/595.31	c        36        99    114.42     26.08      4.39   1000000         0
596.23/596.48	c        37       146    113.89     24.56      4.64   1000000         0
597.43/597.65	c        51       108    118.69     23.64      5.02   1000000         0
598.63/598.82	c        55       138    117.05     22.32      5.24   1000000         0
599.73/599.99	c        47       151    117.88     23.82      4.95   1000000         0
600.93/601.16	c        50       137    120.04     24.35      4.93   1000000         0
602.13/602.32	c        38       135    119.34     22.26      5.36   1000000         0
603.23/603.48	c        56       116    119.89     23.66      5.07   1000000         0
604.43/604.65	c        44        98    117.23     23.07      5.08   1000000         0
605.63/605.83	c        46       148    114.81     21.01      5.46   1000000         0
606.83/607.01	c        52        88    117.63     25.33      4.64   1000000         0
607.93/608.18	c        49       168    113.53     23.60      4.81   1000000         0
609.13/609.35	c        46       100    117.42     22.98      5.11   1000000         0
610.23/610.50	c        54       112    118.47     24.82      4.77   1000000         0
611.43/611.68	c        41       108    112.34     26.68      4.21   1000000         0
612.63/612.85	c        45        97    115.14     24.42      4.72   1000000         0
613.83/614.02	c        45       121    116.04     25.29      4.59   1000000         0
614.93/615.19	c        44       126    114.96     24.81      4.63   1000000         0
616.12/616.35	c        57       143    117.89     23.18      5.09   1000000         0
617.32/617.52	c        50       119    117.99     21.93      5.38   1000000         0
618.52/618.70	c        49        89    113.65     23.87      4.76   1000000         0
619.62/619.86	c        41       105    107.06     24.22      4.42   1000000         0
620.82/621.05	c        43       115    123.00     24.34      5.05   1000000         0
622.02/622.21	c        39       132    118.81     23.17      5.13   1000000         0
623.12/623.39	c        48        96    119.85     23.66      5.07   1000000         0
624.32/624.55	c        52       126    119.60     25.17      4.75   1000000         0
625.52/625.73	c        49       126    117.24     23.85      4.91   1000000         0
626.73/626.90	c        48       115    113.74     23.67      4.81   1000000         0
627.83/628.08	c        42       117    118.20     24.88      4.75   1000000         0
629.03/629.26	c        48       115    118.95     23.47      5.07   1000000         0
630.22/630.44	c        50       120    119.64     24.73      4.84   1000000         0
631.42/631.62	c        53       133    120.23     28.21      4.26   1000000         0
632.52/632.79	c        48        97    120.71     23.45      5.15   1000000         0
633.72/633.95	c        44       154    116.50     24.46      4.76   1000000         0
634.92/635.13	c        52        83    118.18     24.03      4.92   1000000         0
636.12/636.31	c        46       101    116.47     23.18      5.02   1000000         0
637.22/637.47	c        44       113    119.18     23.26      5.12   1000000         0
638.42/638.64	c        50       133    120.85     24.04      5.03   1000000         0
639.62/639.80	c        46       124    114.29     24.86      4.60   1000000         0
640.72/640.97	c        45       111    120.78     27.12      4.45   1000000         0
641.92/642.14	c        49       112    119.01     22.74      5.23   1000000         0
643.12/643.33	c        50       135    117.75     25.41      4.63   1000000         0
644.22/644.49	c        50        98    118.26     21.85      5.41   1000000         0
645.42/645.67	c        50       131    118.54     23.27      5.09   1000000         0
646.62/646.84	c        48       117    114.28     26.87      4.25   1000000         0
647.82/648.01	c        59       103    119.07     23.41      5.09   1000000         0
648.92/649.17	c        52       142    118.73     25.18      4.72   1000000         0
650.12/650.34	c        46       102    117.39     24.67      4.76   1000000         0
651.32/651.52	c        50       125    119.52     24.20      4.94   1000000         0
652.42/652.70	c        56       148    120.59     21.80      5.53   1000000         0
653.62/653.85	c        45       111    115.89     26.29      4.41   1000000         0
654.82/655.02	c        44       114    117.46     27.57      4.26   1000000         0
656.02/656.20	c        52       130    117.16     22.17      5.28   1000000         0
657.12/657.37	c        54        74    118.35     25.04      4.73   1000000         0
658.31/658.54	c        43       118    115.82     24.84      4.66   1000000         0
659.51/659.71	c        58       142    118.45     25.67      4.61   1000000         0
660.61/660.87	c        46       144    112.41     24.32      4.62   1000000         0
661.81/662.05	c        45       127    117.52     25.04      4.69   1000000         0
663.02/663.21	c        48       135    117.87     26.40      4.47   1000000         0
664.12/664.38	c        46       146    113.72     24.04      4.73   1000000         0
665.32/665.56	c        42       110    114.18     26.54      4.30   1000000         0
666.51/666.74	c        38        85    120.74     24.76      4.88   1000000         0
667.71/667.91	c        52       101    122.27     23.26      5.26   1000000         0
668.81/669.09	c        49       124    116.96     23.98      4.88   1000000         0
670.01/670.25	c        53       146    116.34     25.78      4.51   1000000         0
671.21/671.42	c        48       119    114.66     22.59      5.07   1000000         0
672.31/672.59	c        63       127    125.39     22.41      5.59   1000000         0
673.51/673.78	c        40       122    118.54     24.89      4.76   1000000         0
674.71/674.95	c        53       129    116.28     23.52      4.94   1000000         0
675.91/676.13	c        54       141    118.29     24.06      4.92   1000000         0
677.11/677.31	c        47       142    119.25     24.88      4.79   1000000         0
678.21/678.49	c        47       104    119.98     25.18      4.77   1000000         0
679.41/679.66	c        49       140    120.66     23.24      5.19   1000000         0
680.62/680.83	c        49       116    118.17     25.52      4.63   1000000         0
681.72/682.00	c        46       129    116.25     24.67      4.71   1000000         0
682.92/683.17	c        49       125    117.41     21.67      5.42   1000000         0
684.11/684.34	c        46        66    120.94     23.61      5.12   1000000         0
685.31/685.51	c        49        99    110.69     20.11      5.51   1000000         0
686.41/686.68	c        45       110    119.91     22.94      5.23   1000000         0
687.61/687.86	c        52        82    120.35     24.73      4.87   1000000         0
688.81/689.04	c        56       100    121.65     23.64      5.15   1000000         0
690.01/690.20	c        48        96    115.65     22.15      5.22   1000000         0
691.11/691.36	c        48       120    116.18     25.26      4.60   1000000         0
692.30/692.54	c        55        97    118.14     23.04      5.13   1000000         0
693.50/693.71	c        37        76    110.50     25.21      4.38   1000000         0
694.60/694.88	c        52       146    118.55     22.00      5.39   1000000         0
695.80/696.05	c        47        99    116.25     24.18      4.81   1000000         0
697.00/697.22	c        40        95    115.49     21.73      5.32   1000000         0
698.10/698.39	c        49       115    120.76     23.24      5.20   1000000         0
699.31/699.55	c        45       134    114.03     23.79      4.79   1000000         0
700.51/700.71	c        43        95    116.23     23.56      4.93   1000000         0
701.61/701.88	c        51       100    119.40     25.92      4.61   1000000         0
702.80/703.05	c        50       136    119.24     24.72      4.82   1000000         0
704.00/704.22	c        43        92    121.54     25.95      4.68   1000000         0
705.10/705.39	c        50        97    116.85     26.41      4.42   1000000         0
706.30/706.57	c        42       149    117.11     23.26      5.04   1000000         0
707.50/707.74	c        45        89    115.07     23.04      4.99   1000000         0
708.70/708.92	c        50       118    117.14     26.07      4.49   1000000         0
709.80/710.08	c        33        91    118.37     25.39      4.66   1000000         0
711.00/711.25	c        51        95    121.14     22.94      5.28   1000000         0
712.20/712.43	c        44       117    117.52     24.86      4.73   1000000         0
713.30/713.59	c        53       141    119.98     22.55      5.32   1000000         0
714.50/714.76	c        43        97    113.91     22.96      4.96   1000000         0
715.70/715.93	c        49       127    118.01     21.34      5.53   1000000         0
716.91/717.11	c        47       120    114.96     22.32      5.15   1000000         0
718.00/718.27	c        50        85    117.81     22.26      5.29   1000000         0
719.20/719.44	c        49        90    118.29     22.54      5.25   1000000         0
720.40/720.61	c        32       139    115.58     23.34      4.95   1000000         0
721.50/721.78	c        48       128    116.87     24.29      4.81   1000000         0
722.70/722.96	c        40       109    118.37     24.76      4.78   1000000         0
723.90/724.12	c        53       100    117.54     23.42      5.02   1000000         0
725.10/725.31	c        41       133    117.64     23.36      5.04   1000000         0
726.20/726.47	c        51        98    119.41     23.30      5.12   1000000         0
727.40/727.64	c        41       142    117.98     22.79      5.18   1000000         0
728.60/728.80	c        57        87    115.44     21.84      5.29   1000000         0
729.70/729.98	c        49       122    116.98     25.13      4.66   1000000         0
730.89/731.14	c        42       139    114.15     26.37      4.33   1000000         0
732.09/732.32	c        48       131    114.74     24.60      4.66   1000000         0
733.29/733.51	c        50        90    117.82     25.76      4.57   1000000         0
734.39/734.69	c        43       140    115.24     26.14      4.41   1000000         0
735.60/735.86	c        52       106    120.24     22.69      5.30   1000000         0
736.80/737.01	c        46        87    116.28     25.78      4.51   1000000         0
737.90/738.19	c        55       125    115.39     23.03      5.01   1000000         0
739.09/739.37	c        42       114    117.46     25.35      4.63   1000000         0
740.29/740.55	c        43       123    119.02     24.26      4.91   1000000         0
741.49/741.71	c        52       116    115.38     22.94      5.03   1000000         0
742.59/742.89	c        42       107    110.81     24.72      4.48   1000000         0
743.79/744.07	c        39        83    111.84     23.13      4.84   1000000         0
744.99/745.25	c        45        94    116.21     23.07      5.04   1000000         0
746.19/746.43	c        54       117    118.40     25.61      4.62   1000000         0
747.39/747.61	c        46       105    115.95     24.87      4.66   1000000         0
748.49/748.80	c        47       140    119.74     24.93      4.80   1000000         0
749.69/749.97	c        47       111    118.50     24.29      4.88   1000000         0
750.89/751.13	c        45       122    112.70     23.68      4.76   1000000         0
752.10/752.31	c        50       150    115.76     21.47      5.39   1000000         0
753.20/753.47	c        31       103    112.86     25.09      4.50   1000000         0
754.40/754.65	c        50       115    118.42     23.73      4.99   1000000         0
755.59/755.81	c        44       118    114.79     24.76      4.64   1000000         0
756.69/756.98	c        50       107    117.21     24.41      4.80   1000000         0
757.89/758.15	c        51       128    116.71     22.52      5.18   1000000         0
759.09/759.33	c        54       132    119.73     23.11      5.18   1000000         0
760.29/760.50	c        50       114    117.40     24.05      4.88   1000000         0
761.39/761.66	c        49        90    120.17     22.85      5.26   1000000         0
762.59/762.84	c        52        97    120.86     23.61      5.12   1000000         0
763.79/764.00	c        44       112    114.83     23.65      4.86   1000000         0
764.89/765.18	c        50       115    119.26     22.39      5.33   1000000         0
766.09/766.35	c        46       108    115.39     22.99      5.02   1000000         0
767.29/767.52	c        28       100    109.89     25.24      4.35   1000000         0
768.39/768.69	c        54       111    121.27     25.01      4.85   1000000         0
769.58/769.87	c        53       120    124.26     24.06      5.16   1000000         0
770.79/771.04	c        48        95    115.93     21.75      5.33   1000000         0
771.99/772.22	c        50        62    116.81     24.87      4.70   1000000         0
773.09/773.38	c        53       138    120.38     24.74      4.87   1000000         0
774.28/774.57	c        51       115    116.51     24.18      4.82   1000000         0
775.48/775.74	c        48       127    114.05     28.51      4.00   1000000         0
776.68/776.92	c        57       137    121.52     24.69      4.92   1000000         0
777.78/778.09	c        43       125    116.85     25.70      4.55   1000000         0
778.98/779.26	c        53       116    116.48     25.43      4.58   1000000         0
780.18/780.44	c        36       121    116.46     25.33      4.60   1000000         0
781.38/781.60	c        44       130    121.80     26.58      4.58   1000000         0
782.48/782.77	c        41       109    114.58     26.88      4.26   1000000         0
783.68/783.94	c        54       119    115.46     22.60      5.11   1000000         0
784.88/785.12	c        40       104    119.28     24.79      4.81   1000000         0
785.98/786.28	c        52       129    120.28     23.65      5.09   1000000         0
787.18/787.45	c        48       116    116.18     26.43      4.40   1000000         0
788.39/788.62	c        46       101    119.33     23.82      5.01   1000000         0
789.59/789.81	c        43        87    113.95     25.41      4.48   1000000         0
790.69/790.98	c        39        95    117.45     25.25      4.65   1000000         0
791.88/792.14	c        54       151    120.05     23.61      5.09   1000000         0
793.08/793.31	c        49       144    119.60     23.55      5.08   1000000         0
794.18/794.49	c        40       129    118.73     25.15      4.72   1000000         0
795.38/795.66	c        46       145    117.02     24.03      4.87   1000000         0
796.58/796.83	c        50        97    119.51     24.34      4.91   1000000         0
797.78/798.00	c        44        86    112.12     21.09      5.32   1000000         0
798.88/799.16	c        35        99    117.29     25.95      4.52   1000000         0
800.08/800.33	c        44        94    114.34     23.76      4.81   1000000         0
801.28/801.50	c        45       105    113.70     21.14      5.38   1000000         0
802.38/802.66	c        48       139    118.87     23.46      5.07   1000000         0
803.58/803.84	c        55       125    117.85     20.46      5.76   1000000         0
804.78/805.02	c        50       130    118.83     23.00      5.17   1000000         0
805.88/806.19	c        53       123    119.29     23.04      5.18   1000000         0
807.08/807.37	c        39       126    118.93     23.97      4.96   1000000         0
808.28/808.53	c        42       109    112.40     24.77      4.54   1000000         0
809.47/809.71	c        47       134    119.49     25.11      4.76   1000000         0
810.57/810.88	c        38       134    112.17     24.14      4.65   1000000         0
811.77/812.06	c        38       106    116.02     23.95      4.84   1000000         0
812.97/813.23	c        48       119    118.96     22.75      5.23   1000000         0
814.17/814.42	c        49        74    115.36     25.04      4.61   1000000         0
815.37/815.60	c        53        90    120.31     25.04      4.80   1000000         0
816.47/816.78	c        38       154    116.04     24.51      4.73   1000000         0
817.67/817.94	c        42        93    119.43     25.96      4.60   1000000         0
818.77/819.09	c        48       104    117.95     23.70      4.98   1000000         0
819.97/820.26	c        52       101    120.43     24.36      4.94   1000000         0
821.17/821.42	c        49        96    120.82     25.23      4.79   1000000         0
822.37/822.60	c        48       104    116.33     24.45      4.76   1000000         0
823.47/823.77	c        52       122    116.53     22.23      5.24   1000000         0
824.68/824.93	c        49        86    122.02     24.98      4.89   1000000         0
825.88/826.11	c        43       135    113.89     24.16      4.71   1000000         0
826.98/827.28	c        50       105    115.80     26.62      4.35   1000000         0
828.17/828.46	c        47       130    116.78     23.18      5.04   1000000         0
829.37/829.63	c        48        98    117.34     23.81      4.93   1000000         0
830.47/830.79	c        45       125    120.34     25.26      4.76   1000000         0
831.67/831.98	c        45       119    118.78     26.43      4.49   1000000         0
832.87/833.15	c        44       130    114.72     24.66      4.65   1000000         0
834.07/834.32	c        42       112    115.62     23.92      4.83   1000000         0
835.17/835.49	c        51       109    118.34     23.27      5.09   1000000         0
836.37/836.67	c        55       105    119.15     22.73      5.24   1000000         0
837.57/837.84	c        38        98    117.10     24.11      4.86   1000000         0
838.77/839.00	c        41       107    120.94     24.96      4.85   1000000         0
839.87/840.17	c        46       102    114.53     21.74      5.27   1000000         0
841.07/841.34	c        52       144    117.72     22.59      5.21   1000000         0
842.27/842.52	c        45       169    114.48     23.69      4.83   1000000         0
843.37/843.68	c        45       121    116.28     22.36      5.20   1000000         0
844.57/844.85	c        49       138    117.41     22.04      5.33   1000000         0
845.77/846.02	c        45       117    115.81     23.48      4.93   1000000         0
846.86/847.18	c        46       103    114.11     23.91      4.77   1000000         0
848.06/848.35	c        55       122    120.42     24.44      4.93   1000000         0
849.26/849.52	c        45        74    119.57     24.08      4.96   1000000         0
850.36/850.69	c        45       116    117.18     24.91      4.70   1000000         0
851.56/851.85	c        42       130    116.42     24.82      4.69   1000000         0
852.76/853.02	c        38       121    114.47     26.35      4.34   1000000         0
853.96/854.20	c        51       109    116.14     23.13      5.02   1000000         0
855.06/855.38	c        54       128    119.51     25.19      4.74   1000000         0
856.26/856.54	c        46       117    119.50     24.05      4.97   1000000         0
857.46/857.71	c        48       125    115.62     23.45      4.93   1000000         0
858.56/858.87	c        40       101    117.02     24.87      4.71   1000000         0
859.76/860.05	c        34       127    115.77     23.81      4.86   1000000         0
860.97/861.24	c        45       129    117.53     20.92      5.62   1000000         0
862.17/862.41	c        51       146    117.23     23.84      4.92   1000000         0
863.27/863.58	c        39       125    112.01     22.01      5.09   1000000         0
864.46/864.75	c        43       105    115.42     21.40      5.39   1000000         0
865.66/865.92	c        53       104    119.09     26.03      4.57   1000000         0
866.76/867.09	c        46       108    117.26     23.67      4.95   1000000         0
867.96/868.27	c        49        96    118.01     23.07      5.12   1000000         0
869.16/869.43	c        47        98    117.42     23.91      4.91   1000000         0
870.36/870.60	c        40       105    115.21     25.40      4.54   1000000         0
871.46/871.77	c        46       119    118.84     24.33      4.88   1000000         0
872.66/872.95	c        24       105    115.86     25.78      4.49   1000000         0
873.86/874.13	c        53       115    119.25     23.35      5.11   1000000         0
875.06/875.31	c        48       118    118.19     23.12      5.11   1000000         0
876.16/876.48	c        54       127    120.07     23.71      5.06   1000000         0
877.36/877.65	c        40       140    119.85     24.42      4.91   1000000         0
878.56/878.83	c        45       144    122.17     26.01      4.70   1000000         0
879.76/880.01	c        27       153    119.80     26.04      4.60   1000000         0
880.86/881.18	c        47       105    119.32     26.81      4.45   1000000         0
882.05/882.36	c        47       128    116.20     25.31      4.59   1000000         0
883.25/883.52	c        40       104    116.07     26.52      4.38   1000000         0
884.35/884.68	c        40       121    117.47     25.52      4.60   1000000         0
885.55/885.87	c        45       103    115.37     25.26      4.57   1000000         0
886.75/887.04	c        46       144    115.15     23.46      4.91   1000000         0
887.95/888.23	c        43       134    112.32     22.57      4.98   1000000         0
889.15/889.41	c        48        94    115.14     25.62      4.49   1000000         0
890.25/890.58	c        52       106    120.15     23.03      5.22   1000000         0
891.45/891.74	c        47       117    118.79     23.73      5.01   1000000         0
892.65/892.91	c        54       113    118.97     25.94      4.59   1000000         0
893.75/894.08	c        39       123    121.18     24.42      4.96   1000000         0
894.95/895.25	c        49       126    116.98     22.02      5.31   1000000         0
896.16/896.43	c        47       119    116.91     24.02      4.87   1000000         0
897.26/897.59	c        54       117    118.84     21.38      5.56   1000000         0
898.46/898.76	c        49       119    120.33     24.68      4.88   1000000         0
899.65/899.93	c        42        98    118.32     25.61      4.62   1000000         0
900.85/901.10	c        42       129    119.75     24.64      4.86   1000000         0
901.95/902.29	c        47       154    120.47     24.34      4.95   1000000         0
903.15/903.47	c        32       145    117.14     25.00      4.68   1000000         0
904.35/904.63	c        43       126    114.98     22.78      5.05   1000000         0
905.55/905.81	c        55       100    119.02     21.53      5.53   1000000         0
906.65/906.98	c        48       119    116.81     26.80      4.36   1000000         0
907.85/908.16	c        45        90    118.35     25.16      4.70   1000000         0
909.05/909.34	c        56       127    124.43     23.33      5.33   1000000         0
910.25/910.52	c        45        97    115.38     22.71      5.08   1000000         0
911.35/911.69	c        38       123    113.87     23.50      4.84   1000000         0
912.55/912.85	c        42        58    113.23     23.15      4.89   1000000         0
913.76/914.02	c        46        94    118.72     24.82      4.78   1000000         0
914.95/915.21	c        36       124    116.05     24.28      4.78   1000000         0
916.05/916.38	c        48       154    117.58     24.95      4.71   1000000         0
917.25/917.55	c        37        88    118.76     25.30      4.69   1000000         0
918.45/918.71	c        49        92    118.00     23.80      4.96   1000000         0
919.55/919.89	c        42       100    108.62     24.59      4.42   1000000         0
920.75/921.05	c        53       122    118.31     24.66      4.80   1000000         0
921.95/922.22	c        50       122    117.53     22.40      5.25   1000000         0
923.04/923.38	c        55       131    120.06     23.47      5.11   1000000         0
924.24/924.55	c        53       119    118.62     23.67      5.01   1000000         0
925.44/925.72	c        52       148    118.30     21.56      5.49   1000000         0
926.64/926.90	c        43        97    115.54     27.13      4.26   1000000         0
927.74/928.07	c        35       112    120.42     26.68      4.51   1000000         0
928.94/929.25	c        47       112    117.45     25.82      4.55   1000000         0
930.14/930.42	c        59        96    118.81     22.19      5.35   1000000         0
931.24/931.59	c        44       106    113.30     24.46      4.63   1000000         0
932.45/932.76	c        50       135    116.15     26.59      4.37   1000000         0
933.65/933.93	c        58       116    118.61     21.50      5.52   1000000         0
934.75/935.10	c        53       104    115.72     23.22      4.98   1000000         0
935.94/936.28	c        40       104    117.30     26.62      4.41   1000000         0
937.14/937.45	c        43       114    118.94     25.17      4.73   1000000         0
938.24/938.60	c        50       124    118.47     25.21      4.70   1000000         0
939.44/939.78	c        41       103    119.40     25.01      4.77   1000000         0
940.64/940.94	c        47        79    116.94     22.87      5.11   1000000         0
941.84/942.12	c        50        80    116.51     23.62      4.93   1000000         0
943.04/943.30	c        56       121    122.83     23.92      5.13   1000000         0
944.14/944.48	c        41       112    113.06     24.27      4.66   1000000         0
945.34/945.64	c        45        99    118.43     22.96      5.16   1000000         0
946.54/946.80	c        50       103    116.58     24.73      4.71   1000000         0
947.64/947.98	c        52       106    119.32     23.46      5.09   1000000         0
948.84/949.16	c        50       106    118.18     26.01      4.54   1000000         0
950.04/950.33	c        54       121    123.38     23.32      5.29   1000000         0
951.14/951.50	c        48       101    116.47     25.01      4.66   1000000         0
952.34/952.68	c        46       110    113.43     23.42      4.84   1000000         0
953.54/953.84	c        43       121    114.80     27.22      4.22   1000000         0
954.74/955.02	c        56       140    118.48     21.40      5.54   1000000         0
955.94/956.21	c        45       127    115.95     22.02      5.27   1000000         0
957.04/957.39	c        53        81    121.44     24.38      4.98   1000000         0
958.23/958.57	c        50       114    119.10     24.00      4.96   1000000         0
959.43/959.74	c        53       113    118.65     23.53      5.04   1000000         0
960.63/960.92	c        45       139    111.59     23.22      4.81   1000000         0
961.73/962.08	c        37        97    113.97     23.76      4.80   1000000         0
962.93/963.25	c        49        94    115.88     22.59      5.13   1000000         0
964.13/964.41	c        49        79    118.78     23.17      5.13   1000000         0
965.23/965.59	c        48       128    110.20     23.59      4.67   1000000         0
966.43/966.77	c        52        97    118.63     23.92      4.96   1000000         0
967.64/967.95	c        49       122    120.37     23.58      5.10   1000000         0
968.84/969.13	c        57       103    117.30     25.04      4.68   1000000         0
970.03/970.31	c        42       104    120.51     24.61      4.90   1000000         0
971.13/971.48	c        48       118    115.34     23.59      4.89   1000000         0
972.33/972.66	c        48       139    117.80     24.83      4.74   1000000         0
973.53/973.83	c        30       161    115.24     24.36      4.73   1000000         0
974.63/974.99	c        55       149    117.15     21.44      5.46   1000000         0
975.83/976.16	c        52        92    119.54     23.27      5.14   1000000         0
977.03/977.33	c        46       120    118.58     25.89      4.58   1000000         0
978.13/978.49	c        42       121    112.31     25.20      4.46   1000000         0
979.33/979.67	c        34        86    115.86     24.92      4.65   1000000         0
980.53/980.84	c        51        99    119.61     24.38      4.91   1000000         0
981.73/982.01	c        37       130    117.37     25.01      4.69   1000000         0
982.83/983.17	c        39        95    114.36     25.00      4.57   1000000         0
984.03/984.35	c        48       144    117.82     25.81      4.57   1000000         0
985.23/985.52	c        48       136    119.70     24.80      4.83   1000000         0
986.33/986.70	c        50       105    120.24     24.91      4.83   1000000         0
987.53/987.86	c        58       124    123.76     21.91      5.65   1000000         0
988.73/989.02	c        53       132    120.50     22.76      5.29   1000000         0
989.93/990.20	c        43       132    115.41     24.20      4.77   1000000         0
991.03/991.35	c        41       139    112.91     25.94      4.35   1000000         0
992.23/992.52	c        39       122    112.74     23.61      4.77   1000000         0
993.32/993.68	c        46       102    114.78     23.01      4.99   1000000         0
994.52/994.85	c        46        99    116.82     24.40      4.79   1000000         0
995.72/996.01	c        48       137    114.50     23.87      4.80   1000000         0
996.82/997.18	c        44       118    118.78     25.35      4.69   1000000         0
998.02/998.34	c        48        88    121.38     27.48      4.42   1000000         0
999.22/999.51	c        50        92    116.33     24.58      4.73   1000000         0
1000.32/1000.68	c        60        85    121.31     23.89      5.08   1000000         0
1001.52/1001.86	c        48        91    117.70     24.65      4.77   1000000         0
1002.72/1003.04	c        53       113    121.16     24.55      4.93   1000000         0
1003.93/1004.21	c        39       112    122.24     25.64      4.77   1000000         0
1005.03/1005.38	c        60       114    123.60     27.54      4.49   1000000         0
1006.23/1006.55	c        53       138    116.91     21.57      5.42   1000000         0
1007.42/1007.72	c        47       142    116.82     24.57      4.75   1000000         0
1008.52/1008.89	c        54       143    118.90     21.14      5.63   1000000         0
1009.72/1010.06	c        55       120    119.68     23.04      5.19   1000000         0
1010.92/1011.24	c        43       115    118.09     24.52      4.82   1000000         0
1012.12/1012.41	c        44        87    114.70     24.05      4.77   1000000         0
1013.22/1013.56	c        41       104    115.33     24.13      4.78   1000000         0
1014.42/1014.74	c        56       103    117.92     22.77      5.18   1000000         0
1015.62/1015.91	c        53       114    120.13     23.98      5.01   1000000         0
1016.72/1017.09	c        50       156    115.66     22.42      5.16   1000000         0
1017.92/1018.26	c        50       167    113.92     22.90      4.98   1000000         0
1019.12/1019.42	c        53       110    120.63     22.45      5.37   1000000         0
1020.22/1020.58	c        37       118    113.87     28.63      3.98   1000000         0
1021.42/1021.75	c        41       112    116.28     24.38      4.77   1000000         0
1022.62/1022.91	c        39        83    115.52     23.82      4.85   1000000         0
1023.72/1024.09	c        50        83    120.15     24.55      4.89   1000000         0
1024.93/1025.27	c        46       122    123.01     24.24      5.07   1000000         0
1026.12/1026.44	c        42        92    114.66     26.02      4.41   1000000         0
1027.32/1027.62	c        46        88    113.05     24.05      4.70   1000000         0
1028.42/1028.79	c        44       112    117.59     23.65      4.97   1000000         0
1029.62/1029.95	c        44       109    120.04     23.81      5.04   1000000         0
1030.82/1031.13	c        46        89    120.13     22.57      5.32   1000000         0
1032.02/1032.30	c        47       132    119.14     25.07      4.75   1000000         0
1033.11/1033.47	c        46       133    119.64     24.81      4.82   1000000         0
1034.31/1034.63	c        47       100    117.40     24.39      4.81   1000000         0
1035.51/1035.80	c        39       107    116.00     24.85      4.67   1000000         0
1036.61/1036.97	c        46       106    117.23     20.92      5.60   1000000         0
1037.81/1038.15	c        45        98    112.72     23.51      4.79   1000000         0
1039.01/1039.31	c        45       126    121.29     23.64      5.13   1000000         0
1040.11/1040.47	c        45       144    115.43     27.09      4.26   1000000         0
1041.32/1041.65	c        45       117    116.29     22.28      5.22   1000000         0
1042.52/1042.81	c        53       101    118.29     22.90      5.16   1000000         0
1043.62/1043.97	c        40       105    121.68     27.98      4.35   1000000         0
1044.81/1045.15	c        53       142    118.33     22.69      5.21   1000000         0
1046.01/1046.32	c        36        85    117.02     25.74      4.55   1000000         0
1047.21/1047.50	c        38       111    117.43     23.60      4.98   1000000         0
1048.31/1048.67	c        48       117    115.32     26.05      4.43   1000000         0
1049.51/1049.84	c        43       108    116.42     21.67      5.37   1000000         0
1050.71/1051.02	c        39       112    113.10     21.49      5.26   1000000         0
1051.81/1052.19	c        49        93    114.84     23.07      4.98   1000000         0
1053.01/1053.35	c        33       123    115.76     24.97      4.64   1000000         0
1054.21/1054.53	c        48       122    119.77     25.00      4.79   1000000         0
1055.31/1055.70	c        43       159    116.46     25.00      4.66   1000000         0
1056.51/1056.87	c        49        95    116.73     22.80      5.12   1000000         0
1057.71/1058.05	c        52        94    117.63     26.19      4.49   1000000         0
1058.92/1059.21	c        40       139    114.32     22.87      5.00   1000000         0
1060.01/1060.40	c        55        95    118.51     24.16      4.91   1000000         0
1061.21/1061.58	c        55       132    121.79     24.25      5.02   1000000         0
1062.41/1062.76	c        40        90    112.81     23.47      4.81   1000000         0
1063.61/1063.94	c        41       108    117.75     29.32      4.02   1000000         0
1064.81/1065.10	c        51       107    117.87     22.84      5.16   1000000         0
1065.91/1066.28	c        50       135    117.37     22.18      5.29   1000000         0
1067.11/1067.45	c        59       134    117.41     23.55      4.99   1000000         0
1068.31/1068.62	c        49       138    118.95     23.91      4.97   1000000         0
1069.41/1069.78	c        48       139    121.84     24.73      4.93   1000000         0
1070.61/1070.96	c        49       129    113.41     26.39      4.30   1000000         0
1071.81/1072.13	c        42       102    115.64     24.16      4.79   1000000         0
1073.00/1073.31	c        28       104    115.59     26.12      4.43   1000000         0
1074.10/1074.48	c        53        99    118.95     24.39      4.88   1000000         0
1075.30/1075.66	c        53        87    120.43     24.52      4.91   1000000         0
1076.51/1076.83	c        47        98    119.26     25.66      4.65   1000000         0
1077.71/1078.01	c        44       102    113.71     22.21      5.12   1000000         0
1078.90/1079.20	c        47       139    116.07     23.27      4.99   1000000         0
1080.00/1080.39	c        53       123    116.47     23.66      4.92   1000000         0
1081.20/1081.54	c        47        83    120.25     25.58      4.70   1000000         0
1082.40/1082.71	c        52       136    117.28     25.71      4.56   1000000         0
1083.50/1083.88	c        51       134    119.60     22.56      5.30   1000000         0
1084.70/1085.06	c        51        65    120.27     23.57      5.10   1000000         0
1085.90/1086.23	c        53        85    122.27     22.41      5.45   1000000         0
1087.10/1087.40	c        39        90    111.75     24.18      4.62   1000000         0
1088.20/1088.58	c        54       122    119.42     22.05      5.41   1000000         0
1089.40/1089.74	c        37       123    113.63     24.52      4.63   1000000         0
1090.60/1090.91	c        46       106    116.81     24.87      4.70   1000000         0
1091.70/1092.09	c        60       100    118.37     22.07      5.36   1000000         0
1092.90/1093.26	c        42       116    112.07     22.95      4.88   1000000         0
1094.11/1094.45	c        45        96    116.15     24.50      4.74   1000000         0
1095.31/1095.62	c        39        94    115.29     26.80      4.30   1000000         0
1096.41/1096.79	c        47        95    119.44     24.70      4.84   1000000         0
1097.60/1097.97	c        40        98    114.97     23.13      4.97   1000000         0
1098.80/1099.14	c        45       108    111.96     23.94      4.68   1000000         0
1100.00/1100.33	c        38        80    120.39     26.03      4.63   1000000         0
1101.20/1101.50	c        50        85    118.11     22.92      5.15   1000000         0
1102.30/1102.67	c        50        77    118.77     24.71      4.81   1000000         0
1103.50/1103.84	c        45       132    119.54     24.39      4.90   1000000         0
1104.70/1105.01	c        49       110    121.17     23.33      5.19   1000000         0
1105.80/1106.18	c        49       109    118.07     23.17      5.10   1000000         0
1107.00/1107.36	c        48       115    119.96     24.35      4.93   1000000         0
1108.20/1108.54	c        50       114    117.08     25.30      4.63   1000000         0
1109.40/1109.71	c        55       111    112.30     22.60      4.97   1000000         0
1110.50/1110.86	c        47       128    119.93     21.45      5.59   1000000         0
1111.70/1112.04	c        42       124    118.28     25.44      4.65   1000000         0
1112.90/1113.22	c        45       130    113.33     24.82      4.57   1000000         0
1114.00/1114.39	c        37       100    111.76     22.88      4.89   1000000         0
1115.19/1115.56	c        58       141    121.88     22.15      5.50   1000000         0
1116.39/1116.73	c        46       114    119.25     24.75      4.82   1000000         0
1117.59/1117.90	c        47       132    114.47     25.43      4.50   1000000         0
1118.69/1119.07	c        46       103    118.90     22.84      5.21   1000000         0
1119.89/1120.24	c        42       103    116.72     24.53      4.76   1000000         0
1121.09/1121.42	c        55       101    121.36     25.89      4.69   1000000         0
1122.29/1122.60	c        43        99    114.26     26.35      4.34   1000000         0
1123.39/1123.76	c        57       124    120.69     21.65      5.57   1000000         0
1124.59/1124.94	c        48       112    117.02     22.62      5.17   1000000         0
1125.79/1126.12	c        45       134    112.64     24.73      4.55   1000000         0
1126.89/1127.28	c        49       102    116.09     24.82      4.68   1000000         0
1128.09/1128.45	c        49       119    123.37     23.93      5.15   1000000         0
1129.30/1129.62	c        52       121    116.02     22.91      5.06   1000000         0
1130.40/1130.79	c        42        87    116.97     25.31      4.62   1000000         0
1131.60/1131.96	c        55        95    120.30     22.89      5.26   1000000         0
1132.79/1133.13	c        50       107    119.01     23.13      5.15   1000000         0
1133.99/1134.30	c        30       134    118.15     24.67      4.79   1000000         0
1135.09/1135.49	c        35        88    114.14     26.49      4.31   1000000         0
1136.29/1136.66	c        48        89    118.40     24.60      4.81   1000000         0
1137.49/1137.82	c        51        76    120.45     25.55      4.71   1000000         0
1138.59/1138.99	c        46       126    112.33     23.51      4.78   1000000         0
1139.79/1140.15	c        46       110    115.69     24.76      4.67   1000000         0
1140.99/1141.33	c        47       119    118.98     22.92      5.19   1000000         0
1142.19/1142.51	c        58       135    118.84     23.65      5.03   1000000         0
1143.29/1143.68	c        50       137    117.00     26.17      4.47   1000000         0
1144.49/1144.85	c        50       110    120.17     25.19      4.77   1000000         0
1145.68/1146.02	c        49       107    116.15     23.92      4.86   1000000         0
1146.89/1147.20	c        51        87    117.37     23.33      5.03   1000000         0
1147.99/1148.38	c        45       135    117.39     25.18      4.66   1000000         0
1149.19/1149.56	c        48        92    119.41     22.36      5.34   1000000         0
1150.38/1150.74	c        52       105    113.61     22.23      5.11   1000000         0
1151.48/1151.89	c        39        90    112.48     23.05      4.88   1000000         0
1152.68/1153.07	c        49       119    115.38     21.66      5.33   1000000         0
1153.88/1154.25	c        54       121    119.32     23.14      5.16   1000000         0
1155.08/1155.41	c        46        86    118.22     24.76      4.78   1000000         0
1156.18/1156.57	c        50        96    116.84     23.08      5.06   1000000         0
1157.38/1157.73	c        49        81    112.01     21.35      5.25   1000000         0
1158.58/1158.91	c        32       113    117.94     25.49      4.63   1000000         0
1159.68/1160.09	c        55       109    120.10     23.81      5.04   1000000         0
1160.88/1161.26	c        48        76    117.14     22.77      5.14   1000000         0
1162.08/1162.43	c        46       110    118.92     22.07      5.39   1000000         0
1163.28/1163.61	c        48        99    117.90     25.56      4.61   1000000         0
1164.38/1164.78	c        49       118    117.95     24.34      4.85   1000000         0
1165.59/1165.96	c        55       144    117.82     21.96      5.37   1000000         0
1166.79/1167.14	c        44       114    114.13     26.13      4.37   1000000         0
1167.98/1168.31	c        53        92    117.93     23.12      5.10   1000000         0
1169.08/1169.48	c        48       110    118.58     25.61      4.63   1000000         0
1170.28/1170.65	c        46       137    123.29     23.60      5.22   1000000         0
1171.48/1171.83	c        43        98    119.36     24.35      4.90   1000000         0
1172.58/1172.99	c        60       107    121.51     23.26      5.22   1000000         0
1173.78/1174.16	c        52       118    119.70     24.27      4.93   1000000         0
1174.98/1175.33	c        40       100    114.32     25.63      4.46   1000000         0
1176.18/1176.50	c        41       112    117.28     23.88      4.91   1000000         0
1177.28/1177.67	c        48       163    118.16     23.69      4.99   1000000         0
1178.48/1178.84	c        40       143    119.04     23.65      5.03   1000000         0
1179.68/1180.03	c        49       110    120.87     23.39      5.17   1000000         0
1180.88/1181.20	c        38       130    115.00     23.78      4.84   1000000         0
1181.98/1182.38	c        44       126    114.09     26.20      4.35   1000000         0
1183.18/1183.55	c        53       117    116.24     24.15      4.81   1000000         0
1184.38/1184.72	c        44       137    112.99     22.37      5.05   1000000         0
1185.58/1185.90	c        47       109    114.35     22.78      5.02   1000000         0
1186.68/1187.06	c        40       143    113.89     24.01      4.74   1000000         0
1187.88/1188.23	c        51       116    116.68     29.72      3.93   1000000         0
1189.07/1189.42	c        31       122    115.69     24.29      4.76   1000000         0
1190.17/1190.58	c        54       134    117.23     25.51      4.60   1000000         0
1191.37/1191.75	c        35        77    117.43     26.30      4.47   1000000         0
1192.57/1192.93	c        45        95    116.70     23.77      4.91   1000000         0
1193.67/1194.09	c        38        86    114.72     24.29      4.72   1000000         0
1194.87/1195.25	c        46       114    122.08     24.83      4.92   1000000         0
1196.07/1196.42	c        55       109    122.09     21.16      5.77   1000000         0
1197.17/1197.59	c        43       100    114.88     24.30      4.73   1000000         0
1198.37/1198.75	c        46       129    117.58     26.22      4.48   1000000         0
1199.57/1199.93	c        47       138    116.44     22.81      5.10   1000000         0
1200.67/1201.09	c        38       103    118.31     24.88      4.75   1000000         0
1201.88/1202.27	c        53       110    115.36     22.78      5.06   1000000         0
1203.08/1203.43	c        47       111    116.67     24.03      4.86   1000000         0
1204.18/1204.59	c        33       131    113.12     24.15      4.68   1000000         0
1205.37/1205.77	c        44       130    117.75     25.05      4.70   1000000         0
1206.57/1206.93	c        47       127    117.21     21.45      5.46   1000000         0
1207.67/1208.10	c        37       102    115.28     24.01      4.80   1000000         0
1208.87/1209.28	c        52       138    119.41     23.30      5.12   1000000         0
1210.07/1210.46	c        53       111    119.95     28.36      4.23   1000000         0
1211.27/1211.63	c        47       153    116.37     25.90      4.49   1000000         0
1212.37/1212.79	c        49       125    113.21     23.03      4.92   1000000         0
1213.57/1213.96	c        40       100    114.84     25.77      4.46   1000000         0
1214.77/1215.13	c        51       160    120.45     23.73      5.08   1000000         0
1215.87/1216.29	c        46       120    116.12     25.62      4.53   1000000         0
1217.07/1217.47	c        41       138    114.46     26.18      4.37   1000000         0
1218.27/1218.64	c        52       110    117.08     24.11      4.86   1000000         0
1219.47/1219.81	c        48       128    118.18     26.40      4.48   1000000         0
1220.57/1220.99	c        46       126    116.74     23.42      4.99   1000000         0
1221.77/1222.16	c        39       131    117.55     27.98      4.20   1000000         0
1222.97/1223.34	c        56       108    121.77     26.02      4.68   1000000         0
1224.16/1224.52	c        53       121    119.29     24.06      4.96   1000000         0
1225.26/1225.69	c        40       150    115.24     28.26      4.08   1000000         0
1226.46/1226.86	c        47       130    119.66     20.82      5.75   1000000         0
1227.66/1228.05	c        52       110    116.83     24.90      4.69   1000000         0
1228.86/1229.22	c        36       119    117.38     26.97      4.35   1000000         0
1229.96/1230.39	c        51       132    115.54     25.71      4.49   1000000         0
1231.16/1231.57	c        36       109    115.18     24.02      4.79   1000000         0
1232.36/1232.73	c        51       115    117.76     21.91      5.37   1000000         0
1233.56/1233.90	c        47        96    116.24     21.32      5.45   1000000         0
1234.66/1235.06	c        60       110    123.97     26.32      4.71   1000000         0
1235.86/1236.23	c        49       120    115.00     23.88      4.82   1000000         0
1237.07/1237.41	c        33       110    113.59     27.39      4.15   1000000         0
1238.17/1238.57	c        49        78    118.21     23.34      5.07   1000000         0
1239.37/1239.75	c        50       133    118.87     24.55      4.84   1000000         0
1240.56/1240.92	c        45       148    114.20     22.22      5.14   1000000         0
1241.66/1242.10	c        38       103    118.14     23.61      5.00   1000000         0
1242.86/1243.27	c        46       130    116.04     24.17      4.80   1000000         0
1244.06/1244.42	c        52       111    117.32     22.02      5.33   1000000         0
1245.16/1245.59	c        53       124    121.79     21.71      5.61   1000000         0
1246.36/1246.76	c        46        86    118.74     24.22      4.90   1000000         0
1247.56/1247.92	c        52       103    120.79     22.95      5.26   1000000         0
1248.76/1249.10	c        47        93    111.55     24.67      4.52   1000000         0
1249.86/1250.27	c        51        97    118.21     23.50      5.03   1000000         0
1251.06/1251.44	c        48       143    117.13     24.60      4.76   1000000         0
1252.26/1252.60	c        45       128    121.16     24.71      4.90   1000000         0
1253.36/1253.77	c        41        91    115.85     25.17      4.60   1000000         0
1254.56/1254.93	c        44       113    117.35     24.04      4.88   1000000         0
1255.76/1256.10	c        51       113    116.64     22.53      5.18   1000000         0
1256.86/1257.29	c        40        94    120.30     23.46      5.13   1000000         0
1258.06/1258.45	c        55       132    118.67     23.10      5.14   1000000         0
1259.26/1259.62	c        51        93    117.78     22.58      5.22   1000000         0
1260.46/1260.80	c        39       106    114.83     24.49      4.69   1000000         0
1261.56/1261.97	c        41        90    114.58     22.60      5.07   1000000         0
1262.76/1263.14	c        51       185    119.83     23.18      5.17   1000000         0
1263.95/1264.31	c        52        96    120.01     23.59      5.09   1000000         0
1265.05/1265.48	c        52        98    117.27     23.04      5.09   1000000         0
1266.25/1266.66	c        47       110    119.26     25.88      4.61   1000000         0
1267.45/1267.83	c        46       152    123.18     25.39      4.85   1000000         0
1268.65/1269.01	c        44       118    115.45     26.71      4.32   1000000         0
1269.75/1270.18	c        43       108    118.14     25.20      4.69   1000000         0
1270.95/1271.36	c        53       126    123.50     25.11      4.92   1000000         0
1272.15/1272.53	c        53       125    118.35     20.20      5.86   1000000         0
1273.36/1273.72	c        52       102    122.15     27.01      4.52   1000000         0
1274.46/1274.90	c        53       125    116.37     23.09      5.04   1000000         0
1275.66/1276.06	c        43       108    114.95     26.14      4.40   1000000         0
1276.85/1277.25	c        56       125    123.49     22.20      5.56   1000000         0
1278.05/1278.43	c        39       105    118.06     25.12      4.70   1000000         0
1279.25/1279.61	c        49       136    117.94     26.35      4.48   1000000         0
1280.35/1280.79	c        48       151    117.38     24.72      4.75   1000000         0
1281.55/1281.97	c        47       140    118.08     25.00      4.72   1000000         0
1282.75/1283.14	c        43       110    119.59     28.02      4.27   1000000         0
1283.95/1284.32	c        32       103    112.71     24.61      4.58   1000000         0
1285.05/1285.49	c        41       112    115.22     24.20      4.76   1000000         0
1286.25/1286.66	c        45        98    111.48     23.23      4.80   1000000         0
1287.45/1287.82	c        45        96    116.75     23.47      4.97   1000000         0
1288.65/1289.00	c        47       115    115.02     23.11      4.98   1000000         0
1289.75/1290.18	c        51       141    120.04     25.43      4.72   1000000         0
1290.95/1291.35	c        46       110    117.83     23.52      5.01   1000000         0
1292.15/1292.52	c        47       126    115.71     23.41      4.94   1000000         0
1293.25/1293.69	c        45       117    116.59     24.56      4.75   1000000         0
1294.45/1294.86	c        44       125    121.62     23.92      5.08   1000000         0
1295.65/1296.03	c        49        99    118.95     24.17      4.92   1000000         0
1296.85/1297.20	c        53        81    118.36     25.68      4.61   1000000         0
1297.95/1298.38	c        45       128    118.91     26.92      4.42   1000000         0
1299.15/1299.55	c        54       141    117.76     23.22      5.07   1000000         0
1300.35/1300.73	c        61       110    123.02     24.37      5.05   1000000         0
1301.55/1301.91	c        43       116    115.24     24.91      4.63   1000000         0
1302.64/1303.08	c        52       109    114.67     22.57      5.08   1000000         0
1303.84/1304.25	c        52       139    119.29     24.76      4.82   1000000         0
1305.04/1305.42	c        29       130    115.91     23.90      4.85   1000000         0
1306.14/1306.59	c        52       126    117.40     24.85      4.72   1000000         0
1307.34/1307.76	c        47       168    116.79     21.88      5.34   1000000         0
1308.55/1308.93	c        52       149    118.20     24.46      4.83   1000000         0
1309.65/1310.09	c        44       114    115.65     25.06      4.62   1000000         0
1310.85/1311.27	c        40       146    116.03     22.24      5.22   1000000         0
1312.04/1312.44	c        44       122    115.94     25.05      4.63   1000000         0
1313.24/1313.60	c        44       111    115.57     21.78      5.31   1000000         0
1314.34/1314.77	c        45       145    120.91     28.01      4.32   1000000         0
1315.54/1315.95	c        35       106    111.56     24.45      4.56   1000000         0
1316.74/1317.12	c        55        86    116.24     23.91      4.86   1000000         0
1317.84/1318.29	c        54        92    121.50     20.79      5.84   1000000         0
1319.04/1319.46	c        45       112    115.22     23.03      5.00   1000000         0
1320.24/1320.63	c        53       142    117.51     24.19      4.86   1000000         0
1321.44/1321.80	c        43       105    116.03     24.06      4.82   1000000         0
1322.54/1322.98	c        36       123    114.96     25.39      4.53   1000000         0
1323.74/1324.13	c        49       119    114.93     25.53      4.50   1000000         0
1324.94/1325.30	c        57       102    120.73     23.23      5.20   1000000         0
1326.04/1326.47	c        46       113    117.98     24.41      4.83   1000000         0
1327.25/1327.65	c        57       144    120.65     22.91      5.27   1000000         0
1328.45/1328.81	c        48        70    115.58     22.65      5.10   1000000         0
1329.54/1329.98	c        45       123    113.49     22.85      4.97   1000000         0
1330.74/1331.15	c        52       138    117.75     23.09      5.10   1000000         0
1331.94/1332.32	c        47       128    116.20     23.79      4.88   1000000         0
1333.14/1333.51	c        60       109    119.45     24.62      4.85   1000000         0
1334.24/1334.68	c        47       109    115.40     23.76      4.86   1000000         0
1335.44/1335.84	c        46       113    114.59     24.08      4.76   1000000         0
1336.64/1337.01	c        40       105    116.84     25.63      4.56   1000000         0
1337.74/1338.17	c        55       129    119.74     23.25      5.15   1000000         0
1338.94/1339.36	c        50       132    115.48     23.22      4.97   1000000         0
1340.14/1340.53	c        50       107    119.80     22.08      5.42   1000000         0
1341.34/1341.72	c        50       143    116.51     22.45      5.19   1000000         0
1342.43/1342.89	c        43       141    115.05     25.35      4.54   1000000         0
1343.63/1344.07	c        50       109    117.04     23.77      4.92   1000000         0
1344.84/1345.24	c        45       108    118.61     24.71      4.80   1000000         0
1346.04/1346.41	c        54       111    117.72     23.08      5.10   1000000         0
1347.14/1347.58	c        53       130    120.73     22.76      5.30   1000000         0
1348.33/1348.74	c        51       149    118.54     22.59      5.25   1000000         0
1349.53/1349.92	c        44       105    115.20     23.91      4.82   1000000         0
1350.73/1351.10	c        53       122    119.95     22.34      5.37   1000000         0
1351.83/1352.27	c        36       114    109.84     27.07      4.06   1000000         0
1353.03/1353.44	c        44       101    117.48     25.00      4.70   1000000         0
1354.23/1354.60	c        42        84    109.12     24.57      4.44   1000000         0
1355.33/1355.77	c        39       145    115.08     25.22      4.56   1000000         0
1356.53/1356.94	c        37       109    116.67     24.15      4.83   1000000         0
1357.73/1358.11	c        54       110    120.41     23.21      5.19   1000000         0
1358.83/1359.27	c        42        95    114.50     22.98      4.98   1000000         0
1360.03/1360.43	c        40        91    117.31     21.88      5.36   1000000         0
1361.23/1361.61	c        51       116    117.09     22.95      5.10   1000000         0
1362.33/1362.79	c        51       106    121.45     26.44      4.59   1000000         0
1363.54/1363.97	c        51        98    119.40     25.65      4.65   1000000         0
1364.74/1365.14	c        49       193    117.00     23.32      5.02   1000000         0
1365.93/1366.30	c        37       102    108.45     26.84      4.04   1000000         0
1367.03/1367.48	c        43       122    114.22     25.13      4.55   1000000         0
1368.23/1368.65	c        34       104    116.35     27.34      4.26   1000000         0
1369.43/1369.83	c        45       134    117.69     23.86      4.93   1000000         0
1370.63/1371.00	c        46       116    118.89     25.70      4.63   1000000         0
1371.73/1372.16	c        52       130    122.14     25.12      4.86   1000000         0
1372.93/1373.33	c        54       112    116.44     23.65      4.92   1000000         0
1374.13/1374.51	c        38       126    117.32     24.67      4.76   1000000         0
1375.23/1375.69	c        22       117    115.96     25.25      4.59   1000000         0
1376.42/1376.86	c        50       100    115.43     22.99      5.02   1000000         0
1377.62/1378.04	c        52       134    117.80     23.71      4.97   1000000         0
1378.82/1379.21	c        44       116    118.48     25.76      4.60   1000000         0
1379.92/1380.38	c        47       120    119.04     24.65      4.83   1000000         0
1381.13/1381.56	c        40       105    114.24     26.16      4.37   1000000         0
1382.33/1382.73	c        47       113    117.83     23.85      4.94   1000000         0
1383.52/1383.92	c        54       182    121.68     25.30      4.81   1000000         0
1384.72/1385.10	c        47        98    115.57     23.70      4.88   1000000         0
1385.82/1386.27	c        56       104    119.38     23.20      5.15   1000000         0
1387.02/1387.43	c        40        96    114.77     24.48      4.69   1000000         0
1388.12/1388.59	c        38       107    115.77     23.14      5.00   1000000         0
1389.32/1389.77	c        43        88    115.72     25.76      4.49   1000000         0
1390.52/1390.95	c        38       103    118.05     22.97      5.14   1000000         0
1391.72/1392.13	c        43        82    115.49     24.51      4.71   1000000         0
1392.92/1393.31	c        43       116    114.83     25.79      4.45   1000000         0
1394.02/1394.48	c        50        81    116.23     26.46      4.39   1000000         0
1395.22/1395.65	c        41        92    114.83     23.49      4.89   1000000         0
1396.42/1396.82	c        54       114    119.10     22.90      5.20   1000000         0
1397.63/1398.00	c        51        93    116.48     23.01      5.06   1000000         0
1398.73/1399.17	c        40       119    116.60     23.92      4.87   1000000         0
1399.93/1400.35	c        53       156    121.56     23.19      5.24   1000000         0
1401.12/1401.51	c        32        75    114.86     22.36      5.14   1000000         0
1402.22/1402.70	c        46        95    120.66     24.49      4.93   1000000         0
1403.42/1403.88	c        50       141    118.16     23.78      4.97   1000000         0
1404.62/1405.05	c        47       127    115.84     25.52      4.54   1000000         0
1405.82/1406.23	c        35       108    117.38     25.26      4.65   1000000         0
1407.02/1407.42	c        50       116    116.50     29.23      3.99   1000000         0
1408.12/1408.58	c        55        81    113.79     24.03      4.74   1000000         0
1409.32/1409.76	c        49       115    118.58     21.58      5.50   1000000         0
1410.52/1410.94	c        45       118    120.01     20.67      5.81   1000000         0
1411.71/1412.11	c        51       156    117.38     23.66      4.96   1000000         0
1412.81/1413.28	c        47       135    116.72     25.85      4.51   1000000         0
1414.01/1414.46	c        49       148    120.40     23.87      5.05   1000000         0
1415.22/1415.64	c        44       124    117.96     23.46      5.03   1000000         0
1416.42/1416.82	c        47       119    114.99     24.76      4.64   1000000         0
1417.52/1417.99	c        48       116    118.74     25.88      4.59   1000000         0
1418.71/1419.16	c        52       131    114.55     25.83      4.44   1000000         0
1419.91/1420.33	c        45       131    114.47     22.92      4.99   1000000         0
1421.11/1421.51	c        43       110    118.67     25.83      4.59   1000000         0
1422.21/1422.67	c        42        82    114.19     24.87      4.59   1000000         0
1423.41/1423.83	c        46       100    114.70     23.81      4.82   1000000         0
1424.61/1425.00	c        52        86    114.26     22.67      5.04   1000000         0
1425.71/1426.18	c        47       103    116.79     22.74      5.14   1000000         0
1426.91/1427.33	c        51       114    112.57     22.62      4.98   1000000         0
1428.11/1428.51	c        45       118    119.11     22.26      5.35   1000000         0
1429.21/1429.69	c        51       128    119.09     20.31      5.86   1000000         0
1430.41/1430.87	c        45       103    121.42     25.05      4.85   1000000         0
1431.61/1432.03	c        38       146    119.33     23.95      4.98   1000000         0
1432.82/1433.21	c        47       108    111.44     22.78      4.89   1000000         0
1433.92/1434.38	c        53       132    116.96     21.01      5.57   1000000         0
1435.12/1435.55	c        46       112    115.15     25.51      4.51   1000000         0
1436.31/1436.72	c        36       138    115.90     26.56      4.36   1000000         0
1437.41/1437.89	c        53       109    117.36     24.72      4.75   1000000         0
1438.61/1439.07	c        58        98    117.76     20.71      5.69   1000000         0
1439.81/1440.24	c        52       139    121.51     24.90      4.88   1000000         0
1441.01/1441.41	c        54       121    119.98     25.89      4.63   1000000         0
1442.11/1442.59	c        49       131    117.36     23.39      5.02   1000000         0
1443.31/1443.76	c        34       142    118.31     23.97      4.94   1000000         0
1444.51/1444.94	c        55        93    119.34     23.32      5.12   1000000         0
1445.71/1446.10	c        42       119    120.42     24.10      5.00   1000000         0
1446.81/1447.28	c        49       117    121.79     22.64      5.38   1000000         0
1448.01/1448.45	c        41        81    115.72     27.45      4.22   1000000         0
1449.21/1449.61	c        48       128    120.33     23.15      5.20   1000000         0
1450.31/1450.78	c        47        78    119.26     27.63      4.32   1000000         0
1451.51/1451.96	c        42       132    118.55     22.51      5.27   1000000         0
1452.71/1453.13	c        58       117    120.72     23.01      5.25   1000000         0
1453.90/1454.30	c        43       108    116.40     25.41      4.58   1000000         0
1455.00/1455.46	c        58        99    121.46     23.56      5.16   1000000         0
1456.20/1456.63	c        50       110    121.40     25.74      4.72   1000000         0
1457.30/1457.79	c        54       122    118.08     20.91      5.65   1000000         0
1458.50/1458.95	c        48       113    119.22     21.67      5.50   1000000         0
1459.70/1460.12	c        50       110    118.28     24.27      4.87   1000000         0
1460.80/1461.28	c        49       134    117.85     23.83      4.94   1000000         0
1462.00/1462.45	c        53       103    118.37     25.40      4.66   1000000         0
1463.20/1463.63	c        44       185    112.12     27.55      4.07   1000000         0
1464.30/1464.79	c        53       165    118.62     21.76      5.45   1000000         0
1465.50/1465.97	c        49       106    119.71     21.50      5.57   1000000         0
1466.70/1467.14	c        50       103    119.16     23.17      5.14   1000000         0
1467.90/1468.32	c        57       130    119.44     23.78      5.02   1000000         0
1469.11/1469.50	c        50       135    115.32     23.89      4.83   1000000         0
1470.21/1470.68	c        49        87    122.19     21.69      5.63   1000000         0
1471.41/1471.83	c        59       120    121.13     22.17      5.46   1000000         0
1472.51/1472.99	c        43       111    111.69     26.27      4.25   1000000         0
1473.70/1474.16	c        49       120    120.03     25.56      4.70   1000000         0
1474.90/1475.34	c        47       108    116.87     23.75      4.92   1000000         0
1476.00/1476.50	c        42       108    118.08     23.81      4.96   1000000         0
1477.20/1477.67	c        45        71    116.91     25.06      4.67   1000000         0
1478.40/1478.82	c        45       104    116.24     23.95      4.85   1000000         0
1479.60/1480.00	c        46       131    119.40     25.98      4.60   1000000         0
1480.70/1481.17	c        42       124    117.19     23.70      4.94   1000000         0
1481.90/1482.33	c        48        89    118.39     22.16      5.34   1000000         0
1483.10/1483.50	c        53       129    124.78     22.54      5.54   1000000         0
1484.20/1484.68	c        47        81    114.76     24.81      4.63   1000000         0
1485.40/1485.85	c        48       132    117.43     22.98      5.11   1000000         0
1486.60/1487.01	c        45       156    117.92     22.58      5.22   1000000         0
1487.69/1488.18	c        50        92    115.88     24.68      4.70   1000000         0
1488.90/1489.36	c        42       117    114.51     22.38      5.12   1000000         0
1490.10/1490.51	c        44       101    117.03     21.33      5.49   1000000         0
1491.20/1491.68	c        48       100    122.61     23.05      5.32   1000000         0
1492.39/1492.85	c        43       106    116.95     24.97      4.68   1000000         0
1493.59/1494.02	c        48       121    119.45     23.79      5.02   1000000         0
1494.69/1495.19	c        52       100    122.40     21.31      5.74   1000000         0
1495.89/1496.36	c        53        81    118.66     22.64      5.24   1000000         0
1497.09/1497.53	c        47       156    120.66     24.81      4.86   1000000         0
1498.29/1498.70	c        41       105    111.31     24.34      4.57   1000000         0
1499.39/1499.88	c        55       111    117.82     22.88      5.15   1000000         0
1500.59/1501.06	c        47       117    115.17     20.96      5.50   1000000         0
1501.79/1502.23	c        56        81    121.49     22.63      5.37   1000000         0
1502.99/1503.41	c        51        84    121.75     24.09      5.05   1000000         0
1504.09/1504.58	c        38        81    112.65     26.27      4.29   1000000         0
1505.29/1505.75	c        57       109    120.73     22.13      5.46   1000000         0
1506.50/1506.91	c        51       128    120.81     24.13      5.01   1000000         0
1507.60/1508.09	c        47       118    116.95     23.90      4.89   1000000         0
1508.80/1509.25	c        42       113    113.71     23.62      4.81   1000000         0
1509.99/1510.43	c        45       147    115.04     25.21      4.56   1000000         0
1511.19/1511.61	c        48       101    117.26     24.80      4.73   1000000         0
1512.29/1512.79	c        46       147    116.29     25.40      4.58   1000000         0
1513.49/1513.95	c        46       127    115.28     26.63      4.33   1000000         0
1514.69/1515.13	c        45       110    113.20     26.71      4.24   1000000         0
1515.89/1516.30	c        51       134    119.08     26.62      4.47   1000000         0
1516.99/1517.47	c        46       128    114.49     24.71      4.63   1000000         0
1518.19/1518.64	c        49       103    116.34     22.72      5.12   1000000         0
1519.39/1519.82	c        38       112    117.50     26.44      4.44   1000000         0
1520.59/1521.00	c        43       107    116.71     23.79      4.91   1000000         0
1521.69/1522.17	c        48       102    116.00     22.72      5.11   1000000         0
1522.89/1523.33	c        48       106    115.23     22.81      5.05   1000000         0
1524.09/1524.50	c        52       112    119.00     21.96      5.42   1000000         0
1525.19/1525.66	c        47       147    117.43     23.27      5.05   1000000         0
1526.39/1526.86	c        56       121    120.42     23.95      5.03   1000000         0
1527.58/1528.04	c        46       127    119.60     24.39      4.90   1000000         0
1528.78/1529.21	c        44       109    115.03     25.33      4.54   1000000         0
1529.88/1530.37	c        55       164    120.04     22.69      5.29   1000000         0
1531.08/1531.55	c        54       111    119.77     24.30      4.93   1000000         0
1532.28/1532.72	c        43       125    114.76     23.72      4.84   1000000         0
1533.38/1533.89	c        51        92    117.88     24.18      4.87   1000000         0
1534.58/1535.06	c        50       120    115.82     21.18      5.47   1000000         0
1535.78/1536.23	c        45       112    121.49     25.90      4.69   1000000         0
1536.98/1537.40	c        51       127    117.63     25.81      4.56   1000000         0
1538.08/1538.57	c        51        87    119.36     25.18      4.74   1000000         0
1539.28/1539.73	c        47       134    116.81     22.72      5.14   1000000         0
1540.48/1540.90	c        44       132    117.28     22.86      5.13   1000000         0
1541.58/1542.08	c        36       118    119.08     26.06      4.57   1000000         0
1542.79/1543.25	c        40       132    116.50     27.42      4.25   1000000         0
1543.99/1544.42	c        57        90    120.02     21.97      5.46   1000000         0
1545.18/1545.60	c        44       109    116.60     24.65      4.73   1000000         0
1546.28/1546.77	c        46       102    120.40     24.62      4.89   1000000         0
1547.48/1547.94	c        41       125    114.86     22.15      5.19   1000000         0
1548.68/1549.13	c        54       123    121.67     23.65      5.14   1000000         0
1549.78/1550.28	c        46       115    117.41     25.49      4.61   1000000         0
1550.98/1551.45	c        56       133    122.09     24.67      4.95   1000000         0
1552.18/1552.61	c        47        89    116.56     26.99      4.32   1000000         0
1553.28/1553.79	c        38       117    122.56     24.78      4.95   1000000         0
1554.48/1554.97	c        51       112    118.53     22.08      5.37   1000000         0
1555.68/1556.14	c        48       105    120.15     26.66      4.51   1000000         0
1556.88/1557.30	c        47        89    119.91     25.33      4.73   1000000         0
1557.98/1558.47	c        44       108    119.09     25.60      4.65   1000000         0
1559.18/1559.64	c        46        91    116.71     24.85      4.70   1000000         0
1560.38/1560.82	c        46       122    115.85     23.79      4.87   1000000         0
1561.48/1561.97	c        48       124    115.21     23.13      4.98   1000000         0
1562.68/1563.14	c        48       134    119.33     26.21      4.55   1000000         0
1563.88/1564.32	c        45       128    117.97     23.69      4.98   1000000         0
1564.98/1565.47	c        52        89    114.32     25.20      4.54   1000000         0
1566.17/1566.62	c        50       131    106.92     21.34      5.01   1000000         0
1567.37/1567.80	c        42       116    113.83     24.93      4.57   1000000         0
1568.47/1568.96	c        42       101    116.05     22.75      5.10   1000000         0
1569.67/1570.13	c        55       122    118.41     21.62      5.48   1000000         0
1570.87/1571.30	c        51       141    119.19     23.90      4.99   1000000         0
1571.97/1572.47	c        50       114    116.33     24.80      4.69   1000000         0
1573.17/1573.64	c        55       118    118.55     25.64      4.62   1000000         0
1574.37/1574.82	c        41       135    116.96     26.54      4.41   1000000         0
1575.47/1575.99	c        47       113    115.39     24.79      4.65   1000000         0
1576.67/1577.16	c        42       111    112.43     27.93      4.03   1000000         0
1577.87/1578.32	c        47       127    116.77     25.88      4.51   1000000         0
1578.97/1579.49	c        54       137    119.66     21.68      5.52   1000000         0
1580.18/1580.66	c        51       107    117.33     22.52      5.21   1000000         0
1581.38/1581.83	c        39       112    114.19     23.47      4.87   1000000         0
1582.57/1583.00	c        54       116    123.83     24.19      5.12   1000000         0
1583.67/1584.18	c        48       150    116.35     23.40      4.97   1000000         0
1584.87/1585.35	c        42        77    114.70     24.51      4.68   1000000         0
1586.07/1586.51	c        54       113    118.50     24.09      4.92   1000000         0
1587.17/1587.68	c        40       110    117.37     23.37      5.02   1000000         0
1588.37/1588.86	c        55       107    120.44     22.37      5.38   1000000         0
1589.57/1590.04	c        46        65    120.34     23.07      5.22   1000000         0
1590.77/1591.22	c        41        98    115.26     25.49      4.52   1000000         0
1591.87/1592.39	c        37       119    119.40     22.27      5.36   1000000         0
1593.07/1593.56	c        50       156    120.01     24.64      4.87   1000000         0
1594.27/1594.72	c        40        94    114.91     25.47      4.51   1000000         0
1595.37/1595.89	c        45       133    116.95     24.74      4.73   1000000         0
1596.57/1597.08	c        49       117    117.62     25.38      4.63   1000000         0
1597.77/1598.25	c        28        71    116.77     29.56      3.95   1000000         0
1598.97/1599.43	c        52       104    115.00     22.86      5.03   1000000         0
1600.07/1600.59	c        53        96    114.93     23.55      4.88   1000000         0
1601.26/1601.76	c        56        97    115.68     25.48      4.54   1000000         0
1602.46/1602.93	c        47       104    117.04     23.57      4.97   1000000         0
1603.66/1604.11	c        35       113    111.83     24.84      4.50   1000000         0
1604.76/1605.28	c        49       101    118.65     22.60      5.25   1000000         0
1605.96/1606.46	c        38        86    114.39     25.35      4.51   1000000         0
1607.16/1607.65	c        42       120    118.45     23.87      4.96   1000000         0
1608.36/1608.82	c        58       109    121.30     22.88      5.30   1000000         0
1609.56/1610.01	c        52        96    120.29     23.17      5.19   1000000         0
1610.66/1611.17	c        50       140    116.21     25.34      4.59   1000000         0
1611.86/1612.35	c        39       116    116.42     26.71      4.36   1000000         0
1613.06/1613.52	c        50       131    115.73     21.92      5.28   1000000         0
1614.16/1614.69	c        53       117    120.66     24.69      4.89   1000000         0
1615.37/1615.87	c        55       111    121.73     23.89      5.09   1000000         0
1616.57/1617.06	c        45       110    117.63     25.17      4.67   1000000         0
1617.76/1618.23	c        45       131    114.59     25.44      4.50   1000000         0
1618.96/1619.42	c        49        94    118.32     23.51      5.03   1000000         0
1620.06/1620.58	c        59       116    119.79     22.77      5.26   1000000         0
1621.26/1621.76	c        37       100    114.80     23.74      4.84   1000000         0
1622.46/1622.95	c        41        98    116.25     24.39      4.77   1000000         0
1623.66/1624.14	c        45       114    118.99     26.05      4.57   1000000         0
1624.86/1625.30	c        51       123    116.72     23.37      4.99   1000000         0
1625.96/1626.47	c        38       117    116.62     23.47      4.97   1000000         0
1627.16/1627.65	c        52       120    123.14     22.42      5.49   1000000         0
1628.36/1628.83	c        42       141    117.96     24.60      4.80   1000000         0
1629.56/1630.01	c        56       112    119.33     22.04      5.41   1000000         0
1630.66/1631.17	c        47       121    115.75     23.33      4.96   1000000         0
1631.86/1632.34	c        49       111    121.89     23.68      5.15   1000000         0
1633.06/1633.51	c        61       114    123.03     22.90      5.37   1000000         0
1634.16/1634.68	c        50       122    120.98     23.40      5.17   1000000         0
1635.36/1635.85	c        48        93    114.29     26.05      4.39   1000000         0
1636.56/1637.03	c        49       149    120.40     24.57      4.90   1000000         0
1637.66/1638.19	c        56       133    117.44     24.29      4.83   1000000         0
1638.85/1639.36	c        51       110    118.91     22.55      5.27   1000000         0
1640.05/1640.52	c        48        65    117.06     22.87      5.12   1000000         0
1641.25/1641.70	c        49       127    119.84     24.52      4.89   1000000         0
1642.35/1642.87	c        53       124    117.58     22.96      5.12   1000000         0
1643.55/1644.04	c        34       110    115.32     24.04      4.80   1000000         0
1644.75/1645.20	c        43       121    115.94     24.84      4.67   1000000         0
1645.85/1646.37	c        49        98    117.26     23.31      5.03   1000000         0
1647.05/1647.53	c        57       101    118.53     26.04      4.55   1000000         0
1648.25/1648.71	c        44       110    117.81     24.12      4.88   1000000         0
1649.35/1649.88	c        43       108    118.18     24.71      4.78   1000000         0
1650.56/1651.05	c        50       130    115.64     22.31      5.18   1000000         0
1651.76/1652.23	c        50       137    116.71     24.13      4.84   1000000         0
1652.95/1653.40	c        46       105    117.98     25.59      4.61   1000000         0
1654.05/1654.57	c        49       135    114.98     25.62      4.49   1000000         0
1655.25/1655.74	c        49        80    113.65     22.55      5.04   1000000         0
1656.45/1656.91	c        46       154    117.46     24.49      4.80   1000000         0
1657.55/1658.08	c        49       130    115.95     24.12      4.81   1000000         0
1658.75/1659.24	c        49       108    118.02     24.67      4.78   1000000         0
1659.95/1660.41	c        53       139    120.37     23.32      5.16   1000000         0
1661.05/1661.58	c        45       123    115.67     21.56      5.36   1000000         0
1662.25/1662.75	c        24       105    119.81     27.16      4.41   1000000         0
1663.45/1663.94	c        60       124    121.47     22.83      5.32   1000000         0
1664.65/1665.11	c        50       109    116.32     23.68      4.91   1000000         0
1665.75/1666.29	c        51       141    123.23     24.51      5.03   1000000         0
1666.95/1667.46	c        50       114    119.84     22.79      5.26   1000000         0
1668.15/1668.63	c        40       128    112.01     25.59      4.38   1000000         0
1669.25/1669.79	c        40       142    113.61     27.20      4.18   1000000         0
1670.45/1670.97	c        57        99    121.55     22.39      5.43   1000000         0
1671.65/1672.14	c        47       124    117.98     23.55      5.01   1000000         0
1672.85/1673.31	c        31       124    108.68     26.64      4.08   1000000         0
1673.95/1674.48	c        42        99    117.18     22.78      5.14   1000000         0
1675.15/1675.65	c        52       122    115.73     23.45      4.93   1000000         0
1676.34/1676.82	c        45       115    114.55     23.08      4.96   1000000         0
1677.44/1677.99	c        48       110    117.85     21.37      5.52   1000000         0
1678.64/1679.18	c        42        94    115.83     25.47      4.55   1000000         0
1679.84/1680.36	c        38       129    113.10     24.69      4.58   1000000         0
1681.04/1681.54	c        47       100    112.37     22.59      4.98   1000000         0
1682.24/1682.72	c        40       112    116.34     25.28      4.60   1000000         0
1683.34/1683.88	c        48        93    119.03     23.90      4.98   1000000         0
1684.54/1685.06	c        45       125    119.98     24.53      4.89   1000000         0
1685.75/1686.24	c        50       125    116.62     23.62      4.94   1000000         0
1686.95/1687.41	c        49       105    115.96     23.57      4.92   1000000         0
1688.05/1688.59	c        36       101    117.06     26.38      4.44   1000000         0
1689.24/1689.75	c        54       118    121.58     25.61      4.75   1000000         0
1690.44/1690.93	c        43       139    114.60     26.30      4.36   1000000         0
1691.64/1692.10	c        45       123    122.65     22.94      5.35   1000000         0
1692.74/1693.27	c        50       138    118.56     22.78      5.20   1000000         0
1693.94/1694.45	c        46       129    118.03     24.27      4.86   1000000         0
1695.14/1695.62	c        49       103    115.57     23.28      4.96   1000000         0
1696.34/1696.80	c        47        87    120.37     25.15      4.79   1000000         0
1697.44/1697.96	c        46        77    116.38     23.94      4.86   1000000         0
1698.64/1699.14	c        44        98    114.71     25.80      4.45   1000000         0
1699.84/1700.32	c        49        87    122.92     24.48      5.02   1000000         0
1700.94/1701.49	c        40        91    115.64     24.59      4.70   1000000         0
1702.14/1702.65	c        46       124    120.24     23.21      5.18   1000000         0
1703.34/1703.83	c        41       120    113.30     22.85      4.96   1000000         0
1704.44/1704.99	c        45        93    115.11     24.57      4.69   1000000         0
1705.64/1706.17	c        47       124    120.16     26.59      4.52   1000000         0
1706.84/1707.33	c        51       131    115.90     22.49      5.15   1000000         0
1708.04/1708.50	c        45       127    114.42     22.74      5.03   1000000         0
1709.14/1709.66	c        46       130    117.24     24.72      4.74   1000000         0
1710.33/1710.83	c        34       112    118.40     24.27      4.88   1000000         0
1711.53/1712.00	c        46        90    116.05     23.38      4.96   1000000         0
1712.63/1713.17	c        51       133    119.54     23.69      5.05   1000000         0
1713.83/1714.34	c        39       100    118.08     26.42      4.47   1000000         0
1715.04/1715.51	c        51       122    116.15     22.79      5.10   1000000         0
1716.14/1716.68	c        45       124    115.47     23.73      4.87   1000000         0
1717.33/1717.85	c        48       106    117.37     21.31      5.51   1000000         0
1718.53/1719.01	c        39       116    120.05     26.26      4.57   1000000         0
1719.63/1720.17	c        50       141    118.53     25.04      4.73   1000000         0
1720.83/1721.33	c        53       107    114.66     25.43      4.51   1000000         0
1722.04/1722.51	c        45       119    118.01     25.93      4.55   1000000         0
1723.14/1723.67	c        46       144    117.25     22.75      5.15   1000000         0
1724.34/1724.84	c        42       126    119.14     24.06      4.95   1000000         0
1725.53/1726.01	c        43       150    116.86     25.71      4.55   1000000         0
1726.63/1727.18	c        45        89    119.97     25.70      4.67   1000000         0
1727.83/1728.36	c        51       119    120.08     23.64      5.08   1000000         0
1729.03/1729.53	c        46       121    116.89     25.71      4.55   1000000         0
1730.23/1730.71	c        51       121    119.76     23.48      5.10   1000000         0
1731.33/1731.88	c        42       113    118.30     22.56      5.24   1000000         0
1732.53/1733.06	c        36       113    119.80     22.79      5.26   1000000         0
1733.73/1734.22	c        49        79    114.94     23.97      4.79   1000000         0
1734.83/1735.39	c        44       106    116.30     21.99      5.29   1000000         0
1736.03/1736.57	c        50        93    116.83     22.35      5.23   1000000         0
1737.23/1737.75	c        48       108    119.78     22.63      5.29   1000000         0
1738.43/1738.91	c        59       100    119.60     21.64      5.53   1000000         0
1739.53/1740.08	c        46        79    117.75     26.15      4.50   1000000         0
1740.74/1741.25	c        45       113    117.00     25.72      4.55   1000000         0
1741.94/1742.42	c        51       103    116.59     24.31      4.80   1000000         0
1743.04/1743.57	c        38       115    113.80     23.61      4.82   1000000         0
1744.23/1744.75	c        55        90    116.06     22.00      5.27   1000000         0
1745.43/1745.92	c        52       110    119.52     24.71      4.84   1000000         0
1746.53/1747.09	c        48        98    109.88     24.92      4.41   1000000         0
1747.73/1748.26	c        54       145    119.27     23.54      5.07   1000000         0
1748.93/1749.43	c        52       121    115.02     22.25      5.17   1000000         0
1750.13/1750.61	c        46        90    115.20     22.33      5.16   1000000         0
1751.23/1751.78	c        39       112    114.28     25.89      4.41   1000000         0
1752.43/1752.95	c        53       136    119.72     21.92      5.46   1000000         0
1753.62/1754.11	c        48       136    113.86     22.92      4.97   1000000         0
1754.72/1755.28	c        46        88    110.75     23.20      4.77   1000000         0
1755.93/1756.46	c        55       112    119.01     26.34      4.52   1000000         0
1757.13/1757.63	c        56       128    119.22     23.56      5.06   1000000         0
1758.34/1758.80	c        47       123    111.62     22.67      4.92   1000000         0
1759.44/1759.97	c        52       116    117.92     22.04      5.35   1000000         0
1760.64/1761.14	c        55       120    119.97     21.95      5.47   1000000         0
1761.83/1762.33	c        52       105    116.02     25.37      4.57   1000000         0
1762.93/1763.49	c        53       112    118.99     21.62      5.50   1000000         0
1764.13/1764.67	c        45       149    118.09     23.29      5.07   1000000         0
1765.33/1765.84	c        53       131    116.81     23.44      4.98   1000000         0
1766.53/1767.01	c        53       128    118.65     23.48      5.05   1000000         0
1767.63/1768.17	c        37       139    118.93     25.38      4.69   1000000         0
1768.83/1769.35	c        44       120    118.23     24.16      4.89   1000000         0
1770.03/1770.51	c        46        98    122.73     22.49      5.46   1000000         0
1771.13/1771.68	c        43        98    119.45     23.23      5.14   1000000         0
1772.33/1772.86	c        53       127    116.54     22.58      5.16   1000000         0
1773.53/1774.03	c        51       117    118.03     24.62      4.79   1000000         0
1774.73/1775.20	c        57       100    122.50     25.60      4.79   1000000         0
1775.83/1776.38	c        38       124    117.43     23.84      4.93   1000000         0
1777.03/1777.56	c        53       106    115.78     24.61      4.70   1000000         0
1778.23/1778.73	c        48        83    119.28     22.83      5.23   1000000         0
1779.43/1779.91	c        47       131    115.23     23.72      4.86   1000000         0
1780.53/1781.08	c        38       138    114.18     23.54      4.85   1000000         0
1781.73/1782.24	c        50       143    116.28     22.71      5.12   1000000         0
1782.93/1783.42	c        43       105    116.90     25.06      4.67   1000000         0
1784.03/1784.59	c        35       111    115.59     23.17      4.99   1000000         0
1785.23/1785.75	c        54       103    118.21     22.75      5.20   1000000         0
1786.43/1786.92	c        56       114    119.09     22.71      5.24   1000000         0
1787.52/1788.09	c        50        98    116.54     26.52      4.39   1000000         0
1788.72/1789.26	c        48       109    114.69     22.80      5.03   1000000         0
1789.92/1790.43	c        44       150    115.62     25.28      4.57   1000000         0
1791.02/1791.59	c        50       102    117.80     22.43      5.25   1000000         0
1792.22/1792.75	c        49       131    119.57     23.75      5.03   1000000         0
1793.42/1793.91	c        44        85    116.59     22.23      5.24   1000000         0
1794.52/1795.08	c        56       115    115.85     22.19      5.22   1000000         0
1795.73/1796.24	c        46       130    112.75     24.39      4.62   1000000         0
1796.93/1797.41	c        56        97    119.96     26.88      4.46   1000000         0
1798.03/1798.57	c        50       122    120.60     25.71      4.69   1000000         0
1799.22/1799.74	c        48       111    119.07     23.09      5.16   1000000         0
1800.03/1800.50	HOME/run: line 2: 11618 Terminated              ./PB-wave < $1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2669872-1276610809/watcher-2669872-1276610809 -o /tmp/evaluation-result-2669872-1276610809/solver-2669872-1276610809 -C 1800 -W 2000 -M 1800 run HOME/instance-2669872-1276610809.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11617
/proc/meminfo: memFree=1781744/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0

[startup+0.017833 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11617
/proc/meminfo: memFree=1781744/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100842 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11617
/proc/meminfo: memFree=1781744/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300863 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11617
/proc/meminfo: memFree=1781744/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700907 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 11617
/proc/meminfo: memFree=1781744/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50099 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1778256/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1.49
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 149 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526587 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1778008/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=3.09
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 309 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1777884/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=6.29
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 629 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526328 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1777760/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=12.69
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 1269 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1777760/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=25.48
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 2548 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11619
/proc/meminfo: memFree=1777636/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=51.08
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 5108 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11621
/proc/meminfo: memFree=1777388/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=102.27
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 10227 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526278 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11623
/proc/meminfo: memFree=1777264/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=162.25
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 16225 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134519855 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11625
/proc/meminfo: memFree=1777140/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=222.23
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 22223 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526538 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=1777140/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=282.21
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 28221 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134519783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=1777140/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=342.2
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 34220 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=1777016/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=402.18
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 40218 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=11618] ppid=11617 vsize=40452 CPUtime=1121.99
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 112199 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11651
/proc/meminfo: memFree=1775404/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1181.98
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 118198 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11651
/proc/meminfo: memFree=1775156/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1241.96
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 124196 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11653
/proc/meminfo: memFree=1775032/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1301.95
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 130195 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526311 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11655
/proc/meminfo: memFree=1774908/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1361.93
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 136193 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11657
/proc/meminfo: memFree=1774908/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1421.92
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 142192 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11659
/proc/meminfo: memFree=1774784/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1481.9
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 148190 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526677 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11659
/proc/meminfo: memFree=1774784/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1541.88
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 154188 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11664
/proc/meminfo: memFree=1774040/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1601.86
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 160186 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11666
/proc/meminfo: memFree=1774040/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1661.85
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 166185 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11668
/proc/meminfo: memFree=1774040/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1721.83
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 172183 0 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11670
/proc/meminfo: memFree=1773916/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1781.83
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 178182 1 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526047 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11670
/proc/meminfo: memFree=1773916/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1800.03
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 180002 1 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11670
/proc/meminfo: memFree=1773916/2059040 swapFree=4192956/4192956
[pid=11617] ppid=11615 vsize=8700 CPUtime=0
/proc/11617/stat : 11617 (run) S 11615 11617 11119 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2374394 8908800 243 1992294400 4194304 4922060 140735987366688 18446744073709551615 272447937669 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/11617/statm: 2175 243 204 178 0 68 0
[pid=11618] ppid=11617 vsize=40452 CPUtime=1800.03
/proc/11618/stat : 11618 (PB-wave) R 11617 11617 11119 0 -1 4202496 911 0 0 0 180002 1 0 0 25 0 1 0 2374394 41422848 841 1992294400 134512640 135071400 4288028528 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11618/statm: 10113 841 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1800.02
CPU system time (s): 0.013997
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1283
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= 3
involuntary context switches= 4430

runsolver used 3.18452 second user time and 8.35073 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-15 16:06:49
IDJOB=2669872
IDBENCH=1468
IDSOLVER=1171
FILE ID=node087/2669872-1276610809
PBS_JOBID= 11172253
Free space on /tmp= 62556 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-43s.smv.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669872-1276610809/watcher-2669872-1276610809 -o /tmp/evaluation-result-2669872-1276610809/solver-2669872-1276610809 -C 1800 -W 2000 -M 1800  run HOME/instance-2669872-1276610809.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 9da797f3e3b73aa39825ce2ab436589f
RANDOM SEED=1710999601

node087.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1782140 kB
Buffers:         23100 kB
Cached:         118964 kB
SwapCached:          0 kB
Active:          92508 kB
Inactive:       109488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1782140 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             972 kB
Writeback:          32 kB
AnonPages:       59916 kB
Mapped:          15620 kB
Slab:            53164 kB
PageTables:       3992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181736 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-15 16:36:49