Trace number 2685238

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.05 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j903_10-unsat.opb
MD5SUM55ca399383f68b3181f084ca7cab85da
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.142977
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11830
Total number of constraints36862
Number of constraints which are clauses36606
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints256
Minimum length of a constraint1
Maximum length of a constraint29
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 36
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 203
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.08	c PB-wave - v2
0.00/0.08	c command line = ./PB-wave
0.00/0.08	c seed = 8492852
0.00/0.08	c cutoff = 1000000
0.00/0.08	c tries = 1000000
0.00/0.08	c heuristic = c best, noise 50 / 100
0.00/0.08	#var 11830 #con 36862
0.00/0.08	mode is SAT
0.00/0.08	c tail starts after flip = 35490
0.00/0.08	c numatom = 11830, numclause = 36862, numliterals = 83858
0.00/0.08	c wff read in
0.00/0.08	c 
0.00/0.08	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.08	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.08	c       this      this      this      this      this      this   success   success       until         std
0.00/0.08	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.08	c
1.18/1.24	c       271       527    463.85     83.57      5.55   1000000         0
2.38/2.40	c       285       386    464.65     90.42      5.14   1000000         0
3.48/3.55	c       283       388    459.36     72.34      6.35   1000000         0
4.68/4.70	c       260       484    460.28     80.79      5.70   1000000         0
5.78/5.85	c       257       475    457.64     82.37      5.56   1000000         0
6.98/7.00	c       249       395    452.67    108.06      4.19   1000000         0
8.08/8.15	c       257       433    458.78     97.24      4.72   1000000         0
9.28/9.30	c       256       495    464.40     94.43      4.92   1000000         0
10.38/10.45	c       278       393    472.37     91.45      5.17   1000000         0
11.58/11.60	c       231       430    441.56     81.98      5.39   1000000         0
12.68/12.74	c       238       357    443.04     90.63      4.89   1000000         0
13.78/13.89	c       219       454    438.95     86.04      5.10   1000000         0
14.98/15.03	c       278       463    458.43     79.63      5.76   1000000         0
16.08/16.19	c       260       449    452.46     85.48      5.29   1000000         0
17.28/17.33	c       256       418    453.16     91.99      4.93   1000000         0
18.38/18.48	c       264       410    447.42     87.97      5.09   1000000         0
19.58/19.64	c       270       369    474.39     90.23      5.26   1000000         0
20.67/20.78	c       247       429    448.28     85.56      5.24   1000000         0
21.88/21.93	c       244       438    459.14     96.90      4.74   1000000         0
22.98/23.08	c       270       361    443.45     90.47      4.90   1000000         0
24.18/24.23	c       242       367    453.98     93.54      4.85   1000000         0
25.28/25.38	c       192       313    459.58     87.88      5.23   1000000         0
26.47/26.53	c       228       439    441.14     80.88      5.45   1000000         0
27.57/27.67	c       270       504    460.98     75.45      6.11   1000000         0
28.77/28.82	c       255       413    457.07     82.90      5.51   1000000         0
29.87/29.97	c       270       433    452.90     92.45      4.90   1000000         0
31.07/31.12	c       255       387    449.98     97.74      4.60   1000000         0
32.17/32.27	c       268       649    467.86     82.68      5.66   1000000         0
33.37/33.43	c       273       565    462.55     91.72      5.04   1000000         0
34.47/34.58	c       291       426    467.84     96.87      4.83   1000000         0
35.67/35.73	c       258       443    473.46     86.88      5.45   1000000         0
36.77/36.88	c       263       471    461.94     93.96      4.92   1000000         0
37.97/38.03	c       262       467    459.14     81.37      5.64   1000000         0
39.07/39.19	c       290       541    461.79     86.09      5.36   1000000         0
40.27/40.36	c       277       336    473.84    100.38      4.72   1000000         0
41.47/41.51	c       221       423    447.99    103.00      4.35   1000000         0
42.57/42.66	c       271       404    456.53    103.78      4.40   1000000         0
43.76/43.82	c       229       446    448.96     78.80      5.70   1000000         0
44.86/44.99	c       247       312    466.95     87.23      5.35   1000000         0
46.07/46.17	c       251       429    452.38     85.48      5.29   1000000         0
47.27/47.35	c       240       525    450.78     93.44      4.82   1000000         0
48.46/48.51	c       256       418    467.36     86.16      5.42   1000000         0
49.56/49.67	c       274       464    475.23     88.75      5.35   1000000         0
50.76/50.81	c       237       439    436.38     80.25      5.44   1000000         0
51.86/51.96	c       240       450    450.61    100.48      4.48   1000000         0
53.06/53.11	c       216       488    458.21     96.17      4.76   1000000         0
54.16/54.26	c       263       404    453.98     88.92      5.11   1000000         0
55.36/55.41	c       231       417    458.52     86.28      5.31   1000000         0
56.46/56.56	c       282       467    467.05     85.48      5.46   1000000         0
57.66/57.71	c       246       303    456.31     81.51      5.60   1000000         0
58.76/58.86	c       264       397    463.59    115.04      4.03   1000000         0
59.96/60.01	c       223       382    445.97     86.22      5.17   1000000         0
61.06/61.16	c       269       452    483.03     86.23      5.60   1000000         0
62.26/62.32	c       254       447    460.34     90.60      5.08   1000000         0
63.36/63.46	c       258       383    450.42     97.09      4.64   1000000         0
64.56/64.61	c       211       498    445.95     88.40      5.04   1000000         0
65.66/65.76	c       292       370    465.73     86.84      5.36   1000000         0
66.86/66.91	c       292       477    465.33     91.82      5.07   1000000         0
67.96/68.06	c       269       458    452.86     85.80      5.28   1000000         0
69.16/69.21	c       258       496    457.65    105.06      4.36   1000000         0
70.26/70.36	c       273       479    452.38     82.45      5.49   1000000         0
71.46/71.51	c       238       483    452.04     93.71      4.82   1000000         0
72.56/72.66	c       242       456    445.57     89.10      5.00   1000000         0
73.75/73.81	c       260       500    453.64     96.03      4.72   1000000         0
74.85/74.96	c       280       369    449.71     87.24      5.15   1000000         0
76.05/76.11	c       246       483    445.58     93.53      4.76   1000000         0
77.15/77.26	c       225       575    449.65     93.63      4.80   1000000         0
78.35/78.41	c       256       486    459.93     89.49      5.14   1000000         0
79.44/79.56	c       255       464    452.93     91.94      4.93   1000000         0
80.64/80.71	c       297       471    465.78     87.83      5.30   1000000         0
81.74/81.86	c       282       508    460.78     73.71      6.25   1000000         0
82.94/83.01	c       266       463    449.83     87.20      5.16   1000000         0
84.04/84.15	c       239       414    437.77     96.73      4.53   1000000         0
85.24/85.30	c       272       510    459.04    105.60      4.35   1000000         0
86.34/86.45	c       256       535    460.70     85.18      5.41   1000000         0
87.54/87.60	c       241       468    452.29     80.52      5.62   1000000         0
88.64/88.75	c       259       590    478.14     87.56      5.46   1000000         0
89.85/89.90	c       234       470    451.63     83.60      5.40   1000000         0
90.95/91.05	c       228       440    456.49    105.43      4.33   1000000         0
92.15/92.20	c       273       459    454.42    102.31      4.44   1000000         0
93.25/93.35	c       265       413    454.62     80.59      5.64   1000000         0
94.35/94.50	c       286       449    456.79     76.48      5.97   1000000         0
95.55/95.64	c       246       316    436.72     89.41      4.88   1000000         0
96.65/96.79	c       211       424    447.12    100.61      4.44   1000000         0
97.85/97.94	c       279       521    459.96     80.60      5.71   1000000         0
98.95/99.09	c       265       419    458.25     83.61      5.48   1000000         0
100.15/100.23	c       256       438    446.03     83.12      5.37   1000000         0
101.25/101.39	c       251       457    466.38     94.19      4.95   1000000         0
102.45/102.53	c       270       370    458.65     79.08      5.80   1000000         0
103.55/103.68	c       251       415    449.86     82.89      5.43   1000000         0
104.75/104.83	c       247       431    454.41     86.41      5.26   1000000         0
105.84/105.98	c       227       514    448.94     93.69      4.79   1000000         0
107.04/107.13	c       263       441    453.64     85.71      5.29   1000000         0
108.14/108.27	c       225       570    437.12     97.14      4.50   1000000         0
109.34/109.42	c       289       453    471.74     87.78      5.37   1000000         0
110.44/110.58	c       277       307    475.35     92.38      5.15   1000000         0
111.64/111.73	c       264       380    455.20     86.78      5.25   1000000         0
112.74/112.88	c       292       484    467.53     84.05      5.56   1000000         0
113.94/114.03	c       261       372    458.26    106.00      4.32   1000000         0
115.04/115.18	c       272       337    456.77     77.13      5.92   1000000         0
116.24/116.33	c       249       425    450.68     87.03      5.18   1000000         0
117.34/117.47	c       278       380    444.29     83.51      5.32   1000000         0
118.54/118.62	c       239       393    441.57     80.55      5.48   1000000         0
119.64/119.77	c       296       437    453.36     87.34      5.19   1000000         0
120.85/120.92	c       266       492    457.91     88.87      5.15   1000000         0
121.95/122.07	c       266       498    458.19     97.17      4.72   1000000         0
123.15/123.22	c       251       458    434.50     81.32      5.34   1000000         0
124.25/124.36	c       211       436    446.10    103.19      4.32   1000000         0
125.44/125.51	c       250       478    452.58     93.60      4.84   1000000         0
126.54/126.66	c       279       451    457.44     85.98      5.32   1000000         0
127.74/127.81	c       294       470    468.21     81.18      5.77   1000000         0
128.84/128.96	c       199       575    465.46     93.96      4.95   1000000         0
130.04/130.12	c       270       336    467.07     77.43      6.03   1000000         0
131.14/131.27	c       262       341    450.12     79.72      5.65   1000000         0
132.34/132.41	c       247       488    446.69     91.04      4.91   1000000         0
133.44/133.56	c       262       445    454.88     80.19      5.67   1000000         0
134.64/134.71	c       255       509    455.30     81.64      5.58   1000000         0
135.74/135.86	c       221       343    455.12     95.27      4.78   1000000         0
136.94/137.01	c       295       584    460.71     88.74      5.19   1000000         0
138.04/138.16	c       280       565    456.34     84.88      5.38   1000000         0
139.23/139.31	c       271       482    459.52     96.73      4.75   1000000         0
140.33/140.46	c       273       419    453.39     76.54      5.92   1000000         0
141.53/141.60	c       235       467    437.81     92.64      4.73   1000000         0
142.63/142.75	c       240       459    443.36     83.40      5.32   1000000         0
143.83/143.90	c       197       406    454.06    102.93      4.41   1000000         0
144.93/145.05	c       271       432    458.05     92.68      4.94   1000000         0
146.14/146.20	c       197       535    438.59     87.57      5.01   1000000         0
147.24/147.35	c       298       492    480.90     84.32      5.70   1000000         0
148.34/148.50	c       269       444    445.29     90.22      4.94   1000000         0
149.54/149.65	c       246       439    468.62     94.89      4.94   1000000         0
150.73/150.80	c       273       462    463.04     90.79      5.10   1000000         0
151.83/151.95	c       242       454    461.01     91.78      5.02   1000000         0
153.03/153.10	c       231       368    454.83     96.29      4.72   1000000         0
154.13/154.26	c       191       435    451.27     98.41      4.59   1000000         0
155.33/155.41	c       269       351    454.20     84.49      5.38   1000000         0
156.43/156.55	c       258       369    448.27     85.12      5.27   1000000         0
157.63/157.70	c       268       445    466.26     85.70      5.44   1000000         0
158.73/158.85	c       232       486    461.76     85.03      5.43   1000000         0
159.93/160.00	c       246       564    449.56     95.76      4.69   1000000         0
161.03/161.15	c       239       446    447.36     98.78      4.53   1000000         0
162.23/162.30	c       236       438    458.65    102.70      4.47   1000000         0
163.33/163.45	c       246       369    443.86     83.95      5.29   1000000         0
164.53/164.60	c       267       412    455.46     89.68      5.08   1000000         0
165.63/165.75	c       254       614    453.78     98.69      4.60   1000000         0
166.73/166.89	c       232       392    439.83     96.13      4.58   1000000         0
167.93/168.04	c       251       475    453.07     85.86      5.28   1000000         0
169.03/169.20	c       292       558    472.39     92.27      5.12   1000000         0
170.23/170.34	c       272       492    456.30     84.13      5.42   1000000         0
171.43/171.50	c       306       484    468.34     89.09      5.26   1000000         0
172.53/172.65	c       274       450    463.83     93.09      4.98   1000000         0
173.63/173.80	c       278       510    460.80    101.46      4.54   1000000         0
174.83/174.96	c       272       470    469.74     80.56      5.83   1000000         0
176.02/176.11	c       236       494    460.08    106.95      4.30   1000000         0
177.12/177.26	c       298       476    463.65     92.78      5.00   1000000         0
178.32/178.41	c       233       411    456.73     90.79      5.03   1000000         0
179.42/179.56	c       238       405    459.39     88.73      5.18   1000000         0
180.62/180.71	c       280       466    472.36     91.20      5.18   1000000         0
181.72/181.86	c       234       448    455.45     83.04      5.48   1000000         0
182.92/183.01	c       267       434    460.89     93.79      4.91   1000000         0
184.02/184.16	c       241       392    446.34     92.66      4.82   1000000         0
185.22/185.31	c       254       485    446.98     88.09      5.07   1000000         0
186.32/186.46	c       266       478    452.63     79.08      5.72   1000000         0
187.52/187.60	c       244       413    451.62     92.49      4.88   1000000         0
188.62/188.75	c       279       467    453.24     87.96      5.15   1000000         0
189.82/189.90	c       294       389    456.45     72.12      6.33   1000000         0
190.92/191.05	c       231       312    457.32     82.23      5.56   1000000         0
192.12/192.20	c       241       481    453.00     86.20      5.26   1000000         0
193.22/193.35	c       224       402    469.36     99.76      4.71   1000000         0
194.42/194.50	c       296       471    477.07     77.52      6.15   1000000         0
195.52/195.66	c       274       414    471.33     89.76      5.25   1000000         0
196.72/196.81	c       266       329    468.74     91.22      5.14   1000000         0
197.82/197.96	c       258       473    460.86     83.14      5.54   1000000         0
199.02/199.11	c       255       497    441.70     82.86      5.33   1000000         0
200.12/200.26	c       235       418    455.55     80.33      5.67   1000000         0
201.32/201.41	c       244       414    458.44     97.11      4.72   1000000         0
202.42/202.56	c       249       469    455.66     90.33      5.04   1000000         0
203.61/203.71	c       258       420    457.03    114.99      3.97   1000000         0
204.71/204.86	c       279       448    467.00     89.50      5.22   1000000         0
205.91/206.01	c       243       542    457.10    100.10      4.57   1000000         0
207.01/207.16	c       267       496    457.48     89.82      5.09   1000000         0
208.21/208.31	c       272       508    463.54     95.87      4.84   1000000         0
209.31/209.47	c       287       497    467.41     85.88      5.44   1000000         0
210.51/210.61	c       271       387    452.11     82.03      5.51   1000000         0
211.61/211.76	c       272       457    462.59     81.75      5.66   1000000         0
212.81/212.91	c       246       334    459.88     95.75      4.80   1000000         0
213.91/214.06	c       220       488    454.90     86.69      5.25   1000000         0
215.11/215.21	c       242       452    456.38     95.77      4.77   1000000         0
216.21/216.36	c       214       377    456.23     87.62      5.21   1000000         0
217.41/217.51	c       252       420    443.72     85.67      5.18   1000000         0
218.51/218.66	c       244       508    451.84     88.53      5.10   1000000         0
219.71/219.82	c       277       509    468.71     79.70      5.88   1000000         0
220.81/220.97	c       245       444    453.83     99.81      4.55   1000000         0
222.02/222.12	c       262       501    463.83     79.12      5.86   1000000         0
223.12/223.27	c       298       491    476.25     91.22      5.22   1000000         0
224.31/224.42	c       271       458    462.97     95.32      4.86   1000000         0
225.41/225.57	c       256       390    452.80     93.10      4.86   1000000         0
226.61/226.73	c       259       401    464.95     84.22      5.52   1000000         0
227.71/227.87	c       234       343    441.07     86.78      5.08   1000000         0
228.91/229.02	c       247       568    445.35     91.09      4.89   1000000         0
230.01/230.17	c       255       466    455.29     92.95      4.90   1000000         0
231.21/231.32	c       234       458    487.87    104.27      4.68   1000000         0
232.31/232.47	c       275       429    463.82     82.19      5.64   1000000         0
233.51/233.62	c       266       386    470.90     86.68      5.43   1000000         0
234.61/234.77	c       218       363    463.37     89.72      5.16   1000000         0
235.81/235.92	c       282       470    456.84     89.88      5.08   1000000         0
236.90/237.07	c       224       507    439.43     81.78      5.37   1000000         0
238.10/238.22	c       266       441    463.84     92.27      5.03   1000000         0
239.20/239.37	c       258       374    445.67     79.81      5.58   1000000         0
240.40/240.52	c       257       320    443.98     94.87      4.68   1000000         0
241.50/241.67	c       286       400    475.67     71.42      6.66   1000000         0
242.70/242.82	c       247       398    476.59     81.65      5.84   1000000         0
243.80/243.97	c       273       458    443.21     86.71      5.11   1000000         0
245.00/245.12	c       202       398    460.55    104.76      4.40   1000000         0
246.10/246.27	c       258       478    459.40     96.70      4.75   1000000         0
247.31/247.42	c       241       519    460.91     95.34      4.83   1000000         0
248.41/248.57	c       214       441    450.40     97.06      4.64   1000000         0
249.61/249.72	c       283       451    472.19     76.91      6.14   1000000         0
250.71/250.88	c       278       457    474.22     94.32      5.03   1000000         0
251.90/252.03	c       258       417    449.23     98.73      4.55   1000000         0
253.00/253.17	c       250       439    443.08     87.04      5.09   1000000         0
254.20/254.32	c       273       485    461.76     97.25      4.75   1000000         0
255.30/255.48	c       249       316    461.79     89.34      5.17   1000000         0
256.50/256.63	c       282       476    461.99     86.39      5.35   1000000         0
257.60/257.77	c       258       388    439.56     80.28      5.48   1000000         0
258.80/258.92	c       219       584    459.77     88.46      5.20   1000000         0
259.90/260.07	c       223       442    460.92     89.52      5.15   1000000         0
261.09/261.22	c       273       416    450.79     91.20      4.94   1000000         0
262.19/262.37	c       219       466    460.34     86.02      5.35   1000000         0
263.39/263.52	c       248       431    448.15     88.83      5.05   1000000         0
264.49/264.67	c       261       413    462.49     84.70      5.46   1000000         0
265.69/265.82	c       233       397    455.80     87.93      5.18   1000000         0
266.79/266.97	c       254       460    454.54     82.28      5.52   1000000         0
267.99/268.12	c       275       354    459.30     83.00      5.53   1000000         0
269.09/269.27	c       246       451    459.33     98.53      4.66   1000000         0
270.29/270.43	c       241       499    459.00     86.48      5.31   1000000         0
271.39/271.57	c       257       431    446.14     83.16      5.36   1000000         0
272.60/272.72	c       205       463    445.21     82.55      5.39   1000000         0
273.70/273.88	c       273       520    485.23     92.76      5.23   1000000         0
274.90/275.03	c       247       524    448.54     91.05      4.93   1000000         0
276.00/276.19	c       269       419    475.05     97.86      4.85   1000000         0
277.19/277.34	c       215       239    458.39     86.97      5.27   1000000         0
278.29/278.49	c       303       438    472.00     91.06      5.18   1000000         0
279.49/279.64	c       253       395    451.76     88.08      5.13   1000000         0
280.59/280.79	c       250       473    459.69     97.70      4.71   1000000         0
281.79/281.94	c       244       435    465.75     91.30      5.10   1000000         0
282.89/283.09	c       260       451    462.27     79.04      5.85   1000000         0
284.09/284.23	c       199       413    439.55     87.31      5.03   1000000         0
285.19/285.39	c       206       461    465.22     89.43      5.20   1000000         0
286.39/286.53	c       288       435    449.60     82.17      5.47   1000000         0
287.49/287.68	c       282       493    449.23     95.64      4.70   1000000         0
288.69/288.83	c       244       456    442.60     84.50      5.24   1000000         0
289.79/289.98	c       264       442    465.01    101.76      4.57   1000000         0
290.99/291.14	c       274       422    468.96     97.32      4.82   1000000         0
292.09/292.29	c       199       403    454.38     93.87      4.84   1000000         0
293.29/293.44	c       275       448    446.48     87.31      5.11   1000000         0
294.38/294.59	c       262       454    469.77     83.46      5.63   1000000         0
295.58/295.74	c       256       458    467.96     98.20      4.77   1000000         0
296.79/296.90	c       260       419    487.74    100.91      4.83   1000000         0
297.89/298.05	c       280       543    467.95     85.51      5.47   1000000         0
298.99/299.20	c       250       456    477.54    104.88      4.55   1000000         0
300.19/300.35	c       252       500    466.22     86.80      5.37   1000000         0
301.38/301.50	c       267       395    448.42     85.89      5.22   1000000         0
302.48/302.66	c       257       415    463.22     95.90      4.83   1000000         0
303.68/303.80	c       225       378    428.49     94.32      4.54   1000000         0
304.78/304.95	c       253       466    456.95     93.89      4.87   1000000         0
305.98/306.10	c       256       384    456.12    102.56      4.45   1000000         0
307.08/307.25	c       257       424    446.92     74.07      6.03   1000000         0
308.28/308.40	c       234       420    459.00     95.71      4.80   1000000         0
309.38/309.55	c       267       461    467.08     92.44      5.05   1000000         0
310.58/310.70	c       230       541    439.69     93.66      4.69   1000000         0
311.68/311.85	c       237       588    444.37     89.23      4.98   1000000         0
312.78/312.99	c       257       403    457.03     92.26      4.95   1000000         0
313.98/314.14	c       276       365    458.57     85.44      5.37   1000000         0
315.08/315.29	c       274       411    451.72     99.81      4.53   1000000         0
316.28/316.45	c       235       425    467.66     87.18      5.36   1000000         0
317.38/317.59	c       207       602    448.26     79.25      5.66   1000000         0
318.58/318.75	c       271       369    465.15     90.61      5.13   1000000         0
319.78/319.90	c       301       488    470.25     74.18      6.34   1000000         0
320.88/321.05	c       295       545    471.52     88.97      5.30   1000000         0
322.08/322.20	c       269       450    449.67     90.26      4.98   1000000         0
323.18/323.35	c       249       508    445.52     85.35      5.22   1000000         0
324.28/324.50	c       242       465    454.66    107.76      4.22   1000000         0
325.48/325.65	c       227       402    448.63     97.63      4.60   1000000         0
326.67/326.80	c       245       579    453.32     86.85      5.22   1000000         0
327.77/327.95	c       254       397    453.58     88.96      5.10   1000000         0
328.97/329.10	c       232       490    468.38     95.94      4.88   1000000         0
330.07/330.25	c       259       515    444.28     85.54      5.19   1000000         0
331.17/331.39	c       208       235    436.54    100.52      4.34   1000000         0
332.37/332.55	c       215       366    471.32     88.99      5.30   1000000         0
333.57/333.70	c       262       495    468.23     87.44      5.36   1000000         0
334.67/334.85	c       223       493    459.71    104.28      4.41   1000000         0
335.87/336.00	c       274       503    460.87     75.98      6.07   1000000         0
336.97/337.15	c       279       464    458.36     77.37      5.92   1000000         0
338.07/338.30	c       244       326    426.76     91.53      4.66   1000000         0
339.27/339.45	c       264       465    456.06     97.41      4.68   1000000         0
340.37/340.59	c       250       461    450.86     99.33      4.54   1000000         0
341.57/341.75	c       245       399    469.42     99.67      4.71   1000000         0
342.67/342.90	c       231       372    433.15     77.23      5.61   1000000         0
343.87/344.04	c       248       455    444.74     80.10      5.55   1000000         0
344.97/345.19	c       279       377    461.09     90.28      5.11   1000000         0
346.17/346.35	c       269       348    461.71     86.08      5.36   1000000         0
347.37/347.50	c       244       415    456.32     92.36      4.94   1000000         0
348.47/348.65	c       275       566    468.31     84.38      5.55   1000000         0
349.57/349.80	c       256       538    475.63     79.81      5.96   1000000         0
350.77/350.95	c       259       467    452.21     89.83      5.03   1000000         0
351.97/352.10	c       249       389    458.03    109.71      4.17   1000000         0
353.07/353.25	c       266       517    456.54     89.78      5.09   1000000         0
354.27/354.40	c       286       496    477.29     98.83      4.83   1000000         0
355.36/355.55	c       236       478    440.69     96.02      4.59   1000000         0
356.56/356.70	c       292       442    456.28     84.03      5.43   1000000         0
357.66/357.85	c       278       572    473.34     84.84      5.58   1000000         0
358.86/359.00	c       281       485    461.60     94.71      4.87   1000000         0
359.96/360.15	c       268       429    447.81     86.49      5.18   1000000         0
361.16/361.30	c       254       440    464.49     84.93      5.47   1000000         0
362.26/362.45	c       223       441    429.18     91.08      4.71   1000000         0
363.36/363.59	c       237       470    457.54    102.32      4.47   1000000         0
364.56/364.74	c       257       435    446.54     90.66      4.93   1000000         0
365.66/365.89	c       247       455    455.99     94.76      4.81   1000000         0
366.86/367.04	c       245       501    453.71     94.70      4.79   1000000         0
367.96/368.19	c       222       365    447.43     87.00      5.14   1000000         0
369.16/369.34	c       259       387    467.45     75.05      6.23   1000000         0
370.26/370.49	c       276       402    454.30     90.62      5.01   1000000         0
371.46/371.64	c       259       487    461.72     88.81      5.20   1000000         0
372.56/372.79	c       207       381    463.52    114.98      4.03   1000000         0
373.76/373.94	c       255       468    467.57    101.83      4.59   1000000         0
374.86/375.09	c       288       492    459.56     74.79      6.14   1000000         0
376.06/376.24	c       221       470    435.22     94.73      4.59   1000000         0
377.16/377.38	c       264       428    464.28     80.22      5.79   1000000         0
378.36/378.53	c       233       398    460.66     85.11      5.41   1000000         0
379.46/379.68	c       264       370    441.35     83.94      5.26   1000000         0
380.66/380.84	c       274       444    456.79     90.67      5.04   1000000         0
381.76/381.99	c       256       425    443.20     78.46      5.65   1000000         0
382.95/383.13	c       245       435    449.01     84.15      5.34   1000000         0
384.05/384.28	c       278       470    464.38     83.23      5.58   1000000         0
385.25/385.44	c       269       413    458.01    101.43      4.52   1000000         0
386.35/386.58	c       275       493    461.42     90.54      5.10   1000000         0
387.55/387.73	c       247       498    440.41     84.64      5.20   1000000         0
388.65/388.88	c       275       379    468.82     87.15      5.38   1000000         0
389.85/390.03	c       252       571    457.21     87.79      5.21   1000000         0
390.95/391.17	c       254       360    449.47     86.66      5.19   1000000         0
392.15/392.32	c       234       426    438.70    107.24      4.09   1000000         0
393.25/393.47	c       253       399    449.67     90.69      4.96   1000000         0
394.45/394.62	c       243       477    446.40    100.71      4.43   1000000         0
395.55/395.77	c       232       472    457.88     84.48      5.42   1000000         0
396.75/396.92	c       268       516    462.88     82.29      5.63   1000000         0
397.85/398.06	c       231       396    449.58     90.65      4.96   1000000         0
399.06/399.21	c       243       399    457.71     83.90      5.46   1000000         0
400.15/400.36	c       256       411    446.97     87.76      5.09   1000000         0
401.35/401.51	c       258       389    467.65     74.79      6.25   1000000         0
402.45/402.66	c       257       518    458.15     85.59      5.35   1000000         0
403.65/403.81	c       251       466    466.00    100.58      4.63   1000000         0
404.75/404.96	c       262       370    464.67     96.07      4.84   1000000         0
405.95/406.11	c       250       409    429.28     84.04      5.11   1000000         0
407.05/407.26	c       278       381    453.54     84.66      5.36   1000000         0
408.24/408.41	c       224       525    458.26     93.78      4.89   1000000         0
409.34/409.55	c       208       368    454.13     78.63      5.78   1000000         0
410.54/410.70	c       279       380    465.99     92.35      5.05   1000000         0
411.64/411.85	c       227       514    443.65     97.57      4.55   1000000         0
412.84/413.00	c       271       327    464.61     83.41      5.57   1000000         0
413.94/414.15	c       248       420    444.14     95.40      4.66   1000000         0
415.14/415.30	c       262       371    451.03     91.24      4.94   1000000         0
416.24/416.45	c       255       393    456.43     87.66      5.21   1000000         0
417.44/417.60	c       232       354    442.13     92.71      4.77   1000000         0
418.54/418.75	c       255       365    471.99     82.97      5.69   1000000         0
419.74/419.90	c       249       489    461.49    105.30      4.38   1000000         0
420.84/421.05	c       204       339    454.12     96.67      4.70   1000000         0
422.04/422.20	c       259       353    457.69     83.51      5.48   1000000         0
423.14/423.35	c       263       443    456.56     84.97      5.37   1000000         0
424.35/424.50	c       275       455    451.93     80.92      5.58   1000000         0
425.45/425.65	c       261       418    457.92     91.14      5.02   1000000         0
426.65/426.80	c       260       390    463.14    111.12      4.17   1000000         0
427.75/427.95	c       236       346    453.15     87.08      5.20   1000000         0
428.94/429.10	c       254       453    452.22     98.55      4.59   1000000         0
430.04/430.25	c       288       422    462.23     85.50      5.41   1000000         0
431.14/431.39	c       251       395    450.15     90.60      4.97   1000000         0
432.34/432.54	c       215       385    444.06     85.95      5.17   1000000         0
433.54/433.70	c       261       575    453.58     93.52      4.85   1000000         0
434.64/434.85	c       244       483    453.20     93.70      4.84   1000000         0
435.85/436.00	c       265       485    481.78     92.54      5.21   1000000         0
436.95/437.15	c       279       544    454.60     81.78      5.56   1000000         0
438.15/438.30	c       233       416    456.57    102.14      4.47   1000000         0
439.24/439.45	c       264       378    445.18    101.51      4.39   1000000         0
440.44/440.60	c       275       467    445.92     92.01      4.85   1000000         0
441.54/441.75	c       246       573    460.09     84.79      5.43   1000000         0
442.74/442.90	c       246       426    448.83     91.16      4.92   1000000         0
443.84/444.05	c       260       399    457.94     93.56      4.89   1000000         0
445.04/445.20	c       235       419    424.80     81.55      5.21   1000000         0
446.14/446.35	c       213       371    460.76    100.14      4.60   1000000         0
447.34/447.50	c       222       498    445.62     84.59      5.27   1000000         0
448.44/448.65	c       276       462    475.12     88.70      5.36   1000000         0
449.65/449.80	c       280       518    463.14     85.38      5.42   1000000         0
450.75/450.95	c       277       292    456.18     90.35      5.05   1000000         0
451.95/452.11	c       306       413    477.78     90.27      5.29   1000000         0
453.05/453.25	c       222       352    454.46     91.76      4.95   1000000         0
454.24/454.40	c       250       338    453.77     82.54      5.50   1000000         0
455.34/455.55	c       256       492    465.12     84.45      5.51   1000000         0
456.54/456.70	c       249       447    440.46     90.39      4.87   1000000         0
457.64/457.85	c       252       429    471.97    100.32      4.70   1000000         0
458.84/459.00	c       236       542    452.01     90.81      4.98   1000000         0
459.94/460.15	c       262       507    461.54     96.91      4.76   1000000         0
461.14/461.30	c       252       427    455.85    106.42      4.28   1000000         0
462.24/462.45	c       247       378    467.88     94.67      4.94   1000000         0
463.44/463.60	c       276       520    455.26     81.39      5.59   1000000         0
464.54/464.75	c       270       463    457.51     84.06      5.44   1000000         0
465.74/465.90	c       268       473    453.78    100.98      4.49   1000000         0
466.84/467.05	c       275       421    461.06     83.09      5.55   1000000         0
468.03/468.20	c       270       555    447.40     86.67      5.16   1000000         0
469.13/469.35	c       292       427    464.57     81.52      5.70   1000000         0
470.33/470.50	c       257       442    441.65     82.11      5.38   1000000         0
471.44/471.65	c       266       619    453.10     81.01      5.59   1000000         0
472.64/472.80	c       299       439    478.92     70.93      6.75   1000000         0
473.73/473.95	c       265       444    449.77     82.60      5.45   1000000         0
474.94/475.10	c       236       374    442.63     81.85      5.41   1000000         0
476.04/476.25	c       234       531    466.59     92.65      5.04   1000000         0
477.14/477.39	c       269       431    446.32     90.03      4.96   1000000         0
478.34/478.54	c       277       435    464.50     92.92      5.00   1000000         0
479.44/479.69	c       244       555    455.78     96.93      4.70   1000000         0
480.63/480.85	c       246       467    469.53     86.58      5.42   1000000         0
481.83/482.00	c       275       466    470.54     85.84      5.48   1000000         0
482.93/483.15	c       247       528    439.58     82.24      5.35   1000000         0
484.13/484.30	c       238       398    454.73     93.72      4.85   1000000         0
485.23/485.45	c       247       438    456.85     88.02      5.19   1000000         0
486.33/486.60	c       225       396    452.84     97.38      4.65   1000000         0
487.53/487.74	c       253       522    436.31     88.17      4.95   1000000         0
488.63/488.89	c       271       373    451.77     91.47      4.94   1000000         0
489.83/490.04	c       277       443    464.17     90.31      5.14   1000000         0
490.93/491.19	c       230       307    446.19    104.46      4.27   1000000         0
492.13/492.34	c       258       567    470.22    105.26      4.47   1000000         0
493.23/493.49	c       236       433    451.80     80.18      5.64   1000000         0
494.43/494.64	c       292       451    483.87     84.41      5.73   1000000         0
495.53/495.79	c       267       347    445.70     87.47      5.10   1000000         0
496.73/496.93	c       270       367    455.90     92.15      4.95   1000000         0
497.83/498.08	c       253       430    452.82     95.04      4.76   1000000         0
499.03/499.23	c       244       406    468.55     87.60      5.35   1000000         0
500.13/500.38	c       244       408    456.08     87.62      5.21   1000000         0
501.33/501.54	c       259       411    476.53     93.12      5.12   1000000         0
502.43/502.69	c       313       578    472.36     78.82      5.99   1000000         0
503.63/503.84	c       259       489    463.43     92.34      5.02   1000000         0
504.73/504.99	c       243       422    458.85     99.65      4.60   1000000         0
505.92/506.14	c       206       441    452.90     82.06      5.52   1000000         0
507.02/507.29	c       241       451    456.18     83.72      5.45   1000000         0
508.22/508.44	c       269       330    474.60    104.54      4.54   1000000         0
509.32/509.59	c       247       405    453.69     75.45      6.01   1000000         0
510.52/510.74	c       271       406    468.98     94.01      4.99   1000000         0
511.62/511.89	c       271       344    456.72     89.06      5.13   1000000         0
512.82/513.05	c       298       405    478.12     81.44      5.87   1000000         0
514.02/514.20	c       267       417    467.12     94.55      4.94   1000000         0
515.12/515.35	c       247       445    454.86     93.18      4.88   1000000         0
516.32/516.50	c       263       385    459.19     83.37      5.51   1000000         0
517.42/517.65	c       239       476    449.37     96.34      4.66   1000000         0
518.52/518.79	c       244       351    456.36     87.45      5.22   1000000         0
519.72/519.95	c       285       475    469.43     76.70      6.12   1000000         0
520.92/521.10	c       285       527    458.81    101.96      4.50   1000000         0
522.02/522.25	c       266       482    454.25     88.44      5.14   1000000         0
523.22/523.40	c       270       458    456.35     85.55      5.33   1000000         0
524.32/524.55	c       267       467    446.64     87.15      5.12   1000000         0
525.42/525.69	c       244       345    460.65     88.58      5.20   1000000         0
526.62/526.84	c       273       482    465.64     88.41      5.27   1000000         0
527.72/527.99	c       252       453    452.99     83.81      5.40   1000000         0
528.92/529.14	c       246       539    441.33     89.86      4.91   1000000         0
530.02/530.29	c       276       417    475.08     78.32      6.07   1000000         0
531.22/531.44	c       234       431    441.36     95.68      4.61   1000000         0
532.32/532.59	c       237       367    453.49     80.82      5.61   1000000         0
533.52/533.74	c       237       422    452.80     94.24      4.80   1000000         0
534.62/534.89	c       223       503    453.77     85.31      5.32   1000000         0
535.82/536.04	c       246       321    465.37     94.36      4.93   1000000         0
536.91/537.19	c       269       558    454.68     95.88      4.74   1000000         0
538.11/538.34	c       228       503    454.54     80.63      5.64   1000000         0
539.21/539.49	c       250       445    453.58     92.67      4.89   1000000         0
540.41/540.64	c       249       373    468.52    102.70      4.56   1000000         0
541.51/541.79	c       236       462    455.60     72.39      6.29   1000000         0
542.71/542.94	c       263       448    466.13     79.48      5.86   1000000         0
543.81/544.09	c       271       333    456.88     90.15      5.07   1000000         0
545.01/545.24	c       231       520    454.76     94.02      4.84   1000000         0
546.11/546.39	c       302       399    472.12     79.88      5.91   1000000         0
547.31/547.54	c       248       520    450.10     89.89      5.01   1000000         0
548.41/548.68	c       249       388    452.95     77.66      5.83   1000000         0
549.61/549.84	c       288       472    463.77     88.06      5.27   1000000         0
550.71/550.99	c       238       448    471.60    105.17      4.48   1000000         0
551.92/552.14	c       244       483    475.39     83.11      5.72   1000000         0
553.02/553.29	c       226       392    453.05     94.64      4.79   1000000         0
554.22/554.44	c       286       402    467.44     96.92      4.82   1000000         0
555.32/555.59	c       243       497    457.92     77.43      5.91   1000000         0
556.51/556.73	c       246       386    444.16     91.58      4.85   1000000         0
557.61/557.88	c       253       456    462.51     79.69      5.80   1000000         0
558.81/559.03	c       220       501    462.50    106.36      4.35   1000000         0
559.91/560.19	c       267       434    462.41     82.47      5.61   1000000         0
561.11/561.33	c       244       414    455.22     98.22      4.63   1000000         0
562.20/562.49	c       298       412    487.29    102.92      4.73   1000000         0
563.40/563.64	c       269       425    471.06     81.58      5.77   1000000         0
564.50/564.79	c       220       406    447.73     85.14      5.26   1000000         0
565.70/565.94	c       286       393    458.78     79.46      5.77   1000000         0
566.80/567.09	c       255       464    452.54     80.01      5.66   1000000         0
568.00/568.24	c       238       376    449.05     88.94      5.05   1000000         0
569.10/569.38	c       242       404    454.17     96.34      4.71   1000000         0
570.30/570.53	c       263       530    467.10     90.20      5.18   1000000         0
571.40/571.68	c       186       427    444.50     90.81      4.89   1000000         0
572.60/572.83	c       261       462    445.90     86.99      5.13   1000000         0
573.70/573.98	c       270       405    475.91     84.94      5.60   1000000         0
574.90/575.13	c       253       435    461.65     91.76      5.03   1000000         0
576.00/576.28	c       248       400    464.71     94.21      4.93   1000000         0
577.21/577.43	c       257       342    459.72     88.54      5.19   1000000         0
578.31/578.58	c       277       523    466.62     86.90      5.37   1000000         0
579.51/579.73	c       248       506    439.99     73.29      6.00   1000000         0
580.61/580.89	c       292       429    469.71     87.47      5.37   1000000         0
581.80/582.04	c       281       441    458.81     91.87      4.99   1000000         0
582.90/583.19	c       268       386    473.39     93.22      5.08   1000000         0
584.10/584.34	c       245       472    457.73     95.22      4.81   1000000         0
585.20/585.49	c       289       334    462.95     98.83      4.68   1000000         0
586.40/586.64	c       220       354    432.41     87.57      4.94   1000000         0
587.50/587.79	c       258       309    464.81     84.44      5.50   1000000         0
588.70/588.94	c       268       504    471.02     91.34      5.16   1000000         0
589.80/590.09	c       262       423    465.01     80.87      5.75   1000000         0
591.00/591.24	c       220       433    452.22     96.45      4.69   1000000         0
592.19/592.40	c       261       427    475.86     88.11      5.40   1000000         0
593.29/593.55	c       214       555    455.89     94.41      4.83   1000000         0
594.39/594.70	c       242       384    454.53     86.76      5.24   1000000         0
595.59/595.85	c       239       473    467.74     83.20      5.62   1000000         0
596.69/596.99	c       231       467    445.61    107.53      4.14   1000000         0
597.89/598.15	c       257       465    486.11     97.94      4.96   1000000         0
598.99/599.29	c       195       455    460.98     96.40      4.78   1000000         0
600.19/600.45	c       277       505    449.15     72.85      6.17   1000000         0
601.29/601.59	c       245       512    436.15     92.63      4.71   1000000         0
602.50/602.74	c       242       438    468.14     86.75      5.40   1000000         0
603.60/603.89	c       248       321    471.87     96.36      4.90   1000000         0
604.80/605.05	c       283       571    464.45     95.73      4.85   1000000         0
605.90/606.19	c       258       522    443.34     94.52      4.69   1000000         0
607.09/607.34	c       273       449    455.14     94.52      4.82   1000000         0
608.19/608.49	c       289       472    464.56     89.17      5.21   1000000         0
609.39/609.64	c       256       488    446.76     81.88      5.46   1000000         0
610.49/610.78	c       209       398    439.87     99.78      4.41   1000000         0
611.69/611.93	c       244       385    463.46     90.22      5.14   1000000         0
612.79/613.08	c       207       443    457.56     95.84      4.77   1000000         0
613.99/614.24	c       256       438    484.48     96.53      5.02   1000000         0
615.09/615.39	c       268       433    460.05     84.07      5.47   1000000         0
616.29/616.54	c       285       466    458.81     78.30      5.86   1000000         0
617.39/617.69	c       233       533    472.00     88.48      5.33   1000000         0
618.59/618.84	c       277       473    462.05     84.59      5.46   1000000         0
619.69/619.99	c       277       526    455.53     90.25      5.05   1000000         0
620.89/621.14	c       267       458    459.48     88.65      5.18   1000000         0
621.98/622.28	c       266       445    449.33     89.53      5.02   1000000         0
623.18/623.43	c       248       476    456.19     81.89      5.57   1000000         0
624.28/624.58	c       249       351    454.22     80.82      5.62   1000000         0
625.48/625.73	c       258       528    461.86     97.11      4.76   1000000         0
626.58/626.88	c       260       442    445.89     81.16      5.49   1000000         0
627.79/628.03	c       239       473    461.41     85.11      5.42   1000000         0
628.89/629.18	c       281       505    448.93     82.16      5.46   1000000         0
630.09/630.32	c       253       427    443.50     82.03      5.41   1000000         0
631.19/631.47	c       267       586    464.51     83.35      5.57   1000000         0
632.38/632.62	c       276       421    466.77     91.90      5.08   1000000         0
633.48/633.77	c       260       412    450.73    110.54      4.08   1000000         0
634.68/634.92	c       238       469    442.51    104.60      4.23   1000000         0
635.78/636.06	c       271       463    452.20     76.25      5.93   1000000         0
636.98/637.21	c       240       402    451.51     83.64      5.40   1000000         0
638.08/638.37	c       269       498    461.70     94.75      4.87   1000000         0
639.28/639.52	c       235       332    461.88     99.90      4.62   1000000         0
640.38/640.67	c       246       393    462.47     88.20      5.24   1000000         0
641.58/641.82	c       260       475    448.19     87.72      5.11   1000000         0
642.68/642.97	c       274       433    456.53     85.08      5.37   1000000         0
643.88/644.12	c       263       425    456.98     94.74      4.82   1000000         0
644.98/645.27	c       242       459    448.89     85.78      5.23   1000000         0
646.18/646.42	c       260       356    461.37     80.08      5.76   1000000         0
647.28/647.57	c       222       548    457.69     92.89      4.93   1000000         0
648.48/648.72	c       230       532    440.95     89.62      4.92   1000000         0
649.58/649.87	c       211       602    450.62     94.74      4.76   1000000         0
650.78/651.02	c       257       403    451.97     88.80      5.09   1000000         0
651.87/652.17	c       269       374    461.44     75.72      6.09   1000000         0
653.08/653.32	c       260       426    447.45     85.84      5.21   1000000         0
654.18/654.47	c       289       425    475.08     92.51      5.14   1000000         0
655.38/655.62	c       262       478    440.38     89.13      4.94   1000000         0
656.48/656.77	c       250       446    460.44    107.34      4.29   1000000         0
657.67/657.92	c       264       370    464.88     82.76      5.62   1000000         0
658.77/659.07	c       207       534    455.00     96.64      4.71   1000000         0
659.97/660.22	c       210       433    462.20     89.73      5.15   1000000         0
661.07/661.37	c       185       458    433.97     95.93      4.52   1000000         0
662.27/662.51	c       270       427    459.20     80.72      5.69   1000000         0
663.37/663.66	c       280       372    456.77     93.91      4.86   1000000         0
664.57/664.82	c       273       366    452.14     87.89      5.14   1000000         0
665.67/665.96	c       253       346    445.03     83.24      5.35   1000000         0
666.87/667.11	c       273       453    466.80     80.04      5.83   1000000         0
667.97/668.26	c       245       512    458.46     87.84      5.22   1000000         0
669.17/669.42	c       279       424    462.97     76.90      6.02   1000000         0
670.27/670.57	c       252       396    454.33     88.90      5.11   1000000         0
671.47/671.72	c       263       397    457.01     80.87      5.65   1000000         0
672.57/672.87	c       251       517    460.01    101.60      4.53   1000000         0
673.77/674.01	c       233       439    454.95     90.12      5.05   1000000         0
674.87/675.16	c       252       376    464.67     84.64      5.49   1000000         0
676.07/676.31	c       256       471    462.04     93.65      4.93   1000000         0
677.17/677.46	c       245       344    441.76     89.49      4.94   1000000         0
678.37/678.61	c       281       365    452.93     82.02      5.52   1000000         0
679.47/679.76	c       250       377    469.75     99.11      4.74   1000000         0
680.67/680.91	c       262       439    453.25     88.95      5.10   1000000         0
681.77/682.06	c       233       460    444.50     91.98      4.83   1000000         0
682.96/683.21	c       256       398    443.61     87.77      5.05   1000000         0
684.06/684.35	c       234       493    448.24     81.05      5.53   1000000         0
685.26/685.50	c       291       455    461.23    103.84      4.44   1000000         0
686.36/686.65	c       289       510    460.37     78.61      5.86   1000000         0
687.56/687.80	c       236       485    448.69     93.67      4.79   1000000         0
688.66/688.95	c       259       432    443.93     91.29      4.86   1000000         0
689.76/690.09	c       226       475    437.18     96.01      4.55   1000000         0
690.96/691.24	c       237       460    466.73    101.81      4.58   1000000         0
692.06/692.39	c       235       513    437.73     98.47      4.45   1000000         0
693.26/693.54	c       261       518    447.49     80.73      5.54   1000000         0
694.36/694.69	c       219       530    456.30     97.99      4.66   1000000         0
695.56/695.84	c       242       381    469.25     93.18      5.04   1000000         0
696.66/696.99	c       264       458    456.65     93.91      4.86   1000000         0
697.86/698.14	c       253       382    447.69     92.61      4.83   1000000         0
698.96/699.29	c       270       457    451.73     94.90      4.76   1000000         0
700.16/700.44	c       279       395    458.39     78.33      5.85   1000000         0
701.26/701.59	c       237       473    456.57     83.64      5.46   1000000         0
702.46/702.74	c       272       427    454.59     74.90      6.07   1000000         0
703.56/703.88	c       212       519    445.48     96.24      4.63   1000000         0
704.76/705.03	c       275       439    458.96     91.57      5.01   1000000         0
705.86/706.18	c       225       420    455.47     94.36      4.83   1000000         0
707.06/707.33	c       253       451    467.54     81.05      5.77   1000000         0
708.16/708.48	c       224       420    451.51     71.37      6.33   1000000         0
709.36/709.63	c       268       456    454.97     84.36      5.39   1000000         0
710.46/710.78	c       255       482    466.58     95.96      4.86   1000000         0
711.66/711.93	c       253       468    453.44     99.54      4.56   1000000         0
712.76/713.08	c       248       401    461.43     87.25      5.29   1000000         0
713.96/714.22	c       236       481    443.93     94.36      4.70   1000000         0
715.06/715.37	c       251       377    457.83     94.64      4.84   1000000         0
716.25/716.52	c       250       459    452.05     75.94      5.95   1000000         0
717.35/717.67	c       264       409    462.41     83.76      5.52   1000000         0
718.55/718.82	c       279       427    467.18     83.15      5.62   1000000         0
719.65/719.98	c       238       383    453.56     89.90      5.05   1000000         0
720.85/721.13	c       274       510    468.06     67.39      6.95   1000000         0
721.95/722.28	c       273       484    474.35     85.34      5.56   1000000         0
723.15/723.43	c       256       468    457.94     90.34      5.07   1000000         0
724.25/724.58	c       260       379    446.85     90.03      4.96   1000000         0
725.45/725.72	c       246       493    447.48    101.88      4.39   1000000         0
726.55/726.87	c       231       418    438.14     85.74      5.11   1000000         0
727.75/728.02	c       236       418    445.63     88.83      5.02   1000000         0
728.85/729.17	c       283       524    452.77     79.01      5.73   1000000         0
730.06/730.32	c       250       348    449.76     83.76      5.37   1000000         0
731.16/731.47	c       264       472    457.14     94.37      4.84   1000000         0
732.36/732.62	c       278       423    455.72     91.68      4.97   1000000         0
733.45/733.76	c       253       362    450.35     84.93      5.30   1000000         0
734.65/734.91	c       234       480    448.79     98.23      4.57   1000000         0
735.75/736.06	c       216       435    466.65     87.40      5.34   1000000         0
736.95/737.21	c       203       528    434.75     81.58      5.33   1000000         0
738.05/738.36	c       202       592    457.41     93.37      4.90   1000000         0
739.25/739.51	c       212       479    450.12     79.81      5.64   1000000         0
740.35/740.66	c       297       462    459.73     96.03      4.79   1000000         0
741.55/741.81	c       281       405    460.67     70.91      6.50   1000000         0
742.65/742.96	c       251       386    463.19    101.97      4.54   1000000         0
743.84/744.11	c       259       451    449.31     83.23      5.40   1000000         0
744.94/745.25	c       250       455    450.13     95.72      4.70   1000000         0
746.14/746.40	c       243       507    444.31     74.80      5.94   1000000         0
747.24/747.56	c       246       424    470.93     96.78      4.87   1000000         0
748.44/748.70	c       244       470    459.78     88.33      5.21   1000000         0
749.54/749.85	c       199       342    445.06     92.14      4.83   1000000         0
750.74/751.00	c       269       435    460.74     98.62      4.67   1000000         0
751.84/752.16	c       258       439    460.12     86.20      5.34   1000000         0
753.04/753.30	c       259       369    443.16     82.84      5.35   1000000         0
754.14/754.45	c       234       517    455.99     95.59      4.77   1000000         0
755.35/755.60	c       231       402    461.49     83.83      5.51   1000000         0
756.45/756.75	c       262       383    452.68     94.04      4.81   1000000         0
757.55/757.90	c       260       357    457.46     88.48      5.17   1000000         0
758.75/759.05	c       272       504    472.57    109.43      4.32   1000000         0
759.94/760.21	c       273       594    462.10     86.44      5.35   1000000         0
761.04/761.35	c       212       360    444.19     80.18      5.54   1000000         0
762.24/762.50	c       285       470    458.60     86.37      5.31   1000000         0
763.34/763.65	c       274       399    459.29     85.56      5.37   1000000         0
764.54/764.80	c       282       471    476.77     73.99      6.44   1000000         0
765.64/765.95	c       252       506    475.60     88.37      5.38   1000000         0
766.84/767.10	c       241       367    458.66     91.59      5.01   1000000         0
767.94/768.25	c       262       460    474.03    111.74      4.24   1000000         0
769.14/769.40	c       261       359    455.10     96.56      4.71   1000000         0
770.24/770.55	c       251       372    445.10     81.54      5.46   1000000         0
771.44/771.70	c       294       348    479.14     80.56      5.95   1000000         0
772.54/772.86	c       262       435    468.52     90.57      5.17   1000000         0
773.74/774.00	c       235       382    447.16    106.44      4.20   1000000         0
774.84/775.15	c       263       504    459.08     83.84      5.48   1000000         0
776.04/776.30	c       276       446    458.01     84.34      5.43   1000000         0
777.13/777.45	c       239       442    450.91     97.67      4.62   1000000         0
778.23/778.59	c       241       506    447.61     89.79      4.99   1000000         0
779.43/779.74	c       269       338    446.55     88.61      5.04   1000000         0
780.53/780.89	c       233       303    447.05     71.51      6.25   1000000         0
781.74/782.04	c       239       417    458.30     81.83      5.60   1000000         0
782.84/783.19	c       251       371    471.29    100.45      4.69   1000000         0
784.04/784.33	c       247       497    443.12     81.43      5.44   1000000         0
785.14/785.48	c       233       456    454.64     99.01      4.59   1000000         0
786.33/786.63	c       266       422    452.71     90.01      5.03   1000000         0
787.43/787.78	c       249       483    435.74     87.29      4.99   1000000         0
788.63/788.93	c       216       303    461.52    105.65      4.37   1000000         0
789.73/790.08	c       245       443    454.76     95.32      4.77   1000000         0
790.93/791.22	c       260       504    454.90    100.55      4.52   1000000         0
792.03/792.37	c       253       412    451.80     85.48      5.29   1000000         0
793.23/793.52	c       234       498    450.75     89.25      5.05   1000000         0
794.33/794.67	c       264       424    462.64     86.07      5.38   1000000         0
795.53/795.82	c       285       446    456.43     95.87      4.76   1000000         0
796.63/796.97	c       255       501    445.65    103.14      4.32   1000000         0
797.83/798.11	c       217       424    451.25     86.78      5.20   1000000         0
798.93/799.27	c       287       494    476.37     84.73      5.62   1000000         0
800.13/800.42	c       242       400    462.02    101.06      4.57   1000000         0
801.23/801.57	c       277       306    451.62     81.23      5.56   1000000         0
802.43/802.72	c       266       443    452.69     89.52      5.06   1000000         0
803.52/803.87	c       250       498    456.17     85.33      5.35   1000000         0
804.72/805.02	c       262       457    453.00     93.68      4.84   1000000         0
805.82/806.17	c       214       446    459.51     96.17      4.78   1000000         0
807.03/807.31	c       250       503    459.43     90.98      5.05   1000000         0
808.13/808.46	c       263       434    456.15     89.28      5.11   1000000         0
809.33/809.61	c       255       581    451.91     88.02      5.13   1000000         0
810.43/810.76	c       250       409    455.60     91.06      5.00   1000000         0
811.62/811.91	c       256       522    464.85     85.17      5.46   1000000         0
812.72/813.05	c       229       513    447.71     90.31      4.96   1000000         0
813.92/814.20	c       227       441    459.01     83.70      5.48   1000000         0
815.02/815.35	c       236       497    452.39     87.66      5.16   1000000         0
816.22/816.50	c       240       466    453.74     83.11      5.46   1000000         0
817.32/817.65	c       185       526    444.85     81.20      5.48   1000000         0
818.52/818.80	c       213       423    460.00     84.40      5.45   1000000         0
819.62/819.94	c       265       479    443.10     93.50      4.74   1000000         0
820.82/821.10	c       273       633    471.90     89.32      5.28   1000000         0
821.92/822.25	c       276       354    472.74     90.29      5.24   1000000         0
823.02/823.40	c       270       410    451.69     78.67      5.74   1000000         0
824.22/824.55	c       262       505    465.82     88.33      5.27   1000000         0
825.32/825.70	c       233       555    454.26     93.68      4.85   1000000         0
826.52/826.85	c       282       491    478.88    104.61      4.58   1000000         0
827.72/828.00	c       232       448    456.59    101.25      4.51   1000000         0
828.82/829.15	c       262       465    459.22     89.70      5.12   1000000         0
829.92/830.29	c       239       470    436.80     94.76      4.61   1000000         0
831.12/831.44	c       287       506    452.40     90.98      4.97   1000000         0
832.22/832.59	c       257       482    436.79     88.32      4.95   1000000         0
833.42/833.74	c       275       407    447.55     79.32      5.64   1000000         0
834.52/834.89	c       239       373    454.14     80.94      5.61   1000000         0
835.72/836.04	c       232       390    451.95     93.90      4.81   1000000         0
836.82/837.19	c       242       309    465.83    101.57      4.59   1000000         0
838.01/838.34	c       254       465    470.95     97.24      4.84   1000000         0
839.11/839.49	c       248       423    455.27     90.94      5.01   1000000         0
840.31/840.64	c       234       484    435.93     91.78      4.75   1000000         0
841.41/841.79	c       247       403    445.71     77.97      5.72   1000000         0
842.61/842.94	c       263       443    448.40     90.80      4.94   1000000         0
843.71/844.08	c       182       418    433.79     94.41      4.59   1000000         0
844.91/845.23	c       265       500    462.86    105.99      4.37   1000000         0
846.01/846.37	c       238       411    440.62     83.52      5.28   1000000         0
847.21/847.52	c       271       544    456.65     86.23      5.30   1000000         0
848.31/848.67	c       245       551    451.62     97.67      4.62   1000000         0
849.52/849.82	c       255       386    445.74     74.49      5.98   1000000         0
850.62/850.97	c       257       316    469.72     85.74      5.48   1000000         0
851.82/852.12	c       245       470    454.22     82.72      5.49   1000000         0
852.92/853.26	c       266       442    454.08     85.21      5.33   1000000         0
854.12/854.41	c       265       341    462.53     78.89      5.86   1000000         0
855.22/855.56	c       200       410    445.34     90.57      4.92   1000000         0
856.42/856.71	c       252       402    457.11     83.14      5.50   1000000         0
857.52/857.85	c       265       535    442.83     80.66      5.49   1000000         0
858.72/859.00	c       267       488    469.16     83.18      5.64   1000000         0
859.82/860.16	c       186       542    458.92    101.57      4.52   1000000         0
861.02/861.31	c       247       384    469.26     78.94      5.94   1000000         0
862.12/862.46	c       278       438    449.80     78.79      5.71   1000000         0
863.31/863.60	c       230       320    455.95     83.30      5.47   1000000         0
864.41/864.75	c       207       516    430.67     84.04      5.12   1000000         0
865.61/865.90	c       270       552    474.62     81.19      5.85   1000000         0
866.71/867.05	c       277       411    466.48    105.20      4.43   1000000         0
867.91/868.20	c       241       398    472.78    108.90      4.34   1000000         0
869.01/869.35	c       255       442    465.20     91.20      5.10   1000000         0
870.21/870.50	c       285       461    453.87     97.48      4.66   1000000         0
871.31/871.65	c       259       504    463.83     87.62      5.29   1000000         0
872.51/872.80	c       231       412    458.31     97.50      4.70   1000000         0
873.61/873.95	c       257       469    457.85     80.05      5.72   1000000         0
874.81/875.10	c       245       429    457.84     98.18      4.66   1000000         0
875.91/876.25	c       286       440    450.50     81.02      5.56   1000000         0
877.11/877.40	c       271       433    463.17    104.99      4.41   1000000         0
878.21/878.55	c       265       515    475.01     93.25      5.09   1000000         0
879.41/879.70	c       230       464    445.76    100.64      4.43   1000000         0
880.51/880.85	c       266       423    460.99     93.67      4.92   1000000         0
881.71/882.00	c       224       426    471.34     94.62      4.98   1000000         0
882.81/883.15	c       240       382    465.14     88.37      5.26   1000000         0
884.02/884.30	c       247       482    446.40     82.22      5.43   1000000         0
885.12/885.45	c       253       456    466.47     90.41      5.16   1000000         0
886.22/886.60	c       246       505    456.53     88.61      5.15   1000000         0
887.41/887.75	c       261       563    466.30     89.66      5.20   1000000         0
888.61/888.90	c       272       472    459.39     96.33      4.77   1000000         0
889.71/890.06	c       274       461    471.02     99.37      4.74   1000000         0
890.91/891.21	c       262       482    447.60     96.33      4.65   1000000         0
892.01/892.36	c       258       580    451.85    100.05      4.52   1000000         0
893.21/893.51	c       270       527    453.44     84.46      5.37   1000000         0
894.31/894.66	c       228       504    465.57     80.02      5.82   1000000         0
895.50/895.81	c       276       443    461.48     97.14      4.75   1000000         0
896.60/896.96	c       282       431    466.27     89.30      5.22   1000000         0
897.80/898.11	c       270       479    471.35     97.91      4.81   1000000         0
898.90/899.26	c       249       493    447.19     88.87      5.03   1000000         0
900.10/900.41	c       284       512    471.86     94.97      4.97   1000000         0
901.20/901.56	c       276       473    463.61    103.71      4.47   1000000         0
902.40/902.71	c       188       426    447.34     93.58      4.78   1000000         0
903.50/903.86	c       272       475    458.65     85.21      5.38   1000000         0
904.70/905.02	c       251       441    475.24     95.56      4.97   1000000         0
905.80/906.16	c       166       545    441.22     83.25      5.30   1000000         0
907.00/907.31	c       226       455    467.94     97.32      4.81   1000000         0
908.10/908.46	c       253       455    441.90     92.78      4.76   1000000         0
909.31/909.61	c       258       379    457.82    103.91      4.41   1000000         0
910.41/910.76	c       279       474    464.79     82.63      5.62   1000000         0
911.61/911.91	c       269       472    465.14     95.18      4.89   1000000         0
912.71/913.06	c       274       372    460.25    104.81      4.39   1000000         0
913.90/914.21	c       220       450    449.52     87.08      5.16   1000000         0
915.00/915.36	c       257       476    461.09     85.75      5.38   1000000         0
916.20/916.51	c       234       553    429.94     85.88      5.01   1000000         0
917.30/917.65	c       253       484    453.51     78.40      5.78   1000000         0
918.50/918.81	c       275       417    460.22     91.74      5.02   1000000         0
919.60/919.96	c       251       447    458.40     82.71      5.54   1000000         0
920.80/921.11	c       276       431    460.10     89.18      5.16   1000000         0
921.90/922.25	c       249       366    451.45    103.91      4.34   1000000         0
923.10/923.41	c       259       361    470.77     94.01      5.01   1000000         0
924.20/924.56	c       267       414    470.59     87.59      5.37   1000000         0
925.40/925.71	c       288       548    479.63     83.32      5.76   1000000         0
926.50/926.86	c       271       361    450.03     94.26      4.77   1000000         0
927.69/928.01	c       269       557    456.94     75.92      6.02   1000000         0
928.79/929.16	c       250       525    474.90     88.80      5.35   1000000         0
929.99/930.32	c       278       386    467.53     90.49      5.17   1000000         0
931.09/931.46	c       262       381    456.56     90.25      5.06   1000000         0
932.29/932.62	c       257       425    461.90    106.62      4.33   1000000         0
933.39/933.77	c       284       442    464.08     87.96      5.28   1000000         0
934.60/934.92	c       247       499    460.75     94.67      4.87   1000000         0
935.70/936.07	c       260       404    448.72     83.10      5.40   1000000         0
936.90/937.22	c       252       560    456.40     94.43      4.83   1000000         0
938.00/938.36	c       257       482    449.63     90.51      4.97   1000000         0
939.19/939.51	c       225       298    445.99    101.83      4.38   1000000         0
940.29/940.66	c       238       449    443.57     81.31      5.46   1000000         0
941.49/941.81	c       244       443    455.36     95.84      4.75   1000000         0
942.59/942.96	c       238       433    468.07     92.27      5.07   1000000         0
943.79/944.11	c       251       510    451.93     87.09      5.19   1000000         0
944.89/945.26	c       267       482    451.83     77.11      5.86   1000000         0
946.09/946.41	c       240       429    450.69     88.53      5.09   1000000         0
947.19/947.56	c       255       459    470.95     96.21      4.90   1000000         0
948.39/948.71	c       246       464    454.01     94.34      4.81   1000000         0
949.49/949.86	c       271       409    468.68     76.98      6.09   1000000         0
950.69/951.01	c       240       404    453.31     98.15      4.62   1000000         0
951.79/952.16	c       257       378    455.77     80.63      5.65   1000000         0
952.99/953.31	c       250       427    452.63     84.71      5.34   1000000         0
954.08/954.45	c       252       376    446.53     88.82      5.03   1000000         0
955.28/955.60	c       280       321    457.56     82.30      5.56   1000000         0
956.38/956.76	c       296       523    475.60     91.71      5.19   1000000         0
957.58/957.91	c       258       416    456.84     80.82      5.65   1000000         0
958.68/959.06	c       266       590    475.99     86.15      5.53   1000000         0
959.89/960.22	c       240       438    466.26     85.77      5.44   1000000         0
960.99/961.36	c       262       410    449.30     93.91      4.78   1000000         0
962.19/962.51	c       247       394    450.98     84.96      5.31   1000000         0
963.29/963.66	c       296       408    469.50     87.74      5.35   1000000         0
964.48/964.81	c       248       423    449.49     80.84      5.56   1000000         0
965.58/965.96	c       260       465    457.93    100.62      4.55   1000000         0
966.78/967.11	c       226       478    447.45     91.51      4.89   1000000         0
967.88/968.26	c       247       377    462.10    108.71      4.25   1000000         0
969.08/969.41	c       272       344    458.36     89.64      5.11   1000000         0
970.18/970.56	c       267       410    448.86     91.80      4.89   1000000         0
971.38/971.71	c       232       395    448.10     96.64      4.64   1000000         0
972.48/972.86	c       255       452    443.39     83.78      5.29   1000000         0
973.68/974.01	c       275       418    454.19     78.40      5.79   1000000         0
974.78/975.15	c       273       425    462.65     77.16      6.00   1000000         0
975.98/976.30	c       234       438    445.32     85.31      5.22   1000000         0
977.08/977.45	c       241       496    455.64    103.38      4.41   1000000         0
978.28/978.60	c       246       445    449.35     84.76      5.30   1000000         0
979.38/979.75	c       277       288    469.84     96.56      4.87   1000000         0
980.58/980.90	c       266       478    464.68     98.67      4.71   1000000         0
981.67/982.05	c       254       437    457.97     91.37      5.01   1000000         0
982.87/983.20	c       255       443    443.99     89.26      4.97   1000000         0
983.97/984.34	c       232       343    439.81     84.39      5.21   1000000         0
985.07/985.49	c       262       510    451.55     81.55      5.54   1000000         0
986.28/986.64	c       247       407    457.78    105.44      4.34   1000000         0
987.38/987.79	c       288       535    465.99     75.73      6.15   1000000         0
988.58/988.94	c       255       419    452.59     80.45      5.63   1000000         0
989.68/990.09	c       252       502    454.53     87.78      5.18   1000000         0
990.87/991.24	c       264       492    454.97     79.89      5.69   1000000         0
991.97/992.39	c       279       453    481.94     92.08      5.23   1000000         0
993.17/993.54	c       262       446    448.56     88.58      5.06   1000000         0
994.27/994.69	c       227       337    440.02     87.99      5.00   1000000         0
995.47/995.84	c       288       438    460.19     73.97      6.22   1000000         0
996.57/996.99	c       248       394    464.67    101.24      4.59   1000000         0
997.77/998.14	c       231       408    460.09     85.28      5.39   1000000         0
998.87/999.29	c       254       433    460.96     86.65      5.32   1000000         0
1000.07/1000.44	c       252       390    468.32     92.92      5.04   1000000         0
1001.27/1001.60	c       253       497    459.54     80.32      5.72   1000000         0
1002.37/1002.75	c       261       418    455.57     82.99      5.49   1000000         0
1003.47/1003.89	c       248       471    453.10     75.74      5.98   1000000         0
1004.67/1005.05	c       250       470    464.14     82.10      5.65   1000000         0
1005.87/1006.20	c       257       422    464.57     93.43      4.97   1000000         0
1006.96/1007.35	c       267       509    464.42     96.65      4.81   1000000         0
1008.06/1008.50	c       264       325    432.98     84.50      5.12   1000000         0
1009.26/1009.65	c       269       398    477.80     95.19      5.02   1000000         0
1010.36/1010.79	c       249       426    434.74     83.53      5.20   1000000         0
1011.57/1011.95	c       275       451    461.11     81.02      5.69   1000000         0
1012.67/1013.10	c       254       440    465.27     95.06      4.89   1000000         0
1013.87/1014.25	c       270       432    463.83    103.67      4.47   1000000         0
1015.06/1015.40	c       267       380    473.63    102.48      4.62   1000000         0
1016.16/1016.55	c       244       489    452.52     86.89      5.21   1000000         0
1017.36/1017.70	c       285       487    463.56     97.75      4.74   1000000         0
1018.46/1018.85	c       258       378    456.98     87.41      5.23   1000000         0
1019.66/1020.00	c       258       613    455.39     74.23      6.13   1000000         0
1020.76/1021.15	c       272       368    457.88     98.04      4.67   1000000         0
1021.96/1022.30	c       214       434    444.98     86.79      5.13   1000000         0
1023.06/1023.45	c       272       467    459.13     82.33      5.58   1000000         0
1024.26/1024.60	c       248       455    455.30    103.15      4.41   1000000         0
1025.36/1025.75	c       273       364    455.73     92.74      4.91   1000000         0
1026.56/1026.90	c       268       444    459.50     91.95      5.00   1000000         0
1027.66/1028.05	c       277       522    470.86     77.03      6.11   1000000         0
1028.86/1029.20	c       294       450    460.05     65.83      6.99   1000000         0
1029.96/1030.35	c       228       374    434.72     90.54      4.80   1000000         0
1031.06/1031.49	c       229       537    443.86     91.31      4.86   1000000         0
1032.26/1032.64	c       242       404    453.89     95.01      4.78   1000000         0
1033.36/1033.79	c       258       456    456.15     94.33      4.84   1000000         0
1034.56/1034.94	c       250       448    443.02     77.48      5.72   1000000         0
1035.66/1036.09	c       261       597    457.63    101.96      4.49   1000000         0
1036.86/1037.24	c       249       429    457.53     90.99      5.03   1000000         0
1037.96/1038.39	c       274       356    463.23     87.40      5.30   1000000         0
1039.16/1039.54	c       258       442    447.85     88.18      5.08   1000000         0
1040.26/1040.69	c       251       404    456.58     96.20      4.75   1000000         0
1041.45/1041.84	c       254       483    467.48    101.37      4.61   1000000         0
1042.55/1042.99	c       224       511    458.08    103.85      4.41   1000000         0
1043.75/1044.14	c       275       472    456.91     76.03      6.01   1000000         0
1044.85/1045.29	c       303       430    463.42     76.64      6.05   1000000         0
1046.05/1046.44	c       274       390    460.31     94.99      4.85   1000000         0
1047.15/1047.59	c       268       485    458.56    106.08      4.32   1000000         0
1048.35/1048.74	c       238       428    443.88     98.12      4.52   1000000         0
1049.45/1049.89	c       250       405    462.48    108.33      4.27   1000000         0
1050.65/1051.04	c       247       466    460.07    100.31      4.59   1000000         0
1051.75/1052.19	c       257       465    452.41     86.25      5.25   1000000         0
1052.95/1053.34	c       234       405    464.83     95.32      4.88   1000000         0
1054.05/1054.49	c       286       492    454.20     75.55      6.01   1000000         0
1055.25/1055.64	c       241       519    459.75    107.60      4.27   1000000         0
1056.35/1056.79	c       271       455    466.33     86.31      5.40   1000000         0
1057.55/1057.94	c       259       503    455.34     73.39      6.20   1000000         0
1058.65/1059.08	c       264       529    446.29     82.09      5.44   1000000         0
1059.85/1060.23	c       255       405    474.51     95.22      4.98   1000000         0
1060.95/1061.38	c       259       410    451.50     92.26      4.89   1000000         0
1062.16/1062.53	c       256       500    453.86     87.65      5.18   1000000         0
1063.25/1063.68	c       210       340    434.54     92.21      4.71   1000000         0
1064.46/1064.83	c       249       526    438.87     89.19      4.92   1000000         0
1065.56/1065.98	c       248       384    462.01     77.11      5.99   1000000         0
1066.75/1067.13	c       275       479    460.63     79.80      5.77   1000000         0
1067.85/1068.28	c       241       422    449.53     86.63      5.19   1000000         0
1069.05/1069.43	c       259       479    457.91     88.82      5.16   1000000         0
1070.15/1070.58	c       270       345    455.77     78.11      5.84   1000000         0
1071.35/1071.73	c       253       531    454.29    112.30      4.05   1000000         0
1072.44/1072.88	c       262       414    458.13     86.58      5.29   1000000         0
1073.64/1074.03	c       228       393    459.08     90.63      5.07   1000000         0
1074.74/1075.18	c       281       540    465.25     82.45      5.64   1000000         0
1075.94/1076.32	c       240       409    437.42     81.30      5.38   1000000         0
1077.04/1077.47	c       219       514    446.17     80.41      5.55   1000000         0
1078.24/1078.62	c       248       458    459.13     82.29      5.58   1000000         0
1079.34/1079.77	c       296       519    475.66     74.11      6.42   1000000         0
1080.54/1080.92	c       263       545    461.23     86.53      5.33   1000000         0
1081.64/1082.07	c       244       498    453.36     88.75      5.11   1000000         0
1082.84/1083.22	c       273       447    447.93     71.65      6.25   1000000         0
1083.94/1084.38	c       251       313    467.73    103.43      4.52   1000000         0
1085.14/1085.53	c       220       494    465.98     91.75      5.08   1000000         0
1086.24/1086.67	c       222       463    440.14     97.74      4.50   1000000         0
1087.45/1087.82	c       263       418    438.01     86.14      5.08   1000000         0
1088.55/1088.97	c       283       378    481.28     89.16      5.40   1000000         0
1089.75/1090.12	c       264       388    457.37     99.58      4.59   1000000         0
1090.85/1091.27	c       206       626    451.73     93.89      4.81   1000000         0
1092.04/1092.43	c       271       527    477.89     95.67      5.00   1000000         0
1093.14/1093.58	c       256       477    454.98     90.40      5.03   1000000         0
1094.34/1094.73	c       251       480    461.37     76.52      6.03   1000000         0
1095.44/1095.88	c       240       463    462.29     96.20      4.81   1000000         0
1096.64/1097.02	c       260       529    448.33     85.19      5.26   1000000         0
1097.74/1098.18	c       281       372    466.76     89.13      5.24   1000000         0
1098.94/1099.33	c       243       438    454.25     94.44      4.81   1000000         0
1100.04/1100.48	c       247       438    458.82    105.36      4.35   1000000         0
1101.24/1101.63	c       235       462    443.43    100.22      4.42   1000000         0
1102.34/1102.78	c       261       522    455.85     91.03      5.01   1000000         0
1103.54/1103.93	c       173       510    465.39    104.63      4.45   1000000         0
1104.64/1105.08	c       269       438    461.00     90.48      5.10   1000000         0
1105.83/1106.23	c       252       483    469.18     92.58      5.07   1000000         0
1106.93/1107.38	c       266       484    457.07     81.50      5.61   1000000         0
1108.13/1108.53	c       217       441    446.73     88.03      5.07   1000000         0
1109.23/1109.68	c       234       466    460.75     91.89      5.01   1000000         0
1110.43/1110.82	c       235       495    450.05    101.56      4.43   1000000         0
1111.53/1111.98	c       268       507    470.91     94.75      4.97   1000000         0
1112.74/1113.13	c       238       332    448.99     84.25      5.33   1000000         0
1113.84/1114.28	c       218       392    462.36    104.52      4.42   1000000         0
1115.04/1115.43	c       271       411    466.89     82.40      5.67   1000000         0
1116.14/1116.58	c       247       428    461.89     81.96      5.64   1000000         0
1117.33/1117.73	c       188       390    453.07    106.65      4.25   1000000         0
1118.43/1118.89	c       265       461    472.42     88.12      5.36   1000000         0
1119.63/1120.04	c       274       411    472.75     92.68      5.10   1000000         0
1120.73/1121.19	c       220       416    452.25     78.90      5.73   1000000         0
1121.93/1122.34	c       214       478    455.27     99.73      4.57   1000000         0
1123.03/1123.49	c       278       439    463.92     84.13      5.51   1000000         0
1124.23/1124.64	c       236       352    451.56     93.23      4.84   1000000         0
1125.33/1125.79	c       287       455    460.31     92.94      4.95   1000000         0
1126.52/1126.94	c       240       419    458.60     86.45      5.30   1000000         0
1127.62/1128.09	c       291       450    466.57     82.38      5.66   1000000         0
1128.82/1129.24	c       246       348    440.47     99.26      4.44   1000000         0
1129.92/1130.38	c       246       443    439.14     92.99      4.72   1000000         0
1131.12/1131.53	c       229       356    448.61     85.45      5.25   1000000         0
1132.22/1132.68	c       254       474    462.23     89.51      5.16   1000000         0
1133.42/1133.83	c       250       479    453.64     89.09      5.09   1000000         0
1134.52/1134.98	c       243       514    462.97     93.75      4.94   1000000         0
1135.72/1136.13	c       250       391    463.63    104.13      4.45   1000000         0
1136.82/1137.28	c       247       372    453.54     95.03      4.77   1000000         0
1138.03/1138.43	c       218       333    452.48     95.47      4.74   1000000         0
1139.13/1139.58	c       257       457    447.52     90.52      4.94   1000000         0
1140.33/1140.73	c       271       402    461.52     86.32      5.35   1000000         0
1141.43/1141.88	c       265       353    450.92     87.83      5.13   1000000         0
1142.62/1143.02	c       234       392    435.58     86.67      5.03   1000000         0
1143.72/1144.17	c       253       436    457.81     82.95      5.52   1000000         0
1144.92/1145.32	c       237       420    449.17     85.26      5.27   1000000         0
1146.02/1146.47	c       212       473    457.35     85.53      5.35   1000000         0
1147.22/1147.62	c       284       450    462.23     90.03      5.13   1000000         0
1148.32/1148.77	c       272       453    449.77     88.51      5.08   1000000         0
1149.52/1149.92	c       253       526    452.20     94.09      4.81   1000000         0
1150.62/1151.06	c       223       402    438.75     97.27      4.51   1000000         0
1151.82/1152.22	c       265       586    472.69     82.17      5.75   1000000         0
1152.92/1153.37	c       218       581    451.30     79.62      5.67   1000000         0
1154.12/1154.52	c       234       382    464.37     86.40      5.37   1000000         0
1155.22/1155.66	c       259       373    454.42     87.42      5.20   1000000         0
1156.42/1156.81	c       246       423    451.35     93.13      4.85   1000000         0
1157.52/1157.96	c       275       475    454.56     90.24      5.04   1000000         0
1158.72/1159.11	c       221       484    458.13     76.22      6.01   1000000         0
1159.81/1160.26	c       219       427    461.84     83.32      5.54   1000000         0
1161.01/1161.41	c       256       493    437.13     90.44      4.83   1000000         0
1162.11/1162.56	c       244       437    452.34     89.65      5.05   1000000         0
1163.32/1163.71	c       260       404    442.65     80.03      5.53   1000000         0
1164.42/1164.86	c       248       457    460.81    100.36      4.59   1000000         0
1165.62/1166.01	c       279       595    455.43     89.38      5.10   1000000         0
1166.72/1167.16	c       268       452    465.11     88.40      5.26   1000000         0
1167.91/1168.31	c       238       447    444.33    100.77      4.41   1000000         0
1169.01/1169.45	c       233       451    441.88     86.29      5.12   1000000         0
1170.21/1170.60	c       263       413    452.96     85.31      5.31   1000000         0
1171.31/1171.75	c       280       483    463.93     86.27      5.38   1000000         0
1172.51/1172.90	c       221       430    447.10     89.78      4.98   1000000         0
1173.61/1174.05	c       283       422    475.67     94.91      5.01   1000000         0
1174.81/1175.20	c       266       486    433.82     95.72      4.53   1000000         0
1175.91/1176.35	c       256       530    465.45     85.22      5.46   1000000         0
1177.11/1177.50	c       259       449    476.92    101.99      4.68   1000000         0
1178.21/1178.65	c       241       492    451.03     99.48      4.53   1000000         0
1179.42/1179.80	c       272       495    464.90     95.89      4.85   1000000         0
1180.52/1180.95	c       240       479    457.27     83.35      5.49   1000000         0
1181.72/1182.10	c       292       474    462.36     76.23      6.07   1000000         0
1182.82/1183.25	c       233       403    450.40     94.50      4.77   1000000         0
1184.02/1184.40	c       261       464    452.08     89.49      5.05   1000000         0
1185.12/1185.55	c       277       442    456.40     90.30      5.05   1000000         0
1186.21/1186.69	c       246       493    441.47     84.19      5.24   1000000         0
1187.41/1187.84	c       236       441    456.92     91.02      5.02   1000000         0
1188.51/1188.99	c       265       500    463.63    101.16      4.58   1000000         0
1189.72/1190.14	c       283       598    465.47     94.39      4.93   1000000         0
1190.82/1191.29	c       238       474    463.76     90.29      5.14   1000000         0
1192.02/1192.45	c       227       446    460.79     85.08      5.42   1000000         0
1193.12/1193.59	c       240       482    457.78     87.66      5.22   1000000         0
1194.31/1194.74	c       222       430    446.51     92.75      4.81   1000000         0
1195.41/1195.89	c       238       339    444.42     86.31      5.15   1000000         0
1196.61/1197.03	c       239       332    449.77     83.19      5.41   1000000         0
1197.71/1198.18	c       264       432    460.22     78.67      5.85   1000000         0
1198.91/1199.33	c       274       427    441.74     92.22      4.79   1000000         0
1200.01/1200.48	c       260       482    447.76     93.56      4.79   1000000         0
1201.21/1201.63	c       265       477    455.04     93.89      4.85   1000000         0
1202.31/1202.77	c       278       436    452.81     77.31      5.86   1000000         0
1203.51/1203.93	c       265       376    474.03     95.13      4.98   1000000         0
1204.61/1205.08	c       267       397    463.17    101.24      4.58   1000000         0
1205.81/1206.23	c       291       428    458.52     71.13      6.45   1000000         0
1206.91/1207.37	c       258       481    450.77     82.32      5.48   1000000         0
1208.11/1208.52	c       270       471    458.27     88.64      5.17   1000000         0
1209.21/1209.68	c       260       515    455.88     89.77      5.08   1000000         0
1210.41/1210.82	c       247       400    459.72     83.73      5.49   1000000         0
1211.51/1211.97	c       236       436    447.89     93.39      4.80   1000000         0
1212.71/1213.12	c       235       536    449.63     93.51      4.81   1000000         0
1213.81/1214.27	c       213       443    451.27     92.59      4.87   1000000         0
1215.01/1215.42	c       208       473    446.81     88.42      5.05   1000000         0
1216.11/1216.56	c       275       438    439.74     83.11      5.29   1000000         0
1217.31/1217.72	c       246       410    462.86     95.35      4.85   1000000         0
1218.41/1218.87	c       266       397    458.55     85.49      5.36   1000000         0
1219.60/1220.01	c       260       564    459.88     94.26      4.88   1000000         0
1220.70/1221.16	c       270       305    444.88     90.58      4.91   1000000         0
1221.90/1222.31	c       256       475    448.07     93.97      4.77   1000000         0
1223.00/1223.46	c       246       528    444.04     95.56      4.65   1000000         0
1224.20/1224.61	c       279       411    447.17     89.65      4.99   1000000         0
1225.30/1225.75	c       212       359    455.57     85.04      5.36   1000000         0
1226.50/1226.90	c       278       409    449.97     92.06      4.89   1000000         0
1227.60/1228.04	c       203       493    425.22     88.77      4.79   1000000         0
1228.70/1229.19	c       265       406    452.80     83.75      5.41   1000000         0
1229.90/1230.34	c       254       519    472.14     85.25      5.54   1000000         0
1231.10/1231.50	c       271       561    479.86     92.17      5.21   1000000         0
1232.20/1232.65	c       252       343    457.96     98.10      4.67   1000000         0
1233.30/1233.80	c       279       472    465.58     79.83      5.83   1000000         0
1234.50/1234.95	c       225       447    467.46     91.99      5.08   1000000         0
1235.60/1236.09	c       243       429    446.00     78.62      5.67   1000000         0
1236.80/1237.24	c       230       474    443.60     94.04      4.72   1000000         0
1237.90/1238.39	c       269       594    465.00     93.16      4.99   1000000         0
1239.10/1239.55	c       277       548    463.58     78.52      5.90   1000000         0
1240.30/1240.70	c       262       488    448.40     86.44      5.19   1000000         0
1241.40/1241.85	c       275       471    462.39     84.68      5.46   1000000         0
1242.50/1243.00	c       277       451    449.17    109.18      4.11   1000000         0
1243.70/1244.15	c       222       414    455.74     91.17      5.00   1000000         0
1244.89/1245.30	c       260       495    461.11     79.00      5.84   1000000         0
1245.99/1246.45	c       233       420    473.23     95.02      4.98   1000000         0
1247.19/1247.60	c       259       400    446.50     85.92      5.20   1000000         0
1248.29/1248.74	c       255       459    441.24     87.67      5.03   1000000         0
1249.39/1249.89	c       227       425    447.42     90.86      4.92   1000000         0
1250.59/1251.04	c       256       503    465.91    111.89      4.16   1000000         0
1251.69/1252.20	c       251       384    458.65     79.22      5.79   1000000         0
1252.89/1253.34	c       237       352    440.09     88.68      4.96   1000000         0
1253.99/1254.49	c       287       464    461.84     88.48      5.22   1000000         0
1255.19/1255.64	c       241       513    453.80     79.04      5.74   1000000         0
1256.29/1256.79	c       270       514    455.13     82.53      5.51   1000000         0
1257.49/1257.93	c       291       382    454.82     77.44      5.87   1000000         0
1258.59/1259.08	c       264       438    453.61     91.24      4.97   1000000         0
1259.79/1260.24	c       203       473    466.70     99.78      4.68   1000000         0
1260.89/1261.38	c       262       465    452.89     82.32      5.50   1000000         0
1262.09/1262.54	c       277       439    474.96     89.20      5.32   1000000         0
1263.19/1263.69	c       239       400    464.69     97.42      4.77   1000000         0
1264.39/1264.84	c       178       427    454.90     99.20      4.59   1000000         0
1265.49/1265.99	c       197       493    454.14     90.57      5.01   1000000         0
1266.69/1267.14	c       222       507    455.84     88.64      5.14   1000000         0
1267.79/1268.29	c       284       374    455.42     70.81      6.43   1000000         0
1268.99/1269.43	c       267       519    446.99     87.64      5.10   1000000         0
1270.09/1270.58	c       273       385    452.26     89.73      5.04   1000000         0
1271.29/1271.73	c       237       423    446.36    110.16      4.05   1000000         0
1272.39/1272.88	c       273       457    459.95    100.40      4.58   1000000         0
1273.58/1274.03	c       259       441    461.94     88.61      5.21   1000000         0
1274.69/1275.18	c       233       469    446.82     96.44      4.63   1000000         0
1275.88/1276.34	c       261       479    465.91     97.06      4.80   1000000         0
1276.98/1277.48	c       263       408    455.34     94.87      4.80   1000000         0
1278.18/1278.63	c       234       350    438.46     86.43      5.07   1000000         0
1279.28/1279.78	c       226       432    461.30     83.69      5.51   1000000         0
1280.48/1280.93	c       241       415    441.63     89.39      4.94   1000000         0
1281.58/1282.08	c       284       401    456.79     91.20      5.01   1000000         0
1282.78/1283.23	c       253       466    443.94     95.76      4.64   1000000         0
1283.88/1284.38	c       259       472    450.13     87.72      5.13   1000000         0
1285.08/1285.53	c       243       450    451.79     86.39      5.23   1000000         0
1286.18/1286.68	c       246       408    467.02    100.31      4.66   1000000         0
1287.38/1287.83	c       258       480    453.31     92.00      4.93   1000000         0
1288.48/1288.98	c       283       471    468.34     94.59      4.95   1000000         0
1289.68/1290.13	c       268       385    466.99     87.41      5.34   1000000         0
1290.78/1291.28	c       266       424    465.18     90.38      5.15   1000000         0
1291.99/1292.43	c       268       486    465.28     89.34      5.21   1000000         0
1293.09/1293.57	c       241       419    429.70     76.16      5.64   1000000         0
1294.29/1294.72	c       235       432    461.95     97.21      4.75   1000000         0
1295.39/1295.87	c       249       401    448.28     87.85      5.10   1000000         0
1296.58/1297.02	c       226       446    457.65     87.41      5.24   1000000         0
1297.68/1298.17	c       248       484    448.49     88.94      5.04   1000000         0
1298.88/1299.33	c       257       468    464.43     87.18      5.33   1000000         0
1299.98/1300.48	c       252       465    462.98     87.22      5.31   1000000         0
1301.18/1301.63	c       244       399    452.10     85.63      5.28   1000000         0
1302.28/1302.78	c       271       403    471.03     99.27      4.75   1000000         0
1303.48/1303.92	c       232       340    459.20     88.33      5.20   1000000         0
1304.58/1305.07	c       262       404    459.60     86.48      5.31   1000000         0
1305.78/1306.22	c       244       454    466.10     86.07      5.42   1000000         0
1306.87/1307.37	c       285       386    455.10     72.67      6.26   1000000         0
1308.07/1308.52	c       279       449    450.87     84.37      5.34   1000000         0
1309.17/1309.67	c       235       483    450.54    106.66      4.22   1000000         0
1310.37/1310.82	c       254       480    447.40     72.83      6.14   1000000         0
1311.47/1311.97	c       273       513    449.54     82.29      5.46   1000000         0
1312.67/1313.12	c       273       505    461.08     88.61      5.20   1000000         0
1313.77/1314.27	c       270       555    462.45     98.53      4.69   1000000         0
1314.97/1315.42	c       235       413    449.02    104.35      4.30   1000000         0
1316.07/1316.57	c       240       461    457.33     87.06      5.25   1000000         0
1317.28/1317.71	c       230       440    452.12     85.43      5.29   1000000         0
1318.38/1318.86	c       259       438    456.89     77.33      5.91   1000000         0
1319.58/1320.02	c       235       418    469.28     82.84      5.66   1000000         0
1320.68/1321.16	c       254       401    443.14     74.42      5.95   1000000         0
1321.87/1322.31	c       282       470    469.29     75.64      6.20   1000000         0
1322.97/1323.46	c       233       425    427.84     84.48      5.06   1000000         0
1324.17/1324.60	c       240       431    456.54     91.97      4.96   1000000         0
1325.27/1325.75	c       266       494    455.41     98.22      4.64   1000000         0
1326.47/1326.90	c       264       374    453.71     77.30      5.87   1000000         0
1327.57/1328.05	c       253       536    464.01     84.83      5.47   1000000         0
1328.77/1329.20	c       217       403    461.03     80.69      5.71   1000000         0
1329.87/1330.35	c       273       366    465.20     76.54      6.08   1000000         0
1331.07/1331.50	c       222       436    446.19     88.97      5.02   1000000         0
1332.17/1332.65	c       248       489    442.10     73.93      5.98   1000000         0
1333.27/1333.79	c       256       467    439.14     85.43      5.14   1000000         0
1334.47/1334.94	c       260       427    463.39     87.74      5.28   1000000         0
1335.56/1336.09	c       259       403    450.89     86.58      5.21   1000000         0
1336.76/1337.24	c       228       461    445.60     91.02      4.90   1000000         0
1337.86/1338.38	c       275       369    452.43     97.55      4.64   1000000         0
1339.06/1339.53	c       251       446    454.14     90.62      5.01   1000000         0
1340.16/1340.68	c       238       558    463.37     79.67      5.82   1000000         0
1341.36/1341.84	c       287       470    455.90     83.15      5.48   1000000         0
1342.46/1342.98	c       258       501    445.31     84.17      5.29   1000000         0
1343.67/1344.13	c       258       489    451.07     80.24      5.62   1000000         0
1344.77/1345.28	c       246       521    456.09     98.48      4.63   1000000         0
1345.97/1346.43	c       281       446    455.65     86.14      5.29   1000000         0
1347.07/1347.58	c       252       394    444.87     71.63      6.21   1000000         0
1348.26/1348.73	c       238       435    453.07     85.39      5.31   1000000         0
1349.36/1349.88	c       237       412    442.47    105.27      4.20   1000000         0
1350.56/1351.03	c       235       374    467.60     84.70      5.52   1000000         0
1351.66/1352.17	c       238       371    461.51     93.76      4.92   1000000         0
1352.86/1353.32	c       226       401    453.92     87.74      5.17   1000000         0
1353.96/1354.47	c       300       421    459.85     84.01      5.47   1000000         0
1355.16/1355.62	c       232       390    465.84    108.73      4.28   1000000         0
1356.26/1356.77	c       225       346    457.19     83.85      5.45   1000000         0
1357.46/1357.92	c       281       394    464.19     96.87      4.79   1000000         0
1358.56/1359.07	c       263       360    461.46     89.85      5.14   1000000         0
1359.76/1360.22	c       285       452    464.30     83.80      5.54   1000000         0
1360.86/1361.37	c       261       426    454.38     89.26      5.09   1000000         0
1362.06/1362.52	c       259       536    450.56     91.65      4.92   1000000         0
1363.16/1363.67	c       285       459    466.22     79.39      5.87   1000000         0
1364.36/1364.82	c       235       347    461.33     90.02      5.12   1000000         0
1365.46/1365.97	c       268       516    461.79     96.38      4.79   1000000         0
1366.65/1367.11	c       262       475    452.90     81.28      5.57   1000000         0
1367.75/1368.26	c       263       516    449.35     84.33      5.33   1000000         0
1368.96/1369.41	c       263       377    464.34     85.38      5.44   1000000         0
1370.06/1370.56	c       257       314    457.13     87.12      5.25   1000000         0
1371.26/1371.71	c       290       388    465.81     83.53      5.58   1000000         0
1372.36/1372.86	c       281       338    480.18     94.66      5.07   1000000         0
1373.55/1374.01	c       280       539    460.09     76.90      5.98   1000000         0
1374.65/1375.16	c       298       353    466.21     84.47      5.52   1000000         0
1375.85/1376.31	c       183       447    449.54    110.34      4.07   1000000         0
1376.95/1377.46	c       219       526    455.03     93.21      4.88   1000000         0
1378.15/1378.61	c       291       401    451.51     74.75      6.04   1000000         0
1379.25/1379.76	c       235       348    442.66     91.97      4.81   1000000         0
1380.45/1380.90	c       200       475    451.00     94.60      4.77   1000000         0
1381.55/1382.06	c       252       438    462.99     78.43      5.90   1000000         0
1382.75/1383.21	c       283       522    461.46     82.48      5.59   1000000         0
1383.85/1384.36	c       286       422    465.98     98.19      4.75   1000000         0
1385.05/1385.50	c       249       333    447.65     77.98      5.74   1000000         0
1386.15/1386.65	c       238       518    455.98     77.59      5.88   1000000         0
1387.35/1387.80	c       242       433    454.03     94.15      4.82   1000000         0
1388.45/1388.95	c       230       447    442.56     96.48      4.59   1000000         0
1389.55/1390.09	c       247       448    443.21     89.60      4.95   1000000         0
1390.75/1391.24	c       275       435    459.19     86.89      5.28   1000000         0
1391.95/1392.40	c       270       524    471.29     92.01      5.12   1000000         0
1393.05/1393.55	c       256       491    464.91     79.73      5.83   1000000         0
1394.26/1394.70	c       284       441    459.91     95.15      4.83   1000000         0
1395.35/1395.85	c       246       487    449.04    119.24      3.77   1000000         0
1396.45/1397.00	c       208       502    443.19     86.64      5.12   1000000         0
1397.65/1398.15	c       252       504    463.83     81.94      5.66   1000000         0
1398.85/1399.30	c       234       439    462.39     87.19      5.30   1000000         0
1399.95/1400.45	c       264       486    450.80     87.69      5.14   1000000         0
1401.14/1401.60	c       250       469    445.95    116.08      3.84   1000000         0
1402.24/1402.75	c       223       433    454.21     97.12      4.68   1000000         0
1403.34/1403.90	c       234       451    451.45     92.21      4.90   1000000         0
1404.54/1405.04	c       254       485    440.03     84.27      5.22   1000000         0
1405.64/1406.19	c       238       474    466.01     74.48      6.26   1000000         0
1406.84/1407.34	c       281       493    453.08     80.34      5.64   1000000         0
1407.94/1408.49	c       268       421    444.37     88.22      5.04   1000000         0
1409.14/1409.64	c       268       452    453.93     95.96      4.73   1000000         0
1410.24/1410.79	c       259       421    456.97     98.32      4.65   1000000         0
1411.44/1411.94	c       256       479    457.06     85.42      5.35   1000000         0
1412.54/1413.09	c       248       438    457.55     87.69      5.22   1000000         0
1413.74/1414.24	c       238       446    472.67     96.72      4.89   1000000         0
1414.84/1415.39	c       283       471    454.92     80.56      5.65   1000000         0
1416.04/1416.54	c       159       441    440.49     95.64      4.61   1000000         0
1417.14/1417.68	c       260       414    463.49     87.06      5.32   1000000         0
1418.34/1418.83	c       237       357    444.66     91.91      4.84   1000000         0
1419.44/1419.98	c       282       440    459.23     94.37      4.87   1000000         0
1420.65/1421.13	c       252       338    448.64     93.62      4.79   1000000         0
1421.75/1422.28	c       270       502    472.02     94.80      4.98   1000000         0
1422.95/1423.43	c       239       478    447.41     87.48      5.11   1000000         0
1424.05/1424.57	c       194       554    448.34     83.19      5.39   1000000         0
1425.24/1425.72	c       244       459    464.75     92.36      5.03   1000000         0
1426.34/1426.87	c       259       383    461.04     82.77      5.57   1000000         0
1427.54/1428.03	c       282       404    469.53     82.86      5.67   1000000         0
1428.64/1429.17	c       251       477    443.32     81.00      5.47   1000000         0
1429.84/1430.32	c       245       418    462.48    106.51      4.34   1000000         0
1430.94/1431.47	c       272       399    452.01     77.75      5.81   1000000         0
1432.14/1432.62	c       254       417    455.31    100.44      4.53   1000000         0
1433.24/1433.77	c       224       441    457.82    116.30      3.94   1000000         0
1434.43/1434.92	c       270       476    457.89     80.43      5.69   1000000         0
1435.53/1436.07	c       230       568    452.45    100.12      4.52   1000000         0
1436.73/1437.22	c       221       498    450.47     86.31      5.22   1000000         0
1437.83/1438.36	c       243       456    451.28    103.45      4.36   1000000         0
1439.03/1439.51	c       228       483    445.06     89.97      4.95   1000000         0
1440.13/1440.66	c       284       539    456.85     89.79      5.09   1000000         0
1441.33/1441.81	c       280       599    476.87     98.92      4.82   1000000         0
1442.43/1442.96	c       286       502    461.68     88.60      5.21   1000000         0
1443.63/1444.11	c       274       495    472.86     85.22      5.55   1000000         0
1444.73/1445.26	c       228       421    446.11     91.39      4.88   1000000         0
1445.94/1446.41	c       250       469    448.84     93.24      4.81   1000000         0
1447.04/1447.55	c       252       443    445.52     80.57      5.53   1000000         0
1448.14/1448.70	c       215       500    454.84     86.83      5.24   1000000         0
1449.34/1449.86	c       248       408    459.61     87.49      5.25   1000000         0
1450.53/1451.00	c       228       394    442.03     85.13      5.19   1000000         0
1451.63/1452.15	c       256       472    459.38     91.86      5.00   1000000         0
1452.83/1453.30	c       263       467    457.95     82.29      5.56   1000000         0
1453.93/1454.45	c       313       341    463.11     75.69      6.12   1000000         0
1455.13/1455.60	c       249       436    453.26     93.53      4.85   1000000         0
1456.23/1456.75	c       219       405    458.19     94.23      4.86   1000000         0
1457.43/1457.90	c       249       424    459.52     76.78      5.98   1000000         0
1458.53/1459.05	c       227       422    457.70     79.42      5.76   1000000         0
1459.73/1460.20	c       262       286    475.04     88.16      5.39   1000000         0
1460.83/1461.35	c       254       403    460.09     91.17      5.05   1000000         0
1462.03/1462.50	c       247       512    455.40     81.04      5.62   1000000         0
1463.13/1463.65	c       281       468    467.66     78.02      5.99   1000000         0
1464.33/1464.80	c       283       436    455.57     85.38      5.34   1000000         0
1465.43/1465.95	c       261       347    446.00     76.75      5.81   1000000         0
1466.63/1467.10	c       223       428    450.54     94.80      4.75   1000000         0
1467.72/1468.25	c       258       428    447.71     85.52      5.23   1000000         0
1468.92/1469.40	c       247       479    457.91     81.31      5.63   1000000         0
1470.02/1470.55	c       259       547    449.19     90.79      4.95   1000000         0
1471.23/1471.70	c       236       501    465.20     91.63      5.08   1000000         0
1472.33/1472.85	c       237       466    466.10     88.29      5.28   1000000         0
1473.43/1474.00	c       259       424    449.74     84.61      5.32   1000000         0
1474.63/1475.15	c       228       409    453.76     99.44      4.56   1000000         0
1475.73/1476.30	c       245       403    441.43     92.22      4.79   1000000         0
1476.92/1477.44	c       253       441    449.19     81.04      5.54   1000000         0
1478.02/1478.59	c       276       433    463.31     85.62      5.41   1000000         0
1479.22/1479.75	c       273       483    461.68     89.14      5.18   1000000         0
1480.42/1480.90	c       244       433    446.56     79.74      5.60   1000000         0
1481.52/1482.05	c       252       435    479.60     91.71      5.23   1000000         0
1482.72/1483.21	c       224       468    456.82    100.00      4.57   1000000         0
1483.82/1484.35	c       248       340    462.49     83.80      5.52   1000000         0
1485.02/1485.50	c       247       370    456.19     83.53      5.46   1000000         0
1486.12/1486.65	c       275       477    464.08     80.29      5.78   1000000         0
1487.32/1487.80	c       285       415    455.94     80.61      5.66   1000000         0
1488.42/1488.95	c       255       426    444.20     79.40      5.59   1000000         0
1489.62/1490.10	c       260       542    458.81     87.95      5.22   1000000         0
1490.72/1491.25	c       270       432    452.81     85.34      5.31   1000000         0
1491.92/1492.40	c       235       350    449.15     96.03      4.68   1000000         0
1493.02/1493.55	c       253       447    451.04     80.03      5.64   1000000         0
1494.12/1494.69	c       219       436    455.43     90.93      5.01   1000000         0
1495.32/1495.84	c       266       318    447.60     89.02      5.03   1000000         0
1496.42/1496.99	c       267       444    460.67     95.47      4.83   1000000         0
1497.62/1498.14	c       196       446    450.23     95.53      4.71   1000000         0
1498.72/1499.29	c       205       429    457.29     86.32      5.30   1000000         0
1499.92/1500.43	c       196       472    437.25     94.54      4.63   1000000         0
1501.02/1501.58	c       276       493    453.78     95.26      4.76   1000000         0
1502.21/1502.73	c       273       469    465.98     85.52      5.45   1000000         0
1503.31/1503.88	c       246       483    443.88     95.96      4.63   1000000         0
1504.51/1505.03	c       266       520    452.26     84.78      5.33   1000000         0
1505.61/1506.18	c       252       363    467.45     84.31      5.54   1000000         0
1506.81/1507.33	c       280       454    467.36     94.65      4.94   1000000         0
1507.91/1508.47	c       231       479    443.06     78.93      5.61   1000000         0
1509.11/1509.63	c       235       518    473.16     92.59      5.11   1000000         0
1510.21/1510.77	c       274       489    462.99     83.36      5.55   1000000         0
1511.41/1511.93	c       264       409    478.07    104.17      4.59   1000000         0
1512.51/1513.08	c       206       353    450.92     82.14      5.49   1000000         0
1513.71/1514.23	c       258       467    457.78     80.85      5.66   1000000         0
1514.81/1515.38	c       251       470    454.55     70.76      6.42   1000000         0
1516.01/1516.53	c       252       487    437.87     89.64      4.88   1000000         0
1517.11/1517.67	c       244       474    449.38     93.74      4.79   1000000         0
1518.31/1518.83	c       229       489    468.79     92.74      5.05   1000000         0
1519.41/1519.98	c       218       454    448.49     95.30      4.71   1000000         0
1520.61/1521.13	c       254       478    465.41     79.50      5.85   1000000         0
1521.71/1522.28	c       225       464    474.52     97.13      4.89   1000000         0
1522.91/1523.43	c       234       408    453.77     95.19      4.77   1000000         0
1524.01/1524.58	c       245       481    465.01     81.47      5.71   1000000         0
1525.21/1525.73	c       259       450    459.70     86.93      5.29   1000000         0
1526.31/1526.88	c       233       390    454.92     85.64      5.31   1000000         0
1527.50/1528.03	c       267       473    450.14     86.02      5.23   1000000         0
1528.60/1529.17	c       229       352    447.13    105.02      4.26   1000000         0
1529.80/1530.32	c       272       467    459.21     87.26      5.26   1000000         0
1530.90/1531.48	c       262       412    465.51     93.50      4.98   1000000         0
1532.10/1532.62	c       233       566    444.10     92.38      4.81   1000000         0
1533.20/1533.77	c       243       518    443.66     85.63      5.18   1000000         0
1534.40/1534.92	c       244       470    456.72     98.74      4.63   1000000         0
1535.50/1536.07	c       265       420    452.23     86.80      5.21   1000000         0
1536.70/1537.22	c       243       419    452.80     86.76      5.22   1000000         0
1537.80/1538.37	c       250       430    447.28     82.45      5.42   1000000         0
1539.00/1539.51	c       274       468    447.84     88.27      5.07   1000000         0
1540.10/1540.67	c       282       419    461.35     82.48      5.59   1000000         0
1541.30/1541.82	c       288       434    464.82     76.60      6.07   1000000         0
1542.40/1542.96	c       263       417    455.43     89.68      5.08   1000000         0
1543.60/1544.12	c       233       593    462.15     99.90      4.63   1000000         0
1544.70/1545.26	c       237       459    439.43     92.97      4.73   1000000         0
1545.90/1546.41	c       243       518    455.08     93.31      4.88   1000000         0
1547.00/1547.56	c       227       512    455.36     86.00      5.29   1000000         0
1548.21/1548.71	c       248       503    452.66     82.03      5.52   1000000         0
1549.31/1549.86	c       267       398    453.25     89.89      5.04   1000000         0
1550.51/1551.01	c       257       402    460.40    103.06      4.47   1000000         0
1551.61/1552.16	c       286       476    461.51     97.79      4.72   1000000         0
1552.80/1553.31	c       283       401    447.54     89.91      4.98   1000000         0
1553.90/1554.45	c       245       395    444.99    103.14      4.31   1000000         0
1555.10/1555.60	c       253       491    460.18     81.28      5.66   1000000         0
1556.20/1556.75	c       267       482    446.33     72.39      6.17   1000000         0
1557.40/1557.90	c       214       449    453.56     90.17      5.03   1000000         0
1558.50/1559.04	c       199       451    424.41     86.01      4.93   1000000         0
1559.59/1560.19	c       253       480    457.37     92.56      4.94   1000000         0
1560.79/1561.34	c       269       442    460.82     86.80      5.31   1000000         0
1561.89/1562.50	c       267       453    472.02     87.18      5.41   1000000         0
1563.09/1563.64	c       239       345    451.16     91.07      4.95   1000000         0
1564.19/1564.79	c       250       401    453.84    104.98      4.32   1000000         0
1565.39/1565.94	c       241       384    437.82     77.65      5.64   1000000         0
1566.49/1567.08	c       278       449    454.36     79.69      5.70   1000000         0
1567.69/1568.23	c       232       357    451.23     80.21      5.63   1000000         0
1568.79/1569.38	c       219       338    455.64     90.98      5.01   1000000         0
1569.99/1570.53	c       269       380    457.03     86.32      5.29   1000000         0
1571.09/1571.68	c       212       479    433.16     91.92      4.71   1000000         0
1572.29/1572.83	c       258       441    463.03     87.14      5.31   1000000         0
1573.39/1573.98	c       260       356    451.52     79.63      5.67   1000000         0
1574.60/1575.13	c       263       391    460.56     86.94      5.30   1000000         0
1575.70/1576.27	c       279       425    464.03     80.42      5.77   1000000         0
1576.90/1577.42	c       263       410    451.69     89.98      5.02   1000000         0
1578.00/1578.57	c       274       475    459.66     86.11      5.34   1000000         0
1579.19/1579.72	c       278       465    459.19     91.77      5.00   1000000         0
1580.29/1580.87	c       213       531    447.63    100.97      4.43   1000000         0
1581.49/1582.02	c       226       509    453.48     94.54      4.80   1000000         0
1582.59/1583.17	c       236       437    452.59    109.67      4.13   1000000         0
1583.79/1584.32	c       273       387    442.39     89.36      4.95   1000000         0
1584.89/1585.46	c       268       533    449.60     84.94      5.29   1000000         0
1586.09/1586.61	c       255       363    460.05     83.65      5.50   1000000         0
1587.19/1587.76	c       242       463    449.19     93.80      4.79   1000000         0
1588.39/1588.91	c       252       487    445.44     83.01      5.37   1000000         0
1589.49/1590.06	c       233       385    447.43     99.48      4.50   1000000         0
1590.69/1591.21	c       199       420    441.75     88.24      5.01   1000000         0
1591.79/1592.36	c       265       364    457.48    112.00      4.08   1000000         0
1592.98/1593.51	c       256       413    454.24     86.54      5.25   1000000         0
1594.08/1594.66	c       286       436    463.68     85.70      5.41   1000000         0
1595.28/1595.81	c       270       483    467.52     92.06      5.08   1000000         0
1596.38/1596.96	c       264       473    451.83     79.20      5.70   1000000         0
1597.58/1598.11	c       283       450    469.15     81.64      5.75   1000000         0
1598.68/1599.25	c       238       501    454.97     90.83      5.01   1000000         0
1599.89/1600.40	c       244       363    441.62     81.04      5.45   1000000         0
1600.99/1601.55	c       241       461    453.09    106.29      4.26   1000000         0
1602.19/1602.70	c       222       531    469.96     99.42      4.73   1000000         0
1603.29/1603.85	c       253       487    449.41     92.56      4.86   1000000         0
1604.48/1605.00	c       283       418    471.15     84.56      5.57   1000000         0
1605.58/1606.15	c       210       483    455.37     87.46      5.21   1000000         0
1606.78/1607.30	c       233       387    454.63     98.36      4.62   1000000         0
1607.88/1608.46	c       222       384    471.72     87.96      5.36   1000000         0
1609.08/1609.61	c       278       499    473.59     97.42      4.86   1000000         0
1610.18/1610.76	c       243       410    453.88     92.80      4.89   1000000         0
1611.38/1611.90	c       239       486    442.99     81.17      5.46   1000000         0
1612.48/1613.05	c       240       400    458.63     98.75      4.64   1000000         0
1613.68/1614.20	c       200       451    448.50     91.73      4.89   1000000         0
1614.78/1615.34	c       283       453    452.15     97.85      4.62   1000000         0
1615.88/1616.49	c       258       414    458.52    105.01      4.37   1000000         0
1617.08/1617.64	c       217       327    458.96     99.06      4.63   1000000         0
1618.18/1618.79	c       295       423    472.07     78.73      6.00   1000000         0
1619.38/1619.94	c       254       421    473.27     96.14      4.92   1000000         0
1620.48/1621.09	c       250       440    453.37    100.98      4.49   1000000         0
1621.68/1622.24	c       253       510    460.95     93.01      4.96   1000000         0
1622.77/1623.39	c       234       518    463.04     99.61      4.65   1000000         0
1623.97/1624.54	c       217       409    442.93     81.68      5.42   1000000         0
1625.07/1625.69	c       272       496    461.62     92.79      4.98   1000000         0
1626.28/1626.84	c       259       490    454.85     85.47      5.32   1000000         0
1627.38/1627.99	c       228       396    437.81     93.64      4.68   1000000         0
1628.58/1629.14	c       248       418    463.50     87.44      5.30   1000000         0
1629.68/1630.29	c       253       358    458.47     92.43      4.96   1000000         0
1630.87/1631.43	c       253       335    465.96     82.77      5.63   1000000         0
1631.97/1632.59	c       215       423    445.71     98.09      4.54   1000000         0
1633.17/1633.73	c       253       374    457.87     92.22      4.97   1000000         0
1634.27/1634.88	c       270       455    467.85     82.34      5.68   1000000         0
1635.47/1636.03	c       267       417    447.17     91.76      4.87   1000000         0
1636.57/1637.18	c       225       454    458.69     88.74      5.17   1000000         0
1637.77/1638.33	c       254       347    458.87     86.84      5.28   1000000         0
1638.87/1639.48	c       255       314    451.58     86.17      5.24   1000000         0
1640.07/1640.63	c       260       337    440.89     77.08      5.72   1000000         0
1641.17/1641.78	c       241       494    477.95     81.62      5.86   1000000         0
1642.37/1642.93	c       256       390    436.06     96.64      4.51   1000000         0
1643.47/1644.08	c       249       438    461.31     91.85      5.02   1000000         0
1644.67/1645.23	c       214       497    460.31    105.36      4.37   1000000         0
1645.77/1646.38	c       262       461    462.58     95.82      4.83   1000000         0
1646.97/1647.52	c       251       464    456.75     95.86      4.76   1000000         0
1648.07/1648.67	c       256       443    464.75     70.72      6.57   1000000         0
1649.27/1649.83	c       305       483    480.52     98.71      4.87   1000000         0
1650.37/1650.98	c       222       464    453.65     92.07      4.93   1000000         0
1651.57/1652.13	c       239       443    443.95     93.09      4.77   1000000         0
1652.67/1653.27	c       270       420    455.28     79.98      5.69   1000000         0
1653.87/1654.42	c       244       343    458.14    100.78      4.55   1000000         0
1654.97/1655.57	c       244       441    460.03     89.31      5.15   1000000         0
1656.16/1656.71	c       257       368    440.05     87.41      5.03   1000000         0
1657.26/1657.86	c       253       462    439.63    100.41      4.38   1000000         0
1658.46/1659.01	c       264       460    448.59    105.53      4.25   1000000         0
1659.56/1660.17	c       262       456    474.88     93.70      5.07   1000000         0
1660.76/1661.31	c       268       477    453.10     72.63      6.24   1000000         0
1661.86/1662.47	c       222       485    474.29     99.20      4.78   1000000         0
1663.06/1663.62	c       267       499    457.70     85.66      5.34   1000000         0
1664.16/1664.76	c       272       459    445.38     88.96      5.01   1000000         0
1665.36/1665.91	c       265       389    455.08     86.09      5.29   1000000         0
1666.46/1667.06	c       273       517    475.50     95.09      5.00   1000000         0
1667.66/1668.21	c       241       458    448.62     80.77      5.55   1000000         0
1668.76/1669.37	c       329       446    492.20     71.66      6.87   1000000         0
1669.96/1670.52	c       284       348    453.19     93.11      4.87   1000000         0
1671.06/1671.67	c       282       445    464.17     98.92      4.69   1000000         0
1672.26/1672.82	c       271       418    452.91     90.86      4.98   1000000         0
1673.36/1673.97	c       250       525    460.66     81.67      5.64   1000000         0
1674.56/1675.13	c       218       458    472.84     98.46      4.80   1000000         0
1675.66/1676.27	c       258       423    451.79     84.14      5.37   1000000         0
1676.87/1677.42	c       275       361    463.97     87.20      5.32   1000000         0
1677.96/1678.57	c       277       513    470.99     92.42      5.10   1000000         0
1679.16/1679.73	c       263       332    456.62     90.07      5.07   1000000         0
1680.26/1680.87	c       255       392    445.25     88.50      5.03   1000000         0
1681.46/1682.02	c       270       441    457.76     92.37      4.96   1000000         0
1682.56/1683.17	c       193       390    449.47    106.51      4.22   1000000         0
1683.76/1684.32	c       240       554    452.04     92.57      4.88   1000000         0
1684.85/1685.47	c       263       489    468.63     86.19      5.44   1000000         0
1686.05/1686.62	c       240       403    454.35     96.38      4.71   1000000         0
1687.15/1687.77	c       235       490    441.06     83.46      5.28   1000000         0
1688.35/1688.91	c       213       448    459.55     82.56      5.57   1000000         0
1689.45/1690.06	c       242       382    461.06    104.84      4.40   1000000         0
1690.65/1691.22	c       262       437    470.30     88.39      5.32   1000000         0
1691.75/1692.37	c       278       506    470.17     81.40      5.78   1000000         0
1692.95/1693.53	c       279       344    474.61     96.84      4.90   1000000         0
1694.05/1694.68	c       237       529    454.50     87.26      5.21   1000000         0
1695.25/1695.83	c       234       440    454.56     89.95      5.05   1000000         0
1696.35/1696.98	c       262       391    463.49     95.30      4.86   1000000         0
1697.55/1698.13	c       230       483    475.57     95.17      5.00   1000000         0
1698.65/1699.27	c       263       533    444.72     89.07      4.99   1000000         0
1699.85/1700.42	c       215       305    428.79     85.88      4.99   1000000         0
1700.95/1701.57	c       268       441    470.34    100.80      4.67   1000000         0
1702.16/1702.72	c       203       397    456.18     96.49      4.73   1000000         0
1703.26/1703.88	c       293       451    466.58     98.34      4.74   1000000         0
1704.45/1705.03	c       240       427    464.24     75.89      6.12   1000000         0
1705.55/1706.18	c       286       432    460.41     77.62      5.93   1000000         0
1706.75/1707.33	c       247       509    457.37     85.15      5.37   1000000         0
1707.85/1708.48	c       238       547    451.10     73.62      6.13   1000000         0
1709.05/1709.62	c       276       383    444.58     96.40      4.61   1000000         0
1710.15/1710.78	c       313       409    491.65     89.19      5.51   1000000         0
1711.35/1711.93	c       256       413    445.36     82.78      5.38   1000000         0
1712.45/1713.08	c       246       461    458.87     96.61      4.75   1000000         0
1713.65/1714.23	c       281       499    460.04     82.44      5.58   1000000         0
1714.75/1715.38	c       259       477    462.38    106.33      4.35   1000000         0
1715.95/1716.53	c       270       406    463.70     95.67      4.85   1000000         0
1717.04/1717.68	c       263       393    460.53     79.66      5.78   1000000         0
1718.24/1718.83	c       246       412    469.64     98.15      4.78   1000000         0
1719.34/1719.99	c       258       429    467.14     79.58      5.87   1000000         0
1720.54/1721.13	c       269       420    452.35     79.17      5.71   1000000         0
1721.64/1722.29	c       310       419    468.60     88.73      5.28   1000000         0
1722.84/1723.43	c       229       463    446.99     90.48      4.94   1000000         0
1723.94/1724.58	c       274       510    453.48     80.48      5.63   1000000         0
1725.14/1725.73	c       273       338    453.11     80.75      5.61   1000000         0
1726.24/1726.88	c       193       503    458.60     92.28      4.97   1000000         0
1727.45/1728.04	c       249       446    469.91     91.40      5.14   1000000         0
1728.55/1729.19	c       211       413    436.78     97.64      4.47   1000000         0
1729.75/1730.34	c       278       430    471.14     87.69      5.37   1000000         0
1730.85/1731.49	c       259       436    449.12     74.05      6.07   1000000         0
1732.04/1732.64	c       219       428    463.67     82.11      5.65   1000000         0
1733.14/1733.79	c       299       456    472.52     80.73      5.85   1000000         0
1734.34/1734.94	c       241       390    442.78     95.29      4.65   1000000         0
1735.44/1736.08	c       234       383    453.51     99.04      4.58   1000000         0
1736.64/1737.23	c       233       365    436.82     90.38      4.83   1000000         0
1737.74/1738.38	c       257       540    448.13     88.79      5.05   1000000         0
1738.94/1739.53	c       233       555    460.11     82.83      5.56   1000000         0
1740.04/1740.68	c       262       445    463.31    104.58      4.43   1000000         0
1741.24/1741.83	c       271       461    464.08     91.28      5.08   1000000         0
1742.34/1742.98	c       260       441    450.39     75.06      6.00   1000000         0
1743.53/1744.13	c       280       415    461.44     98.07      4.71   1000000         0
1744.63/1745.28	c       229       408    447.94     89.59      5.00   1000000         0
1745.83/1746.43	c       261       461    456.05    102.06      4.47   1000000         0
1746.93/1747.58	c       269       594    457.73     79.73      5.74   1000000         0
1748.13/1748.73	c       285       542    466.55     78.64      5.93   1000000         0
1749.23/1749.88	c       268       571    470.61     93.51      5.03   1000000         0
1750.43/1751.03	c       280       380    455.73     82.44      5.53   1000000         0
1751.53/1752.18	c       206       464    443.72     90.19      4.92   1000000         0
1752.74/1753.33	c       236       424    449.62     77.23      5.82   1000000         0
1753.84/1754.47	c       252       474    447.34     82.99      5.39   1000000         0
1755.04/1755.63	c       297       481    465.25     83.46      5.57   1000000         0
1756.14/1756.77	c       232       383    449.60     97.67      4.60   1000000         0
1757.33/1757.92	c       239       488    445.38     85.20      5.23   1000000         0
1758.43/1759.07	c       221       393    460.04     91.27      5.04   1000000         0
1759.63/1760.22	c       257       438    456.29     82.11      5.56   1000000         0
1760.73/1761.37	c       229       360    468.54    113.57      4.13   1000000         0
1761.93/1762.52	c       244       472    444.98     97.40      4.57   1000000         0
1763.03/1763.67	c       252       423    453.35     91.73      4.94   1000000         0
1764.23/1764.82	c       254       457    453.79     99.53      4.56   1000000         0
1765.33/1765.97	c       270       447    455.05     82.48      5.52   1000000         0
1766.53/1767.12	c       206       389    458.05    103.15      4.44   1000000         0
1767.63/1768.27	c       247       346    473.71     91.29      5.19   1000000         0
1768.83/1769.43	c       259       462    468.19     77.93      6.01   1000000         0
1769.93/1770.58	c       270       539    462.24     87.73      5.27   1000000         0
1771.13/1771.73	c       279       468    455.75     87.98      5.18   1000000         0
1772.23/1772.88	c       271       466    472.40     99.90      4.73   1000000         0
1773.43/1774.03	c       252       450    448.02     91.41      4.90   1000000         0
1774.53/1775.18	c       268       412    461.07     84.96      5.43   1000000         0
1775.73/1776.33	c       269       436    462.16     90.96      5.08   1000000         0
1776.83/1777.48	c       213       441    457.28    105.15      4.35   1000000         0
1778.03/1778.63	c       213       451    456.92     96.03      4.76   1000000         0
1779.14/1779.78	c       224       372    446.61     92.82      4.81   1000000         0
1780.34/1780.93	c       230       391    450.36     78.26      5.75   1000000         0
1781.44/1782.08	c       251       350    459.05     83.74      5.48   1000000         0
1782.63/1783.23	c       233       382    454.41     93.25      4.87   1000000         0
1783.73/1784.38	c       273       510    463.78    107.17      4.33   1000000         0
1784.93/1785.54	c       287       482    468.05     98.61      4.75   1000000         0
1786.03/1786.69	c       271       428    471.44     89.57      5.26   1000000         0
1787.23/1787.84	c       247       403    438.55     84.80      5.17   1000000         0
1788.33/1788.99	c       285       357    462.37     99.04      4.67   1000000         0
1789.53/1790.14	c       237       532    459.09     93.96      4.89   1000000         0
1790.63/1791.29	c       280       424    454.91     78.26      5.81   1000000         0
1791.83/1792.44	c       261       532    454.67     97.26      4.67   1000000         0
1792.93/1793.60	c       276       500    488.39     83.07      5.88   1000000         0
1794.13/1794.75	c       248       536    471.11    100.50      4.69   1000000         0
1795.33/1795.90	c       263       331    463.51     86.43      5.36   1000000         0
1796.43/1797.05	c       227       461    460.37     87.59      5.26   1000000         0
1797.63/1798.20	c       271       414    468.22     87.88      5.33   1000000         0
1798.73/1799.35	c       247       417    444.83     87.48      5.08   1000000         0
1799.93/1800.50	c       255       539    457.52     98.69      4.64   1000000         0
1800.04/1800.61	HOME/run: line 2: 20136 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-2685238-1278440328/watcher-2685238-1278440328 -o /tmp/evaluation-result-2685238-1278440328/solver-2685238-1278440328 -C 1800 -W 2000 -M 1800 run HOME/instance-2685238-1278440328.opb 

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


