Trace number 2684524

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.05 1800.51

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3037_5-sat.opb
MD5SUM28411513b07977217060c23e558ed937
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.085986
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5022
Total number of constraints17060
Number of constraints which are clauses16740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint1
Maximum length of a constraint16
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 106
Number of bits of the biggest sum of numbers7
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.05	c PB-wave - v2
0.00/0.05	c command line = ./PB-wave
0.00/0.05	c seed = 27086794
0.00/0.05	c cutoff = 1000000
0.00/0.05	c tries = 1000000
0.00/0.05	c heuristic = c best, noise 50 / 100
0.00/0.05	#var 5022 #con 17060
0.00/0.05	mode is SAT
0.00/0.05	c tail starts after flip = 15066
0.00/0.05	c numatom = 5022, numclause = 17060, numliterals = 40456
0.00/0.05	c wff read in
0.00/0.05	c 
0.00/0.05	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.05	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.05	c       this      this      this      this      this      this   success   success       until         std
0.00/0.05	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.05	c
1.18/1.22	c       167       272    267.86     32.91      8.14   1000000         0
2.28/2.39	c       145       285    266.55     35.38      7.53   1000000         0
3.48/3.56	c       135       266    268.11     35.96      7.46   1000000         0
4.68/4.73	c       144       251    268.49     34.54      7.77   1000000         0
5.88/5.90	c       154       283    267.34     35.55      7.52   1000000         0
6.98/7.07	c       156       292    270.52     34.81      7.77   1000000         0
8.18/8.24	c       159       186    263.93     32.78      8.05   1000000         0
9.38/9.41	c       146       240    268.67     35.18      7.64   1000000         0
10.48/10.58	c       147       323    267.01     35.44      7.53   1000000         0
11.68/11.76	c       144       264    265.06     35.33      7.50   1000000         0
12.88/12.93	c       149       307    267.01     36.27      7.36   1000000         0
14.08/14.10	c       147       293    266.42     35.56      7.49   1000000         0
15.18/15.27	c       146       220    271.63     33.52      8.10   1000000         0
16.39/16.45	c       135       321    269.07     36.68      7.34   1000000         0
17.59/17.62	c       147       335    270.36     37.02      7.30   1000000         0
18.69/18.79	c       134       230    268.95     35.76      7.52   1000000         0
19.88/19.96	c       144       367    270.34     34.83      7.76   1000000         0
21.08/21.13	c       145       346    265.92     34.07      7.81   1000000         0
22.28/22.30	c       147       276    263.59     33.31      7.91   1000000         0
23.38/23.47	c       141       219    268.52     36.17      7.42   1000000         0
24.58/24.64	c       132       266    264.59     32.46      8.15   1000000         0
25.78/25.81	c       137       303    267.48     34.19      7.82   1000000         0
26.88/26.99	c       140       273    265.96     34.52      7.70   1000000         0
28.08/28.16	c       150       273    264.11     34.54      7.65   1000000         0
29.28/29.33	c       156       227    265.71     32.94      8.07   1000000         0
30.48/30.50	c       162       222    270.92     35.49      7.63   1000000         0
31.58/31.67	c       150       276    265.33     33.35      7.96   1000000         0
32.78/32.84	c       148       293    263.67     35.69      7.39   1000000         0
33.98/34.01	c       157       279    264.94     36.72      7.22   1000000         0
35.08/35.18	c       147       258    265.27     35.78      7.41   1000000         0
36.28/36.35	c       147       281    264.49     34.69      7.62   1000000         0
37.47/37.52	c       145       219    268.53     36.37      7.38   1000000         0
38.57/38.69	c       159       225    270.96     35.78      7.57   1000000         0
39.77/39.86	c       153       292    270.47     38.30      7.06   1000000         0
40.97/41.03	c       157       283    269.11     35.19      7.65   1000000         0
42.17/42.21	c       150       240    266.89     34.86      7.66   1000000         0
43.27/43.38	c       146       242    265.91     36.85      7.22   1000000         0
44.47/44.55	c       146       237    267.05     35.59      7.50   1000000         0
45.67/45.72	c       149       306    268.43     34.02      7.89   1000000         0
46.77/46.89	c       161       281    264.86     32.97      8.03   1000000         0
47.97/48.06	c       158       267    269.04     34.50      7.80   1000000         0
49.17/49.24	c       133       285    267.12     35.45      7.54   1000000         0
50.37/50.41	c       160       264    269.06     33.57      8.01   1000000         0
51.47/51.57	c       137       289    265.58     35.35      7.51   1000000         0
52.68/52.74	c       151       256    269.29     37.55      7.17   1000000         0
53.88/53.91	c       158       238    267.53     34.68      7.71   1000000         0
54.98/55.08	c       146       223    264.35     33.52      7.89   1000000         0
56.17/56.25	c       152       266    263.60     35.50      7.43   1000000         0
57.37/57.42	c       156       270    270.45     35.79      7.56   1000000         0
58.47/58.59	c       133       205    269.07     34.84      7.72   1000000         0
59.67/59.76	c       148       285    268.93     36.01      7.47   1000000         0
60.87/60.93	c       145       263    269.31     34.28      7.86   1000000         0
62.07/62.10	c       140       256    265.55     32.71      8.12   1000000         0
63.17/63.27	c       144       262    266.69     36.42      7.32   1000000         0
64.37/64.44	c       154       330    268.97     34.69      7.75   1000000         0
65.57/65.61	c       158       254    268.33     33.02      8.13   1000000         0
66.67/66.78	c       151       222    268.07     35.59      7.53   1000000         0
67.87/67.95	c       157       272    266.31     34.73      7.67   1000000         0
69.07/69.12	c       167       269    271.17     33.42      8.11   1000000         0
70.17/70.29	c       143       319    269.35     36.54      7.37   1000000         0
71.37/71.47	c       150       278    269.36     36.71      7.34   1000000         0
72.57/72.64	c       156       188    263.65     34.81      7.57   1000000         0
73.76/73.81	c       148       308    267.74     34.18      7.83   1000000         0
74.86/74.99	c       146       309    264.15     36.93      7.15   1000000         0
76.06/76.15	c       150       251    267.48     35.30      7.58   1000000         0
77.26/77.32	c       158       305    270.68     36.21      7.48   1000000         0
78.36/78.49	c       151       196    266.46     34.93      7.63   1000000         0
79.56/79.67	c       146       296    267.64     35.77      7.48   1000000         0
80.76/80.84	c       151       250    270.17     34.85      7.75   1000000         0
81.96/82.01	c       150       276    263.59     34.54      7.63   1000000         0
83.06/83.18	c       159       211    267.50     33.06      8.09   1000000         0
84.26/84.35	c       143       246    266.82     34.47      7.74   1000000         0
85.46/85.52	c       155       308    268.13     36.61      7.32   1000000         0
86.56/86.69	c       135       311    263.54     35.05      7.52   1000000         0
87.76/87.86	c       145       348    268.08     35.88      7.47   1000000         0
88.97/89.03	c       157       275    267.69     35.18      7.61   1000000         0
90.17/90.20	c       155       254    264.57     35.36      7.48   1000000         0
91.27/91.38	c       155       311    266.06     35.36      7.53   1000000         0
92.46/92.55	c       156       255    268.08     35.71      7.51   1000000         0
93.66/93.72	c       138       292    266.85     38.03      7.02   1000000         0
94.76/94.89	c       149       240    265.44     35.78      7.42   1000000         0
95.96/96.06	c       153       266    270.71     34.44      7.86   1000000         0
97.16/97.23	c       153       236    265.17     37.14      7.14   1000000         0
98.36/98.40	c       156       254    269.87     35.76      7.55   1000000         0
99.46/99.57	c       134       229    268.36     35.82      7.49   1000000         0
100.66/100.74	c       143       260    267.20     32.45      8.23   1000000         0
101.86/101.91	c       140       295    266.10     35.84      7.42   1000000         0
102.96/103.08	c       153       274    269.83     37.33      7.23   1000000         0
104.16/104.25	c       143       244    264.40     34.59      7.64   1000000         0
105.36/105.42	c       157       327    271.24     35.55      7.63   1000000         0
106.46/106.59	c       147       249    268.58     34.11      7.87   1000000         0
107.66/107.76	c       154       222    266.20     35.39      7.52   1000000         0
108.86/108.93	c       165       328    266.62     33.70      7.91   1000000         0
110.06/110.10	c       163       227    266.32     33.52      7.95   1000000         0
111.16/111.27	c       130       333    265.12     35.68      7.43   1000000         0
112.35/112.44	c       136       253    265.98     35.95      7.40   1000000         0
113.55/113.61	c       153       279    265.80     38.49      6.91   1000000         0
114.65/114.78	c       161       270    267.35     35.98      7.43   1000000         0
115.85/115.96	c       137       227    273.01     36.56      7.47   1000000         0
117.05/117.13	c       149       255    268.88     35.18      7.64   1000000         0
118.25/118.30	c       155       240    266.32     35.86      7.43   1000000         0
119.35/119.47	c       157       256    269.47     34.11      7.90   1000000         0
120.55/120.64	c       149       277    265.02     34.24      7.74   1000000         0
121.75/121.81	c       161       227    275.13     34.61      7.95   1000000         0
122.85/122.98	c       153       287    265.95     35.30      7.53   1000000         0
124.05/124.16	c       149       310    264.36     32.93      8.03   1000000         0
125.26/125.33	c       157       288    268.10     34.71      7.72   1000000         0
126.36/126.50	c       142       310    263.29     36.33      7.25   1000000         0
127.56/127.67	c       145       256    265.41     35.86      7.40   1000000         0
128.75/128.84	c       158       329    267.99     34.68      7.73   1000000         0
129.95/130.01	c       140       215    264.39     35.76      7.39   1000000         0
131.05/131.18	c       156       206    265.16     34.25      7.74   1000000         0
132.25/132.35	c       140       273    267.28     34.22      7.81   1000000         0
133.45/133.52	c       147       305    264.71     35.14      7.53   1000000         0
134.55/134.69	c       143       278    267.99     33.45      8.01   1000000         0
135.75/135.86	c       141       202    263.20     33.97      7.75   1000000         0
136.95/137.03	c       154       247    271.19     36.67      7.40   1000000         0
138.15/138.21	c       125       258    265.05     34.88      7.60   1000000         0
139.25/139.37	c       140       279    267.20     34.93      7.65   1000000         0
140.45/140.54	c       149       235    266.50     34.26      7.78   1000000         0
141.65/141.72	c       149       281    268.21     35.68      7.52   1000000         0
142.75/142.89	c       147       260    267.75     33.28      8.05   1000000         0
143.95/144.06	c       146       281    263.53     34.05      7.74   1000000         0
145.15/145.23	c       139       234    268.00     34.61      7.74   1000000         0
146.25/146.40	c       150       349    263.72     35.94      7.34   1000000         0
147.45/147.57	c       140       251    271.47     37.57      7.23   1000000         0
148.65/148.73	c       151       256    262.08     33.01      7.94   1000000         0
149.85/149.91	c       150       370    271.88     36.18      7.52   1000000         0
150.95/151.07	c       157       247    262.87     33.61      7.82   1000000         0
152.14/152.24	c       156       202    265.74     36.75      7.23   1000000         0
153.34/153.42	c       141       309    268.62     32.62      8.24   1000000         0
154.44/154.59	c       142       267    268.22     35.46      7.56   1000000         0
155.64/155.75	c       143       241    261.82     35.21      7.44   1000000         0
156.84/156.92	c       142       235    266.86     35.64      7.49   1000000         0
157.94/158.09	c       157       254    266.01     33.29      7.99   1000000         0
159.14/159.26	c       161       298    270.10     33.92      7.96   1000000         0
160.34/160.43	c       153       226    267.34     33.58      7.96   1000000         0
161.55/161.60	c       143       168    265.85     35.05      7.58   1000000         0
162.65/162.77	c       158       303    266.61     35.14      7.59   1000000         0
163.85/163.94	c       160       238    265.03     31.36      8.45   1000000         0
165.04/165.11	c       151       267    263.85     35.40      7.45   1000000         0
166.14/166.28	c       141       246    266.14     37.31      7.13   1000000         0
167.34/167.45	c       155       266    265.62     33.73      7.87   1000000         0
168.54/168.62	c       142       251    267.29     34.36      7.78   1000000         0
169.64/169.79	c       160       300    268.02     33.58      7.98   1000000         0
170.84/170.96	c       161       306    266.45     33.24      8.02   1000000         0
172.04/172.14	c       148       228    264.84     33.33      7.95   1000000         0
173.24/173.31	c       145       341    266.56     36.23      7.36   1000000         0
174.34/174.48	c       162       288    265.34     33.98      7.81   1000000         0
175.54/175.65	c       149       248    269.73     33.37      8.08   1000000         0
176.74/176.82	c       149       278    264.89     33.72      7.85   1000000         0
177.84/177.99	c       141       345    264.25     36.06      7.33   1000000         0
179.04/179.16	c       156       290    272.69     34.29      7.95   1000000         0
180.24/180.33	c       148       261    269.66     33.45      8.06   1000000         0
181.34/181.50	c       159       329    267.78     33.52      7.99   1000000         0
182.54/182.67	c       150       325    265.88     35.44      7.50   1000000         0
183.74/183.84	c       151       271    269.90     34.83      7.75   1000000         0
184.94/185.01	c       145       250    267.20     34.55      7.73   1000000         0
186.04/186.18	c       101       297    270.11     36.03      7.50   1000000         0
187.24/187.35	c       161       265    268.17     35.68      7.52   1000000         0
188.44/188.52	c       151       251    269.01     34.71      7.75   1000000         0
189.54/189.69	c       133       236    263.48     36.61      7.20   1000000         0
190.74/190.86	c       155       283    267.78     34.50      7.76   1000000         0
191.93/192.03	c       157       271    267.35     34.30      7.79   1000000         0
193.13/193.20	c       152       300    265.63     34.58      7.68   1000000         0
194.23/194.37	c       149       259    266.80     34.82      7.66   1000000         0
195.43/195.54	c       111       319    267.72     36.97      7.24   1000000         0
196.63/196.71	c       160       258    266.37     34.21      7.79   1000000         0
197.73/197.88	c       127       285    266.73     34.86      7.65   1000000         0
198.94/199.05	c       152       206    270.20     34.05      7.93   1000000         0
200.14/200.22	c       139       299    261.55     36.96      7.08   1000000         0
201.24/201.39	c       140       263    269.40     34.52      7.81   1000000         0
202.43/202.56	c       143       248    261.67     36.03      7.26   1000000         0
203.63/203.73	c       135       255    269.69     37.45      7.20   1000000         0
204.83/204.90	c       150       311    266.82     36.34      7.34   1000000         0
205.93/206.07	c       149       267    268.75     35.58      7.55   1000000         0
207.13/207.23	c       150       240    267.11     33.53      7.97   1000000         0
208.33/208.40	c       135       259    264.71     33.67      7.86   1000000         0
209.43/209.57	c       145       235    268.71     33.71      7.97   1000000         0
210.63/210.74	c       163       273    268.69     32.44      8.28   1000000         0
211.83/211.91	c       156       305    268.65     36.62      7.34   1000000         0
212.93/213.08	c       156       287    265.76     36.12      7.36   1000000         0
214.13/214.25	c       141       280    263.79     34.69      7.60   1000000         0
215.33/215.42	c       149       237    270.66     34.73      7.79   1000000         0
216.43/216.59	c       152       263    265.79     37.30      7.13   1000000         0
217.63/217.76	c       172       349    272.81     34.28      7.96   1000000         0
218.83/218.94	c       151       187    267.36     35.97      7.43   1000000         0
220.03/220.11	c       146       254    268.24     34.87      7.69   1000000         0
221.13/221.28	c       152       282    261.34     32.76      7.98   1000000         0
222.33/222.45	c       166       218    272.98     36.94      7.39   1000000         0
223.53/223.63	c       156       231    264.65     32.64      8.11   1000000         0
224.63/224.80	c       146       222    268.07     34.48      7.77   1000000         0
225.83/225.96	c       151       194    266.61     36.62      7.28   1000000         0
227.03/227.14	c       135       284    267.91     35.08      7.64   1000000         0
228.22/228.31	c       151       290    266.89     35.09      7.61   1000000         0
229.32/229.48	c       128       248    267.84     34.01      7.87   1000000         0
230.52/230.65	c       154       216    265.00     32.44      8.17   1000000         0
231.72/231.83	c       152       246    267.95     36.26      7.39   1000000         0
232.82/232.99	c       145       240    265.89     35.37      7.52   1000000         0
234.02/234.16	c       143       319    259.84     35.23      7.38   1000000         0
235.23/235.33	c       151       246    271.73     35.76      7.60   1000000         0
236.43/236.50	c       144       262    269.37     35.75      7.53   1000000         0
237.53/237.67	c       134       240    262.62     34.01      7.72   1000000         0
238.72/238.84	c       151       281    268.24     35.11      7.64   1000000         0
239.92/240.01	c       156       262    261.57     33.95      7.70   1000000         0
241.02/241.18	c       160       312    269.86     35.62      7.58   1000000         0
242.22/242.35	c       155       284    268.95     33.86      7.94   1000000         0
243.42/243.52	c       140       283    262.11     35.99      7.28   1000000         0
244.52/244.69	c       144       307    266.28     34.12      7.80   1000000         0
245.72/245.86	c       156       298    269.75     34.58      7.80   1000000         0
246.92/247.03	c       146       272    266.35     35.47      7.51   1000000         0
248.12/248.20	c       160       288    269.56     35.21      7.66   1000000         0
249.22/249.37	c       160       278    268.66     34.92      7.69   1000000         0
250.42/250.54	c       135       183    264.04     33.30      7.93   1000000         0
251.62/251.71	c       136       268    269.41     35.36      7.62   1000000         0
252.72/252.88	c       159       307    268.21     33.98      7.89   1000000         0
253.92/254.05	c       149       284    261.58     37.32      7.01   1000000         0
255.13/255.22	c       153       269    274.06     36.19      7.57   1000000         0
256.23/256.39	c       155       285    267.74     35.12      7.62   1000000         0
257.42/257.56	c       150       305    265.72     33.72      7.88   1000000         0
258.62/258.72	c       147       199    265.79     34.24      7.76   1000000         0
259.72/259.89	c       139       234    272.23     36.67      7.42   1000000         0
260.92/261.07	c       161       215    267.98     35.20      7.61   1000000         0
262.12/262.24	c       142       218    267.41     33.05      8.09   1000000         0
263.31/263.41	c       148       283    269.02     35.74      7.53   1000000         0
264.41/264.58	c       161       275    270.95     34.00      7.97   1000000         0
265.61/265.74	c       153       392    267.38     36.56      7.31   1000000         0
266.81/266.92	c       143       267    266.12     35.43      7.51   1000000         0
267.92/268.09	c       144       254    263.22     36.09      7.29   1000000         0
269.12/269.26	c       134       222    265.95     35.72      7.45   1000000         0
270.31/270.43	c       152       257    268.24     35.20      7.62   1000000         0
271.52/271.60	c       160       278    266.74     34.62      7.70   1000000         0
272.62/272.77	c       155       304    266.91     36.10      7.39   1000000         0
273.82/273.94	c       162       244    265.00     33.75      7.85   1000000         0
275.01/275.11	c       140       242    267.46     34.97      7.65   1000000         0
276.11/276.28	c       142       310    271.15     35.66      7.60   1000000         0
277.31/277.45	c       144       239    268.67     35.10      7.65   1000000         0
278.51/278.62	c       156       291    270.82     33.71      8.03   1000000         0
279.61/279.80	c       158       235    269.43     35.57      7.57   1000000         0
280.81/280.97	c       164       251    268.77     36.50      7.36   1000000         0
282.01/282.14	c       145       292    271.88     37.50      7.25   1000000         0
283.21/283.31	c       127       341    266.56     33.05      8.07   1000000         0
284.31/284.48	c       148       292    265.31     34.24      7.75   1000000         0
285.51/285.66	c       157       226    267.65     33.27      8.04   1000000         0
286.71/286.83	c       131       347    267.82     36.92      7.25   1000000         0
287.81/287.99	c       140       304    265.54     32.28      8.23   1000000         0
289.01/289.17	c       144       224    264.11     35.65      7.41   1000000         0
290.22/290.34	c       147       210    264.62     34.24      7.73   1000000         0
291.42/291.51	c       150       352    269.22     34.75      7.75   1000000         0
292.52/292.68	c       150       276    268.87     36.32      7.40   1000000         0
293.71/293.85	c       149       272    267.28     36.27      7.37   1000000         0
294.91/295.02	c       151       256    268.15     33.95      7.90   1000000         0
296.01/296.19	c       151       256    268.19     35.68      7.52   1000000         0
297.21/297.36	c       159       321    271.78     34.37      7.91   1000000         0
298.41/298.54	c       151       317    264.17     34.01      7.77   1000000         0
299.61/299.71	c       161       225    266.56     33.65      7.92   1000000         0
300.71/300.88	c       143       289    265.94     34.25      7.77   1000000         0
301.91/302.05	c       139       276    262.47     34.84      7.53   1000000         0
303.11/303.22	c       143       242    267.63     32.58      8.21   1000000         0
304.21/304.39	c       140       273    270.22     34.39      7.86   1000000         0
305.40/305.56	c       146       259    264.98     34.31      7.72   1000000         0
306.60/306.74	c       148       349    265.54     35.37      7.51   1000000         0
307.81/307.91	c       136       344    266.75     34.49      7.73   1000000         0
308.91/309.08	c       138       235    268.10     35.18      7.62   1000000         0
310.11/310.25	c       154       230    263.12     33.17      7.93   1000000         0
311.30/311.42	c       142       213    270.65     35.27      7.67   1000000         0
312.40/312.59	c       129       307    266.70     33.71      7.91   1000000         0
313.60/313.76	c       137       270    266.58     33.83      7.88   1000000         0
314.80/314.93	c       143       295    265.18     34.44      7.70   1000000         0
315.90/316.09	c       143       235    265.48     36.05      7.36   1000000         0
317.10/317.26	c       143       312    269.96     35.05      7.70   1000000         0
318.30/318.43	c       155       248    271.07     35.84      7.56   1000000         0
319.50/319.61	c       150       260    268.27     37.73      7.11   1000000         0
320.60/320.78	c       154       341    264.97     34.98      7.57   1000000         0
321.80/321.95	c       148       250    263.57     32.90      8.01   1000000         0
323.00/323.12	c       138       255    267.71     34.53      7.75   1000000         0
324.10/324.29	c       146       242    267.65     36.47      7.34   1000000         0
325.30/325.47	c       157       277    267.15     35.50      7.52   1000000         0
326.51/326.64	c       141       225    270.06     36.89      7.32   1000000         0
327.71/327.81	c       141       309    266.60     33.57      7.94   1000000         0
328.81/328.98	c       150       252    264.70     35.01      7.56   1000000         0
330.00/330.15	c       145       293    268.82     35.11      7.66   1000000         0
331.20/331.32	c       152       265    268.14     34.27      7.82   1000000         0
332.30/332.49	c       154       209    263.36     34.26      7.69   1000000         0
333.50/333.67	c       137       234    262.73     34.25      7.67   1000000         0
334.70/334.83	c       143       266    263.71     35.92      7.34   1000000         0
335.90/336.01	c       156       281    265.87     35.24      7.55   1000000         0
337.00/337.17	c       159       253    271.31     34.34      7.90   1000000         0
338.20/338.34	c       152       235    268.88     35.67      7.54   1000000         0
339.40/339.52	c       157       280    267.75     35.80      7.48   1000000         0
340.50/340.69	c       148       289    266.77     35.10      7.60   1000000         0
341.70/341.87	c       151       267    261.75     33.17      7.89   1000000         0
342.90/343.04	c       157       307    272.34     36.13      7.54   1000000         0
344.10/344.21	c       150       328    267.48     36.41      7.35   1000000         0
345.20/345.38	c       145       273    264.87     35.33      7.50   1000000         0
346.40/346.55	c       140       229    266.11     33.70      7.90   1000000         0
347.59/347.72	c       153       281    267.42     35.12      7.62   1000000         0
348.69/348.89	c       161       329    266.15     34.22      7.78   1000000         0
349.89/350.06	c       149       233    266.54     33.96      7.85   1000000         0
351.09/351.23	c       159       294    269.29     33.81      7.96   1000000         0
352.29/352.40	c       165       296    268.10     33.18      8.08   1000000         0
353.39/353.57	c       159       232    263.88     35.29      7.48   1000000         0
354.59/354.74	c       147       261    265.84     33.93      7.84   1000000         0
355.79/355.91	c       156       263    268.06     35.12      7.63   1000000         0
356.89/357.09	c       152       274    266.50     33.82      7.88   1000000         0
358.09/358.26	c       144       239    266.10     35.48      7.50   1000000         0
359.29/359.43	c       162       242    267.73     35.26      7.59   1000000         0
360.49/360.60	c       164       324    267.83     35.72      7.50   1000000         0
361.59/361.78	c       149       257    267.20     33.90      7.88   1000000         0
362.80/362.94	c       149       284    267.83     33.62      7.97   1000000         0
364.00/364.11	c       159       275    264.65     33.81      7.83   1000000         0
365.10/365.28	c       150       214    264.51     34.58      7.65   1000000         0
366.29/366.45	c       144       218    265.51     34.33      7.73   1000000         0
367.49/367.62	c       151       255    267.21     34.66      7.71   1000000         0
368.59/368.79	c       149       214    268.57     35.09      7.65   1000000         0
369.79/369.96	c       152       237    266.98     35.98      7.42   1000000         0
370.99/371.13	c       160       257    266.94     35.51      7.52   1000000         0
372.19/372.30	c       159       338    266.84     34.43      7.75   1000000         0
373.29/373.47	c       132       197    265.52     36.68      7.24   1000000         0
374.49/374.64	c       156       245    269.40     34.94      7.71   1000000         0
375.69/375.81	c       156       299    270.32     36.46      7.41   1000000         0
376.79/376.98	c       153       369    263.08     33.53      7.85   1000000         0
377.99/378.15	c       151       232    265.29     36.96      7.18   1000000         0
379.19/379.32	c       150       238    270.21     33.11      8.16   1000000         0
380.29/380.48	c       135       286    263.74     33.68      7.83   1000000         0
381.49/381.66	c       156       262    267.51     35.02      7.64   1000000         0
382.69/382.83	c       138       229    267.53     37.74      7.09   1000000         0
383.88/384.00	c       157       310    268.56     33.21      8.09   1000000         0
384.98/385.17	c       154       319    266.76     35.15      7.59   1000000         0
386.18/386.34	c       152       286    269.11     34.33      7.84   1000000         0
387.38/387.50	c       150       279    265.35     36.62      7.25   1000000         0
388.48/388.67	c       134       249    262.76     33.35      7.88   1000000         0
389.68/389.84	c       161       274    266.20     37.08      7.18   1000000         0
390.88/391.01	c       158       228    270.52     33.72      8.02   1000000         0
391.98/392.18	c       155       315    267.93     35.18      7.62   1000000         0
393.18/393.35	c       135       220    265.98     35.74      7.44   1000000         0
394.38/394.52	c       153       241    264.78     34.28      7.72   1000000         0
395.48/395.69	c       164       265    267.09     32.31      8.27   1000000         0
396.68/396.86	c       136       323    267.24     34.17      7.82   1000000         0
397.88/398.02	c       151       222    269.07     35.40      7.60   1000000         0
398.98/399.20	c       154       253    266.81     33.75      7.90   1000000         0
400.19/400.37	c       161       224    267.58     33.96      7.88   1000000         0
401.39/401.54	c       153       240    267.03     35.87      7.45   1000000         0
402.58/402.71	c       158       288    272.18     35.77      7.61   1000000         0
403.68/403.88	c       134       274    265.96     37.32      7.13   1000000         0
404.88/405.05	c       154       265    265.95     36.01      7.39   1000000         0
406.08/406.22	c       143       274    267.13     35.18      7.59   1000000         0
407.18/407.39	c       149       230    266.50     32.98      8.08   1000000         0
408.38/408.56	c       143       253    267.12     36.83      7.25   1000000         0
409.58/409.73	c       141       302    270.17     36.94      7.31   1000000         0
410.78/410.91	c       151       218    267.07     34.87      7.66   1000000         0
411.88/412.08	c       158       270    267.86     34.68      7.72   1000000         0
413.08/413.25	c       144       279    268.36     35.92      7.47   1000000         0
414.28/414.42	c       142       235    265.86     39.55      6.72   1000000         0
415.38/415.59	c       133       269    265.58     35.52      7.48   1000000         0
416.58/416.76	c       147       257    267.41     35.21      7.59   1000000         0
417.78/417.93	c       140       263    265.45     34.16      7.77   1000000         0
418.88/419.10	c       155       291    269.72     35.78      7.54   1000000         0
420.08/420.27	c       143       299    269.00     35.59      7.56   1000000         0
421.28/421.45	c       130       213    265.87     32.94      8.07   1000000         0
422.48/422.62	c       149       264    265.35     34.12      7.78   1000000         0
423.58/423.79	c       165       255    265.43     35.36      7.51   1000000         0
424.77/424.96	c       153       243    264.57     35.89      7.37   1000000         0
425.97/426.13	c       163       241    271.50     33.01      8.23   1000000         0
427.17/427.30	c       132       244    269.45     34.69      7.77   1000000         0
428.27/428.47	c       160       232    264.99     34.34      7.72   1000000         0
429.47/429.64	c       142       267    263.17     35.84      7.34   1000000         0
430.67/430.81	c       157       294    268.59     34.48      7.79   1000000         0
431.77/431.98	c       159       275    266.52     36.10      7.38   1000000         0
432.97/433.15	c       159       256    274.31     35.98      7.62   1000000         0
434.17/434.32	c       149       304    266.37     35.48      7.51   1000000         0
435.27/435.49	c       161       255    267.17     33.97      7.87   1000000         0
436.48/436.66	c       148       266    267.21     33.94      7.87   1000000         0
437.68/437.83	c       136       254    264.97     35.89      7.38   1000000         0
438.87/439.00	c       146       270    266.06     36.25      7.34   1000000         0
439.97/440.17	c       138       299    274.21     37.42      7.33   1000000         0
441.17/441.34	c       150       237    270.16     36.17      7.47   1000000         0
442.37/442.51	c       143       288    263.24     34.88      7.55   1000000         0
443.47/443.68	c       146       306    264.91     35.10      7.55   1000000         0
444.67/444.85	c       154       314    267.77     34.74      7.71   1000000         0
445.87/446.02	c       152       258    267.13     35.95      7.43   1000000         0
446.97/447.19	c       149       214    268.54     35.19      7.63   1000000         0
448.17/448.36	c       149       232    264.97     34.04      7.78   1000000         0
449.37/449.53	c       163       306    267.75     34.64      7.73   1000000         0
450.57/450.70	c       156       272    264.57     33.95      7.79   1000000         0
451.67/451.87	c       132       289    264.56     35.15      7.53   1000000         0
452.87/453.04	c       138       292    266.69     33.39      7.99   1000000         0
454.07/454.21	c       152       239    262.46     34.25      7.66   1000000         0
455.17/455.38	c       159       243    266.87     36.33      7.35   1000000         0
456.37/456.56	c       153       268    268.34     34.76      7.72   1000000         0
457.57/457.72	c       140       244    266.33     35.52      7.50   1000000         0
458.67/458.89	c       158       231    270.79     35.90      7.54   1000000         0
459.87/460.07	c       151       213    265.22     34.49      7.69   1000000         0
461.07/461.24	c       148       330    266.95     37.05      7.20   1000000         0
462.27/462.41	c       149       224    265.04     35.99      7.36   1000000         0
463.37/463.58	c       148       315    268.57     36.83      7.29   1000000         0
464.57/464.75	c       157       229    267.80     36.16      7.41   1000000         0
465.77/465.92	c       148       256    262.41     33.78      7.77   1000000         0
466.87/467.09	c       148       234    270.24     36.42      7.42   1000000         0
468.06/468.26	c       151       343    266.63     36.10      7.39   1000000         0
469.26/469.43	c       152       264    269.57     34.51      7.81   1000000         0
470.46/470.60	c       131       310    269.01     37.07      7.26   1000000         0
471.56/471.77	c       134       330    265.97     35.83      7.42   1000000         0
472.77/472.95	c       142       265    271.24     35.46      7.65   1000000         0
473.97/474.12	c       154       222    259.11     32.61      7.95   1000000         0
475.07/475.29	c       143       280    263.95     34.72      7.60   1000000         0
476.26/476.45	c       162       276    268.22     33.04      8.12   1000000         0
477.46/477.62	c       155       274    264.76     35.02      7.56   1000000         0
478.56/478.79	c       141       202    263.48     35.02      7.52   1000000         0
479.76/479.96	c       152       205    268.36     35.84      7.49   1000000         0
480.96/481.13	c       144       290    266.36     33.33      7.99   1000000         0
482.16/482.30	c       149       277    264.87     32.24      8.22   1000000         0
483.26/483.47	c       148       252    265.52     34.66      7.66   1000000         0
484.46/484.65	c       139       279    267.82     33.13      8.08   1000000         0
485.66/485.82	c       144       269    263.54     36.79      7.16   1000000         0
486.76/486.99	c       162       278    269.36     33.69      7.99   1000000         0
487.96/488.16	c       140       266    266.29     34.18      7.79   1000000         0
489.16/489.33	c       157       269    270.98     34.49      7.86   1000000         0
490.26/490.49	c       145       228    265.61     35.63      7.46   1000000         0
491.47/491.66	c       133       299    265.63     36.76      7.23   1000000         0
492.67/492.83	c       164       246    266.48     34.00      7.84   1000000         0
493.86/494.00	c       136       195    265.08     37.19      7.13   1000000         0
494.96/495.17	c       167       300    268.25     35.55      7.55   1000000         0
496.16/496.34	c       160       264    271.84     35.49      7.66   1000000         0
497.36/497.51	c       147       231    266.43     36.00      7.40   1000000         0
498.46/498.68	c       133       224    265.02     34.66      7.65   1000000         0
499.66/499.85	c       158       264    265.21     35.20      7.53   1000000         0
500.86/501.02	c       149       276    263.68     34.64      7.61   1000000         0
501.95/502.19	c       156       262    269.53     36.85      7.31   1000000         0
503.15/503.37	c       150       276    266.15     33.08      8.05   1000000         0
504.35/504.54	c       144       305    266.63     35.22      7.57   1000000         0
505.55/505.71	c       153       265    265.90     33.54      7.93   1000000         0
506.65/506.88	c       148       292    262.82     34.14      7.70   1000000         0
507.85/508.05	c       143       263    270.69     34.93      7.75   1000000         0
509.06/509.22	c       141       283    267.33     36.74      7.28   1000000         0
510.16/510.39	c       147       297    266.58     34.22      7.79   1000000         0
511.36/511.57	c       148       239    272.09     36.28      7.50   1000000         0
512.55/512.74	c       153       332    264.03     34.18      7.73   1000000         0
513.75/513.91	c       131       273    263.15     37.25      7.07   1000000         0
514.85/515.08	c       157       302    269.19     34.79      7.74   1000000         0
516.05/516.25	c       146       251    267.11     35.28      7.57   1000000         0
517.25/517.42	c       161       252    274.27     35.14      7.81   1000000         0
518.35/518.60	c       153       293    267.57     34.85      7.68   1000000         0
519.55/519.77	c       156       326    266.25     33.16      8.03   1000000         0
520.75/520.94	c       162       293    271.92     33.30      8.17   1000000         0
521.95/522.10	c       156       314    265.76     34.57      7.69   1000000         0
523.05/523.28	c       118       317    266.44     35.17      7.58   1000000         0
524.25/524.45	c       161       261    267.71     35.06      7.64   1000000         0
525.45/525.62	c       157       246    266.11     35.13      7.57   1000000         0
526.55/526.79	c       152       234    266.67     34.69      7.69   1000000         0
527.76/527.96	c       158       314    265.37     33.89      7.83   1000000         0
528.96/529.14	c       146       247    266.63     36.01      7.41   1000000         0
530.15/530.31	c       141       298    265.60     33.54      7.92   1000000         0
531.25/531.48	c       159       231    268.94     34.59      7.78   1000000         0
532.45/532.65	c       158       224    269.67     35.63      7.57   1000000         0
533.65/533.82	c       115       241    264.84     36.13      7.33   1000000         0
534.75/534.98	c       148       334    266.92     35.25      7.57   1000000         0
535.95/536.16	c       149       290    266.80     33.85      7.88   1000000         0
537.15/537.33	c       157       249    269.61     35.52      7.59   1000000         0
538.35/538.50	c       151       235    264.55     34.78      7.61   1000000         0
539.45/539.67	c       143       248    264.80     34.93      7.58   1000000         0
540.65/540.84	c       143       296    267.18     35.51      7.52   1000000         0
541.85/542.01	c       147       285    267.01     35.40      7.54   1000000         0
542.95/543.18	c       150       298    266.19     32.56      8.18   1000000         0
544.15/544.35	c       161       278    266.86     34.57      7.72   1000000         0
545.35/545.52	c       154       349    267.39     34.13      7.84   1000000         0
546.45/546.69	c       148       243    267.15     35.11      7.61   1000000         0
547.65/547.87	c       154       273    269.81     36.67      7.36   1000000         0
548.84/549.04	c       149       240    264.76     32.85      8.06   1000000         0
550.04/550.21	c       149       283    265.17     35.39      7.49   1000000         0
551.14/551.38	c       147       266    269.28     33.93      7.94   1000000         0
552.34/552.55	c       152       274    266.27     33.28      8.00   1000000         0
553.54/553.72	c       131       159    262.32     34.71      7.56   1000000         0
554.64/554.89	c       152       373    264.82     34.71      7.63   1000000         0
555.84/556.06	c       133       312    260.91     35.09      7.43   1000000         0
557.04/557.23	c       162       283    263.45     32.90      8.01   1000000         0
558.24/558.40	c       154       218    266.48     36.31      7.34   1000000         0
559.34/559.57	c       153       243    271.94     34.86      7.80   1000000         0
560.54/560.74	c       152       331    270.51     33.52      8.07   1000000         0
561.74/561.91	c       155       241    261.39     34.22      7.64   1000000         0
562.84/563.08	c       154       237    263.94     33.48      7.88   1000000         0
564.05/564.26	c       159       256    270.56     35.42      7.64   1000000         0
565.25/565.43	c       148       264    267.31     35.17      7.60   1000000         0
566.44/566.60	c       151       252    269.15     34.85      7.72   1000000         0
567.54/567.77	c       154       254    265.31     33.18      8.00   1000000         0
568.74/568.94	c       159       290    269.84     34.03      7.93   1000000         0
569.94/570.11	c       163       264    264.73     34.54      7.67   1000000         0
571.04/571.28	c       138       277    266.47     37.14      7.17   1000000         0
572.24/572.45	c       145       196    266.30     37.03      7.19   1000000         0
573.44/573.62	c       150       277    266.15     37.11      7.17   1000000         0
574.54/574.79	c       146       260    270.20     35.08      7.70   1000000         0
575.74/575.96	c       146       260    268.41     37.94      7.07   1000000         0
576.94/577.13	c       143       295    265.03     34.31      7.73   1000000         0
578.14/578.31	c       142       281    270.74     37.25      7.27   1000000         0
579.24/579.48	c       147       257    265.48     34.73      7.64   1000000         0
580.44/580.65	c       153       330    268.44     36.97      7.26   1000000         0
581.64/581.82	c       147       248    271.40     34.97      7.76   1000000         0
582.74/582.99	c       161       245    267.69     35.67      7.50   1000000         0
583.94/584.16	c       156       223    266.73     32.15      8.30   1000000         0
585.14/585.33	c       146       242    266.81     35.08      7.61   1000000         0
586.33/586.50	c       147       200    265.25     34.26      7.74   1000000         0
587.43/587.67	c       141       244    269.67     37.20      7.25   1000000         0
588.63/588.84	c       149       270    266.28     33.05      8.06   1000000         0
589.83/590.01	c       136       261    269.21     37.41      7.20   1000000         0
590.93/591.18	c       150       238    265.30     35.69      7.43   1000000         0
592.13/592.36	c       133       306    265.64     37.60      7.06   1000000         0
593.33/593.53	c       159       305    267.18     34.72      7.70   1000000         0
594.53/594.70	c       154       277    265.39     35.43      7.49   1000000         0
595.63/595.88	c       152       256    270.04     34.26      7.88   1000000         0
596.83/597.04	c       148       314    265.59     33.86      7.84   1000000         0
598.03/598.21	c       154       294    269.30     33.68      8.00   1000000         0
599.13/599.39	c       146       243    268.84     36.63      7.34   1000000         0
600.34/600.56	c       147       271    264.27     33.61      7.86   1000000         0
601.54/601.73	c       147       321    265.09     36.10      7.34   1000000         0
602.73/602.90	c       132       238    267.16     35.70      7.48   1000000         0
603.83/604.07	c       118       291    265.71     33.65      7.90   1000000         0
605.03/605.24	c       147       273    263.23     32.57      8.08   1000000         0
606.23/606.41	c       146       254    266.29     36.04      7.39   1000000         0
607.33/607.58	c       157       290    271.52     34.80      7.80   1000000         0
608.53/608.75	c       138       240    268.16     37.60      7.13   1000000         0
609.73/609.93	c       161       275    268.41     33.93      7.91   1000000         0
610.93/611.10	c       155       199    265.32     32.98      8.04   1000000         0
612.03/612.27	c       132       300    265.27     34.03      7.79   1000000         0
613.23/613.44	c       161       279    269.40     32.03      8.41   1000000         0
614.43/614.61	c       148       247    267.98     36.43      7.36   1000000         0
615.53/615.77	c       147       302    265.55     34.24      7.76   1000000         0
616.73/616.95	c       144       309    269.89     34.33      7.86   1000000         0
617.93/618.13	c       159       247    270.12     33.55      8.05   1000000         0
619.03/619.30	c       148       249    266.94     33.51      7.97   1000000         0
620.23/620.47	c       157       312    264.14     36.38      7.26   1000000         0
621.42/621.64	c       156       297    262.97     34.92      7.53   1000000         0
622.62/622.81	c       155       264    268.53     34.81      7.71   1000000         0
623.72/623.98	c       140       263    269.06     36.44      7.38   1000000         0
624.92/625.15	c       139       231    267.23     35.16      7.60   1000000         0
626.12/626.32	c       154       267    267.24     34.49      7.75   1000000         0
627.22/627.49	c       153       306    267.85     33.99      7.88   1000000         0
628.42/628.66	c       146       256    263.28     34.60      7.61   1000000         0
629.62/629.83	c       148       224    268.93     34.52      7.79   1000000         0
630.82/631.00	c       140       230    266.80     36.94      7.22   1000000         0
631.92/632.17	c       136       242    266.46     34.90      7.63   1000000         0
633.12/633.34	c       150       259    267.22     33.78      7.91   1000000         0
634.32/634.51	c       154       323    267.22     34.99      7.64   1000000         0
635.42/635.68	c       163       250    271.95     35.77      7.60   1000000         0
636.63/636.85	c       150       272    262.85     34.28      7.67   1000000         0
637.83/638.02	c       146       294    262.23     34.27      7.65   1000000         0
638.93/639.19	c       138       270    264.00     34.65      7.62   1000000         0
640.12/640.36	c       148       282    266.20     34.42      7.73   1000000         0
641.32/641.53	c       142       267    270.88     36.98      7.33   1000000         0
642.52/642.71	c       146       301    270.50     33.92      7.97   1000000         0
643.62/643.87	c       161       380    267.17     32.93      8.11   1000000         0
644.82/645.05	c       157       228    266.33     34.76      7.66   1000000         0
646.02/646.21	c       127       273    265.06     35.30      7.51   1000000         0
647.12/647.38	c       142       275    270.09     36.01      7.50   1000000         0
648.32/648.56	c       155       258    269.19     33.78      7.97   1000000         0
649.52/649.72	c       128       248    265.35     36.33      7.30   1000000         0
650.72/650.90	c       143       290    271.60     36.27      7.49   1000000         0
651.82/652.06	c       156       266    267.56     34.66      7.72   1000000         0
653.02/653.23	c       136       247    264.44     35.99      7.35   1000000         0
654.22/654.41	c       154       232    263.06     33.44      7.87   1000000         0
655.32/655.58	c       155       219    264.54     34.57      7.65   1000000         0
656.52/656.75	c       164       288    271.05     33.19      8.17   1000000         0
657.72/657.93	c       146       238    269.68     34.24      7.88   1000000         0
658.81/659.09	c       152       309    267.49     36.36      7.36   1000000         0
660.01/660.26	c       159       253    268.61     34.04      7.89   1000000         0
661.21/661.44	c       155       310    268.03     35.12      7.63   1000000         0
662.41/662.61	c       130       287    263.56     35.87      7.35   1000000         0
663.51/663.78	c       157       263    268.66     35.60      7.55   1000000         0
664.71/664.95	c       153       287    271.48     33.65      8.07   1000000         0
665.91/666.12	c       158       243    269.40     37.56      7.17   1000000         0
667.01/667.29	c       165       317    269.47     32.39      8.32   1000000         0
668.21/668.46	c       154       278    265.57     34.68      7.66   1000000         0
669.41/669.63	c       140       244    266.95     35.18      7.59   1000000         0
670.51/670.79	c       152       256    264.74     32.22      8.22   1000000         0
671.71/671.96	c       153       304    265.29     33.19      7.99   1000000         0
672.92/673.14	c       148       227    265.22     34.52      7.68   1000000         0
674.12/674.31	c       147       246    265.14     35.67      7.43   1000000         0
675.22/675.48	c       141       273    270.72     36.90      7.34   1000000         0
676.41/676.64	c       156       254    263.01     33.86      7.77   1000000         0
677.61/677.81	c       153       264    271.59     36.28      7.49   1000000         0
678.71/678.99	c       162       277    267.94     34.34      7.80   1000000         0
679.91/680.15	c       159       202    263.25     36.84      7.15   1000000         0
681.11/681.32	c       158       270    264.27     34.96      7.56   1000000         0
682.21/682.49	c       134       312    269.26     35.50      7.58   1000000         0
683.41/683.66	c       160       225    269.98     34.76      7.77   1000000         0
684.61/684.83	c       153       248    272.16     36.21      7.52   1000000         0
685.81/686.00	c       150       276    268.33     34.75      7.72   1000000         0
686.91/687.17	c       151       268    269.47     35.05      7.69   1000000         0
688.11/688.34	c       154       247    269.13     35.20      7.65   1000000         0
689.31/689.51	c       151       255    270.20     36.76      7.35   1000000         0
690.41/690.68	c       153       332    270.39     37.92      7.13   1000000         0
691.61/691.85	c       161       226    266.61     35.12      7.59   1000000         0
692.81/693.02	c       150       250    267.39     34.37      7.78   1000000         0
693.91/694.20	c       159       258    267.35     34.40      7.77   1000000         0
695.11/695.36	c       137       234    266.47     34.69      7.68   1000000         0
696.31/696.53	c       155       294    268.92     35.94      7.48   1000000         0
697.50/697.71	c       153       222    265.28     33.80      7.85   1000000         0
698.60/698.88	c       122       218    265.58     36.38      7.30   1000000         0
699.80/700.05	c       157       284    263.02     36.59      7.19   1000000         0
701.00/701.23	c       144       243    266.76     34.65      7.70   1000000         0
702.10/702.40	c       153       251    268.42     36.91      7.27   1000000         0
703.30/703.57	c       141       248    268.08     34.49      7.77   1000000         0
704.50/704.74	c       147       299    268.32     33.52      8.01   1000000         0
705.70/705.91	c       147       251    266.77     37.67      7.08   1000000         0
706.80/707.08	c       157       238    267.82     34.31      7.81   1000000         0
708.00/708.25	c       157       265    268.64     35.47      7.57   1000000         0
709.21/709.42	c       151       240    266.09     32.86      8.10   1000000         0
710.31/710.59	c       154       317    268.09     34.89      7.68   1000000         0
711.51/711.76	c       119       268    268.36     36.77      7.30   1000000         0
712.70/712.93	c       143       246    265.77     33.79      7.87   1000000         0
713.90/714.10	c       143       306    268.62     34.26      7.84   1000000         0
715.00/715.28	c       145       321    267.36     34.48      7.75   1000000         0
716.20/716.44	c       139       270    268.17     34.98      7.67   1000000         0
717.40/717.62	c       148       249    265.90     35.52      7.49   1000000         0
718.50/718.79	c       149       221    265.82     33.48      7.94   1000000         0
719.70/719.96	c       157       272    270.01     36.30      7.44   1000000         0
720.90/721.13	c       127       356    265.06     34.50      7.68   1000000         0
722.10/722.30	c       170       302    268.63     32.51      8.26   1000000         0
723.20/723.46	c       156       241    266.18     33.72      7.89   1000000         0
724.40/724.64	c       150       290    268.54     37.03      7.25   1000000         0
725.60/725.81	c       156       336    265.22     33.82      7.84   1000000         0
726.70/726.98	c       154       287    268.03     34.39      7.79   1000000         0
727.90/728.15	c       161       244    266.93     33.60      7.95   1000000         0
729.10/729.32	c       156       246    268.97     37.67      7.14   1000000         0
730.20/730.49	c       154       273    268.57     33.94      7.91   1000000         0
731.40/731.66	c       139       248    268.26     36.02      7.45   1000000         0
732.59/732.83	c       156       203    268.10     33.98      7.89   1000000         0
733.79/734.00	c       147       302    267.27     37.21      7.18   1000000         0
734.89/735.17	c       151       294    271.78     34.26      7.93   1000000         0
736.09/736.34	c       152       264    264.59     34.95      7.57   1000000         0
737.29/737.51	c       153       253    263.01     34.29      7.67   1000000         0
738.39/738.68	c       139       240    265.58     36.39      7.30   1000000         0
739.59/739.85	c       152       269    267.19     36.34      7.35   1000000         0
740.79/741.02	c       148       297    265.12     35.32      7.51   1000000         0
741.89/742.19	c       160       263    268.22     32.28      8.31   1000000         0
743.09/743.36	c       146       343    270.38     35.57      7.60   1000000         0
744.29/744.53	c       158       230    268.17     35.26      7.61   1000000         0
745.50/745.70	c       151       232    264.75     35.69      7.42   1000000         0
746.60/746.87	c       145       269    267.16     35.04      7.62   1000000         0
747.80/748.04	c       133       294    262.06     37.22      7.04   1000000         0
748.99/749.21	c       161       281    268.75     35.04      7.67   1000000         0
750.09/750.38	c       147       283    262.74     35.26      7.45   1000000         0
751.29/751.54	c       157       238    266.01     33.03      8.05   1000000         0
752.49/752.72	c       151       382    265.32     33.54      7.91   1000000         0
753.59/753.89	c       147       261    267.42     33.82      7.91   1000000         0
754.79/755.06	c       167       284    265.07     34.04      7.79   1000000         0
755.99/756.23	c       155       283    266.25     36.07      7.38   1000000         0
757.19/757.40	c       143       213    266.69     35.86      7.44   1000000         0
758.29/758.57	c       153       257    265.68     36.28      7.32   1000000         0
759.49/759.74	c       140       299    267.36     34.74      7.70   1000000         0
760.69/760.91	c       152       230    268.19     36.33      7.38   1000000         0
761.79/762.08	c       156       255    267.87     34.77      7.70   1000000         0
762.99/763.24	c       156       269    266.00     33.34      7.98   1000000         0
764.19/764.41	c       159       256    266.02     34.48      7.71   1000000         0
765.29/765.58	c       151       245    269.52     34.21      7.88   1000000         0
766.49/766.76	c       142       294    269.75     36.51      7.39   1000000         0
767.69/767.93	c       163       275    267.05     34.67      7.70   1000000         0
768.89/769.10	c       149       311    268.38     33.51      8.01   1000000         0
769.98/770.27	c       149       251    265.44     35.07      7.57   1000000         0
771.18/771.44	c       145       304    266.26     33.79      7.88   1000000         0
772.38/772.61	c       150       262    267.23     34.68      7.71   1000000         0
773.48/773.79	c       149       255    266.42     34.07      7.82   1000000         0
774.68/774.96	c       149       240    267.15     35.66      7.49   1000000         0
775.88/776.13	c       133       286    267.13     36.34      7.35   1000000         0
777.08/777.30	c       145       255    267.05     33.31      8.02   1000000         0
778.18/778.47	c       153       264    265.02     34.76      7.62   1000000         0
779.38/779.64	c       135       327    267.48     34.38      7.78   1000000         0
780.58/780.81	c       173       286    270.97     36.52      7.42   1000000         0
781.68/781.98	c       156       243    264.53     34.09      7.76   1000000         0
782.89/783.15	c       161       330    263.40     34.45      7.64   1000000         0
784.09/784.32	c       117       325    264.75     34.61      7.65   1000000         0
785.19/785.49	c       135       230    261.78     35.00      7.48   1000000         0
786.38/786.66	c       160       286    271.43     34.14      7.95   1000000         0
787.58/787.83	c       142       271    267.66     35.77      7.48   1000000         0
788.78/789.00	c       161       255    272.70     34.78      7.84   1000000         0
789.88/790.17	c       159       277    270.32     34.85      7.76   1000000         0
791.08/791.35	c       165       282    266.73     34.99      7.62   1000000         0
792.28/792.51	c       149       209    267.67     35.79      7.48   1000000         0
793.38/793.68	c       150       299    264.54     35.69      7.41   1000000         0
794.58/794.85	c       143       248    264.16     34.65      7.62   1000000         0
795.78/796.03	c       155       342    265.47     33.98      7.81   1000000         0
796.88/797.19	c       151       252    263.79     33.33      7.91   1000000         0
798.08/798.37	c       150       246    265.74     34.28      7.75   1000000         0
799.28/799.54	c       160       283    270.98     34.50      7.85   1000000         0
800.48/800.71	c       144       247    267.19     35.05      7.62   1000000         0
801.58/801.88	c       137       274    262.68     34.77      7.55   1000000         0
802.78/803.05	c       161       350    266.42     33.75      7.89   1000000         0
803.98/804.22	c       154       225    270.44     34.54      7.83   1000000         0
805.18/805.40	c       144       287    266.07     36.46      7.30   1000000         0
806.28/806.57	c       159       235    266.63     36.13      7.38   1000000         0
807.48/807.74	c       139       308    262.81     35.43      7.42   1000000         0
808.68/808.91	c       148       284    271.49     33.50      8.10   1000000         0
809.77/810.08	c       148       263    269.36     35.58      7.57   1000000         0
810.97/811.25	c       156       279    265.50     34.61      7.67   1000000         0
812.17/812.42	c       150       286    268.16     36.63      7.32   1000000         0
813.27/813.60	c       143       214    268.47     36.07      7.44   1000000         0
814.47/814.77	c       150       284    268.54     34.43      7.80   1000000         0
815.67/815.94	c       150       267    265.99     37.18      7.15   1000000         0
816.87/817.10	c       134       200    268.90     34.78      7.73   1000000         0
817.97/818.27	c       163       256    266.64     32.54      8.19   1000000         0
819.18/819.44	c       156       243    268.39     35.74      7.51   1000000         0
820.38/820.61	c       145       274    268.16     34.98      7.67   1000000         0
821.48/821.78	c       146       265    264.78     37.70      7.02   1000000         0
822.67/822.96	c       152       268    274.62     36.43      7.54   1000000         0
823.87/824.13	c       161       307    267.01     33.47      7.98   1000000         0
825.07/825.30	c       154       269    269.54     33.82      7.97   1000000         0
826.17/826.47	c       152       213    267.74     33.33      8.03   1000000         0
827.37/827.64	c       141       232    269.91     34.74      7.77   1000000         0
828.57/828.81	c       146       246    268.82     36.30      7.41   1000000         0
829.67/829.98	c       154       251    263.58     33.88      7.78   1000000         0
830.87/831.16	c       143       278    266.04     34.09      7.80   1000000         0
832.07/832.33	c       151       278    269.92     35.17      7.68   1000000         0
833.27/833.50	c       147       292    271.56     36.31      7.48   1000000         0
834.37/834.67	c       141       305    261.35     34.46      7.58   1000000         0
835.57/835.84	c       145       274    267.39     35.64      7.50   1000000         0
836.77/837.01	c       154       308    265.46     34.71      7.65   1000000         0
837.87/838.18	c       119       308    267.64     36.77      7.28   1000000         0
839.07/839.35	c       145       204    268.44     34.06      7.88   1000000         0
840.27/840.52	c       158       268    269.46     34.00      7.92   1000000         0
841.37/841.69	c       159       308    263.42     33.41      7.88   1000000         0
842.57/842.86	c       167       284    271.69     33.94      8.00   1000000         0
843.77/844.03	c       150       189    259.78     32.92      7.89   1000000         0
844.97/845.20	c       149       279    271.40     38.18      7.11   1000000         0
846.07/846.38	c       159       351    267.49     34.66      7.72   1000000         0
847.27/847.55	c       155       271    269.55     36.17      7.45   1000000         0
848.47/848.72	c       133       236    268.67     35.75      7.51   1000000         0
849.56/849.89	c       155       260    263.31     34.34      7.67   1000000         0
850.76/851.06	c       140       298    266.59     34.25      7.78   1000000         0
851.96/852.23	c       167       256    270.26     34.11      7.92   1000000         0
853.16/853.40	c       128       277    269.72     34.68      7.78   1000000         0
854.26/854.57	c       148       243    264.06     35.14      7.51   1000000         0
855.47/855.74	c       160       302    262.68     33.64      7.81   1000000         0
856.67/856.90	c       151       296    264.30     33.96      7.78   1000000         0
857.77/858.07	c       145       271    267.46     35.60      7.51   1000000         0
858.96/859.24	c       149       274    267.74     35.72      7.49   1000000         0
860.16/860.41	c       154       276    270.93     36.45      7.43   1000000         0
861.26/861.59	c       150       239    268.62     35.19      7.63   1000000         0
862.46/862.75	c       165       271    266.62     34.15      7.81   1000000         0
863.66/863.93	c       161       298    269.31     34.60      7.78   1000000         0
864.76/865.10	c       158       322    265.43     35.44      7.49   1000000         0
865.96/866.27	c       144       246    271.01     37.70      7.19   1000000         0
867.16/867.44	c       147       255    265.29     34.87      7.61   1000000         0
868.36/868.61	c       144       275    266.13     36.57      7.28   1000000         0
869.46/869.78	c       139       274    269.13     35.93      7.49   1000000         0
870.66/870.95	c       160       301    265.41     33.02      8.04   1000000         0
871.86/872.12	c       151       223    268.41     36.24      7.41   1000000         0
872.96/873.29	c       136       335    265.85     36.27      7.33   1000000         0
874.17/874.46	c       151       252    272.28     36.88      7.38   1000000         0
875.37/875.63	c       141       238    265.97     34.48      7.71   1000000         0
876.56/876.80	c       153       243    268.04     34.25      7.83   1000000         0
877.66/877.97	c       145       239    260.94     36.12      7.22   1000000         0
878.86/879.14	c       151       331    264.04     33.83      7.80   1000000         0
880.06/880.31	c       147       268    266.92     35.02      7.62   1000000         0
881.16/881.48	c       143       239    264.93     35.74      7.41   1000000         0
882.36/882.65	c       151       217    267.43     36.86      7.25   1000000         0
883.56/883.81	c       156       327    263.58     34.82      7.57   1000000         0
884.66/884.98	c       151       288    265.85     35.52      7.48   1000000         0
885.86/886.15	c       150       177    264.90     34.43      7.69   1000000         0
887.06/887.32	c       147       255    264.97     36.30      7.30   1000000         0
888.15/888.49	c       156       235    272.19     35.23      7.73   1000000         0
889.35/889.66	c       136       266    266.94     36.32      7.35   1000000         0
890.55/890.83	c       144       228    267.49     34.21      7.82   1000000         0
891.76/892.00	c       144       305    268.15     35.77      7.50   1000000         0
892.86/893.17	c       161       260    269.28     33.56      8.02   1000000         0
894.06/894.34	c       149       226    265.65     34.43      7.72   1000000         0
895.25/895.51	c       160       265    265.32     33.62      7.89   1000000         0
896.35/896.68	c       143       292    269.69     34.73      7.77   1000000         0
897.55/897.86	c       134       274    266.37     36.11      7.38   1000000         0
898.75/899.03	c       156       314    268.44     36.30      7.40   1000000         0
899.95/900.20	c       154       212    264.51     35.46      7.46   1000000         0
901.05/901.37	c       151       218    266.71     35.64      7.48   1000000         0
902.25/902.54	c       146       204    263.38     35.37      7.45   1000000         0
903.45/903.71	c       155       241    271.45     35.64      7.62   1000000         0
904.55/904.88	c       160       266    266.93     32.75      8.15   1000000         0
905.75/906.05	c       159       234    266.75     32.39      8.23   1000000         0
906.95/907.22	c       147       273    267.81     38.41      6.97   1000000         0
908.05/908.39	c       160       250    268.27     34.03      7.88   1000000         0
909.25/909.56	c       161       244    264.45     33.29      7.94   1000000         0
910.46/910.73	c       136       226    268.89     37.10      7.25   1000000         0
911.56/911.90	c       142       273    268.10     33.82      7.93   1000000         0
912.76/913.07	c       155       256    268.45     34.67      7.74   1000000         0
913.95/914.24	c       149       268    268.50     37.33      7.19   1000000         0
915.15/915.42	c       148       285    266.40     33.96      7.84   1000000         0
916.25/916.59	c       158       283    267.40     35.90      7.45   1000000         0
917.45/917.76	c       153       251    263.58     33.56      7.85   1000000         0
918.65/918.93	c       143       271    265.11     35.15      7.54   1000000         0
919.75/920.10	c       139       323    263.23     35.62      7.39   1000000         0
920.95/921.26	c       133       248    272.25     34.15      7.97   1000000         0
922.15/922.44	c       156       262    263.32     33.75      7.80   1000000         0
923.35/923.61	c       134       276    268.18     36.49      7.35   1000000         0
924.45/924.78	c       143       296    261.14     34.17      7.64   1000000         0
925.65/925.95	c       139       219    266.87     35.10      7.60   1000000         0
926.85/927.12	c       149       202    265.70     34.09      7.79   1000000         0
927.94/928.29	c       151       254    269.19     35.09      7.67   1000000         0
929.15/929.46	c       137       265    269.61     37.45      7.20   1000000         0
930.35/930.63	c       148       309    269.12     37.26      7.22   1000000         0
931.54/931.80	c       148       241    267.75     34.50      7.76   1000000         0
932.64/932.97	c       166       279    268.23     34.31      7.82   1000000         0
933.84/934.14	c       147       237    265.80     36.15      7.35   1000000         0
935.04/935.31	c       145       297    267.02     34.70      7.69   1000000         0
936.14/936.48	c       152       283    263.11     33.86      7.77   1000000         0
937.34/937.65	c       149       223    264.01     33.35      7.92   1000000         0
938.54/938.82	c       147       325    263.07     34.87      7.54   1000000         0
939.64/939.99	c       146       264    268.66     35.39      7.59   1000000         0
940.84/941.16	c       149       325    268.30     36.72      7.31   1000000         0
942.04/942.33	c       167       265    268.68     34.87      7.70   1000000         0
943.24/943.51	c       142       295    268.34     35.28      7.61   1000000         0
944.34/944.68	c       142       231    265.11     33.97      7.80   1000000         0
945.54/945.85	c       151       254    265.78     35.33      7.52   1000000         0
946.75/947.02	c       135       277    262.14     34.11      7.68   1000000         0
947.85/948.19	c       155       175    267.97     34.34      7.80   1000000         0
949.05/949.36	c       152       247    265.86     33.67      7.90   1000000         0
950.24/950.53	c       158       227    266.40     34.31      7.76   1000000         0
951.34/951.69	c       124       242    265.30     36.58      7.25   1000000         0
952.54/952.87	c       150       231    266.09     35.17      7.57   1000000         0
953.74/954.03	c       157       255    266.67     35.76      7.46   1000000         0
954.94/955.20	c       155       232    267.60     34.73      7.70   1000000         0
956.04/956.37	c       148       247    268.52     34.40      7.80   1000000         0
957.24/957.55	c       152       251    267.63     35.06      7.63   1000000         0
958.44/958.72	c       151       262    275.76     36.65      7.52   1000000         0
959.54/959.89	c       142       328    267.49     34.00      7.87   1000000         0
960.74/961.06	c       162       195    267.03     34.92      7.65   1000000         0
961.94/962.23	c       150       247    266.90     34.81      7.67   1000000         0
963.14/963.40	c       147       202    267.66     36.17      7.40   1000000         0
964.24/964.57	c       142       246    268.13     34.36      7.80   1000000         0
965.44/965.74	c       148       234    267.63     38.35      6.98   1000000         0
966.64/966.91	c       162       282    269.61     32.65      8.26   1000000         0
967.74/968.08	c       130       254    265.67     35.84      7.41   1000000         0
968.93/969.25	c       139       249    267.38     34.35      7.78   1000000         0
970.13/970.43	c       157       271    260.53     31.83      8.18   1000000         0
971.23/971.59	c       146       335    268.58     36.66      7.33   1000000         0
972.43/972.76	c       147       247    266.55     34.57      7.71   1000000         0
973.63/973.93	c       156       213    264.74     33.65      7.87   1000000         0
974.83/975.10	c       146       327    269.92     35.10      7.69   1000000         0
975.93/976.27	c       152       253    267.26     36.99      7.22   1000000         0
977.13/977.44	c       144       265    268.34     34.96      7.68   1000000         0
978.33/978.61	c       134       229    265.97     34.30      7.76   1000000         0
979.43/979.78	c       142       208    264.66     34.57      7.66   1000000         0
980.63/980.95	c       147       166    271.85     36.32      7.48   1000000         0
981.83/982.12	c       160       258    268.00     32.51      8.24   1000000         0
982.93/983.29	c       158       260    271.75     32.80      8.28   1000000         0
984.14/984.46	c       163       238    265.84     35.53      7.48   1000000         0
985.34/985.63	c       134       262    267.83     33.98      7.88   1000000         0
986.53/986.80	c       149       220    263.30     35.16      7.49   1000000         0
987.63/987.97	c       159       211    268.55     34.36      7.82   1000000         0
988.83/989.14	c       147       228    267.20     35.23      7.58   1000000         0
990.03/990.31	c       161       229    265.82     32.84      8.09   1000000         0
991.13/991.48	c       165       309    270.18     34.90      7.74   1000000         0
992.33/992.64	c       161       244    267.82     34.23      7.82   1000000         0
993.53/993.81	c       138       367    266.53     39.43      6.76   1000000         0
994.63/994.98	c       160       255    268.97     32.69      8.23   1000000         0
995.83/996.15	c       137       274    267.92     34.23      7.83   1000000         0
997.03/997.32	c       149       226    272.97     36.01      7.58   1000000         0
998.13/998.49	c       141       255    266.64     35.16      7.58   1000000         0
999.33/999.66	c       160       235    270.42     34.63      7.81   1000000         0
1000.53/1000.83	c       143       220    265.19     33.73      7.86   1000000         0
1001.63/1002.00	c       146       232    268.81     32.85      8.18   1000000         0
1002.83/1003.17	c       148       301    266.66     34.97      7.62   1000000         0
1004.03/1004.34	c       148       231    267.76     35.05      7.64   1000000         0
1005.23/1005.51	c       146       262    267.19     35.54      7.52   1000000         0
1006.33/1006.69	c       153       296    264.11     35.44      7.45   1000000         0
1007.52/1007.86	c       144       242    265.04     34.69      7.64   1000000         0
1008.72/1009.03	c       156       231    267.62     36.40      7.35   1000000         0
1009.92/1010.20	c       140       198    266.49     34.73      7.67   1000000         0
1011.02/1011.37	c       150       209    269.31     33.68      8.00   1000000         0
1012.22/1012.54	c       156       243    269.24     34.20      7.87   1000000         0
1013.42/1013.71	c       151       278    267.26     36.43      7.34   1000000         0
1014.52/1014.88	c       145       298    268.17     35.30      7.60   1000000         0
1015.72/1016.05	c       133       285    266.43     36.57      7.29   1000000         0
1016.92/1017.22	c       139       228    263.84     37.62      7.01   1000000         0
1018.02/1018.39	c       144       252    268.69     36.05      7.45   1000000         0
1019.22/1019.56	c       155       237    268.60     35.80      7.50   1000000         0
1020.43/1020.73	c       152       298    268.60     36.16      7.43   1000000         0
1021.53/1021.90	c       146       263    265.63     33.58      7.91   1000000         0
1022.73/1023.06	c       146       277    264.02     34.39      7.68   1000000         0
1023.92/1024.24	c       154       242    264.49     35.14      7.53   1000000         0
1025.12/1025.41	c       143       215    266.27     34.86      7.64   1000000         0
1026.22/1026.58	c       164       261    265.26     33.21      7.99   1000000         0
1027.42/1027.75	c       168       314    269.50     32.98      8.17   1000000         0
1028.62/1028.93	c       150       301    264.03     35.00      7.54   1000000         0
1029.72/1030.09	c       153       214    264.85     34.47      7.68   1000000         0
1030.92/1031.26	c       149       283    268.22     35.01      7.66   1000000         0
1032.12/1032.44	c       150       248    270.60     34.75      7.79   1000000         0
1033.32/1033.60	c       148       295    266.19     37.31      7.13   1000000         0
1034.42/1034.77	c       150       326    266.33     36.64      7.27   1000000         0
1035.62/1035.94	c       159       234    266.58     35.28      7.56   1000000         0
1036.82/1037.11	c       146       292    267.06     33.77      7.91   1000000         0
1037.92/1038.28	c       161       277    269.53     36.22      7.44   1000000         0
1039.12/1039.45	c       163       177    265.46     32.94      8.06   1000000         0
1040.32/1040.62	c       144       211    265.33     35.89      7.39   1000000         0
1041.42/1041.80	c       152       254    269.17     33.91      7.94   1000000         0
1042.62/1042.96	c       137       291    265.49     35.08      7.57   1000000         0
1043.82/1044.13	c       155       239    268.43     36.54      7.35   1000000         0
1045.02/1045.30	c       157       176    269.20     34.33      7.84   1000000         0
1046.11/1046.47	c       151       316    263.24     32.68      8.05   1000000         0
1047.31/1047.64	c       152       311    262.74     34.42      7.63   1000000         0
1048.51/1048.81	c       147       311    267.86     35.66      7.51   1000000         0
1049.61/1049.99	c       162       241    274.04     35.52      7.72   1000000         0
1050.81/1051.16	c       131       346    266.58     35.92      7.42   1000000         0
1052.01/1052.33	c       159       242    270.58     34.49      7.84   1000000         0
1053.21/1053.50	c       163       273    268.10     35.88      7.47   1000000         0
1054.31/1054.66	c       156       246    266.76     34.24      7.79   1000000         0
1055.51/1055.83	c       151       227    267.57     36.56      7.32   1000000         0
1056.72/1057.01	c       163       204    265.56     32.03      8.29   1000000         0
1057.82/1058.18	c       152       251    263.56     35.00      7.53   1000000         0
1059.02/1059.35	c       157       286    263.68     34.41      7.66   1000000         0
1060.21/1060.52	c       147       262    269.45     36.72      7.34   1000000         0
1061.31/1061.68	c       124       295    263.04     34.93      7.53   1000000         0
1062.51/1062.86	c       153       274    268.81     33.72      7.97   1000000         0
1063.71/1064.03	c       158       294    265.95     34.21      7.77   1000000         0
1064.91/1065.20	c       165       229    274.17     35.01      7.83   1000000         0
1066.01/1066.37	c       158       315    270.61     35.58      7.61   1000000         0
1067.21/1067.54	c       171       284    271.46     33.20      8.18   1000000         0
1068.41/1068.71	c       136       280    268.12     34.35      7.81   1000000         0
1069.51/1069.88	c       148       237    270.39     38.10      7.10   1000000         0
1070.71/1071.05	c       148       309    265.72     35.87      7.41   1000000         0
1071.91/1072.22	c       158       271    264.11     34.37      7.68   1000000         0
1073.01/1073.38	c       148       309    265.89     35.02      7.59   1000000         0
1074.21/1074.55	c       126       299    265.97     33.96      7.83   1000000         0
1075.41/1075.72	c       148       299    265.62     33.96      7.82   1000000         0
1076.51/1076.90	c       132       251    270.04     36.79      7.34   1000000         0
1077.71/1078.07	c       144       316    266.12     34.34      7.75   1000000         0
1078.91/1079.24	c       162       286    266.27     34.17      7.79   1000000         0
1080.11/1080.41	c       142       300    266.37     35.19      7.57   1000000         0
1081.21/1081.58	c       157       231    266.63     35.98      7.41   1000000         0
1082.41/1082.75	c       159       321    266.41     33.96      7.84   1000000         0
1083.60/1083.92	c       160       237    267.58     36.35      7.36   1000000         0
1084.70/1085.10	c       141       238    265.35     35.88      7.39   1000000         0
1085.90/1086.27	c       157       330    267.22     33.43      7.99   1000000         0
1087.10/1087.44	c       128       255    264.04     36.04      7.33   1000000         0
1088.30/1088.61	c       154       279    267.26     35.55      7.52   1000000         0
1089.40/1089.78	c       157       233    266.02     35.87      7.42   1000000         0
1090.60/1090.95	c       147       295    263.29     33.98      7.75   1000000         0
1091.80/1092.11	c       150       253    263.11     33.44      7.87   1000000         0
1092.90/1093.28	c       153       233    266.02     34.04      7.81   1000000         0
1094.11/1094.45	c       154       309    269.41     35.25      7.64   1000000         0
1095.31/1095.63	c       156       247    267.07     32.90      8.12   1000000         0
1096.41/1096.80	c       151       230    265.98     34.87      7.63   1000000         0
1097.60/1097.97	c       150       286    270.54     35.51      7.62   1000000         0
1098.80/1099.14	c       147       252    266.78     36.45      7.32   1000000         0
1100.00/1100.31	c       144       306    267.20     33.21      8.05   1000000         0
1101.10/1101.48	c       117       265    263.83     36.92      7.15   1000000         0
1102.30/1102.65	c       140       247    262.88     35.83      7.34   1000000         0
1103.50/1103.82	c       148       291    270.60     35.45      7.63   1000000         0
1104.60/1105.00	c       161       211    265.02     34.64      7.65   1000000         0
1105.80/1106.17	c       158       249    266.05     34.07      7.81   1000000         0
1107.00/1107.34	c       150       331    266.99     36.18      7.38   1000000         0
1108.20/1108.51	c       136       237    268.50     35.28      7.61   1000000         0
1109.30/1109.67	c       142       254    265.27     36.09      7.35   1000000         0
1110.50/1110.85	c       152       224    268.43     34.84      7.70   1000000         0
1111.70/1112.01	c       156       244    269.63     36.27      7.43   1000000         0
1112.80/1113.18	c       146       288    264.92     34.07      7.78   1000000         0
1114.00/1114.35	c       154       249    266.28     32.56      8.18   1000000         0
1115.20/1115.53	c       155       207    271.49     36.66      7.40   1000000         0
1116.40/1116.70	c       152       241    266.56     33.02      8.07   1000000         0
1117.50/1117.87	c       160       296    272.85     34.04      8.02   1000000         0
1118.69/1119.04	c       164       231    267.68     35.46      7.55   1000000         0
1119.89/1120.21	c       152       290    266.39     38.68      6.89   1000000         0
1120.99/1121.38	c       149       255    266.93     35.64      7.49   1000000         0
1122.19/1122.55	c       145       292    265.09     34.10      7.77   1000000         0
1123.39/1123.73	c       146       250    269.17     33.56      8.02   1000000         0
1124.59/1124.90	c       146       234    265.51     32.93      8.06   1000000         0
1125.69/1126.07	c       148       381    265.37     34.47      7.70   1000000         0
1126.89/1127.24	c       150       261    267.88     36.24      7.39   1000000         0
1128.09/1128.41	c       155       293    267.73     34.61      7.74   1000000         0
1129.19/1129.58	c       141       284    259.49     33.85      7.67   1000000         0
1130.40/1130.75	c       148       223    267.47     37.63      7.11   1000000         0
1131.60/1131.93	c       118       271    269.74     36.59      7.37   1000000         0
1132.79/1133.10	c       151       259    266.81     34.73      7.68   1000000         0
1133.89/1134.27	c       167       287    266.09     33.26      8.00   1000000         0
1135.09/1135.44	c       147       240    268.45     34.85      7.70   1000000         0
1136.29/1136.61	c       154       222    265.58     33.75      7.87   1000000         0
1137.39/1137.79	c       158       270    269.69     34.78      7.75   1000000         0
1138.59/1138.95	c       160       228    268.76     33.93      7.92   1000000         0
1139.79/1140.12	c       154       310    268.26     34.88      7.69   1000000         0
1140.99/1141.30	c       159       241    266.94     35.37      7.55   1000000         0
1142.09/1142.47	c       153       296    273.33     37.91      7.21   1000000         0
1143.29/1143.64	c       144       225    267.36     34.67      7.71   1000000         0
1144.49/1144.81	c       146       249    267.34     34.07      7.85   1000000         0
1145.59/1145.98	c       157       280    265.40     32.74      8.11   1000000         0
1146.79/1147.15	c       151       261    265.70     37.07      7.17   1000000         0
1147.99/1148.32	c       148       308    266.53     37.08      7.19   1000000         0
1149.09/1149.49	c       154       238    263.20     35.50      7.41   1000000         0
1150.29/1150.66	c       147       233    262.94     35.53      7.40   1000000         0
1151.49/1151.83	c       134       269    263.04     32.51      8.09   1000000         0
1152.68/1153.00	c       147       251    264.89     35.03      7.56   1000000         0
1153.78/1154.17	c       150       303    267.80     34.25      7.82   1000000         0
1154.98/1155.34	c       159       235    268.30     34.33      7.82   1000000         0
1156.18/1156.51	c       155       299    266.15     32.58      8.17   1000000         0
1157.28/1157.68	c       159       376    271.28     36.85      7.36   1000000         0
1158.48/1158.85	c       155       260    266.92     34.60      7.71   1000000         0
1159.68/1160.02	c       136       220    266.91     34.66      7.70   1000000         0
1160.88/1161.20	c       140       254    261.12     32.49      8.04   1000000         0
1161.98/1162.36	c       162       220    269.28     33.18      8.11   1000000         0
1163.18/1163.54	c       157       246    267.89     36.32      7.38   1000000         0
1164.38/1164.71	c       139       296    268.72     35.49      7.57   1000000         0
1165.48/1165.88	c       139       253    271.18     33.53      8.09   1000000         0
1166.69/1167.05	c       155       248    266.60     33.36      7.99   1000000         0
1167.89/1168.22	c       157       276    267.31     36.12      7.40   1000000         0
1168.99/1169.39	c       161       322    264.46     34.32      7.70   1000000         0
1170.18/1170.56	c       144       278    267.34     36.04      7.42   1000000         0
1171.38/1171.73	c       144       236    268.25     36.69      7.31   1000000         0
1172.58/1172.90	c       133       315    263.93     36.84      7.16   1000000         0
1173.68/1174.07	c       160       308    268.26     35.83      7.49   1000000         0
1174.88/1175.24	c       150       239    265.03     33.73      7.86   1000000         0
1176.08/1176.41	c       159       287    270.04     34.10      7.92   1000000         0
1177.18/1177.58	c       154       247    268.13     34.55      7.76   1000000         0
1178.38/1178.75	c       140       225    262.41     33.27      7.89   1000000         0
1179.58/1179.92	c       155       262    269.40     34.03      7.92   1000000         0
1180.68/1181.10	c       165       307    270.43     36.73      7.36   1000000         0
1181.88/1182.27	c       124       252    262.55     34.82      7.54   1000000         0
1183.08/1183.44	c       142       255    265.15     34.38      7.71   1000000         0
1184.28/1184.61	c       153       237    266.48     36.89      7.22   1000000         0
1185.38/1185.78	c       154       256    265.40     34.55      7.68   1000000         0
1186.58/1186.95	c       152       264    270.42     36.79      7.35   1000000         0
1187.78/1188.12	c       132       243    267.09     36.42      7.33   1000000         0
1188.88/1189.29	c       151       286    266.79     35.23      7.57   1000000         0
1190.08/1190.46	c       149       274    265.09     35.32      7.51   1000000         0
1191.28/1191.63	c       158       310    265.90     34.24      7.77   1000000         0
1192.48/1192.80	c       148       218    267.99     34.09      7.86   1000000         0
1193.58/1193.97	c       143       249    268.40     35.52      7.56   1000000         0
1194.77/1195.14	c       144       211    267.36     33.22      8.05   1000000         0
1195.97/1196.32	c       154       335    271.01     37.07      7.31   1000000         0
1197.07/1197.48	c       142       235    266.47     34.39      7.75   1000000         0
1198.27/1198.65	c       153       291    264.92     34.10      7.77   1000000         0
1199.47/1199.83	c       158       323    268.31     34.13      7.86   1000000         0
1200.57/1200.99	c       157       237    267.08     33.85      7.89   1000000         0
1201.77/1202.17	c       155       257    266.30     34.45      7.73   1000000         0
1202.98/1203.34	c       154       274    269.01     34.58      7.78   1000000         0
1204.18/1204.51	c       138       343    268.14     32.70      8.20   1000000         0
1205.28/1205.68	c       159       237    267.49     34.65      7.72   1000000         0
1206.47/1206.85	c       135       273    267.03     34.80      7.67   1000000         0
1207.67/1208.02	c       151       289    267.24     33.92      7.88   1000000         0
1208.77/1209.19	c       146       300    270.50     34.91      7.75   1000000         0
1209.97/1210.36	c       160       285    270.80     32.82      8.25   1000000         0
1211.17/1211.54	c       141       317    268.92     35.13      7.66   1000000         0
1212.37/1212.71	c       150       287    264.65     35.33      7.49   1000000         0
1213.47/1213.88	c       133       328    265.24     37.22      7.13   1000000         0
1214.67/1215.05	c       152       269    267.07     34.69      7.70   1000000         0
1215.87/1216.22	c       150       337    266.91     34.47      7.74   1000000         0
1216.97/1217.39	c       154       222    266.29     34.79      7.65   1000000         0
1218.17/1218.56	c       142       341    266.78     36.44      7.32   1000000         0
1219.37/1219.74	c       151       303    264.10     32.98      8.01   1000000         0
1220.57/1220.92	c       142       293    266.83     35.88      7.44   1000000         0
1221.67/1222.08	c       150       272    264.97     35.96      7.37   1000000         0
1222.87/1223.25	c       152       301    268.08     34.69      7.73   1000000         0
1224.07/1224.43	c       167       294    268.90     34.02      7.91   1000000         0
1225.27/1225.60	c       144       320    267.11     34.11      7.83   1000000         0
1226.37/1226.77	c       131       269    267.67     35.19      7.61   1000000         0
1227.57/1227.94	c       144       253    268.59     35.15      7.64   1000000         0
1228.77/1229.11	c       147       238    268.23     32.98      8.13   1000000         0
1229.87/1230.28	c       158       318    266.73     35.96      7.42   1000000         0
1231.06/1231.45	c       146       234    264.76     34.12      7.76   1000000         0
1232.26/1232.62	c       150       286    267.33     37.41      7.15   1000000         0
1233.36/1233.79	c       148       269    268.77     33.93      7.92   1000000         0
1234.56/1234.96	c       145       258    262.63     33.55      7.83   1000000         0
1235.76/1236.13	c       157       305    264.91     33.60      7.88   1000000         0
1236.96/1237.30	c       159       260    267.01     32.92      8.11   1000000         0
1238.06/1238.47	c       138       233    265.98     36.72      7.24   1000000         0
1239.27/1239.64	c       154       226    266.79     35.26      7.57   1000000         0
1240.47/1240.81	c       157       334    269.44     36.08      7.47   1000000         0
1241.57/1241.99	c       151       238    268.05     37.35      7.18   1000000         0
1242.76/1243.16	c       153       192    267.36     36.55      7.31   1000000         0
1243.96/1244.33	c       145       267    267.38     34.47      7.76   1000000         0
1245.16/1245.50	c       146       259    270.70     33.98      7.97   1000000         0
1246.26/1246.67	c       140       294    268.65     35.33      7.60   1000000         0
1247.46/1247.84	c       145       241    267.85     35.23      7.60   1000000         0
1248.66/1249.01	c       162       280    266.87     33.10      8.06   1000000         0
1249.76/1250.18	c       160       291    270.17     33.66      8.03   1000000         0
1250.96/1251.35	c       151       279    271.90     34.11      7.97   1000000         0
1252.16/1252.52	c       154       293    270.53     36.07      7.50   1000000         0
1253.26/1253.69	c       143       347    268.11     35.39      7.58   1000000         0
1254.46/1254.85	c       134       218    263.98     35.83      7.37   1000000         0
1255.66/1256.02	c       143       259    266.70     35.08      7.60   1000000         0
1256.76/1257.19	c       165       255    271.90     34.43      7.90   1000000         0
1257.97/1258.36	c       145       280    269.45     36.91      7.30   1000000         0
1259.17/1259.54	c       138       237    269.35     34.36      7.84   1000000         0
1260.36/1260.71	c       143       345    267.13     35.24      7.58   1000000         0
1261.46/1261.88	c       155       296    268.80     34.62      7.76   1000000         0
1262.66/1263.05	c       137       222    267.91     35.34      7.58   1000000         0
1263.86/1264.22	c       158       301    268.95     35.36      7.61   1000000         0
1264.96/1265.39	c       154       284    263.34     33.70      7.81   1000000         0
1266.16/1266.56	c       136       245    270.29     34.50      7.83   1000000         0
1267.36/1267.73	c       150       229    270.96     35.54      7.62   1000000         0
1268.56/1268.90	c       134       207    263.77     37.94      6.95   1000000         0
1269.66/1270.07	c       146       283    264.00     35.87      7.36   1000000         0
1270.86/1271.24	c       155       225    271.82     35.54      7.65   1000000         0
1272.05/1272.41	c       145       326    266.37     33.17      8.03   1000000         0
1273.15/1273.58	c       150       317    269.65     35.35      7.63   1000000         0
1274.35/1274.75	c       148       259    266.60     36.98      7.21   1000000         0
1275.56/1275.92	c       143       273    274.64     34.01      8.08   1000000         0
1276.66/1277.10	c       156       263    270.54     34.35      7.87   1000000         0
1277.86/1278.27	c       148       300    268.08     34.08      7.87   1000000         0
1279.05/1279.44	c       148       207    268.31     34.95      7.68   1000000         0
1280.25/1280.62	c       151       265    265.24     34.74      7.64   1000000         0
1281.35/1281.79	c       144       282    265.73     36.06      7.37   1000000         0
1282.55/1282.96	c       152       255    266.85     36.95      7.22   1000000         0
1283.75/1284.12	c       136       254    266.25     35.22      7.56   1000000         0
1284.95/1285.30	c       147       227    270.08     36.99      7.30   1000000         0
1286.05/1286.47	c       155       223    266.46     31.94      8.34   1000000         0
1287.25/1287.64	c       156       237    263.50     35.25      7.48   1000000         0
1288.45/1288.81	c       143       350    271.96     34.39      7.91   1000000         0
1289.55/1289.98	c       152       264    267.86     33.16      8.08   1000000         0
1290.75/1291.15	c       130       241    266.98     34.63      7.71   1000000         0
1291.95/1292.33	c       141       275    264.26     36.95      7.15   1000000         0
1293.16/1293.50	c       148       266    269.96     38.15      7.08   1000000         0
1294.26/1294.67	c       164       303    270.02     32.33      8.35   1000000         0
1295.46/1295.84	c       144       267    268.62     33.77      7.95   1000000         0
1296.65/1297.01	c       151       284    265.89     33.64      7.90   1000000         0
1297.75/1298.18	c       159       268    265.86     34.25      7.76   1000000         0
1298.95/1299.34	c       138       247    265.79     33.62      7.91   1000000         0
1300.15/1300.51	c       141       333    267.02     33.99      7.86   1000000         0
1301.25/1301.69	c       162       243    268.24     33.95      7.90   1000000         0
1302.45/1302.86	c       159       227    268.34     36.43      7.37   1000000         0
1303.65/1304.04	c       140       253    269.46     34.75      7.75   1000000         0
1304.85/1305.21	c       158       249    263.06     33.96      7.75   1000000         0
1305.95/1306.38	c       145       303    266.23     35.26      7.55   1000000         0
1307.15/1307.55	c       137       254    264.24     34.62      7.63   1000000         0
1308.35/1308.72	c       169       272    268.97     33.18      8.11   1000000         0
1309.45/1309.89	c       156       324    267.34     34.58      7.73   1000000         0
1310.65/1311.05	c       147       329    266.31     35.45      7.51   1000000         0
1311.85/1312.23	c       164       274    263.62     34.33      7.68   1000000         0
1312.95/1313.39	c       166       278    271.45     36.14      7.51   1000000         0
1314.15/1314.56	c       165       278    272.10     36.87      7.38   1000000         0
1315.34/1315.73	c       150       242    265.64     34.13      7.78   1000000         0
1316.54/1316.90	c       154       258    268.28     35.31      7.60   1000000         0
1317.64/1318.08	c       147       236    267.95     34.57      7.75   1000000         0
1318.84/1319.25	c       130       279    264.51     35.08      7.54   1000000         0
1320.04/1320.41	c       148       249    265.35     33.61      7.89   1000000         0
1321.14/1321.58	c       137       293    267.76     37.15      7.21   1000000         0
1322.34/1322.76	c       147       274    269.40     39.37      6.84   1000000         0
1323.54/1323.93	c       158       285    268.54     35.50      7.56   1000000         0
1324.74/1325.10	c       155       248    268.61     34.00      7.90   1000000         0
1325.84/1326.27	c       149       281    267.42     36.26      7.37   1000000         0
1327.04/1327.44	c       153       296    268.05     35.03      7.65   1000000         0
1328.24/1328.61	c       151       328    270.41     32.85      8.23   1000000         0
1329.34/1329.78	c       147       226    267.67     35.17      7.61   1000000         0
1330.55/1330.95	c       145       215    265.14     35.77      7.41   1000000         0
1331.75/1332.12	c       146       250    269.27     35.45      7.60   1000000         0
1332.85/1333.29	c       145       272    269.16     35.01      7.69   1000000         0
1334.04/1334.46	c       143       274    269.35     35.29      7.63   1000000         0
1335.24/1335.63	c       155       240    269.47     32.75      8.23   1000000         0
1336.44/1336.80	c       146       298    268.65     33.00      8.14   1000000         0
1337.54/1337.97	c       155       257    266.47     34.19      7.79   1000000         0
1338.74/1339.14	c       170       203    271.31     33.70      8.05   1000000         0
1339.94/1340.31	c       144       221    264.65     35.14      7.53   1000000         0
1341.04/1341.49	c       153       265    267.55     34.39      7.78   1000000         0
1342.24/1342.65	c       132       296    272.01     34.93      7.79   1000000         0
1343.44/1343.82	c       155       218    270.46     34.08      7.94   1000000         0
1344.54/1344.99	c       148       270    267.65     34.52      7.75   1000000         0
1345.74/1346.16	c       163       274    264.31     33.35      7.93   1000000         0
1346.94/1347.33	c       156       257    267.72     34.83      7.69   1000000         0
1348.14/1348.51	c       163       294    266.51     34.40      7.75   1000000         0
1349.24/1349.68	c       142       312    265.40     34.82      7.62   1000000         0
1350.44/1350.85	c       142       221    264.30     34.51      7.66   1000000         0
1351.63/1352.03	c       161       318    269.84     34.30      7.87   1000000         0
1352.83/1353.20	c       150       220    267.31     34.63      7.72   1000000         0
1353.93/1354.37	c       150       258    265.20     34.70      7.64   1000000         0
1355.13/1355.54	c       158       289    265.28     34.99      7.58   1000000         0
1356.33/1356.72	c       155       264    269.82     36.57      7.38   1000000         0
1357.43/1357.89	c       145       273    266.82     36.01      7.41   1000000         0
1358.63/1359.06	c       163       264    268.67     36.28      7.41   1000000         0
1359.83/1360.23	c       142       244    265.86     32.24      8.25   1000000         0
1361.03/1361.41	c       150       295    270.38     36.26      7.46   1000000         0
1362.13/1362.57	c       151       228    270.43     34.69      7.80   1000000         0
1363.33/1363.75	c       149       295    265.64     34.57      7.68   1000000         0
1364.53/1364.92	c       148       225    264.14     35.56      7.43   1000000         0
1365.63/1366.09	c       164       333    270.39     34.49      7.84   1000000         0
1366.84/1367.26	c       127       264    269.01     35.16      7.65   1000000         0
1368.04/1368.43	c       156       298    269.90     36.06      7.48   1000000         0
1369.23/1369.60	c       151       249    267.75     34.86      7.68   1000000         0
1370.33/1370.77	c       151       199    261.95     33.77      7.76   1000000         0
1371.53/1371.94	c       163       260    265.37     35.71      7.43   1000000         0
1372.73/1373.11	c       150       228    263.96     33.89      7.79   1000000         0
1373.83/1374.28	c       148       292    269.33     34.79      7.74   1000000         0
1375.03/1375.45	c       157       222    269.80     37.19      7.26   1000000         0
1376.23/1376.62	c       149       315    268.74     33.21      8.09   1000000         0
1377.33/1377.79	c       150       357    265.28     36.12      7.35   1000000         0
1378.53/1378.96	c       144       261    266.33     36.76      7.24   1000000         0
1379.73/1380.13	c       145       281    267.61     34.83      7.68   1000000         0
1380.93/1381.30	c       123       269    268.28     36.13      7.42   1000000         0
1382.03/1382.47	c       152       240    266.55     35.02      7.61   1000000         0
1383.23/1383.64	c       160       255    268.21     34.33      7.81   1000000         0
1384.43/1384.81	c       138       224    265.67     35.87      7.41   1000000         0
1385.53/1385.99	c       162       198    268.95     34.01      7.91   1000000         0
1386.73/1387.16	c       150       203    267.91     34.30      7.81   1000000         0
1387.93/1388.33	c       156       373    268.52     35.63      7.54   1000000         0
1389.13/1389.50	c       156       311    262.13     36.29      7.22   1000000         0
1390.23/1390.67	c       157       257    266.97     33.28      8.02   1000000         0
1391.42/1391.84	c       145       268    270.25     34.12      7.92   1000000         0
1392.62/1393.01	c       146       210    265.42     34.72      7.64   1000000         0
1393.72/1394.19	c       146       253    269.84     35.04      7.70   1000000         0
1394.92/1395.36	c       150       264    264.96     33.37      7.94   1000000         0
1396.12/1396.53	c       151       260    267.06     34.39      7.76   1000000         0
1397.22/1397.69	c       150       272    266.04     34.07      7.81   1000000         0
1398.42/1398.86	c       143       223    261.57     34.49      7.58   1000000         0
1399.62/1400.03	c       148       329    265.31     33.70      7.87   1000000         0
1400.82/1401.20	c       162       287    266.47     33.47      7.96   1000000         0
1401.92/1402.37	c       148       263    271.00     35.00      7.74   1000000         0
1403.13/1403.54	c       151       255    268.13     33.49      8.01   1000000         0
1404.33/1404.71	c       149       274    263.68     34.89      7.56   1000000         0
1405.43/1405.88	c       136       268    267.60     35.37      7.57   1000000         0
1406.62/1407.05	c       160       226    266.69     35.27      7.56   1000000         0
1407.82/1408.22	c       161       286    268.60     34.31      7.83   1000000         0
1408.92/1409.39	c       136       240    263.98     34.52      7.65   1000000         0
1410.12/1410.56	c       158       294    267.15     33.65      7.94   1000000         0
1411.32/1411.74	c       150       303    269.33     35.53      7.58   1000000         0
1412.52/1412.91	c       149       284    269.91     34.95      7.72   1000000         0
1413.62/1414.08	c       141       317    266.11     35.74      7.45   1000000         0
1414.82/1415.25	c       142       265    263.23     34.00      7.74   1000000         0
1416.02/1416.42	c       130       266    267.81     35.08      7.63   1000000         0
1417.12/1417.59	c       151       232    262.22     33.76      7.77   1000000         0
1418.32/1418.76	c       130       230    265.55     35.85      7.41   1000000         0
1419.52/1419.93	c       137       299    267.98     35.19      7.61   1000000         0
1420.62/1421.10	c       159       220    268.09     33.42      8.02   1000000         0
1421.82/1422.27	c       148       318    266.10     35.05      7.59   1000000         0
1423.02/1423.44	c       157       282    266.77     32.82      8.13   1000000         0
1424.22/1424.61	c       165       241    266.28     34.93      7.62   1000000         0
1425.32/1425.78	c       130       268    265.49     34.13      7.78   1000000         0
1426.52/1426.95	c       154       272    267.34     35.07      7.62   1000000         0
1427.72/1428.12	c       161       317    273.90     34.66      7.90   1000000         0
1428.82/1429.29	c       154       242    261.20     35.08      7.45   1000000         0
1430.02/1430.46	c       162       234    274.51     32.68      8.40   1000000         0
1431.22/1431.63	c       157       296    269.22     35.87      7.51   1000000         0
1432.42/1432.80	c       154       187    268.56     36.05      7.45   1000000         0
1433.52/1433.97	c       146       292    266.36     37.54      7.09   1000000         0
1434.71/1435.14	c       157       258    264.14     36.50      7.24   1000000         0
1435.91/1436.31	c       164       244    266.50     32.53      8.19   1000000         0
1437.01/1437.48	c       150       237    265.35     35.15      7.55   1000000         0
1438.21/1438.65	c       168       218    267.47     35.07      7.63   1000000         0
1439.42/1439.82	c       162       254    269.68     33.76      7.99   1000000         0
1440.52/1440.99	c       158       282    268.79     33.86      7.94   1000000         0
1441.72/1442.16	c       144       285    269.68     35.46      7.61   1000000         0
1442.91/1443.33	c       140       262    268.91     35.60      7.55   1000000         0
1444.11/1444.50	c       148       237    266.00     33.76      7.88   1000000         0
1445.21/1445.67	c       156       336    264.18     33.04      8.00   1000000         0
1446.41/1446.84	c       144       248    266.45     36.45      7.31   1000000         0
1447.61/1448.01	c       149       248    266.77     35.91      7.43   1000000         0
1448.71/1449.18	c       159       196    271.29     34.68      7.82   1000000         0
1449.91/1450.35	c       158       258    269.61     33.44      8.06   1000000         0
1451.11/1451.52	c       168       331    269.48     32.94      8.18   1000000         0
1452.21/1452.69	c       154       270    269.90     37.63      7.17   1000000         0
1453.41/1453.86	c       150       236    264.38     33.78      7.83   1000000         0
1454.61/1455.03	c       149       234    267.03     35.43      7.54   1000000         0
1455.81/1456.21	c       163       324    270.40     34.74      7.78   1000000         0
1456.91/1457.38	c       158       184    262.15     34.81      7.53   1000000         0
1458.12/1458.55	c       164       252    271.29     33.59      8.08   1000000         0
1459.32/1459.72	c       159       259    268.27     33.96      7.90   1000000         0
1460.41/1460.89	c       142       261    263.26     37.31      7.06   1000000         0
1461.61/1462.06	c       145       232    266.91     34.06      7.84   1000000         0
1462.82/1463.23	c       161       240    266.68     34.32      7.77   1000000         0
1464.02/1464.40	c       134       212    265.83     34.92      7.61   1000000         0
1465.12/1465.57	c       132       286    269.35     35.07      7.68   1000000         0
1466.32/1466.74	c       164       295    268.70     35.01      7.68   1000000         0
1467.51/1467.91	c       146       238    269.94     37.04      7.29   1000000         0
1468.61/1469.08	c       159       314    271.15     33.51      8.09   1000000         0
1469.81/1470.25	c       150       285    266.37     36.04      7.39   1000000         0
1471.01/1471.42	c       157       286    264.61     35.25      7.51   1000000         0
1472.11/1472.59	c       133       236    260.39     33.63      7.74   1000000         0
1473.31/1473.76	c       149       263    271.84     34.30      7.93   1000000         0
1474.51/1474.93	c       141       295    267.41     37.43      7.14   1000000         0
1475.72/1476.10	c       148       259    267.35     34.80      7.68   1000000         0
1476.82/1477.27	c       163       249    271.84     35.13      7.74   1000000         0
1478.02/1478.44	c       158       199    269.33     34.48      7.81   1000000         0
1479.21/1479.61	c       150       278    267.67     35.06      7.63   1000000         0
1480.31/1480.78	c       137       219    267.43     35.25      7.59   1000000         0
1481.51/1481.95	c       143       258    268.37     33.99      7.89   1000000         0
1482.71/1483.12	c       130       229    265.49     36.10      7.35   1000000         0
1483.81/1484.29	c       141       304    269.92     35.06      7.70   1000000         0
1485.01/1485.46	c       157       269    270.80     35.31      7.67   1000000         0
1486.21/1486.63	c       154       229    270.24     34.79      7.77   1000000         0
1487.41/1487.80	c       165       347    266.84     32.42      8.23   1000000         0
1488.51/1488.97	c       133       228    266.05     35.84      7.42   1000000         0
1489.71/1490.14	c       138       213    266.79     33.07      8.07   1000000         0
1490.91/1491.31	c       160       281    269.03     36.76      7.32   1000000         0
1492.01/1492.48	c       161       270    269.03     36.13      7.45   1000000         0
1493.21/1493.65	c       133       249    266.43     36.03      7.39   1000000         0
1494.41/1494.82	c       155       298    270.01     33.16      8.14   1000000         0
1495.51/1495.99	c       143       294    268.89     37.94      7.09   1000000         0
1496.71/1497.16	c       158       230    265.96     32.94      8.08   1000000         0
1497.91/1498.33	c       143       283    267.29     34.38      7.77   1000000         0
1499.11/1499.50	c       159       310    267.14     35.49      7.53   1000000         0
1500.21/1500.67	c       146       289    267.66     37.40      7.16   1000000         0
1501.41/1501.84	c       151       290    270.39     36.18      7.47   1000000         0
1502.60/1503.01	c       138       283    265.80     35.96      7.39   1000000         0
1503.70/1504.18	c       160       287    267.91     33.30      8.04   1000000         0
1504.90/1505.35	c       128       310    268.19     35.68      7.52   1000000         0
1506.10/1506.51	c       151       268    270.16     34.34      7.87   1000000         0
1507.20/1507.68	c       149       229    266.89     36.32      7.35   1000000         0
1508.40/1508.86	c       153       256    266.27     34.31      7.76   1000000         0
1509.60/1510.03	c       145       260    264.77     35.45      7.47   1000000         0
1510.80/1511.20	c       145       280    266.19     35.59      7.48   1000000         0
1511.90/1512.37	c       150       259    266.78     35.56      7.50   1000000         0
1513.11/1513.54	c       137       286    268.46     34.80      7.71   1000000         0
1514.31/1514.71	c       163       282    270.99     36.82      7.36   1000000         0
1515.41/1515.88	c       140       294    268.54     36.48      7.36   1000000         0
1516.60/1517.05	c       157       275    267.79     35.87      7.47   1000000         0
1517.80/1518.21	c       150       285    264.00     33.06      7.99   1000000         0
1518.90/1519.38	c       141       279    267.09     36.41      7.34   1000000         0
1520.10/1520.55	c       154       305    265.67     35.13      7.56   1000000         0
1521.30/1521.72	c       142       321    266.22     37.19      7.16   1000000         0
1522.40/1522.89	c       158       238    267.84     34.26      7.82   1000000         0
1523.60/1524.06	c       140       244    264.83     37.57      7.05   1000000         0
1524.80/1525.23	c       161       226    267.72     33.91      7.89   1000000         0
1526.00/1526.40	c       140       242    266.77     34.42      7.75   1000000         0
1527.10/1527.57	c       152       249    270.08     35.60      7.59   1000000         0
1528.30/1528.74	c       139       258    264.48     34.29      7.71   1000000         0
1529.50/1529.91	c       161       268    266.86     34.76      7.68   1000000         0
1530.60/1531.09	c       159       289    270.96     34.49      7.86   1000000         0
1531.80/1532.26	c       138       283    266.99     38.55      6.93   1000000         0
1533.00/1533.42	c       138       278    267.26     37.25      7.17   1000000         0
1534.10/1534.59	c       155       282    267.85     36.90      7.26   1000000         0
1535.30/1535.76	c       157       265    268.00     34.77      7.71   1000000         0
1536.50/1536.93	c       163       245    268.46     33.87      7.93   1000000         0
1537.70/1538.10	c       116       237    266.83     33.20      8.04   1000000         0
1538.80/1539.27	c       145       249    267.02     34.36      7.77   1000000         0
1539.99/1540.44	c       149       259    268.53     33.85      7.93   1000000         0
1541.20/1541.62	c       161       262    267.38     33.27      8.04   1000000         0
1542.30/1542.79	c       147       278    267.06     36.08      7.40   1000000         0
1543.50/1543.96	c       162       249    270.15     35.73      7.56   1000000         0
1544.70/1545.13	c       153       298    269.47     35.94      7.50   1000000         0
1545.89/1546.30	c       151       256    268.35     34.65      7.74   1000000         0
1546.99/1547.48	c       160       273    269.59     33.28      8.10   1000000         0
1548.19/1548.65	c       138       242    269.04     36.20      7.43   1000000         0
1549.40/1549.82	c       143       236    263.85     35.33      7.47   1000000         0
1550.50/1550.99	c       160       280    270.06     33.98      7.95   1000000         0
1551.70/1552.16	c       139       278    267.48     35.62      7.51   1000000         0
1552.89/1553.33	c       143       249    266.44     33.91      7.86   1000000         0
1554.09/1554.50	c       138       274    265.92     34.67      7.67   1000000         0
1555.19/1555.67	c       141       259    266.45     34.97      7.62   1000000         0
1556.39/1556.84	c       148       302    267.97     37.72      7.10   1000000         0
1557.59/1558.01	c       157       246    270.92     34.60      7.83   1000000         0
1558.69/1559.18	c       147       299    273.76     36.07      7.59   1000000         0
1559.89/1560.35	c       149       243    266.10     34.48      7.72   1000000         0
1561.09/1561.53	c       160       242    265.14     33.42      7.93   1000000         0
1562.29/1562.70	c       157       320    268.35     32.83      8.17   1000000         0
1563.39/1563.87	c       138       253    268.71     34.92      7.69   1000000         0
1564.59/1565.04	c       152       272    266.42     35.31      7.55   1000000         0
1565.79/1566.21	c       154       274    265.11     36.53      7.26   1000000         0
1566.89/1567.39	c       139       263    267.43     36.22      7.38   1000000         0
1568.10/1568.56	c       155       252    269.24     33.86      7.95   1000000         0
1569.30/1569.73	c       148       284    269.14     34.08      7.90   1000000         0
1570.49/1570.90	c       157       273    265.83     34.09      7.80   1000000         0
1571.59/1572.07	c       146       319    268.05     35.08      7.64   1000000         0
1572.79/1573.24	c       152       308    271.04     35.07      7.73   1000000         0
1573.99/1574.41	c       160       217    266.10     35.30      7.54   1000000         0
1575.09/1575.57	c       148       257    266.60     38.67      6.89   1000000         0
1576.29/1576.74	c       139       257    267.70     34.21      7.82   1000000         0
1577.49/1577.91	c       151       216    269.52     36.04      7.48   1000000         0
1578.59/1579.08	c       123       290    264.85     35.79      7.40   1000000         0
1579.78/1580.25	c       138       281    268.70     35.19      7.64   1000000         0
1580.98/1581.42	c       140       311    263.96     36.03      7.33   1000000         0
1582.08/1582.59	c       132       236    264.24     35.62      7.42   1000000         0
1583.28/1583.76	c       144       232    264.19     35.81      7.38   1000000         0
1584.48/1584.93	c       122       270    268.82     33.88      7.94   1000000         0
1585.69/1586.10	c       153       285    271.86     37.45      7.26   1000000         0
1586.79/1587.27	c       144       207    264.87     33.84      7.83   1000000         0
1587.99/1588.44	c       146       255    266.36     35.56      7.49   1000000         0
1589.18/1589.61	c       133       308    270.83     37.56      7.21   1000000         0
1590.28/1590.78	c       139       270    271.07     35.83      7.57   1000000         0
1591.48/1591.95	c       149       271    264.97     34.96      7.58   1000000         0
1592.68/1593.12	c       169       323    272.07     33.19      8.20   1000000         0
1593.78/1594.29	c       162       270    270.96     37.00      7.32   1000000         0
1594.98/1595.47	c       159       211    265.67     33.65      7.90   1000000         0
1596.18/1596.64	c       133       362    265.74     34.40      7.73   1000000         0
1597.38/1597.80	c       157       270    266.33     34.03      7.83   1000000         0
1598.48/1598.97	c       140       275    264.35     36.84      7.18   1000000         0
1599.68/1600.14	c       144       250    265.13     35.32      7.51   1000000         0
1600.88/1601.31	c       159       299    264.99     35.51      7.46   1000000         0
1601.98/1602.48	c       137       286    263.46     35.40      7.44   1000000         0
1603.18/1603.65	c       164       305    268.50     33.99      7.90   1000000         0
1604.39/1604.82	c       144       265    267.78     34.59      7.74   1000000         0
1605.49/1606.00	c       152       297    268.48     34.00      7.90   1000000         0
1606.69/1607.17	c       161       305    273.36     37.65      7.26   1000000         0
1607.88/1608.34	c       165       292    266.78     37.31      7.15   1000000         0
1609.08/1609.51	c       134       246    263.77     34.97      7.54   1000000         0
1610.18/1610.68	c       162       236    268.48     32.46      8.27   1000000         0
1611.38/1611.85	c       146       272    264.50     36.45      7.26   1000000         0
1612.58/1613.02	c       155       308    267.81     36.07      7.43   1000000         0
1613.68/1614.19	c       149       255    269.88     34.87      7.74   1000000         0
1614.88/1615.37	c       165       263    266.94     35.56      7.51   1000000         0
1616.08/1616.54	c       160       192    268.52     34.54      7.77   1000000         0
1617.28/1617.71	c       139       327    265.73     36.41      7.30   1000000         0
1618.38/1618.88	c       156       252    268.24     34.53      7.77   1000000         0
1619.58/1620.05	c       147       195    266.71     34.44      7.74   1000000         0
1620.78/1621.22	c       166       284    268.24     35.12      7.64   1000000         0
1621.88/1622.39	c       159       261    266.35     32.57      8.18   1000000         0
1623.08/1623.56	c       148       263    269.77     36.47      7.40   1000000         0
1624.28/1624.73	c       152       307    268.66     33.99      7.90   1000000         0
1625.47/1625.90	c       149       250    267.36     34.77      7.69   1000000         0
1626.57/1627.07	c       145       256    266.57     34.62      7.70   1000000         0
1627.77/1628.24	c       150       294    265.15     34.35      7.72   1000000         0
1628.97/1629.41	c       147       233    265.76     35.36      7.52   1000000         0
1630.07/1630.58	c       137       201    265.45     33.97      7.81   1000000         0
1631.27/1631.75	c       166       231    270.24     33.65      8.03   1000000         0
1632.47/1632.92	c       138       240    270.83     37.03      7.31   1000000         0
1633.57/1634.09	c       136       282    267.72     35.80      7.48   1000000         0
1634.77/1635.26	c       155       255    262.67     33.01      7.96   1000000         0
1635.97/1636.43	c       142       265    265.04     36.70      7.22   1000000         0
1637.17/1637.60	c       141       275    267.49     36.87      7.26   1000000         0
1638.27/1638.78	c       154       246    265.62     34.64      7.67   1000000         0
1639.47/1639.94	c       142       240    263.62     35.57      7.41   1000000         0
1640.68/1641.11	c       151       287    261.85     33.51      7.81   1000000         0
1641.78/1642.28	c       147       247    265.55     33.78      7.86   1000000         0
1642.98/1643.45	c       155       260    268.78     35.10      7.66   1000000         0
1644.17/1644.62	c       144       247    264.72     34.15      7.75   1000000         0
1645.27/1645.79	c       139       269    269.13     38.33      7.02   1000000         0
1646.47/1646.96	c       158       250    269.65     34.58      7.80   1000000         0
1647.67/1648.13	c       128       243    267.29     36.99      7.23   1000000         0
1648.87/1649.30	c       140       270    261.04     33.08      7.89   1000000         0
1649.97/1650.47	c       163       279    267.20     34.16      7.82   1000000         0
1651.17/1651.64	c       142       255    263.85     35.37      7.46   1000000         0
1652.37/1652.81	c       163       319    266.89     36.27      7.36   1000000         0
1653.47/1653.98	c       148       289    268.04     35.58      7.53   1000000         0
1654.67/1655.16	c       138       279    267.83     33.91      7.90   1000000         0
1655.87/1656.33	c       144       205    263.75     35.85      7.36   1000000         0
1657.07/1657.50	c       145       343    270.25     35.91      7.53   1000000         0
1658.16/1658.67	c       145       255    259.92     35.39      7.34   1000000         0
1659.37/1659.84	c       156       262    269.07     32.96      8.16   1000000         0
1660.57/1661.01	c       158       258    267.15     34.21      7.81   1000000         0
1661.67/1662.18	c       148       288    269.76     35.26      7.65   1000000         0
1662.87/1663.35	c       151       241    270.05     36.36      7.43   1000000         0
1664.07/1664.52	c       156       275    264.04     33.75      7.82   1000000         0
1665.16/1665.69	c       154       269    268.31     34.40      7.80   1000000         0
1666.36/1666.87	c       147       253    269.99     33.78      7.99   1000000         0
1667.56/1668.04	c       143       310    266.84     35.30      7.56   1000000         0
1668.76/1669.21	c       165       313    270.00     35.25      7.66   1000000         0
1669.86/1670.38	c       151       256    266.42     36.51      7.30   1000000         0
1671.06/1671.55	c       144       228    264.83     35.18      7.53   1000000         0
1672.26/1672.72	c       144       289    262.48     34.50      7.61   1000000         0
1673.36/1673.88	c       153       262    268.56     35.82      7.50   1000000         0
1674.56/1675.05	c       144       232    263.94     33.71      7.83   1000000         0
1675.76/1676.23	c       137       272    264.79     36.73      7.21   1000000         0
1676.97/1677.40	c       156       246    264.99     33.07      8.01   1000000         0
1678.07/1678.57	c       137       336    268.02     36.10      7.42   1000000         0
1679.27/1679.74	c       144       261    268.99     36.76      7.32   1000000         0
1680.46/1680.91	c       154       250    264.74     34.25      7.73   1000000         0
1681.56/1682.08	c       157       242    267.49     37.73      7.09   1000000         0
1682.76/1683.25	c       158       294    269.93     35.40      7.62   1000000         0
1683.96/1684.42	c       137       217    264.12     35.54      7.43   1000000         0
1685.06/1685.59	c       159       260    270.87     35.82      7.56   1000000         0
1686.26/1686.77	c       159       280    269.70     35.51      7.60   1000000         0
1687.46/1687.94	c       148       242    263.48     33.41      7.89   1000000         0
1688.66/1689.11	c       151       291    268.00     34.72      7.72   1000000         0
1689.76/1690.28	c       139       261    267.17     35.01      7.63   1000000         0
1690.96/1691.45	c       134       283    268.56     37.08      7.24   1000000         0
1692.16/1692.62	c       162       253    267.07     35.35      7.56   1000000         0
1693.26/1693.79	c       150       228    267.05     34.50      7.74   1000000         0
1694.46/1694.96	c       159       233    267.91     34.37      7.79   1000000         0
1695.66/1696.13	c       150       259    265.68     35.18      7.55   1000000         0
1696.86/1697.30	c       145       249    267.40     34.13      7.83   1000000         0
1697.96/1698.48	c       152       271    269.22     35.47      7.59   1000000         0
1699.15/1699.65	c       156       270    267.83     32.39      8.27   1000000         0
1700.35/1700.82	c       150       241    264.29     32.85      8.05   1000000         0
1701.45/1701.99	c       155       296    268.73     35.67      7.53   1000000         0
1702.65/1703.16	c       155       249    271.05     34.95      7.76   1000000         0
1703.85/1704.33	c       146       249    266.80     35.63      7.49   1000000         0
1705.05/1705.50	c       156       253    266.49     35.49      7.51   1000000         0
1706.15/1706.67	c       150       332    269.16     35.28      7.63   1000000         0
1707.35/1707.84	c       152       283    263.84     34.86      7.57   1000000         0
1708.55/1709.01	c       141       243    266.04     33.58      7.92   1000000         0
1709.65/1710.18	c       139       276    266.33     36.89      7.22   1000000         0
1710.85/1711.36	c       142       248    270.27     36.19      7.47   1000000         0
1712.05/1712.53	c       151       322    264.99     36.32      7.30   1000000         0
1713.15/1713.70	c       134       211    270.89     37.98      7.13   1000000         0
1714.36/1714.86	c       143       320    266.87     34.87      7.65   1000000         0
1715.56/1716.03	c       146       277    265.67     34.26      7.75   1000000         0
1716.75/1717.20	c       121       281    264.64     36.25      7.30   1000000         0
1717.85/1718.37	c       150       254    269.63     34.38      7.84   1000000         0
1719.05/1719.54	c       144       306    264.53     33.99      7.78   1000000         0
1720.25/1720.71	c       163       254    271.37     35.64      7.61   1000000         0
1721.35/1721.88	c       164       238    273.20     34.11      8.01   1000000         0
1722.55/1723.05	c       146       313    263.93     34.41      7.67   1000000         0
1723.75/1724.22	c       149       240    267.22     33.44      7.99   1000000         0
1724.85/1725.39	c       154       239    271.39     35.31      7.69   1000000         0
1726.05/1726.56	c       151       375    266.26     36.31      7.33   1000000         0
1727.25/1727.73	c       161       281    268.80     36.48      7.37   1000000         0
1728.45/1728.90	c       154       277    267.52     33.62      7.96   1000000         0
1729.55/1730.07	c       143       246    263.69     35.38      7.45   1000000         0
1730.75/1731.24	c       140       232    264.47     37.93      6.97   1000000         0
1731.95/1732.41	c       150       309    264.33     35.97      7.35   1000000         0
1733.05/1733.58	c       163       286    269.77     34.89      7.73   1000000         0
1734.25/1734.75	c       151       289    267.86     35.13      7.62   1000000         0
1735.45/1735.92	c       152       319    267.99     34.34      7.80   1000000         0
1736.55/1737.09	c       155       254    268.96     34.12      7.88   1000000         0
1737.75/1738.27	c       151       277    265.16     34.99      7.58   1000000         0
1738.95/1739.44	c       163       301    270.64     34.43      7.86   1000000         0
1740.15/1740.61	c       158       303    268.19     37.86      7.08   1000000         0
1741.25/1741.78	c       151       257    268.61     34.90      7.70   1000000         0
1742.44/1742.96	c       138       261    270.90     36.28      7.47   1000000         0
1743.64/1744.13	c       162       299    271.06     34.59      7.84   1000000         0
1744.74/1745.29	c       161       268    266.77     33.76      7.90   1000000         0
1745.94/1746.46	c       156       269    270.33     35.10      7.70   1000000         0
1747.14/1747.63	c       143       290    265.36     35.02      7.58   1000000         0
1748.34/1748.80	c       135       351    264.88     35.24      7.52   1000000         0
1749.44/1749.98	c       143       200    271.60     37.99      7.15   1000000         0
1750.65/1751.15	c       145       281    266.89     33.83      7.89   1000000         0
1751.85/1752.32	c       150       299    268.83     34.34      7.83   1000000         0
1752.95/1753.49	c       131       210    265.02     36.87      7.19   1000000         0
1754.14/1754.66	c       151       284    266.00     35.91      7.41   1000000         0
1755.34/1755.83	c       156       301    266.37     33.24      8.01   1000000         0
1756.54/1757.01	c       158       242    266.06     34.22      7.77   1000000         0
1757.64/1758.17	c       150       288    264.55     33.82      7.82   1000000         0
1758.84/1759.34	c       161       262    264.13     32.73      8.07   1000000         0
1760.04/1760.51	c       154       318    263.59     34.13      7.72   1000000         0
1761.14/1761.68	c       141       269    266.08     33.43      7.96   1000000         0
1762.34/1762.85	c       145       250    268.35     32.78      8.19   1000000         0
1763.54/1764.03	c       154       328    266.81     35.96      7.42   1000000         0
1764.74/1765.20	c       151       255    262.59     33.64      7.81   1000000         0
1765.84/1766.37	c       153       241    271.98     36.07      7.54   1000000         0
1767.04/1767.54	c       151       195    266.37     35.24      7.56   1000000         0
1768.24/1768.71	c       141       269    267.84     35.20      7.61   1000000         0
1769.34/1769.88	c       157       231    266.92     34.25      7.79   1000000         0
1770.54/1771.05	c       143       294    270.08     35.48      7.61   1000000         0
1771.74/1772.22	c       153       257    263.96     34.58      7.63   1000000         0
1772.84/1773.39	c       150       238    263.37     33.69      7.82   1000000         0
1774.04/1774.56	c       155       227    270.85     37.38      7.25   1000000         0
1775.24/1775.73	c       141       294    267.34     36.26      7.37   1000000         0
1776.43/1776.90	c       157       311    265.66     35.11      7.57   1000000         0
1777.53/1778.07	c       148       182    263.80     34.64      7.61   1000000         0
1778.73/1779.24	c       150       277    266.10     34.99      7.61   1000000         0
1779.93/1780.41	c       157       208    266.10     33.41      7.97   1000000         0
1781.03/1781.57	c       154       276    266.69     35.90      7.43   1000000         0
1782.23/1782.75	c       153       235    266.34     36.32      7.33   1000000         0
1783.43/1783.92	c       154       220    269.15     34.28      7.85   1000000         0
1784.53/1785.09	c       162       329    269.87     32.69      8.26   1000000         0
1785.73/1786.26	c       150       296    267.11     34.91      7.65   1000000         0
1786.94/1787.43	c       147       279    266.94     33.63      7.94   1000000         0
1788.04/1788.60	c       125       347    265.80     36.41      7.30   1000000         0
1789.24/1789.77	c       140       279    268.00     35.60      7.53   1000000         0
1790.43/1790.94	c       165       262    272.12     33.70      8.08   1000000         0
1791.63/1792.11	c       141       245    266.12     33.63      7.91   1000000         0
1792.73/1793.28	c       147       225    268.14     34.08      7.87   1000000         0
1793.93/1794.45	c       149       271    268.35     35.55      7.55   1000000         0
1795.13/1795.62	c       154       296    264.30     34.59      7.64   1000000         0
1796.23/1796.78	c       159       208    265.39     33.91      7.83   1000000         0
1797.43/1797.95	c       147       308    260.39     35.44      7.35   1000000         0
1798.63/1799.12	c       155       279    267.50     34.74      7.70   1000000         0
1799.73/1800.29	c       160       218    270.60     34.63      7.81   1000000         0
1800.04/1800.51	HOME/run: line 2: 23339 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-2684524-1278432538/watcher-2684524-1278432538 -o /tmp/evaluation-result-2684524-1278432538/solver-2684524-1278432538 -C 1800 -W 2000 -M 1800 run HOME/instance-2684524-1278432538.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: 0.08 0.02 0.01 2/106 23337
/proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) R 23335 23337 23285 0 -1 4194304 223 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 126 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158436048 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23337/statm: 2175 141 115 178 0 68 0

