Trace number 2669889

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
MD5SUMa1104c8fec3fd69abc0a798c3b6bfa5b
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark1.37079
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables2152
Total number of constraints5613
Number of constraints which are clauses5137
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint1
Maximum length of a constraint11
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 35
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 129
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c PB-wave - v2
0.00/0.02	c command line = ./PB-wave
0.00/0.02	c seed = 102267999
0.00/0.02	c cutoff = 1000000
0.00/0.02	c tries = 1000000
0.00/0.02	c heuristic = c best, noise 50 / 100
0.00/0.02	#var 2152 #con 5613
0.00/0.02	mode is SAT
0.00/0.02	c tail starts after flip = 6456
0.00/0.02	c numatom = 2152, numclause = 5613, numliterals = 16907
0.00/0.02	c wff read in
0.00/0.02	c 
0.00/0.02	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.02	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.02	c       this      this      this      this      this      this   success   success       until         std
0.00/0.02	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.02	c
1.49/1.52	c        53       139    134.57     23.82      5.65   1000000         0
2.99/3.01	c        56       127    135.03     23.08      5.85   1000000         0
4.49/4.51	c        58       116    134.88     23.72      5.69   1000000         0
5.99/6.01	c        52       115    135.49     25.20      5.38   1000000         0
7.49/7.51	c        53       143    134.62     23.27      5.79   1000000         0
8.99/9.01	c        47       102    132.28     24.47      5.40   1000000         0
10.49/10.51	c        59       149    136.97     22.95      5.97   1000000         0
12.00/12.00	c        62       120    136.99     23.52      5.83   1000000         0
13.49/13.51	c        49       110    132.77     24.11      5.51   1000000         0
14.99/15.00	c        65       180    133.67     22.59      5.92   1000000         0
16.39/16.49	c        59       140    139.37     24.57      5.67   1000000         0
17.89/17.99	c        60       111    131.92     23.44      5.63   1000000         0
19.39/19.49	c        48       132    131.99     24.77      5.33   1000000         0
20.89/20.98	c        62       118    133.95     23.63      5.67   1000000         0
22.38/22.48	c        57       128    136.94     22.69      6.04   1000000         0
23.88/23.98	c        50       169    132.03     23.45      5.63   1000000         0
25.38/25.47	c        57       127    134.84     23.10      5.84   1000000         0
26.88/26.97	c        59       184    133.81     23.73      5.64   1000000         0
28.38/28.46	c        48       107    136.65     23.83      5.73   1000000         0
29.88/29.95	c        64       123    135.73     24.32      5.58   1000000         0
31.38/31.45	c        59       134    134.77     23.17      5.82   1000000         0
32.89/32.95	c        52        99    132.19     23.58      5.61   1000000         0
34.38/34.45	c        54       137    133.46     25.21      5.29   1000000         0
35.88/35.94	c        55       151    135.50     26.11      5.19   1000000         0
37.39/37.43	c        65       144    135.94     23.74      5.73   1000000         0
38.88/38.92	c        50       132    134.50     22.67      5.93   1000000         0
40.38/40.42	c        59       138    133.51     24.26      5.50   1000000         0
41.88/41.92	c        63       141    135.42     24.65      5.49   1000000         0
43.38/43.42	c        52       144    133.35     24.18      5.51   1000000         0
44.88/44.91	c        58       137    135.53     23.84      5.69   1000000         0
46.28/46.39	c        68       135    134.05     21.92      6.12   1000000         0
47.78/47.89	c        54       135    134.43     23.67      5.68   1000000         0
49.28/49.38	c        58       122    136.56     24.02      5.69   1000000         0
50.78/50.88	c        60       105    136.38     24.05      5.67   1000000         0
52.28/52.38	c        64       123    134.52     24.01      5.60   1000000         0
53.78/53.87	c        49       130    136.72     24.76      5.52   1000000         0
55.28/55.36	c        59       133    134.77     24.17      5.58   1000000         0
56.78/56.86	c        51       115    133.49     23.55      5.67   1000000         0
58.28/58.35	c        62       127    134.53     22.99      5.85   1000000         0
59.77/59.86	c        56       150    130.27     23.23      5.61   1000000         0
61.27/61.35	c        62       119    136.70     22.86      5.98   1000000         0
62.77/62.86	c        48       111    133.34     23.09      5.77   1000000         0
64.27/64.36	c        54       130    132.43     22.91      5.78   1000000         0
65.77/65.87	c        64       137    132.24     23.18      5.70   1000000         0
67.27/67.37	c        53       107    131.53     24.03      5.47   1000000         0
68.77/68.88	c        59       105    131.80     23.36      5.64   1000000         0
70.28/70.37	c        61       125    136.03     23.07      5.90   1000000         0
71.77/71.87	c        51       124    133.36     23.79      5.61   1000000         0
73.27/73.37	c        61       141    133.80     24.57      5.44   1000000         0
74.78/74.86	c        65       126    139.12     25.02      5.56   1000000         0
76.27/76.36	c        53       115    133.92     24.35      5.50   1000000         0
77.77/77.85	c        58       130    135.68     22.83      5.94   1000000         0
79.27/79.34	c        61       134    139.43     24.52      5.69   1000000         0
80.77/80.84	c        64       136    134.25     24.71      5.43   1000000         0
82.27/82.33	c        69       118    136.41     23.73      5.75   1000000         0
83.77/83.82	c        60       143    137.16     23.76      5.77   1000000         0
85.27/85.32	c        60       116    136.80     23.51      5.82   1000000         0
86.77/86.82	c        59       149    131.83     23.34      5.65   1000000         0
88.27/88.31	c        58       115    134.74     23.57      5.72   1000000         0
89.77/89.81	c        66       116    134.30     23.37      5.75   1000000         0
91.17/91.30	c        57       102    136.35     24.17      5.64   1000000         0
92.77/92.80	c        46       185    133.53     23.17      5.76   1000000         0
94.17/94.29	c        40       149    134.24     24.09      5.57   1000000         0
95.67/95.77	c        46        92    136.99     23.97      5.72   1000000         0
97.17/97.27	c        56       106    135.85     24.69      5.50   1000000         0
98.66/98.76	c        63       134    136.90     24.76      5.53   1000000         0
100.16/100.25	c        58       125    136.92     24.58      5.57   1000000         0
101.66/101.74	c        65       122    135.48     23.72      5.71   1000000         0
103.16/103.23	c        57       116    136.79     23.14      5.91   1000000         0
104.66/104.72	c        59       109    135.45     23.52      5.76   1000000         0
106.16/106.22	c        61       121    133.09     23.07      5.77   1000000         0
107.67/107.71	c        60       116    132.41     24.43      5.42   1000000         0
109.06/109.19	c        63       158    137.71     23.66      5.82   1000000         0
110.56/110.68	c        57       173    136.76     25.35      5.40   1000000         0
112.07/112.17	c        52       125    137.49     24.19      5.68   1000000         0
113.56/113.67	c        64       125    133.90     23.10      5.80   1000000         0
115.06/115.16	c        56       151    133.44     23.25      5.74   1000000         0
116.57/116.66	c        58       144    135.05     23.30      5.80   1000000         0
118.06/118.16	c        57        94    135.29     23.65      5.72   1000000         0
119.56/119.66	c        55       133    133.20     25.00      5.33   1000000         0
121.06/121.15	c        51       132    134.99     22.36      6.04   1000000         0
122.56/122.64	c        58       130    134.81     23.69      5.69   1000000         0
124.06/124.14	c        50       119    134.40     23.14      5.81   1000000         0
125.56/125.64	c        63       147    135.03     23.45      5.76   1000000         0
127.06/127.15	c        57       120    132.20     23.19      5.70   1000000         0
128.56/128.67	c        59       170    133.64     22.81      5.86   1000000         0
130.06/130.17	c        50       126    135.99     24.46      5.56   1000000         0
131.56/131.66	c        55       122    137.13     23.23      5.90   1000000         0
133.06/133.14	c        54       123    137.69     24.05      5.73   1000000         0
134.56/134.63	c        58       178    136.03     25.44      5.35   1000000         0
136.06/136.12	c        54       138    136.13     24.28      5.61   1000000         0
137.56/137.62	c        64       147    134.82     22.26      6.06   1000000         0
139.05/139.11	c        62       120    135.83     23.48      5.78   1000000         0
140.45/140.59	c        46       106    135.59     24.08      5.63   1000000         0
141.95/142.08	c        57       125    133.69     23.19      5.76   1000000         0
143.45/143.58	c        55       163    135.35     23.26      5.82   1000000         0
145.06/145.10	c        50       134    128.91     23.22      5.55   1000000         0
146.55/146.61	c        48       140    135.14     22.57      5.99   1000000         0
148.05/148.10	c        56       182    136.37     23.57      5.79   1000000         0
149.46/149.59	c        53       125    136.20     23.74      5.74   1000000         0
150.95/151.08	c        53       147    133.67     22.76      5.87   1000000         0
152.45/152.58	c        64       103    138.43     23.17      5.97   1000000         0
153.96/154.07	c        57       118    133.98     22.33      6.00   1000000         0
155.45/155.56	c        55       162    136.76     23.23      5.89   1000000         0
156.95/157.06	c        64       148    135.39     23.11      5.86   1000000         0
158.45/158.56	c        49       108    133.79     22.88      5.85   1000000         0
159.95/160.05	c        53       128    136.15     24.62      5.53   1000000         0
161.45/161.55	c        54       140    132.54     23.73      5.59   1000000         0
162.95/163.04	c        61       118    133.26     23.91      5.57   1000000         0
164.45/164.51	c        57       146    137.41     24.03      5.72   1000000         0
165.95/166.01	c        62       151    135.86     24.09      5.64   1000000         0
167.45/167.50	c        63       151    135.64     22.95      5.91   1000000         0
168.85/168.99	c        59       146    136.81     24.94      5.49   1000000         0
170.35/170.49	c        50       117    130.70     23.74      5.50   1000000         0
171.84/171.98	c        65       138    134.77     22.34      6.03   1000000         0
173.34/173.48	c        63       110    135.19     22.65      5.97   1000000         0
174.85/174.97	c        53       117    134.37     23.94      5.61   1000000         0
176.34/176.45	c        63       129    138.06     24.44      5.65   1000000         0
177.84/177.94	c        58       118    135.92     23.23      5.85   1000000         0
179.34/179.44	c        62       141    133.48     22.76      5.86   1000000         0
180.84/180.93	c        68       137    135.91     23.31      5.83   1000000         0
182.34/182.43	c        53       141    134.07     23.19      5.78   1000000         0
183.84/183.93	c        62       135    134.73     22.86      5.89   1000000         0
185.34/185.42	c        63       174    134.20     23.09      5.81   1000000         0
186.85/186.92	c        49       126    134.03     23.08      5.81   1000000         0
188.34/188.42	c        60       141    134.80     26.15      5.15   1000000         0
189.84/189.91	c        64       142    135.08     25.26      5.35   1000000         0
191.35/191.42	c        64       223    134.40     23.57      5.70   1000000         0
192.84/192.91	c        58       138    137.86     23.84      5.78   1000000         0
194.24/194.39	c        59       152    138.45     24.49      5.65   1000000         0
195.75/195.89	c        59        85    133.54     23.91      5.59   1000000         0
197.24/197.39	c        48       147    133.71     22.95      5.83   1000000         0
198.74/198.88	c        53       145    131.56     22.80      5.77   1000000         0
200.24/200.38	c        62       137    130.69     23.26      5.62   1000000         0
201.74/201.88	c        59       185    133.69     22.28      6.00   1000000         0
203.24/203.37	c        59       107    134.25     21.63      6.21   1000000         0
204.74/204.87	c        48       102    133.45     26.46      5.04   1000000         0
206.24/206.35	c        57       131    133.29     23.60      5.65   1000000         0
207.74/207.84	c        66       127    136.87     23.38      5.86   1000000         0
209.24/209.35	c        59       125    134.86     24.86      5.42   1000000         0
210.73/210.85	c        52       124    133.83     22.68      5.90   1000000         0
212.24/212.35	c        60       115    133.82     22.98      5.82   1000000         0
213.73/213.84	c        66       150    136.68     23.68      5.77   1000000         0
215.23/215.34	c        53       117    133.44     25.43      5.25   1000000         0
216.73/216.84	c        63       128    137.50     23.42      5.87   1000000         0
218.23/218.33	c        54       135    135.39     24.60      5.50   1000000         0
219.73/219.84	c        49       173    132.60     23.22      5.71   1000000         0
221.23/221.33	c        56       156    135.91     23.27      5.84   1000000         0
222.73/222.83	c        57       167    137.78     24.66      5.59   1000000         0
224.24/224.32	c        63       115    136.38     22.19      6.15   1000000         0
225.73/225.82	c        61       142    134.55     23.46      5.74   1000000         0
227.23/227.31	c        49       159    137.20     24.82      5.53   1000000         0
228.64/228.80	c        56       101    133.20     22.87      5.82   1000000         0
230.23/230.31	c        54       129    133.27     23.47      5.68   1000000         0
231.63/231.79	c        62       138    136.69     24.81      5.51   1000000         0
233.23/233.30	c        57       153    130.00     22.52      5.77   1000000         0
234.63/234.79	c        59       170    135.91     23.63      5.75   1000000         0
236.13/236.29	c        58       114    136.61     24.36      5.61   1000000         0
237.63/237.78	c        60       119    136.70     22.92      5.97   1000000         0
239.13/239.27	c        60       151    136.42     22.87      5.97   1000000         0
240.63/240.77	c        53       168    134.35     22.56      5.96   1000000         0
242.13/242.27	c        66       124    133.37     24.40      5.47   1000000         0
243.63/243.77	c        63       174    135.67     23.96      5.66   1000000         0
245.13/245.27	c        58        84    136.82     23.25      5.88   1000000         0
246.63/246.76	c        62       139    138.15     23.60      5.85   1000000         0
248.13/248.28	c        59       162    129.18     22.53      5.73   1000000         0
249.63/249.77	c        61       124    133.89     23.58      5.68   1000000         0
251.12/251.27	c        65       114    136.73     22.92      5.97   1000000         0
252.62/252.75	c        58       151    137.61     23.74      5.80   1000000         0
254.12/254.24	c        57       139    140.37     24.99      5.62   1000000         0
255.62/255.72	c        61       162    135.13     24.31      5.56   1000000         0
257.12/257.21	c        57       103    136.36     23.81      5.73   1000000         0
258.62/258.72	c        63       119    132.02     22.15      5.96   1000000         0
260.12/260.21	c        55        97    137.20     23.61      5.81   1000000         0
261.52/261.70	c        49       171    138.81     24.64      5.63   1000000         0
263.02/263.19	c        54        85    133.64     24.32      5.49   1000000         0
264.52/264.69	c        63       140    133.20     23.18      5.75   1000000         0
266.03/266.19	c        59       135    136.69     23.70      5.77   1000000         0
267.52/267.68	c        64       135    137.02     24.39      5.62   1000000         0
269.02/269.18	c        60       146    134.11     24.65      5.44   1000000         0
270.53/270.66	c        54       129    137.65     24.55      5.61   1000000         0
272.02/272.16	c        57       132    137.11     23.77      5.77   1000000         0
273.52/273.65	c        62       110    137.18     23.96      5.73   1000000         0
275.02/275.14	c        62       154    136.42     23.29      5.86   1000000         0
276.52/276.62	c        52       109    136.71     23.51      5.81   1000000         0
278.02/278.13	c        59        82    133.02     24.69      5.39   1000000         0
279.52/279.62	c        62       123    134.39     23.15      5.80   1000000         0
281.02/281.11	c        58       152    137.29     22.74      6.04   1000000         0
282.52/282.60	c        56       121    137.12     23.98      5.72   1000000         0
284.01/284.11	c        45       132    135.19     24.73      5.47   1000000         0
285.51/285.60	c        63       125    135.75     25.68      5.29   1000000         0
286.92/287.09	c        53       133    136.69     21.93      6.23   1000000         0
288.41/288.59	c        55       169    132.11     23.59      5.60   1000000         0
289.91/290.08	c        56       123    135.88     24.88      5.46   1000000         0
291.42/291.57	c        62       132    134.25     23.73      5.66   1000000         0
292.91/293.06	c        57       131    138.40     25.28      5.47   1000000         0
294.41/294.56	c        63       168    134.94     23.25      5.80   1000000         0
295.91/296.07	c        48       129    133.61     24.61      5.43   1000000         0
297.41/297.57	c        59       134    135.90     26.24      5.18   1000000         0
298.91/299.07	c        54       108    134.57     25.05      5.37   1000000         0
300.41/300.55	c        49       127    134.91     24.08      5.60   1000000         0
301.91/302.06	c        54       115    131.63     23.48      5.61   1000000         0
303.42/303.55	c        61       132    137.54     23.74      5.79   1000000         0
304.91/305.04	c        65       110    137.43     23.29      5.90   1000000         0
306.41/306.53	c        59       109    136.91     23.76      5.76   1000000         0
307.92/308.02	c        58       121    136.66     24.55      5.57   1000000         0
309.41/309.51	c        54       120    139.08     23.73      5.86   1000000         0
310.91/311.00	c        58       129    134.60     23.31      5.77   1000000         0
312.41/312.50	c        58       176    134.42     23.60      5.70   1000000         0
313.81/313.99	c        58       111    134.70     23.28      5.79   1000000         0
315.31/315.49	c        62       118    135.64     22.20      6.11   1000000         0
316.81/316.99	c        57       154    136.01     23.21      5.86   1000000         0
318.31/318.49	c        59        97    133.44     23.42      5.70   1000000         0
319.81/319.98	c        56       117    136.05     25.70      5.29   1000000         0
321.31/321.49	c        59       111    131.02     23.04      5.69   1000000         0
322.80/322.98	c        61        99    133.49     23.00      5.80   1000000         0
324.31/324.48	c        60       146    133.85     24.00      5.58   1000000         0
325.80/325.97	c        48       122    136.74     24.37      5.61   1000000         0
327.30/327.46	c        60       164    135.57     23.63      5.74   1000000         0
328.81/328.96	c        63       114    134.03     23.64      5.67   1000000         0
330.30/330.44	c        61       189    135.70     23.86      5.69   1000000         0
331.80/331.94	c        52       107    132.51     23.78      5.57   1000000         0
333.30/333.43	c        56       140    134.55     23.19      5.80   1000000         0
334.80/334.93	c        45        91    134.16     24.22      5.54   1000000         0
336.30/336.43	c        54       151    134.23     22.98      5.84   1000000         0
337.80/337.92	c        57       145    135.09     23.42      5.77   1000000         0
339.30/339.43	c        60       142    131.24     24.58      5.34   1000000         0
340.81/340.92	c        49       132    135.28     23.35      5.79   1000000         0
342.30/342.43	c        60       133    130.63     21.71      6.02   1000000         0
343.80/343.94	c        48       125    130.25     23.17      5.62   1000000         0
345.31/345.45	c        52       137    131.20     24.60      5.33   1000000         0
346.80/346.95	c        56        93    136.06     22.83      5.96   1000000         0
348.30/348.45	c        47       144    132.65     23.17      5.73   1000000         0
349.80/349.95	c        54       105    133.90     23.64      5.67   1000000         0
351.30/351.45	c        55       119    134.98     24.43      5.53   1000000         0
352.80/352.95	c        56       141    132.92     23.36      5.69   1000000         0
354.30/354.44	c        55       120    136.25     25.57      5.33   1000000         0
355.80/355.93	c        60       143    133.20     24.72      5.39   1000000         0
357.30/357.43	c        61       112    135.45     25.03      5.41   1000000         0
358.80/358.92	c        54       133    135.10     24.56      5.50   1000000         0
360.30/360.42	c        58       158    134.80     23.99      5.62   1000000         0
361.80/361.92	c        57       129    137.17     24.25      5.66   1000000         0
363.29/363.41	c        59       156    136.04     23.25      5.85   1000000         0
364.79/364.90	c        51       130    135.06     24.27      5.57   1000000         0
366.29/366.40	c        60       110    136.34     22.77      5.99   1000000         0
367.79/367.90	c        48       151    135.38     24.67      5.49   1000000         0
369.29/369.40	c        59       112    131.65     24.47      5.38   1000000         0
370.79/370.90	c        59       116    138.65     23.96      5.79   1000000         0
372.19/372.39	c        54       122    134.36     23.44      5.73   1000000         0
373.69/373.89	c        47       124    133.47     25.74      5.19   1000000         0
375.19/375.39	c        60        78    132.71     23.21      5.72   1000000         0
376.69/376.89	c        62       144    135.06     22.66      5.96   1000000         0
378.20/378.37	c        58       137    137.55     23.18      5.93   1000000         0
379.69/379.88	c        59       133    131.48     24.88      5.29   1000000         0
381.19/381.36	c        52        95    136.34     23.95      5.69   1000000         0
382.70/382.85	c        51       124    135.92     23.79      5.71   1000000         0
384.19/384.34	c        55       114    138.12     24.60      5.62   1000000         0
385.69/385.84	c        52       135    134.89     24.23      5.57   1000000         0
387.19/387.32	c        47       153    132.95     23.07      5.76   1000000         0
388.69/388.82	c        50       130    135.04     25.21      5.36   1000000         0
390.19/390.31	c        67       141    136.98     24.67      5.55   1000000         0
391.69/391.81	c        57        92    134.61     23.04      5.84   1000000         0
393.19/393.30	c        52       160    133.07     23.16      5.74   1000000         0
394.59/394.80	c        64       130    134.98     22.45      6.01   1000000         0
396.19/396.30	c        48       134    133.28     24.75      5.38   1000000         0
397.59/397.78	c        55       132    136.82     23.94      5.71   1000000         0
399.09/399.27	c        55       141    135.60     24.96      5.43   1000000         0
400.58/400.77	c        61       129    131.69     23.36      5.64   1000000         0
402.08/402.26	c        54       149    138.61     23.85      5.81   1000000         0
403.59/403.76	c        51       123    132.97     24.80      5.36   1000000         0
405.08/405.25	c        60       118    136.61     23.39      5.84   1000000         0
406.58/406.74	c        66       110    135.50     23.98      5.65   1000000         0
408.08/408.23	c        61       117    137.46     25.59      5.37   1000000         0
409.58/409.73	c        59       107    133.16     23.40      5.69   1000000         0
411.08/411.24	c        49       142    130.21     23.56      5.53   1000000         0
412.58/412.73	c        60       141    135.03     23.03      5.86   1000000         0
414.08/414.22	c        56       153    137.52     24.33      5.65   1000000         0
415.59/415.71	c        55       102    133.65     23.84      5.61   1000000         0
417.08/417.20	c        65       124    139.23     26.09      5.34   1000000         0
418.58/418.70	c        55       111    133.15     24.30      5.48   1000000         0
420.09/420.20	c        58       127    132.40     24.11      5.49   1000000         0
421.48/421.69	c        63       150    138.20     25.16      5.49   1000000         0
422.98/423.19	c        59       118    133.34     22.73      5.87   1000000         0
424.49/424.69	c        52       125    133.15     25.29      5.27   1000000         0
425.98/426.18	c        61       125    137.81     22.92      6.01   1000000         0
427.48/427.68	c        56       116    134.68     25.30      5.32   1000000         0
428.98/429.17	c        62       133    135.34     23.97      5.65   1000000         0
430.48/430.68	c        45       124    135.70     25.65      5.29   1000000         0
431.98/432.18	c        61       166    136.34     24.39      5.59   1000000         0
433.48/433.68	c        61       108    136.80     23.85      5.74   1000000         0
434.98/435.18	c        56        87    135.08     24.57      5.50   1000000         0
436.48/436.68	c        52       118    133.02     22.92      5.80   1000000         0
437.98/438.16	c        62       175    134.95     24.85      5.43   1000000         0
439.48/439.65	c        45       112    137.31     24.04      5.71   1000000         0
440.98/441.15	c        61       114    135.88     24.41      5.57   1000000         0
442.47/442.65	c        51        98    134.68     25.62      5.26   1000000         0
443.97/444.13	c        60       129    136.44     23.22      5.88   1000000         0
445.47/445.62	c        64       157    137.70     23.95      5.75   1000000         0
446.97/447.10	c        64       107    136.58     24.54      5.57   1000000         0
448.37/448.58	c        54       142    137.26     23.12      5.94   1000000         0
449.87/450.07	c        59       102    135.81     25.10      5.41   1000000         0
451.37/451.57	c        58       163    130.78     22.25      5.88   1000000         0
452.87/453.06	c        61       130    140.04     24.04      5.82   1000000         0
454.37/454.55	c        59       158    133.74     24.37      5.49   1000000         0
455.87/456.05	c        41       125    131.85     22.24      5.93   1000000         0
457.38/457.55	c        56       122    133.64     23.79      5.62   1000000         0
458.87/459.05	c        52       133    134.84     24.16      5.58   1000000         0
460.37/460.54	c        64       137    137.80     23.08      5.97   1000000         0
461.88/462.03	c        47       129    135.40     24.93      5.43   1000000         0
463.37/463.52	c        56       118    136.46     24.19      5.64   1000000         0
464.87/465.02	c        57       132    135.63     23.49      5.77   1000000         0
466.37/466.51	c        54       157    134.35     24.43      5.50   1000000         0
467.87/468.01	c        58       126    136.90     24.97      5.48   1000000         0
469.27/469.49	c        63       136    136.23     23.11      5.89   1000000         0
470.77/470.98	c        63       148    137.48     23.95      5.74   1000000         0
472.27/472.47	c        63       152    136.35     24.27      5.62   1000000         0
473.77/473.96	c        62       188    137.19     23.49      5.84   1000000         0
475.27/475.44	c        63       148    137.32     23.21      5.92   1000000         0
476.76/476.92	c        55       179    137.21     23.67      5.80   1000000         0
478.27/478.43	c        57       166    130.50     22.95      5.69   1000000         0
479.76/479.93	c        54       174    136.70     23.46      5.83   1000000         0
481.26/481.42	c        51       146    134.60     24.65      5.46   1000000         0
482.77/482.91	c        63       150    138.12     23.32      5.92   1000000         0
484.26/484.40	c        58       115    134.47     23.77      5.66   1000000         0
485.66/485.89	c        57       129    133.86     24.17      5.54   1000000         0
487.17/487.37	c        67       162    136.66     23.35      5.85   1000000         0
488.66/488.87	c        53        79    133.48     23.24      5.74   1000000         0
490.16/490.37	c        60       128    135.33     22.34      6.06   1000000         0
491.66/491.87	c        54       127    132.62     24.04      5.52   1000000         0
493.16/493.37	c        62       152    138.11     23.06      5.99   1000000         0
494.66/494.87	c        62       102    134.93     23.53      5.73   1000000         0
496.16/496.39	c        55       119    128.98     22.39      5.76   1000000         0
497.66/497.87	c        56       151    136.28     23.48      5.80   1000000         0
499.17/499.37	c        51        97    133.85     22.66      5.91   1000000         0
500.66/500.86	c        51       150    135.99     22.89      5.94   1000000         0
502.16/502.36	c        60       134    135.30     23.02      5.88   1000000         0
503.67/503.86	c        61       167    134.06     23.20      5.78   1000000         0
505.16/505.35	c        63        85    138.12     23.23      5.95   1000000         0
506.66/506.83	c        59       131    137.91     24.54      5.62   1000000         0
508.16/508.34	c        61       126    133.18     24.74      5.38   1000000         0
509.66/509.82	c        54       178    132.91     22.72      5.85   1000000         0
511.16/511.31	c        55        96    135.97     23.56      5.77   1000000         0
512.66/512.81	c        55        99    135.26     23.77      5.69   1000000         0
514.15/514.30	c        43       144    132.53     22.93      5.78   1000000         0
515.66/515.80	c        63        90    137.96     22.50      6.13   1000000         0
517.15/517.31	c        53       157    135.80     23.93      5.67   1000000         0
518.65/518.81	c        57       121    135.89     24.04      5.65   1000000         0
520.16/520.30	c        61       130    136.17     22.81      5.97   1000000         0
521.55/521.79	c        63        91    133.41     22.61      5.90   1000000         0
523.05/523.28	c        66       134    136.35     23.55      5.79   1000000         0
524.56/524.78	c        55       130    133.82     23.76      5.63   1000000         0
526.05/526.28	c        58       202    135.40     23.71      5.71   1000000         0
527.55/527.78	c        60       125    136.40     23.97      5.69   1000000         0
529.05/529.27	c        66       181    134.57     24.23      5.55   1000000         0
530.55/530.77	c        58       144    133.51     25.01      5.34   1000000         0
532.05/532.27	c        54       149    133.55     23.96      5.57   1000000         0
533.55/533.77	c        60       154    137.47     25.22      5.45   1000000         0
535.05/535.26	c        45       157    134.43     23.94      5.61   1000000         0
536.56/536.76	c        57       135    134.97     22.75      5.93   1000000         0
538.05/538.25	c        63       145    137.84     23.89      5.77   1000000         0
539.55/539.75	c        56       109    139.21     24.29      5.73   1000000         0
541.06/541.25	c        44       193    133.00     24.36      5.46   1000000         0
542.55/542.74	c        56       160    137.90     24.56      5.62   1000000         0
544.05/544.24	c        50       150    135.26     24.35      5.56   1000000         0
545.55/545.74	c        59       130    137.55     24.29      5.66   1000000         0
547.05/547.24	c        55       148    137.25     25.46      5.39   1000000         0
548.55/548.73	c        63       115    135.03     23.04      5.86   1000000         0
550.05/550.23	c        58       202    138.69     23.79      5.83   1000000         0
551.55/551.73	c        55       133    134.12     23.29      5.76   1000000         0
553.05/553.22	c        54       107    135.35     22.57      6.00   1000000         0
554.54/554.70	c        59       154    137.49     24.25      5.67   1000000         0
556.04/556.21	c        63       132    134.96     23.18      5.82   1000000         0
557.45/557.70	c        60       110    137.30     24.62      5.58   1000000         0
559.04/559.20	c        70       156    136.98     22.86      5.99   1000000         0
560.54/560.70	c        58       125    135.60     24.04      5.64   1000000         0
562.04/562.21	c        58       117    133.19     22.67      5.88   1000000         0
563.44/563.69	c        53       148    136.80     22.80      6.00   1000000         0
564.94/565.19	c        62       130    132.26     22.51      5.88   1000000         0
566.44/566.68	c        49       130    133.07     23.24      5.72   1000000         0
567.94/568.18	c        55       145    134.51     24.81      5.42   1000000         0
569.44/569.69	c        61       124    135.82     23.80      5.71   1000000         0
570.94/571.19	c        58       126    135.46     24.37      5.56   1000000         0
572.44/572.68	c        59       112    135.69     24.05      5.64   1000000         0
573.95/574.16	c        63       140    135.87     25.30      5.37   1000000         0
575.44/575.66	c        58       111    135.20     24.67      5.48   1000000         0
576.94/577.16	c        60       132    130.66     22.34      5.85   1000000         0
578.45/578.66	c        57       105    135.94     23.88      5.69   1000000         0
579.94/580.15	c        53       149    134.15     22.77      5.89   1000000         0
581.44/581.65	c        60       132    132.27     23.47      5.64   1000000         0
582.94/583.14	c        60       149    135.58     23.91      5.67   1000000         0
584.44/584.64	c        52       127    136.70     22.16      6.17   1000000         0
585.94/586.13	c        70       115    135.92     23.06      5.89   1000000         0
587.44/587.64	c        57       144    135.40     24.66      5.49   1000000         0
588.94/589.13	c        54       160    135.07     23.27      5.81   1000000         0
590.44/590.62	c        53        99    132.02     22.58      5.85   1000000         0
591.94/592.13	c        57       122    133.37     23.24      5.74   1000000         0
593.43/593.60	c        61       132    139.41     23.99      5.81   1000000         0
594.84/595.10	c        55       112    133.00     23.18      5.74   1000000         0
596.33/596.59	c        63       152    138.58     23.20      5.97   1000000         0
597.83/598.07	c        57       139    136.27     23.06      5.91   1000000         0
599.34/599.56	c        54       146    134.91     23.42      5.76   1000000         0
600.83/601.06	c        55       111    137.50     25.29      5.44   1000000         0
602.33/602.55	c        54       163    133.64     22.95      5.82   1000000         0
603.83/604.06	c        57       131    136.49     22.82      5.98   1000000         0
605.33/605.55	c        58       114    135.49     22.95      5.90   1000000         0
606.83/607.05	c        59       156    132.26     23.33      5.67   1000000         0
608.33/608.54	c        60       140    133.77     24.71      5.41   1000000         0
609.83/610.02	c        66       112    138.09     23.51      5.87   1000000         0
611.34/611.52	c        61       139    134.04     22.45      5.97   1000000         0
612.83/613.01	c        50       169    138.53     25.27      5.48   1000000         0
614.33/614.51	c        58       136    133.21     24.07      5.53   1000000         0
615.74/616.00	c        46       103    137.66     24.40      5.64   1000000         0
617.23/617.49	c        59       180    135.30     23.80      5.68   1000000         0
618.73/618.97	c        64       150    137.27     23.05      5.96   1000000         0
620.24/620.47	c        65       155    137.24     22.84      6.01   1000000         0
621.73/621.96	c        49       110    133.49     23.79      5.61   1000000         0
623.23/623.46	c        60       135    134.70     24.09      5.59   1000000         0
624.73/624.98	c        63       117    131.84     23.88      5.52   1000000         0
626.23/626.48	c        54       132    139.17     25.69      5.42   1000000         0
627.73/627.98	c        55       115    133.83     24.33      5.50   1000000         0
629.23/629.47	c        56       156    133.27     23.58      5.65   1000000         0
630.72/630.96	c        59       138    137.26     24.54      5.59   1000000         0
632.23/632.46	c        63       118    133.34     23.09      5.77   1000000         0
633.72/633.95	c        63       173    137.38     24.64      5.57   1000000         0
635.22/635.44	c        57       182    131.86     26.09      5.05   1000000         0
636.73/636.93	c        48       116    133.23     23.99      5.55   1000000         0
638.22/638.43	c        55       145    133.36     23.58      5.66   1000000         0
639.72/639.92	c        59       137    134.31     22.50      5.97   1000000         0
641.22/641.42	c        56       147    134.47     25.20      5.34   1000000         0
642.72/642.91	c        57       114    135.69     24.45      5.55   1000000         0
644.22/644.42	c        53       143    133.78     22.89      5.84   1000000         0
645.72/645.92	c        48       128    131.85     24.48      5.39   1000000         0
647.22/647.40	c        56       142    134.62     23.65      5.69   1000000         0
648.73/648.90	c        59       123    137.14     25.12      5.46   1000000         0
650.22/650.40	c        57        94    132.79     23.89      5.56   1000000         0
651.72/651.91	c        55       134    135.49     24.45      5.54   1000000         0
653.23/653.41	c        57       122    134.26     24.05      5.58   1000000         0
654.72/654.91	c        63       153    136.02     23.42      5.81   1000000         0
656.22/656.40	c        59       149    132.85     22.87      5.81   1000000         0
657.63/657.89	c        50       157    137.79     23.89      5.77   1000000         0
659.12/659.38	c        57       151    133.99     25.05      5.35   1000000         0
660.62/660.88	c        57       152    137.61     24.70      5.57   1000000         0
662.12/662.37	c        49       114    130.30     21.97      5.93   1000000         0
663.62/663.87	c        56       105    135.35     25.67      5.27   1000000         0
665.11/665.36	c        49       184    131.49     23.04      5.71   1000000         0
666.61/666.87	c        51       112    131.33     24.08      5.45   1000000         0
668.11/668.36	c        63       126    135.08     23.24      5.81   1000000         0
669.62/669.85	c        62       109    135.23     22.81      5.93   1000000         0
671.11/671.35	c        62       124    136.73     23.50      5.82   1000000         0
672.61/672.86	c        55       126    133.05     23.92      5.56   1000000         0
674.12/674.35	c        55       138    133.59     24.61      5.43   1000000         0
675.61/675.84	c        57       144    135.16     23.71      5.70   1000000         0
677.11/677.33	c        60       130    137.50     23.22      5.92   1000000         0
678.61/678.82	c        57       137    135.44     23.53      5.76   1000000         0
680.11/680.31	c        47       141    137.01     25.62      5.35   1000000         0
681.61/681.81	c        52       114    131.72     23.53      5.60   1000000         0
683.11/683.31	c        56       150    135.17     22.39      6.04   1000000         0
684.61/684.81	c        56       116    135.20     23.38      5.78   1000000         0
686.12/686.30	c        53       108    133.03     22.73      5.85   1000000         0
687.51/687.79	c        58       165    134.90     23.72      5.69   1000000         0
689.01/689.28	c        52       125    134.18     24.11      5.56   1000000         0
690.52/690.78	c        61       115    132.84     22.68      5.86   1000000         0
692.01/692.28	c        64       151    135.11     24.03      5.62   1000000         0
693.51/693.76	c        57       107    135.68     23.60      5.75   1000000         0
695.01/695.26	c        62       158    136.40     23.14      5.89   1000000         0
696.51/696.77	c        66       141    132.41     22.88      5.79   1000000         0
698.01/698.26	c        63       130    134.64     23.70      5.68   1000000         0
699.51/699.74	c        56       154    136.97     23.69      5.78   1000000         0
701.01/701.24	c        58       165    131.94     22.19      5.95   1000000         0
702.51/702.72	c        58       135    134.63     26.15      5.15   1000000         0
704.00/704.22	c        54       124    135.51     25.92      5.23   1000000         0
705.50/705.70	c        61       140    138.96     26.71      5.20   1000000         0
707.01/707.20	c        59       156    137.55     24.39      5.64   1000000         0
708.40/708.69	c        61       105    137.82     24.66      5.59   1000000         0
709.90/710.19	c        61       172    137.07     23.93      5.73   1000000         0
711.41/711.68	c        68       141    134.11     22.69      5.91   1000000         0
712.90/713.19	c        44       126    131.11     23.30      5.63   1000000         0
714.40/714.70	c        58       117    132.89     24.58      5.41   1000000         0
715.91/716.19	c        61       121    134.20     23.19      5.79   1000000         0
717.40/717.68	c        49       128    134.93     25.66      5.26   1000000         0
718.90/719.18	c        62       108    136.71     24.27      5.63   1000000         0
720.40/720.67	c        55       150    134.90     24.80      5.44   1000000         0
721.90/722.17	c        56       110    136.49     23.09      5.91   1000000         0
723.40/723.66	c        60       135    137.71     24.11      5.71   1000000         0
724.90/725.15	c        66       159    138.03     22.31      6.19   1000000         0
726.40/726.66	c        61       146    135.81     23.05      5.89   1000000         0
727.91/728.15	c        55        99    134.77     24.49      5.50   1000000         0
729.40/729.65	c        58       133    135.22     23.86      5.67   1000000         0
730.90/731.16	c        57       128    133.97     25.09      5.34   1000000         0
732.40/732.66	c        59       149    134.56     23.37      5.76   1000000         0
733.90/734.17	c        60       119    133.05     22.73      5.85   1000000         0
735.40/735.66	c        60       166    135.19     24.14      5.60   1000000         0
736.90/737.15	c        64       100    134.99     23.81      5.67   1000000         0
738.40/738.64	c        57       112    133.74     23.63      5.66   1000000         0
739.90/740.13	c        54       167    133.76     24.36      5.49   1000000         0
741.40/741.62	c        52       158    135.72     23.64      5.74   1000000         0
742.90/743.12	c        59       147    132.57     23.43      5.66   1000000         0
744.40/744.63	c        58       137    135.13     23.82      5.67   1000000         0
745.89/746.13	c        54       129    132.75     25.25      5.26   1000000         0
747.39/747.64	c        53        91    132.65     22.59      5.87   1000000         0
748.90/749.13	c        57       154    136.49     23.50      5.81   1000000         0
750.39/750.63	c        61       134    134.51     23.99      5.61   1000000         0
751.89/752.13	c        61       143    136.11     24.07      5.65   1000000         0
753.39/753.62	c        48       137    137.05     24.80      5.53   1000000         0
754.89/755.11	c        43       137    133.76     22.48      5.95   1000000         0
756.39/756.60	c        57       108    136.41     22.51      6.06   1000000         0
757.89/758.11	c        62       123    133.80     22.98      5.82   1000000         0
759.39/759.60	c        49       117    132.87     23.78      5.59   1000000         0
760.90/761.11	c        52       128    132.85     23.60      5.63   1000000         0
762.39/762.60	c        55       152    134.13     24.08      5.57   1000000         0
763.89/764.10	c        57       122    133.43     22.95      5.81   1000000         0
765.30/765.58	c        59       162    135.59     23.20      5.84   1000000         0
766.79/767.07	c        58       140    135.10     23.67      5.71   1000000         0
768.29/768.58	c        55       111    132.54     23.50      5.64   1000000         0
769.79/770.08	c        54       154    133.37     24.69      5.40   1000000         0
771.29/771.59	c        61       111    136.84     24.26      5.64   1000000         0
772.79/773.09	c        48       110    133.32     24.50      5.44   1000000         0
774.29/774.60	c        55        95    133.27     24.21      5.51   1000000         0
775.79/776.09	c        57       146    135.77     23.69      5.73   1000000         0
777.29/777.59	c        56       143    133.97     23.30      5.75   1000000         0
778.79/779.07	c        67       167    139.29     24.04      5.79   1000000         0
780.29/780.58	c        58        91    133.64     24.24      5.51   1000000         0
781.79/782.07	c        56       136    133.10     23.64      5.63   1000000         0
783.28/783.57	c        60       124    136.25     23.74      5.74   1000000         0
784.78/785.05	c        67       124    140.69     23.87      5.89   1000000         0
786.29/786.55	c        65       123    134.85     22.70      5.94   1000000         0
787.78/788.04	c        57        97    135.05     23.31      5.79   1000000         0
789.28/789.53	c        56       117    136.17     24.12      5.65   1000000         0
790.78/791.02	c        56       142    139.16     24.35      5.72   1000000         0
792.28/792.52	c        57       168    135.08     24.14      5.59   1000000         0
793.78/794.02	c        53       127    133.14     24.00      5.55   1000000         0
795.28/795.51	c        69        85    135.82     22.58      6.01   1000000         0
796.78/797.00	c        61       139    133.98     22.53      5.95   1000000         0
798.29/798.50	c        60       126    136.02     23.83      5.71   1000000         0
799.68/799.99	c        63       108    133.68     22.34      5.98   1000000         0
801.18/801.48	c        61       147    137.49     23.09      5.96   1000000         0
802.69/802.98	c        53       111    137.59     24.95      5.51   1000000         0
804.18/804.47	c        55       165    136.85     24.87      5.50   1000000         0
805.68/805.97	c        55       110    134.75     23.78      5.67   1000000         0
807.19/807.46	c        61       101    136.06     23.73      5.73   1000000         0
808.68/808.94	c        56       107    139.19     24.46      5.69   1000000         0
810.18/810.45	c        54       193    133.12     24.58      5.42   1000000         0
811.68/811.96	c        62       119    137.87     25.24      5.46   1000000         0
813.18/813.45	c        57       181    139.69     23.89      5.85   1000000         0
814.68/814.94	c        63       140    136.07     24.50      5.55   1000000         0
816.18/816.43	c        50       100    135.85     25.51      5.33   1000000         0
817.68/817.92	c        64       137    134.82     22.86      5.90   1000000         0
819.18/819.43	c        52       111    132.29     24.82      5.33   1000000         0
820.67/820.92	c        52       108    135.51     24.49      5.53   1000000         0
822.17/822.40	c        63       168    138.47     23.68      5.85   1000000         0
823.58/823.90	c        52       152    131.44     23.40      5.62   1000000         0
825.07/825.40	c        53        91    134.38     23.35      5.76   1000000         0
826.57/826.89	c        63       117    134.64     22.64      5.95   1000000         0
828.08/828.38	c        61       130    132.96     23.50      5.66   1000000         0
829.57/829.86	c        60       142    136.94     24.96      5.49   1000000         0
831.07/831.37	c        49       139    133.49     23.66      5.64   1000000         0
832.57/832.86	c        55       144    133.83     23.68      5.65   1000000         0
834.07/834.36	c        50       127    133.03     23.22      5.73   1000000         0
835.57/835.85	c        56       142    136.47     25.33      5.39   1000000         0
837.07/837.35	c        63       125    135.04     22.45      6.01   1000000         0
838.57/838.85	c        47       122    131.69     23.05      5.71   1000000         0
840.08/840.34	c        55        99    136.57     22.99      5.94   1000000         0
841.57/841.84	c        40       135    132.95     24.67      5.39   1000000         0
843.07/843.33	c        60       148    138.24     24.06      5.75   1000000         0
844.58/844.82	c        66       152    137.83     23.85      5.78   1000000         0
846.07/846.31	c        63       142    134.53     23.43      5.74   1000000         0
847.57/847.80	c        63       141    135.70     22.70      5.98   1000000         0
848.97/849.29	c        55       148    136.12     23.69      5.75   1000000         0
850.47/850.78	c        55       127    136.00     22.56      6.03   1000000         0
851.97/852.27	c        52       144    132.93     24.87      5.34   1000000         0
853.47/853.76	c        59       128    138.25     24.22      5.71   1000000         0
854.97/855.25	c        58       128    133.28     23.91      5.58   1000000         0
856.47/856.75	c        59       147    137.69     24.08      5.72   1000000         0
857.97/858.24	c        49       146    133.32     23.28      5.73   1000000         0
859.47/859.74	c        59       141    132.81     22.18      5.99   1000000         0
860.97/861.23	c        57       144    135.01     24.74      5.46   1000000         0
862.46/862.72	c        58       124    136.34     23.11      5.90   1000000         0
863.96/864.21	c        56       142    134.26     24.31      5.52   1000000         0
865.47/865.71	c        55       133    139.09     24.14      5.76   1000000         0
866.96/867.20	c        66       132    137.91     24.13      5.71   1000000         0
868.46/868.71	c        60       127    131.67     22.50      5.85   1000000         0
869.96/870.21	c        57       107    132.95     23.50      5.66   1000000         0
871.46/871.72	c        61       130    134.56     23.54      5.72   1000000         0
872.96/873.21	c        64       142    135.92     23.58      5.76   1000000         0
874.46/874.70	c        51       180    132.67     24.37      5.45   1000000         0
875.96/876.21	c        55       115    137.57     25.06      5.49   1000000         0
877.47/877.71	c        56       133    134.13     22.63      5.93   1000000         0
878.96/879.21	c        61       117    136.28     24.80      5.49   1000000         0
880.46/880.71	c        54       100    132.08     23.90      5.53   1000000         0
881.96/882.21	c        52       126    130.86     23.15      5.65   1000000         0
883.46/883.72	c        54       168    134.77     23.73      5.68   1000000         0
884.96/885.21	c        58       152    133.55     24.40      5.47   1000000         0
886.46/886.70	c        45       106    133.39     23.96      5.57   1000000         0
887.96/888.20	c        55       175    135.69     24.37      5.57   1000000         0
889.36/889.69	c        59       186    135.42     24.50      5.53   1000000         0
890.86/891.17	c        55       116    135.63     24.19      5.61   1000000         0
892.36/892.67	c        48        93    135.38     23.84      5.68   1000000         0
893.86/894.17	c        54       143    135.79     24.31      5.59   1000000         0
895.35/895.67	c        60       135    133.98     23.48      5.71   1000000         0
896.85/897.15	c        59       144    136.35     24.14      5.65   1000000         0
898.36/898.63	c        59       140    136.81     23.63      5.79   1000000         0
899.85/900.13	c        57       171    134.81     23.33      5.78   1000000         0
901.35/901.62	c        54       110    133.13     23.02      5.78   1000000         0
902.86/903.12	c        58       156    134.75     23.78      5.67   1000000         0
904.35/904.61	c        57       153    134.54     24.48      5.50   1000000         0
905.85/906.10	c        58       152    134.07     24.23      5.53   1000000         0
907.35/907.61	c        55       192    131.91     23.55      5.60   1000000         0
908.85/909.10	c        56       170    136.80     24.47      5.59   1000000         0
910.35/910.61	c        58       142    134.19     23.04      5.82   1000000         0
911.85/912.11	c        69       139    134.72     23.47      5.74   1000000         0
913.35/913.61	c        57       148    134.21     24.37      5.51   1000000         0
914.86/915.11	c        57       107    134.36     23.90      5.62   1000000         0
916.35/916.61	c        57       118    132.49     24.15      5.49   1000000         0
917.75/918.09	c        64       128    137.24     22.11      6.21   1000000         0
919.26/919.59	c        54       132    136.68     24.74      5.53   1000000         0
920.75/921.08	c        66       123    134.89     22.79      5.92   1000000         0
922.25/922.57	c        59       135    134.80     24.43      5.52   1000000         0
923.75/924.06	c        51       165    136.01     23.28      5.84   1000000         0
925.25/925.56	c        60       139    135.08     23.19      5.83   1000000         0
926.75/927.06	c        55       161    134.24     23.94      5.61   1000000         0
928.25/928.55	c        59       161    137.49     24.32      5.65   1000000         0
929.74/930.05	c        60       109    133.96     23.29      5.75   1000000         0
931.24/931.55	c        60       141    133.71     22.35      5.98   1000000         0
932.74/933.03	c        61        84    137.09     22.19      6.18   1000000         0
934.24/934.53	c        60       142    138.53     23.75      5.83   1000000         0
935.75/936.03	c        58       141    131.86     22.32      5.91   1000000         0
937.24/937.52	c        63       137    137.22     22.73      6.04   1000000         0
938.74/939.01	c        62       140    136.65     23.60      5.79   1000000         0
940.15/940.50	c        61       118    136.39     24.89      5.48   1000000         0
941.64/941.99	c        56       101    137.54     23.30      5.90   1000000         0
943.14/943.48	c        56       173    134.95     24.39      5.53   1000000         0
944.65/944.97	c        53       201    136.42     24.81      5.50   1000000         0
946.14/946.48	c        58       150    131.40     22.23      5.91   1000000         0
947.64/947.98	c        63       156    135.84     22.82      5.95   1000000         0
949.14/949.47	c        57        92    135.58     23.65      5.73   1000000         0
950.64/950.97	c        58       132    133.64     22.19      6.02   1000000         0
952.14/952.45	c        61       126    137.86     24.78      5.56   1000000         0
953.64/953.94	c        57       145    134.88     24.68      5.47   1000000         0
955.14/955.43	c        56       132    134.30     22.95      5.85   1000000         0
956.65/956.94	c        53       182    132.65     22.76      5.83   1000000         0
958.14/958.43	c        66       147    137.84     23.80      5.79   1000000         0
959.64/959.93	c        60       123    135.24     25.12      5.38   1000000         0
961.14/961.42	c        59       119    132.97     23.36      5.69   1000000         0
962.64/962.93	c        55       132    131.21     23.75      5.53   1000000         0
964.14/964.43	c        55       178    134.22     23.60      5.69   1000000         0
965.64/965.93	c        63       128    134.63     23.81      5.65   1000000         0
967.14/967.41	c        60       134    135.67     23.18      5.85   1000000         0
968.64/968.90	c        58       146    136.38     22.71      6.01   1000000         0
970.14/970.41	c        47       167    134.21     25.63      5.24   1000000         0
971.64/971.90	c        55       145    134.07     23.77      5.64   1000000         0
973.14/973.40	c        57       164    133.47     24.08      5.54   1000000         0
974.53/974.89	c        57       107    137.92     23.97      5.75   1000000         0
976.03/976.39	c        56       211    137.31     24.22      5.67   1000000         0
977.54/977.87	c        57       135    136.02     21.82      6.23   1000000         0
979.03/979.37	c        62       153    134.48     22.85      5.89   1000000         0
980.53/980.87	c        58       118    134.67     23.33      5.77   1000000         0
982.04/982.36	c        62        91    135.40     24.15      5.61   1000000         0
983.53/983.84	c        59       140    137.68     23.27      5.92   1000000         0
985.03/985.35	c        61       102    132.75     23.59      5.63   1000000         0
986.53/986.84	c        54       160    133.26     23.69      5.63   1000000         0
988.03/988.33	c        50       169    135.83     22.92      5.93   1000000         0
989.53/989.84	c        59       160    133.82     24.74      5.41   1000000         0
991.03/991.33	c        54       134    134.35     24.13      5.57   1000000         0
992.53/992.81	c        47       154    137.21     23.97      5.72   1000000         0
994.04/994.30	c        55       138    136.62     24.19      5.65   1000000         0
995.43/995.78	c        59       168    138.13     24.79      5.57   1000000         0
996.93/997.27	c        56       141    134.79     24.01      5.61   1000000         0
998.43/998.78	c        52       162    132.39     23.34      5.67   1000000         0
999.93/1000.27	c        61       145    132.51     22.05      6.01   1000000         0
1001.43/1001.76	c        63       140    137.71     25.21      5.46   1000000         0
1002.93/1003.25	c        51       104    140.01     23.72      5.90   1000000         0
1004.43/1004.74	c        55       147    136.44     25.01      5.45   1000000         0
1005.93/1006.24	c        55       130    135.51     24.72      5.48   1000000         0
1007.42/1007.73	c        59       149    133.21     22.24      5.99   1000000         0
1008.92/1009.23	c        67       159    136.65     23.59      5.79   1000000         0
1010.42/1010.71	c        62       148    136.39     24.91      5.47   1000000         0
1011.92/1012.21	c        55       111    134.56     24.90      5.40   1000000         0
1013.32/1013.68	c        63       159    137.00     23.72      5.78   1000000         0
1014.82/1015.17	c        55       142    136.11     23.59      5.77   1000000         0
1016.32/1016.67	c        53       105    137.10     24.28      5.65   1000000         0
1017.82/1018.16	c        56       117    130.55     22.27      5.86   1000000         0
1019.33/1019.66	c        59       110    135.23     25.02      5.41   1000000         0
1020.82/1021.15	c        55       145    136.16     22.86      5.96   1000000         0
1022.32/1022.64	c        55       142    136.45     22.49      6.07   1000000         0
1023.83/1024.14	c        62       108    133.48     23.86      5.60   1000000         0
1025.32/1025.63	c        64       163    132.11     25.53      5.17   1000000         0
1026.82/1027.12	c        62       155    134.83     22.90      5.89   1000000         0
1028.32/1028.60	c        63        88    135.07     23.10      5.85   1000000         0
1029.82/1030.10	c        62       167    133.91     23.62      5.67   1000000         0
1031.32/1031.60	c        63       139    135.16     23.05      5.86   1000000         0
1032.82/1033.11	c        63       152    135.69     24.16      5.62   1000000         0
1034.22/1034.59	c        61       129    136.44     23.11      5.90   1000000         0
1035.72/1036.08	c        48       151    135.29     25.09      5.39   1000000         0
1037.22/1037.57	c        54       109    134.69     25.33      5.32   1000000         0
1038.72/1039.05	c        57       133    135.94     23.81      5.71   1000000         0
1040.22/1040.54	c        61       115    134.61     22.89      5.88   1000000         0
1041.72/1042.03	c        62       142    136.72     24.79      5.51   1000000         0
1043.22/1043.52	c        64       120    136.71     22.77      6.00   1000000         0
1044.72/1045.03	c        60       118    132.77     23.80      5.58   1000000         0
1046.22/1046.52	c        60       137    134.83     22.63      5.96   1000000         0
1047.72/1048.02	c        56       152    136.67     24.63      5.55   1000000         0
1049.21/1049.51	c        54       150    135.10     24.79      5.45   1000000         0
1050.71/1051.02	c        57       138    132.29     23.50      5.63   1000000         0
1052.21/1052.52	c        49       106    133.66     25.26      5.29   1000000         0
1053.71/1054.01	c        60       131    138.57     25.33      5.47   1000000         0
1055.21/1055.51	c        60       149    135.62     25.11      5.40   1000000         0
1056.61/1056.99	c        62       143    139.48     22.24      6.27   1000000         0
1058.11/1058.49	c        56       141    135.33     24.34      5.56   1000000         0
1059.61/1059.99	c        60       127    134.07     23.82      5.63   1000000         0
1061.12/1061.48	c        62       125    135.55     24.97      5.43   1000000         0
1062.61/1062.98	c        62       146    136.03     23.83      5.71   1000000         0
1064.11/1064.48	c        55       156    134.86     24.19      5.57   1000000         0
1065.62/1065.99	c        49       139    135.11     24.12      5.60   1000000         0
1067.11/1067.49	c        68       109    135.14     22.85      5.91   1000000         0
1068.61/1068.98	c        59       113    132.56     22.68      5.85   1000000         0
1070.11/1070.48	c        51       123    134.26     25.11      5.35   1000000         0
1071.61/1071.99	c        62       108    133.51     22.78      5.86   1000000         0
1073.11/1073.48	c        49       110    135.44     22.34      6.06   1000000         0
1074.61/1074.98	c        55       127    133.01     24.17      5.50   1000000         0
1076.11/1076.47	c        58       121    135.30     22.54      6.00   1000000         0
1077.61/1077.97	c        65       174    137.74     24.29      5.67   1000000         0
1079.11/1079.46	c        58       111    135.72     23.55      5.76   1000000         0
1080.61/1080.95	c        56       135    134.80     24.92      5.41   1000000         0
1082.11/1082.43	c        62       137    136.99     24.08      5.69   1000000         0
1083.61/1083.92	c        56       116    133.89     24.41      5.48   1000000         0
1085.11/1085.43	c        59       179    131.46     23.54      5.58   1000000         0
1086.60/1086.94	c        58       124    135.44     24.04      5.63   1000000         0
1088.10/1088.44	c        62       129    135.20     23.54      5.74   1000000         0
1089.60/1089.93	c        54       101    133.21     22.20      6.00   1000000         0
1091.10/1091.42	c        58       159    136.41     24.69      5.53   1000000         0
1092.60/1092.90	c        59       131    135.30     23.28      5.81   1000000         0
1094.11/1094.40	c        59       158    135.34     25.24      5.36   1000000         0
1095.50/1095.89	c        63       141    135.06     23.45      5.76   1000000         0
1097.00/1097.38	c        60       199    137.70     23.83      5.78   1000000         0
1098.51/1098.88	c        56       124    130.11     22.47      5.79   1000000         0
1100.00/1100.39	c        64       145    134.31     23.67      5.67   1000000         0
1101.50/1101.88	c        58       124    135.81     23.38      5.81   1000000         0
1103.01/1103.37	c        44       114    135.21     23.61      5.73   1000000         0
1104.50/1104.88	c        64       126    133.24     22.84      5.83   1000000         0
1106.00/1106.37	c        59       134    137.35     23.70      5.80   1000000         0
1107.50/1107.87	c        56       113    130.61     22.35      5.84   1000000         0
1109.00/1109.36	c        57       134    137.41     23.34      5.89   1000000         0
1110.50/1110.87	c        61       109    134.01     23.74      5.64   1000000         0
1112.00/1112.36	c        53       111    138.05     25.77      5.36   1000000         0
1113.50/1113.86	c        32       105    136.21     24.15      5.64   1000000         0
1115.00/1115.35	c        62       122    135.70     24.45      5.55   1000000         0
1116.50/1116.83	c        44       182    135.10     24.81      5.45   1000000         0
1118.00/1118.34	c        51       133    134.06     23.26      5.76   1000000         0
1119.50/1119.83	c        51       130    134.12     21.47      6.25   1000000         0
1120.99/1121.33	c        58       114    133.52     24.03      5.56   1000000         0
1122.49/1122.82	c        57       136    135.89     23.31      5.83   1000000         0
1123.99/1124.31	c        60       134    133.75     23.72      5.64   1000000         0
1125.49/1125.80	c        65       144    136.35     23.90      5.70   1000000         0
1126.99/1127.31	c        59       151    132.31     23.42      5.65   1000000         0
1128.49/1128.81	c        58       141    137.01     23.39      5.86   1000000         0
1129.99/1130.32	c        56       189    133.50     23.06      5.79   1000000         0
1131.50/1131.82	c        52       128    134.84     23.36      5.77   1000000         0
1132.99/1133.31	c        48       121    131.95     23.78      5.55   1000000         0
1134.49/1134.80	c        55       130    136.34     24.70      5.52   1000000         0
1136.00/1136.30	c        56        94    132.91     23.04      5.77   1000000         0
1137.49/1137.81	c        59       137    130.41     22.89      5.70   1000000         0
1138.99/1139.30	c        55       126    133.68     25.34      5.28   1000000         0
1140.40/1140.80	c        58       130    134.69     23.21      5.80   1000000         0
1141.99/1142.30	c        64       130    138.37     23.74      5.83   1000000         0
1143.39/1143.78	c        64       138    137.71     24.04      5.73   1000000         0
1144.89/1145.27	c        63       136    135.11     22.66      5.96   1000000         0
1146.39/1146.76	c        69       142    139.22     24.53      5.68   1000000         0
1147.89/1148.26	c        59       137    136.29     23.85      5.71   1000000         0
1149.39/1149.75	c        58       118    133.37     23.70      5.63   1000000         0
1150.89/1151.24	c        59       142    133.02     23.11      5.76   1000000         0
1152.39/1152.73	c        59       137    135.60     24.73      5.48   1000000         0
1153.88/1154.22	c        64       139    139.77     23.04      6.07   1000000         0
1155.38/1155.72	c        55       140    133.04     24.20      5.50   1000000         0
1156.89/1157.21	c        51       124    133.66     22.86      5.85   1000000         0
1158.38/1158.70	c        61       132    137.30     23.31      5.89   1000000         0
1159.78/1160.19	c        62       108    139.17     24.63      5.65   1000000         0
1161.29/1161.69	c        60       131    133.83     21.81      6.14   1000000         0
1162.78/1163.18	c        57       123    133.01     23.04      5.77   1000000         0
1164.28/1164.66	c        61       176    137.85     23.36      5.90   1000000         0
1165.79/1166.15	c        54       125    135.77     23.30      5.83   1000000         0
1167.29/1167.63	c        56       108    137.58     23.13      5.95   1000000         0
1168.79/1169.12	c        67       139    135.75     23.06      5.89   1000000         0
1170.29/1170.63	c        62       123    132.25     23.12      5.72   1000000         0
1171.79/1172.11	c        60        99    138.35     25.73      5.38   1000000         0
1173.30/1173.62	c        58       123    132.84     22.19      5.99   1000000         0
1174.79/1175.11	c        65       154    135.35     23.72      5.71   1000000         0
1176.29/1176.61	c        57       160    133.62     23.56      5.67   1000000         0
1177.79/1178.11	c        54       138    134.91     24.48      5.51   1000000         0
1179.29/1179.61	c        52       146    135.79     24.45      5.55   1000000         0
1180.79/1181.10	c        53       117    136.58     23.37      5.84   1000000         0
1182.29/1182.60	c        65        95    136.86     22.74      6.02   1000000         0
1183.69/1184.08	c        59       158    134.98     24.43      5.52   1000000         0
1185.19/1185.56	c        65       193    139.49     23.93      5.83   1000000         0
1186.68/1187.06	c        54       120    136.60     24.33      5.61   1000000         0
1188.18/1188.55	c        63        96    136.79     23.94      5.71   1000000         0
1189.68/1190.04	c        55       127    135.54     24.00      5.65   1000000         0
1191.18/1191.53	c        56       106    134.60     23.61      5.70   1000000         0
1192.68/1193.03	c        62       131    135.79     24.09      5.64   1000000         0
1194.19/1194.53	c        55       148    137.21     24.70      5.55   1000000         0
1195.68/1196.03	c        58       157    135.22     23.40      5.78   1000000         0
1197.18/1197.52	c        57       117    136.09     23.04      5.91   1000000         0
1198.69/1199.01	c        60       129    136.47     24.13      5.65   1000000         0
1200.18/1200.51	c        59       126    133.10     22.48      5.92   1000000         0
1201.68/1202.01	c        47       164    136.70     25.50      5.36   1000000         0
1203.18/1203.50	c        54       143    134.81     23.06      5.85   1000000         0
1204.68/1205.00	c        60       105    134.44     23.89      5.63   1000000         0
1206.18/1206.50	c        52       142    132.73     22.67      5.86   1000000         0
1207.58/1207.99	c        51       115    138.44     26.45      5.24   1000000         0
1209.08/1209.50	c        53       163    136.21     23.80      5.72   1000000         0
1210.58/1211.00	c        55       118    136.94     24.53      5.58   1000000         0
1212.18/1212.50	c        44       111    133.74     22.69      5.89   1000000         0
1213.68/1214.00	c        60       164    134.17     22.87      5.87   1000000         0
1215.08/1215.50	c        57       163    136.53     26.26      5.20   1000000         0
1216.58/1217.00	c        57       144    135.29     23.05      5.87   1000000         0
1218.18/1218.50	c        60       111    135.47     24.73      5.48   1000000         0
1219.58/1219.99	c        61       182    134.85     23.93      5.63   1000000         0
1221.08/1221.47	c        68       130    140.37     25.00      5.61   1000000         0
1222.58/1222.97	c        59       164    134.08     24.34      5.51   1000000         0
1224.08/1224.47	c        63       120    135.25     23.24      5.82   1000000         0
1225.57/1225.97	c        54       120    133.96     22.88      5.86   1000000         0
1227.07/1227.45	c        66       157    137.67     23.62      5.83   1000000         0
1228.57/1228.95	c        59       121    135.49     24.40      5.55   1000000         0
1230.07/1230.43	c        58       137    135.66     22.91      5.92   1000000         0
1231.58/1231.92	c        61       137    138.80     22.92      6.06   1000000         0
1233.07/1233.43	c        53       145    132.67     22.84      5.81   1000000         0
1234.57/1234.91	c        57       100    135.32     24.63      5.49   1000000         0
1236.08/1236.42	c        59       124    132.42     23.09      5.74   1000000         0
1237.57/1237.91	c        56       149    134.38     22.80      5.89   1000000         0
1239.07/1239.41	c        45       137    133.94     23.98      5.58   1000000         0
1240.57/1240.91	c        58       153    134.01     23.17      5.78   1000000         0
1242.07/1242.41	c        54       166    132.46     23.31      5.68   1000000         0
1243.57/1243.90	c        56       149    134.94     22.49      6.00   1000000         0
1245.07/1245.40	c        56       104    135.21     25.13      5.38   1000000         0
1246.47/1246.89	c        51       150    133.00     23.03      5.77   1000000         0
1247.97/1248.38	c        60       105    134.14     23.99      5.59   1000000         0
1249.47/1249.88	c        47       137    135.83     23.16      5.86   1000000         0
1250.97/1251.38	c        56        96    134.96     23.24      5.81   1000000         0
1252.48/1252.88	c        54       130    132.85     22.67      5.86   1000000         0
1253.97/1254.38	c        63       114    133.90     23.38      5.73   1000000         0
1255.47/1255.89	c        59       126    133.92     23.61      5.67   1000000         0
1256.97/1257.38	c        60       101    135.36     23.76      5.70   1000000         0
1258.47/1258.88	c        53       137    132.46     24.52      5.40   1000000         0
1259.97/1260.37	c        62       156    134.42     23.21      5.79   1000000         0
1261.47/1261.87	c        57       127    133.94     22.82      5.87   1000000         0
1262.97/1263.35	c        61       120    138.69     23.81      5.83   1000000         0
1264.46/1264.85	c        58       164    136.03     23.93      5.68   1000000         0
1265.96/1266.33	c        60       145    138.30     25.87      5.35   1000000         0
1267.46/1267.83	c        57       156    135.36     24.16      5.60   1000000         0
1268.97/1269.32	c        54       159    133.06     23.46      5.67   1000000         0
1270.46/1270.82	c        62       103    136.99     23.14      5.92   1000000         0
1271.96/1272.31	c        52       159    135.18     23.02      5.87   1000000         0
1273.37/1273.80	c        58       117    134.94     23.14      5.83   1000000         0
1274.96/1275.30	c        63       132    135.15     22.29      6.06   1000000         0
1276.46/1276.81	c        58       118    134.64     25.01      5.38   1000000         0
1277.96/1278.30	c        66       123    138.28     23.83      5.80   1000000         0
1279.36/1279.79	c        63       115    138.17     23.12      5.98   1000000         0
1280.86/1281.28	c        53       132    135.46     22.95      5.90   1000000         0
1282.36/1282.80	c        62       171    134.05     24.40      5.49   1000000         0
1283.86/1284.29	c        62       139    136.70     25.31      5.40   1000000         0
1285.36/1285.79	c        60       139    136.51     23.67      5.77   1000000         0
1286.86/1287.27	c        50       102    136.23     25.02      5.44   1000000         0
1288.36/1288.75	c        62        90    137.70     24.14      5.70   1000000         0
1289.86/1290.26	c        55       118    135.19     24.59      5.50   1000000         0
1291.36/1291.75	c        52       166    134.71     24.15      5.58   1000000         0
1292.86/1293.23	c        66       150    137.72     26.91      5.12   1000000         0
1294.37/1294.73	c        52       150    131.78     23.55      5.60   1000000         0
1295.86/1296.22	c        66       145    135.20     22.57      5.99   1000000         0
1297.36/1297.71	c        61       125    134.56     23.26      5.79   1000000         0
1298.86/1299.20	c        64       160    135.47     24.17      5.61   1000000         0
1300.26/1300.69	c        57       114    135.74     22.85      5.94   1000000         0
1301.76/1302.17	c        57       105    135.84     24.32      5.59   1000000         0
1303.25/1303.67	c        57       164    136.98     24.64      5.56   1000000         0
1304.75/1305.18	c        60       151    134.11     24.46      5.48   1000000         0
1306.25/1306.68	c        64       137    134.25     23.85      5.63   1000000         0
1307.75/1308.18	c        51       127    133.09     23.83      5.59   1000000         0
1309.25/1309.66	c        55       141    135.45     24.72      5.48   1000000         0
1310.76/1311.15	c        60       115    136.03     23.62      5.76   1000000         0
1312.25/1312.64	c        60       138    137.35     25.08      5.48   1000000         0
1313.75/1314.14	c        57       117    131.70     23.17      5.68   1000000         0
1315.26/1315.63	c        62       145    132.43     23.58      5.62   1000000         0
1316.75/1317.13	c        60       136    132.79     22.21      5.98   1000000         0
1318.25/1318.63	c        52        99    135.70     23.90      5.68   1000000         0
1319.75/1320.12	c        60       115    136.33     22.88      5.96   1000000         0
1321.25/1321.62	c        59       154    133.21     24.69      5.40   1000000         0
1322.75/1323.11	c        48       117    134.27     24.79      5.42   1000000         0
1324.25/1324.61	c        36       160    135.64     24.71      5.49   1000000         0
1325.75/1326.10	c        67        98    134.48     24.08      5.58   1000000         0
1327.26/1327.61	c        60       102    132.20     22.58      5.86   1000000         0
1328.75/1329.11	c        60       124    133.15     23.66      5.63   1000000         0
1330.25/1330.60	c        65       156    136.26     23.61      5.77   1000000         0
1331.65/1332.09	c        61       145    135.18     23.79      5.68   1000000         0
1333.15/1333.60	c        62       119    136.12     24.56      5.54   1000000         0
1334.75/1335.10	c        65       132    135.90     25.01      5.43   1000000         0
1336.15/1336.59	c        60       122    135.39     23.78      5.69   1000000         0
1337.65/1338.09	c        50       171    137.63     24.23      5.68   1000000         0
1339.15/1339.58	c        61       114    134.56     26.88      5.01   1000000         0
1340.65/1341.07	c        55       147    135.01     24.55      5.50   1000000         0
1342.14/1342.58	c        53       140    130.96     22.80      5.74   1000000         0
1343.64/1344.07	c        62       119    136.09     23.01      5.91   1000000         0
1345.14/1345.56	c        59        96    132.52     24.17      5.48   1000000         0
1346.64/1347.06	c        56       154    131.96     23.86      5.53   1000000         0
1348.15/1348.56	c        58       162    133.64     24.18      5.53   1000000         0
1349.64/1350.05	c        51       149    137.25     25.08      5.47   1000000         0
1351.14/1351.55	c        61       134    133.70     22.79      5.87   1000000         0
1352.65/1353.04	c        61       153    137.48     23.35      5.89   1000000         0
1354.14/1354.53	c        54       146    134.40     23.42      5.74   1000000         0
1355.64/1356.02	c        54       110    134.49     26.12      5.15   1000000         0
1357.14/1357.50	c        59       162    139.16     23.41      5.94   1000000         0
1358.64/1359.00	c        57       123    135.61     24.32      5.58   1000000         0
1360.14/1360.50	c        49       142    130.99     23.57      5.56   1000000         0
1361.54/1362.00	c        61       134    137.17     23.65      5.80   1000000         0
1363.04/1363.49	c        58       142    134.85     23.90      5.64   1000000         0
1364.65/1365.00	c        48       139    131.58     23.50      5.60   1000000         0
1366.04/1366.49	c        63       107    135.05     23.38      5.78   1000000         0
1367.54/1367.98	c        62       160    139.39     26.04      5.35   1000000         0
1369.04/1369.47	c        48       143    135.01     24.73      5.46   1000000         0
1370.54/1370.95	c        63       112    136.81     23.34      5.86   1000000         0
1372.04/1372.45	c        55       159    130.47     22.76      5.73   1000000         0
1373.54/1373.96	c        57       133    132.07     23.21      5.69   1000000         0
1375.03/1375.46	c        58       148    134.19     23.87      5.62   1000000         0
1376.53/1376.95	c        61       125    133.35     23.17      5.75   1000000         0
1378.03/1378.45	c        61       116    135.38     23.79      5.69   1000000         0
1379.53/1379.95	c        57        64    134.13     23.96      5.60   1000000         0
1381.03/1381.44	c        58       118    133.95     23.14      5.79   1000000         0
1382.53/1382.94	c        58       108    133.49     22.11      6.04   1000000         0
1384.03/1384.44	c        62       158    135.16     23.61      5.72   1000000         0
1385.54/1385.95	c        42       148    133.40     24.98      5.34   1000000         0
1387.03/1387.43	c        60       143    135.99     24.34      5.59   1000000         0
1388.53/1388.92	c        58       127    136.51     23.90      5.71   1000000         0
1390.04/1390.41	c        66       128    135.34     23.92      5.66   1000000         0
1391.53/1391.91	c        60       132    132.35     22.56      5.87   1000000         0
1393.03/1393.41	c        59       129    135.57     23.73      5.71   1000000         0
1394.44/1394.89	c        53       136    135.30     24.15      5.60   1000000         0
1395.93/1396.39	c        61       115    132.98     25.41      5.23   1000000         0
1397.43/1397.89	c        54       191    135.00     23.75      5.68   1000000         0
1398.93/1399.38	c        61       135    135.74     23.71      5.72   1000000         0
1400.43/1400.88	c        50       132    132.63     23.94      5.54   1000000         0
1401.93/1402.38	c        58       142    133.24     24.66      5.40   1000000         0
1403.43/1403.89	c        63       146    137.83     24.00      5.74   1000000         0
1404.93/1405.38	c        58       132    136.26     23.25      5.86   1000000         0
1406.43/1406.88	c        54       130    133.86     23.88      5.61   1000000         0
1407.93/1408.36	c        49       167    137.89     22.83      6.04   1000000         0
1409.43/1409.86	c        58       114    132.46     23.25      5.70   1000000         0
1410.93/1411.35	c        60       128    136.45     24.05      5.67   1000000         0
1412.43/1412.84	c        56       121    134.67     22.25      6.05   1000000         0
1413.93/1414.34	c        61       110    135.19     22.91      5.90   1000000         0
1415.43/1415.82	c        59       111    137.65     24.14      5.70   1000000         0
1416.82/1417.29	c        66       132    139.16     23.04      6.04   1000000         0
1418.32/1418.79	c        55       140    136.57     25.64      5.33   1000000         0
1419.82/1420.28	c        60       109    135.23     23.41      5.78   1000000         0
1421.32/1421.77	c        63       136    137.81     23.79      5.79   1000000         0
1422.82/1423.27	c        59       131    132.01     23.79      5.55   1000000         0
1424.32/1424.76	c        49       173    134.20     24.03      5.58   1000000         0
1425.82/1426.27	c        53       147    134.90     22.61      5.97   1000000         0
1427.33/1427.76	c        52       146    134.51     23.62      5.70   1000000         0
1428.82/1429.25	c        65       102    136.54     23.42      5.83   1000000         0
1430.32/1430.75	c        51       104    133.51     23.26      5.74   1000000         0
1431.83/1432.24	c        59       115    133.14     24.24      5.49   1000000         0
1433.32/1433.72	c        59       157    134.37     23.57      5.70   1000000         0
1434.82/1435.21	c        55       129    137.69     23.67      5.82   1000000         0
1436.32/1436.71	c        56        97    136.69     25.42      5.38   1000000         0
1437.82/1438.21	c        61       148    133.94     24.30      5.51   1000000         0
1439.32/1439.71	c        55       145    132.97     23.56      5.64   1000000         0
1440.82/1441.21	c        58       119    136.18     23.97      5.68   1000000         0
1442.32/1442.70	c        59       119    132.23     23.99      5.51   1000000         0
1443.82/1444.21	c        58       145    133.55     22.76      5.87   1000000         0
1445.32/1445.72	c        63       146    132.33     23.73      5.58   1000000         0
1446.82/1447.20	c        61       111    134.83     23.70      5.69   1000000         0
1448.22/1448.69	c        59        93    133.67     23.00      5.81   1000000         0
1449.72/1450.18	c        49       157    133.89     24.95      5.37   1000000         0
1451.22/1451.68	c        53       176    133.74     24.18      5.53   1000000         0
1452.72/1453.17	c        59       142    138.86     24.75      5.61   1000000         0
1454.21/1454.66	c        60       152    135.06     23.28      5.80   1000000         0
1455.71/1456.16	c        61       114    135.55     22.44      6.04   1000000         0
1457.21/1457.65	c        57       120    136.57     23.59      5.79   1000000         0
1458.71/1459.16	c        60       164    134.39     22.19      6.06   1000000         0
1460.21/1460.66	c        59        97    135.99     24.29      5.60   1000000         0
1461.71/1462.15	c        60       117    134.00     23.10      5.80   1000000         0
1463.21/1463.65	c        55       132    133.15     23.72      5.61   1000000         0
1464.72/1465.14	c        66       136    136.77     22.40      6.10   1000000         0
1466.21/1466.64	c        59       157    132.80     22.61      5.87   1000000         0
1467.71/1468.14	c        59       102    133.50     23.49      5.68   1000000         0
1469.22/1469.63	c        56       132    138.23     24.44      5.66   1000000         0
1470.71/1471.12	c        60        93    135.32     23.44      5.77   1000000         0
1472.21/1472.61	c        58       146    137.16     25.59      5.36   1000000         0
1473.71/1474.10	c        56       146    134.13     22.85      5.87   1000000         0
1475.11/1475.60	c        62       143    134.28     22.95      5.85   1000000         0
1476.71/1477.10	c        60        97    135.09     24.81      5.45   1000000         0
1478.11/1478.59	c        61       123    137.12     23.22      5.90   1000000         0
1479.61/1480.08	c        58       156    132.63     23.62      5.61   1000000         0
1481.11/1481.57	c        49       180    134.00     24.51      5.47   1000000         0
1482.61/1483.07	c        66       129    138.02     24.47      5.64   1000000         0
1484.11/1484.56	c        56       132    138.60     25.40      5.46   1000000         0
1485.61/1486.05	c        54       142    134.47     23.94      5.62   1000000         0
1487.11/1487.53	c        67       135    140.78     24.07      5.85   1000000         0
1488.61/1489.03	c        54       128    133.20     23.12      5.76   1000000         0
1490.11/1490.53	c        55       149    131.31     23.32      5.63   1000000         0
1491.61/1492.03	c        56       130    134.43     24.95      5.39   1000000         0
1493.11/1493.52	c        61       149    135.95     22.21      6.12   1000000         0
1494.60/1495.00	c        48       120    133.19     24.13      5.52   1000000         0
1496.00/1496.49	c        61       184    136.09     22.77      5.98   1000000         0
1497.50/1497.98	c        52       122    134.39     24.06      5.59   1000000         0
1499.00/1499.48	c        64       134    132.92     23.25      5.72   1000000         0
1500.50/1500.97	c        58       177    137.28     24.50      5.60   1000000         0
1502.00/1502.48	c        62       128    133.82     25.02      5.35   1000000         0
1503.50/1503.96	c        66       146    137.65     22.54      6.11   1000000         0
1505.00/1505.46	c        64       194    135.25     23.34      5.79   1000000         0
1506.51/1506.96	c        54       147    137.76     24.37      5.65   1000000         0
1508.00/1508.45	c        53       103    135.74     24.10      5.63   1000000         0
1509.50/1509.93	c        51       101    139.71     23.84      5.86   1000000         0
1511.01/1511.43	c        60       140    138.01     23.49      5.87   1000000         0
1512.50/1512.91	c        59       167    137.41     24.16      5.69   1000000         0
1514.00/1514.41	c        63       114    136.11     24.52      5.55   1000000         0
1515.50/1515.90	c        52       110    134.44     23.51      5.72   1000000         0
1516.90/1517.39	c        59       132    135.30     24.52      5.52   1000000         0
1518.40/1518.89	c        51       170    133.85     25.22      5.31   1000000         0
1520.00/1520.40	c        58        88    132.32     24.18      5.47   1000000         0
1521.50/1521.91	c        56       139    133.14     24.46      5.44   1000000         0
1523.00/1523.40	c        61       131    134.52     23.32      5.77   1000000         0
1524.50/1524.90	c        55       133    136.56     25.33      5.39   1000000         0
1525.90/1526.39	c        57       170    136.22     23.28      5.85   1000000         0
1527.40/1527.89	c        62       150    134.56     24.12      5.58   1000000         0
1528.89/1529.39	c        59       111    134.49     23.22      5.79   1000000         0
1530.40/1530.88	c        52       148    134.51     23.90      5.63   1000000         0
1531.90/1532.37	c        58       164    136.25     24.40      5.59   1000000         0
1533.39/1533.87	c        62       123    131.56     23.15      5.68   1000000         0
1534.89/1535.37	c        55       165    133.04     24.02      5.54   1000000         0
1536.39/1536.87	c        59       148    132.62     23.03      5.76   1000000         0
1537.89/1538.35	c        65       135    139.20     23.37      5.96   1000000         0
1539.39/1539.84	c        54       137    135.20     25.32      5.34   1000000         0
1540.89/1541.34	c        61       132    134.16     24.61      5.45   1000000         0
1542.39/1542.84	c        48       130    135.43     24.53      5.52   1000000         0
1543.90/1544.33	c        63       125    135.83     23.76      5.72   1000000         0
1545.39/1545.83	c        62       164    136.27     23.17      5.88   1000000         0
1546.89/1547.32	c        58       122    135.22     22.29      6.07   1000000         0
1548.40/1548.81	c        59       164    137.81     24.19      5.70   1000000         0
1549.89/1550.30	c        62       138    136.60     23.51      5.81   1000000         0
1551.29/1551.78	c        55       152    132.98     24.23      5.49   1000000         0
1552.80/1553.27	c        53       111    137.99     24.41      5.65   1000000         0
1554.29/1554.76	c        52       144    134.13     24.65      5.44   1000000         0
1555.79/1556.27	c        57       104    132.29     23.36      5.66   1000000         0
1557.29/1557.77	c        60       182    135.06     24.75      5.46   1000000         0
1558.79/1559.27	c        55       126    132.42     24.47      5.41   1000000         0
1560.29/1560.78	c        55       131    131.96     25.06      5.27   1000000         0
1561.79/1562.28	c        54       144    132.06     22.85      5.78   1000000         0
1563.29/1563.77	c        52       142    136.02     24.39      5.58   1000000         0
1564.79/1565.28	c        64       141    134.24     24.43      5.49   1000000         0
1566.29/1566.78	c        57       112    135.21     23.71      5.70   1000000         0
1567.79/1568.28	c        53       121    134.21     22.94      5.85   1000000         0
1569.29/1569.79	c        63       121    135.87     24.73      5.49   1000000         0
1570.78/1571.28	c        63       166    136.25     24.28      5.61   1000000         0
1572.28/1572.79	c        52       147    133.93     24.25      5.52   1000000         0
1573.78/1574.29	c        51       149    134.86     24.54      5.50   1000000         0
1575.28/1575.78	c        58       147    135.06     24.72      5.46   1000000         0
1576.78/1577.29	c        58       122    133.93     25.76      5.20   1000000         0
1578.28/1578.79	c        58       164    135.76     22.84      5.94   1000000         0
1579.78/1580.27	c        69       110    137.49     23.19      5.93   1000000         0
1581.29/1581.77	c        59       142    132.47     23.54      5.63   1000000         0
1582.78/1583.27	c        58       171    133.00     23.61      5.63   1000000         0
1584.28/1584.76	c        51       131    132.59     23.61      5.62   1000000         0
1585.79/1586.27	c        59       106    135.51     22.94      5.91   1000000         0
1587.28/1587.76	c        57       124    133.04     22.49      5.91   1000000         0
1588.78/1589.25	c        65       114    138.18     23.52      5.88   1000000         0
1590.28/1590.73	c        62       145    137.75     23.87      5.77   1000000         0
1591.78/1592.22	c        53       132    134.37     22.56      5.96   1000000         0
1593.28/1593.73	c        49       133    135.01     24.96      5.41   1000000         0
1594.78/1595.23	c        63       142    137.07     25.10      5.46   1000000         0
1596.28/1596.71	c        61       180    133.45     22.06      6.05   1000000         0
1597.78/1598.20	c        39       120    135.27     23.13      5.85   1000000         0
1599.28/1599.70	c        61       147    133.71     24.70      5.41   1000000         0
1600.78/1601.20	c        60       138    132.34     24.21      5.47   1000000         0
1602.18/1602.70	c        59       137    134.88     23.40      5.76   1000000         0
1603.68/1604.19	c        62       132    135.00     22.91      5.89   1000000         0
1605.17/1605.69	c        54       127    133.38     24.27      5.50   1000000         0
1606.68/1607.19	c        58       160    133.31     24.46      5.45   1000000         0
1608.17/1608.67	c        61       158    134.75     23.48      5.74   1000000         0
1609.67/1610.18	c        61       141    134.97     23.50      5.74   1000000         0
1611.17/1611.68	c        50       136    133.68     23.87      5.60   1000000         0
1612.67/1613.18	c        60       145    136.48     23.00      5.93   1000000         0
1614.17/1614.67	c        60       122    135.39     24.08      5.62   1000000         0
1615.67/1616.17	c        62       110    131.91     23.14      5.70   1000000         0
1617.17/1617.66	c        50       173    136.42     23.97      5.69   1000000         0
1618.68/1619.16	c        52       147    133.37     22.35      5.97   1000000         0
1620.17/1620.64	c        60       116    135.63     23.45      5.78   1000000         0
1621.67/1622.14	c        49       176    135.72     22.99      5.90   1000000         0
1623.18/1623.63	c        62       125    135.39     24.58      5.51   1000000         0
1624.67/1625.12	c        52       116    134.28     24.58      5.46   1000000         0
1626.17/1626.61	c        64       116    135.35     24.15      5.60   1000000         0
1627.67/1628.11	c        56       140    136.16     23.82      5.72   1000000         0
1629.17/1629.60	c        56       107    133.36     22.68      5.88   1000000         0
1630.57/1631.09	c        56       124    135.65     24.51      5.53   1000000         0
1632.07/1632.58	c        60       106    135.03     23.92      5.65   1000000         0
1633.57/1634.08	c        51       132    134.62     23.65      5.69   1000000         0
1635.07/1635.58	c        60       190    135.17     23.02      5.87   1000000         0
1636.57/1637.09	c        55       134    134.51     23.29      5.77   1000000         0
1638.07/1638.59	c        58       101    134.64     23.65      5.69   1000000         0
1639.57/1640.09	c        56       130    132.78     23.77      5.59   1000000         0
1641.07/1641.59	c        53       115    135.28     22.74      5.95   1000000         0
1642.57/1643.09	c        61       194    133.68     22.59      5.92   1000000         0
1644.07/1644.57	c        53       133    136.54     25.17      5.42   1000000         0
1645.56/1646.06	c        62       178    136.41     22.91      5.95   1000000         0
1647.06/1647.56	c        55       125    135.23     23.70      5.71   1000000         0
1648.56/1649.06	c        61       167    133.97     23.42      5.72   1000000         0
1650.06/1650.56	c        59       141    131.30     24.27      5.41   1000000         0
1651.56/1652.06	c        51        95    134.28     24.28      5.53   1000000         0
1653.06/1653.54	c        50       164    137.61     23.99      5.73   1000000         0
1654.56/1655.03	c        66       101    136.23     23.23      5.86   1000000         0
1656.07/1656.54	c        58       139    134.72     22.32      6.04   1000000         0
1657.56/1658.03	c        62       149    138.73     24.70      5.62   1000000         0
1659.06/1659.54	c        58       146    133.86     25.42      5.27   1000000         0
1660.57/1661.03	c        55       112    133.88     24.24      5.52   1000000         0
1662.06/1662.52	c        60       129    135.63     22.36      6.07   1000000         0
1663.56/1664.02	c        64       159    136.63     22.52      6.07   1000000         0
1665.06/1665.52	c        56       166    134.68     22.24      6.06   1000000         0
1666.56/1667.03	c        59       152    135.31     24.00      5.64   1000000         0
1668.06/1668.52	c        63       101    132.40     22.57      5.87   1000000         0
1669.56/1670.03	c        56        86    132.28     22.78      5.81   1000000         0
1671.06/1671.52	c        58       159    138.43     23.59      5.87   1000000         0
1672.57/1673.01	c        59       108    136.51     22.76      6.00   1000000         0
1674.06/1674.51	c        62       109    133.98     24.20      5.54   1000000         0
1675.56/1676.00	c        55       154    135.03     25.17      5.37   1000000         0
1676.96/1677.48	c        64       155    138.55     23.19      5.98   1000000         0
1678.46/1678.98	c        62       134    134.14     23.68      5.67   1000000         0
1679.96/1680.46	c        52       158    137.90     24.20      5.70   1000000         0
1681.46/1681.95	c        58       125    139.11     25.17      5.53   1000000         0
1682.96/1683.45	c        51       148    133.63     22.14      6.04   1000000         0
1684.45/1684.95	c        57       122    136.35     23.58      5.78   1000000         0
1685.95/1686.45	c        53       126    136.40     24.02      5.68   1000000         0
1687.45/1687.94	c        65       127    133.92     23.35      5.73   1000000         0
1688.95/1689.44	c        57       148    132.85     22.97      5.78   1000000         0
1690.45/1690.93	c        57       122    134.00     22.87      5.86   1000000         0
1691.95/1692.43	c        59       122    136.39     23.98      5.69   1000000         0
1693.46/1693.92	c        63       129    135.88     24.71      5.50   1000000         0
1694.95/1695.41	c        57       125    133.18     23.26      5.72   1000000         0
1696.35/1696.89	c        58       162    137.95     24.35      5.67   1000000         0
1697.86/1698.39	c        56       129    135.71     22.86      5.94   1000000         0
1699.35/1699.89	c        58       140    133.59     24.56      5.44   1000000         0
1700.85/1701.39	c        51       167    135.70     24.35      5.57   1000000         0
1702.36/1702.89	c        57       119    134.10     25.33      5.29   1000000         0
1703.85/1704.38	c        63       130    135.37     24.63      5.50   1000000         0
1705.35/1705.88	c        62       134    132.82     23.21      5.72   1000000         0
1706.85/1707.39	c        55       135    132.81     24.26      5.47   1000000         0
1708.35/1708.88	c        61       122    136.58     24.07      5.68   1000000         0
1709.85/1710.37	c        61       138    134.97     23.87      5.65   1000000         0
1711.35/1711.85	c        62       134    135.58     23.10      5.87   1000000         0
1712.85/1713.34	c        56       124    135.70     23.88      5.68   1000000         0
1714.35/1714.84	c        65       113    135.93     23.13      5.88   1000000         0
1715.85/1716.35	c        59       177    133.10     23.75      5.60   1000000         0
1717.35/1717.83	c        59       135    139.42     23.92      5.83   1000000         0
1718.85/1719.32	c        54       130    133.24     24.98      5.33   1000000         0
1720.35/1720.82	c        62       141    135.28     23.59      5.73   1000000         0
1721.85/1722.32	c        47       173    137.07     23.60      5.81   1000000         0
1723.35/1723.80	c        60       120    139.19     22.75      6.12   1000000         0
1724.84/1725.30	c        60       152    131.86     25.87      5.10   1000000         0
1726.24/1726.79	c        59       138    136.35     24.34      5.60   1000000         0
1727.74/1728.28	c        49       169    135.54     24.25      5.59   1000000         0
1729.34/1729.80	c        51       150    134.15     24.26      5.53   1000000         0
1730.74/1731.29	c        65       125    133.54     22.14      6.03   1000000         0
1732.24/1732.79	c        64       111    134.71     24.40      5.52   1000000         0
1733.74/1734.28	c        62       107    135.93     22.47      6.05   1000000         0
1735.25/1735.77	c        57       102    134.55     23.51      5.72   1000000         0
1736.74/1737.27	c        55        83    135.64     25.94      5.23   1000000         0
1738.24/1738.77	c        58       117    133.25     22.96      5.80   1000000         0
1739.75/1740.27	c        65       119    134.85     25.14      5.36   1000000         0
1741.24/1741.76	c        52        96    134.60     24.52      5.49   1000000         0
1742.74/1743.26	c        55       159    135.87     22.60      6.01   1000000         0
1744.24/1744.74	c        62       115    137.25     22.82      6.01   1000000         0
1745.74/1746.24	c        57       126    130.60     25.26      5.17   1000000         0
1747.24/1747.72	c        62       148    137.39     23.65      5.81   1000000         0
1748.74/1749.22	c        60       114    131.47     22.94      5.73   1000000         0
1750.24/1750.73	c        58       137    133.57     23.62      5.65   1000000         0
1751.74/1752.22	c        65       115    139.16     23.29      5.97   1000000         0
1753.24/1753.72	c        57       157    133.32     22.94      5.81   1000000         0
1754.74/1755.22	c        59       136    135.74     24.96      5.44   1000000         0
1756.24/1756.71	c        63       135    132.82     23.91      5.55   1000000         0
1757.74/1758.21	c        62       176    134.25     23.22      5.78   1000000         0
1759.23/1759.71	c        49       134    136.19     23.88      5.70   1000000         0
1760.73/1761.20	c        57       122    136.15     22.91      5.94   1000000         0
1762.23/1762.70	c        59       159    135.05     23.21      5.82   1000000         0
1763.63/1764.19	c        50       111    133.84     24.04      5.57   1000000         0
1765.23/1765.70	c        49       156    134.01     23.90      5.61   1000000         0
1766.63/1767.19	c        59       144    136.06     23.52      5.79   1000000         0
1768.24/1768.70	c        54       187    133.68     22.39      5.97   1000000         0
1769.73/1770.20	c        59       157    135.14     24.16      5.59   1000000         0
1771.13/1771.69	c        62       142    134.72     23.23      5.80   1000000         0
1772.64/1773.18	c        51       112    136.56     23.54      5.80   1000000         0
1774.13/1774.67	c        61       110    133.33     24.16      5.52   1000000         0
1775.63/1776.17	c        59       131    135.47     24.30      5.58   1000000         0
1777.14/1777.68	c        54       133    135.25     23.09      5.86   1000000         0
1778.63/1779.16	c        55       101    135.65     24.30      5.58   1000000         0
1780.13/1780.66	c        61       155    137.34     25.07      5.48   1000000         0
1781.63/1782.16	c        54       180    136.17     23.62      5.77   1000000         0
1783.13/1783.66	c        47       144    133.93     24.29      5.51   1000000         0
1784.63/1785.16	c        56       137    134.61     23.78      5.66   1000000         0
1786.13/1786.66	c        52       128    133.16     24.19      5.51   1000000         0
1787.63/1788.16	c        61       134    135.14     24.63      5.49   1000000         0
1789.14/1789.66	c        49       124    135.62     23.36      5.80   1000000         0
1790.63/1791.16	c        50       179    131.34     23.24      5.65   1000000         0
1792.13/1792.66	c        54       118    133.51     23.12      5.77   1000000         0
1793.63/1794.15	c        43       134    135.73     24.27      5.59   1000000         0
1795.13/1795.64	c        61       166    137.72     25.01      5.51   1000000         0
1796.63/1797.15	c        56       131    132.46     24.31      5.45   1000000         0
1798.13/1798.66	c        63       129    132.88     23.47      5.66   1000000         0
1799.63/1800.15	c        65       133    137.69     22.88      6.02   1000000         0
1800.03/1800.51	HOME/run: line 2: 11547 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-2669889-1276611430/watcher-2669889-1276611430 -o /tmp/evaluation-result-2669889-1276611430/solver-2669889-1276611430 -C 1800 -W 2000 -M 1800 run HOME/instance-2669889-1276611430.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11546
/proc/meminfo: memFree=1524832/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) R 11544 11546 11104 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479636885 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0

