Trace number 2684496

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.1 1800.81

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_10-unsat.opb
MD5SUM42dd40b7036ee1d1ca1e1784551c3e09
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 benchmark0.255961
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5456
Total number of constraints17015
Number of constraints which are clauses16667
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints348
Minimum length of a constraint1
Maximum length of a constraint26
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 177
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.05	c PB-wave - v2
0.00/0.05	c command line = ./PB-wave
0.00/0.05	c seed = 21729223
0.00/0.05	c cutoff = 1000000
0.00/0.05	c tries = 1000000
0.00/0.05	c heuristic = c best, noise 50 / 100
0.00/0.05	#var 5456 #con 17015
0.00/0.05	mode is SAT
0.00/0.05	c tail starts after flip = 16368
0.00/0.05	c numatom = 5456, numclause = 17015, numliterals = 43616
0.00/0.05	c wff read in
0.00/0.05	c 
0.00/0.05	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.05	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.05	c       this      this      this      this      this      this   success   success       until         std
0.00/0.05	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.05	c
1.19/1.22	c       185       315    288.66     33.61      8.59   1000000         0
2.39/2.40	c       177       244    288.16     32.67      8.82   1000000         0
3.49/3.58	c       159       270    284.74     33.26      8.56   1000000         0
4.69/4.76	c       170       326    288.87     35.02      8.25   1000000         0
5.88/5.94	c       170       302    282.76     36.11      7.83   1000000         0
7.08/7.12	c       183       366    285.34     29.87      9.55   1000000         0
8.18/8.29	c       172       289    287.38     35.27      8.15   1000000         0
9.38/9.47	c       170       253    288.91     34.10      8.47   1000000         0
10.58/10.65	c       186       278    287.09     35.58      8.07   1000000         0
11.78/11.82	c       168       311    284.61     34.88      8.16   1000000         0
12.98/13.00	c       177       279    288.76     32.81      8.80   1000000         0
14.08/14.17	c       172       309    282.11     34.96      8.07   1000000         0
15.29/15.35	c       175       266    288.53     34.48      8.37   1000000         0
16.49/16.53	c       181       240    285.01     31.93      8.93   1000000         0
17.68/17.71	c       180       292    282.57     31.14      9.08   1000000         0
18.78/18.88	c       145       252    285.38     33.98      8.40   1000000         0
19.98/20.06	c       153       276    282.25     32.71      8.63   1000000         0
21.18/21.24	c       169       254    284.79     32.10      8.87   1000000         0
22.38/22.41	c       180       284    290.84     32.98      8.82   1000000         0
23.48/23.59	c       175       266    286.28     36.56      7.83   1000000         0
24.68/24.77	c       175       259    287.55     32.78      8.77   1000000         0
25.88/25.95	c       159       289    290.20     34.16      8.49   1000000         0
27.08/27.13	c       176       287    285.82     34.72      8.23   1000000         0
28.28/28.31	c       187       314    289.83     31.97      9.07   1000000         0
29.38/29.49	c       162       275    284.50     29.93      9.50   1000000         0
30.58/30.67	c       173       230    286.14     33.61      8.51   1000000         0
31.78/31.85	c       159       288    281.28     34.19      8.23   1000000         0
32.98/33.03	c       170       240    292.41     33.81      8.65   1000000         0
34.17/34.21	c       182       284    283.29     33.42      8.48   1000000         0
35.27/35.38	c       192       285    289.60     33.06      8.76   1000000         0
36.47/36.55	c       188       247    290.84     32.80      8.87   1000000         0
37.67/37.73	c       174       270    288.77     36.55      7.90   1000000         0
38.87/38.91	c       192       293    286.49     32.34      8.86   1000000         0
39.97/40.08	c       175       347    287.55     33.71      8.53   1000000         0
41.17/41.26	c       181       270    288.59     34.25      8.43   1000000         0
42.37/42.44	c       167       257    284.26     33.08      8.59   1000000         0
43.57/43.62	c       172       258    288.07     31.99      9.00   1000000         0
44.77/44.80	c       178       274    291.25     33.34      8.73   1000000         0
45.87/45.97	c       173       292    287.11     34.58      8.30   1000000         0
47.07/47.15	c       183       311    286.92     32.78      8.75   1000000         0
48.28/48.33	c       190       317    285.92     31.44      9.10   1000000         0
49.48/49.50	c       177       280    290.04     35.43      8.19   1000000         0
50.58/50.69	c       155       329    285.92     33.68      8.49   1000000         0
51.77/51.87	c       178       307    288.25     32.90      8.76   1000000         0
52.97/53.04	c       182       249    287.17     33.28      8.63   1000000         0
54.17/54.21	c       162       298    284.21     32.47      8.75   1000000         0
55.37/55.40	c       170       238    287.49     34.97      8.22   1000000         0
56.47/56.58	c       172       246    287.66     34.53      8.33   1000000         0
57.67/57.76	c       173       258    282.36     34.29      8.23   1000000         0
58.87/58.94	c       175       324    286.79     33.19      8.64   1000000         0
60.07/60.12	c       179       298    284.18     35.71      7.96   1000000         0
61.16/61.29	c       167       311    283.14     32.59      8.69   1000000         0
62.36/62.47	c       175       256    282.21     32.35      8.72   1000000         0
63.56/63.65	c       178       247    285.17     35.85      7.95   1000000         0
64.77/64.83	c       181       331    291.38     33.11      8.80   1000000         0
65.87/66.00	c       171       325    285.95     35.97      7.95   1000000         0
67.07/67.17	c       174       271    285.86     32.52      8.79   1000000         0
68.26/68.35	c       174       232    283.32     33.67      8.42   1000000         0
69.46/69.53	c       163       261    289.66     34.22      8.47   1000000         0
70.66/70.71	c       185       240    291.49     34.86      8.36   1000000         0
71.76/71.88	c       173       299    282.05     34.15      8.26   1000000         0
72.96/73.06	c       190       218    287.03     31.92      8.99   1000000         0
74.16/74.23	c       177       315    283.69     31.79      8.92   1000000         0
75.36/75.40	c       166       273    288.87     34.99      8.25   1000000         0
76.46/76.58	c       184       306    283.31     30.93      9.16   1000000         0
77.66/77.75	c       165       322    283.36     33.60      8.43   1000000         0
78.86/78.93	c       188       315    291.72     36.64      7.96   1000000         0
80.06/80.10	c       162       218    284.86     34.17      8.34   1000000         0
81.16/81.28	c       177       253    288.20     35.81      8.05   1000000         0
82.36/82.45	c       165       249    288.10     35.80      8.05   1000000         0
83.56/83.64	c       175       256    290.08     35.92      8.08   1000000         0
84.76/84.82	c       160       330    283.61     33.20      8.54   1000000         0
85.85/86.00	c       163       301    283.20     36.61      7.74   1000000         0
87.05/87.17	c       174       255    285.17     32.51      8.77   1000000         0
88.25/88.35	c       178       270    286.30     34.72      8.25   1000000         0
89.45/89.52	c       150       252    281.54     33.03      8.52   1000000         0
90.65/90.70	c       184       335    289.80     34.11      8.50   1000000         0
91.75/91.88	c       154       242    287.64     34.45      8.35   1000000         0
92.95/93.06	c       154       264    281.99     34.46      8.18   1000000         0
94.15/94.24	c       179       305    288.31     33.71      8.55   1000000         0
95.35/95.41	c       179       269    292.54     34.36      8.51   1000000         0
96.45/96.58	c       185       293    286.01     33.31      8.59   1000000         0
97.65/97.76	c       160       202    282.24     33.68      8.38   1000000         0
98.85/98.94	c       170       266    283.70     32.87      8.63   1000000         0
100.05/100.12	c       175       301    287.42     33.77      8.51   1000000         0
101.15/101.29	c       170       301    286.09     35.37      8.09   1000000         0
102.35/102.46	c       164       256    284.95     36.83      7.74   1000000         0
103.55/103.64	c       176       265    284.51     33.70      8.44   1000000         0
104.75/104.82	c       168       294    284.69     33.31      8.55   1000000         0
105.84/106.00	c       173       288    287.42     34.86      8.25   1000000         0
107.04/107.18	c       147       280    286.20     35.57      8.05   1000000         0
108.24/108.35	c       169       259    286.01     34.91      8.19   1000000         0
109.44/109.52	c       167       329    285.52     35.36      8.08   1000000         0
110.64/110.70	c       176       272    286.75     35.85      8.00   1000000         0
111.74/111.88	c       179       252    286.53     33.26      8.62   1000000         0
112.94/113.06	c       180       269    284.98     32.85      8.67   1000000         0
114.14/114.25	c       167       280    285.62     33.43      8.54   1000000         0
115.35/115.42	c       180       272    290.54     35.78      8.12   1000000         0
116.45/116.60	c       172       259    289.65     33.60      8.62   1000000         0
117.65/117.78	c       172       270    288.03     34.63      8.32   1000000         0
118.84/118.96	c       175       288    283.15     30.86      9.18   1000000         0
120.04/120.14	c       176       243    288.28     34.19      8.43   1000000         0
121.24/121.32	c       159       249    288.91     35.87      8.05   1000000         0
122.44/122.50	c       179       308    291.69     36.56      7.98   1000000         0
123.54/123.68	c       157       218    284.16     36.95      7.69   1000000         0
124.74/124.86	c       171       297    284.86     33.32      8.55   1000000         0
125.94/126.02	c       164       276    285.60     34.01      8.40   1000000         0
127.14/127.21	c       165       322    287.42     34.21      8.40   1000000         0
128.24/128.38	c       168       243    287.86     30.98      9.29   1000000         0
129.44/129.56	c       167       248    282.93     34.73      8.15   1000000         0
130.64/130.73	c       188       299    288.60     33.43      8.63   1000000         0
131.73/131.90	c       191       381    289.54     34.88      8.30   1000000         0
132.94/133.08	c       174       281    282.28     32.46      8.70   1000000         0
134.14/134.26	c       180       311    284.03     32.71      8.68   1000000         0
135.33/135.43	c       180       316    285.55     36.54      7.81   1000000         0
136.53/136.61	c       164       269    284.32     34.01      8.36   1000000         0
137.63/137.78	c       176       272    282.46     34.29      8.24   1000000         0
138.83/138.96	c       167       337    286.88     33.24      8.63   1000000         0
140.03/140.14	c       171       261    286.61     33.29      8.61   1000000         0
141.23/141.32	c       158       291    286.39     32.66      8.77   1000000         0
142.33/142.49	c       180       288    290.25     35.34      8.21   1000000         0
143.53/143.67	c       176       303    287.71     34.21      8.41   1000000         0
144.73/144.85	c       175       236    284.34     32.86      8.65   1000000         0
145.93/146.03	c       169       297    287.32     33.07      8.69   1000000         0
147.13/147.21	c       171       287    286.75     33.40      8.58   1000000         0
148.23/148.40	c       182       270    289.88     32.26      8.98   1000000         0
149.43/149.57	c       178       302    282.07     33.36      8.45   1000000         0
150.63/150.75	c       177       315    285.22     33.02      8.64   1000000         0
151.83/151.92	c       171       288    284.83     31.52      9.04   1000000         0
153.02/153.10	c       167       352    290.86     34.84      8.35   1000000         0
154.12/154.27	c       183       332    285.94     33.28      8.59   1000000         0
155.32/155.44	c       178       343    287.68     34.40      8.36   1000000         0
156.52/156.62	c       181       193    280.75     33.89      8.28   1000000         0
157.72/157.80	c       160       257    287.88     34.81      8.27   1000000         0
158.82/158.97	c       184       312    286.52     33.06      8.67   1000000         0
160.02/160.15	c       174       232    284.82     34.30      8.30   1000000         0
161.22/161.32	c       169       319    286.07     31.88      8.97   1000000         0
162.42/162.50	c       181       244    285.50     31.18      9.16   1000000         0
163.52/163.68	c       157       258    282.21     34.38      8.21   1000000         0
164.72/164.85	c       175       224    286.10     34.92      8.19   1000000         0
165.93/166.03	c       183       297    284.38     33.40      8.51   1000000         0
167.03/167.20	c       181       279    284.57     33.95      8.38   1000000         0
168.23/168.38	c       164       201    287.98     32.62      8.83   1000000         0
169.42/169.55	c       168       304    289.36     36.14      8.01   1000000         0
170.62/170.73	c       185       332    284.92     31.41      9.07   1000000         0
171.82/171.90	c       170       270    286.34     33.08      8.66   1000000         0
172.92/173.08	c       165       303    285.12     34.60      8.24   1000000         0
174.12/174.25	c       171       241    286.58     34.99      8.19   1000000         0
175.32/175.42	c       173       339    285.25     33.87      8.42   1000000         0
176.52/176.60	c       156       343    291.36     34.78      8.38   1000000         0
177.61/177.78	c       178       265    289.45     33.39      8.67   1000000         0
178.81/178.95	c       187       282    289.72     33.36      8.68   1000000         0
180.01/180.12	c       172       286    281.99     33.70      8.37   1000000         0
181.21/181.30	c       177       296    292.60     32.40      9.03   1000000         0
182.31/182.48	c       149       287    286.70     31.95      8.97   1000000         0
183.52/183.66	c       168       342    278.66     30.80      9.05   1000000         0
184.72/184.83	c       179       374    289.44     33.95      8.53   1000000         0
185.91/186.01	c       183       320    292.21     35.06      8.33   1000000         0
187.01/187.19	c       182       267    288.04     35.46      8.12   1000000         0
188.21/188.36	c       165       327    286.48     37.79      7.58   1000000         0
189.41/189.53	c       161       296    278.20     34.12      8.15   1000000         0
190.61/190.71	c       170       263    287.30     33.55      8.56   1000000         0
191.71/191.88	c       161       269    284.33     35.11      8.10   1000000         0
192.91/193.06	c       146       272    286.69     36.09      7.94   1000000         0
194.11/194.23	c       158       308    285.36     33.92      8.41   1000000         0
195.31/195.41	c       184       279    286.15     34.58      8.27   1000000         0
196.41/196.58	c       185       262    294.09     34.80      8.45   1000000         0
197.61/197.76	c       170       251    281.54     33.48      8.41   1000000         0
198.81/198.93	c       173       262    281.88     34.00      8.29   1000000         0
200.01/200.12	c       177       304    283.14     33.40      8.48   1000000         0
201.11/201.29	c       176       242    287.76     32.84      8.76   1000000         0
202.31/202.47	c       180       319    288.01     32.52      8.86   1000000         0
203.50/203.65	c       179       246    292.20     32.72      8.93   1000000         0
204.70/204.82	c       174       297    285.43     34.69      8.23   1000000         0
205.80/205.99	c       169       274    286.92     33.82      8.48   1000000         0
207.00/207.18	c       168       299    287.50     32.27      8.91   1000000         0
208.20/208.34	c       176       232    287.98     33.30      8.65   1000000         0
209.40/209.52	c       179       270    285.72     34.31      8.33   1000000         0
210.50/210.69	c       172       335    293.07     34.21      8.57   1000000         0
211.70/211.87	c       174       292    287.52     35.84      8.02   1000000         0
212.90/213.05	c       172       321    282.17     30.54      9.24   1000000         0
214.10/214.23	c       171       274    282.50     33.62      8.40   1000000         0
215.30/215.41	c       179       263    285.82     33.36      8.57   1000000         0
216.40/216.58	c       165       283    285.93     31.65      9.04   1000000         0
217.61/217.76	c       176       281    284.03     31.93      8.90   1000000         0
218.80/218.93	c       172       265    280.93     30.76      9.13   1000000         0
220.00/220.11	c       164       288    284.20     33.66      8.44   1000000         0
221.10/221.28	c       185       267    284.79     32.74      8.70   1000000         0
222.30/222.47	c       169       281    282.54     33.03      8.55   1000000         0
223.50/223.64	c       185       248    288.18     34.26      8.41   1000000         0
224.70/224.82	c       174       300    284.42     34.74      8.19   1000000         0
225.90/226.00	c       178       220    289.69     32.37      8.95   1000000         0
227.00/227.17	c       174       308    284.11     33.29      8.54   1000000         0
228.20/228.34	c       166       301    282.30     34.06      8.29   1000000         0
229.39/229.51	c       168       256    284.39     32.90      8.64   1000000         0
230.49/230.69	c       141       262    281.60     34.45      8.17   1000000         0
231.69/231.86	c       176       255    286.91     35.15      8.16   1000000         0
232.89/233.04	c       187       260    284.32     31.53      9.02   1000000         0
234.10/234.21	c       168       268    281.67     33.08      8.51   1000000         0
235.20/235.39	c       174       289    284.16     32.23      8.82   1000000         0
236.40/236.56	c       174       300    288.24     35.05      8.22   1000000         0
237.59/237.73	c       182       279    286.77     30.55      9.39   1000000         0
238.79/238.91	c       161       275    284.00     33.08      8.58   1000000         0
239.89/240.08	c       161       260    282.70     33.22      8.51   1000000         0
241.09/241.25	c       169       279    285.96     33.62      8.50   1000000         0
242.29/242.43	c       152       284    286.77     33.43      8.58   1000000         0
243.49/243.61	c       191       305    288.90     32.30      8.94   1000000         0
244.59/244.78	c       172       325    284.77     32.48      8.77   1000000         0
245.79/245.96	c       179       265    290.04     32.32      8.97   1000000         0
246.99/247.14	c       171       315    287.16     34.10      8.42   1000000         0
248.19/248.32	c       181       252    282.52     33.25      8.50   1000000         0
249.39/249.50	c       168       267    283.51     34.84      8.14   1000000         0
250.49/250.67	c       157       259    283.39     33.91      8.36   1000000         0
251.69/251.85	c       169       301    283.81     33.52      8.47   1000000         0
252.89/253.03	c       169       258    287.44     34.02      8.45   1000000         0
254.08/254.20	c       172       295    286.53     34.18      8.38   1000000         0
255.18/255.38	c       181       267    291.45     34.53      8.44   1000000         0
256.38/256.56	c       173       308    282.40     33.27      8.49   1000000         0
257.58/257.74	c       154       253    283.39     33.85      8.37   1000000         0
258.78/258.92	c       176       258    286.55     32.39      8.85   1000000         0
259.88/260.09	c       183       294    286.41     32.01      8.95   1000000         0
261.08/261.27	c       165       313    288.03     34.09      8.45   1000000         0
262.28/262.45	c       177       295    288.60     34.40      8.39   1000000         0
263.48/263.62	c       186       363    287.96     31.44      9.16   1000000         0
264.68/264.80	c       179       299    287.71     36.26      7.94   1000000         0
265.78/265.97	c       189       260    289.55     34.77      8.33   1000000         0
266.98/267.15	c       162       290    285.88     33.59      8.51   1000000         0
268.19/268.33	c       153       282    284.82     33.19      8.58   1000000         0
269.39/269.51	c       188       305    283.61     31.53      9.00   1000000         0
270.49/270.69	c       179       300    289.60     33.88      8.55   1000000         0
271.68/271.86	c       166       278    288.92     33.53      8.62   1000000         0
272.88/273.04	c       165       272    282.05     32.90      8.57   1000000         0
274.08/274.22	c       167       265    286.97     32.43      8.85   1000000         0
275.28/275.40	c       173       224    284.45     32.82      8.67   1000000         0
276.38/276.58	c       192       258    288.90     32.86      8.79   1000000         0
277.58/277.75	c       187       271    286.64     31.63      9.06   1000000         0
278.78/278.93	c       179       234    288.09     33.15      8.69   1000000         0
279.98/280.11	c       167       288    287.80     33.01      8.72   1000000         0
281.08/281.28	c       179       233    284.27     33.98      8.36   1000000         0
282.28/282.46	c       173       290    282.71     33.54      8.43   1000000         0
283.47/283.64	c       179       258    286.85     35.47      8.09   1000000         0
284.68/284.81	c       154       252    281.34     33.74      8.34   1000000         0
285.78/286.00	c       180       278    284.43     32.50      8.75   1000000         0
286.98/287.17	c       177       220    286.09     32.75      8.74   1000000         0
288.17/288.35	c       144       313    285.57     31.33      9.11   1000000         0
289.37/289.53	c       185       349    292.79     33.98      8.62   1000000         0
290.57/290.70	c       178       279    284.69     33.76      8.43   1000000         0
291.67/291.88	c       183       348    281.37     32.80      8.58   1000000         0
292.87/293.06	c       170       272    287.72     32.71      8.80   1000000         0
294.07/294.24	c       182       299    283.99     32.05      8.86   1000000         0
295.27/295.42	c       167       308    286.46     35.38      8.10   1000000         0
296.37/296.59	c       185       396    286.52     32.94      8.70   1000000         0
297.57/297.77	c       162       310    286.98     34.44      8.33   1000000         0
298.77/298.95	c       172       283    286.68     33.25      8.62   1000000         0
299.97/300.13	c       181       242    285.23     32.41      8.80   1000000         0
301.17/301.31	c       170       288    282.65     34.60      8.17   1000000         0
302.27/302.48	c       166       274    286.80     32.43      8.84   1000000         0
303.47/303.66	c       171       267    284.22     33.93      8.38   1000000         0
304.67/304.84	c       182       291    287.95     34.41      8.37   1000000         0
305.87/306.02	c       168       305    284.68     35.72      7.97   1000000         0
306.97/307.19	c       180       199    281.08     32.84      8.56   1000000         0
308.17/308.37	c       174       334    289.11     33.04      8.75   1000000         0
309.36/309.54	c       177       328    285.46     33.62      8.49   1000000         0
310.56/310.72	c       165       289    285.23     36.47      7.82   1000000         0
311.66/311.89	c       171       275    281.92     33.87      8.32   1000000         0
312.86/313.07	c       180       332    288.41     32.46      8.89   1000000         0
314.06/314.24	c       182       323    285.26     34.23      8.33   1000000         0
315.26/315.42	c       162       290    282.62     32.96      8.58   1000000         0
316.36/316.59	c       169       241    283.04     32.31      8.76   1000000         0
317.56/317.76	c       174       331    287.94     35.86      8.03   1000000         0
318.77/318.94	c       171       265    286.27     32.07      8.93   1000000         0
319.97/320.12	c       172       287    286.75     31.71      9.04   1000000         0
321.16/321.30	c       184       299    289.11     31.65      9.13   1000000         0
322.26/322.48	c       180       243    285.19     34.07      8.37   1000000         0
323.46/323.66	c       162       332    284.60     34.89      8.16   1000000         0
324.66/324.83	c       163       265    289.24     32.76      8.83   1000000         0
325.86/326.01	c       161       292    287.07     35.29      8.13   1000000         0
326.96/327.19	c       172       270    282.85     32.92      8.59   1000000         0
328.16/328.37	c       156       252    285.12     34.09      8.36   1000000         0
329.36/329.56	c       166       334    286.59     34.90      8.21   1000000         0
330.56/330.74	c       164       316    286.77     34.30      8.36   1000000         0
331.76/331.91	c       163       246    284.13     32.98      8.62   1000000         0
332.86/333.09	c       166       357    282.32     33.08      8.54   1000000         0
334.06/334.27	c       170       255    289.38     39.19      7.39   1000000         0
335.26/335.45	c       176       262    283.96     31.63      8.98   1000000         0
336.46/336.62	c       179       232    289.92     33.38      8.69   1000000         0
337.56/337.79	c       171       301    282.63     34.34      8.23   1000000         0
338.75/338.97	c       181       274    294.69     33.92      8.69   1000000         0
339.95/340.15	c       178       289    290.97     35.03      8.31   1000000         0
341.15/341.33	c       177       230    283.40     35.18      8.06   1000000         0
342.35/342.50	c       156       237    284.59     34.29      8.30   1000000         0
343.45/343.68	c       171       237    285.40     32.62      8.75   1000000         0
344.65/344.85	c       179       271    287.04     34.15      8.41   1000000         0
345.85/346.03	c       184       294    285.57     35.99      7.93   1000000         0
347.05/347.20	c       162       267    284.19     33.44      8.50   1000000         0
348.15/348.38	c       179       304    284.26     33.72      8.43   1000000         0
349.35/349.56	c       178       285    284.08     31.45      9.03   1000000         0
350.55/350.73	c       172       275    282.98     31.92      8.87   1000000         0
351.76/351.91	c       180       282    287.68     31.85      9.03   1000000         0
352.86/353.08	c       169       328    287.39     34.18      8.41   1000000         0
354.06/354.25	c       176       290    285.18     33.44      8.53   1000000         0
355.25/355.43	c       173       287    292.82     31.91      9.18   1000000         0
356.45/356.62	c       167       247    282.90     35.68      7.93   1000000         0
357.55/357.79	c       180       330    288.80     33.81      8.54   1000000         0
358.75/358.97	c       179       285    281.92     35.08      8.04   1000000         0
359.95/360.15	c       166       291    286.92     30.13      9.52   1000000         0
361.14/361.33	c       173       380    283.87     33.39      8.50   1000000         0
362.34/362.50	c       164       269    284.77     35.44      8.04   1000000         0
363.44/363.68	c       170       268    286.86     31.95      8.98   1000000         0
364.64/364.86	c       174       250    287.16     35.03      8.20   1000000         0
365.84/366.03	c       180       287    288.64     35.94      8.03   1000000         0
367.04/367.21	c       159       290    283.98     36.03      7.88   1000000         0
368.14/368.38	c       183       287    288.78     33.78      8.55   1000000         0
369.35/369.56	c       182       238    287.01     32.89      8.73   1000000         0
370.55/370.73	c       161       341    286.43     32.47      8.82   1000000         0
371.74/371.91	c       154       291    289.82     33.17      8.74   1000000         0
372.94/373.10	c       171       297    288.47     37.70      7.65   1000000         0
374.04/374.28	c       155       302    284.20     33.40      8.51   1000000         0
375.24/375.46	c       173       345    285.54     35.37      8.07   1000000         0
376.44/376.64	c       174       302    287.49     35.96      7.99   1000000         0
377.64/377.81	c       151       256    284.01     32.78      8.67   1000000         0
378.74/378.99	c       172       226    285.85     34.56      8.27   1000000         0
379.94/380.16	c       177       302    283.80     33.84      8.39   1000000         0
381.14/381.34	c       165       304    285.07     35.08      8.13   1000000         0
382.34/382.52	c       173       283    284.58     35.13      8.10   1000000         0
383.54/383.70	c       181       290    285.57     34.35      8.31   1000000         0
384.64/384.87	c       150       293    286.45     32.36      8.85   1000000         0
385.84/386.06	c       169       267    286.89     32.91      8.72   1000000         0
387.04/387.23	c       180       300    283.55     31.50      9.00   1000000         0
388.23/388.41	c       168       284    283.61     34.25      8.28   1000000         0
389.33/389.59	c       153       307    289.97     35.65      8.13   1000000         0
390.53/390.77	c       179       276    288.94     33.65      8.59   1000000         0
391.73/391.95	c       178       289    281.90     34.58      8.15   1000000         0
392.93/393.12	c       176       320    285.34     32.02      8.91   1000000         0
394.13/394.30	c       179       287    287.92     32.65      8.82   1000000         0
395.23/395.48	c       153       229    285.55     35.33      8.08   1000000         0
396.43/396.66	c       183       253    289.43     35.50      8.15   1000000         0
397.63/397.84	c       178       278    284.66     31.06      9.17   1000000         0
398.83/399.00	c       174       351    284.60     34.56      8.23   1000000         0
399.93/400.18	c       176       289    287.61     36.37      7.91   1000000         0
401.13/401.36	c       161       283    287.71     34.72      8.29   1000000         0
402.34/402.53	c       171       233    281.94     32.01      8.81   1000000         0
403.54/403.70	c       189       258    284.82     32.56      8.75   1000000         0
404.64/404.88	c       177       342    290.81     32.06      9.07   1000000         0
405.83/406.06	c       168       257    285.71     33.81      8.45   1000000         0
407.03/407.24	c       165       283    287.20     33.90      8.47   1000000         0
408.23/408.42	c       170       231    281.17     35.85      7.84   1000000         0
409.33/409.58	c       177       290    285.52     34.46      8.29   1000000         0
410.53/410.76	c       171       352    287.15     33.59      8.55   1000000         0
411.73/411.94	c       166       262    284.36     33.15      8.58   1000000         0
412.93/413.12	c       176       259    286.70     31.98      8.97   1000000         0
414.03/414.29	c       181       307    288.09     35.20      8.18   1000000         0
415.22/415.47	c       166       201    282.92     34.60      8.18   1000000         0
416.42/416.64	c       186       287    285.16     32.19      8.86   1000000         0
417.62/417.81	c       180       260    286.15     34.28      8.35   1000000         0
418.72/418.99	c       181       269    280.90     32.76      8.58   1000000         0
419.93/420.16	c       187       350    289.47     30.93      9.36   1000000         0
421.13/421.34	c       179       270    282.67     31.69      8.92   1000000         0
422.32/422.52	c       154       292    286.42     35.24      8.13   1000000         0
423.42/423.69	c       169       200    288.86     32.80      8.81   1000000         0
424.62/424.87	c       182       264    287.49     35.57      8.08   1000000         0
425.82/426.04	c       172       372    289.98     35.08      8.27   1000000         0
427.02/427.21	c       169       298    287.93     35.50      8.11   1000000         0
428.12/428.39	c       181       241    283.15     33.06      8.57   1000000         0
429.32/429.56	c       180       295    287.41     31.98      8.99   1000000         0
430.52/430.74	c       170       251    279.22     32.88      8.49   1000000         0
431.72/431.91	c       164       254    290.22     37.83      7.67   1000000         0
432.92/433.10	c       181       320    290.11     33.49      8.66   1000000         0
434.02/434.27	c       171       295    285.37     33.16      8.60   1000000         0
435.22/435.45	c       176       241    285.20     34.81      8.19   1000000         0
436.42/436.62	c       182       256    284.79     34.20      8.33   1000000         0
437.52/437.80	c       181       269    294.86     35.21      8.37   1000000         0
438.72/438.98	c       159       289    287.82     36.19      7.95   1000000         0
439.92/440.15	c       177       285    288.23     34.18      8.43   1000000         0
441.12/441.33	c       178       356    289.14     35.27      8.20   1000000         0
442.31/442.50	c       145       304    284.06     32.95      8.62   1000000         0
443.41/443.68	c       184       277    287.48     33.63      8.55   1000000         0
444.61/444.85	c       168       310    285.10     33.01      8.64   1000000         0
445.81/446.03	c       162       262    287.13     34.29      8.37   1000000         0
447.01/447.21	c       159       272    285.81     32.84      8.70   1000000         0
448.11/448.39	c       182       298    286.87     30.97      9.26   1000000         0
449.31/449.56	c       163       257    286.26     32.99      8.68   1000000         0
450.51/450.74	c       183       227    287.44     35.82      8.03   1000000         0
451.71/451.92	c       165       298    286.85     32.24      8.90   1000000         0
452.81/453.09	c       180       325    285.48     33.26      8.58   1000000         0
454.02/454.27	c       162       301    283.06     33.56      8.44   1000000         0
455.22/455.45	c       175       308    292.45     34.40      8.50   1000000         0
456.41/456.63	c       162       317    285.47     34.58      8.26   1000000         0
457.61/457.81	c       171       259    285.28     33.27      8.57   1000000         0
458.71/458.99	c       169       264    285.08     32.64      8.73   1000000         0
459.91/460.16	c       168       267    283.08     32.10      8.82   1000000         0
461.11/461.34	c       183       298    282.38     32.09      8.80   1000000         0
462.31/462.51	c       169       286    285.10     33.66      8.47   1000000         0
463.41/463.68	c       171       297    292.01     32.98      8.85   1000000         0
464.61/464.86	c       164       278    289.73     34.10      8.50   1000000         0
465.81/466.04	c       176       304    286.21     32.59      8.78   1000000         0
467.01/467.21	c       148       331    282.05     37.20      7.58   1000000         0
468.20/468.40	c       173       309    286.03     34.39      8.32   1000000         0
469.30/469.57	c       170       311    283.52     33.95      8.35   1000000         0
470.51/470.75	c       169       252    283.53     33.25      8.53   1000000         0
471.71/471.93	c       178       272    283.94     32.01      8.87   1000000         0
472.90/473.11	c       159       248    287.04     33.03      8.69   1000000         0
474.00/474.29	c       177       352    286.21     34.42      8.31   1000000         0
475.20/475.47	c       161       305    285.17     32.77      8.70   1000000         0
476.40/476.64	c       172       295    286.80     34.44      8.33   1000000         0
477.60/477.82	c       190       293    287.28     34.04      8.44   1000000         0
478.80/479.00	c       178       269    279.03     32.67      8.54   1000000         0
479.90/480.18	c       176       285    287.98     32.81      8.78   1000000         0
481.10/481.35	c       180       320    285.30     33.20      8.59   1000000         0
482.30/482.53	c       162       236    288.40     35.88      8.04   1000000         0
483.50/483.71	c       172       323    288.37     32.72      8.81   1000000         0
484.60/484.88	c       192       296    288.27     32.76      8.80   1000000         0
485.80/486.05	c       168       283    283.16     32.10      8.82   1000000         0
487.01/487.23	c       163       239    285.30     33.89      8.42   1000000         0
488.20/488.41	c       177       259    284.69     34.88      8.16   1000000         0
489.30/489.59	c       178       307    286.58     34.68      8.26   1000000         0
490.50/490.77	c       170       330    285.19     30.36      9.39   1000000         0
491.70/491.95	c       178       282    290.84     33.37      8.72   1000000         0
492.90/493.13	c       177       242    285.33     34.77      8.21   1000000         0
494.09/494.30	c       160       277    287.69     34.44      8.35   1000000         0
495.19/495.48	c       175       308    288.24     34.51      8.35   1000000         0
496.39/496.66	c       176       311    288.14     34.70      8.30   1000000         0
497.59/497.83	c       178       287    290.84     33.81      8.60   1000000         0
498.79/499.01	c       172       263    285.53     32.39      8.82   1000000         0
499.89/500.18	c       162       356    285.16     33.14      8.60   1000000         0
501.09/501.36	c       163       328    288.73     35.76      8.07   1000000         0
502.29/502.53	c       174       281    290.67     37.13      7.83   1000000         0
503.50/503.70	c       181       295    292.60     35.26      8.30   1000000         0
504.60/504.88	c       183       303    290.51     34.63      8.39   1000000         0
505.80/506.05	c       178       290    289.74     32.71      8.86   1000000         0
506.99/507.22	c       174       310    287.44     31.37      9.16   1000000         0
508.19/508.40	c       164       286    282.74     31.39      9.01   1000000         0
509.29/509.57	c       187       247    284.36     33.49      8.49   1000000         0
510.49/510.74	c       186       341    289.38     31.34      9.23   1000000         0
511.69/511.92	c       170       310    283.47     31.59      8.97   1000000         0
512.79/513.09	c       163       299    287.79     33.39      8.62   1000000         0
513.99/514.28	c       177       269    286.98     34.93      8.22   1000000         0
515.19/515.46	c       169       299    286.84     34.82      8.24   1000000         0
516.39/516.63	c       153       235    285.59     35.07      8.14   1000000         0
517.59/517.82	c       183       256    285.55     32.48      8.79   1000000         0
518.69/518.99	c       178       310    285.16     30.55      9.34   1000000         0
519.89/520.17	c       177       269    285.12     34.52      8.26   1000000         0
521.09/521.35	c       179       340    286.96     32.43      8.85   1000000         0
522.29/522.53	c       145       355    285.88     35.20      8.12   1000000         0
523.48/523.71	c       180       251    283.85     32.14      8.83   1000000         0
524.58/524.88	c       186       264    287.56     32.01      8.98   1000000         0
525.78/526.06	c       171       258    285.14     33.52      8.51   1000000         0
526.98/527.23	c       182       281    285.64     35.60      8.02   1000000         0
528.18/528.40	c       181       268    284.66     32.90      8.65   1000000         0
529.28/529.57	c       159       335    286.09     33.88      8.44   1000000         0
530.48/530.75	c       171       277    288.52     33.04      8.73   1000000         0
531.68/531.93	c       182       335    288.50     34.95      8.25   1000000         0
532.88/533.11	c       169       289    284.51     31.34      9.08   1000000         0
533.98/534.28	c       181       282    288.12     32.72      8.80   1000000         0
535.18/535.47	c       167       256    284.80     33.43      8.52   1000000         0
536.38/536.64	c       175       294    284.65     34.73      8.19   1000000         0
537.59/537.82	c       174       299    286.73     34.03      8.42   1000000         0
538.68/539.00	c       175       289    283.01     32.60      8.68   1000000         0
539.88/540.18	c       185       226    286.51     34.46      8.32   1000000         0
541.08/541.35	c       176       297    290.33     33.08      8.78   1000000         0
542.28/542.52	c       179       248    283.41     32.56      8.70   1000000         0
543.48/543.70	c       164       206    284.81     31.57      9.02   1000000         0
544.58/544.88	c       168       245    287.45     33.59      8.56   1000000         0
545.78/546.06	c       181       284    291.45     38.55      7.56   1000000         0
546.97/547.23	c       175       321    283.99     34.47      8.24   1000000         0
548.17/548.41	c       164       336    287.22     34.36      8.36   1000000         0
549.27/549.58	c       188       263    282.90     30.78      9.19   1000000         0
550.47/550.76	c       168       304    286.54     34.58      8.29   1000000         0
551.67/551.94	c       168       283    283.77     35.83      7.92   1000000         0
552.87/553.12	c       178       328    285.77     31.55      9.06   1000000         0
553.97/554.29	c       174       285    285.68     34.46      8.29   1000000         0
555.18/555.47	c       148       274    282.85     37.53      7.54   1000000         0
556.38/556.64	c       176       287    285.28     33.61      8.49   1000000         0
557.57/557.82	c       168       287    282.18     30.53      9.24   1000000         0
558.77/559.00	c       153       253    288.58     35.03      8.24   1000000         0
559.87/560.17	c       172       317    289.61     35.31      8.20   1000000         0
561.07/561.35	c       188       275    292.28     33.81      8.65   1000000         0
562.27/562.53	c       183       291    284.38     32.03      8.88   1000000         0
563.47/563.70	c       167       317    289.43     33.68      8.59   1000000         0
564.57/564.89	c       181       295    287.98     32.24      8.93   1000000         0
565.77/566.06	c       169       322    286.16     33.26      8.60   1000000         0
566.97/567.24	c       170       261    286.37     33.55      8.53   1000000         0
568.17/568.42	c       162       282    284.34     33.94      8.38   1000000         0
569.37/569.60	c       164       285    281.67     33.68      8.36   1000000         0
570.47/570.77	c       165       238    290.38     35.05      8.29   1000000         0
571.67/571.94	c       179       311    292.02     34.94      8.36   1000000         0
572.87/573.12	c       172       263    287.08     33.29      8.62   1000000         0
574.06/574.30	c       175       260    284.26     35.42      8.02   1000000         0
575.16/575.48	c       165       333    289.84     34.49      8.40   1000000         0
576.36/576.66	c       170       277    289.86     34.68      8.36   1000000         0
577.56/577.83	c       182       277    285.45     32.64      8.75   1000000         0
578.76/579.01	c       179       264    288.30     33.07      8.72   1000000         0
579.86/580.18	c       174       291    281.44     34.30      8.21   1000000         0
581.06/581.37	c       171       275    280.97     31.30      8.98   1000000         0
582.26/582.54	c       165       290    282.02     34.16      8.26   1000000         0
583.46/583.72	c       166       285    291.10     34.97      8.32   1000000         0
584.66/584.90	c       179       314    283.82     35.56      7.98   1000000         0
585.76/586.08	c       160       312    286.50     34.36      8.34   1000000         0
586.96/587.25	c       178       304    283.35     32.30      8.77   1000000         0
588.17/588.43	c       174       291    286.41     34.53      8.29   1000000         0
589.36/589.61	c       172       256    284.15     32.36      8.78   1000000         0
590.46/590.79	c       185       287    291.54     35.63      8.18   1000000         0
591.66/591.97	c       173       270    283.25     31.86      8.89   1000000         0
592.86/593.15	c       185       279    291.12     34.37      8.47   1000000         0
594.06/594.32	c       183       295    289.71     33.57      8.63   1000000         0
595.16/595.50	c       161       243    287.09     40.16      7.15   1000000         0
596.36/596.68	c       179       241    282.97     30.46      9.29   1000000         0
597.56/597.85	c       161       301    290.17     35.39      8.20   1000000         0
598.75/599.03	c       185       261    290.10     35.22      8.24   1000000         0
599.95/600.20	c       182       305    289.75     35.93      8.06   1000000         0
601.05/601.38	c       165       266    286.00     32.74      8.73   1000000         0
602.25/602.55	c       166       292    287.05     35.16      8.17   1000000         0
603.45/603.73	c       167       302    284.42     35.26      8.07   1000000         0
604.55/604.90	c       192       320    292.29     31.00      9.43   1000000         0
605.76/606.08	c       186       256    288.10     30.82      9.35   1000000         0
606.96/607.25	c       178       313    284.24     33.09      8.59   1000000         0
608.15/608.43	c       193       294    282.85     33.30      8.49   1000000         0
609.35/609.60	c       179       275    287.13     32.46      8.85   1000000         0
610.45/610.78	c       179       310    286.74     31.88      8.99   1000000         0
611.65/611.96	c       176       259    286.33     34.10      8.40   1000000         0
612.85/613.14	c       172       273    285.99     33.61      8.51   1000000         0
614.05/614.31	c       178       244    285.61     32.99      8.66   1000000         0
615.25/615.50	c       159       297    284.91     34.83      8.18   1000000         0
616.35/616.68	c       184       296    289.54     31.77      9.11   1000000         0
617.55/617.85	c       169       309    287.63     33.73      8.53   1000000         0
618.75/619.03	c       177       257    291.20     34.94      8.33   1000000         0
619.94/620.20	c       184       295    285.22     30.83      9.25   1000000         0
621.04/621.38	c       175       261    290.17     33.22      8.74   1000000         0
622.25/622.55	c       177       278    287.25     34.24      8.39   1000000         0
623.45/623.73	c       173       315    287.61     34.42      8.36   1000000         0
624.64/624.90	c       168       254    283.87     33.47      8.48   1000000         0
625.74/626.08	c       162       271    286.85     34.66      8.28   1000000         0
626.94/627.25	c       165       314    286.94     35.00      8.20   1000000         0
628.14/628.43	c       169       312    287.93     33.14      8.69   1000000         0
629.34/629.60	c       177       324    285.51     33.27      8.58   1000000         0
630.44/630.78	c       176       310    290.48     31.22      9.30   1000000         0
631.64/631.96	c       175       266    279.75     33.45      8.36   1000000         0
632.84/633.13	c       157       243    285.72     33.35      8.57   1000000         0
634.04/634.31	c       169       272    284.26     35.36      8.04   1000000         0
635.14/635.48	c       177       308    287.72     34.01      8.46   1000000         0
636.34/636.65	c       173       270    286.16     33.38      8.57   1000000         0
637.54/637.83	c       167       229    288.63     35.53      8.12   1000000         0
638.64/639.00	c       181       242    291.36     33.42      8.72   1000000         0
639.84/640.18	c       179       271    289.14     35.42      8.16   1000000         0
641.04/641.35	c       158       275    281.56     34.51      8.16   1000000         0
642.24/642.53	c       179       308    286.35     33.54      8.54   1000000         0
643.44/643.71	c       168       270    285.86     32.89      8.69   1000000         0
644.54/644.89	c       173       282    282.04     33.76      8.35   1000000         0
645.73/646.07	c       162       278    287.74     33.57      8.57   1000000         0
646.93/647.25	c       160       250    288.72     34.98      8.25   1000000         0
648.13/648.42	c       177       275    278.34     31.74      8.77   1000000         0
649.33/649.60	c       185       298    285.97     33.39      8.56   1000000         0
650.43/650.78	c       175       284    285.89     34.50      8.29   1000000         0
651.63/651.95	c       176       258    283.60     32.58      8.70   1000000         0
652.83/653.13	c       188       325    287.27     33.98      8.45   1000000         0
654.03/654.30	c       161       291    289.43     33.23      8.71   1000000         0
655.13/655.48	c       172       280    289.70     36.00      8.05   1000000         0
656.34/656.65	c       165       247    284.52     33.71      8.44   1000000         0
657.54/657.83	c       178       276    282.17     32.73      8.62   1000000         0
658.73/659.00	c       179       310    288.37     33.46      8.62   1000000         0
659.83/660.18	c       177       215    285.36     35.61      8.01   1000000         0
661.03/661.36	c       167       348    288.95     35.80      8.07   1000000         0
662.23/662.53	c       177       279    279.40     29.92      9.34   1000000         0
663.43/663.71	c       175       290    283.71     34.60      8.20   1000000         0
664.53/664.89	c       169       259    284.78     33.27      8.56   1000000         0
665.72/666.06	c       176       292    287.62     33.18      8.67   1000000         0
666.92/667.24	c       167       323    282.48     31.35      9.01   1000000         0
668.12/668.42	c       160       270    282.99     33.51      8.45   1000000         0
669.22/669.59	c       170       296    286.19     35.92      7.97   1000000         0
670.42/670.77	c       175       255    285.21     33.27      8.57   1000000         0
671.62/671.95	c       162       314    289.79     34.73      8.34   1000000         0
672.83/673.12	c       166       250    284.83     32.33      8.81   1000000         0
673.93/674.30	c       156       292    281.23     32.26      8.72   1000000         0
675.13/675.48	c       192       339    288.06     30.95      9.31   1000000         0
676.32/676.65	c       190       236    286.87     32.29      8.89   1000000         0
677.52/677.83	c       174       342    281.23     31.97      8.80   1000000         0
678.72/679.00	c       174       256    283.62     32.91      8.62   1000000         0
679.82/680.18	c       172       291    290.01     33.06      8.77   1000000         0
681.02/681.35	c       167       280    286.95     32.86      8.73   1000000         0
682.22/682.53	c       166       302    285.07     31.25      9.12   1000000         0
683.42/683.71	c       173       346    282.65     32.09      8.81   1000000         0
684.52/684.89	c       167       320    289.97     35.70      8.12   1000000         0
685.72/686.06	c       186       272    284.96     31.92      8.93   1000000         0
686.92/687.24	c       173       244    283.85     33.44      8.49   1000000         0
688.12/688.42	c       173       260    281.42     32.79      8.58   1000000         0
689.22/689.59	c       175       269    288.45     32.99      8.74   1000000         0
690.42/690.77	c       178       300    280.53     32.26      8.70   1000000         0
691.62/691.95	c       175       309    286.13     34.11      8.39   1000000         0
692.81/693.12	c       182       287    289.44     34.02      8.51   1000000         0
693.91/694.30	c       154       298    290.85     33.46      8.69   1000000         0
695.11/695.48	c       180       294    288.85     32.56      8.87   1000000         0
696.31/696.66	c       187       309    293.99     36.96      7.96   1000000         0
697.51/697.83	c       174       279    284.11     32.93      8.63   1000000         0
698.71/699.01	c       178       351    287.47     35.58      8.08   1000000         0
699.81/700.18	c       180       288    289.43     32.31      8.96   1000000         0
701.01/701.35	c       187       231    285.50     33.85      8.43   1000000         0
702.21/702.53	c       176       274    284.64     32.37      8.79   1000000         0
703.41/703.71	c       180       217    285.46     33.73      8.46   1000000         0
704.51/704.88	c       171       336    290.07     33.07      8.77   1000000         0
705.71/706.06	c       156       315    283.73     33.25      8.53   1000000         0
706.92/707.24	c       176       310    285.61     32.54      8.78   1000000         0
708.12/708.42	c       189       290    284.07     34.41      8.26   1000000         0
709.31/709.60	c       171       268    282.25     32.86      8.59   1000000         0
710.41/710.77	c       171       274    289.02     31.85      9.08   1000000         0
711.61/711.95	c       168       324    282.12     37.15      7.59   1000000         0
712.81/713.13	c       180       273    284.96     34.42      8.28   1000000         0
714.01/714.31	c       174       253    285.90     35.21      8.12   1000000         0
715.11/715.49	c       163       288    282.37     32.29      8.75   1000000         0
716.30/716.67	c       179       293    289.23     32.50      8.90   1000000         0
717.50/717.85	c       169       311    288.19     33.60      8.58   1000000         0
718.70/719.03	c       177       298    284.45     32.25      8.82   1000000         0
719.90/720.20	c       166       327    288.64     34.25      8.43   1000000         0
721.00/721.38	c       153       319    285.54     33.43      8.54   1000000         0
722.20/722.56	c       192       281    289.32     32.70      8.85   1000000         0
723.41/723.73	c       158       267    284.50     34.86      8.16   1000000         0
724.61/724.91	c       160       304    285.82     29.80      9.59   1000000         0
725.72/726.09	c       163       232    282.03     32.75      8.61   1000000         0
726.91/727.26	c       174       254    292.11     34.65      8.43   1000000         0
728.11/728.44	c       176       253    285.65     33.17      8.61   1000000         0
729.31/729.61	c       152       330    287.41     34.69      8.28   1000000         0
730.41/730.79	c       183       293    285.84     34.18      8.36   1000000         0
731.61/731.98	c       174       269    281.75     34.55      8.15   1000000         0
732.81/733.16	c       189       387    287.12     33.99      8.45   1000000         0
734.01/734.34	c       168       278    287.27     33.03      8.70   1000000         0
735.21/735.51	c       181       353    285.43     33.60      8.50   1000000         0
736.31/736.69	c       146       307    286.52     33.01      8.68   1000000         0
737.51/737.87	c       177       327    285.88     31.46      9.09   1000000         0
738.71/739.05	c       183       254    285.56     34.10      8.38   1000000         0
739.91/740.22	c       176       244    283.83     32.47      8.74   1000000         0
741.01/741.40	c       166       294    283.71     33.72      8.41   1000000         0
742.21/742.58	c       159       253    286.03     34.00      8.41   1000000         0
743.40/743.76	c       163       283    286.78     35.28      8.13   1000000         0
744.60/744.93	c       188       285    285.96     31.83      8.98   1000000         0
745.80/746.11	c       179       351    287.48     32.82      8.76   1000000         0
746.90/747.29	c       156       281    286.10     34.04      8.40   1000000         0
748.10/748.47	c       172       282    290.39     34.45      8.43   1000000         0
749.30/749.65	c       183       275    288.48     32.23      8.95   1000000         0
750.50/750.82	c       163       282    288.69     34.22      8.44   1000000         0
751.70/752.00	c       171       277    288.92     33.10      8.73   1000000         0
752.80/753.18	c       166       291    282.45     32.57      8.67   1000000         0
754.00/754.35	c       165       247    283.12     35.04      8.08   1000000         0
755.20/755.53	c       180       255    284.31     32.17      8.84   1000000         0
756.30/756.70	c       176       329    289.31     36.17      8.00   1000000         0
757.51/757.88	c       173       303    289.01     34.49      8.38   1000000         0
758.71/759.05	c       171       279    288.00     31.14      9.25   1000000         0
759.90/760.23	c       174       269    287.06     32.99      8.70   1000000         0
761.10/761.41	c       167       347    283.20     31.74      8.92   1000000         0
762.20/762.58	c       164       306    287.03     34.88      8.23   1000000         0
763.40/763.77	c       181       307    286.77     34.66      8.27   1000000         0
764.60/764.95	c       180       298    287.89     33.81      8.52   1000000         0
765.80/766.12	c       174       254    285.95     34.16      8.37   1000000         0
766.99/767.30	c       191       333    288.60     34.34      8.40   1000000         0
768.09/768.48	c       165       276    287.90     33.19      8.68   1000000         0
769.29/769.66	c       158       268    287.44     33.93      8.47   1000000         0
770.49/770.83	c       175       305    288.92     31.24      9.25   1000000         0
771.69/772.01	c       165       253    285.33     33.46      8.53   1000000         0
772.79/773.19	c       181       276    288.12     34.48      8.36   1000000         0
774.00/774.37	c       171       330    283.95     31.26      9.08   1000000         0
775.20/775.55	c       176       256    294.56     36.19      8.14   1000000         0
776.39/776.73	c       166       288    283.23     33.24      8.52   1000000         0
777.59/777.91	c       176       273    285.62     35.27      8.10   1000000         0
778.69/779.08	c       181       333    287.46     33.65      8.54   1000000         0
779.89/780.27	c       179       286    286.39     32.21      8.89   1000000         0
781.09/781.44	c       162       291    284.11     35.84      7.93   1000000         0
782.29/782.61	c       179       355    281.42     33.95      8.29   1000000         0
783.39/783.79	c       172       335    286.65     35.03      8.18   1000000         0
784.59/784.96	c       170       254    285.88     34.09      8.39   1000000         0
785.79/786.13	c       173       348    287.66     34.23      8.40   1000000         0
786.99/787.31	c       166       373    283.38     32.21      8.80   1000000         0
788.08/788.48	c       182       368    295.64     35.90      8.23   1000000         0
789.28/789.68	c       175       289    286.38     33.56      8.53   1000000         0
790.49/790.85	c       168       310    287.05     35.53      8.08   1000000         0
791.69/792.03	c       181       350    285.09     33.52      8.51   1000000         0
792.88/793.21	c       167       337    290.00     32.69      8.87   1000000         0
793.98/794.38	c       174       272    286.80     34.24      8.37   1000000         0
795.18/795.56	c       174       319    284.78     31.76      8.97   1000000         0
796.38/796.73	c       171       238    283.20     31.13      9.10   1000000         0
797.58/797.91	c       165       289    289.27     31.58      9.16   1000000         0
798.68/799.09	c       178       287    288.78     32.33      8.93   1000000         0
799.88/800.27	c       182       245    285.81     33.56      8.52   1000000         0
801.08/801.44	c       121       309    286.05     32.24      8.87   1000000         0
802.28/802.62	c       175       284    290.46     35.67      8.14   1000000         0
803.48/803.80	c       172       326    287.79     34.11      8.44   1000000         0
804.58/804.98	c       174       286    290.34     32.58      8.91   1000000         0
805.78/806.16	c       181       216    285.48     32.32      8.83   1000000         0
806.98/807.34	c       172       339    284.93     32.68      8.72   1000000         0
808.18/808.52	c       179       369    283.84     32.68      8.69   1000000         0
809.28/809.68	c       177       252    286.66     32.25      8.89   1000000         0
810.47/810.87	c       174       273    282.27     36.54      7.72   1000000         0
811.67/812.04	c       183       332    289.41     35.47      8.16   1000000         0
812.87/813.22	c       176       285    285.79     32.48      8.80   1000000         0
813.97/814.39	c       174       338    287.79     32.62      8.82   1000000         0
815.17/815.57	c       176       272    284.27     34.21      8.31   1000000         0
816.37/816.74	c       177       333    286.82     35.53      8.07   1000000         0
817.57/817.92	c       162       232    284.75     34.24      8.32   1000000         0
818.67/819.10	c       181       272    285.77     34.55      8.27   1000000         0
819.87/820.28	c       171       275    283.88     37.75      7.52   1000000         0
821.07/821.45	c       149       265    283.48     33.24      8.53   1000000         0
822.27/822.63	c       183       317    286.86     33.25      8.63   1000000         0
823.37/823.80	c       174       340    287.78     34.81      8.27   1000000         0
824.58/824.99	c       165       306    285.34     33.37      8.55   1000000         0
825.78/826.17	c       183       316    290.51     31.58      9.20   1000000         0
826.97/827.34	c       177       281    287.72     32.14      8.95   1000000         0
828.17/828.51	c       160       266    285.37     34.41      8.29   1000000         0
829.27/829.68	c       157       285    286.87     35.94      7.98   1000000         0
830.47/830.86	c       160       261    286.27     33.41      8.57   1000000         0
831.67/832.04	c       159       317    284.37     33.49      8.49   1000000         0
832.87/833.21	c       169       282    289.08     34.88      8.29   1000000         0
833.97/834.39	c       164       244    286.08     33.65      8.50   1000000         0
835.17/835.57	c       186       301    286.51     34.70      8.26   1000000         0
836.36/836.75	c       176       275    283.43     32.68      8.67   1000000         0
837.56/837.92	c       176       306    288.47     31.56      9.14   1000000         0
838.76/839.10	c       183       264    286.29     31.27      9.15   1000000         0
839.86/840.28	c       176       288    286.22     34.07      8.40   1000000         0
841.07/841.46	c       182       220    286.18     31.46      9.10   1000000         0
842.27/842.63	c       167       322    287.86     35.23      8.17   1000000         0
843.46/843.81	c       175       345    281.60     31.47      8.95   1000000         0
844.56/844.99	c       142       278    286.36     32.71      8.76   1000000         0
845.76/846.17	c       175       288    284.48     32.37      8.79   1000000         0
846.96/847.34	c       180       254    286.84     32.77      8.75   1000000         0
848.16/848.52	c       179       245    285.44     32.65      8.74   1000000         0
849.26/849.69	c       170       214    286.58     32.48      8.82   1000000         0
850.46/850.88	c       171       285    283.01     31.50      8.98   1000000         0
851.66/852.05	c       168       251    285.19     34.78      8.20   1000000         0
852.86/853.23	c       168       255    288.22     32.99      8.74   1000000         0
854.06/854.41	c       184       322    282.17     31.76      8.89   1000000         0
855.16/855.58	c       168       311    288.46     34.17      8.44   1000000         0
856.36/856.76	c       171       299    290.46     33.67      8.63   1000000         0
857.56/857.94	c       175       233    285.07     33.73      8.45   1000000         0
858.76/859.12	c       170       314    284.56     33.01      8.62   1000000         0
859.96/860.30	c       180       307    284.68     35.39      8.04   1000000         0
861.06/861.48	c       175       249    287.44     34.14      8.42   1000000         0
862.26/862.66	c       166       337    286.90     33.99      8.44   1000000         0
863.45/863.83	c       151       297    283.59     34.99      8.11   1000000         0
864.65/865.02	c       174       247    288.83     33.74      8.56   1000000         0
865.75/866.19	c       189       293    288.93     34.37      8.41   1000000         0
866.95/867.38	c       177       245    287.07     32.48      8.84   1000000         0
868.15/868.55	c       172       281    287.78     32.70      8.80   1000000         0
869.35/869.73	c       145       282    284.84     35.28      8.07   1000000         0
870.55/870.90	c       181       255    284.35     32.14      8.85   1000000         0
871.65/872.08	c       163       289    283.59     34.27      8.28   1000000         0
872.85/873.26	c       184       286    290.80     33.26      8.74   1000000         0
874.06/874.44	c       176       333    288.02     31.15      9.25   1000000         0
875.26/875.62	c       163       248    285.09     31.48      9.05   1000000         0
876.36/876.79	c       172       300    284.42     34.63      8.21   1000000         0
877.55/877.97	c       178       283    283.71     31.78      8.93   1000000         0
878.75/879.15	c       174       266    282.50     32.19      8.78   1000000         0
879.95/880.32	c       186       319    291.44     32.23      9.04   1000000         0
881.15/881.50	c       169       267    283.47     32.89      8.62   1000000         0
882.25/882.68	c       173       309    288.89     35.67      8.10   1000000         0
883.45/883.85	c       169       301    285.15     32.60      8.75   1000000         0
884.65/885.02	c       179       231    285.85     33.28      8.59   1000000         0
885.85/886.20	c       182       280    289.55     34.81      8.32   1000000         0
886.95/887.38	c       177       267    288.93     34.05      8.49   1000000         0
888.15/888.55	c       179       226    282.59     33.04      8.55   1000000         0
889.34/889.73	c       155       292    285.48     36.48      7.82   1000000         0
890.55/890.91	c       181       224    286.38     33.87      8.46   1000000         0
891.65/892.08	c       188       271    292.21     33.80      8.65   1000000         0
892.85/893.25	c       180       300    288.97     34.21      8.45   1000000         0
894.04/894.43	c       154       308    281.78     34.50      8.17   1000000         0
895.24/895.61	c       183       314    283.39     31.73      8.93   1000000         0
896.34/896.79	c       173       258    279.57     32.78      8.53   1000000         0
897.54/897.96	c       170       306    282.74     34.41      8.22   1000000         0
898.74/899.14	c       183       264    285.99     31.99      8.94   1000000         0
899.94/900.31	c       176       254    282.09     34.12      8.27   1000000         0
901.04/901.50	c       178       368    283.57     32.50      8.72   1000000         0
902.24/902.67	c       163       233    285.51     32.03      8.91   1000000         0
903.44/903.84	c       175       265    285.09     33.04      8.63   1000000         0
904.64/905.02	c       188       344    284.05     32.80      8.66   1000000         0
905.84/906.20	c       169       280    289.23     33.07      8.75   1000000         0
906.94/907.37	c       191       264    287.77     33.23      8.66   1000000         0
908.14/908.55	c       172       239    285.53     33.46      8.53   1000000         0
909.34/909.73	c       180       289    281.92     34.61      8.14   1000000         0
910.54/910.90	c       175       278    287.27     33.58      8.55   1000000         0
911.64/912.08	c       167       309    290.79     34.71      8.38   1000000         0
912.84/913.25	c       174       318    286.14     33.43      8.56   1000000         0
914.03/914.43	c       181       290    285.74     33.09      8.64   1000000         0
915.23/915.60	c       160       297    282.45     31.29      9.03   1000000         0
916.33/916.78	c       171       257    284.58     32.32      8.80   1000000         0
917.53/917.95	c       158       292    286.83     35.01      8.19   1000000         0
918.73/919.12	c       148       197    291.50     35.59      8.19   1000000         0
919.93/920.30	c       183       266    287.00     33.79      8.49   1000000         0
921.03/921.48	c       166       260    286.16     35.44      8.07   1000000         0
922.23/922.65	c       180       313    287.00     34.63      8.29   1000000         0
923.43/923.83	c       163       306    282.30     33.70      8.38   1000000         0
924.53/925.00	c       164       278    287.14     35.45      8.10   1000000         0
925.74/926.18	c       184       270    286.55     32.99      8.69   1000000         0
926.94/927.35	c       173       324    287.22     31.82      9.03   1000000         0
928.13/928.53	c       178       260    285.76     32.55      8.78   1000000         0
929.33/929.71	c       176       269    288.05     33.87      8.50   1000000         0
930.43/930.89	c       179       259    285.70     33.62      8.50   1000000         0
931.63/932.06	c       170       245    282.26     34.03      8.30   1000000         0
932.83/933.24	c       164       333    286.88     32.86      8.73   1000000         0
934.03/934.41	c       171       290    289.88     34.94      8.30   1000000         0
935.22/935.60	c       169       294    293.19     35.48      8.26   1000000         0
936.32/936.77	c       174       322    285.22     33.16      8.60   1000000         0
937.52/937.95	c       182       320    285.21     32.51      8.77   1000000         0
938.72/939.12	c       171       259    284.90     34.42      8.28   1000000         0
939.92/940.30	c       189       302    287.43     29.96      9.60   1000000         0
941.02/941.48	c       190       335    288.63     32.02      9.01   1000000         0
942.23/942.65	c       154       252    287.39     33.17      8.66   1000000         0
943.43/943.83	c       170       247    284.50     34.97      8.14   1000000         0
944.62/945.01	c       167       339    287.94     35.91      8.02   1000000         0
945.72/946.18	c       176       263    280.83     33.87      8.29   1000000         0
946.92/947.36	c       186       297    286.80     36.24      7.91   1000000         0
948.12/948.54	c       161       306    282.45     32.88      8.59   1000000         0
949.32/949.71	c       179       221    281.09     34.37      8.18   1000000         0
950.42/950.89	c       173       308    284.06     33.06      8.59   1000000         0
951.62/952.07	c       163       310    280.64     34.28      8.19   1000000         0
952.82/953.25	c       178       222    283.35     34.79      8.14   1000000         0
954.02/954.42	c       178       279    286.18     31.01      9.23   1000000         0
955.22/955.60	c       166       250    285.89     33.49      8.54   1000000         0
956.32/956.78	c       179       298    284.54     32.71      8.70   1000000         0
957.52/957.95	c       173       249    288.06     32.33      8.91   1000000         0
958.72/959.12	c       172       242    286.27     34.45      8.31   1000000         0
959.92/960.30	c       177       226    287.33     33.07      8.69   1000000         0
961.02/961.48	c       176       300    292.65     35.48      8.25   1000000         0
962.22/962.66	c       178       278    289.22     33.71      8.58   1000000         0
963.42/963.84	c       169       299    287.11     35.15      8.17   1000000         0
964.62/965.02	c       166       303    284.77     33.83      8.42   1000000         0
965.81/966.20	c       172       282    284.45     33.59      8.47   1000000         0
966.91/967.38	c       178       332    284.07     32.37      8.77   1000000         0
968.11/968.55	c       178       325    284.74     32.67      8.72   1000000         0
969.31/969.73	c       189       309    286.30     30.93      9.26   1000000         0
970.51/970.90	c       181       253    290.97     35.10      8.29   1000000         0
971.61/972.08	c       164       280    280.26     33.24      8.43   1000000         0
972.81/973.26	c       184       283    286.88     32.04      8.95   1000000         0
974.01/974.43	c       171       285    282.44     32.40      8.72   1000000         0
975.22/975.61	c       155       234    282.94     36.40      7.77   1000000         0
976.32/976.78	c       164       292    290.01     33.48      8.66   1000000         0
977.52/977.96	c       186       273    284.98     31.86      8.94   1000000         0
978.71/979.13	c       181       253    291.30     34.75      8.38   1000000         0
979.91/980.31	c       159       288    284.81     32.82      8.68   1000000         0
981.01/981.48	c       189       270    291.74     36.19      8.06   1000000         0
982.21/982.66	c       167       272    283.12     36.15      7.83   1000000         0
983.41/983.83	c       182       275    285.08     34.03      8.38   1000000         0
984.61/985.01	c       168       292    285.95     35.06      8.16   1000000         0
985.71/986.18	c       183       279    287.87     33.63      8.56   1000000         0
986.91/987.35	c       180       244    286.45     33.26      8.61   1000000         0
988.11/988.53	c       175       291    284.19     31.13      9.13   1000000         0
989.31/989.71	c       176       324    283.26     32.35      8.76   1000000         0
990.41/990.88	c       174       287    282.66     34.52      8.19   1000000         0
991.61/992.05	c       164       310    284.26     33.43      8.50   1000000         0
992.81/993.23	c       170       304    288.04     34.92      8.25   1000000         0
994.01/994.41	c       182       276    285.49     33.91      8.42   1000000         0
995.11/995.59	c       168       251    282.75     33.82      8.36   1000000         0
996.30/996.76	c       181       254    286.85     32.70      8.77   1000000         0
997.50/997.93	c       177       337    283.04     31.59      8.96   1000000         0
998.70/999.11	c       178       288    284.08     33.70      8.43   1000000         0
999.80/1000.29	c       172       269    282.35     32.98      8.56   1000000         0
1001.00/1001.47	c       174       258    291.90     35.41      8.24   1000000         0
1002.20/1002.64	c       167       265    281.05     33.13      8.48   1000000         0
1003.40/1003.82	c       167       265    286.55     33.93      8.45   1000000         0
1004.50/1004.99	c       164       311    282.84     31.84      8.88   1000000         0
1005.70/1006.18	c       171       261    286.26     33.27      8.60   1000000         0
1006.90/1007.35	c       158       256    284.13     31.86      8.92   1000000         0
1008.10/1008.52	c       163       237    284.38     32.20      8.83   1000000         0
1009.20/1009.70	c       177       192    284.34     32.87      8.65   1000000         0
1010.41/1010.88	c       163       270    289.07     32.96      8.77   1000000         0
1011.61/1012.05	c       171       299    291.02     34.69      8.39   1000000         0
1012.80/1013.23	c       180       244    284.30     33.09      8.59   1000000         0
1014.00/1014.41	c       169       291    289.38     34.19      8.46   1000000         0
1015.10/1015.59	c       185       334    287.89     31.68      9.09   1000000         0
1016.30/1016.76	c       188       270    288.86     32.16      8.98   1000000         0
1017.49/1017.94	c       169       275    291.76     32.46      8.99   1000000         0
1018.69/1019.11	c       176       340    288.22     32.49      8.87   1000000         0
1019.79/1020.29	c       173       305    288.75     33.56      8.60   1000000         0
1020.99/1021.47	c       186       282    290.49     33.50      8.67   1000000         0
1022.19/1022.64	c       155       342    282.93     35.18      8.04   1000000         0
1023.39/1023.81	c       170       290    283.68     32.07      8.84   1000000         0
1024.49/1024.99	c       172       315    288.64     34.03      8.48   1000000         0
1025.69/1026.17	c       175       288    286.81     32.64      8.79   1000000         0
1026.90/1027.35	c       177       318    290.39     34.74      8.36   1000000         0
1028.10/1028.53	c       175       219    281.87     34.33      8.21   1000000         0
1029.29/1029.70	c       179       318    285.91     33.74      8.48   1000000         0
1030.39/1030.88	c       184       324    286.79     33.88      8.47   1000000         0
1031.59/1032.05	c       173       245    284.04     33.94      8.37   1000000         0
1032.79/1033.23	c       162       291    286.87     34.62      8.29   1000000         0
1033.99/1034.41	c       190       339    286.39     32.03      8.94   1000000         0
1035.09/1035.58	c       185       265    285.12     31.16      9.15   1000000         0
1036.28/1036.76	c       150       309    286.91     36.53      7.85   1000000         0
1037.48/1037.94	c       168       294    283.98     33.48      8.48   1000000         0
1038.68/1039.11	c       179       289    283.66     32.97      8.60   1000000         0
1039.78/1040.28	c       177       285    287.17     31.12      9.23   1000000         0
1040.98/1041.45	c       179       290    286.49     34.63      8.27   1000000         0
1042.18/1042.63	c       165       327    281.69     33.17      8.49   1000000         0
1043.39/1043.81	c       179       277    288.46     33.21      8.69   1000000         0
1044.49/1044.99	c       185       302    289.05     33.26      8.69   1000000         0
1045.69/1046.17	c       169       286    280.20     32.62      8.59   1000000         0
1046.88/1047.34	c       177       312    286.90     35.56      8.07   1000000         0
1048.08/1048.52	c       179       274    284.72     33.22      8.57   1000000         0
1049.28/1049.70	c       175       312    285.12     34.62      8.24   1000000         0
1050.38/1050.88	c       172       251    285.13     35.39      8.06   1000000         0
1051.58/1052.05	c       176       287    288.75     33.54      8.61   1000000         0
1052.78/1053.23	c       168       289    281.43     34.07      8.26   1000000         0
1053.98/1054.41	c       165       304    288.21     37.09      7.77   1000000         0
1055.08/1055.59	c       172       291    291.81     33.73      8.65   1000000         0
1056.28/1056.76	c       171       263    284.03     35.83      7.93   1000000         0
1057.48/1057.93	c       184       269    284.65     30.47      9.34   1000000         0
1058.68/1059.11	c       164       236    286.03     34.64      8.26   1000000         0
1059.78/1060.29	c       183       263    284.22     33.01      8.61   1000000         0
1060.98/1061.47	c       175       312    280.73     33.14      8.47   1000000         0
1062.18/1062.64	c       174       247    290.00     31.94      9.08   1000000         0
1063.38/1063.82	c       153       298    288.72     34.28      8.42   1000000         0
1064.48/1064.99	c       183       274    284.80     32.80      8.68   1000000         0
1065.67/1066.17	c       155       270    287.84     33.94      8.48   1000000         0
1066.87/1067.34	c       172       291    285.30     32.74      8.71   1000000         0
1068.07/1068.53	c       165       241    285.67     34.25      8.34   1000000         0
1069.27/1069.71	c       163       284    283.37     33.91      8.36   1000000         0
1070.37/1070.88	c       178       310    285.78     32.57      8.78   1000000         0
1071.57/1072.05	c       183       246    287.27     34.38      8.35   1000000         0
1072.77/1073.23	c       176       311    290.11     34.09      8.51   1000000         0
1073.97/1074.41	c       169       214    286.33     33.91      8.44   1000000         0
1075.07/1075.59	c       174       310    286.33     33.39      8.58   1000000         0
1076.27/1076.77	c       154       254    285.52     33.87      8.43   1000000         0
1077.47/1077.94	c       181       296    288.80     34.27      8.43   1000000         0
1078.68/1079.12	c       161       292    287.89     31.92      9.02   1000000         0
1079.87/1080.30	c       177       279    282.95     33.38      8.48   1000000         0
1080.97/1081.48	c       186       270    286.64     34.47      8.32   1000000         0
1082.17/1082.66	c       184       280    287.11     36.34      7.90   1000000         0
1083.37/1083.83	c       176       281    286.24     32.88      8.71   1000000         0
1084.57/1085.01	c       172       250    285.17     32.52      8.77   1000000         0
1085.66/1086.18	c       153       318    286.59     32.20      8.90   1000000         0
1086.86/1087.36	c       148       298    290.21     35.52      8.17   1000000         0
1088.06/1088.53	c       181       256    276.31     33.19      8.33   1000000         0
1089.26/1089.71	c       164       292    285.98     35.69      8.01   1000000         0
1090.36/1090.88	c       168       266    283.45     35.54      7.98   1000000         0
1091.56/1092.06	c       185       324    287.27     32.16      8.93   1000000         0
1092.76/1093.24	c       178       296    284.79     33.24      8.57   1000000         0
1093.97/1094.42	c       181       275    290.67     33.32      8.72   1000000         0
1095.07/1095.60	c       147       334    281.34     33.99      8.28   1000000         0
1096.27/1096.77	c       185       302    283.59     33.60      8.44   1000000         0
1097.46/1097.95	c       168       326    278.56     32.58      8.55   1000000         0
1098.66/1099.13	c       154       286    285.20     35.27      8.09   1000000         0
1099.86/1100.30	c       174       270    282.67     34.14      8.28   1000000         0
1100.96/1101.48	c       160       338    288.32     32.16      8.96   1000000         0
1102.16/1102.65	c       181       317    285.29     33.61      8.49   1000000         0
1103.36/1103.83	c       150       275    290.83     36.56      7.96   1000000         0
1104.56/1105.01	c       174       272    283.97     34.42      8.25   1000000         0
1105.66/1106.19	c       182       330    284.27     31.98      8.89   1000000         0
1106.86/1107.36	c       166       288    283.53     32.41      8.75   1000000         0
1108.05/1108.53	c       180       271    282.98     32.40      8.73   1000000         0
1109.25/1109.71	c       163       283    286.58     32.88      8.72   1000000         0
1110.35/1110.89	c       167       228    288.66     32.86      8.78   1000000         0
1111.56/1112.07	c       178       243    286.13     33.99      8.42   1000000         0
1112.76/1113.25	c       170       294    285.68     32.17      8.88   1000000         0
1113.95/1114.42	c       189       307    288.85     33.70      8.57   1000000         0
1115.15/1115.60	c       179       295    286.29     32.50      8.81   1000000         0
1116.25/1116.77	c       180       274    282.41     32.49      8.69   1000000         0
1117.45/1117.95	c       158       264    286.19     33.59      8.52   1000000         0
1118.65/1119.12	c       177       322    286.40     34.68      8.26   1000000         0
1119.85/1120.30	c       168       267    287.08     34.46      8.33   1000000         0
1120.95/1121.47	c       170       323    287.11     32.09      8.95   1000000         0
1122.15/1122.65	c       163       333    288.75     36.80      7.85   1000000         0
1123.35/1123.83	c       171       312    283.98     33.37      8.51   1000000         0
1124.55/1125.01	c       181       269    283.90     33.15      8.56   1000000         0
1125.65/1126.19	c       167       301    286.19     34.52      8.29   1000000         0
1126.85/1127.36	c       181       239    286.11     32.56      8.79   1000000         0
1128.05/1128.54	c       172       274    284.98     33.23      8.58   1000000         0
1129.25/1129.72	c       167       291    289.21     33.99      8.51   1000000         0
1130.35/1130.89	c       170       251    285.11     35.45      8.04   1000000         0
1131.54/1132.07	c       176       266    286.04     35.51      8.05   1000000         0
1132.74/1133.25	c       179       249    288.42     33.25      8.67   1000000         0
1133.94/1134.42	c       179       318    287.91     34.04      8.46   1000000         0
1135.14/1135.61	c       182       276    288.17     33.75      8.54   1000000         0
1136.24/1136.79	c       160       310    281.98     32.42      8.70   1000000         0
1137.44/1137.97	c       176       329    285.73     31.17      9.17   1000000         0
1138.64/1139.15	c       185       236    291.03     35.31      8.24   1000000         0
1139.84/1140.33	c       176       263    286.00     33.03      8.66   1000000         0
1141.04/1141.50	c       186       266    285.76     36.88      7.75   1000000         0
1142.14/1142.68	c       174       306    283.04     34.85      8.12   1000000         0
1143.34/1143.86	c       169       296    291.25     32.81      8.88   1000000         0
1144.55/1145.03	c       163       277    286.84     32.66      8.78   1000000         0
1145.74/1146.21	c       168       261    281.35     35.00      8.04   1000000         0
1146.85/1147.39	c       168       253    287.73     32.79      8.78   1000000         0
1148.04/1148.57	c       158       246    290.56     36.01      8.07   1000000         0
1149.24/1149.75	c       155       289    281.81     34.69      8.12   1000000         0
1150.44/1150.92	c       170       270    286.27     31.44      9.11   1000000         0
1151.64/1152.10	c       183       280    282.87     31.15      9.08   1000000         0
1152.73/1153.28	c       177       204    288.73     35.06      8.23   1000000         0
1153.93/1154.46	c       147       263    285.72     31.49      9.07   1000000         0
1155.13/1155.64	c       186       232    284.65     30.94      9.20   1000000         0
1156.33/1156.82	c       167       295    288.49     33.98      8.49   1000000         0
1157.43/1157.99	c       184       309    285.28     34.32      8.31   1000000         0
1158.63/1159.17	c       171       257    288.53     36.19      7.97   1000000         0
1159.83/1160.34	c       161       290    283.20     31.87      8.89   1000000         0
1161.04/1161.52	c       166       239    290.71     33.27      8.74   1000000         0
1162.14/1162.69	c       165       268    282.57     34.37      8.22   1000000         0
1163.34/1163.87	c       168       283    286.37     32.54      8.80   1000000         0
1164.53/1165.05	c       177       308    287.00     33.16      8.65   1000000         0
1165.73/1166.22	c       178       293    284.65     31.34      9.08   1000000         0
1166.93/1167.40	c       167       299    282.56     35.91      7.87   1000000         0
1168.03/1168.58	c       172       296    288.52     34.47      8.37   1000000         0
1169.23/1169.76	c       184       293    287.56     33.15      8.67   1000000         0
1170.43/1170.94	c       186       309    288.63     33.18      8.70   1000000         0
1171.63/1172.12	c       175       309    285.51     33.02      8.65   1000000         0
1172.73/1173.29	c       180       298    286.40     32.96      8.69   1000000         0
1173.93/1174.47	c       163       238    285.15     33.89      8.41   1000000         0
1175.13/1175.65	c       148       241    282.89     33.98      8.33   1000000         0
1176.33/1176.82	c       173       365    284.07     33.42      8.50   1000000         0
1177.43/1178.00	c       164       273    287.69     34.57      8.32   1000000         0
1178.63/1179.17	c       177       352    286.29     32.55      8.80   1000000         0
1179.83/1180.35	c       183       266    280.07     32.48      8.62   1000000         0
1181.02/1181.52	c       172       312    289.12     32.56      8.88   1000000         0
1182.22/1182.70	c       169       275    286.77     32.64      8.79   1000000         0
1183.32/1183.87	c       179       308    284.20     33.89      8.39   1000000         0
1184.52/1185.05	c       170       299    281.75     33.74      8.35   1000000         0
1185.72/1186.22	c       183       310    290.16     32.85      8.83   1000000         0
1186.82/1187.39	c       172       299    289.61     35.70      8.11   1000000         0
1188.02/1188.56	c       178       244    284.90     33.14      8.60   1000000         0
1189.22/1189.74	c       177       267    285.85     35.44      8.07   1000000         0
1190.42/1190.92	c       161       248    284.63     31.78      8.96   1000000         0
1191.52/1192.09	c       175       351    287.59     31.88      9.02   1000000         0
1192.72/1193.27	c       181       232    287.58     34.22      8.40   1000000         0
1193.92/1194.44	c       174       297    284.91     32.00      8.90   1000000         0
1195.12/1195.62	c       163       338    287.39     35.19      8.17   1000000         0
1196.22/1196.80	c       137       281    283.50     34.07      8.32   1000000         0
1197.42/1197.98	c       158       234    285.26     32.08      8.89   1000000         0
1198.61/1199.16	c       170       295    282.69     31.61      8.94   1000000         0
1199.81/1200.34	c       166       314    283.11     33.88      8.36   1000000         0
1201.01/1201.51	c       170       302    285.49     33.76      8.46   1000000         0
1202.11/1202.69	c       169       296    281.77     32.82      8.59   1000000         0
1203.31/1203.87	c       165       291    284.40     33.69      8.44   1000000         0
1204.51/1205.05	c       185       334    289.81     32.44      8.93   1000000         0
1205.71/1206.22	c       159       245    287.17     33.37      8.61   1000000         0
1206.81/1207.39	c       168       292    286.02     37.92      7.54   1000000         0
1208.01/1208.57	c       170       297    284.69     34.50      8.25   1000000         0
1209.21/1209.75	c       152       281    290.37     34.80      8.34   1000000         0
1210.41/1210.93	c       176       259    287.33     32.42      8.86   1000000         0
1211.62/1212.11	c       186       321    285.63     31.29      9.13   1000000         0
1212.72/1213.28	c       179       276    285.98     32.66      8.76   1000000         0
1213.92/1214.46	c       178       272    286.64     32.70      8.76   1000000         0
1215.11/1215.64	c       181       370    283.87     32.34      8.78   1000000         0
1216.31/1216.82	c       180       279    285.48     34.27      8.33   1000000         0
1217.41/1217.99	c       171       279    288.80     36.29      7.96   1000000         0
1218.61/1219.17	c       175       249    283.95     33.81      8.40   1000000         0
1219.81/1220.35	c       170       316    284.36     32.46      8.76   1000000         0
1221.01/1221.53	c       184       344    289.51     31.30      9.25   1000000         0
1222.21/1222.71	c       178       274    288.39     31.06      9.28   1000000         0
1223.31/1223.88	c       178       313    285.70     31.51      9.07   1000000         0
1224.50/1225.05	c       172       270    286.80     34.99      8.20   1000000         0
1225.70/1226.23	c       170       260    283.08     31.22      9.07   1000000         0
1226.90/1227.41	c       168       233    289.02     35.29      8.19   1000000         0
1228.00/1228.59	c       169       329    283.49     33.08      8.57   1000000         0
1229.21/1229.76	c       168       291    281.77     32.14      8.77   1000000         0
1230.41/1230.94	c       174       323    285.75     33.14      8.62   1000000         0
1231.60/1232.11	c       165       265    286.45     32.84      8.72   1000000         0
1232.70/1233.29	c       167       289    289.67     32.24      8.98   1000000         0
1233.90/1234.46	c       181       311    291.32     35.71      8.16   1000000         0
1235.10/1235.64	c       169       277    287.72     34.39      8.37   1000000         0
1236.30/1236.81	c       168       213    284.46     33.61      8.46   1000000         0
1237.40/1237.99	c       189       355    286.72     32.86      8.73   1000000         0
1238.60/1239.16	c       158       294    283.40     36.21      7.83   1000000         0
1239.80/1240.33	c       176       278    282.02     32.65      8.64   1000000         0
1241.00/1241.51	c       179       262    283.97     32.85      8.65   1000000         0
1242.10/1242.69	c       176       331    286.25     32.03      8.94   1000000         0
1243.30/1243.87	c       174       297    287.80     34.76      8.28   1000000         0
1244.50/1245.05	c       187       289    288.13     32.14      8.96   1000000         0
1245.70/1246.22	c       187       245    287.11     32.05      8.96   1000000         0
1246.80/1247.40	c       172       251    287.00     32.89      8.73   1000000         0
1248.00/1248.57	c       171       282    283.94     31.68      8.96   1000000         0
1249.20/1249.74	c       167       345    286.45     33.29      8.60   1000000         0
1250.39/1250.92	c       179       286    286.17     34.44      8.31   1000000         0
1251.49/1252.09	c       175       263    288.12     33.30      8.65   1000000         0
1252.69/1253.27	c       182       273    286.08     31.77      9.00   1000000         0
1253.89/1254.44	c       172       261    286.61     33.74      8.49   1000000         0
1255.09/1255.61	c       180       300    289.49     34.12      8.49   1000000         0
1256.19/1256.79	c       172       314    284.36     34.48      8.25   1000000         0
1257.39/1257.97	c       179       263    289.32     35.91      8.06   1000000         0
1258.59/1259.15	c       175       304    283.51     32.34      8.77   1000000         0
1259.79/1260.32	c       172       328    283.21     32.65      8.67   1000000         0
1260.89/1261.49	c       172       347    287.42     35.44      8.11   1000000         0
1262.09/1262.67	c       172       282    285.93     33.39      8.56   1000000         0
1263.30/1263.86	c       179       247    284.24     32.56      8.73   1000000         0
1264.50/1265.03	c       171       302    281.73     33.30      8.46   1000000         0
1265.69/1266.20	c       181       314    285.76     32.54      8.78   1000000         0
1266.79/1267.38	c       189       308    289.25     34.43      8.40   1000000         0
1267.99/1268.56	c       186       285    283.59     32.02      8.86   1000000         0
1269.19/1269.74	c       169       245    284.10     32.80      8.66   1000000         0
1270.39/1270.91	c       163       300    285.94     33.29      8.59   1000000         0
1271.49/1272.08	c       187       239    284.23     31.64      8.98   1000000         0
1272.69/1273.25	c       169       309    285.40     33.84      8.43   1000000         0
1273.89/1274.43	c       159       322    284.18     34.95      8.13   1000000         0
1275.09/1275.61	c       186       232    285.35     32.74      8.72   1000000         0
1276.18/1276.79	c       162       302    287.70     38.10      7.55   1000000         0
1277.38/1277.96	c       174       223    288.69     35.24      8.19   1000000         0
1278.58/1279.13	c       164       374    280.76     33.35      8.42   1000000         0
1279.79/1280.31	c       179       325    289.09     33.76      8.56   1000000         0
1280.89/1281.49	c       185       301    287.92     32.31      8.91   1000000         0
1282.09/1282.66	c       179       236    284.46     30.44      9.34   1000000         0
1283.28/1283.84	c       161       283    285.54     32.85      8.69   1000000         0
1284.48/1285.01	c       178       273    286.32     32.01      8.95   1000000         0
1285.58/1286.19	c       182       314    285.01     32.96      8.65   1000000         0
1286.78/1287.37	c       173       270    286.28     31.35      9.13   1000000         0
1287.98/1288.54	c       183       274    288.04     31.67      9.09   1000000         0
1289.18/1289.72	c       166       291    290.47     34.51      8.42   1000000         0
1290.38/1290.90	c       179       277    285.82     31.78      8.99   1000000         0
1291.48/1292.07	c       172       323    286.46     34.37      8.34   1000000         0
1292.68/1293.25	c       167       247    285.71     34.11      8.38   1000000         0
1293.88/1294.43	c       172       299    282.11     32.21      8.76   1000000         0
1295.08/1295.61	c       158       413    287.43     33.53      8.57   1000000         0
1296.18/1296.78	c       174       337    281.99     33.43      8.44   1000000         0
1297.38/1297.96	c       166       306    291.10     32.06      9.08   1000000         0
1298.58/1299.13	c       173       262    283.86     32.90      8.63   1000000         0
1299.78/1300.30	c       185       310    289.18     34.82      8.30   1000000         0
1300.87/1301.48	c       163       310    283.24     32.50      8.71   1000000         0
1302.07/1302.66	c       168       269    287.69     33.59      8.57   1000000         0
1303.27/1303.84	c       174       259    287.18     31.72      9.05   1000000         0
1304.47/1305.02	c       167       275    287.26     34.60      8.30   1000000         0
1305.57/1306.19	c       176       262    287.95     34.42      8.37   1000000         0
1306.77/1307.37	c       177       316    287.38     34.54      8.32   1000000         0
1307.97/1308.54	c       186       250    286.72     32.42      8.84   1000000         0
1309.17/1309.72	c       180       261    286.65     32.86      8.72   1000000         0
1310.37/1310.90	c       160       252    284.16     34.44      8.25   1000000         0
1311.47/1312.09	c       172       322    288.17     35.61      8.09   1000000         0
1312.67/1313.26	c       184       274    291.15     32.62      8.93   1000000         0
1313.88/1314.43	c       176       267    285.70     33.11      8.63   1000000         0
1315.08/1315.61	c       168       327    287.77     34.10      8.44   1000000         0
1316.18/1316.79	c       178       275    283.67     33.00      8.60   1000000         0
1317.37/1317.96	c       180       278    285.20     34.74      8.21   1000000         0
1318.57/1319.14	c       161       284    282.24     33.95      8.31   1000000         0
1319.77/1320.31	c       162       279    286.67     31.89      8.99   1000000         0
1320.87/1321.49	c       172       250    286.71     34.47      8.32   1000000         0
1322.07/1322.66	c       166       274    284.76     30.94      9.20   1000000         0
1323.27/1323.84	c       181       262    286.75     32.67      8.78   1000000         0
1324.46/1325.01	c       171       267    289.01     33.93      8.52   1000000         0
1325.56/1326.18	c       171       301    290.54     32.21      9.02   1000000         0
1326.76/1327.36	c       181       314    287.82     35.60      8.08   1000000         0
1327.96/1328.54	c       188       226    290.29     33.49      8.67   1000000         0
1329.16/1329.71	c       166       250    285.72     35.44      8.06   1000000         0
1330.26/1330.89	c       166       362    286.64     33.49      8.56   1000000         0
1331.47/1332.07	c       175       290    286.27     34.65      8.26   1000000         0
1332.67/1333.25	c       181       291    286.43     33.68      8.50   1000000         0
1333.86/1334.42	c       186       298    286.68     33.60      8.53   1000000         0
1334.96/1335.60	c       176       304    285.49     31.29      9.12   1000000         0
1336.16/1336.77	c       180       352    283.67     32.71      8.67   1000000         0
1337.36/1337.95	c       175       267    282.62     31.51      8.97   1000000         0
1338.56/1339.12	c       188       316    285.77     32.04      8.92   1000000         0
1339.66/1340.30	c       170       312    286.13     33.71      8.49   1000000         0
1340.86/1341.47	c       162       260    285.84     32.80      8.71   1000000         0
1342.06/1342.64	c       145       287    283.50     35.16      8.06   1000000         0
1343.26/1343.82	c       145       321    286.41     34.65      8.27   1000000         0
1344.36/1344.99	c       162       323    291.71     31.76      9.19   1000000         0
1345.55/1346.17	c       176       276    285.69     33.80      8.45   1000000         0
1346.75/1347.34	c       175       301    289.17     33.19      8.71   1000000         0
1347.96/1348.52	c       169       296    284.79     34.31      8.30   1000000         0
1349.06/1349.69	c       158       296    291.35     35.86      8.12   1000000         0
1350.26/1350.87	c       175       300    282.92     31.16      9.08   1000000         0
1351.45/1352.05	c       189       285    289.45     35.82      8.08   1000000         0
1352.65/1353.23	c       178       285    282.76     37.06      7.63   1000000         0
1353.85/1354.41	c       186       245    284.03     32.30      8.79   1000000         0
1354.95/1355.58	c       172       245    286.74     33.93      8.45   1000000         0
1356.15/1356.76	c       172       310    285.36     35.38      8.07   1000000         0
1357.35/1357.93	c       179       219    283.34     31.87      8.89   1000000         0
1358.55/1359.12	c       152       308    282.72     33.65      8.40   1000000         0
1359.65/1360.29	c       178       325    282.16     31.44      8.98   1000000         0
1360.85/1361.48	c       164       361    283.69     32.00      8.87   1000000         0
1362.05/1362.66	c       194       250    291.40     33.93      8.59   1000000         0
1363.25/1363.83	c       175       264    286.29     33.63      8.51   1000000         0
1364.45/1365.00	c       182       315    287.45     33.94      8.47   1000000         0
1365.55/1366.18	c       184       287    283.28     32.38      8.75   1000000         0
1366.75/1367.36	c       155       296    284.10     33.89      8.38   1000000         0
1367.95/1368.54	c       155       334    285.50     32.74      8.72   1000000         0
1369.15/1369.71	c       176       217    285.35     33.72      8.46   1000000         0
1370.25/1370.89	c       163       248    290.21     36.44      7.96   1000000         0
1371.44/1372.06	c       165       306    286.26     34.36      8.33   1000000         0
1372.64/1373.24	c       171       264    285.71     36.50      7.83   1000000         0
1373.84/1374.41	c       176       310    285.30     33.40      8.54   1000000         0
1374.94/1375.59	c       179       274    288.71     33.55      8.61   1000000         0
1376.14/1376.77	c       176       260    284.97     34.66      8.22   1000000         0
1377.34/1377.94	c       183       256    286.66     32.75      8.75   1000000         0
1378.54/1379.12	c       174       257    285.66     31.47      9.08   1000000         0
1379.74/1380.30	c       178       283    287.39     33.98      8.46   1000000         0
1380.84/1381.47	c       160       324    287.80     35.24      8.17   1000000         0
1382.05/1382.65	c       163       265    283.81     31.82      8.92   1000000         0
1383.25/1383.83	c       180       252    283.74     34.56      8.21   1000000         0
1384.44/1385.01	c       182       248    283.81     31.69      8.96   1000000         0
1385.54/1386.19	c       186       317    288.91     33.20      8.70   1000000         0
1386.74/1387.37	c       143       251    286.03     35.52      8.05   1000000         0
1387.94/1388.54	c       184       283    286.19     32.25      8.87   1000000         0
1389.14/1389.72	c       170       306    286.09     33.63      8.51   1000000         0
1390.24/1390.89	c       186       298    285.83     31.81      8.99   1000000         0
1391.44/1392.07	c       178       358    286.56     31.51      9.09   1000000         0
1392.64/1393.24	c       180       312    289.32     35.55      8.14   1000000         0
1393.84/1394.42	c       162       320    283.04     33.34      8.49   1000000         0
1395.04/1395.60	c       173       314    286.66     34.39      8.33   1000000         0
1396.14/1396.78	c       172       266    286.94     32.83      8.74   1000000         0
1397.34/1397.96	c       174       273    287.07     32.59      8.81   1000000         0
1398.54/1399.13	c       170       294    287.72     35.29      8.15   1000000         0
1399.74/1400.31	c       170       324    286.64     33.95      8.44   1000000         0
1400.84/1401.49	c       177       278    284.76     34.60      8.23   1000000         0
1402.03/1402.66	c       157       286    287.32     32.63      8.81   1000000         0
1403.23/1403.83	c       186       292    287.69     34.18      8.42   1000000         0
1404.43/1405.01	c       168       312    285.01     34.14      8.35   1000000         0
1405.53/1406.18	c       169       338    289.98     34.30      8.45   1000000         0
1406.73/1407.36	c       165       268    287.34     34.01      8.45   1000000         0
1407.93/1408.54	c       159       287    288.05     33.68      8.55   1000000         0
1409.13/1409.71	c       176       284    284.67     33.46      8.51   1000000         0
1410.23/1410.89	c       186       314    284.96     31.30      9.10   1000000         0
1411.43/1412.07	c       176       291    286.15     32.52      8.80   1000000         0
1412.63/1413.24	c       182       318    284.82     33.77      8.44   1000000         0
1413.83/1414.41	c       189       247    285.89     34.91      8.19   1000000         0
1414.93/1415.59	c       174       306    283.81     36.34      7.81   1000000         0
1416.13/1416.77	c       155       331    285.87     35.44      8.07   1000000         0
1417.33/1417.94	c       151       288    287.51     35.35      8.13   1000000         0
1418.53/1419.11	c       166       273    288.60     37.62      7.67   1000000         0
1419.63/1420.29	c       166       310    285.76     33.07      8.64   1000000         0
1420.83/1421.46	c       187       277    286.88     32.31      8.88   1000000         0
1422.02/1422.65	c       178       297    289.63     34.03      8.51   1000000         0
1423.22/1423.83	c       176       282    286.80     34.17      8.39   1000000         0
1424.42/1425.01	c       174       259    283.82     36.65      7.74   1000000         0
1425.52/1426.18	c       184       287    283.85     33.97      8.36   1000000         0
1426.72/1427.36	c       166       284    286.53     32.93      8.70   1000000         0
1427.92/1428.53	c       171       296    290.74     33.92      8.57   1000000         0
1429.12/1429.71	c       164       314    283.54     34.53      8.21   1000000         0
1430.22/1430.89	c       184       261    284.98     34.14      8.35   1000000         0
1431.42/1432.06	c       184       312    284.02     36.04      7.88   1000000         0
1432.63/1433.24	c       176       305    282.11     34.93      8.08   1000000         0
1433.83/1434.41	c       166       285    286.44     32.95      8.69   1000000         0
1434.93/1435.59	c       184       256    290.11     32.34      8.97   1000000         0
1436.12/1436.76	c       153       244    285.85     33.41      8.56   1000000         0
1437.32/1437.94	c       177       283    290.12     32.97      8.80   1000000         0
1438.52/1439.12	c       168       252    282.98     34.84      8.12   1000000         0
1439.62/1440.29	c       184       231    287.37     31.46      9.13   1000000         0
1440.82/1441.47	c       167       354    286.58     34.46      8.32   1000000         0
1442.02/1442.65	c       165       227    286.53     33.96      8.44   1000000         0
1443.22/1443.82	c       178       295    282.36     32.66      8.65   1000000         0
1444.42/1445.00	c       167       284    283.59     33.90      8.37   1000000         0
1445.52/1446.17	c       185       252    288.90     34.64      8.34   1000000         0
1446.72/1447.35	c       187       356    282.53     32.30      8.75   1000000         0
1447.91/1448.53	c       182       268    287.78     31.68      9.08   1000000         0
1449.01/1449.70	c       172       225    290.83     33.60      8.66   1000000         0
1450.22/1450.88	c       185       323    287.16     34.30      8.37   1000000         0
1451.42/1452.05	c       177       305    284.98     33.97      8.39   1000000         0
1452.61/1453.23	c       166       331    285.93     33.18      8.62   1000000         0
1453.81/1454.41	c       180       195    287.84     33.11      8.69   1000000         0
1454.91/1455.59	c       184       232    290.88     36.53      7.96   1000000         0
1456.11/1456.76	c       172       274    285.64     32.53      8.78   1000000         0
1457.31/1457.94	c       177       299    290.18     33.25      8.73   1000000         0
1458.51/1459.11	c       171       265    288.45     34.49      8.36   1000000         0
1459.61/1460.29	c       187       232    288.97     34.04      8.49   1000000         0
1460.81/1461.47	c       169       269    282.13     34.16      8.26   1000000         0
1462.01/1462.65	c       181       267    286.92     32.85      8.73   1000000         0
1463.21/1463.82	c       177       252    280.79     31.80      8.83   1000000         0
1464.41/1465.00	c       169       292    284.23     32.80      8.66   1000000         0
1465.51/1466.18	c       178       254    281.22     32.03      8.78   1000000         0
1466.72/1467.35	c       171       226    286.44     33.19      8.63   1000000         0
1467.91/1468.53	c       171       287    287.64     36.27      7.93   1000000         0
1469.11/1469.71	c       172       295    286.38     33.37      8.58   1000000         0
1470.21/1470.88	c       173       252    284.64     32.08      8.87   1000000         0
1471.41/1472.06	c       180       302    287.59     31.58      9.11   1000000         0
1472.61/1473.24	c       185       277    288.13     32.86      8.77   1000000         0
1473.81/1474.41	c       185       236    287.74     32.96      8.73   1000000         0
1474.91/1475.59	c       155       337    282.12     33.22      8.49   1000000         0
1476.11/1476.78	c       184       304    288.34     32.87      8.77   1000000         0
1477.31/1477.95	c       153       256    288.58     34.70      8.32   1000000         0
1478.50/1479.12	c       170       321    286.05     33.55      8.53   1000000         0
1479.70/1480.30	c       169       296    289.82     34.39      8.43   1000000         0
1480.80/1481.47	c       163       285    286.45     32.71      8.76   1000000         0
1482.00/1482.65	c       185       267    285.92     31.35      9.12   1000000         0
1483.21/1483.83	c       167       313    285.03     35.12      8.12   1000000         0
1484.41/1485.01	c       172       257    285.96     32.49      8.80   1000000         0
1485.51/1486.19	c       183       284    290.51     33.53      8.66   1000000         0
1486.70/1487.37	c       184       315    283.16     33.98      8.33   1000000         0
1487.90/1488.54	c       185       295    286.23     32.80      8.73   1000000         0
1489.10/1489.72	c       159       263    285.29     35.05      8.14   1000000         0
1490.20/1490.89	c       181       295    284.87     32.75      8.70   1000000         0
1491.40/1492.07	c       170       323    280.17     35.21      7.96   1000000         0
1492.60/1493.25	c       170       228    284.75     35.15      8.10   1000000         0
1493.80/1494.42	c       165       283    281.77     33.03      8.53   1000000         0
1495.00/1495.60	c       187       381    284.58     33.54      8.48   1000000         0
1496.10/1496.78	c       177       251    289.55     33.19      8.73   1000000         0
1497.30/1497.95	c       171       273    285.82     33.33      8.57   1000000         0
1498.49/1499.13	c       186       260    287.95     32.22      8.94   1000000         0
1499.70/1500.31	c       182       303    286.15     32.82      8.72   1000000         0
1500.80/1501.49	c       179       263    290.28     30.05      9.66   1000000         0
1502.00/1502.66	c       170       264    287.27     30.65      9.37   1000000         0
1503.19/1503.84	c       142       284    281.90     32.13      8.77   1000000         0
1504.39/1505.02	c       147       330    287.80     31.17      9.23   1000000         0
1505.49/1506.19	c       182       253    290.10     33.12      8.76   1000000         0
1506.69/1507.37	c       170       270    290.84     36.60      7.95   1000000         0
1507.89/1508.55	c       159       311    283.79     33.05      8.59   1000000         0
1509.09/1509.72	c       151       243    283.22     33.07      8.57   1000000         0
1510.29/1510.90	c       148       296    284.36     33.60      8.46   1000000         0
1511.39/1512.08	c       188       292    286.88     34.69      8.27   1000000         0
1512.59/1513.25	c       161       278    284.30     33.62      8.46   1000000         0
1513.79/1514.44	c       169       304    287.67     34.22      8.41   1000000         0
1514.99/1515.61	c       174       297    284.40     34.23      8.31   1000000         0
1516.09/1516.79	c       168       323    280.06     32.73      8.56   1000000         0
1517.29/1517.97	c       180       265    284.67     33.31      8.55   1000000         0
1518.49/1519.14	c       166       300    284.25     33.07      8.60   1000000         0
1519.68/1520.32	c       174       258    288.10     34.38      8.38   1000000         0
1520.88/1521.50	c       162       282    286.29     33.70      8.49   1000000         0
1521.98/1522.67	c       169       320    286.54     36.96      7.75   1000000         0
1523.18/1523.84	c       175       259    286.57     34.59      8.29   1000000         0
1524.38/1525.03	c       187       342    288.59     33.05      8.73   1000000         0
1525.58/1526.20	c       177       260    285.03     33.72      8.45   1000000         0
1526.68/1527.38	c       178       310    282.85     33.30      8.49   1000000         0
1527.88/1528.56	c       188       266    288.04     34.22      8.42   1000000         0
1529.08/1529.73	c       177       310    288.60     33.36      8.65   1000000         0
1530.28/1530.91	c       172       283    286.05     35.68      8.02   1000000         0
1531.38/1532.09	c       172       296    286.60     33.79      8.48   1000000         0
1532.58/1533.27	c       174       284    290.16     33.02      8.79   1000000         0
1533.79/1534.44	c       173       289    290.20     32.41      8.95   1000000         0
1534.99/1535.62	c       181       252    283.87     33.43      8.49   1000000         0
1536.09/1536.79	c       174       268    282.63     31.34      9.02   1000000         0
1537.28/1537.97	c       151       287    286.66     33.09      8.66   1000000         0
1538.48/1539.15	c       183       253    289.01     35.66      8.11   1000000         0
1539.68/1540.33	c       172       195    290.52     33.28      8.73   1000000         0
1540.88/1541.51	c       178       286    287.26     32.96      8.71   1000000         0
1541.98/1542.68	c       182       307    285.20     35.02      8.14   1000000         0
1543.18/1543.87	c       178       222    289.36     33.49      8.64   1000000         0
1544.37/1545.05	c       153       318    282.78     32.87      8.60   1000000         0
1545.57/1546.22	c       171       368    289.34     33.46      8.65   1000000         0
1546.67/1547.39	c       155       361    281.71     35.76      7.88   1000000         0
1547.87/1548.57	c       158       229    285.39     34.19      8.35   1000000         0
1549.07/1549.74	c       179       309    286.43     39.23      7.30   1000000         0
1550.28/1550.92	c       179       368    287.73     36.72      7.84   1000000         0
1551.38/1552.09	c       162       293    282.73     34.43      8.21   1000000         0
1552.58/1553.27	c       158       281    285.38     33.58      8.50   1000000         0
1553.77/1554.45	c       182       256    290.61     34.53      8.42   1000000         0
1554.97/1555.63	c       170       258    288.54     34.34      8.40   1000000         0
1556.17/1556.81	c       172       300    288.14     34.08      8.46   1000000         0
1557.27/1557.99	c       169       395    285.24     33.08      8.62   1000000         0
1558.47/1559.17	c       172       269    285.19     35.22      8.10   1000000         0
1559.67/1560.35	c       176       253    284.34     34.93      8.14   1000000         0
1560.87/1561.54	c       174       264    285.10     33.30      8.56   1000000         0
1562.07/1562.71	c       182       234    289.79     32.84      8.82   1000000         0
1563.17/1563.89	c       168       275    286.14     36.64      7.81   1000000         0
1564.37/1565.07	c       177       291    285.30     32.57      8.76   1000000         0
1565.57/1566.24	c       175       353    286.54     34.37      8.34   1000000         0
1566.77/1567.42	c       174       318    286.26     34.94      8.19   1000000         0
1567.87/1568.59	c       177       272    285.38     33.89      8.42   1000000         0
1569.07/1569.77	c       173       324    286.70     32.55      8.81   1000000         0
1570.27/1570.95	c       174       315    287.13     32.66      8.79   1000000         0
1571.47/1572.13	c       171       312    284.37     31.90      8.91   1000000         0
1572.66/1573.30	c       172       268    288.81     33.50      8.62   1000000         0
1573.76/1574.47	c       173       238    286.74     33.80      8.48   1000000         0
1574.96/1575.65	c       174       255    287.36     32.78      8.77   1000000         0
1576.16/1576.82	c       163       320    284.15     34.00      8.36   1000000         0
1577.26/1577.99	c       144       316    290.69     34.09      8.53   1000000         0
1578.46/1579.17	c       169       297    287.94     34.96      8.24   1000000         0
1579.66/1580.35	c       161       271    287.90     39.70      7.25   1000000         0
1580.86/1581.53	c       182       326    286.87     34.31      8.36   1000000         0
1582.06/1582.71	c       172       285    279.31     35.94      7.77   1000000         0
1583.16/1583.88	c       175       265    282.84     33.07      8.55   1000000         0
1584.37/1585.06	c       170       283    281.17     32.56      8.64   1000000         0
1585.57/1586.23	c       189       317    290.58     32.10      9.05   1000000         0
1586.76/1587.41	c       174       285    289.03     34.80      8.31   1000000         0
1587.86/1588.59	c       171       281    284.32     37.23      7.64   1000000         0
1589.06/1589.77	c       183       266    287.54     33.54      8.57   1000000         0
1590.26/1590.95	c       188       293    291.19     34.30      8.49   1000000         0
1591.46/1592.12	c       190       258    285.72     32.96      8.67   1000000         0
1592.66/1593.30	c       168       310    285.75     31.62      9.04   1000000         0
1593.76/1594.47	c       165       266    280.99     33.21      8.46   1000000         0
1594.95/1595.66	c       184       256    286.06     35.28      8.11   1000000         0
1596.15/1596.83	c       171       274    290.36     34.28      8.47   1000000         0
1597.35/1598.00	c       178       309    289.76     34.21      8.47   1000000         0
1598.45/1599.17	c       185       289    289.71     35.01      8.28   1000000         0
1599.65/1600.35	c       157       278    286.39     34.37      8.33   1000000         0
1600.86/1601.52	c       181       288    282.86     31.06      9.11   1000000         0
1601.96/1602.70	c       159       319    284.52     33.32      8.54   1000000         0
1603.16/1603.88	c       176       314    290.79     36.28      8.01   1000000         0
1604.35/1605.06	c       173       292    287.30     31.87      9.02   1000000         0
1605.55/1606.23	c       176       245    281.41     34.12      8.25   1000000         0
1606.75/1607.41	c       172       289    285.24     34.46      8.28   1000000         0
1607.85/1608.58	c       171       322    283.44     34.02      8.33   1000000         0
1609.05/1609.75	c       191       325    285.90     31.75      9.01   1000000         0
1610.25/1610.93	c       180       312    281.77     33.59      8.39   1000000         0
1611.45/1612.10	c       179       330    286.17     34.54      8.29   1000000         0
1612.55/1613.28	c       168       241    286.90     33.54      8.55   1000000         0
1613.75/1614.46	c       177       272    285.39     31.84      8.96   1000000         0
1614.95/1615.64	c       181       320    282.50     34.29      8.24   1000000         0
1616.15/1616.81	c       154       223    287.36     34.54      8.32   1000000         0
1617.25/1617.99	c       180       229    285.99     33.25      8.60   1000000         0
1618.45/1619.17	c       149       265    288.74     32.66      8.84   1000000         0
1619.65/1620.34	c       184       300    284.87     30.98      9.20   1000000         0
1620.85/1621.52	c       183       298    289.90     36.94      7.85   1000000         0
1621.95/1622.70	c       184       354    288.71     34.84      8.29   1000000         0
1623.15/1623.87	c       180       256    283.48     31.11      9.11   1000000         0
1624.35/1625.05	c       179       264    283.18     32.91      8.61   1000000         0
1625.54/1626.22	c       172       339    280.87     32.11      8.75   1000000         0
1626.74/1627.40	c       164       311    288.03     34.14      8.44   1000000         0
1627.84/1628.58	c       167       222    281.79     33.87      8.32   1000000         0
1629.04/1629.76	c       170       274    282.69     33.61      8.41   1000000         0
1630.24/1630.94	c       181       290    284.30     33.34      8.53   1000000         0
1631.44/1632.12	c       176       254    288.50     34.38      8.39   1000000         0
1632.64/1633.30	c       182       322    286.33     30.93      9.26   1000000         0
1633.74/1634.49	c       180       287    285.41     32.13      8.88   1000000         0
1634.95/1635.66	c       164       301    289.69     34.96      8.29   1000000         0
1636.15/1636.84	c       170       228    285.07     32.97      8.65   1000000         0
1637.34/1638.02	c       177       289    286.91     34.60      8.29   1000000         0
1638.44/1639.20	c       180       285    291.07     34.63      8.40   1000000         0
1639.64/1640.37	c       169       311    286.17     32.98      8.68   1000000         0
1640.84/1641.54	c       185       232    286.58     31.30      9.16   1000000         0
1642.04/1642.72	c       176       250    283.34     33.52      8.45   1000000         0
1643.24/1643.90	c       165       277    281.06     32.13      8.75   1000000         0
1644.34/1645.08	c       179       325    288.40     34.91      8.26   1000000         0
1645.54/1646.25	c       170       237    288.21     33.12      8.70   1000000         0
1646.74/1647.43	c       161       220    284.44     33.32      8.54   1000000         0
1647.94/1648.61	c       168       269    282.26     34.11      8.27   1000000         0
1649.04/1649.79	c       172       256    278.68     35.27      7.90   1000000         0
1650.23/1650.97	c       176       236    285.34     34.34      8.31   1000000         0
1651.44/1652.15	c       180       258    285.59     33.25      8.59   1000000         0
1652.64/1653.32	c       175       307    284.70     32.98      8.63   1000000         0
1653.83/1654.50	c       164       323    290.59     36.22      8.02   1000000         0
1654.93/1655.68	c       169       250    280.37     33.74      8.31   1000000         0
1656.13/1656.85	c       174       300    285.51     33.42      8.54   1000000         0
1657.33/1658.03	c       165       248    284.65     35.62      7.99   1000000         0
1658.53/1659.21	c       171       268    286.68     35.06      8.18   1000000         0
1659.63/1660.38	c       185       248    286.17     33.83      8.46   1000000         0
1660.83/1661.56	c       178       228    288.98     32.59      8.87   1000000         0
1662.03/1662.74	c       179       290    287.22     32.07      8.96   1000000         0
1663.23/1663.92	c       164       277    289.35     34.58      8.37   1000000         0
1664.33/1665.09	c       177       305    287.83     35.62      8.08   1000000         0
1665.53/1666.27	c       162       270    287.36     34.30      8.38   1000000         0
1666.73/1667.44	c       186       292    285.04     32.47      8.78   1000000         0
1667.94/1668.62	c       165       259    285.42     33.06      8.63   1000000         0
1669.04/1669.79	c       167       284    285.81     33.45      8.54   1000000         0
1670.24/1670.97	c       160       247    282.81     33.85      8.36   1000000         0
1671.43/1672.14	c       167       358    284.71     34.04      8.36   1000000         0
1672.63/1673.32	c       176       243    286.22     33.49      8.55   1000000         0
1673.83/1674.50	c       171       270    281.89     34.66      8.13   1000000         0
1674.93/1675.67	c       172       264    285.96     33.35      8.57   1000000         0
1676.13/1676.85	c       179       280    284.19     33.56      8.47   1000000         0
1677.33/1678.03	c       177       311    285.18     32.51      8.77   1000000         0
1678.42/1679.20	c       182       233    285.24     35.02      8.14   1000000         0
1679.62/1680.37	c       164       289    290.55     35.69      8.14   1000000         0
1680.82/1681.55	c       174       274    286.49     37.06      7.73   1000000         0
1682.02/1682.73	c       165       318    291.15     31.60      9.21   1000000         0
1683.22/1683.91	c       176       315    282.98     33.66      8.41   1000000         0
1684.32/1685.08	c       165       253    284.70     33.23      8.57   1000000         0
1685.53/1686.25	c       179       282    288.64     35.40      8.15   1000000         0
1686.73/1687.42	c       178       277    286.65     35.85      8.00   1000000         0
1687.83/1688.59	c       181       351    287.75     36.43      7.90   1000000         0
1689.02/1689.76	c       170       326    280.73     33.37      8.41   1000000         0
1690.22/1690.94	c       174       341    284.53     33.21      8.57   1000000         0
1691.42/1692.12	c       165       304    279.54     33.39      8.37   1000000         0
1692.52/1693.29	c       159       292    286.72     35.61      8.05   1000000         0
1693.72/1694.47	c       180       300    285.28     32.17      8.87   1000000         0
1694.92/1695.64	c       174       334    283.29     34.12      8.30   1000000         0
1696.12/1696.82	c       168       310    286.74     36.66      7.82   1000000         0
1697.22/1698.00	c       183       290    290.72     35.75      8.13   1000000         0
1698.42/1699.17	c       177       293    289.41     32.37      8.94   1000000         0
1699.62/1700.35	c       183       240    282.86     32.92      8.59   1000000         0
1700.82/1701.53	c       185       287    286.34     33.96      8.43   1000000         0
1701.92/1702.70	c       192       276    295.25     34.01      8.68   1000000         0
1703.12/1703.88	c       177       234    285.27     33.57      8.50   1000000         0
1704.32/1705.05	c       180       263    283.57     32.84      8.64   1000000         0
1705.51/1706.23	c       139       278    289.31     33.61      8.61   1000000         0
1706.71/1707.40	c       173       335    283.20     34.64      8.17   1000000         0
1707.81/1708.58	c       155       314    289.05     33.61      8.60   1000000         0
1709.01/1709.76	c       185       256    284.98     33.62      8.48   1000000         0
1710.21/1710.93	c       180       304    281.35     33.77      8.33   1000000         0
1711.41/1712.10	c       167       286    287.08     33.00      8.70   1000000         0
1712.51/1713.28	c       173       340    284.37     32.61      8.72   1000000         0
1713.71/1714.46	c       184       253    286.21     32.57      8.79   1000000         0
1714.91/1715.64	c       161       248    286.89     32.57      8.81   1000000         0
1716.11/1716.81	c       178       283    287.76     34.13      8.43   1000000         0
1717.21/1717.98	c       168       283    291.08     34.37      8.47   1000000         0
1718.41/1719.15	c       185       197    279.25     31.80      8.78   1000000         0
1719.62/1720.33	c       167       275    286.62     33.31      8.60   1000000         0
1720.82/1721.51	c       168       315    287.11     34.52      8.32   1000000         0
1721.92/1722.68	c       164       295    287.20     34.41      8.35   1000000         0
1723.11/1723.85	c       158       305    279.70     31.90      8.77   1000000         0
1724.31/1725.03	c       160       268    287.65     34.14      8.42   1000000         0
1725.51/1726.21	c       182       285    290.06     33.84      8.57   1000000         0
1726.61/1727.39	c       176       262    283.66     34.41      8.24   1000000         0
1727.80/1728.56	c       172       267    288.07     38.13      7.55   1000000         0
1729.00/1729.74	c       182       350    288.27     37.14      7.76   1000000         0
1730.20/1730.91	c       175       273    280.95     33.99      8.27   1000000         0
1731.30/1732.09	c       168       322    288.42     34.39      8.39   1000000         0
1732.50/1733.27	c       165       279    286.48     34.21      8.38   1000000         0
1733.70/1734.45	c       163       298    289.37     33.42      8.66   1000000         0
1734.90/1735.62	c       163       332    289.64     35.54      8.15   1000000         0
1736.00/1736.79	c       177       251    284.51     31.35      9.08   1000000         0
1737.21/1737.97	c       180       276    287.56     30.73      9.36   1000000         0
1738.41/1739.14	c       170       243    284.07     34.70      8.19   1000000         0
1739.60/1740.32	c       167       282    283.59     33.78      8.39   1000000         0
1740.80/1741.50	c       174       235    282.82     34.44      8.21   1000000         0
1741.90/1742.68	c       171       317    288.86     34.13      8.46   1000000         0
1743.10/1743.85	c       163       296    290.51     31.95      9.09   1000000         0
1744.30/1745.04	c       169       229    291.18     35.86      8.12   1000000         0
1745.50/1746.21	c       166       237    288.39     34.85      8.27   1000000         0
1746.60/1747.39	c       175       310    288.71     32.28      8.94   1000000         0
1747.80/1748.56	c       158       297    284.60     33.23      8.57   1000000         0
1749.00/1749.74	c       168       313    285.00     35.17      8.10   1000000         0
1750.20/1750.92	c       173       391    285.09     34.05      8.37   1000000         0
1751.30/1752.09	c       161       297    290.03     35.16      8.25   1000000         0
1752.50/1753.27	c       185       298    288.62     31.45      9.18   1000000         0
1753.70/1754.45	c       162       283    285.13     33.35      8.55   1000000         0
1754.90/1755.63	c       173       243    282.74     32.53      8.69   1000000         0
1756.10/1756.80	c       177       299    284.66     33.58      8.48   1000000         0
1757.19/1757.98	c       157       257    288.56     37.13      7.77   1000000         0
1758.39/1759.16	c       168       323    281.26     33.82      8.32   1000000         0
1759.59/1760.34	c       187       317    290.14     33.55      8.65   1000000         0
1760.79/1761.51	c       181       275    283.91     32.97      8.61   1000000         0
1761.89/1762.69	c       178       278    282.85     31.87      8.87   1000000         0
1763.09/1763.86	c       169       263    281.87     31.37      8.99   1000000         0
1764.29/1765.04	c       178       359    288.42     32.36      8.91   1000000         0
1765.49/1766.21	c       158       242    284.50     33.54      8.48   1000000         0
1766.59/1767.39	c       174       271    284.20     35.70      7.96   1000000         0
1767.79/1768.57	c       166       273    286.51     32.04      8.94   1000000         0
1768.99/1769.74	c       172       322    287.69     34.33      8.38   1000000         0
1770.20/1770.92	c       182       332    290.55     32.84      8.85   1000000         0
1771.30/1772.09	c       180       279    286.17     33.97      8.43   1000000         0
1772.50/1773.27	c       179       277    288.24     33.34      8.64   1000000         0
1773.69/1774.44	c       191       258    290.21     32.87      8.83   1000000         0
1774.89/1775.62	c       180       275    283.34     34.24      8.27   1000000         0
1775.99/1776.79	c       176       227    282.43     32.61      8.66   1000000         0
1777.19/1777.97	c       178       287    287.03     35.03      8.19   1000000         0
1778.39/1779.14	c       178       292    287.86     31.64      9.10   1000000         0
1779.59/1780.33	c       185       313    286.76     32.81      8.74   1000000         0
1780.79/1781.51	c       185       329    286.79     30.67      9.35   1000000         0
1781.89/1782.69	c       185       322    290.38     32.44      8.95   1000000         0
1783.08/1783.86	c       179       358    286.55     33.14      8.65   1000000         0
1784.28/1785.04	c       170       278    288.74     35.12      8.22   1000000         0
1785.48/1786.22	c       176       271    287.49     35.61      8.07   1000000         0
1786.58/1787.39	c       165       263    289.89     33.78      8.58   1000000         0
1787.79/1788.57	c       170       282    284.58     35.06      8.12   1000000         0
1788.99/1789.74	c       175       289    286.06     31.89      8.97   1000000         0
1790.18/1790.91	c       171       252    285.94     33.23      8.60   1000000         0
1791.28/1792.08	c       175       300    285.42     32.81      8.70   1000000         0
1792.48/1793.26	c       183       245    285.37     30.73      9.29   1000000         0
1793.68/1794.43	c       171       264    282.90     34.30      8.25   1000000         0
1794.88/1795.61	c       163       308    282.88     34.71      8.15   1000000         0
1795.98/1796.79	c       166       236    286.52     34.36      8.34   1000000         0
1797.18/1797.96	c       164       221    283.84     33.10      8.57   1000000         0
1798.38/1799.14	c       179       296    286.10     34.71      8.24   1000000         0
1799.58/1800.32	c       172       218    285.45     34.21      8.34   1000000         0
1800.08/1800.80	HOME/run: line 2: 21447 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-2684496-1278432532/watcher-2684496-1278432532 -o /tmp/evaluation-result-2684496-1278432532/solver-2684496-1278432532 -C 1800 -W 2000 -M 1800 run HOME/instance-2684496-1278432532.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.00 0.00 0.00 2/106 21446
/proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) R 21444 21446 21420 0 -1 4202496 343 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659260821 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0