[startup+0.0869741 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 23337
/proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100973 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 23337
/proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300993 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 23337
/proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701033 s]
/proc/loadavg: 0.08 0.02 0.01 2/106 23337
/proc/meminfo: memFree=1498928/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50111 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 23339
/proc/meminfo: memFree=1495068/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1.48
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 148 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134526304 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10127 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 23339
/proc/meminfo: memFree=1494820/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=3.08
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 308 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.30059 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 23339
/proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=6.28
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 628 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519716 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7012 s]
/proc/loadavg: 0.28 0.06 0.02 2/108 23340
/proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=12.68
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 1268 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5005 s]
/proc/loadavg: 0.39 0.09 0.03 2/108 23340
/proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=25.48
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 2548 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134525897 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1011 s]
/proc/loadavg: 0.60 0.17 0.05 2/108 23341
/proc/meminfo: memFree=1494696/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=51.07
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1011 0 0 0 5107 0 0 0 25 0 1 0 11466218 41422848 941 1992294400 134512640 135071400 4293089264 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 941 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.84 0.30 0.11 2/108 23342
/proc/meminfo: memFree=1494448/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=102.26
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 10226 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.94 0.43 0.16 2/108 23344
/proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=162.24
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 16224 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.98 0.53 0.21 2/108 23345
/proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=222.23
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 22223 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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: 0.99 0.61 0.26 2/108 23347
/proc/meminfo: memFree=1494324/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=282.21
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 28221 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.68 0.30 2/108 23349
/proc/meminfo: memFree=1494200/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=342.2
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 34220 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526385 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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: 0.99 0.74 0.34 2/108 23350
/proc/meminfo: memFree=1494076/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=402.18
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 40218 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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... #
################

