Trace number 2685140

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB-wave alpha 2? (TO) 1800.04 1800.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9028_2-unsat.opb
MD5SUM816f6bc8e61596304c69466a3d147a91
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.209967
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13832
Total number of constraints45398
Number of constraints which are clauses45098
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint73
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 68
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 479
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.12	c PB-wave - v2
0.00/0.12	c command line = ./PB-wave
0.00/0.12	c seed = 49032828
0.00/0.12	c cutoff = 1000000
0.00/0.12	c tries = 1000000
0.00/0.12	c heuristic = c best, noise 50 / 100
0.00/0.12	#var 13832 #con 45398
0.00/0.12	mode is SAT
0.00/0.12	c tail starts after flip = 41496
0.00/0.12	c numatom = 13832, numclause = 45398, numliterals = 116364
0.00/0.12	c wff read in
0.00/0.12	c 
0.00/0.12	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.12	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.12	c       this      this      this      this      this      this   success   success       until         std
0.00/0.12	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.12	c
1.49/1.57	c       184       295    382.16    104.44      3.66   1000000         0
2.99/3.02	c       196       387    396.39     98.53      4.02   1000000         0
4.40/4.46	c       189       351    394.65     86.06      4.59   1000000         0
5.89/5.90	c       177       473    386.97     96.10      4.03   1000000         0
7.29/7.36	c       177       405    395.09    104.01      3.80   1000000         0
8.79/8.81	c       157       384    388.28    105.46      3.68   1000000         0
10.19/10.26	c       150       458    397.42    122.66      3.24   1000000         0
11.69/11.71	c       187       283    404.43    110.11      3.67   1000000         0
13.09/13.16	c       148       322    383.64    113.12      3.39   1000000         0
14.58/14.61	c       198       413    390.37     98.07      3.98   1000000         0
15.98/16.05	c       187       369    385.16    105.45      3.65   1000000         0
17.38/17.50	c       158       283    384.37     85.31      4.51   1000000         0
18.88/18.94	c       169       478    393.77     87.15      4.52   1000000         0
20.28/20.38	c       189       276    390.62     93.97      4.16   1000000         0
21.78/21.82	c       191       365    374.25     79.21      4.72   1000000         0
23.18/23.26	c       168       362    378.46     99.20      3.82   1000000         0
24.68/24.71	c       181       336    389.64     98.17      3.97   1000000         0
26.08/26.16	c       174       325    392.21    106.62      3.68   1000000         0
27.58/27.60	c       167       287    380.03     95.60      3.98   1000000         0
28.98/29.05	c       213       320    397.35     98.49      4.03   1000000         0
30.48/30.50	c       183       377    389.94    100.84      3.87   1000000         0
31.89/31.94	c       184       298    388.55     96.78      4.01   1000000         0
33.28/33.39	c       181       434    378.71     79.40      4.77   1000000         0
34.78/34.84	c       201       373    390.10    101.64      3.84   1000000         0
36.19/36.28	c       211       371    392.32     84.48      4.64   1000000         0
37.68/37.73	c       158       398    392.70     89.75      4.38   1000000         0
39.08/39.17	c       203       246    390.21     82.48      4.73   1000000         0
40.58/40.63	c       190       304    397.42    110.81      3.59   1000000         0
41.98/42.06	c       150       286    360.88     96.63      3.73   1000000         0
43.48/43.51	c       158       405    382.06     93.49      4.09   1000000         0
44.88/44.95	c       190       361    393.47     80.77      4.87   1000000         0
46.37/46.40	c       180       478    396.59    115.69      3.43   1000000         0
47.77/47.84	c       165       305    382.74    110.65      3.46   1000000         0
49.17/49.25	c       154       424    389.06    108.56      3.58   1000000         0
50.67/50.70	c       161       596    400.86     98.28      4.08   1000000         0
52.07/52.15	c       196       394    391.55    100.62      3.89   1000000         0
53.47/53.59	c       170       447    387.99    113.92      3.41   1000000         0
54.97/55.04	c       191       322    389.78     89.89      4.34   1000000         0
56.37/56.49	c       112       486    397.63    103.92      3.83   1000000         0
57.87/57.94	c       184       278    402.31    110.23      3.65   1000000         0
59.27/59.39	c       180       443    393.42    101.65      3.87   1000000         0
60.77/60.84	c       204       362    395.23    102.87      3.84   1000000         0
62.17/62.28	c       172       340    375.57     89.71      4.19   1000000         0
63.67/63.72	c       189       372    375.69    100.74      3.73   1000000         0
65.06/65.17	c       174       354    390.22    100.63      3.88   1000000         0
66.56/66.61	c       176       290    387.48    111.82      3.47   1000000         0
67.96/68.06	c       209       289    392.67     98.34      3.99   1000000         0
69.46/69.50	c       101       467    359.21    100.43      3.58   1000000         0
70.86/70.94	c       139       336    385.02     99.90      3.85   1000000         0
72.26/72.39	c       162       358    400.24    103.28      3.88   1000000         0
73.76/73.83	c       171       350    383.86    101.00      3.80   1000000         0
75.16/75.27	c       122       320    358.63     95.30      3.76   1000000         0
76.66/76.72	c       130       330    392.55     98.24      4.00   1000000         0
78.07/78.16	c       171       388    394.40     87.52      4.51   1000000         0
79.56/79.60	c       116       611    361.70    113.43      3.19   1000000         0
80.96/81.05	c       176       370    387.75    101.79      3.81   1000000         0
82.37/82.49	c       162       331    367.32    102.67      3.58   1000000         0
83.86/83.93	c       107       228    399.59    113.91      3.51   1000000         0
85.26/85.38	c       171       374    386.93     92.79      4.17   1000000         0
86.77/86.82	c       165       316    382.09     91.76      4.16   1000000         0
88.16/88.27	c       173       481    396.39    103.76      3.82   1000000         0
89.66/89.71	c       162       367    357.82     90.93      3.94   1000000         0
91.06/91.15	c       174       320    376.82     91.50      4.12   1000000         0
92.46/92.60	c       184       359    379.08     98.89      3.83   1000000         0
93.96/94.04	c       143       332    386.22    101.60      3.80   1000000         0
95.36/95.48	c       158       439    382.33    113.33      3.37   1000000         0
96.86/96.92	c       154       309    382.33    102.37      3.73   1000000         0
98.26/98.38	c       172       278    399.00    107.24      3.72   1000000         0
99.75/99.82	c       163       338    373.93     98.41      3.80   1000000         0
101.16/101.26	c       198       255    392.42     87.79      4.47   1000000         0
102.55/102.69	c       200       579    365.93     85.14      4.30   1000000         0
104.05/104.13	c       146       400    377.63    115.72      3.26   1000000         0
105.46/105.57	c       128       455    375.25     91.35      4.11   1000000         0
106.95/107.01	c       134       326    355.69     93.63      3.80   1000000         0
108.35/108.44	c       173       474    368.09    101.56      3.62   1000000         0
109.75/109.89	c       199       356    394.17    104.36      3.78   1000000         0
111.25/111.33	c       143       332    372.28    117.47      3.17   1000000         0
112.65/112.77	c       115       317    365.64     96.99      3.77   1000000         0
114.15/114.21	c       188       390    379.55    101.13      3.75   1000000         0
115.55/115.66	c       189       567    410.55    110.52      3.71   1000000         0
117.05/117.11	c       199       343    397.16    103.15      3.85   1000000         0
118.45/118.56	c       133       408    394.29    116.16      3.39   1000000         0
119.95/120.01	c       169       416    400.21    114.80      3.49   1000000         0
121.35/121.45	c       177       327    378.27     97.88      3.86   1000000         0
122.75/122.89	c       122       327    375.93    105.06      3.58   1000000         0
124.26/124.33	c       158       464    371.11     96.63      3.84   1000000         0
125.65/125.78	c       163       412    384.82    105.15      3.66   1000000         0
127.15/127.22	c       186       444    387.62    107.09      3.62   1000000         0
128.55/128.67	c       123       378    385.77     97.30      3.96   1000000         0
130.05/130.10	c       176       346    367.45     97.03      3.79   1000000         0
131.45/131.55	c       191       244    395.43     92.84      4.26   1000000         0
132.85/132.99	c       189       359    380.79     86.68      4.39   1000000         0
134.34/134.43	c       164       518    375.23     89.08      4.21   1000000         0
135.74/135.86	c       149       363    371.01     98.66      3.76   1000000         0
137.24/137.31	c       157       399    392.41     90.34      4.34   1000000         0
138.64/138.76	c       134       388    369.44     96.63      3.82   1000000         0
140.04/140.19	c       202       307    366.40     96.33      3.80   1000000         0
141.54/141.65	c       153       462    400.20     93.89      4.26   1000000         0
142.95/143.09	c       164       506    386.56    101.68      3.80   1000000         0
144.44/144.53	c       181       374    373.00    100.45      3.71   1000000         0
145.84/145.97	c       150       295    373.01    104.59      3.57   1000000         0
147.35/147.41	c       195       347    379.30    122.48      3.10   1000000         0
148.74/148.86	c       159       333    392.04    108.47      3.61   1000000         0
150.24/150.30	c       114       348    379.83     95.93      3.96   1000000         0
151.65/151.74	c       173       357    382.72     94.27      4.06   1000000         0
153.04/153.18	c       144       354    364.64     98.76      3.69   1000000         0
154.54/154.62	c       140       424    389.54    104.14      3.74   1000000         0
155.94/156.06	c       146       314    374.67    111.34      3.36   1000000         0
157.44/157.50	c       152       314    375.34     94.51      3.97   1000000         0
158.84/158.96	c       200       326    399.91    112.88      3.54   1000000         0
160.34/160.41	c       214       386    399.38     91.67      4.36   1000000         0
161.74/161.85	c       178       379    392.96     93.16      4.22   1000000         0
163.24/163.30	c       196       376    398.68    101.58      3.92   1000000         0
164.64/164.75	c       180       368    401.98     98.30      4.09   1000000         0
166.04/166.19	c       171       412    377.58     88.99      4.24   1000000         0
167.54/167.65	c       196       515    396.26    106.92      3.71   1000000         0
168.93/169.06	c       135       394    374.81    104.50      3.59   1000000         0
170.34/170.50	c       115       388    376.87     97.23      3.88   1000000         0
171.83/171.95	c       201       396    397.14    101.37      3.92   1000000         0
173.33/173.40	c       143       434    386.74     87.49      4.42   1000000         0
174.74/174.85	c       128       388    404.32    104.19      3.88   1000000         0
176.13/176.29	c       161       450    393.05    107.79      3.65   1000000         0
177.63/177.74	c       187       356    397.68    105.55      3.77   1000000         0
179.03/179.19	c       194       357    395.17     94.67      4.17   1000000         0
180.53/180.63	c       176       354    386.87     98.19      3.94   1000000         0
181.93/182.08	c       149       364    384.79     97.48      3.95   1000000         0
183.43/183.52	c       156       408    379.14    105.63      3.59   1000000         0
184.83/184.97	c       142       333    374.64    102.48      3.66   1000000         0
186.33/186.41	c        91       323    393.96    106.79      3.69   1000000         0
187.73/187.86	c       180       281    406.40     96.46      4.21   1000000         0
189.23/189.31	c       174       353    389.65    111.91      3.48   1000000         0
190.63/190.75	c       153       393    378.36    121.16      3.12   1000000         0
192.03/192.19	c       150       423    367.50     85.48      4.30   1000000         0
193.53/193.64	c       209       331    404.39     99.97      4.05   1000000         0
194.92/195.07	c       149       432    383.27    115.59      3.32   1000000         0
196.42/196.52	c       204       274    388.04    101.70      3.82   1000000         0
197.83/197.97	c       180       411    391.85     91.60      4.28   1000000         0
199.32/199.42	c       206       478    390.38     83.77      4.66   1000000         0
200.72/200.86	c       163       444    386.70    100.55      3.85   1000000         0
202.23/202.30	c       160       283    371.59    102.87      3.61   1000000         0
203.62/203.74	c       154       401    374.29     93.01      4.02   1000000         0
205.02/205.18	c       136       387    392.64     97.17      4.04   1000000         0
206.52/206.63	c       175       378    391.52     92.12      4.25   1000000         0
207.92/208.08	c       181       316    398.48     98.03      4.06   1000000         0
209.42/209.52	c       138       408    384.81    111.54      3.45   1000000         0
210.82/210.96	c       171       412    376.93     94.35      3.99   1000000         0
212.32/212.41	c       174       314    391.17     96.14      4.07   1000000         0
213.72/213.84	c       165       395    358.93     85.39      4.20   1000000         0
215.12/215.29	c       145       385    378.27    101.55      3.72   1000000         0
216.63/216.74	c       192       375    395.16    104.34      3.79   1000000         0
218.02/218.18	c       185       469    387.94     82.55      4.70   1000000         0
219.52/219.62	c       161       402    376.23     91.81      4.10   1000000         0
220.92/221.06	c       149       420    375.34     94.06      3.99   1000000         0
222.42/222.50	c       135       374    383.43    100.81      3.80   1000000         0
223.81/223.95	c       220       247    385.72     89.17      4.33   1000000         0
225.22/225.38	c       130       355    367.09    105.39      3.48   1000000         0
226.72/226.83	c       154       372    385.05    104.00      3.70   1000000         0
228.11/228.27	c       162       341    379.24     98.89      3.84   1000000         0
229.61/229.72	c       184       371    379.13    114.43      3.31   1000000         0
231.01/231.17	c       229       425    398.79     87.27      4.57   1000000         0
232.51/232.60	c       149       273    350.48    112.76      3.11   1000000         0
233.91/234.04	c       175       386    371.91     87.49      4.25   1000000         0
235.32/235.48	c       166       401    388.76    100.04      3.89   1000000         0
236.81/236.94	c       145       500    394.82    107.05      3.69   1000000         0
238.21/238.38	c       170       286    377.87     94.34      4.01   1000000         0
239.72/239.83	c       162       239    398.68     96.66      4.12   1000000         0
241.11/241.27	c       151       537    365.80     85.63      4.27   1000000         0
242.61/242.72	c       211       356    395.89    103.30      3.83   1000000         0
244.02/244.15	c       182       462    374.74    100.69      3.72   1000000         0
245.51/245.60	c       116       401    380.72     93.58      4.07   1000000         0
246.91/247.04	c       185       352    385.56    105.35      3.66   1000000         0
248.31/248.48	c       184       424    381.19    113.91      3.35   1000000         0
249.81/249.93	c       192       419    394.18     87.64      4.50   1000000         0
251.21/251.37	c       188       354    372.76     91.48      4.07   1000000         0
252.71/252.82	c       155       355    395.12     97.49      4.05   1000000         0
254.11/254.26	c       181       328    373.09     88.90      4.20   1000000         0
255.61/255.70	c       193       336    382.04     84.76      4.51   1000000         0
257.00/257.14	c       117       499    375.94    104.32      3.60   1000000         0
258.41/258.58	c       156       238    377.24     95.64      3.94   1000000         0
259.91/260.03	c       199       320    383.92     97.96      3.92   1000000         0
261.31/261.47	c       170       412    387.88     88.29      4.39   1000000         0
262.81/262.92	c       154       383    387.44    114.25      3.39   1000000         0
264.20/264.36	c       189       397    383.51    101.51      3.78   1000000         0
265.70/265.80	c       196       433    386.66     93.70      4.13   1000000         0
267.11/267.25	c       193       340    394.13     98.03      4.02   1000000         0
268.60/268.70	c       164       370    387.97     88.61      4.38   1000000         0
270.00/270.15	c       142       375    398.17    105.74      3.77   1000000         0
271.51/271.60	c       176       359    396.98    110.65      3.59   1000000         0
272.90/273.04	c       159       409    374.94     93.63      4.00   1000000         0
274.30/274.48	c       153       340    368.02    110.51      3.33   1000000         0
275.80/275.91	c       104       423    357.26     90.35      3.95   1000000         0
277.20/277.37	c       187       440    405.81    112.71      3.60   1000000         0
278.70/278.81	c       154       467    371.41    104.97      3.54   1000000         0
280.10/280.25	c       182       293    386.51     97.55      3.96   1000000         0
281.51/281.69	c       137       384    388.24     84.63      4.59   1000000         0
283.00/283.14	c       180       308    392.30     94.69      4.14   1000000         0
284.40/284.59	c       135       353    376.70     94.95      3.97   1000000         0
285.91/286.03	c       120       468    395.28    126.27      3.13   1000000         0
287.30/287.48	c       122       428    397.07     95.35      4.16   1000000         0
288.79/288.94	c       189       411    391.01     92.29      4.24   1000000         0
290.20/290.38	c       186       368    392.72    106.97      3.67   1000000         0
291.69/291.83	c       146       350    382.82     89.72      4.27   1000000         0
293.09/293.27	c       197       443    391.66     97.44      4.02   1000000         0
294.60/294.72	c       208       276    377.06     92.66      4.07   1000000         0
295.99/296.17	c       129       461    384.42     96.53      3.98   1000000         0
297.49/297.62	c       150       470    396.75    100.53      3.95   1000000         0
298.89/299.06	c       143       279    375.11    105.61      3.55   1000000         0
300.29/300.50	c       172       383    371.16     93.20      3.98   1000000         0
301.79/301.93	c       181       343    369.53     99.42      3.72   1000000         0
303.19/303.38	c       173       347    404.93    101.36      3.99   1000000         0
304.69/304.83	c       203       415    406.71     89.17      4.56   1000000         0
306.09/306.28	c       163       365    396.39     89.56      4.43   1000000         0
307.59/307.72	c       170       371    367.17    113.64      3.23   1000000         0
309.00/309.17	c       153       353    386.46     88.40      4.37   1000000         0
310.49/310.62	c       179       386    386.57     97.24      3.98   1000000         0
311.89/312.06	c       198       333    391.51     98.35      3.98   1000000         0
313.29/313.50	c       171       346    365.14     92.20      3.96   1000000         0
314.79/314.96	c       189       288    396.17     92.49      4.28   1000000         0
316.29/316.40	c       153       436    390.91     83.14      4.70   1000000         0
317.69/317.85	c       203       430    393.02     98.75      3.98   1000000         0
319.09/319.29	c       145       457    383.09    105.01      3.65   1000000         0
320.59/320.74	c       172       420    387.35    101.91      3.80   1000000         0
321.99/322.18	c       161       465    370.81     80.18      4.62   1000000         0
323.48/323.63	c       179       429    374.34     92.98      4.03   1000000         0
324.88/325.07	c       141       343    380.51    108.83      3.50   1000000         0
326.39/326.51	c       185       445    380.04     94.31      4.03   1000000         0
327.79/327.96	c       200       361    393.17     98.24      4.00   1000000         0
329.28/329.40	c       176       447    387.18     85.26      4.54   1000000         0
330.68/330.84	c       198       455    386.68     90.81      4.26   1000000         0
332.09/332.29	c       139       394    386.00    107.69      3.58   1000000         0
333.58/333.73	c       154       371    371.96     89.58      4.15   1000000         0
334.98/335.17	c       156       321    387.72     85.10      4.56   1000000         0
336.39/336.60	c        77       280    364.97     93.20      3.92   1000000         0
337.88/338.04	c        90       500    380.41     98.86      3.85   1000000         0
339.28/339.49	c        95       427    380.97     97.48      3.91   1000000         0
340.79/340.92	c       166       330    371.33    103.48      3.59   1000000         0
342.18/342.36	c       141       334    362.20    106.60      3.40   1000000         0
343.68/343.81	c       194       407    404.22    117.56      3.44   1000000         0
345.08/345.25	c       167       324    395.54     99.24      3.99   1000000         0
346.48/346.69	c       125       372    383.46     95.69      4.01   1000000         0
347.98/348.14	c       198       412    384.80     81.20      4.74   1000000         0
349.38/349.59	c       192       339    395.09    105.43      3.75   1000000         0
350.88/351.03	c       185       477    385.96    106.80      3.61   1000000         0
352.28/352.47	c       181       435    379.46     85.17      4.46   1000000         0
353.78/353.91	c       122       339    366.19     90.66      4.04   1000000         0
355.18/355.36	c       172       449    391.39     91.96      4.26   1000000         0
356.67/356.80	c       169       305    381.15     96.91      3.93   1000000         0
358.08/358.24	c       173       371    386.62     90.61      4.27   1000000         0
359.48/359.68	c       153       412    362.47     98.40      3.68   1000000         0
360.98/361.11	c       154       273    370.21     92.42      4.01   1000000         0
362.37/362.56	c       176       469    397.53    103.33      3.85   1000000         0
363.88/364.01	c       144       308    379.82     94.73      4.01   1000000         0
365.27/365.46	c       219       362    405.21     92.09      4.40   1000000         0
366.77/366.91	c       138       430    390.03    105.82      3.69   1000000         0
368.17/368.34	c       129       358    356.96     85.92      4.15   1000000         0
369.58/369.79	c       177       390    381.93    101.44      3.76   1000000         0
371.08/371.23	c       181       493    376.77     94.76      3.98   1000000         0
372.48/372.68	c       190       548    385.51    108.83      3.54   1000000         0
373.98/374.12	c       150       291    376.29    104.68      3.59   1000000         0
375.38/375.57	c       155       450    378.74     99.54      3.80   1000000         0
376.88/377.01	c       189       389    391.37    105.89      3.70   1000000         0
378.29/378.46	c       164       288    389.71    124.53      3.13   1000000         0
379.78/379.90	c       142       333    374.66    106.99      3.50   1000000         0
381.18/381.35	c       143       304    382.48    129.44      2.95   1000000         0
382.58/382.80	c       164       321    387.57    115.28      3.36   1000000         0
384.08/384.24	c       192       465    382.50     90.14      4.24   1000000         0
385.48/385.69	c       153       354    392.77    106.79      3.68   1000000         0
386.98/387.13	c       146       395    364.79    103.65      3.52   1000000         0
388.37/388.58	c       198       370    397.17     95.92      4.14   1000000         0
389.87/390.02	c       169       358    379.85     90.81      4.18   1000000         0
391.27/391.47	c       172       410    387.04     91.91      4.21   1000000         0
392.77/392.92	c       148       351    386.61     93.20      4.15   1000000         0
394.17/394.36	c       181       396    387.07     96.04      4.03   1000000         0
395.67/395.81	c       181       380    395.78     99.01      4.00   1000000         0
397.07/397.25	c       113       478    375.49    105.36      3.56   1000000         0
398.47/398.69	c       171       460    381.96    101.78      3.75   1000000         0
399.97/400.14	c       190       333    388.11     96.71      4.01   1000000         0
401.38/401.58	c       168       331    374.24     87.87      4.26   1000000         0
402.87/403.02	c       209       448    388.01     93.60      4.15   1000000         0
404.27/404.47	c       131       354    393.09    103.33      3.80   1000000         0
405.78/405.92	c       179       295    394.68     86.13      4.58   1000000         0
407.17/407.37	c       177       425    388.14     99.06      3.92   1000000         0
408.67/408.82	c       187       353    400.79     99.90      4.01   1000000         0
410.08/410.26	c       190       346    390.19    104.17      3.75   1000000         0
411.57/411.71	c       171       281    375.96     83.52      4.50   1000000         0
412.97/413.16	c       179       293    391.83     99.14      3.95   1000000         0
414.47/414.61	c       206       421    397.63     95.97      4.14   1000000         0
415.87/416.05	c       142       401    382.51     91.53      4.18   1000000         0
417.37/417.50	c       194       339    392.08     92.73      4.23   1000000         0
418.77/418.95	c       204       372    395.49    109.92      3.60   1000000         0
420.17/420.39	c       196       281    380.12     92.51      4.11   1000000         0
421.67/421.83	c       177       440    384.33    110.55      3.48   1000000         0
423.07/423.28	c       174       316    376.42     97.24      3.87   1000000         0
424.56/424.72	c       202       382    390.44    103.78      3.76   1000000         0
425.96/426.17	c       142       285    372.69     94.24      3.95   1000000         0
427.46/427.61	c       196       269    375.61     97.78      3.84   1000000         0
428.87/429.04	c       141       471    371.56     95.35      3.90   1000000         0
430.26/430.49	c       152       326    389.96     97.83      3.99   1000000         0
431.76/431.93	c       162       442    393.04    100.15      3.92   1000000         0
433.17/433.37	c       164       272    375.31    100.07      3.75   1000000         0
434.66/434.81	c       155       381    378.15    101.15      3.74   1000000         0
436.06/436.25	c       147       320    379.81     97.57      3.89   1000000         0
437.46/437.69	c       192       311    396.53     93.79      4.23   1000000         0
438.96/439.13	c       157       356    364.18     91.64      3.97   1000000         0
440.36/440.58	c       110       363    397.65    109.53      3.63   1000000         0
441.86/442.03	c       126       258    379.22     84.61      4.48   1000000         0
443.26/443.47	c       199       338    392.93     82.44      4.77   1000000         0
444.76/444.92	c       211       486    402.47     95.41      4.22   1000000         0
446.16/446.37	c       203       349    386.47    109.46      3.53   1000000         0
447.66/447.80	c       107       390    373.06     90.42      4.13   1000000         0
449.06/449.25	c       183       297    377.82    105.50      3.58   1000000         0
450.46/450.69	c       189       410    384.94     96.21      4.00   1000000         0
451.97/452.13	c       147       316    382.34     94.09      4.06   1000000         0
453.36/453.58	c       193       290    391.44     89.47      4.38   1000000         0
454.86/455.02	c       143       451    383.72    107.25      3.58   1000000         0
456.26/456.46	c       166       390    376.71     89.15      4.23   1000000         0
457.76/457.91	c       180       361    385.03     99.11      3.88   1000000         0
459.16/459.35	c       150       336    366.97     88.07      4.17   1000000         0
460.55/460.79	c       181       390    369.85     99.35      3.72   1000000         0
462.06/462.23	c       174       331    379.30     94.55      4.01   1000000         0
463.46/463.68	c       199       327    389.34     87.60      4.44   1000000         0
464.96/465.12	c       152       324    385.25    103.38      3.73   1000000         0
466.36/466.57	c       166       480    382.59     98.99      3.87   1000000         0
467.85/468.00	c       159       390    365.10     93.49      3.91   1000000         0
469.25/469.45	c       193       337    408.57    100.27      4.07   1000000         0
470.66/470.88	c       137       401    359.39    100.16      3.59   1000000         0
472.15/472.32	c       119       356    382.92    110.11      3.48   1000000         0
473.55/473.77	c       166       386    389.62    102.07      3.82   1000000         0
475.06/475.21	c       166       416    384.00     86.39      4.44   1000000         0
476.45/476.66	c       193       264    390.33     94.10      4.15   1000000         0
477.85/478.09	c       169       386    365.08    101.38      3.60   1000000         0
479.36/479.53	c       176       313    371.42    100.49      3.70   1000000         0
480.75/480.97	c       160       406    368.47    100.00      3.68   1000000         0
482.25/482.42	c       203       387    405.17    101.59      3.99   1000000         0
483.65/483.87	c       169       338    401.48    115.84      3.47   1000000         0
485.15/485.32	c       180       341    387.82    102.57      3.78   1000000         0
486.55/486.78	c       186       430    410.11     98.12      4.18   1000000         0
488.05/488.22	c       149       433    382.21     86.76      4.41   1000000         0
489.45/489.68	c       151       523    390.23     92.87      4.20   1000000         0
490.95/491.13	c       212       406    406.52     84.76      4.80   1000000         0
492.35/492.57	c       192       522    387.13     92.69      4.18   1000000         0
493.85/494.02	c       162       392    394.64     99.38      3.97   1000000         0
495.25/495.47	c       203       336    402.88     94.37      4.27   1000000         0
496.75/496.91	c       172       389    380.47    101.64      3.74   1000000         0
498.15/498.35	c       168       471    385.91     94.83      4.07   1000000         0
499.55/499.79	c       142       421    387.80    101.94      3.80   1000000         0
501.05/501.24	c       183       321    388.00    108.48      3.58   1000000         0
502.45/502.68	c       181       335    368.87    104.48      3.53   1000000         0
503.94/504.12	c       162       366    382.58    102.09      3.75   1000000         0
505.34/505.57	c       197       529    401.64    107.44      3.74   1000000         0
506.85/507.02	c       216       448    377.45     94.98      3.97   1000000         0
508.24/508.47	c       211       473    404.15     93.39      4.33   1000000         0
509.74/509.92	c       195       358    392.28     95.64      4.10   1000000         0
511.14/511.36	c       161       381    383.97     85.45      4.49   1000000         0
512.64/512.80	c       126       331    382.76    105.74      3.62   1000000         0
514.04/514.25	c       172       323    399.03     94.36      4.23   1000000         0
515.54/515.70	c       146       353    367.86     91.57      4.02   1000000         0
516.94/517.14	c       187       324    366.06     96.30      3.80   1000000         0
518.34/518.57	c       126       319    356.03     98.47      3.62   1000000         0
519.84/520.01	c       166       334    374.24    100.43      3.73   1000000         0
521.25/521.45	c       177       391    377.45    101.56      3.72   1000000         0
522.74/522.90	c       179       320    394.68     98.74      4.00   1000000         0
524.14/524.35	c       192       343    390.33     98.41      3.97   1000000         0
525.55/525.79	c       189       346    375.38     97.45      3.85   1000000         0
527.03/527.25	c       147       485    383.95    100.47      3.82   1000000         0
528.43/528.69	c       204       346    385.61     93.40      4.13   1000000         0
529.94/530.13	c       155       358    376.95     93.06      4.05   1000000         0
531.33/531.58	c       181       413    396.12     90.35      4.38   1000000         0
532.83/533.02	c       152       301    375.28    104.08      3.61   1000000         0
534.23/534.47	c       178       230    391.65     77.53      5.05   1000000         0
535.73/535.93	c       139       376    400.42    106.44      3.76   1000000         0
537.13/537.37	c       190       493    381.18     87.14      4.37   1000000         0
538.63/538.80	c       157       297    382.32    106.38      3.59   1000000         0
540.03/540.24	c       123       415    388.08     98.04      3.96   1000000         0
541.43/541.69	c       171       301    404.24     93.10      4.34   1000000         0
542.93/543.13	c       206       332    383.67     89.75      4.27   1000000         0
544.33/544.57	c       181       357    379.73     90.42      4.20   1000000         0
545.83/546.02	c       159       312    393.74     99.60      3.95   1000000         0
547.23/547.45	c       158       293    369.56     98.19      3.76   1000000         0
548.63/548.90	c       158       513    404.63    102.92      3.93   1000000         0
550.13/550.34	c       151       409    362.67     89.27      4.06   1000000         0
551.53/551.78	c       166       409    388.96     99.52      3.91   1000000         0
553.03/553.22	c       164       365    374.88    111.72      3.36   1000000         0
554.42/554.67	c       159       324    396.43     90.19      4.40   1000000         0
555.92/556.12	c       188       347    387.04    104.73      3.70   1000000         0
557.32/557.57	c       193       458    409.19    121.54      3.37   1000000         0
558.82/559.02	c       217       353    408.37     95.81      4.26   1000000         0
560.22/560.46	c       170       345    376.37    113.93      3.30   1000000         0
561.72/561.90	c       179       424    380.26     85.46      4.45   1000000         0
563.12/563.34	c       184       432    379.42    100.18      3.79   1000000         0
564.52/564.78	c       180       348    379.56     76.52      4.96   1000000         0
566.02/566.23	c       166       266    389.82    125.63      3.10   1000000         0
567.43/567.68	c       189       319    395.63    109.96      3.60   1000000         0
568.92/569.13	c       167       495    382.21     91.79      4.16   1000000         0
570.32/570.58	c       156       399    381.83    105.15      3.63   1000000         0
571.83/572.02	c       165       340    379.41    101.54      3.74   1000000         0
573.22/573.47	c       171       379    404.99    117.03      3.46   1000000         0
574.72/574.92	c       137       338    387.87     88.14      4.40   1000000         0
576.13/576.37	c       154       320    377.74    106.95      3.53   1000000         0
577.62/577.81	c       190       448    390.32     85.95      4.54   1000000         0
579.02/579.25	c       146       372    377.50     87.94      4.29   1000000         0
580.42/580.69	c       192       405    371.27     84.34      4.40   1000000         0
581.92/582.13	c       157       309    374.97    107.47      3.49   1000000         0
583.32/583.59	c       199       317    407.15     99.73      4.08   1000000         0
584.82/585.05	c       207       420    405.22    103.58      3.91   1000000         0
586.32/586.50	c       176       414    382.63     97.24      3.93   1000000         0
587.71/587.93	c       150       381    363.58     95.68      3.80   1000000         0
589.11/589.37	c       202       291    381.42     80.17      4.76   1000000         0
590.61/590.82	c       154       320    395.55     90.25      4.38   1000000         0
592.01/592.26	c       185       248    379.72    102.54      3.70   1000000         0
593.51/593.70	c       188       388    377.25     96.76      3.90   1000000         0
594.92/595.15	c       186       567    390.64    104.30      3.75   1000000         0
596.31/596.60	c       171       282    403.22     86.45      4.66   1000000         0
597.81/598.03	c       171       387    371.93     81.93      4.54   1000000         0
599.22/599.47	c       147       388    376.45     90.23      4.17   1000000         0
600.71/600.92	c       207       366    399.92     98.12      4.08   1000000         0
602.11/602.36	c       185       394    387.06     95.95      4.03   1000000         0
603.62/603.82	c       168       477    403.01    104.67      3.85   1000000         0
605.01/605.26	c       130       327    376.01    106.34      3.54   1000000         0
606.51/606.70	c       167       366    376.97     98.33      3.83   1000000         0
607.91/608.15	c       151       394    386.06     98.45      3.92   1000000         0
609.31/609.59	c       142       362    382.05    101.50      3.76   1000000         0
610.81/611.03	c       136       484    369.47    111.34      3.32   1000000         0
612.21/612.47	c       143       357    384.72    106.77      3.60   1000000         0
613.71/613.92	c       158       308    386.82     96.33      4.02   1000000         0
615.11/615.36	c       138       358    378.33    102.96      3.67   1000000         0
616.61/616.80	c       165       477    394.16     99.41      3.97   1000000         0
618.02/618.25	c       200       332    384.15     94.60      4.06   1000000         0
619.41/619.69	c       187       312    384.11     99.41      3.86   1000000         0
620.91/621.14	c       159       430    383.89     96.70      3.97   1000000         0
622.31/622.59	c       183       370    406.16    114.70      3.54   1000000         0
623.81/624.04	c       179       378    386.38     95.43      4.05   1000000         0
625.20/625.48	c       123       396    374.53    115.73      3.24   1000000         0
626.71/626.93	c       211       434    399.91    105.15      3.80   1000000         0
628.10/628.37	c       196       317    381.09     82.66      4.61   1000000         0
629.60/629.82	c       160       446    382.80    121.69      3.15   1000000         0
631.00/631.27	c       200       330    395.33    100.16      3.95   1000000         0
632.50/632.71	c       202       310    399.27     94.42      4.23   1000000         0
633.90/634.15	c       143       318    383.60     94.22      4.07   1000000         0
635.40/635.60	c       142       362    396.46     92.41      4.29   1000000         0
636.80/637.04	c       169       466    380.52     83.14      4.58   1000000         0
638.20/638.48	c       173       396    387.08    100.85      3.84   1000000         0
639.70/639.92	c       171       324    376.41     92.87      4.05   1000000         0
641.11/641.37	c       213       463    400.47     86.05      4.65   1000000         0
642.60/642.83	c       196       436    402.53    104.82      3.84   1000000         0
644.00/644.26	c       163       434    372.28     94.98      3.92   1000000         0
645.51/645.71	c       181       286    381.71     83.68      4.56   1000000         0
646.90/647.15	c       153       368    387.43    106.56      3.64   1000000         0
648.40/648.61	c       191       424    411.16    106.71      3.85   1000000         0
649.81/650.05	c       146       453    392.20    103.60      3.79   1000000         0
651.20/651.49	c       175       500    383.76    100.04      3.84   1000000         0
652.70/652.94	c       191       405    390.35     87.62      4.45   1000000         0
654.10/654.39	c       214       373    393.61    102.63      3.84   1000000         0
655.60/655.83	c       174       256    369.91     99.69      3.71   1000000         0
657.00/657.27	c       159       406    368.48    111.48      3.31   1000000         0
658.50/658.71	c       167       429    379.87     98.46      3.86   1000000         0
659.90/660.15	c       155       323    374.89     92.83      4.04   1000000         0
661.40/661.60	c       177       327    390.49     88.02      4.44   1000000         0
662.80/663.04	c       179       417    389.06    118.57      3.28   1000000         0
664.20/664.49	c       197       285    408.42     98.86      4.13   1000000         0
665.69/665.93	c       143       394    373.07    111.17      3.36   1000000         0
667.09/667.38	c       199       346    387.45     98.60      3.93   1000000         0
668.60/668.83	c       191       327    398.27     99.11      4.02   1000000         0
669.99/670.27	c       180       397    390.27    102.96      3.79   1000000         0
671.49/671.71	c       153       254    381.50    105.03      3.63   1000000         0
672.90/673.17	c       203       440    395.25    105.12      3.76   1000000         0
674.39/674.61	c       152       421    386.90    108.34      3.57   1000000         0
675.79/676.05	c       152       396    381.04    105.77      3.60   1000000         0
677.19/677.50	c       170       333    413.63    111.13      3.72   1000000         0
678.69/678.95	c       196       452    381.92     87.13      4.38   1000000         0
680.09/680.39	c       166       244    394.42     91.93      4.29   1000000         0
681.59/681.83	c       138       289    379.08    108.59      3.49   1000000         0
682.99/683.28	c       210       327    395.09     78.47      5.03   1000000         0
684.49/684.72	c       181       411    385.80    106.14      3.63   1000000         0
685.89/686.17	c       115       282    371.86    101.38      3.67   1000000         0
687.39/687.61	c       187       391    384.98     87.81      4.38   1000000         0
688.79/689.07	c       179       323    399.35    101.05      3.95   1000000         0
690.29/690.50	c       151       434    360.81    103.63      3.48   1000000         0
691.69/691.94	c       191       366    399.29     98.57      4.05   1000000         0
693.19/693.40	c       189       503    404.79     96.22      4.21   1000000         0
694.59/694.84	c       145       344    370.97    100.99      3.67   1000000         0
695.99/696.29	c       205       382    405.16     87.68      4.62   1000000         0
697.49/697.73	c       180       316    365.67     81.76      4.47   1000000         0
698.89/699.17	c       183       376    381.66     98.46      3.88   1000000         0
700.39/700.62	c       141       314    376.53    105.16      3.58   1000000         0
701.79/702.06	c       129       392    383.42     90.43      4.24   1000000         0
703.29/703.51	c       185       347    394.53     98.92      3.99   1000000         0
704.68/704.96	c       184       224    383.39     94.40      4.06   1000000         0
706.18/706.40	c       167       372    398.48     83.98      4.75   1000000         0
707.58/707.85	c       183       331    400.91     97.25      4.12   1000000         0
708.98/709.29	c       149       412    379.28     99.52      3.81   1000000         0
710.48/710.73	c       128       438    388.58     98.06      3.96   1000000         0
711.88/712.18	c       113       385    386.47    108.63      3.56   1000000         0
713.38/713.63	c       194       291    402.62     96.78      4.16   1000000         0
714.79/715.08	c       141       374    381.85     93.44      4.09   1000000         0
716.28/716.52	c       126       385    383.54    102.99      3.72   1000000         0
717.68/717.97	c       182       269    393.91     98.35      4.01   1000000         0
719.19/719.41	c       183       275    389.84     96.14      4.05   1000000         0
720.58/720.85	c       206       327    396.23    100.14      3.96   1000000         0
722.08/722.31	c       194       443    409.97    107.46      3.82   1000000         0
723.49/723.75	c       133       389    384.86     92.50      4.16   1000000         0
724.88/725.19	c       141       392    380.98    102.37      3.72   1000000         0
726.38/726.64	c       186       371    377.45     99.87      3.78   1000000         0
727.78/728.08	c       187       326    375.73     88.83      4.23   1000000         0
729.28/729.53	c       214       374    396.78     92.44      4.29   1000000         0
730.68/730.98	c       164       329    395.35    110.95      3.56   1000000         0
732.18/732.42	c       157       381    382.37     94.51      4.05   1000000         0
733.58/733.87	c       160       411    374.48     83.88      4.46   1000000         0
735.08/735.31	c       190       442    388.02     88.44      4.39   1000000         0
736.48/736.75	c       171       266    374.49    111.90      3.35   1000000         0
737.88/738.19	c       154       396    378.42    108.93      3.47   1000000         0
739.38/739.64	c       212       287    381.61     76.81      4.97   1000000         0
740.77/741.08	c       195       299    383.35    105.33      3.64   1000000         0
742.28/742.52	c       128       359    376.30     84.57      4.45   1000000         0
743.67/743.96	c       120       322    380.91     92.43      4.12   1000000         0
745.17/745.41	c       192       319    395.16     92.90      4.25   1000000         0
746.58/746.84	c       133       483    361.16    110.65      3.26   1000000         0
747.97/748.28	c       179       403    383.64    109.24      3.51   1000000         0
749.47/749.73	c       203       323    387.75     85.70      4.52   1000000         0
750.87/751.17	c       204       362    380.90    119.22      3.19   1000000         0
752.37/752.61	c       199       480    374.72     95.30      3.93   1000000         0
753.77/754.06	c       204       342    399.33     96.64      4.13   1000000         0
755.27/755.52	c       152       456    398.21    102.78      3.87   1000000         0
756.67/756.97	c       193       297    404.16    102.50      3.94   1000000         0
758.17/758.42	c       180       386    378.99    100.51      3.77   1000000         0
759.57/759.87	c       172       414    395.83     95.73      4.13   1000000         0
761.07/761.31	c       189       393    387.75     95.39      4.06   1000000         0
762.47/762.76	c       191       248    389.83    102.20      3.81   1000000         0
763.97/764.21	c       140       396    385.80    107.22      3.60   1000000         0
765.38/765.65	c       127       273    378.13     98.01      3.86   1000000         0
766.77/767.09	c       223       376    400.03     78.57      5.09   1000000         0
768.27/768.54	c       181       422    390.46    117.12      3.33   1000000         0
769.67/770.00	c       200       396    399.91    114.79      3.48   1000000         0
771.17/771.44	c       174       289    380.42     85.34      4.46   1000000         0
772.57/772.89	c       188       317    402.37    119.53      3.37   1000000         0
774.07/774.33	c       162       423    382.11    111.35      3.43   1000000         0
775.46/775.77	c       194       342    370.05     98.72      3.75   1000000         0
776.96/777.22	c       176       265    385.72     90.50      4.26   1000000         0
778.36/778.65	c       147       366    369.09    104.38      3.54   1000000         0
779.86/780.10	c       174       340    373.89     93.55      4.00   1000000         0
781.26/781.53	c       149       324    352.09    103.14      3.41   1000000         0
782.66/782.98	c       201       501    385.93     93.95      4.11   1000000         0
784.16/784.42	c       161       392    395.01    117.44      3.36   1000000         0
785.56/785.86	c       157       286    360.03    111.45      3.23   1000000         0
787.06/787.30	c       187       361    380.79    102.54      3.71   1000000         0
788.47/788.74	c       158       380    381.44     95.22      4.01   1000000         0
789.86/790.19	c       162       388    389.56     95.15      4.09   1000000         0
791.36/791.63	c       179       385    387.28     94.15      4.11   1000000         0
792.76/793.08	c       163       321    376.73     87.58      4.30   1000000         0
794.26/794.51	c       172       287    368.43     88.22      4.18   1000000         0
795.66/795.95	c       191       321    376.04    101.49      3.70   1000000         0
797.05/797.40	c       151       302    393.66    111.15      3.54   1000000         0
798.55/798.85	c       149       460    395.25     92.86      4.26   1000000         0
799.95/800.30	c       136       459    387.17    103.58      3.74   1000000         0
801.45/801.74	c       196       399    395.49     95.66      4.13   1000000         0
802.85/803.19	c       192       353    398.90    101.36      3.94   1000000         0
804.35/804.64	c       116       295    376.64    107.36      3.51   1000000         0
805.75/806.08	c       177       394    384.83     96.41      3.99   1000000         0
807.25/807.53	c       167       380    389.76     97.49      4.00   1000000         0
808.65/808.96	c       149       405    369.08     94.17      3.92   1000000         0
810.15/810.40	c       128       337    353.53     95.19      3.71   1000000         0
811.56/811.84	c       141       297    384.47    111.06      3.46   1000000         0
812.95/813.28	c       164       338    362.39     94.91      3.82   1000000         0
814.45/814.72	c       177       295    389.49     98.86      3.94   1000000         0
815.86/816.16	c       158       321    381.48    104.26      3.66   1000000         0
817.35/817.61	c       145       402    377.05     99.11      3.80   1000000         0
818.75/819.05	c       173       305    378.51    106.28      3.56   1000000         0
820.15/820.49	c       163       375    379.90     99.29      3.83   1000000         0
821.65/821.93	c       190       367    381.93    110.19      3.47   1000000         0
823.05/823.38	c       194       349    383.48    102.92      3.73   1000000         0
824.55/824.82	c       155       333    380.44    101.31      3.76   1000000         0
825.95/826.26	c       166       308    366.86     98.33      3.73   1000000         0
827.44/827.70	c       151       288    375.21    111.44      3.37   1000000         0
828.84/829.14	c       187       305    385.04    101.81      3.78   1000000         0
830.25/830.59	c       163       303    379.99    115.11      3.30   1000000         0
831.74/832.04	c       183       432    392.13     93.45      4.20   1000000         0
833.14/833.48	c       182       401    400.66     99.70      4.02   1000000         0
834.65/834.93	c       140       276    393.34     93.73      4.20   1000000         0
836.04/836.38	c       174       236    389.61     98.64      3.95   1000000         0
837.54/837.83	c       195       384    394.94    116.09      3.40   1000000         0
838.95/839.27	c       140       407    381.48    116.14      3.28   1000000         0
840.44/840.71	c       140       443    377.63    121.39      3.11   1000000         0
841.84/842.14	c       169       394    367.13     89.33      4.11   1000000         0
843.24/843.59	c       195       451    387.26    111.72      3.47   1000000         0
844.74/845.04	c       132       388    396.47    106.85      3.71   1000000         0
846.14/846.49	c       224       460    404.93     91.30      4.44   1000000         0
847.64/847.93	c       151       314    369.89    102.18      3.62   1000000         0
849.04/849.37	c       164       368    397.85     94.94      4.19   1000000         0
850.54/850.81	c       143       298    374.10    111.94      3.34   1000000         0
851.94/852.27	c       205       332    410.44    105.93      3.87   1000000         0
853.44/853.71	c       161       350    370.51    119.50      3.10   1000000         0
854.84/855.15	c       191       373    383.38    109.70      3.49   1000000         0
856.24/856.59	c       148       418    382.42     90.56      4.22   1000000         0
857.74/858.04	c       166       387    392.33     96.71      4.06   1000000         0
859.14/859.48	c       181       373    384.24    108.97      3.53   1000000         0
860.63/860.92	c       150       268    376.47    131.70      2.86   1000000         0
862.04/862.37	c       166       306    386.12     97.02      3.98   1000000         0
863.53/863.80	c       139       382    377.63     93.34      4.05   1000000         0
864.93/865.25	c       154       372    378.83    105.70      3.58   1000000         0
866.33/866.69	c       173       369    374.80    102.24      3.67   1000000         0
867.83/868.13	c       154       378    383.08     99.97      3.83   1000000         0
869.23/869.58	c       156       488    390.50     98.53      3.96   1000000         0
870.73/871.02	c       195       415    384.70     96.76      3.98   1000000         0
872.13/872.47	c       174       329    386.23    114.81      3.36   1000000         0
873.63/873.92	c       143       515    392.93    112.52      3.49   1000000         0
875.03/875.36	c       154       282    387.72    105.88      3.66   1000000         0
876.53/876.80	c       148       305    389.17     96.75      4.02   1000000         0
877.93/878.25	c       178       379    398.19    108.11      3.68   1000000         0
879.33/879.69	c       187       404    378.89     91.33      4.15   1000000         0
880.84/881.14	c       158       385    396.31    109.75      3.61   1000000         0
882.23/882.58	c       182       304    384.59     98.37      3.91   1000000         0
883.73/884.02	c       135       422    356.36     86.79      4.11   1000000         0
885.14/885.46	c       170       389    387.26    103.07      3.76   1000000         0
886.63/886.90	c       187       382    382.51     91.52      4.18   1000000         0
888.03/888.34	c       182       344    379.33     96.10      3.95   1000000         0
889.43/889.79	c       148       351    383.44    113.90      3.37   1000000         0
890.93/891.23	c       203       377    386.77     79.91      4.84   1000000         0
892.33/892.68	c       147       252    384.52     83.42      4.61   1000000         0
893.82/894.12	c       170       320    386.61    100.76      3.84   1000000         0
895.22/895.57	c       189       424    387.89    107.47      3.61   1000000         0
896.72/897.02	c       156       347    396.68     97.04      4.09   1000000         0
898.12/898.47	c       204       525    412.01    104.28      3.95   1000000         0
899.62/899.91	c       190       441    386.12    101.01      3.82   1000000         0
901.02/901.36	c       169       404    387.65    101.86      3.81   1000000         0
902.52/902.81	c       164       273    390.13    109.29      3.57   1000000         0
903.93/904.26	c       203       252    385.61     79.60      4.84   1000000         0
905.42/905.71	c       170       438    397.04     87.54      4.54   1000000         0
906.82/907.15	c       148       324    369.89    117.34      3.15   1000000         0
908.22/908.60	c       166       377    381.27     96.25      3.96   1000000         0
909.72/910.05	c       176       391    396.98    118.11      3.36   1000000         0
911.12/911.49	c       150       397    382.63    109.57      3.49   1000000         0
912.62/912.94	c       183       347    396.53     99.95      3.97   1000000         0
914.01/914.39	c       187       374    394.00    110.46      3.57   1000000         0
915.51/915.83	c       181       288    383.21     87.69      4.37   1000000         0
916.91/917.29	c       189       457    413.82    102.05      4.06   1000000         0
918.41/918.73	c       173       404    383.69    105.03      3.65   1000000         0
919.81/920.18	c       171       392    404.10    102.52      3.94   1000000         0
921.31/921.63	c       170       398    385.47    104.78      3.68   1000000         0
922.71/923.08	c       175       442    397.27    108.26      3.67   1000000         0
924.21/924.53	c       165       413    403.35    109.15      3.70   1000000         0
925.61/925.98	c       206       424    393.78    114.66      3.43   1000000         0
927.11/927.43	c       149       288    393.26    106.99      3.68   1000000         0
928.51/928.87	c       181       358    389.46     99.09      3.93   1000000         0
930.01/930.32	c       152       420    363.73     89.19      4.08   1000000         0
931.41/931.75	c       161       348    372.63     87.82      4.24   1000000         0
932.81/933.19	c       182       403    384.50     89.33      4.30   1000000         0
934.30/934.64	c       173       427    387.95    105.33      3.68   1000000         0
935.71/936.08	c       180       354    379.96     96.35      3.94   1000000         0
937.21/937.52	c       152       298    392.93    108.11      3.63   1000000         0
938.60/938.97	c       142       319    376.78     95.28      3.95   1000000         0
940.11/940.41	c       144       300    397.34    105.52      3.77   1000000         0
941.50/941.85	c       140       259    383.38    107.11      3.58   1000000         0
943.00/943.31	c       189       420    415.13     97.45      4.26   1000000         0
944.40/944.76	c       163       297    382.82     98.44      3.89   1000000         0
945.90/946.21	c       158       296    398.77    105.48      3.78   1000000         0
947.30/947.64	c       184       274    383.55    112.38      3.41   1000000         0
948.70/949.09	c       187       387    376.29     99.33      3.79   1000000         0
950.20/950.54	c       187       252    396.38    106.69      3.72   1000000         0
951.60/951.98	c       150       358    394.38     95.21      4.14   1000000         0
953.10/953.42	c       191       403    378.60     87.77      4.31   1000000         0
954.50/954.87	c       190       406    385.19     97.58      3.95   1000000         0
956.00/956.32	c       186       435    394.94     88.00      4.49   1000000         0
957.40/957.77	c       170       343    398.68    101.23      3.94   1000000         0
958.90/959.21	c       188       306    373.60     90.89      4.11   1000000         0
960.30/960.66	c       196       310    394.34    104.86      3.76   1000000         0
961.79/962.11	c       173       421    390.74     91.95      4.25   1000000         0
963.20/963.55	c       168       315    378.30     98.67      3.83   1000000         0
964.59/964.99	c       137       416    378.52     81.78      4.63   1000000         0
966.09/966.44	c       148       352    398.14    103.89      3.83   1000000         0
967.49/967.89	c       227       352    396.88     98.62      4.02   1000000         0
968.99/969.34	c       202       369    393.85    104.81      3.76   1000000         0
970.39/970.79	c       200       360    383.55     72.36      5.30   1000000         0
971.89/972.24	c       155       422    400.16    119.20      3.36   1000000         0
973.29/973.68	c       164       394    380.79     92.44      4.12   1000000         0
974.79/975.12	c       146       404    371.40    100.05      3.71   1000000         0
976.19/976.57	c       173       417    396.59    106.67      3.72   1000000         0
977.69/978.01	c       164       248    382.41     95.98      3.98   1000000         0
979.09/979.47	c       211       424    404.83    102.74      3.94   1000000         0
980.59/980.92	c       206       425    397.54     93.73      4.24   1000000         0
981.99/982.36	c       153       275    382.36     93.23      4.10   1000000         0
983.48/983.80	c       173       443    378.08    110.75      3.41   1000000         0
984.88/985.24	c       182       325    378.96     87.50      4.33   1000000         0
986.29/986.68	c       148       416    379.76     85.03      4.47   1000000         0
987.78/988.13	c       159       323    384.09    115.16      3.34   1000000         0
989.18/989.58	c       137       422    390.48    100.87      3.87   1000000         0
990.69/991.02	c       168       417    390.84     93.52      4.18   1000000         0
992.08/992.48	c       201       412    412.66    106.35      3.88   1000000         0
993.58/993.92	c       167       382    384.07    102.75      3.74   1000000         0
994.98/995.36	c       153       415    374.55    107.27      3.49   1000000         0
996.48/996.81	c       181       356    387.97     99.60      3.90   1000000         0
997.88/998.25	c       122       314    366.05    120.35      3.04   1000000         0
999.28/999.69	c       175       329    368.70    104.93      3.51   1000000         0
1000.78/1001.13	c       155       395    371.49    101.49      3.66   1000000         0
1002.18/1002.57	c       169       345    372.62     81.17      4.59   1000000         0
1003.68/1004.01	c       150       422    374.93     99.00      3.79   1000000         0
1005.08/1005.45	c       132       399    377.17     89.98      4.19   1000000         0
1006.47/1006.89	c       157       388    375.67    111.92      3.36   1000000         0
1007.97/1008.33	c       161       433    366.35     91.74      3.99   1000000         0
1009.38/1009.77	c       170       353    379.62     94.51      4.02   1000000         0
1010.87/1011.22	c       175       308    390.06     97.50      4.00   1000000         0
1012.27/1012.66	c       162       427    373.53     99.84      3.74   1000000         0
1013.67/1014.10	c       170       354    382.85     93.40      4.10   1000000         0
1015.17/1015.55	c       204       374    389.38     90.23      4.32   1000000         0
1016.57/1016.99	c       190       395    394.74     95.56      4.13   1000000         0
1018.07/1018.44	c       198       321    387.63     84.26      4.60   1000000         0
1019.47/1019.89	c       196       399    407.34     96.22      4.23   1000000         0
1020.97/1021.33	c       178       333    375.76    102.52      3.67   1000000         0
1022.37/1022.78	c       192       336    395.71     95.46      4.15   1000000         0
1023.87/1024.23	c       160       380    383.25     92.77      4.13   1000000         0
1025.27/1025.68	c       174       377    406.11    107.99      3.76   1000000         0
1026.77/1027.13	c       209       422    401.94    103.92      3.87   1000000         0
1028.18/1028.59	c       219       273    407.45    104.03      3.92   1000000         0
1029.67/1030.04	c       201       429    408.08    101.01      4.04   1000000         0
1031.07/1031.49	c       172       287    393.27     98.60      3.99   1000000         0
1032.57/1032.95	c       194       359    425.54     99.91      4.26   1000000         0
1033.96/1034.39	c       112       315    372.44     90.46      4.12   1000000         0
1035.46/1035.84	c       172       326    395.39     98.61      4.01   1000000         0
1036.87/1037.28	c       158       278    386.52     78.76      4.91   1000000         0
1038.36/1038.73	c       194       337    399.42    102.18      3.91   1000000         0
1039.76/1040.17	c       137       421    367.86     92.64      3.97   1000000         0
1041.27/1041.61	c       194       371    397.87    111.73      3.56   1000000         0
1042.66/1043.07	c       174       404    396.36    104.91      3.78   1000000         0
1044.16/1044.51	c       142       230    376.59    110.14      3.42   1000000         0
1045.56/1045.95	c       132       448    380.66     98.30      3.87   1000000         0
1047.06/1047.40	c       174       460    382.57     98.39      3.89   1000000         0
1048.46/1048.84	c       165       407    364.31    116.62      3.12   1000000         0
1049.86/1050.29	c       155       338    392.82    110.39      3.56   1000000         0
1051.36/1051.73	c       171       334    378.66    104.13      3.64   1000000         0
1052.76/1053.17	c       148       559    371.79    103.71      3.58   1000000         0
1054.26/1054.62	c       169       344    402.04     92.59      4.34   1000000         0
1055.66/1056.06	c       170       296    380.75    108.26      3.52   1000000         0
1057.16/1057.50	c       180       317    386.64     96.76      4.00   1000000         0
1058.56/1058.94	c       159       337    381.05     99.71      3.82   1000000         0
1059.97/1060.39	c       154       313    391.89     96.34      4.07   1000000         0
1061.46/1061.84	c       125       324    380.23    102.47      3.71   1000000         0
1062.86/1063.28	c       208       393    385.14     83.64      4.60   1000000         0
1064.37/1064.73	c       161       437    394.86     92.17      4.28   1000000         0
1065.76/1066.17	c       199       333    393.44    107.62      3.66   1000000         0
1067.26/1067.62	c       151       397    392.39     94.99      4.13   1000000         0
1068.66/1069.06	c       177       347    395.57    100.00      3.96   1000000         0
1070.16/1070.51	c       153       257    381.53    106.14      3.59   1000000         0
1071.56/1071.95	c       128       241    387.22    105.51      3.67   1000000         0
1072.96/1073.39	c       153       382    373.25     80.23      4.65   1000000         0
1074.46/1074.83	c       152       309    368.54    101.14      3.64   1000000         0
1075.86/1076.28	c       196       310    407.49     93.71      4.35   1000000         0
1077.36/1077.73	c       182       564    392.58     94.03      4.17   1000000         0
1078.77/1079.17	c       158       490    388.85    130.79      2.97   1000000         0
1080.26/1080.63	c       156       439    416.05     99.03      4.20   1000000         0
1081.66/1082.08	c       192       346    388.84    101.88      3.82   1000000         0
1083.17/1083.53	c       217       363    408.02     92.32      4.42   1000000         0
1084.56/1084.98	c       157       492    391.69    107.94      3.63   1000000         0
1086.06/1086.42	c       187       334    383.50     87.22      4.40   1000000         0
1087.47/1087.87	c       188       343    390.66     97.55      4.00   1000000         0
1088.96/1089.32	c       145       465    390.27    105.95      3.68   1000000         0
1090.36/1090.76	c       153       418    374.86    110.97      3.38   1000000         0
1091.76/1092.20	c       170       184    377.80    100.99      3.74   1000000         0
1093.26/1093.64	c       173       370    371.54     98.00      3.79   1000000         0
1094.66/1095.08	c       182       281    387.14    101.94      3.80   1000000         0
1096.16/1096.52	c       188       284    374.14     91.69      4.08   1000000         0
1097.56/1097.96	c       173       257    387.32    106.60      3.63   1000000         0
1099.05/1099.41	c       180       317    397.58     90.24      4.41   1000000         0
1100.45/1100.84	c       173       300    377.56     98.07      3.85   1000000         0
1101.86/1102.29	c       202       343    396.53     94.01      4.22   1000000         0
1103.35/1103.73	c       170       449    361.36    106.54      3.39   1000000         0
1104.75/1105.17	c       149       339    391.43    115.21      3.40   1000000         0
1106.26/1106.62	c       157       449    388.46    101.76      3.82   1000000         0
1107.65/1108.06	c       179       272    387.83    104.99      3.69   1000000         0
1109.15/1109.51	c       153       427    390.06    109.86      3.55   1000000         0
1110.56/1110.95	c       156       291    385.89    100.84      3.83   1000000         0
1112.05/1112.40	c       150       382    387.29     99.27      3.90   1000000         0
1113.45/1113.84	c       169       395    376.60    109.33      3.44   1000000         0
1114.85/1115.28	c       183       307    384.32     85.35      4.50   1000000         0
1116.35/1116.72	c       169       437    377.39     98.84      3.82   1000000         0
1117.75/1118.16	c       183       394    388.97    106.54      3.65   1000000         0
1119.25/1119.60	c       145       299    377.75    115.29      3.28   1000000         0
1120.65/1121.05	c       192       421    393.74     83.33      4.73   1000000         0
1122.05/1122.49	c       156       178    378.36     91.90      4.12   1000000         0
1123.55/1123.94	c       215       371    396.29    119.73      3.31   1000000         0
1124.95/1125.39	c       216       420    400.94     96.83      4.14   1000000         0
1126.44/1126.84	c       181       381    394.48    103.33      3.82   1000000         0
1127.84/1128.28	c       202       422    394.88     94.70      4.17   1000000         0
1129.35/1129.73	c       140       444    380.36     94.10      4.04   1000000         0
1130.74/1131.18	c       148       447    381.72    126.00      3.03   1000000         0
1132.24/1132.63	c       148       275    382.38    102.24      3.74   1000000         0
1133.65/1134.07	c       182       329    372.22     88.46      4.21   1000000         0
1135.14/1135.50	c       141       407    364.85     98.91      3.69   1000000         0
1136.54/1136.94	c       177       312    373.58     81.85      4.56   1000000         0
1137.94/1138.38	c       169       312    385.24     90.81      4.24   1000000         0
1139.44/1139.83	c       179       529    396.79    100.83      3.94   1000000         0
1140.84/1141.27	c       181       434    383.36     87.64      4.37   1000000         0
1142.34/1142.71	c       162       432    379.39    107.31      3.54   1000000         0
1143.74/1144.16	c       207       343    386.66     85.39      4.53   1000000         0
1145.14/1145.59	c       120       413    377.99     90.44      4.18   1000000         0
1146.64/1147.04	c       135       275    381.31    102.12      3.73   1000000         0
1148.04/1148.49	c       159       424    386.01     99.95      3.86   1000000         0
1149.54/1149.93	c       149       349    364.58     90.23      4.04   1000000         0
1150.94/1151.37	c       146       298    397.03     99.09      4.01   1000000         0
1152.44/1152.82	c       195       407    379.96     93.38      4.07   1000000         0
1153.83/1154.26	c       211       308    395.62     86.73      4.56   1000000         0
1155.33/1155.71	c       178       302    383.41     95.50      4.01   1000000         0
1156.74/1157.15	c       155       396    376.79     97.04      3.88   1000000         0
1158.23/1158.60	c       167       472    379.13    103.54      3.66   1000000         0
1159.63/1160.05	c       161       300    393.93    105.21      3.74   1000000         0
1161.03/1161.48	c       153       413    367.94     94.82      3.88   1000000         0
1162.53/1162.94	c       149       320    394.26    105.84      3.73   1000000         0
1163.93/1164.38	c       173       226    382.02     99.91      3.82   1000000         0
1165.43/1165.81	c       169       394    375.51    102.53      3.66   1000000         0
1166.83/1167.26	c       174       413    379.20     93.88      4.04   1000000         0
1168.33/1168.70	c       179       372    389.03    100.24      3.88   1000000         0
1169.73/1170.15	c       172       260    389.28    100.26      3.88   1000000         0
1171.23/1171.60	c       194       311    399.03     93.85      4.25   1000000         0
1172.63/1173.05	c       162       302    395.87     95.50      4.15   1000000         0
1174.12/1174.50	c       190       369    392.28    105.61      3.71   1000000         0
1175.53/1175.94	c       170       309    388.87     90.83      4.28   1000000         0
1176.93/1177.40	c       180       370    405.77     99.42      4.08   1000000         0
1178.42/1178.84	c       157       291    382.12     95.94      3.98   1000000         0
1179.83/1180.28	c       155       379    378.61     99.22      3.82   1000000         0
1181.32/1181.72	c       141       377    373.26    120.36      3.10   1000000         0
1182.72/1183.16	c       167       316    387.50    103.64      3.74   1000000         0
1184.23/1184.61	c       151       365    384.95     98.87      3.89   1000000         0
1185.62/1186.06	c       171       455    384.09     95.62      4.02   1000000         0
1187.12/1187.50	c       165       320    383.95    108.19      3.55   1000000         0
1188.52/1188.95	c       195       341    398.63    114.22      3.49   1000000         0
1190.02/1190.40	c       184       464    388.67     91.60      4.24   1000000         0
1191.42/1191.84	c       178       293    380.17     93.61      4.06   1000000         0
1192.82/1193.27	c       182       522    381.83    104.60      3.65   1000000         0
1194.32/1194.72	c       166       532    394.77     84.54      4.67   1000000         0
1195.72/1196.16	c       175       333    384.24    104.74      3.67   1000000         0
1197.22/1197.60	c       192       338    381.54     90.66      4.21   1000000         0
1198.62/1199.04	c       141       366    373.71    111.11      3.36   1000000         0
1200.02/1200.48	c       156       398    367.61    100.32      3.66   1000000         0
1201.52/1201.93	c       153       403    372.77    101.62      3.67   1000000         0
1202.92/1203.38	c       177       337    392.68    101.96      3.85   1000000         0
1204.41/1204.82	c       158       474    388.50    108.05      3.60   1000000         0
1205.81/1206.26	c       147       385    380.60    108.44      3.51   1000000         0
1207.21/1207.70	c       106       423    372.15    101.38      3.67   1000000         0
1208.71/1209.14	c       111       314    365.37     88.64      4.12   1000000         0
1210.11/1210.58	c       161       315    376.60     96.48      3.90   1000000         0
1211.61/1212.03	c       182       397    389.96     99.37      3.92   1000000         0
1213.01/1213.48	c       139       373    397.63    101.01      3.94   1000000         0
1214.51/1214.91	c       131       312    372.49     99.95      3.73   1000000         0
1215.91/1216.35	c       168       378    374.20     99.63      3.76   1000000         0
1217.41/1217.80	c       203       342    387.44     76.42      5.07   1000000         0
1218.81/1219.24	c       194       426    390.06    101.73      3.83   1000000         0
1220.21/1220.69	c       162       308    385.62    102.60      3.76   1000000         0
1221.72/1222.13	c       168       323    366.12     85.87      4.26   1000000         0
1223.11/1223.58	c       185       358    391.47     87.47      4.48   1000000         0
1224.61/1225.02	c       170       381    385.31     90.91      4.24   1000000         0
1226.01/1226.46	c       162       405    360.91    109.27      3.30   1000000         0
1227.51/1227.90	c       157       384    379.68     97.98      3.87   1000000         0
1228.90/1229.36	c       156       339    402.74    105.27      3.83   1000000         0
1230.41/1230.81	c       139       308    380.78     99.11      3.84   1000000         0
1231.80/1232.25	c       136       429    392.07    110.29      3.56   1000000         0
1233.20/1233.69	c       171       387    384.37    111.36      3.45   1000000         0
1234.70/1235.14	c       175       447    393.69     96.50      4.08   1000000         0
1236.20/1236.60	c       209       426    395.73     90.19      4.39   1000000         0
1237.60/1238.05	c       158       418    399.64    108.92      3.67   1000000         0
1239.10/1239.50	c       161       441    392.29    101.13      3.88   1000000         0
1240.50/1240.94	c       133       385    381.32    113.56      3.36   1000000         0
1241.90/1242.39	c       153       408    389.80    102.50      3.80   1000000         0
1243.40/1243.82	c       161       324    368.92     95.11      3.88   1000000         0
1244.81/1245.26	c       182       397    381.10     86.63      4.40   1000000         0
1246.30/1246.70	c       161       415    374.64     85.66      4.37   1000000         0
1247.70/1248.15	c       175       328    387.95     99.93      3.88   1000000         0
1249.11/1249.60	c       181       487    382.70     99.94      3.83   1000000         0
1250.60/1251.03	c       129       388    365.28     87.32      4.18   1000000         0
1252.00/1252.47	c       185       340    368.39     88.32      4.17   1000000         0
1253.50/1253.91	c       152       344    381.01    101.60      3.75   1000000         0
1254.90/1255.36	c       183       361    394.76    104.05      3.79   1000000         0
1256.40/1256.81	c       205       331    390.80     94.09      4.15   1000000         0
1257.79/1258.26	c       141       388    396.49     98.60      4.02   1000000         0
1259.29/1259.70	c       181       458    394.03    100.23      3.93   1000000         0
1260.69/1261.14	c       174       479    390.71     94.41      4.14   1000000         0
1262.09/1262.59	c       183       484    394.31     92.56      4.26   1000000         0
1263.59/1264.04	c       130       326    384.92    118.98      3.24   1000000         0
1264.99/1265.48	c       182       320    407.27     99.30      4.10   1000000         0
1266.49/1266.93	c       176       410    380.84     99.66      3.82   1000000         0
1267.90/1268.37	c       165       386    365.52    107.16      3.41   1000000         0
1269.39/1269.81	c       148       360    387.50     98.47      3.94   1000000         0
1270.79/1271.26	c       193       370    391.53     96.57      4.05   1000000         0
1272.20/1272.70	c       170       405    376.44     98.77      3.81   1000000         0
1273.69/1274.15	c       141       344    399.31    100.69      3.97   1000000         0
1275.09/1275.59	c       228       285    396.13     81.13      4.88   1000000         0
1276.60/1277.04	c       191       469    395.92    101.84      3.89   1000000         0
1277.99/1278.49	c       209       413    379.88     86.43      4.40   1000000         0
1279.49/1279.94	c       180       433    401.39    103.74      3.87   1000000         0
1280.89/1281.38	c       164       311    387.91     86.98      4.46   1000000         0
1282.39/1282.83	c       197       313    400.03    102.30      3.91   1000000         0
1283.79/1284.26	c       156       389    369.79     97.98      3.77   1000000         0
1285.29/1285.70	c       135       406    365.96    103.52      3.54   1000000         0
1286.69/1287.14	c       167       254    385.51    105.52      3.65   1000000         0
1288.09/1288.59	c       176       335    381.85    106.57      3.58   1000000         0
1289.58/1290.04	c       208       348    396.70     95.99      4.13   1000000         0
1290.99/1291.49	c       203       386    400.90    115.31      3.48   1000000         0
1292.48/1292.94	c       165       376    385.92    106.29      3.63   1000000         0
1293.88/1294.38	c       205       412    401.95     98.69      4.07   1000000         0
1295.39/1295.82	c       175       409    374.04     95.60      3.91   1000000         0
1296.78/1297.25	c       185       295    371.43     90.38      4.11   1000000         0
1298.18/1298.69	c       193       418    387.17     95.43      4.06   1000000         0
1299.69/1300.14	c       150       457    380.64    117.93      3.23   1000000         0
1301.08/1301.57	c       203       281    381.71     83.23      4.59   1000000         0
1302.58/1303.01	c       143       355    359.68     96.64      3.72   1000000         0
1303.98/1304.46	c       167       376    393.01    109.38      3.59   1000000         0
1305.48/1305.90	c       148       430    376.19     92.59      4.06   1000000         0
1306.88/1307.34	c       166       383    376.95     86.76      4.34   1000000         0
1308.28/1308.79	c       185       345    393.51    119.10      3.30   1000000         0
1309.78/1310.24	c       167       437    391.79     94.95      4.13   1000000         0
1311.18/1311.67	c       125       325    360.44    102.29      3.52   1000000         0
1312.68/1313.12	c       191       380    390.13    107.55      3.63   1000000         0
1314.08/1314.56	c       152       341    388.21     98.82      3.93   1000000         0
1315.57/1316.01	c       204       267    403.84     85.24      4.74   1000000         0
1316.97/1317.46	c       150       433    384.16    101.01      3.80   1000000         0
1318.48/1318.90	c       168       407    398.74     94.43      4.22   1000000         0
1319.87/1320.34	c       141       277    374.09     96.47      3.88   1000000         0
1321.27/1321.78	c       172       348    384.13     98.26      3.91   1000000         0
1322.78/1323.23	c       172       522    382.04     95.72      3.99   1000000         0
1324.17/1324.67	c       175       360    366.85     97.95      3.75   1000000         0
1325.67/1326.12	c       168       397    401.24    108.50      3.70   1000000         0
1327.07/1327.57	c       185       288    395.44     89.76      4.41   1000000         0
1328.57/1329.02	c       193       327    384.28     93.81      4.10   1000000         0
1329.97/1330.46	c       133       337    373.14     94.90      3.93   1000000         0
1331.37/1331.89	c       166       391    367.91     98.18      3.75   1000000         0
1332.87/1333.34	c       132       324    379.31     90.97      4.17   1000000         0
1334.27/1334.79	c       197       247    396.08    104.13      3.80   1000000         0
1335.77/1336.23	c       177       368    382.04    102.17      3.74   1000000         0
1337.17/1337.68	c       166       340    401.21    103.95      3.86   1000000         0
1338.67/1339.13	c       193       403    392.25     96.79      4.05   1000000         0
1340.07/1340.58	c       142       399    383.43    105.54      3.63   1000000         0
1341.57/1342.03	c       194       558    407.96    105.16      3.88   1000000         0
1342.96/1343.47	c       152       476    374.37    107.91      3.47   1000000         0
1344.47/1344.91	c       178       402    383.04     97.51      3.93   1000000         0
1345.87/1346.35	c       174       196    381.21    104.45      3.65   1000000         0
1347.27/1347.79	c       163       390    378.44     95.00      3.98   1000000         0
1348.76/1349.25	c       181       381    402.58    112.77      3.57   1000000         0
1350.16/1350.69	c       183       356    377.26     88.55      4.26   1000000         0
1351.66/1352.13	c       153       329    393.82     97.07      4.06   1000000         0
1353.06/1353.58	c       164       462    391.11    112.38      3.48   1000000         0
1354.56/1355.02	c       145       401    387.89    104.46      3.71   1000000         0
1355.96/1356.46	c       183       380    386.78     89.57      4.32   1000000         0
1357.46/1357.90	c       162       390    383.81     94.56      4.06   1000000         0
1358.86/1359.34	c       160       272    376.60     98.83      3.81   1000000         0
1360.27/1360.79	c       202       406    396.77    106.01      3.74   1000000         0
1361.76/1362.25	c       219       408    394.37     95.77      4.12   1000000         0
1363.26/1363.70	c       118       349    395.76    108.06      3.66   1000000         0
1364.67/1365.15	c       171       438    409.44    111.36      3.68   1000000         0
1366.16/1366.61	c       175       381    404.84    105.59      3.83   1000000         0
1367.56/1368.05	c       196       479    390.84    101.09      3.87   1000000         0
1369.06/1369.51	c       120       347    406.68     94.02      4.33   1000000         0
1370.46/1370.95	c       149       444    377.99    105.46      3.58   1000000         0
1371.96/1372.40	c       149       349    383.60    104.43      3.67   1000000         0
1373.36/1373.84	c       188       520    389.06    101.36      3.84   1000000         0
1374.76/1375.29	c       181       403    385.49    101.22      3.81   1000000         0
1376.25/1376.74	c       149       369    373.37     93.03      4.01   1000000         0
1377.65/1378.17	c       165       319    377.97    100.16      3.77   1000000         0
1379.15/1379.62	c       126       456    381.91    103.44      3.69   1000000         0
1380.55/1381.07	c       204       329    403.38    109.86      3.67   1000000         0
1382.05/1382.51	c       183       432    383.62     98.41      3.90   1000000         0
1383.45/1383.95	c       144       383    369.04     94.41      3.91   1000000         0
1384.95/1385.40	c       190       444    388.29    108.20      3.59   1000000         0
1386.35/1386.85	c       225       375    414.52    100.96      4.11   1000000         0
1387.85/1388.30	c       209       399    393.57    105.51      3.73   1000000         0
1389.25/1389.74	c       127       400    377.85     99.52      3.80   1000000         0
1390.65/1391.18	c       171       450    380.57    109.38      3.48   1000000         0
1392.16/1392.63	c       143       395    374.66    100.26      3.74   1000000         0
1393.55/1394.07	c       163       461    400.45     83.76      4.78   1000000         0
1395.05/1395.52	c       199       475    383.98     92.64      4.14   1000000         0
1396.45/1396.97	c       180       365    393.51    105.35      3.74   1000000         0
1397.95/1398.42	c       160       268    397.83     93.63      4.25   1000000         0
1399.35/1399.86	c       166       248    392.69    116.94      3.36   1000000         0
1400.75/1401.30	c       185       437    379.70    106.51      3.56   1000000         0
1402.24/1402.75	c       149       268    384.35    104.83      3.67   1000000         0
1403.74/1404.20	c       177       409    404.31    108.70      3.72   1000000         0
1405.14/1405.64	c       163       389    384.88    101.06      3.81   1000000         0
1406.54/1407.08	c       141       270    383.28    100.61      3.81   1000000         0
1408.04/1408.54	c       180       444    403.91     95.70      4.22   1000000         0
1409.44/1409.98	c       188       327    382.51    109.57      3.49   1000000         0
1410.94/1411.44	c       185       259    401.15    113.28      3.54   1000000         0
1412.34/1412.88	c       174       378    382.51     93.80      4.08   1000000         0
1413.84/1414.32	c       204       285    385.17    101.33      3.80   1000000         0
1415.25/1415.77	c       161       375    401.32     96.53      4.16   1000000         0
1416.74/1417.21	c       151       337    376.79     87.42      4.31   1000000         0
1418.14/1418.66	c       181       364    402.59     90.47      4.45   1000000         0
1419.65/1420.11	c       186       451    384.62    122.44      3.14   1000000         0
1421.04/1421.55	c       179       388    376.43    104.65      3.60   1000000         0
1422.44/1422.99	c       174       351    392.49    108.28      3.62   1000000         0
1423.95/1424.43	c       132       308    374.77     94.05      3.98   1000000         0
1425.34/1425.87	c       183       251    372.00     89.62      4.15   1000000         0
1426.84/1427.31	c       136       315    374.06    114.83      3.26   1000000         0
1428.24/1428.76	c       156       363    380.61     86.48      4.40   1000000         0
1429.74/1430.20	c       201       369    384.38     94.90      4.05   1000000         0
1431.13/1431.65	c       168       427    381.80     91.27      4.18   1000000         0
1432.53/1433.09	c       168       345    383.33     83.72      4.58   1000000         0
1434.03/1434.54	c       194       335    407.66     97.84      4.17   1000000         0
1435.43/1435.98	c       189       382    381.55     95.15      4.01   1000000         0
1436.93/1437.42	c       168       397    371.34    104.84      3.54   1000000         0
1438.34/1438.87	c       195       289    390.38     94.23      4.14   1000000         0
1439.83/1440.32	c       183       351    396.79    104.88      3.78   1000000         0
1441.23/1441.76	c       189       387    388.01    104.51      3.71   1000000         0
1442.74/1443.22	c       188       379    403.70    110.03      3.67   1000000         0
1444.13/1444.66	c       196       299    379.61     97.74      3.88   1000000         0
1445.63/1446.10	c       173       314    377.58    103.59      3.64   1000000         0
1447.04/1447.55	c       158       367    384.13    111.90      3.43   1000000         0
1448.43/1449.00	c       183       467    390.23     95.35      4.09   1000000         0
1449.93/1450.44	c       185       344    383.96     96.79      3.97   1000000         0
1451.33/1451.88	c       147       366    378.13    112.12      3.37   1000000         0
1452.83/1453.33	c       157       482    393.32     98.73      3.98   1000000         0
1454.23/1454.78	c       206       350    399.51    116.25      3.44   1000000         0
1455.73/1456.22	c       186       377    387.47    107.42      3.61   1000000         0
1457.13/1457.68	c       203       307    389.58     98.44      3.96   1000000         0
1458.63/1459.13	c       191       325    400.53     92.26      4.34   1000000         0
1460.03/1460.56	c       164       373    366.48     97.07      3.78   1000000         0
1461.52/1462.01	c       152       439    370.90    105.90      3.50   1000000         0
1462.92/1463.45	c       155       430    379.48    106.53      3.56   1000000         0
1464.32/1464.89	c       171       429    387.50     90.83      4.27   1000000         0
1465.83/1466.33	c       144       443    391.29    102.01      3.84   1000000         0
1467.22/1467.78	c       149       306    371.31    115.56      3.21   1000000         0
1468.72/1469.23	c       167       322    395.70     91.66      4.32   1000000         0
1470.13/1470.69	c       207       465    387.93     85.35      4.55   1000000         0
1471.62/1472.13	c       161       407    386.40    103.90      3.72   1000000         0
1473.02/1473.58	c       204       389    384.70    108.16      3.56   1000000         0
1474.53/1475.02	c       212       332    381.49     98.19      3.89   1000000         0
1475.92/1476.46	c       139       434    379.35    105.78      3.59   1000000         0
1477.42/1477.90	c       166       286    388.38    102.47      3.79   1000000         0
1478.82/1479.33	c       101       365    350.95    110.38      3.18   1000000         0
1480.22/1480.77	c       171       454    377.93    114.16      3.31   1000000         0
1481.72/1482.21	c       173       409    383.22     77.96      4.92   1000000         0
1483.12/1483.65	c       167       518    370.54     91.02      4.07   1000000         0
1484.52/1485.08	c       163       401    376.76     96.54      3.90   1000000         0
1486.02/1486.53	c       153       298    400.05    107.81      3.71   1000000         0
1487.42/1487.97	c       146       448    359.47    101.56      3.54   1000000         0
1488.92/1489.41	c       142       290    371.35    113.03      3.29   1000000         0
1490.31/1490.85	c       199       300    384.11     99.26      3.87   1000000         0
1491.71/1492.30	c       175       374    372.11     99.77      3.73   1000000         0
1493.22/1493.74	c       154       381    386.07    100.47      3.84   1000000         0
1494.61/1495.19	c       211       318    396.40    101.73      3.90   1000000         0
1496.11/1496.65	c       214       319    409.67     87.63      4.68   1000000         0
1497.51/1498.09	c       135       386    375.59     92.34      4.07   1000000         0
1499.01/1499.53	c       154       437    389.46     99.35      3.92   1000000         0
1500.41/1500.98	c       211       339    392.55    105.50      3.72   1000000         0
1501.91/1502.43	c       148       397    394.43     85.64      4.61   1000000         0
1503.31/1503.88	c       201       491    385.29     89.64      4.30   1000000         0
1504.81/1505.32	c       203       287    396.59     77.49      5.12   1000000         0
1506.21/1506.76	c       150       397    377.33    100.85      3.74   1000000         0
1507.71/1508.21	c       154       354    380.76     78.70      4.84   1000000         0
1509.11/1509.65	c       185       253    386.40     95.60      4.04   1000000         0
1510.61/1511.10	c       150       483    386.06    102.36      3.77   1000000         0
1512.01/1512.53	c       167       305    365.45    117.98      3.10   1000000         0
1513.40/1513.98	c       124       415    392.94    115.53      3.40   1000000         0
1514.91/1515.43	c       164       440    384.88     83.90      4.59   1000000         0
1516.31/1516.87	c       139       351    371.53    100.35      3.70   1000000         0
1517.81/1518.31	c       160       377    376.10    109.14      3.45   1000000         0
1519.20/1519.76	c       173       308    391.76     93.22      4.20   1000000         0
1520.71/1521.21	c       161       301    405.79     96.35      4.21   1000000         0
1522.10/1522.66	c       177       367    389.91    102.51      3.80   1000000         0
1523.60/1524.10	c       167       316    375.19     92.24      4.07   1000000         0
1525.00/1525.54	c       176       294    376.46     84.97      4.43   1000000         0
1526.40/1526.99	c       158       328    398.47    111.07      3.59   1000000         0
1527.90/1528.42	c       166       368    369.73    110.96      3.33   1000000         0
1529.30/1529.87	c       181       450    380.71    112.25      3.39   1000000         0
1530.80/1531.31	c       146       368    373.15    105.13      3.55   1000000         0
1532.20/1532.76	c       184       288    388.04    100.62      3.86   1000000         0
1533.70/1534.20	c       174       491    379.53    109.76      3.46   1000000         0
1535.11/1535.64	c       181       374    386.28    105.44      3.66   1000000         0
1536.50/1537.09	c       198       443    385.90     88.82      4.34   1000000         0
1538.00/1538.53	c       178       348    382.37     96.84      3.95   1000000         0
1539.40/1539.98	c       206       354    396.44     95.96      4.13   1000000         0
1540.89/1541.42	c       182       372    387.23     85.84      4.51   1000000         0
1542.29/1542.86	c       132       407    369.72     98.32      3.76   1000000         0
1543.80/1544.31	c       214       336    400.85     96.33      4.16   1000000         0
1545.19/1545.76	c       175       424    400.80     91.60      4.38   1000000         0
1546.69/1547.21	c       185       345    402.61    101.01      3.99   1000000         0
1548.09/1548.66	c       190       375    385.26     90.47      4.26   1000000         0
1549.59/1550.10	c       142       417    370.25    108.69      3.41   1000000         0
1550.99/1551.54	c       103       323    370.17     84.41      4.39   1000000         0
1552.39/1552.98	c       189       322    383.53    101.47      3.78   1000000         0
1553.89/1554.43	c       194       442    401.99     85.05      4.73   1000000         0
1555.29/1555.89	c       167       465    406.38     88.98      4.57   1000000         0
1556.79/1557.33	c       189       400    383.09     90.11      4.25   1000000         0
1558.20/1558.77	c       120       347    386.47    108.55      3.56   1000000         0
1559.69/1560.20	c       105       323    357.98    111.73      3.20   1000000         0
1561.09/1561.65	c       170       320    405.36     95.41      4.25   1000000         0
1562.49/1563.09	c       168       231    385.72    118.77      3.25   1000000         0
1563.99/1564.54	c       114       321    390.13     96.72      4.03   1000000         0
1565.39/1565.97	c       152       398    372.31     94.47      3.94   1000000         0
1566.89/1567.43	c       181       394    398.26     90.69      4.39   1000000         0
1568.29/1568.87	c       137       435    381.96     92.39      4.13   1000000         0
1569.79/1570.32	c       190       246    384.06     93.60      4.10   1000000         0
1571.18/1571.77	c       165       211    394.88    108.04      3.65   1000000         0
1572.68/1573.21	c       159       343    384.16     97.56      3.94   1000000         0
1574.08/1574.67	c       178       364    387.80    105.46      3.68   1000000         0
1575.58/1576.12	c       196       431    405.64     96.88      4.19   1000000         0
1576.98/1577.57	c       171       352    398.22     90.29      4.41   1000000         0
1578.48/1579.01	c       133       468    385.04     99.26      3.88   1000000         0
1579.88/1580.45	c       178       298    383.79     92.89      4.13   1000000         0
1581.38/1581.90	c       145       395    389.82     99.83      3.90   1000000         0
1582.78/1583.34	c       162       282    373.89     99.27      3.77   1000000         0
1584.18/1584.78	c       171       291    371.22     85.93      4.32   1000000         0
1585.69/1586.23	c       152       369    390.21    105.26      3.71   1000000         0
1587.08/1587.67	c       162       443    387.60     96.30      4.02   1000000         0
1588.58/1589.12	c       134       376    380.80    104.51      3.64   1000000         0
1589.99/1590.56	c       212       354    396.48     99.61      3.98   1000000         0
1591.48/1592.00	c       184       355    368.52     94.65      3.89   1000000         0
1592.88/1593.44	c       190       365    400.70     94.89      4.22   1000000         0
1594.28/1594.89	c       188       359    396.78    122.52      3.24   1000000         0
1595.78/1596.33	c       188       487    381.88     83.01      4.60   1000000         0
1597.18/1597.78	c       217       359    379.90     89.51      4.24   1000000         0
1598.68/1599.23	c       184       399    396.85    110.24      3.60   1000000         0
1600.08/1600.68	c       180       350    385.90     99.71      3.87   1000000         0
1601.58/1602.11	c       132       357    371.74     89.53      4.15   1000000         0
1602.98/1603.57	c       176       351    411.36     99.55      4.13   1000000         0
1604.48/1605.01	c       217       352    389.58     95.18      4.09   1000000         0
1605.87/1606.45	c       168       468    391.74     89.19      4.39   1000000         0
1607.37/1607.90	c       202       299    404.48     89.43      4.52   1000000         0
1608.78/1609.35	c       170       356    392.14     95.98      4.09   1000000         0
1610.17/1610.79	c       152       434    374.90    104.21      3.60   1000000         0
1611.67/1612.25	c       220       415    409.73    101.29      4.05   1000000         0
1613.08/1613.69	c       132       198    379.64     98.89      3.84   1000000         0
1614.57/1615.14	c       186       337    394.01    100.70      3.91   1000000         0
1615.97/1616.59	c       182       393    405.67     93.64      4.33   1000000         0
1617.48/1618.04	c       182       363    391.92     96.65      4.05   1000000         0
1618.87/1619.48	c       157       377    371.79    102.72      3.62   1000000         0
1620.37/1620.92	c       174       334    379.73     91.00      4.17   1000000         0
1621.77/1622.37	c       183       312    402.83    112.34      3.59   1000000         0
1623.27/1623.81	c       177       381    380.51    100.50      3.79   1000000         0
1624.67/1625.25	c       177       337    401.41     89.60      4.48   1000000         0
1626.17/1626.71	c       183       416    401.45     96.58      4.16   1000000         0
1627.57/1628.15	c       178       308    391.45     87.39      4.48   1000000         0
1628.97/1629.60	c       173       430    395.87     97.30      4.07   1000000         0
1630.47/1631.04	c       132       355    386.40     98.23      3.93   1000000         0
1631.87/1632.48	c       179       390    364.37     94.52      3.85   1000000         0
1633.36/1633.92	c       174       282    386.88    103.55      3.74   1000000         0
1634.76/1635.36	c       132       330    375.17    106.98      3.51   1000000         0
1636.27/1636.81	c       152       402    392.39    105.65      3.71   1000000         0
1637.66/1638.25	c       180       350    375.53    101.74      3.69   1000000         0
1639.06/1639.68	c       127       392    363.46    112.14      3.24   1000000         0
1640.57/1641.13	c       174       262    395.04    106.27      3.72   1000000         0
1641.96/1642.57	c       157       364    386.58    101.26      3.82   1000000         0
1643.46/1644.02	c       201       428    393.56     94.42      4.17   1000000         0
1644.86/1645.47	c       173       409    402.99     94.46      4.27   1000000         0
1646.36/1646.92	c       154       438    403.19    108.90      3.70   1000000         0
1647.76/1648.35	c       173       323    368.11    101.54      3.63   1000000         0
1649.15/1649.79	c       156       309    375.93    103.93      3.62   1000000         0
1650.65/1651.23	c       194       332    374.02     99.51      3.76   1000000         0
1652.05/1652.67	c       170       409    378.55     89.07      4.25   1000000         0
1653.55/1654.12	c       130       351    382.17    109.46      3.49   1000000         0
1654.96/1655.57	c       189       245    393.08     87.76      4.48   1000000         0
1656.45/1657.01	c       172       233    378.54     96.02      3.94   1000000         0
1657.85/1658.46	c       172       361    387.29    112.87      3.43   1000000         0
1659.36/1659.90	c       144       325    384.25     94.41      4.07   1000000         0
1660.75/1661.35	c       202       280    402.57    112.91      3.57   1000000         0
1662.15/1662.79	c       165       396    366.92    100.03      3.67   1000000         0
1663.66/1664.22	c       163       391    363.14     96.44      3.77   1000000         0
1665.05/1665.67	c       188       433    387.73     86.03      4.51   1000000         0
1666.55/1667.11	c       202       410    388.95     81.60      4.77   1000000         0
1667.95/1668.56	c       148       432    394.36    114.75      3.44   1000000         0
1669.45/1670.01	c       177       342    385.04    107.36      3.59   1000000         0
1670.85/1671.44	c       158       316    363.31     87.48      4.15   1000000         0
1672.25/1672.88	c       161       479    391.85    101.89      3.85   1000000         0
1673.75/1674.33	c       159       455    390.77    107.25      3.64   1000000         0
1675.15/1675.77	c       204       351    375.28     82.58      4.54   1000000         0
1676.65/1677.21	c       143       362    371.90     98.00      3.79   1000000         0
1678.05/1678.65	c       202       361    393.16    103.41      3.80   1000000         0
1679.44/1680.09	c       149       242    364.09    100.20      3.63   1000000         0
1680.94/1681.53	c       162       394    383.00    110.56      3.46   1000000         0
1682.35/1682.97	c       176       285    382.04    114.28      3.34   1000000         0
1683.84/1684.43	c       147       308    393.30    104.59      3.76   1000000         0
1685.24/1685.87	c       163       385    379.94     92.73      4.10   1000000         0
1686.75/1687.31	c       116       399    388.96    104.34      3.73   1000000         0
1688.14/1688.76	c       167       220    378.03     87.17      4.34   1000000         0
1689.54/1690.20	c       160       440    373.14    103.19      3.62   1000000         0
1691.04/1691.64	c       186       432    401.96     88.55      4.54   1000000         0
1692.44/1693.09	c       196       321    390.47     91.85      4.25   1000000         0
1693.94/1694.55	c       172       299    405.20    116.46      3.48   1000000         0
1695.44/1696.01	c       151       300    407.72    129.10      3.16   1000000         0
1696.84/1697.45	c       187       425    393.15     83.79      4.69   1000000         0
1698.34/1698.90	c       203       340    388.69     88.12      4.41   1000000         0
1699.74/1700.35	c       176       281    391.56     97.28      4.02   1000000         0
1701.14/1701.79	c       198       290    385.95    102.06      3.78   1000000         0
1702.64/1703.22	c       152       382    355.99     80.39      4.43   1000000         0
1704.04/1704.67	c       124       383    383.47    109.38      3.51   1000000         0
1705.54/1706.11	c       181       287    385.08     96.38      4.00   1000000         0
1706.94/1707.56	c       181       297    386.11    104.55      3.69   1000000         0
1708.44/1709.00	c       184       327    373.94     97.81      3.82   1000000         0
1709.84/1710.44	c       165       301    383.85     95.27      4.03   1000000         0
1711.23/1711.88	c       145       252    382.49    108.57      3.52   1000000         0
1712.73/1713.32	c       179       346    379.85     91.16      4.17   1000000         0
1714.13/1714.77	c       153       427    401.23    105.23      3.81   1000000         0
1715.63/1716.21	c       166       369    382.70    101.51      3.77   1000000         0
1717.03/1717.66	c       180       366    401.09    110.76      3.62   1000000         0
1718.53/1719.10	c       185       316    372.35     96.26      3.87   1000000         0
1719.93/1720.54	c       170       368    392.21    112.23      3.49   1000000         0
1721.33/1721.99	c       187       307    384.38    103.30      3.72   1000000         0
1722.83/1723.43	c       180       373    381.55    102.06      3.74   1000000         0
1724.24/1724.88	c       166       449    381.56    103.74      3.68   1000000         0
1725.73/1726.32	c       174       362    378.17    100.03      3.78   1000000         0
1727.13/1727.77	c       203       373    396.02     96.37      4.11   1000000         0
1728.64/1729.22	c       180       427    391.66     98.94      3.96   1000000         0
1730.03/1730.67	c       135       360    386.07    112.78      3.42   1000000         0
1731.53/1732.12	c       199       262    404.23     95.80      4.22   1000000         0
1732.94/1733.57	c       176       343    393.74    101.71      3.87   1000000         0
1734.43/1735.02	c       206       422    401.05     98.97      4.05   1000000         0
1735.83/1736.48	c       161       419    408.33     91.05      4.48   1000000         0
1737.33/1737.92	c       147       458    373.13    101.25      3.69   1000000         0
1738.73/1739.37	c       159       444    405.95    106.09      3.83   1000000         0
1740.23/1740.82	c       202       405    390.69     85.76      4.56   1000000         0
1741.63/1742.26	c       168       332    384.09     82.12      4.68   1000000         0
1743.13/1743.71	c       145       448    385.44    101.35      3.80   1000000         0
1744.53/1745.15	c       152       371    387.86    117.81      3.29   1000000         0
1745.93/1746.59	c       184       352    385.69     97.57      3.95   1000000         0
1747.43/1748.04	c       178       365    385.43    114.73      3.36   1000000         0
1748.83/1749.48	c       187       301    390.99    103.97      3.76   1000000         0
1750.32/1750.91	c       170       347    371.00    106.95      3.47   1000000         0
1751.73/1752.36	c       155       284    385.44    104.53      3.69   1000000         0
1753.22/1753.80	c       191       332    382.67     94.60      4.04   1000000         0
1754.62/1755.24	c       116       351    369.43    110.09      3.36   1000000         0
1756.03/1756.69	c       109       388    383.73     93.49      4.10   1000000         0
1757.52/1758.14	c       171       385    390.33     83.25      4.69   1000000         0
1758.92/1759.57	c       167       435    372.31     88.31      4.22   1000000         0
1760.43/1761.02	c       155       325    390.16     96.39      4.05   1000000         0
1761.82/1762.46	c       160       473    380.38    103.74      3.67   1000000         0
1763.32/1763.92	c       182       455    405.16    122.74      3.30   1000000         0
1764.72/1765.37	c       148       343    389.12    111.68      3.48   1000000         0
1766.22/1766.80	c       190       354    379.60     96.27      3.94   1000000         0
1767.62/1768.25	c       208       362    403.48     94.04      4.29   1000000         0
1769.11/1769.71	c       163       467    396.33     91.93      4.31   1000000         0
1770.51/1771.15	c       198       445    408.02     91.62      4.45   1000000         0
1771.91/1772.59	c       155       291    381.49     99.13      3.85   1000000         0
1773.41/1774.03	c       120       392    362.11     97.96      3.70   1000000         0
1774.82/1775.47	c       169       373    394.81     95.46      4.14   1000000         0
1776.31/1776.92	c       137       312    375.31    103.72      3.62   1000000         0
1777.71/1778.37	c       176       272    396.77     95.74      4.14   1000000         0
1779.22/1779.81	c       182       399    373.79     98.31      3.80   1000000         0
1780.61/1781.26	c       154       441    386.24     91.84      4.21   1000000         0
1782.11/1782.70	c       196       356    382.89     89.59      4.27   1000000         0
1783.52/1784.15	c       148       312    372.32    105.43      3.53   1000000         0
1784.91/1785.59	c       164       359    378.02     92.52      4.09   1000000         0
1786.41/1787.03	c       178       290    378.89    107.35      3.53   1000000         0
1787.81/1788.47	c       205       301    386.24    106.80      3.62   1000000         0
1789.31/1789.93	c       164       370    386.84    102.40      3.78   1000000         0
1790.71/1791.37	c       147       431    381.49    122.34      3.12   1000000         0
1792.21/1792.81	c       168       342    363.11     99.31      3.66   1000000         0
1793.61/1794.25	c       176       419    372.87    104.94      3.55   1000000         0
1795.01/1795.69	c       158       346    397.38    106.42      3.73   1000000         0
1796.50/1797.14	c       155       310    396.12    103.07      3.84   1000000         0
1797.91/1798.58	c       135       266    377.27    109.36      3.45   1000000         0
1799.40/1800.03	c       173       285    393.31    101.29      3.88   1000000         0
1800.02/1800.61	HOME/run: line 2: 19910 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-2685140-1278439856/watcher-2685140-1278439856 -o /tmp/evaluation-result-2685140-1278439856/solver-2685140-1278439856 -C 1800 -W 2000 -M 1800 run HOME/instance-2685140-1278439856.opb 

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


