0.00/0.09	c PB-wave - v2
0.00/0.09	c command line = ./PB-wave
0.00/0.09	c seed = 50881459
0.00/0.09	c cutoff = 1000000
0.00/0.09	c tries = 1000000
0.00/0.09	c heuristic = c best, noise 50 / 100
0.00/0.09	#var 10614 #con 36312
0.00/0.09	mode is SAT
0.00/0.09	c tail starts after flip = 31842
0.00/0.09	c numatom = 10614, numclause = 36312, numliterals = 86841
0.00/0.09	c wff read in
0.00/0.09	c 
0.00/0.09	c     lowest     final       avg     noise     noise     total                 avg        mean        mean
0.00/0.09	c     #unsat    #unsat     noise   std dev     ratio     flips              length       flips       flips
0.00/0.09	c       this      this      this      this      this      this   success   success       until         std
0.00/0.09	c        try       try       try       try       try       try      rate     tries      assign         dev
0.00/0.09	c
1.29/1.36	c       199       329    390.68     80.97      4.83   1000000         0
2.59/2.64	c       185       381    383.27     82.83      4.63   1000000         0
3.89/3.91	c       146       437    376.64     80.82      4.66   1000000         0
5.09/5.18	c       191       438    397.51     89.30      4.45   1000000         0
6.38/6.46	c       194       394    384.25    100.67      3.82   1000000         0
7.69/7.73	c       207       318    391.66     70.96      5.52   1000000         0
8.98/9.01	c       167       439    399.30     98.39      4.06   1000000         0
10.18/10.29	c       112       467    393.05     82.37      4.77   1000000         0
11.48/11.57	c       180       293    397.98    104.31      3.82   1000000         0
12.78/12.84	c       195       434    379.69     69.56      5.46   1000000         0
14.08/14.12	c       173       399    390.48     83.97      4.65   1000000         0
15.29/15.39	c       149       357    387.39     91.00      4.26   1000000         0
16.58/16.66	c       185       306    383.51     88.27      4.34   1000000         0
17.88/17.93	c       181       286    383.44     77.78      4.93   1000000         0
19.18/19.21	c       199       484    389.47     87.97      4.43   1000000         0
20.38/20.48	c       155       365    370.87     91.39      4.06   1000000         0
21.68/21.75	c       174       358    378.64     80.42      4.71   1000000         0
22.99/23.03	c       190       412    387.19     84.73      4.57   1000000         0
24.28/24.31	c       193       394    397.06     85.41      4.65   1000000         0
25.48/25.58	c       199       333    375.89     73.07      5.14   1000000         0
26.78/26.85	c       134       482    387.96     83.48      4.65   1000000         0
28.08/28.12	c       147       288    373.95     88.12      4.24   1000000         0
29.28/29.39	c       163       411    365.33     83.18      4.39   1000000         0
30.58/30.66	c       174       419    376.34     87.71      4.29   1000000         0
31.88/31.94	c       187       447    392.54     83.70      4.69   1000000         0
33.17/33.21	c       189       322    370.99     85.95      4.32   1000000         0
34.37/34.48	c       146       301    375.53     93.72      4.01   1000000         0
35.67/35.75	c       136       314    371.39     83.24      4.46   1000000         0
36.97/37.02	c       168       326    374.98     96.14      3.90   1000000         0
38.17/38.30	c       201       466    391.55     78.77      4.97   1000000         0
39.48/39.57	c       181       408    403.88     86.17      4.69   1000000         0
40.77/40.85	c       205       385    387.23     79.34      4.88   1000000         0
42.07/42.12	c       128       384    386.23     83.03      4.65   1000000         0
43.27/43.39	c       171       382    379.33     80.22      4.73   1000000         0
44.57/44.66	c       221       353    399.49     88.45      4.52   1000000         0
45.87/45.93	c       162       347    371.80     75.58      4.92   1000000         0
47.18/47.21	c       158       335    397.37     92.58      4.29   1000000         0
48.38/48.48	c       126       315    375.77     86.03      4.37   1000000         0
49.67/49.75	c       162       347    382.11     84.63      4.51   1000000         0
50.97/51.02	c       193       365    389.46     91.60      4.25   1000000         0
52.17/52.30	c       165       334    380.04     92.61      4.10   1000000         0
53.47/53.57	c       213       360    387.49     77.46      5.00   1000000         0
54.77/54.84	c       154       383    381.31     91.44      4.17   1000000         0
56.07/56.11	c       174       416    375.17     72.32      5.19   1000000         0
57.27/57.38	c       172       400    382.29     83.78      4.56   1000000         0
58.57/58.66	c       202       450    391.68     79.39      4.93   1000000         0
59.87/59.94	c       189       424    388.06     72.74      5.33   1000000         0
61.17/61.21	c       161       424    385.22     76.52      5.03   1000000         0
62.36/62.48	c       190       410    383.30     92.41      4.15   1000000         0
63.67/63.75	c       191       409    381.18     80.77      4.72   1000000         0
64.96/65.03	c       170       353    399.01     85.82      4.65   1000000         0
66.26/66.30	c       208       405    381.39     77.33      4.93   1000000         0
67.46/67.58	c       203       434    381.80     81.70      4.67   1000000         0
68.76/68.85	c       171       388    377.47     74.97      5.03   1000000         0
70.06/70.12	c       161       402    376.76     92.92      4.05   1000000         0
71.26/71.39	c       170       380    376.39     95.39      3.95   1000000         0
72.57/72.67	c       134       340    376.20    103.60      3.63   1000000         0
73.86/73.94	c       163       440    368.40     94.91      3.88   1000000         0
75.16/75.21	c       177       402    373.56     83.79      4.46   1000000         0
76.36/76.48	c       189       316    392.88     76.77      5.12   1000000         0
77.66/77.75	c       170       340    378.21     76.34      4.95   1000000         0
78.96/79.03	c       172       364    384.59     93.58      4.11   1000000         0
80.27/80.31	c       192       358    404.45     81.73      4.95   1000000         0
81.46/81.58	c       184       338    374.61     87.21      4.30   1000000         0
82.76/82.85	c       148       421    374.55     84.90      4.41   1000000         0
84.06/84.13	c       169       360    387.73     79.72      4.86   1000000         0
85.36/85.40	c       186       394    389.38     88.94      4.38   1000000         0
86.56/86.67	c       189       530    378.45     91.41      4.14   1000000         0
87.86/87.95	c       186       247    388.65     82.08      4.73   1000000         0
89.16/89.22	c       162       388    383.64     74.94      5.12   1000000         0
90.36/90.49	c       191       464    394.45     80.81      4.88   1000000         0
91.66/91.77	c       171       360    391.06     93.99      4.16   1000000         0
92.95/93.05	c       228       420    406.19     68.16      5.96   1000000         0
94.25/94.32	c       203       376    392.60     78.64      4.99   1000000         0
95.45/95.59	c       163       428    372.29     82.46      4.51   1000000         0
96.76/96.87	c       172       350    385.50     67.71      5.69   1000000         0
98.05/98.14	c       159       374    369.15     90.82      4.06   1000000         0
99.35/99.41	c       218       341    395.42     99.98      3.96   1000000         0
100.55/100.69	c       191       383    380.87     71.76      5.31   1000000         0
101.85/101.96	c       167       412    394.85     73.98      5.34   1000000         0
103.15/103.24	c       192       413    406.25     83.18      4.88   1000000         0
104.46/104.51	c       178       331    378.06     68.51      5.52   1000000         0
105.65/105.78	c       175       422    382.52     88.40      4.33   1000000         0
106.95/107.06	c       194       454    381.75     80.87      4.72   1000000         0
108.25/108.33	c       199       361    377.36     82.89      4.55   1000000         0
109.55/109.60	c       194       460    392.92     92.44      4.25   1000000         0
110.75/110.88	c       234       409    404.33     78.01      5.18   1000000         0
112.05/112.15	c       131       338    377.67     76.38      4.94   1000000         0
113.35/113.42	c       152       340    386.31     90.71      4.26   1000000         0
114.55/114.70	c       182       368    380.39     85.73      4.44   1000000         0
115.85/115.97	c       179       311    387.54     81.25      4.77   1000000         0
117.15/117.24	c       195       251    383.43     79.02      4.85   1000000         0
118.44/118.51	c       156       267    379.45     85.05      4.46   1000000         0
119.64/119.78	c       146       332    371.08     84.04      4.42   1000000         0
120.95/121.06	c       203       313    390.58     77.97      5.01   1000000         0
122.24/122.33	c       186       524    392.80     85.57      4.59   1000000         0
123.54/123.61	c       169       383    382.48     78.23      4.89   1000000         0
124.74/124.89	c       163       321    400.69     98.61      4.06   1000000         0
126.04/126.16	c       199       442    391.85     78.95      4.96   1000000         0
127.34/127.43	c       178       464    382.62     81.59      4.69   1000000         0
128.55/128.70	c       136       404    381.16     92.52      4.12   1000000         0
129.84/129.97	c       201       380    379.01     92.46      4.10   1000000         0
131.14/131.25	c       132       386    385.29     80.54      4.78   1000000         0
132.44/132.52	c       142       188    385.25     96.55      3.99   1000000         0
133.64/133.79	c       169       359    395.42     95.37      4.15   1000000         0
134.94/135.07	c       164       309    386.63     95.46      4.05   1000000         0
136.25/136.34	c       161       385    391.74     87.56      4.47   1000000         0
137.54/137.61	c       180       345    378.31     70.86      5.34   1000000         0
138.74/138.89	c       164       381    390.73     84.17      4.64   1000000         0
140.04/140.17	c       201       310    404.14     95.97      4.21   1000000         0
141.34/141.44	c       176       400    382.85     85.38      4.48   1000000         0
142.64/142.71	c       172       364    381.45     72.52      5.26   1000000         0
143.84/143.98	c       153       418    377.06     74.33      5.07   1000000         0
145.14/145.26	c       174       402    390.17    101.16      3.86   1000000         0
146.43/146.53	c       189       335    369.58     81.31      4.55   1000000         0
147.73/147.80	c       202       326    394.25     79.56      4.96   1000000         0
148.93/149.07	c       179       468    380.81     92.52      4.12   1000000         0
150.23/150.35	c       141       299    386.48     77.21      5.01   1000000         0
151.53/151.62	c       164       469    374.84     73.77      5.08   1000000         0
152.74/152.90	c       171       350    387.68     87.48      4.43   1000000         0
154.03/154.17	c       185       451    398.11    101.50      3.92   1000000         0
155.33/155.45	c       180       373    397.19     90.44      4.39   1000000         0
156.63/156.73	c       161       460    383.56     95.21      4.03   1000000         0
157.93/158.00	c       177       371    386.41     89.85      4.30   1000000         0
159.13/159.27	c       174       470    388.42     94.60      4.11   1000000         0
160.44/160.55	c       196       566    398.22     87.42      4.56   1000000         0
161.73/161.82	c       195       485    378.04     93.30      4.05   1000000         0
162.93/163.09	c       161       377    376.52     86.16      4.37   1000000         0
164.23/164.37	c       181       292    404.37    110.07      3.67   1000000         0
165.53/165.65	c       153       374    389.17     99.35      3.92   1000000         0
166.83/166.92	c       183       257    377.51     76.79      4.92   1000000         0
168.03/168.19	c       157       315    380.50     90.42      4.21   1000000         0
169.33/169.47	c       171       374    382.97     91.46      4.19   1000000         0
170.63/170.74	c       192       357    373.11     97.06      3.84   1000000         0
171.92/172.01	c       192       352    395.21    107.72      3.67   1000000         0
173.12/173.29	c       172       490    386.04     88.49      4.36   1000000         0
174.42/174.56	c       177       299    388.63     89.31      4.35   1000000         0
175.72/175.83	c       176       380    370.08     92.53      4.00   1000000         0
177.03/177.10	c       173       412    384.86     82.33      4.67   1000000         0
178.22/178.38	c       184       352    387.94     81.31      4.77   1000000         0
179.52/179.65	c       206       341    388.61     75.47      5.15   1000000         0
180.82/180.92	c       138       384    391.91     91.68      4.27   1000000         0
182.12/182.20	c       193       342    389.93     88.10      4.43   1000000         0
183.32/183.47	c       168       278    383.98     89.21      4.30   1000000         0
184.63/184.75	c       203       417    387.01     98.02      3.95   1000000         0
185.92/186.02	c       187       311    378.14     79.94      4.73   1000000         0
187.12/187.29	c       224       336    393.64     85.89      4.58   1000000         0
188.42/188.57	c       189       305    386.57     77.00      5.02   1000000         0
189.72/189.84	c       178       394    386.49     90.30      4.28   1000000         0
191.02/191.12	c       186       446    393.39     99.58      3.95   1000000         0
192.22/192.39	c       163       372    380.92     85.23      4.47   1000000         0
193.52/193.67	c       208       376    381.24     90.72      4.20   1000000         0
194.82/194.93	c       140       407    374.00     83.53      4.48   1000000         0
196.12/196.21	c       161       352    368.01     75.62      4.87   1000000         0
197.32/197.47	c       155       359    376.32     71.02      5.30   1000000         0
198.61/198.75	c       176       426    383.19     86.05      4.45   1000000         0
199.91/200.02	c       146       476    383.96     82.21      4.67   1000000         0
201.12/201.29	c       174       457    384.62     74.74      5.15   1000000         0
202.41/202.57	c       222       319    391.60     82.11      4.77   1000000         0
203.71/203.84	c       131       437    366.68     81.71      4.49   1000000         0
205.01/205.11	c       165       289    392.67     78.20      5.02   1000000         0
206.21/206.39	c       176       411    402.45     87.54      4.60   1000000         0
207.51/207.66	c       187       264    387.61     86.24      4.49   1000000         0
208.82/208.94	c       149       411    392.91     94.28      4.17   1000000         0
210.11/210.21	c       194       462    386.00     83.38      4.63   1000000         0
211.31/211.49	c       180       376    401.86     86.25      4.66   1000000         0
212.61/212.75	c       176       436    373.35     77.82      4.80   1000000         0
213.91/214.03	c       181       399    376.04     81.76      4.60   1000000         0
215.21/215.30	c       184       413    389.97     94.51      4.13   1000000         0
216.41/216.58	c       126       379    383.85     82.52      4.65   1000000         0
217.72/217.85	c       194       329    393.61     70.06      5.62   1000000         0
219.01/219.13	c       166       460    379.30     84.12      4.51   1000000         0
220.31/220.40	c       189       411    388.66     81.29      4.78   1000000         0
221.51/221.67	c       143       386    379.78     83.42      4.55   1000000         0
222.81/222.94	c       171       292    381.04     93.59      4.07   1000000         0
224.11/224.22	c       152       382    390.49     83.69      4.67   1000000         0
225.31/225.50	c       179       417    402.74     80.70      4.99   1000000         0
226.61/226.77	c       191       353    385.67     89.58      4.31   1000000         0
227.91/228.05	c       183       427    394.90     79.06      5.00   1000000         0
229.20/229.32	c       151       376    385.02     77.93      4.94   1000000         0
230.50/230.60	c       207       379    394.46     87.44      4.51   1000000         0
231.70/231.87	c       145       507    394.94     86.03      4.59   1000000         0
233.01/233.14	c       177       434    389.21     84.77      4.59   1000000         0
234.30/234.42	c       145       524    377.44     96.09      3.93   1000000         0
235.50/235.69	c       175       380    386.60     83.79      4.61   1000000         0
236.80/236.97	c       200       385    390.76     74.86      5.22   1000000         0
238.10/238.24	c       179       272    382.84     80.99      4.73   1000000         0
239.40/239.52	c       138       275    382.37     98.29      3.89   1000000         0
240.60/240.79	c       196       400    391.18    104.32      3.75   1000000         0
241.91/242.07	c       197       444    391.02     83.49      4.68   1000000         0
243.20/243.34	c       173       519    380.49     86.63      4.39   1000000         0
244.50/244.62	c       152       440    381.43     92.08      4.14   1000000         0
245.70/245.89	c       151       407    396.80     83.20      4.77   1000000         0
247.00/247.17	c       239       365    395.87     70.14      5.64   1000000         0
248.30/248.44	c       164       282    371.94     82.39      4.51   1000000         0
249.60/249.71	c       163       349    372.51     83.97      4.44   1000000         0
250.80/250.99	c       198       342    379.23     71.78      5.28   1000000         0
252.10/252.26	c       101       331    379.45     80.15      4.73   1000000         0
253.40/253.53	c       148       414    384.43     80.18      4.79   1000000         0
254.70/254.81	c       189       473    386.13     83.45      4.63   1000000         0
255.90/256.08	c       139       313    380.32     91.02      4.18   1000000         0
257.20/257.35	c       165       546    380.23     92.42      4.11   1000000         0
258.49/258.62	c       198       569    389.12     76.49      5.09   1000000         0
259.79/259.90	c       206       311    390.03     91.37      4.27   1000000         0
260.99/261.17	c       170       309    371.51     90.24      4.12   1000000         0
262.29/262.44	c       168       334    372.39     81.36      4.58   1000000         0
263.59/263.72	c       155       438    391.50     73.68      5.31   1000000         0
264.79/264.99	c       186       340    376.78     85.42      4.41   1000000         0
266.10/266.26	c       162       319    382.33     76.76      4.98   1000000         0
267.39/267.54	c       177       421    391.15     75.50      5.18   1000000         0
268.69/268.81	c       162       264    383.66     96.76      3.96   1000000         0
269.89/270.08	c       181       228    383.94     82.65      4.65   1000000         0
271.19/271.35	c       166       379    380.94     86.45      4.41   1000000         0
272.49/272.63	c       199       354    396.55     92.53      4.29   1000000         0
273.80/273.91	c       195       276    397.39     90.31      4.40   1000000         0
274.99/275.18	c       177       325    399.27     81.23      4.92   1000000         0
276.29/276.45	c       168       331    383.07     84.30      4.54   1000000         0
277.59/277.73	c       199       470    386.97     85.78      4.51   1000000         0
278.89/279.00	c       163       358    384.79     90.45      4.25   1000000         0
280.09/280.27	c        84       257    375.96     87.02      4.32   1000000         0
281.39/281.55	c       167       458    399.31     98.64      4.05   1000000         0
282.69/282.82	c       160       425    378.35     95.48      3.96   1000000         0
283.89/284.09	c       169       399    385.00     94.08      4.09   1000000         0
285.18/285.37	c       172       432    378.34     78.98      4.79   1000000         0
286.48/286.64	c       191       298    397.26     73.13      5.43   1000000         0
287.78/287.91	c       188       348    387.11     83.78      4.62   1000000         0
288.98/289.19	c       196       325    392.45     89.92      4.36   1000000         0
290.29/290.46	c       178       403    376.59     89.09      4.23   1000000         0
291.58/291.74	c       140       327    396.46     78.43      5.05   1000000         0
292.88/293.01	c       162       314    372.55     82.88      4.49   1000000         0
294.08/294.28	c       172       292    391.42     78.65      4.98   1000000         0
295.38/295.55	c       152       401    370.10     98.92      3.74   1000000         0
296.68/296.83	c       162       417    388.42     83.85      4.63   1000000         0
297.89/298.10	c       166       248    374.46     79.19      4.73   1000000         0
299.18/299.37	c       170       383    393.34     86.60      4.54   1000000         0
300.48/300.64	c       183       320    375.53     80.58      4.66   1000000         0
301.78/301.92	c       190       361    399.21     80.81      4.94   1000000         0
303.08/303.20	c       201       406    402.04     88.35      4.55   1000000         0
304.28/304.47	c       161       472    368.84     83.16      4.44   1000000         0
305.58/305.74	c       178       464    381.76     74.43      5.13   1000000         0
306.88/307.02	c       161       434    378.71     86.00      4.40   1000000         0
308.08/308.29	c       223       426    394.81     78.99      5.00   1000000         0
309.38/309.56	c       191       438    374.12     66.24      5.65   1000000         0
310.68/310.83	c       157       366    373.32     79.15      4.72   1000000         0
311.98/312.10	c       145       490    377.00     87.51      4.31   1000000         0
313.18/313.37	c       201       379    388.56     93.19      4.17   1000000         0
314.48/314.65	c       174       386    388.70     80.51      4.83   1000000         0
315.77/315.92	c       177       353    395.41     77.14      5.13   1000000         0
316.97/317.19	c       177       499    382.82     85.10      4.50   1000000         0
318.27/318.47	c       193       337    385.11     81.02      4.75   1000000         0
319.57/319.74	c       173       295    382.45     87.15      4.39   1000000         0
320.87/321.01	c       194       366    372.53     76.07      4.90   1000000         0
322.08/322.28	c       201       326    383.65     80.94      4.74   1000000         0
323.37/323.56	c       210       344    395.86     77.39      5.12   1000000         0
324.67/324.83	c       188       283    385.58     85.87      4.49   1000000         0
325.97/326.10	c       175       273    374.46     75.29      4.97   1000000         0
327.17/327.38	c       163       510    396.20     87.63      4.52   1000000         0
328.47/328.65	c       193       318    393.77     88.31      4.46   1000000         0
329.78/329.93	c       177       364    391.14     80.90      4.83   1000000         0
331.07/331.21	c       210       358    397.20     78.18      5.08   1000000         0
332.27/332.48	c       191       251    383.88     76.34      5.03   1000000         0
333.57/333.75	c       171       382    379.85     85.78      4.43   1000000         0
334.87/335.02	c       137       308    368.59    102.19      3.61   1000000         0
336.17/336.30	c       169       405    385.54     80.86      4.77   1000000         0
337.37/337.57	c       209       381    391.98     76.67      5.11   1000000         0
338.67/338.85	c       192       311    392.04    108.16      3.62   1000000         0
339.97/340.12	c       168       359    378.56     79.65      4.75   1000000         0
341.17/341.39	c       186       303    383.88     97.73      3.93   1000000         0
342.46/342.66	c       155       438    374.87     93.94      3.99   1000000         0
343.76/343.94	c       156       430    386.58    102.49      3.77   1000000         0
345.06/345.21	c       214       351    392.13     77.02      5.09   1000000         0
346.27/346.49	c       190       397    392.18     69.59      5.64   1000000         0
347.56/347.76	c       183       401    385.86     91.65      4.21   1000000         0
348.86/349.03	c       182       465    389.96     72.99      5.34   1000000         0
350.16/350.31	c       116       400    377.15     78.53      4.80   1000000         0
351.36/351.58	c       163       419    381.94     82.57      4.63   1000000         0
352.66/352.86	c       192       381    392.66     84.74      4.63   1000000         0
353.97/354.13	c       187       310    380.72     82.12      4.64   1000000         0
355.26/355.41	c       189       365    389.33    107.11      3.63   1000000         0
356.46/356.68	c       156       384    377.30     86.12      4.38   1000000         0
357.76/357.95	c       145       308    388.14     84.31      4.60   1000000         0
359.06/359.22	c       170       400    368.28     74.00      4.98   1000000         0
360.36/360.50	c       183       386    398.72     74.42      5.36   1000000         0
361.56/361.77	c       210       391    389.79     75.46      5.17   1000000         0
362.87/363.05	c       172       492    384.09     78.73      4.88   1000000         0
364.16/364.32	c       191       384    381.07     83.62      4.56   1000000         0
365.46/365.60	c       180       352    394.84     96.50      4.09   1000000         0
366.66/366.87	c       190       321    378.12     80.31      4.71   1000000         0
367.96/368.14	c       151       275    382.34     78.21      4.89   1000000         0
369.26/369.42	c       223       373    395.21     81.73      4.84   1000000         0
370.46/370.70	c       214       445    389.60     88.96      4.38   1000000         0
371.75/371.97	c       167       316    381.42     79.57      4.79   1000000         0
373.05/373.24	c       141       340    371.01     97.28      3.81   1000000         0
374.35/374.51	c       189       263    378.42     73.26      5.17   1000000         0
375.55/375.78	c       174       323    376.20     80.19      4.69   1000000         0
376.85/377.06	c       207       406    392.05     82.43      4.76   1000000         0
378.16/378.33	c       111       368    388.23     95.77      4.05   1000000         0
379.45/379.60	c       169       479    387.39     89.64      4.32   1000000         0
380.65/380.88	c       198       314    386.50     94.91      4.07   1000000         0
381.95/382.15	c       183       327    389.33     90.08      4.32   1000000         0
383.25/383.42	c       158       309    383.84     85.68      4.48   1000000         0
384.55/384.70	c       198       324    388.78     85.48      4.55   1000000         0
385.75/385.98	c       233       344    408.30     77.00      5.30   1000000         0
387.06/387.25	c       148       270    378.16     86.54      4.37   1000000         0
388.35/388.52	c       187       392    380.79     89.52      4.25   1000000         0
389.55/389.79	c       199       324    374.48     85.75      4.37   1000000         0
390.85/391.06	c       204       404    376.43     71.46      5.27   1000000         0
392.15/392.33	c       186       360    377.99     81.07      4.66   1000000         0
393.45/393.61	c       193       356    376.89     76.80      4.91   1000000         0
394.66/394.88	c       156       307    383.10     86.67      4.42   1000000         0
395.95/396.15	c       143       405    377.55     87.25      4.33   1000000         0
397.25/397.42	c       148       336    371.81     95.66      3.89   1000000         0
398.45/398.69	c       170       400    384.90     87.41      4.40   1000000         0
399.75/399.97	c       200       390    379.80     76.49      4.97   1000000         0
401.05/401.24	c       194       364    382.11     76.60      4.99   1000000         0
402.35/402.51	c       157       447    387.11     84.26      4.59   1000000         0
403.55/403.78	c       197       379    381.32     85.89      4.44   1000000         0
404.84/405.06	c       185       446    392.35     91.96      4.27   1000000         0
406.14/406.33	c       180       431    373.45     91.86      4.07   1000000         0
407.44/407.60	c       130       362    358.55     83.93      4.27   1000000         0
408.64/408.87	c       178       385    390.53     85.28      4.58   1000000         0
409.94/410.15	c       214       360    394.22     79.15      4.98   1000000         0
411.25/411.42	c       180       381    381.50     92.64      4.12   1000000         0
412.54/412.70	c       194       345    386.29     90.32      4.28   1000000         0
413.74/413.97	c       175       295    377.45     86.52      4.36   1000000         0
415.04/415.24	c       214       394    380.54     82.54      4.61   1000000         0
416.34/416.51	c       179       280    374.45     85.31      4.39   1000000         0
417.54/417.78	c       170       362    378.55     88.60      4.27   1000000         0
418.85/419.05	c       180       422    375.00     89.64      4.18   1000000         0
420.14/420.33	c       168       431    376.68     75.61      4.98   1000000         0
421.44/421.60	c       162       382    400.71     80.64      4.97   1000000         0
422.64/422.88	c       137       396    384.01     86.97      4.42   1000000         0
423.94/424.15	c       193       412    392.16     79.81      4.91   1000000         0
425.24/425.42	c       167       417    377.71     90.57      4.17   1000000         0
426.54/426.70	c       188       303    378.43     73.49      5.15   1000000         0
427.74/427.98	c       181       463    393.51     87.08      4.52   1000000         0
429.04/429.25	c       195       391    393.94     81.69      4.82   1000000         0
430.34/430.52	c       181       421    378.23     95.63      3.96   1000000         0
431.54/431.79	c       196       341    375.28     81.35      4.61   1000000         0
432.83/433.07	c       166       452    384.12     88.90      4.32   1000000         0
434.13/434.34	c       155       457    372.17     88.43      4.21   1000000         0
435.44/435.61	c       158       441    378.38     76.29      4.96   1000000         0
436.63/436.88	c       204       260    388.65     74.09      5.25   1000000         0
437.93/438.16	c       165       476    392.02     89.78      4.37   1000000         0
439.23/439.43	c       203       335    379.74     86.93      4.37   1000000         0
440.53/440.70	c       176       358    382.55    100.91      3.79   1000000         0
441.73/441.98	c       193       282    388.59     83.39      4.66   1000000         0
443.04/443.25	c       173       392    373.03     78.10      4.78   1000000         0
444.33/444.52	c       211       417    394.49     86.58      4.56   1000000         0
445.63/445.80	c       213       348    398.84     88.36      4.51   1000000         0
446.83/447.07	c       163       344    379.38    103.52      3.66   1000000         0
448.13/448.35	c       189       350    387.43     80.36      4.82   1000000         0
449.43/449.62	c       154       407    379.49     78.26      4.85   1000000         0
450.63/450.89	c       186       452    382.97     84.74      4.52   1000000         0
451.94/452.17	c       174       354    387.30     91.50      4.23   1000000         0
453.23/453.44	c       207       392    394.67     75.04      5.26   1000000         0
454.53/454.71	c       181       435    379.50     92.29      4.11   1000000         0
455.73/455.98	c       165       313    382.90     76.54      5.00   1000000         0
457.03/457.25	c       180       337    375.01     80.79      4.64   1000000         0
458.33/458.53	c       150       364    391.31     70.99      5.51   1000000         0
459.54/459.80	c       178       377    371.77     78.02      4.77   1000000         0
460.83/461.08	c       191       392    391.48     85.83      4.56   1000000         0
462.13/462.35	c       159       340    374.91    102.38      3.66   1000000         0
463.43/463.62	c       167       332    383.21     84.07      4.56   1000000         0
464.63/464.89	c       213       503    381.31     75.15      5.07   1000000         0
465.93/466.17	c       148       391    391.25     85.05      4.60   1000000         0
467.24/467.44	c       181       347    379.34     85.20      4.45   1000000         0
468.53/468.71	c       198       400    382.48     83.79      4.57   1000000         0
469.73/469.99	c       196       467    388.48     85.66      4.53   1000000         0
471.03/471.26	c       195       348    378.82     78.46      4.83   1000000         0
472.33/472.53	c       176       376    390.16     81.17      4.81   1000000         0
473.63/473.81	c       208       301    397.09     89.21      4.45   1000000         0
474.83/475.09	c       194       332    390.05     80.15      4.87   1000000         0
476.13/476.36	c       215       364    396.57     85.72      4.63   1000000         0
477.43/477.64	c       210       367    400.10     76.70      5.22   1000000         0
478.73/478.91	c       136       407    387.67     78.87      4.92   1000000         0
479.93/480.19	c       213       338    387.34     81.38      4.76   1000000         0
481.23/481.46	c       185       413    388.32     82.91      4.68   1000000         0
482.53/482.74	c       196       361    397.03     78.08      5.09   1000000         0
483.83/484.01	c       176       303    383.43     76.43      5.02   1000000         0
485.02/485.28	c       194       543    385.84     84.85      4.55   1000000         0
486.32/486.56	c       184       289    385.26     88.52      4.35   1000000         0
487.62/487.83	c       121       339    392.66     86.36      4.55   1000000         0
488.92/489.10	c       168       403    384.74     98.24      3.92   1000000         0
490.12/490.38	c       202       311    384.78     75.58      5.09   1000000         0
491.43/491.66	c       188       410    398.79     83.48      4.78   1000000         0
492.72/492.93	c       137       406    373.09     90.10      4.14   1000000         0
494.02/494.20	c       189       304    383.77     89.82      4.27   1000000         0
495.22/495.48	c       197       443    393.78     79.74      4.94   1000000         0
496.52/496.75	c       155       419    389.29     75.10      5.18   1000000         0
497.82/498.03	c       173       411    391.50     82.50      4.75   1000000         0
499.12/499.30	c       194       460    380.97     94.19      4.04   1000000         0
500.32/500.57	c       144       399    381.11     76.92      4.95   1000000         0
501.62/501.85	c       194       346    385.51     88.10      4.38   1000000         0
502.92/503.12	c       190       426    388.86     99.42      3.91   1000000         0
504.12/504.40	c       188       323    388.08     83.31      4.66   1000000         0
505.42/505.67	c       185       376    384.34     76.28      5.04   1000000         0
506.71/506.94	c       162       280    369.00    101.35      3.64   1000000         0
508.02/508.21	c       192       396    385.34     86.96      4.43   1000000         0
509.21/509.48	c       198       294    380.62     86.95      4.38   1000000         0
510.51/510.76	c       215       474    388.92     75.28      5.17   1000000         0
511.81/512.03	c       201       350    393.99     86.32      4.56   1000000         0
513.11/513.30	c       201       349    390.67     72.92      5.36   1000000         0
514.31/514.58	c       166       437    387.27     93.29      4.15   1000000         0
515.62/515.85	c       185       391    376.85     94.38      3.99   1000000         0
516.91/517.13	c       134       344    390.12     95.32      4.09   1000000         0
518.21/518.40	c       205       395    390.38     86.44      4.52   1000000         0
519.41/519.68	c       179       296    390.69     98.06      3.98   1000000         0
520.71/520.96	c       212       379    403.86     89.14      4.53   1000000         0
522.01/522.22	c       172       405    375.16     69.49      5.40   1000000         0
523.32/523.50	c       189       477    408.39     85.13      4.80   1000000         0
524.52/524.78	c       197       355    391.09     86.01      4.55   1000000         0
525.81/526.05	c       159       338    377.28     85.09      4.43   1000000         0
527.11/527.32	c       205       336    387.22     73.63      5.26   1000000         0
528.31/528.59	c       189       227    384.29     81.52      4.71   1000000         0
529.61/529.87	c       158       347    381.96     79.80      4.79   1000000         0
530.91/531.14	c       170       391    382.78     93.04      4.11   1000000         0
532.21/532.41	c       196       333    390.95     76.21      5.13   1000000         0
533.41/533.68	c       191       427    390.92     88.70      4.41   1000000         0
534.70/534.96	c       202       401    393.89     84.36      4.67   1000000         0
536.00/536.23	c       174       397    383.95     80.56      4.77   1000000         0
537.30/537.51	c       164       333    374.54     80.77      4.64   1000000         0
538.50/538.77	c       156       370    370.23     91.12      4.06   1000000         0
539.81/540.05	c       165       367    388.78     88.42      4.40   1000000         0
541.10/541.32	c       147       392    374.75     98.06      3.82   1000000         0
542.30/542.59	c       177       364    392.26     88.84      4.42   1000000         0
543.60/543.87	c       207       353    395.60     78.10      5.07   1000000         0
544.90/545.14	c       161       413    373.06     89.32      4.18   1000000         0
546.20/546.41	c       145       348    386.10     95.06      4.06   1000000         0
547.40/547.68	c       171       389    390.50     87.92      4.44   1000000         0
548.71/548.96	c       211       301    392.63     85.46      4.59   1000000         0
550.00/550.23	c       173       433    379.40     84.13      4.51   1000000         0
551.30/551.51	c       199       306    390.09     86.11      4.53   1000000         0
552.50/552.78	c       178       266    380.45     89.72      4.24   1000000         0
553.80/554.05	c       167       425    367.71     79.18      4.64   1000000         0
555.10/555.32	c       150       431    374.10     81.58      4.59   1000000         0
556.31/556.59	c       198       415    385.95     78.04      4.95   1000000         0
557.60/557.87	c       140       279    386.07     87.34      4.42   1000000         0
558.90/559.14	c       179       386    383.17     90.04      4.26   1000000         0
560.20/560.41	c       170       439    380.49     76.26      4.99   1000000         0
561.40/561.68	c       157       425    404.25     98.30      4.11   1000000         0
562.70/562.96	c       157       316    390.91     87.54      4.47   1000000         0
564.00/564.22	c       166       421    373.04     76.94      4.85   1000000         0
565.30/565.50	c       217       395    407.37     82.73      4.92   1000000         0
566.49/566.78	c       183       298    386.08     72.31      5.34   1000000         0
567.79/568.05	c       190       346    368.19     79.29      4.64   1000000         0
569.09/569.32	c       199       318    382.88     67.79      5.65   1000000         0
570.29/570.59	c       188       300    368.73     76.35      4.83   1000000         0
571.59/571.87	c       224       312    402.32     81.67      4.93   1000000         0
572.90/573.14	c       191       307    382.73     77.92      4.91   1000000         0
574.19/574.42	c       186       346    398.40     77.04      5.17   1000000         0
575.39/575.69	c       147       393    370.71     81.53      4.55   1000000         0
576.69/576.96	c       181       525    391.62     78.59      4.98   1000000         0
577.99/578.24	c       183       300    384.57     83.74      4.59   1000000         0
579.29/579.51	c       193       299    380.41     76.33      4.98   1000000         0
580.50/580.79	c       181       327    401.97     96.02      4.19   1000000         0
581.79/582.05	c       168       401    371.21     78.72      4.72   1000000         0
583.09/583.33	c       213       369    388.66     85.35      4.55   1000000         0
584.39/584.60	c       174       508    371.21     77.19      4.81   1000000         0
585.59/585.87	c       190       358    373.81     82.08      4.55   1000000         0
586.89/587.15	c       198       404    385.01     78.97      4.88   1000000         0
588.19/588.42	c       174       412    376.43     80.78      4.66   1000000         0
589.39/589.69	c       136       334    360.09     80.53      4.47   1000000         0
590.69/590.96	c       148       303    382.61     88.88      4.30   1000000         0
591.99/592.23	c       221       309    383.86     84.49      4.54   1000000         0
593.29/593.50	c       142       449    363.33     84.34      4.31   1000000         0
594.49/594.77	c       161       350    388.65     74.14      5.24   1000000         0
595.78/596.05	c       175       417    387.55     83.54      4.64   1000000         0
597.09/597.33	c       187       370    389.37     95.77      4.07   1000000         0
598.38/598.60	c       167       323    392.69     83.36      4.71   1000000         0
599.58/599.88	c       177       299    391.46     82.25      4.76   1000000         0
600.88/601.15	c       177       343    387.68    107.71      3.60   1000000         0
602.18/602.43	c       135       365    377.79     74.94      5.04   1000000         0
603.38/603.70	c       180       266    368.58     90.89      4.06   1000000         0
604.69/604.97	c       155       394    371.66     72.69      5.11   1000000         0
605.98/606.24	c       175       373    394.30     85.41      4.62   1000000         0
607.28/607.52	c       183       277    396.58     85.04      4.66   1000000         0
608.48/608.79	c       175       317    374.53     76.55      4.89   1000000         0
609.78/610.07	c       183       247    386.37     80.30      4.81   1000000         0
611.08/611.34	c       183       444    385.11     79.79      4.83   1000000         0
612.39/612.62	c       163       282    391.59    108.14      3.62   1000000         0
613.59/613.89	c       189       275    369.76     71.02      5.21   1000000         0
614.88/615.16	c       193       324    388.23     84.81      4.58   1000000         0
616.18/616.43	c       203       452    392.55     89.88      4.37   1000000         0
617.48/617.71	c       158       397    382.93     93.07      4.11   1000000         0
618.68/618.98	c       212       416    383.01     79.00      4.85   1000000         0
619.98/620.26	c       163       345    386.76    106.56      3.63   1000000         0
621.28/621.53	c       183       361    394.91     77.25      5.11   1000000         0
622.58/622.80	c       192       386    385.52     81.06      4.76   1000000         0
623.78/624.08	c       156       512    388.22     89.24      4.35   1000000         0
625.07/625.35	c       167       315    380.88     83.81      4.54   1000000         0
626.37/626.62	c       182       392    376.01     83.88      4.48   1000000         0
627.57/627.89	c       205       306    382.88     83.53      4.58   1000000         0
628.88/629.16	c       152       317    385.28     78.01      4.94   1000000         0
630.17/630.44	c       188       265    380.12     75.91      5.01   1000000         0
631.47/631.71	c       168       379    377.57     79.86      4.73   1000000         0
632.67/632.98	c       190       355    368.12     82.71      4.45   1000000         0
633.97/634.25	c       192       400    389.46     85.07      4.58   1000000         0
635.27/635.53	c       192       383    384.94     93.54      4.12   1000000         0
636.58/636.80	c       147       321    392.88    107.67      3.65   1000000         0
637.78/638.08	c       189       366    383.07     98.04      3.91   1000000         0
639.07/639.35	c       183       394    385.82     85.30      4.52   1000000         0
640.37/640.62	c       170       470    390.33     78.66      4.96   1000000         0
641.67/641.90	c       146       445    388.76     98.42      3.95   1000000         0
642.87/643.17	c       144       446    384.68     85.93      4.48   1000000         0
644.17/644.45	c       159       395    376.20     72.82      5.17   1000000         0
645.47/645.72	c        88       393    383.13     82.98      4.62   1000000         0
646.67/646.99	c       179       452    387.40     79.59      4.87   1000000         0
647.97/648.27	c       162       335    396.95     78.25      5.07   1000000         0
649.27/649.55	c       208       340    384.38     80.46      4.78   1000000         0
650.57/650.82	c       163       360    370.52     88.73      4.18   1000000         0
651.76/652.09	c       182       441    389.75     84.49      4.61   1000000         0
653.07/653.37	c       174       424    403.16     87.74      4.59   1000000         0
654.36/654.65	c       182       434    388.15     90.49      4.29   1000000         0
655.66/655.92	c       162       294    376.98     87.96      4.29   1000000         0
656.86/657.19	c       197       393    384.00     76.33      5.03   1000000         0
658.16/658.46	c       194       309    372.13     85.29      4.36   1000000         0
659.46/659.73	c       170       441    396.23     89.13      4.45   1000000         0
660.77/661.01	c       134       405    384.61     95.41      4.03   1000000         0
661.97/662.28	c       167       346    381.25     81.41      4.68   1000000         0
663.26/663.56	c       211       341    401.82     77.93      5.16   1000000         0
664.56/664.83	c       173       400    397.15     91.40      4.35   1000000         0
665.86/666.11	c       208       372    395.54     86.03      4.60   1000000         0
667.06/667.38	c       198       373    367.61     84.97      4.33   1000000         0
668.36/668.66	c       190       281    387.07     78.84      4.91   1000000         0
669.67/669.93	c       209       332    385.25     79.11      4.87   1000000         0
670.96/671.21	c       192       405    382.82     83.47      4.59   1000000         0
672.16/672.48	c       156       446    390.63     88.09      4.43   1000000         0
673.46/673.76	c       162       441    390.25     79.08      4.93   1000000         0
674.76/675.03	c       185       343    390.04     82.12      4.75   1000000         0
676.06/676.30	c       123       297    383.91     87.52      4.39   1000000         0
677.26/677.58	c       201       387    387.86     85.37      4.54   1000000         0
678.56/678.86	c       210       383    398.10     84.38      4.72   1000000         0
679.86/680.13	c       195       350    377.51     72.04      5.24   1000000         0
681.15/681.40	c       183       292    384.32     89.19      4.31   1000000         0
682.35/682.67	c       160       371    393.38    107.06      3.67   1000000         0
683.65/683.95	c       184       464    383.45     85.21      4.50   1000000         0
684.96/685.22	c       184       435    375.44     82.48      4.55   1000000         0
686.16/686.49	c       165       321    379.43     83.47      4.55   1000000         0
687.45/687.76	c       187       331    371.25     79.67      4.66   1000000         0
688.75/689.03	c       216       383    396.61     78.06      5.08   1000000         0
690.05/690.30	c       159       360    373.26     90.94      4.10   1000000         0
691.25/691.58	c       203       439    386.18     89.78      4.30   1000000         0
692.55/692.85	c       150       361    379.72     88.46      4.29   1000000         0
693.86/694.12	c       159       375    387.54     81.81      4.74   1000000         0
695.15/695.40	c       176       473    382.19     86.62      4.41   1000000         0
696.35/696.67	c       182       271    399.78     94.48      4.23   1000000         0
697.65/697.95	c       166       445    382.90     99.28      3.86   1000000         0
698.95/699.22	c       197       416    388.94     84.66      4.59   1000000         0
700.15/700.50	c       211       412    394.22     74.03      5.33   1000000         0
701.45/701.77	c       191       363    390.14     82.96      4.70   1000000         0
702.75/703.04	c       183       373    376.73     75.07      5.02   1000000         0
704.05/704.32	c       179       389    387.32     85.27      4.54   1000000         0
705.25/705.59	c       199       473    400.77     82.67      4.85   1000000         0
706.55/706.86	c       193       353    380.47     84.21      4.52   1000000         0
707.85/708.14	c       190       451    378.90     74.65      5.08   1000000         0
709.15/709.41	c       200       353    384.80     77.58      4.96   1000000         0
710.35/710.68	c       192       431    376.77     83.88      4.49   1000000         0
711.64/711.96	c       222       305    405.44     89.03      4.55   1000000         0
712.94/713.23	c       141       274    381.16     91.03      4.19   1000000         0
714.24/714.51	c       163       379    393.34     88.07      4.47   1000000         0
715.44/715.78	c       187       454    397.76     88.98      4.47   1000000         0
716.74/717.05	c       193       430    374.19     68.31      5.48   1000000         0
718.05/718.34	c       201       523    411.11    120.19      3.42   1000000         0
719.34/719.61	c       179       268    377.72     80.20      4.71   1000000         0
720.54/720.89	c       180       448    386.09     75.49      5.11   1000000         0
721.84/722.16	c       180       513    386.57     77.22      5.01   1000000         0
723.14/723.43	c       168       384    382.00     81.56      4.68   1000000         0
724.44/724.71	c       188       306    385.43     73.33      5.26   1000000         0
725.65/725.98	c       177       352    381.39     88.73      4.30   1000000         0
726.94/727.26	c       198       323    395.88     88.04      4.50   1000000         0
728.24/728.53	c       170       324    378.82     85.66      4.42   1000000         0
729.54/729.80	c       187       468    389.34     85.91      4.53   1000000         0
730.74/731.07	c       192       411    393.81     99.10      3.97   1000000         0
732.04/732.35	c       207       285    392.48     83.57      4.70   1000000         0
733.34/733.63	c       186       437    394.48     86.42      4.56   1000000         0
734.64/734.90	c       188       369    395.36     79.88      4.95   1000000         0
735.84/736.18	c       210       311    385.23     77.44      4.97   1000000         0
737.13/737.45	c       182       229    376.72     72.36      5.21   1000000         0
738.43/738.72	c       188       357    381.50     79.49      4.80   1000000         0
739.63/740.00	c       172       357    378.66     85.64      4.42   1000000         0
740.93/741.27	c       166       400    395.04     92.80      4.26   1000000         0
742.24/742.54	c       145       344    379.19     90.38      4.20   1000000         0
743.53/743.82	c       185       429    397.61     92.42      4.30   1000000         0
744.73/745.10	c       163       363    383.96     95.45      4.02   1000000         0
746.03/746.37	c       182       395    380.65     77.86      4.89   1000000         0
747.33/747.64	c       161       502    385.81     85.97      4.49   1000000         0
748.63/748.91	c       195       390    381.11     85.45      4.46   1000000         0
749.84/750.18	c       180       369    380.15     96.06      3.96   1000000         0
751.13/751.46	c       171       418    384.06     93.22      4.12   1000000         0
752.43/752.73	c       172       420    375.57     89.86      4.18   1000000         0
753.73/754.00	c       132       420    395.19     93.55      4.22   1000000         0
754.93/755.28	c       190       222    385.51     82.36      4.68   1000000         0
756.23/756.56	c       200       365    397.59     87.51      4.54   1000000         0
757.53/757.83	c       169       357    382.27     76.41      5.00   1000000         0
758.83/759.10	c       165       392    380.14     94.59      4.02   1000000         0
760.03/760.38	c       193       298    388.04     84.02      4.62   1000000         0
761.33/761.65	c       146       427    380.96     84.12      4.53   1000000         0
762.63/762.93	c       204       408    390.90     86.47      4.52   1000000         0
763.93/764.20	c       172       368    382.23     86.85      4.40   1000000         0
765.13/765.47	c       147       295    378.39     83.41      4.54   1000000         0
766.43/766.75	c       195       309    396.04     87.62      4.52   1000000         0
767.72/768.02	c       163       365    381.91     87.10      4.38   1000000         0
768.92/769.29	c       170       362    383.94     91.98      4.17   1000000         0
770.22/770.56	c       174       374    378.59     93.44      4.05   1000000         0
771.52/771.83	c       195       456    377.92     78.85      4.79   1000000         0
772.82/773.11	c       165       338    375.33     89.36      4.20   1000000         0
774.03/774.38	c       174       209    379.28     75.82      5.00   1000000         0
775.32/775.65	c       185       433    384.10     88.93      4.32   1000000         0
776.62/776.92	c       165       355    380.67     99.78      3.82   1000000         0
777.82/778.19	c       195       284    381.46     79.64      4.79   1000000         0
779.12/779.47	c       135       396    390.20     77.81      5.01   1000000         0
780.42/780.74	c       188       413    392.16     86.32      4.54   1000000         0
781.73/782.02	c       226       330    391.36     82.00      4.77   1000000         0
782.93/783.29	c       184       384    391.79     95.76      4.09   1000000         0
784.22/784.57	c       173       275    383.21     74.65      5.13   1000000         0
785.52/785.84	c       184       285    383.66     94.42      4.06   1000000         0
786.82/787.11	c       181       397    384.15     81.14      4.73   1000000         0
788.02/788.38	c       188       337    373.94     79.66      4.69   1000000         0
789.32/789.66	c       161       407    389.99     84.21      4.63   1000000         0
790.62/790.93	c       198       522    393.73     85.69      4.59   1000000         0
791.92/792.21	c       195       294    387.84     79.67      4.87   1000000         0
793.12/793.48	c       168       399    381.80     98.98      3.86   1000000         0
794.42/794.76	c       167       311    390.64     90.93      4.30   1000000         0
795.72/796.04	c       168       399    396.74     84.94      4.67   1000000         0
797.01/797.31	c       201       346    384.63     81.57      4.72   1000000         0
798.22/798.59	c       146       402    389.59     95.84      4.06   1000000         0
799.51/799.85	c       170       296    364.08     82.66      4.40   1000000         0
800.81/801.13	c       206       372    392.70     81.74      4.80   1000000         0
802.11/802.40	c       168       400    379.40     74.48      5.09   1000000         0
803.31/803.68	c       189       460    399.10     95.76      4.17   1000000         0
804.61/804.96	c       199       268    379.47     85.22      4.45   1000000         0
805.92/806.23	c       155       397    385.12     92.94      4.14   1000000         0
807.21/807.50	c       203       317    378.22     74.92      5.05   1000000         0
808.41/808.77	c       193       404    385.92     78.35      4.93   1000000         0
809.71/810.05	c       183       407    374.94     77.25      4.85   1000000         0
811.01/811.32	c       164       348    389.99     82.73      4.71   1000000         0
812.21/812.59	c       193       420    394.34     81.25      4.85   1000000         0
813.51/813.86	c       133       415    378.94     84.70      4.47   1000000         0
814.82/815.14	c       162       385    377.06     89.34      4.22   1000000         0
816.11/816.41	c       180       412    385.42     86.09      4.48   1000000         0
817.31/817.68	c       186       399    374.29     81.32      4.60   1000000         0
818.61/818.95	c       179       386    381.12     83.28      4.58   1000000         0
819.91/820.23	c       212       287    394.41     91.46      4.31   1000000         0
821.21/821.50	c       195       308    390.02     78.24      4.98   1000000         0
822.41/822.78	c       158       427    388.55     95.27      4.08   1000000         0
823.70/824.05	c       183       279    389.58     80.04      4.87   1000000         0
825.00/825.32	c       192       393    383.53     87.09      4.40   1000000         0
826.30/826.60	c       184       316    383.21     97.03      3.95   1000000         0
827.50/827.87	c       200       349    383.73     73.71      5.21   1000000         0
828.80/829.15	c       163       398    385.41     95.22      4.05   1000000         0
830.11/830.42	c       210       345    394.87     82.50      4.79   1000000         0
831.31/831.69	c       160       304    376.56     88.43      4.26   1000000         0
832.60/832.97	c       194       528    383.69     79.02      4.86   1000000         0
833.90/834.23	c       154       443    368.05     88.47      4.16   1000000         0
835.20/835.51	c       182       226    394.37     82.06      4.81   1000000         0
836.40/836.78	c       194       396    383.49     77.95      4.92   1000000         0
837.70/838.05	c       162       300    388.05     94.75      4.10   1000000         0
839.01/839.33	c       205       467    389.80     70.34      5.54   1000000         0
840.30/840.60	c       208       315    395.62     77.30      5.12   1000000         0
841.50/841.88	c       180       337    386.14     72.42      5.33   1000000         0
842.80/843.15	c       188       363    394.57     82.21      4.80   1000000         0
844.10/844.43	c       187       315    380.43     90.40      4.21   1000000         0
845.40/845.70	c       166       312    375.47     84.80      4.43   1000000         0
846.60/846.97	c       165       278    364.95     78.88      4.63   1000000         0
847.90/848.24	c       194       318    388.82     80.26      4.84   1000000         0
849.19/849.52	c       203       319    396.60     74.46      5.33   1000000         0
850.39/850.79	c       196       490    395.56     75.82      5.22   1000000         0
851.69/852.07	c       214       356    396.47     84.12      4.71   1000000         0
852.99/853.34	c       187       346    386.12     79.29      4.87   1000000         0
854.30/854.62	c       194       396    388.59     80.06      4.85   1000000         0
855.50/855.89	c       188       409    400.81     85.05      4.71   1000000         0
856.79/857.17	c       191       359    389.35     92.50      4.21   1000000         0
858.09/858.44	c       177       362    386.84     82.80      4.67   1000000         0
859.39/859.72	c       161       324    389.26     79.83      4.88   1000000         0
860.59/860.99	c       170       359    385.81     83.04      4.65   1000000         0
861.89/862.27	c       202       331    387.62     84.87      4.57   1000000         0
863.20/863.54	c       191       389    390.25     75.18      5.19   1000000         0
864.49/864.81	c       168       467    377.60     82.91      4.55   1000000         0
865.69/866.09	c       172       410    391.26     88.17      4.44   1000000         0
866.99/867.36	c       206       356    383.33     91.46      4.19   1000000         0
868.29/868.64	c       167       413    384.10     85.29      4.50   1000000         0
869.59/869.91	c       168       364    379.79     82.65      4.60   1000000         0
870.79/871.18	c       168       424    370.28     95.59      3.87   1000000         0
872.09/872.45	c       199       382    371.64     76.42      4.86   1000000         0
873.39/873.72	c       194       447    378.78     82.38      4.60   1000000         0
874.59/874.99	c       183       256    381.23     83.00      4.59   1000000         0
875.89/876.26	c       195       278    386.11     76.33      5.06   1000000         0
877.19/877.54	c       149       406    391.70     85.36      4.59   1000000         0
878.49/878.81	c       159       374    381.41     88.15      4.33   1000000         0
879.69/880.08	c       214       385    390.96     81.14      4.82   1000000         0
880.98/881.36	c       177       360    377.18     78.49      4.81   1000000         0
882.28/882.63	c       175       347    382.94     89.63      4.27   1000000         0
883.58/883.91	c       168       299    379.14     87.65      4.33   1000000         0
884.78/885.18	c       147       338    378.68     87.58      4.32   1000000         0
886.08/886.45	c       171       231    383.23     82.47      4.65   1000000         0
887.39/887.72	c       133       272    380.69     83.05      4.58   1000000         0
888.58/889.00	c       175       379    384.77     73.80      5.21   1000000         0
889.88/890.27	c       212       372    390.81     78.12      5.00   1000000         0
891.18/891.54	c       179       310    375.49     81.42      4.61   1000000         0
892.48/892.82	c       184       306    389.97     87.89      4.44   1000000         0
893.68/894.09	c       210       415    389.15     82.29      4.73   1000000         0
894.99/895.36	c       193       398    382.88     77.56      4.94   1000000         0
896.28/896.63	c       200       371    385.11     67.88      5.67   1000000         0
897.58/897.91	c       187       293    379.58     97.12      3.91   1000000         0
898.78/899.18	c       171       241    378.27     81.93      4.62   1000000         0
900.08/900.45	c       177       403    377.23     69.03      5.46   1000000         0
901.38/901.72	c       186       241    378.89     86.36      4.39   1000000         0
902.58/902.99	c       191       448    387.52     81.93      4.73   1000000         0
903.88/904.27	c       162       293    378.48     83.75      4.52   1000000         0
905.18/905.54	c       205       312    387.14     82.53      4.69   1000000         0
906.48/906.82	c       220       270    388.42     80.07      4.85   1000000         0
907.68/908.09	c       181       373    381.83     77.30      4.94   1000000         0
908.97/909.36	c       186       325    371.57     80.71      4.60   1000000         0
910.27/910.63	c       189       462    383.44     82.84      4.63   1000000         0
911.58/911.91	c       184       384    393.68     89.01      4.42   1000000         0
912.77/913.18	c       173       355    380.96     85.78      4.44   1000000         0
914.07/914.45	c       185       474    371.04     83.13      4.46   1000000         0
915.37/915.72	c       186       265    381.36     87.78      4.34   1000000         0
916.57/916.99	c       187       360    390.82     75.56      5.17   1000000         0
917.87/918.27	c       162       297    383.02     88.97      4.30   1000000         0
919.18/919.54	c       180       368    385.11     95.53      4.03   1000000         0
920.47/920.81	c       173       318    375.27     86.36      4.35   1000000         0
921.67/922.08	c       165       419    382.69     87.96      4.35   1000000         0
922.97/923.36	c       199       363    398.10     80.43      4.95   1000000         0
924.27/924.63	c       156       294    396.62     92.70      4.28   1000000         0
925.57/925.91	c       168       301    385.59     85.73      4.50   1000000         0
926.77/927.18	c       157       370    364.29     77.02      4.73   1000000         0
928.07/928.45	c       175       433    387.04     76.89      5.03   1000000         0
929.37/929.73	c       205       372    391.62     87.91      4.46   1000000         0
930.67/931.01	c       217       359    397.37     91.73      4.33   1000000         0
931.87/932.28	c       172       451    388.69    115.35      3.37   1000000         0
933.17/933.56	c       194       403    393.99     81.51      4.83   1000000         0
934.47/934.83	c       130       378    379.33     91.79      4.13   1000000         0
935.67/936.10	c       173       360    374.78     84.77      4.42   1000000         0
936.96/937.38	c       204       436    388.79     92.05      4.22   1000000         0
938.26/938.65	c       208       268    398.00     77.45      5.14   1000000         0
939.56/939.93	c       199       404    390.90     89.12      4.39   1000000         0
940.86/941.20	c       163       376    369.84     78.85      4.69   1000000         0
942.06/942.47	c       216       380    396.98     86.62      4.58   1000000         0
943.37/943.75	c       173       275    381.82     76.57      4.99   1000000         0
944.66/945.02	c       146       356    387.57     86.65      4.47   1000000         0
945.86/946.29	c       195       397    380.79     76.46      4.98   1000000         0
947.16/947.56	c       190       292    380.33     88.22      4.31   1000000         0
948.46/948.84	c       149       309    391.05     93.68      4.17   1000000         0
949.76/950.11	c       158       525    382.86     83.34      4.59   1000000         0
950.96/951.39	c       164       334    387.25     92.95      4.17   1000000         0
952.27/952.67	c       194       368    395.21     82.29      4.80   1000000         0
953.56/953.93	c       144       378    363.17     90.54      4.01   1000000         0
954.86/955.21	c       189       486    393.81     79.93      4.93   1000000         0
956.06/956.49	c       203       284    399.57     83.96      4.76   1000000         0
957.36/957.76	c       178       373    384.77     78.39      4.91   1000000         0
958.66/959.04	c       179       364    409.59     89.00      4.60   1000000         0
959.96/960.31	c       175       400    393.02     82.06      4.79   1000000         0
961.16/961.59	c       177       440    381.25     90.02      4.24   1000000         0
962.46/962.87	c       220       390    401.64     82.01      4.90   1000000         0
963.76/964.14	c       148       284    375.69     91.35      4.11   1000000         0
965.06/965.42	c       192       448    394.42     92.21      4.28   1000000         0
966.25/966.69	c       166       498    376.90     73.85      5.10   1000000         0
967.56/967.96	c       157       447    385.76     87.15      4.43   1000000         0
968.85/969.24	c       206       340    390.95     80.11      4.88   1000000         0
970.15/970.51	c       150       456    385.74    105.25      3.66   1000000         0
971.35/971.79	c       172       381    388.25     89.21      4.35   1000000         0
972.65/973.06	c       185       438    393.84     93.71      4.20   1000000         0
973.95/974.33	c       197       306    374.52     84.29      4.44   1000000         0
975.26/975.61	c       196       271    384.37     82.48      4.66   1000000         0
976.46/976.88	c       158       413    367.51     91.32      4.02   1000000         0
977.75/978.15	c       203       479    398.03     83.18      4.79   1000000         0
979.05/979.42	c       130       427    380.66     78.61      4.84   1000000         0
980.25/980.69	c       182       299    379.02     81.10      4.67   1000000         0
981.55/981.96	c       160       411    374.36     88.12      4.25   1000000         0
982.85/983.24	c       205       364    381.78     90.14      4.24   1000000         0
984.16/984.51	c       213       342    390.32     78.02      5.00   1000000         0
985.35/985.78	c       170       361    370.90     79.93      4.64   1000000         0
986.65/987.05	c       165       393    371.39     75.30      4.93   1000000         0
987.95/988.33	c       183       394    398.47     88.39      4.51   1000000         0
989.25/989.60	c       110       351    382.33     78.86      4.85   1000000         0
990.45/990.87	c       188       404    389.67     89.96      4.33   1000000         0
991.75/992.15	c       180       398    396.96     81.86      4.85   1000000         0
993.04/993.42	c       189       437    373.05     81.26      4.59   1000000         0
994.24/994.69	c       169       325    371.03     84.68      4.38   1000000         0
995.54/995.97	c       209       375    384.98     82.33      4.68   1000000         0
996.84/997.24	c       171       293    376.26     84.27      4.46   1000000         0
998.14/998.51	c       177       447    403.28    101.51      3.97   1000000         0
999.34/999.79	c       165       417    386.97     83.32      4.64   1000000         0
1000.65/1001.06	c       152       395    375.42     99.42      3.78   1000000         0
1001.94/1002.33	c       181       314    382.01     83.30      4.59   1000000         0
1003.24/1003.60	c       153       308    380.54     75.71      5.03   1000000         0
1004.44/1004.88	c       201       461    379.37     76.79      4.94   1000000         0
1005.74/1006.15	c       155       342    381.76     98.00      3.90   1000000         0
1007.04/1007.42	c       186       386    389.23     79.56      4.89   1000000         0
1008.25/1008.70	c       183       294    405.58     77.90      5.21   1000000         0
1009.54/1009.98	c       207       329    398.47     89.05      4.47   1000000         0
1010.84/1011.25	c       177       390    382.34     84.50      4.52   1000000         0
1012.14/1012.53	c       192       375    391.19     77.77      5.03   1000000         0
1013.44/1013.80	c       145       336    369.08     89.43      4.13   1000000         0
1014.64/1015.08	c       193       399    396.33     98.97      4.00   1000000         0
1015.94/1016.35	c       201       344    394.68     90.68      4.35   1000000         0
1017.24/1017.63	c       192       434    399.83     79.17      5.05   1000000         0
1018.54/1018.90	c       207       371    379.56     66.29      5.73   1000000         0
1019.73/1020.17	c       175       296    371.40     79.14      4.69   1000000         0
1021.03/1021.44	c       227       316    394.94     79.05      5.00   1000000         0
1022.33/1022.71	c       172       391    374.19     74.04      5.05   1000000         0
1023.53/1023.99	c       199       417    393.27     79.07      4.97   1000000         0
1024.84/1025.26	c       148       454    376.83     77.81      4.84   1000000         0
1026.13/1026.53	c       164       346    384.35     84.07      4.57   1000000         0
1027.43/1027.81	c       196       410    392.54     85.63      4.58   1000000         0
1028.63/1029.08	c       198       366    397.41     77.08      5.16   1000000         0
1029.93/1030.35	c       189       317    379.37     79.13      4.79   1000000         0
1031.23/1031.63	c       176       453    386.45     77.72      4.97   1000000         0
1032.44/1032.89	c       124       398    362.35     79.92      4.53   1000000         0
1033.73/1034.17	c       168       341    389.18    101.56      3.83   1000000         0
1035.03/1035.45	c       181       414    394.15     83.34      4.73   1000000         0
1036.33/1036.72	c       223       457    391.73     85.99      4.56   1000000         0
1037.63/1038.00	c       239       418    403.25     74.80      5.39   1000000         0
1038.83/1039.27	c       169       403    381.09     96.09      3.97   1000000         0
1040.13/1040.55	c       129       484    395.78     92.79      4.27   1000000         0
1041.43/1041.82	c       197       376    387.84     87.52      4.43   1000000         0
1042.73/1043.10	c       216       354    387.30     86.89      4.46   1000000         0
1043.93/1044.37	c       146       297    386.53     84.90      4.55   1000000         0
1045.23/1045.64	c       184       388    382.93     99.46      3.85   1000000         0
1046.52/1046.91	c       143       321    381.21     90.03      4.23   1000000         0
1047.72/1048.19	c       183       391    383.70     85.38      4.49   1000000         0
1049.03/1049.47	c       166       360    396.03     84.19      4.70   1000000         0
1050.32/1050.74	c       219       414    393.90     88.37      4.46   1000000         0
1051.62/1052.01	c       140       440    377.89     97.11      3.89   1000000         0
1052.82/1053.28	c       171       369    387.61     84.55      4.58   1000000         0
1054.12/1054.56	c       112       412    384.49     74.64      5.15   1000000         0
1055.42/1055.83	c       156       391    381.45     96.11      3.97   1000000         0
1056.63/1057.10	c       187       320    378.85     87.70      4.32   1000000         0
1057.92/1058.38	c       184       360    384.06     93.32      4.12   1000000         0
1059.22/1059.65	c       167       455    385.15     80.58      4.78   1000000         0
1060.52/1060.92	c       180       437    378.65     84.14      4.50   1000000         0
1061.72/1062.19	c       158       399    383.80     85.69      4.48   1000000         0
1063.02/1063.47	c       189       443    383.34     89.38      4.29   1000000         0
1064.33/1064.74	c       158       317    386.76     71.84      5.38   1000000         0
1065.62/1066.01	c       181       334    388.69     90.55      4.29   1000000         0
1066.82/1067.29	c       172       419    382.37    101.99      3.75   1000000         0
1068.12/1068.56	c       186       455    387.48     78.28      4.95   1000000         0
1069.42/1069.84	c       197       405    385.69     82.68      4.66   1000000         0
1070.72/1071.11	c       188       400    385.41     86.44      4.46   1000000         0
1071.92/1072.38	c       139       300    377.72     91.05      4.15   1000000         0
1073.22/1073.65	c       184       371    373.75     81.91      4.56   1000000         0
1074.52/1074.93	c       208       396    393.22     80.96      4.86   1000000         0
1075.82/1076.21	c       189       367    387.59     85.61      4.53   1000000         0
1077.02/1077.47	c       135       378    368.76     71.51      5.16   1000000         0
1078.32/1078.74	c       165       374    382.15     79.32      4.82   1000000         0
1079.61/1080.02	c       163       384    386.32     77.16      5.01   1000000         0
1080.82/1081.29	c       188       387    388.17     98.54      3.94   1000000         0
1082.11/1082.57	c       179       361    378.94     73.21      5.18   1000000         0
1083.41/1083.84	c       158       291    365.62     72.48      5.04   1000000         0
1084.71/1085.12	c       171       320    396.63     96.68      4.10   1000000         0
1085.91/1086.39	c       179       358    368.83     77.35      4.77   1000000         0
1087.21/1087.65	c       133       535    369.08     88.41      4.17   1000000         0
1088.52/1088.92	c       187       388    372.00     93.67      3.97   1000000         0
1089.72/1090.19	c       171       255    379.08     84.76      4.47   1000000         0
1091.01/1091.47	c       192       317    384.84     71.85      5.36   1000000         0
1092.31/1092.74	c       152       422    391.24     79.71      4.91   1000000         0
1093.61/1094.01	c       172       414    377.13     85.67      4.40   1000000         0
1094.81/1095.29	c       215       356    395.43     79.90      4.95   1000000         0
1096.11/1096.56	c       143       398    386.56     97.62      3.96   1000000         0
1097.42/1097.83	c       141       339    373.50     77.12      4.84   1000000         0
1098.71/1099.11	c       201       369    388.10     77.09      5.03   1000000         0
1099.91/1100.38	c       195       507    384.15     70.63      5.44   1000000         0
1101.21/1101.65	c       179       410    386.05     82.47      4.68   1000000         0
1102.51/1102.92	c       170       491    395.04     73.26      5.39   1000000         0
1103.81/1104.20	c       155       330    376.66     76.88      4.90   1000000         0
1105.01/1105.47	c       167       331    388.87     88.06      4.42   1000000         0
1106.31/1106.74	c       170       329    386.14     67.44      5.73   1000000         0
1107.60/1108.01	c       150       386    392.83     95.04      4.13   1000000         0
1108.80/1109.29	c       199       404    379.14     83.96      4.52   1000000         0
1110.10/1110.56	c       204       292    389.54     90.60      4.30   1000000         0
1111.40/1111.83	c       168       369    384.11     77.80      4.94   1000000         0
1112.71/1113.11	c       191       340    382.43     81.67      4.68   1000000         0
1113.91/1114.38	c       172       379    392.68     76.19      5.15   1000000         0
1115.20/1115.66	c       178       498    381.99     89.63      4.26   1000000         0
1116.50/1116.93	c       160       350    391.27     89.38      4.38   1000000         0
1117.80/1118.20	c       172       334    380.35     91.57      4.15   1000000         0
1119.00/1119.48	c       125       317    377.79     78.95      4.79   1000000         0
1120.30/1120.75	c       195       281    374.81     71.39      5.25   1000000         0
1121.61/1122.03	c       218       456    399.80     78.36      5.10   1000000         0
1122.90/1123.30	c       175       401    391.65     93.20      4.20   1000000         0
1124.10/1124.58	c       181       283    392.82     88.64      4.43   1000000         0
1125.40/1125.85	c       185       394    375.70     87.32      4.30   1000000         0
1126.70/1127.12	c       183       323    385.73     81.55      4.73   1000000         0
1127.90/1128.39	c       182       334    391.51     73.86      5.30   1000000         0
1129.20/1129.67	c       191       403    379.16     70.17      5.40   1000000         0
1130.50/1130.94	c       170       354    370.78     84.86      4.37   1000000         0
1131.80/1132.22	c       202       440    398.92     93.23      4.28   1000000         0
1133.00/1133.49	c       137       419    379.40     95.68      3.97   1000000         0
1134.30/1134.76	c       126       387    373.02     95.84      3.89   1000000         0
1135.60/1136.04	c       185       328    394.57     94.66      4.17   1000000         0
1136.90/1137.31	c       181       338    393.13     93.73      4.19   1000000         0
1138.10/1138.59	c       194       388    392.59     84.73      4.63   1000000         0
1139.39/1139.86	c       169       416    377.71     81.79      4.62   1000000         0
1140.69/1141.13	c       185       390    381.04     79.33      4.80   1000000         0
1141.99/1142.40	c       169       298    381.86     78.57      4.86   1000000         0
1143.19/1143.68	c       188       468    384.31     96.80      3.97   1000000         0
1144.49/1144.95	c       161       472    383.39     93.32      4.11   1000000         0
1145.80/1146.22	c       134       440    379.22     91.84      4.13   1000000         0
1147.09/1147.50	c       168       453    385.24    103.26      3.73   1000000         0
1148.29/1148.77	c       170       443    390.98     87.11      4.49   1000000         0
1149.59/1150.04	c       197       304    386.11     94.75      4.07   1000000         0
1150.89/1151.32	c       158       360    383.43     80.84      4.74   1000000         0
1152.09/1152.59	c       173       277    386.68     89.50      4.32   1000000         0
1153.40/1153.86	c        98       354    366.29     84.60      4.33   1000000         0
1154.69/1155.13	c       180       377    385.03     81.25      4.74   1000000         0
1155.99/1156.40	c       176       271    367.42     92.29      3.98   1000000         0
1157.19/1157.68	c       153       526    395.53     79.25      4.99   1000000         0
1158.49/1158.95	c       158       332    378.30     76.56      4.94   1000000         0
1159.79/1160.22	c       159       382    398.18     95.35      4.18   1000000         0
1160.99/1161.49	c       157       345    373.97     84.16      4.44   1000000         0
1162.29/1162.77	c       196       531    396.35     79.96      4.96   1000000         0
1163.59/1164.04	c       148       345    370.76     90.12      4.11   1000000         0
1164.88/1165.31	c       130       329    381.00     96.02      3.97   1000000         0
1166.08/1166.58	c       142       402    384.31     92.85      4.14   1000000         0
1167.38/1167.86	c       151       538    381.60     90.49      4.22   1000000         0
1168.68/1169.13	c       171       388    377.60     88.09      4.29   1000000         0
1169.89/1170.40	c       178       352    381.32     83.01      4.59   1000000         0
1171.18/1171.67	c       153       320    384.11     81.06      4.74   1000000         0
1172.48/1172.95	c       174       386    386.01     87.68      4.40   1000000         0
1173.78/1174.22	c       190       306    377.44     85.60      4.41   1000000         0
1174.98/1175.49	c       160       422    378.08     81.19      4.66   1000000         0
1176.28/1176.77	c       173       385    374.66     78.43      4.78   1000000         0
1177.59/1178.04	c       194       337    379.52     78.88      4.81   1000000         0
1178.88/1179.31	c       169       422    377.52     82.59      4.57   1000000         0
1180.08/1180.59	c       161       343    383.88     87.95      4.36   1000000         0
1181.38/1181.86	c       166       232    392.71     71.01      5.53   1000000         0
1182.68/1183.13	c       196       334    376.36     79.86      4.71   1000000         0
1183.98/1184.40	c       149       422    381.51     89.67      4.25   1000000         0
1185.18/1185.68	c       171       368    390.97     81.12      4.82   1000000         0
1186.49/1186.95	c       188       357    391.02     97.78      4.00   1000000         0
1187.78/1188.23	c       178       421    390.29     79.60      4.90   1000000         0
1189.08/1189.50	c       186       348    381.83     80.88      4.72   1000000         0
1190.28/1190.78	c       199       421    392.22     84.77      4.63   1000000         0
1191.58/1192.04	c       177       330    369.45     86.28      4.28   1000000         0
1192.88/1193.31	c       134       343    368.42     85.85      4.29   1000000         0
1194.08/1194.58	c       160       389    380.81     86.65      4.40   1000000         0
1195.37/1195.86	c        80       428    395.63     91.62      4.32   1000000         0
1196.67/1197.13	c       213       435    379.63     79.33      4.79   1000000         0
1197.97/1198.41	c       172       232    395.33     82.05      4.82   1000000         0
1199.17/1199.68	c       156       383    366.99     86.27      4.25   1000000         0
1200.47/1200.95	c       171       370    380.15     83.36      4.56   1000000         0
1201.78/1202.23	c       175       498    394.00     97.15      4.06   1000000         0
1203.07/1203.50	c       185       390    369.31     77.42      4.77   1000000         0
1204.27/1204.77	c       167       485    400.01     67.85      5.90   1000000         0
1205.57/1206.05	c       159       363    382.20     83.94      4.55   1000000         0
1206.87/1207.33	c       163       428    392.32    102.55      3.83   1000000         0
1208.17/1208.60	c       188       401    386.24     82.44      4.68   1000000         0
1209.37/1209.88	c       184       338    394.50     84.05      4.69   1000000         0
1210.68/1211.15	c       191       392    390.09     92.04      4.24   1000000         0
1211.97/1212.43	c       178       344    383.13     84.95      4.51   1000000         0
1213.27/1213.70	c       175       429    383.16     85.05      4.51   1000000         0
1214.47/1214.98	c       133       404    382.98     87.79      4.36   1000000         0
1215.77/1216.25	c       203       386    375.26     83.35      4.50   1000000         0
1217.07/1217.52	c       186       382    391.80     84.21      4.65   1000000         0
1218.27/1218.80	c       215       432    392.29     88.87      4.41   1000000         0
1219.56/1220.07	c       185       371    388.73     79.14      4.91   1000000         0
1220.86/1221.34	c       179       351    372.03     85.08      4.37   1000000         0
1222.16/1222.61	c       182       408    395.00     94.29      4.19   1000000         0
1223.36/1223.88	c       200       367    377.02     82.27      4.58   1000000         0
1224.66/1225.15	c       150       348    377.06     77.36      4.87   1000000         0
1225.97/1226.42	c       179       369    372.33     70.01      5.32   1000000         0
1227.17/1227.69	c       159       353    369.90     89.52      4.13   1000000         0
1228.46/1228.96	c       183       431    391.43     82.21      4.76   1000000         0
1229.76/1230.24	c       176       385    386.06     79.34      4.87   1000000         0
1231.06/1231.52	c       186       373    391.62     77.88      5.03   1000000         0
1232.26/1232.78	c       169       320    366.66     87.06      4.21   1000000         0
1233.56/1234.06	c       174       351    385.66     86.32      4.47   1000000         0
1234.87/1235.33	c       151       323    387.19     85.14      4.55   1000000         0
1236.16/1236.61	c       181       278    407.38     83.21      4.90   1000000         0
1237.36/1237.88	c       155       439    378.15     94.50      4.00   1000000         0
1238.66/1239.16	c       184       497    379.38     83.66      4.53   1000000         0
1239.96/1240.43	c       163       291    382.96     93.60      4.09   1000000         0
1241.26/1241.71	c       190       312    395.62     87.13      4.54   1000000         0
1242.47/1242.98	c       200       479    380.11     88.93      4.27   1000000         0
1243.76/1244.25	c       175       326    375.79     84.32      4.46   1000000         0
1245.06/1245.52	c       186       404    385.49     83.08      4.64   1000000         0
1246.36/1246.80	c       195       255    401.72     90.91      4.42   1000000         0
1247.56/1248.07	c       158       422    374.85     83.80      4.47   1000000         0
1248.86/1249.34	c       192       408    382.56     81.33      4.70   1000000         0
1250.16/1250.62	c       159       307    378.99     80.36      4.72   1000000         0
1251.36/1251.89	c       144       400    396.93     91.73      4.33   1000000         0
1252.65/1253.17	c       177       385    391.50     92.33      4.24   1000000         0
1253.95/1254.45	c       191       372    399.42     83.82      4.77   1000000         0
1255.25/1255.72	c       193       418    392.21     96.37      4.07   1000000         0
1256.45/1256.99	c       140       310    350.11     85.48      4.10   1000000         0
1257.75/1258.27	c       178       375    382.82     79.77      4.80   1000000         0
1259.06/1259.54	c       181       325    387.00     76.71      5.04   1000000         0
1260.35/1260.82	c       165       451    387.00     78.57      4.93   1000000         0
1261.55/1262.09	c       172       391    383.57     89.50      4.29   1000000         0
1262.85/1263.37	c       222       415    390.50     95.31      4.10   1000000         0
1264.15/1264.64	c       226       478    396.15     76.15      5.20   1000000         0
1265.45/1265.92	c       199       428    396.25     87.56      4.53   1000000         0
1266.66/1267.20	c       191       352    384.62     90.49      4.25   1000000         0
1267.95/1268.47	c       182       427    365.81     95.46      3.83   1000000         0
1269.25/1269.74	c       144       377    374.99     83.79      4.48   1000000         0
1270.55/1271.01	c       186       297    388.29     85.02      4.57   1000000         0
1271.75/1272.29	c       204       420    394.30     87.28      4.52   1000000         0
1273.05/1273.56	c       158       356    385.96     94.43      4.09   1000000         0
1274.35/1274.83	c       162       430    389.22     84.58      4.60   1000000         0
1275.65/1276.10	c       190       413    376.22     71.01      5.30   1000000         0
1276.84/1277.38	c       179       447    378.90     80.78      4.69   1000000         0
1278.14/1278.65	c       183       396    378.90     85.76      4.42   1000000         0
1279.44/1279.92	c       189       315    388.84     80.78      4.81   1000000         0
1280.64/1281.20	c       204       357    393.05     86.86      4.53   1000000         0
1281.94/1282.48	c       200       410    402.60     85.55      4.71   1000000         0
1283.25/1283.75	c       165       365    372.84     77.10      4.84   1000000         0
1284.54/1285.02	c       193       333    379.75     75.73      5.01   1000000         0
1285.74/1286.29	c       199       411    390.03     85.89      4.54   1000000         0
1287.04/1287.57	c       203       387    388.69     76.52      5.08   1000000         0
1288.34/1288.84	c       173       305    384.31     78.81      4.88   1000000         0
1289.64/1290.11	c       168       349    395.40     75.31      5.25   1000000         0
1290.85/1291.39	c       162       324    379.39     77.40      4.90   1000000         0
1292.14/1292.66	c       161       385    365.01     91.37      3.99   1000000         0
1293.44/1293.93	c       182       431    379.56     80.49      4.72   1000000         0
1294.74/1295.20	c       204       405    377.39    106.08      3.56   1000000         0
1295.94/1296.47	c       198       367    381.52     80.22      4.76   1000000         0
1297.24/1297.74	c       175       468    375.77     85.10      4.42   1000000         0
1298.54/1299.01	c       149       296    371.88     78.68      4.73   1000000         0
1299.74/1300.29	c       125       407    393.77    101.51      3.88   1000000         0
1301.04/1301.56	c       162       431    390.64     90.91      4.30   1000000         0
1302.34/1302.84	c       150       359    373.98     90.58      4.13   1000000         0
1303.63/1304.10	c       179       349    375.49     75.81      4.95   1000000         0
1304.83/1305.38	c       141       486    376.67     82.80      4.55   1000000         0
1306.13/1306.65	c       199       360    384.38     83.73      4.59   1000000         0
1307.44/1307.93	c       204       380    393.80     74.49      5.29   1000000         0
1308.73/1309.20	c       186       316    389.55     86.21      4.52   1000000         0
1309.93/1310.47	c       176       240    383.18     89.86      4.26   1000000         0
1311.23/1311.75	c       179       424    377.02     69.23      5.45   1000000         0
1312.53/1313.02	c       205       329    392.87     99.72      3.94   1000000         0
1313.73/1314.29	c       192       427    377.08     78.48      4.80   1000000         0
1315.04/1315.56	c       173       327    367.21     79.42      4.62   1000000         0
1316.33/1316.83	c       172       311    371.85     89.44      4.16   1000000         0
1317.63/1318.10	c       170       419    377.24     92.44      4.08   1000000         0
1318.83/1319.38	c       190       400    387.06     80.59      4.80   1000000         0
1320.13/1320.65	c       198       432    384.25    113.61      3.38   1000000         0
1321.43/1321.92	c       159       393    378.92     82.82      4.57   1000000         0
1322.63/1323.19	c       188       392    378.42     89.01      4.25   1000000         0
1323.93/1324.46	c       178       397    381.17     74.37      5.13   1000000         0
1325.23/1325.73	c       180       311    375.98     84.02      4.47   1000000         0
1326.53/1327.01	c       187       475    380.12     80.81      4.70   1000000         0
1327.73/1328.28	c       158       425    387.54     85.33      4.54   1000000         0
1329.03/1329.56	c       179       351    397.90     96.19      4.14   1000000         0
1330.33/1330.83	c       189       318    387.08     77.78      4.98   1000000         0
1331.53/1332.10	c       211       371    391.30     84.85      4.61   1000000         0
1332.82/1333.38	c       182       345    396.53     78.30      5.06   1000000         0
1334.12/1334.65	c       183       505    392.25     82.20      4.77   1000000         0
1335.42/1335.93	c       126       468    378.46     81.83      4.62   1000000         0
1336.72/1337.20	c       119       404    377.41     93.23      4.05   1000000         0
1337.92/1338.47	c        68       327    362.53     86.72      4.18   1000000         0
1339.23/1339.74	c       165       417    386.53     94.50      4.09   1000000         0
1340.52/1341.02	c       173       422    374.26     80.94      4.62   1000000         0
1341.72/1342.29	c       222       322    402.00     93.98      4.28   1000000         0
1343.02/1343.57	c       186       391    391.60     96.29      4.07   1000000         0
1344.32/1344.84	c       205       434    386.77     72.68      5.32   1000000         0
1345.62/1346.11	c       182       487    393.22     89.85      4.38   1000000         0
1346.82/1347.38	c       169       400    371.24     76.11      4.88   1000000         0
1348.13/1348.66	c       187       404    399.10     85.49      4.67   1000000         0
1349.42/1349.93	c       199       448    380.98     81.77      4.66   1000000         0
1350.72/1351.21	c       187       412    399.40     94.09      4.24   1000000         0
1351.92/1352.49	c       165       390    394.10     85.37      4.62   1000000         0
1353.22/1353.76	c       135       384    384.58     81.87      4.70   1000000         0
1354.52/1355.03	c       195       373    374.68     72.30      5.18   1000000         0
1355.72/1356.30	c       192       379    381.37     74.98      5.09   1000000         0
1357.02/1357.58	c       190       404    390.67     89.75      4.35   1000000         0
1358.32/1358.85	c       154       395    385.96     79.15      4.88   1000000         0
1359.62/1360.12	c       184       323    378.56     96.00      3.94   1000000         0
1360.82/1361.39	c       172       368    385.62     89.68      4.30   1000000         0
1362.11/1362.67	c       183       271    395.11     89.11      4.43   1000000         0
1363.42/1363.94	c       180       376    383.53     93.36      4.11   1000000         0
1364.71/1365.21	c       184       320    393.53     93.54      4.21   1000000         0
1365.91/1366.49	c       154       256    375.27     83.69      4.48   1000000         0
1367.21/1367.76	c       182       381    376.99     79.41      4.75   1000000         0
1368.51/1369.03	c       170       345    387.63     84.14      4.61   1000000         0
1369.81/1370.31	c       207       284    398.22     96.67      4.12   1000000         0
1371.01/1371.58	c       210       374    384.01     84.70      4.53   1000000         0
1372.32/1372.86	c       199       444    381.85     86.76      4.40   1000000         0
1373.61/1374.13	c       204       393    386.28     78.22      4.94   1000000         0
1374.91/1375.40	c       172       469    377.92     84.79      4.46   1000000         0
1376.11/1376.67	c       157       426    374.57     84.96      4.41   1000000         0
1377.41/1377.95	c       229       366    397.69     74.11      5.37   1000000         0
1378.71/1379.22	c       183       421    375.69     95.32      3.94   1000000         0
1379.92/1380.49	c       174       315    372.25     89.06      4.18   1000000         0
1381.21/1381.77	c       178       331    380.56     86.94      4.38   1000000         0
1382.51/1383.04	c       181       409    383.12     84.33      4.54   1000000         0
1383.81/1384.31	c       183       290    383.51     85.24      4.50   1000000         0
1385.01/1385.58	c       171       480    358.77     85.24      4.21   1000000         0
1386.31/1386.85	c       176       453    388.84     84.36      4.61   1000000         0
1387.61/1388.13	c       190       347    389.81     98.92      3.94   1000000         0
1388.90/1389.40	c       199       313    379.20     94.35      4.02   1000000         0
1390.10/1390.67	c       182       410    383.65     96.93      3.96   1000000         0
1391.40/1391.95	c       176       407    387.46     70.69      5.48   1000000         0
1392.70/1393.22	c       191       464    384.36     82.28      4.67   1000000         0
1393.90/1394.49	c       144       426    380.08     76.51      4.97   1000000         0
1395.20/1395.77	c       206       305    396.85     81.50      4.87   1000000         0
1396.51/1397.04	c       183       379    377.72     83.72      4.51   1000000         0
1397.80/1398.31	c       206       341    384.56     85.41      4.50   1000000         0
1399.00/1399.58	c       150       343    375.45     82.19      4.57   1000000         0
1400.30/1400.86	c       171       378    387.81     84.36      4.60   1000000         0
1401.60/1402.13	c       180       328    383.48     86.54      4.43   1000000         0
1402.90/1403.40	c       142       326    378.74     86.44      4.38   1000000         0
1404.11/1404.67	c       176       287    367.26     91.72      4.00   1000000         0
1405.40/1405.94	c       176       477    377.87     90.83      4.16   1000000         0
1406.70/1407.22	c       149       410    401.62     88.57      4.53   1000000         0
1407.90/1408.49	c       167       259    371.03    102.83      3.61   1000000         0
1409.20/1409.77	c       197       298    391.98     88.56      4.43   1000000         0
1410.50/1411.04	c       173       439    401.02     88.06      4.55   1000000         0
1411.81/1412.31	c       196       451    385.13     80.33      4.79   1000000         0
1413.00/1413.59	c       202       404    393.36     74.65      5.27   1000000         0
1414.30/1414.86	c       154       362    383.54     91.52      4.19   1000000         0
1415.60/1416.13	c       164       402    376.55     76.91      4.90   1000000         0
1416.90/1417.41	c       160       354    384.13     85.91      4.47   1000000         0
1418.10/1418.68	c       189       494    388.31     87.30      4.45   1000000         0
1419.40/1419.95	c       201       346    384.88     94.77      4.06   1000000         0
1420.70/1421.22	c       168       431    380.61     73.41      5.18   1000000         0
1421.89/1422.49	c       154       416    372.23     82.87      4.49   1000000         0
1423.19/1423.77	c       180       299    387.31     80.64      4.80   1000000         0
1424.50/1425.04	c       172       274    386.67     88.02      4.39   1000000         0
1425.80/1426.32	c       180       375    388.94     82.76      4.70   1000000         0
1427.00/1427.59	c       184       321    387.38     83.58      4.63   1000000         0
1428.31/1428.87	c       169       244    398.14     81.24      4.90   1000000         0
1429.60/1430.14	c       183       405    379.65     87.04      4.36   1000000         0
1430.90/1431.41	c       167       384    371.20     93.33      3.98   1000000         0
1432.10/1432.69	c       209       433    390.86     89.38      4.37   1000000         0
1433.40/1433.96	c       185       278    376.15     81.37      4.62   1000000         0
1434.70/1435.23	c       201       316    395.24     80.42      4.91   1000000         0
1436.01/1436.50	c       161       302    379.45     85.93      4.42   1000000         0
1437.21/1437.78	c       232       371    393.17     81.63      4.82   1000000         0
1438.50/1439.05	c       196       395    389.21     85.98      4.53   1000000         0
1439.80/1440.33	c       224       338    401.26     81.79      4.91   1000000         0
1441.10/1441.61	c       191       414    391.20     81.58      4.80   1000000         0
1442.30/1442.88	c       199       400    394.47     85.24      4.63   1000000         0
1443.60/1444.16	c       191       381    399.09     76.19      5.24   1000000         0
1444.90/1445.43	c       186       400    381.66     74.87      5.10   1000000         0
1446.20/1446.70	c       195       371    373.61     78.92      4.73   1000000         0
1447.39/1447.98	c       180       332    386.34     88.20      4.38   1000000         0
1448.69/1449.25	c       205       384    390.10     81.73      4.77   1000000         0
1449.99/1450.52	c       154       392    372.98     94.09      3.96   1000000         0
1451.19/1451.79	c       151       327    376.56     81.53      4.62   1000000         0
1452.50/1453.06	c       203       348    387.67     80.32      4.83   1000000         0
1453.79/1454.34	c       201       477    389.98     81.60      4.78   1000000         0
1455.09/1455.61	c       212       434    390.80     94.09      4.15   1000000         0
1456.29/1456.88	c       192       275    390.20     80.75      4.83   1000000         0
1457.59/1458.15	c       168       332    362.33     89.43      4.05   1000000         0
1458.89/1459.43	c       163       454    387.63     99.60      3.89   1000000         0
1460.20/1460.70	c       213       387    383.68     78.00      4.92   1000000         0
1461.40/1461.97	c       188       405    389.28     72.33      5.38   1000000         0
1462.69/1463.25	c       172       378    399.79     97.86      4.09   1000000         0
1463.99/1464.52	c       184       428    380.12     77.45      4.91   1000000         0
1465.19/1465.80	c       212       354    394.75     87.62      4.51   1000000         0
1466.49/1467.07	c       184       360    378.90     69.95      5.42   1000000         0
1467.79/1468.34	c       203       357    388.88     84.69      4.59   1000000         0
1469.09/1469.61	c       135       320    373.51     93.83      3.98   1000000         0
1470.29/1470.89	c       120       306    387.32     75.97      5.10   1000000         0
1471.59/1472.16	c       167       328    386.34     84.92      4.55   1000000         0
1472.89/1473.43	c       179       361    376.66     83.03      4.54   1000000         0
1474.18/1474.70	c       158       281    379.44     83.26      4.56   1000000         0
1475.38/1475.98	c       191       335    388.57     87.29      4.45   1000000         0
1476.69/1477.25	c       155       422    370.57     85.08      4.36   1000000         0
1477.98/1478.52	c       174       309    372.88     77.05      4.84   1000000         0
1479.18/1479.79	c       161       339    370.99     83.59      4.44   1000000         0
1480.48/1481.06	c       185       336    380.60     86.04      4.42   1000000         0
1481.78/1482.33	c       164       456    391.57     93.99      4.17   1000000         0
1483.08/1483.61	c       161       389    391.66     92.85      4.22   1000000         0
1484.28/1484.89	c       201       348    382.91     74.36      5.15   1000000         0
1485.59/1486.16	c       171       339    384.25     94.30      4.07   1000000         0
1486.88/1487.43	c       206       409    386.52     82.51      4.68   1000000         0
1488.18/1488.70	c       160       280    374.41     95.90      3.90   1000000         0
1489.38/1489.98	c       160       363    376.96     94.89      3.97   1000000         0
1490.68/1491.25	c       155       520    378.47     82.88      4.57   1000000         0
1491.98/1492.52	c       159       367    374.08     88.91      4.21   1000000         0
1493.19/1493.79	c       170       300    378.80     78.52      4.82   1000000         0
1494.48/1495.07	c       167       342    398.67     80.63      4.94   1000000         0
1495.78/1496.34	c       177       393    391.74    101.49      3.86   1000000         0
1497.08/1497.62	c       185       306    383.11     81.02      4.73   1000000         0
1498.28/1498.88	c       197       465    364.80     80.25      4.55   1000000         0
1499.58/1500.16	c       165       396    389.56     83.68      4.66   1000000         0
1500.88/1501.43	c       154       443    367.94     73.13      5.03   1000000         0
1502.17/1502.70	c       154       530    378.82     83.67      4.53   1000000         0
1503.37/1503.98	c       169       292    397.10     98.64      4.03   1000000         0
1504.67/1505.25	c       161       435    385.24     92.01      4.19   1000000         0
1505.97/1506.53	c       182       411    392.37     78.19      5.02   1000000         0
1507.27/1507.80	c       125       395    386.46     91.63      4.22   1000000         0
1508.47/1509.07	c       162       411    380.09     82.90      4.59   1000000         0
1509.78/1510.35	c       199       347    387.35    108.76      3.56   1000000         0
1511.07/1511.62	c       191       513    393.72     88.71      4.44   1000000         0
1512.27/1512.89	c       162       295    377.31     93.87      4.02   1000000         0
1513.57/1514.16	c       216       364    394.90     83.21      4.75   1000000         0
1514.87/1515.44	c       187       338    387.22     94.03      4.12   1000000         0
1516.17/1516.71	c       179       356    368.52     89.80      4.10   1000000         0
1517.38/1517.98	c       197       412    383.54     90.28      4.25   1000000         0
1518.67/1519.25	c       192       385    369.36     85.28      4.33   1000000         0
1519.97/1520.52	c       187       392    391.98     73.98      5.30   1000000         0
1521.17/1521.79	c       165       258    361.31     91.74      3.94   1000000         0
1522.47/1523.07	c       122       334    393.58     81.17      4.85   1000000         0
1523.77/1524.34	c       184       329    387.15    104.00      3.72   1000000         0
1525.07/1525.62	c       139       378    401.63     95.10      4.22   1000000         0
1526.27/1526.89	c       161       393    386.45     98.48      3.92   1000000         0
1527.57/1528.17	c       163       318    389.65     94.91      4.11   1000000         0
1528.87/1529.44	c       162       421    385.82     81.87      4.71   1000000         0
1530.16/1530.72	c       202       350    392.21     91.25      4.30   1000000         0
1531.36/1531.99	c       218       455    395.53     89.07      4.44   1000000         0
1532.66/1533.27	c       203       374    408.56     86.02      4.75   1000000         0
1533.97/1534.54	c       123       349    380.39     88.03      4.32   1000000         0
1535.26/1535.81	c       170       356    372.52     80.02      4.66   1000000         0
1536.46/1537.08	c       188       432    377.43     78.01      4.84   1000000         0
1537.76/1538.36	c       202       434    380.60     93.92      4.05   1000000         0
1539.06/1539.63	c       165       378    391.25     93.85      4.17   1000000         0
1540.36/1540.91	c       214       348    400.59     76.60      5.23   1000000         0
1541.57/1542.18	c       137       331    387.79     80.19      4.84   1000000         0
1542.86/1543.45	c       160       342    373.90     78.66      4.75   1000000         0
1544.16/1544.72	c       188       472    377.37     69.80      5.41   1000000         0
1545.46/1546.00	c       174       458    389.63     89.48      4.35   1000000         0
1546.66/1547.27	c       185       526    388.70     86.28      4.50   1000000         0
1547.96/1548.54	c       185       431    382.19     92.41      4.14   1000000         0
1549.26/1549.82	c       179       426    383.64     83.45      4.60   1000000         0
1550.47/1551.09	c       176       276    382.94     87.88      4.36   1000000         0
1551.76/1552.36	c       171       412    377.49     80.51      4.69   1000000         0
1553.06/1553.64	c       212       399    390.72     75.73      5.16   1000000         0
1554.36/1554.91	c       196       403    407.69     94.47      4.32   1000000         0
1555.56/1556.19	c       199       308    392.99     84.65      4.64   1000000         0
1556.86/1557.46	c       159       378    378.68     91.84      4.12   1000000         0
1558.16/1558.74	c       198       348    399.50     94.63      4.22   1000000         0
1559.45/1560.02	c       176       432    389.44     88.12      4.42   1000000         0
1560.65/1561.29	c       140       431    391.20     90.49      4.32   1000000         0
1561.95/1562.56	c       156       438    378.29     81.34      4.65   1000000         0
1563.25/1563.84	c       184       292    383.45     79.23      4.84   1000000         0
1564.55/1565.11	c       200       418    387.19     75.74      5.11   1000000         0
1565.76/1566.38	c       218       441    380.77     78.11      4.87   1000000         0
1567.05/1567.66	c       179       358    386.43     97.31      3.97   1000000         0
1568.35/1568.93	c       216       419    400.20     90.45      4.42   1000000         0
1569.65/1570.21	c       155       309    393.38     76.51      5.14   1000000         0
1570.85/1571.48	c        92       337    380.08    115.27      3.30   1000000         0
1572.15/1572.75	c       196       416    378.34     77.09      4.91   1000000         0
1573.46/1574.03	c       193       337    405.62    103.55      3.92   1000000         0
1574.75/1575.30	c       176       368    369.89     86.05      4.30   1000000         0
1575.95/1576.57	c       181       441    378.62     73.89      5.12   1000000         0
1577.25/1577.84	c       197       412    376.16     85.38      4.41   1000000         0
1578.55/1579.12	c       176       389    395.00     79.83      4.95   1000000         0
1579.75/1580.39	c       203       388    399.35     98.24      4.07   1000000         0
1581.05/1581.67	c       214       336    388.18     80.24      4.84   1000000         0
1582.35/1582.94	c       162       287    391.51     94.50      4.14   1000000         0
1583.65/1584.21	c       161       245    386.01     74.36      5.19   1000000         0
1584.85/1585.48	c       176       351    377.19     77.30      4.88   1000000         0
1586.15/1586.75	c       146       323    379.63     88.64      4.28   1000000         0
1587.45/1588.03	c       155       290    381.57     98.83      3.86   1000000         0
1588.65/1589.30	c       144       411    375.15     82.89      4.53   1000000         0
1589.95/1590.57	c       184       494    398.89     88.52      4.51   1000000         0
1591.24/1591.85	c       204       385    389.28     78.91      4.93   1000000         0
1592.54/1593.12	c       192       427    390.82     88.97      4.39   1000000         0
1593.84/1594.40	c       145       211    387.31     88.34      4.38   1000000         0
1595.04/1595.67	c       176       394    376.01     99.04      3.80   1000000         0
1596.34/1596.94	c       210       249    392.78     85.96      4.57   1000000         0
1597.65/1598.22	c       201       544    391.57     86.03      4.55   1000000         0
1598.85/1599.49	c       169       347    374.78     86.97      4.31   1000000         0
1600.14/1600.77	c       169       437    392.55     81.91      4.79   1000000         0
1601.44/1602.04	c       160       414    375.64     92.64      4.05   1000000         0
1602.74/1603.31	c       201       368    382.35     83.86      4.56   1000000         0
1603.94/1604.58	c       189       424    386.70     80.44      4.81   1000000         0
1605.24/1605.86	c       164       401    385.38     86.42      4.46   1000000         0
1606.55/1607.13	c       210       284    397.82     87.58      4.54   1000000         0
1607.84/1608.41	c       175       379    394.94     87.41      4.52   1000000         0
1609.04/1609.69	c       194       314    388.13     83.65      4.64   1000000         0
1610.34/1610.96	c       168       295    378.58     92.45      4.09   1000000         0
1611.64/1612.23	c       188       373    390.53     91.97      4.25   1000000         0
1612.94/1613.51	c       171       417    395.05     93.06      4.25   1000000         0
1614.14/1614.78	c       169       483    386.26     82.73      4.67   1000000         0
1615.44/1616.06	c       182       394    390.12     73.86      5.28   1000000         0
1616.74/1617.33	c       149       376    377.61     83.17      4.54   1000000         0
1618.04/1618.60	c       216       273    385.47     83.53      4.61   1000000         0
1619.23/1619.88	c       217       420    402.79     82.20      4.90   1000000         0
1620.53/1621.16	c       182       372    404.59    103.63      3.90   1000000         0
1621.84/1622.43	c       158       377    383.36     80.45      4.77   1000000         0
1623.13/1623.70	c       144       425    386.45     87.24      4.43   1000000         0
1624.33/1624.98	c       173       401    391.70     77.44      5.06   1000000         0
1625.63/1626.26	c       168       292    398.01     91.39      4.36   1000000         0
1626.93/1627.54	c       186       349    399.93     91.14      4.39   1000000         0
1628.23/1628.81	c       180       338    391.50     89.80      4.36   1000000         0
1629.43/1630.08	c       194       425    376.75     89.04      4.23   1000000         0
1630.74/1631.36	c       189       464    391.79     76.98      5.09   1000000         0
1632.03/1632.63	c       176       439    390.52     73.68      5.30   1000000         0
1633.33/1633.90	c       193       307    386.78     86.49      4.47   1000000         0
1634.53/1635.18	c       173       419    380.74     86.24      4.41   1000000         0
1635.83/1636.45	c       154       308    381.70     74.94      5.09   1000000         0
1637.13/1637.73	c       163       300    380.94     86.21      4.42   1000000         0
1638.33/1639.00	c       194       421    383.07     76.26      5.02   1000000         0
1639.63/1640.27	c       193       262    388.61     88.82      4.38   1000000         0
1640.93/1641.55	c       175       455    389.62     91.81      4.24   1000000         0
1642.23/1642.82	c       181       251    386.00     82.07      4.70   1000000         0
1643.43/1644.10	c       180       333    383.77     92.93      4.13   1000000         0
1644.73/1645.37	c       166       313    373.24     87.26      4.28   1000000         0
1646.03/1646.64	c       165       356    370.30     78.41      4.72   1000000         0
1647.32/1647.91	c       184       367    386.57     74.80      5.17   1000000         0
1648.52/1649.19	c       177       336    395.98     92.82      4.27   1000000         0
1649.82/1650.46	c       148       353    371.06     80.38      4.62   1000000         0
1651.12/1651.73	c       186       348    396.17     83.87      4.72   1000000         0
1652.42/1653.01	c       165       532    404.18     86.19      4.69   1000000         0
1653.62/1654.28	c       206       455    378.13     78.88      4.79   1000000         0
1654.93/1655.56	c       166       308    385.28    100.42      3.84   1000000         0
1656.22/1656.83	c       208       394    386.41     78.21      4.94   1000000         0
1657.52/1658.11	c       186       388    384.14     77.85      4.93   1000000         0
1658.72/1659.38	c       147       419    389.07     93.86      4.15   1000000         0
1660.02/1660.66	c       219       303    398.88     84.06      4.75   1000000         0
1661.32/1661.93	c       134       463    390.75     87.67      4.46   1000000         0
1662.63/1663.21	c       161       468    389.52     86.60      4.50   1000000         0
1663.82/1664.49	c       184       413    398.86     93.12      4.28   1000000         0
1665.12/1665.76	c       167       355    384.32     83.45      4.61   1000000         0
1666.42/1667.03	c       172       394    385.05     86.70      4.44   1000000         0
1667.72/1668.31	c       183       427    369.57     94.00      3.93   1000000         0
1668.92/1669.58	c       181       379    372.93     88.76      4.20   1000000         0
1670.22/1670.85	c       186       357    392.25     83.73      4.68   1000000         0
1671.52/1672.12	c       202       292    376.28     75.29      5.00   1000000         0
1672.72/1673.39	c       159       278    382.49     78.09      4.90   1000000         0
1674.02/1674.66	c       217       452    385.42     83.64      4.61   1000000         0
1675.32/1675.94	c       142       331    382.91     88.81      4.31   1000000         0
1676.61/1677.21	c       201       330    392.48     70.37      5.58   1000000         0
1677.81/1678.49	c       198       251    396.97     90.90      4.37   1000000         0
1679.12/1679.76	c       167       377    379.61     95.01      4.00   1000000         0
1680.41/1681.03	c       179       379    373.44     86.86      4.30   1000000         0
1681.71/1682.30	c       172       362    376.39     85.20      4.42   1000000         0
1682.91/1683.58	c       207       377    393.21     89.12      4.41   1000000         0
1684.21/1684.85	c       179       367    401.94     88.64      4.53   1000000         0
1685.51/1686.13	c       181       372    387.99     82.51      4.70   1000000         0
1686.72/1687.40	c       186       308    382.83     81.79      4.68   1000000         0
1688.01/1688.67	c       192       434    394.48     86.04      4.58   1000000         0
1689.31/1689.95	c       198       443    381.92     74.13      5.15   1000000         0
1690.61/1691.22	c       126       313    371.93     90.22      4.12   1000000         0
1691.91/1692.50	c       201       448    405.02     89.86      4.51   1000000         0
1693.11/1693.77	c       156       376    373.22     90.85      4.11   1000000         0
1694.42/1695.05	c       186       246    396.61     87.34      4.54   1000000         0
1695.71/1696.32	c       149       410    385.49     80.43      4.79   1000000         0
1696.91/1697.58	c       207       258    368.43     69.93      5.27   1000000         0
1698.21/1698.86	c       154       418    382.88     94.20      4.06   1000000         0
1699.51/1700.13	c       142       441    378.13     95.19      3.97   1000000         0
1700.81/1701.40	c       174       422    381.52     87.23      4.37   1000000         0
1702.01/1702.68	c       167       407    390.84     94.19      4.15   1000000         0
1703.31/1703.95	c       128       372    377.36     93.49      4.04   1000000         0
1704.60/1705.22	c       214       369    386.78     80.69      4.79   1000000         0
1705.90/1706.50	c       196       237    396.59     87.57      4.53   1000000         0
1707.10/1707.77	c       162       318    390.40     86.51      4.51   1000000         0
1708.40/1709.04	c       157       392    382.18     79.25      4.82   1000000         0
1709.70/1710.32	c       138       373    403.49     89.22      4.52   1000000         0
1710.91/1711.60	c       171       365    393.08     82.60      4.76   1000000         0
1712.20/1712.87	c       163       377    377.96     99.03      3.82   1000000         0
1713.50/1714.14	c       186       384    394.46     78.90      5.00   1000000         0
1714.80/1715.42	c       164       432    378.90     76.50      4.95   1000000         0
1716.00/1716.69	c       190       358    390.83     76.17      5.13   1000000         0
1717.30/1717.97	c       183       440    390.53     92.55      4.22   1000000         0
1718.61/1719.24	c       142       391    389.73     85.26      4.57   1000000         0
1719.90/1720.51	c       155       359    384.30     77.36      4.97   1000000         0
1721.10/1721.79	c       194       480    381.62     88.39      4.32   1000000         0
1722.40/1723.05	c       119       443    371.00     79.77      4.65   1000000         0
1723.70/1724.32	c       176       449    379.74     93.77      4.05   1000000         0
1724.90/1725.59	c       167       257    381.21     88.69      4.30   1000000         0
1726.20/1726.86	c       189       446    381.66     84.59      4.51   1000000         0
1727.50/1728.14	c       184       303    396.80    107.50      3.69   1000000         0
1728.80/1729.42	c       196       507    391.84     81.66      4.80   1000000         0
1730.00/1730.69	c       174       483    382.64     70.43      5.43   1000000         0
1731.29/1731.96	c       193       288    374.95     90.14      4.16   1000000         0
1732.59/1733.23	c       194       325    372.53     77.21      4.82   1000000         0
1733.89/1734.50	c       167       429    364.81     86.72      4.21   1000000         0
1735.10/1735.77	c       176       249    379.42     77.48      4.90   1000000         0
1736.39/1737.05	c       157       308    384.89     81.01      4.75   1000000         0
1737.69/1738.33	c       184       376    392.83     87.91      4.47   1000000         0
1738.99/1739.60	c       150       391    388.74     83.57      4.65   1000000         0
1740.19/1740.87	c       176       456    388.55     83.95      4.63   1000000         0
1741.49/1742.15	c       184       395    391.85     91.50      4.28   1000000         0
1742.80/1743.42	c       178       334    386.32     83.67      4.62   1000000         0
1744.09/1744.70	c       189       394    386.97     81.24      4.76   1000000         0
1745.29/1745.97	c       169       339    375.71     96.36      3.90   1000000         0
1746.59/1747.24	c       181       288    373.39     81.99      4.55   1000000         0
1747.89/1748.51	c       218       362    395.10     83.14      4.75   1000000         0
1749.09/1749.79	c       166       419    381.27     75.87      5.03   1000000         0
1750.39/1751.06	c       139       471    381.84     77.01      4.96   1000000         0
1751.70/1752.33	c       186       305    375.06    102.13      3.67   1000000         0
1752.99/1753.61	c       198       353    388.33     93.30      4.16   1000000         0
1754.19/1754.87	c       123       426    366.46     74.05      4.95   1000000         0
1755.49/1756.15	c       166       285    386.86     77.70      4.98   1000000         0
1756.79/1757.43	c       165       263    402.99     79.13      5.09   1000000         0
1758.09/1758.70	c       223       389    391.93     74.94      5.23   1000000         0
1759.29/1759.98	c       182       440    386.05     73.27      5.27   1000000         0
1760.59/1761.25	c       168       546    386.89     99.59      3.88   1000000         0
1761.89/1762.53	c       179       292    383.24     86.67      4.42   1000000         0
1763.18/1763.80	c       185       392    378.86     83.86      4.52   1000000         0
1764.38/1765.07	c       191       300    396.84     79.36      5.00   1000000         0
1765.68/1766.35	c       170       353    387.01     83.68      4.62   1000000         0
1766.99/1767.62	c       144       400    381.22     70.95      5.37   1000000         0
1768.28/1768.90	c       174       359    378.83     67.50      5.61   1000000         0
1769.48/1770.17	c       205       341    393.23     85.32      4.61   1000000         0
1770.78/1771.44	c       184       467    381.66     85.87      4.44   1000000         0
1772.08/1772.71	c       189       342    384.18     76.97      4.99   1000000         0
1773.28/1773.99	c       194       367    404.91     89.09      4.55   1000000         0
1774.58/1775.27	c       169       352    377.94     86.33      4.38   1000000         0
1775.89/1776.54	c       175       375    377.42     91.55      4.12   1000000         0
1777.18/1777.81	c       154       266    382.78     79.56      4.81   1000000         0
1778.38/1779.08	c       176       394    390.47     83.34      4.69   1000000         0
1779.68/1780.36	c       132       409    390.80     88.89      4.40   1000000         0
1780.98/1781.63	c       154       252    374.63     76.17      4.92   1000000         0
1782.28/1782.90	c       184       341    382.21     89.28      4.28   1000000         0
1783.48/1784.18	c       197       374    396.67     87.07      4.56   1000000         0
1784.78/1785.45	c       170       450    376.31     84.53      4.45   1000000         0
1786.08/1786.72	c       184       347    404.05     98.06      4.12   1000000         0
1787.38/1788.00	c       173       356    398.76    116.93      3.41   1000000         0
1788.57/1789.27	c       158       385    384.93     99.50      3.87   1000000         0
1789.87/1790.55	c       193       382    378.81     92.35      4.10   1000000         0
1791.18/1791.82	c       128       279    374.48     85.70      4.37   1000000         0
1792.38/1793.09	c       203       393    393.81     79.65      4.94   1000000         0
1793.67/1794.36	c       173       325    379.27     74.78      5.07   1000000         0
1794.97/1795.63	c       177       325    382.60     73.51      5.20   1000000         0
1796.27/1796.91	c       213       456    389.84     78.54      4.96   1000000         0
1797.47/1798.18	c       190       415    386.90     74.38      5.20   1000000         0
1798.77/1799.46	c       204       373    397.07     82.11      4.84   1000000         0
1800.08/1800.71	HOME/run: line 2: 21045 Terminated              ./PB-wave < $1

