Trace number 2685196

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

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j906_2-sat.opb
MD5SUM8ea4be3efd8903ae7937ad6193e8fce9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.222965
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15834
Total number of constraints49853
Number of constraints which are clauses49509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints344
Minimum length of a constraint1
Maximum length of a constraint51
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 358
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 = 45522011
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 15834 #con 49853
0.00/0.13	mode is SAT
0.00/0.13	c tail starts after flip = 47502
0.00/0.13	c numatom = 15834, numclause = 49853, numliterals = 121471
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.49/1.54	c       382       621    605.97    108.34      5.59   1000000         0
2.89/2.96	c       403       598    598.29    102.16      5.86   1000000         0
4.30/4.37	c       389       577    611.91    112.74      5.43   1000000         0
5.69/5.80	c       346       638    617.70    124.69      4.95   1000000         0
7.19/7.21	c       355       510    600.90    122.02      4.92   1000000         0
8.59/8.64	c       326       609    621.09    138.33      4.49   1000000         0
9.99/10.05	c       377       574    605.12    104.47      5.79   1000000         0
11.39/11.47	c       381       496    620.14    114.09      5.44   1000000         0
12.79/12.89	c       377       507    608.03    106.85      5.69   1000000         0
14.29/14.31	c       417       581    620.34    135.51      4.58   1000000         0
15.69/15.73	c       407       537    607.67     97.37      6.24   1000000         0
17.09/17.15	c       413       629    627.77    133.65      4.70   1000000         0
18.49/18.56	c       371       562    591.09     99.04      5.97   1000000         0
19.88/19.97	c       386       646    608.57    126.97      4.79   1000000         0
21.28/21.38	c       375       565    590.18    111.33      5.30   1000000         0
22.78/22.81	c       408       547    630.21    114.28      5.51   1000000         0
24.19/24.22	c       408       611    606.03     93.42      6.49   1000000         0
25.58/25.63	c       410       639    607.27     86.90      6.99   1000000         0
26.98/27.05	c       340       537    590.05    110.26      5.35   1000000         0
28.38/28.47	c       383       625    619.13    101.72      6.09   1000000         0
29.78/29.89	c       398       523    608.42    117.99      5.16   1000000         0
31.28/31.31	c       405       577    621.09    125.40      4.95   1000000         0
32.68/32.73	c       410       568    610.47    113.56      5.38   1000000         0
34.09/34.15	c       409       513    619.50    101.23      6.12   1000000         0
35.48/35.57	c       367       520    617.41    132.63      4.65   1000000         0
36.88/36.99	c       367       729    611.37    122.19      5.00   1000000         0
38.39/38.40	c       382       569    602.59    106.17      5.68   1000000         0
39.78/39.82	c       374       664    621.07    117.99      5.26   1000000         0
41.18/41.24	c       415       565    607.17    108.69      5.59   1000000         0
42.58/42.66	c       365       671    594.62    110.01      5.41   1000000         0
43.99/44.07	c       363       661    617.95    113.75      5.43   1000000         0
45.38/45.49	c       392       552    598.65    128.23      4.67   1000000         0
46.88/46.91	c       419       648    621.79     97.73      6.36   1000000         0
48.29/48.32	c       376       532    608.05    114.82      5.30   1000000         0
49.68/49.74	c       389       570    599.94     98.51      6.09   1000000         0
51.08/51.15	c       368       592    616.90    130.31      4.73   1000000         0
52.48/52.57	c       394       814    607.75    113.91      5.34   1000000         0
53.88/53.99	c       395       622    617.98    117.66      5.25   1000000         0
55.38/55.41	c       379       517    620.17    114.18      5.43   1000000         0
56.78/56.82	c       334       494    622.67    116.59      5.34   1000000         0
58.18/58.24	c       384       570    607.78    115.07      5.28   1000000         0
59.58/59.66	c       390       730    601.15    100.04      6.01   1000000         0
60.98/61.07	c       369       598    595.11    101.70      5.85   1000000         0
62.37/62.49	c       415       647    610.81    104.58      5.84   1000000         0
63.87/63.91	c       380       542    606.76    110.13      5.51   1000000         0
65.27/65.33	c       416       591    615.66    127.18      4.84   1000000         0
66.67/66.75	c       392       801    619.39    120.55      5.14   1000000         0
68.08/68.17	c       425       659    625.14    117.31      5.33   1000000         0
69.47/69.59	c       398       615    614.39    107.52      5.71   1000000         0
70.97/71.00	c       382       642    609.51    120.31      5.07   1000000         0
72.37/72.42	c       389       558    617.83    118.52      5.21   1000000         0
73.77/73.84	c       403       499    617.55    122.25      5.05   1000000         0
75.17/75.26	c       371       511    611.29    111.59      5.48   1000000         0
76.57/76.68	c       415       476    624.86    124.71      5.01   1000000         0
78.08/78.11	c       402       547    635.89    128.77      4.94   1000000         0
79.47/79.53	c       349       560    622.78    146.19      4.26   1000000         0
80.87/80.95	c       437       692    629.57    107.65      5.85   1000000         0
82.27/82.37	c       359       570    613.46    114.20      5.37   1000000         0
83.67/83.79	c       415       739    600.33    101.34      5.92   1000000         0
85.17/85.20	c       391       486    611.18    128.56      4.75   1000000         0
86.57/86.62	c       398       634    623.95    118.50      5.27   1000000         0
87.98/88.03	c       356       508    603.77    113.22      5.33   1000000         0
89.37/89.44	c       350       577    590.73    136.40      4.33   1000000         0
90.77/90.86	c       421       634    612.82    106.66      5.75   1000000         0
92.17/92.28	c       398       562    612.50    102.32      5.99   1000000         0
93.57/93.69	c       363       615    602.22    116.89      5.15   1000000         0
95.07/95.11	c       373       642    629.10    112.87      5.57   1000000         0
96.47/96.53	c       371       590    617.78    115.95      5.33   1000000         0
97.87/97.95	c       389       588    612.24    122.66      4.99   1000000         0
99.27/99.37	c       368       551    609.24    115.45      5.28   1000000         0
100.67/100.79	c       372       547    623.73    104.31      5.98   1000000         0
102.17/102.21	c       406       568    618.62    100.09      6.18   1000000         0
103.57/103.62	c       362       640    583.62    106.69      5.47   1000000         0
104.96/105.04	c       391       550    607.86    123.35      4.93   1000000         0
106.36/106.46	c       367       604    591.49    129.80      4.56   1000000         0
107.77/107.88	c       372       570    591.20    116.47      5.08   1000000         0
109.16/109.29	c       408       577    621.29    131.24      4.73   1000000         0
110.66/110.70	c       382       633    585.46    102.51      5.71   1000000         0
112.07/112.12	c       414       587    625.18     99.62      6.28   1000000         0
113.46/113.53	c       375       609    613.81    110.79      5.54   1000000         0
114.86/114.95	c       431       539    615.74    108.29      5.69   1000000         0
116.26/116.37	c       388       630    603.01    134.93      4.47   1000000         0
117.67/117.79	c       395       657    625.15    115.06      5.43   1000000         0
119.16/119.21	c       414       661    618.58    109.49      5.65   1000000         0
120.56/120.63	c       401       591    609.53    108.91      5.60   1000000         0
121.97/122.04	c       413       592    609.60    111.94      5.45   1000000         0
123.36/123.45	c       362       576    606.02    123.66      4.90   1000000         0
124.76/124.88	c       408       570    620.27    106.23      5.84   1000000         0
126.16/126.29	c       414       589    612.62    117.65      5.21   1000000         0
127.66/127.72	c       433       526    629.07    124.02      5.07   1000000         0
129.06/129.13	c       367       507    594.57    107.31      5.54   1000000         0
130.46/130.55	c       383       642    609.30    122.84      4.96   1000000         0
131.86/131.97	c       385       497    613.50    127.68      4.80   1000000         0
133.26/133.38	c       381       479    599.30    112.12      5.35   1000000         0
134.76/134.81	c       389       637    622.31    127.52      4.88   1000000         0
136.16/136.22	c       370       482    601.25    141.13      4.26   1000000         0
137.56/137.64	c       418       601    616.86    100.68      6.13   1000000         0
138.96/139.07	c       389       565    611.39    104.64      5.84   1000000         0
140.36/140.48	c       407       715    601.21    100.27      6.00   1000000         0
141.76/141.89	c       369       429    606.95    118.03      5.14   1000000         0
143.26/143.31	c       410       461    608.30    106.33      5.72   1000000         0
144.66/144.72	c       371       549    601.29    115.25      5.22   1000000         0
146.05/146.14	c       396       554    605.48    115.77      5.23   1000000         0
147.45/147.56	c       426       500    629.20    109.96      5.72   1000000         0
148.85/148.98	c       396       653    622.46    127.45      4.88   1000000         0
150.35/150.40	c       394       567    599.44    104.25      5.75   1000000         0
151.76/151.82	c       403       634    626.87    132.74      4.72   1000000         0
153.15/153.24	c       343       482    598.29    100.94      5.93   1000000         0
154.55/154.66	c       403       476    624.50    121.22      5.15   1000000         0
155.95/156.08	c       408       497    618.37    133.96      4.62   1000000         0
157.45/157.50	c       403       591    612.36    113.18      5.41   1000000         0
158.85/158.92	c       396       531    597.64    113.92      5.25   1000000         0
160.25/160.33	c       362       599    590.16    116.01      5.09   1000000         0
161.66/161.75	c       429       608    616.92    111.27      5.54   1000000         0
163.05/163.16	c       350       439    579.24     95.28      6.08   1000000         0
164.45/164.57	c       402       732    605.28    111.78      5.42   1000000         0
165.96/166.00	c       394       550    627.64    113.07      5.55   1000000         0
167.35/167.42	c       374       659    604.52    124.72      4.85   1000000         0
168.75/168.84	c       377       429    609.27    124.94      4.88   1000000         0
170.15/170.26	c       407       495    621.87    114.11      5.45   1000000         0
171.56/171.67	c       363       390    604.12    118.89      5.08   1000000         0
172.95/173.09	c       403       594    611.25    119.12      5.13   1000000         0
174.45/174.51	c       413       710    636.67    122.00      5.22   1000000         0
175.85/175.93	c       400       712    606.41    127.48      4.76   1000000         0
177.25/177.35	c       376       562    604.04    128.79      4.69   1000000         0
178.65/178.77	c       352       525    612.86    127.14      4.82   1000000         0
180.05/180.18	c       407       537    616.42    125.93      4.89   1000000         0
181.55/181.60	c       363       603    593.40    108.40      5.47   1000000         0
182.95/183.01	c       401       712    608.05    102.77      5.92   1000000         0
184.34/184.43	c       446       534    615.18    111.84      5.50   1000000         0
185.75/185.85	c       403       467    618.98    122.39      5.06   1000000         0
187.14/187.26	c       376       604    591.72    108.01      5.48   1000000         0
188.54/188.67	c       396       730    600.03     96.35      6.23   1000000         0
189.94/190.09	c       340       677    587.33    117.27      5.01   1000000         0
191.44/191.50	c       369       569    612.26    120.13      5.10   1000000         0
192.84/192.92	c       384       581    622.41    124.04      5.02   1000000         0
194.24/194.33	c       401       661    598.94    107.21      5.59   1000000         0
195.65/195.75	c       421       614    604.01    110.15      5.48   1000000         0
197.04/197.17	c       392       631    597.61    114.48      5.22   1000000         0
198.44/198.58	c       386       559    604.81    117.23      5.16   1000000         0
199.94/200.00	c       395       566    609.43    129.60      4.70   1000000         0
201.34/201.42	c       403       539    602.50     94.52      6.37   1000000         0
202.74/202.84	c       360       690    615.46    119.14      5.17   1000000         0
204.14/204.26	c       402       536    623.47    115.57      5.39   1000000         0
205.55/205.69	c       427       526    632.05    115.28      5.48   1000000         0
207.04/207.11	c       408       561    605.11    135.36      4.47   1000000         0
208.44/208.53	c       405       596    633.43    127.97      4.95   1000000         0
209.84/209.95	c       385       609    614.46    113.09      5.43   1000000         0
211.24/211.38	c       403       693    636.78    118.18      5.39   1000000         0
212.64/212.79	c       422       524    609.32    114.95      5.30   1000000         0
214.14/214.21	c       392       596    605.77    103.46      5.86   1000000         0
215.54/215.62	c       401       602    597.17     91.93      6.50   1000000         0
216.94/217.04	c       349       523    601.33    119.92      5.01   1000000         0
218.33/218.45	c       355       594    605.83    111.13      5.45   1000000         0
219.73/219.86	c       389       666    599.16     96.96      6.18   1000000         0
221.13/221.28	c       384       566    611.70    124.22      4.92   1000000         0
222.63/222.70	c       370       493    605.83     94.47      6.41   1000000         0
224.03/224.11	c       382       449    607.13    107.59      5.64   1000000         0
225.44/225.53	c       406       660    618.11    123.65      5.00   1000000         0
226.83/226.95	c       411       530    614.22    110.06      5.58   1000000         0
228.23/228.36	c       412       571    617.73    124.80      4.95   1000000         0
229.63/229.78	c       368       644    599.67    101.28      5.92   1000000         0
231.13/231.21	c       398       541    632.53    119.40      5.30   1000000         0
232.53/232.62	c       404       696    601.84    123.90      4.86   1000000         0
233.93/234.03	c       422       649    609.70    106.61      5.72   1000000         0
235.34/235.44	c       349       700    595.42    117.23      5.08   1000000         0
236.73/236.87	c       442       591    643.50    115.62      5.57   1000000         0
238.13/238.29	c       351       570    614.65    122.22      5.03   1000000         0
239.64/239.71	c       363       547    616.49    131.15      4.70   1000000         0
241.03/241.13	c       393       551    615.26    118.65      5.19   1000000         0
242.43/242.55	c       382       508    610.40    100.82      6.05   1000000         0
243.83/243.96	c       334       615    592.71    109.56      5.41   1000000         0
245.24/245.38	c       384       538    603.47    129.81      4.65   1000000         0
246.73/246.80	c       357       670    618.02    111.82      5.53   1000000         0
248.13/248.22	c       396       578    602.95    110.97      5.43   1000000         0
249.54/249.64	c       408       641    627.69    113.68      5.52   1000000         0
250.93/251.07	c       433       707    629.90    116.19      5.42   1000000         0
252.33/252.49	c       336       594    619.95    105.36      5.88   1000000         0
253.83/253.90	c       381       710    585.91    118.36      4.95   1000000         0
255.23/255.31	c       394       475    618.88    100.55      6.15   1000000         0
256.63/256.73	c       396       585    613.48    102.55      5.98   1000000         0
258.03/258.14	c       387       625    608.44    117.25      5.19   1000000         0
259.43/259.57	c       377       567    616.06    102.54      6.01   1000000         0
260.82/260.98	c       320       544    611.46    110.81      5.52   1000000         0
262.32/262.40	c       383       661    605.80    115.90      5.23   1000000         0
263.72/263.81	c       397       544    586.95    102.88      5.71   1000000         0
265.12/265.22	c       347       564    610.97    121.33      5.04   1000000         0
266.52/266.64	c       378       559    601.78    114.18      5.27   1000000         0
267.92/268.06	c       401       526    621.10    110.46      5.62   1000000         0
269.33/269.47	c       436       579    613.56    133.49      4.60   1000000         0
270.72/270.90	c       414       490    632.24    122.07      5.18   1000000         0
272.22/272.32	c       430       604    623.83    117.76      5.30   1000000         0
273.62/273.74	c       405       620    614.51    124.96      4.92   1000000         0
275.02/275.16	c       379       628    610.58    105.10      5.81   1000000         0
276.42/276.58	c       401       620    610.15    118.08      5.17   1000000         0
277.92/278.00	c       404       578    609.91    102.29      5.96   1000000         0
279.33/279.42	c       336       518    626.08    132.11      4.74   1000000         0
280.72/280.84	c       406       533    614.31    127.42      4.82   1000000         0
282.12/282.26	c       412       578    619.13    114.61      5.40   1000000         0
283.52/283.67	c       363       511    602.26    134.50      4.48   1000000         0
284.92/285.09	c       403       641    613.30    149.36      4.11   1000000         0
286.42/286.51	c       362       659    626.03    124.44      5.03   1000000         0
287.82/287.93	c       424       615    616.07    117.91      5.22   1000000         0
289.23/289.35	c       379       464    611.30     99.78      6.13   1000000         0
290.62/290.77	c       410       527    605.26    109.02      5.55   1000000         0
292.02/292.18	c       395       555    609.77    106.62      5.72   1000000         0
293.52/293.60	c       415       557    613.33    111.83      5.48   1000000         0
294.92/295.01	c       392       621    602.70    116.39      5.18   1000000         0
296.32/296.43	c       404       665    603.53    113.50      5.32   1000000         0
297.72/297.84	c       394       662    601.90    109.13      5.52   1000000         0
299.12/299.26	c       368       610    611.05    112.65      5.42   1000000         0
300.52/300.68	c       398       545    610.85     96.76      6.31   1000000         0
302.01/302.10	c       408       739    619.94    125.13      4.95   1000000         0
303.42/303.52	c       406       627    627.64    113.32      5.54   1000000         0
304.81/304.95	c       404       655    618.91    133.22      4.65   1000000         0
306.21/306.36	c       396       540    593.06     89.57      6.62   1000000         0
307.61/307.77	c       393       559    605.62    107.80      5.62   1000000         0
309.02/309.19	c       354       527    608.27    115.60      5.26   1000000         0
310.51/310.60	c       402       543    592.38     91.73      6.46   1000000         0
311.91/312.02	c       380       573    614.16    120.16      5.11   1000000         0
313.32/313.44	c       397       710    621.33    121.76      5.10   1000000         0
314.71/314.85	c       360       594    609.60    124.88      4.88   1000000         0
316.11/316.27	c       389       639    615.99     96.77      6.37   1000000         0
317.51/317.69	c       407       660    608.84    108.69      5.60   1000000         0
319.01/319.10	c       382       580    599.99    111.44      5.38   1000000         0
320.41/320.51	c       392       527    603.33    119.76      5.04   1000000         0
321.81/321.94	c       415       530    630.61    143.51      4.39   1000000         0
323.22/323.36	c       415       648    626.03    127.62      4.91   1000000         0
324.61/324.78	c       420       602    635.17    126.48      5.02   1000000         0
326.11/326.20	c       385       623    623.52    135.29      4.61   1000000         0
327.51/327.63	c       408       636    623.71    122.18      5.10   1000000         0
328.91/329.05	c       357       584    614.59    126.19      4.87   1000000         0
330.31/330.47	c       390       611    616.44    117.25      5.26   1000000         0
331.71/331.88	c       403       515    606.05    119.61      5.07   1000000         0
333.21/333.30	c       404       599    622.18    100.49      6.19   1000000         0
334.61/334.72	c       411       471    611.03    104.69      5.84   1000000         0
336.00/336.14	c       410       550    628.73    135.31      4.65   1000000         0
337.40/337.56	c       363       671    608.25    123.42      4.93   1000000         0
338.80/338.98	c       409       581    622.96    100.59      6.19   1000000         0
340.30/340.41	c       381       609    615.52    110.40      5.58   1000000         0
341.70/341.83	c       387       604    597.13    137.38      4.35   1000000         0
343.11/343.25	c       380       640    621.85    140.54      4.42   1000000         0
344.50/344.66	c       387       566    603.86    112.94      5.35   1000000         0
345.90/346.08	c       364       576    605.95    114.56      5.29   1000000         0
347.41/347.50	c       418       630    624.82    136.25      4.59   1000000         0
348.80/348.92	c       383       654    609.97    102.90      5.93   1000000         0
350.20/350.34	c       389       613    606.77    129.89      4.67   1000000         0
351.60/351.76	c       379       509    621.85    124.16      5.01   1000000         0
353.01/353.18	c       396       464    609.32    100.74      6.05   1000000         0
354.50/354.60	c       389       597    620.53    143.43      4.33   1000000         0
355.90/356.02	c       407       692    614.95    129.65      4.74   1000000         0
357.31/357.44	c       418       610    621.59    123.07      5.05   1000000         0
358.70/358.85	c       401       562    605.91    112.43      5.39   1000000         0
360.10/360.28	c       371       608    618.39    107.92      5.73   1000000         0
361.60/361.70	c       379       628    621.09    141.43      4.39   1000000         0
363.00/363.12	c       336       711    603.75    125.92      4.79   1000000         0
364.40/364.54	c       405       584    604.25    124.72      4.85   1000000         0
365.80/365.96	c       391       564    616.25    131.10      4.70   1000000         0
367.21/367.38	c       374       656    604.07    134.39      4.49   1000000         0
368.60/368.79	c       388       688    594.78    102.44      5.81   1000000         0
370.10/370.20	c       398       568    616.33    125.26      4.92   1000000         0
371.50/371.62	c       372       638    598.62    134.95      4.44   1000000         0
372.90/373.04	c       413       599    632.67    112.59      5.62   1000000         0
374.30/374.46	c       384       540    609.72     92.83      6.57   1000000         0
375.70/375.88	c       386       504    597.47    108.81      5.49   1000000         0
377.10/377.29	c       425       597    616.60    117.40      5.25   1000000         0
378.59/378.71	c       378       566    620.57    128.66      4.82   1000000         0
379.99/380.12	c       388       449    598.56     94.68      6.32   1000000         0
381.39/381.54	c       390       509    609.67    111.92      5.45   1000000         0
382.79/382.96	c       388       513    621.89    114.49      5.43   1000000         0
384.19/384.38	c       402       526    609.93    104.50      5.84   1000000         0
385.59/385.79	c       395       659    595.15    119.19      4.99   1000000         0
387.00/387.20	c       344       702    592.29    100.42      5.90   1000000         0
388.49/388.62	c       410       625    627.77    104.60      6.00   1000000         0
389.89/390.05	c       384       555    616.73    117.45      5.25   1000000         0
391.29/391.46	c       374       549    615.89    102.27      6.02   1000000         0
392.69/392.87	c       396       407    589.93    114.73      5.14   1000000         0
394.09/394.29	c       381       595    596.06     92.37      6.45   1000000         0
395.59/395.71	c       388       524    608.80    117.82      5.17   1000000         0
397.00/397.12	c       374       534    608.44    105.29      5.78   1000000         0
398.39/398.54	c       396       533    616.70    110.62      5.57   1000000         0
399.79/399.95	c       394       741    595.66    130.88      4.55   1000000         0
401.19/401.37	c       369       623    614.01    133.91      4.59   1000000         0
402.59/402.78	c       423       590    610.92    123.99      4.93   1000000         0
404.09/404.20	c       369       508    609.65    132.19      4.61   1000000         0
405.49/405.62	c       372       634    605.69    103.66      5.84   1000000         0
406.89/407.04	c       400       500    601.68    117.64      5.11   1000000         0
408.29/408.45	c       398       440    602.22     95.55      6.30   1000000         0
409.69/409.87	c       394       670    623.42    135.55      4.60   1000000         0
411.09/411.29	c       363       601    618.83     95.13      6.51   1000000         0
412.59/412.71	c       404       551    607.45    117.11      5.19   1000000         0
413.99/414.12	c       383       661    611.26    112.63      5.43   1000000         0
415.38/415.55	c       418       675    624.37    127.69      4.89   1000000         0
416.79/416.97	c       434       542    618.01     96.80      6.38   1000000         0
418.18/418.38	c       374       564    608.70    120.10      5.07   1000000         0
419.68/419.80	c       343       678    612.54    127.25      4.81   1000000         0
421.09/421.21	c       362       611    604.88    107.47      5.63   1000000         0
422.48/422.63	c       390       603    607.20    108.77      5.58   1000000         0
423.88/424.04	c       331       488    601.86    116.09      5.18   1000000         0
425.28/425.45	c       376       675    594.90    105.51      5.64   1000000         0
426.69/426.87	c       376       467    593.70    110.81      5.36   1000000         0
428.08/428.28	c       395       469    605.88    107.89      5.62   1000000         0
429.48/429.69	c       356       606    604.03    112.68      5.36   1000000         0
430.99/431.11	c       415       538    604.77     94.04      6.43   1000000         0
432.38/432.52	c       404       660    608.19    122.02      4.98   1000000         0
433.78/433.94	c       364       666    607.96    122.05      4.98   1000000         0
435.18/435.36	c       352       484    607.54    113.72      5.34   1000000         0
436.59/436.77	c       401       519    613.57    122.52      5.01   1000000         0
438.08/438.20	c       361       601    610.90    119.81      5.10   1000000         0
439.48/439.62	c       391       554    614.96    126.80      4.85   1000000         0
440.88/441.04	c       393       561    617.58    134.24      4.60   1000000         0
442.28/442.46	c       402       515    622.69    122.80      5.07   1000000         0
443.68/443.87	c       374       594    609.02    106.85      5.70   1000000         0
445.08/445.28	c       383       606    595.95    114.02      5.23   1000000         0
446.49/446.69	c       354       501    583.95    129.97      4.49   1000000         0
447.98/448.11	c       383       530    606.83    107.22      5.66   1000000         0
449.38/449.53	c       379       626    599.61    118.69      5.05   1000000         0
450.78/450.95	c       372       603    613.87    114.89      5.34   1000000         0
452.18/452.37	c       390       468    600.07    120.43      4.98   1000000         0
453.58/453.78	c       425       620    614.35     99.26      6.19   1000000         0
455.08/455.20	c       414       565    611.25    102.23      5.98   1000000         0
456.47/456.61	c       343       575    601.56    119.69      5.03   1000000         0
457.87/458.03	c       415       639    607.01     97.73      6.21   1000000         0
459.27/459.44	c       388       613    603.06    121.85      4.95   1000000         0
460.68/460.87	c       438       595    643.17    105.30      6.11   1000000         0
462.07/462.29	c       406       634    607.29    116.59      5.21   1000000         0
463.57/463.70	c       364       630    592.68    106.22      5.58   1000000         0
464.97/465.12	c       383       567    603.20    118.82      5.08   1000000         0
466.37/466.53	c       356       636    612.83    123.87      4.95   1000000         0
467.77/467.95	c       408       655    618.14    109.12      5.66   1000000         0
469.17/469.37	c       381       527    615.19    116.68      5.27   1000000         0
470.58/470.79	c       401       574    599.85    105.86      5.67   1000000         0
472.07/472.20	c       348       586    598.19    131.16      4.56   1000000         0
473.47/473.61	c       399       606    603.44    128.12      4.71   1000000         0
474.87/475.03	c       374       524    600.85     93.48      6.43   1000000         0
476.27/476.44	c       361       590    617.85    120.72      5.12   1000000         0
477.67/477.85	c       373       611    594.98    112.36      5.30   1000000         0
479.07/479.27	c       365       458    623.98    126.73      4.92   1000000         0
480.48/480.70	c       407       468    616.03    113.45      5.43   1000000         0
481.97/482.11	c       417       610    598.88     95.13      6.30   1000000         0
483.37/483.54	c       399       620    627.76     92.50      6.79   1000000         0
484.77/484.96	c       415       537    637.23    139.54      4.57   1000000         0
486.17/486.37	c       394       511    612.93     98.78      6.21   1000000         0
487.57/487.79	c       359       675    615.56    106.92      5.76   1000000         0
489.07/489.21	c       397       551    608.38    102.89      5.91   1000000         0
490.47/490.62	c       393       709    594.71    114.64      5.19   1000000         0
491.87/492.04	c       365       580    602.28    131.11      4.59   1000000         0
493.27/493.45	c       392       606    616.12    111.62      5.52   1000000         0
494.66/494.87	c       393       531    610.89    143.94      4.24   1000000         0
496.06/496.28	c       369       543    587.68     92.99      6.32   1000000         0
497.46/497.69	c       350       633    586.66    104.05      5.64   1000000         0
498.96/499.11	c       394       615    607.36    120.57      5.04   1000000         0
500.37/500.53	c       367       515    602.88    116.77      5.16   1000000         0
501.76/501.94	c       390       540    600.27    114.04      5.26   1000000         0
503.16/503.36	c       375       449    614.21    146.29      4.20   1000000         0
504.56/504.78	c       409       604    623.83    137.41      4.54   1000000         0
505.96/506.19	c       389       515    592.41    113.11      5.24   1000000         0
507.46/507.61	c       377       615    600.31    105.35      5.70   1000000         0
508.86/509.02	c       348       638    603.32    134.40      4.49   1000000         0
510.27/510.44	c       379       553    597.20    112.31      5.32   1000000         0
511.66/511.85	c       362       662    602.35    134.19      4.49   1000000         0
513.06/513.27	c       370       457    598.44    125.04      4.79   1000000         0
514.57/514.70	c       405       595    623.10    139.45      4.47   1000000         0
515.96/516.12	c       332       435    609.32    131.80      4.62   1000000         0
517.36/517.54	c       348       406    603.38    122.74      4.92   1000000         0
518.76/518.95	c       385       558    600.42    110.46      5.44   1000000         0
520.17/520.37	c       390       565    620.15     99.39      6.24   1000000         0
521.56/521.78	c       370       625    603.17    134.22      4.49   1000000         0
523.06/523.20	c       355       601    601.28    116.46      5.16   1000000         0
524.46/524.62	c       419       504    631.32    122.37      5.16   1000000         0
525.86/526.04	c       380       563    626.17    120.13      5.21   1000000         0
527.26/527.46	c       421       561    628.15    115.18      5.45   1000000         0
528.66/528.88	c       393       517    603.39    123.56      4.88   1000000         0
530.06/530.29	c       372       667    602.55    114.24      5.27   1000000         0
531.56/531.71	c       397       505    613.96    111.29      5.52   1000000         0
532.95/533.13	c       369       622    610.03    129.94      4.69   1000000         0
534.36/534.56	c       407       716    625.38    112.89      5.54   1000000         0
535.75/535.97	c       353       665    606.71    120.58      5.03   1000000         0
537.15/537.39	c       386       548    600.58    113.77      5.28   1000000         0
538.65/538.80	c       355       663    602.51    142.27      4.24   1000000         0
540.05/540.21	c       395       474    612.61     82.22      7.45   1000000         0
541.45/541.63	c       388       610    614.82    122.08      5.04   1000000         0
542.85/543.05	c       427       630    601.54    102.53      5.87   1000000         0
544.26/544.46	c       397       571    602.92    117.53      5.13   1000000         0
545.65/545.88	c       387       564    612.73    116.12      5.28   1000000         0
547.05/547.30	c       388       643    600.68    104.45      5.75   1000000         0
548.55/548.71	c       387       669    608.91    113.91      5.35   1000000         0
549.95/550.13	c       408       604    618.41    113.91      5.43   1000000         0
551.35/551.55	c       396       625    602.84     88.48      6.81   1000000         0
552.75/552.96	c       359       561    602.50    111.60      5.40   1000000         0
554.16/554.38	c       395       637    609.11    131.75      4.62   1000000         0
555.65/555.80	c       437       641    628.25    131.05      4.79   1000000         0
557.05/557.22	c       414       626    603.68    114.24      5.28   1000000         0
558.45/558.63	c       346       707    593.97    104.67      5.67   1000000         0
559.85/560.05	c       374       602    600.17    102.54      5.85   1000000         0
561.25/561.46	c       393       679    597.44    103.37      5.78   1000000         0
562.65/562.88	c       420       633    618.28    111.31      5.55   1000000         0
564.06/564.30	c       408       644    625.24    118.29      5.29   1000000         0
565.55/565.72	c       410       624    608.92    114.33      5.33   1000000         0
566.95/567.13	c       403       616    611.90    105.26      5.81   1000000         0
568.35/568.54	c       402       689    594.39    111.72      5.32   1000000         0
569.75/569.96	c       415       555    614.31    111.36      5.52   1000000         0
571.15/571.39	c       394       638    627.39    131.67      4.76   1000000         0
572.65/572.80	c       367       527    595.92    109.81      5.43   1000000         0
574.05/574.22	c       371       534    625.54    119.10      5.25   1000000         0
575.44/575.64	c       393       549    608.10    111.30      5.46   1000000         0
576.84/577.05	c       394       560    597.12     90.83      6.57   1000000         0
578.24/578.47	c       381       635    597.79    120.45      4.96   1000000         0
579.64/579.88	c       400       485    601.33    115.97      5.19   1000000         0
581.04/581.30	c       392       582    601.83    119.38      5.04   1000000         0
582.54/582.71	c       363       586    603.32    108.08      5.58   1000000         0
583.95/584.12	c       403       529    618.27    127.35      4.86   1000000         0
585.34/585.54	c       399       659    613.18    119.95      5.11   1000000         0
586.74/586.96	c       391       570    620.71    122.47      5.07   1000000         0
588.14/588.39	c       400       693    626.58    136.64      4.59   1000000         0
589.64/589.81	c       429       593    627.50    133.02      4.72   1000000         0
591.04/591.23	c       441       584    620.10    118.41      5.24   1000000         0
592.44/592.66	c       419       707    632.03    131.16      4.82   1000000         0
593.85/594.07	c       369       568    599.04    116.14      5.16   1000000         0
595.24/595.48	c       378       578    600.17     93.91      6.39   1000000         0
596.74/596.90	c       399       684    626.17    146.28      4.28   1000000         0
598.15/598.32	c       389       501    602.68    112.33      5.37   1000000         0
599.54/599.74	c       398       610    634.37    125.22      5.07   1000000         0
600.94/601.17	c       412       666    638.53    128.75      4.96   1000000         0
602.34/602.58	c       396       572    608.57    125.97      4.83   1000000         0
603.75/604.00	c       379       644    582.94    108.30      5.38   1000000         0
605.24/605.41	c       390       638    604.92    112.58      5.37   1000000         0
606.64/606.82	c       384       583    604.46    106.93      5.65   1000000         0
608.04/608.23	c       342       583    583.56    109.26      5.34   1000000         0
609.44/609.64	c       390       569    596.05    105.65      5.64   1000000         0
610.84/611.06	c       410       643    616.90    123.94      4.98   1000000         0
612.24/612.48	c       423       598    620.52    104.97      5.91   1000000         0
613.74/613.91	c       435       533    624.32    114.10      5.47   1000000         0
615.14/615.32	c       358       573    601.50    112.16      5.36   1000000         0
616.54/616.73	c       384       597    585.80    117.54      4.98   1000000         0
617.94/618.15	c       347       488    609.18    150.36      4.05   1000000         0
619.33/619.57	c       410       496    606.03    104.92      5.78   1000000         0
620.73/620.99	c       341       674    619.34    109.18      5.67   1000000         0
622.23/622.41	c       379       548    606.50    123.27      4.92   1000000         0
623.63/623.83	c       398       577    635.68    112.93      5.63   1000000         0
625.03/625.25	c       414       538    628.07    126.54      4.96   1000000         0
626.43/626.68	c       403       596    625.93    106.05      5.90   1000000         0
627.84/628.10	c       394       597    605.84    116.67      5.19   1000000         0
629.33/629.52	c       370       525    627.18    123.11      5.09   1000000         0
630.73/630.95	c       414       691    625.48    125.64      4.98   1000000         0
632.13/632.37	c       402       665    601.13     93.43      6.43   1000000         0
633.53/633.78	c       375       490    594.74    131.52      4.52   1000000         0
634.93/635.20	c       403       513    607.03    107.00      5.67   1000000         0
636.43/636.61	c       393       636    600.04     88.14      6.81   1000000         0
637.84/638.03	c       405       600    607.90    117.69      5.17   1000000         0
639.23/639.44	c       415       633    599.12    100.09      5.99   1000000         0
640.63/640.85	c       399       456    603.02    103.83      5.81   1000000         0
642.03/642.27	c       375       600    622.52    117.45      5.30   1000000         0
643.43/643.70	c       361       575    610.08    128.57      4.75   1000000         0
644.93/645.11	c       358       572    616.57    132.00      4.67   1000000         0
646.33/646.53	c       380       537    612.84    110.51      5.55   1000000         0
647.73/647.95	c       371       629    606.88    122.59      4.95   1000000         0
649.13/649.37	c       397       563    612.32     95.99      6.38   1000000         0
650.53/650.78	c       372       598    617.28    109.22      5.65   1000000         0
652.03/652.20	c       433       568    622.35     99.68      6.24   1000000         0
653.43/653.63	c       408       707    618.78    115.28      5.37   1000000         0
654.83/655.04	c       425       578    618.38    128.05      4.83   1000000         0
656.23/656.46	c       388       530    619.08    147.10      4.21   1000000         0
657.63/657.87	c       378       545    603.29    115.58      5.22   1000000         0
659.12/659.30	c       368       607    628.73    128.51      4.89   1000000         0
660.52/660.72	c       414       629    618.68    111.96      5.53   1000000         0
661.93/662.13	c       412       565    608.60    124.75      4.88   1000000         0
663.32/663.55	c       402       633    616.23    113.80      5.41   1000000         0
664.72/664.97	c       406       565    609.05    128.65      4.73   1000000         0
666.12/666.39	c       412       486    610.33    114.04      5.35   1000000         0
667.62/667.81	c       404       583    606.65    102.26      5.93   1000000         0
669.02/669.22	c       411       608    601.09    111.30      5.40   1000000         0
670.42/670.65	c       406       615    623.05    138.61      4.49   1000000         0
671.83/672.07	c       382       533    619.98    126.87      4.89   1000000         0
673.22/673.49	c       386       579    594.55    115.44      5.15   1000000         0
674.72/674.90	c       352       483    604.15    127.25      4.75   1000000         0
676.12/676.33	c       419       579    639.23    130.05      4.92   1000000         0
677.52/677.74	c       376       612    590.71    100.57      5.87   1000000         0
678.92/679.15	c       361       596    600.38    121.00      4.96   1000000         0
680.32/680.57	c       406       516    612.05     95.00      6.44   1000000         0
681.73/681.99	c       414       560    608.69    114.17      5.33   1000000         0
683.22/683.40	c       365       569    621.16    118.35      5.25   1000000         0
684.62/684.82	c       397       545    617.63    130.68      4.73   1000000         0
686.02/686.24	c       383       700    621.22    130.01      4.78   1000000         0
687.42/687.65	c       383       594    601.82    118.66      5.07   1000000         0
688.82/689.07	c       378       544    608.34    107.59      5.65   1000000         0
690.22/690.48	c       376       611    604.11    118.14      5.11   1000000         0
691.72/691.91	c       410       599    620.31    113.54      5.46   1000000         0
693.12/693.32	c       372       612    603.02     99.68      6.05   1000000         0
694.52/694.73	c       353       570    591.34     86.94      6.80   1000000         0
695.92/696.15	c       375       598    599.71    124.97      4.80   1000000         0
697.31/697.56	c       344       545    614.72    119.96      5.12   1000000         0
698.71/698.99	c       392       556    627.39    134.10      4.68   1000000         0
700.21/700.41	c       376       463    625.89    129.09      4.85   1000000         0
701.62/701.83	c       433       595    628.08     88.03      7.14   1000000         0
703.01/703.25	c       385       620    600.50    111.52      5.38   1000000         0
704.41/704.66	c       402       617    596.84    106.96      5.58   1000000         0
705.81/706.07	c       341       560    597.87     99.17      6.03   1000000         0
707.21/707.49	c       408       439    616.19    117.14      5.26   1000000         0
708.71/708.91	c       412       622    617.94    138.14      4.47   1000000         0
710.11/710.34	c       414       610    619.73    123.72      5.01   1000000         0
711.52/711.76	c       393       558    621.58    133.58      4.65   1000000         0
712.91/713.17	c       441       476    605.30    114.92      5.27   1000000         0
714.31/714.59	c       404       524    604.95     93.73      6.45   1000000         0
715.82/716.01	c       384       429    614.45    116.81      5.26   1000000         0
717.21/717.44	c       429       671    629.86    112.74      5.59   1000000         0
718.61/718.85	c       408       600    616.83    106.21      5.81   1000000         0
720.01/720.27	c       351       639    604.16    131.43      4.60   1000000         0
721.42/721.69	c       404       634    625.87    118.55      5.28   1000000         0
722.91/723.10	c       399       470    602.46    119.25      5.05   1000000         0
724.31/724.53	c       406       473    614.51    116.23      5.29   1000000         0
725.71/725.95	c       398       534    608.55    120.05      5.07   1000000         0
727.11/727.36	c       393       559    606.69    117.17      5.18   1000000         0
728.51/728.77	c       361       522    590.15    132.09      4.47   1000000         0
729.91/730.19	c       344       583    615.98    127.71      4.82   1000000         0
731.41/731.60	c       419       619    605.12    105.98      5.71   1000000         0
732.81/733.02	c       394       514    607.09    108.06      5.62   1000000         0
734.21/734.44	c       419       563    606.00    111.65      5.43   1000000         0
735.61/735.86	c       379       554    597.69    107.82      5.54   1000000         0
737.01/737.27	c       402       571    617.28    116.84      5.28   1000000         0
738.40/738.69	c       369       521    612.76    116.60      5.26   1000000         0
739.90/740.11	c       364       554    616.27    129.20      4.77   1000000         0
741.30/741.53	c       413       616    614.99    102.67      5.99   1000000         0
742.70/742.95	c       354       660    608.51    115.13      5.29   1000000         0
744.10/744.37	c       379       535    609.32    122.15      4.99   1000000         0
745.51/745.78	c       359       553    608.16     97.26      6.25   1000000         0
746.90/747.19	c       362       604    594.45    117.45      5.06   1000000         0
748.40/748.61	c       414       573    610.28    118.77      5.14   1000000         0
749.80/750.02	c       376       488    602.62    129.33      4.66   1000000         0
751.20/751.44	c       391       613    611.62    119.94      5.10   1000000         0
752.60/752.85	c       357       605    600.46    101.79      5.90   1000000         0
754.00/754.28	c       405       691    639.24    122.76      5.21   1000000         0
755.41/755.70	c       384       579    612.48    125.58      4.88   1000000         0
756.90/757.11	c       408       544    614.25    123.96      4.96   1000000         0
758.30/758.53	c       379       586    599.57    127.33      4.71   1000000         0
759.70/759.94	c       388       525    614.77    115.43      5.33   1000000         0
761.10/761.36	c       377       495    612.97    107.60      5.70   1000000         0
762.50/762.78	c       390       725    622.28    131.49      4.73   1000000         0
763.90/764.19	c       381       506    605.00    122.47      4.94   1000000         0
765.41/765.61	c       433       633    624.61    111.82      5.59   1000000         0
766.80/767.03	c       396       536    619.45    131.85      4.70   1000000         0
768.20/768.45	c       346       623    613.72    120.76      5.08   1000000         0
769.60/769.87	c       389       583    599.97    125.16      4.79   1000000         0
771.00/771.29	c       411       516    631.87    135.84      4.65   1000000         0
772.50/772.71	c       370       634    599.55    104.98      5.71   1000000         0
773.90/774.13	c       401       634    637.05    109.94      5.79   1000000         0
775.30/775.55	c       407       581    614.77    121.43      5.06   1000000         0
776.70/776.97	c       400       511    611.60    104.04      5.88   1000000         0
778.10/778.39	c       374       392    607.11    102.88      5.90   1000000         0
779.60/779.80	c       388       500    593.69    118.99      4.99   1000000         0
780.99/781.22	c       425       573    624.11    129.31      4.83   1000000         0
782.39/782.63	c       395       506    605.80    132.00      4.59   1000000         0
783.79/784.05	c       357       535    614.19    130.92      4.69   1000000         0
785.20/785.48	c       431       709    642.61    110.54      5.81   1000000         0
786.59/786.89	c       352       556    582.91    101.47      5.74   1000000         0
788.09/788.30	c       366       526    603.06    120.17      5.02   1000000         0
789.50/789.73	c       399       620    634.50    113.45      5.59   1000000         0
790.89/791.14	c       363       599    604.98    120.13      5.04   1000000         0
792.29/792.56	c       388       612    608.03    109.78      5.54   1000000         0
793.69/793.98	c       314       579    606.88    123.33      4.92   1000000         0
795.10/795.39	c       363       528    595.49    120.78      4.93   1000000         0
796.59/796.81	c       416       689    605.80    126.32      4.80   1000000         0
797.99/798.23	c       382       518    612.19    128.85      4.75   1000000         0
799.40/799.65	c       422       566    625.01    108.45      5.76   1000000         0
800.79/801.07	c       376       555    612.63    125.17      4.89   1000000         0
802.19/802.48	c       358       532    604.89    103.27      5.86   1000000         0
803.69/803.90	c       323       504    605.00    100.89      6.00   1000000         0
805.09/805.32	c       389       638    617.86    107.34      5.76   1000000         0
806.49/806.74	c       380       750    621.94    124.24      5.01   1000000         0
807.89/808.15	c       398       562    613.03    115.37      5.31   1000000         0
809.29/809.58	c       394       522    630.49    120.10      5.25   1000000         0
810.69/810.99	c       381       552    604.51    136.13      4.44   1000000         0
812.19/812.41	c       358       397    596.69    109.90      5.43   1000000         0
813.59/813.83	c       416       524    615.04    120.78      5.09   1000000         0
814.99/815.25	c       380       552    622.79    107.80      5.78   1000000         0
816.38/816.67	c       416       593    616.38    122.77      5.02   1000000         0
817.78/818.09	c       390       477    613.92    119.49      5.14   1000000         0
819.29/819.51	c       360       510    602.87    110.02      5.48   1000000         0
820.69/820.92	c       392       525    617.92    134.64      4.59   1000000         0
822.09/822.34	c       341       654    602.27    117.94      5.11   1000000         0
823.48/823.76	c       381       548    618.69    114.84      5.39   1000000         0
824.88/825.18	c       401       625    613.67    109.44      5.61   1000000         0
826.28/826.59	c       393       461    599.07    116.17      5.16   1000000         0
827.78/828.00	c       384       601    607.06    114.67      5.29   1000000         0
829.19/829.41	c       340       496    586.48     93.84      6.25   1000000         0
830.58/830.83	c       360       618    608.03    121.78      4.99   1000000         0
831.98/832.24	c       384       550    606.46    116.54      5.20   1000000         0
833.38/833.66	c       398       615    608.51     95.78      6.35   1000000         0
834.78/835.07	c       411       638    610.81    116.11      5.26   1000000         0
836.28/836.50	c       420       484    635.47    122.21      5.20   1000000         0
837.68/837.92	c       407       613    614.24    123.60      4.97   1000000         0
839.09/839.34	c       295       542    618.85    101.54      6.09   1000000         0
840.48/840.76	c       360       578    608.54    106.22      5.73   1000000         0
841.88/842.18	c       437       637    616.01    100.43      6.13   1000000         0
843.38/843.60	c       419       696    619.58    130.59      4.74   1000000         0
844.78/845.02	c       410       567    626.43    134.50      4.66   1000000         0
846.18/846.44	c       358       627    615.01    124.26      4.95   1000000         0
847.58/847.86	c       372       579    613.09    117.82      5.20   1000000         0
848.98/849.28	c       420       532    635.30    121.30      5.24   1000000         0
850.48/850.70	c       408       688    619.28    121.89      5.08   1000000         0
851.88/852.11	c       350       558    601.68    120.15      5.01   1000000         0
853.28/853.53	c       383       548    617.05    130.84      4.72   1000000         0
854.68/854.95	c       415       568    640.29    115.28      5.55   1000000         0
856.07/856.37	c       409       614    614.83     98.51      6.24   1000000         0
857.47/857.78	c       353       632    589.27    111.24      5.30   1000000         0
858.97/859.20	c       356       605    619.14    138.50      4.47   1000000         0
860.37/860.62	c       394       467    625.09    104.95      5.96   1000000         0
861.77/862.04	c       298       613    600.63    117.17      5.13   1000000         0
863.18/863.45	c       330       582    590.02    110.12      5.36   1000000         0
864.57/864.86	c       399       462    600.95    101.86      5.90   1000000         0
865.97/866.27	c       327       458    600.57    112.12      5.36   1000000         0
867.37/867.69	c       388       596    596.71    112.86      5.29   1000000         0
868.87/869.11	c       390       602    614.81    120.68      5.09   1000000         0
870.27/870.53	c       385       663    624.73    129.54      4.82   1000000         0
871.67/871.96	c       363       706    635.30    127.60      4.98   1000000         0
873.08/873.38	c       402       646    611.77    130.13      4.70   1000000         0
874.47/874.80	c       412       703    618.29    125.15      4.94   1000000         0
875.97/876.21	c       350       595    611.47    117.06      5.22   1000000         0
877.37/877.64	c       388       517    639.59    132.12      4.84   1000000         0
878.77/879.05	c       276       650    592.08    136.37      4.34   1000000         0
880.17/880.47	c       419       612    620.61    111.63      5.56   1000000         0
881.57/881.89	c       344       468    601.22    138.12      4.35   1000000         0
883.07/883.30	c       385       611    606.71    116.12      5.22   1000000         0
884.47/884.72	c       386       614    604.42    109.87      5.50   1000000         0
885.87/886.13	c       377       526    608.30    114.64      5.31   1000000         0
887.27/887.55	c       390       642    606.41    134.04      4.52   1000000         0
888.67/888.96	c       383       501    593.83     90.56      6.56   1000000         0
890.07/890.39	c       359       531    618.72    108.77      5.69   1000000         0
891.56/891.81	c       357       691    614.81    113.00      5.44   1000000         0
892.97/893.23	c       399       508    614.16    111.56      5.50   1000000         0
894.36/894.65	c       410       572    627.55    111.96      5.61   1000000         0
895.76/896.07	c       382       573    631.34    132.79      4.75   1000000         0
897.16/897.49	c       388       625    602.71    110.76      5.44   1000000         0
898.66/898.91	c       385       609    621.63    115.82      5.37   1000000         0
900.06/900.34	c       441       546    635.36    133.21      4.77   1000000         0
901.46/901.75	c       370       568    609.46    111.70      5.46   1000000         0
902.87/903.17	c       384       526    615.68    125.57      4.90   1000000         0
904.26/904.58	c       338       422    602.39    117.04      5.15   1000000         0
905.76/906.00	c       346       559    600.73    104.91      5.73   1000000         0
907.17/907.42	c       381       536    602.37    127.18      4.74   1000000         0
908.56/908.83	c       346       650    613.07    129.63      4.73   1000000         0
909.96/910.25	c       399       597    609.36    110.24      5.53   1000000         0
911.36/911.67	c       359       536    599.51    129.41      4.63   1000000         0
912.77/913.09	c       380       556    622.24    119.29      5.22   1000000         0
914.26/914.50	c       360       591    602.82    118.42      5.09   1000000         0
915.66/915.92	c       372       608    620.20    103.31      6.00   1000000         0
917.07/917.34	c       383       706    607.36    109.64      5.54   1000000         0
918.46/918.76	c       395       535    615.94    101.50      6.07   1000000         0
919.86/920.18	c       404       579    616.86    104.22      5.92   1000000         0
921.26/921.59	c       385       618    604.80    109.75      5.51   1000000         0
922.76/923.01	c       401       521    612.20    132.81      4.61   1000000         0
924.16/924.43	c       401       572    613.52    119.83      5.12   1000000         0
925.56/925.84	c       355       613    587.64    117.43      5.00   1000000         0
926.96/927.26	c       383       561    608.97    111.97      5.44   1000000         0
928.36/928.68	c       390       688    619.76    114.58      5.41   1000000         0
929.86/930.10	c       394       633    617.78    115.74      5.34   1000000         0
931.26/931.53	c       382       585    616.76    120.26      5.13   1000000         0
932.66/932.95	c       408       599    598.60    117.29      5.10   1000000         0
934.06/934.37	c       395       623    621.56    118.59      5.24   1000000         0
935.45/935.78	c       344       637    594.27    146.37      4.06   1000000         0
936.86/937.19	c       389       567    608.17    101.03      6.02   1000000         0
938.35/938.61	c       424       490    621.94    123.23      5.05   1000000         0
939.75/940.03	c       395       603    598.23    109.62      5.46   1000000         0
941.15/941.44	c       390       577    604.22    130.28      4.64   1000000         0
942.55/942.86	c       379       605    614.35    120.50      5.10   1000000         0
943.95/944.28	c       415       582    611.86    109.29      5.60   1000000         0
945.35/945.69	c       339       623    607.46    111.04      5.47   1000000         0
946.86/947.11	c       408       643    611.71    115.14      5.31   1000000         0
948.25/948.52	c       397       497    596.62     98.17      6.08   1000000         0
949.65/949.94	c       377       651    602.19    132.14      4.56   1000000         0
951.05/951.36	c       375       562    601.10    126.72      4.74   1000000         0
952.45/952.77	c       400       618    628.44    128.22      4.90   1000000         0
953.85/954.19	c       385       660    598.96    139.41      4.30   1000000         0
955.35/955.61	c       391       834    618.99    122.81      5.04   1000000         0
956.76/957.03	c       393       696    618.14    104.12      5.94   1000000         0
958.15/958.46	c       372       635    623.35    131.99      4.72   1000000         0
959.55/959.88	c       372       575    603.89    115.11      5.25   1000000         0
960.95/961.29	c       409       546    607.22    106.40      5.71   1000000         0
962.45/962.71	c       421       669    622.73    111.57      5.58   1000000         0
963.85/964.13	c       384       533    619.22    112.88      5.49   1000000         0
965.25/965.55	c       405       572    612.20    124.56      4.91   1000000         0
966.65/966.97	c       368       651    623.28    108.10      5.77   1000000         0
968.05/968.39	c       381       601    598.15    118.44      5.05   1000000         0
969.54/969.80	c       331       440    609.57    119.59      5.10   1000000         0
970.95/971.22	c       394       587    596.94    115.26      5.18   1000000         0
972.34/972.63	c       400       651    597.88     97.53      6.13   1000000         0
973.74/974.05	c       366       690    622.06    102.76      6.05   1000000         0
975.14/975.46	c       394       618    615.25    110.80      5.55   1000000         0
976.56/976.88	c       394       648    596.28     99.87      5.97   1000000         0
977.95/978.29	c       385       505    599.65    117.95      5.08   1000000         0
979.45/979.71	c       449       707    623.16    101.40      6.15   1000000         0
980.86/981.13	c       407       705    616.47    122.67      5.03   1000000         0
982.25/982.54	c       346       609    600.11    109.79      5.47   1000000         0
983.65/983.96	c       383       521    611.85    108.32      5.65   1000000         0
985.05/985.37	c       364       578    590.49    110.79      5.33   1000000         0
986.46/986.79	c       365       627    619.27    127.33      4.86   1000000         0
987.95/988.20	c       376       509    601.47    108.39      5.55   1000000         0
989.35/989.63	c       396       524    625.10    121.68      5.14   1000000         0
990.75/991.04	c       412       522    610.36     99.60      6.13   1000000         0
992.15/992.46	c       401       571    608.22    117.68      5.17   1000000         0
993.55/993.87	c       403       603    605.81    101.69      5.96   1000000         0
994.95/995.29	c       344       588    621.60    133.61      4.65   1000000         0
996.45/996.71	c       396       648    604.79    106.46      5.68   1000000         0
997.85/998.12	c       366       570    596.68    114.25      5.22   1000000         0
999.25/999.54	c       430       567    618.62    101.48      6.10   1000000         0
1000.65/1000.95	c       368       567    593.20    107.07      5.54   1000000         0
1002.04/1002.37	c       412       578    612.53    115.21      5.32   1000000         0
1003.44/1003.79	c       347       677    627.82    131.97      4.76   1000000         0
1004.94/1005.21	c       382       717    607.42    123.78      4.91   1000000         0
1006.34/1006.63	c       411       559    613.81    114.21      5.37   1000000         0
1007.74/1008.05	c       424       539    625.24    110.18      5.67   1000000         0
1009.14/1009.46	c       380       578    604.90    100.63      6.01   1000000         0
1010.55/1010.88	c       411       567    599.00    107.17      5.59   1000000         0
1011.94/1012.29	c       382       446    600.48    117.03      5.13   1000000         0
1013.44/1013.71	c       387       499    617.75    117.01      5.28   1000000         0
1014.84/1015.13	c       424       652    612.03    110.12      5.56   1000000         0
1016.24/1016.55	c       387       537    600.31     99.71      6.02   1000000         0
1017.64/1017.97	c       355       563    612.44    120.98      5.06   1000000         0
1019.04/1019.39	c       432       549    622.33    124.15      5.01   1000000         0
1020.55/1020.81	c       393       619    620.61    133.26      4.66   1000000         0
1021.94/1022.22	c       408       536    604.13    113.80      5.31   1000000         0
1023.34/1023.65	c       401       549    615.17    116.48      5.28   1000000         0
1024.74/1025.06	c       364       593    598.49    129.80      4.61   1000000         0
1026.14/1026.47	c       392       582    609.36    120.49      5.06   1000000         0
1027.64/1027.90	c       389       610    622.31    139.89      4.45   1000000         0
1029.04/1029.32	c       408       524    626.14    118.55      5.28   1000000         0
1030.44/1030.74	c       398       589    623.93    118.87      5.25   1000000         0
1031.84/1032.17	c       325       548    628.77    145.60      4.32   1000000         0
1033.24/1033.59	c       435       565    614.70    103.17      5.96   1000000         0
1034.74/1035.01	c       385       603    609.57    122.97      4.96   1000000         0
1036.14/1036.43	c       372       655    630.78    134.57      4.69   1000000         0
1037.53/1037.85	c       347       515    613.90    142.50      4.31   1000000         0
1038.93/1039.27	c       377       584    590.70    140.21      4.21   1000000         0
1040.34/1040.68	c       396       453    594.49    120.74      4.92   1000000         0
1041.73/1042.10	c       406       602    601.46    100.39      5.99   1000000         0
1043.23/1043.51	c       382       612    619.30    115.97      5.34   1000000         0
1044.64/1044.93	c       415       616    611.66    121.91      5.02   1000000         0
1046.03/1046.35	c       394       597    607.42     93.14      6.52   1000000         0
1047.43/1047.77	c       390       518    608.11    128.78      4.72   1000000         0
1048.83/1049.19	c       386       584    595.01    103.39      5.76   1000000         0
1050.33/1050.61	c       363       490    602.24    120.22      5.01   1000000         0
1051.73/1052.02	c       378       484    590.89     99.23      5.95   1000000         0
1053.13/1053.44	c       372       568    634.51    121.57      5.22   1000000         0
1054.54/1054.87	c       439       678    638.05    101.18      6.31   1000000         0
1055.93/1056.29	c       434       608    612.19    118.82      5.15   1000000         0
1057.43/1057.71	c       376       541    618.11    126.20      4.90   1000000         0
1058.83/1059.13	c       400       545    621.97    134.39      4.63   1000000         0
1060.23/1060.55	c       340       688    619.42    130.35      4.75   1000000         0
1061.63/1061.97	c       388       629    626.94    119.02      5.27   1000000         0
1063.03/1063.39	c       404       564    614.20    108.81      5.64   1000000         0
1064.54/1064.81	c       398       522    608.31    112.70      5.40   1000000         0
1065.93/1066.22	c       406       536    592.33    105.30      5.63   1000000         0
1067.33/1067.64	c       403       586    614.18    130.12      4.72   1000000         0
1068.73/1069.07	c       409       680    638.18    136.78      4.67   1000000         0
1070.13/1070.49	c       394       630    623.51    111.10      5.61   1000000         0
1071.63/1071.91	c       385       735    603.23    111.57      5.41   1000000         0
1073.03/1073.33	c       406       699    620.98     97.23      6.39   1000000         0
1074.43/1074.74	c       342       615    596.97    113.48      5.26   1000000         0
1075.83/1076.16	c       381       630    612.72    118.62      5.17   1000000         0
1077.23/1077.58	c       396       581    608.22    108.13      5.62   1000000         0
1078.63/1078.99	c       411       649    613.92    122.88      5.00   1000000         0
1080.12/1080.41	c       393       525    609.13    117.87      5.17   1000000         0
1081.52/1081.82	c       385       490    612.61     95.98      6.38   1000000         0
1082.92/1083.24	c       395       529    609.36    105.41      5.78   1000000         0
1084.33/1084.65	c       390       597    614.07    116.95      5.25   1000000         0
1085.72/1086.07	c       401       690    624.31    119.31      5.23   1000000         0
1087.22/1087.50	c       432       573    621.98    119.40      5.21   1000000         0
1088.63/1088.92	c       408       571    614.77    104.28      5.90   1000000         0
1090.02/1090.33	c       366       591    611.42    112.67      5.43   1000000         0
1091.42/1091.74	c       398       521    595.51    109.97      5.42   1000000         0
1092.82/1093.16	c       410       541    611.88    122.42      5.00   1000000         0
1094.23/1094.57	c       415       536    613.63    111.68      5.49   1000000         0
1095.62/1095.99	c       363       743    594.85    112.47      5.29   1000000         0
1097.12/1097.40	c       390       598    606.01    115.12      5.26   1000000         0
1098.53/1098.82	c       366       595    597.53    105.93      5.64   1000000         0
1099.92/1100.23	c       411       542    592.08     96.08      6.16   1000000         0
1101.32/1101.65	c       385       629    614.56    109.71      5.60   1000000         0
1102.72/1103.06	c       421       533    592.72     82.90      7.15   1000000         0
1104.13/1104.47	c       389       616    606.65    102.78      5.90   1000000         0
1105.52/1105.89	c       421       556    608.71    123.99      4.91   1000000         0
1107.02/1107.30	c       363       655    588.29    120.49      4.88   1000000         0
1108.42/1108.72	c       393       695    617.30    119.43      5.17   1000000         0
1109.82/1110.14	c       401       572    622.76    122.57      5.08   1000000         0
1111.22/1111.56	c       385       644    617.66    115.97      5.33   1000000         0
1112.62/1112.98	c       407       651    600.60    115.37      5.21   1000000         0
1114.02/1114.39	c       408       518    602.52    110.94      5.43   1000000         0
1115.52/1115.81	c       364       526    620.98    108.67      5.71   1000000         0
1116.92/1117.23	c       383       540    594.05    117.61      5.05   1000000         0
1118.32/1118.64	c       362       604    594.96    119.35      4.99   1000000         0
1119.71/1120.06	c       375       419    605.75    101.49      5.97   1000000         0
1121.11/1121.47	c       398       604    604.95    111.88      5.41   1000000         0
1122.51/1122.89	c       395       661    596.78    122.05      4.89   1000000         0
1124.01/1124.31	c       415       633    620.69    120.04      5.17   1000000         0
1125.41/1125.72	c       380       617    605.34    112.12      5.40   1000000         0
1126.81/1127.15	c       368       700    621.56    121.54      5.11   1000000         0
1128.22/1128.56	c       408       590    608.00    113.00      5.38   1000000         0
1129.61/1129.98	c       380       530    608.45    120.21      5.06   1000000         0
1131.01/1131.39	c       377       615    595.62    119.17      5.00   1000000         0
1132.51/1132.80	c       364       605    598.89    110.61      5.41   1000000         0
1133.91/1134.22	c       351       561    601.28    123.04      4.89   1000000         0
1135.31/1135.64	c       371       550    608.06    115.50      5.26   1000000         0
1136.71/1137.06	c       417       606    624.48    113.21      5.52   1000000         0
1138.12/1138.48	c       441       665    631.49    100.66      6.27   1000000         0
1139.61/1139.90	c       379       533    609.98    118.70      5.14   1000000         0
1141.01/1141.32	c       354       552    609.12    105.53      5.77   1000000         0
1142.41/1142.74	c       380       551    603.68    111.73      5.40   1000000         0
1143.81/1144.15	c       368       759    617.47    112.79      5.47   1000000         0
1145.21/1145.56	c       383       539    590.79    119.29      4.95   1000000         0
1146.61/1146.98	c       397       622    614.52     96.77      6.35   1000000         0
1148.01/1148.40	c       382       638    610.96    122.43      4.99   1000000         0
1149.51/1149.81	c       393       538    601.17    120.13      5.00   1000000         0
1150.91/1151.23	c       369       580    605.39    117.60      5.15   1000000         0
1152.31/1152.65	c       414       626    619.92    112.75      5.50   1000000         0
1153.71/1154.06	c       354       624    598.41     97.99      6.11   1000000         0
1155.11/1155.48	c       350       548    592.66    122.88      4.82   1000000         0
1156.61/1156.90	c       394       618    635.52    109.45      5.81   1000000         0
1158.01/1158.31	c       394       557    605.60    116.38      5.20   1000000         0
1159.40/1159.73	c       388       509    623.80    125.94      4.95   1000000         0
1160.80/1161.15	c       346       597    611.42    113.29      5.40   1000000         0
1162.20/1162.56	c       367       441    606.69    140.57      4.32   1000000         0
1163.60/1163.98	c       390       582    595.11    107.93      5.51   1000000         0
1165.00/1165.39	c       378       598    598.19     93.60      6.39   1000000         0
1166.50/1166.82	c       414       635    631.53    132.06      4.78   1000000         0
1167.91/1168.23	c       387       461    601.95    104.75      5.75   1000000         0
1169.30/1169.65	c       359       630    605.15    106.41      5.69   1000000         0
1170.70/1171.07	c       395       604    612.57    122.35      5.01   1000000         0
1172.10/1172.48	c       343       614    607.91     98.54      6.17   1000000         0
1173.60/1173.91	c       382       499    619.45    131.11      4.72   1000000         0
1175.00/1175.33	c       366       654    620.29    107.84      5.75   1000000         0
1176.40/1176.74	c       374       604    602.84    108.77      5.54   1000000         0
1177.81/1178.15	c       346       561    577.00    138.12      4.18   1000000         0
1179.20/1179.56	c       373       625    594.35    129.04      4.61   1000000         0
1180.60/1180.97	c       355       655    601.86    107.78      5.58   1000000         0
1182.00/1182.38	c       387       600    595.87    106.21      5.61   1000000         0
1183.50/1183.80	c       406       641    619.19    122.16      5.07   1000000         0
1184.90/1185.22	c       385       665    606.23    108.32      5.60   1000000         0
1186.30/1186.64	c       376       604    606.64    131.65      4.61   1000000         0
1187.70/1188.05	c       407       595    593.31    108.04      5.49   1000000         0
1189.10/1189.47	c       348       551    600.55    125.11      4.80   1000000         0
1190.50/1190.88	c       388       590    606.00    123.67      4.90   1000000         0
1192.00/1192.30	c       386       610    601.30    112.99      5.32   1000000         0
1193.40/1193.72	c       391       472    609.33    143.16      4.26   1000000         0
1194.80/1195.14	c       382       575    618.91    115.36      5.37   1000000         0
1196.20/1196.55	c       380       555    582.29    110.42      5.27   1000000         0
1197.60/1197.96	c       393       542    593.46    124.04      4.78   1000000         0
1198.99/1199.38	c       402       599    614.53    104.53      5.88   1000000         0
1200.49/1200.81	c       385       596    616.97    138.39      4.46   1000000         0
1201.90/1202.22	c       394       592    614.02     99.13      6.19   1000000         0
1203.29/1203.64	c       413       604    614.23     93.50      6.57   1000000         0
1204.69/1205.06	c       364       596    625.57    131.61      4.75   1000000         0
1206.09/1206.48	c       336       509    618.30    120.79      5.12   1000000         0
1207.59/1207.90	c       370       657    614.65     99.47      6.18   1000000         0
1208.99/1209.32	c       375       511    612.38    119.06      5.14   1000000         0
1210.39/1210.73	c       369       598    609.19    101.86      5.98   1000000         0
1211.80/1212.15	c       391       502    624.36    111.66      5.59   1000000         0
1213.19/1213.56	c       386       613    596.26    102.65      5.81   1000000         0
1214.59/1214.98	c       380       466    613.52    120.89      5.08   1000000         0
1215.99/1216.40	c       341       558    597.61    142.53      4.19   1000000         0
1217.49/1217.82	c       418       551    617.77    121.60      5.08   1000000         0
1218.89/1219.24	c       407       584    622.80    112.86      5.52   1000000         0
1220.29/1220.66	c       372       628    621.43    117.19      5.30   1000000         0
1221.70/1222.07	c       379       534    596.87    113.10      5.28   1000000         0
1223.09/1223.49	c       404       578    618.67    102.93      6.01   1000000         0
1224.59/1224.91	c       381       574    603.34    121.40      4.97   1000000         0
1225.99/1226.32	c       384       615    601.36    109.25      5.50   1000000         0
1227.39/1227.74	c       384       528    616.16    116.87      5.27   1000000         0
1228.79/1229.15	c       379       624    609.95    113.54      5.37   1000000         0
1230.19/1230.57	c       387       502    625.29    112.81      5.54   1000000         0
1231.59/1231.98	c       399       533    603.76     99.37      6.08   1000000         0
1233.09/1233.41	c       383       575    601.23    124.00      4.85   1000000         0
1234.49/1234.83	c       413       610    623.26    125.51      4.97   1000000         0
1235.89/1236.25	c       425       550    627.65    106.27      5.91   1000000         0
1237.28/1237.67	c       379       669    605.95    105.08      5.77   1000000         0
1238.68/1239.09	c       420       558    612.39    111.75      5.48   1000000         0
1240.18/1240.50	c       400       635    607.89    123.72      4.91   1000000         0
1241.59/1241.92	c       397       480    612.04    112.18      5.46   1000000         0
1242.98/1243.34	c       398       588    614.70    101.87      6.03   1000000         0
1244.38/1244.75	c       398       549    597.12    121.57      4.91   1000000         0
1245.78/1246.17	c       405       646    613.05    113.95      5.38   1000000         0
1247.18/1247.58	c       360       636    602.82    124.10      4.86   1000000         0
1248.58/1248.99	c       391       628    610.78     99.42      6.14   1000000         0
1250.08/1250.41	c       376       665    600.02    118.69      5.06   1000000         0
1251.49/1251.82	c       362       629    611.22    117.59      5.20   1000000         0
1252.88/1253.24	c       377       674    616.66    113.44      5.44   1000000         0
1254.28/1254.65	c       351       511    594.17    114.28      5.20   1000000         0
1255.68/1256.07	c       401       484    612.24    121.48      5.04   1000000         0
1257.08/1257.49	c       394       608    601.77    121.07      4.97   1000000         0
1258.58/1258.91	c       363       520    611.56    130.35      4.69   1000000         0
1259.98/1260.32	c       388       716    614.16    117.35      5.23   1000000         0
1261.39/1261.74	c       411       495    604.04     96.20      6.28   1000000         0
1262.78/1263.16	c       413       607    626.66    121.81      5.14   1000000         0
1264.18/1264.57	c       374       652    597.85    108.27      5.52   1000000         0
1265.58/1265.98	c       379       663    599.52    109.13      5.49   1000000         0
1267.08/1267.40	c       405       722    615.28     98.74      6.23   1000000         0
1268.48/1268.81	c       379       540    596.17    120.46      4.95   1000000         0
1269.87/1270.23	c       362       642    608.63    115.32      5.28   1000000         0
1271.28/1271.65	c       331       610    621.48    108.37      5.73   1000000         0
1272.67/1273.07	c       421       532    617.15    112.48      5.49   1000000         0
1274.07/1274.49	c       405       460    604.55    100.54      6.01   1000000         0
1275.58/1275.90	c       359       545    604.59    108.90      5.55   1000000         0
1276.97/1277.33	c       416       657    638.33    118.06      5.41   1000000         0
1278.37/1278.74	c       404       625    609.99    122.59      4.98   1000000         0
1279.77/1280.16	c       363       464    613.94    115.53      5.31   1000000         0
1281.18/1281.58	c       349       444    614.68    124.93      4.92   1000000         0
1282.57/1282.99	c       390       575    598.13    128.40      4.66   1000000         0
1284.07/1284.41	c       443       557    625.80    110.11      5.68   1000000         0
1285.48/1285.83	c       433       696    619.79     91.86      6.75   1000000         0
1286.87/1287.25	c       411       519    610.16     98.12      6.22   1000000         0
1288.27/1288.66	c       401       570    599.73    112.11      5.35   1000000         0
1289.67/1290.08	c       366       570    617.51    104.52      5.91   1000000         0
1291.17/1291.50	c       392       588    598.84    109.53      5.47   1000000         0
1292.57/1292.91	c       367       577    608.92    125.26      4.86   1000000         0
1293.97/1294.33	c       328       431    606.46    138.79      4.37   1000000         0
1295.38/1295.75	c       379       562    605.96    116.70      5.19   1000000         0
1296.77/1297.16	c       391       511    600.75    108.73      5.53   1000000         0
1298.17/1298.58	c       388       554    606.96    106.46      5.70   1000000         0
1299.67/1300.00	c       401       613    618.81    112.09      5.52   1000000         0
1301.07/1301.42	c       356       530    616.80    115.10      5.36   1000000         0
1302.47/1302.82	c       317       530    584.71    118.09      4.95   1000000         0
1303.87/1304.24	c       376       591    603.15    103.89      5.81   1000000         0
1305.27/1305.66	c       327       380    610.16    124.91      4.88   1000000         0
1306.67/1307.08	c       392       693    602.59    124.44      4.84   1000000         0
1308.17/1308.50	c       385       646    621.00    114.46      5.43   1000000         0
1309.56/1309.92	c       388       635    599.56     99.40      6.03   1000000         0
1310.96/1311.34	c       407       518    621.02    118.68      5.23   1000000         0
1312.36/1312.75	c       403       669    620.31    119.82      5.18   1000000         0
1313.76/1314.18	c       389       513    622.47    119.59      5.21   1000000         0
1315.17/1315.60	c       351       627    604.96    128.66      4.70   1000000         0
1316.66/1317.01	c       403       586    594.32    110.29      5.39   1000000         0
1318.06/1318.43	c       382       750    616.26    106.06      5.81   1000000         0
1319.46/1319.84	c       376       585    608.39    120.38      5.05   1000000         0
1320.86/1321.26	c       403       542    619.17    143.11      4.33   1000000         0
1322.26/1322.67	c       367       524    583.72    121.30      4.81   1000000         0
1323.66/1324.09	c       395       549    609.04    101.57      6.00   1000000         0
1325.07/1325.50	c       384       557    585.43    107.04      5.47   1000000         0
1326.56/1326.92	c       349       513    608.91    111.26      5.47   1000000         0
1327.96/1328.33	c       366       545    598.64    133.08      4.50   1000000         0
1329.36/1329.75	c       341       567    605.48    139.55      4.34   1000000         0
1330.76/1331.16	c       343       510    602.52    121.50      4.96   1000000         0
1332.16/1332.57	c       377       585    596.55     92.59      6.44   1000000         0
1333.56/1333.99	c       412       557    608.18    119.64      5.08   1000000         0
1334.97/1335.40	c       385       621    605.50    112.32      5.39   1000000         0
1336.46/1336.83	c       420       500    617.81    113.36      5.45   1000000         0
1337.86/1338.24	c       382       666    595.02    112.78      5.28   1000000         0
1339.26/1339.65	c       387       564    587.88    108.18      5.43   1000000         0
1340.66/1341.07	c       390       621    604.51    135.47      4.46   1000000         0
1342.06/1342.49	c       369       668    602.06    119.96      5.02   1000000         0
1343.56/1343.91	c       421       694    633.04    121.71      5.20   1000000         0
1344.96/1345.32	c       349       574    603.53    131.78      4.58   1000000         0
1346.36/1346.74	c       420       587    617.06    104.73      5.89   1000000         0
1347.76/1348.16	c       432       632    619.12    114.55      5.40   1000000         0
1349.15/1349.57	c       397       514    602.08    123.09      4.89   1000000         0
1350.55/1350.99	c       398       628    615.87    104.67      5.88   1000000         0
1352.05/1352.42	c       363       701    627.67    128.35      4.89   1000000         0
1353.45/1353.84	c       408       640    617.59    136.59      4.52   1000000         0
1354.86/1355.25	c       377       623    603.70    115.00      5.25   1000000         0
1356.25/1356.67	c       386       559    596.20    114.76      5.20   1000000         0
1357.65/1358.09	c       407       522    608.84    116.48      5.23   1000000         0
1359.16/1359.51	c       382       615    607.33    116.57      5.21   1000000         0
1360.55/1360.93	c       396       501    618.50    101.18      6.11   1000000         0
1361.95/1362.34	c       377       420    594.43    103.47      5.74   1000000         0
1363.35/1363.76	c       402       649    603.76    109.73      5.50   1000000         0
1364.76/1365.18	c       422       559    607.39    113.07      5.37   1000000         0
1366.25/1366.61	c       397       513    611.67     95.87      6.38   1000000         0
1367.65/1368.02	c       406       525    609.52    116.94      5.21   1000000         0
1369.06/1369.44	c       385       483    628.85    130.13      4.83   1000000         0
1370.45/1370.86	c       364       620    608.24    104.99      5.79   1000000         0
1371.85/1372.28	c       390       468    600.08    114.14      5.26   1000000         0
1373.35/1373.70	c       426       728    630.53    108.11      5.83   1000000         0
1374.75/1375.11	c       378       590    608.98    117.36      5.19   1000000         0
1376.15/1376.54	c       375       566    619.56    113.73      5.45   1000000         0
1377.55/1377.95	c       417       604    622.79    115.70      5.38   1000000         0
1378.95/1379.37	c       385       605    604.41    116.31      5.20   1000000         0
1380.35/1380.79	c       366       559    610.78    122.41      4.99   1000000         0
1381.85/1382.21	c       396       635    617.64    117.72      5.25   1000000         0
1383.25/1383.63	c       362       616    622.10    146.07      4.26   1000000         0
1384.65/1385.05	c       410       644    606.13    114.52      5.29   1000000         0
1386.05/1386.47	c       408       535    626.12    133.90      4.68   1000000         0
1387.45/1387.88	c       401       567    592.21     91.20      6.49   1000000         0
1388.95/1389.30	c       394       521    619.53    124.19      4.99   1000000         0
1390.34/1390.73	c       330       634    612.46    120.53      5.08   1000000         0
1391.74/1392.15	c       366       670    618.88    115.84      5.34   1000000         0
1393.14/1393.57	c       400       606    618.42    120.03      5.15   1000000         0
1394.54/1394.98	c       355       645    606.06    119.82      5.06   1000000         0
1395.94/1396.40	c       357       546    603.91    113.14      5.34   1000000         0
1397.44/1397.81	c       379       650    602.82    131.39      4.59   1000000         0
1398.85/1399.22	c       365       665    595.84    117.89      5.05   1000000         0
1400.24/1400.64	c       410       524    605.61    117.09      5.17   1000000         0
1401.64/1402.05	c       409       771    603.16    109.39      5.51   1000000         0
1403.04/1403.48	c       405       606    614.87    148.24      4.15   1000000         0
1404.54/1404.90	c       407       692    623.69    121.44      5.14   1000000         0
1405.94/1406.32	c       406       638    625.40    101.40      6.17   1000000         0
1407.34/1407.74	c       438       554    613.27     96.46      6.36   1000000         0
1408.75/1409.15	c       400       675    613.62    118.08      5.20   1000000         0
1410.14/1410.57	c       423       661    612.36    100.94      6.07   1000000         0
1411.54/1411.99	c       365       602    598.08    132.61      4.51   1000000         0
1413.05/1413.40	c       401       577    612.04    126.96      4.82   1000000         0
1414.44/1414.82	c       316       549    602.78    112.62      5.35   1000000         0
1415.84/1416.24	c       387       563    607.44    138.19      4.40   1000000         0
1417.24/1417.66	c       425       581    607.25     99.14      6.12   1000000         0
1418.65/1419.07	c       389       624    607.42    103.33      5.88   1000000         0
1420.14/1420.50	c       404       657    631.73    106.91      5.91   1000000         0
1421.54/1421.92	c       385       671    605.71    116.76      5.19   1000000         0
1422.94/1423.34	c       400       656    627.42    114.32      5.49   1000000         0
1424.34/1424.75	c       412       550    607.06    117.08      5.18   1000000         0
1425.74/1426.17	c       400       600    610.14    107.56      5.67   1000000         0
1427.14/1427.59	c       397       783    607.15    118.85      5.11   1000000         0
1428.54/1429.00	c       359       580    596.90    108.30      5.51   1000000         0
1430.04/1430.41	c       401       687    615.14    118.49      5.19   1000000         0
1431.43/1431.83	c       346       596    622.40    126.69      4.91   1000000         0
1432.84/1433.26	c       412       496    620.98    110.32      5.63   1000000         0
1434.23/1434.67	c       404       510    611.50    127.23      4.81   1000000         0
1435.63/1436.09	c       365       588    617.57    140.09      4.41   1000000         0
1437.13/1437.51	c       370       543    615.65    117.43      5.24   1000000         0
1438.53/1438.94	c       406       619    616.97    123.16      5.01   1000000         0
1439.93/1440.36	c       395       646    619.82    138.06      4.49   1000000         0
1441.33/1441.78	c       415       564    621.77    121.28      5.13   1000000         0
1442.84/1443.21	c       433       626    636.33    145.62      4.37   1000000         0
1444.23/1444.62	c       350       436    592.40    114.72      5.16   1000000         0
1445.63/1446.04	c       399       497    598.19    110.25      5.43   1000000         0
1447.03/1447.45	c       326       481    600.42    123.46      4.86   1000000         0
1448.43/1448.87	c       397       550    625.19     93.21      6.71   1000000         0
1449.83/1450.29	c       365       597    618.01    135.31      4.57   1000000         0
1451.33/1451.71	c       419       574    616.26    123.75      4.98   1000000         0
1452.74/1453.13	c       392       634    601.35    114.26      5.26   1000000         0
1454.13/1454.54	c       434       531    619.80    127.61      4.86   1000000         0
1455.53/1455.96	c       414       514    611.56    111.80      5.47   1000000         0
1456.93/1457.39	c       409       573    635.95    101.63      6.26   1000000         0
1458.43/1458.80	c       351       618    611.25     96.94      6.31   1000000         0
1459.83/1460.22	c       420       664    620.36    118.41      5.24   1000000         0
1461.23/1461.64	c       351       545    601.28    118.04      5.09   1000000         0
1462.63/1463.05	c       414       531    599.31    124.88      4.80   1000000         0
1464.03/1464.47	c       388       616    606.04    129.20      4.69   1000000         0
1465.43/1465.89	c       344       511    616.81    103.62      5.95   1000000         0
1466.93/1467.31	c       347       563    598.67    123.62      4.84   1000000         0
1468.32/1468.73	c       376       551    607.06    117.77      5.15   1000000         0
1469.72/1470.14	c       369       551    615.80    124.08      4.96   1000000         0
1471.12/1471.56	c       400       598    607.92    114.23      5.32   1000000         0
1472.53/1472.98	c       349       538    614.05    127.31      4.82   1000000         0
1474.02/1474.40	c       420       586    620.32    132.34      4.69   1000000         0
1475.42/1475.83	c       420       668    633.18    133.83      4.73   1000000         0
1476.83/1477.25	c       385       578    624.75    128.49      4.86   1000000         0
1478.22/1478.66	c       418       563    602.52    103.94      5.80   1000000         0
1479.62/1480.08	c       353       643    599.93    111.05      5.40   1000000         0
1481.02/1481.50	c       425       646    622.77     99.35      6.27   1000000         0
1482.52/1482.92	c       341       658    607.50    129.55      4.69   1000000         0
1483.92/1484.33	c       341       649    606.27    116.57      5.20   1000000         0
1485.32/1485.75	c       421       604    623.26     95.67      6.51   1000000         0
1486.73/1487.17	c       395       563    610.53     93.86      6.50   1000000         0
1488.12/1488.58	c       375       575    602.48     87.84      6.86   1000000         0
1489.52/1489.99	c       380       542    605.53    107.87      5.61   1000000         0
1491.02/1491.41	c       403       496    598.80     96.83      6.18   1000000         0
1492.42/1492.83	c       384       531    614.63    111.89      5.49   1000000         0
1493.82/1494.24	c       379       526    595.40    119.93      4.96   1000000         0
1495.22/1495.66	c       403       616    612.76     95.00      6.45   1000000         0
1496.62/1497.08	c       371       593    615.89    110.49      5.57   1000000         0
1498.02/1498.50	c       377       565    606.57    122.58      4.95   1000000         0
1499.52/1499.91	c       348       484    598.57    133.34      4.49   1000000         0
1500.92/1501.33	c       404       601    614.05    124.02      4.95   1000000         0
1502.32/1502.75	c       377       415    612.58    122.37      5.01   1000000         0
1503.72/1504.17	c       355       650    624.68    111.37      5.61   1000000         0
1505.12/1505.58	c       420       551    604.22    113.15      5.34   1000000         0
1506.62/1507.01	c       413       593    634.04    118.37      5.36   1000000         0
1508.01/1508.42	c       401       524    610.14    115.75      5.27   1000000         0
1509.41/1509.84	c       415       575    625.75    117.00      5.35   1000000         0
1510.81/1511.25	c       383       539    601.37    115.54      5.20   1000000         0
1512.21/1512.67	c       385       595    594.52    121.67      4.89   1000000         0
1513.61/1514.07	c       386       528    595.96     97.42      6.12   1000000         0
1515.01/1515.50	c       428       629    615.57     93.65      6.57   1000000         0
1516.52/1516.91	c       405       582    604.70    115.36      5.24   1000000         0
1517.91/1518.32	c       373       498    598.87    124.78      4.80   1000000         0
1519.31/1519.74	c       401       524    618.75     97.73      6.33   1000000         0
1520.71/1521.15	c       394       592    588.60    102.56      5.74   1000000         0
1522.11/1522.57	c       358       587    594.31    129.40      4.59   1000000         0
1523.51/1523.98	c       341       529    605.35    130.86      4.63   1000000         0
1525.01/1525.40	c       408       546    612.62    107.86      5.68   1000000         0
1526.42/1526.82	c       365       618    607.84    132.83      4.58   1000000         0
1527.81/1528.24	c       323       613    615.41    120.40      5.11   1000000         0
1529.21/1529.65	c       360       557    603.05    121.15      4.98   1000000         0
1530.61/1531.08	c       415       591    613.62    125.11      4.90   1000000         0
1532.11/1532.50	c       402       488    620.22    109.28      5.68   1000000         0
1533.51/1533.92	c       366       478    619.40    104.44      5.93   1000000         0
1534.91/1535.34	c       397       610    615.58    125.99      4.89   1000000         0
1536.32/1536.75	c       386       553    605.27    117.65      5.14   1000000         0
1537.71/1538.17	c       426       553    597.58     99.96      5.98   1000000         0
1539.11/1539.59	c       358       553    611.50    123.27      4.96   1000000         0
1540.61/1541.01	c       379       631    624.09    110.79      5.63   1000000         0
1542.01/1542.44	c       405       681    626.77    128.79      4.87   1000000         0
1543.41/1543.85	c       366       698    601.69    120.84      4.98   1000000         0
1544.81/1545.28	c       419       533    623.78    124.97      4.99   1000000         0
1546.21/1546.69	c       369       549    609.40    129.38      4.71   1000000         0
1547.70/1548.11	c       337       692    609.95     99.95      6.10   1000000         0
1549.10/1549.52	c       413       583    610.25    109.49      5.57   1000000         0
1550.51/1550.95	c       378       500    636.65    145.35      4.38   1000000         0
1551.90/1552.37	c       405       560    624.08    105.28      5.93   1000000         0
1553.30/1553.79	c       399       678    616.90    107.90      5.72   1000000         0
1554.80/1555.20	c       364       524    593.54    118.00      5.03   1000000         0
1556.20/1556.63	c       372       590    623.26    124.33      5.01   1000000         0
1557.60/1558.05	c       389       594    622.63    108.48      5.74   1000000         0
1559.00/1559.46	c       389       651    605.53    116.18      5.21   1000000         0
1560.41/1560.88	c       408       595    607.22    111.71      5.44   1000000         0
1561.80/1562.29	c       383       536    616.39    130.55      4.72   1000000         0
1563.30/1563.70	c       375       572    590.47    120.93      4.88   1000000         0
1564.70/1565.12	c       343       595    607.04    116.18      5.22   1000000         0
1566.10/1566.54	c       377       592    602.92     89.09      6.77   1000000         0
1567.50/1567.95	c       302       706    607.13    115.27      5.27   1000000         0
1568.90/1569.37	c       365       597    592.53    101.93      5.81   1000000         0
1570.31/1570.79	c       382       530    614.12    126.42      4.86   1000000         0
1571.80/1572.21	c       416       557    618.64    128.03      4.83   1000000         0
1573.20/1573.63	c       390       577    607.53    139.03      4.37   1000000         0
1574.60/1575.04	c       403       551    591.25    104.06      5.68   1000000         0
1576.00/1576.46	c       436       514    616.31    120.10      5.13   1000000         0
1577.40/1577.88	c       399       671    617.20    107.62      5.74   1000000         0
1578.90/1579.30	c       386       621    631.79    146.63      4.31   1000000         0
1580.30/1580.71	c       383       459    599.36    112.91      5.31   1000000         0
1581.70/1582.12	c       359       481    591.75    121.88      4.86   1000000         0
1583.10/1583.54	c       393       693    618.02    117.86      5.24   1000000         0
1584.49/1584.96	c       402       571    629.62    132.11      4.77   1000000         0
1585.89/1586.38	c       413       675    630.14    115.98      5.43   1000000         0
1587.39/1587.80	c       381       479    614.46    117.52      5.23   1000000         0
1588.79/1589.22	c       369       650    613.98    116.66      5.26   1000000         0
1590.20/1590.63	c       395       582    595.79    103.70      5.75   1000000         0
1591.59/1592.06	c       427       607    625.42    115.67      5.41   1000000         0
1592.99/1593.47	c       356       546    600.10    106.11      5.66   1000000         0
1594.39/1594.88	c       372       503    593.50    124.87      4.75   1000000         0
1595.89/1596.30	c       405       554    625.06    133.19      4.69   1000000         0
1597.29/1597.72	c       405       582    610.90    122.08      5.00   1000000         0
1598.69/1599.15	c       426       566    630.37    119.15      5.29   1000000         0
1600.10/1600.56	c       354       539    600.26    119.30      5.03   1000000         0
1601.49/1601.98	c       382       628    604.80     98.45      6.14   1000000         0
1602.99/1603.40	c       361       574    616.98    111.88      5.51   1000000         0
1604.40/1604.81	c       340       540    614.91    106.06      5.80   1000000         0
1605.79/1606.23	c       415       571    620.48    109.06      5.69   1000000         0
1607.19/1607.65	c       366       695    620.82    112.59      5.51   1000000         0
1608.59/1609.07	c       400       678    599.97    101.12      5.93   1000000         0
1610.00/1610.48	c       352       580    599.89    114.84      5.22   1000000         0
1611.49/1611.90	c       404       545    608.33    115.49      5.27   1000000         0
1612.89/1613.32	c       424       556    612.30    106.86      5.73   1000000         0
1614.29/1614.74	c       366       685    620.85    127.10      4.88   1000000         0
1615.69/1616.15	c       325       612    614.95    119.31      5.15   1000000         0
1617.09/1617.57	c       397       604    608.75    104.40      5.83   1000000         0
1618.49/1618.99	c       427       572    612.99    109.44      5.60   1000000         0
1619.99/1620.40	c       364       583    606.22    110.42      5.49   1000000         0
1621.39/1621.81	c       415       543    608.87     84.63      7.19   1000000         0
1622.79/1623.23	c       397       519    595.39    111.25      5.35   1000000         0
1624.19/1624.64	c       407       565    615.66    123.14      5.00   1000000         0
1625.58/1626.06	c       398       634    611.76    111.85      5.47   1000000         0
1626.98/1627.47	c       401       582    597.93    118.53      5.04   1000000         0
1628.38/1628.89	c       340       656    620.29    110.37      5.62   1000000         0
1629.88/1630.31	c       408       600    624.22    118.08      5.29   1000000         0
1631.28/1631.73	c       361       681    613.39    142.07      4.32   1000000         0
1632.68/1633.15	c       355       525    587.95    121.87      4.82   1000000         0
1634.09/1634.56	c       397       629    608.13    133.00      4.57   1000000         0
1635.48/1635.97	c       403       483    603.43     93.52      6.45   1000000         0
1636.88/1637.39	c       434       670    626.72    112.11      5.59   1000000         0
1638.38/1638.81	c       383       597    618.65    113.17      5.47   1000000         0
1639.78/1640.23	c       400       634    626.87    112.96      5.55   1000000         0
1641.18/1641.65	c       378       571    614.02    115.45      5.32   1000000         0
1642.58/1643.07	c       371       568    627.28    129.12      4.86   1000000         0
1643.99/1644.49	c       344       473    604.56    151.59      3.99   1000000         0
1645.48/1645.91	c       391       608    603.69    107.92      5.59   1000000         0
1646.88/1647.31	c       409       568    601.57     80.66      7.46   1000000         0
1648.28/1648.74	c       377       551    624.07    119.84      5.21   1000000         0
1649.68/1650.15	c       406       519    617.25    105.63      5.84   1000000         0
1651.08/1651.58	c       414       851    620.38    112.29      5.52   1000000         0
1652.48/1653.00	c       385       439    613.92    105.74      5.81   1000000         0
1653.98/1654.41	c       382       665    610.95    112.29      5.44   1000000         0
1655.38/1655.83	c       394       581    602.45    125.59      4.80   1000000         0
1656.78/1657.25	c       408       649    614.44    117.10      5.25   1000000         0
1658.18/1658.66	c       406       532    611.25    114.85      5.32   1000000         0
1659.58/1660.08	c       393       661    600.54    121.38      4.95   1000000         0
1660.98/1661.49	c       356       550    609.76    108.38      5.63   1000000         0
1662.48/1662.91	c       441       613    622.21    111.15      5.60   1000000         0
1663.88/1664.33	c       361       591    608.35    122.03      4.99   1000000         0
1665.27/1665.75	c       423       654    628.31     86.17      7.29   1000000         0
1666.67/1667.16	c       352       512    601.20    120.55      4.99   1000000         0
1668.07/1668.58	c       390       698    628.34    119.98      5.24   1000000         0
1669.47/1669.99	c       371       690    601.17    114.58      5.25   1000000         0
1670.97/1671.41	c       390       604    596.94     99.77      5.98   1000000         0
1672.37/1672.83	c       402       554    614.13    110.24      5.57   1000000         0
1673.78/1674.25	c       404       528    604.22    126.20      4.79   1000000         0
1675.17/1675.65	c       397       519    586.27    115.24      5.09   1000000         0
1676.57/1677.06	c       343       479    576.12    111.56      5.16   1000000         0
1677.97/1678.48	c       359       538    610.90    116.49      5.24   1000000         0
1679.47/1679.90	c       351       618    614.04    114.11      5.38   1000000         0
1680.87/1681.31	c       370       564    599.54    122.43      4.90   1000000         0
1682.27/1682.73	c       388       627    616.87    131.72      4.68   1000000         0
1683.68/1684.14	c       352       574    609.45    126.61      4.81   1000000         0
1685.07/1685.56	c       385       743    619.68    107.80      5.75   1000000         0
1686.47/1686.98	c       398       606    614.95    121.21      5.07   1000000         0
1687.87/1688.39	c       369       568    590.51    112.89      5.23   1000000         0
1689.37/1689.82	c       376       554    621.48     99.88      6.22   1000000         0
1690.77/1691.24	c       377       515    617.28    140.29      4.40   1000000         0
1692.17/1692.65	c       371       535    580.91    130.71      4.44   1000000         0
1693.58/1694.07	c       419       531    639.18    109.78      5.82   1000000         0
1694.97/1695.49	c       387       648    612.10    126.13      4.85   1000000         0
1696.47/1696.91	c       379       620    617.53    137.83      4.48   1000000         0
1697.87/1698.33	c       390       573    612.58    112.92      5.43   1000000         0
1699.27/1699.75	c       389       649    604.12    106.67      5.66   1000000         0
1700.67/1701.18	c       423       656    637.57    151.37      4.21   1000000         0
1702.07/1702.58	c       379       537    580.77    109.47      5.31   1000000         0
1703.57/1704.00	c       363       624    595.55    101.88      5.85   1000000         0
1704.96/1705.42	c       389       696    616.52     97.20      6.34   1000000         0
1706.36/1706.83	c       409       448    590.38     96.35      6.13   1000000         0
1707.77/1708.24	c       409       594    598.73    105.48      5.68   1000000         0
1709.16/1709.66	c       330       658    610.63    106.12      5.75   1000000         0
1710.56/1711.08	c       387       610    597.80    104.92      5.70   1000000         0
1711.96/1712.49	c       407       565    608.90    123.63      4.93   1000000         0
1713.46/1713.91	c       424       587    624.63    134.50      4.64   1000000         0
1714.86/1715.33	c       365       490    606.19    116.74      5.19   1000000         0
1716.26/1716.74	c       369       526    609.40    115.91      5.26   1000000         0
1717.67/1718.17	c       435       616    635.52    109.69      5.79   1000000         0
1719.06/1719.58	c       406       644    606.54     94.92      6.39   1000000         0
1720.46/1721.00	c       369       610    609.13    115.81      5.26   1000000         0
1721.96/1722.41	c       393       478    603.16    125.16      4.82   1000000         0
1723.36/1723.82	c       380       642    615.64    108.42      5.68   1000000         0
1724.76/1725.24	c       340       568    612.19    114.13      5.36   1000000         0
1726.16/1726.66	c       394       584    604.17    110.86      5.45   1000000         0
1727.57/1728.07	c       411       590    604.22    116.41      5.19   1000000         0
1728.96/1729.49	c       357       557    594.42    146.82      4.05   1000000         0
1730.46/1730.90	c       378       567    607.25    114.31      5.31   1000000         0
1731.86/1732.32	c       408       620    619.72    127.11      4.88   1000000         0
1733.26/1733.73	c       400       654    604.12    113.23      5.34   1000000         0
1734.66/1735.15	c       387       635    608.31    114.31      5.32   1000000         0
1736.06/1736.57	c       415       641    614.23     91.05      6.75   1000000         0
1737.46/1737.99	c       410       547    603.04    102.39      5.89   1000000         0
1738.96/1739.40	c       386       664    599.27    105.68      5.67   1000000         0
1740.36/1740.81	c       402       627    593.15    131.13      4.52   1000000         0
1741.76/1742.22	c       389       586    592.76    113.37      5.23   1000000         0
1743.16/1743.64	c       377       566    599.24    127.82      4.69   1000000         0
1744.56/1745.05	c       377       561    595.71    103.56      5.75   1000000         0
1745.96/1746.46	c       401       640    611.74     93.67      6.53   1000000         0
1747.36/1747.87	c       385       661    597.96    110.06      5.43   1000000         0
1748.75/1749.29	c       394       584    616.10    124.33      4.96   1000000         0
1750.25/1750.71	c       395       486    608.93    120.92      5.04   1000000         0
1751.65/1752.13	c       420       648    609.70    109.09      5.59   1000000         0
1753.05/1753.55	c       369       682    618.44    131.76      4.69   1000000         0
1754.45/1754.97	c       374       605    607.38    137.95      4.40   1000000         0
1755.85/1756.40	c       403       627    620.73    127.56      4.87   1000000         0
1757.36/1757.81	c       386       608    611.44     93.44      6.54   1000000         0
1758.75/1759.23	c       399       654    611.85    113.56      5.39   1000000         0
1760.15/1760.65	c       384       691    617.08    130.95      4.71   1000000         0
1761.55/1762.07	c       393       596    628.78    106.63      5.90   1000000         0
1762.95/1763.49	c       418       546    617.80    104.48      5.91   1000000         0
1764.45/1764.91	c       391       561    611.24    122.20      5.00   1000000         0
1765.85/1766.32	c       383       494    610.26    144.47      4.22   1000000         0
1767.26/1767.73	c       384       491    605.11    104.88      5.77   1000000         0
1768.65/1769.15	c       357       618    614.77    112.66      5.46   1000000         0
1770.05/1770.57	c       405       673    626.27    122.35      5.12   1000000         0
1771.45/1771.99	c       418       517    623.80    118.73      5.25   1000000         0
1772.95/1773.41	c       413       669    608.14    119.54      5.09   1000000         0
1774.35/1774.83	c       397       585    610.00    113.33      5.38   1000000         0
1775.75/1776.25	c       410       658    608.12    100.75      6.04   1000000         0
1777.15/1777.67	c       379       423    610.38    118.10      5.17   1000000         0
1778.55/1779.09	c       388       595    616.76    127.62      4.83   1000000         0
1780.05/1780.51	c       394       545    631.92    135.64      4.66   1000000         0
1781.45/1781.94	c       397       591    616.51    109.34      5.64   1000000         0
1782.84/1783.35	c       402       676    618.28    128.96      4.79   1000000         0
1784.24/1784.77	c       400       520    621.67    112.07      5.55   1000000         0
1785.64/1786.19	c       405       663    618.30    127.21      4.86   1000000         0
1787.14/1787.61	c       407       485    619.42    117.65      5.26   1000000         0
1788.54/1789.02	c       409       597    598.67    108.71      5.51   1000000         0
1789.94/1790.44	c       413       525    609.70     96.21      6.34   1000000         0
1791.35/1791.85	c       329       585    595.63    104.99      5.67   1000000         0
1792.74/1793.26	c       402       674    608.14     97.21      6.26   1000000         0
1794.14/1794.68	c       371       529    618.00    126.13      4.90   1000000         0
1795.64/1796.10	c       384       520    616.28    106.29      5.80   1000000         0
1797.04/1797.52	c       399       719    613.65    103.58      5.92   1000000         0
1798.44/1798.93	c       350       613    600.81    113.22      5.31   1000000         0
1799.84/1800.36	c       393       560    608.44    126.67      4.80   1000000         0
1800.05/1800.51	HOME/run: line 2: 21964 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-2685196-1278439981/watcher-2685196-1278439981 -o /tmp/evaluation-result-2685196-1278439981/solver-2685196-1278439981 -C 1800 -W 2000 -M 1800 run HOME/instance-2685196-1278439981.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.92 0.97 0.93 3/106 21963
/proc/meminfo: memFree=1389612/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) R 21961 21963 20855 0 -1 4202496 344 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314544021 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0