[startup+0 s]
/proc/loadavg: 1.31 1.10 1.03 2/105 20135
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) R 20133 20135 19115 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773531541 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0

[startup+0.0991379 s]
/proc/loadavg: 1.31 1.10 1.03 2/105 20135
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101138 s]
/proc/loadavg: 1.31 1.10 1.03 2/105 20135
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30116 s]
/proc/loadavg: 1.31 1.10 1.03 2/105 20135
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70121 s]
/proc/loadavg: 1.31 1.10 1.03 2/105 20135
/proc/meminfo: memFree=1792156/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50129 s]
/proc/loadavg: 1.31 1.10 1.03 2/107 20137
/proc/meminfo: memFree=1787180/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1.48
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 148 0 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526289 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49152

[startup+3.10146 s]
/proc/loadavg: 1.31 1.10 1.03 2/107 20137
/proc/meminfo: memFree=1787056/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=3.08
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 308 0 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134537183 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49152

[startup+6.3008 s]
/proc/loadavg: 1.36 1.11 1.04 2/107 20137
/proc/meminfo: memFree=1786932/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=6.28
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 628 0 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134519731 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7015 s]
/proc/loadavg: 1.33 1.11 1.04 2/107 20137
/proc/meminfo: memFree=1786932/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=12.68
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 1268 0 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526648 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5009 s]
/proc/loadavg: 1.26 1.10 1.03 2/107 20137
/proc/meminfo: memFree=1786932/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=25.47
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 2547 0 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 49152