ERROR: no interpretation found !

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2685364-1278440626/watcher-2685364-1278440626 -o /tmp/evaluation-result-2685364-1278440626/solver-2685364-1278440626 -C 1800 -W 2000 -M 1800 run HOME/instance-2685364-1278440626.opb 

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


[startup+0 s]
/proc/loadavg: 1.17 1.03 1.01 3/105 21044
/proc/meminfo: memFree=1406008/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) R 21042 21044 20226 0 -1 4202496 344 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595514261 0 65538 4100 65536 0 0 0 17 1 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0

[startup+0.0873369 s]
/proc/loadavg: 1.17 1.03 1.01 3/105 21044
/proc/meminfo: memFree=1406008/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101339 s]
/proc/loadavg: 1.17 1.03 1.01 3/105 21044
/proc/meminfo: memFree=1406008/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301377 s]
/proc/loadavg: 1.17 1.03 1.01 3/105 21044
/proc/meminfo: memFree=1406008/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700453 s]
/proc/loadavg: 1.17 1.03 1.01 3/105 21044
/proc/meminfo: memFree=1406008/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50061 s]
/proc/loadavg: 1.17 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400908/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1.49
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 149 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525984 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49152

[startup+3.10091 s]
/proc/loadavg: 1.17 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400784/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=3.09
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 309 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49152