[startup+0.028869 s]
/proc/loadavg: 0.92 0.97 0.93 3/106 21963
/proc/meminfo: memFree=1389612/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101877 s]
/proc/loadavg: 0.92 0.97 0.93 3/106 21963
/proc/meminfo: memFree=1389612/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301896 s]
/proc/loadavg: 0.92 0.97 0.93 3/106 21963
/proc/meminfo: memFree=1389612/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701933 s]
/proc/loadavg: 0.92 0.97 0.93 3/106 21963
/proc/meminfo: memFree=1389612/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50201 s]
/proc/loadavg: 0.92 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383520/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1.49
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1513 0 0 0 149 0 0 0 25 0 1 0 12211747 41422848 1443 1992294400 134512640 135071400 4292382640 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1443 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10116 s]
/proc/loadavg: 0.92 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383396/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=3.09
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 309 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30147 s]
/proc/loadavg: 0.93 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383272/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=6.29
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 629 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383272/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=12.69
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 1269 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5013 s]
/proc/loadavg: 0.95 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383272/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=25.48
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 2548 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525870 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.93 2/108 21965
/proc/meminfo: memFree=1383148/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=51.08
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 5108 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526294 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49152

[startup+102.309 s]
/proc/loadavg: 0.98 0.97 0.93 2/108 21967
/proc/meminfo: memFree=1382900/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=102.27
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 10227 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/108 21969
/proc/meminfo: memFree=1382776/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=162.25
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 16225 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134547368 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/108 21971
/proc/meminfo: memFree=1382652/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=222.23
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 22223 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49152

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/108 21973
/proc/meminfo: memFree=1382652/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=282.22
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 28222 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.07 0.99 0.94 2/108 21976
/proc/meminfo: memFree=1381784/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=342.2
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 34220 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134572039 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.03 0.99 0.94 2/108 21978
/proc/meminfo: memFree=1381784/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=402.19
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 40219 0 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1122.01
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 112200 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22000
/proc/meminfo: memFree=1380544/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1182
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 118199 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22000
/proc/meminfo: memFree=1380296/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1241.98
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 124197 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22002
/proc/meminfo: memFree=1380172/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1301.97
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 130196 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526830 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22004
/proc/meminfo: memFree=1380048/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1361.95
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 136194 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526584 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22006
/proc/meminfo: memFree=1380048/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1421.94
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 142193 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134519776 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.94 2/108 22008
/proc/meminfo: memFree=1379924/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1481.92
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 148191 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134519921 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 0.95 2/108 22008
/proc/meminfo: memFree=1379924/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1541.91
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 154190 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.06 1.03 0.95 2/108 22010
/proc/meminfo: memFree=1379800/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1601.89
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 160188 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.13 1.05 0.96 2/108 22012
/proc/meminfo: memFree=1379800/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1661.88
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 166187 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.16 1.07 0.97 2/108 22014
/proc/meminfo: memFree=1379676/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1721.86
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 172185 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.18 1.08 0.98 2/108 22016
/proc/meminfo: memFree=1379304/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1781.84
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 178183 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.13 1.08 0.98 2/108 22016
/proc/meminfo: memFree=1379304/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1800.05
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 180004 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.05
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