[startup+51.1006 s]
/proc/loadavg: 1.31 1.13 1.04 2/107 20140
/proc/meminfo: memFree=1744036/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=51.06
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 5099 7 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525977 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 1.22 1.13 1.05 2/107 20142
/proc/meminfo: memFree=1744408/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=102.25
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 10217 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.08 1.11 1.04 2/107 20144
/proc/meminfo: memFree=1744408/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=162.23
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 16215 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.03 1.08 1.04 2/107 20146
/proc/meminfo: memFree=1744408/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=222.21
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 22213 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.01 1.07 1.03 2/107 20146
/proc/meminfo: memFree=1744408/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=282.19
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 28211 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526410 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.05 1.02 2/107 20148
/proc/meminfo: memFree=1744408/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=342.17
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 34209 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134519852 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.04 1.02 2/107 20150
/proc/meminfo: memFree=1744292/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=402.15
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 40207 8 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1061.95
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 106185 10 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20170
/proc/meminfo: memFree=1743176/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1121.93
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 112183 10 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526256 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20170
/proc/meminfo: memFree=1743052/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1181.92
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 118181 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20172
/proc/meminfo: memFree=1742804/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1241.89
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 124178 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20174
/proc/meminfo: memFree=1742680/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1301.88
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 130177 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20176
/proc/meminfo: memFree=1742680/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1361.86
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 136175 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20178
/proc/meminfo: memFree=1742556/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1421.85
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 142174 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134572074 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 20178
/proc/meminfo: memFree=1742432/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1481.82
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 148171 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20180
/proc/meminfo: memFree=1742308/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1541.8
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 154169 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20182
/proc/meminfo: memFree=1742308/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1601.78
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 160167 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20184
/proc/meminfo: memFree=1742308/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1661.76
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 166165 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20186
/proc/meminfo: memFree=1742060/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1721.74
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 172163 11 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20186
/proc/meminfo: memFree=1741812/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1781.73
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 178161 12 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20188
/proc/meminfo: memFree=1741812/2059040 swapFree=4192956/4192956
[pid=20135] ppid=20133 vsize=8700 CPUtime=0
/proc/20135/stat : 20135 (run) S 20133 20135 19115 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 12241440 8908800 244 1992294400 4194304 4922060 140737015232400 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/20135/statm: 2175 244 204 178 0 68 0
[pid=20136] ppid=20135 vsize=40452 CPUtime=1800.04
/proc/20136/stat : 20136 (PB-wave) R 20135 20135 19115 0 -1 4202496 1303 0 0 0 179992 12 0 0 25 0 1 0 12241440 41422848 1232 1992294400 134512640 135071400 4292026000 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/20136/statm: 10113 1232 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1799.93
CPU system time (s): 0.12598
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.12598
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1675
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 25792

runsolver used 3.14452 second user time and 8.41672 second system time

The end

Launcher Data 

Begin job on node081 at 2010-07-06 20:18:48
IDJOB=2685238
IDBENCH=75087
IDSOLVER=1171
FILE ID=node081/2685238-1278440328
PBS_JOBID= 11233471
Free space on /tmp= 121804 MiB

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

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

MD5SUM BENCH= 55ca399383f68b3181f084ca7cab85da
RANDOM SEED=909085452

node081.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.242
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.48
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.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.38
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1792676 kB
Buffers:         10516 kB
Cached:         120976 kB
SwapCached:          0 kB
Active:          64416 kB
Inactive:       127300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1792676 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3020 kB
Writeback:           0 kB
AnonPages:       60280 kB
Mapped:          14476 kB
Slab:            52808 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121800 MiB
End job on node081 at 2010-07-06 20:48:49