Trace number 2685518

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.03 1800.72

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_2-unsat.opb
MD5SUM82d8bb96a137e9c607f609fc1a5d8643
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.105983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7564
Total number of constraints23412
Number of constraints which are clauses23168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint50
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 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 333
Number of bits of the biggest sum of numbers9
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.06	c PB-wave - v2
0.00/0.06	c command line = ./PB-wave
0.00/0.06	c seed = 103701647
0.00/0.06	c cutoff = 1000000
0.00/0.06	c tries = 1000000
0.00/0.06	c heuristic = c best, noise 50 / 100
0.00/0.06	#var 7564 #con 23412
0.00/0.06	mode is SAT
0.00/0.06	c tail starts after flip = 22692
0.00/0.06	c numatom = 7564, numclause = 23412, numliterals = 60449
0.00/0.06	c wff read in
0.00/0.06	c 
0.00/0.06	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.06	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.06	c       this      this      this      this      this      this   success   success       until         std
0.00/0.06	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.06	c
1.20/1.21	c       248       321    408.06     60.65      6.73   1000000         0
2.30/2.37	c       206       360    407.44     56.17      7.25   1000000         0
3.49/3.53	c       266       378    407.22     53.44      7.62   1000000         0
4.59/4.68	c       236       457    390.17     52.73      7.40   1000000         0
5.79/5.84	c       208       369    403.36     54.98      7.34   1000000         0
6.99/7.00	c       202       372    399.00     62.46      6.39   1000000         0
8.09/8.15	c       184       352    395.80     58.85      6.73   1000000         0
9.29/9.31	c       237       438    400.79     58.11      6.90   1000000         0
10.39/10.46	c       230       426    397.34     59.42      6.69   1000000         0
11.59/11.62	c       229       392    413.38     54.97      7.52   1000000         0
12.69/12.77	c       221       411    398.24     60.20      6.62   1000000         0
13.89/13.92	c       223       419    389.14     63.00      6.18   1000000         0
14.99/15.08	c       234       388    409.72     54.54      7.51   1000000         0
16.19/16.24	c       219       525    401.79     55.15      7.29   1000000         0
17.29/17.39	c       247       378    401.36     59.52      6.74   1000000         0
18.49/18.55	c       226       424    398.54     52.67      7.57   1000000         0
19.69/19.71	c       226       403    395.69     61.40      6.44   1000000         0
20.78/20.87	c       251       371    405.85     50.11      8.10   1000000         0
21.99/22.02	c       229       378    387.78     54.07      7.17   1000000         0
23.09/23.18	c       220       392    393.69     53.68      7.33   1000000         0
24.29/24.33	c       182       381    398.76     59.03      6.76   1000000         0
25.39/25.49	c       248       298    411.21     55.43      7.42   1000000         0
26.58/26.65	c       224       420    395.27     57.49      6.88   1000000         0
27.78/27.80	c       217       317    398.74     53.15      7.50   1000000         0
28.88/28.96	c       230       306    393.47     56.85      6.92   1000000         0
30.08/30.12	c       219       384    401.62     55.99      7.17   1000000         0
31.18/31.27	c       234       374    395.72     55.55      7.12   1000000         0
32.38/32.43	c       218       388    392.40     53.79      7.29   1000000         0
33.48/33.58	c       243       482    396.24     58.62      6.76   1000000         0
34.68/34.74	c       238       465    401.52     55.23      7.27   1000000         0
35.78/35.89	c       241       478    415.43     53.94      7.70   1000000         0
36.98/37.05	c       207       414    396.24     51.10      7.75   1000000         0
38.18/38.20	c       261       454    413.02     51.33      8.05   1000000         0
39.28/39.36	c       232       404    412.69     55.39      7.45   1000000         0
40.48/40.52	c       253       435    415.60     53.79      7.73   1000000         0
41.58/41.67	c       227       323    396.49     56.08      7.07   1000000         0
42.77/42.82	c       250       368    401.65     54.38      7.39   1000000         0
43.87/43.98	c       235       405    398.74     57.18      6.97   1000000         0
45.08/45.13	c       248       413    401.72     56.24      7.14   1000000         0
46.18/46.29	c       224       395    397.68     55.39      7.18   1000000         0
47.38/47.44	c       224       368    398.69     59.92      6.65   1000000         0
48.57/48.60	c       232       462    398.08     57.51      6.92   1000000         0
49.67/49.75	c       227       393    407.16     57.42      7.09   1000000         0
50.87/50.91	c       245       361    401.99     55.64      7.23   1000000         0
51.97/52.07	c       219       430    407.42     56.83      7.17   1000000         0
53.17/53.22	c       239       428    394.49     57.89      6.81   1000000         0
54.27/54.38	c       250       331    398.52     57.93      6.88   1000000         0
55.47/55.54	c       235       458    401.44     53.51      7.50   1000000         0
56.57/56.69	c       237       471    400.72     61.99      6.46   1000000         0
57.77/57.85	c       246       355    406.34     57.72      7.04   1000000         0
58.97/59.01	c       254       349    417.07     58.03      7.19   1000000         0
60.07/60.17	c       211       486    393.49     58.53      6.72   1000000         0
61.27/61.32	c       234       484    392.90     53.62      7.33   1000000         0
62.37/62.48	c       222       419    399.50     58.08      6.88   1000000         0
63.57/63.63	c       232       360    407.18     59.34      6.86   1000000         0
64.67/64.79	c       249       452    402.42     54.69      7.36   1000000         0
65.87/65.94	c       200       321    405.45     60.72      6.68   1000000         0
67.07/67.11	c       222       448    403.77     59.27      6.81   1000000         0
68.17/68.25	c       251       458    406.47     55.42      7.33   1000000         0
69.37/69.41	c       223       469    408.14     66.95      6.10   1000000         0
70.47/70.57	c       202       367    400.44     58.10      6.89   1000000         0
71.67/71.72	c       241       305    406.23     56.95      7.13   1000000         0
72.77/72.88	c       224       426    407.16     59.03      6.90   1000000         0
73.96/74.03	c       208       319    394.82     58.17      6.79   1000000         0
75.06/75.19	c       220       347    393.59     60.24      6.53   1000000         0
76.26/76.34	c       238       415    408.45     58.28      7.01   1000000         0
77.46/77.50	c       253       347    403.34     57.58      7.00   1000000         0
78.56/78.66	c       223       431    394.71     60.91      6.48   1000000         0
79.76/79.82	c       226       491    400.59     62.17      6.44   1000000         0
80.86/80.97	c       238       382    409.71     56.38      7.27   1000000         0
82.06/82.13	c       227       458    398.24     63.43      6.28   1000000         0
83.16/83.28	c       235       329    404.06     53.36      7.57   1000000         0
84.36/84.44	c       226       336    401.57     62.33      6.44   1000000         0
85.46/85.59	c       214       336    407.62     61.59      6.62   1000000         0
86.66/86.75	c       221       424    398.34     53.04      7.51   1000000         0
87.86/87.90	c       223       381    404.51     56.29      7.19   1000000         0
88.96/89.05	c       246       496    404.00     52.95      7.63   1000000         0
90.16/90.21	c       259       424    406.08     51.75      7.85   1000000         0
91.26/91.37	c       255       428    405.01     57.45      7.05   1000000         0
92.46/92.53	c       248       409    402.42     57.15      7.04   1000000         0
93.56/93.68	c       233       471    402.66     58.77      6.85   1000000         0
94.76/94.84	c       227       365    395.06     55.10      7.17   1000000         0
95.95/96.00	c       220       419    407.55     61.87      6.59   1000000         0
97.05/97.15	c       231       414    386.52     53.91      7.17   1000000         0
98.25/98.31	c       246       415    394.64     53.23      7.41   1000000         0
99.35/99.46	c       222       424    395.45     56.83      6.96   1000000         0
100.55/100.61	c       239       524    400.28     54.86      7.30   1000000         0
101.65/101.77	c       207       348    387.14     55.12      7.02   1000000         0
102.85/102.92	c       253       391    413.27     52.76      7.83   1000000         0
103.95/104.08	c       221       379    410.06     60.45      6.78   1000000         0
105.15/105.23	c       238       432    407.53     56.16      7.26   1000000         0
106.25/106.39	c       243       475    389.20     54.44      7.15   1000000         0
107.45/107.55	c       264       276    408.94     54.70      7.48   1000000         0
108.65/108.70	c       241       391    399.14     56.80      7.03   1000000         0
109.75/109.86	c       239       329    395.98     56.92      6.96   1000000         0
110.95/111.02	c       232       362    396.70     54.04      7.34   1000000         0
112.05/112.18	c       246       448    418.20     59.22      7.06   1000000         0
113.26/113.34	c       224       324    391.71     52.13      7.51   1000000         0
114.35/114.49	c       214       388    410.84     60.56      6.78   1000000         0
115.56/115.64	c       237       371    401.03     53.71      7.47   1000000         0
116.75/116.80	c       236       326    406.20     57.09      7.11   1000000         0
117.85/117.96	c       247       411    408.30     52.76      7.74   1000000         0
119.04/119.11	c       213       498    399.77     54.47      7.34   1000000         0
120.14/120.27	c       222       376    412.66     55.48      7.44   1000000         0
121.34/121.43	c       248       397    410.54     57.61      7.13   1000000         0
122.44/122.59	c       205       363    411.25     58.28      7.06   1000000         0
123.64/123.74	c       235       451    409.40     57.49      7.12   1000000         0
124.84/124.90	c       234       461    399.99     55.06      7.26   1000000         0
125.94/126.05	c       253       348    413.06     59.76      6.91   1000000         0
127.14/127.21	c       226       463    397.78     53.99      7.37   1000000         0
128.24/128.36	c       215       464    414.95     52.79      7.86   1000000         0
129.44/129.52	c       225       357    393.24     59.04      6.66   1000000         0
130.54/130.68	c       223       464    399.23     55.72      7.16   1000000         0
131.74/131.83	c       223       347    401.80     62.76      6.40   1000000         0
132.84/132.99	c       223       412    397.65     57.66      6.90   1000000         0
134.04/134.15	c       221       424    413.49     62.55      6.61   1000000         0
135.25/135.31	c       251       441    405.79     53.75      7.55   1000000         0
136.35/136.46	c       247       344    411.24     62.81      6.55   1000000         0
137.55/137.62	c       236       397    404.45     56.76      7.13   1000000         0
138.65/138.78	c       233       357    399.61     61.46      6.50   1000000         0
139.84/139.93	c       231       404    399.42     59.43      6.72   1000000         0
140.94/141.09	c       225       343    401.04     56.30      7.12   1000000         0
142.14/142.25	c       233       395    389.74     54.91      7.10   1000000         0
143.34/143.40	c       237       387    389.83     53.48      7.29   1000000         0
144.44/144.56	c       232       490    403.41     60.70      6.65   1000000         0
145.64/145.71	c       227       435    400.87     62.15      6.45   1000000         0
146.74/146.87	c       240       313    406.52     54.40      7.47   1000000         0
147.93/148.03	c       238       375    404.57     52.94      7.64   1000000         0
149.03/149.18	c       231       520    396.33     64.71      6.12   1000000         0
150.24/150.34	c       221       424    406.61     62.53      6.50   1000000         0
151.34/151.49	c       231       353    393.06     51.61      7.62   1000000         0
152.54/152.64	c       211       385    386.43     52.66      7.34   1000000         0
153.74/153.80	c       224       413    406.97     61.85      6.58   1000000         0
154.84/154.96	c       216       383    403.96     55.18      7.32   1000000         0
156.04/156.11	c       243       428    398.47     57.18      6.97   1000000         0
157.14/157.27	c       236       372    389.50     61.58      6.32   1000000         0
158.35/158.42	c       236       408    388.91     56.04      6.94   1000000         0
159.44/159.58	c       177       359    405.99     51.15      7.94   1000000         0
160.65/160.74	c       213       349    410.65     53.51      7.67   1000000         0
161.75/161.89	c       208       303    397.22     57.13      6.95   1000000         0
162.94/163.05	c       211       415    402.74     52.38      7.69   1000000         0
164.14/164.21	c       213       459    395.16     55.31      7.14   1000000         0
165.23/165.37	c       199       520    399.79     56.70      7.05   1000000         0
166.43/166.52	c       245       431    401.02     55.72      7.20   1000000         0
167.53/167.68	c       233       358    396.60     52.41      7.57   1000000         0
168.74/168.83	c       221       362    405.49     51.72      7.84   1000000         0
169.83/169.99	c       199       432    394.50     50.54      7.81   1000000         0
171.03/171.14	c       245       431    411.03     54.84      7.50   1000000         0
172.23/172.30	c       250       391    392.15     53.64      7.31   1000000         0
173.33/173.45	c       224       497    402.04     58.24      6.90   1000000         0
174.53/174.62	c       242       380    401.63     52.39      7.67   1000000         0
175.63/175.77	c       241       448    401.21     63.06      6.36   1000000         0
176.83/176.93	c       234       342    404.85     62.00      6.53   1000000         0
177.93/178.08	c       239       351    403.75     56.69      7.12   1000000         0
179.13/179.24	c       247       364    410.68     65.15      6.30   1000000         0
180.34/180.40	c       242       373    412.36     54.28      7.60   1000000         0
181.44/181.55	c       209       368    401.10     63.05      6.36   1000000         0
182.64/182.70	c       245       388    400.51     53.83      7.44   1000000         0
183.74/183.86	c       232       364    402.79     58.64      6.87   1000000         0
184.93/185.01	c       232       479    405.66     56.44      7.19   1000000         0
186.03/186.17	c       223       467    409.89     61.49      6.67   1000000         0
187.23/187.33	c       240       390    407.43     55.51      7.34   1000000         0
188.33/188.48	c       219       423    396.29     55.31      7.16   1000000         0
189.53/189.63	c       228       413    404.02     55.89      7.23   1000000         0
190.63/190.79	c       195       395    398.90     63.83      6.25   1000000         0
191.83/191.95	c       238       412    400.68     55.27      7.25   1000000         0
193.03/193.10	c       232       351    406.20     59.88      6.78   1000000         0
194.13/194.26	c       207       349    402.67     60.63      6.64   1000000         0
195.32/195.41	c       236       403    407.59     50.98      7.99   1000000         0
196.42/196.57	c       201       454    388.41     55.33      7.02   1000000         0
197.62/197.72	c       239       413    399.96     52.98      7.55   1000000         0
198.72/198.88	c       227       358    407.26     58.35      6.98   1000000         0
199.92/200.03	c       241       417    404.38     58.52      6.91   1000000         0
201.02/201.19	c       230       377    394.00     60.33      6.53   1000000         0
202.22/202.35	c       227       416    405.34     59.15      6.85   1000000         0
203.43/203.50	c       254       524    408.90     57.65      7.09   1000000         0
204.53/204.66	c       243       300    396.76     55.54      7.14   1000000         0
205.73/205.81	c       233       374    392.34     58.34      6.72   1000000         0
206.83/206.97	c       232       284    392.61     57.54      6.82   1000000         0
208.02/208.13	c       230       424    403.21     55.04      7.33   1000000         0
209.12/209.28	c       242       391    402.50     48.98      8.22   1000000         0
210.32/210.44	c       223       345    388.74     59.42      6.54   1000000         0
211.52/211.60	c       205       430    418.55     66.02      6.34   1000000         0
212.62/212.75	c       225       401    403.61     56.73      7.11   1000000         0
213.82/213.91	c       224       450    397.56     58.81      6.76   1000000         0
214.92/215.07	c       253       381    394.65     61.81      6.38   1000000         0
216.12/216.22	c       246       435    398.71     59.88      6.66   1000000         0
217.22/217.38	c       211       406    406.74     61.32      6.63   1000000         0
218.42/218.53	c       221       357    399.24     60.10      6.64   1000000         0
219.52/219.69	c       217       367    396.58     55.29      7.17   1000000         0
220.72/220.84	c       225       441    405.21     58.26      6.95   1000000         0
221.91/222.00	c       241       484    402.09     56.06      7.17   1000000         0
223.01/223.16	c       226       433    398.13     58.43      6.81   1000000         0
224.21/224.32	c       240       367    417.39     56.08      7.44   1000000         0
225.31/225.48	c       225       400    396.79     50.91      7.79   1000000         0
226.52/226.63	c       221       498    399.98     58.59      6.83   1000000         0
227.62/227.79	c       228       415    405.68     55.19      7.35   1000000         0
228.82/228.94	c       214       466    388.44     54.24      7.16   1000000         0
229.92/230.10	c       222       327    389.60     57.72      6.75   1000000         0
231.11/231.25	c       238       490    404.63     55.75      7.26   1000000         0
232.31/232.41	c       214       421    399.13     52.45      7.61   1000000         0
233.41/233.56	c       216       379    410.12     56.48      7.26   1000000         0
234.61/234.72	c       228       418    405.94     62.38      6.51   1000000         0
235.71/235.88	c       231       298    401.58     53.95      7.44   1000000         0
236.91/237.04	c       247       365    403.96     53.40      7.57   1000000         0
238.11/238.20	c       234       472    404.66     59.62      6.79   1000000         0
239.21/239.35	c       243       416    401.35     57.79      6.95   1000000         0
240.41/240.51	c       224       364    405.55     61.29      6.62   1000000         0
241.51/241.66	c       233       376    406.50     55.65      7.30   1000000         0
242.71/242.82	c       219       461    401.52     51.90      7.74   1000000         0
243.81/243.98	c       231       425    403.34     56.88      7.09   1000000         0
245.01/245.13	c       244       443    400.84     57.82      6.93   1000000         0
246.10/246.29	c       215       389    399.42     54.85      7.28   1000000         0
247.30/247.45	c       225       332    399.49     58.60      6.82   1000000         0
248.51/248.60	c       193       381    385.96     51.69      7.47   1000000         0
249.61/249.76	c       226       403    399.37     61.36      6.51   1000000         0
250.81/250.91	c       243       472    402.62     58.47      6.89   1000000         0
251.91/252.06	c       226       402    396.80     51.98      7.63   1000000         0
253.10/253.22	c       226       456    391.09     57.14      6.84   1000000         0
254.20/254.38	c       232       412    395.19     55.82      7.08   1000000         0
255.40/255.53	c       214       417    410.35     57.57      7.13   1000000         0
256.50/256.69	c       229       377    406.36     57.61      7.05   1000000         0
257.70/257.84	c       231       437    401.34     55.59      7.22   1000000         0
258.90/259.00	c       233       413    407.28     60.02      6.79   1000000         0
260.00/260.16	c       232       305    388.06     61.51      6.31   1000000         0
261.20/261.31	c       250       461    411.52     63.27      6.50   1000000         0
262.30/262.47	c       245       501    399.81     56.80      7.04   1000000         0
263.50/263.63	c       226       464    399.53     49.16      8.13   1000000         0
264.60/264.78	c       226       316    396.84     55.72      7.12   1000000         0
265.80/265.93	c       229       450    406.92     56.19      7.24   1000000         0
266.90/267.09	c       255       360    398.80     54.58      7.31   1000000         0
268.10/268.24	c       259       346    415.96     53.58      7.76   1000000         0
269.30/269.40	c       210       397    397.18     61.68      6.44   1000000         0
270.40/270.56	c       256       358    403.65     52.53      7.68   1000000         0
271.60/271.71	c       230       358    393.64     57.32      6.87   1000000         0
272.70/272.86	c       182       423    387.47     56.36      6.88   1000000         0
273.90/274.01	c       209       369    401.87     63.44      6.33   1000000         0
275.01/275.17	c       194       381    391.28     53.82      7.27   1000000         0
276.19/276.32	c       234       370    410.93     61.73      6.66   1000000         0
277.29/277.48	c       251       444    409.05     52.92      7.73   1000000         0
278.49/278.64	c       224       304    405.29     56.96      7.12   1000000         0
279.59/279.80	c       249       450    408.72     55.11      7.42   1000000         0
280.79/280.95	c       238       478    408.60     58.68      6.96   1000000         0
281.99/282.11	c       239       441    406.34     56.63      7.18   1000000         0
283.09/283.27	c       213       382    408.21     53.11      7.69   1000000         0
284.29/284.42	c       234       373    399.68     58.16      6.87   1000000         0
285.39/285.58	c       224       419    405.69     54.96      7.38   1000000         0
286.59/286.73	c       245       362    402.93     52.96      7.61   1000000         0
287.69/287.88	c       232       352    400.34     59.35      6.75   1000000         0
288.89/289.04	c       252       389    398.87     53.10      7.51   1000000         0
290.09/290.20	c       248       359    394.29     54.13      7.28   1000000         0
291.19/291.36	c       227       408    408.19     56.95      7.17   1000000         0
292.39/292.52	c       229       390    411.80     54.90      7.50   1000000         0
293.49/293.67	c       229       469    393.36     55.05      7.15   1000000         0
294.69/294.83	c       232       441    393.68     54.85      7.18   1000000         0
295.79/295.99	c       252       374    402.71     54.41      7.40   1000000         0
296.99/297.14	c       237       340    398.28     62.48      6.37   1000000         0
298.18/298.30	c       224       397    404.28     65.83      6.14   1000000         0
299.28/299.46	c       250       476    407.00     55.70      7.31   1000000         0
300.48/300.62	c       252       333    404.02     52.60      7.68   1000000         0
301.58/301.77	c       213       416    400.22     59.24      6.76   1000000         0
302.78/302.93	c       230       366    391.18     58.71      6.66   1000000         0
303.88/304.08	c       248       398    406.84     58.14      7.00   1000000         0
305.09/305.24	c       239       311    401.42     56.81      7.07   1000000         0
306.19/306.39	c       247       346    403.27     55.79      7.23   1000000         0
307.39/307.55	c       213       420    409.13     60.40      6.77   1000000         0
308.59/308.71	c       216       435    405.67     56.78      7.14   1000000         0
309.69/309.87	c       224       349    397.15     56.49      7.03   1000000         0
310.89/311.02	c       221       428    406.69     59.63      6.82   1000000         0
311.99/312.18	c       200       472    401.46     58.12      6.91   1000000         0
313.19/313.34	c       216       313    410.28     60.31      6.80   1000000         0
314.29/314.49	c       167       416    393.47     52.82      7.45   1000000         0
315.49/315.65	c       223       420    400.20     55.10      7.26   1000000         0
316.69/316.81	c       214       368    391.61     55.70      7.03   1000000         0
317.79/317.96	c       241       400    407.97     60.49      6.74   1000000         0
318.99/319.11	c       238       436    398.84     61.67      6.47   1000000         0
320.09/320.27	c       233       343    390.78     53.91      7.25   1000000         0
321.29/321.43	c       221       336    392.43     64.66      6.07   1000000         0
322.38/322.58	c       226       490    406.79     54.73      7.43   1000000         0
323.58/323.74	c       195       383    407.85     57.24      7.13   1000000         0
324.78/324.90	c       232       422    401.25     57.96      6.92   1000000         0
325.88/326.05	c       242       477    411.05     52.81      7.78   1000000         0
327.08/327.21	c       238       431    401.52     54.42      7.38   1000000         0
328.18/328.36	c       224       348    393.79     55.69      7.07   1000000         0
329.38/329.52	c       236       399    395.86     57.02      6.94   1000000         0
330.48/330.68	c       202       413    400.20     56.14      7.13   1000000         0
331.68/331.84	c       230       302    396.30     52.99      7.48   1000000         0
332.78/332.99	c       222       367    391.61     53.82      7.28   1000000         0
333.98/334.15	c       230       398    407.22     68.24      5.97   1000000         0
335.18/335.31	c       245       443    403.86     59.07      6.84   1000000         0
336.28/336.47	c       220       409    401.92     59.75      6.73   1000000         0
337.48/337.62	c       223       392    398.35     56.07      7.10   1000000         0
338.58/338.78	c       237       429    419.84     57.72      7.27   1000000         0
339.79/339.93	c       230       439    395.81     55.97      7.07   1000000         0
340.89/341.09	c       236       358    396.82     54.43      7.29   1000000         0
342.08/342.24	c       228       386    401.99     59.37      6.77   1000000         0
343.28/343.40	c       231       355    398.87     54.88      7.27   1000000         0
344.38/344.55	c       218       358    383.00     56.81      6.74   1000000         0
345.58/345.71	c       235       378    395.14     54.43      7.26   1000000         0
346.68/346.87	c       224       376    410.90     57.26      7.18   1000000         0
347.88/348.02	c       207       414    396.77     54.15      7.33   1000000         0
348.97/349.17	c       228       357    399.01     65.36      6.11   1000000         0
350.17/350.33	c       245       414    405.26     59.46      6.82   1000000         0
351.27/351.49	c       245       323    411.47     55.11      7.47   1000000         0
352.47/352.64	c       222       497    396.02     56.09      7.06   1000000         0
353.67/353.80	c       232       397    389.41     54.99      7.08   1000000         0
354.77/354.95	c       230       333    401.40     55.62      7.22   1000000         0
355.97/356.11	c       185       437    401.45     60.95      6.59   1000000         0
357.07/357.26	c       202       433    391.64     55.57      7.05   1000000         0
358.27/358.42	c       239       457    396.76     59.42      6.68   1000000         0
359.37/359.57	c       241       410    397.76     50.14      7.93   1000000         0
360.57/360.73	c       221       415    404.93     59.61      6.79   1000000         0
361.67/361.89	c       242       381    403.06     58.58      6.88   1000000         0
362.88/363.04	c       221       339    397.10     57.75      6.88   1000000         0
364.08/364.20	c       241       408    408.57     66.01      6.19   1000000         0
365.18/365.36	c       247       308    392.67     49.71      7.90   1000000         0
366.37/366.52	c       207       377    396.86     58.51      6.78   1000000         0
367.47/367.67	c       235       358    399.40     55.62      7.18   1000000         0
368.67/368.83	c       256       452    401.70     52.36      7.67   1000000         0
369.77/369.99	c       231       367    405.73     58.77      6.90   1000000         0
370.97/371.14	c       229       386    405.73     55.85      7.26   1000000         0
372.07/372.30	c       250       470    394.67     59.49      6.63   1000000         0
373.27/373.45	c       239       425    404.30     56.24      7.19   1000000         0
374.47/374.60	c       218       437    390.61     58.35      6.69   1000000         0
375.56/375.76	c       208       380    403.45     59.52      6.78   1000000         0
376.77/376.92	c       219       391    405.40     57.62      7.04   1000000         0
377.86/378.08	c       236       359    410.43     59.22      6.93   1000000         0
379.06/379.23	c       210       430    399.71     53.58      7.46   1000000         0
380.16/380.39	c       221       510    405.85     58.99      6.88   1000000         0
381.36/381.54	c       206       466    398.42     57.47      6.93   1000000         0
382.56/382.70	c       250       490    396.64     53.28      7.45   1000000         0
383.66/383.86	c       227       464    395.20     52.16      7.58   1000000         0
384.87/385.01	c       243       330    406.23     55.62      7.30   1000000         0
385.97/386.17	c       246       326    399.80     58.89      6.79   1000000         0
387.17/387.33	c       238       351    413.21     54.10      7.64   1000000         0
388.27/388.48	c       205       317    393.62     57.28      6.87   1000000         0
389.46/389.64	c       231       316    405.85     58.32      6.96   1000000         0
390.56/390.79	c       245       486    399.30     57.42      6.95   1000000         0
391.76/391.95	c       224       386    402.12     56.68      7.09   1000000         0
392.96/393.10	c       251       483    401.48     55.29      7.26   1000000         0
394.06/394.26	c       251       379    409.23     59.14      6.92   1000000         0
395.26/395.41	c       244       328    407.44     56.72      7.18   1000000         0
396.36/396.57	c       227       310    397.05     57.40      6.92   1000000         0
397.56/397.72	c       214       388    395.69     54.90      7.21   1000000         0
398.65/398.89	c       240       297    406.99     56.61      7.19   1000000         0
399.85/400.05	c       234       439    400.13     53.44      7.49   1000000         0
401.05/401.20	c       233       373    399.20     58.91      6.78   1000000         0
402.15/402.35	c       217       361    397.55     53.12      7.48   1000000         0
403.35/403.51	c       222       363    385.51     58.92      6.54   1000000         0
404.45/404.67	c       244       523    401.17     54.05      7.42   1000000         0
405.65/405.83	c       234       484    394.67     58.49      6.75   1000000         0
406.75/406.98	c       199       389    397.66     60.81      6.54   1000000         0
407.96/408.13	c       188       388    393.43     61.70      6.38   1000000         0
409.06/409.29	c       257       306    417.20     60.88      6.85   1000000         0
410.26/410.44	c       241       321    405.54     58.11      6.98   1000000         0
411.45/411.60	c       253       428    406.09     53.16      7.64   1000000         0
412.55/412.76	c       239       408    398.55     52.79      7.55   1000000         0
413.75/413.91	c       253       432    413.55     55.42      7.46   1000000         0
414.85/415.07	c       229       350    399.04     55.42      7.20   1000000         0
416.05/416.22	c       204       371    390.27     60.43      6.46   1000000         0
417.15/417.38	c       237       303    403.56     52.74      7.65   1000000         0
418.35/418.54	c       230       309    394.20     56.70      6.95   1000000         0
419.55/419.70	c       214       355    396.39     60.65      6.54   1000000         0
420.65/420.86	c       217       316    398.64     53.67      7.43   1000000         0
421.85/422.02	c       228       390    409.78     57.93      7.07   1000000         0
422.95/423.17	c       223       336    403.13     57.87      6.97   1000000         0
424.15/424.33	c       224       392    403.98     49.04      8.24   1000000         0
425.25/425.48	c       235       438    397.70     50.82      7.83   1000000         0
426.45/426.64	c       235       308    404.34     61.06      6.62   1000000         0
427.65/427.80	c       236       462    409.18     60.56      6.76   1000000         0
428.74/428.95	c       195       396    394.92     50.17      7.87   1000000         0
429.95/430.11	c       228       399    389.32     55.83      6.97   1000000         0
431.05/431.26	c       227       367    414.08     64.10      6.46   1000000         0
432.25/432.42	c       247       408    407.08     58.89      6.91   1000000         0
433.35/433.57	c       240       347    401.77     49.26      8.16   1000000         0
434.54/434.73	c       198       423    404.77     60.51      6.69   1000000         0
435.64/435.89	c       239       432    406.49     52.96      7.68   1000000         0
436.84/437.04	c       232       342    394.62     55.51      7.11   1000000         0
437.94/438.20	c       224       463    393.53     52.73      7.46   1000000         0
439.14/439.35	c       237       291    399.74     57.39      6.97   1000000         0
440.34/440.51	c       222       398    406.24     55.33      7.34   1000000         0
441.44/441.66	c       218       386    387.77     55.52      6.98   1000000         0
442.64/442.82	c       226       423    400.63     63.03      6.36   1000000         0
443.74/443.98	c       257       346    404.67     52.84      7.66   1000000         0
444.94/445.13	c       254       354    415.18     52.82      7.86   1000000         0
446.04/446.29	c       230       428    409.03     54.91      7.45   1000000         0
447.24/447.45	c       206       418    403.02     59.20      6.81   1000000         0
448.44/448.61	c       240       373    403.51     52.55      7.68   1000000         0
449.54/449.76	c       217       403    406.80     62.42      6.52   1000000         0
450.74/450.92	c       198       415    402.17     58.60      6.86   1000000         0
451.84/452.08	c       210       462    401.56     53.19      7.55   1000000         0
453.04/453.24	c       242       499    401.35     62.49      6.42   1000000         0
454.14/454.39	c       235       298    394.90     63.53      6.22   1000000         0
455.34/455.55	c       232       381    410.19     60.64      6.76   1000000         0
456.53/456.70	c       248       343    404.66     58.46      6.92   1000000         0
457.63/457.86	c       223       376    383.72     54.82      7.00   1000000         0
458.83/459.01	c       229       508    405.57     56.91      7.13   1000000         0
459.93/460.16	c       216       486    404.69     56.84      7.12   1000000         0
461.13/461.32	c       228       464    405.73     58.08      6.99   1000000         0
462.23/462.48	c       223       439    400.46     53.71      7.46   1000000         0
463.43/463.63	c       214       382    391.79     56.11      6.98   1000000         0
464.53/464.78	c       278       409    412.83     51.04      8.09   1000000         0
465.73/465.94	c       235       347    404.04     58.26      6.94   1000000         0
466.83/467.09	c       226       381    388.81     60.43      6.43   1000000         0
468.03/468.25	c       231       331    407.02     52.89      7.70   1000000         0
469.23/469.41	c       246       399    397.11     52.00      7.64   1000000         0
470.33/470.56	c       241       387    403.29     56.12      7.19   1000000         0
471.53/471.72	c       226       355    407.07     62.06      6.56   1000000         0
472.63/472.87	c       243       407    403.76     56.08      7.20   1000000         0
473.83/474.03	c       254       375    408.24     51.52      7.92   1000000         0
474.93/475.19	c       253       415    400.23     56.41      7.10   1000000         0
476.13/476.35	c       221       404    399.94     58.87      6.79   1000000         0
477.23/477.50	c       236       427    410.31     58.83      6.97   1000000         0
478.44/478.65	c       250       343    407.96     53.98      7.56   1000000         0
479.63/479.81	c       186       440    389.01     68.25      5.70   1000000         0
480.73/480.96	c       216       419    398.30     66.59      5.98   1000000         0
481.93/482.12	c       245       341    405.78     55.17      7.35   1000000         0
483.03/483.27	c       195       516    404.68     63.35      6.39   1000000         0
484.23/484.43	c       189       377    404.46     63.11      6.41   1000000         0
485.32/485.58	c       240       302    400.47     60.18      6.65   1000000         0
486.52/486.74	c       266       435    422.77     62.10      6.81   1000000         0
487.72/487.90	c       219       417    399.88     60.00      6.66   1000000         0
488.82/489.06	c       227       536    403.32     64.20      6.28   1000000         0
490.02/490.21	c       207       463    395.55     58.82      6.72   1000000         0
491.12/491.37	c       203       407    400.85     59.49      6.74   1000000         0
492.32/492.52	c       230       452    400.45     57.65      6.95   1000000         0
493.42/493.68	c       218       381    405.14     59.65      6.79   1000000         0
494.62/494.84	c       248       444    408.07     54.83      7.44   1000000         0
495.82/496.00	c       241       371    405.21     68.81      5.89   1000000         0
496.92/497.16	c       247       374    401.91     57.59      6.98   1000000         0
498.13/498.31	c       204       412    396.53     54.91      7.22   1000000         0
499.23/499.48	c       225       404    398.11     51.19      7.78   1000000         0
500.43/500.63	c       211       272    392.41     61.77      6.35   1000000         0
501.53/501.79	c       238       475    411.99     63.25      6.51   1000000         0
502.72/502.94	c       204       370    399.15     57.96      6.89   1000000         0
503.92/504.10	c       254       347    405.25     55.32      7.33   1000000         0
505.02/505.25	c       232       256    398.21     58.31      6.83   1000000         0
506.22/506.41	c       234       431    414.84     58.20      7.13   1000000         0
507.31/507.56	c       228       344    395.81     59.28      6.68   1000000         0
508.52/508.72	c       219       437    402.06     61.91      6.49   1000000         0
509.61/509.88	c       248       416    399.30     54.15      7.37   1000000         0
510.81/511.03	c       247       394    405.58     61.97      6.54   1000000         0
511.91/512.19	c       229       377    405.90     58.73      6.91   1000000         0
513.11/513.35	c       236       383    395.65     55.85      7.08   1000000         0
514.31/514.51	c       251       416    407.61     58.01      7.03   1000000         0
515.41/515.66	c       223       361    399.89     60.54      6.61   1000000         0
516.61/516.82	c       220       356    396.06     60.90      6.50   1000000         0
517.71/517.98	c       235       339    391.65     57.46      6.82   1000000         0
518.91/519.13	c       210       367    415.71     63.03      6.59   1000000         0
520.01/520.29	c       231       367    402.74     53.81      7.49   1000000         0
521.22/521.45	c       223       369    407.60     61.76      6.60   1000000         0
522.32/522.60	c       235       318    402.56     60.46      6.66   1000000         0
523.52/523.75	c       225       412    408.23     59.19      6.90   1000000         0
524.71/524.91	c       232       380    396.64     58.94      6.73   1000000         0
525.81/526.07	c       230       474    402.13     60.31      6.67   1000000         0
527.01/527.22	c       231       358    400.69     56.85      7.05   1000000         0
528.12/528.38	c       218       369    415.74     58.02      7.17   1000000         0
529.32/529.53	c       236       474    407.84     61.22      6.66   1000000         0
530.41/530.69	c       259       389    406.45     53.25      7.63   1000000         0
531.61/531.85	c       197       465    405.03     56.64      7.15   1000000         0
532.81/533.02	c       209       405    409.09     64.05      6.39   1000000         0
533.91/534.17	c       227       443    396.36     60.85      6.51   1000000         0
535.11/535.33	c       245       401    407.39     56.90      7.16   1000000         0
536.21/536.48	c       239       348    407.12     59.51      6.84   1000000         0
537.41/537.64	c       247       414    407.24     54.59      7.46   1000000         0
538.51/538.79	c       239       566    408.19     55.70      7.33   1000000         0
539.71/539.95	c       242       422    408.15     56.38      7.24   1000000         0
540.91/541.11	c       228       401    406.75     52.86      7.69   1000000         0
542.01/542.26	c       231       457    410.54     59.92      6.85   1000000         0
543.22/543.42	c       227       373    400.94     56.05      7.15   1000000         0
544.32/544.58	c       253       355    400.11     58.06      6.89   1000000         0
545.52/545.73	c       217       360    400.65     59.08      6.78   1000000         0
546.62/546.89	c       205       488    409.37     56.50      7.25   1000000         0
547.81/548.05	c       241       436    415.23     60.32      6.88   1000000         0
549.01/549.20	c       225       411    402.45     65.02      6.19   1000000         0
550.11/550.36	c       210       332    397.00     53.52      7.42   1000000         0
551.31/551.52	c       213       417    409.68     56.73      7.22   1000000         0
552.41/552.68	c       208       431    405.55     58.96      6.88   1000000         0
553.61/553.84	c       246       309    407.62     60.60      6.73   1000000         0
554.71/555.00	c       239       518    407.31     52.93      7.70   1000000         0
555.91/556.15	c       217       436    413.06     52.43      7.88   1000000         0
557.11/557.31	c       225       318    408.69     59.34      6.89   1000000         0
558.21/558.46	c       220       469    393.48     60.62      6.49   1000000         0
559.41/559.62	c       216       363    393.41     54.50      7.22   1000000         0
560.50/560.77	c       234       280    396.37     54.01      7.34   1000000         0
561.70/561.93	c       235       404    408.13     61.55      6.63   1000000         0
562.80/563.08	c       193       410    394.55     61.67      6.40   1000000         0
564.00/564.24	c       229       415    400.71     53.06      7.55   1000000         0
565.11/565.40	c       182       332    390.92     59.12      6.61   1000000         0
566.31/566.56	c       250       543    415.04     58.21      7.13   1000000         0
567.51/567.71	c       239       357    400.53     52.79      7.59   1000000         0
568.61/568.87	c       221       377    398.82     60.83      6.56   1000000         0
569.80/570.03	c       251       438    416.90     53.72      7.76   1000000         0
570.90/571.18	c       212       354    398.71     52.14      7.65   1000000         0
572.10/572.34	c       246       295    406.79     58.38      6.97   1000000         0
573.30/573.50	c       222       386    399.32     55.04      7.25   1000000         0
574.40/574.65	c       208       440    399.28     56.23      7.10   1000000         0
575.60/575.80	c       231       418    406.41     55.91      7.27   1000000         0
576.70/576.96	c       219       359    398.47     55.97      7.12   1000000         0
577.90/578.12	c       200       475    405.58     54.38      7.46   1000000         0
579.00/579.27	c       231       416    397.47     58.40      6.81   1000000         0
580.20/580.43	c       230       384    406.11     56.97      7.13   1000000         0
581.30/581.58	c       208       312    389.40     51.45      7.57   1000000         0
582.50/582.74	c       230       374    407.61     51.70      7.88   1000000         0
583.70/583.90	c       226       411    403.57     62.90      6.42   1000000         0
584.80/585.05	c       244       465    401.80     52.56      7.64   1000000         0
585.99/586.21	c       226       411    403.07     61.18      6.59   1000000         0
587.09/587.36	c       241       369    399.57     56.76      7.04   1000000         0
588.30/588.52	c       215       317    402.58     54.73      7.36   1000000         0
589.40/589.68	c       253       390    395.46     47.16      8.39   1000000         0
590.60/590.83	c       232       407    403.32     55.89      7.22   1000000         0
591.70/591.99	c       234       343    406.19     57.89      7.02   1000000         0
592.89/593.14	c       213       263    404.58     60.13      6.73   1000000         0
593.99/594.30	c       245       408    408.50     53.10      7.69   1000000         0
595.19/595.45	c       206       409    402.24     62.61      6.42   1000000         0
596.39/596.60	c       236       410    399.27     55.17      7.24   1000000         0
597.49/597.76	c       206       396    397.37     57.74      6.88   1000000         0
598.69/598.92	c       212       310    395.11     59.30      6.66   1000000         0
599.79/600.07	c       220       434    399.72     52.63      7.59   1000000         0
600.99/601.23	c       228       345    399.82     56.04      7.13   1000000         0
602.09/602.38	c       210       333    399.20     61.92      6.45   1000000         0
603.29/603.54	c       242       364    404.69     56.00      7.23   1000000         0
604.39/604.69	c       216       321    396.17     55.17      7.18   1000000         0
605.59/605.85	c       257       475    415.85     62.86      6.62   1000000         0
606.79/607.01	c       231       370    401.29     55.63      7.21   1000000         0
607.89/608.16	c       224       425    402.79     60.76      6.63   1000000         0
609.09/609.31	c       252       459    403.97     52.70      7.67   1000000         0
610.19/610.47	c       221       326    396.64     55.19      7.19   1000000         0
611.39/611.62	c       215       284    394.28     58.66      6.72   1000000         0
612.49/612.78	c       219       354    396.83     56.61      7.01   1000000         0
613.69/613.93	c       232       426    396.37     57.34      6.91   1000000         0
614.79/615.09	c       251       304    397.17     51.17      7.76   1000000         0
615.99/616.24	c       231       456    409.84     55.51      7.38   1000000         0
617.18/617.40	c       217       348    392.09     55.71      7.04   1000000         0
618.28/618.56	c       242       437    403.94     51.66      7.82   1000000         0
619.48/619.71	c       229       397    403.70     56.47      7.15   1000000         0
620.58/620.87	c       213       471    396.07     52.69      7.52   1000000         0
621.78/622.02	c       236       489    402.40     56.42      7.13   1000000         0
622.88/623.18	c       253       270    402.72     55.94      7.20   1000000         0
624.08/624.33	c       225       361    406.20     57.64      7.05   1000000         0
625.18/625.49	c       256       374    400.12     52.68      7.60   1000000         0
626.38/626.65	c       241       332    401.93     58.53      6.87   1000000         0
627.58/627.80	c       241       363    403.72     53.55      7.54   1000000         0
628.68/628.96	c       229       345    406.40     62.24      6.53   1000000         0
629.88/630.11	c       204       446    396.08     55.31      7.16   1000000         0
630.98/631.27	c       258       405    400.70     55.14      7.27   1000000         0
632.18/632.43	c       218       410    405.15     58.88      6.88   1000000         0
633.28/633.59	c       225       379    409.27     54.96      7.45   1000000         0
634.48/634.74	c       252       326    396.78     54.50      7.28   1000000         0
635.58/635.90	c       217       416    396.10     61.27      6.47   1000000         0
636.78/637.06	c       242       477    398.09     48.36      8.23   1000000         0
637.97/638.22	c       227       448    397.93     54.80      7.26   1000000         0
639.07/639.38	c       211       313    402.73     60.18      6.69   1000000         0
640.27/640.53	c       235       426    397.90     60.31      6.60   1000000         0
641.37/641.69	c       232       419    401.05     56.78      7.06   1000000         0
642.57/642.84	c       202       369    403.95     62.50      6.46   1000000         0
643.77/644.00	c       231       309    402.17     58.60      6.86   1000000         0
644.87/645.16	c       212       288    405.33     61.95      6.54   1000000         0
646.07/646.32	c       223       385    404.74     59.63      6.79   1000000         0
647.17/647.47	c       229       338    409.15     61.92      6.61   1000000         0
648.37/648.63	c       242       444    408.87     54.69      7.48   1000000         0
649.47/649.78	c       224       425    395.76     59.40      6.66   1000000         0
650.67/650.94	c       234       458    404.39     53.62      7.54   1000000         0
651.87/652.10	c       225       312    402.17     51.54      7.80   1000000         0
652.97/653.25	c       231       349    400.16     62.36      6.42   1000000         0
654.17/654.41	c       243       472    405.29     56.51      7.17   1000000         0
655.27/655.57	c       251       396    407.44     51.82      7.86   1000000         0
656.48/656.73	c       235       414    414.49     58.98      7.03   1000000         0
657.57/657.89	c       245       318    402.34     53.15      7.57   1000000         0
658.77/659.05	c       236       348    397.68     56.30      7.06   1000000         0
659.97/660.20	c       204       432    413.21     64.29      6.43   1000000         0
661.07/661.36	c       236       360    398.54     57.99      6.87   1000000         0
662.27/662.52	c       217       429    403.76     56.37      7.16   1000000         0
663.37/663.67	c       219       363    399.77     52.62      7.60   1000000         0
664.56/664.83	c       228       405    413.87     56.07      7.38   1000000         0
665.66/665.98	c       241       454    401.25     56.42      7.11   1000000         0
666.87/667.14	c       211       485    399.43     60.46      6.61   1000000         0
667.96/668.29	c       221       391    396.09     56.33      7.03   1000000         0
669.16/669.45	c       222       414    396.76     56.24      7.05   1000000         0
670.36/670.60	c       212       398    401.57     58.81      6.83   1000000         0
671.46/671.76	c       248       356    398.90     53.46      7.46   1000000         0
672.66/672.92	c       213       443    397.48     57.60      6.90   1000000         0
673.76/674.07	c       246       429    408.67     63.78      6.41   1000000         0
674.96/675.22	c       240       343    395.16     54.82      7.21   1000000         0
676.06/676.38	c       243       443    401.17     59.53      6.74   1000000         0
677.26/677.54	c       200       386    402.54     61.27      6.57   1000000         0
678.36/678.69	c       228       424    398.12     62.14      6.41   1000000         0
679.57/679.84	c       202       427    404.94     59.66      6.79   1000000         0
680.67/681.00	c       223       338    404.48     62.86      6.43   1000000         0
681.87/682.15	c       208       315    390.65     52.18      7.49   1000000         0
683.06/683.31	c       243       450    413.13     51.60      8.01   1000000         0
684.16/684.47	c       239       463    403.34     55.48      7.27   1000000         0
685.36/685.62	c       229       369    394.59     52.31      7.54   1000000         0
686.46/686.78	c       243       337    404.24     53.89      7.50   1000000         0
687.66/687.93	c       248       361    396.98     57.80      6.87   1000000         0
688.76/689.09	c       245       407    398.45     50.22      7.93   1000000         0
689.96/690.24	c       230       411    409.55     57.34      7.14   1000000         0
691.15/691.40	c       228       462    404.24     59.27      6.82   1000000         0
692.26/692.55	c       232       408    402.92     57.87      6.96   1000000         0
693.45/693.71	c       223       327    407.31     60.04      6.78   1000000         0
694.55/694.86	c       225       313    394.63     57.79      6.83   1000000         0
695.75/696.02	c       238       504    401.14     58.50      6.86   1000000         0
696.85/697.18	c       249       369    400.16     51.01      7.84   1000000         0
698.05/698.33	c       252       424    402.14     58.26      6.90   1000000         0
699.15/699.49	c       227       393    396.88     52.41      7.57   1000000         0
700.35/700.64	c       255       372    409.85     57.56      7.12   1000000         0
701.56/701.80	c       250       402    409.26     60.98      6.71   1000000         0
702.66/702.95	c       210       529    394.57     59.54      6.63   1000000         0
703.86/704.10	c       214       471    394.54     54.75      7.21   1000000         0
704.96/705.26	c       229       306    406.80     59.15      6.88   1000000         0
706.15/706.42	c       206       303    404.31     61.99      6.52   1000000         0
707.25/707.58	c       234       387    409.98     58.77      6.98   1000000         0
708.45/708.73	c       236       421    400.64     57.60      6.96   1000000         0
709.55/709.88	c       236       350    407.62     55.69      7.32   1000000         0
710.75/711.04	c       216       441    398.47     56.85      7.01   1000000         0
711.85/712.20	c       242       369    404.78     51.90      7.80   1000000         0
713.05/713.35	c       216       496    390.53     51.01      7.66   1000000         0
714.25/714.51	c       237       387    406.89     59.12      6.88   1000000         0
715.35/715.66	c       244       411    404.58     55.74      7.26   1000000         0
716.55/716.82	c       243       382    396.20     58.37      6.79   1000000         0
717.65/717.98	c       251       463    407.25     62.33      6.53   1000000         0
718.84/719.14	c       233       369    414.18     63.23      6.55   1000000         0
719.94/720.29	c       223       406    407.31     56.95      7.15   1000000         0
721.14/721.45	c       241       450    400.15     54.27      7.37   1000000         0
722.34/722.60	c       198       393    401.92     60.59      6.63   1000000         0
723.44/723.76	c       214       463    398.87     58.43      6.83   1000000         0
724.65/724.91	c       231       418    399.52     56.49      7.07   1000000         0
725.75/726.07	c       250       344    410.26     57.50      7.14   1000000         0
726.95/727.23	c       239       483    402.27     57.39      7.01   1000000         0
728.05/728.38	c       228       418    404.26     61.87      6.53   1000000         0
729.24/729.55	c       256       457    412.63     55.78      7.40   1000000         0
730.44/730.71	c       255       428    412.38     60.25      6.84   1000000         0
731.54/731.86	c       234       358    403.12     53.72      7.50   1000000         0
732.74/733.02	c       234       404    397.13     56.44      7.04   1000000         0
733.84/734.18	c       239       304    409.53     61.33      6.68   1000000         0
735.04/735.33	c       208       445    395.21     54.45      7.26   1000000         0
736.14/736.49	c       236       474    404.82     55.27      7.32   1000000         0
737.34/737.64	c       233       434    402.92     62.83      6.41   1000000         0
738.54/738.80	c       201       386    398.32     53.29      7.47   1000000         0
739.64/739.96	c       236       428    402.15     62.89      6.39   1000000         0
740.84/741.11	c       221       456    397.99     56.78      7.01   1000000         0
741.94/742.27	c       181       357    412.47     55.45      7.44   1000000         0
743.15/743.43	c       205       458    394.19     56.66      6.96   1000000         0
744.24/744.59	c       249       311    407.54     58.38      6.98   1000000         0
745.44/745.74	c       225       360    414.61     59.61      6.96   1000000         0
746.65/746.90	c       220       414    408.07     61.23      6.66   1000000         0
747.75/748.06	c       249       409    405.36     49.01      8.27   1000000         0
748.95/749.22	c       218       448    403.39     63.71      6.33   1000000         0
750.05/750.37	c       222       399    397.97     54.66      7.28   1000000         0
751.24/751.53	c       249       463    414.66     62.83      6.60   1000000         0
752.34/752.68	c       193       394    408.44     59.94      6.81   1000000         0
753.54/753.84	c       216       400    395.78     56.51      7.00   1000000         0
754.64/754.99	c       231       420    401.43     61.83      6.49   1000000         0
755.84/756.15	c       216       402    408.47     61.94      6.59   1000000         0
757.04/757.30	c       210       324    398.21     58.38      6.82   1000000         0
758.14/758.46	c       224       364    408.75     58.29      7.01   1000000         0
759.34/759.62	c       249       396    406.49     53.90      7.54   1000000         0
760.44/760.77	c       204       414    397.92     54.92      7.25   1000000         0
761.64/761.92	c       223       452    401.25     62.81      6.39   1000000         0
762.74/763.08	c       251       370    395.34     58.41      6.77   1000000         0
763.94/764.24	c       216       350    403.55     55.22      7.31   1000000         0
765.04/765.39	c       236       325    395.03     51.98      7.60   1000000         0
766.24/766.55	c       206       409    409.68     58.55      7.00   1000000         0
767.44/767.70	c       228       454    399.46     55.58      7.19   1000000         0
768.54/768.86	c       243       418    412.87     60.22      6.86   1000000         0
769.74/770.01	c       233       346    406.56     59.92      6.79   1000000         0
770.84/771.17	c       240       391    396.13     52.58      7.53   1000000         0
772.04/772.33	c       245       380    402.79     54.95      7.33   1000000         0
773.14/773.48	c       228       314    399.12     59.40      6.72   1000000         0
774.33/774.64	c       241       375    397.80     56.15      7.08   1000000         0
775.43/775.79	c       227       421    395.58     59.82      6.61   1000000         0
776.63/776.95	c       256       347    399.60     50.91      7.85   1000000         0
777.83/778.10	c       239       445    397.27     55.30      7.18   1000000         0
778.93/779.26	c       216       383    397.47     56.12      7.08   1000000         0
780.13/780.41	c       241       352    399.00     53.65      7.44   1000000         0
781.23/781.57	c       230       333    402.81     62.13      6.48   1000000         0
782.43/782.73	c       223       464    396.74     58.25      6.81   1000000         0
783.53/783.89	c       204       368    391.75     56.23      6.97   1000000         0
784.73/785.05	c       225       414    399.34     62.24      6.42   1000000         0
785.93/786.21	c       189       339    390.33     54.33      7.18   1000000         0
787.03/787.36	c       244       497    404.35     56.70      7.13   1000000         0
788.23/788.52	c       234       385    396.82     52.38      7.58   1000000         0
789.33/789.67	c       247       450    394.80     57.67      6.85   1000000         0
790.52/790.82	c       213       415    389.94     56.96      6.85   1000000         0
791.62/791.98	c       217       372    391.71     59.34      6.60   1000000         0
792.83/793.13	c       225       278    384.20     53.12      7.23   1000000         0
793.93/794.29	c       207       425    408.86     58.98      6.93   1000000         0
795.13/795.45	c       225       350    390.60     59.66      6.55   1000000         0
796.32/796.60	c       218       429    407.57     61.03      6.68   1000000         0
797.42/797.76	c       245       409    414.83     62.63      6.62   1000000         0
798.62/798.92	c       246       354    398.72     51.18      7.79   1000000         0
799.72/800.07	c       230       476    399.39     54.96      7.27   1000000         0
800.92/801.23	c       212       301    391.11     56.92      6.87   1000000         0
802.02/802.39	c       239       461    406.98     57.18      7.12   1000000         0
803.22/803.54	c       197       450    401.17     52.89      7.58   1000000         0
804.42/804.70	c       240       356    398.10     52.76      7.55   1000000         0
805.52/805.86	c       258       406    403.67     53.53      7.54   1000000         0
806.72/807.01	c       213       442    394.81     56.08      7.04   1000000         0
807.82/808.17	c       249       443    402.16     53.73      7.49   1000000         0
809.02/809.33	c       223       401    402.42     61.20      6.58   1000000         0
810.12/810.48	c       250       351    405.16     63.17      6.41   1000000         0
811.32/811.63	c       208       371    404.54     58.41      6.93   1000000         0
812.42/812.79	c       236       516    395.90     51.06      7.75   1000000         0
813.62/813.94	c       222       466    403.75     54.42      7.42   1000000         0
814.72/815.09	c       244       427    394.69     56.62      6.97   1000000         0
815.92/816.25	c       195       540    407.01     54.74      7.43   1000000         0
817.12/817.41	c       241       360    399.01     55.27      7.22   1000000         0
818.22/818.56	c       251       402    400.83     53.30      7.52   1000000         0
819.41/819.72	c       241       500    407.84     56.89      7.17   1000000         0
820.51/820.88	c       237       363    395.19     58.23      6.79   1000000         0
821.71/822.04	c       210       492    393.50     60.43      6.51   1000000         0
822.81/823.19	c       153       428    409.10     56.80      7.20   1000000         0
824.01/824.35	c       274       457    415.35     51.71      8.03   1000000         0
825.21/825.50	c       232       338    397.05     57.12      6.95   1000000         0
826.31/826.66	c       229       374    405.07     54.27      7.46   1000000         0
827.51/827.81	c       245       368    405.39     56.44      7.18   1000000         0
828.61/828.97	c       254       421    404.90     53.64      7.55   1000000         0
829.81/830.12	c       232       350    394.43     53.68      7.35   1000000         0
830.91/831.28	c       214       386    402.40     61.30      6.56   1000000         0
832.11/832.44	c       220       474    406.32     58.99      6.89   1000000         0
833.21/833.59	c       238       351    401.96     51.14      7.86   1000000         0
834.41/834.74	c       188       456    389.86     58.44      6.67   1000000         0
835.61/835.90	c       222       355    393.97     55.20      7.14   1000000         0
836.71/837.06	c       241       375    404.02     59.30      6.81   1000000         0
837.91/838.21	c       211       468    400.22     52.79      7.58   1000000         0
839.02/839.37	c       217       428    412.75     63.44      6.51   1000000         0
840.21/840.53	c       245       329    404.80     57.74      7.01   1000000         0
841.31/841.68	c       202       495    403.99     62.80      6.43   1000000         0
842.51/842.84	c       226       368    402.04     53.29      7.54   1000000         0
843.61/843.99	c       239       331    401.38     59.90      6.70   1000000         0
844.80/845.15	c       219       340    397.29     60.08      6.61   1000000         0
846.00/846.30	c       213       401    383.38     57.65      6.65   1000000         0
847.10/847.46	c       250       364    417.11     54.15      7.70   1000000         0
848.30/848.61	c       254       406    411.87     59.48      6.92   1000000         0
849.40/849.77	c       219       386    409.19     59.76      6.85   1000000         0
850.60/850.92	c       234       452    409.02     53.37      7.66   1000000         0
851.70/852.08	c       215       424    397.07     52.59      7.55   1000000         0
852.90/853.23	c       253       399    404.11     54.17      7.46   1000000         0
854.00/854.39	c       218       429    401.37     56.17      7.15   1000000         0
855.20/855.55	c       245       315    412.10     58.18      7.08   1000000         0
856.40/856.70	c       248       307    401.42     58.12      6.91   1000000         0
857.50/857.86	c       214       448    409.00     61.53      6.65   1000000         0
858.70/859.02	c       230       377    401.03     51.53      7.78   1000000         0
859.80/860.18	c       237       482    408.40     59.14      6.91   1000000         0
861.01/861.33	c       233       447    398.47     58.36      6.83   1000000         0
862.11/862.49	c       225       435    414.68     60.13      6.90   1000000         0
863.31/863.65	c       234       422    405.24     60.01      6.75   1000000         0
864.50/864.81	c       238       440    394.40     55.73      7.08   1000000         0
865.60/865.97	c       228       285    404.84     60.04      6.74   1000000         0
866.80/867.12	c       231       421    402.94     57.25      7.04   1000000         0
867.90/868.28	c       234       519    407.39     53.90      7.56   1000000         0
869.10/869.43	c       217       351    409.79     55.47      7.39   1000000         0
870.20/870.59	c       228       391    400.49     51.78      7.73   1000000         0
871.40/871.75	c       214       424    399.50     60.71      6.58   1000000         0
872.60/872.90	c       253       418    398.79     57.63      6.92   1000000         0
873.70/874.06	c       208       351    396.49     56.78      6.98   1000000         0
874.90/875.21	c       220       292    402.15     64.04      6.28   1000000         0
875.99/876.37	c       227       399    389.92     52.82      7.38   1000000         0
877.19/877.52	c       228       338    403.03     57.10      7.06   1000000         0
878.29/878.68	c       246       314    394.66     60.82      6.49   1000000         0
879.49/879.83	c       231       447    396.29     59.92      6.61   1000000         0
880.59/880.99	c       165       482    400.92     65.42      6.13   1000000         0
881.79/882.14	c       258       437    412.80     54.90      7.52   1000000         0
883.00/883.30	c       223       366    404.46     54.62      7.40   1000000         0
884.10/884.45	c       222       341    405.56     57.91      7.00   1000000         0
885.30/885.61	c       235       348    408.04     56.30      7.25   1000000         0
886.40/886.76	c       225       507    404.11     60.26      6.71   1000000         0
887.59/887.92	c       235       432    408.24     58.87      6.94   1000000         0
888.69/889.07	c       207       381    393.55     60.99      6.45   1000000         0
889.89/890.23	c       259       443    403.53     57.48      7.02   1000000         0
890.99/891.38	c       225       410    396.85     55.23      7.18   1000000         0
892.19/892.54	c       229       436    387.10     51.90      7.46   1000000         0
893.29/893.69	c       230       406    395.70     52.73      7.50   1000000         0
894.49/894.85	c       218       343    405.04     55.72      7.27   1000000         0
895.68/896.01	c       225       424    408.53     58.28      7.01   1000000         0
896.78/897.16	c       227       350    397.93     50.27      7.92   1000000         0
897.98/898.32	c       213       386    394.85     55.30      7.14   1000000         0
899.08/899.47	c       216       308    396.84     56.12      7.07   1000000         0
900.28/900.62	c       230       322    392.14     56.75      6.91   1000000         0
901.38/901.78	c       236       367    401.65     57.02      7.04   1000000         0
902.58/902.93	c       198       370    401.13     57.56      6.97   1000000         0
903.68/904.09	c       255       394    411.10     54.55      7.54   1000000         0
904.88/905.25	c       237       460    405.60     61.79      6.56   1000000         0
906.09/906.41	c       206       383    394.63     58.75      6.72   1000000         0
907.19/907.56	c       221       450    403.17     62.33      6.47   1000000         0
908.39/908.72	c       227       415    398.05     51.54      7.72   1000000         0
909.49/909.88	c       240       348    408.88     59.44      6.88   1000000         0
910.68/911.03	c       221       452    401.06     52.47      7.64   1000000         0
911.78/912.18	c       244       409    400.08     52.18      7.67   1000000         0
912.98/913.34	c       225       398    397.34     53.42      7.44   1000000         0
914.18/914.50	c       240       435    407.19     52.56      7.75   1000000         0
915.28/915.66	c       250       577    401.63     54.75      7.34   1000000         0
916.48/916.82	c       213       468    389.83     54.02      7.22   1000000         0
917.58/917.98	c       228       382    394.93     48.95      8.07   1000000         0
918.78/919.14	c       211       393    404.36     57.30      7.06   1000000         0
919.88/920.29	c       246       451    398.34     58.28      6.84   1000000         0
921.07/921.45	c       243       447    404.77     53.07      7.63   1000000         0
922.27/922.61	c       210       349    398.99     54.31      7.35   1000000         0
923.37/923.76	c       247       383    408.09     53.25      7.66   1000000         0
924.57/924.92	c       235       422    406.55     56.59      7.18   1000000         0
925.68/926.08	c       244       312    402.32     55.26      7.28   1000000         0
926.87/927.23	c       234       425    395.33     56.75      6.97   1000000         0
927.97/928.39	c       231       409    410.33     52.73      7.78   1000000         0
929.18/929.55	c       252       340    406.96     55.73      7.30   1000000         0
930.28/930.70	c       239       461    405.67     57.07      7.11   1000000         0
931.48/931.86	c       223       446    410.07     57.39      7.15   1000000         0
932.67/933.02	c       235       360    403.60     57.31      7.04   1000000         0
933.77/934.18	c       229       344    398.83     55.11      7.24   1000000         0
934.97/935.33	c       212       378    410.78     73.12      5.62   1000000         0
936.08/936.49	c       232       402    407.32     59.58      6.84   1000000         0
937.28/937.65	c       227       358    400.83     57.09      7.02   1000000         0
938.48/938.81	c       257       493    401.84     52.13      7.71   1000000         0
939.58/939.96	c       261       505    410.52     55.55      7.39   1000000         0
940.78/941.12	c       201       480    402.60     57.40      7.01   1000000         0
941.88/942.27	c       250       449    412.55     54.32      7.59   1000000         0
943.08/943.42	c       212       401    396.51     57.82      6.86   1000000         0
944.18/944.59	c       237       382    405.40     53.27      7.61   1000000         0
945.38/945.74	c       229       374    400.55     54.31      7.38   1000000         0
946.58/946.90	c       245       444    408.43     56.81      7.19   1000000         0
947.68/948.06	c       207       397    399.27     60.37      6.61   1000000         0
948.88/949.21	c       180       439    400.29     59.04      6.78   1000000         0
949.98/950.37	c       247       350    390.70     56.72      6.89   1000000         0
951.18/951.53	c       250       439    419.99     64.58      6.50   1000000         0
952.28/952.68	c       235       494    394.71     50.52      7.81   1000000         0
953.48/953.83	c       235       409    406.39     53.22      7.64   1000000         0
954.58/954.99	c       258       454    405.80     50.09      8.10   1000000         0
955.77/956.15	c       231       416    409.20     59.14      6.92   1000000         0
956.97/957.30	c       217       342    394.74     63.66      6.20   1000000         0
958.07/958.46	c       222       298    403.54     56.37      7.16   1000000         0
959.27/959.62	c       231       403    396.70     62.40      6.36   1000000         0
960.37/960.78	c       225       394    399.83     57.02      7.01   1000000         0
961.57/961.93	c       209       385    406.52     53.28      7.63   1000000         0
962.67/963.09	c       250       337    399.33     51.94      7.69   1000000         0
963.87/964.25	c       178       479    400.38     62.82      6.37   1000000         0
965.07/965.40	c       250       413    405.59     56.87      7.13   1000000         0
966.17/966.56	c       206       336    390.72     54.74      7.14   1000000         0
967.37/967.71	c       208       436    398.94     58.77      6.79   1000000         0
968.47/968.87	c       220       439    403.37     61.76      6.53   1000000         0
969.67/970.03	c       230       281    401.37     60.36      6.65   1000000         0
970.77/971.18	c       251       418    411.32     59.17      6.95   1000000         0
971.97/972.34	c       193       351    405.19     56.15      7.22   1000000         0
973.17/973.50	c       170       365    408.03     61.47      6.64   1000000         0
974.27/974.65	c       236       364    392.68     57.69      6.81   1000000         0
975.47/975.81	c       195       325    389.80     63.27      6.16   1000000         0
976.58/976.96	c       230       353    392.48     56.60      6.93   1000000         0
977.77/978.12	c       226       352    402.86     57.59      7.00   1000000         0
978.87/979.28	c       257       500    407.66     53.88      7.57   1000000         0
980.07/980.43	c       205       343    381.28     52.95      7.20   1000000         0
981.17/981.59	c       229       424    387.43     57.15      6.78   1000000         0
982.36/982.74	c       234       460    397.53     53.72      7.40   1000000         0
983.56/983.90	c       246       391    399.29     53.52      7.46   1000000         0
984.66/985.05	c       199       511    400.69     57.56      6.96   1000000         0
985.86/986.21	c       238       355    404.70     55.93      7.24   1000000         0
986.96/987.37	c       238       357    400.96     54.41      7.37   1000000         0
988.16/988.52	c       235       398    394.96     58.59      6.74   1000000         0
989.26/989.69	c       256       403    404.74     56.25      7.20   1000000         0
990.46/990.84	c       223       343    394.11     55.89      7.05   1000000         0
991.56/992.00	c       250       410    412.63     64.26      6.42   1000000         0
992.76/993.15	c       229       384    387.29     54.41      7.12   1000000         0
993.96/994.31	c       188       339    409.62     59.87      6.84   1000000         0
995.06/995.46	c       251       433    409.36     58.89      6.95   1000000         0
996.27/996.62	c       199       410    402.75     59.06      6.82   1000000         0
997.37/997.78	c       231       396    392.58     57.81      6.79   1000000         0
998.57/998.94	c       223       350    400.85     58.46      6.86   1000000         0
999.67/1000.09	c       216       358    403.04     56.59      7.12   1000000         0
1000.86/1001.25	c       246       437    403.71     56.61      7.13   1000000         0
1002.06/1002.40	c       221       383    399.76     59.68      6.70   1000000         0
1003.16/1003.56	c       244       411    407.39     58.56      6.96   1000000         0
1004.36/1004.72	c       215       284    398.65     56.67      7.03   1000000         0
1005.45/1005.88	c       228       383    406.06     62.53      6.49   1000000         0
1006.65/1007.04	c       241       379    403.83     60.01      6.73   1000000         0
1007.85/1008.20	c       234       370    395.67     56.19      7.04   1000000         0
1008.95/1009.36	c       228       368    395.47     57.38      6.89   1000000         0
1010.15/1010.51	c       211       396    402.47     55.22      7.29   1000000         0
1011.25/1011.67	c       256       425    408.27     53.70      7.60   1000000         0
1012.45/1012.83	c       209       387    397.24     55.48      7.16   1000000         0
1013.55/1013.98	c       193       413    397.89     51.79      7.68   1000000         0
1014.75/1015.13	c       219       392    393.84     63.31      6.22   1000000         0
1015.85/1016.29	c       212       449    401.94     53.95      7.45   1000000         0
1017.05/1017.44	c       231       410    392.62     59.53      6.60   1000000         0
1018.26/1018.60	c       231       299    404.26     57.59      7.02   1000000         0
1019.36/1019.75	c       233       365    395.47     54.97      7.19   1000000         0
1020.56/1020.91	c       259       486    412.20     57.30      7.19   1000000         0
1021.66/1022.07	c       226       465    406.36     55.19      7.36   1000000         0
1022.85/1023.22	c       239       383    405.34     61.56      6.58   1000000         0
1023.95/1024.38	c       205       476    390.90     64.03      6.10   1000000         0
1025.15/1025.53	c       206       429    402.86     57.70      6.98   1000000         0
1026.25/1026.69	c       216       394    400.93     62.24      6.44   1000000         0
1027.45/1027.84	c       233       407    400.45     53.67      7.46   1000000         0
1028.65/1029.00	c       252       408    414.91     54.73      7.58   1000000         0
1029.75/1030.15	c       225       423    406.86     63.89      6.37   1000000         0
1030.95/1031.31	c       217       400    402.59     63.89      6.30   1000000         0
1032.05/1032.47	c       231       401    409.08     49.08      8.33   1000000         0
1033.24/1033.62	c       205       490    400.14     57.45      6.96   1000000         0
1034.34/1034.79	c       206       411    405.07     56.25      7.20   1000000         0
1035.54/1035.95	c       249       400    410.13     60.86      6.74   1000000         0
1036.74/1037.10	c       233       363    394.13     57.70      6.83   1000000         0
1037.84/1038.25	c       234       435    396.82     53.22      7.46   1000000         0
1039.04/1039.41	c       229       487    399.87     55.04      7.27   1000000         0
1040.14/1040.57	c       204       453    400.57     63.20      6.34   1000000         0
1041.35/1041.73	c       240       412    404.72     55.48      7.29   1000000         0
1042.45/1042.89	c       242       429    385.69     49.09      7.86   1000000         0
1043.65/1044.05	c       260       444    408.28     57.42      7.11   1000000         0
1044.84/1045.20	c       208       464    400.88     57.67      6.95   1000000         0
1045.94/1046.36	c       235       384    395.70     53.33      7.42   1000000         0
1047.14/1047.52	c       229       323    398.53     59.69      6.68   1000000         0
1048.24/1048.67	c       222       412    403.31     60.02      6.72   1000000         0
1049.44/1049.83	c       241       452    407.70     54.70      7.45   1000000         0
1050.54/1050.99	c       217       375    400.82     56.88      7.05   1000000         0
1051.74/1052.14	c       214       356    395.77     63.04      6.28   1000000         0
1052.94/1053.30	c       183       363    398.52     54.56      7.30   1000000         0
1054.04/1054.45	c       229       452    398.84     54.87      7.27   1000000         0
1055.24/1055.61	c       182       393    400.73     59.42      6.74   1000000         0
1056.33/1056.77	c       234       361    403.04     65.22      6.18   1000000         0
1057.54/1057.93	c       251       350    410.71     54.07      7.60   1000000         0
1058.63/1059.08	c       255       358    396.63     49.27      8.05   1000000         0
1059.83/1060.24	c       228       367    389.27     57.50      6.77   1000000         0
1060.93/1061.39	c       210       429    406.12     58.94      6.89   1000000         0
1062.13/1062.55	c       215       373    393.26     55.06      7.14   1000000         0
1063.34/1063.71	c       254       415    401.81     50.96      7.89   1000000         0
1064.44/1064.87	c       223       418    410.65     59.77      6.87   1000000         0
1065.64/1066.02	c       201       388    401.20     61.85      6.49   1000000         0
1066.74/1067.18	c       223       414    404.65     60.05      6.74   1000000         0
1067.93/1068.33	c       225       373    407.65     59.10      6.90   1000000         0
1069.03/1069.49	c       222       487    402.93     58.24      6.92   1000000         0
1070.23/1070.65	c       193       404    399.83     61.87      6.46   1000000         0
1071.43/1071.81	c       233       355    393.27     54.95      7.16   1000000         0
1072.53/1072.96	c       212       371    394.99     57.72      6.84   1000000         0
1073.73/1074.12	c       239       471    406.64     56.47      7.20   1000000         0
1074.83/1075.28	c       262       430    409.95     58.95      6.95   1000000         0
1076.03/1076.43	c       223       395    403.11     58.56      6.88   1000000         0
1077.13/1077.59	c       262       428    400.72     54.77      7.32   1000000         0
1078.33/1078.75	c       223       406    403.09     51.59      7.81   1000000         0
1079.52/1079.90	c       223       377    398.69     58.05      6.87   1000000         0
1080.62/1081.06	c       215       444    401.80     58.07      6.92   1000000         0
1081.82/1082.21	c       225       361    404.14     59.64      6.78   1000000         0
1082.92/1083.37	c       216       463    396.88     59.96      6.62   1000000         0
1084.12/1084.52	c       230       405    410.94     60.91      6.75   1000000         0
1085.22/1085.68	c       195       340    405.34     64.17      6.32   1000000         0
1086.43/1086.84	c       229       378    410.51     56.79      7.23   1000000         0
1087.53/1087.99	c       227       403    396.06     59.98      6.60   1000000         0
1088.73/1089.15	c       238       371    404.58     62.99      6.42   1000000         0
1089.92/1090.30	c       201       393    394.22     63.00      6.26   1000000         0
1091.02/1091.45	c       237       428    395.35     51.60      7.66   1000000         0
1092.22/1092.61	c       247       470    405.61     52.53      7.72   1000000         0
1093.32/1093.76	c       237       342    398.99     55.44      7.20   1000000         0
1094.52/1094.92	c       227       317    410.05     63.16      6.49   1000000         0
1095.62/1096.08	c       214       345    399.63     61.00      6.55   1000000         0
1096.82/1097.24	c       219       374    405.37     61.30      6.61   1000000         0
1097.92/1098.39	c       243       474    395.29     53.42      7.40   1000000         0
1099.12/1099.55	c       218       442    399.07     55.68      7.17   1000000         0
1100.32/1100.71	c       223       405    407.86     61.43      6.64   1000000         0
1101.42/1101.87	c       228       413    396.60     55.67      7.12   1000000         0
1102.62/1103.03	c       258       435    401.56     52.69      7.62   1000000         0
1103.72/1104.18	c       226       393    391.82     61.11      6.41   1000000         0
1104.92/1105.34	c       243       405    396.80     53.13      7.47   1000000         0
1106.11/1106.50	c       233       308    394.78     55.10      7.16   1000000         0
1107.21/1107.65	c       229       421    391.02     55.53      7.04   1000000         0
1108.42/1108.81	c       222       369    415.14     64.65      6.42   1000000         0
1109.52/1109.97	c       231       515    404.09     60.62      6.67   1000000         0
1110.73/1111.13	c       218       510    414.25     63.11      6.56   1000000         0
1111.83/1112.29	c       226       367    400.96     54.31      7.38   1000000         0
1113.02/1113.44	c       187       391    387.93     57.11      6.79   1000000         0
1114.22/1114.60	c       216       471    410.77     50.00      8.21   1000000         0
1115.32/1115.75	c       226       457    408.37     57.95      7.05   1000000         0
1116.52/1116.91	c       194       306    394.23     58.88      6.70   1000000         0
1117.62/1118.07	c       267       431    407.26     53.00      7.68   1000000         0
1118.82/1119.23	c       215       415    395.29     57.34      6.89   1000000         0
1119.92/1120.38	c       239       335    398.94     54.88      7.27   1000000         0
1121.12/1121.54	c       229       429    399.28     58.46      6.83   1000000         0
1122.22/1122.70	c       245       369    390.14     52.15      7.48   1000000         0
1123.42/1123.85	c       255       400    409.40     51.33      7.98   1000000         0
1124.62/1125.01	c       219       404    396.60     55.68      7.12   1000000         0
1125.71/1126.17	c       236       285    392.03     55.04      7.12   1000000         0
1126.91/1127.33	c       220       391    399.73     56.77      7.04   1000000         0
1128.01/1128.49	c       241       371    408.08     56.41      7.23   1000000         0
1129.21/1129.64	c       243       323    406.29     54.04      7.52   1000000         0
1130.31/1130.79	c       191       399    403.99     55.13      7.33   1000000         0
1131.52/1131.95	c       241       374    389.64     51.98      7.50   1000000         0
1132.72/1133.11	c       237       377    398.09     57.80      6.89   1000000         0
1133.82/1134.26	c       231       465    401.05     57.38      6.99   1000000         0
1135.01/1135.42	c       244       352    405.75     58.95      6.88   1000000         0
1136.11/1136.58	c       211       485    403.20     56.06      7.19   1000000         0
1137.31/1137.73	c       243       375    406.03     59.09      6.87   1000000         0
1138.41/1138.89	c       235       441    402.13     59.25      6.79   1000000         0
1139.61/1140.05	c       209       373    403.44     58.81      6.86   1000000         0
1140.81/1141.21	c       237       403    396.89     56.82      6.98   1000000         0
1141.91/1142.36	c       227       356    411.27     55.15      7.46   1000000         0
1143.11/1143.52	c       248       329    411.19     55.78      7.37   1000000         0
1144.21/1144.67	c       239       422    402.90     54.98      7.33   1000000         0
1145.41/1145.83	c       235       424    400.28     56.51      7.08   1000000         0
1146.51/1146.99	c       230       357    413.18     59.47      6.95   1000000         0
1147.71/1148.14	c       233       491    404.97     57.45      7.05   1000000         0
1148.91/1149.30	c       233       329    400.53     54.24      7.38   1000000         0
1150.00/1150.45	c       234       411    404.72     59.71      6.78   1000000         0
1151.20/1151.61	c       249       354    411.74     61.63      6.68   1000000         0
1152.30/1152.77	c       232       411    402.35     57.66      6.98   1000000         0
1153.51/1153.92	c       250       312    401.39     59.15      6.79   1000000         0
1154.61/1155.08	c       231       348    401.22     58.38      6.87   1000000         0
1155.81/1156.23	c       197       386    403.63     56.95      7.09   1000000         0
1156.91/1157.39	c       252       472    403.86     55.40      7.29   1000000         0
1158.10/1158.55	c       214       393    397.80     55.79      7.13   1000000         0
1159.30/1159.71	c       223       263    402.98     54.04      7.46   1000000         0
1160.40/1160.86	c       218       398    401.72     52.67      7.63   1000000         0
1161.60/1162.02	c       240       437    401.97     50.55      7.95   1000000         0
1162.70/1163.17	c       227       389    394.28     61.25      6.44   1000000         0
1163.90/1164.33	c       252       406    412.16     59.43      6.93   1000000         0
1165.00/1165.49	c       253       403    416.16     56.96      7.31   1000000         0
1166.20/1166.64	c       233       377    408.72     61.48      6.65   1000000         0
1167.40/1167.80	c       221       474    399.05     59.16      6.74   1000000         0
1168.50/1168.96	c       201       402    403.50     59.58      6.77   1000000         0
1169.70/1170.11	c       186       414    396.84     63.20      6.28   1000000         0
1170.80/1171.27	c       235       369    413.20     60.16      6.87   1000000         0
1172.00/1172.42	c       209       465    396.52     54.88      7.23   1000000         0
1173.10/1173.58	c       248       325    406.45     60.05      6.77   1000000         0
1174.30/1174.73	c       243       317    409.16     60.23      6.79   1000000         0
1175.39/1175.89	c       242       402    406.58     63.06      6.45   1000000         0
1176.60/1177.05	c       220       408    402.56     60.05      6.70   1000000         0
1177.80/1178.20	c       234       273    399.97     53.67      7.45   1000000         0
1178.90/1179.36	c       218       360    394.00     58.93      6.69   1000000         0
1180.09/1180.52	c       200       440    395.87     59.01      6.71   1000000         0
1181.19/1181.67	c       214       425    397.20     57.18      6.95   1000000         0
1182.39/1182.82	c       234       336    404.58     55.32      7.31   1000000         0
1183.49/1183.98	c       245       513    400.09     56.46      7.09   1000000         0
1184.69/1185.13	c       219       347    400.03     59.19      6.76   1000000         0
1185.79/1186.29	c       212       397    398.21     52.86      7.53   1000000         0
1186.99/1187.44	c       230       394    396.72     59.27      6.69   1000000         0
1188.19/1188.60	c       230       388    400.44     62.27      6.43   1000000         0
1189.29/1189.76	c       228       343    394.75     50.27      7.85   1000000         0
1190.49/1190.91	c       221       373    399.90     54.59      7.33   1000000         0
1191.59/1192.07	c       232       344    406.37     56.68      7.17   1000000         0
1192.79/1193.22	c       237       457    408.52     52.47      7.79   1000000         0
1193.89/1194.38	c       236       406    405.47     63.98      6.34   1000000         0
1195.09/1195.53	c       249       439    395.92     55.68      7.11   1000000         0
1196.18/1196.69	c       216       342    397.83     57.62      6.90   1000000         0
1197.38/1197.85	c       194       350    401.41     54.69      7.34   1000000         0
1198.59/1199.00	c       224       334    395.27     56.01      7.06   1000000         0
1199.69/1200.16	c       193       438    406.81     55.72      7.30   1000000         0
1200.89/1201.31	c       222       524    406.47     53.58      7.59   1000000         0
1201.99/1202.47	c       192       379    397.42     59.08      6.73   1000000         0
1203.18/1203.62	c       225       375    401.08     56.85      7.06   1000000         0
1204.28/1204.77	c       218       330    396.42     52.50      7.55   1000000         0
1205.48/1205.93	c       223       503    401.74     56.46      7.11   1000000         0
1206.58/1207.09	c       216       317    397.92     55.53      7.17   1000000         0
1207.78/1208.25	c       244       455    404.31     56.61      7.14   1000000         0
1208.98/1209.40	c       195       447    394.39     53.88      7.32   1000000         0
1210.08/1210.57	c       227       431    405.49     64.61      6.28   1000000         0
1211.28/1211.72	c       212       440    391.67     61.41      6.38   1000000         0
1212.38/1212.88	c       226       532    404.24     60.91      6.64   1000000         0
1213.58/1214.03	c       211       386    396.50     56.90      6.97   1000000         0
1214.68/1215.19	c       250       390    392.76     57.03      6.89   1000000         0
1215.88/1216.34	c       198       459    407.34     61.15      6.66   1000000         0
1217.08/1217.50	c       252       417    400.71     55.26      7.25   1000000         0
1218.18/1218.65	c       227       444    399.72     59.58      6.71   1000000         0
1219.38/1219.80	c       206       416    389.25     63.04      6.18   1000000         0
1220.48/1220.96	c       225       276    391.35     49.87      7.85   1000000         0
1221.68/1222.12	c       249       479    400.47     55.90      7.16   1000000         0
1222.78/1223.28	c       225       312    397.30     58.06      6.84   1000000         0
1223.98/1224.43	c       199       436    394.81     57.36      6.88   1000000         0
1225.08/1225.59	c       227       333    408.98     62.59      6.53   1000000         0
1226.27/1226.74	c       206       423    398.84     60.73      6.57   1000000         0
1227.47/1227.90	c       204       590    396.16     56.19      7.05   1000000         0
1228.57/1229.06	c       224       444    393.21     63.18      6.22   1000000         0
1229.77/1230.22	c       242       436    401.82     56.76      7.08   1000000         0
1230.87/1231.37	c       237       410    398.42     53.62      7.43   1000000         0
1232.07/1232.53	c       234       379    402.45     56.02      7.18   1000000         0
1233.17/1233.68	c       189       440    400.30     57.66      6.94   1000000         0
1234.37/1234.84	c       228       407    396.79     56.76      6.99   1000000         0
1235.58/1236.00	c       238       485    397.58     53.77      7.39   1000000         0
1236.68/1237.15	c       262       425    414.75     58.57      7.08   1000000         0
1237.88/1238.31	c       228       358    394.89     57.72      6.84   1000000         0
1238.98/1239.47	c       225       399    400.00     51.96      7.70   1000000         0
1240.18/1240.62	c       218       380    397.02     57.06      6.96   1000000         0
1241.28/1241.78	c       234       355    395.58     57.89      6.83   1000000         0
1242.48/1242.94	c       233       478    410.47     54.95      7.47   1000000         0
1243.58/1244.09	c       238       351    395.41     55.81      7.09   1000000         0
1244.78/1245.25	c       219       407    387.76     56.00      6.92   1000000         0
1245.98/1246.41	c       233       487    399.49     61.21      6.53   1000000         0
1247.08/1247.56	c       204       337    406.58     61.30      6.63   1000000         0
1248.28/1248.72	c       240       453    393.74     54.37      7.24   1000000         0
1249.38/1249.87	c       253       340    402.98     54.85      7.35   1000000         0
1250.58/1251.03	c       212       484    399.24     54.85      7.28   1000000         0
1251.67/1252.19	c       225       368    407.83     58.64      6.96   1000000         0
1252.87/1253.35	c       229       422    403.98     57.13      7.07   1000000         0
1254.07/1254.50	c       240       414    395.70     58.53      6.76   1000000         0
1255.17/1255.66	c       209       346    395.63     55.41      7.14   1000000         0
1256.37/1256.81	c       234       333    389.62     54.53      7.15   1000000         0
1257.47/1257.97	c       229       365    401.77     56.35      7.13   1000000         0
1258.67/1259.12	c       229       384    393.49     54.92      7.17   1000000         0
1259.77/1260.28	c       238       371    406.55     61.86      6.57   1000000         0
1260.97/1261.44	c       231       393    397.36     54.95      7.23   1000000         0
1262.07/1262.59	c       202       385    393.12     52.47      7.49   1000000         0
1263.27/1263.75	c       241       326    399.31     59.65      6.69   1000000         0
1264.47/1264.91	c       203       477    390.32     57.42      6.80   1000000         0
1265.57/1266.07	c       233       376    406.67     61.79      6.58   1000000         0
1266.77/1267.23	c       234       383    401.46     56.29      7.13   1000000         0
1267.87/1268.38	c       239       335    400.19     55.26      7.24   1000000         0
1269.08/1269.54	c       238       497    407.24     50.75      8.02   1000000         0
1270.27/1270.70	c       241       404    410.87     48.62      8.45   1000000         0
1271.37/1271.85	c       204       457    406.04     59.40      6.84   1000000         0
1272.57/1273.01	c       230       413    401.68     63.60      6.32   1000000         0
1273.67/1274.16	c       237       486    411.68     55.06      7.48   1000000         0
1274.87/1275.32	c       207       322    400.15     58.78      6.81   1000000         0
1275.97/1276.48	c       227       409    395.17     61.14      6.46   1000000         0
1277.16/1277.64	c       234       407    401.40     53.98      7.44   1000000         0
1278.26/1278.79	c       231       417    404.94     57.76      7.01   1000000         0
1279.46/1279.95	c       221       356    400.94     56.66      7.08   1000000         0
1280.66/1281.11	c       246       444    402.62     58.67      6.86   1000000         0
1281.76/1282.26	c       231       301    407.69     58.90      6.92   1000000         0
1282.96/1283.42	c       186       331    399.25     52.88      7.55   1000000         0
1284.06/1284.58	c       232       346    410.95     61.99      6.63   1000000         0
1285.26/1285.73	c       209       417    414.25     58.90      7.03   1000000         0
1286.45/1286.96	c       248       375    402.11     50.38      7.98   1000000         0
1287.66/1288.12	c       226       470    403.74     59.65      6.77   1000000         0
1288.76/1289.28	c       239       388    402.13     55.74      7.21   1000000         0
1289.96/1290.44	c       221       445    404.26     56.98      7.10   1000000         0
1291.06/1291.59	c       222       395    400.16     54.31      7.37   1000000         0
1292.25/1292.75	c       224       400    399.46     60.23      6.63   1000000         0
1293.45/1293.91	c       234       460    400.38     55.52      7.21   1000000         0
1294.55/1295.06	c       228       370    397.04     55.05      7.21   1000000         0
1295.75/1296.22	c       241       428    405.82     55.01      7.38   1000000         0
1296.84/1297.37	c       238       354    404.39     58.49      6.91   1000000         0
1298.04/1298.53	c       218       487    396.93     59.73      6.65   1000000         0
1299.14/1299.68	c       217       446    411.12     57.01      7.21   1000000         0
1300.34/1300.83	c       232       368    410.51     57.00      7.20   1000000         0
1301.44/1301.99	c       230       427    395.68     60.31      6.56   1000000         0
1302.64/1303.15	c       246       445    401.95     54.69      7.35   1000000         0
1303.84/1304.30	c       209       330    408.73     61.31      6.67   1000000         0
1304.94/1305.46	c       243       379    392.15     52.17      7.52   1000000         0
1306.14/1306.61	c       247       442    409.36     55.75      7.34   1000000         0
1307.24/1307.77	c       229       470    410.56     59.97      6.85   1000000         0
1308.44/1308.93	c       221       472    408.72     57.39      7.12   1000000         0
1309.54/1310.08	c       211       241    403.23     52.05      7.75   1000000         0
1310.75/1311.24	c       237       422    403.03     54.51      7.39   1000000         0
1311.85/1312.39	c       220       423    399.02     55.04      7.25   1000000         0
1313.05/1313.55	c       215       417    388.86     53.84      7.22   1000000         0
1314.24/1314.71	c       204       445    402.61     59.55      6.76   1000000         0
1315.34/1315.86	c       234       374    406.55     53.19      7.64   1000000         0
1316.54/1317.02	c       244       407    407.79     58.24      7.00   1000000         0
1317.64/1318.18	c       228       318    396.57     56.51      7.02   1000000         0
1318.84/1319.34	c       215       454    394.59     58.40      6.76   1000000         0
1319.94/1320.49	c       245       385    408.72     52.38      7.80   1000000         0
1321.14/1321.65	c       214       380    391.56     57.25      6.84   1000000         0
1322.33/1322.81	c       224       411    408.81     60.81      6.72   1000000         0
1323.43/1323.96	c       222       471    391.67     55.11      7.11   1000000         0
1324.63/1325.12	c       228       405    402.06     52.33      7.68   1000000         0
1325.73/1326.28	c       237       372    406.61     56.60      7.18   1000000         0
1326.93/1327.44	c       252       365    400.92     55.97      7.16   1000000         0
1328.13/1328.62	c       249       402    410.83     58.27      7.05   1000000         0
1329.22/1329.79	c       220       368    391.01     56.25      6.95   1000000         0
1330.42/1330.94	c       253       422    399.61     52.79      7.57   1000000         0
1331.63/1332.11	c       201       335    398.44     64.91      6.14   1000000         0
1332.73/1333.25	c       229       403    403.05     58.89      6.84   1000000         0
1333.93/1334.41	c       234       413    396.01     54.33      7.29   1000000         0
1335.03/1335.57	c       251       414    420.82     58.73      7.17   1000000         0
1336.22/1336.72	c       212       322    396.78     58.93      6.73   1000000         0
1337.32/1337.88	c       237       532    404.30     54.14      7.47   1000000         0
1338.52/1339.04	c       216       367    412.61     53.75      7.68   1000000         0
1339.62/1340.19	c       197       435    408.06     57.93      7.04   1000000         0
1340.82/1341.35	c       235       397    409.32     58.19      7.03   1000000         0
1342.02/1342.51	c       259       344    409.85     53.46      7.67   1000000         0
1343.12/1343.67	c       244       435    395.61     53.55      7.39   1000000         0
1344.32/1344.83	c       250       379    410.49     61.25      6.70   1000000         0
1345.42/1345.98	c       237       367    406.25     55.06      7.38   1000000         0
1346.62/1347.15	c       248       352    405.20     59.66      6.79   1000000         0
1347.82/1348.30	c       251       414    413.06     53.85      7.67   1000000         0
1348.92/1349.46	c       233       397    397.92     57.34      6.94   1000000         0
1350.11/1350.61	c       222       371    402.31     63.69      6.32   1000000         0
1351.21/1351.77	c       218       342    395.01     52.39      7.54   1000000         0
1352.42/1352.93	c       230       324    405.01     61.16      6.62   1000000         0
1353.51/1354.08	c       256       394    407.86     52.02      7.84   1000000         0
1354.72/1355.24	c       248       358    405.64     55.25      7.34   1000000         0
1355.82/1356.39	c       212       435    404.49     62.12      6.51   1000000         0
1357.02/1357.55	c       253       404    403.80     57.19      7.06   1000000         0
1358.21/1358.71	c       226       351    390.21     53.00      7.36   1000000         0
1359.31/1359.86	c       220       396    407.84     52.09      7.83   1000000         0
1360.51/1361.02	c       222       541    407.55     60.42      6.75   1000000         0
1361.61/1362.17	c       221       392    397.67     57.36      6.93   1000000         0
1362.81/1363.32	c       238       372    408.32     59.11      6.91   1000000         0
1363.91/1364.48	c       238       316    398.62     56.01      7.12   1000000         0
1365.11/1365.64	c       215       306    397.00     59.95      6.62   1000000         0
1366.31/1366.80	c       230       365    408.77     59.30      6.89   1000000         0
1367.41/1367.95	c       219       385    398.68     56.00      7.12   1000000         0
1368.61/1369.11	c       231       411    404.50     57.31      7.06   1000000         0
1369.71/1370.27	c       231       400    405.71     61.63      6.58   1000000         0
1370.91/1371.43	c       212       400    409.38     56.31      7.27   1000000         0
1372.01/1372.58	c       229       373    397.67     56.02      7.10   1000000         0
1373.20/1373.78	c       209       394    396.68     55.25      7.18   1000000         0
1374.40/1374.95	c       232       418    400.55     52.08      7.69   1000000         0
1375.60/1376.10	c       226       391    402.40     56.69      7.10   1000000         0
1376.70/1377.26	c       219       335    389.03     56.38      6.90   1000000         0
1377.91/1378.42	c       230       442    407.34     61.73      6.60   1000000         0
1379.00/1379.57	c       193       406    390.09     60.17      6.48   1000000         0
1380.20/1380.73	c       205       356    395.37     57.68      6.85   1000000         0
1381.30/1381.89	c       222       432    397.37     56.39      7.05   1000000         0
1382.50/1383.04	c       246       392    392.34     51.41      7.63   1000000         0
1383.69/1384.20	c       238       337    403.45     59.98      6.73   1000000         0
1384.79/1385.36	c       254       395    399.94     55.96      7.15   1000000         0
1385.99/1386.51	c       234       343    396.61     54.44      7.29   1000000         0
1387.09/1387.67	c       219       380    406.51     56.63      7.18   1000000         0
1388.29/1388.82	c       209       436    391.18     58.01      6.74   1000000         0
1389.39/1389.98	c       220       347    401.62     52.74      7.62   1000000         0
1390.59/1391.13	c       240       331    391.13     53.62      7.29   1000000         0
1391.69/1392.29	c       206       385    394.16     56.98      6.92   1000000         0
1392.89/1393.45	c       235       378    398.82     54.02      7.38   1000000         0
1394.09/1394.61	c       240       344    408.56     57.52      7.10   1000000         0
1395.19/1395.76	c       238       455    402.95     52.95      7.61   1000000         0
1396.39/1396.92	c       223       432    412.07     61.64      6.69   1000000         0
1397.49/1398.07	c       221       380    403.81     58.81      6.87   1000000         0
1398.70/1399.22	c       241       373    396.85     54.16      7.33   1000000         0
1399.80/1400.38	c       223       333    399.33     58.21      6.86   1000000         0
1401.00/1401.53	c       211       439    399.86     55.97      7.14   1000000         0
1402.10/1402.68	c       212       491    384.95     61.21      6.29   1000000         0
1403.29/1403.84	c       228       425    412.45     59.09      6.98   1000000         0
1404.49/1405.00	c       252       372    399.67     54.52      7.33   1000000         0
1405.59/1406.16	c       233       368    405.51     49.63      8.17   1000000         0
1406.80/1407.31	c       217       426    393.50     53.40      7.37   1000000         0
1407.90/1408.47	c       239       418    406.08     54.27      7.48   1000000         0
1409.09/1409.63	c       216       329    407.43     55.91      7.29   1000000         0
1410.19/1410.78	c       183       416    404.97     57.66      7.02   1000000         0
1411.39/1411.94	c       241       368    401.45     61.84      6.49   1000000         0
1412.59/1413.10	c       212       461    401.43     54.68      7.34   1000000         0
1413.69/1414.26	c       217       371    398.74     60.19      6.62   1000000         0
1414.89/1415.41	c       225       454    397.80     55.93      7.11   1000000         0
1415.99/1416.57	c       238       417    408.59     55.14      7.41   1000000         0
1417.19/1417.73	c       253       298    406.99     53.87      7.56   1000000         0
1418.39/1418.94	c       240       390    409.69     54.51      7.52   1000000         0
1419.59/1420.10	c       251       461    403.14     48.60      8.30   1000000         0
1420.69/1421.26	c       223       446    397.49     53.36      7.45   1000000         0
1421.89/1422.42	c       242       432    406.50     64.41      6.31   1000000         0
1422.99/1423.58	c       222       367    401.13     56.03      7.16   1000000         0
1424.18/1424.73	c       236       387    405.87     57.93      7.01   1000000         0
1425.28/1425.89	c       250       429    399.62     53.15      7.52   1000000         0
1426.48/1427.05	c       238       397    398.58     56.95      7.00   1000000         0
1427.68/1428.21	c       220       362    399.71     58.88      6.79   1000000         0
1428.78/1429.36	c       229       485    404.80     57.72      7.01   1000000         0
1429.98/1430.52	c       222       419    406.19     50.87      7.99   1000000         0
1431.08/1431.68	c       245       455    405.56     60.30      6.73   1000000         0
1432.28/1432.83	c       222       328    406.65     56.12      7.25   1000000         0
1433.38/1433.99	c       191       297    400.71     58.89      6.80   1000000         0
1434.57/1435.15	c       199       450    399.56     51.63      7.74   1000000         0
1435.77/1436.31	c       224       370    407.68     60.35      6.75   1000000         0
1436.87/1437.47	c       219       436    401.87     54.33      7.40   1000000         0
1438.08/1438.62	c       200       394    404.41     71.53      5.65   1000000         0
1439.17/1439.78	c       239       349    407.23     60.06      6.78   1000000         0
1440.37/1440.93	c       225       412    396.56     55.13      7.19   1000000         0
1441.47/1442.09	c       234       344    411.25     60.00      6.85   1000000         0
1442.68/1443.25	c       233       426    389.48     52.24      7.46   1000000         0
1443.78/1444.40	c       215       330    404.87     55.24      7.33   1000000         0
1444.98/1445.56	c       254       354    401.85     54.76      7.34   1000000         0
1446.17/1446.72	c       223       426    405.96     57.08      7.11   1000000         0
1447.27/1447.88	c       243       412    402.79     58.42      6.90   1000000         0
1448.47/1449.04	c       242       318    403.78     58.39      6.92   1000000         0
1449.57/1450.19	c       234       362    399.95     49.62      8.06   1000000         0
1450.77/1451.35	c       225       387    398.00     60.99      6.53   1000000         0
1451.97/1452.51	c       242       333    418.78     56.31      7.44   1000000         0
1453.07/1453.67	c       207       361    401.02     56.65      7.08   1000000         0
1454.27/1454.83	c       252       353    405.29     57.95      6.99   1000000         0
1455.37/1455.98	c       220       517    400.54     60.38      6.63   1000000         0
1456.57/1457.14	c       240       420    400.01     59.49      6.72   1000000         0
1457.77/1458.30	c       204       377    402.21     60.01      6.70   1000000         0
1458.87/1459.46	c       220       377    404.30     55.65      7.27   1000000         0
1460.07/1460.61	c       228       434    402.22     57.97      6.94   1000000         0
1461.17/1461.77	c       240       288    397.76     55.03      7.23   1000000         0
1462.37/1462.93	c       219       438    394.34     58.88      6.70   1000000         0
1463.57/1464.15	c       232       361    392.34     51.15      7.67   1000000         0
1464.67/1465.30	c       214       387    385.73     54.81      7.04   1000000         0
1465.87/1466.46	c       247       392    407.27     61.65      6.61   1000000         0
1467.06/1467.61	c       243       444    405.21     56.34      7.19   1000000         0
1468.16/1468.77	c       259       337    403.77     53.80      7.50   1000000         0
1469.36/1469.93	c       237       369    398.54     54.07      7.37   1000000         0
1470.46/1471.08	c       206       449    403.26     56.64      7.12   1000000         0
1471.66/1472.24	c       242       280    394.12     53.09      7.42   1000000         0
1472.76/1473.39	c       232       333    394.49     55.93      7.05   1000000         0
1473.96/1474.55	c       226       307    397.76     51.09      7.79   1000000         0
1475.15/1475.71	c       248       510    401.90     56.39      7.13   1000000         0
1476.25/1476.87	c       243       404    402.34     51.46      7.82   1000000         0
1477.45/1478.02	c       225       390    402.89     55.73      7.23   1000000         0
1478.55/1479.18	c       211       474    408.91     64.35      6.35   1000000         0
1479.75/1480.34	c       238       379    398.89     57.49      6.94   1000000         0
1480.85/1481.49	c       227       392    406.78     60.11      6.77   1000000         0
1482.05/1482.65	c       239       437    418.84     56.42      7.42   1000000         0
1483.25/1483.81	c       208       466    405.80     58.88      6.89   1000000         0
1484.35/1484.96	c       240       436    402.43     55.79      7.21   1000000         0
1485.56/1486.12	c       243       423    413.91     60.16      6.88   1000000         0
1486.66/1487.28	c       241       400    405.19     55.45      7.31   1000000         0
1487.86/1488.44	c       244       321    404.00     58.42      6.92   1000000         0
1488.96/1489.59	c       228       423    392.74     57.13      6.87   1000000         0
1490.15/1490.75	c       234       347    406.48     55.30      7.35   1000000         0
1491.35/1491.90	c       231       492    399.23     58.35      6.84   1000000         0
1492.45/1493.06	c       239       469    401.75     56.31      7.13   1000000         0
1493.65/1494.21	c       192       334    395.04     52.86      7.47   1000000         0
1494.75/1495.37	c       232       280    398.47     60.48      6.59   1000000         0
1495.95/1496.53	c       248       345    399.36     54.31      7.35   1000000         0
1497.05/1497.68	c       194       408    403.74     59.56      6.78   1000000         0
1498.25/1498.84	c       203       358    399.10     57.26      6.97   1000000         0
1499.35/1500.00	c       266       463    408.93     54.67      7.48   1000000         0
1500.54/1501.16	c       255       406    411.56     61.19      6.73   1000000         0
1501.74/1502.31	c       240       403    396.69     53.14      7.47   1000000         0
1502.84/1503.47	c       208       366    406.16     59.40      6.84   1000000         0
1504.04/1504.62	c       236       284    395.56     55.25      7.16   1000000         0
1505.14/1505.78	c       232       439    399.44     60.06      6.65   1000000         0
1506.34/1506.94	c       242       322    409.11     58.68      6.97   1000000         0
1507.55/1508.10	c       197       470    403.78     56.91      7.10   1000000         0
1508.74/1509.32	c       240       458    404.48     64.80      6.24   1000000         0
1509.84/1510.48	c       236       393    403.39     61.10      6.60   1000000         0
1511.03/1511.63	c       242       454    404.12     56.99      7.09   1000000         0
1512.13/1512.79	c       225       418    402.15     53.01      7.59   1000000         0
1513.33/1513.95	c       204       364    409.33     60.23      6.80   1000000         0
1514.53/1515.11	c       227       395    403.36     66.38      6.08   1000000         0
1515.63/1516.26	c       240       333    395.01     53.38      7.40   1000000         0
1516.83/1517.43	c       234       393    401.50     56.52      7.10   1000000         0
1517.93/1518.58	c       220       538    401.40     57.34      7.00   1000000         0
1519.13/1519.73	c       236       429    409.84     56.17      7.30   1000000         0
1520.23/1520.89	c       253       417    411.81     53.22      7.74   1000000         0
1521.43/1522.05	c       229       455    403.69     58.57      6.89   1000000         0
1522.64/1523.21	c       256       372    410.60     53.11      7.73   1000000         0
1523.74/1524.36	c       216       415    386.91     54.39      7.11   1000000         0
1524.94/1525.52	c       257       307    402.45     65.49      6.14   1000000         0
1526.04/1526.67	c       223       323    402.60     63.58      6.33   1000000         0
1527.24/1527.83	c       240       414    395.52     52.92      7.47   1000000         0
1528.34/1528.99	c       231       379    407.51     61.88      6.59   1000000         0
1529.55/1530.14	c       224       438    407.73     53.75      7.59   1000000         0
1530.64/1531.30	c       235       490    407.74     56.97      7.16   1000000         0
1531.84/1532.45	c       204       367    397.16     56.46      7.03   1000000         0
1533.04/1533.61	c       211       477    396.80     54.95      7.22   1000000         0
1534.14/1534.76	c       233       395    395.76     57.75      6.85   1000000         0
1535.33/1535.92	c       233       435    403.24     55.61      7.25   1000000         0
1536.43/1537.07	c       231       419    404.37     57.52      7.03   1000000         0
1537.63/1538.23	c       252       394    404.79     55.29      7.32   1000000         0
1538.73/1539.38	c       257       451    414.83     57.85      7.17   1000000         0
1539.93/1540.54	c       247       400    405.62     56.31      7.20   1000000         0
1541.13/1541.70	c       220       416    409.57     65.44      6.26   1000000         0
1542.23/1542.85	c       256       348    406.48     52.53      7.74   1000000         0
1543.43/1544.01	c       207       354    395.17     55.55      7.11   1000000         0
1544.53/1545.17	c       205       442    407.23     65.52      6.22   1000000         0
1545.73/1546.33	c       220       336    397.94     56.22      7.08   1000000         0
1546.83/1547.49	c       240       376    401.08     56.29      7.13   1000000         0
1548.03/1548.64	c       232       371    401.65     56.00      7.17   1000000         0
1549.23/1549.80	c       230       388    408.38     56.53      7.22   1000000         0
1550.33/1550.95	c       222       345    406.04     55.42      7.33   1000000         0
1551.54/1552.11	c       225       351    401.21     54.04      7.42   1000000         0
1552.63/1553.26	c       224       388    399.65     53.86      7.42   1000000         0
1553.83/1554.50	c       229       386    397.90     61.13      6.51   1000000         0
1555.02/1555.65	c       237       409    403.99     54.75      7.38   1000000         0
1556.22/1556.80	c       220       342    392.28     57.86      6.78   1000000         0
1557.32/1557.96	c       229       399    398.26     59.78      6.66   1000000         0
1558.52/1559.12	c       212       506    399.15     54.08      7.38   1000000         0
1559.62/1560.28	c       232       374    400.73     58.18      6.89   1000000         0
1560.82/1561.43	c       211       348    390.39     53.23      7.33   1000000         0
1561.92/1562.58	c       232       409    402.69     56.90      7.08   1000000         0
1563.12/1563.74	c       247       382    405.70     55.98      7.25   1000000         0
1564.32/1564.90	c       212       460    411.33     58.47      7.04   1000000         0
1565.42/1566.05	c       224       345    402.04     57.06      7.05   1000000         0
1566.62/1567.21	c       250       423    392.01     55.61      7.05   1000000         0
1567.72/1568.36	c       248       378    406.39     63.13      6.44   1000000         0
1568.92/1569.52	c       256       422    414.02     53.88      7.68   1000000         0
1570.02/1570.68	c       236       422    410.14     59.11      6.94   1000000         0
1571.22/1571.83	c       235       460    397.69     54.28      7.33   1000000         0
1572.32/1572.99	c       228       471    401.25     63.18      6.35   1000000         0
1573.52/1574.15	c       205       394    404.60     57.76      7.01   1000000         0
1574.62/1575.30	c       227       341    396.45     56.42      7.03   1000000         0
1575.82/1576.46	c       221       359    403.26     60.35      6.68   1000000         0
1577.01/1577.62	c       258       388    408.20     50.06      8.15   1000000         0
1578.11/1578.78	c       211       348    401.25     57.72      6.95   1000000         0
1579.31/1579.93	c       207       290    393.96     53.74      7.33   1000000         0
1580.41/1581.09	c       230       406    409.22     58.38      7.01   1000000         0
1581.61/1582.25	c       189       411    401.20     56.33      7.12   1000000         0
1582.81/1583.40	c       258       346    414.70     52.14      7.95   1000000         0
1583.91/1584.56	c       237       300    401.38     59.24      6.78   1000000         0
1585.11/1585.72	c       244       403    406.54     53.06      7.66   1000000         0
1586.21/1586.87	c       227       478    392.71     54.02      7.27   1000000         0
1587.41/1588.03	c       226       396    396.28     60.97      6.50   1000000         0
1588.51/1589.19	c       210       371    408.78     59.87      6.83   1000000         0
1589.71/1590.34	c       232       365    393.28     54.66      7.20   1000000         0
1590.81/1591.49	c       237       370    403.32     55.94      7.21   1000000         0
1592.01/1592.65	c       218       337    391.94     55.46      7.07   1000000         0
1593.21/1593.81	c       252       420    414.71     59.23      7.00   1000000         0
1594.31/1594.96	c       257       372    406.78     54.79      7.42   1000000         0
1595.51/1596.13	c       207       364    402.29     52.94      7.60   1000000         0
1596.61/1597.28	c       264       452    399.92     55.83      7.16   1000000         0
1597.81/1598.45	c       234       332    407.49     58.36      6.98   1000000         0
1599.00/1599.68	c       226       470    391.65     56.78      6.90   1000000         0
1600.20/1600.84	c       256       521    418.83     59.13      7.08   1000000         0
1601.30/1601.99	c       263       429    407.35     55.13      7.39   1000000         0
1602.50/1603.15	c       227       337    404.88     53.22      7.61   1000000         0
1603.70/1604.31	c       258       392    406.59     53.36      7.62   1000000         0
1604.80/1605.46	c       225       375    399.44     58.19      6.86   1000000         0
1606.00/1606.62	c       209       446    398.39     58.05      6.86   1000000         0
1607.09/1607.77	c       187       363    394.03     62.17      6.34   1000000         0
1608.29/1608.93	c       204       409    402.33     61.20      6.57   1000000         0
1609.39/1610.09	c       220       329    407.35     53.16      7.66   1000000         0
1610.59/1611.24	c       224       364    400.72     59.03      6.79   1000000         0
1611.79/1612.40	c       230       339    415.47     64.00      6.49   1000000         0
1612.89/1613.56	c       229       398    409.40     55.58      7.37   1000000         0
1614.09/1614.71	c       212       356    403.46     60.12      6.71   1000000         0
1615.19/1615.87	c       227       399    392.65     57.27      6.86   1000000         0
1616.40/1617.03	c       201       446    395.79     56.49      7.01   1000000         0
1617.49/1618.19	c       218       372    395.35     60.65      6.52   1000000         0
1618.69/1619.34	c       217       404    399.40     57.55      6.94   1000000         0
1619.89/1620.50	c       239       332    409.72     52.94      7.74   1000000         0
1620.99/1621.65	c       219       332    397.61     55.81      7.12   1000000         0
1622.18/1622.81	c       242       395    412.59     52.57      7.85   1000000         0
1623.28/1623.97	c       222       446    406.22     57.76      7.03   1000000         0
1624.48/1625.12	c       220       452    391.45     58.39      6.70   1000000         0
1625.58/1626.28	c       197       420    392.15     52.66      7.45   1000000         0
1626.78/1627.43	c       232       468    409.90     54.72      7.49   1000000         0
1627.88/1628.59	c       239       376    406.45     54.77      7.42   1000000         0
1629.08/1629.75	c       232       307    396.83     55.70      7.12   1000000         0
1630.28/1630.91	c       229       298    399.80     54.60      7.32   1000000         0
1631.38/1632.06	c       223       427    402.47     52.52      7.66   1000000         0
1632.58/1633.22	c       225       363    388.17     62.53      6.21   1000000         0
1633.68/1634.37	c       242       362    407.88     59.30      6.88   1000000         0
1634.88/1635.53	c       253       422    406.45     59.67      6.81   1000000         0
1635.98/1636.68	c       244       422    405.17     52.43      7.73   1000000         0
1637.18/1637.84	c       222       360    410.04     58.38      7.02   1000000         0
1638.39/1639.00	c       251       502    406.10     59.57      6.82   1000000         0
1639.49/1640.16	c       245       436    405.83     51.46      7.89   1000000         0
1640.69/1641.32	c       200       241    400.32     54.06      7.41   1000000         0
1641.79/1642.47	c       205       342    399.79     61.90      6.46   1000000         0
1642.97/1643.64	c       223       342    410.20     56.69      7.24   1000000         0
1644.07/1644.79	c       208       422    396.49     52.95      7.49   1000000         0
1645.27/1645.95	c       245       356    417.92     54.69      7.64   1000000         0
1646.47/1647.11	c       236       382    403.76     55.10      7.33   1000000         0
1647.57/1648.27	c       172       297    403.65     59.34      6.80   1000000         0
1648.77/1649.42	c       213       367    396.95     55.83      7.11   1000000         0
1649.87/1650.58	c       217       464    388.30     60.57      6.41   1000000         0
1651.07/1651.74	c       244       306    404.86     52.71      7.68   1000000         0
1652.17/1652.89	c       211       435    394.70     52.14      7.57   1000000         0
1653.37/1654.04	c       212       299    388.71     62.58      6.21   1000000         0
1654.57/1655.20	c       206       375    401.95     63.00      6.38   1000000         0
1655.67/1656.36	c       222       361    398.47     66.01      6.04   1000000         0
1656.87/1657.51	c       233       303    402.19     56.11      7.17   1000000         0
1657.96/1658.67	c       235       416    391.16     56.36      6.94   1000000         0
1659.16/1659.82	c       217       468    397.01     57.39      6.92   1000000         0
1660.26/1660.98	c       229       395    394.05     61.00      6.46   1000000         0
1661.47/1662.13	c       199       448    398.78     62.75      6.36   1000000         0
1662.57/1663.29	c       198       384    408.61     59.66      6.85   1000000         0
1663.77/1664.44	c       231       383    397.46     57.22      6.95   1000000         0
1664.96/1665.60	c       247       401    406.44     54.88      7.41   1000000         0
1666.06/1666.75	c       238       418    395.59     54.27      7.29   1000000         0
1667.26/1667.91	c       227       530    398.49     60.63      6.57   1000000         0
1668.36/1669.06	c       251       391    402.74     56.19      7.17   1000000         0
1669.56/1670.22	c       211       440    400.52     59.91      6.69   1000000         0
1670.66/1671.37	c       249       413    401.85     51.69      7.77   1000000         0
1671.86/1672.53	c       250       419    397.16     55.67      7.13   1000000         0
1672.96/1673.68	c       227       401    394.78     60.54      6.52   1000000         0
1674.16/1674.84	c       211       298    395.01     53.94      7.32   1000000         0
1675.26/1676.00	c       220       383    383.79     55.57      6.91   1000000         0
1676.46/1677.15	c       215       441    399.93     60.23      6.64   1000000         0
1677.66/1678.31	c       229       428    412.38     64.74      6.37   1000000         0
1678.76/1679.47	c       249       403    399.87     56.08      7.13   1000000         0
1679.96/1680.62	c       191       369    404.71     56.29      7.19   1000000         0
1681.06/1681.78	c       176       292    401.30     56.43      7.11   1000000         0
1682.26/1682.94	c       234       449    405.46     54.71      7.41   1000000         0
1683.46/1684.10	c       162       302    401.46     61.93      6.48   1000000         0
1684.56/1685.26	c       191       439    392.86     52.24      7.52   1000000         0
1685.76/1686.42	c       216       415    399.38     58.98      6.77   1000000         0
1686.86/1687.58	c       210       332    402.15     52.81      7.61   1000000         0
1688.05/1688.75	c       242       451    401.50     58.33      6.88   1000000         0
1689.25/1689.91	c       213       325    400.96     60.02      6.68   1000000         0
1690.35/1691.06	c       203       468    395.20     56.10      7.04   1000000         0
1691.54/1692.22	c       245       393    397.89     58.01      6.86   1000000         0
1692.65/1693.38	c       201       444    388.28     60.17      6.45   1000000         0
1693.84/1694.53	c       219       401    411.31     57.65      7.13   1000000         0
1694.94/1695.69	c       221       382    399.68     57.20      6.99   1000000         0
1696.14/1696.84	c       235       421    402.32     60.35      6.67   1000000         0
1697.34/1698.00	c       220       372    408.03     60.07      6.79   1000000         0
1698.44/1699.16	c       224       403    405.10     55.03      7.36   1000000         0
1699.64/1700.31	c       238       453    412.92     53.43      7.73   1000000         0
1700.74/1701.47	c       220       439    404.50     61.16      6.61   1000000         0
1701.94/1702.62	c       244       379    399.82     56.21      7.11   1000000         0
1703.04/1703.78	c       239       384    415.30     61.35      6.77   1000000         0
1704.24/1704.94	c       218       376    386.68     53.74      7.19   1000000         0
1705.45/1706.10	c       237       463    408.27     56.94      7.17   1000000         0
1706.55/1707.25	c       218       364    406.91     56.42      7.21   1000000         0
1707.75/1708.41	c       234       437    392.46     57.77      6.79   1000000         0
1708.85/1709.56	c       235       378    400.24     53.24      7.52   1000000         0
1710.04/1710.72	c       231       345    401.64     63.46      6.33   1000000         0
1711.14/1711.88	c       248       430    415.85     59.42      7.00   1000000         0
1712.34/1713.04	c       230       399    391.78     49.33      7.94   1000000         0
1713.44/1714.19	c       224       359    397.31     59.35      6.69   1000000         0
1714.64/1715.35	c       224       421    407.29     54.10      7.53   1000000         0
1715.85/1716.51	c       238       511    408.13     56.66      7.20   1000000         0
1716.94/1717.66	c       244       376    408.69     62.47      6.54   1000000         0
1718.14/1718.82	c       240       327    396.01     52.27      7.58   1000000         0
1719.24/1719.98	c       227       339    405.55     58.05      6.99   1000000         0
1720.44/1721.14	c       246       431    399.22     55.27      7.22   1000000         0
1721.54/1722.29	c       232       377    406.39     60.19      6.75   1000000         0
1722.74/1723.44	c       207       351    391.64     54.83      7.14   1000000         0
1723.94/1724.60	c       223       411    401.63     57.75      6.95   1000000         0
1725.04/1725.75	c       222       385    392.42     56.75      6.91   1000000         0
1726.24/1726.91	c       264       341    403.12     56.49      7.14   1000000         0
1727.34/1728.07	c       252       389    409.83     54.83      7.48   1000000         0
1728.55/1729.23	c       230       398    410.21     58.05      7.07   1000000         0
1729.65/1730.39	c       260       381    413.82     58.33      7.09   1000000         0
1730.85/1731.55	c       229       363    408.37     56.52      7.23   1000000         0
1732.04/1732.71	c       202       346    402.30     55.05      7.31   1000000         0
1733.13/1733.90	c       225       446    397.73     59.07      6.73   1000000         0
1734.33/1735.05	c       199       384    408.18     57.92      7.05   1000000         0
1735.53/1736.20	c       221       391    392.81     54.53      7.20   1000000         0
1736.63/1737.36	c       246       349    406.78     60.29      6.75   1000000         0
1737.83/1738.52	c       235       333    397.81     56.07      7.10   1000000         0
1738.93/1739.68	c       242       411    411.37     63.17      6.51   1000000         0
1740.13/1740.83	c       247       414    396.70     52.68      7.53   1000000         0
1741.33/1742.00	c       251       377    418.61     61.67      6.79   1000000         0
1742.43/1743.15	c       188       294    391.14     53.89      7.26   1000000         0
1743.62/1744.31	c       214       384    398.87     57.32      6.96   1000000         0
1744.72/1745.47	c       210       440    391.99     62.56      6.27   1000000         0
1745.92/1746.62	c       238       464    415.19     56.14      7.40   1000000         0
1747.02/1747.78	c       194       383    404.32     61.25      6.60   1000000         0
1748.22/1748.94	c       234       464    403.48     58.28      6.92   1000000         0
1749.32/1750.09	c       201       379    407.12     63.82      6.38   1000000         0
1750.53/1751.25	c       249       562    406.72     60.08      6.77   1000000         0
1751.73/1752.41	c       227       402    416.16     54.07      7.70   1000000         0
1752.83/1753.57	c       249       381    403.50     56.31      7.17   1000000         0
1754.02/1754.72	c       242       320    409.13     54.12      7.56   1000000         0
1755.12/1755.88	c       255       415    404.71     54.25      7.46   1000000         0
1756.32/1757.04	c       240       335    413.92     56.98      7.26   1000000         0
1757.42/1758.19	c       230       376    403.33     56.28      7.17   1000000         0
1758.62/1759.35	c       234       310    411.68     57.26      7.19   1000000         0
1759.82/1760.51	c       242       459    408.89     59.01      6.93   1000000         0
1760.92/1761.66	c       223       454    394.05     56.72      6.95   1000000         0
1762.12/1762.82	c       210       395    399.93     60.25      6.64   1000000         0
1763.22/1763.98	c       235       378    404.05     58.95      6.85   1000000         0
1764.42/1765.13	c       252       366    400.49     59.47      6.73   1000000         0
1765.52/1766.29	c       224       520    399.07     56.76      7.03   1000000         0
1766.71/1767.45	c       231       405    407.78     65.10      6.26   1000000         0
1767.91/1768.60	c       226       341    388.48     60.00      6.47   1000000         0
1769.01/1769.76	c       234       364    407.32     63.17      6.45   1000000         0
1770.21/1770.91	c       216       407    387.52     60.03      6.46   1000000         0
1771.31/1772.07	c       221       414    399.38     51.05      7.82   1000000         0
1772.52/1773.23	c       223       330    399.67     50.42      7.93   1000000         0
1773.62/1774.38	c       244       381    401.29     55.47      7.23   1000000         0
1774.82/1775.54	c       235       414    402.62     55.09      7.31   1000000         0
1775.92/1776.69	c       209       333    395.34     54.00      7.32   1000000         0
1777.11/1777.86	c       235       450    404.97     56.20      7.21   1000000         0
1778.30/1779.05	c       246       441    399.21     63.11      6.33   1000000         0
1779.50/1780.21	c       251       410    401.13     53.96      7.43   1000000         0
1780.60/1781.36	c       234       363    408.35     56.40      7.24   1000000         0
1781.80/1782.52	c       208       395    395.05     50.24      7.86   1000000         0
1782.90/1783.68	c       191       408    405.02     57.14      7.09   1000000         0
1784.10/1784.84	c       228       358    407.59     54.04      7.54   1000000         0
1785.20/1785.99	c       238       337    401.99     54.85      7.33   1000000         0
1786.40/1787.15	c       234       350    397.12     51.79      7.67   1000000         0
1787.60/1788.31	c       240       460    404.24     57.42      7.04   1000000         0
1788.70/1789.47	c       248       312    403.88     58.75      6.87   1000000         0
1789.90/1790.62	c       239       409    407.01     55.42      7.34   1000000         0
1791.00/1791.79	c       226       404    411.89     67.57      6.10   1000000         0
1792.20/1792.94	c       232       317    402.72     55.91      7.20   1000000         0
1793.30/1794.10	c       246       358    412.16     53.79      7.66   1000000         0
1794.50/1795.25	c       227       481    399.54     58.28      6.86   1000000         0
1795.70/1796.41	c       227       272    396.46     58.82      6.74   1000000         0
1796.80/1797.57	c       248       463    404.09     51.56      7.84   1000000         0
1798.00/1798.72	c       250       335    393.85     55.87      7.05   1000000         0
1799.10/1799.88	c       233       300    389.62     54.00      7.22   1000000         0
1800.01/1800.71	HOME/run: line 2: 21548 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-2685518-1278441575/watcher-2685518-1278441575 -o /tmp/evaluation-result-2685518-1278441575/solver-2685518-1278441575 -C 1800 -W 2000 -M 1800 run HOME/instance-2685518-1278441575.opb 

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


