Trace number 2685322

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_6-unsat.opb
MD5SUM62425b8c99d21d88f86cd1929c3b9760
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.236963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables16744
Total number of constraints52975
Number of constraints which are clauses52611
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints364
Minimum length of a constraint1
Maximum length of a constraint72
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 41
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 413
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.13	c PB-wave - v2
0.00/0.13	c command line = ./PB-wave
0.00/0.13	c seed = 118615004
0.00/0.13	c cutoff = 1000000
0.00/0.13	c tries = 1000000
0.00/0.13	c heuristic = c best, noise 50 / 100
0.00/0.13	#var 16744 #con 52975
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 50232
0.00/0.13	c numatom = 16744, numclause = 52975, numliterals = 137267
0.00/0.13	c wff read in
0.00/0.13	c 
0.00/0.13	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.13	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.13	c       this      this      this      this      this      this   success   success       until         std
0.00/0.13	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.13	c
1.59/1.61	c       320       523    559.94     94.20      5.94   1000000         0
2.99/3.09	c       369       589    561.27    104.90      5.35   1000000         0
4.49/4.55	c       315       587    537.85     82.40      6.53   1000000         0
5.99/6.02	c       315       566    555.20    106.04      5.24   1000000         0
7.49/7.50	c       347       542    569.73    100.48      5.67   1000000         0
8.89/8.97	c       350       736    560.81    110.83      5.06   1000000         0
10.39/10.44	c       371       617    563.52     87.15      6.47   1000000         0
11.89/11.91	c       302       560    555.10     83.44      6.65   1000000         0
13.29/13.37	c       333       526    528.90     95.40      5.54   1000000         0
14.78/14.84	c       372       545    565.09    104.71      5.40   1000000         0
16.28/16.32	c       335       552    567.19     97.07      5.84   1000000         0
17.78/17.80	c       319       513    561.23     96.30      5.83   1000000         0
19.18/19.27	c       326       564    558.00    103.52      5.39   1000000         0
20.68/20.74	c       305       529    548.43    104.98      5.22   1000000         0
22.18/22.21	c       298       599    543.53     86.74      6.27   1000000         0
23.58/23.67	c       318       428    545.85     87.55      6.24   1000000         0
25.09/25.16	c       385       494    573.98     89.94      6.38   1000000         0
26.59/26.63	c       333       537    561.12     99.06      5.66   1000000         0
28.08/28.10	c       288       476    550.07     91.63      6.00   1000000         0
29.49/29.58	c       394       562    568.99    113.67      5.01   1000000         0
30.98/31.05	c       344       523    548.05    116.51      4.70   1000000         0
32.48/32.52	c       356       585    560.75    104.18      5.38   1000000         0
33.99/34.00	c       315       566    552.46     91.92      6.01   1000000         0
35.38/35.47	c       385       493    567.85     95.07      5.97   1000000         0
36.88/36.95	c       309       507    560.97    118.32      4.74   1000000         0
38.39/38.42	c       340       476    546.42     99.66      5.48   1000000         0
39.78/39.89	c       371       520    561.77     91.49      6.14   1000000         0
41.28/41.37	c       330       402    563.43     98.19      5.74   1000000         0
42.78/42.84	c       314       520    560.60    121.29      4.62   1000000         0
44.28/44.31	c       316       465    537.99     86.46      6.22   1000000         0
45.68/45.79	c       352       588    565.37    114.83      4.92   1000000         0
47.18/47.24	c       347       570    535.47     83.69      6.40   1000000         0
48.67/48.71	c       363       496    551.12     85.58      6.44   1000000         0
50.07/50.18	c       351       522    554.20     88.46      6.26   1000000         0
51.58/51.66	c       357       476    570.39    109.19      5.22   1000000         0
53.07/53.13	c       284       539    560.27     91.71      6.11   1000000         0
54.57/54.60	c       330       634    546.83    107.79      5.07   1000000         0
55.98/56.07	c       369       508    562.91    118.08      4.77   1000000         0
57.47/57.55	c       307       590    549.26    108.71      5.05   1000000         0
58.97/59.03	c       365       555    576.93     98.75      5.84   1000000         0
60.38/60.50	c       326       511    543.01     92.82      5.85   1000000         0
61.87/61.97	c       359       486    556.24     92.93      5.99   1000000         0
63.37/63.44	c       352       491    558.51     98.57      5.67   1000000         0
64.88/64.92	c       312       513    554.55     89.29      6.21   1000000         0
66.27/66.39	c       338       607    564.06    127.07      4.44   1000000         0
67.77/67.87	c       342       546    555.43     98.72      5.63   1000000         0
69.27/69.33	c       320       588    545.29     94.97      5.74   1000000         0
70.77/70.80	c       362       606    556.17    101.42      5.48   1000000         0
72.17/72.28	c       344       465    557.33     99.57      5.60   1000000         0
73.68/73.75	c       295       435    556.85     97.50      5.71   1000000         0
75.17/75.22	c       348       477    542.60     77.41      7.01   1000000         0
76.57/76.68	c       347       492    556.89    100.95      5.52   1000000         0
78.08/78.15	c       356       491    548.71    102.66      5.35   1000000         0
79.57/79.63	c       368       495    554.91     86.22      6.44   1000000         0
81.07/81.11	c       338       429    567.17    109.74      5.17   1000000         0
82.47/82.57	c       340       629    535.20     95.47      5.61   1000000         0
83.96/84.04	c       353       512    553.94     95.10      5.82   1000000         0
85.46/85.52	c       365       561    557.00     96.89      5.75   1000000         0
86.96/87.00	c       357       467    570.51    106.93      5.34   1000000         0
88.36/88.48	c       336       583    565.86    102.64      5.51   1000000         0
89.86/89.95	c       329       670    558.07     94.05      5.93   1000000         0
91.36/91.42	c       388       543    568.21     85.38      6.66   1000000         0
92.77/92.89	c       280       638    557.20    101.31      5.50   1000000         0
94.26/94.36	c       291       592    547.84     95.40      5.74   1000000         0
95.76/95.84	c       309       562    563.15     95.47      5.90   1000000         0
97.26/97.31	c       303       577    550.38    115.22      4.78   1000000         0
98.67/98.78	c       364       481    562.54    105.52      5.33   1000000         0
100.16/100.25	c       329       488    563.87    108.60      5.19   1000000         0
101.66/101.72	c       322       467    549.44    128.79      4.27   1000000         0
103.16/103.20	c       368       507    568.56    112.95      5.03   1000000         0
104.56/104.68	c       317       494    556.71     80.01      6.96   1000000         0
106.06/106.16	c       370       586    569.10     98.52      5.78   1000000         0
107.56/107.62	c       322       544    526.60     91.80      5.74   1000000         0
108.96/109.09	c       357       453    563.45    104.39      5.40   1000000         0
110.46/110.56	c       319       599    536.42    111.03      4.83   1000000         0
111.96/112.02	c       350       473    539.52    104.72      5.15   1000000         0
113.46/113.50	c       343       555    566.41    105.35      5.38   1000000         0
114.86/114.97	c       309       491    545.35    113.25      4.82   1000000         0
116.36/116.44	c       333       544    549.60     90.54      6.07   1000000         0
117.85/117.91	c       316       510    543.22     82.75      6.56   1000000         0
119.25/119.37	c       333       508    550.97    106.08      5.19   1000000         0
120.75/120.84	c       328       554    551.08    105.65      5.22   1000000         0
122.25/122.30	c       310       492    530.60     76.81      6.91   1000000         0
123.66/123.77	c       309       595    547.26     93.00      5.88   1000000         0
125.16/125.23	c       321       496    529.65     93.71      5.65   1000000         0
126.66/126.70	c       315       478    553.58     99.52      5.56   1000000         0
128.06/128.18	c       328       518    562.27    107.96      5.21   1000000         0
129.56/129.65	c       354       498    546.82     92.57      5.91   1000000         0
131.05/131.13	c       370       547    564.95     92.21      6.13   1000000         0
132.55/132.60	c       308       534    554.92    115.22      4.82   1000000         0
133.95/134.06	c       316       508    541.41     87.47      6.19   1000000         0
135.45/135.55	c       354       636    572.97    108.77      5.27   1000000         0
136.95/137.01	c       326       631    545.80     94.62      5.77   1000000         0
138.35/138.48	c       318       486    552.80     95.39      5.80   1000000         0
139.85/139.95	c       347       596    562.54    111.46      5.05   1000000         0
141.35/141.42	c       289       534    540.60    110.16      4.91   1000000         0
142.74/142.89	c       378       565    557.18     78.95      7.06   1000000         0
144.24/144.36	c       374       580    563.67     97.60      5.78   1000000         0
145.74/145.84	c       351       409    564.94    111.93      5.05   1000000         0
147.25/147.31	c       366       573    567.04     94.36      6.01   1000000         0
148.65/148.79	c       364       496    552.21    113.21      4.88   1000000         0
150.15/150.26	c       355       595    548.47     92.80      5.91   1000000         0
151.66/151.74	c       343       540    578.37    126.49      4.57   1000000         0
153.15/153.21	c       326       589    550.85     99.91      5.51   1000000         0
154.55/154.68	c       363       542    546.10    114.59      4.77   1000000         0
156.05/156.15	c       288       517    553.66    106.94      5.18   1000000         0
157.55/157.62	c       333       497    551.43    118.13      4.67   1000000         0
158.95/159.09	c       368       535    556.56     94.31      5.90   1000000         0
160.45/160.56	c       342       530    547.83     95.37      5.74   1000000         0
161.94/162.04	c       343       559    544.03     93.13      5.84   1000000         0
163.44/163.50	c       353       439    539.59    102.79      5.25   1000000         0
164.85/164.97	c       310       497    543.02     99.96      5.43   1000000         0
166.34/166.44	c       365       641    555.34     91.46      6.07   1000000         0
167.84/167.92	c       336       436    553.63     98.58      5.62   1000000         0
169.24/169.39	c       338       538    560.46    103.40      5.42   1000000         0
170.74/170.86	c       345       482    536.65     91.31      5.88   1000000         0
172.24/172.33	c       301       555    557.65     99.94      5.58   1000000         0
173.74/173.80	c       350       457    545.71    109.23      5.00   1000000         0
175.14/175.28	c       356       544    553.07    116.25      4.76   1000000         0
176.63/176.75	c       300       559    564.68     90.62      6.23   1000000         0
178.15/178.22	c       351       584    555.73    106.60      5.21   1000000         0
179.64/179.70	c       326       471    560.45    103.38      5.42   1000000         0
181.04/181.17	c       331       483    553.64    109.46      5.06   1000000         0
182.55/182.64	c       372       619    562.71     91.56      6.15   1000000         0
184.04/184.11	c       352       584    556.02     93.77      5.93   1000000         0
185.44/185.58	c       354       520    563.18    108.91      5.17   1000000         0
186.95/187.05	c       356       444    555.05    111.71      4.97   1000000         0
188.44/188.53	c       351       473    558.39    114.18      4.89   1000000         0
189.94/190.01	c       329       518    558.49    119.78      4.66   1000000         0
191.35/191.48	c       340       387    547.76     99.20      5.52   1000000         0
192.84/192.95	c       333       574    559.87    103.23      5.42   1000000         0
194.34/194.42	c       347       464    551.70     94.08      5.86   1000000         0
195.84/195.90	c       351       561    559.91    115.98      4.83   1000000         0
197.24/197.37	c       355       574    545.69     97.53      5.60   1000000         0
198.73/198.84	c       349       446    536.83     97.23      5.52   1000000         0
200.23/200.31	c       359       475    557.78     97.93      5.70   1000000         0
201.63/201.78	c       333       491    551.23     89.32      6.17   1000000         0
203.13/203.26	c       333       607    571.06     88.25      6.47   1000000         0
204.63/204.73	c       325       615    546.60     91.68      5.96   1000000         0
206.03/206.19	c       344       724    542.47    106.40      5.10   1000000         0
207.53/207.67	c       291       577    561.87    123.91      4.53   1000000         0
209.03/209.15	c       345       539    569.45    103.05      5.53   1000000         0
210.53/210.62	c       315       573    567.11     97.11      5.84   1000000         0
211.93/212.09	c       350       485    547.89     99.19      5.52   1000000         0
213.43/213.56	c       346       592    549.32     93.83      5.85   1000000         0
214.93/215.03	c       350       570    551.88     92.79      5.95   1000000         0
216.42/216.51	c       367       441    559.00     96.87      5.77   1000000         0
217.82/217.98	c       313       609    547.31    105.04      5.21   1000000         0
219.32/219.45	c       329       591    546.75    102.45      5.34   1000000         0
220.82/220.91	c       315       507    553.69    124.05      4.46   1000000         0
222.32/222.40	c       305       558    575.12    108.03      5.32   1000000         0
223.72/223.87	c       378       516    562.71     88.03      6.39   1000000         0
225.22/225.34	c       318       502    560.63     94.31      5.94   1000000         0
226.73/226.81	c       288       566    561.63    128.19      4.38   1000000         0
228.13/228.28	c       323       605    537.92     99.91      5.38   1000000         0
229.63/229.76	c       326       520    569.55    106.54      5.35   1000000         0
231.13/231.23	c       295       489    555.25     82.87      6.70   1000000         0
232.63/232.70	c       356       551    557.66    112.72      4.95   1000000         0
234.02/234.18	c       366       607    565.16    100.95      5.60   1000000         0
235.53/235.65	c       358       512    544.61    103.36      5.27   1000000         0
237.02/237.12	c       320       554    537.77    107.65      5.00   1000000         0
238.42/238.58	c       332       512    532.65     98.68      5.40   1000000         0
239.92/240.05	c       348       510    555.38     93.13      5.96   1000000         0
241.42/241.53	c       338       566    565.10    106.73      5.29   1000000         0
242.93/243.00	c       343       535    559.98     89.45      6.26   1000000         0
244.32/244.47	c       358       656    558.18    112.29      4.97   1000000         0
245.82/245.94	c       324       544    549.13    102.12      5.38   1000000         0
247.32/247.42	c       345       546    552.79    114.27      4.84   1000000         0
248.72/248.89	c       324       605    553.85    109.36      5.06   1000000         0
250.22/250.37	c       355       560    568.16     93.92      6.05   1000000         0
251.72/251.83	c       321       500    543.77     94.30      5.77   1000000         0
253.22/253.31	c       345       505    558.79    103.44      5.40   1000000         0
254.61/254.77	c       274       423    545.08    118.85      4.59   1000000         0
256.12/256.24	c       301       533    544.34    104.98      5.18   1000000         0
257.61/257.71	c       333       542    552.27    100.30      5.51   1000000         0
259.01/259.18	c       371       494    563.39    100.43      5.61   1000000         0
260.52/260.65	c       315       525    549.22    104.48      5.26   1000000         0
262.02/262.14	c       373       421    577.20     98.52      5.86   1000000         0
263.52/263.61	c       323       597    561.46    124.42      4.51   1000000         0
264.92/265.08	c       366       671    561.15    110.91      5.06   1000000         0
266.42/266.56	c       336       512    569.75     94.26      6.04   1000000         0
267.92/268.04	c       380       647    566.83     91.70      6.18   1000000         0
269.42/269.52	c       373       593    566.94    113.54      4.99   1000000         0
270.81/270.99	c       362       516    557.27    104.38      5.34   1000000         0
272.31/272.46	c       341       659    553.06    105.62      5.24   1000000         0
273.82/273.93	c       368       608    548.39     79.54      6.89   1000000         0
275.31/275.40	c       331       599    552.16    102.69      5.38   1000000         0
276.71/276.88	c       333       462    564.18    101.09      5.58   1000000         0
278.22/278.34	c       302       454    539.13     90.44      5.96   1000000         0
279.71/279.81	c       372       576    553.79     85.82      6.45   1000000         0
281.11/281.28	c       314       508    561.53     99.86      5.62   1000000         0
282.61/282.76	c       359       582    554.74    102.07      5.43   1000000         0
284.11/284.23	c       350       489    573.55    106.30      5.40   1000000         0
285.61/285.70	c       304       539    532.53     95.01      5.60   1000000         0
287.01/287.16	c       329       493    550.11     82.13      6.70   1000000         0
288.50/288.63	c       316       525    548.59     95.21      5.76   1000000         0
290.00/290.11	c       352       537    565.21     97.19      5.82   1000000         0
291.41/291.57	c       369       565    540.80     89.56      6.04   1000000         0
292.90/293.04	c       359       658    548.66     93.71      5.86   1000000         0
294.40/294.51	c       320       467    564.00    100.41      5.62   1000000         0
295.81/295.99	c       367       507    558.81     93.62      5.97   1000000         0
297.30/297.45	c       328       489    542.28    116.52      4.65   1000000         0
298.80/298.92	c       314       461    560.82     94.00      5.97   1000000         0
300.30/300.40	c       357       481    557.18     91.54      6.09   1000000         0
301.70/301.87	c       343       548    547.12    122.46      4.47   1000000         0
303.21/303.34	c       310       449    558.54     88.87      6.29   1000000         0
304.71/304.81	c       344       467    548.30     91.01      6.02   1000000         0
306.10/306.27	c       313       470    548.63     99.46      5.52   1000000         0
307.60/307.74	c       335       546    558.30     99.48      5.61   1000000         0
309.10/309.21	c       316       506    554.75     85.70      6.47   1000000         0
310.50/310.68	c       350       625    547.80     91.71      5.97   1000000         0
312.00/312.15	c       357       537    542.72     93.65      5.80   1000000         0
313.50/313.62	c       382       624    562.64     86.92      6.47   1000000         0
314.90/315.09	c       305       615    562.80    107.13      5.25   1000000         0
316.40/316.56	c       309       454    545.73    106.81      5.11   1000000         0
317.90/318.03	c       356       622    565.39    112.64      5.02   1000000         0
319.40/319.50	c       338       650    537.89     89.72      6.00   1000000         0
320.80/320.97	c       337       531    539.78     96.73      5.58   1000000         0
322.30/322.43	c       338       564    547.38     95.98      5.70   1000000         0
323.79/323.90	c       347       424    551.64     94.85      5.82   1000000         0
325.19/325.38	c       375       665    565.70     98.33      5.75   1000000         0
326.69/326.85	c       286       470    554.39    103.85      5.34   1000000         0
328.19/328.33	c       312       493    559.98    109.78      5.10   1000000         0
329.69/329.81	c       340       580    569.76     98.86      5.76   1000000         0
331.09/331.28	c       340       703    570.08    103.77      5.49   1000000         0
332.59/332.75	c       332       473    543.47     90.45      6.01   1000000         0
334.09/334.22	c       363       561    561.01     84.12      6.67   1000000         0
335.59/335.70	c       371       443    568.36     92.76      6.13   1000000         0
336.99/337.18	c       367       555    583.61    102.90      5.67   1000000         0
338.49/338.65	c       319       571    548.87     95.15      5.77   1000000         0
339.99/340.12	c       343       536    536.20     84.31      6.36   1000000         0
341.39/341.58	c       353       510    550.41     93.80      5.87   1000000         0
342.89/343.05	c       337       448    536.87     93.68      5.73   1000000         0
344.40/344.51	c       342       569    540.08     86.25      6.26   1000000         0
345.80/345.97	c       338       603    540.90     84.04      6.44   1000000         0
347.30/347.44	c       324       575    545.38    105.70      5.16   1000000         0
348.79/348.93	c       312       538    577.07    101.45      5.69   1000000         0
350.19/350.39	c       299       582    546.42     89.41      6.11   1000000         0
351.69/351.87	c       342       405    566.89    106.76      5.31   1000000         0
353.19/353.34	c       347       478    545.07     89.23      6.11   1000000         0
354.69/354.82	c       359       608    570.34     86.14      6.62   1000000         0
356.09/356.29	c       351       597    552.26     90.12      6.13   1000000         0
357.59/357.75	c       298       560    547.29    109.17      5.01   1000000         0
359.09/359.22	c       355       427    547.78    110.02      4.98   1000000         0
360.49/360.70	c       298       528    549.70    111.50      4.93   1000000         0
361.99/362.17	c       355       553    552.74     82.77      6.68   1000000         0
363.49/363.64	c       336       582    561.13    109.52      5.12   1000000         0
364.99/365.12	c       389       487    569.62     90.86      6.27   1000000         0
366.39/366.58	c       335       595    538.20     90.99      5.91   1000000         0
367.89/368.05	c       306       694    554.04    107.09      5.17   1000000         0
369.39/369.52	c       354       538    560.91     95.41      5.88   1000000         0
370.89/371.00	c       361       556    567.15     97.22      5.83   1000000         0
372.29/372.47	c       337       635    560.29    113.67      4.93   1000000         0
373.79/373.94	c       328       665    554.58     88.38      6.27   1000000         0
375.28/375.41	c       314       675    544.74    101.84      5.35   1000000         0
376.68/376.87	c       321       508    543.35    102.69      5.29   1000000         0
378.19/378.34	c       339       557    535.19    108.75      4.92   1000000         0
379.68/379.81	c       355       553    543.69     90.06      6.04   1000000         0
381.08/381.27	c       304       479    530.34    118.30      4.48   1000000         0
382.59/382.74	c       345       547    553.21    102.87      5.38   1000000         0
384.08/384.21	c       330       496    536.04     97.79      5.48   1000000         0
385.48/385.67	c       346       531    544.88     84.14      6.48   1000000         0
386.99/387.13	c       335       446    530.21     91.95      5.77   1000000         0
388.48/388.61	c       291       507    560.52    103.10      5.44   1000000         0
389.88/390.08	c       350       509    553.48    106.79      5.18   1000000         0
391.38/391.55	c       344       542    554.59     95.99      5.78   1000000         0
392.88/393.01	c       351       482    551.67     94.01      5.87   1000000         0
394.28/394.49	c       339       487    547.98    104.49      5.24   1000000         0
395.78/395.96	c       339       476    556.03     83.82      6.63   1000000         0
397.27/397.43	c       363       508    557.48    114.67      4.86   1000000         0
398.77/398.91	c       354       485    561.00     94.77      5.92   1000000         0
400.18/400.38	c       348       469    561.32    106.88      5.25   1000000         0
401.67/401.84	c       366       442    544.41     99.65      5.46   1000000         0
403.17/403.31	c       335       525    531.37     93.81      5.66   1000000         0
404.58/404.78	c       372       587    547.22     85.95      6.37   1000000         0
406.07/406.24	c       354       592    536.62     90.49      5.93   1000000         0
407.57/407.71	c       347       457    552.70     94.67      5.84   1000000         0
408.98/409.19	c       347       486    565.13     98.52      5.74   1000000         0
410.47/410.66	c       323       538    562.36    118.02      4.77   1000000         0
411.97/412.14	c       353       467    552.09     99.39      5.55   1000000         0
413.48/413.60	c       340       595    538.86    108.81      4.95   1000000         0
414.87/415.08	c       371       458    553.80     91.42      6.06   1000000         0
416.37/416.55	c       325       525    547.62     93.79      5.84   1000000         0
417.88/418.02	c       309       587    556.39     93.87      5.93   1000000         0
419.37/419.50	c       309       475    551.16    121.69      4.53   1000000         0
420.77/420.96	c       335       624    544.26     84.36      6.45   1000000         0
422.27/422.45	c       378       578    579.66     93.85      6.18   1000000         0
423.77/423.92	c       308       690    546.95    107.71      5.08   1000000         0
425.16/425.39	c       374       557    563.50     93.37      6.04   1000000         0
426.67/426.86	c       357       603    558.23     90.45      6.17   1000000         0
428.16/428.35	c       375       728    573.39    112.71      5.09   1000000         0
429.66/429.82	c       328       602    556.24     96.59      5.76   1000000         0
431.07/431.29	c       357       529    557.89    109.01      5.12   1000000         0
432.56/432.77	c       363       681    568.02     89.32      6.36   1000000         0
434.06/434.24	c       322       559    559.47     99.98      5.60   1000000         0
435.56/435.71	c       309       469    558.86     92.80      6.02   1000000         0
436.97/437.19	c       332       521    552.10    102.82      5.37   1000000         0
438.47/438.67	c       343       572    566.17    117.76      4.81   1000000         0
439.97/440.13	c       325       408    530.46     97.33      5.45   1000000         0
441.47/441.60	c       314       422    554.75    125.71      4.41   1000000         0
442.87/443.07	c       366       524    561.11    100.15      5.60   1000000         0
444.37/444.54	c       353       497    548.42     90.58      6.05   1000000         0
445.87/446.00	c       302       436    543.99    106.28      5.12   1000000         0
447.27/447.47	c       356       578    542.26     86.32      6.28   1000000         0
448.77/448.95	c       360       605    572.60    104.29      5.49   1000000         0
450.26/450.41	c       309       493    543.35     94.62      5.74   1000000         0
451.66/451.89	c       345       587    555.72     89.35      6.22   1000000         0
453.16/453.36	c       321       632    547.19     85.88      6.37   1000000         0
454.66/454.83	c       348       526    557.19     86.17      6.47   1000000         0
456.16/456.31	c       333       604    551.45     98.49      5.60   1000000         0
457.56/457.78	c       373       619    551.96     84.45      6.54   1000000         0
459.06/459.25	c       323       479    567.17    102.82      5.52   1000000         0
460.56/460.72	c       320       506    543.40     99.94      5.44   1000000         0
461.96/462.19	c       354       601    554.47     80.68      6.87   1000000         0
463.46/463.67	c       342       411    565.69    105.44      5.37   1000000         0
464.96/465.14	c       308       666    565.76    114.54      4.94   1000000         0
466.46/466.61	c       331       538    554.61    103.61      5.35   1000000         0
467.86/468.07	c       349       619    538.86     80.81      6.67   1000000         0
469.36/469.54	c       331       503    550.45     89.63      6.14   1000000         0
470.86/471.00	c       276       506    531.55     93.28      5.70   1000000         0
472.26/472.48	c       332       575    555.37     93.70      5.93   1000000         0
473.76/473.94	c       290       538    535.04    107.17      4.99   1000000         0
475.26/475.41	c       354       619    551.11    103.59      5.32   1000000         0
476.66/476.89	c       384       753    557.68    100.86      5.53   1000000         0
478.16/478.35	c       347       533    555.43     86.79      6.40   1000000         0
479.66/479.82	c       336       441    547.01     97.71      5.60   1000000         0
481.05/481.28	c       310       517    529.34    104.04      5.09   1000000         0
482.55/482.75	c       291       646    552.00    107.17      5.15   1000000         0
484.06/484.22	c       336       559    559.83     95.25      5.88   1000000         0
485.45/485.69	c       331       550    539.84    100.89      5.35   1000000         0
486.95/487.17	c       354       610    567.89     98.67      5.76   1000000         0
488.45/488.64	c       349       567    559.67     97.31      5.75   1000000         0
489.95/490.11	c       345       366    548.65     88.12      6.23   1000000         0
491.35/491.58	c       307       544    567.90    101.67      5.59   1000000         0
492.85/493.05	c       353       485    547.99    101.38      5.41   1000000         0
494.35/494.53	c       345       520    554.62    104.90      5.29   1000000         0
495.86/496.01	c       372       562    563.82     89.86      6.27   1000000         0
497.25/497.49	c       363       495    581.63    106.54      5.46   1000000         0
498.75/498.96	c       303       552    563.31     82.25      6.85   1000000         0
500.26/500.44	c       345       374    550.69     93.19      5.91   1000000         0
501.75/501.91	c       372       551    558.50     96.71      5.77   1000000         0
503.15/503.38	c       368       606    557.92    129.75      4.30   1000000         0
504.65/504.85	c       308       481    540.12    101.11      5.34   1000000         0
506.15/506.32	c       320       528    546.85     92.54      5.91   1000000         0
507.55/507.79	c       327       594    553.47    115.88      4.78   1000000         0
509.05/509.26	c       305       532    546.00    101.74      5.37   1000000         0
510.54/510.74	c       314       572    545.04    108.44      5.03   1000000         0
512.04/512.21	c       325       540    564.77    104.52      5.40   1000000         0
513.45/513.68	c       342       559    549.28    102.56      5.36   1000000         0
514.94/515.17	c       375       547    580.72     95.66      6.07   1000000         0
516.44/516.64	c       311       534    550.41    104.28      5.28   1000000         0
517.85/518.10	c       359       541    540.22    101.75      5.31   1000000         0
519.34/519.57	c       364       536    555.42    104.47      5.32   1000000         0
520.84/521.04	c       309       486    555.74     97.48      5.70   1000000         0
522.35/522.51	c       333       579    549.12    100.97      5.44   1000000         0
523.74/523.98	c       362       626    552.28     99.35      5.56   1000000         0
525.24/525.45	c       353       466    554.63     92.37      6.00   1000000         0
526.75/526.93	c       298       431    577.71    107.44      5.38   1000000         0
528.14/528.39	c       291       515    538.07     85.72      6.28   1000000         0
529.64/529.86	c       366       553    552.71     90.28      6.12   1000000         0
531.15/531.33	c       347       432    546.64     82.10      6.66   1000000         0
532.64/532.80	c       333       587    535.31     85.27      6.28   1000000         0
534.04/534.25	c       338       590    528.61    109.18      4.84   1000000         0
535.54/535.72	c       330       567    554.09    108.70      5.10   1000000         0
537.03/537.20	c       284       614    573.38    116.34      4.93   1000000         0
538.43/538.68	c       344       593    555.90    101.80      5.46   1000000         0
539.94/540.15	c       327       433    557.06    111.58      4.99   1000000         0
541.43/541.62	c       374       527    549.70     84.73      6.49   1000000         0
542.83/543.09	c       329       481    542.76     96.78      5.61   1000000         0
544.34/544.56	c       320       516    551.84    106.74      5.17   1000000         0
545.83/546.03	c       297       505    544.02    120.07      4.53   1000000         0
547.33/547.50	c       364       626    565.66     94.73      5.97   1000000         0
548.74/548.98	c       365       589    581.47    105.05      5.54   1000000         0
550.23/550.46	c       365       555    562.83    100.99      5.57   1000000         0
551.73/551.92	c       345       706    555.14     95.41      5.82   1000000         0
553.23/553.40	c       339       459    549.12     93.65      5.86   1000000         0
554.62/554.87	c       345       638    550.65     98.10      5.61   1000000         0
556.13/556.34	c       361       553    560.17     96.29      5.82   1000000         0
557.63/557.81	c       325       482    545.40    121.91      4.47   1000000         0
559.03/559.28	c       322       589    536.58     82.23      6.53   1000000         0
560.53/560.75	c       342       553    563.07    112.44      5.01   1000000         0
562.03/562.22	c       335       484    561.72    102.36      5.49   1000000         0
563.53/563.70	c       348       647    561.79    117.36      4.79   1000000         0
564.93/565.16	c       339       591    537.87    111.59      4.82   1000000         0
566.43/566.63	c       340       566    547.50     90.17      6.07   1000000         0
567.93/568.10	c       302       485    556.23     94.47      5.89   1000000         0
569.33/569.57	c       314       637    541.79    107.12      5.06   1000000         0
570.83/571.04	c       335       576    552.36     99.49      5.55   1000000         0
572.33/572.51	c       337       610    546.30    100.54      5.43   1000000         0
573.73/573.98	c       296       652    557.26     96.04      5.80   1000000         0
575.23/575.45	c       328       495    550.83     87.95      6.26   1000000         0
576.73/576.92	c       344       529    555.04     93.99      5.91   1000000         0
578.13/578.38	c       329       585    538.18     84.62      6.36   1000000         0
579.62/579.85	c       363       619    551.11     94.91      5.81   1000000         0
581.12/581.32	c       330       659    543.46     99.49      5.46   1000000         0
582.52/582.79	c       337       517    547.47     90.98      6.02   1000000         0
584.02/584.26	c       357       564    548.81    105.88      5.18   1000000         0
585.52/585.73	c       353       627    552.89    101.31      5.46   1000000         0
587.02/587.21	c       340       658    570.71     95.42      5.98   1000000         0
588.42/588.67	c       354       538    552.60     96.11      5.75   1000000         0
589.92/590.15	c       308       513    553.89    125.34      4.42   1000000         0
591.42/591.62	c       338       582    556.06     97.63      5.70   1000000         0
592.82/593.09	c       304       619    548.93    103.57      5.30   1000000         0
594.32/594.56	c       354       495    548.89     94.40      5.81   1000000         0
595.82/596.02	c       341       569    538.59     86.69      6.21   1000000         0
597.22/597.49	c       328       460    555.89    118.18      4.70   1000000         0
598.72/598.96	c       296       649    547.06     98.05      5.58   1000000         0
600.21/600.43	c       303       556    548.18     93.27      5.88   1000000         0
601.61/601.89	c       308       586    536.75     92.59      5.80   1000000         0
603.11/603.37	c       343       610    573.66    107.80      5.32   1000000         0
604.61/604.83	c       305       617    537.06    100.84      5.33   1000000         0
606.11/606.30	c       361       557    551.72    107.84      5.12   1000000         0
607.51/607.77	c       309       550    552.24    111.18      4.97   1000000         0
609.01/609.25	c       311       524    557.67    106.83      5.22   1000000         0
610.51/610.72	c       346       591    550.67     98.80      5.57   1000000         0
611.91/612.18	c       341       472    547.73     90.02      6.08   1000000         0
613.41/613.64	c       357       561    540.77     94.49      5.72   1000000         0
614.91/615.11	c       330       556    532.20    102.29      5.20   1000000         0
616.32/616.58	c       343       426    565.10    116.32      4.86   1000000         0
617.81/618.05	c       330       572    562.39    104.83      5.36   1000000         0
619.31/619.53	c       316       561    567.85    115.78      4.90   1000000         0
620.71/620.99	c       323       446    537.50     85.27      6.30   1000000         0
622.21/622.47	c       379       578    576.89    104.14      5.54   1000000         0
623.71/623.94	c       333       500    548.71     95.89      5.72   1000000         0
625.21/625.41	c       314       485    551.25    102.53      5.38   1000000         0
626.61/626.89	c       380       535    564.18     97.37      5.79   1000000         0
628.11/628.36	c       337       516    562.58     88.66      6.35   1000000         0
629.61/629.83	c       305       594    534.46    107.30      4.98   1000000         0
631.01/631.29	c       289       576    556.39     96.88      5.74   1000000         0
632.50/632.77	c       363       592    553.14     95.55      5.79   1000000         0
634.00/634.24	c       301       435    556.09    107.72      5.16   1000000         0
635.51/635.71	c       253       543    550.46    115.59      4.76   1000000         0
636.90/637.19	c       341       470    552.36    107.59      5.13   1000000         0
638.40/638.67	c       361       596    565.18    110.36      5.12   1000000         0
639.91/640.13	c       328       516    551.55     96.34      5.73   1000000         0
641.40/641.60	c       298       482    530.32    101.11      5.24   1000000         0
642.80/643.05	c       336       473    528.72     78.56      6.73   1000000         0
644.31/644.52	c       330       492    535.60    100.80      5.31   1000000         0
645.70/645.99	c       310       575    561.57    108.79      5.16   1000000         0
647.20/647.45	c       316       536    535.98     88.56      6.05   1000000         0
648.71/648.92	c       350       462    549.05    107.17      5.12   1000000         0
650.10/650.38	c       346       629    558.52     89.04      6.27   1000000         0
651.60/651.85	c       358       501    553.14     90.20      6.13   1000000         0
653.10/653.31	c       319       593    544.85     96.47      5.65   1000000         0
654.50/654.79	c       333       523    560.22     84.60      6.62   1000000         0
656.00/656.26	c       304       605    566.03    106.49      5.32   1000000         0
657.50/657.74	c       374       589    551.41     83.92      6.57   1000000         0
659.00/659.20	c       349       543    548.86     95.84      5.73   1000000         0
660.40/660.67	c       330       497    544.41    103.33      5.27   1000000         0
661.91/662.14	c       358       495    551.62     91.78      6.01   1000000         0
663.40/663.61	c       336       546    546.02     98.56      5.54   1000000         0
664.80/665.08	c       304       489    541.97     90.42      5.99   1000000         0
666.31/666.55	c       365       471    563.22    104.21      5.40   1000000         0
667.80/668.02	c       328       532    549.19    114.26      4.81   1000000         0
669.20/669.49	c       371       589    556.50    106.35      5.23   1000000         0
670.71/670.96	c       350       558    555.01    102.44      5.42   1000000         0
672.20/672.43	c       361       477    563.57    102.97      5.47   1000000         0
673.70/673.91	c       389       488    563.36     92.72      6.08   1000000         0
675.10/675.38	c       367       574    554.97     96.36      5.76   1000000         0
676.60/676.86	c       338       516    573.92    103.47      5.55   1000000         0
678.10/678.34	c       335       474    570.39     90.79      6.28   1000000         0
679.60/679.81	c       325       559    550.16    111.08      4.95   1000000         0
681.00/681.28	c       300       605    549.82     96.94      5.67   1000000         0
682.49/682.75	c       351       489    552.23     95.38      5.79   1000000         0
684.00/684.24	c       375       509    571.14     99.65      5.73   1000000         0
685.49/685.71	c       335       473    546.06    118.20      4.62   1000000         0
686.89/687.18	c       341       588    546.96    104.01      5.26   1000000         0
688.40/688.65	c       341       673    551.88    104.43      5.28   1000000         0
689.89/690.12	c       362       648    555.41     95.31      5.83   1000000         0
691.39/691.60	c       377       494    560.56    111.63      5.02   1000000         0
692.80/693.05	c       253       470    517.34    103.37      5.00   1000000         0
694.29/694.53	c       362       505    559.95     92.32      6.07   1000000         0
695.69/695.99	c       281       652    542.50     91.13      5.95   1000000         0
697.20/697.46	c       343       626    555.40    118.58      4.68   1000000         0
698.69/698.92	c       341       523    539.27    122.56      4.40   1000000         0
700.09/700.39	c       335       485    549.49     97.91      5.61   1000000         0
701.60/701.85	c       321       507    552.73     95.30      5.80   1000000         0
703.09/703.33	c       357       556    569.90    101.56      5.61   1000000         0
704.59/704.81	c       331       600    559.93    107.04      5.23   1000000         0
706.00/706.27	c       319       583    542.00    105.13      5.16   1000000         0
707.49/707.73	c       338       592    540.39     89.20      6.06   1000000         0
708.98/709.21	c       351       593    548.77    107.39      5.11   1000000         0
710.39/710.68	c       303       576    558.32    101.77      5.49   1000000         0
711.88/712.15	c       274       507    555.68     99.98      5.56   1000000         0
713.38/713.63	c       342       547    567.16     87.32      6.49   1000000         0
714.88/715.10	c       379       582    574.13     79.65      7.21   1000000         0
716.28/716.58	c       339       594    561.33     91.80      6.11   1000000         0
717.78/718.05	c       321       554    569.06    102.66      5.54   1000000         0
719.28/719.53	c       319       597    559.84     98.77      5.67   1000000         0
720.78/721.00	c       355       498    552.44     86.07      6.42   1000000         0
722.18/722.48	c       359       524    581.97    103.35      5.63   1000000         0
723.68/723.96	c       350       427    574.57     91.74      6.26   1000000         0
725.18/725.43	c       354       435    559.98     95.33      5.87   1000000         0
726.68/726.90	c       281       638    562.95    104.81      5.37   1000000         0
728.08/728.37	c       320       626    548.97    103.51      5.30   1000000         0
729.58/729.84	c       344       452    557.03    102.25      5.45   1000000         0
731.08/731.32	c       297       496    566.87     97.81      5.80   1000000         0
732.48/732.79	c       371       631    549.91     90.86      6.05   1000000         0
733.98/734.26	c       344       518    552.92     86.82      6.37   1000000         0
735.48/735.73	c       382       553    558.03    103.71      5.38   1000000         0
736.97/737.20	c       334       561    546.31     99.60      5.48   1000000         0
738.37/738.66	c       290       380    542.45    113.05      4.80   1000000         0
739.87/740.13	c       347       465    552.95    104.52      5.29   1000000         0
741.37/741.60	c       319       486    549.16    101.81      5.39   1000000         0
742.77/743.07	c       355       571    541.51     95.30      5.68   1000000         0
744.27/744.54	c       278       499    554.54     91.73      6.05   1000000         0
745.77/746.01	c       376       652    552.76     98.43      5.62   1000000         0
747.17/747.48	c       332       501    549.85     86.38      6.37   1000000         0
748.67/748.96	c       381       546    568.06    102.83      5.52   1000000         0
750.17/750.42	c       352       582    548.51    109.99      4.99   1000000         0
751.67/751.90	c       339       617    558.04     98.76      5.65   1000000         0
753.07/753.36	c       357       579    541.58     87.53      6.19   1000000         0
754.57/754.84	c       349       577    561.48    102.31      5.49   1000000         0
756.07/756.31	c       356       522    567.93    104.56      5.43   1000000         0
757.47/757.77	c       315       547    530.48    100.13      5.30   1000000         0
758.97/759.25	c       317       590    570.11    117.38      4.86   1000000         0
760.47/760.73	c       371       572    556.93     85.76      6.49   1000000         0
761.97/762.20	c       325       639    558.48     81.25      6.87   1000000         0
763.36/763.68	c       348       524    554.24    106.47      5.21   1000000         0
764.87/765.15	c       348       503    567.29     87.43      6.49   1000000         0
766.38/766.63	c       296       533    558.60     92.38      6.05   1000000         0
767.77/768.09	c       309       593    534.14     92.76      5.76   1000000         0
769.27/769.56	c       369       496    561.65    113.51      4.95   1000000         0
770.78/771.04	c       334       622    562.08    112.92      4.98   1000000         0
772.27/772.51	c       341       632    553.26    110.63      5.00   1000000         0
773.67/773.98	c       367       524    561.40     99.20      5.66   1000000         0
775.18/775.46	c       383       422    563.94     97.43      5.79   1000000         0
776.67/776.94	c       332       525    560.07    116.53      4.81   1000000         0
778.17/778.42	c       315       449    567.43    110.93      5.12   1000000         0
779.57/779.89	c       355       576    560.65    105.17      5.33   1000000         0
781.07/781.37	c       357       592    571.49    110.36      5.18   1000000         0
782.57/782.84	c       314       447    560.12    118.82      4.71   1000000         0
784.07/784.32	c       342       569    567.07     97.70      5.80   1000000         0
785.47/785.79	c       353       655    538.53    100.41      5.36   1000000         0
786.97/787.25	c       325       448    533.57     95.88      5.57   1000000         0
788.47/788.73	c       355       580    560.40    108.83      5.15   1000000         0
789.96/790.20	c       355       491    544.15     89.81      6.06   1000000         0
791.37/791.67	c       378       578    562.84    102.02      5.52   1000000         0
792.87/793.14	c       338       498    544.24    114.38      4.76   1000000         0
794.36/794.61	c       319       503    553.15    105.78      5.23   1000000         0
795.76/796.07	c       319       451    544.41    100.05      5.44   1000000         0
797.27/797.55	c       311       542    567.93     92.75      6.12   1000000         0
798.76/799.02	c       320       664    546.31    116.61      4.68   1000000         0
800.16/800.47	c       294       625    529.18     92.93      5.69   1000000         0
801.67/801.94	c       341       549    543.23     95.64      5.68   1000000         0
803.16/803.42	c       312       648    567.32    103.31      5.49   1000000         0
804.56/804.87	c       320       494    535.14     99.55      5.38   1000000         0
806.07/806.34	c       358       493    556.63     84.96      6.55   1000000         0
807.56/807.82	c       368       497    562.37    109.79      5.12   1000000         0
808.96/809.29	c       369       473    545.69     94.42      5.78   1000000         0
810.46/810.75	c       337       511    544.34     76.57      7.11   1000000         0
811.96/812.22	c       344       556    555.24    100.46      5.53   1000000         0
813.36/813.69	c       351       590    536.51     87.46      6.13   1000000         0
814.86/815.17	c       377       519    571.61    100.35      5.70   1000000         0
816.36/816.64	c       334       533    557.32    106.47      5.23   1000000         0
817.86/818.12	c       331       564    565.09    102.66      5.50   1000000         0
819.35/819.60	c       352       464    556.63    107.99      5.15   1000000         0
820.75/821.07	c       293       614    549.52    102.90      5.34   1000000         0
822.25/822.54	c       299       632    544.58    104.77      5.20   1000000         0
823.75/824.02	c       375       470    563.37     92.23      6.11   1000000         0
825.15/825.49	c       371       492    562.92    104.66      5.38   1000000         0
826.65/826.95	c       331       507    547.72     99.43      5.51   1000000         0
828.15/828.42	c       319       533    553.71     95.82      5.78   1000000         0
829.65/829.91	c       361       663    588.64    108.10      5.45   1000000         0
831.05/831.38	c       313       533    541.13     92.13      5.87   1000000         0
832.55/832.84	c       313       492    559.07    114.32      4.89   1000000         0
834.05/834.31	c       369       575    558.71     83.04      6.73   1000000         0
835.45/835.79	c       376       594    563.77     78.80      7.15   1000000         0
836.94/837.26	c       353       537    550.67    107.19      5.14   1000000         0
838.44/838.73	c       353       578    539.58     94.41      5.72   1000000         0
839.84/840.19	c       310       556    535.09     86.35      6.20   1000000         0
841.34/841.67	c       392       563    576.13     97.70      5.90   1000000         0
842.84/843.14	c       345       524    552.59    119.79      4.61   1000000         0
844.34/844.61	c       356       507    551.10     93.40      5.90   1000000         0
845.74/846.08	c       364       565    551.00     79.01      6.97   1000000         0
847.24/847.55	c       313       542    548.23    113.79      4.82   1000000         0
848.74/849.02	c       343       399    553.48    114.68      4.83   1000000         0
850.14/850.49	c       353       435    539.39     90.85      5.94   1000000         0
851.64/851.96	c       346       635    552.94     98.96      5.59   1000000         0
853.14/853.43	c       318       549    557.88    107.57      5.19   1000000         0
854.64/854.91	c       371       589    555.27    100.45      5.53   1000000         0
856.04/856.38	c       337       599    561.59    115.34      4.87   1000000         0
857.54/857.85	c       354       495    540.73     97.64      5.54   1000000         0
859.04/859.33	c       392       566    567.11     98.38      5.76   1000000         0
860.54/860.80	c       327       605    550.69    109.42      5.03   1000000         0
861.94/862.27	c       347       475    566.53     85.62      6.62   1000000         0
863.44/863.75	c       327       558    550.68     93.74      5.87   1000000         0
864.94/865.22	c       342       440    551.49     98.45      5.60   1000000         0
866.44/866.70	c       347       576    576.25    126.83      4.54   1000000         0
867.84/868.18	c       356       653    564.63     88.71      6.36   1000000         0
869.33/869.65	c       357       507    559.03    109.18      5.12   1000000         0
870.84/871.13	c       357       634    563.71    106.29      5.30   1000000         0
872.33/872.60	c       343       590    557.38     99.44      5.61   1000000         0
873.74/874.06	c       366       562    538.91     81.00      6.65   1000000         0
875.25/875.53	c       341       505    552.60     96.53      5.72   1000000         0
876.74/877.01	c       388       583    567.49    103.16      5.50   1000000         0
878.14/878.47	c       321       501    534.63     94.31      5.67   1000000         0
879.65/879.93	c       319       628    538.37    103.52      5.20   1000000         0
881.14/881.40	c       356       460    552.63     90.02      6.14   1000000         0
882.54/882.88	c       329       547    555.27     93.29      5.95   1000000         0
884.05/884.36	c       377       592    578.63     93.65      6.18   1000000         0
885.54/885.83	c       306       560    553.12    109.54      5.05   1000000         0
887.04/887.31	c       326       499    557.72    102.88      5.42   1000000         0
888.44/888.78	c       335       562    546.01     82.86      6.59   1000000         0
889.94/890.24	c       320       570    531.93     82.23      6.47   1000000         0
891.44/891.70	c       328       513    547.08     99.58      5.49   1000000         0
892.84/893.17	c       329       589    554.79     88.60      6.26   1000000         0
894.34/894.64	c       337       571    540.69     92.68      5.83   1000000         0
895.83/896.12	c       342       563    563.48     95.93      5.87   1000000         0
897.24/897.59	c       323       632    553.35    117.09      4.73   1000000         0
898.73/899.06	c       322       489    558.07     98.11      5.69   1000000         0
900.23/900.52	c       285       569    541.03    102.22      5.29   1000000         0
901.64/902.00	c       351       487    552.21     93.09      5.93   1000000         0
903.13/903.48	c       335       493    564.23    104.14      5.42   1000000         0
904.63/904.94	c       298       644    547.44    106.30      5.15   1000000         0
906.04/906.40	c       272       475    545.67    100.20      5.45   1000000         0
907.53/907.88	c       301       550    562.13    106.59      5.27   1000000         0
909.03/909.36	c       353       511    567.21     85.21      6.66   1000000         0
910.53/910.83	c       352       494    555.55     98.87      5.62   1000000         0
912.03/912.30	c       344       591    552.43    106.25      5.20   1000000         0
913.42/913.78	c       389       556    568.71     83.70      6.79   1000000         0
914.93/915.26	c       362       646    564.04     91.39      6.17   1000000         0
916.42/916.73	c       296       512    542.00    110.76      4.89   1000000         0
917.82/918.19	c       371       646    547.61     96.00      5.70   1000000         0
919.33/919.67	c       336       510    555.67    110.00      5.05   1000000         0
920.82/921.14	c       347       472    552.97     95.60      5.78   1000000         0
922.32/922.62	c       367       491    564.05    116.05      4.86   1000000         0
923.73/924.08	c       368       644    543.60     99.02      5.49   1000000         0
925.22/925.55	c       315       599    550.73    104.75      5.26   1000000         0
926.72/927.03	c       358       650    582.83     95.09      6.13   1000000         0
928.22/928.50	c       357       541    560.08    101.63      5.51   1000000         0
929.62/929.96	c       350       570    543.72     78.18      6.95   1000000         0
931.13/931.44	c       341       459    562.19    105.45      5.33   1000000         0
932.63/932.91	c       349       520    563.14    101.94      5.52   1000000         0
934.03/934.39	c       360       602    576.95    102.24      5.64   1000000         0
935.53/935.87	c       332       638    555.90    115.51      4.81   1000000         0
937.03/937.32	c       318       550    540.73     90.41      5.98   1000000         0
938.42/938.79	c       345       451    546.05    105.71      5.17   1000000         0
939.92/940.27	c       329       665    559.04     90.54      6.17   1000000         0
941.42/941.75	c       345       536    565.70    101.72      5.56   1000000         0
942.92/943.22	c       358       588    560.73     93.11      6.02   1000000         0
944.32/944.68	c       315       570    539.56     99.22      5.44   1000000         0
945.82/946.15	c       325       518    548.87    107.07      5.13   1000000         0
947.32/947.63	c       322       465    568.24    107.20      5.30   1000000         0
948.82/949.10	c       348       486    562.47     90.32      6.23   1000000         0
950.22/950.57	c       379       601    544.90     90.68      6.01   1000000         0
951.72/952.04	c       320       541    546.04     95.51      5.72   1000000         0
953.22/953.51	c       348       536    559.52     96.86      5.78   1000000         0
954.62/954.99	c       347       618    566.63    115.69      4.90   1000000         0
956.12/956.46	c       339       673    551.30     94.44      5.84   1000000         0
957.62/957.93	c       310       567    539.67    101.53      5.32   1000000         0
959.11/959.40	c       326       513    550.97    110.58      4.98   1000000         0
960.51/960.88	c       333       493    564.34     97.05      5.81   1000000         0
962.01/962.35	c       272       533    559.39    115.52      4.84   1000000         0
963.51/963.82	c       328       567    553.44    100.33      5.52   1000000         0
965.01/965.30	c       367       618    567.06    112.09      5.06   1000000         0
966.41/966.78	c       352       473    560.04     97.58      5.74   1000000         0
967.91/968.24	c       332       637    541.46     90.59      5.98   1000000         0
969.41/969.71	c       341       507    569.07     87.20      6.53   1000000         0
970.81/971.18	c       353       553    541.30     82.30      6.58   1000000         0
972.31/972.65	c       326       615    563.35     97.12      5.80   1000000         0
973.81/974.13	c       348       557    557.41     98.90      5.64   1000000         0
975.31/975.61	c       341       587    561.49     84.18      6.67   1000000         0
976.71/977.08	c       357       531    569.05     97.35      5.85   1000000         0
978.21/978.55	c       335       573    546.76     87.69      6.24   1000000         0
979.71/980.03	c       372       637    562.81    101.60      5.54   1000000         0
981.20/981.50	c       335       499    547.68     86.69      6.32   1000000         0
982.60/982.96	c       348       480    545.64    111.80      4.88   1000000         0
984.12/984.43	c       308       453    550.71     91.02      6.05   1000000         0
985.51/985.89	c       309       662    534.10    104.50      5.11   1000000         0
987.01/987.36	c       325       468    559.46     94.73      5.91   1000000         0
988.52/988.84	c       361       409    560.01    110.14      5.08   1000000         0
990.01/990.30	c       345       643    539.59     84.24      6.41   1000000         0
991.41/991.78	c       339       496    551.68    111.21      4.96   1000000         0
992.92/993.25	c       344       682    560.92    107.75      5.21   1000000         0
994.41/994.72	c       332       469    553.75     98.74      5.61   1000000         0
995.81/996.20	c       335       509    557.20     96.74      5.76   1000000         0
997.32/997.67	c       316       607    561.02    105.80      5.30   1000000         0
998.81/999.14	c       319       478    550.31     92.56      5.95   1000000         0
1000.31/1000.61	c       349       416    564.20    108.15      5.22   1000000         0
1001.71/1002.08	c       331       561    550.92     99.85      5.52   1000000         0
1003.20/1003.55	c       326       484    559.19     92.74      6.03   1000000         0
1004.71/1005.02	c       328       544    534.17     97.42      5.48   1000000         0
1006.11/1006.48	c       341       420    555.86    101.60      5.47   1000000         0
1007.60/1007.96	c       338       572    561.63    102.27      5.49   1000000         0
1009.10/1009.44	c       354       454    566.02    123.45      4.59   1000000         0
1010.61/1010.91	c       334       550    547.78     75.66      7.24   1000000         0
1012.00/1012.37	c       363       558    550.46     90.84      6.06   1000000         0
1013.50/1013.83	c       327       508    538.42     94.73      5.68   1000000         0
1015.01/1015.30	c       330       588    553.78     91.19      6.07   1000000         0
1016.40/1016.77	c       306       425    542.36     95.06      5.71   1000000         0
1017.90/1018.24	c       313       572    558.04    109.15      5.11   1000000         0
1019.41/1019.71	c       345       537    552.96    103.94      5.32   1000000         0
1020.80/1021.19	c       345       508    569.91     99.69      5.72   1000000         0
1022.30/1022.67	c       360       554    564.83    109.39      5.16   1000000         0
1023.80/1024.13	c       368       513    540.94     85.48      6.33   1000000         0
1025.29/1025.60	c       339       542    524.94    106.47      4.93   1000000         0
1026.69/1027.07	c       345       554    554.36     97.79      5.67   1000000         0
1028.20/1028.54	c       308       645    560.88     99.86      5.62   1000000         0
1029.69/1030.02	c       359       649    576.27    108.64      5.30   1000000         0
1031.09/1031.49	c       383       488    561.99     74.99      7.49   1000000         0
1032.60/1032.96	c       325       466    549.66     94.09      5.84   1000000         0
1034.09/1034.45	c       367       524    572.51    105.87      5.41   1000000         0
1035.59/1035.92	c       346       621    565.07    115.07      4.91   1000000         0
1037.00/1037.39	c       321       612    544.23    100.31      5.43   1000000         0
1038.49/1038.86	c       373       609    558.61     88.65      6.30   1000000         0
1039.99/1040.33	c       305       528    557.57     80.17      6.95   1000000         0
1041.49/1041.80	c       345       571    553.63    116.83      4.74   1000000         0
1042.89/1043.27	c       345       582    554.26    102.69      5.40   1000000         0
1044.39/1044.74	c       319       592    541.88     93.67      5.78   1000000         0
1045.89/1046.21	c       330       511    552.11    106.54      5.18   1000000         0
1047.29/1047.68	c       346       595    557.78    102.75      5.43   1000000         0
1048.79/1049.15	c       362       480    549.57    101.34      5.42   1000000         0
1050.28/1050.63	c       335       548    554.90     84.01      6.61   1000000         0
1051.68/1052.09	c       346       430    532.12    106.09      5.02   1000000         0
1053.19/1053.56	c       342       709    545.90     93.77      5.82   1000000         0
1054.69/1055.02	c       328       602    526.81     98.93      5.32   1000000         0
1056.09/1056.49	c       356       623    553.90     90.93      6.09   1000000         0
1057.59/1057.96	c       322       420    544.40     86.12      6.32   1000000         0
1059.09/1059.42	c       348       626    547.74    113.44      4.83   1000000         0
1060.49/1060.89	c       341       463    557.17    105.67      5.27   1000000         0
1061.99/1062.36	c       313       493    543.05    104.56      5.19   1000000         0
1063.49/1063.84	c       352       509    574.46    123.74      4.64   1000000         0
1064.99/1065.31	c       348       488    559.76     95.72      5.85   1000000         0
1066.39/1066.79	c       360       554    564.10     94.36      5.98   1000000         0
1067.89/1068.27	c       362       658    562.34     97.55      5.76   1000000         0
1069.39/1069.74	c       343       514    554.33    111.51      4.97   1000000         0
1070.89/1071.23	c       352       544    586.06    102.97      5.69   1000000         0
1072.29/1072.69	c       346       524    538.22     97.08      5.54   1000000         0
1073.78/1074.16	c       346       435    542.22     85.99      6.31   1000000         0
1075.28/1075.63	c       329       391    545.89     95.52      5.72   1000000         0
1076.78/1077.10	c       341       525    552.02    105.97      5.21   1000000         0
1078.18/1078.58	c       356       550    561.53    104.92      5.35   1000000         0
1079.68/1080.05	c       321       511    555.15    104.10      5.33   1000000         0
1081.18/1081.52	c       281       516    539.06     96.41      5.59   1000000         0
1082.58/1082.99	c       312       487    542.03    105.13      5.16   1000000         0
1084.08/1084.46	c       354       543    545.88    103.49      5.27   1000000         0
1085.58/1085.94	c       319       602    563.70    130.84      4.31   1000000         0
1087.08/1087.41	c       370       544    557.71     83.97      6.64   1000000         0
1088.48/1088.88	c       351       554    553.54     81.68      6.78   1000000         0
1089.98/1090.35	c       327       455    549.97     99.48      5.53   1000000         0
1091.48/1091.82	c       370       597    559.39     92.70      6.03   1000000         0
1092.87/1093.29	c       340       580    545.95    101.30      5.39   1000000         0
1094.37/1094.75	c       333       569    554.30     84.25      6.58   1000000         0
1095.87/1096.22	c       356       594    543.43     83.89      6.48   1000000         0
1097.38/1097.70	c       341       568    569.35     97.06      5.87   1000000         0
1098.77/1099.17	c       332       626    552.19     94.93      5.82   1000000         0
1100.27/1100.64	c       350       505    553.69     98.83      5.60   1000000         0
1101.78/1102.12	c       363       536    565.07    106.88      5.29   1000000         0
1103.17/1103.58	c       313       497    536.78    107.38      5.00   1000000         0
1104.67/1105.07	c       343       596    569.43     99.76      5.71   1000000         0
1106.18/1106.54	c       323       472    555.55    102.92      5.40   1000000         0
1107.67/1108.02	c       347       480    567.75    118.86      4.78   1000000         0
1109.07/1109.49	c       320       471    550.23     92.88      5.92   1000000         0
1110.58/1110.96	c       337       552    558.15     92.91      6.01   1000000         0
1112.07/1112.43	c       358       584    553.71     79.21      6.99   1000000         0
1113.48/1113.89	c       340       512    547.00     80.26      6.82   1000000         0
1114.98/1115.37	c       315       485    548.98    110.14      4.98   1000000         0
1116.47/1116.85	c       368       666    567.25     87.89      6.45   1000000         0
1117.97/1118.33	c       341       501    566.49    115.56      4.90   1000000         0
1119.38/1119.80	c       299       554    552.94     90.34      6.12   1000000         0
1120.87/1121.26	c       320       631    533.22    112.78      4.73   1000000         0
1122.37/1122.72	c       278       404    529.52     80.34      6.59   1000000         0
1123.78/1124.18	c       361       469    538.92    101.18      5.33   1000000         0
1125.27/1125.66	c       350       503    549.27     85.05      6.46   1000000         0
1126.77/1127.13	c       327       571    560.11    123.75      4.53   1000000         0
1128.18/1128.60	c       344       485    555.23    100.35      5.53   1000000         0
1129.67/1130.07	c       336       608    554.31     94.90      5.84   1000000         0
1131.17/1131.54	c       331       412    552.12     93.10      5.93   1000000         0
1132.68/1133.02	c       368       470    563.78     90.78      6.21   1000000         0
1134.07/1134.48	c       334       550    545.20     98.97      5.51   1000000         0
1135.57/1135.95	c       338       526    562.41    103.11      5.45   1000000         0
1137.07/1137.42	c       335       535    547.47    102.64      5.33   1000000         0
1138.46/1138.89	c       327       472    565.51     89.62      6.31   1000000         0
1139.96/1140.36	c       371       543    555.72     88.77      6.26   1000000         0
1141.47/1141.84	c       314       475    557.28    100.40      5.55   1000000         0
1142.96/1143.31	c       334       521    557.11     88.74      6.28   1000000         0
1144.36/1144.79	c       334       563    553.62    108.27      5.11   1000000         0
1145.87/1146.26	c       333       475    558.43     93.41      5.98   1000000         0
1147.36/1147.72	c       295       554    544.13     89.02      6.11   1000000         0
1148.76/1149.19	c       335       517    543.03     90.01      6.03   1000000         0
1150.27/1150.67	c       350       583    563.86     95.83      5.88   1000000         0
1151.76/1152.13	c       350       516    542.83     95.71      5.67   1000000         0
1153.26/1153.61	c       322       595    560.22    123.78      4.53   1000000         0
1154.67/1155.08	c       362       584    550.44    106.61      5.16   1000000         0
1156.16/1156.55	c       343       601    557.25    107.45      5.19   1000000         0
1157.66/1158.01	c       369       516    550.11     82.78      6.65   1000000         0
1159.07/1159.49	c       348       541    566.67    108.64      5.22   1000000         0
1160.56/1160.96	c       360       536    554.98     95.63      5.80   1000000         0
1162.06/1162.44	c       369       608    565.36    113.05      5.00   1000000         0
1163.56/1163.92	c       341       590    571.86    107.03      5.34   1000000         0
1164.95/1165.39	c       327       620    551.22    107.60      5.12   1000000         0
1166.45/1166.85	c       314       557    542.59     96.92      5.60   1000000         0
1167.96/1168.33	c       340       592    561.30     88.50      6.34   1000000         0
1169.45/1169.80	c       348       420    546.60    107.91      5.07   1000000         0
1170.85/1171.26	c       300       626    527.53     85.50      6.17   1000000         0
1172.35/1172.72	c       330       503    540.90     85.84      6.30   1000000         0
1173.75/1174.19	c       368       438    561.28     95.98      5.85   1000000         0
1175.25/1175.66	c       340       451    545.83    109.59      4.98   1000000         0
1176.75/1177.12	c       331       627    540.05     96.28      5.61   1000000         0
1178.15/1178.59	c       343       481    549.77     95.72      5.74   1000000         0
1179.65/1180.06	c       311       508    551.95     88.88      6.21   1000000         0
1181.15/1181.53	c       336       535    542.52    114.46      4.74   1000000         0
1182.55/1182.99	c       368       539    555.28     87.26      6.36   1000000         0
1184.05/1184.46	c       345       456    546.65    101.34      5.39   1000000         0
1185.55/1185.93	c       351       577    549.59    106.87      5.14   1000000         0
1187.05/1187.40	c       342       574    565.97    104.85      5.40   1000000         0
1188.45/1188.86	c       341       539    533.41    104.03      5.13   1000000         0
1189.95/1190.33	c       353       510    553.12    101.72      5.44   1000000         0
1191.45/1191.81	c       305       539    556.51    130.20      4.27   1000000         0
1192.85/1193.28	c       353       578    564.94     82.83      6.82   1000000         0
1194.34/1194.74	c       327       592    515.60     88.27      5.84   1000000         0
1195.84/1196.21	c       294       531    552.53     98.13      5.63   1000000         0
1197.24/1197.69	c       290       595    560.74    100.30      5.59   1000000         0
1198.74/1199.17	c       364       514    568.27     96.98      5.86   1000000         0
1200.24/1200.62	c       344       544    530.74     90.16      5.89   1000000         0
1201.64/1202.09	c       339       541    551.64     87.02      6.34   1000000         0
1203.14/1203.56	c       287       480    555.89     85.70      6.49   1000000         0
1204.64/1205.03	c       352       494    555.07     90.31      6.15   1000000         0
1206.14/1206.50	c       345       606    555.07     87.48      6.34   1000000         0
1207.54/1207.97	c       336       473    548.79     86.47      6.35   1000000         0
1209.05/1209.45	c       332       582    564.28     90.85      6.21   1000000         0
1210.55/1210.91	c       342       433    544.66     91.99      5.92   1000000         0
1211.95/1212.39	c       360       637    565.39    101.15      5.59   1000000         0
1213.45/1213.86	c       297       511    541.23     97.08      5.58   1000000         0
1214.95/1215.33	c       348       544    565.32     96.01      5.89   1000000         0
1216.45/1216.82	c       397       512    573.23     91.42      6.27   1000000         0
1217.84/1218.29	c       328       523    547.69     84.80      6.46   1000000         0
1219.34/1219.76	c       377       516    551.30     92.81      5.94   1000000         0
1220.84/1221.23	c       322       602    555.21    112.11      4.95   1000000         0
1222.34/1222.70	c       355       526    551.99     89.01      6.20   1000000         0
1223.74/1224.17	c       364       476    557.22    103.12      5.40   1000000         0
1225.24/1225.66	c       387       556    572.94    102.25      5.60   1000000         0
1226.74/1227.12	c       336       610    554.10    101.21      5.47   1000000         0
1228.14/1228.59	c       335       501    548.50     93.06      5.89   1000000         0
1229.64/1230.06	c       318       494    561.78     93.02      6.04   1000000         0
1231.14/1231.54	c       358       602    566.11    108.54      5.22   1000000         0
1232.64/1233.01	c       323       642    542.65    106.43      5.10   1000000         0
1234.03/1234.47	c       300       595    528.58    107.82      4.90   1000000         0
1235.53/1235.93	c       342       545    540.84    108.37      4.99   1000000         0
1237.04/1237.40	c       348       553    546.08     91.96      5.94   1000000         0
1238.43/1238.88	c       320       475    560.50    114.08      4.91   1000000         0
1239.93/1240.35	c       364       641    568.99    110.89      5.13   1000000         0
1241.44/1241.82	c       292       571    547.06     91.42      5.98   1000000         0
1242.94/1243.30	c       326       570    566.70    100.61      5.63   1000000         0
1244.34/1244.77	c       350       494    542.34     94.80      5.72   1000000         0
1245.84/1246.23	c       330       483    535.17     96.12      5.57   1000000         0
1247.34/1247.71	c       332       498    558.66     98.07      5.70   1000000         0
1248.74/1249.17	c       308       538    551.38     99.80      5.52   1000000         0
1250.24/1250.64	c       375       453    550.38     79.25      6.95   1000000         0
1251.74/1252.11	c       335       616    541.72    101.57      5.33   1000000         0
1253.14/1253.57	c       311       550    538.44     94.62      5.69   1000000         0
1254.64/1255.04	c       335       571    554.83    107.03      5.18   1000000         0
1256.13/1256.52	c       339       546    559.92    102.72      5.45   1000000         0
1257.53/1257.98	c       313       591    552.76     77.20      7.16   1000000         0
1259.04/1259.46	c       294       518    566.59    112.29      5.05   1000000         0
1260.53/1260.93	c       365       496    558.39     94.32      5.92   1000000         0
1262.03/1262.41	c       300       523    559.65    126.39      4.43   1000000         0
1263.44/1263.87	c       350       506    557.56     86.08      6.48   1000000         0
1264.93/1265.35	c       366       620    556.84     98.44      5.66   1000000         0
1266.43/1266.82	c       355       553    561.88     93.11      6.03   1000000         0
1267.84/1268.29	c       294       560    539.94     85.28      6.33   1000000         0
1269.33/1269.76	c       363       577    557.24     94.56      5.89   1000000         0
1270.83/1271.22	c       328       539    537.54     93.13      5.77   1000000         0
1272.23/1272.70	c       349       530    551.99    104.83      5.27   1000000         0
1273.73/1274.17	c       358       559    553.24     87.99      6.29   1000000         0
1275.23/1275.65	c       293       548    548.29     96.21      5.70   1000000         0
1276.73/1277.12	c       332       649    559.64     94.32      5.93   1000000         0
1278.12/1278.59	c       339       443    548.84     91.89      5.97   1000000         0
1279.63/1280.05	c       319       430    531.67     84.97      6.26   1000000         0
1281.13/1281.52	c       356       495    554.04     74.10      7.48   1000000         0
1282.52/1282.99	c       344       431    563.21    123.72      4.55   1000000         0
1284.02/1284.47	c       300       579    562.13    124.85      4.50   1000000         0
1285.53/1285.94	c       367       503    565.83     81.07      6.98   1000000         0
1287.02/1287.41	c       301       485    549.90    101.86      5.40   1000000         0
1288.42/1288.88	c       305       538    547.12    109.42      5.00   1000000         0
1289.93/1290.35	c       340       481    546.35     98.51      5.55   1000000         0
1291.42/1291.83	c       361       559    573.67    103.54      5.54   1000000         0
1292.92/1293.30	c       309       597    552.93    100.57      5.50   1000000         0
1294.33/1294.77	c       317       523    567.16    112.35      5.05   1000000         0
1295.82/1296.25	c       325       435    556.95    104.60      5.32   1000000         0
1297.32/1297.73	c       362       448    564.03     99.98      5.64   1000000         0
1298.82/1299.20	c       361       541    557.93    103.24      5.40   1000000         0
1300.22/1300.67	c       354       513    551.64    108.25      5.10   1000000         0
1301.72/1302.14	c       322       598    549.68    115.95      4.74   1000000         0
1303.21/1303.62	c       392       467    576.81    100.02      5.77   1000000         0
1304.61/1305.09	c       353       597    553.82    104.11      5.32   1000000         0
1306.11/1306.56	c       355       424    563.79     97.19      5.80   1000000         0
1307.61/1308.04	c       360       494    556.45    105.13      5.29   1000000         0
1309.11/1309.50	c       347       447    539.43     82.46      6.54   1000000         0
1310.51/1310.97	c       346       587    548.89     94.52      5.81   1000000         0
1312.01/1312.45	c       356       502    564.11    108.11      5.22   1000000         0
1313.51/1313.92	c       329       507    542.17     92.73      5.85   1000000         0
1314.91/1315.39	c       330       641    537.62     94.64      5.68   1000000         0
1316.42/1316.86	c       344       613    574.53     99.79      5.76   1000000         0
1317.92/1318.32	c       333       514    549.09    105.04      5.23   1000000         0
1319.32/1319.79	c       315       629    548.83    111.00      4.94   1000000         0
1320.82/1321.26	c       362       468    557.89    102.22      5.46   1000000         0
1322.32/1322.74	c       365       513    569.89     98.77      5.77   1000000         0
1323.81/1324.21	c       325       523    548.07    104.61      5.24   1000000         0
1325.21/1325.68	c       323       643    559.57     90.97      6.15   1000000         0
1326.71/1327.16	c       361       452    563.91     94.52      5.97   1000000         0
1328.21/1328.63	c       344       559    555.99     84.38      6.59   1000000         0
1329.71/1330.10	c       351       539    555.89    112.84      4.93   1000000         0
1331.11/1331.57	c       324       584    550.66     85.33      6.45   1000000         0
1332.61/1333.04	c       343       580    563.22    107.73      5.23   1000000         0
1334.11/1334.51	c       338       536    536.39    108.87      4.93   1000000         0
1335.51/1335.99	c       359       553    564.30     91.68      6.15   1000000         0
1337.01/1337.46	c       368       544    570.16    113.45      5.03   1000000         0
1338.51/1338.93	c       353       525    544.30     94.43      5.76   1000000         0
1340.01/1340.40	c       335       504    549.92    101.70      5.41   1000000         0
1341.41/1341.86	c       330       645    552.36     98.40      5.61   1000000         0
1342.90/1343.33	c       339       526    560.99     93.72      5.99   1000000         0
1344.40/1344.80	c       342       568    546.32     83.07      6.58   1000000         0
1345.80/1346.27	c       303       483    552.49    104.86      5.27   1000000         0
1347.31/1347.75	c       350       589    547.65    100.82      5.43   1000000         0
1348.80/1349.21	c       346       521    548.25     91.24      6.01   1000000         0
1350.20/1350.69	c       344       495    567.40    116.46      4.87   1000000         0
1351.70/1352.16	c       356       600    559.61    105.28      5.32   1000000         0
1353.20/1353.63	c       352       533    557.28    107.23      5.20   1000000         0
1354.71/1355.10	c       324       512    543.59     99.25      5.48   1000000         0
1356.10/1356.57	c       353       498    549.42     85.66      6.41   1000000         0
1357.60/1358.04	c       294       551    552.54    102.45      5.39   1000000         0
1359.10/1359.51	c       357       535    544.90     99.08      5.50   1000000         0
1360.50/1360.98	c       341       680    550.64    108.74      5.06   1000000         0
1362.00/1362.45	c       280       559    550.56     99.77      5.52   1000000         0
1363.51/1363.92	c       358       545    554.36     89.99      6.16   1000000         0
1364.90/1365.39	c       312       630    559.03     98.23      5.69   1000000         0
1366.40/1366.86	c       296       561    553.05     92.00      6.01   1000000         0
1367.91/1368.33	c       315       491    545.95     87.96      6.21   1000000         0
1369.40/1369.80	c       324       600    549.40    112.07      4.90   1000000         0
1370.80/1371.27	c       359       542    551.47     98.37      5.61   1000000         0
1372.31/1372.74	c       325       538    547.96     97.95      5.59   1000000         0
1373.80/1374.21	c       313       511    552.72    101.88      5.43   1000000         0
1375.20/1375.69	c       395       518    575.08     92.08      6.25   1000000         0
1376.70/1377.16	c       380       566    561.72     91.10      6.17   1000000         0
1378.20/1378.63	c       345       665    554.63     88.71      6.25   1000000         0
1379.70/1380.11	c       352       566    558.95     92.64      6.03   1000000         0
1381.10/1381.58	c       338       492    543.41     79.70      6.82   1000000         0
1382.59/1383.05	c       317       524    556.26    109.42      5.08   1000000         0
1384.09/1384.52	c       376       402    561.14     93.79      5.98   1000000         0
1385.50/1386.00	c       361       559    566.10     89.79      6.30   1000000         0
1386.99/1387.48	c       389       478    573.15     98.01      5.85   1000000         0
1388.49/1388.96	c       345       478    570.23    112.59      5.06   1000000         0
1390.00/1390.42	c       322       569    545.69     88.85      6.14   1000000         0
1391.39/1391.89	c       336       567    551.49    108.45      5.09   1000000         0
1392.89/1393.37	c       335       534    567.71     98.43      5.77   1000000         0
1394.40/1394.84	c       335       435    546.03    115.87      4.71   1000000         0
1395.89/1396.30	c       348       585    552.94     90.32      6.12   1000000         0
1397.29/1397.77	c       338       518    555.99    106.82      5.20   1000000         0
1398.80/1399.24	c       342       420    548.35     97.96      5.60   1000000         0
1400.29/1400.72	c       344       367    569.45    104.89      5.43   1000000         0
1401.79/1402.20	c       337       513    553.56     85.41      6.48   1000000         0
1403.20/1403.67	c       358       575    569.50     91.35      6.23   1000000         0
1404.69/1405.14	c       338       492    547.76     98.29      5.57   1000000         0
1406.19/1406.61	c       324       538    559.34     85.71      6.53   1000000         0
1407.59/1408.07	c       342       679    554.68     91.61      6.05   1000000         0
1409.08/1409.54	c       324       482    541.03     95.85      5.64   1000000         0
1410.58/1411.01	c       363       555    558.21     96.59      5.78   1000000         0
1411.99/1412.48	c       340       397    561.80     94.47      5.95   1000000         0
1413.48/1413.95	c       369       520    567.93     95.39      5.95   1000000         0
1414.98/1415.44	c       327       744    569.71    116.33      4.90   1000000         0
1416.39/1416.89	c       356       625    527.99     76.39      6.91   1000000         0
1417.88/1418.37	c       361       634    561.62     95.11      5.90   1000000         0
1419.38/1419.83	c       302       589    539.26     85.49      6.31   1000000         0
1420.88/1421.30	c       316       450    544.32     98.39      5.53   1000000         0
1422.28/1422.77	c       270       522    556.72     91.45      6.09   1000000         0
1423.79/1424.24	c       332       504    554.74    105.43      5.26   1000000         0
1425.29/1425.71	c       349       519    546.02    102.58      5.32   1000000         0
1426.69/1427.18	c       365       565    562.01     95.37      5.89   1000000         0
1428.18/1428.66	c       337       522    567.87    118.75      4.78   1000000         0
1429.68/1430.13	c       318       576    545.01     93.26      5.84   1000000         0
1431.08/1431.59	c       310       530    533.30    125.58      4.25   1000000         0
1432.58/1433.06	c       298       578    547.24    106.78      5.12   1000000         0
1434.08/1434.53	c       345       461    545.27     95.79      5.69   1000000         0
1435.58/1436.00	c       352       455    543.82     85.64      6.35   1000000         0
1436.98/1437.47	c       333       491    556.39    100.50      5.54   1000000         0
1438.48/1438.94	c       373       493    553.76     89.73      6.17   1000000         0
1439.98/1440.41	c       332       486    568.70    104.43      5.45   1000000         0
1441.38/1441.89	c       356       472    558.40     94.65      5.90   1000000         0
1442.88/1443.36	c       355       376    570.67     99.07      5.76   1000000         0
1444.38/1444.83	c       336       537    536.40     86.33      6.21   1000000         0
1445.78/1446.29	c       325       377    542.79     97.13      5.59   1000000         0
1447.28/1447.76	c       340       526    557.34     94.83      5.88   1000000         0
1448.78/1449.23	c       351       596    551.44    108.00      5.11   1000000         0
1450.28/1450.70	c       337       517    557.09    113.95      4.89   1000000         0
1451.68/1452.18	c       360       480    563.96    116.61      4.84   1000000         0
1453.18/1453.66	c       356       607    561.72    111.13      5.05   1000000         0
1454.67/1455.13	c       343       586    551.64    102.70      5.37   1000000         0
1456.07/1456.59	c       347       642    545.90     76.55      7.13   1000000         0
1457.57/1458.06	c       364       571    550.98     90.70      6.07   1000000         0
1459.08/1459.54	c       329       609    550.65    105.56      5.22   1000000         0
1460.57/1461.01	c       341       651    557.60    111.83      4.99   1000000         0
1461.97/1462.48	c       347       510    550.31    105.12      5.24   1000000         0
1463.47/1463.95	c       281       596    560.16    100.02      5.60   1000000         0
1464.97/1465.43	c       371       648    555.56     94.20      5.90   1000000         0
1466.37/1466.89	c       299       591    544.17     99.00      5.50   1000000         0
1467.87/1468.35	c       316       664    544.18     89.83      6.06   1000000         0
1469.37/1469.83	c       317       591    558.06    105.60      5.28   1000000         0
1470.87/1471.30	c       362       483    550.56    116.20      4.74   1000000         0
1472.27/1472.78	c       351       455    570.60     91.19      6.26   1000000         0
1473.76/1474.26	c       370       574    552.04    100.27      5.51   1000000         0
1475.26/1475.74	c       361       550    578.55    107.33      5.39   1000000         0
1476.77/1477.21	c       301       413    561.89    118.29      4.75   1000000         0
1478.16/1478.68	c       325       514    547.00    110.18      4.96   1000000         0
1479.66/1480.15	c       357       593    559.35     85.89      6.51   1000000         0
1481.17/1481.62	c       363       579    566.35    101.50      5.58   1000000         0
1482.56/1483.09	c       337       630    551.36     86.65      6.36   1000000         0
1484.06/1484.55	c       276       537    547.12    102.43      5.34   1000000         0
1485.57/1486.03	c       348       608    570.19     99.34      5.74   1000000         0
1487.06/1487.50	c       347       614    546.92    107.86      5.07   1000000         0
1488.46/1488.96	c       347       485    544.32     97.76      5.57   1000000         0
1489.97/1490.44	c       374       488    576.81     93.62      6.16   1000000         0
1491.46/1491.91	c       308       507    545.59     92.16      5.92   1000000         0
1492.86/1493.37	c       351       527    538.62     94.81      5.68   1000000         0
1494.37/1494.84	c       350       565    537.71    109.22      4.92   1000000         0
1495.86/1496.31	c       378       588    555.47     86.43      6.43   1000000         0
1497.26/1497.79	c       355       666    555.60    106.62      5.21   1000000         0
1498.77/1499.25	c       302       503    552.65    106.31      5.20   1000000         0
1500.27/1500.72	c       379       625    549.08     81.61      6.73   1000000         0
1501.67/1502.19	c       315       423    552.56     96.97      5.70   1000000         0
1503.17/1503.67	c       349       419    554.95    109.27      5.08   1000000         0
1504.66/1505.14	c       333       463    559.00    105.22      5.31   1000000         0
1506.16/1506.62	c       337       576    565.81     98.01      5.77   1000000         0
1507.57/1508.09	c       359       482    553.39     76.94      7.19   1000000         0
1509.06/1509.56	c       309       477    560.37    101.65      5.51   1000000         0
1510.56/1511.03	c       312       542    554.03     98.98      5.60   1000000         0
1512.07/1512.51	c       333       617    559.93     91.59      6.11   1000000         0
1513.46/1513.98	c       364       601    557.04     92.72      6.01   1000000         0
1514.96/1515.45	c       308       570    539.09    108.21      4.98   1000000         0
1516.46/1516.92	c       318       606    548.87    100.12      5.48   1000000         0
1517.96/1518.40	c       347       655    556.86    105.71      5.27   1000000         0
1519.36/1519.87	c       321       527    560.68    116.66      4.81   1000000         0
1520.86/1521.34	c       363       499    545.71     95.93      5.69   1000000         0
1522.35/1522.81	c       292       578    559.09     93.81      5.96   1000000         0
1523.75/1524.29	c       358       529    561.00     96.08      5.84   1000000         0
1525.26/1525.76	c       381       627    564.02     96.89      5.82   1000000         0
1526.75/1527.23	c       349       511    563.98     90.00      6.27   1000000         0
1528.25/1528.70	c       356       475    554.72     83.78      6.62   1000000         0
1529.66/1530.17	c       368       570    560.31     94.38      5.94   1000000         0
1531.15/1531.65	c       319       600    568.42     89.42      6.36   1000000         0
1532.65/1533.12	c       365       470    561.84     94.44      5.95   1000000         0
1534.06/1534.59	c       364       529    567.47     99.72      5.69   1000000         0
1535.55/1536.06	c       262       518    536.83     98.49      5.45   1000000         0
1537.05/1537.54	c       380       549    565.97    102.20      5.54   1000000         0
1538.55/1539.00	c       381       503    552.18     87.41      6.32   1000000         0
1539.94/1540.47	c       329       487    551.41     91.50      6.03   1000000         0
1541.45/1541.95	c       321       460    550.43     97.99      5.62   1000000         0
1542.95/1543.41	c       335       541    540.57    111.83      4.83   1000000         0
1544.35/1544.88	c       334       593    540.25    102.55      5.27   1000000         0
1545.85/1546.35	c       298       456    547.56     91.26      6.00   1000000         0
1547.35/1547.82	c       328       545    548.45     93.86      5.84   1000000         0
1548.75/1549.28	c       308       573    550.30    100.31      5.49   1000000         0
1550.25/1550.75	c       279       464    546.33    103.10      5.30   1000000         0
1551.75/1552.23	c       369       554    562.36     96.17      5.85   1000000         0
1553.25/1553.70	c       351       496    548.00     91.06      6.02   1000000         0
1554.65/1555.18	c       355       506    555.79    111.90      4.97   1000000         0
1556.15/1556.65	c       353       475    552.77     81.81      6.76   1000000         0
1557.65/1558.12	c       315       459    566.52     98.44      5.76   1000000         0
1559.05/1559.59	c       321       463    541.49     98.80      5.48   1000000         0
1560.55/1561.06	c       300       594    542.24    102.61      5.28   1000000         0
1562.05/1562.53	c       341       513    539.25     83.40      6.47   1000000         0
1563.54/1564.00	c       356       451    558.89     97.68      5.72   1000000         0
1564.94/1565.47	c       345       489    554.34     92.05      6.02   1000000         0
1566.44/1566.95	c       356       542    581.57    111.69      5.21   1000000         0
1567.94/1568.42	c       308       481    544.62    104.17      5.23   1000000         0
1569.34/1569.89	c       351       558    551.14    118.95      4.63   1000000         0
1570.84/1571.37	c       347       534    560.12     90.97      6.16   1000000         0
1572.34/1572.83	c       349       361    549.85     91.35      6.02   1000000         0
1573.84/1574.31	c       358       479    555.69     97.71      5.69   1000000         0
1575.24/1575.79	c       359       524    562.87     95.11      5.92   1000000         0
1576.74/1577.26	c       284       483    544.26     96.95      5.61   1000000         0
1578.24/1578.73	c       304       498    557.83    101.14      5.52   1000000         0
1579.74/1580.20	c       314       561    546.33    105.05      5.20   1000000         0
1581.14/1581.67	c       335       606    557.04    114.73      4.86   1000000         0
1582.64/1583.13	c       335       571    533.72     99.20      5.38   1000000         0
1584.14/1584.61	c       333       648    566.51    105.44      5.37   1000000         0
1585.54/1586.08	c       364       632    553.62     92.30      6.00   1000000         0
1587.04/1587.55	c       343       527    543.68     88.58      6.14   1000000         0
1588.53/1589.01	c       342       469    552.09    111.54      4.95   1000000         0
1589.93/1590.49	c       302       456    562.22    114.65      4.90   1000000         0
1591.43/1591.95	c       356       520    543.50     86.14      6.31   1000000         0
1592.93/1593.42	c       329       619    552.55     94.97      5.82   1000000         0
1594.44/1594.90	c       354       501    553.45     92.61      5.98   1000000         0
1595.83/1596.37	c       333       522    555.04     94.51      5.87   1000000         0
1597.33/1597.85	c       336       499    566.26    113.60      4.98   1000000         0
1598.83/1599.32	c       383       537    555.88    100.65      5.52   1000000         0
1600.33/1600.80	c       327       570    567.72     92.97      6.11   1000000         0
1601.74/1602.27	c       360       482    564.38     98.02      5.76   1000000         0
1603.24/1603.74	c       371       581    558.49     90.82      6.15   1000000         0
1604.74/1605.21	c       343       496    548.81     89.27      6.15   1000000         0
1606.14/1606.67	c       343       504    546.25     75.21      7.26   1000000         0
1607.64/1608.15	c       365       535    564.51    126.57      4.46   1000000         0
1609.14/1609.61	c       341       537    532.98    124.03      4.30   1000000         0
1610.54/1611.08	c       327       592    557.06     93.04      5.99   1000000         0
1612.04/1612.56	c       336       461    561.06     99.81      5.62   1000000         0
1613.53/1614.03	c       328       439    555.55     93.51      5.94   1000000         0
1614.93/1615.49	c       337       569    542.18     86.73      6.25   1000000         0
1616.44/1616.95	c       364       440    546.57     91.38      5.98   1000000         0
1617.93/1618.43	c       297       462    550.77     92.80      5.93   1000000         0
1619.43/1619.90	c       351       567    555.16    100.08      5.55   1000000         0
1620.84/1621.37	c       330       555    543.30     96.45      5.63   1000000         0
1622.33/1622.84	c       357       458    557.31     93.30      5.97   1000000         0
1623.83/1624.31	c       384       562    563.76     94.41      5.97   1000000         0
1625.24/1625.78	c       336       553    545.05     91.87      5.93   1000000         0
1626.73/1627.25	c       327       441    549.09     94.26      5.83   1000000         0
1628.23/1628.72	c       354       551    566.21     96.22      5.88   1000000         0
1629.64/1630.19	c       331       482    550.22    125.97      4.37   1000000         0
1631.13/1631.66	c       352       419    550.62     93.21      5.91   1000000         0
1632.63/1633.14	c       340       597    570.74    104.88      5.44   1000000         0
1634.13/1634.60	c       286       564    539.21     90.77      5.94   1000000         0
1635.53/1636.07	c       315       483    552.61     98.19      5.63   1000000         0
1637.03/1637.54	c       359       612    561.51     88.63      6.34   1000000         0
1638.53/1639.03	c       267       672    578.11    120.10      4.81   1000000         0
1639.92/1640.49	c       361       642    537.70    110.09      4.88   1000000         0
1641.42/1641.96	c       316       573    533.95     98.12      5.44   1000000         0
1642.93/1643.43	c       369       537    562.10    123.37      4.56   1000000         0
1644.42/1644.90	c       304       530    552.39     98.83      5.59   1000000         0
1645.82/1646.37	c       317       572    548.56    114.97      4.77   1000000         0
1647.33/1647.83	c       356       554    533.73     79.78      6.69   1000000         0
1648.82/1649.30	c       323       499    554.00    118.21      4.69   1000000         0
1650.22/1650.78	c       322       665    560.04     91.60      6.11   1000000         0
1651.73/1652.25	c       371       509    549.16     81.25      6.76   1000000         0
1653.22/1653.73	c       382       547    577.05     90.09      6.41   1000000         0
1654.72/1655.20	c       335       573    561.97     98.40      5.71   1000000         0
1656.13/1656.67	c       347       602    556.79    109.55      5.08   1000000         0
1657.62/1658.14	c       323       493    558.18    105.60      5.29   1000000         0
1659.12/1659.62	c       337       533    561.46    108.52      5.17   1000000         0
1660.53/1661.08	c       397       536    553.55     86.20      6.42   1000000         0
1662.02/1662.56	c       352       488    574.81    106.49      5.40   1000000         0
1663.52/1664.03	c       313       395    547.75    100.85      5.43   1000000         0
1664.92/1665.49	c       311       416    544.09    104.74      5.19   1000000         0
1666.42/1666.96	c       365       507    556.46    105.80      5.26   1000000         0
1667.92/1668.44	c       370       567    562.49     97.03      5.80   1000000         0
1669.42/1669.91	c       341       646    541.26    104.62      5.17   1000000         0
1670.82/1671.38	c       324       599    544.87    108.85      5.01   1000000         0
1672.32/1672.85	c       339       580    552.60     97.95      5.64   1000000         0
1673.81/1674.32	c       332       574    549.77     85.03      6.47   1000000         0
1675.21/1675.79	c       305       423    548.00     92.34      5.93   1000000         0
1676.71/1677.27	c       374       581    575.30     89.66      6.42   1000000         0
1678.21/1678.74	c       329       527    557.43     81.12      6.87   1000000         0
1679.71/1680.21	c       368       484    560.07     96.70      5.79   1000000         0
1681.11/1681.69	c       347       669    563.74    109.16      5.16   1000000         0
1682.61/1683.17	c       338       536    561.33    116.28      4.83   1000000         0
1684.11/1684.64	c       311       574    548.99    101.81      5.39   1000000         0
1685.61/1686.12	c       329       519    579.59     85.77      6.76   1000000         0
1687.01/1687.59	c       287       595    556.13     99.56      5.59   1000000         0
1688.51/1689.06	c       282       616    545.02    108.83      5.01   1000000         0
1690.01/1690.52	c       360       539    554.06    105.18      5.27   1000000         0
1691.40/1691.99	c       331       619    548.73     99.57      5.51   1000000         0
1692.90/1693.46	c       350       526    552.98     99.43      5.56   1000000         0
1694.40/1694.94	c       378       589    567.80    104.21      5.45   1000000         0
1695.90/1696.42	c       374       611    572.08    113.16      5.06   1000000         0
1697.30/1697.89	c       355       613    553.15     95.59      5.79   1000000         0
1698.80/1699.35	c       337       509    540.77    115.96      4.66   1000000         0
1700.30/1700.83	c       342       476    549.87    121.42      4.53   1000000         0
1701.70/1702.29	c       335       561    550.28    101.05      5.45   1000000         0
1703.20/1703.77	c       358       394    561.15     96.89      5.79   1000000         0
1704.70/1705.23	c       338       503    532.65     93.61      5.69   1000000         0
1706.20/1706.71	c       288       681    557.93    122.92      4.54   1000000         0
1707.60/1708.18	c       337       508    551.32     97.58      5.65   1000000         0
1709.10/1709.65	c       314       511    557.99    109.83      5.08   1000000         0
1710.60/1711.13	c       303       603    561.46     90.73      6.19   1000000         0
1712.10/1712.61	c       364       602    558.06     98.70      5.65   1000000         0
1713.50/1714.08	c       333       574    553.69    113.10      4.90   1000000         0
1715.00/1715.56	c       330       611    570.87    107.59      5.31   1000000         0
1716.51/1717.03	c       303       616    553.86    118.47      4.67   1000000         0
1718.00/1718.50	c       352       391    535.31     87.05      6.15   1000000         0
1719.40/1719.97	c       332       513    553.60     93.31      5.93   1000000         0
1720.91/1721.43	c       314       557    532.96    102.91      5.18   1000000         0
1722.40/1722.90	c       348       598    559.50     88.49      6.32   1000000         0
1723.80/1724.38	c       363       534    561.23    105.57      5.32   1000000         0
1725.31/1725.84	c       341       638    535.44     92.68      5.78   1000000         0
1726.80/1727.30	c       351       586    550.89     95.44      5.77   1000000         0
1728.20/1728.78	c       322       586    553.88    105.59      5.25   1000000         0
1729.71/1730.24	c       359       503    540.03     86.29      6.26   1000000         0
1731.20/1731.72	c       343       570    573.96    108.89      5.27   1000000         0
1732.60/1733.19	c       343       569    550.30     88.94      6.19   1000000         0
1734.10/1734.66	c       347       493    559.21     94.39      5.92   1000000         0
1735.60/1736.14	c       347       652    543.67    105.12      5.17   1000000         0
1737.10/1737.61	c       371       484    571.96    107.56      5.32   1000000         0
1738.50/1739.09	c       339       623    557.29    102.29      5.45   1000000         0
1740.00/1740.56	c       361       445    552.41     94.15      5.87   1000000         0
1741.50/1742.03	c       326       442    554.69    103.63      5.35   1000000         0
1743.00/1743.51	c       353       591    559.29    113.56      4.93   1000000         0
1744.39/1744.99	c       382       628    571.25    114.18      5.00   1000000         0
1745.89/1746.46	c       340       541    563.30    101.56      5.55   1000000         0
1747.40/1747.94	c       348       561    570.28    105.32      5.41   1000000         0
1748.89/1749.41	c       331       404    539.87     90.46      5.97   1000000         0
1750.29/1750.87	c       346       391    548.85     73.77      7.44   1000000         0
1751.80/1752.35	c       383       497    565.31     97.99      5.77   1000000         0
1753.29/1753.81	c       313       450    531.91     97.83      5.44   1000000         0
1754.69/1755.29	c       353       509    549.02    101.46      5.41   1000000         0
1756.20/1756.76	c       361       641    553.95     85.03      6.51   1000000         0
1757.69/1758.22	c       350       409    536.84    101.27      5.30   1000000         0
1759.19/1759.70	c       328       658    558.73    107.01      5.22   1000000         0
1760.59/1761.18	c       339       545    554.62     93.64      5.92   1000000         0
1762.09/1762.66	c       351       564    570.99    105.79      5.40   1000000         0
1763.59/1764.13	c       314       594    544.79    111.38      4.89   1000000         0
1765.09/1765.60	c       334       572    561.88    125.66      4.47   1000000         0
1766.49/1767.07	c       316       528    550.58    104.53      5.27   1000000         0
1767.98/1768.53	c       298       509    527.30     92.48      5.70   1000000         0
1769.48/1770.00	c       331       536    545.62    103.68      5.26   1000000         0
1770.88/1771.46	c       353       559    543.04     91.27      5.95   1000000         0
1772.38/1772.93	c       359       516    549.61     99.71      5.51   1000000         0
1773.88/1774.41	c       353       502    562.23    110.85      5.07   1000000         0
1775.29/1775.88	c       346       600    550.94     89.37      6.16   1000000         0
1776.78/1777.35	c       356       398    548.47     84.88      6.46   1000000         0
1778.28/1778.83	c       358       563    566.65     94.01      6.03   1000000         0
1779.78/1780.30	c       344       648    550.69     93.41      5.90   1000000         0
1781.18/1781.77	c       333       697    564.37    104.88      5.38   1000000         0
1782.68/1783.24	c       369       580    548.54     90.92      6.03   1000000         0
1784.18/1784.71	c       321       496    550.99     92.34      5.97   1000000         0
1785.58/1786.18	c       336       506    545.78    100.94      5.41   1000000         0
1787.08/1787.65	c       373       552    558.01     94.52      5.90   1000000         0
1788.58/1789.13	c       364       507    572.90     94.76      6.05   1000000         0
1790.08/1790.60	c       309       595    561.49    106.48      5.27   1000000         0
1791.48/1792.08	c       280       585    562.19    102.14      5.50   1000000         0
1792.98/1793.55	c       353       541    561.67     82.48      6.81   1000000         0
1794.47/1795.02	c       299       448    544.92    102.69      5.31   1000000         0
1795.87/1796.48	c       322       529    531.27     97.67      5.44   1000000         0
1797.37/1797.96	c       356       564    565.17    120.45      4.69   1000000         0
1798.88/1799.42	c       319       561    543.95     90.92      5.98   1000000         0
1800.10/1800.61	HOME/run: line 2: 18784 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-2685322-1278440566/watcher-2685322-1278440566 -o /tmp/evaluation-result-2685322-1278440566/solver-2685322-1278440566 -C 1800 -W 2000 -M 1800 run HOME/instance-2685322-1278440566.opb 

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