/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1121.99
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 112199 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.69 2/108 23374
/proc/meminfo: memFree=1492712/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1181.98
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 118198 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.71 2/108 23376
/proc/meminfo: memFree=1492464/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1241.96
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 124196 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134571200 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.73 2/108 23377
/proc/meminfo: memFree=1492340/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1301.96
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 130196 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/108 23379
/proc/meminfo: memFree=1492216/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1361.93
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 136193 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.75 2/108 23380
/proc/meminfo: memFree=1492216/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1421.92
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 142192 0 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134547285 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.76 2/108 23382
/proc/meminfo: memFree=1492092/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1481.91
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 148190 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/108 23384
/proc/meminfo: memFree=1491968/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1541.9
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 154189 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/108 23385
/proc/meminfo: memFree=1491844/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1601.88
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 160187 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/108 23387
/proc/meminfo: memFree=1491720/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1661.87
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 166186 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/108 23388
/proc/meminfo: memFree=1491596/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1721.85
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 172184 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 23390
/proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1781.83
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 178182 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 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 0.97 0.82 2/108 23390
/proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1800.04
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 180003 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 23390
/proc/meminfo: memFree=1491472/2059040 swapFree=4192956/4192956
[pid=23337] ppid=23335 vsize=8700 CPUtime=0
/proc/23337/stat : 23337 (run) S 23335 23337 23285 0 -1 4202496 360 0 0 0 0 0 0 0 19 0 1 0 11466217 8908800 243 1992294400 4194304 4922060 140737137656672 18446744073709551615 230158867589 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/23337/statm: 2175 243 204 178 0 68 0
[pid=23339] ppid=23337 vsize=40452 CPUtime=1800.04
/proc/23339/stat : 23339 (PB-wave) R 23337 23337 23285 0 -1 4202496 1012 0 0 0 180003 1 0 0 25 0 1 0 11466218 41422848 942 1992294400 134512640 135071400 4293089264 18446744073709551615 134525885 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23339/statm: 10113 942 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
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= 1385
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= 4
involuntary context switches= 6147

runsolver used 2.97155 second user time and 8.5777 second system time

The end

Launcher Data

Begin job on node017 at 2010-07-06 18:08:59
IDJOB=2684524
IDBENCH=72863
IDSOLVER=1171
FILE ID=node017/2684524-1278432538
PBS_JOBID= 11233455
Free space on /tmp= 62476 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3037_5-sat.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2684524-1278432538/watcher-2684524-1278432538 -o /tmp/evaluation-result-2684524-1278432538/solver-2684524-1278432538 -C 1800 -W 2000 -M 1800  run HOME/instance-2684524-1278432538.opb

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

MD5SUM BENCH= 28411513b07977217060c23e558ed937
RANDOM SEED=2057861938

node017.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.220
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.44
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.220
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1499448 kB
Buffers:        102824 kB
Cached:         324112 kB
SwapCached:          0 kB
Active:         164268 kB
Inactive:       322696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1499448 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1424 kB
Writeback:           0 kB
AnonPages:       60052 kB
Mapped:          14420 kB
Slab:            50760 kB
PageTables:       4144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179412 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= 62476 MiB
End job on node017 at 2010-07-06 18:38:59