[startup+1800.5 s]
/proc/loadavg: 1.13 1.08 0.98 2/108 22016
/proc/meminfo: memFree=1379304/2059040 swapFree=4192956/4192956
[pid=21963] ppid=21961 vsize=8700 CPUtime=0
/proc/21963/stat : 21963 (run) S 21961 21963 20855 0 -1 4202496 361 0 0 0 0 0 0 0 23 0 1 0 12211747 8908800 244 1992294400 4194304 4922060 140734044718000 18446744073709551615 213314542725 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21963/statm: 2175 244 204 178 0 68 0
[pid=21964] ppid=21963 vsize=40452 CPUtime=1800.05
/proc/21964/stat : 21964 (PB-wave) R 21963 21963 20855 0 -1 4202496 1521 0 0 0 180004 1 0 0 25 0 1 0 12211747 41422848 1451 1992294400 134512640 135071400 4292382640 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21964/statm: 10113 1451 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 49152

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

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

runsolver used 2.92455 second user time and 8.62869 second system time

The end

Launcher Data 

Begin job on node004 at 2010-07-06 20:13:01
IDJOB=2685196
IDBENCH=74871
IDSOLVER=1171
FILE ID=node004/2685196-1278439981
PBS_JOBID= 11233466
Free space on /tmp= 62432 MiB

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

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

MD5SUM BENCH= 8ea4be3efd8903ae7937ad6193e8fce9
RANDOM SEED=236879795

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1389884 kB
Buffers:        113444 kB
Cached:         416720 kB
SwapCached:          0 kB
Active:         240392 kB
Inactive:       349816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1389884 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2352 kB
Writeback:           0 kB
AnonPages:       59952 kB
Mapped:          14464 kB
Slab:            56916 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181948 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= 62432 MiB
End job on node004 at 2010-07-06 20:43:02