Trace number 2684720

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-j3029_8-unsat.opb
MD5SUM4beea9548a8b05c336cb9a5dcff42191
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark5.48317
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4960
Total number of constraints16157
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
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.04	c PB-wave - v2
0.00/0.04	c command line = ./PB-wave
0.00/0.04	c seed = 106976685
0.00/0.04	c cutoff = 1000000
0.00/0.04	c tries = 1000000
0.00/0.04	c heuristic = c best, noise 50 / 100
0.00/0.04	#var 4960 #con 16157
0.00/0.04	mode is SAT
0.00/0.04	c tail starts after flip = 14880
0.00/0.04	c numatom = 4960, numclause = 16157, numliterals = 43255
0.00/0.04	c wff read in
0.00/0.04	c 
0.00/0.04	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.04	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.04	c       this      this      this      this      this      this   success   success       until         std
0.00/0.04	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.04	c
1.19/1.20	c       153       265    260.99     31.66      8.24   1000000         0
2.29/2.36	c       164       250    261.69     29.94      8.74   1000000         0
3.49/3.52	c       164       227    258.32     29.85      8.65   1000000         0
4.59/4.67	c       151       217    260.06     32.69      7.96   1000000         0
5.79/5.83	c       153       244    257.18     29.69      8.66   1000000         0
6.89/6.99	c       161       295    259.57     31.86      8.15   1000000         0
8.08/8.14	c       155       261    259.95     31.64      8.21   1000000         0
9.28/9.30	c       155       327    260.24     31.17      8.35   1000000         0
10.38/10.46	c       145       291    260.36     30.10      8.65   1000000         0
11.58/11.61	c       152       241    262.81     32.21      8.16   1000000         0
12.68/12.77	c       157       235    258.54     30.20      8.56   1000000         0
13.88/13.93	c       159       253    255.36     29.26      8.73   1000000         0
14.98/15.08	c       139       280    256.88     30.61      8.39   1000000         0
16.18/16.24	c       159       299    262.52     30.52      8.60   1000000         0
17.38/17.40	c       159       222    262.98     31.16      8.44   1000000         0
18.48/18.55	c       156       238    260.77     33.28      7.83   1000000         0
19.69/19.71	c       146       263    258.64     30.72      8.42   1000000         0
20.79/20.87	c       155       262    260.38     31.54      8.26   1000000         0
21.99/22.03	c       150       271    262.22     31.47      8.33   1000000         0
23.09/23.19	c       150       244    261.73     31.07      8.42   1000000         0
24.29/24.34	c       153       302    261.17     32.24      8.10   1000000         0
25.49/25.50	c       143       231    262.54     31.70      8.28   1000000         0
26.59/26.66	c       162       220    260.18     31.47      8.27   1000000         0
27.79/27.81	c       158       275    260.48     30.48      8.55   1000000         0
28.88/28.97	c       164       284    254.85     29.38      8.67   1000000         0
30.08/30.12	c       158       281    261.58     30.73      8.51   1000000         0
31.18/31.28	c       164       305    262.19     29.44      8.91   1000000         0
32.38/32.44	c       151       267    261.38     30.42      8.59   1000000         0
33.48/33.60	c       165       269    258.41     30.16      8.57   1000000         0
34.68/34.75	c       143       258    260.50     32.00      8.14   1000000         0
35.88/35.91	c       162       279    263.30     31.11      8.46   1000000         0
36.98/37.07	c       142       268    259.92     31.01      8.38   1000000         0
38.18/38.22	c       164       250    258.03     31.57      8.17   1000000         0
39.28/39.38	c       152       265    259.61     30.88      8.41   1000000         0
40.48/40.54	c       150       229    260.96     33.53      7.78   1000000         0
41.69/41.70	c       158       285    263.26     29.80      8.83   1000000         0
42.79/42.86	c       146       286    258.55     30.99      8.34   1000000         0
43.99/44.01	c       156       213    258.84     30.24      8.56   1000000         0
45.09/45.17	c       156       310    259.28     30.01      8.64   1000000         0
46.28/46.33	c       154       252    264.87     31.21      8.49   1000000         0
47.38/47.49	c       163       262    257.23     29.95      8.59   1000000         0
48.58/48.64	c       164       227    261.90     30.41      8.61   1000000         0
49.78/49.80	c       159       262    263.07     31.67      8.31   1000000         0
50.88/50.95	c       154       268    260.08     31.83      8.17   1000000         0
52.08/52.11	c       151       256    257.98     30.75      8.39   1000000         0
53.18/53.27	c       155       249    258.65     31.54      8.20   1000000         0
54.38/54.42	c       158       261    259.35     30.52      8.50   1000000         0
55.47/55.58	c       144       284    260.94     31.34      8.33   1000000         0
56.67/56.73	c       160       209    265.90     30.60      8.69   1000000         0
57.77/57.89	c       160       245    261.38     31.42      8.32   1000000         0
58.97/59.05	c       149       282    263.57     30.40      8.67   1000000         0
60.17/60.21	c       156       263    258.10     30.63      8.43   1000000         0
61.27/61.36	c       157       276    259.89     32.89      7.90   1000000         0
62.47/62.52	c       145       224    256.74     29.36      8.74   1000000         0
63.57/63.68	c       158       253    262.25     31.20      8.40   1000000         0
64.78/64.84	c       160       218    261.16     30.84      8.47   1000000         0
65.88/65.99	c       152       326    261.46     29.95      8.73   1000000         0
67.08/67.15	c       155       241    259.66     31.60      8.22   1000000         0
68.27/68.30	c       157       244    260.60     31.60      8.25   1000000         0
69.37/69.46	c       153       198    261.62     29.28      8.93   1000000         0
70.57/70.62	c       140       204    255.61     32.25      7.93   1000000         0
71.67/71.78	c       145       279    259.15     31.79      8.15   1000000         0
72.87/72.93	c       164       240    259.00     29.78      8.70   1000000         0
73.97/74.09	c       156       207    259.22     32.16      8.06   1000000         0
75.17/75.25	c       154       250    261.27     30.18      8.66   1000000         0
76.37/76.40	c       164       213    259.96     28.84      9.01   1000000         0
77.47/77.56	c       159       235    257.67     29.26      8.81   1000000         0
78.67/78.72	c       160       261    257.95     30.40      8.48   1000000         0
79.77/79.88	c       164       253    261.76     31.62      8.28   1000000         0
80.97/81.03	c       162       227    257.69     30.93      8.33   1000000         0
82.07/82.19	c       164       286    258.54     29.99      8.62   1000000         0
83.27/83.35	c       162       299    266.36     32.09      8.30   1000000         0
84.47/84.51	c       157       245    258.01     30.53      8.45   1000000         0
85.57/85.67	c       165       285    266.78     30.44      8.76   1000000         0
86.77/86.83	c       156       221    262.51     30.79      8.52   1000000         0
87.87/87.98	c       142       311    261.34     31.45      8.31   1000000         0
89.07/89.14	c       150       276    260.16     32.10      8.10   1000000         0
90.26/90.30	c       162       264    262.30     31.73      8.27   1000000         0
91.36/91.46	c       146       216    260.04     30.41      8.55   1000000         0
92.56/92.61	c       158       270    256.95     31.62      8.13   1000000         0
93.66/93.77	c       144       300    256.30     30.28      8.46   1000000         0
94.86/94.93	c       161       287    260.18     30.51      8.53   1000000         0
95.97/96.08	c       160       249    259.87     29.85      8.70   1000000         0
97.17/97.24	c       152       261    262.18     31.28      8.38   1000000         0
98.36/98.40	c       155       265    262.93     31.73      8.29   1000000         0
99.46/99.55	c       162       251    267.83     31.26      8.57   1000000         0
100.66/100.71	c       163       220    261.34     30.58      8.55   1000000         0
101.76/101.86	c       150       265    259.38     30.99      8.37   1000000         0
102.96/103.02	c       156       256    261.14     32.29      8.09   1000000         0
104.06/104.18	c       171       263    261.74     30.65      8.54   1000000         0
105.26/105.33	c       154       259    258.77     30.13      8.59   1000000         0
106.36/106.49	c       141       268    256.40     29.83      8.60   1000000         0
107.56/107.65	c       155       227    259.88     31.61      8.22   1000000         0
108.77/108.80	c       152       260    256.26     31.12      8.23   1000000         0
109.87/109.96	c       150       287    256.22     31.88      8.04   1000000         0
111.07/111.12	c       162       257    261.97     29.52      8.88   1000000         0
112.17/112.28	c       156       233    258.80     30.91      8.37   1000000         0
113.36/113.44	c       152       244    261.37     31.71      8.24   1000000         0
114.46/114.59	c       147       248    258.01     30.80      8.38   1000000         0
115.66/115.75	c       159       203    258.10     31.25      8.26   1000000         0
116.86/116.90	c       151       252    258.02     29.19      8.84   1000000         0
117.96/118.06	c       154       220    255.44     32.26      7.92   1000000         0
119.16/119.22	c       160       291    263.45     32.07      8.22   1000000         0
120.26/120.37	c       167       244    261.50     30.86      8.47   1000000         0
121.46/121.53	c       159       226    259.45     31.04      8.36   1000000         0
122.56/122.69	c       154       251    258.36     29.45      8.77   1000000         0
123.76/123.84	c       157       305    263.37     32.86      8.01   1000000         0
124.96/125.00	c       159       275    258.46     30.17      8.57   1000000         0
126.06/126.16	c       164       243    259.49     31.43      8.26   1000000         0
127.26/127.32	c       148       252    260.58     30.59      8.52   1000000         0
128.36/128.47	c       165       262    264.68     30.79      8.60   1000000         0
129.56/129.63	c       162       215    257.84     29.34      8.79   1000000         0
130.66/130.79	c       155       256    257.30     31.79      8.09   1000000         0
131.86/131.95	c       165       242    255.62     28.87      8.85   1000000         0
133.06/133.10	c       157       281    259.58     31.50      8.24   1000000         0
134.16/134.26	c       163       288    259.91     29.18      8.91   1000000         0
135.35/135.42	c       132       300    256.47     31.15      8.23   1000000         0
136.45/136.58	c       162       230    260.31     29.75      8.75   1000000         0
137.65/137.73	c       154       257    259.03     30.43      8.51   1000000         0
138.75/138.89	c       140       268    256.21     31.78      8.06   1000000         0
139.95/140.04	c       158       289    260.90     30.99      8.42   1000000         0
141.15/141.20	c       146       259    259.21     32.56      7.96   1000000         0
142.25/142.36	c       160       253    261.21     30.22      8.64   1000000         0
143.45/143.51	c       158       269    258.08     28.53      9.04   1000000         0
144.55/144.67	c       164       201    257.44     29.59      8.70   1000000         0
145.75/145.82	c       160       259    261.89     29.15      8.98   1000000         0
146.85/146.98	c       162       292    261.90     30.77      8.51   1000000         0
148.05/148.14	c       161       275    260.07     31.13      8.35   1000000         0
149.15/149.29	c       165       255    258.53     30.07      8.60   1000000         0
150.35/150.45	c       155       257    259.71     30.92      8.40   1000000         0
151.55/151.60	c       154       233    255.92     32.63      7.84   1000000         0
152.65/152.76	c       158       213    261.02     32.66      7.99   1000000         0
153.86/153.92	c       157       248    258.20     30.22      8.54   1000000         0
154.96/155.07	c       163       237    260.24     30.42      8.56   1000000         0
156.16/156.23	c       153       245    257.34     30.07      8.56   1000000         0
157.26/157.39	c       147       280    262.11     30.17      8.69   1000000         0
158.45/158.55	c       164       261    262.57     29.89      8.79   1000000         0
159.65/159.70	c       167       289    260.17     29.40      8.85   1000000         0
160.75/160.86	c       156       258    260.24     30.68      8.48   1000000         0
161.95/162.02	c       161       238    260.53     30.97      8.41   1000000         0
163.05/163.18	c       158       224    259.66     28.94      8.97   1000000         0
164.25/164.34	c       156       263    258.24     29.14      8.86   1000000         0
165.35/165.50	c       158       294    261.28     31.53      8.29   1000000         0
166.55/166.65	c       150       273    258.53     30.90      8.37   1000000         0
167.75/167.81	c       155       256    260.66     30.56      8.53   1000000         0
168.84/168.97	c       143       239    257.56     31.98      8.05   1000000         0
170.04/170.13	c       152       231    259.49     29.95      8.67   1000000         0
171.14/171.28	c       155       283    260.70     30.03      8.68   1000000         0
172.34/172.44	c       158       240    259.26     31.28      8.29   1000000         0
173.54/173.60	c       159       259    264.49     31.15      8.49   1000000         0
174.64/174.76	c       158       243    258.97     31.42      8.24   1000000         0
175.85/175.91	c       144       277    258.42     30.57      8.45   1000000         0
176.95/177.07	c       157       300    256.58     30.72      8.35   1000000         0
178.15/178.23	c       150       252    263.50     31.35      8.40   1000000         0
179.25/179.39	c       163       239    262.03     31.30      8.37   1000000         0
180.44/180.55	c       165       240    261.76     30.03      8.72   1000000         0
181.64/181.70	c       160       234    259.32     32.22      8.05   1000000         0
182.74/182.86	c       157       224    257.55     28.78      8.95   1000000         0
183.94/184.02	c       168       353    260.87     29.02      8.99   1000000         0
185.04/185.17	c       142       269    258.21     31.09      8.30   1000000         0
186.24/186.33	c       149       287    260.46     32.10      8.11   1000000         0
187.34/187.49	c       158       230    257.50     29.66      8.68   1000000         0
188.54/188.65	c       147       261    260.10     31.28      8.32   1000000         0
189.74/189.80	c       148       269    262.36     29.37      8.93   1000000         0
190.84/190.96	c       160       287    263.84     33.00      8.00   1000000         0
192.04/192.11	c       146       238    261.36     31.57      8.28   1000000         0
193.14/193.27	c       155       224    261.35     30.79      8.49   1000000         0
194.34/194.43	c       153       284    259.75     30.78      8.44   1000000         0
195.44/195.59	c       164       262    258.88     32.40      7.99   1000000         0
196.64/196.75	c       165       265    255.47     29.08      8.78   1000000         0
197.84/197.90	c       151       302    257.91     31.83      8.10   1000000         0
198.95/199.06	c       166       240    260.45     28.34      9.19   1000000         0
200.14/200.21	c       155       219    259.09     29.72      8.72   1000000         0
201.24/201.37	c       155       267    257.88     30.02      8.59   1000000         0
202.44/202.53	c       165       283    260.85     29.84      8.74   1000000         0
203.54/203.69	c       135       223    256.41     30.71      8.35   1000000         0
204.74/204.85	c       146       285    261.99     32.05      8.17   1000000         0
205.94/206.01	c       157       268    261.18     29.27      8.92   1000000         0
207.04/207.17	c       161       280    260.19     29.77      8.74   1000000         0
208.24/208.32	c       154       284    257.07     30.99      8.30   1000000         0
209.33/209.48	c       158       259    257.21     29.22      8.80   1000000         0
210.53/210.63	c       148       216    261.47     31.56      8.28   1000000         0
211.63/211.79	c       160       276    259.06     32.40      8.00   1000000         0
212.83/212.94	c       146       257    257.13     30.42      8.45   1000000         0
214.03/214.10	c       152       306    260.71     31.18      8.36   1000000         0
215.13/215.26	c       158       257    262.19     30.80      8.51   1000000         0
216.33/216.41	c       155       302    260.47     31.07      8.38   1000000         0
217.43/217.56	c       162       222    262.09     31.06      8.44   1000000         0
218.63/218.72	c       165       278    256.92     29.16      8.81   1000000         0
219.73/219.88	c       151       258    260.45     31.03      8.39   1000000         0
220.94/221.04	c       150       284    256.63     30.18      8.50   1000000         0
222.04/222.19	c       153       268    260.89     30.19      8.64   1000000         0
223.24/223.35	c       153       189    256.30     30.67      8.36   1000000         0
224.43/224.51	c       151       312    260.04     30.42      8.55   1000000         0
225.53/225.66	c       140       271    260.74     30.04      8.68   1000000         0
226.73/226.82	c       147       217    261.88     30.69      8.53   1000000         0
227.83/227.98	c       159       265    259.94     32.39      8.03   1000000         0
229.03/229.14	c       153       260    260.05     31.41      8.28   1000000         0
230.13/230.29	c       148       289    258.83     30.58      8.46   1000000         0
231.33/231.45	c       153       262    259.10     30.27      8.56   1000000         0
232.53/232.61	c       147       289    258.40     31.96      8.08   1000000         0
233.63/233.76	c       142       277    257.90     32.02      8.05   1000000         0
234.83/234.92	c       153       275    258.77     31.17      8.30   1000000         0
235.93/236.07	c       149       254    260.46     30.67      8.49   1000000         0
237.13/237.23	c       157       232    257.46     30.34      8.48   1000000         0
238.23/238.39	c       159       215    265.69     33.58      7.91   1000000         0
239.43/239.54	c       143       256    260.62     32.40      8.04   1000000         0
240.63/240.70	c       145       273    260.76     31.10      8.38   1000000         0
241.73/241.86	c       159       301    262.55     31.05      8.46   1000000         0
242.93/243.02	c       153       231    255.90     30.51      8.39   1000000         0
244.03/244.17	c       151       251    258.49     28.78      8.98   1000000         0
245.23/245.33	c       147       279    263.62     30.29      8.70   1000000         0
246.33/246.49	c       160       266    258.61     32.25      8.02   1000000         0
247.52/247.65	c       159       276    262.37     31.76      8.26   1000000         0
248.72/248.81	c       154       227    257.04     30.18      8.52   1000000         0
249.83/249.96	c       159       226    261.45     29.72      8.80   1000000         0
251.02/251.12	c       142       294    259.97     33.81      7.69   1000000         0
252.12/252.27	c       155       252    256.77     28.53      9.00   1000000         0
253.32/253.43	c       146       255    263.76     31.62      8.34   1000000         0
254.42/254.59	c       164       239    259.40     31.92      8.13   1000000         0
255.62/255.75	c       147       223    260.47     31.95      8.15   1000000         0
256.82/256.90	c       142       272    260.11     31.37      8.29   1000000         0
257.92/258.06	c       158       245    260.92     29.68      8.79   1000000         0
259.12/259.22	c       163       231    260.70     29.66      8.79   1000000         0
260.22/260.38	c       157       266    261.18     30.09      8.68   1000000         0
261.42/261.53	c       163       293    259.41     29.60      8.76   1000000         0
262.52/262.69	c       160       214    260.19     29.50      8.82   1000000         0
263.72/263.85	c       157       200    258.30     30.55      8.46   1000000         0
264.93/265.01	c       139       274    261.44     31.87      8.20   1000000         0
266.03/266.17	c       160       259    261.74     28.73      9.11   1000000         0
267.23/267.32	c       151       252    261.76     33.83      7.74   1000000         0
268.33/268.48	c       165       273    262.14     30.27      8.66   1000000         0
269.52/269.64	c       165       221    261.52     32.04      8.16   1000000         0
270.72/270.80	c       147       235    261.80     31.50      8.31   1000000         0
271.82/271.95	c       162       282    261.70     31.59      8.29   1000000         0
273.02/273.11	c       160       251    263.01     30.79      8.54   1000000         0
274.12/274.27	c       157       281    259.27     30.62      8.47   1000000         0
275.32/275.42	c       147       257    262.37     32.10      8.17   1000000         0
276.42/276.58	c       162       238    259.88     30.09      8.64   1000000         0
277.62/277.74	c       150       250    257.79     30.73      8.39   1000000         0
278.72/278.89	c       163       275    264.20     31.46      8.40   1000000         0
279.92/280.05	c       134       207    261.08     31.11      8.39   1000000         0
281.12/281.21	c       166       294    260.82     30.40      8.58   1000000         0
282.22/282.36	c       149       294    258.54     31.35      8.25   1000000         0
283.42/283.52	c       157       285    262.62     31.08      8.45   1000000         0
284.52/284.68	c       155       217    259.55     29.97      8.66   1000000         0
285.71/285.84	c       160       244    262.17     30.18      8.69   1000000         0
286.92/287.00	c       149       259    258.16     31.49      8.20   1000000         0
288.02/288.15	c       162       271    260.28     30.85      8.44   1000000         0
289.22/289.31	c       156       277    258.80     31.08      8.33   1000000         0
290.32/290.47	c       161       247    260.52     30.48      8.55   1000000         0
291.51/291.63	c       165       262    260.60     31.12      8.37   1000000         0
292.61/292.78	c       158       282    264.91     31.07      8.53   1000000         0
293.81/293.94	c       155       236    259.46     31.41      8.26   1000000         0
294.91/295.09	c       156       302    259.78     29.22      8.89   1000000         0
296.11/296.25	c       153       251    259.79     30.44      8.53   1000000         0
297.31/297.41	c       154       274    262.28     31.18      8.41   1000000         0
298.41/298.56	c       148       213    259.79     31.21      8.32   1000000         0
299.61/299.72	c       159       220    261.81     30.72      8.52   1000000         0
300.71/300.88	c       151       273    254.83     29.46      8.65   1000000         0
301.91/302.04	c       155       268    258.22     29.46      8.76   1000000         0
303.01/303.19	c       152       252    256.27     30.08      8.52   1000000         0
304.21/304.35	c       153       203    259.87     32.29      8.05   1000000         0
305.41/305.51	c       143       251    262.53     32.03      8.20   1000000         0
306.51/306.66	c       160       255    258.72     30.10      8.59   1000000         0
307.71/307.82	c       146       264    256.74     29.93      8.58   1000000         0
308.81/308.98	c       159       258    260.66     31.56      8.26   1000000         0
310.02/310.13	c       150       283    259.07     31.51      8.22   1000000         0
311.11/311.29	c       150       352    258.08     30.54      8.45   1000000         0
312.31/312.45	c       158       263    262.63     31.52      8.33   1000000         0
313.51/313.60	c       156       215    261.32     30.47      8.58   1000000         0
314.61/314.76	c       152       267    261.65     29.72      8.80   1000000         0
315.81/315.92	c       154       293    259.55     31.19      8.32   1000000         0
316.91/317.08	c       126       256    260.69     31.36      8.31   1000000         0
318.11/318.24	c       155       213    260.88     31.07      8.40   1000000         0
319.21/319.39	c       150       219    262.25     31.43      8.34   1000000         0
320.40/320.55	c       157       360    262.04     29.99      8.74   1000000         0
321.60/321.70	c       168       280    258.94     30.11      8.60   1000000         0
322.70/322.86	c       147       233    259.32     31.18      8.32   1000000         0
323.90/324.02	c       145       269    257.62     32.05      8.04   1000000         0
325.00/325.17	c       155       266    260.65     31.34      8.32   1000000         0
326.20/326.33	c       155       250    262.04     34.08      7.69   1000000         0
327.30/327.49	c       148       257    261.93     30.39      8.62   1000000         0
328.50/328.65	c       161       277    259.49     30.27      8.57   1000000         0
329.70/329.80	c       166       275    258.68     30.14      8.58   1000000         0
330.80/330.96	c       154       261    263.09     30.69      8.57   1000000         0
332.01/332.12	c       149       274    259.31     30.52      8.50   1000000         0
333.11/333.27	c       151       278    259.80     29.57      8.79   1000000         0
334.31/334.43	c       149       236    256.19     30.80      8.32   1000000         0
335.41/335.59	c       156       270    260.34     30.10      8.65   1000000         0
336.60/336.74	c       164       257    258.73     29.15      8.88   1000000         0
337.80/337.90	c       165       285    260.74     32.11      8.12   1000000         0
338.90/339.06	c       162       289    260.32     29.64      8.78   1000000         0
340.10/340.21	c       157       255    257.76     30.20      8.54   1000000         0
341.20/341.37	c       137       234    259.59     31.52      8.23   1000000         0
342.40/342.53	c       160       288    259.83     32.25      8.06   1000000         0
343.50/343.68	c       169       282    256.38     30.42      8.43   1000000         0
344.70/344.84	c       165       244    259.52     30.02      8.64   1000000         0
345.90/346.00	c       164       304    264.96     30.51      8.68   1000000         0
347.00/347.16	c       155       207    260.15     31.40      8.29   1000000         0
348.20/348.31	c       155       240    257.92     31.22      8.26   1000000         0
349.30/349.47	c       154       228    259.24     32.69      7.93   1000000         0
350.50/350.62	c       165       225    262.08     31.59      8.30   1000000         0
351.60/351.78	c       156       260    261.76     31.61      8.28   1000000         0
352.81/352.93	c       152       252    259.98     31.47      8.26   1000000         0
353.90/354.09	c       162       232    262.54     31.16      8.42   1000000         0
355.11/355.24	c       162       285    260.31     31.33      8.31   1000000         0
356.21/356.40	c       166       223    257.17     28.98      8.87   1000000         0
357.41/357.56	c       143       252    260.16     30.32      8.58   1000000         0
358.60/358.72	c       145       312    260.49     32.71      7.96   1000000         0
359.70/359.87	c       159       290    260.73     32.16      8.11   1000000         0
360.90/361.03	c       157       253    264.07     31.24      8.45   1000000         0
362.00/362.19	c       157       233    260.45     31.30      8.32   1000000         0
363.20/363.35	c       156       268    258.32     31.05      8.32   1000000         0
364.40/364.50	c       143       251    260.96     31.33      8.33   1000000         0
365.50/365.66	c       152       285    260.47     30.65      8.50   1000000         0
366.70/366.82	c       155       220    257.30     30.65      8.40   1000000         0
367.80/367.97	c       146       248    257.63     30.05      8.57   1000000         0
369.00/369.14	c       158       285    262.98     30.08      8.74   1000000         0
370.10/370.30	c       165       270    259.56     29.28      8.86   1000000         0
371.30/371.45	c       159       280    258.97     30.41      8.52   1000000         0
372.50/372.61	c       162       305    263.03     31.47      8.36   1000000         0
373.60/373.77	c       156       246    257.76     31.12      8.28   1000000         0
374.80/374.93	c       160       278    258.86     30.65      8.45   1000000         0
375.90/376.09	c       158       227    260.47     32.98      7.90   1000000         0
377.10/377.24	c       164       248    261.61     30.07      8.70   1000000         0
378.20/378.40	c       160       231    258.04     30.18      8.55   1000000         0
379.41/379.56	c       150       228    261.40     29.57      8.84   1000000         0
380.60/380.72	c       161       267    263.39     31.06      8.48   1000000         0
381.69/381.87	c       157       293    258.08     30.42      8.49   1000000         0
382.89/383.03	c       156       190    262.11     33.38      7.85   1000000         0
383.99/384.19	c       166       245    258.67     30.23      8.56   1000000         0
385.19/385.34	c       148       279    256.36     30.57      8.39   1000000         0
386.39/386.50	c       161       263    264.69     32.01      8.27   1000000         0
387.50/387.66	c       161       292    260.40     29.38      8.86   1000000         0
388.69/388.82	c       140       197    257.30     33.11      7.77   1000000         0
389.79/389.97	c       157       305    261.85     30.75      8.52   1000000         0
390.99/391.13	c       161       276    257.42     30.35      8.48   1000000         0
392.09/392.28	c       165       236    261.25     30.79      8.49   1000000         0
393.29/393.44	c       154       223    259.19     30.32      8.55   1000000         0
394.49/394.60	c       159       287    259.53     31.61      8.21   1000000         0
395.59/395.76	c       154       254    261.98     30.50      8.59   1000000         0
396.79/396.92	c       160       263    260.59     31.01      8.40   1000000         0
397.89/398.07	c       150       253    259.79     31.93      8.14   1000000         0
399.10/399.23	c       162       282    261.21     29.98      8.71   1000000         0
400.20/400.39	c       155       274    261.33     31.17      8.39   1000000         0
401.40/401.55	c       149       234    256.70     30.47      8.43   1000000         0
402.59/402.70	c       164       204    261.11     30.08      8.68   1000000         0
403.69/403.86	c       153       305    259.57     30.82      8.42   1000000         0
404.89/405.02	c       151       247    259.15     32.43      7.99   1000000         0
405.99/406.17	c       164       285    261.25     30.21      8.65   1000000         0
407.19/407.33	c       170       286    260.60     29.82      8.74   1000000         0
408.29/408.49	c       148       270    260.78     30.76      8.48   1000000         0
409.49/409.64	c       154       298    260.38     31.72      8.21   1000000         0
410.59/410.79	c       153       241    258.44     29.71      8.70   1000000         0
411.79/411.95	c       171       321    255.59     29.59      8.64   1000000         0
412.99/413.11	c       157       259    262.54     32.13      8.17   1000000         0
414.09/414.26	c       140       234    260.27     31.70      8.21   1000000         0
415.28/415.42	c       160       266    258.82     30.12      8.59   1000000         0
416.38/416.58	c       163       236    256.22     29.18      8.78   1000000         0
417.58/417.74	c       165       218    256.95     29.99      8.57   1000000         0
418.68/418.90	c       150       253    256.71     29.19      8.80   1000000         0
419.88/420.05	c       147       255    257.47     31.29      8.23   1000000         0
421.09/421.21	c       156       238    258.81     30.65      8.44   1000000         0
422.19/422.37	c       160       221    260.13     29.68      8.76   1000000         0
423.39/423.53	c       149       204    256.86     30.19      8.51   1000000         0
424.49/424.68	c       167       256    262.17     30.65      8.55   1000000         0
425.68/425.84	c       154       284    257.53     30.81      8.36   1000000         0
426.88/427.00	c       155       236    258.98     30.63      8.46   1000000         0
427.98/428.16	c       158       284    260.87     29.89      8.73   1000000         0
429.18/429.32	c       155       292    259.97     31.97      8.13   1000000         0
430.28/430.47	c       156       228    259.53     30.15      8.61   1000000         0
431.48/431.63	c       140       242    258.08     29.90      8.63   1000000         0
432.58/432.79	c       155       267    259.99     30.89      8.42   1000000         0
433.78/433.95	c       161       269    257.53     29.13      8.84   1000000         0
434.98/435.10	c       145       270    260.39     32.71      7.96   1000000         0
436.08/436.26	c       159       250    257.20     29.34      8.77   1000000         0
437.28/437.42	c       163       228    260.97     29.89      8.73   1000000         0
438.38/438.57	c       161       261    261.12     29.02      9.00   1000000         0
439.58/439.73	c       159       254    258.72     30.43      8.50   1000000         0
440.68/440.88	c       160       269    259.07     30.76      8.42   1000000         0
441.88/442.04	c       147       244    260.63     32.14      8.11   1000000         0
443.09/443.20	c       156       273    260.11     30.64      8.49   1000000         0
444.19/444.36	c       155       260    259.97     30.92      8.41   1000000         0
445.39/445.52	c       160       215    262.51     31.96      8.21   1000000         0
446.49/446.67	c       164       305    260.47     32.23      8.08   1000000         0
447.68/447.83	c       143       202    260.99     30.22      8.64   1000000         0
448.78/448.99	c       159       277    261.01     31.13      8.38   1000000         0
449.98/450.14	c       152       225    259.70     29.69      8.75   1000000         0
451.18/451.30	c       154       281    262.12     29.85      8.78   1000000         0
452.28/452.46	c       161       255    257.91     31.38      8.22   1000000         0
453.48/453.62	c       161       286    259.83     30.62      8.49   1000000         0
454.58/454.78	c       162       222    257.99     31.17      8.28   1000000         0
455.78/455.93	c       166       329    257.13     28.11      9.15   1000000         0
456.87/457.09	c       152       203    257.99     29.65      8.70   1000000         0
458.07/458.24	c       157       236    258.88     29.53      8.77   1000000         0
459.27/459.40	c       161       265    259.58     28.96      8.96   1000000         0
460.37/460.56	c       152       276    258.61     31.54      8.20   1000000         0
461.57/461.71	c       155       278    260.05     32.16      8.09   1000000         0
462.67/462.87	c       163       258    261.72     30.31      8.64   1000000         0
463.87/464.03	c       139       286    259.78     31.24      8.32   1000000         0
464.97/465.18	c       159       279    261.30     29.79      8.77   1000000         0
466.18/466.34	c       165       252    259.68     30.54      8.50   1000000         0
467.28/467.50	c       156       280    257.08     29.77      8.64   1000000         0
468.48/468.66	c       166       260    263.58     30.16      8.74   1000000         0
469.67/469.81	c       164       289    257.98     30.08      8.58   1000000         0
470.77/470.97	c       162       224    261.38     29.62      8.82   1000000         0
471.97/472.13	c       165       297    261.34     32.78      7.97   1000000         0
473.07/473.28	c       163       242    256.59     28.91      8.87   1000000         0
474.27/474.44	c       167       247    260.45     30.38      8.57   1000000         0
475.47/475.60	c       165       271    259.31     31.30      8.28   1000000         0
476.57/476.75	c       161       256    258.38     30.83      8.38   1000000         0
477.77/477.91	c       159       267    259.99     30.76      8.45   1000000         0
478.87/479.07	c       156       213    262.69     30.88      8.51   1000000         0
480.07/480.22	c       141       282    256.26     29.23      8.77   1000000         0
481.17/481.38	c       154       245    257.83     29.40      8.77   1000000         0
482.37/482.54	c       155       291    259.59     30.20      8.60   1000000         0
483.57/483.70	c       161       283    258.96     30.20      8.57   1000000         0
484.67/484.86	c       163       252    262.95     31.95      8.23   1000000         0
485.87/486.01	c       161       259    256.63     31.57      8.13   1000000         0
486.97/487.17	c       162       258    253.64     28.80      8.81   1000000         0
488.17/488.33	c       143       239    256.84     30.06      8.54   1000000         0
489.27/489.48	c       156       244    256.02     30.87      8.29   1000000         0
490.47/490.64	c       158       310    262.31     29.87      8.78   1000000         0
491.67/491.80	c       140       275    257.71     32.09      8.03   1000000         0
492.77/492.96	c       160       271    259.47     31.09      8.35   1000000         0
493.96/494.12	c       154       252    257.27     31.17      8.25   1000000         0
495.06/495.28	c       166       212    260.55     29.95      8.70   1000000         0
496.26/496.43	c       163       251    259.65     28.83      9.01   1000000         0
497.36/497.59	c       156       278    257.92     30.94      8.34   1000000         0
498.57/498.74	c       165       262    262.19     31.07      8.44   1000000         0
499.76/499.90	c       142       231    258.13     29.84      8.65   1000000         0
500.86/501.05	c       157       279    264.92     31.03      8.54   1000000         0
502.06/502.21	c       153       221    262.72     32.15      8.17   1000000         0
503.16/503.37	c       166       212    262.72     32.60      8.06   1000000         0
504.36/504.52	c       151       219    260.66     31.08      8.39   1000000         0
505.46/505.68	c       155       266    262.94     31.60      8.32   1000000         0
506.66/506.84	c       152       299    258.88     33.20      7.80   1000000         0
507.76/508.00	c       143       263    262.78     30.95      8.49   1000000         0
508.96/509.16	c       151       218    262.89     31.04      8.47   1000000         0
510.17/510.31	c       147       285    259.66     30.43      8.53   1000000         0
511.26/511.48	c       150       242    258.69     29.39      8.80   1000000         0
512.47/512.63	c       167       237    263.44     30.86      8.54   1000000         0
513.56/513.79	c       161       253    260.71     30.04      8.68   1000000         0
514.76/514.95	c       157       270    260.78     30.62      8.52   1000000         0
515.96/516.11	c       163       277    257.56     29.31      8.79   1000000         0
517.05/517.27	c       157       275    260.05     30.81      8.44   1000000         0
518.25/518.42	c       154       279    260.91     31.26      8.35   1000000         0
519.35/519.58	c       165       233    260.93     30.09      8.67   1000000         0
520.55/520.74	c       156       239    259.59     32.32      8.03   1000000         0
521.65/521.89	c       149       270    259.31     30.68      8.45   1000000         0
522.85/523.05	c       156       243    258.81     30.28      8.55   1000000         0
524.05/524.21	c       155       292    259.63     30.34      8.56   1000000         0
525.15/525.37	c       156       223    256.24     28.88      8.87   1000000         0
526.35/526.52	c       157       247    259.28     29.56      8.77   1000000         0
527.45/527.68	c       161       231    260.04     30.34      8.57   1000000         0
528.65/528.84	c       159       266    257.82     31.85      8.09   1000000         0
529.75/530.00	c       168       258    260.54     29.01      8.98   1000000         0
530.95/531.16	c       156       227    263.14     32.77      8.03   1000000         0
532.16/532.31	c       156       361    262.72     30.77      8.54   1000000         0
533.26/533.47	c       157       305    260.23     30.49      8.54   1000000         0
534.45/534.63	c       150       257    257.40     31.23      8.24   1000000         0
535.55/535.79	c       154       252    259.84     30.40      8.55   1000000         0
536.75/536.95	c       155       286    261.11     32.49      8.04   1000000         0
537.95/538.11	c       160       269    263.52     31.78      8.29   1000000         0
539.05/539.27	c       157       281    259.61     30.44      8.53   1000000         0
540.25/540.43	c       152       224    259.87     31.42      8.27   1000000         0
541.35/541.58	c       155       262    258.12     30.57      8.44   1000000         0
542.55/542.74	c       151       273    257.13     29.96      8.58   1000000         0
543.75/543.90	c       156       246    265.32     31.30      8.48   1000000         0
544.85/545.06	c       157       238    258.99     29.98      8.64   1000000         0
546.05/546.22	c       163       281    259.83     32.74      7.94   1000000         0
547.15/547.37	c       164       255    258.16     31.01      8.33   1000000         0
548.34/548.54	c       143       236    255.40     30.42      8.40   1000000         0
549.45/549.70	c       151       248    260.42     31.44      8.28   1000000         0
550.64/550.85	c       171       246    263.06     29.34      8.96   1000000         0
551.84/552.01	c       147       274    261.31     30.05      8.70   1000000         0
552.94/553.17	c       160       228    257.32     29.92      8.60   1000000         0
554.15/554.32	c       139       264    257.04     29.02      8.86   1000000         0
555.25/555.48	c       159       256    259.83     30.42      8.54   1000000         0
556.45/556.64	c       150       210    260.10     30.66      8.48   1000000         0
557.64/557.80	c       151       265    257.32     30.55      8.42   1000000         0
558.74/558.96	c       158       315    257.66     29.83      8.64   1000000         0
559.94/560.11	c       148       245    261.40     30.61      8.54   1000000         0
561.04/561.27	c       155       333    261.28     29.93      8.73   1000000         0
562.24/562.42	c       155       269    263.15     31.75      8.29   1000000         0
563.34/563.58	c       159       267    262.42     30.82      8.51   1000000         0
564.54/564.74	c       137       280    259.93     33.38      7.79   1000000         0
565.64/565.90	c       160       228    257.87     31.08      8.30   1000000         0
566.84/567.05	c       139       228    255.71     31.07      8.23   1000000         0
568.04/568.21	c       150       258    258.75     30.21      8.57   1000000         0
569.14/569.37	c       139       240    253.84     31.92      7.95   1000000         0
570.34/570.52	c       150       198    262.57     31.33      8.38   1000000         0
571.44/571.68	c       166       302    259.28     30.75      8.43   1000000         0
572.64/572.83	c       148       250    258.22     32.30      7.99   1000000         0
573.74/573.99	c       163       293    257.89     29.08      8.87   1000000         0
574.94/575.15	c       154       232    261.73     30.43      8.60   1000000         0
576.15/576.31	c       158       294    258.49     30.75      8.41   1000000         0
577.24/577.46	c       136       267    261.35     32.65      8.00   1000000         0
578.44/578.62	c       164       314    261.85     29.99      8.73   1000000         0
579.54/579.77	c       146       257    254.57     29.19      8.72   1000000         0
580.74/580.93	c       141       264    260.51     29.58      8.81   1000000         0
581.84/582.09	c       153       214    260.93     32.60      8.00   1000000         0
583.04/583.24	c       161       305    261.04     31.53      8.28   1000000         0
584.24/584.40	c       163       251    261.50     32.09      8.15   1000000         0
585.33/585.56	c       155       342    260.50     30.47      8.55   1000000         0
586.53/586.71	c       155       277    258.32     31.47      8.21   1000000         0
587.63/587.87	c       155       260    259.66     30.93      8.39   1000000         0
588.83/589.02	c       151       272    257.78     29.59      8.71   1000000         0
589.93/590.18	c       163       330    259.58     30.33      8.56   1000000         0
591.13/591.34	c       155       292    260.34     32.11      8.11   1000000         0
592.23/592.50	c       141       261    261.58     31.04      8.43   1000000         0
593.43/593.65	c       153       241    258.13     30.96      8.34   1000000         0
594.63/594.81	c       148       247    256.08     29.45      8.70   1000000         0
595.73/595.97	c       154       222    258.26     30.53      8.46   1000000         0
596.93/597.13	c       161       242    258.76     31.33      8.26   1000000         0
598.03/598.28	c       156       261    259.26     29.64      8.75   1000000         0
599.24/599.44	c       162       279    255.37     29.59      8.63   1000000         0
600.34/600.60	c       154       261    259.92     31.65      8.21   1000000         0
601.54/601.75	c       160       243    262.54     30.64      8.57   1000000         0
602.73/602.91	c       161       245    256.11     30.61      8.37   1000000         0
603.83/604.06	c       163       259    260.34     32.44      8.03   1000000         0
605.03/605.22	c       147       217    258.54     30.38      8.51   1000000         0
606.13/606.38	c       152       264    261.61     31.66      8.26   1000000         0
607.33/607.54	c       147       273    256.44     30.24      8.48   1000000         0
608.43/608.69	c       153       231    258.93     31.84      8.13   1000000         0
609.63/609.85	c       153       261    263.18     29.93      8.79   1000000         0
610.83/611.01	c       163       294    260.25     31.39      8.29   1000000         0
611.93/612.16	c       165       255    258.96     30.08      8.61   1000000         0
613.13/613.32	c       150       254    257.96     32.48      7.94   1000000         0
614.23/614.48	c       152       266    260.75     30.03      8.68   1000000         0
615.43/615.63	c       152       260    262.35     31.73      8.27   1000000         0
616.53/616.79	c       153       299    256.93     28.91      8.89   1000000         0
617.73/617.95	c       159       238    262.27     31.45      8.34   1000000         0
618.93/619.10	c       153       312    258.88     29.44      8.79   1000000         0
620.02/620.25	c       166       278    264.72     31.40      8.43   1000000         0
621.23/621.41	c       135       267    259.14     30.32      8.55   1000000         0
622.33/622.56	c       151       218    259.52     28.91      8.98   1000000         0
623.53/623.72	c       156       247    256.79     28.11      9.14   1000000         0
624.63/624.88	c       160       237    258.97     30.11      8.60   1000000         0
625.82/626.04	c       161       258    258.29     29.81      8.66   1000000         0
626.92/627.19	c       154       254    259.72     30.93      8.40   1000000         0
628.12/628.35	c       158       237    256.96     31.98      8.04   1000000         0
629.32/629.51	c       157       246    261.26     31.42      8.32   1000000         0
630.42/630.67	c       161       268    258.26     28.84      8.96   1000000         0
631.62/631.82	c       178       257    263.61     29.46      8.95   1000000         0
632.72/632.98	c       155       286    258.72     30.99      8.35   1000000         0
633.92/634.14	c       159       248    258.02     31.34      8.23   1000000         0
635.02/635.29	c       150       263    261.71     33.57      7.80   1000000         0
636.22/636.45	c       159       257    257.66     29.81      8.64   1000000         0
637.42/637.61	c       159       251    261.86     31.08      8.42   1000000         0
638.52/638.76	c       157       262    260.79     31.45      8.29   1000000         0
639.72/639.92	c       156       236    258.51     30.34      8.52   1000000         0
640.82/641.08	c       169       251    261.71     30.09      8.70   1000000         0
642.02/642.24	c       147       235    264.22     32.27      8.19   1000000         0
643.12/643.39	c       150       247    259.42     31.03      8.36   1000000         0
644.33/644.55	c       146       316    259.55     30.45      8.52   1000000         0
645.53/645.71	c       147       249    258.24     30.32      8.52   1000000         0
646.63/646.87	c       157       267    259.77     30.39      8.55   1000000         0
647.82/648.03	c       142       237    260.89     33.06      7.89   1000000         0
648.92/649.18	c       156       205    257.33     29.26      8.79   1000000         0
650.12/650.34	c       155       259    257.03     32.03      8.02   1000000         0
651.32/651.50	c       150       223    256.95     30.51      8.42   1000000         0
652.42/652.65	c       141       250    262.46     31.42      8.35   1000000         0
653.62/653.81	c       151       251    260.09     31.26      8.32   1000000         0
654.72/654.97	c       153       277    260.98     30.68      8.51   1000000         0
655.92/656.13	c       151       214    260.92     31.52      8.28   1000000         0
657.02/657.29	c       134       302    256.90     31.94      8.04   1000000         0
658.22/658.45	c       167       252    262.93     29.09      9.04   1000000         0
659.42/659.60	c       154       267    261.62     30.97      8.45   1000000         0
660.52/660.76	c       152       279    255.06     29.54      8.63   1000000         0
661.72/661.92	c       159       212    258.79     31.37      8.25   1000000         0
662.82/663.07	c       156       238    264.57     30.98      8.54   1000000         0
664.02/664.23	c       163       265    258.88     30.44      8.51   1000000         0
665.12/665.39	c       156       277    260.61     30.61      8.51   1000000         0
666.33/666.54	c       156       206    258.24     31.69      8.15   1000000         0
667.43/667.70	c       152       228    262.71     31.94      8.23   1000000         0
668.63/668.86	c       164       253    261.72     30.08      8.70   1000000         0
669.82/670.02	c       157       292    261.39     32.21      8.12   1000000         0
670.92/671.17	c       157       237    260.27     31.42      8.28   1000000         0
672.12/672.33	c       152       263    261.75     31.55      8.30   1000000         0
673.22/673.49	c       160       260    260.69     31.49      8.28   1000000         0
674.42/674.65	c       168       260    262.16     30.20      8.68   1000000         0
675.62/675.81	c       149       264    259.98     29.89      8.70   1000000         0
676.72/676.96	c       167       231    260.24     32.55      7.99   1000000         0
677.92/678.12	c       162       311    259.62     31.39      8.27   1000000         0
679.01/679.28	c       149       222    258.98     30.95      8.37   1000000         0
680.21/680.43	c       152       228    256.13     29.06      8.82   1000000         0
681.31/681.59	c       159       248    258.05     29.34      8.80   1000000         0
682.51/682.75	c       159       296    260.89     31.12      8.38   1000000         0
683.71/683.91	c       162       263    264.46     31.41      8.42   1000000         0
684.81/685.06	c       163       251    263.11     30.93      8.51   1000000         0
686.01/686.22	c       167       217    261.99     29.67      8.83   1000000         0
687.11/687.38	c       151       263    261.26     30.33      8.61   1000000         0
688.32/688.53	c       155       262    261.10     29.43      8.87   1000000         0
689.42/689.69	c       135       239    262.78     31.32      8.39   1000000         0
690.62/690.85	c       146       253    259.83     29.61      8.78   1000000         0
691.81/692.01	c       157       258    259.34     31.17      8.32   1000000         0
692.91/693.17	c       169       293    263.25     29.56      8.91   1000000         0
694.11/694.32	c       155       313    261.82     31.42      8.33   1000000         0
695.21/695.48	c       164       277    260.82     30.83      8.46   1000000         0
696.41/696.64	c       161       238    258.67     31.36      8.25   1000000         0
697.51/697.79	c       161       247    259.23     30.16      8.60   1000000         0
698.71/698.95	c       147       275    258.22     32.52      7.94   1000000         0
699.91/700.11	c       155       309    258.36     31.00      8.33   1000000         0
701.01/701.27	c       159       224    257.97     28.67      9.00   1000000         0
702.21/702.42	c       163       202    259.03     31.37      8.26   1000000         0
703.31/703.58	c       154       246    261.09     30.80      8.48   1000000         0
704.51/704.74	c       152       258    258.34     30.65      8.43   1000000         0
705.71/705.90	c       161       256    259.69     32.27      8.05   1000000         0
706.81/707.05	c       160       227    261.82     31.40      8.34   1000000         0
708.01/708.21	c       157       282    262.59     30.73      8.55   1000000         0
709.11/709.36	c       167       356    263.64     31.25      8.44   1000000         0
710.31/710.52	c       166       229    261.93     29.09      9.00   1000000         0
711.41/711.68	c       158       236    257.22     30.45      8.45   1000000         0
712.61/712.83	c       146       261    260.12     30.00      8.67   1000000         0
713.71/713.99	c       154       275    260.42     29.96      8.69   1000000         0
714.91/715.15	c       157       291    263.89     32.25      8.18   1000000         0
716.11/716.31	c       161       258    259.16     30.93      8.38   1000000         0
717.20/717.46	c       158       301    260.86     31.67      8.24   1000000         0
718.40/718.62	c       151       282    259.22     30.84      8.41   1000000         0
719.50/719.78	c       166       289    258.21     30.84      8.37   1000000         0
720.71/720.93	c       156       217    260.51     30.39      8.57   1000000         0
721.80/722.09	c       155       290    258.49     30.11      8.58   1000000         0
723.00/723.25	c       149       221    259.53     31.25      8.31   1000000         0
724.20/724.40	c       158       268    259.78     31.20      8.33   1000000         0
725.30/725.56	c       157       325    262.61     32.75      8.02   1000000         0
726.50/726.72	c       130       268    262.54     31.75      8.27   1000000         0
727.60/727.88	c       156       232    260.32     30.58      8.51   1000000         0
728.80/729.04	c       167       313    263.46     30.72      8.58   1000000         0
730.00/730.20	c       154       292    258.65     30.53      8.47   1000000         0
731.10/731.36	c       163       263    261.88     29.79      8.79   1000000         0
732.31/732.51	c       153       230    260.07     30.30      8.58   1000000         0
733.41/733.67	c       157       284    260.54     29.89      8.72   1000000         0
734.61/734.83	c       157       280    264.40     30.23      8.75   1000000         0
735.71/735.98	c       155       332    257.88     31.45      8.20   1000000         0
736.90/737.14	c       156       208    263.66     30.27      8.71   1000000         0
738.10/738.30	c       158       246    263.28     32.08      8.21   1000000         0
739.20/739.46	c       142       356    258.40     29.58      8.73   1000000         0
740.40/740.62	c       146       255    258.20     31.87      8.10   1000000         0
741.50/741.77	c       141       267    255.05     29.15      8.75   1000000         0
742.70/742.93	c       143       299    259.92     31.07      8.36   1000000         0
743.80/744.09	c       155       258    258.73     32.05      8.07   1000000         0
745.00/745.24	c       146       248    262.20     29.95      8.75   1000000         0
746.20/746.40	c       167       248    263.17     31.24      8.42   1000000         0
747.30/747.56	c       151       289    259.45     30.88      8.40   1000000         0
748.50/748.71	c       154       258    257.88     29.44      8.76   1000000         0
749.60/749.87	c       159       224    259.28     30.96      8.37   1000000         0
750.79/751.03	c       152       281    261.42     31.84      8.21   1000000         0
751.89/752.19	c       141       242    259.99     31.97      8.13   1000000         0
753.09/753.35	c       156       278    261.52     31.74      8.24   1000000         0
754.30/754.50	c       143       279    260.28     31.67      8.22   1000000         0
755.40/755.66	c       162       247    255.11     30.01      8.50   1000000         0
756.60/756.82	c       158       291    262.01     30.79      8.51   1000000         0
757.70/757.97	c       161       272    260.97     31.57      8.27   1000000         0
758.89/759.13	c       141       227    260.38     31.21      8.34   1000000         0
759.99/760.29	c       150       314    262.59     30.34      8.66   1000000         0
761.19/761.45	c       145       188    260.18     32.06      8.12   1000000         0
762.39/762.60	c       146       250    260.73     30.22      8.63   1000000         0
763.49/763.76	c       159       279    260.19     31.41      8.28   1000000         0
764.69/764.92	c       143       196    259.42     33.19      7.82   1000000         0
765.79/766.08	c       155       236    256.83     31.34      8.20   1000000         0
766.99/767.24	c       163       264    261.12     30.34      8.61   1000000         0
768.09/768.40	c       159       337    257.73     31.36      8.22   1000000         0
769.29/769.55	c       153       206    259.50     30.26      8.58   1000000         0
770.49/770.71	c       150       282    264.44     31.16      8.49   1000000         0
771.59/771.88	c       157       218    259.41     30.15      8.60   1000000         0
772.79/773.04	c       153       255    258.89     31.09      8.33   1000000         0
773.89/774.19	c       148       332    261.27     31.32      8.34   1000000         0
775.09/775.35	c       163       265    256.63     29.16      8.80   1000000         0
776.29/776.51	c       151       227    257.73     29.77      8.66   1000000         0
777.39/777.66	c       160       275    260.49     30.13      8.65   1000000         0
778.60/778.82	c       151       252    261.78     31.58      8.29   1000000         0
779.70/779.98	c       156       232    259.02     31.91      8.12   1000000         0
780.89/781.13	c       154       237    261.84     30.93      8.47   1000000         0
781.99/782.29	c       171       255    262.20     29.43      8.91   1000000         0
783.19/783.45	c       143       234    254.40     29.69      8.57   1000000         0
784.39/784.61	c       155       263    259.31     30.44      8.52   1000000         0
785.49/785.77	c       139       234    258.91     33.37      7.76   1000000         0
786.69/786.92	c       148       257    261.21     30.18      8.65   1000000         0
787.79/788.08	c       168       311    257.97     29.10      8.87   1000000         0
788.99/789.24	c       154       260    261.72     31.67      8.26   1000000         0
790.18/790.40	c       163       292    259.89     30.08      8.64   1000000         0
791.28/791.56	c       155       276    262.50     32.27      8.13   1000000         0
792.48/792.71	c       152       257    262.96     30.60      8.59   1000000         0
793.58/793.87	c       169       265    262.83     31.26      8.41   1000000         0
794.78/795.03	c       155       244    259.02     31.83      8.14   1000000         0
795.88/796.19	c       162       274    263.70     30.36      8.69   1000000         0
797.08/797.35	c       157       220    260.23     29.57      8.80   1000000         0
798.29/798.51	c       151       215    257.88     31.26      8.25   1000000         0
799.39/799.66	c       147       284    259.88     30.93      8.40   1000000         0
800.59/800.82	c       159       286    259.27     30.27      8.57   1000000         0
801.69/801.98	c       142       246    262.10     30.02      8.73   1000000         0
802.88/803.14	c       154       230    261.57     30.63      8.54   1000000         0
803.98/804.29	c       161       272    257.44     29.76      8.65   1000000         0
805.18/805.45	c       143       324    260.41     30.46      8.55   1000000         0
806.38/806.61	c       169       249    259.48     30.71      8.45   1000000         0
807.48/807.76	c       157       277    257.20     29.29      8.78   1000000         0
808.68/808.92	c       150       238    260.64     28.92      9.01   1000000         0
809.78/810.07	c       150       226    262.24     30.09      8.72   1000000         0
810.98/811.23	c       169       260    261.61     31.65      8.27   1000000         0
812.08/812.38	c       149       273    263.70     30.78      8.57   1000000         0
813.28/813.54	c       160       289    258.51     30.08      8.59   1000000         0
814.48/814.70	c       144       279    258.68     30.23      8.56   1000000         0
815.58/815.85	c       133       243    259.65     32.66      7.95   1000000         0
816.78/817.01	c       140       279    258.47     30.19      8.56   1000000         0
817.88/818.17	c       155       179    258.65     32.37      7.99   1000000         0
819.08/819.32	c       163       229    260.25     30.80      8.45   1000000         0
820.18/820.48	c       160       285    261.40     31.94      8.18   1000000         0
821.38/821.64	c       164       273    259.22     30.81      8.41   1000000         0
822.48/822.79	c       161       240    260.81     29.46      8.85   1000000         0
823.69/823.95	c       155       330    261.30     31.88      8.20   1000000         0
824.88/825.11	c       145       273    259.44     32.06      8.09   1000000         0
825.98/826.26	c       152       313    256.10     29.39      8.71   1000000         0
827.18/827.42	c       152       257    260.31     30.66      8.49   1000000         0
828.28/828.58	c       150       230    261.35     29.51      8.86   1000000         0
829.47/829.74	c       155       185    262.43     30.03      8.74   1000000         0
830.57/830.89	c       160       233    260.26     31.34      8.31   1000000         0
831.78/832.05	c       148       237    260.35     30.72      8.47   1000000         0
832.97/833.21	c       169       274    259.32     29.88      8.68   1000000         0
834.07/834.36	c       165       238    262.48     30.80      8.52   1000000         0
835.27/835.52	c       153       232    259.03     32.02      8.09   1000000         0
836.37/836.67	c       169       304    257.93     33.41      7.72   1000000         0
837.57/837.83	c       151       209    257.59     31.41      8.20   1000000         0
838.67/838.99	c       164       271    265.13     31.40      8.44   1000000         0
839.87/840.15	c       162       261    261.79     33.14      7.90   1000000         0
841.07/841.30	c       150       228    257.14     29.29      8.78   1000000         0
842.17/842.46	c       161       281    260.84     30.46      8.56   1000000         0
843.38/843.62	c       148       283    262.65     31.10      8.44   1000000         0
844.48/844.77	c       150       276    257.29     30.26      8.50   1000000         0
845.68/845.94	c       145       264    258.91     31.25      8.28   1000000         0
846.78/847.09	c       160       239    260.11     30.34      8.57   1000000         0
847.97/848.25	c       161       304    261.81     30.49      8.59   1000000         0
849.17/849.41	c       145       260    258.87     30.86      8.39   1000000         0
850.27/850.56	c       165       246    261.31     29.71      8.79   1000000         0
851.47/851.72	c       160       269    261.41     31.16      8.39   1000000         0
852.57/852.88	c       159       268    258.31     31.36      8.24   1000000         0
853.77/854.03	c       151       308    258.43     31.46      8.22   1000000         0
854.87/855.19	c       160       311    264.10     31.58      8.36   1000000         0
856.07/856.35	c       167       257    264.12     30.73      8.60   1000000         0
857.27/857.50	c       164       360    261.23     31.19      8.38   1000000         0
858.37/858.66	c       151       274    258.35     31.83      8.12   1000000         0
859.57/859.82	c       153       292    256.32     30.20      8.49   1000000         0
860.67/860.97	c       156       237    261.02     32.22      8.10   1000000         0
861.87/862.13	c       151       210    260.10     29.78      8.73   1000000         0
862.97/863.29	c       152       245    260.07     31.45      8.27   1000000         0
864.17/864.44	c       163       278    261.64     30.28      8.64   1000000         0
865.37/865.60	c       163       270    261.06     30.81      8.47   1000000         0
866.47/866.76	c       165       213    261.95     30.06      8.71   1000000         0
867.67/867.91	c       162       277    257.29     29.80      8.63   1000000         0
868.77/869.07	c       136       277    257.15     31.11      8.27   1000000         0
869.96/870.23	c       163       273    260.42     29.33      8.88   1000000         0
871.06/871.38	c       153       283    258.19     29.66      8.70   1000000         0
872.26/872.54	c       155       255    258.75     31.79      8.14   1000000         0
873.46/873.70	c       154       256    263.21     30.89      8.52   1000000         0
874.56/874.86	c       154       225    260.24     31.65      8.22   1000000         0
875.76/876.01	c       160       206    261.67     31.89      8.21   1000000         0
876.86/877.17	c       155       240    262.54     30.68      8.56   1000000         0
878.06/878.33	c       157       260    261.44     32.63      8.01   1000000         0
879.16/879.49	c       156       244    261.74     31.52      8.30   1000000         0
880.36/880.64	c       170       258    262.86     29.69      8.85   1000000         0
881.46/881.79	c       159       295    255.41     31.14      8.20   1000000         0
882.66/882.95	c       151       271    260.98     30.60      8.53   1000000         0
883.86/884.10	c       144       242    260.25     31.29      8.32   1000000         0
884.96/885.26	c       155       243    261.07     31.90      8.18   1000000         0
886.16/886.42	c       153       254    258.71     30.79      8.40   1000000         0
887.26/887.58	c       156       307    259.70     31.79      8.17   1000000         0
888.47/888.74	c       154       209    262.63     31.47      8.34   1000000         0
889.57/889.89	c       145       314    261.87     32.33      8.10   1000000         0
890.77/891.05	c       169       306    262.03     30.40      8.62   1000000         0
891.96/892.21	c       153       238    260.44     30.74      8.47   1000000         0
893.06/893.36	c       143       263    263.03     32.06      8.20   1000000         0
894.26/894.52	c       144       304    264.05     30.89      8.55   1000000         0
895.36/895.68	c       150       322    256.34     30.10      8.52   1000000         0
896.56/896.83	c       154       239    259.96     30.96      8.40   1000000         0
897.66/897.99	c       146       253    260.21     31.86      8.17   1000000         0
898.86/899.15	c       163       255    262.04     31.33      8.36   1000000         0
900.06/900.30	c       175       280    260.26     31.07      8.38   1000000         0
901.16/901.46	c       155       297    257.89     29.17      8.84   1000000         0
902.36/902.62	c       159       215    258.38     30.19      8.56   1000000         0
903.46/903.77	c       144       225    259.28     31.65      8.19   1000000         0
904.66/904.93	c       150       214    264.09     34.54      7.65   1000000         0
905.76/906.09	c       160       280    259.87     31.58      8.23   1000000         0
906.96/907.24	c       154       281    258.83     28.51      9.08   1000000         0
908.15/908.40	c       164       270    265.12     31.42      8.44   1000000         0
909.26/909.56	c       134       289    260.84     30.64      8.51   1000000         0
910.46/910.72	c       156       266    258.36     29.69      8.70   1000000         0
911.56/911.87	c       143       255    261.61     31.56      8.29   1000000         0
912.76/913.03	c       149       290    258.55     28.96      8.93   1000000         0
913.86/914.19	c       153       238    259.24     28.86      8.98   1000000         0
915.05/915.35	c       173       253    261.40     30.83      8.48   1000000         0
916.25/916.50	c       157       246    259.78     31.36      8.28   1000000         0
917.35/917.66	c       149       240    259.04     29.48      8.79   1000000         0
918.55/918.82	c       149       218    263.01     31.83      8.26   1000000         0
919.65/919.97	c       164       294    259.57     31.56      8.22   1000000         0
920.85/921.13	c       149       271    261.52     30.41      8.60   1000000         0
921.95/922.28	c       163       279    260.76     30.17      8.64   1000000         0
923.15/923.44	c       161       239    263.03     29.03      9.06   1000000         0
924.35/924.60	c       144       274    257.49     32.15      8.01   1000000         0
925.45/925.76	c       162       256    260.71     30.46      8.56   1000000         0
926.65/926.91	c       149       240    258.32     29.43      8.78   1000000         0
927.75/928.07	c       151       246    261.93     31.45      8.33   1000000         0
928.95/929.23	c       142       237    259.36     31.97      8.11   1000000         0
930.05/930.38	c       162       263    263.24     31.01      8.49   1000000         0
931.25/931.54	c       151       314    257.85     30.96      8.33   1000000         0
932.35/932.69	c       137       286    259.32     32.13      8.07   1000000         0
933.56/933.85	c       147       224    257.09     31.82      8.08   1000000         0
934.76/935.00	c       149       235    262.93     33.12      7.94   1000000         0
935.85/936.16	c       164       274    260.59     30.95      8.42   1000000         0
937.05/937.32	c       164       288    257.97     30.53      8.45   1000000         0
938.15/938.48	c       157       242    260.42     30.08      8.66   1000000         0
939.35/939.64	c       141       300    258.32     30.62      8.44   1000000         0
940.55/940.80	c       173       306    262.83     30.66      8.57   1000000         0
941.64/941.95	c       150       284    259.08     30.63      8.46   1000000         0
942.85/943.11	c       145       222    261.90     30.11      8.70   1000000         0
943.95/944.27	c       162       239    261.61     31.91      8.20   1000000         0
945.14/945.43	c       159       265    258.88     31.27      8.28   1000000         0
946.24/946.58	c       142       228    261.25     30.70      8.51   1000000         0
947.44/947.74	c       161       293    260.23     29.30      8.88   1000000         0
948.64/948.90	c       162       319    263.51     29.91      8.81   1000000         0
949.74/950.05	c       161       211    259.62     30.68      8.46   1000000         0
950.94/951.21	c       146       280    255.83     31.40      8.15   1000000         0
952.04/952.36	c       163       279    256.99     30.38      8.46   1000000         0
953.24/953.52	c       155       284    260.20     29.72      8.75   1000000         0
954.34/954.68	c       163       257    259.57     30.26      8.58   1000000         0
955.55/955.84	c       150       254    257.15     31.19      8.24   1000000         0
956.65/957.00	c       153       276    258.22     30.71      8.41   1000000         0
957.85/958.15	c       140       266    258.93     29.60      8.75   1000000         0
959.04/959.31	c       166       309    259.98     29.15      8.92   1000000         0
960.14/960.46	c       152       220    258.81     30.94      8.36   1000000         0
961.34/961.62	c       158       308    259.41     32.31      8.03   1000000         0
962.44/962.78	c       146       339    260.63     31.42      8.29   1000000         0
963.64/963.94	c       157       242    261.45     30.35      8.61   1000000         0
964.74/965.09	c       156       191    260.69     31.16      8.37   1000000         0
965.94/966.25	c       155       277    257.32     30.98      8.31   1000000         0
967.14/967.41	c       149       232    258.20     30.74      8.40   1000000         0
968.24/968.56	c       164       246    263.78     30.96      8.52   1000000         0
969.44/969.72	c       152       237    259.48     30.61      8.48   1000000         0
970.54/970.88	c       156       230    260.27     31.15      8.35   1000000         0
971.74/972.04	c       149       283    261.53     32.28      8.10   1000000         0
972.84/973.19	c       147       222    260.70     30.52      8.54   1000000         0
974.04/974.35	c       161       220    262.93     31.18      8.43   1000000         0
975.24/975.51	c       136       242    257.94     31.95      8.07   1000000         0
976.34/976.67	c       160       212    260.23     30.04      8.66   1000000         0
977.54/977.82	c       154       260    258.73     30.34      8.53   1000000         0
978.64/978.98	c       152       245    258.61     30.26      8.55   1000000         0
979.84/980.14	c       156       319    259.63     30.61      8.48   1000000         0
980.94/981.29	c       134       253    259.63     32.04      8.10   1000000         0
982.13/982.45	c       153       240    254.27     30.00      8.48   1000000         0
983.33/983.61	c       153       266    256.20     30.31      8.45   1000000         0
984.43/984.76	c       165       282    261.40     30.17      8.66   1000000         0
985.63/985.92	c       158       261    258.80     28.80      8.98   1000000         0
986.73/987.08	c       162       273    260.29     30.30      8.59   1000000         0
987.93/988.24	c       158       245    260.50     30.14      8.64   1000000         0
989.03/989.39	c       141       302    256.58     29.78      8.62   1000000         0
990.23/990.55	c       164       305    260.07     30.76      8.45   1000000         0
991.43/991.70	c       160       318    263.45     31.38      8.40   1000000         0
992.53/992.86	c       162       229    263.57     31.82      8.28   1000000         0
993.73/994.02	c       158       257    258.15     30.96      8.34   1000000         0
994.83/995.18	c       155       278    260.44     30.56      8.52   1000000         0
996.03/996.34	c       169       277    261.82     32.93      7.95   1000000         0
997.23/997.50	c       144       242    258.39     32.37      7.98   1000000         0
998.33/998.65	c       166       239    262.42     32.07      8.18   1000000         0
999.54/999.81	c       141       249    262.92     30.15      8.72   1000000         0
1000.64/1000.97	c       148       235    260.11     29.44      8.84   1000000         0
1001.84/1002.13	c       160       276    255.69     30.03      8.52   1000000         0
1002.94/1003.28	c       156       273    260.56     30.72      8.48   1000000         0
1004.13/1004.44	c       142       249    258.43     29.19      8.85   1000000         0
1005.33/1005.60	c       175       243    261.78     30.00      8.73   1000000         0
1006.43/1006.75	c       165       247    261.84     29.90      8.76   1000000         0
1007.63/1007.91	c       161       264    258.93     31.80      8.14   1000000         0
1008.73/1009.06	c       152       232    260.58     32.07      8.13   1000000         0
1009.93/1010.22	c       172       262    262.64     32.30      8.13   1000000         0
1011.03/1011.38	c       163       202    259.46     29.99      8.65   1000000         0
1012.23/1012.54	c       166       344    264.68     32.58      8.12   1000000         0
1013.32/1013.69	c       160       257    258.83     30.55      8.47   1000000         0
1014.52/1014.85	c       156       265    258.27     29.95      8.62   1000000         0
1015.72/1016.01	c       160       243    259.59     30.13      8.61   1000000         0
1016.82/1017.17	c       169       230    261.02     31.51      8.28   1000000         0
1018.02/1018.32	c       165       253    261.60     28.73      9.11   1000000         0
1019.12/1019.48	c       136       260    259.62     30.75      8.44   1000000         0
1020.32/1020.64	c       154       300    258.82     30.54      8.47   1000000         0
1021.42/1021.79	c       160       252    261.43     29.88      8.75   1000000         0
1022.63/1022.95	c       157       270    263.15     29.83      8.82   1000000         0
1023.83/1024.11	c       144       267    261.80     30.87      8.48   1000000         0
1024.93/1025.26	c       144       299    257.67     31.10      8.28   1000000         0
1026.12/1026.42	c       152       268    260.63     30.86      8.45   1000000         0
1027.22/1027.57	c       157       305    260.13     31.72      8.20   1000000         0
1028.42/1028.73	c       148       278    256.58     29.21      8.78   1000000         0
1029.52/1029.88	c       164       269    263.13     30.15      8.73   1000000         0
1030.72/1031.04	c       146       253    261.95     31.48      8.32   1000000         0
1031.92/1032.20	c       152       286    258.25     29.89      8.64   1000000         0
1033.02/1033.36	c       169       242    259.12     29.60      8.76   1000000         0
1034.22/1034.52	c       153       240    260.91     30.98      8.42   1000000         0
1035.32/1035.68	c       164       347    264.00     30.88      8.55   1000000         0
1036.52/1036.83	c       153       276    259.50     30.60      8.48   1000000         0
1037.62/1037.99	c       144       268    257.80     30.87      8.35   1000000         0
1038.82/1039.15	c       162       278    261.15     31.06      8.41   1000000         0
1040.02/1040.30	c       150       300    260.18     30.19      8.62   1000000         0
1041.12/1041.46	c       145       242    259.34     30.11      8.61   1000000         0
1042.32/1042.62	c       123       243    254.46     30.55      8.33   1000000         0
1043.42/1043.78	c       160       252    258.52     31.12      8.31   1000000         0
1044.62/1044.94	c       167       260    263.02     30.85      8.52   1000000         0
1045.73/1046.09	c       155       237    260.25     31.35      8.30   1000000         0
1046.92/1047.25	c       152       315    265.61     33.46      7.94   1000000         0
1048.12/1048.41	c       168       281    259.34     29.13      8.90   1000000         0
1049.22/1049.57	c       156       302    260.18     30.96      8.40   1000000         0
1050.42/1050.73	c       154       219    258.24     29.63      8.72   1000000         0
1051.52/1051.88	c       151       265    257.13     31.46      8.17   1000000         0
1052.71/1053.04	c       162       231    261.07     31.34      8.33   1000000         0
1053.92/1054.20	c       155       314    258.96     31.68      8.17   1000000         0
1055.02/1055.35	c       158       318    259.28     31.09      8.34   1000000         0
1056.21/1056.51	c       162       225    259.14     30.55      8.48   1000000         0
1057.31/1057.67	c       154       234    262.24     30.93      8.48   1000000         0
1058.51/1058.82	c       156       258    257.21     30.26      8.50   1000000         0
1059.61/1059.98	c       164       322    261.93     31.67      8.27   1000000         0
1060.81/1061.14	c       154       262    259.92     30.20      8.61   1000000         0
1062.01/1062.30	c       157       279    265.86     31.28      8.50   1000000         0
1063.11/1063.46	c       155       270    261.69     30.95      8.45   1000000         0
1064.31/1064.61	c       160       183    260.83     29.86      8.73   1000000         0
1065.41/1065.77	c       151       221    259.97     31.99      8.13   1000000         0
1066.62/1066.93	c       165       252    262.92     31.08      8.46   1000000         0
1067.72/1068.09	c       161       234    259.77     31.74      8.18   1000000         0
1068.92/1069.24	c       155       244    261.62     31.26      8.37   1000000         0
1070.11/1070.40	c       156       252    256.99     31.06      8.27   1000000         0
1071.21/1071.55	c       159       202    261.19     31.21      8.37   1000000         0
1072.41/1072.71	c       159       253    259.30     31.52      8.23   1000000         0
1073.51/1073.87	c       153       276    255.76     30.77      8.31   1000000         0
1074.71/1075.03	c       156       235    257.09     29.83      8.62   1000000         0
1075.81/1076.19	c       156       270    263.74     30.84      8.55   1000000         0
1077.01/1077.34	c       161       303    255.68     28.52      8.97   1000000         0
1078.22/1078.50	c       153       224    258.99     30.22      8.57   1000000         0
1079.32/1079.66	c       155       247    259.51     31.75      8.17   1000000         0
1080.52/1080.81	c       161       215    260.13     30.78      8.45   1000000         0
1081.61/1081.97	c       160       266    258.10     28.95      8.92   1000000         0
1082.81/1083.13	c       174       280    261.73     29.56      8.86   1000000         0
1083.91/1084.28	c       138       300    255.29     30.72      8.31   1000000         0
1085.11/1085.44	c       166       295    261.25     31.88      8.20   1000000         0
1086.31/1086.60	c       153       254    260.42     29.94      8.70   1000000         0
1087.41/1087.76	c       166       295    257.56     28.82      8.94   1000000         0
1088.62/1088.91	c       158       242    259.58     30.05      8.64   1000000         0
1089.72/1090.07	c       151       257    263.72     30.91      8.53   1000000         0
1090.92/1091.22	c       150       274    262.62     30.62      8.58   1000000         0
1092.02/1092.38	c       154       277    257.62     30.83      8.36   1000000         0
1093.21/1093.54	c       158       307    262.55     31.71      8.28   1000000         0
1094.31/1094.69	c       152       230    262.65     30.92      8.50   1000000         0
1095.51/1095.85	c       161       237    258.51     30.87      8.37   1000000         0
1096.71/1097.01	c       160       225    256.79     30.30      8.47   1000000         0
1097.81/1098.17	c       156       228    259.94     30.71      8.46   1000000         0
1099.01/1099.32	c       156       267    259.26     30.62      8.47   1000000         0
1100.11/1100.48	c       160       301    258.81     32.60      7.94   1000000         0
1101.31/1101.64	c       158       312    256.45     30.69      8.36   1000000         0
1102.41/1102.79	c       157       277    257.33     29.57      8.70   1000000         0
1103.61/1103.95	c       163       271    262.20     30.94      8.47   1000000         0
1104.81/1105.11	c       153       252    257.04     30.64      8.39   1000000         0
1105.91/1106.27	c       159       337    260.80     30.98      8.42   1000000         0
1107.11/1107.42	c       154       193    259.19     30.09      8.61   1000000         0
1108.21/1108.58	c       143       289    258.11     29.84      8.65   1000000         0
1109.41/1109.74	c       157       269    258.05     30.60      8.43   1000000         0
1110.51/1110.89	c       144       244    258.47     30.28      8.54   1000000         0
1111.72/1112.05	c       156       257    260.22     30.01      8.67   1000000         0
1112.91/1113.21	c       149       257    256.71     29.26      8.77   1000000         0
1114.01/1114.37	c       168       231    257.98     28.13      9.17   1000000         0
1115.21/1115.53	c       144       246    259.41     30.38      8.54   1000000         0
1116.31/1116.68	c       155       273    255.52     28.48      8.97   1000000         0
1117.51/1117.84	c       168       272    257.47     30.17      8.53   1000000         0
1118.70/1119.00	c       154       277    257.96     30.46      8.47   1000000         0
1119.80/1120.15	c       155       213    256.45     31.36      8.18   1000000         0
1121.00/1121.31	c       165       287    261.26     30.94      8.44   1000000         0
1122.10/1122.47	c       161       256    260.81     29.53      8.83   1000000         0
1123.30/1123.63	c       151       267    261.86     30.63      8.55   1000000         0
1124.40/1124.79	c       155       276    259.51     30.58      8.49   1000000         0
1125.60/1125.95	c       128       280    262.33     29.92      8.77   1000000         0
1126.80/1127.10	c       163       212    262.19     32.54      8.06   1000000         0
1127.90/1128.26	c       161       306    257.16     29.79      8.63   1000000         0
1129.10/1129.41	c       142       273    258.12     32.15      8.03   1000000         0
1130.20/1130.57	c       147       316    258.13     31.54      8.18   1000000         0
1131.40/1131.73	c       152       248    260.05     31.06      8.37   1000000         0
1132.50/1132.89	c       143       316    259.23     31.54      8.22   1000000         0
1133.71/1134.04	c       153       263    257.41     32.04      8.03   1000000         0
1134.81/1135.20	c       147       257    258.39     32.93      7.85   1000000         0
1136.01/1136.36	c       147       209    255.17     30.83      8.28   1000000         0
1137.20/1137.51	c       149       238    259.27     30.81      8.41   1000000         0
1138.30/1138.67	c       150       257    260.87     30.57      8.53   1000000         0
1139.50/1139.83	c       164       233    258.73     29.04      8.91   1000000         0
1140.60/1140.98	c       155       272    257.84     30.41      8.48   1000000         0
1141.80/1142.14	c       152       309    258.37     30.22      8.55   1000000         0
1143.00/1143.30	c       163       251    261.14     31.23      8.36   1000000         0
1144.10/1144.46	c       153       289    261.08     32.21      8.11   1000000         0
1145.30/1145.61	c       157       247    261.32     31.47      8.30   1000000         0
1146.40/1146.77	c       155       235    259.88     30.42      8.54   1000000         0
1147.60/1147.93	c       159       223    263.82     31.55      8.36   1000000         0
1148.70/1149.08	c       156       238    264.29     32.75      8.07   1000000         0
1149.89/1150.24	c       154       276    258.34     30.29      8.53   1000000         0
1151.09/1151.40	c       157       283    263.13     30.85      8.53   1000000         0
1152.19/1152.56	c       158       213    259.59     30.57      8.49   1000000         0
1153.39/1153.71	c       155       218    260.16     31.90      8.16   1000000         0
1154.49/1154.87	c       143       246    255.70     32.64      7.83   1000000         0
1155.70/1156.03	c       167       265    260.84     29.57      8.82   1000000         0
1156.80/1157.18	c       150       183    257.86     30.41      8.48   1000000         0
1158.00/1158.34	c       153       278    257.09     31.38      8.19   1000000         0
1159.10/1159.49	c       158       261    259.93     29.39      8.84   1000000         0
1160.29/1160.65	c       150       261    260.15     33.25      7.82   1000000         0
1161.49/1161.81	c       144       265    260.24     31.53      8.25   1000000         0
1162.59/1162.97	c       147       244    260.02     31.44      8.27   1000000         0
1163.79/1164.13	c       156       263    260.72     30.74      8.48   1000000         0
1164.89/1165.28	c       158       248    260.13     29.84      8.72   1000000         0
1166.09/1166.44	c       150       236    258.47     32.97      7.84   1000000         0
1167.29/1167.60	c       157       240    262.72     31.10      8.45   1000000         0
1168.39/1168.75	c       152       307    258.72     30.46      8.49   1000000         0
1169.59/1169.91	c       153       247    259.08     30.79      8.41   1000000         0
1170.69/1171.07	c       160       296    259.01     29.99      8.64   1000000         0
1171.89/1172.23	c       162       350    257.73     29.47      8.75   1000000         0
1172.99/1173.38	c       162       235    263.55     30.94      8.52   1000000         0
1174.19/1174.54	c       128       195    259.66     30.16      8.61   1000000         0
1175.39/1175.70	c       160       298    256.83     29.25      8.78   1000000         0
1176.49/1176.85	c       167       288    258.34     31.22      8.27   1000000         0
1177.69/1178.01	c       149       225    260.74     29.70      8.78   1000000         0
1178.79/1179.16	c       146       249    259.05     30.79      8.41   1000000         0
1180.00/1180.32	c       156       228    257.52     28.78      8.95   1000000         0
1181.10/1181.48	c       155       293    263.58     30.63      8.60   1000000         0
1182.29/1182.63	c       158       226    261.19     29.14      8.96   1000000         0
1183.39/1183.79	c       156       277    259.20     32.63      7.94   1000000         0
1184.59/1184.95	c       142       327    261.08     31.78      8.22   1000000         0
1185.79/1186.11	c       148       304    262.87     31.43      8.36   1000000         0
1186.89/1187.27	c       169       256    260.66     29.91      8.72   1000000         0
1188.09/1188.43	c       159       263    263.18     32.00      8.23   1000000         0
1189.19/1189.58	c       162       272    260.86     29.71      8.78   1000000         0
1190.39/1190.74	c       152       302    257.97     30.90      8.35   1000000         0
1191.49/1191.90	c       164       218    262.41     33.02      7.95   1000000         0
1192.68/1193.06	c       160       246    261.92     31.69      8.27   1000000         0
1193.88/1194.21	c       155       222    258.80     29.41      8.80   1000000         0
1194.98/1195.37	c       153       298    257.66     30.33      8.49   1000000         0
1196.18/1196.53	c       156       260    260.19     31.08      8.37   1000000         0
1197.28/1197.69	c       158       302    262.75     31.25      8.41   1000000         0
1198.48/1198.84	c       160       197    258.65     30.13      8.59   1000000         0
1199.69/1200.01	c       160       308    259.97     29.07      8.94   1000000         0
1200.79/1201.16	c       166       234    259.44     30.08      8.63   1000000         0
1201.99/1202.32	c       162       301    262.37     30.98      8.47   1000000         0
1203.09/1203.47	c       160       252    258.19     30.50      8.46   1000000         0
1204.28/1204.63	c       155       259    255.58     29.51      8.66   1000000         0
1205.38/1205.78	c       162       266    256.34     31.63      8.10   1000000         0
1206.58/1206.94	c       160       227    259.33     31.32      8.28   1000000         0
1207.78/1208.10	c       165       318    258.28     30.27      8.53   1000000         0
1208.88/1209.25	c       150       268    259.13     30.30      8.55   1000000         0
1210.08/1210.41	c       158       290    257.26     30.37      8.47   1000000         0
1211.18/1211.57	c       153       254    258.73     30.12      8.59   1000000         0
1212.38/1212.73	c       165       260    259.87     31.91      8.14   1000000         0
1213.48/1213.88	c       143       258    262.28     34.39      7.63   1000000         0
1214.68/1215.04	c       156       238    255.41     29.49      8.66   1000000         0
1215.88/1216.20	c       135       267    258.19     30.49      8.47   1000000         0
1216.98/1217.36	c       163       208    258.66     29.41      8.79   1000000         0
1218.18/1218.52	c       142       278    257.63     30.66      8.40   1000000         0
1219.28/1219.67	c       161       240    262.56     29.72      8.83   1000000         0
1220.48/1220.83	c       159       241    260.28     29.13      8.93   1000000         0
1221.58/1221.99	c       160       273    259.50     31.15      8.33   1000000         0
1222.78/1223.14	c       161       222    259.02     30.48      8.50   1000000         0
1223.88/1224.30	c       158       312    257.44     29.17      8.82   1000000         0
1225.08/1225.46	c       161       329    257.62     28.60      9.01   1000000         0
1226.28/1226.62	c       168       236    261.50     29.70      8.80   1000000         0
1227.37/1227.77	c       158       303    259.28     29.02      8.93   1000000         0
1228.57/1228.93	c       153       284    262.97     32.07      8.20   1000000         0
1229.67/1230.08	c       153       258    260.11     32.94      7.90   1000000         0
1230.87/1231.24	c       158       209    259.59     31.80      8.16   1000000         0
1231.97/1232.40	c       155       262    262.20     31.67      8.28   1000000         0
1233.17/1233.55	c       152       260    260.40     31.77      8.20   1000000         0
1234.37/1234.71	c       155       254    261.05     31.86      8.19   1000000         0
1235.47/1235.87	c       140       251    262.67     31.12      8.44   1000000         0
1236.67/1237.03	c       148       286    256.59     29.94      8.57   1000000         0
1237.77/1238.18	c       158       291    259.90     32.46      8.01   1000000         0
1238.97/1239.34	c       154       272    259.36     30.77      8.43   1000000         0
1240.07/1240.49	c       165       247    263.24     30.81      8.54   1000000         0
1241.27/1241.65	c       161       261    264.35     31.00      8.53   1000000         0
1242.47/1242.81	c       168       274    259.68     29.52      8.80   1000000         0
1243.57/1243.97	c       162       265    261.00     29.79      8.76   1000000         0
1244.78/1245.12	c       155       227    260.59     30.45      8.56   1000000         0
1245.88/1246.28	c       165       233    260.58     32.08      8.12   1000000         0
1247.08/1247.44	c       149       264    263.16     31.54      8.34   1000000         0
1248.18/1248.59	c       157       257    260.88     30.86      8.45   1000000         0
1249.37/1249.75	c       156       231    258.33     30.36      8.51   1000000         0
1250.57/1250.91	c       147       228    258.78     31.79      8.14   1000000         0
1251.67/1252.07	c       152       265    262.20     30.40      8.62   1000000         0
1252.87/1253.23	c       145       292    262.52     31.01      8.47   1000000         0
1253.97/1254.39	c       159       253    257.48     30.14      8.54   1000000         0
1255.17/1255.54	c       146       335    260.53     31.96      8.15   1000000         0
1256.37/1256.70	c       152       276    259.31     32.22      8.05   1000000         0
1257.47/1257.86	c       149       211    257.83     30.69      8.40   1000000         0
1258.67/1259.01	c       158       244    261.92     32.18      8.14   1000000         0
1259.77/1260.17	c       167       286    262.60     29.38      8.94   1000000         0
1260.97/1261.33	c       146       245    261.58     32.58      8.03   1000000         0
1262.07/1262.49	c       166       212    262.07     30.41      8.62   1000000         0
1263.26/1263.64	c       153       217    259.74     30.94      8.39   1000000         0
1264.46/1264.80	c       149       235    258.51     31.35      8.25   1000000         0
1265.56/1265.96	c       150       266    256.67     30.11      8.52   1000000         0
1266.77/1267.12	c       148       314    256.39     30.25      8.47   1000000         0
1267.87/1268.27	c       164       220    259.44     31.01      8.37   1000000         0
1269.07/1269.43	c       155       290    256.29     30.66      8.36   1000000         0
1270.17/1270.59	c       145       237    258.45     29.60      8.73   1000000         0
1271.36/1271.74	c       160       352    259.15     31.07      8.34   1000000         0
1272.56/1272.90	c       156       206    259.30     32.69      7.93   1000000         0
1273.66/1274.06	c       150       281    260.69     32.41      8.04   1000000         0
1274.86/1275.21	c       156       295    259.93     31.16      8.34   1000000         0
1275.96/1276.37	c       160       293    262.50     31.12      8.44   1000000         0
1277.16/1277.53	c       160       290    261.82     29.43      8.90   1000000         0
1278.26/1278.68	c       149       266    255.93     29.26      8.75   1000000         0
1279.46/1279.84	c       135       299    259.78     30.13      8.62   1000000         0
1280.56/1280.99	c       164       230    261.66     29.76      8.79   1000000         0
1281.76/1282.15	c       166       255    260.52     30.49      8.55   1000000         0
1282.96/1283.31	c       159       224    261.48     28.94      9.04   1000000         0
1284.06/1284.46	c       155       298    260.92     30.28      8.62   1000000         0
1285.26/1285.62	c       166       261    262.48     30.94      8.48   1000000         0
1286.36/1286.78	c       143       253    259.27     30.53      8.49   1000000         0
1287.56/1287.94	c       158       216    257.48     32.58      7.90   1000000         0
1288.66/1289.09	c       148       237    255.49     30.15      8.48   1000000         0
1289.86/1290.26	c       160       252    264.14     31.07      8.50   1000000         0
1291.07/1291.41	c       164       292    258.42     29.86      8.65   1000000         0
1292.17/1292.57	c       149       302    259.22     32.25      8.04   1000000         0
1293.36/1293.73	c       158       294    263.10     31.62      8.32   1000000         0
1294.46/1294.89	c       143       305    255.75     30.34      8.43   1000000         0
1295.66/1296.05	c       166       275    261.14     29.28      8.92   1000000         0
1296.86/1297.20	c       156       225    259.34     31.02      8.36   1000000         0
1297.96/1298.36	c       164       311    263.01     31.23      8.42   1000000         0
1299.16/1299.52	c       153       263    260.40     30.22      8.62   1000000         0
1300.26/1300.68	c       167       240    263.84     30.18      8.74   1000000         0
1301.45/1301.84	c       145       284    261.90     31.47      8.32   1000000         0
1302.55/1303.00	c       163       259    261.23     28.37      9.21   1000000         0
1303.75/1304.15	c       152       267    262.44     32.92      7.97   1000000         0
1304.95/1305.31	c       156       280    258.23     30.52      8.46   1000000         0
1306.05/1306.46	c       151       256    257.82     30.33      8.50   1000000         0
1307.25/1307.62	c       152       232    261.20     30.81      8.48   1000000         0
1308.35/1308.78	c       166       294    258.86     30.83      8.40   1000000         0
1309.55/1309.93	c       147       278    260.85     29.55      8.83   1000000         0
1310.65/1311.09	c       161       271    259.71     31.31      8.29   1000000         0
1311.86/1312.25	c       155       286    257.79     30.39      8.48   1000000         0
1312.96/1313.40	c       152       269    261.41     31.31      8.35   1000000         0
1314.16/1314.56	c       160       264    262.40     31.04      8.45   1000000         0
1315.35/1315.72	c       165       220    258.95     29.78      8.70   1000000         0
1316.45/1316.87	c       159       270    259.99     29.56      8.79   1000000         0
1317.65/1318.03	c       153       267    258.21     30.01      8.60   1000000         0
1318.75/1319.19	c       162       285    259.39     31.84      8.15   1000000         0
1319.95/1320.35	c       152       299    262.89     31.10      8.45   1000000         0
1321.15/1321.50	c       167       257    261.25     29.98      8.72   1000000         0
1322.25/1322.66	c       154       264    259.62     29.08      8.93   1000000         0
1323.45/1323.82	c       163       216    258.80     30.40      8.51   1000000         0
1324.55/1324.97	c       149       255    259.51     31.48      8.24   1000000         0
1325.75/1326.13	c       149       196    262.01     31.61      8.29   1000000         0
1326.85/1327.29	c       165       271    259.84     29.40      8.84   1000000         0
1328.05/1328.44	c       145       238    256.61     30.62      8.38   1000000         0
1329.24/1329.60	c       139       255    258.89     31.35      8.26   1000000         0
1330.34/1330.76	c       161       220    257.94     29.81      8.65   1000000         0
1331.54/1331.91	c       156       274    261.45     31.52      8.29   1000000         0
1332.64/1333.07	c       149       266    260.58     29.42      8.86   1000000         0
1333.85/1334.22	c       152       292    260.00     29.54      8.80   1000000         0
1334.95/1335.38	c       150       307    260.20     30.50      8.53   1000000         0
1336.15/1336.54	c       154       279    265.83     33.11      8.03   1000000         0
1337.25/1337.69	c       151       260    259.71     29.63      8.76   1000000         0
1338.44/1338.85	c       144       250    261.66     32.85      7.97   1000000         0
1339.64/1340.01	c       153       278    258.38     31.02      8.33   1000000         0
1340.74/1341.16	c       149       254    259.99     30.80      8.44   1000000         0
1341.94/1342.32	c       138       235    257.06     30.46      8.44   1000000         0
1343.04/1343.48	c       166       285    263.07     30.29      8.68   1000000         0
1344.24/1344.63	c       159       293    262.12     30.19      8.68   1000000         0
1345.34/1345.79	c       159       286    260.02     28.64      9.08   1000000         0
1346.54/1346.95	c       139       199    259.20     31.50      8.23   1000000         0
1347.74/1348.10	c       147       254    261.37     31.09      8.41   1000000         0
1348.84/1349.26	c       167       240    261.18     31.21      8.37   1000000         0
1350.04/1350.42	c       158       235    257.39     30.95      8.32   1000000         0
1351.14/1351.57	c       141       279    261.66     30.94      8.46   1000000         0
1352.34/1352.72	c       145       260    259.51     32.82      7.91   1000000         0
1353.44/1353.88	c       144       211    259.19     31.11      8.33   1000000         0
1354.64/1355.04	c       157       215    260.39     30.13      8.64   1000000         0
1355.74/1356.19	c       139       227    257.38     31.96      8.05   1000000         0
1356.94/1357.35	c       155       278    260.14     30.87      8.43   1000000         0
1358.14/1358.51	c       142       218    257.54     29.80      8.64   1000000         0
1359.24/1359.66	c       153       176    261.43     30.86      8.47   1000000         0
1360.44/1360.82	c       157       272    259.60     30.03      8.64   1000000         0
1361.54/1361.98	c       144       292    256.52     30.83      8.32   1000000         0
1362.74/1363.13	c       147       242    256.60     29.93      8.57   1000000         0
1363.83/1364.29	c       159       217    259.71     29.58      8.78   1000000         0
1365.03/1365.45	c       161       311    263.21     31.19      8.44   1000000         0
1366.23/1366.61	c       158       241    257.63     30.29      8.50   1000000         0
1367.33/1367.76	c       146       241    262.31     30.96      8.47   1000000         0
1368.53/1368.92	c       146       271    260.25     28.89      9.01   1000000         0
1369.63/1370.07	c       147       276    258.00     31.33      8.23   1000000         0
1370.84/1371.23	c       150       219    261.09     30.40      8.59   1000000         0
1371.93/1372.39	c       160       235    259.54     30.92      8.40   1000000         0
1373.13/1373.55	c       156       213    264.55     30.33      8.72   1000000         0
1374.33/1374.71	c       160       260    262.28     31.03      8.45   1000000         0
1375.43/1375.86	c       165       263    261.00     30.06      8.68   1000000         0
1376.63/1377.02	c       156       318    259.24     30.81      8.41   1000000         0
1377.74/1378.18	c       154       246    257.38     29.88      8.61   1000000         0
1378.95/1379.33	c       155       279    263.55     32.00      8.24   1000000         0
1380.05/1380.49	c       164       301    259.79     31.35      8.29   1000000         0
1381.25/1381.65	c       164       255    260.35     32.37      8.04   1000000         0
1382.44/1382.80	c       142       252    257.63     31.25      8.24   1000000         0
1383.54/1383.96	c       166       282    261.52     30.86      8.47   1000000         0
1384.74/1385.12	c       156       215    258.92     31.46      8.23   1000000         0
1385.84/1386.28	c       158       262    257.99     29.54      8.73   1000000         0
1387.04/1387.43	c       158       274    260.08     29.35      8.86   1000000         0
1388.14/1388.59	c       158       295    255.53     29.00      8.81   1000000         0
1389.34/1389.75	c       155       281    264.22     33.21      7.96   1000000         0
1390.54/1390.90	c       155       248    258.79     30.05      8.61   1000000         0
1391.64/1392.06	c       140       251    261.19     30.55      8.55   1000000         0
1392.84/1393.22	c       155       279    259.60     31.30      8.29   1000000         0
1393.94/1394.37	c       140       259    259.94     31.87      8.16   1000000         0
1395.14/1395.53	c       146       205    256.03     29.98      8.54   1000000         0
1396.24/1396.69	c       156       199    260.44     30.62      8.50   1000000         0
1397.44/1397.84	c       148       272    258.66     29.17      8.87   1000000         0
1398.64/1399.00	c       153       274    260.22     32.68      7.96   1000000         0
1399.74/1400.15	c       151       188    255.21     31.67      8.06   1000000         0
1400.94/1401.31	c       154       237    259.24     31.88      8.13   1000000         0
1402.04/1402.47	c       157       271    260.74     31.12      8.38   1000000         0
1403.24/1403.63	c       147       245    258.70     31.18      8.30   1000000         0
1404.34/1404.78	c       158       283    259.24     28.91      8.97   1000000         0
1405.54/1405.94	c       140       276    258.00     29.00      8.90   1000000         0
1406.63/1407.09	c       172       214    260.11     29.14      8.93   1000000         0
1407.83/1408.25	c       147       199    260.06     31.31      8.31   1000000         0
1409.03/1409.41	c       157       280    259.37     32.29      8.03   1000000         0
1410.13/1410.56	c       151       275    261.44     31.57      8.28   1000000         0
1411.33/1411.72	c       161       254    258.13     29.85      8.65   1000000         0
1412.43/1412.88	c       160       215    263.81     31.52      8.37   1000000         0
1413.63/1414.04	c       157       246    260.30     32.76      7.94   1000000         0
1414.73/1415.19	c       145       236    259.77     31.07      8.36   1000000         0
1415.93/1416.35	c       153       276    260.86     30.26      8.62   1000000         0
1417.13/1417.50	c       144       283    261.51     32.21      8.12   1000000         0
1418.23/1418.66	c       160       223    259.02     30.24      8.57   1000000         0
1419.43/1419.82	c       152       217    257.93     30.41      8.48   1000000         0
1420.53/1420.98	c       155       275    261.77     29.44      8.89   1000000         0
1421.73/1422.13	c       154       210    262.98     31.21      8.43   1000000         0
1422.83/1423.29	c       158       322    261.35     32.29      8.09   1000000         0
1424.04/1424.45	c       157       218    259.76     29.42      8.83   1000000         0
1425.24/1425.61	c       146       224    259.50     33.45      7.76   1000000         0
1426.34/1426.76	c       138       237    258.83     31.72      8.16   1000000         0
1427.53/1427.92	c       164       284    259.12     29.42      8.81   1000000         0
1428.63/1429.08	c       154       302    257.00     30.93      8.31   1000000         0
1429.83/1430.23	c       159       257    260.28     29.96      8.69   1000000         0
1430.93/1431.39	c       151       247    261.03     29.49      8.85   1000000         0
1432.13/1432.55	c       161       197    262.99     29.89      8.80   1000000         0
1433.33/1433.71	c       158       266    258.40     31.30      8.25   1000000         0
1434.43/1434.86	c       155       270    261.49     30.79      8.49   1000000         0
1435.63/1436.02	c       149       298    261.34     31.44      8.31   1000000         0
1436.73/1437.18	c       167       224    261.57     29.70      8.81   1000000         0
1437.92/1438.34	c       150       282    259.89     31.72      8.19   1000000         0
1439.03/1439.49	c       150       273    262.47     33.24      7.90   1000000         0
1440.22/1440.65	c       155       224    261.77     30.06      8.71   1000000         0
1441.42/1441.81	c       147       291    256.36     31.35      8.18   1000000         0
1442.52/1442.96	c       167       285    261.78     28.96      9.04   1000000         0
1443.72/1444.12	c       157       270    260.48     31.00      8.40   1000000         0
1444.82/1445.28	c       155       282    257.90     31.05      8.31   1000000         0
1446.03/1446.44	c       158       259    264.05     31.45      8.40   1000000         0
1447.13/1447.59	c       158       255    258.27     31.04      8.32   1000000         0
1448.33/1448.75	c       141       255    254.52     30.90      8.24   1000000         0
1449.52/1449.91	c       167       259    261.99     30.45      8.61   1000000         0
1450.62/1451.06	c       151       249    256.01     29.16      8.78   1000000         0
1451.82/1452.22	c       141       236    261.11     30.03      8.69   1000000         0
1452.92/1453.38	c       161       252    260.45     31.68      8.22   1000000         0
1454.12/1454.54	c       160       267    263.71     31.97      8.25   1000000         0
1455.22/1455.69	c       154       256    259.81     29.60      8.78   1000000         0
1456.42/1456.85	c       159       280    262.53     31.78      8.26   1000000         0
1457.62/1458.01	c       151       207    261.01     29.38      8.88   1000000         0
1458.72/1459.17	c       146       266    257.88     32.10      8.03   1000000         0
1459.92/1460.32	c       156       207    256.32     29.75      8.62   1000000         0
1461.02/1461.48	c       144       272    256.15     30.05      8.52   1000000         0
1462.22/1462.64	c       162       266    257.90     30.61      8.43   1000000         0
1463.42/1463.80	c       150       264    261.22     31.73      8.23   1000000         0
1464.52/1464.96	c       153       232    260.76     30.84      8.46   1000000         0
1465.72/1466.11	c       156       305    261.49     29.85      8.76   1000000         0
1466.82/1467.27	c       151       283    260.66     30.13      8.65   1000000         0
1468.02/1468.43	c       161       280    258.39     29.23      8.84   1000000         0
1469.12/1469.58	c       152       258    258.87     30.10      8.60   1000000         0
1470.32/1470.74	c       155       198    264.16     33.30      7.93   1000000         0
1471.52/1471.90	c       149       182    259.81     32.70      7.94   1000000         0
1472.62/1473.05	c       152       314    261.57     31.65      8.27   1000000         0
1473.82/1474.21	c       163       243    261.20     29.62      8.82   1000000         0
1474.91/1475.36	c       164       313    260.47     32.07      8.12   1000000         0
1476.11/1476.52	c       150       269    258.72     31.02      8.34   1000000         0
1477.21/1477.68	c       144       237    260.30     30.47      8.54   1000000         0
1478.41/1478.83	c       157       243    256.81     31.28      8.21   1000000         0
1479.51/1479.99	c       167       248    261.08     30.84      8.46   1000000         0
1480.71/1481.15	c       163       239    261.31     30.66      8.52   1000000         0
1481.91/1482.30	c       156       252    259.26     30.48      8.51   1000000         0
1483.01/1483.46	c       154       237    258.30     30.49      8.47   1000000         0
1484.21/1484.62	c       162       242    259.51     29.70      8.74   1000000         0
1485.31/1485.77	c       168       254    264.04     30.81      8.57   1000000         0
1486.51/1486.93	c       138       307    260.85     29.23      8.93   1000000         0
1487.61/1488.09	c       156       230    262.71     31.88      8.24   1000000         0
1488.81/1489.24	c       159       211    261.54     31.61      8.27   1000000         0
1490.02/1490.40	c       150       288    260.55     30.97      8.41   1000000         0
1491.12/1491.55	c       156       274    259.41     30.71      8.45   1000000         0
1492.32/1492.71	c       163       255    257.56     30.13      8.55   1000000         0
1493.42/1493.87	c       156       232    263.70     31.65      8.33   1000000         0
1494.61/1495.02	c       161       333    262.44     31.03      8.46   1000000         0
1495.71/1496.18	c       166       252    259.61     29.86      8.70   1000000         0
1496.91/1497.34	c       167       284    265.18     31.20      8.50   1000000         0
1498.11/1498.50	c       148       265    257.71     31.02      8.31   1000000         0
1499.21/1499.66	c       157       326    259.52     30.80      8.43   1000000         0
1500.41/1500.82	c       161       231    264.79     30.68      8.63   1000000         0
1501.51/1501.97	c       157       225    257.55     30.95      8.32   1000000         0
1502.71/1503.13	c       145       301    257.54     31.22      8.25   1000000         0
1503.81/1504.29	c       150       265    258.67     31.28      8.27   1000000         0
1505.01/1505.44	c       159       216    263.68     31.19      8.45   1000000         0
1506.21/1506.60	c       152       255    262.03     32.15      8.15   1000000         0
1507.31/1507.75	c       166       263    262.14     29.07      9.02   1000000         0
1508.51/1508.91	c       162       282    259.04     30.06      8.62   1000000         0
1509.61/1510.07	c       142       249    255.00     30.32      8.41   1000000         0
1510.81/1511.23	c       163       247    264.63     30.06      8.80   1000000         0
1511.91/1512.38	c       156       237    258.14     30.35      8.51   1000000         0
1513.11/1513.54	c       158       272    259.98     33.46      7.77   1000000         0
1514.21/1514.70	c       143       255    258.74     30.78      8.41   1000000         0
1515.41/1515.85	c       144       248    259.64     31.01      8.37   1000000         0
1516.61/1517.01	c       155       247    259.51     28.78      9.02   1000000         0
1517.70/1518.17	c       139       257    258.43     29.14      8.87   1000000         0
1518.90/1519.32	c       150       251    260.95     30.29      8.61   1000000         0
1520.00/1520.48	c       164       276    259.07     31.44      8.24   1000000         0
1521.20/1521.64	c       156       269    256.94     31.21      8.23   1000000         0
1522.30/1522.80	c       158       226    257.03     29.78      8.63   1000000         0
1523.50/1523.95	c       157       241    259.99     29.88      8.70   1000000         0
1524.70/1525.11	c       158       301    260.34     33.27      7.82   1000000         0
1525.80/1526.27	c       165       234    262.03     31.41      8.34   1000000         0
1527.00/1527.43	c       140       240    259.67     30.71      8.46   1000000         0
1528.10/1528.58	c       148       274    260.85     31.83      8.19   1000000         0
1529.30/1529.74	c       157       266    258.93     30.20      8.57   1000000         0
1530.50/1530.90	c       166       248    262.38     30.55      8.59   1000000         0
1531.60/1532.05	c       152       279    257.94     31.60      8.16   1000000         0
1532.80/1533.21	c       159       207    256.23     28.34      9.04   1000000         0
1533.90/1534.37	c       168       212    263.00     30.37      8.66   1000000         0
1535.10/1535.53	c       149       278    259.12     30.78      8.42   1000000         0
1536.20/1536.69	c       161       296    259.08     30.25      8.56   1000000         0
1537.41/1537.85	c       157       284    262.00     32.12      8.16   1000000         0
1538.60/1539.01	c       162       275    259.90     30.02      8.66   1000000         0
1539.70/1540.17	c       142       242    258.48     30.01      8.61   1000000         0
1540.90/1541.32	c       156       249    262.32     30.51      8.60   1000000         0
1542.00/1542.48	c       140       192    259.56     30.86      8.41   1000000         0
1543.20/1543.64	c       164       280    260.93     30.92      8.44   1000000         0
1544.40/1544.80	c       152       273    263.01     31.96      8.23   1000000         0
1545.50/1545.96	c       152       263    264.57     30.62      8.64   1000000         0
1546.69/1547.12	c       166       232    261.45     31.55      8.29   1000000         0
1547.79/1548.28	c       150       262    258.83     30.03      8.62   1000000         0
1548.99/1549.44	c       165       273    257.55     29.53      8.72   1000000         0
1550.10/1550.59	c       158       226    256.91     30.81      8.34   1000000         0
1551.30/1551.75	c       154       419    257.48     30.13      8.55   1000000         0
1552.49/1552.90	c       161       180    262.58     31.08      8.45   1000000         0
1553.59/1554.06	c       157       263    258.28     29.74      8.68   1000000         0
1554.79/1555.22	c       155       249    261.06     29.07      8.98   1000000         0
1555.89/1556.38	c       149       277    257.72     30.37      8.49   1000000         0
1557.10/1557.53	c       156       241    260.29     30.98      8.40   1000000         0
1558.20/1558.69	c       165       254    258.09     30.43      8.48   1000000         0
1559.40/1559.85	c       169       293    262.12     31.47      8.33   1000000         0
1560.59/1561.00	c       154       249    259.35     29.71      8.73   1000000         0
1561.69/1562.16	c       144       292    262.16     31.66      8.28   1000000         0
1562.89/1563.32	c       152       318    262.74     31.59      8.32   1000000         0
1563.99/1564.48	c       148       200    262.13     31.93      8.21   1000000         0
1565.19/1565.63	c       152       215    260.15     31.42      8.28   1000000         0
1566.29/1566.79	c       144       272    258.11     31.86      8.10   1000000         0
1567.49/1567.95	c       157       338    256.88     32.98      7.79   1000000         0
1568.69/1569.11	c       157       259    256.95     30.73      8.36   1000000         0
1569.79/1570.26	c       137       234    259.82     30.01      8.66   1000000         0
1570.99/1571.42	c       153       253    255.83     30.72      8.33   1000000         0
1572.09/1572.58	c       164       304    257.72     30.05      8.58   1000000         0
1573.29/1573.73	c       168       260    262.47     32.03      8.20   1000000         0
1574.39/1574.89	c       161       227    259.63     29.05      8.94   1000000         0
1575.59/1576.05	c       158       273    255.45     31.21      8.18   1000000         0
1576.79/1577.20	c       155       239    261.94     31.39      8.34   1000000         0
1577.89/1578.36	c       159       302    258.80     30.50      8.48   1000000         0
1579.09/1579.51	c       156       175    261.78     31.43      8.33   1000000         0
1580.19/1580.67	c       152       237    258.35     30.59      8.45   1000000         0
1581.39/1581.83	c       160       233    261.42     32.50      8.04   1000000         0
1582.49/1582.99	c       140       269    262.44     33.75      7.78   1000000         0
1583.69/1584.14	c       167       297    259.48     29.23      8.88   1000000         0
1584.89/1585.30	c       158       257    258.46     30.58      8.45   1000000         0
1585.98/1586.46	c       150       293    261.06     32.64      8.00   1000000         0
1587.18/1587.62	c       153       291    259.76     28.60      9.08   1000000         0
1588.28/1588.77	c       151       267    260.02     31.01      8.39   1000000         0
1589.48/1589.93	c       151       241    262.11     31.55      8.31   1000000         0
1590.58/1591.09	c       160       250    258.47     30.66      8.43   1000000         0
1591.78/1592.24	c       153       284    261.95     30.73      8.52   1000000         0
1592.98/1593.40	c       149       366    257.70     29.79      8.65   1000000         0
1594.08/1594.56	c       155       270    261.59     31.53      8.30   1000000         0
1595.28/1595.71	c       140       245    260.13     31.27      8.32   1000000         0
1596.38/1596.87	c       140       257    264.01     31.34      8.42   1000000         0
1597.58/1598.03	c       158       282    264.98     31.72      8.35   1000000         0
1598.68/1599.19	c       154       250    262.37     30.58      8.58   1000000         0
1599.88/1600.34	c       161       262    259.67     29.04      8.94   1000000         0
1601.09/1601.50	c       153       273    258.05     29.25      8.82   1000000         0
1602.19/1602.65	c       148       285    260.50     30.08      8.66   1000000         0
1603.39/1603.81	c       157       249    263.78     31.13      8.47   1000000         0
1604.49/1604.96	c       161       332    259.32     29.61      8.76   1000000         0
1605.68/1606.12	c       168       235    259.05     29.14      8.89   1000000         0
1606.78/1607.28	c       149       299    255.86     31.60      8.10   1000000         0
1607.98/1608.44	c       149       194    258.30     31.89      8.10   1000000         0
1609.08/1609.59	c       165       257    262.07     31.80      8.24   1000000         0
1610.28/1610.75	c       156       249    264.96     30.13      8.79   1000000         0
1611.48/1611.90	c       156       238    258.84     32.12      8.06   1000000         0
1612.58/1613.06	c       150       244    257.81     30.83      8.36   1000000         0
1613.78/1614.22	c       150       301    261.18     32.51      8.03   1000000         0
1614.88/1615.38	c       159       293    258.02     30.62      8.43   1000000         0
1616.08/1616.53	c       150       237    260.97     30.49      8.56   1000000         0
1617.18/1617.69	c       153       280    261.62     29.47      8.88   1000000         0
1618.38/1618.85	c       157       251    259.69     30.00      8.66   1000000         0
1619.58/1620.00	c       156       252    257.59     29.56      8.72   1000000         0
1620.68/1621.16	c       160       258    262.62     32.09      8.18   1000000         0
1621.88/1622.32	c       158       258    258.57     28.89      8.95   1000000         0
1622.98/1623.47	c       145       299    261.35     30.01      8.71   1000000         0
1624.18/1624.63	c       155       259    259.73     32.76      7.93   1000000         0
1625.28/1625.78	c       147       188    258.49     30.45      8.49   1000000         0
1626.48/1626.94	c       171       238    261.21     29.85      8.75   1000000         0
1627.58/1628.10	c       150       262    256.47     29.74      8.62   1000000         0
1628.77/1629.25	c       164       274    258.00     29.85      8.64   1000000         0
1629.97/1630.41	c       142       304    257.66     29.73      8.67   1000000         0
1631.07/1631.57	c       158       244    261.22     30.48      8.57   1000000         0
1632.27/1632.72	c       156       269    258.35     31.77      8.13   1000000         0
1633.37/1633.88	c       150       253    260.87     29.47      8.85   1000000         0
1634.57/1635.04	c       145       283    261.32     31.21      8.37   1000000         0
1635.77/1636.20	c       160       342    256.68     29.57      8.68   1000000         0
1636.87/1637.35	c       158       313    261.17     31.23      8.36   1000000         0
1638.07/1638.51	c       157       263    257.22     32.72      7.86   1000000         0
1639.17/1639.67	c       157       243    261.24     31.69      8.24   1000000         0
1640.37/1640.82	c       153       222    258.46     32.01      8.08   1000000         0
1641.47/1641.98	c       160       279    260.00     30.47      8.53   1000000         0
1642.67/1643.14	c       145       257    257.85     29.56      8.72   1000000         0
1643.87/1644.30	c       152       304    262.48     31.46      8.34   1000000         0
1644.97/1645.45	c       157       247    257.56     28.80      8.94   1000000         0
1646.18/1646.61	c       153       253    261.71     30.55      8.57   1000000         0
1647.27/1647.77	c       166       212    262.25     29.81      8.80   1000000         0
1648.48/1648.93	c       168       275    258.20     31.11      8.30   1000000         0
1649.58/1650.09	c       153       227    259.20     32.04      8.09   1000000         0
1650.77/1651.24	c       153       222    254.98     30.81      8.28   1000000         0
1651.97/1652.40	c       158       219    257.41     31.02      8.30   1000000         0
1653.07/1653.55	c       158       282    262.40     29.29      8.96   1000000         0
1654.27/1654.71	c       149       230    257.89     31.43      8.21   1000000         0
1655.37/1655.87	c       162       272    257.52     31.47      8.18   1000000         0
1656.57/1657.02	c       162       238    258.87     29.84      8.68   1000000         0
1657.67/1658.18	c       153       260    263.25     31.49      8.36   1000000         0
1658.87/1659.34	c       155       246    259.38     29.74      8.72   1000000         0
1659.97/1660.49	c       144       256    260.13     30.47      8.54   1000000         0
1661.17/1661.65	c       163       240    259.05     30.36      8.53   1000000         0
1662.37/1662.80	c       166       253    257.36     30.24      8.51   1000000         0
1663.46/1663.96	c       168       260    261.56     31.13      8.40   1000000         0
1664.66/1665.12	c       153       279    258.78     30.71      8.43   1000000         0
1665.76/1666.28	c       150       226    259.04     31.61      8.19   1000000         0
1666.96/1667.43	c       150       285    264.22     32.34      8.17   1000000         0
1668.06/1668.59	c       157       254    258.70     30.85      8.39   1000000         0
1669.27/1669.75	c       146       304    255.48     31.41      8.13   1000000         0
1670.47/1670.91	c       149       210    259.98     29.68      8.76   1000000         0
1671.57/1672.07	c       146       224    259.31     30.68      8.45   1000000         0
1672.76/1673.23	c       147       228    255.91     29.35      8.72   1000000         0
1673.86/1674.38	c       163       232    258.80     29.42      8.80   1000000         0
1675.06/1675.54	c       151       242    262.29     31.15      8.42   1000000         0
1676.26/1676.70	c       145       241    258.50     30.96      8.35   1000000         0
1677.36/1677.85	c       155       278    262.88     29.71      8.85   1000000         0
1678.56/1679.01	c       157       279    262.23     29.78      8.81   1000000         0
1679.66/1680.17	c       157       252    258.82     29.46      8.79   1000000         0
1680.86/1681.32	c       159       250    259.89     30.91      8.41   1000000         0
1681.96/1682.48	c       155       252    262.00     30.71      8.53   1000000         0
1683.16/1683.64	c       167       239    259.55     30.63      8.47   1000000         0
1684.36/1684.80	c       157       252    261.21     30.17      8.66   1000000         0
1685.46/1685.96	c       153       247    261.42     30.50      8.57   1000000         0
1686.66/1687.12	c       156       351    261.63     31.03      8.43   1000000         0
1687.76/1688.28	c       154       278    260.01     30.01      8.66   1000000         0
1688.96/1689.43	c       142       259    259.53     32.36      8.02   1000000         0
1690.06/1690.59	c       157       220    259.99     32.89      7.90   1000000         0
1691.26/1691.74	c       157       233    256.65     29.49      8.70   1000000         0
1692.36/1692.90	c       155       245    259.76     30.31      8.57   1000000         0
1693.56/1694.06	c       150       258    264.17     32.17      8.21   1000000         0
1694.76/1695.22	c       147       218    261.94     31.06      8.43   1000000         0
1695.86/1696.37	c       158       300    259.29     30.24      8.57   1000000         0
1697.05/1697.52	c       160       281    257.97     29.62      8.71   1000000         0
1698.15/1698.68	c       160       257    262.43     30.41      8.63   1000000         0
1699.35/1699.84	c       162       253    257.32     29.94      8.60   1000000         0
1700.55/1701.00	c       163       254    258.16     31.28      8.25   1000000         0
1701.65/1702.15	c       161       249    258.99     29.16      8.88   1000000         0
1702.85/1703.31	c       158       216    260.65     29.03      8.98   1000000         0
1703.95/1704.47	c       144       264    259.53     33.09      7.84   1000000         0
1705.15/1705.63	c       154       316    256.18     31.65      8.09   1000000         0
1706.25/1706.78	c       146       307    256.52     31.76      8.08   1000000         0
1707.45/1707.94	c       145       254    259.22     30.37      8.54   1000000         0
1708.65/1709.10	c       160       225    258.96     33.32      7.77   1000000         0
1709.75/1710.25	c       144       257    262.86     30.16      8.72   1000000         0
1710.95/1711.41	c       162       273    259.22     29.46      8.80   1000000         0
1712.05/1712.57	c       155       300    257.84     29.13      8.85   1000000         0
1713.26/1713.72	c       166       221    261.65     31.16      8.40   1000000         0
1714.36/1714.88	c       162       274    260.87     29.09      8.97   1000000         0
1715.56/1716.03	c       156       250    260.40     28.11      9.26   1000000         0
1716.66/1717.19	c       159       188    259.10     31.55      8.21   1000000         0
1717.85/1718.35	c       156       266    257.94     30.25      8.53   1000000         0
1719.05/1719.50	c       160       250    261.70     30.30      8.64   1000000         0
1720.15/1720.66	c       165       233    258.08     30.75      8.39   1000000         0
1721.35/1721.82	c       161       216    259.08     31.84      8.14   1000000         0
1722.45/1722.98	c       162       216    258.52     29.66      8.71   1000000         0
1723.65/1724.14	c       139       279    259.81     30.93      8.40   1000000         0
1724.75/1725.29	c       152       338    257.87     28.65      9.00   1000000         0
1725.95/1726.45	c       157       218    262.35     32.26      8.13   1000000         0
1727.14/1727.61	c       163       245    256.06     29.26      8.75   1000000         0
1728.24/1728.76	c       163       301    258.18     29.90      8.64   1000000         0
1729.44/1729.92	c       156       288    261.59     31.98      8.18   1000000         0
1730.54/1731.07	c       164       263    259.46     28.51      9.10   1000000         0
1731.74/1732.23	c       153       242    258.79     30.83      8.39   1000000         0
1732.84/1733.39	c       159       277    261.77     30.28      8.65   1000000         0
1734.04/1734.55	c       158       258    260.70     31.32      8.32   1000000         0
1735.25/1735.70	c       152       278    260.06     29.00      8.97   1000000         0
1736.36/1736.86	c       153       251    260.05     30.73      8.46   1000000         0
1737.56/1738.02	c       156       295    260.91     31.07      8.40   1000000         0
1738.66/1739.18	c       151       261    260.35     30.87      8.43   1000000         0
1739.85/1740.33	c       145       232    258.45     31.98      8.08   1000000         0
1740.95/1741.49	c       160       255    257.67     31.86      8.09   1000000         0
1742.15/1742.65	c       154       249    259.23     31.08      8.34   1000000         0
1743.35/1743.80	c       149       255    257.22     31.88      8.07   1000000         0
1744.45/1744.96	c       152       220    259.92     29.86      8.71   1000000         0
1745.65/1746.11	c       150       274    256.43     32.37      7.92   1000000         0
1746.75/1747.27	c       160       234    260.58     30.29      8.60   1000000         0
1747.95/1748.43	c       146       255    257.89     30.21      8.54   1000000         0
1749.05/1749.58	c       160       230    259.64     30.22      8.59   1000000         0
1750.25/1750.74	c       153       293    258.05     30.43      8.48   1000000         0
1751.45/1751.90	c       162       282    257.43     29.94      8.60   1000000         0
1752.55/1753.06	c       156       279    266.28     31.80      8.37   1000000         0
1753.75/1754.21	c       155       263    258.23     29.75      8.68   1000000         0
1754.85/1755.37	c       144       317    258.49     32.73      7.90   1000000         0
1756.05/1756.52	c       160       291    259.70     31.13      8.34   1000000         0
1757.14/1757.68	c       159       220    259.13     30.45      8.51   1000000         0
1758.35/1758.83	c       158       279    261.12     29.01      9.00   1000000         0
1759.45/1759.99	c       156       225    260.87     29.27      8.91   1000000         0
1760.65/1761.15	c       148       283    258.50     30.72      8.41   1000000         0
1761.84/1762.31	c       164       221    258.64     30.37      8.52   1000000         0
1762.94/1763.46	c       147       235    260.20     28.85      9.02   1000000         0
1764.14/1764.62	c       160       284    261.14     30.47      8.57   1000000         0
1765.24/1765.78	c       164       266    262.02     30.52      8.59   1000000         0
1766.44/1766.94	c       163       233    256.14     29.76      8.61   1000000         0
1767.54/1768.09	c       156       253    259.46     28.76      9.02   1000000         0
1768.74/1769.25	c       149       253    259.06     31.41      8.25   1000000         0
1769.94/1770.41	c       143       248    260.74     30.19      8.64   1000000         0
1771.04/1771.57	c       150       265    259.00     30.14      8.59   1000000         0
1772.24/1772.72	c       150       236    258.03     30.50      8.46   1000000         0
1773.34/1773.88	c       165       253    257.65     29.85      8.63   1000000         0
1774.54/1775.04	c       148       287    259.55     32.17      8.07   1000000         0
1775.64/1776.19	c       154       221    260.20     30.03      8.66   1000000         0
1776.84/1777.35	c       155       294    258.19     30.67      8.42   1000000         0
1778.04/1778.51	c       152       254    257.47     30.49      8.44   1000000         0
1779.14/1779.67	c       154       292    257.61     33.41      7.71   1000000         0
1780.34/1780.82	c       166       256    259.84     28.54      9.10   1000000         0
1781.45/1781.98	c       154       233    260.24     31.73      8.20   1000000         0
1782.64/1783.14	c       150       222    257.62     29.05      8.87   1000000         0
1783.74/1784.29	c       159       257    260.54     32.57      8.00   1000000         0
1784.94/1785.45	c       158       322    259.73     30.54      8.50   1000000         0
1786.14/1786.61	c       153       277    259.59     30.68      8.46   1000000         0
1787.24/1787.77	c       154       201    258.33     30.51      8.47   1000000         0
1788.44/1788.93	c       154       228    257.71     28.98      8.89   1000000         0
1789.54/1790.08	c       151       253    261.99     31.69      8.27   1000000         0
1790.74/1791.23	c       158       263    258.70     31.04      8.33   1000000         0
1791.83/1792.39	c       159       234    265.49     31.13      8.53   1000000         0
1793.03/1793.55	c       151       273    261.86     32.43      8.08   1000000         0
1794.23/1794.70	c       157       262    261.96     29.73      8.81   1000000         0
1795.33/1795.86	c       170       289    256.66     28.63      8.97   1000000         0
1796.53/1797.02	c       163       317    257.32     30.06      8.56   1000000         0
1797.63/1798.17	c       161       267    259.93     30.81      8.44   1000000         0
1798.83/1799.33	c       157       214    259.49     30.27      8.57   1000000         0
1799.93/1800.49	c       148       291    260.32     29.91      8.70   1000000         0
1800.04/1800.50	HOME/run: line 2: 18477 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-2684720-1278432618/watcher-2684720-1278432618 -o /tmp/evaluation-result-2684720-1278432618/solver-2684720-1278432618 -C 1800 -W 2000 -M 1800 run HOME/instance-2684720-1278432618.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.63 0.18 0.06 3/106 18476
/proc/meminfo: memFree=1409452/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0