[startup+0.075601 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11546
/proc/meminfo: memFree=1524832/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100603 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11546
/proc/meminfo: memFree=1524832/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300624 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11546
/proc/meminfo: memFree=1524832/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700669 s]
/proc/loadavg: 1.00 1.01 1.00 3/106 11546
/proc/meminfo: memFree=1524832/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50075 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11548
/proc/meminfo: memFree=1521468/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1.49
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 842 0 0 0 149 0 0 0 25 0 1 0 2437956 41422848 772 1992294400 134512640 135071400 4287218608 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 772 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10093 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11548
/proc/meminfo: memFree=1521220/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=3.09
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 309 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30127 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11548
/proc/meminfo: memFree=1521096/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=6.29
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 629 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526668 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11550
/proc/meminfo: memFree=1520972/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=12.69
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 1269 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5013 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11550
/proc/meminfo: memFree=1520972/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=25.48
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 2548 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526747 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11550
/proc/meminfo: memFree=1520848/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=51.08
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 5108 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526322 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11552
/proc/meminfo: memFree=1520600/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=102.27
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 10227 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526349 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11554
/proc/meminfo: memFree=1520476/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=162.25
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 16225 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525938 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11554
/proc/meminfo: memFree=1520352/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=222.23
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 22223 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11556
/proc/meminfo: memFree=1520352/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=282.22
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 28222 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.08 1.03 1.01 2/108 11558
/proc/meminfo: memFree=1520228/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=342.2
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 34220 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.07 1.03 1.01 2/108 11560
/proc/meminfo: memFree=1519980/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=402.18
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 40218 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49152