[startup+0 s]
/proc/loadavg: 0.94 1.04 0.99 3/106 18783
/proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) R 18781 18783 17370 0 -1 4202496 344 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316987285 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0

[startup+0.0210001 s]
/proc/loadavg: 0.94 1.04 0.99 3/106 18783
/proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100998 s]
/proc/loadavg: 0.94 1.04 0.99 3/106 18783
/proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300995 s]
/proc/loadavg: 0.94 1.04 0.99 3/106 18783
/proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700988 s]
/proc/loadavg: 0.94 1.04 0.99 3/106 18783
/proc/meminfo: memFree=1392808/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50097 s]
/proc/loadavg: 0.94 1.04 0.99 2/108 18785
/proc/meminfo: memFree=1386592/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1.49
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1587 0 0 0 148 1 0 0 23 0 1 0 12269625 41422848 1517 1992294400 134512640 135071400 4293430096 18446744073709551615 134526866 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1517 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10095 s]
/proc/loadavg: 0.95 1.04 0.99 2/108 18785
/proc/meminfo: memFree=1386344/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=3.09
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 308 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525845 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30089 s]
/proc/loadavg: 0.95 1.04 0.99 2/108 18785
/proc/meminfo: memFree=1386344/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=6.29
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 628 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526832 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7018 s]
/proc/loadavg: 0.95 1.03 0.99 2/108 18785
/proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=12.69
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 1268 1 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5006 s]
/proc/loadavg: 0.96 1.03 0.99 2/108 18785
/proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=25.49
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 2547 2 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526726 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49152