[startup+0.0829989 s]
/proc/loadavg: 0.63 0.18 0.06 3/106 18476
/proc/meminfo: memFree=1409452/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100998 s]
/proc/loadavg: 0.63 0.18 0.06 3/106 18476
/proc/meminfo: memFree=1409452/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300994 s]
/proc/loadavg: 0.63 0.18 0.06 3/106 18476
/proc/meminfo: memFree=1409452/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700985 s]
/proc/loadavg: 0.63 0.18 0.06 3/106 18476
/proc/meminfo: memFree=1409452/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50097 s]
/proc/loadavg: 0.63 0.18 0.06 2/108 18478
/proc/meminfo: memFree=1405468/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1.49
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 149 0 0 0 23 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134519845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10294 s]
/proc/loadavg: 0.66 0.19 0.06 2/108 18478
/proc/meminfo: memFree=1405220/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=3.09
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 309 0 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526116 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30087 s]
/proc/loadavg: 0.66 0.19 0.06 2/108 18478
/proc/meminfo: memFree=1405096/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=6.29
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 629 0 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7007 s]
/proc/loadavg: 0.71 0.22 0.07 2/108 18478
/proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=12.68
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 1268 0 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.75 0.24 0.08 2/108 18478
/proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=25.49
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 2548 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49152