[startup+0 s]
/proc/loadavg: 0.97 1.04 1.00 3/106 21547
/proc/meminfo: memFree=1377172/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) R 21545 21547 20703 0 -1 4202496 343 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972515733 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0

[startup+0.107998 s]
/proc/loadavg: 0.97 1.04 1.00 3/106 21547
/proc/meminfo: memFree=1377172/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200997 s]
/proc/loadavg: 0.97 1.04 1.00 3/106 21547
/proc/meminfo: memFree=1377172/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300995 s]
/proc/loadavg: 0.97 1.04 1.00 3/106 21547
/proc/meminfo: memFree=1377172/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70099 s]
/proc/loadavg: 0.97 1.04 1.00 3/106 21547
/proc/meminfo: memFree=1377172/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50198 s]
/proc/loadavg: 0.97 1.04 1.00 2/108 21549
/proc/meminfo: memFree=1372816/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1.49
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 149 0 0 0 23 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526636 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10095 s]
/proc/loadavg: 0.97 1.04 1.00 2/108 21549
/proc/meminfo: memFree=1372568/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=3.09
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 309 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525707 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30191 s]
/proc/loadavg: 0.98 1.04 1.00 2/108 21549
/proc/meminfo: memFree=1372568/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=6.29
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 629 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7008 s]
/proc/loadavg: 0.98 1.04 1.00 2/108 21549
/proc/meminfo: memFree=1372320/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=12.69
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 1269 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5006 s]
/proc/loadavg: 0.98 1.03 1.00 2/108 21549
/proc/meminfo: memFree=1372444/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=25.48
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 2548 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1003 s]
/proc/loadavg: 0.99 1.03 1.00 2/108 21550
/proc/meminfo: memFree=1372444/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=51.07
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 5107 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/108 21551
/proc/meminfo: memFree=1372320/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=102.26
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 10226 0 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 1.00 2/108 21553
/proc/meminfo: memFree=1372072/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=162.24
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 16223 1 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.309 s]
/proc/loadavg: 0.99 1.01 1.00 2/108 21555
/proc/meminfo: memFree=1372196/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=222.22
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 22221 1 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/108 21557
/proc/meminfo: memFree=1372072/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=282.19
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 28218 1 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 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: 0.99 1.00 1.00 2/108 21557
/proc/meminfo: memFree=1371824/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=342.18
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 34216 2 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21559
/proc/meminfo: memFree=1371824/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=402.15
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 40213 2 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1061.93
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 106188 5 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21579
/proc/meminfo: memFree=1370584/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1121.92
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 112186 6 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21581
/proc/meminfo: memFree=1370460/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1181.89
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 118183 6 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21581
/proc/meminfo: memFree=1370212/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1241.88
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 124181 7 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525720 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21592
/proc/meminfo: memFree=1369964/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1301.84
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 130177 7 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21594
/proc/meminfo: memFree=1369964/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1361.81
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 136174 7 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 49152

