Trace number 2669873

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.08 1800.62

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
MD5SUM5c27e468756746c81988dfb461940da4
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 benchmark0.196969
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3939
Total number of constraints10412
Number of constraints which are clauses9740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints672
Minimum length of a constraint1
Maximum length of a constraint13
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 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 258
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.03	c PB-wave - v2
0.00/0.03	c command line = ./PB-wave
0.00/0.03	c seed = 36063703
0.00/0.03	c cutoff = 1000000
0.00/0.03	c tries = 1000000
0.00/0.03	c heuristic = c best, noise 50 / 100
0.00/0.03	#var 3939 #con 10412
0.00/0.03	mode is SAT
0.00/0.03	c tail starts after flip = 11817
0.00/0.03	c numatom = 3939, numclause = 10412, numliterals = 31122
0.00/0.03	c wff read in
0.00/0.03	c 
0.00/0.03	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.03	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.03	c       this      this      this      this      this      this   success   success       until         std
0.00/0.03	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.03	c
1.49/1.50	c       122       228    220.03     35.51      6.20   1000000         0
2.89/2.98	c       111       202    216.75     33.84      6.41   1000000         0
4.40/4.46	c       118       184    216.56     37.50      5.78   1000000         0
5.89/5.92	c       124       289    223.89     37.50      5.97   1000000         0
7.29/7.40	c       118       203    213.34     36.39      5.86   1000000         0
8.80/8.87	c       134       184    221.11     32.20      6.87   1000000         0
10.29/10.34	c       115       217    217.73     33.50      6.50   1000000         0
11.79/11.82	c       113       217    210.88     35.07      6.01   1000000         0
13.29/13.30	c       111       233    218.56     39.19      5.58   1000000         0
14.69/14.78	c       108       208    217.80     35.82      6.08   1000000         0
16.19/16.26	c       121       172    214.45     35.45      6.05   1000000         0
17.69/17.73	c       122       196    218.58     38.79      5.63   1000000         0
19.19/19.21	c       103       248    218.32     34.33      6.36   1000000         0
20.58/20.68	c       126       215    223.16     34.67      6.44   1000000         0
22.08/22.16	c       129       235    221.15     34.77      6.36   1000000         0
23.58/23.63	c       134       196    225.11     33.41      6.74   1000000         0
25.08/25.12	c       123       207    217.64     33.83      6.43   1000000         0
26.48/26.59	c       112       209    224.47     37.74      5.95   1000000         0
27.98/28.07	c       123       222    216.17     35.55      6.08   1000000         0
29.48/29.54	c       123       206    220.65     36.78      6.00   1000000         0
30.98/31.00	c       132       226    221.32     33.76      6.56   1000000         0
32.38/32.48	c       119       198    210.29     36.02      5.84   1000000         0
33.88/33.95	c       125       206    221.01     35.19      6.28   1000000         0
35.38/35.42	c       113       213    218.86     36.27      6.03   1000000         0
36.78/36.89	c       101       207    215.46     39.76      5.42   1000000         0
38.28/38.37	c       103       225    217.23     36.88      5.89   1000000         0
39.78/39.85	c       116       190    219.46     38.09      5.76   1000000         0
41.28/41.32	c       127       229    218.47     37.17      5.88   1000000         0
42.68/42.78	c       117       297    220.52     35.31      6.25   1000000         0
44.18/44.25	c       116       230    220.98     37.75      5.85   1000000         0
45.68/45.72	c       102       231    212.16     37.10      5.72   1000000         0
47.18/47.20	c       121       272    219.45     33.89      6.48   1000000         0
48.58/48.68	c       125       182    214.75     33.92      6.33   1000000         0
50.08/50.15	c       122       202    223.84     36.12      6.20   1000000         0
51.58/51.61	c       121       228    221.16     36.05      6.14   1000000         0
52.98/53.08	c       115       234    213.45     35.76      5.97   1000000         0
54.48/54.57	c       121       181    215.45     33.83      6.37   1000000         0
55.98/56.04	c       125       180    217.58     31.54      6.90   1000000         0
57.48/57.51	c       107       167    218.69     37.57      5.82   1000000         0
58.87/58.99	c       113       226    210.74     37.43      5.63   1000000         0
60.38/60.46	c       111       214    217.08     33.40      6.50   1000000         0
61.87/61.93	c       119       229    222.18     38.03      5.84   1000000         0
63.37/63.40	c       114       207    218.65     39.53      5.53   1000000         0
64.78/64.86	c       119       191    223.67     38.38      5.83   1000000         0
66.27/66.33	c       126       205    219.17     33.79      6.49   1000000         0
67.77/67.80	c       122       222    220.62     35.97      6.13   1000000         0
69.18/69.26	c       111       187    224.10     35.57      6.30   1000000         0
70.67/70.73	c       123       223    221.26     39.07      5.66   1000000         0
72.07/72.19	c       112       209    215.74     38.66      5.58   1000000         0
73.58/73.67	c       122       280    219.30     34.67      6.33   1000000         0
75.07/75.14	c       126       287    229.77     36.11      6.36   1000000         0
76.57/76.61	c       103       223    212.50     37.00      5.74   1000000         0
77.98/78.08	c       113       193    214.37     37.57      5.71   1000000         0
79.47/79.55	c       124       218    223.60     36.58      6.11   1000000         0
80.97/81.01	c       119       157    226.50     34.28      6.61   1000000         0
82.37/82.48	c       123       273    219.34     33.75      6.50   1000000         0
83.87/83.95	c       121       231    214.90     33.80      6.36   1000000         0
85.37/85.43	c       124       212    222.01     35.61      6.23   1000000         0
86.77/86.90	c       127       188    215.74     31.81      6.78   1000000         0
88.27/88.37	c       113       258    214.69     38.12      5.63   1000000         0
89.77/89.84	c       121       203    216.27     34.83      6.21   1000000         0
91.27/91.32	c       111       188    209.61     32.40      6.47   1000000         0
92.66/92.78	c       125       223    218.61     33.22      6.58   1000000         0
94.16/94.26	c        94       269    214.26     37.54      5.71   1000000         0
95.67/95.74	c       117       261    211.06     34.68      6.09   1000000         0
97.16/97.20	c       124       246    221.60     33.53      6.61   1000000         0
98.56/98.69	c       117       204    215.50     37.11      5.81   1000000         0
100.07/100.17	c       122       242    214.46     34.74      6.17   1000000         0
101.56/101.66	c       122       246    216.76     37.48      5.78   1000000         0
103.06/103.13	c       121       198    220.09     35.58      6.19   1000000         0
104.47/104.59	c       123       174    221.21     36.67      6.03   1000000         0
105.96/106.07	c        94       192    212.85     39.08      5.45   1000000         0
107.46/107.56	c       111       152    216.91     34.60      6.27   1000000         0
108.96/109.03	c       128       227    223.30     34.16      6.54   1000000         0
110.46/110.51	c       111       177    216.69     38.50      5.63   1000000         0
111.86/111.97	c       125       190    219.33     34.08      6.44   1000000         0
113.35/113.44	c       107       207    210.25     36.51      5.76   1000000         0
114.85/114.91	c       113       212    212.97     38.64      5.51   1000000         0
116.25/116.38	c       123       246    222.33     35.09      6.34   1000000         0
117.75/117.86	c       109       221    214.87     33.53      6.41   1000000         0
119.25/119.32	c       125       189    222.46     35.48      6.27   1000000         0
120.65/120.79	c       131       242    222.35     36.60      6.08   1000000         0
122.15/122.25	c       115       185    222.32     37.58      5.92   1000000         0
123.65/123.73	c       119       238    218.45     37.44      5.83   1000000         0
125.05/125.18	c       109       208    221.93     34.21      6.49   1000000         0
126.55/126.67	c       125       158    218.96     34.35      6.38   1000000         0
128.05/128.14	c       117       234    219.47     38.15      5.75   1000000         0
129.55/129.62	c       121       174    208.53     31.13      6.70   1000000         0
130.95/131.09	c       111       180    210.33     37.36      5.63   1000000         0
132.45/132.56	c       120       195    219.07     37.65      5.82   1000000         0
133.95/134.04	c       118       206    213.06     37.30      5.71   1000000         0
135.45/135.51	c       117       215    216.27     35.14      6.15   1000000         0
136.95/137.00	c       103       165    211.13     38.23      5.52   1000000         0
138.35/138.48	c       118       298    209.76     36.68      5.72   1000000         0
139.85/139.96	c       120       173    217.97     39.47      5.52   1000000         0
141.35/141.43	c       118       194    222.45     40.06      5.55   1000000         0
142.85/142.91	c       130       232    223.41     35.37      6.32   1000000         0
144.25/144.37	c       120       175    219.64     37.75      5.82   1000000         0
145.74/145.84	c       121       247    219.68     36.26      6.06   1000000         0
147.25/147.31	c       121       224    224.89     39.24      5.73   1000000         0
148.64/148.79	c       117       210    212.90     31.74      6.71   1000000         0
150.14/150.28	c       113       219    217.41     35.45      6.13   1000000         0
151.65/151.76	c       118       217    218.85     32.81      6.67   1000000         0
153.14/153.24	c       111       224    209.42     37.83      5.54   1000000         0
154.64/154.71	c       117       204    216.83     39.96      5.43   1000000         0
156.05/156.17	c       130       201    220.47     32.27      6.83   1000000         0
157.54/157.66	c       120       266    211.49     31.80      6.65   1000000         0
159.04/159.14	c       125       266    219.33     35.97      6.10   1000000         0
160.55/160.62	c       122       203    215.41     34.97      6.16   1000000         0
161.94/162.09	c       109       225    218.42     32.44      6.73   1000000         0
163.44/163.57	c       121       243    211.70     33.79      6.27   1000000         0
164.95/165.05	c       128       178    220.38     34.90      6.32   1000000         0
166.44/166.52	c       121       249    218.36     34.93      6.25   1000000         0
167.94/168.00	c       124       229    214.30     32.60      6.57   1000000         0
169.35/169.46	c       127       197    216.19     34.68      6.23   1000000         0
170.84/170.95	c       123       241    215.45     34.87      6.18   1000000         0
172.34/172.41	c       130       194    226.23     34.25      6.61   1000000         0
173.74/173.90	c       112       177    218.21     35.04      6.23   1000000         0
175.24/175.37	c       123       253    224.69     38.14      5.89   1000000         0
176.74/176.84	c       123       278    219.07     34.36      6.38   1000000         0
178.23/178.32	c       112       200    211.37     36.94      5.72   1000000         0
179.63/179.79	c       116       237    212.98     35.74      5.96   1000000         0
181.13/181.26	c       122       185    218.33     36.39      6.00   1000000         0
182.63/182.74	c       124       247    219.23     33.03      6.64   1000000         0
184.13/184.21	c       118       207    213.15     33.23      6.42   1000000         0
185.53/185.69	c       120       271    215.88     35.78      6.03   1000000         0
187.03/187.16	c       119       211    219.43     33.90      6.47   1000000         0
188.53/188.63	c       125       208    224.45     38.67      5.80   1000000         0
190.03/190.10	c       128       174    218.54     33.55      6.51   1000000         0
191.43/191.59	c       109       164    214.51     35.66      6.02   1000000         0
192.93/193.07	c       116       180    212.34     38.76      5.48   1000000         0
194.43/194.55	c       107       203    208.71     36.23      5.76   1000000         0
195.93/196.01	c        97       165    215.91     36.67      5.89   1000000         0
197.33/197.48	c       130       220    219.29     32.54      6.74   1000000         0
198.83/198.95	c       128       206    216.65     32.00      6.77   1000000         0
200.33/200.42	c       109       180    213.72     35.02      6.10   1000000         0
201.73/201.89	c       116       192    218.07     36.79      5.93   1000000         0
203.23/203.36	c       122       147    219.12     33.79      6.48   1000000         0
204.73/204.85	c       125       189    216.78     38.67      5.61   1000000         0
206.23/206.32	c       124       190    218.67     34.47      6.34   1000000         0
207.73/207.81	c       103       194    212.78     35.30      6.03   1000000         0
209.13/209.29	c       106       193    216.93     32.77      6.62   1000000         0
210.63/210.75	c       124       264    218.28     33.68      6.48   1000000         0
212.13/212.23	c       115       225    222.30     39.61      5.61   1000000         0
213.63/213.70	c       121       232    213.98     34.58      6.19   1000000         0
215.03/215.17	c       133       216    222.08     38.37      5.79   1000000         0
216.53/216.64	c       110       173    215.83     35.53      6.07   1000000         0
218.02/218.12	c       125       233    219.03     35.68      6.14   1000000         0
219.42/219.59	c       112       279    222.54     34.37      6.47   1000000         0
220.93/221.06	c       119       165    215.83     34.85      6.19   1000000         0
222.42/222.53	c       119       219    220.00     35.03      6.28   1000000         0
223.92/224.00	c       117       171    229.26     37.86      6.06   1000000         0
225.33/225.47	c       114       218    221.81     35.14      6.31   1000000         0
226.82/226.94	c       123       177    219.00     33.32      6.57   1000000         0
228.32/228.41	c       112       216    215.08     34.67      6.20   1000000         0
229.73/229.89	c       119       232    222.14     34.56      6.43   1000000         0
231.22/231.36	c       119       239    218.66     36.70      5.96   1000000         0
232.72/232.84	c       117       193    214.41     37.14      5.77   1000000         0
234.23/234.31	c       112       246    214.71     36.41      5.90   1000000         0
235.62/235.79	c       129       267    212.18     33.68      6.30   1000000         0
237.12/237.27	c       100       168    214.48     38.26      5.61   1000000         0
238.62/238.73	c       116       192    223.17     36.89      6.05   1000000         0
240.12/240.20	c       122       208    219.53     36.02      6.09   1000000         0
241.52/241.68	c       111       245    223.82     36.02      6.21   1000000         0
243.02/243.15	c       124       170    218.09     36.15      6.03   1000000         0
244.51/244.62	c       100       195    219.62     37.51      5.85   1000000         0
246.01/246.11	c       107       190    209.78     31.80      6.60   1000000         0
247.42/247.59	c       111       190    212.06     34.69      6.11   1000000         0
248.91/249.07	c       119       192    217.18     37.50      5.79   1000000         0
250.41/250.54	c       103       219    220.23     34.80      6.33   1000000         0
251.91/252.02	c       113       190    214.70     37.10      5.79   1000000         0
253.31/253.49	c       119       162    223.67     36.51      6.13   1000000         0
254.81/254.96	c       111       222    212.54     37.10      5.73   1000000         0
256.31/256.44	c       120       213    218.81     34.10      6.42   1000000         0
257.81/257.91	c       113       247    217.45     36.07      6.03   1000000         0
259.21/259.39	c       126       275    223.05     38.15      5.85   1000000         0
260.71/260.86	c       115       197    216.85     39.25      5.52   1000000         0
262.21/262.34	c       118       211    221.90     35.48      6.25   1000000         0
263.71/263.81	c       123       225    215.87     35.51      6.08   1000000         0
265.11/265.28	c       120       169    217.19     33.24      6.53   1000000         0
266.61/266.75	c       117       256    222.79     37.72      5.91   1000000         0
268.11/268.22	c       111       197    212.22     38.15      5.56   1000000         0
269.51/269.68	c       124       221    224.63     35.36      6.35   1000000         0
271.01/271.17	c       112       194    209.71     32.89      6.38   1000000         0
272.51/272.64	c       131       189    221.55     35.82      6.18   1000000         0
274.01/274.12	c       123       223    215.21     33.28      6.47   1000000         0
275.41/275.58	c       126       174    223.16     33.35      6.69   1000000         0
276.91/277.06	c       126       188    219.12     35.87      6.11   1000000         0
278.41/278.55	c       124       200    219.83     35.09      6.27   1000000         0
279.91/280.01	c       128       221    225.59     35.92      6.28   1000000         0
281.31/281.49	c       130       219    223.14     34.91      6.39   1000000         0
282.81/282.96	c       121       190    217.93     37.22      5.86   1000000         0
284.30/284.43	c       123       207    221.38     34.59      6.40   1000000         0
285.81/285.90	c       118       220    212.27     35.84      5.92   1000000         0
287.20/287.37	c       118       210    224.90     38.75      5.80   1000000         0
288.70/288.84	c       110       220    219.34     36.88      5.95   1000000         0
290.21/290.31	c       119       251    224.29     33.95      6.61   1000000         0
291.60/291.79	c       119       190    212.89     34.27      6.21   1000000         0
293.10/293.26	c       118       225    216.87     35.71      6.07   1000000         0
294.61/294.75	c       116       209    211.13     35.53      5.94   1000000         0
296.10/296.23	c       135       186    221.17     35.09      6.30   1000000         0
297.60/297.71	c       121       220    213.80     37.12      5.76   1000000         0
299.01/299.20	c       114       214    216.71     34.73      6.24   1000000         0
300.50/300.67	c       109       210    214.18     34.71      6.17   1000000         0
302.00/302.15	c       114       201    219.47     36.07      6.08   1000000         0
303.50/303.63	c       109       206    210.66     39.37      5.35   1000000         0
305.00/305.11	c       118       200    210.62     35.95      5.86   1000000         0
306.50/306.60	c       124       224    214.82     34.34      6.26   1000000         0
307.90/308.08	c       116       225    222.43     33.06      6.73   1000000         0
309.40/309.54	c       110       173    218.48     36.05      6.06   1000000         0
310.90/311.01	c       124       239    223.94     36.09      6.21   1000000         0
312.30/312.49	c       126       245    222.40     36.17      6.15   1000000         0
313.80/313.97	c       117       188    218.36     32.95      6.63   1000000         0
315.30/315.45	c       128       238    217.95     31.21      6.98   1000000         0
316.79/316.93	c       123       201    218.23     36.05      6.05   1000000         0
318.29/318.40	c       100       174    215.34     35.10      6.13   1000000         0
319.69/319.88	c       112       200    211.16     36.92      5.72   1000000         0
321.19/321.36	c       121       226    214.43     34.57      6.20   1000000         0
322.69/322.83	c       104       232    222.53     34.65      6.42   1000000         0
324.19/324.31	c       127       216    219.08     33.93      6.46   1000000         0
325.69/325.80	c       115       212    213.64     34.10      6.26   1000000         0
327.09/327.26	c       122       190    218.89     36.92      5.93   1000000         0
328.59/328.73	c       119       240    217.93     35.12      6.21   1000000         0
330.09/330.21	c       112       170    212.83     35.09      6.06   1000000         0
331.49/331.69	c       128       196    212.88     33.88      6.28   1000000         0
332.99/333.15	c       120       216    221.24     37.59      5.89   1000000         0
334.49/334.62	c       116       235    214.58     35.26      6.09   1000000         0
335.89/336.09	c       113       188    219.90     31.26      7.04   1000000         0
337.39/337.57	c       110       243    216.44     34.85      6.21   1000000         0
338.89/339.04	c       116       205    223.95     34.55      6.48   1000000         0
340.39/340.51	c       121       198    222.96     38.92      5.73   1000000         0
341.79/342.00	c       123       205    219.58     33.15      6.62   1000000         0
343.29/343.47	c       114       228    223.63     31.32      7.14   1000000         0
344.79/344.95	c       106       175    212.70     34.22      6.22   1000000         0
346.29/346.44	c       124       235    212.56     35.98      5.91   1000000         0
347.79/347.90	c       104       196    218.63     37.53      5.83   1000000         0
349.19/349.38	c       111       237    212.59     39.76      5.35   1000000         0
350.69/350.85	c       116       200    218.37     38.56      5.66   1000000         0
352.19/352.33	c       122       237    217.07     33.84      6.42   1000000         0
353.68/353.81	c       115       244    219.01     37.85      5.79   1000000         0
355.09/355.29	c       115       219    211.64     38.71      5.47   1000000         0
356.58/356.77	c       123       187    223.10     35.81      6.23   1000000         0
358.08/358.25	c       116       209    211.43     38.06      5.56   1000000         0
359.59/359.72	c       110       240    223.90     39.60      5.65   1000000         0
361.08/361.20	c       121       176    214.12     37.00      5.79   1000000         0
362.48/362.68	c       110       194    208.19     35.96      5.79   1000000         0
363.99/364.14	c       128       245    220.40     35.35      6.23   1000000         0
365.48/365.62	c       105       232    220.29     36.17      6.09   1000000         0
366.88/367.09	c       123       163    220.78     31.04      7.11   1000000         0
368.39/368.56	c       113       214    217.35     35.95      6.05   1000000         0
369.88/370.04	c       120       249    215.84     37.05      5.83   1000000         0
371.38/371.53	c        99       173    204.04     36.84      5.54   1000000         0
372.88/373.01	c       122       213    215.73     34.48      6.26   1000000         0
374.28/374.48	c       120       216    219.95     34.30      6.41   1000000         0
375.78/375.95	c       115       200    218.00     32.54      6.70   1000000         0
377.28/377.42	c       127       186    225.71     37.69      5.99   1000000         0
378.68/378.89	c        95       175    218.97     32.38      6.76   1000000         0
380.18/380.37	c       109       190    217.26     32.84      6.62   1000000         0
381.68/381.84	c       131       216    216.00     32.45      6.66   1000000         0
383.17/383.31	c       140       238    224.72     32.28      6.96   1000000         0
384.57/384.78	c       113       228    215.48     39.11      5.51   1000000         0
386.07/386.26	c       115       188    211.22     39.80      5.31   1000000         0
387.57/387.74	c       120       205    211.92     32.43      6.54   1000000         0
389.07/389.21	c       109       224    223.36     35.82      6.24   1000000         0
390.47/390.69	c       124       140    217.03     36.16      6.00   1000000         0
391.97/392.16	c       114       199    218.04     36.25      6.02   1000000         0
393.47/393.64	c       108       155    211.77     32.60      6.50   1000000         0
394.97/395.11	c       114       242    218.72     35.33      6.19   1000000         0
396.47/396.60	c       113       186    207.57     36.26      5.72   1000000         0
397.87/398.08	c       124       217    219.86     36.64      6.00   1000000         0
399.37/399.54	c       127       215    221.39     35.61      6.22   1000000         0
400.87/401.02	c       114       226    213.75     34.34      6.22   1000000         0
402.38/402.50	c       119       173    212.78     37.18      5.72   1000000         0
403.77/403.97	c       109       190    215.91     37.49      5.76   1000000         0
405.27/405.45	c       112       232    222.77     39.19      5.68   1000000         0
406.78/406.93	c       129       227    223.26     34.21      6.53   1000000         0
408.27/408.42	c       112       208    214.40     38.50      5.57   1000000         0
409.67/409.89	c       117       214    221.89     35.90      6.18   1000000         0
411.17/411.38	c       105       164    207.47     37.50      5.53   1000000         0
412.67/412.84	c       127       216    221.30     35.08      6.31   1000000         0
414.17/414.33	c       114       193    206.90     34.40      6.02   1000000         0
415.57/415.80	c       125       258    222.68     35.85      6.21   1000000         0
417.07/417.27	c       118       202    219.19     35.58      6.16   1000000         0
418.56/418.74	c       110       229    216.09     34.17      6.32   1000000         0
420.07/420.20	c       119       232    219.86     36.91      5.96   1000000         0
421.46/421.69	c       119       214    218.13     33.62      6.49   1000000         0
422.96/423.15	c       114       219    221.61     35.98      6.16   1000000         0
424.47/424.61	c       114       176    218.59     35.51      6.16   1000000         0
425.86/426.08	c       122       182    221.63     34.41      6.44   1000000         0
427.36/427.56	c       119       219    214.85     40.77      5.27   1000000         0
428.87/429.03	c       118       171    220.66     35.25      6.26   1000000         0
430.36/430.50	c       131       255    223.26     32.38      6.89   1000000         0
431.76/431.97	c       119       249    216.14     36.72      5.89   1000000         0
433.27/433.46	c       112       196    213.44     31.64      6.75   1000000         0
434.76/434.92	c       137       216    225.95     33.08      6.83   1000000         0
436.16/436.38	c       134       249    224.62     36.47      6.16   1000000         0
437.67/437.84	c       107       192    217.53     35.38      6.15   1000000         0
439.16/439.31	c       110       191    214.95     40.74      5.28   1000000         0
440.56/440.79	c       109       205    217.12     35.84      6.06   1000000         0
442.06/442.27	c       115       220    224.54     35.19      6.38   1000000         0
443.56/443.74	c       121       186    212.93     34.90      6.10   1000000         0
445.06/445.21	c       116       180    215.12     36.45      5.90   1000000         0
446.46/446.69	c       127       211    219.10     34.70      6.31   1000000         0
447.95/448.16	c       115       245    218.19     40.36      5.41   1000000         0
449.45/449.64	c       128       206    220.98     35.89      6.16   1000000         0
450.95/451.13	c       124       193    222.09     29.08      7.64   1000000         0
452.45/452.61	c       109       211    213.37     38.57      5.53   1000000         0
453.85/454.07	c       104       179    220.96     35.16      6.28   1000000         0
455.35/455.53	c       118       233    218.37     37.64      5.80   1000000         0
456.85/457.01	c       121       215    212.91     31.77      6.70   1000000         0
458.25/458.50	c       115       192    209.36     36.81      5.69   1000000         0
459.75/459.97	c       126       175    212.84     30.21      7.05   1000000         0
461.25/461.45	c       113       190    218.82     35.39      6.18   1000000         0
462.75/462.92	c       115       214    220.24     37.44      5.88   1000000         0
464.15/464.39	c       115       239    217.25     36.06      6.03   1000000         0
465.65/465.87	c       119       205    217.86     31.86      6.84   1000000         0
467.15/467.34	c       118       178    214.16     34.12      6.28   1000000         0
468.65/468.82	c       113       223    216.00     33.19      6.51   1000000         0
470.05/470.29	c       120       269    223.51     35.21      6.35   1000000         0
471.55/471.76	c       109       189    217.32     36.92      5.89   1000000         0
473.05/473.23	c       120       232    215.95     34.89      6.19   1000000         0
474.55/474.70	c       119       198    220.73     32.48      6.80   1000000         0
475.95/476.17	c       115       145    212.32     31.35      6.77   1000000         0
477.45/477.64	c       124       226    221.95     37.36      5.94   1000000         0
478.95/479.12	c       124       192    219.76     31.16      7.05   1000000         0
480.35/480.59	c       110       240    215.94     34.75      6.21   1000000         0
481.84/482.06	c       117       186    213.77     35.07      6.10   1000000         0
483.34/483.53	c       119       234    220.93     35.99      6.14   1000000         0
484.85/485.00	c       105       195    216.42     35.16      6.16   1000000         0
486.24/486.49	c       116       218    210.59     36.30      5.80   1000000         0
487.74/487.95	c       131       253    227.46     35.25      6.45   1000000         0
489.25/489.42	c       119       223    214.01     36.33      5.89   1000000         0
490.74/490.91	c       112       219    219.02     33.53      6.53   1000000         0
492.14/492.38	c       115       264    219.49     33.94      6.47   1000000         0
493.65/493.83	c       114       212    221.35     35.77      6.19   1000000         0
495.14/495.30	c       114       206    219.44     36.58      6.00   1000000         0
496.54/496.78	c       105       160    221.48     34.87      6.35   1000000         0
498.05/498.25	c       123       196    218.81     33.36      6.56   1000000         0
499.54/499.75	c        99       206    211.37     36.44      5.80   1000000         0
501.04/501.22	c       125       192    216.12     34.06      6.35   1000000         0
502.45/502.70	c        93       217    214.78     36.42      5.90   1000000         0
503.94/504.18	c       113       232    208.99     35.90      5.82   1000000         0
505.44/505.64	c       119       199    215.79     35.46      6.09   1000000         0
506.94/507.14	c       111       186    209.39     40.38      5.19   1000000         0
508.44/508.61	c       114       184    224.18     35.25      6.36   1000000         0
509.84/510.08	c       123       219    216.73     35.13      6.17   1000000         0
511.34/511.54	c       107       211    222.05     36.42      6.10   1000000         0
512.84/513.01	c       121       258    213.80     33.85      6.32   1000000         0
514.24/514.49	c       119       167    212.69     34.70      6.13   1000000         0
515.74/515.97	c       120       234    218.17     35.42      6.16   1000000         0
517.24/517.44	c       124       212    212.91     34.00      6.26   1000000         0
518.73/518.91	c       118       201    218.20     37.82      5.77   1000000         0
520.14/520.38	c       122       214    221.50     33.78      6.56   1000000         0
521.63/521.85	c       104       257    210.01     35.98      5.84   1000000         0
523.13/523.32	c       120       237    221.79     36.80      6.03   1000000         0
524.54/524.79	c       109       191    217.52     37.24      5.84   1000000         0
526.03/526.27	c       121       174    214.03     35.61      6.01   1000000         0
527.53/527.75	c       118       220    215.21     35.12      6.13   1000000         0
529.03/529.22	c       113       198    216.62     36.98      5.86   1000000         0
530.43/530.68	c       105       230    225.45     32.95      6.84   1000000         0
531.93/532.15	c       126       213    224.22     31.30      7.16   1000000         0
533.43/533.62	c       117       221    216.65     34.95      6.20   1000000         0
534.83/535.09	c       126       191    224.57     36.29      6.19   1000000         0
536.33/536.57	c       112       176    212.45     35.07      6.06   1000000         0
537.83/538.03	c       128       211    223.24     37.81      5.90   1000000         0
539.33/539.50	c       119       184    214.70     34.69      6.19   1000000         0
540.73/540.98	c       113       201    215.02     33.50      6.42   1000000         0
542.23/542.47	c       122       193    212.11     35.80      5.92   1000000         0
543.73/543.94	c       123       177    214.09     33.56      6.38   1000000         0
545.23/545.40	c       126       220    222.74     35.89      6.21   1000000         0
546.63/546.88	c       108       232    210.11     38.00      5.53   1000000         0
548.13/548.34	c       122       184    217.00     36.71      5.91   1000000         0
549.62/549.82	c       115       225    212.56     36.72      5.79   1000000         0
551.02/551.27	c       124       214    227.06     35.61      6.38   1000000         0
552.52/552.75	c       114       227    213.25     38.07      5.60   1000000         0
554.02/554.22	c       127       191    220.50     34.57      6.38   1000000         0
555.52/555.71	c       134       210    220.11     33.82      6.51   1000000         0
556.92/557.17	c       110       256    214.23     36.05      5.94   1000000         0
558.42/558.65	c       122       210    216.75     33.35      6.50   1000000         0
559.92/560.13	c       113       208    218.04     34.64      6.29   1000000         0
561.42/561.62	c       111       192    216.76     38.16      5.68   1000000         0
562.82/563.09	c       110       224    216.13     32.18      6.72   1000000         0
564.32/564.56	c       121       191    219.76     36.21      6.07   1000000         0
565.82/566.03	c       115       257    223.06     32.92      6.78   1000000         0
567.32/567.50	c       119       227    218.99     38.31      5.72   1000000         0
568.72/568.97	c       123       185    220.59     36.59      6.03   1000000         0
570.22/570.44	c       132       227    218.38     31.76      6.88   1000000         0
571.72/571.92	c       116       270    215.78     34.78      6.20   1000000         0
573.22/573.40	c       120       208    219.22     37.18      5.90   1000000         0
574.62/574.88	c       121       233    215.87     32.18      6.71   1000000         0
576.12/576.35	c       126       223    218.06     33.70      6.47   1000000         0
577.61/577.83	c       109       170    219.73     38.05      5.78   1000000         0
579.11/579.32	c       123       190    213.02     36.73      5.80   1000000         0
580.52/580.80	c       121       207    216.48     32.95      6.57   1000000         0
582.01/582.28	c       110       205    214.56     38.75      5.54   1000000         0
583.51/583.74	c       118       172    219.91     36.00      6.11   1000000         0
585.02/585.22	c       115       193    213.05     34.97      6.09   1000000         0
586.41/586.69	c       116       181    218.81     39.20      5.58   1000000         0
587.91/588.17	c       103       258    210.81     38.74      5.44   1000000         0
589.42/589.64	c       114       209    216.52     34.16      6.34   1000000         0
590.91/591.12	c       127       250    219.98     34.61      6.36   1000000         0
592.31/592.59	c       105       174    214.47     35.28      6.08   1000000         0
593.82/594.07	c       124       266    219.30     33.32      6.58   1000000         0
595.31/595.53	c       130       187    222.93     30.89      7.22   1000000         0
596.81/597.00	c       104       227    213.87     33.22      6.44   1000000         0
598.22/598.47	c       117       219    220.84     35.88      6.15   1000000         0
599.71/599.95	c       117       214    214.04     33.17      6.45   1000000         0
601.21/601.43	c       111       213    213.10     36.78      5.79   1000000         0
602.70/602.91	c       123       201    220.77     37.50      5.89   1000000         0
604.10/604.39	c       126       202    215.26     29.69      7.25   1000000         0
605.60/605.86	c       116       216    216.73     36.51      5.94   1000000         0
607.10/607.33	c       126       209    218.65     32.13      6.80   1000000         0
608.60/608.81	c       124       276    221.18     38.09      5.81   1000000         0
610.00/610.28	c       108       235    212.76     32.17      6.61   1000000         0
611.50/611.75	c       117       198    219.12     37.18      5.89   1000000         0
613.00/613.22	c       123       263    220.75     36.16      6.10   1000000         0
614.50/614.71	c       116       239    216.03     36.73      5.88   1000000         0
615.90/616.18	c       116       225    221.04     35.20      6.28   1000000         0
617.40/617.66	c       109       182    214.79     36.28      5.92   1000000         0
618.90/619.13	c       123       234    223.74     38.49      5.81   1000000         0
620.40/620.61	c       110       180    215.36     38.21      5.64   1000000         0
621.80/622.08	c       112       215    214.38     35.49      6.04   1000000         0
623.30/623.54	c       117       221    211.24     36.53      5.78   1000000         0
624.80/625.02	c       126       223    216.55     33.56      6.45   1000000         0
626.30/626.50	c       129       252    217.11     31.04      6.99   1000000         0
627.70/627.97	c       128       230    220.69     36.01      6.13   1000000         0
629.20/629.45	c       120       212    215.56     32.38      6.66   1000000         0
630.70/630.92	c       112       180    218.97     35.79      6.12   1000000         0
632.10/632.38	c       117       198    222.82     36.49      6.11   1000000         0
633.60/633.86	c       117       208    221.08     35.28      6.27   1000000         0
635.10/635.32	c       127       178    221.83     37.68      5.89   1000000         0
636.60/636.81	c       107       270    210.23     35.24      5.97   1000000         0
638.00/638.27	c       106       167    216.30     33.18      6.52   1000000         0
639.49/639.75	c       106       175    214.84     38.52      5.58   1000000         0
641.00/641.23	c       126       200    211.91     33.90      6.25   1000000         0
642.49/642.71	c       120       140    217.44     37.10      5.86   1000000         0
643.89/644.17	c       124       219    223.03     35.45      6.29   1000000         0
645.40/645.66	c       113       214    212.92     32.91      6.47   1000000         0
646.89/647.14	c       121       237    222.96     37.72      5.91   1000000         0
648.39/648.61	c       118       228    222.07     33.63      6.60   1000000         0
649.80/650.09	c       107       217    213.30     33.89      6.29   1000000         0
651.29/651.57	c       113       212    214.29     36.17      5.92   1000000         0
652.79/653.04	c       107       191    215.68     38.16      5.65   1000000         0
654.30/654.51	c       109       196    210.97     34.91      6.04   1000000         0
655.69/655.98	c       116       196    215.49     38.46      5.60   1000000         0
657.19/657.45	c       122       206    215.12     33.34      6.45   1000000         0
658.70/658.93	c       128       217    217.79     32.97      6.61   1000000         0
660.19/660.40	c       119       219    215.29     35.11      6.13   1000000         0
661.59/661.88	c       118       180    214.43     35.49      6.04   1000000         0
663.09/663.34	c       126       225    226.83     34.90      6.50   1000000         0
664.59/664.80	c       115       192    223.18     38.02      5.87   1000000         0
665.99/666.28	c       112       185    219.48     36.33      6.04   1000000         0
667.49/667.76	c       126       196    213.43     36.60      5.83   1000000         0
668.99/669.25	c       115       252    212.85     35.50      6.00   1000000         0
670.49/670.72	c       118       182    217.70     35.28      6.17   1000000         0
671.98/672.20	c       111       264    218.11     36.08      6.04   1000000         0
673.38/673.68	c       129       200    220.55     36.14      6.10   1000000         0
674.88/675.17	c       105       190    211.01     35.73      5.91   1000000         0
676.38/676.64	c       116       250    218.57     34.15      6.40   1000000         0
677.88/678.11	c       118       253    216.52     38.18      5.67   1000000         0
679.28/679.59	c       130       193    222.11     36.17      6.14   1000000         0
680.78/681.06	c       114       209    217.40     33.73      6.44   1000000         0
682.28/682.54	c       118       300    215.99     35.15      6.14   1000000         0
683.78/684.01	c       132       217    225.04     32.52      6.92   1000000         0
685.18/685.48	c       111       195    215.21     35.19      6.12   1000000         0
686.68/686.96	c       124       178    217.93     36.12      6.03   1000000         0
688.18/688.42	c       114       250    222.82     35.59      6.26   1000000         0
689.58/689.89	c       104       177    217.38     34.67      6.27   1000000         0
691.08/691.37	c       121       247    217.31     32.32      6.72   1000000         0
692.58/692.84	c       123       247    216.55     37.22      5.82   1000000         0
694.08/694.31	c       109       184    220.40     37.00      5.96   1000000         0
695.58/695.80	c       119       234    215.84     36.09      5.98   1000000         0
696.98/697.27	c       104       224    216.35     37.47      5.77   1000000         0
698.48/698.75	c       126       232    218.84     38.07      5.75   1000000         0
699.98/700.22	c       117       199    223.10     34.87      6.40   1000000         0
701.48/701.71	c       113       201    214.64     34.37      6.24   1000000         0
702.88/703.18	c       128       181    221.89     35.93      6.18   1000000         0
704.37/704.64	c       134       237    228.57     35.17      6.50   1000000         0
705.88/706.11	c       120       233    217.82     34.83      6.25   1000000         0
707.27/707.58	c       111       254    217.58     35.00      6.22   1000000         0
708.77/709.06	c       118       193    219.51     33.73      6.51   1000000         0
710.28/710.53	c       111       262    221.61     32.46      6.83   1000000         0
711.77/712.00	c       107       212    215.35     32.74      6.58   1000000         0
713.17/713.49	c       108       204    214.51     34.58      6.20   1000000         0
714.68/714.97	c       119       293    217.50     37.18      5.85   1000000         0
716.17/716.45	c       105       200    216.31     39.88      5.42   1000000         0
717.67/717.94	c       121       209    212.37     36.25      5.86   1000000         0
719.18/719.42	c       112       171    217.70     36.89      5.90   1000000         0
720.57/720.89	c       126       255    223.20     34.19      6.53   1000000         0
722.07/722.35	c       109       202    219.95     35.34      6.22   1000000         0
723.58/723.81	c       115       248    226.18     39.97      5.66   1000000         0
724.97/725.28	c       129       250    226.33     35.79      6.32   1000000         0
726.47/726.76	c       109       207    217.55     34.17      6.37   1000000         0
727.98/728.22	c       123       212    218.68     34.17      6.40   1000000         0
729.47/729.70	c       110       211    222.04     39.25      5.66   1000000         0
730.87/731.16	c        98       221    219.62     35.18      6.24   1000000         0
732.37/732.64	c       125       186    217.96     34.43      6.33   1000000         0
733.87/734.10	c       112       196    219.67     37.34      5.88   1000000         0
735.27/735.60	c       117       160    217.03     33.92      6.40   1000000         0
736.77/737.06	c       119       239    219.20     35.17      6.23   1000000         0
738.26/738.53	c       110       183    226.32     34.32      6.59   1000000         0
739.76/740.00	c       122       187    221.23     34.08      6.49   1000000         0
741.17/741.47	c       114       228    227.28     33.75      6.73   1000000         0
742.66/742.93	c       118       196    219.64     34.55      6.36   1000000         0
744.06/744.39	c       117       215    221.27     37.61      5.88   1000000         0
745.57/745.87	c        95       188    215.61     37.57      5.74   1000000         0
747.06/747.35	c       109       229    217.37     33.41      6.51   1000000         0
748.56/748.83	c       121       176    218.46     37.03      5.90   1000000         0
750.06/750.30	c       120       219    214.09     34.38      6.23   1000000         0
751.46/751.78	c       129       185    217.16     38.55      5.63   1000000         0
752.96/753.26	c       108       190    215.65     33.80      6.38   1000000         0
754.46/754.73	c       125       192    221.24     33.52      6.60   1000000         0
755.96/756.21	c       126       202    221.79     35.19      6.30   1000000         0
757.36/757.68	c       128       211    220.60     32.55      6.78   1000000         0
758.86/759.15	c       119       202    220.58     32.23      6.84   1000000         0
760.36/760.61	c       119       226    220.16     33.32      6.61   1000000         0
761.76/762.08	c       112       224    217.37     37.84      5.74   1000000         0
763.26/763.55	c       120       159    218.28     33.46      6.52   1000000         0
764.76/765.02	c       129       239    222.64     31.11      7.16   1000000         0
766.16/766.49	c       130       241    227.50     34.21      6.65   1000000         0
767.66/767.97	c       112       184    212.91     36.37      5.85   1000000         0
769.16/769.44	c       125       223    215.99     33.96      6.36   1000000         0
770.66/770.92	c       119       219    218.84     32.88      6.66   1000000         0
772.05/772.39	c       133       206    223.13     31.27      7.13   1000000         0
773.55/773.86	c       126       176    221.04     31.54      7.01   1000000         0
775.05/775.35	c       124       233    216.95     36.72      5.91   1000000         0
776.55/776.83	c       122       212    212.49     32.93      6.45   1000000         0
778.05/778.31	c       127       229    219.91     33.20      6.62   1000000         0
779.45/779.77	c       120       260    218.49     36.66      5.96   1000000         0
780.95/781.24	c       124       182    217.38     32.35      6.72   1000000         0
782.45/782.73	c       105       204    205.40     38.39      5.35   1000000         0
783.85/784.19	c       124       200    219.31     32.53      6.74   1000000         0
785.35/785.66	c       120       199    220.10     37.34      5.89   1000000         0
786.85/787.13	c       125       202    225.13     39.21      5.74   1000000         0
788.25/788.59	c       121       272    218.62     34.26      6.38   1000000         0
789.75/790.06	c       127       219    222.99     38.16      5.84   1000000         0
791.25/791.53	c       105       203    217.00     38.17      5.68   1000000         0
792.75/793.01	c       127       186    218.38     37.14      5.88   1000000         0
794.25/794.50	c       108       194    211.05     34.90      6.05   1000000         0
795.65/795.97	c       129       196    219.30     32.51      6.75   1000000         0
797.15/797.47	c       100       198    212.39     40.15      5.29   1000000         0
798.65/798.95	c       116       190    213.08     36.05      5.91   1000000         0
800.15/800.42	c       115       210    219.76     33.74      6.51   1000000         0
801.55/801.90	c       108       232    218.34     35.30      6.19   1000000         0
803.04/803.38	c       118       206    215.94     36.60      5.90   1000000         0
804.54/804.85	c       124       181    212.85     33.38      6.38   1000000         0
806.05/806.32	c       120       222    221.36     36.62      6.04   1000000         0
807.44/807.78	c       129       239    227.71     34.89      6.53   1000000         0
808.94/809.25	c       116       184    217.33     34.92      6.22   1000000         0
810.45/810.73	c       112       178    215.79     36.51      5.91   1000000         0
811.84/812.19	c       127       197    224.05     32.69      6.85   1000000         0
813.34/813.66	c       130       212    220.72     29.39      7.51   1000000         0
814.85/815.14	c       115       214    214.11     38.58      5.55   1000000         0
816.34/816.60	c       120       175    222.42     33.09      6.72   1000000         0
817.74/818.09	c       114       219    214.17     36.73      5.83   1000000         0
819.25/819.56	c       117       212    217.45     35.10      6.20   1000000         0
820.74/821.03	c       106       244    211.31     38.67      5.46   1000000         0
822.24/822.50	c       120       218    219.76     37.57      5.85   1000000         0
823.64/823.98	c       117       238    209.52     32.52      6.44   1000000         0
825.14/825.46	c       116       201    220.06     34.98      6.29   1000000         0
826.64/826.93	c       133       197    218.50     32.67      6.69   1000000         0
828.04/828.39	c       122       219    219.93     34.00      6.47   1000000         0
829.54/829.87	c       110       179    219.35     35.28      6.22   1000000         0
831.04/831.33	c       118       193    215.73     31.88      6.77   1000000         0
832.44/832.79	c       127       205    217.94     36.60      5.95   1000000         0
833.94/834.27	c       111       260    214.19     34.49      6.21   1000000         0
835.43/835.73	c       123       236    228.19     36.63      6.23   1000000         0
836.93/837.22	c       119       195    218.04     38.29      5.69   1000000         0
838.43/838.70	c       101       206    214.30     38.19      5.61   1000000         0
839.83/840.18	c       106       253    217.08     39.76      5.46   1000000         0
841.33/841.65	c       111       288    221.05     40.17      5.50   1000000         0
842.83/843.12	c       110       187    217.34     34.53      6.29   1000000         0
844.23/844.58	c       109       165    216.68     30.49      7.11   1000000         0
845.73/846.04	c       133       202    228.53     35.36      6.46   1000000         0
847.23/847.52	c       122       251    222.23     36.80      6.04   1000000         0
848.73/849.00	c       105       217    217.86     34.04      6.40   1000000         0
850.13/850.48	c        96       220    215.83     40.49      5.33   1000000         0
851.63/851.95	c       120       238    220.13     39.80      5.53   1000000         0
853.13/853.43	c       111       242    216.34     37.40      5.78   1000000         0
854.63/854.90	c       120       201    216.97     33.27      6.52   1000000         0
856.03/856.39	c       127       218    215.46     35.10      6.14   1000000         0
857.53/857.87	c       108       213    211.06     31.58      6.68   1000000         0
859.03/859.35	c       105       229    214.29     35.69      6.00   1000000         0
860.53/860.81	c       118       185    217.39     38.32      5.67   1000000         0
861.92/862.29	c       123       239    221.54     37.19      5.96   1000000         0
863.42/863.77	c       123       168    219.00     34.73      6.31   1000000         0
864.92/865.23	c       129       208    222.97     32.28      6.91   1000000         0
866.43/866.71	c       105       220    215.19     34.32      6.27   1000000         0
867.82/868.18	c       124       224    215.14     35.77      6.01   1000000         0
869.32/869.64	c       124       239    221.21     37.83      5.85   1000000         0
870.83/871.11	c       125       180    216.19     35.07      6.16   1000000         0
872.22/872.59	c       132       198    222.92     38.81      5.74   1000000         0
873.72/874.05	c       115       212    219.72     39.19      5.61   1000000         0
875.23/875.52	c        99       185    213.45     35.04      6.09   1000000         0
876.72/877.01	c       112       195    209.44     32.01      6.54   1000000         0
878.12/878.48	c       123       237    217.20     36.09      6.02   1000000         0
879.63/879.96	c       121       230    215.68     33.40      6.46   1000000         0
881.12/881.44	c       133       247    224.95     38.22      5.89   1000000         0
882.62/882.91	c       115       211    215.89     36.90      5.85   1000000         0
884.02/884.38	c        83       198    219.88     37.84      5.81   1000000         0
885.52/885.85	c       115       210    217.33     39.29      5.53   1000000         0
887.02/887.32	c       114       176    218.06     35.46      6.15   1000000         0
888.42/888.79	c       115       223    216.70     36.71      5.90   1000000         0
889.92/890.27	c       114       197    218.73     32.21      6.79   1000000         0
891.42/891.73	c       112       203    216.96     38.63      5.62   1000000         0
892.82/893.20	c       119       203    222.84     39.62      5.62   1000000         0
894.32/894.67	c       123       219    215.19     37.39      5.76   1000000         0
895.82/896.14	c       119       171    219.37     35.01      6.27   1000000         0
897.32/897.61	c       125       232    213.08     33.21      6.42   1000000         0
898.71/899.09	c       112       166    215.05     32.40      6.64   1000000         0
900.21/900.59	c       115       222    211.57     35.86      5.90   1000000         0
901.72/902.06	c       121       198    220.20     36.39      6.05   1000000         0
903.21/903.54	c       121       178    213.22     36.19      5.89   1000000         0
904.71/905.02	c       128       200    220.26     35.79      6.15   1000000         0
906.12/906.48	c       114       218    217.01     35.35      6.14   1000000         0
907.61/907.96	c       108       195    218.98     38.86      5.64   1000000         0
909.11/909.42	c       125       195    221.27     36.11      6.13   1000000         0
910.61/910.90	c       115       212    222.28     37.27      5.96   1000000         0
912.01/912.36	c       100       230    217.38     34.35      6.33   1000000         0
913.51/913.83	c       116       229    216.69     34.32      6.31   1000000         0
915.01/915.33	c       102       191    208.37     36.97      5.64   1000000         0
916.41/916.80	c       125       232    218.90     32.69      6.70   1000000         0
917.91/918.28	c       118       195    218.80     36.82      5.94   1000000         0
919.41/919.75	c       128       260    220.09     35.41      6.22   1000000         0
920.91/921.22	c       122       172    221.96     38.28      5.80   1000000         0
922.30/922.69	c       112       181    220.59     35.52      6.21   1000000         0
923.80/924.15	c       124       184    213.69     37.58      5.69   1000000         0
925.30/925.62	c       109       225    217.95     36.61      5.95   1000000         0
926.70/927.09	c       115       245    214.41     37.52      5.71   1000000         0
928.20/928.57	c       109       211    218.80     38.44      5.69   1000000         0
929.70/930.04	c       119       172    220.01     35.78      6.15   1000000         0
931.20/931.51	c       121       189    216.13     35.16      6.15   1000000         0
932.60/932.97	c       119       244    220.12     32.60      6.75   1000000         0
934.10/934.45	c       119       272    217.25     33.84      6.42   1000000         0
935.60/935.93	c       118       239    214.49     34.80      6.16   1000000         0
937.00/937.39	c       131       235    222.00     31.37      7.08   1000000         0
938.50/938.86	c       128       199    221.31     35.24      6.28   1000000         0
940.00/940.33	c        91       185    218.39     34.87      6.26   1000000         0
941.50/941.81	c       119       205    215.23     35.30      6.10   1000000         0
942.90/943.28	c       126       210    218.88     34.37      6.37   1000000         0
944.40/944.76	c       117       212    221.19     34.30      6.45   1000000         0
945.90/946.23	c       122       160    215.60     34.07      6.33   1000000         0
947.40/947.70	c       120       241    216.85     32.67      6.64   1000000         0
948.80/949.18	c       126       186    216.50     34.66      6.25   1000000         0
950.30/950.64	c       120       242    218.77     34.41      6.36   1000000         0
951.80/952.12	c       119       213    213.43     32.89      6.49   1000000         0
953.30/953.60	c       125       219    217.87     36.48      5.97   1000000         0
954.69/955.08	c       121       184    214.72     35.57      6.04   1000000         0
956.19/956.56	c       111       219    210.93     34.87      6.05   1000000         0
957.70/958.03	c       113       202    216.97     38.02      5.71   1000000         0
959.19/959.51	c       104       207    210.52     34.83      6.04   1000000         0
960.59/960.96	c       112       263    226.48     38.55      5.87   1000000         0
962.10/962.44	c       119       224    222.60     33.71      6.60   1000000         0
963.59/963.92	c       128       208    217.13     32.94      6.59   1000000         0
964.99/965.39	c       132       168    216.25     35.47      6.10   1000000         0
966.50/966.88	c       100       185    213.50     36.23      5.89   1000000         0
967.99/968.36	c       120       247    221.52     38.24      5.79   1000000         0
969.49/969.83	c       116       196    219.98     37.26      5.90   1000000         0
970.90/971.30	c       128       222    224.08     35.06      6.39   1000000         0
972.39/972.77	c       114       194    212.19     34.54      6.14   1000000         0
973.89/974.24	c       113       271    218.23     35.74      6.11   1000000         0
975.40/975.72	c       119       254    217.49     35.80      6.08   1000000         0
976.79/977.19	c       124       259    218.17     36.00      6.06   1000000         0
978.29/978.67	c       118       184    213.77     33.22      6.43   1000000         0
979.79/980.15	c       115       227    209.56     34.12      6.14   1000000         0
981.29/981.63	c       117       263    219.57     34.56      6.35   1000000         0
982.79/983.10	c       120       195    222.94     33.65      6.63   1000000         0
984.19/984.57	c       122       208    216.65     36.71      5.90   1000000         0
985.69/986.05	c       123       229    219.60     35.80      6.13   1000000         0
987.18/987.51	c       119       205    217.95     36.19      6.02   1000000         0
988.59/988.98	c       109       259    220.00     35.14      6.26   1000000         0
990.08/990.44	c       115       222    220.11     34.63      6.36   1000000         0
991.58/991.92	c       119       209    215.44     33.07      6.51   1000000         0
992.99/993.39	c       116       192    220.98     39.35      5.62   1000000         0
994.48/994.87	c       121       198    220.23     36.44      6.04   1000000         0
995.98/996.34	c       103       217    218.10     33.31      6.55   1000000         0
997.48/997.80	c       127       174    220.30     33.54      6.57   1000000         0
998.88/999.27	c       111       245    214.53     33.63      6.38   1000000         0
1000.38/1000.75	c       125       271    217.06     38.30      5.67   1000000         0
1001.88/1002.23	c       124       206    217.47     38.10      5.71   1000000         0
1003.38/1003.70	c       113       200    217.68     34.76      6.26   1000000         0
1004.78/1005.16	c       126       261    222.10     33.46      6.64   1000000         0
1006.28/1006.64	c       132       212    218.75     36.31      6.02   1000000         0
1007.78/1008.10	c       127       222    222.47     32.12      6.93   1000000         0
1009.18/1009.57	c       118       218    221.72     39.10      5.67   1000000         0
1010.68/1011.04	c       120       198    212.16     34.67      6.12   1000000         0
1012.18/1012.51	c       117       220    219.43     33.27      6.60   1000000         0
1013.58/1013.98	c       128       203    221.40     37.60      5.89   1000000         0
1015.08/1015.44	c       125       198    219.98     37.02      5.94   1000000         0
1016.58/1016.92	c       116       280    213.38     31.42      6.79   1000000         0
1018.08/1018.40	c       121       242    222.01     36.93      6.01   1000000         0
1019.48/1019.86	c       110       259    219.50     37.43      5.86   1000000         0
1020.97/1021.33	c       125       215    217.17     31.57      6.88   1000000         0
1022.47/1022.80	c       120       179    220.81     36.18      6.10   1000000         0
1023.87/1024.28	c       121       233    215.35     36.85      5.84   1000000         0
1025.37/1025.74	c       106       243    217.10     38.06      5.70   1000000         0
1026.87/1027.22	c       120       207    217.41     33.30      6.53   1000000         0
1028.27/1028.68	c       130       209    221.72     37.11      5.98   1000000         0
1029.77/1030.16	c       122       195    214.37     35.33      6.07   1000000         0
1031.27/1031.63	c       120       207    222.37     34.68      6.41   1000000         0
1032.77/1033.11	c       115       218    210.52     34.72      6.06   1000000         0
1034.17/1034.58	c       112       200    218.12     34.63      6.30   1000000         0
1035.67/1036.06	c       115       221    213.56     33.28      6.42   1000000         0
1037.17/1037.55	c       125       188    218.30     38.01      5.74   1000000         0
1038.67/1039.02	c       104       203    218.86     38.04      5.75   1000000         0
1040.07/1040.49	c       114       206    218.16     30.22      7.22   1000000         0
1041.57/1041.96	c       123       243    218.56     33.89      6.45   1000000         0
1043.07/1043.43	c       127       212    220.72     35.33      6.25   1000000         0
1044.58/1044.91	c       125       186    218.05     31.38      6.95   1000000         0
1045.97/1046.38	c       125       248    226.92     36.01      6.30   1000000         0
1047.47/1047.84	c       121       159    215.67     35.77      6.03   1000000         0
1048.97/1049.31	c       116       275    221.14     42.93      5.15   1000000         0
1050.37/1050.77	c       117       237    215.52     36.72      5.87   1000000         0
1051.87/1052.25	c       115       166    211.47     36.74      5.76   1000000         0
1053.37/1053.72	c       122       214    221.27     36.02      6.14   1000000         0
1054.86/1055.20	c       111       190    212.14     34.62      6.13   1000000         0
1056.26/1056.68	c       109       155    213.05     36.63      5.82   1000000         0
1057.77/1058.15	c       111       208    217.08     37.19      5.84   1000000         0
1059.26/1059.62	c       111       161    217.68     36.51      5.96   1000000         0
1060.66/1061.09	c       114       192    218.88     31.46      6.96   1000000         0
1062.17/1062.57	c       117       196    214.10     35.59      6.02   1000000         0
1063.66/1064.04	c       118       246    221.00     33.85      6.53   1000000         0
1065.16/1065.54	c        97       253    208.91     39.28      5.32   1000000         0
1066.67/1067.01	c       117       228    218.70     35.03      6.24   1000000         0
1068.06/1068.49	c       119       245    219.07     35.38      6.19   1000000         0
1069.56/1069.97	c       113       226    219.20     36.71      5.97   1000000         0
1071.07/1071.44	c       119       198    219.07     35.11      6.24   1000000         0
1072.56/1072.91	c       124       240    220.45     34.54      6.38   1000000         0
1073.96/1074.38	c       111       223    219.47     37.51      5.85   1000000         0
1075.47/1075.85	c       122       244    215.22     34.45      6.25   1000000         0
1076.96/1077.34	c        95       171    211.50     36.15      5.85   1000000         0
1078.36/1078.80	c       123       200    222.29     37.56      5.92   1000000         0
1079.86/1080.27	c       108       188    223.09     35.57      6.27   1000000         0
1081.36/1081.75	c       112       212    218.35     34.26      6.37   1000000         0
1082.86/1083.23	c       123       206    213.89     35.38      6.05   1000000         0
1084.36/1084.70	c       121       245    222.51     37.70      5.90   1000000         0
1085.76/1086.17	c       114       231    217.76     35.13      6.20   1000000         0
1087.26/1087.65	c       121       195    212.08     35.13      6.04   1000000         0
1088.75/1089.12	c       112       216    218.88     38.34      5.71   1000000         0
1090.15/1090.58	c       132       220    222.67     34.66      6.42   1000000         0
1091.65/1092.04	c       109       235    218.14     36.02      6.06   1000000         0
1093.15/1093.51	c       108       233    216.20     33.43      6.47   1000000         0
1094.55/1094.99	c       124       250    220.40     34.25      6.43   1000000         0
1096.05/1096.47	c       110       170    209.81     33.14      6.33   1000000         0
1097.55/1097.96	c       132       204    225.16     33.50      6.72   1000000         0
1099.05/1099.44	c       117       206    219.23     34.98      6.27   1000000         0
1100.55/1100.92	c       108       186    221.27     39.73      5.57   1000000         0
1101.95/1102.39	c       110       227    215.03     37.63      5.72   1000000         0
1103.45/1103.86	c       116       191    223.98     37.49      5.97   1000000         0
1104.95/1105.35	c       109       187    217.72     38.06      5.72   1000000         0
1106.45/1106.82	c       126       190    217.13     36.22      6.00   1000000         0
1107.95/1108.30	c       122       292    216.53     32.83      6.59   1000000         0
1109.35/1109.77	c       128       214    225.04     36.66      6.14   1000000         0
1110.85/1111.24	c       112       193    216.81     37.04      5.85   1000000         0
1112.35/1112.72	c        94       194    216.62     38.57      5.62   1000000         0
1113.85/1114.20	c       112       171    217.21     39.96      5.44   1000000         0
1115.25/1115.68	c       125       220    213.91     33.09      6.46   1000000         0
1116.75/1117.15	c       122       197    213.07     33.04      6.45   1000000         0
1118.25/1118.63	c       126       202    211.42     33.98      6.22   1000000         0
1119.75/1120.11	c       120       197    220.76     37.55      5.88   1000000         0
1121.25/1121.60	c       123       186    218.05     35.60      6.12   1000000         0
1122.65/1123.07	c       132       203    226.08     32.03      7.06   1000000         0
1124.14/1124.55	c       118       233    215.75     33.76      6.39   1000000         0
1125.64/1126.01	c       116       244    218.48     36.90      5.92   1000000         0
1127.05/1127.49	c       124       206    219.49     32.81      6.69   1000000         0
1128.54/1128.95	c       132       214    225.25     37.75      5.97   1000000         0
1130.04/1130.42	c       129       218    222.89     35.94      6.20   1000000         0
1131.45/1131.88	c       121       192    223.77     36.98      6.05   1000000         0
1132.94/1133.36	c       122       195    213.98     34.37      6.23   1000000         0
1134.44/1134.84	c       121       204    218.56     35.19      6.21   1000000         0
1135.95/1136.31	c       112       125    218.30     35.69      6.12   1000000         0
1137.34/1137.79	c       127       241    221.26     36.23      6.11   1000000         0
1138.84/1139.26	c       126       203    216.44     33.66      6.43   1000000         0
1140.35/1140.73	c       114       232    214.87     35.45      6.06   1000000         0
1141.84/1142.21	c       108       266    216.45     38.35      5.64   1000000         0
1143.24/1143.70	c       122       193    220.24     35.83      6.15   1000000         0
1144.75/1145.16	c       129       269    223.57     36.84      6.07   1000000         0
1146.24/1146.64	c       111       251    218.08     39.21      5.56   1000000         0
1147.74/1148.12	c       119       202    220.92     35.60      6.21   1000000         0
1149.14/1149.59	c       120       204    213.29     34.92      6.11   1000000         0
1150.64/1151.05	c       119       196    222.43     37.11      5.99   1000000         0
1152.14/1152.53	c       110       239    219.80     35.36      6.22   1000000         0
1153.64/1154.00	c       128       246    223.37     30.97      7.21   1000000         0
1155.04/1155.48	c       133       207    219.32     35.47      6.18   1000000         0
1156.54/1156.95	c       118       227    219.73     39.07      5.62   1000000         0
1158.03/1158.43	c       121       247    214.09     32.50      6.59   1000000         0
1159.43/1159.90	c       119       200    219.18     34.78      6.30   1000000         0
1160.93/1161.38	c       132       225    216.99     34.27      6.33   1000000         0
1162.43/1162.85	c       122       299    219.02     34.54      6.34   1000000         0
1163.93/1164.31	c       120       229    222.05     34.85      6.37   1000000         0
1165.33/1165.78	c       131       272    220.18     32.09      6.86   1000000         0
1166.83/1167.25	c       130       186    219.16     33.56      6.53   1000000         0
1168.33/1168.72	c       131       251    218.96     34.65      6.32   1000000         0
1169.83/1170.20	c       117       219    221.93     37.54      5.91   1000000         0
1171.23/1171.68	c       126       236    221.04     33.15      6.67   1000000         0
1172.73/1173.14	c       121       163    224.08     34.20      6.55   1000000         0
1174.23/1174.61	c       119       223    219.59     32.28      6.80   1000000         0
1175.63/1176.09	c       112       304    215.42     36.07      5.97   1000000         0
1177.13/1177.56	c       126       179    222.47     38.02      5.85   1000000         0
1178.63/1179.02	c       116       211    216.33     35.70      6.06   1000000         0
1180.03/1180.49	c       109       241    219.80     35.83      6.13   1000000         0
1181.54/1181.97	c       116       250    221.95     37.98      5.84   1000000         0
1183.04/1183.45	c       108       162    217.25     34.01      6.39   1000000         0
1184.54/1184.93	c       123       179    215.72     33.85      6.37   1000000         0
1186.04/1186.43	c       108       228    215.03     35.78      6.01   1000000         0
1187.54/1187.92	c        98       241    208.22     34.11      6.10   1000000         0
1189.04/1189.40	c       124       199    222.43     36.93      6.02   1000000         0
1190.44/1190.88	c       113       237    213.03     35.10      6.07   1000000         0
1191.94/1192.36	c       119       192    217.44     36.86      5.90   1000000         0
1193.43/1193.84	c       114       174    213.21     33.18      6.43   1000000         0
1194.93/1195.31	c       117       220    218.88     33.96      6.44   1000000         0
1196.34/1196.77	c       110       211    219.11     38.52      5.69   1000000         0
1197.83/1198.25	c       120       223    216.79     32.85      6.60   1000000         0
1199.33/1199.72	c       129       189    221.65     36.60      6.06   1000000         0
1200.74/1201.19	c       120       242    223.20     36.23      6.16   1000000         0
1202.23/1202.65	c       111       226    212.66     32.80      6.48   1000000         0
1203.73/1204.13	c       122       178    224.49     34.06      6.59   1000000         0
1205.14/1205.58	c       131       244    222.78     32.36      6.88   1000000         0
1206.63/1207.04	c       115       236    218.30     37.40      5.84   1000000         0
1208.13/1208.51	c       131       236    216.21     35.46      6.10   1000000         0
1209.54/1209.99	c       117       243    212.20     36.92      5.75   1000000         0
1211.03/1211.47	c       108       202    213.32     33.40      6.39   1000000         0
1212.53/1212.94	c       116       233    220.92     35.54      6.22   1000000         0
1213.93/1214.39	c       103       229    214.40     34.49      6.22   1000000         0
1215.43/1215.87	c       120       218    218.39     35.58      6.14   1000000         0
1216.93/1217.35	c       118       205    220.69     35.56      6.21   1000000         0
1218.43/1218.84	c        90       224    211.25     34.70      6.09   1000000         0
1219.92/1220.31	c       132       207    223.18     35.02      6.37   1000000         0
1221.32/1221.79	c        98       218    216.24     35.34      6.12   1000000         0
1222.83/1223.27	c       124       198    218.70     38.14      5.73   1000000         0
1224.32/1224.74	c       126       192    218.97     31.40      6.97   1000000         0
1225.82/1226.22	c       121       168    213.56     33.50      6.37   1000000         0
1227.32/1227.70	c       119       209    213.22     40.28      5.29   1000000         0
1228.72/1229.16	c       106       186    216.85     38.13      5.69   1000000         0
1230.22/1230.65	c       117       252    220.71     32.29      6.84   1000000         0
1231.72/1232.12	c       125       182    221.57     34.66      6.39   1000000         0
1233.12/1233.59	c       124       211    225.68     37.63      6.00   1000000         0
1234.62/1235.06	c       122       203    221.52     35.86      6.18   1000000         0
1236.12/1236.53	c       124       241    221.02     35.11      6.30   1000000         0
1237.62/1238.02	c       111       202    214.11     39.06      5.48   1000000         0
1239.02/1239.49	c       108       190    218.73     34.64      6.31   1000000         0
1240.52/1240.97	c       131       209    221.32     35.18      6.29   1000000         0
1242.02/1242.45	c       120       157    213.84     34.52      6.20   1000000         0
1243.52/1243.91	c       133       180    222.80     34.16      6.52   1000000         0
1244.92/1245.39	c       120       232    220.99     35.31      6.26   1000000         0
1246.42/1246.87	c       132       209    216.22     33.13      6.53   1000000         0
1247.92/1248.34	c       125       242    219.79     33.82      6.50   1000000         0
1249.42/1249.82	c       120       220    214.98     35.76      6.01   1000000         0
1250.81/1251.29	c       108       259    222.38     38.12      5.83   1000000         0
1252.31/1252.78	c       119       193    214.80     32.78      6.55   1000000         0
1253.81/1254.24	c       131       220    217.28     34.02      6.39   1000000         0
1255.31/1255.71	c       118       227    217.97     33.95      6.42   1000000         0
1256.71/1257.19	c       120       259    215.99     34.70      6.22   1000000         0
1258.21/1258.66	c       104       206    227.11     38.92      5.84   1000000         0
1259.71/1260.13	c       122       284    220.33     38.50      5.72   1000000         0
1261.22/1261.60	c       116       192    217.39     36.03      6.03   1000000         0
1262.61/1263.08	c       116       230    213.30     35.47      6.01   1000000         0
1264.11/1264.54	c       117       190    222.32     33.73      6.59   1000000         0
1265.62/1266.02	c       123       156    214.78     33.88      6.34   1000000         0
1267.01/1267.48	c       132       182    223.55     34.54      6.47   1000000         0
1268.51/1268.97	c       104       255    215.65     34.82      6.19   1000000         0
1270.02/1270.45	c       107       228    217.90     40.26      5.41   1000000         0
1271.51/1271.93	c       112       191    217.44     37.69      5.77   1000000         0
1273.01/1273.40	c       119       205    217.61     33.23      6.55   1000000         0
1274.42/1274.87	c       129       222    219.91     32.98      6.67   1000000         0
1275.91/1276.34	c       125       229    222.15     36.48      6.09   1000000         0
1277.41/1277.81	c       125       213    225.80     35.47      6.37   1000000         0
1278.81/1279.28	c        99       267    214.66     36.02      5.96   1000000         0
1280.31/1280.74	c       131       184    216.85     35.54      6.10   1000000         0
1281.81/1282.21	c       108       215    220.07     34.81      6.32   1000000         0
1283.21/1283.67	c       133       196    221.71     31.36      7.07   1000000         0
1284.71/1285.14	c       116       155    218.47     39.59      5.52   1000000         0
1286.20/1286.62	c       119       182    221.99     38.21      5.81   1000000         0
1287.61/1288.08	c       127       230    218.83     34.87      6.28   1000000         0
1289.10/1289.55	c       116       251    215.46     32.14      6.70   1000000         0
1290.60/1291.02	c       122       212    223.92     38.24      5.86   1000000         0
1292.01/1292.49	c       123       245    222.62     36.75      6.06   1000000         0
1293.50/1293.97	c       105       208    216.89     38.00      5.71   1000000         0
1295.00/1295.43	c       117       191    220.75     33.54      6.58   1000000         0
1296.51/1296.90	c       111       209    217.36     31.66      6.87   1000000         0
1297.90/1298.37	c       123       227    217.82     39.63      5.50   1000000         0
1299.40/1299.83	c       129       195    223.24     39.05      5.72   1000000         0
1300.91/1301.31	c       119       194    219.11     33.24      6.59   1000000         0
1302.30/1302.79	c       124       194    221.73     34.50      6.43   1000000         0
1303.80/1304.25	c       117       211    223.90     36.32      6.17   1000000         0
1305.31/1305.72	c       124       194    220.00     35.28      6.24   1000000         0
1306.70/1307.19	c       113       238    211.97     33.65      6.30   1000000         0
1308.20/1308.66	c       118       197    218.34     33.90      6.44   1000000         0
1309.70/1310.14	c       122       192    216.17     31.95      6.77   1000000         0
1311.20/1311.61	c       116       197    212.32     32.92      6.45   1000000         0
1312.60/1313.09	c       118       202    213.90     39.24      5.45   1000000         0
1314.10/1314.56	c       112       177    217.59     36.49      5.96   1000000         0
1315.60/1316.03	c       123       220    224.91     35.47      6.34   1000000         0
1317.10/1317.50	c       117       167    216.26     32.89      6.58   1000000         0
1318.50/1318.97	c       117       239    222.57     33.90      6.57   1000000         0
1319.99/1320.45	c       122       233    223.38     36.06      6.19   1000000         0
1321.49/1321.93	c       132       226    217.60     36.61      5.94   1000000         0
1322.99/1323.40	c       119       226    217.06     35.42      6.13   1000000         0
1324.39/1324.87	c       110       181    217.27     33.73      6.44   1000000         0
1325.89/1326.35	c       112       161    214.77     34.36      6.25   1000000         0
1327.39/1327.83	c       121       238    220.69     33.98      6.49   1000000         0
1328.89/1329.31	c       122       229    216.10     37.29      5.80   1000000         0
1330.29/1330.79	c       112       233    215.31     32.16      6.70   1000000         0
1331.79/1332.26	c       129       216    218.77     35.94      6.09   1000000         0
1333.29/1333.74	c       107       212    211.81     38.10      5.56   1000000         0
1334.79/1335.21	c       112       216    215.87     37.66      5.73   1000000         0
1336.19/1336.68	c       101       195    221.17     37.09      5.96   1000000         0
1337.69/1338.16	c       123       216    215.94     35.10      6.15   1000000         0
1339.19/1339.63	c       119       181    215.30     37.04      5.81   1000000         0
1340.69/1341.11	c       119       158    223.96     34.13      6.56   1000000         0
1342.09/1342.59	c       122       219    215.78     34.90      6.18   1000000         0
1343.59/1344.06	c       122       240    220.01     31.79      6.92   1000000         0
1345.09/1345.52	c       133       204    223.63     35.94      6.22   1000000         0
1346.59/1347.00	c       121       222    215.24     34.75      6.19   1000000         0
1347.99/1348.47	c       120       215    215.55     33.82      6.37   1000000         0
1349.48/1349.95	c       118       216    215.29     37.21      5.79   1000000         0
1350.98/1351.42	c       115       164    218.79     35.65      6.14   1000000         0
1352.49/1352.91	c       121       219    217.93     37.87      5.75   1000000         0
1353.88/1354.37	c       129       180    223.31     33.52      6.66   1000000         0
1355.38/1355.85	c       114       235    212.49     36.14      5.88   1000000         0
1356.89/1357.33	c       117       215    216.48     37.33      5.80   1000000         0
1358.38/1358.80	c       121       185    218.73     39.49      5.54   1000000         0
1359.78/1360.28	c       118       266    219.24     34.02      6.44   1000000         0
1361.29/1361.75	c       115       240    214.72     34.27      6.26   1000000         0
1362.78/1363.23	c       119       200    217.43     35.43      6.14   1000000         0
1364.18/1364.70	c       125       222    218.57     36.62      5.97   1000000         0
1365.69/1366.17	c        84       173    217.97     39.91      5.46   1000000         0
1367.18/1367.64	c       108       218    210.97     32.01      6.59   1000000         0
1368.68/1369.12	c       106       251    216.33     32.53      6.65   1000000         0
1370.19/1370.61	c       110       188    216.00     41.36      5.22   1000000         0
1371.58/1372.08	c       106       291    215.80     37.02      5.83   1000000         0
1373.08/1373.55	c       131       178    227.08     33.22      6.84   1000000         0
1374.59/1375.02	c       119       206    220.38     35.01      6.30   1000000         0
1375.98/1376.49	c       123       259    213.90     31.08      6.88   1000000         0
1377.48/1377.96	c       118       248    213.37     37.07      5.76   1000000         0
1378.98/1379.44	c       117       226    215.64     34.76      6.20   1000000         0
1380.48/1380.92	c       123       212    211.95     35.51      5.97   1000000         0
1381.97/1382.41	c       110       217    216.51     34.61      6.26   1000000         0
1383.38/1383.87	c       118       231    225.25     35.94      6.27   1000000         0
1384.87/1385.35	c       116       264    223.20     36.21      6.16   1000000         0
1386.37/1386.83	c       117       188    214.42     33.12      6.47   1000000         0
1387.78/1388.29	c       127       230    224.97     36.55      6.16   1000000         0
1389.27/1389.75	c       120       215    223.16     38.35      5.82   1000000         0
1390.77/1391.23	c       114       220    218.93     37.09      5.90   1000000         0
1392.27/1392.70	c       108       233    215.51     33.44      6.44   1000000         0
1393.67/1394.18	c       113       165    211.40     34.87      6.06   1000000         0
1395.17/1395.64	c       118       183    220.74     34.89      6.33   1000000         0
1396.67/1397.11	c       129       238    216.70     38.08      5.69   1000000         0
1398.07/1398.57	c       121       177    218.43     36.45      5.99   1000000         0
1399.57/1400.04	c       112       262    208.44     34.53      6.04   1000000         0
1401.07/1401.51	c       121       197    213.39     31.89      6.69   1000000         0
1402.47/1402.99	c       114       204    219.39     36.92      5.94   1000000         0
1403.97/1404.46	c       114       246    223.28     37.49      5.96   1000000         0
1405.47/1405.94	c       114       208    220.73     36.62      6.03   1000000         0
1406.97/1407.41	c       120       218    223.86     36.89      6.07   1000000         0
1408.37/1408.89	c       109       204    215.32     37.32      5.77   1000000         0
1409.87/1410.37	c        93       165    209.78     37.86      5.54   1000000         0
1411.37/1411.83	c       123       188    219.84     34.32      6.41   1000000         0
1412.87/1413.30	c       115       126    217.76     35.26      6.18   1000000         0
1414.26/1414.77	c       114       189    215.65     32.69      6.60   1000000         0
1415.76/1416.25	c       122       175    217.13     34.75      6.25   1000000         0
1417.26/1417.72	c       127       192    222.72     32.95      6.76   1000000         0
1418.66/1419.19	c       116       235    211.60     37.37      5.66   1000000         0
1420.16/1420.67	c       111       198    217.50     36.11      6.02   1000000         0
1421.66/1422.14	c       113       189    217.83     34.66      6.28   1000000         0
1423.16/1423.61	c       124       217    221.57     36.56      6.06   1000000         0
1424.56/1425.08	c       114       204    213.64     34.68      6.16   1000000         0
1426.06/1426.55	c       102       239    216.00     34.14      6.33   1000000         0
1427.56/1428.02	c       122       186    219.75     35.44      6.20   1000000         0
1428.96/1429.49	c       121       240    221.87     34.05      6.52   1000000         0
1430.46/1430.96	c       126       189    224.40     32.75      6.85   1000000         0
1431.96/1432.45	c        96       183    214.49     35.79      5.99   1000000         0
1433.46/1433.92	c       117       194    214.71     38.70      5.55   1000000         0
1434.86/1435.40	c       127       226    227.57     33.28      6.84   1000000         0
1436.36/1436.87	c       124       212    220.15     30.67      7.18   1000000         0
1437.86/1438.36	c       113       195    212.38     36.14      5.88   1000000         0
1439.37/1439.82	c       115       171    219.61     31.65      6.94   1000000         0
1440.86/1441.30	c       108       199    212.40     35.54      5.98   1000000         0
1442.26/1442.78	c       110       217    217.62     37.22      5.85   1000000         0
1443.76/1444.23	c       108       236    221.48     34.48      6.42   1000000         0
1445.26/1445.71	c       115       210    219.16     37.57      5.83   1000000         0
1446.66/1447.18	c       118       248    216.53     34.60      6.26   1000000         0
1448.16/1448.65	c       117       223    220.95     37.25      5.93   1000000         0
1449.66/1450.14	c       125       201    221.03     34.76      6.36   1000000         0
1451.16/1451.61	c       109       219    214.99     34.09      6.31   1000000         0
1452.56/1453.08	c       107       217    214.88     36.27      5.92   1000000         0
1454.05/1454.55	c       115       250    222.89     34.28      6.50   1000000         0
1455.55/1456.03	c       119       240    215.82     35.83      6.02   1000000         0
1457.06/1457.51	c       116       227    211.22     30.72      6.87   1000000         0
1458.45/1458.97	c       134       199    220.22     32.48      6.78   1000000         0
1459.95/1460.45	c       118       217    212.24     32.07      6.62   1000000         0
1461.46/1461.93	c       126       173    219.52     36.11      6.08   1000000         0
1462.95/1463.41	c       120       253    214.50     38.20      5.62   1000000         0
1464.35/1464.89	c       118       205    213.44     37.07      5.76   1000000         0
1465.86/1466.36	c       131       197    225.24     32.92      6.84   1000000         0
1467.35/1467.83	c       126       214    213.68     33.55      6.37   1000000         0
1468.85/1469.31	c       111       190    219.89     37.61      5.85   1000000         0
1470.26/1470.79	c       128       167    216.55     33.06      6.55   1000000         0
1471.75/1472.25	c       117       266    222.14     36.13      6.15   1000000         0
1473.25/1473.71	c       115       246    219.30     37.38      5.87   1000000         0
1474.65/1475.18	c       112       234    224.66     37.66      5.97   1000000         0
1476.15/1476.66	c       115       223    221.04     40.02      5.52   1000000         0
1477.65/1478.11	c       126       242    221.61     34.01      6.52   1000000         0
1479.05/1479.59	c       100       218    219.20     36.71      5.97   1000000         0
1480.55/1481.07	c       120       225    213.62     33.81      6.32   1000000         0
1482.04/1482.53	c       128       230    224.76     31.51      7.13   1000000         0
1483.54/1484.02	c       110       181    212.40     34.56      6.15   1000000         0
1484.94/1485.48	c       107       233    213.32     31.58      6.75   1000000         0
1486.44/1486.95	c       110       188    217.90     35.15      6.20   1000000         0
1487.94/1488.42	c       118       283    216.96     33.25      6.53   1000000         0
1489.34/1489.89	c       121       173    217.30     35.75      6.08   1000000         0
1490.84/1491.35	c       126       208    223.45     34.80      6.42   1000000         0
1492.34/1492.83	c       125       160    213.26     38.86      5.49   1000000         0
1493.84/1494.32	c       114       212    218.13     34.59      6.31   1000000         0
1495.34/1495.80	c       119       211    216.61     35.21      6.15   1000000         0
1496.74/1497.29	c       112       267    214.19     36.51      5.87   1000000         0
1498.24/1498.77	c       115       238    215.78     36.45      5.92   1000000         0
1499.74/1500.25	c       120       195    221.47     40.06      5.53   1000000         0
1501.24/1501.73	c       121       200    221.39     35.25      6.28   1000000         0
1502.74/1503.20	c       122       173    222.37     36.12      6.16   1000000         0
1504.14/1504.67	c       126       221    214.77     36.51      5.88   1000000         0
1505.64/1506.15	c       126       223    221.50     35.44      6.25   1000000         0
1507.14/1507.63	c       113       210    221.21     35.37      6.25   1000000         0
1508.64/1509.10	c       120       218    215.39     34.77      6.19   1000000         0
1510.04/1510.57	c       103       194    222.49     40.60      5.48   1000000         0
1511.54/1512.05	c       123       214    218.98     33.62      6.51   1000000         0
1513.04/1513.52	c       112       216    217.20     36.23      6.00   1000000         0
1514.43/1514.99	c       101       200    212.72     34.25      6.21   1000000         0
1515.93/1516.46	c       114       212    223.63     34.32      6.52   1000000         0
1517.44/1517.94	c        97       224    216.68     34.68      6.25   1000000         0
1518.93/1519.41	c       133       286    225.66     31.86      7.08   1000000         0
1520.33/1520.89	c       124       194    219.41     33.87      6.48   1000000         0
1521.84/1522.36	c       112       237    219.74     39.32      5.59   1000000         0
1523.33/1523.83	c       124       209    216.79     33.21      6.53   1000000         0
1524.83/1525.30	c       128       215    223.93     34.58      6.48   1000000         0
1526.24/1526.78	c        99       200    211.65     35.50      5.96   1000000         0
1527.73/1528.25	c       114       222    219.73     38.02      5.78   1000000         0
1529.23/1529.73	c       116       208    214.68     33.27      6.45   1000000         0
1530.64/1531.20	c       129       240    221.36     35.27      6.28   1000000         0
1532.13/1532.68	c       113       198    214.88     33.68      6.38   1000000         0
1533.63/1534.15	c       127       205    222.77     35.34      6.30   1000000         0
1535.14/1535.62	c       115       183    218.27     35.05      6.23   1000000         0
1536.63/1537.10	c       125       226    219.83     33.83      6.50   1000000         0
1538.03/1538.57	c       131       252    223.82     36.67      6.10   1000000         0
1539.53/1540.05	c       115       166    209.53     32.19      6.51   1000000         0
1541.03/1541.52	c       114       224    217.13     34.89      6.22   1000000         0
1542.43/1542.99	c       130       212    221.60     33.10      6.69   1000000         0
1543.93/1544.46	c       116       223    220.67     37.30      5.92   1000000         0
1545.43/1545.93	c       101       216    216.24     34.00      6.36   1000000         0
1546.92/1547.40	c       118       255    220.52     35.19      6.27   1000000         0
1548.33/1548.88	c       119       235    218.05     33.57      6.50   1000000         0
1549.82/1550.35	c       127       187    223.39     36.10      6.19   1000000         0
1551.32/1551.83	c       117       201    221.07     37.75      5.86   1000000         0
1552.82/1553.31	c       102       239    217.47     38.73      5.61   1000000         0
1554.22/1554.77	c       129       221    219.67     28.41      7.73   1000000         0
1555.72/1556.23	c       134       176    220.13     33.50      6.57   1000000         0
1557.22/1557.72	c       125       211    215.66     34.54      6.24   1000000         0
1558.72/1559.20	c       131       281    217.53     39.28      5.54   1000000         0
1560.12/1560.67	c       116       239    213.60     40.29      5.30   1000000         0
1561.62/1562.15	c       112       240    216.34     39.04      5.54   1000000         0
1563.12/1563.64	c       122       261    217.13     35.62      6.10   1000000         0
1564.62/1565.11	c       117       227    220.97     38.00      5.81   1000000         0
1566.02/1566.58	c       116       270    218.11     33.20      6.57   1000000         0
1567.52/1568.05	c       125       214    222.87     41.61      5.36   1000000         0
1569.02/1569.53	c       124       190    215.67     35.11      6.14   1000000         0
1570.42/1570.99	c       101       204    215.08     37.28      5.77   1000000         0
1571.92/1572.47	c       118       239    214.24     32.72      6.55   1000000         0
1573.42/1573.95	c       116       156    219.44     33.22      6.61   1000000         0
1574.92/1575.41	c       109       227    219.71     34.78      6.32   1000000         0
1576.32/1576.88	c       126       218    219.96     36.52      6.02   1000000         0
1577.81/1578.36	c       108       175    213.54     34.32      6.22   1000000         0
1579.31/1579.85	c       116       165    218.66     34.83      6.28   1000000         0
1580.81/1581.31	c       118       172    217.52     37.25      5.84   1000000         0
1582.21/1582.77	c       124       202    219.43     36.25      6.05   1000000         0
1583.71/1584.23	c       123       182    222.46     39.56      5.62   1000000         0
1585.21/1585.71	c       125       256    215.61     33.67      6.40   1000000         0
1586.61/1587.18	c       116       187    220.11     34.45      6.39   1000000         0
1588.11/1588.65	c       115       222    221.35     32.22      6.87   1000000         0
1589.61/1590.13	c        96       188    208.23     38.77      5.37   1000000         0
1591.12/1591.60	c       122       261    218.32     36.68      5.95   1000000         0
1592.51/1593.07	c       123       242    219.44     34.50      6.36   1000000         0
1594.01/1594.55	c       122       221    212.92     35.26      6.04   1000000         0
1595.52/1596.02	c       117       165    220.70     32.92      6.70   1000000         0
1597.01/1597.50	c       131       236    216.52     35.00      6.19   1000000         0
1598.41/1598.97	c       119       258    215.47     36.70      5.87   1000000         0
1599.91/1600.46	c       125       179    218.48     35.53      6.15   1000000         0
1601.41/1601.93	c       125       223    221.94     33.10      6.70   1000000         0
1602.91/1603.40	c       128       254    224.23     35.89      6.25   1000000         0
1604.31/1604.85	c       106       223    216.05     36.93      5.85   1000000         0
1605.81/1606.32	c       127       204    222.93     32.54      6.85   1000000         0
1607.21/1607.80	c       117       166    215.58     35.47      6.08   1000000         0
1608.71/1609.26	c       122       229    222.63     34.54      6.45   1000000         0
1610.21/1610.74	c       126       186    217.15     36.95      5.88   1000000         0
1611.70/1612.22	c       116       200    213.71     34.79      6.14   1000000         0
1613.11/1613.70	c       111       232    212.97     32.20      6.61   1000000         0
1614.60/1615.18	c       121       181    218.97     33.39      6.56   1000000         0
1616.10/1616.65	c       112       242    211.65     35.94      5.89   1000000         0
1617.61/1618.12	c       120       208    220.94     37.72      5.86   1000000         0
1619.10/1619.60	c       106       228    210.58     36.78      5.73   1000000         0
1620.50/1621.06	c       116       192    217.19     34.38      6.32   1000000         0
1622.01/1622.54	c       116       233    216.52     37.64      5.75   1000000         0
1623.50/1624.02	c       116       195    218.15     35.13      6.21   1000000         0
1624.90/1625.49	c       132       212    222.42     32.99      6.74   1000000         0
1626.41/1626.98	c       114       286    210.15     37.98      5.53   1000000         0
1627.90/1628.47	c       114       229    210.31     34.31      6.13   1000000         0
1629.40/1629.94	c       105       249    219.76     33.54      6.55   1000000         0
1630.90/1631.42	c       109       222    216.64     37.92      5.71   1000000         0
1632.40/1632.90	c       115       203    217.36     38.19      5.69   1000000         0
1633.80/1634.36	c       124       279    222.18     34.22      6.49   1000000         0
1635.30/1635.83	c       121       295    226.34     37.76      6.00   1000000         0
1636.80/1637.31	c       116       211    212.58     34.83      6.10   1000000         0
1638.20/1638.78	c       117       255    216.66     34.03      6.37   1000000         0
1639.70/1640.26	c       133       217    218.99     36.89      5.94   1000000         0
1641.20/1641.73	c       118       220    216.11     39.11      5.53   1000000         0
1642.70/1643.21	c       122       231    218.10     35.01      6.23   1000000         0
1644.10/1644.67	c       127       227    223.24     35.57      6.28   1000000         0
1645.59/1646.15	c       125       194    222.53     34.72      6.41   1000000         0
1647.09/1647.62	c       102       247    217.32     34.38      6.32   1000000         0
1648.59/1649.10	c       116       222    212.33     37.72      5.63   1000000         0
1649.99/1650.58	c       125       214    213.00     31.74      6.71   1000000         0
1651.49/1652.05	c       127       261    223.89     36.82      6.08   1000000         0
1652.99/1653.52	c       106       214    213.17     38.21      5.58   1000000         0
1654.49/1655.00	c       111       216    220.53     35.41      6.23   1000000         0
1655.89/1656.47	c       125       204    216.16     35.05      6.17   1000000         0
1657.39/1657.95	c       126       236    216.82     36.90      5.88   1000000         0
1658.89/1659.42	c       124       193    214.41     30.44      7.04   1000000         0
1660.29/1660.88	c       125       222    221.20     36.65      6.03   1000000         0
1661.79/1662.37	c       106       193    212.68     34.63      6.14   1000000         0
1663.29/1663.85	c       114       207    219.56     34.88      6.29   1000000         0
1664.80/1665.33	c       116       184    214.18     34.17      6.27   1000000         0
1666.29/1666.80	c       129       202    217.62     31.06      7.01   1000000         0
1667.69/1668.28	c       129       199    217.22     31.33      6.93   1000000         0
1669.20/1669.76	c       127       221    216.47     35.12      6.16   1000000         0
1670.69/1671.23	c       121       181    219.33     39.17      5.60   1000000         0
1672.19/1672.71	c       112       246    220.11     39.27      5.61   1000000         0
1673.59/1674.17	c       132       205    223.58     32.57      6.87   1000000         0
1675.09/1675.65	c       105       234    215.02     34.51      6.23   1000000         0
1676.59/1677.12	c       107       219    216.54     38.51      5.62   1000000         0
1677.99/1678.59	c       120       205    218.89     37.27      5.87   1000000         0
1679.48/1680.06	c       115       200    220.22     35.09      6.28   1000000         0
1680.98/1681.54	c       122       201    217.17     33.83      6.42   1000000         0
1682.39/1683.00	c       121       180    219.84     31.19      7.05   1000000         0
1683.88/1684.48	c       124       242    214.54     31.76      6.75   1000000         0
1685.38/1685.95	c       116       200    225.10     36.80      6.12   1000000         0
1686.89/1687.41	c       125       195    219.99     35.49      6.20   1000000         0
1688.28/1688.88	c       117       183    216.99     34.48      6.29   1000000         0
1689.78/1690.34	c       123       265    219.77     36.68      5.99   1000000         0
1691.29/1691.81	c       128       233    222.02     34.44      6.45   1000000         0
1692.68/1693.28	c       104       254    216.53     33.44      6.47   1000000         0
1694.18/1694.76	c       125       174    221.54     36.12      6.13   1000000         0
1695.69/1696.25	c       117       236    208.72     36.81      5.67   1000000         0
1697.18/1697.72	c       126       204    213.14     32.51      6.56   1000000         0
1698.68/1699.20	c       111       176    214.45     36.75      5.83   1000000         0
1700.09/1700.68	c       125       230    217.03     31.81      6.82   1000000         0
1701.58/1702.13	c       116       209    221.60     32.02      6.92   1000000         0
1703.08/1703.60	c       117       165    217.79     34.06      6.40   1000000         0
1704.48/1705.07	c       132       196    221.43     30.91      7.16   1000000         0
1705.98/1706.55	c       122       224    214.37     35.38      6.06   1000000         0
1707.48/1708.02	c       109       241    218.66     34.09      6.41   1000000         0
1708.98/1709.50	c       107       238    212.84     40.23      5.29   1000000         0
1710.37/1710.98	c       131       189    220.89     34.44      6.41   1000000         0
1711.87/1712.45	c       124       217    218.10     34.77      6.27   1000000         0
1713.37/1713.94	c       111       221    209.85     32.20      6.52   1000000         0
1714.87/1715.42	c       113       205    211.34     33.52      6.30   1000000         0
1716.27/1716.90	c       118       238    217.06     37.15      5.84   1000000         0
1717.77/1718.36	c       125       152    216.79     32.64      6.64   1000000         0
1719.27/1719.84	c       111       168    217.79     35.43      6.15   1000000         0
1720.77/1721.32	c       112       160    217.23     33.15      6.55   1000000         0
1722.27/1722.80	c       128       253    225.02     35.34      6.37   1000000         0
1723.67/1724.28	c       114       181    218.77     41.08      5.33   1000000         0
1725.17/1725.76	c       115       277    215.11     40.04      5.37   1000000         0
1726.67/1727.22	c       114       218    210.87     32.63      6.46   1000000         0
1728.17/1728.70	c       118       317    222.15     32.32      6.87   1000000         0
1729.57/1730.18	c       121       202    216.67     37.64      5.76   1000000         0
1731.07/1731.65	c       131       199    220.82     35.36      6.25   1000000         0
1732.57/1733.12	c       124       244    226.34     33.78      6.70   1000000         0
1733.97/1734.59	c       130       190    222.44     35.49      6.27   1000000         0
1735.47/1736.07	c       112       208    217.12     31.50      6.89   1000000         0
1736.97/1737.53	c       115       325    219.79     36.33      6.05   1000000         0
1738.47/1739.00	c        96       240    213.98     38.58      5.55   1000000         0
1739.86/1740.48	c        96       199    214.80     36.68      5.86   1000000         0
1741.36/1741.94	c       117       264    223.45     34.11      6.55   1000000         0
1742.87/1743.42	c       107       225    216.32     31.83      6.80   1000000         0
1744.26/1744.89	c       129       205    228.38     33.91      6.74   1000000         0
1745.76/1746.36	c       111       189    214.26     31.30      6.85   1000000         0
1747.27/1747.83	c       103       213    214.91     35.77      6.01   1000000         0
1748.76/1749.30	c       122       219    224.38     33.11      6.78   1000000         0
1750.16/1750.78	c       118       202    210.35     37.69      5.58   1000000         0
1751.67/1752.25	c       123       225    220.58     33.35      6.61   1000000         0
1753.16/1753.71	c       122       195    216.56     37.14      5.83   1000000         0
1754.56/1755.19	c       108       251    210.48     34.88      6.03   1000000         0
1756.07/1756.64	c       119       243    220.05     37.53      5.86   1000000         0
1757.56/1758.12	c       122       193    218.79     34.93      6.26   1000000         0
1758.96/1759.58	c       129       193    216.26     36.71      5.89   1000000         0
1760.47/1761.06	c       103       215    211.45     32.23      6.56   1000000         0
1761.96/1762.53	c       124       215    218.28     32.95      6.63   1000000         0
1763.46/1764.01	c       109       202    214.75     32.87      6.53   1000000         0
1764.86/1765.48	c       124       228    215.91     37.73      5.72   1000000         0
1766.36/1766.96	c       120       210    215.19     36.29      5.93   1000000         0
1767.86/1768.43	c       120       164    220.15     35.65      6.18   1000000         0
1769.36/1769.91	c       120       148    217.99     35.06      6.22   1000000         0
1770.76/1771.39	c       120       201    217.29     36.12      6.02   1000000         0
1772.26/1772.86	c       110       197    216.19     35.57      6.08   1000000         0
1773.76/1774.33	c       107       220    211.85     36.70      5.77   1000000         0
1775.25/1775.81	c       122       226    216.61     37.09      5.84   1000000         0
1776.65/1777.28	c       122       240    223.47     34.31      6.51   1000000         0
1778.16/1778.76	c        97       218    213.37     34.36      6.21   1000000         0
1779.65/1780.23	c       127       225    216.55     31.09      6.97   1000000         0
1781.15/1781.70	c       118       240    212.07     39.37      5.39   1000000         0
1782.56/1783.18	c       123       211    216.26     35.98      6.01   1000000         0
1784.05/1784.65	c       131       206    220.50     35.51      6.21   1000000         0
1785.55/1786.11	c       111       234    216.48     31.77      6.81   1000000         0
1786.96/1787.57	c       123       185    223.12     35.78      6.24   1000000         0
1788.45/1789.04	c       120       211    221.17     36.26      6.10   1000000         0
1789.95/1790.51	c       124       193    221.44     32.69      6.77   1000000         0
1791.36/1791.97	c       110       272    220.34     34.77      6.34   1000000         0
1792.85/1793.43	c       122       228    222.29     36.37      6.11   1000000         0
1794.35/1794.90	c       110       204    216.11     35.04      6.17   1000000         0
1795.76/1796.37	c       113       213    227.03     37.62      6.03   1000000         0
1797.25/1797.85	c       110       190    212.40     41.17      5.16   1000000         0
1798.75/1799.32	c       108       174    214.42     36.54      5.87   1000000         0
1800.06/1800.61	HOME/run: line 2:  9909 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-2669873-1276610851/watcher-2669873-1276610851 -o /tmp/evaluation-result-2669873-1276610851/solver-2669873-1276610851 -C 1800 -W 2000 -M 1800 run HOME/instance-2669873-1276610851.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.00 1.00 3/105 9908
/proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0