[startup+51.1009 s]
/proc/loadavg: 0.84 0.30 0.10 2/108 18479
/proc/meminfo: memFree=1404972/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=51.08
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 5107 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526919 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 0.93 0.42 0.15 2/108 18480
/proc/meminfo: memFree=1404724/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=102.27
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 10226 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/108 18482
/proc/meminfo: memFree=1404600/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=162.25
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 16224 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 18484
/proc/meminfo: memFree=1404476/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=222.23
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 22222 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526834 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.3 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 18485
/proc/meminfo: memFree=1404352/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=282.22
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 28221 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134525852 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/108 18486
/proc/meminfo: memFree=1404228/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=342.2
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 34219 1 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 0.99 0.77 0.37 2/108 18488
/proc/meminfo: memFree=1403980/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=402.19
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 40217 2 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1122
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 112195 5 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526149 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/108 18512
/proc/meminfo: memFree=1402616/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1181.99
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 118194 5 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/108 18513
/proc/meminfo: memFree=1402368/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1241.97
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 124192 5 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/108 18515
/proc/meminfo: memFree=1402244/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1301.96
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 130191 5 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.75 2/108 18517
/proc/meminfo: memFree=1402244/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1361.94
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 136189 5 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.76 2/108 18519
/proc/meminfo: memFree=1402120/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1421.94
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 142188 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134527015 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/108 18520
/proc/meminfo: memFree=1402120/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1481.91
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 148185 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.78 2/108 18521
/proc/meminfo: memFree=1401996/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1541.9
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 154184 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526680 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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 18523
/proc/meminfo: memFree=1401872/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1601.88
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 160182 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.07 0.99 0.81 2/108 18525
/proc/meminfo: memFree=1401872/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1661.87
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 166181 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134537028 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.10 1.00 0.83 2/108 18527
/proc/meminfo: memFree=1401624/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1721.85
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 172179 6 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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.09 1.02 0.84 2/108 18528
/proc/meminfo: memFree=1401252/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1781.84
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 178177 7 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.01 0.84 2/108 18529
/proc/meminfo: memFree=1401252/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1800.04
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 179997 7 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526116 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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)

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