[startup+1422.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21596
/proc/meminfo: memFree=1369840/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1421.79
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 142171 8 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525651 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21598
/proc/meminfo: memFree=1369840/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1481.75
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 148167 8 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526633 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 49152

[startup+1542.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21598
/proc/meminfo: memFree=1369592/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1541.74
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 154165 9 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526317 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21600
/proc/meminfo: memFree=1369592/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1601.7
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 160161 9 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21602
/proc/meminfo: memFree=1369468/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1661.67
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 166158 9 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134526498 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21604
/proc/meminfo: memFree=1369344/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1721.64
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 172154 10 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21606
/proc/meminfo: memFree=1369096/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1781.6
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 178150 10 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 1.00 1.00 2/108 21606
/proc/meminfo: memFree=1369096/2059040 swapFree=4192956/4192956
[pid=21547] ppid=21545 vsize=8700 CPUtime=0
/proc/21547/stat : 21547 (run) S 21545 21547 20703 0 -1 4202496 359 0 0 0 0 0 0 0 18 0 1 0 12364824 8908800 243 1992294400 4194304 4922060 140733632633536 18446744073709551615 236972514437 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/21547/statm: 2175 243 204 178 0 68 0
[pid=21548] ppid=21547 vsize=40452 CPUtime=1800.01
/proc/21548/stat : 21548 (PB-wave) R 21547 21547 20703 0 -1 4202496 1125 0 0 0 179991 10 0 0 25 0 1 0 12364825 41422848 1055 1992294400 134512640 135071400 4293485776 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/21548/statm: 10113 1055 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.01
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.72
CPU time (s): 1800.03
CPU user time (s): 1799.92
CPU system time (s): 0.110983
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 9227

runsolver used 3.71143 second user time and 9.50056 second system time

The end

Launcher Data 

Begin job on node044 at 2010-07-06 20:39:35
IDJOB=2685518
IDBENCH=76131
IDSOLVER=1171
FILE ID=node044/2685518-1278441575
PBS_JOBID= 11233475
Free space on /tmp= 62500 MiB

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

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

MD5SUM BENCH= 82d8bb96a137e9c607f609fc1a5d8643
RANDOM SEED=558993855

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1377692 kB
Buffers:        111248 kB
Cached:         430800 kB
SwapCached:          0 kB
Active:         196860 kB
Inactive:       405660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1377692 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1796 kB
Writeback:           0 kB
AnonPages:       60384 kB
Mapped:          14424 kB
Slab:            56868 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180532 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node044 at 2010-07-06 21:09:36