[startup+0.07178 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9908
/proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101782 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9908
/proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301804 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9908
/proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701846 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 9908
/proc/meminfo: memFree=1518104/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1514492/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1.49
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 923 0 0 0 149 0 0 0 25 0 1 0 2379253 41422848 853 1992294400 134512640 135071400 4288028336 18446744073709551615 134525611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 853 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1514368/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=3.09
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 309 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526740 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30144 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1514244/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=6.29
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 629 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134537255 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=12.69
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 1269 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526502 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9910
/proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=25.48
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 2548 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526403 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9912
/proc/meminfo: memFree=1513996/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=51.08
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 5108 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526505 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 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/107 9912
/proc/meminfo: memFree=1513748/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=102.27
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 10227 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 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/107 9914
/proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=162.24
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 16224 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519828 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9916
/proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=222.22
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 22222 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526693 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9918
/proc/meminfo: memFree=1513624/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=282.21
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 28221 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526366 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9918
/proc/meminfo: memFree=1513500/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=342.19
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 34219 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9920
/proc/meminfo: memFree=1513376/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=402.17
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 40217 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1061.96
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 106196 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526161 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9940
/proc/meminfo: memFree=1512012/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1121.95
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 112195 0 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525671 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9942
/proc/meminfo: memFree=1511640/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1181.94
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 118193 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525739 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9942
/proc/meminfo: memFree=1511392/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1241.92
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 124191 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9944
/proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1301.91
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 130190 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526243 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9946
/proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1361.88
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 136187 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9948
/proc/meminfo: memFree=1511144/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1421.87
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 142186 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9953
/proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1481.84
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 148183 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9953
/proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1541.83
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 154182 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9955
/proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1601.81
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 160180 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526378 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9957
/proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1661.79
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 166178 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9959
/proc/meminfo: memFree=1510648/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1721.77
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 172176 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9961
/proc/meminfo: memFree=1510276/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1781.75
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 178174 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9961
/proc/meminfo: memFree=1510276/2059040 swapFree=4192956/4192956
[pid=9908] ppid=9906 vsize=8700 CPUtime=0
/proc/9908/stat : 9908 (run) S 9906 9908 9392 0 -1 4202496 359 0 0 0 0 0 0 0 25 0 1 0 2379253 8908800 244 1992294400 4194304 4922060 140734684426240 18446744073709551615 249773530245 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9908/statm: 2175 244 204 178 0 68 0
[pid=9909] ppid=9908 vsize=40452 CPUtime=1800.06
/proc/9909/stat : 9909 (PB-wave) R 9908 9908 9392 0 -1 4202496 931 0 0 0 180005 1 0 0 25 0 1 0 2379253 41422848 861 1992294400 134512640 135071400 4288028336 18446744073709551615 134526314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/9909/statm: 10113 861 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.08
CPU user time (s): 1800.06
CPU system time (s): 0.019996
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 3.02754 second user time and 8.5457 second system time

The end

Launcher Data

Begin job on node081 at 2010-06-15 16:07:32
IDJOB=2669873
IDBENCH=1469
IDSOLVER=1171
FILE ID=node081/2669873-1276610851
PBS_JOBID= 11172244
Free space on /tmp= 121808 MiB

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

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

MD5SUM BENCH= 5c27e468756746c81988dfb461940da4
RANDOM SEED=1967180762

node081.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.212
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.42
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.212
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1518624 kB
Buffers:         71172 kB
Cached:         342028 kB
SwapCached:          0 kB
Active:         186308 kB
Inactive:       286460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1518624 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            1008 kB
Writeback:           0 kB
AnonPages:       59588 kB
Mapped:          15404 kB
Slab:            46012 kB
PageTables:       3952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 121808 MiB
End job on node081 at 2010-06-15 16:37:32