[startup+6.30052 s]
/proc/loadavg: 1.16 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400660/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=6.28
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 628 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525746 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49152

[startup+12.7007 s]
/proc/loadavg: 1.15 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400660/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=12.68
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 1268 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49152

[startup+25.5012 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400660/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=25.48
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 2548 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134519894 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49152

[startup+51.1021 s]
/proc/loadavg: 1.07 1.03 1.01 2/107 21046
/proc/meminfo: memFree=1400660/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=51.07
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 5107 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526134 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 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: 1.03 1.02 1.00 2/107 21048
/proc/meminfo: memFree=1400660/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=102.26
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 10226 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526600 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 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: 1.01 1.02 1.00 2/107 21050
/proc/meminfo: memFree=1400536/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=162.23
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 16223 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 49152

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21052
/proc/meminfo: memFree=1400412/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=222.21
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 22221 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134519876 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 49152

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21052
/proc/meminfo: memFree=1400412/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=282.19
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 28219 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134527032 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 49152

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21054
/proc/meminfo: memFree=1400288/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=342.16
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 34216 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526375 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 49152

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21056
/proc/meminfo: memFree=1400164/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=402.14
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 40214 0 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526157 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 49152

[startup+462.302 s]

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

/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1121.9
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 112189 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 49152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21076
/proc/meminfo: memFree=1398552/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1181.88
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 118187 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525915 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 49152

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21078
/proc/meminfo: memFree=1398304/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1241.86
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 124185 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 49152

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21080
/proc/meminfo: memFree=1398180/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1301.84
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 130183 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 49152

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21082
/proc/meminfo: memFree=1398180/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1361.81
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 136180 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525813 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 49152

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21084
/proc/meminfo: memFree=1398180/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1421.8
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 142179 1 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526618 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 49152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21084
/proc/meminfo: memFree=1398056/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1481.78
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 148176 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134527020 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 49152

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21086
/proc/meminfo: memFree=1398056/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1541.76
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 154174 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134537188 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 49152

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21088
/proc/meminfo: memFree=1397808/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1601.74
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 160172 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526083 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 49152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21090
/proc/meminfo: memFree=1397808/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1661.72
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 166170 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 49152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21092
/proc/meminfo: memFree=1397684/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1721.7
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 172168 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134519749 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 49152

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21092
/proc/meminfo: memFree=1397312/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1781.68
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 178166 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134526672 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 49152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21094
/proc/meminfo: memFree=1397312/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1800.08
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 180006 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21094
/proc/meminfo: memFree=1397312/2059040 swapFree=4192956/4192956
[pid=21044] ppid=21042 vsize=8700 CPUtime=0
/proc/21044/stat : 21044 (run) S 21042 21044 20226 0 -1 4202496 360 0 0 0 0 0 0 0 25 0 1 0 12271089 8908800 244 1992294400 4194304 4922060 140737394934256 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21044/statm: 2175 244 204 178 0 68 0
[pid=21045] ppid=21044 vsize=40452 CPUtime=1800.08
/proc/21045/stat : 21045 (PB-wave) R 21044 21044 20226 0 -1 4202496 1303 0 0 0 180006 2 0 0 25 0 1 0 12271089 41422848 1233 1992294400 134512640 135071400 4286640960 18446744073709551615 134525608 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/21045/statm: 10113 1233 69 137 0 9974 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 49152

Child status: 143
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1800.07
CPU system time (s): 0.027995
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 49152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.07
system time used= 0.027995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1676
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= 4
involuntary context switches= 22969

runsolver used 2.86256 second user time and 8.69268 second system time

The end

Begin job on node086 at 2010-07-06 20:23:46
IDJOB=2685364
IDBENCH=75634
IDSOLVER=1171
FILE ID=node086/2685364-1278440626
PBS_JOBID= 11233439
Free space on /tmp= 62432 MiB

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

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

MD5SUM BENCH= 1570fdbe2f36899430b33180b4159706
RANDOM SEED=1819123189

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1406404 kB
Buffers:        106228 kB
Cached:         408072 kB
SwapCached:          0 kB
Active:         230492 kB
Inactive:       343988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1406404 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2012 kB
Writeback:           0 kB
AnonPages:       60188 kB
Mapped:          14520 kB
Slab:            56312 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181292 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62432 MiB
End job on node086 at 2010-07-06 20:53:47