[startup+0 s]
/proc/loadavg: 0.94 0.98 0.99 3/106 19909
/proc/meminfo: memFree=1839244/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0

[startup+0.0402171 s]
/proc/loadavg: 0.94 0.98 0.99 3/106 19909
/proc/meminfo: memFree=1839244/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101222 s]
/proc/loadavg: 0.94 0.98 0.99 3/106 19909
/proc/meminfo: memFree=1839244/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301239 s]
/proc/loadavg: 0.94 0.98 0.99 3/106 19909
/proc/meminfo: memFree=1839244/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701274 s]
/proc/loadavg: 0.94 0.98 0.99 3/106 19909
/proc/meminfo: memFree=1839244/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50134 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 19911
/proc/meminfo: memFree=1833524/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1.49
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1460 0 0 0 149 0 0 0 25 0 1 0 12192492 41422848 1389 1992294400 134512640 135071400 4290774416 18446744073709551615 134525664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1389 62 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10148 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 19911
/proc/meminfo: memFree=1833276/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=3.09
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 309 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134525903 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30076 s]
/proc/loadavg: 0.94 0.98 0.99 2/108 19911
/proc/meminfo: memFree=1833276/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=6.29
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 629 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49152

[startup+12.7013 s]
/proc/loadavg: 0.95 0.98 0.99 2/108 19911
/proc/meminfo: memFree=1833276/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=12.69
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 1269 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526109 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49152