[startup+1800.5 s]
/proc/loadavg: 1.07 1.01 0.84 2/108 18529
/proc/meminfo: memFree=1401252/2059040 swapFree=4192956/4192956
[pid=18476] ppid=18474 vsize=8700 CPUtime=0
/proc/18476/stat : 18476 (run) S 18474 18476 17871 0 -1 4202496 358 0 0 0 0 0 0 0 18 0 1 0 11474102 8908800 243 1992294400 4194304 4922060 140736404028816 18446744073709551615 273567816837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/18476/statm: 2175 243 204 178 0 68 0
[pid=18477] ppid=18476 vsize=40452 CPUtime=1800.04
/proc/18477/stat : 18477 (PB-wave) R 18476 18476 17871 0 -1 4202496 1013 0 0 0 179997 7 0 0 25 0 1 0 11474102 41422848 943 1992294400 134512640 135071400 4292920576 18446744073709551615 134526116 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18477/statm: 10113 943 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): 1799.97
CPU system time (s): 0.077988
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1384
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= 34330

runsolver used 3.99839 second user time and 9.14261 second system time

The end

Launcher Data 

Begin job on node018 at 2010-07-06 18:10:18
IDJOB=2684720
IDBENCH=73438
IDSOLVER=1171
FILE ID=node018/2684720-1278432618
PBS_JOBID= 11233454
Free space on /tmp= 62520 MiB

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

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

MD5SUM BENCH= 4beea9548a8b05c336cb9a5dcff42191
RANDOM SEED=181140512

node018.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.248
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.49
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.248
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.53
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1409848 kB
Buffers:        101352 kB
Cached:         409444 kB
SwapCached:          0 kB
Active:         212764 kB
Inactive:       358400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1409848 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1480 kB
Writeback:           0 kB
AnonPages:       60288 kB
Mapped:          14476 kB
Slab:            55968 kB
PageTables:       4164 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180944 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= 62520 MiB
End job on node018 at 2010-07-06 18:40:19