[startup+0.0345739 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 21446
/proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100587 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 21446
/proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300626 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 21446
/proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700705 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 21446
/proc/meminfo: memFree=1509160/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50086 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 21448
/proc/meminfo: memFree=1505300/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1.49
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 149 0 0 0 19 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 952 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10118 s]
/proc/loadavg: 0.00 0.00 0.00 2/108 21448
/proc/meminfo: memFree=1505052/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=3.09
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 309 0 0 0 24 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 952 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30081 s]
/proc/loadavg: 0.08 0.02 0.01 2/108 21448
/proc/meminfo: memFree=1504928/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=6.28
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 628 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 952 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7011 s]
/proc/loadavg: 0.15 0.03 0.01 2/108 21448
/proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=12.68
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 1268 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 952 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5006 s]
/proc/loadavg: 0.34 0.08 0.02 2/108 21448
/proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=25.48
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1022 0 0 0 2548 0 0 0 25 0 1 0 11464561 41422848 952 1992294400 134512640 135071400 4289012320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 952 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1007 s]
/proc/loadavg: 0.56 0.15 0.05 2/108 21449
/proc/meminfo: memFree=1504804/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=51.07
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 5107 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519808 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.81 0.28 0.10 2/108 21450
/proc/meminfo: memFree=1504556/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=102.25
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 10225 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49152