[startup+51.1001 s]
/proc/loadavg: 0.97 1.03 0.99 2/108 18786
/proc/meminfo: memFree=1386220/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=51.07
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 5105 2 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.99 1.02 0.99 2/108 18787
/proc/meminfo: memFree=1386096/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=102.27
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 10223 4 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134571237 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.3 s]
/proc/loadavg: 0.99 1.02 0.99 2/108 18789
/proc/meminfo: memFree=1386096/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=162.24
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 16218 6 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525834 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.3 s]
/proc/loadavg: 0.99 1.01 0.99 2/108 18791
/proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=222.22
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 22215 7 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.3 s]
/proc/loadavg: 0.99 1.01 0.99 2/108 18792
/proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=282.21
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 28212 9 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134519870 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49152

[startup+342.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18793
/proc/meminfo: memFree=1385972/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=342.19
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 34209 10 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 49152

[startup+402.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18795
/proc/meminfo: memFree=1385848/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=402.17
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 40206 11 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526881 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.3 s]

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

/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1061.99
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 106178 21 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18815
/proc/meminfo: memFree=1384856/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1121.97
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 112175 22 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526670 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18816
/proc/meminfo: memFree=1384732/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1181.95
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 118173 22 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525790 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18817
/proc/meminfo: memFree=1384484/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1241.93
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 124170 23 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18819
/proc/meminfo: memFree=1384360/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1301.92
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 130168 24 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18821
/proc/meminfo: memFree=1384360/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1361.9
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 136164 26 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18823
/proc/meminfo: memFree=1384236/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1421.89
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 142163 26 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18824
/proc/meminfo: memFree=1384112/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1481.86
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 148159 27 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 18825
/proc/meminfo: memFree=1384112/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1541.85
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 154156 29 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134520032 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/108 18827
/proc/meminfo: memFree=1383988/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1601.84
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 160154 30 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526451 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.11 1.04 1.00 2/108 18829
/proc/meminfo: memFree=1383864/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1661.82
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 166152 30 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134525931 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.12 1.04 1.00 2/108 18831
/proc/meminfo: memFree=1383740/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1721.8
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 172149 31 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134537238 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.10 1.05 1.00 2/108 18832
/proc/meminfo: memFree=1383616/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1781.78
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 178147 31 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526851 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.05 1.00 2/108 18833
/proc/meminfo: memFree=1383616/2059040 swapFree=4192956/4192956
[pid=18783] ppid=18781 vsize=8700 CPUtime=0
/proc/18783/stat : 18783 (run) S 18781 18783 17370 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12269624 8908800 244 1992294400 4194304 4922060 140736444482528 18446744073709551615 257316985989 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18783/statm: 2175 244 204 178 0 68 0
[pid=18784] ppid=18783 vsize=40452 CPUtime=1800.1
/proc/18784/stat : 18784 (PB-wave) R 18783 18783 17370 0 -1 4202496 1595 0 0 0 179978 32 0 0 25 0 1 0 12269625 41422848 1525 1992294400 134512640 135071400 4293430096 18446744073709551615 134526719 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/18784/statm: 10113 1525 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1799.78
CPU system time (s): 0.32395
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.32395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1968
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= 5
involuntary context switches= 33649

runsolver used 4.14637 second user time and 8.96964 second system time

The end

Launcher Data

Begin job on node012 at 2010-07-06 20:22:46
IDJOB=2685322
IDBENCH=75341
IDSOLVER=1171
FILE ID=node012/2685322-1278440566
PBS_JOBID= 11233459
Free space on /tmp= 62484 MiB

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

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

MD5SUM BENCH= 62425b8c99d21d88f86cd1929c3b9760
RANDOM SEED=1987371849

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1393080 kB
Buffers:        111036 kB
Cached:         416036 kB
SwapCached:          0 kB
Active:         244536 kB
Inactive:       342744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1393080 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2852 kB
Writeback:           0 kB
AnonPages:       60204 kB
Mapped:          14500 kB
Slab:            56684 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181648 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62480 MiB
End job on node012 at 2010-07-06 20:52:47