[startup+25.5014 s]
/proc/loadavg: 0.96 0.98 0.99 2/108 19911
/proc/meminfo: memFree=1833276/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=25.48
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 2548 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1007 s]
/proc/loadavg: 0.97 0.98 0.99 2/108 19913
/proc/meminfo: memFree=1833152/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=51.07
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 5107 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134525819 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49152

[startup+102.308 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19913
/proc/meminfo: memFree=1833152/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=102.26
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 10226 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134525783 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 49152

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19915
/proc/meminfo: memFree=1833028/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=162.24
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 16224 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49152

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19917
/proc/meminfo: memFree=1832904/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=222.22
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 22222 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19919
/proc/meminfo: memFree=1832904/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=282.2
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 28220 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526541 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19921
/proc/meminfo: memFree=1832656/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=342.18
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 34218 0 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 19921
/proc/meminfo: memFree=1832656/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=402.17
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 40216 1 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1061.96
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 106194 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526410 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 49152

[startup+1122.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 19944
/proc/meminfo: memFree=1810392/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1121.95
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 112193 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 19946
/proc/meminfo: memFree=1810144/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1181.92
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 118190 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19948
/proc/meminfo: memFree=1809896/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1241.9
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 124188 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526709 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19948
/proc/meminfo: memFree=1809648/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1301.88
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 130186 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19950
/proc/meminfo: memFree=1809648/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1361.86
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 136184 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134519756 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19952
/proc/meminfo: memFree=1809524/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1421.85
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 142183 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134519742 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19954
/proc/meminfo: memFree=1809400/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1481.82
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 148180 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134571231 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19956
/proc/meminfo: memFree=1809400/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1541.79
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 154177 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19956
/proc/meminfo: memFree=1809276/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1601.78
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 160176 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134525713 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19958
/proc/meminfo: memFree=1809152/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1661.75
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 166173 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526010 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19960
/proc/meminfo: memFree=1809028/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1721.73
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1468 0 0 0 172171 2 0 0 25 0 1 0 12192492 41422848 1397 1992294400 134512640 135071400 4290774416 18446744073709551615 134526274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1397 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19962
/proc/meminfo: memFree=1808656/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1781.71
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1469 0 0 0 178169 2 0 0 25 0 1 0 12192492 41422848 1398 1992294400 134512640 135071400 4290774416 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1398 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 19962
/proc/meminfo: memFree=1808656/2059040 swapFree=4192956/4192956
[pid=19909] ppid=19907 vsize=8700 CPUtime=0
/proc/19909/stat : 19909 (run) S 19907 19909 19493 0 -1 4202496 361 0 0 0 0 0 0 0 18 0 1 0 12192492 8908800 244 1992294400 4194304 4922060 140735263094080 18446744073709551615 261752462469 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/19909/statm: 2175 244 204 178 0 68 0
[pid=19910] ppid=19909 vsize=40452 CPUtime=1800.02
/proc/19910/stat : 19910 (PB-wave) R 19909 19909 19493 0 -1 4202496 1469 0 0 0 180000 2 0 0 25 0 1 0 12192492 41422848 1398 1992294400 134512640 135071400 4290774416 18446744073709551615 134525727 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/19910/statm: 10113 1398 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 49152

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

Child status: 143
Real time (s): 1800.62
CPU time (s): 1800.04
CPU user time (s): 1800.01
CPU system time (s): 0.029995
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (KiB): 49152

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

runsolver used 2.90956 second user time and 8.65768 second system time

The end

Launcher Data 

Begin job on node050 at 2010-07-06 20:10:57
IDJOB=2685140
IDBENCH=74723
IDSOLVER=1171
FILE ID=node050/2685140-1278439856
PBS_JOBID= 11233482
Free space on /tmp= 62448 MiB

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

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

MD5SUM BENCH= 816f6bc8e61596304c69466a3d147a91
RANDOM SEED=33082427

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1839764 kB
Buffers:         17620 kB
Cached:          71536 kB
SwapCached:          0 kB
Active:          50864 kB
Inactive:        99228 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1839764 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2236 kB
Writeback:           0 kB
AnonPages:       60928 kB
Mapped:          14456 kB
Slab:            47292 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183876 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= 62444 MiB
End job on node050 at 2010-07-06 20:40:57