[startup+462.301 s]

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

[pid=11547] ppid=11546 vsize=40452 CPUtime=1121.99
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 112199 0 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.02 1.07 1.02 2/108 11583
/proc/meminfo: memFree=1518244/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1181.99
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 118198 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134519850 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/108 11585
/proc/meminfo: memFree=1517872/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1241.97
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 124196 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/108 11587
/proc/meminfo: memFree=1517872/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1301.96
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 130195 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525991 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/108 11589
/proc/meminfo: memFree=1517748/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1361.94
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 136193 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 11589
/proc/meminfo: memFree=1517624/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1421.93
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 142192 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526801 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/108 11591
/proc/meminfo: memFree=1517624/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1481.91
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 148190 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526500 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11593
/proc/meminfo: memFree=1517624/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1541.89
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 154188 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/108 11595
/proc/meminfo: memFree=1517500/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1601.88
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 160187 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11597
/proc/meminfo: memFree=1517252/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1661.86
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 166185 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11597
/proc/meminfo: memFree=1517128/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1721.85
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 172184 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11599
/proc/meminfo: memFree=1516880/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1781.83
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 178182 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134525804 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11599
/proc/meminfo: memFree=1516880/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1800.03
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 180002 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)
Sleeping 
 seconds
Solver just ended. Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11599
/proc/meminfo: memFree=1516880/2059040 swapFree=4192956/4192956
[pid=11546] ppid=11544 vsize=8700 CPUtime=0
/proc/11546/stat : 11546 (run) S 11544 11546 11104 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 2437955 8908800 243 1992294400 4194304 4922060 140734628188288 18446744073709551615 242479635589 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/11546/statm: 2175 243 204 178 0 68 0
[pid=11547] ppid=11546 vsize=40452 CPUtime=1800.03
/proc/11547/stat : 11547 (PB-wave) R 11546 11546 11104 0 -1 4202496 850 0 0 0 180002 1 0 0 25 0 1 0 2437956 41422848 780 1992294400 134512640 135071400 4287218608 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11547/statm: 10113 780 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 3.21651 second user time and 8.31274 second system time

The end

Launcher Data 

Begin job on node035 at 2010-06-15 16:17:10
IDJOB=2669889
IDBENCH=1491
IDSOLVER=1171
FILE ID=node035/2669889-1276611430
PBS_JOBID= 11172265
Free space on /tmp= 62460 MiB

SOLVER NAME= PB-wave alpha 2
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.2.accl.ucl.opb
COMMAND LINE= run BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669889-1276611430/watcher-2669889-1276611430 -o /tmp/evaluation-result-2669889-1276611430/solver-2669889-1276611430 -C 1800 -W 2000 -M 1800  run HOME/instance-2669889-1276611430.opb

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

MD5SUM BENCH= a1104c8fec3fd69abc0a798c3b6bfa5b
RANDOM SEED=706066931

node035.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.219
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.43
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.219
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1525228 kB
Buffers:         64496 kB
Cached:         328908 kB
SwapCached:          0 kB
Active:         136124 kB
Inactive:       316984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1525228 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             932 kB
Writeback:           0 kB
AnonPages:       59580 kB
Mapped:          15484 kB
Slab:            58840 kB
PageTables:       4040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183228 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= 62460 MiB
End job on node035 at 2010-06-15 16:47:10