[startup+162.302 s]
/proc/loadavg: 0.93 0.41 0.15 2/108 21452
/proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=162.22
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 16222 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 21454
/proc/meminfo: memFree=1504432/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=222.2
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 22220 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134572043 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.60 0.25 2/108 21455
/proc/meminfo: memFree=1504308/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=282.18
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 28218 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.29 2/108 21456
/proc/meminfo: memFree=1504184/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=342.15
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 34215 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.33 2/108 21458
/proc/meminfo: memFree=1504184/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=402.13
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 40213 0 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1061.88
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 106187 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/108 21481
/proc/meminfo: memFree=1502944/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1121.85
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 112184 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134537125 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/108 21482
/proc/meminfo: memFree=1502696/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1181.82
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 118181 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/108 21483
/proc/meminfo: memFree=1502572/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1241.8
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 124179 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/108 21485
/proc/meminfo: memFree=1502448/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1301.78
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 130177 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/108 21487
/proc/meminfo: memFree=1502448/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1361.75
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 136174 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.75 2/108 21489
/proc/meminfo: memFree=1502324/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1421.73
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 142172 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.76 2/108 21490
/proc/meminfo: memFree=1502076/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1481.7
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 148169 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526726 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/108 21491
/proc/meminfo: memFree=1502076/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1541.68
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 154167 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 0.97 0.79 2/108 21493
/proc/meminfo: memFree=1501952/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1601.65
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 160164 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 0.97 0.80 2/108 21495
/proc/meminfo: memFree=1501952/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1661.63
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 166162 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 0.97 0.81 2/108 21497
/proc/meminfo: memFree=1501828/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1721.61
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 172160 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 21498
/proc/meminfo: memFree=1501456/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1781.59
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 178158 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 0.97 0.82 2/108 21499
/proc/meminfo: memFree=1501456/2059040 swapFree=4192956/4192956
[pid=21446] ppid=21444 vsize=8700 CPUtime=0
/proc/21446/stat : 21446 (run) S 21444 21446 21420 0 -1 4202496 359 0 0 0 0 0 0 0 16 0 1 0 11464561 8908800 243 1992294400 4194304 4922060 140735747173440 18446744073709551615 246659259525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21446/statm: 2175 243 204 178 0 68 0
[pid=21447] ppid=21446 vsize=40452 CPUtime=1800.08
/proc/21447/stat : 21447 (PB-wave) R 21446 21446 21420 0 -1 4202496 1023 0 0 0 180007 1 0 0 25 0 1 0 11464561 41422848 953 1992294400 134512640 135071400 4289012320 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21447/statm: 10113 953 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1800.08
CPU system time (s): 0.021996
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.2875 second user time and 8.26174 second system time

The end

Launcher Data 

Begin job on node033 at 2010-07-06 18:08:53
IDJOB=2684496
IDBENCH=72683
IDSOLVER=1171
FILE ID=node033/2684496-1278432532
PBS_JOBID= 11233446
Free space on /tmp= 62488 MiB

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

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

MD5SUM BENCH= 42dd40b7036ee1d1ca1e1784551c3e09
RANDOM SEED=985293338

node033.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.264
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.52
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.264
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1510284 kB
Buffers:         92464 kB
Cached:         324752 kB
SwapCached:          0 kB
Active:         161688 kB
Inactive:       315448 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1510284 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1340 kB
Writeback:           0 kB
AnonPages:       59912 kB
Mapped:          14352 kB
Slab:            49688 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179888 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= 62484 MiB
End job on node033 at 2010-07-06 18:38:54