0.00/0.04	c run usual solver
0.00/0.17	o 95765
0.00/0.17	c starting approximation
0.00/0.17	c factor = 2
0.00/0.17	c factor still to low - shrinking to 2292.61
0.00/0.17	c approx number of clauses: 1e+06
0.00/0.17	c current bound: 47882
0.00/0.80	c current bound: 47882
1.14/1.42	c current bound: 47882
1.76/2.04	c current bound: 47882
2.38/2.67	c current bound: 47882
3.17/3.28	c current bound: 47882
3.62/3.90	c current bound: 47882
4.47/4.52	c current bound: 47882
4.86/5.14	c current bound: 47882
5.48/5.76	c current bound: 47882
6.09/6.38	c current bound: 47882
6.99/7.00	c current bound: 47882
7.59/7.62	c current bound: 47882
7.97/8.24	c current bound: 47882
8.79/8.85	c current bound: 47882
9.20/9.47	c current bound: 47882
10.10/10.14	c current bound: 47882
10.45/10.76	c current bound: 47882
11.08/11.38	c current bound: 47882
11.97/12.00	c current bound: 47882
12.33/12.62	c current bound: 47882
13.17/13.24	c current bound: 47882
13.57/13.86	c current bound: 47882
14.19/14.49	c current bound: 47882
14.82/15.26	c current bound: 47882
15.45/15.88	c current bound: 47882
16.34/16.50	c current bound: 47882
16.68/17.12	c current bound: 47882
17.52/17.74	c current bound: 47882
17.92/18.36	c current bound: 47882
18.55/18.98	c current bound: 47882
19.16/19.61	c current bound: 47882
20.07/20.34	c current bound: 47882
20.63/20.96	c current bound: 47882
21.04/21.58	c current bound: 47882
21.66/22.20	c current bound: 47882
22.29/22.82	c current bound: 47882
22.91/23.44	c current bound: 47882
23.53/24.06	c current bound: 47882
24.14/24.68	c current bound: 47882
25.04/25.47	c current bound: 47882
25.64/26.10	c current bound: 47882
26.01/26.72	c current bound: 47882
26.63/27.34	c current bound: 47882
27.24/27.95	c current bound: 47882
28.07/28.57	c current bound: 47882
28.49/29.19	c current bound: 47882
29.35/29.81	c current bound: 47882
29.73/30.43	c current bound: 47882
30.35/31.05	c current bound: 47882
30.97/31.67	c current bound: 47882
31.60/32.29	c current bound: 47882
32.45/32.91	c current bound: 47882
32.83/33.53	c current bound: 47882
33.67/34.15	c current bound: 47882
34.34/34.96	c current bound: 47882
34.70/35.58	c current bound: 47882
35.32/36.20	c current bound: 47882
35.94/36.82	c current bound: 47882
36.78/37.44	c current bound: 47882
37.17/38.05	c current bound: 47882
37.80/38.67	c current bound: 47882
38.40/39.29	c current bound: 47882
39.03/39.91	c current bound: 47882
39.66/40.53	c current bound: 47882
40.27/41.16	c current bound: 47882
41.09/41.78	c current bound: 47882
41.80/42.40	c current bound: 47882
42.38/43.02	c current bound: 47882
42.76/43.64	c current bound: 47882
43.39/44.26	c current bound: 47882
44.01/44.88	c current bound: 47882
44.88/45.56	c current bound: 47882
45.43/46.18	c current bound: 47882
46.13/46.80	c current bound: 47882
46.72/47.42	c current bound: 47882
47.10/48.03	c current bound: 47882
47.71/48.65	c current bound: 47882
48.34/49.27	c current bound: 47882
48.95/49.89	c current bound: 47882
49.84/50.51	c current bound: 47882
50.18/51.13	c current bound: 47882
51.03/51.75	c current bound: 47882
51.44/52.36	c current bound: 47882
52.06/52.99	c current bound: 47882
52.69/53.60	c current bound: 47882
53.31/54.22	c current bound: 47882
53.92/54.84	c current bound: 47882
54.79/55.72	c current bound: 47882
55.14/56.34	c current bound: 47882
55.77/56.95	c current bound: 47882
56.38/57.57	c current bound: 47882
57.01/58.19	c current bound: 47882
57.63/58.81	c current bound: 47882
58.47/59.43	c current bound: 47882
58.86/60.05	c current bound: 47882
59.49/60.67	c current bound: 47882
60.10/61.29	c current bound: 47882
60.73/61.90	c current bound: 47882
61.35/62.52	c current bound: 47882
61.97/63.14	c current bound: 47882
62.78/63.76	c current bound: 47882
63.21/64.38	c current bound: 47882
64.10/65.00	c current bound: 47882
64.45/65.62	c current bound: 47882
65.08/66.24	c current bound: 47882
65.70/66.86	c current bound: 47882
66.32/67.48	c current bound: 47882
67.21/68.10	c current bound: 47882
67.55/68.72	c current bound: 47882
68.40/69.34	c current bound: 47882
68.79/69.96	c current bound: 47882
69.69/70.80	c current bound: 47882
70.27/71.42	c current bound: 47882
70.67/72.05	c current bound: 47882
71.49/72.66	c current bound: 47882
71.90/73.28	c current bound: 47882
72.78/73.90	c current bound: 47882
73.14/74.52	c current bound: 47882
73.76/75.14	c current bound: 47882
74.63/75.94	c current bound: 47882
75.00/76.56	c current bound: 47882
75.62/77.17	c current bound: 47882
76.24/77.79	c current bound: 47882
76.85/78.41	c current bound: 47882
77.47/79.02	c current bound: 47882
78.10/79.64	c current bound: 47882
78.92/80.26	c current bound: 47882
79.35/80.88	c current bound: 47882
80.22/81.50	c current bound: 47882
80.58/82.12	c current bound: 47882
81.20/82.74	c current bound: 47882
81.84/83.36	c current bound: 47882
82.45/83.98	c current bound: 47882
83.34/84.60	c current bound: 47882
83.68/85.23	c current bound: 47882
84.54/85.84	c current bound: 47882
84.93/86.47	c current bound: 47882
85.56/87.09	c current bound: 47882
86.19/87.71	c current bound: 47882
86.82/88.34	c current bound: 47882
87.43/88.96	c current bound: 47882
88.06/89.58	c current bound: 47882
88.84/90.20	c current bound: 47882
89.57/90.92	c current bound: 47882
89.92/91.54	c current bound: 47882
90.54/92.16	c current bound: 47882
91.17/92.78	c current bound: 47882
91.79/93.40	c current bound: 47882
92.40/94.02	c current bound: 47882
93.24/94.64	c current bound: 47882
93.63/95.26	c current bound: 47882
94.26/95.88	c current bound: 47882
95.14/96.50	c current bound: 47882
95.51/97.12	c current bound: 47882
96.13/97.74	c current bound: 47882
96.75/98.36	c current bound: 47882
97.54/98.98	c current bound: 47882
97.99/99.59	c current bound: 47882
98.85/100.21	c current bound: 47882
99.22/100.83	c current bound: 47882
99.84/101.46	c current bound: 47882
100.47/102.08	c current bound: 47882
101.08/102.70	c current bound: 47882
101.95/103.33	c current bound: 47882
102.34/103.95	c current bound: 47882
103.14/104.57	c current bound: 47882
103.58/105.19	c current bound: 47882
104.47/106.04	c current bound: 47882
105.02/106.66	c current bound: 47882
105.44/107.28	c current bound: 47882
106.32/107.90	c current bound: 47882
106.68/108.51	c current bound: 47882
107.30/109.15	c current bound: 47882
107.94/109.77	c current bound: 47882
108.56/110.39	c current bound: 47882
109.43/111.12	c current bound: 47882
109.79/111.74	c current bound: 47882
110.41/112.36	c current bound: 47882
111.04/112.99	c current bound: 47882
111.67/113.62	c current bound: 47882
112.28/114.23	c current bound: 47882
112.91/114.85	c current bound: 47882
113.71/115.47	c current bound: 47882
114.16/116.09	c current bound: 47882
115.00/116.71	c current bound: 47882
115.39/117.33	c current bound: 47882
116.01/117.95	c current bound: 47882
116.63/118.58	c current bound: 47882
117.26/119.20	c current bound: 47882
118.12/119.82	c current bound: 47882
118.50/120.45	c current bound: 47882
119.41/121.20	c current bound: 47882
119.76/121.82	c current bound: 47882
120.38/122.44	c current bound: 47882
121.01/123.06	c current bound: 47882
121.90/123.70	c current bound: 47882
122.50/124.32	c current bound: 47882
122.88/124.94	c current bound: 47882
123.70/125.56	c current bound: 47882
124.14/126.18	c current bound: 47882
124.76/126.80	c current bound: 47882
125.39/127.43	c current bound: 47882
126.01/128.05	c current bound: 47882
126.82/128.67	c current bound: 47882
127.26/129.29	c current bound: 47882
128.13/129.91	c current bound: 47882
128.51/130.53	c current bound: 47882
129.40/131.29	c current bound: 47882
130.01/131.91	c current bound: 47882
130.38/132.53	c current bound: 47882
131.21/133.15	c current bound: 47882
131.62/133.76	c current bound: 47882
132.23/134.38	c current bound: 47882
132.86/135.00	c current bound: 47882
133.48/135.62	c current bound: 47882
134.10/136.24	c current bound: 47882
134.71/136.87	c current bound: 47882
135.52/137.49	c current bound: 47882
135.98/138.11	c current bound: 47882
136.82/138.74	c current bound: 47882
137.22/139.36	c current bound: 47882
137.84/139.98	c current bound: 47882
138.73/140.60	c current bound: 47882
139.08/141.22	c current bound: 47882
139.92/141.84	c current bound: 47882
140.31/142.47	c current bound: 47882
141.11/143.09	c current bound: 47882
141.57/143.71	c current bound: 47882
142.20/144.33	c current bound: 47882
142.83/144.95	c current bound: 47882
143.44/145.58	c current bound: 47882
144.07/146.20	c current bound: 47882
144.68/146.82	c current bound: 47882
145.52/147.44	c current bound: 47882
145.93/148.06	c current bound: 47882
146.54/148.69	c current bound: 47882
147.16/149.31	c current bound: 47882
147.80/149.93	c current bound: 47882
148.43/150.55	c current bound: 47882
149.04/151.48	c current bound: 47882
149.66/152.11	c current bound: 47882
150.29/152.72	c current bound: 47882
150.91/153.34	c current bound: 47882
151.72/153.96	c current bound: 47882
152.15/154.58	c current bound: 47882
153.03/155.20	c current bound: 47882
153.38/155.82	c current bound: 47882
154.00/156.50	c current bound: 47882
154.62/157.12	c current bound: 47882
155.25/157.74	c current bound: 47882
156.06/158.36	c current bound: 47882
156.49/158.98	c current bound: 47882
157.38/159.60	c current bound: 47882
157.73/160.22	c current bound: 47882
158.36/160.84	c current bound: 47882
158.98/161.47	c current bound: 47882
159.60/162.09	c current bound: 47882
160.47/162.72	c current bound: 47882
160.85/163.34	c current bound: 47882
161.67/163.96	c current bound: 47882
162.10/164.59	c current bound: 47882
162.73/165.21	c current bound: 47882
163.34/165.83	c current bound: 47882
163.97/166.45	c current bound: 47882
164.60/167.08	c current bound: 47882
165.49/167.70	c current bound: 47882
166.09/168.32	c current bound: 47882
166.46/168.94	c current bound: 47882
167.27/169.56	c current bound: 47882
167.71/170.19	c current bound: 47882
168.33/170.81	c current bound: 47882
169.20/171.74	c current bound: 47882
169.59/172.36	c current bound: 47882
170.19/172.98	c current bound: 47882
171.09/173.60	c current bound: 47882
171.44/174.22	c current bound: 47882
172.29/174.84	c current bound: 47882
172.67/175.46	c current bound: 47882
173.48/176.08	c current bound: 47882
173.92/176.69	c current bound: 47882
174.55/177.31	c current bound: 47882
175.16/177.94	c current bound: 47882
175.78/178.56	c current bound: 47882
176.41/179.18	c current bound: 47882
177.01/179.80	c current bound: 47882
177.89/180.42	c current bound: 47882
178.26/181.04	c current bound: 47882
179.09/181.68	c current bound: 47882
179.50/182.31	c current bound: 47882
180.14/182.93	c current bound: 47882
180.76/183.55	c current bound: 47882
181.39/184.17	c current bound: 47882
182.16/184.79	c current bound: 47882
182.63/185.41	c current bound: 47882
183.47/186.03	c current bound: 47882
183.86/186.68	c current bound: 47882
184.50/187.30	c current bound: 47882
185.10/187.92	c current bound: 47882
185.72/188.55	c current bound: 47882
186.54/189.16	c current bound: 47882
186.98/189.79	c current bound: 47882
187.83/190.42	c current bound: 47882
188.22/191.04	c current bound: 47882
189.12/191.97	c current bound: 47882
189.62/192.59	c current bound: 47882
190.08/193.22	c current bound: 47882
190.70/193.84	c current bound: 47882
191.33/194.46	c current bound: 47882
191.95/195.08	c current bound: 47882
192.84/195.70	c current bound: 47882
193.19/196.33	c current bound: 47882
194.02/196.96	c current bound: 47882
194.45/197.58	c current bound: 47882
195.08/198.20	c current bound: 47882
195.70/198.83	c current bound: 47882
196.34/199.45	c current bound: 47882
196.95/200.07	c current bound: 47882
197.57/200.69	c current bound: 47882
198.43/201.31	c current bound: 47882
198.81/201.93	c current bound: 47882
199.63/202.55	c current bound: 47882
200.05/203.17	c current bound: 47882
200.93/203.80	c current bound: 47882
201.30/204.42	c current bound: 47882
201.91/205.04	c current bound: 47882
202.75/205.66	c current bound: 47882
203.15/206.28	c current bound: 47882
204.03/206.97	c current bound: 47882
204.67/207.60	c current bound: 47882
205.02/208.22	c current bound: 47882
205.64/208.85	c current bound: 47882
206.28/209.48	c current bound: 47882
207.07/210.10	c current bound: 47882
207.53/210.72	c current bound: 47882
208.36/211.34	c current bound: 47882
209.05/212.13	c current bound: 47882
209.40/212.76	c current bound: 47882
210.21/213.39	c current bound: 47882
210.66/214.01	c current bound: 47882
211.49/214.63	c current bound: 47882
211.89/215.25	c current bound: 47882
212.52/215.87	c current bound: 47882
213.14/216.49	c current bound: 47882
214.03/217.33	c current bound: 47882
214.60/217.95	c current bound: 47882
215.02/218.57	c current bound: 47882
215.64/219.19	c current bound: 47882
216.26/219.81	c current bound: 47882
216.87/220.43	c current bound: 47882
217.69/221.05	c current bound: 47882
218.11/221.67	c current bound: 47882
218.90/222.29	c current bound: 47882
219.35/222.91	c current bound: 47882
219.97/223.54	c current bound: 47882
220.59/224.16	c current bound: 47882
221.21/224.78	c current bound: 47882
221.83/225.40	c current bound: 47882
222.44/226.02	c current bound: 47882
223.29/226.65	c current bound: 47882
223.97/227.30	c current bound: 47882
224.31/227.93	c current bound: 47882
224.95/228.55	c current bound: 47882
225.56/229.17	c current bound: 47882
226.19/229.79	c current bound: 47882
226.81/230.41	c current bound: 47882
227.66/231.03	c current bound: 47882
228.04/231.67	c current bound: 47882
228.95/232.33	c current bound: 47882
229.30/232.95	c current bound: 47882
229.92/233.58	c current bound: 47882
230.55/234.20	c current bound: 47882
231.16/234.82	c current bound: 47882
232.00/235.44	c current bound: 47882
232.39/236.06	c current bound: 47882
233.02/236.68	c current bound: 47882
233.66/237.30	c current bound: 47882
234.27/237.92	c current bound: 47882
234.88/238.54	c current bound: 47882
235.51/239.16	c current bound: 47882
236.30/239.78	c current bound: 47882
237.02/240.40	c current bound: 47882
237.59/241.03	c current bound: 47882
238.00/241.65	c current bound: 47882
238.63/242.27	c current bound: 47882
239.50/242.90	c current bound: 47882
239.87/243.52	c current bound: 47882
240.70/244.14	c current bound: 47882
241.11/244.76	c current bound: 47882
241.90/245.38	c current bound: 47882
242.34/246.00	c current bound: 47882
242.98/246.63	c current bound: 47882
243.83/247.46	c current bound: 47882
244.21/248.08	c current bound: 47882
245.10/248.70	c current bound: 47882
245.45/249.32	c current bound: 47882
246.07/249.94	c current bound: 47882
246.70/250.56	c current bound: 47882
247.31/251.18	c current bound: 47882
247.93/251.80	c current bound: 47882
248.55/252.52	c current bound: 47882
249.39/253.15	c current bound: 47882
249.81/253.77	c current bound: 47882
250.42/254.39	c current bound: 47882
251.04/255.02	c current bound: 47882
251.67/255.63	c current bound: 47882
252.49/256.26	c current bound: 47882
252.92/256.88	c current bound: 47882
253.81/257.70	c current bound: 47882
254.16/258.32	c current bound: 47882
254.79/258.95	c current bound: 47882
255.60/259.57	c current bound: 47882
256.04/260.19	c current bound: 47882
256.91/260.81	c current bound: 47882
257.28/261.43	c current bound: 47882
257.91/262.05	c current bound: 47882
258.53/262.67	c current bound: 47882
259.15/263.29	c current bound: 47882
260.01/263.91	c current bound: 47882
260.39/264.53	c current bound: 47882
261.23/265.15	c current bound: 47882
261.62/265.78	c current bound: 47882
262.52/266.40	c current bound: 47882
262.87/267.02	c current bound: 47882
263.50/267.65	c current bound: 47882
264.12/268.28	c current bound: 47882
265.01/268.90	c current bound: 47882
265.62/269.52	c current bound: 47882
266.00/270.14	c current bound: 47882
266.80/270.76	c current bound: 47882
267.23/271.38	c current bound: 47882
267.85/272.00	c current bound: 47882
268.75/272.74	c current bound: 47882
269.11/273.37	c current bound: 47882
269.91/273.99	c current bound: 47882
270.35/274.61	c current bound: 47882
270.97/275.22	c current bound: 47882
271.59/275.84	c current bound: 47882
272.21/276.46	c current bound: 47882
272.82/277.08	c current bound: 47882
273.45/277.69	c current bound: 47882
274.30/278.31	c current bound: 47882
274.68/278.93	c current bound: 47882
275.49/279.55	c current bound: 47882
275.92/280.17	c current bound: 47882
276.53/280.79	c current bound: 47882
277.15/281.41	c current bound: 47882
277.77/282.03	c current bound: 47882
278.59/282.69	c current bound: 47882
279.02/283.31	c current bound: 47882
279.84/283.93	c current bound: 47882
280.25/284.55	c current bound: 47882
280.86/285.17	c current bound: 47882
281.48/285.79	c current bound: 47882
282.11/286.41	c current bound: 47882
282.96/287.03	c current bound: 47882
283.35/287.72	c current bound: 47882
284.20/288.34	c current bound: 47882
284.58/288.96	c current bound: 47882
285.22/289.58	c current bound: 47882
286.11/290.20	c current bound: 47882
286.47/290.82	c current bound: 47882
287.31/291.44	c current bound: 47882
287.69/292.06	c current bound: 47882
288.59/292.73	c current bound: 47882
288.94/293.35	c current bound: 47882
289.56/293.97	c current bound: 47882
290.19/294.59	c current bound: 47882
290.80/295.23	c current bound: 47882
291.67/295.85	c current bound: 47882
292.06/296.47	c current bound: 47882
292.86/297.10	c current bound: 47882
293.33/297.75	c current bound: 47882
293.94/298.37	c current bound: 47882
294.56/298.99	c current bound: 47882
295.19/299.61	c current bound: 47882
296.05/300.23	c current bound: 47882
296.42/300.87	c current bound: 47882
297.23/301.49	c current bound: 47882
297.68/302.11	c current bound: 47882
298.31/302.96	c current bound: 47882
299.11/303.58	c current bound: 47882
299.82/304.20	c current bound: 47882
300.41/304.82	c current bound: 47882
300.79/305.44	c current bound: 47882
301.42/306.06	c current bound: 47882
302.03/306.69	c current bound: 47882
302.66/307.30	c current bound: 47882
303.51/307.93	c current bound: 47882
303.92/308.55	c current bound: 47882
304.73/309.17	c current bound: 47882
305.16/309.79	c current bound: 47882
305.78/310.41	c current bound: 47882
306.40/311.04	c current bound: 47882
307.04/311.66	c current bound: 47882
307.65/312.28	c current bound: 47882
308.55/313.00	c current bound: 47882
309.13/313.62	c current bound: 47882
309.51/314.24	c current bound: 47882
310.15/314.86	c current bound: 47882
310.78/315.48	c current bound: 47882
311.65/316.10	c current bound: 47882
312.26/316.72	c current bound: 47882
312.63/317.34	c current bound: 47882
313.46/317.96	c current bound: 47882
313.86/318.58	c current bound: 47882
314.49/319.19	c current bound: 47882
315.10/319.81	c current bound: 47882
315.73/320.43	c current bound: 47882
316.35/321.05	c current bound: 47882
316.97/321.67	c current bound: 47882
317.76/322.29	c current bound: 47882
318.21/322.91	c current bound: 47882
319.05/323.53	c current bound: 47882
319.45/324.15	c current bound: 47882
320.07/324.77	c current bound: 47882
320.97/325.40	c current bound: 47882
321.31/326.02	c current bound: 47882
322.17/326.64	c current bound: 47882
322.56/327.26	c current bound: 47882
323.45/328.05	c current bound: 47882
323.81/328.66	c current bound: 47882
324.42/329.28	c current bound: 47882
325.05/329.90	c current bound: 47882
325.67/330.52	c current bound: 47882
326.52/331.13	c current bound: 47882
326.91/331.75	c current bound: 47882
327.53/332.38	c current bound: 47882
328.42/333.00	c current bound: 47882
328.77/333.62	c current bound: 47882
329.40/334.24	c current bound: 47882
330.01/334.86	c current bound: 47882
330.83/335.48	c current bound: 47882
331.53/336.10	c current bound: 47882
332.10/336.72	c current bound: 47882
332.51/337.33	c current bound: 47882
333.40/338.06	c current bound: 47882
333.76/338.68	c current bound: 47882
334.65/339.30	c current bound: 47882
335.24/339.92	c current bound: 47882
335.63/340.54	c current bound: 47882
336.45/341.15	c current bound: 47882
336.87/341.77	c current bound: 47882
337.49/342.39	c current bound: 47882
338.11/343.08	c current bound: 47882
339.00/343.70	c current bound: 47882
339.59/344.32	c current bound: 47882
339.96/344.94	c current bound: 47882
340.80/345.56	c current bound: 47882
341.21/346.18	c current bound: 47882
341.85/346.79	c current bound: 47882
342.47/347.41	c current bound: 47882
343.35/348.14	c current bound: 47882
343.90/348.77	c current bound: 47882
344.34/349.39	c current bound: 47882
344.97/350.02	c current bound: 47882
345.60/350.65	c current bound: 47882
346.22/351.27	c current bound: 47882
346.83/351.90	c current bound: 47882
347.47/352.52	c current bound: 47882
348.36/353.24	c current bound: 47882
348.73/353.86	c current bound: 47882
349.34/354.48	c current bound: 47882
349.96/355.09	c current bound: 47882
350.58/355.71	c current bound: 47882
351.43/356.33	c current bound: 47882
351.81/356.95	c current bound: 47882
352.64/357.57	c current bound: 47882
353.07/358.37	c current bound: 47882
353.70/358.99	c current bound: 47882
354.57/359.62	c current bound: 47882
354.94/360.24	c current bound: 47882
355.76/360.86	c current bound: 47882
356.18/361.48	c current bound: 47882
357.07/362.10	c current bound: 47882
357.42/362.71	c current bound: 47882
358.31/363.43	c current bound: 47882
358.88/364.05	c current bound: 47882
359.29/364.68	c current bound: 47882
360.08/365.29	c current bound: 47882
360.53/365.91	c current bound: 47882
361.13/366.53	c current bound: 47882
361.77/367.15	c current bound: 47882
362.39/367.77	c current bound: 47882
363.27/368.55	c current bound: 47882
363.64/369.17	c current bound: 47882
364.25/369.79	c current bound: 47882
364.89/370.42	c current bound: 47882
365.51/371.04	c current bound: 47882
366.14/371.66	c current bound: 47882
366.75/372.28	c current bound: 47882
367.66/372.90	c current bound: 47882
368.28/373.63	c current bound: 47882
368.63/374.24	c current bound: 47882
369.25/374.86	c current bound: 47882
369.86/375.48	c current bound: 47882
370.48/376.10	c current bound: 47882
371.10/376.72	c current bound: 47882
371.94/377.34	c current bound: 47882
372.35/377.95	c current bound: 47882
373.22/378.71	c current bound: 47882
373.58/379.34	c current bound: 47882
374.24/379.97	c current bound: 47882
375.02/380.59	c current bound: 47882
375.47/381.21	c current bound: 47882
376.32/381.83	c current bound: 47882
376.73/382.45	c current bound: 47882
377.35/383.07	c current bound: 47882
378.22/383.92	c current bound: 47882
378.59/384.55	c current bound: 47882
379.20/385.16	c current bound: 47882
379.83/385.78	c current bound: 47882
380.71/386.40	c current bound: 47882
381.07/387.02	c current bound: 47882
381.69/387.64	c current bound: 47882
382.51/388.26	c current bound: 47882
382.95/388.88	c current bound: 47882
383.83/389.50	c current bound: 47882
384.19/390.12	c current bound: 47882
384.82/390.74	c current bound: 47882
385.42/391.36	c current bound: 47882
386.07/391.98	c current bound: 47882
386.67/392.60	c current bound: 47882
387.31/393.22	c current bound: 47882
388.17/394.15	c current bound: 47882
388.54/394.77	c current bound: 47882
389.17/395.39	c current bound: 47882
390.03/396.01	c current bound: 47882
390.41/396.63	c current bound: 47882
391.23/397.25	c current bound: 47882
391.64/397.87	c current bound: 47882
392.27/398.49	c current bound: 47882
392.88/399.10	c current bound: 47882
393.51/399.74	c current bound: 47882
394.32/400.36	c current bound: 47882
394.76/400.98	c current bound: 47882
395.64/401.60	c current bound: 47882
395.98/402.22	c current bound: 47882
396.61/402.83	c current bound: 47882
397.23/403.46	c current bound: 47882
397.87/404.18	c current bound: 47882
398.65/404.80	c current bound: 47882
399.11/405.44	c current bound: 47882
399.94/406.06	c current bound: 47882
400.36/406.67	c current bound: 47882
400.99/407.29	c current bound: 47882
401.60/407.91	c current bound: 47882
402.23/408.53	c current bound: 47882
403.07/409.15	c current bound: 47882
403.47/409.77	c current bound: 47882
404.27/410.39	c current bound: 47882
404.72/411.02	c current bound: 47882
405.35/411.64	c current bound: 47882
405.97/412.27	c current bound: 47882
406.61/412.89	c current bound: 47882
407.49/413.51	c current bound: 47882
407.85/414.15	c current bound: 47882
408.68/414.77	c current bound: 47882
409.38/415.40	c current bound: 47882
409.72/416.02	c current bound: 47882
410.36/416.63	c current bound: 47882
410.97/417.27	c current bound: 47882
411.61/417.89	c current bound: 47882
412.24/418.52	c current bound: 47882
413.08/419.16	c current bound: 47882
413.47/419.78	c current bound: 47882
414.37/420.40	c current bound: 47882
414.72/421.01	c current bound: 47882
415.35/421.63	c current bound: 47882
415.96/422.25	c current bound: 47882
416.58/422.87	c current bound: 47882
417.36/423.49	c current bound: 47882
417.82/424.11	c current bound: 47882
418.66/424.72	c current bound: 47882
419.06/425.34	c current bound: 47882
419.67/425.96	c current bound: 47882
420.30/426.58	c current bound: 47882
420.92/427.21	c current bound: 47882
421.78/427.83	c current bound: 47882
422.17/428.45	c current bound: 47882
423.07/429.15	c current bound: 47882
423.41/429.76	c current bound: 47882
424.03/430.38	c current bound: 47882
424.65/431.00	c current bound: 47882
425.28/431.62	c current bound: 47882
426.12/432.24	c current bound: 47882
426.52/432.86	c current bound: 47882
427.33/433.48	c current bound: 47882
427.76/434.09	c current bound: 47882
428.38/434.71	c current bound: 47882
428.99/435.33	c current bound: 47882
429.63/435.95	c current bound: 47882
430.25/436.57	c current bound: 47882
430.87/437.19	c current bound: 47882
431.77/437.81	c current bound: 47882
432.11/438.43	c current bound: 47882
433.01/439.16	c current bound: 47882
433.37/439.78	c current bound: 47882
433.99/440.40	c current bound: 47882
434.85/441.02	c current bound: 47882
435.23/441.64	c current bound: 47882
436.06/442.26	c current bound: 47882
436.47/442.87	c current bound: 47882
437.10/443.49	c current bound: 47882
437.71/444.14	c current bound: 47882
438.34/444.76	c current bound: 47882
438.94/445.38	c current bound: 47882
439.85/446.00	c current bound: 47882
440.44/446.62	c current bound: 47882
440.82/447.24	c current bound: 47882
441.63/447.85	c current bound: 47882
442.06/448.47	c current bound: 47882
442.94/449.34	c current bound: 47882
443.49/449.96	c current bound: 47882
443.91/450.58	c current bound: 47882
444.81/451.20	c current bound: 47882
445.16/451.82	c current bound: 47882
445.78/452.44	c current bound: 47882
446.40/453.05	c current bound: 47882
447.03/453.67	c current bound: 47882
447.91/454.32	c current bound: 47882
448.27/454.94	c current bound: 47882
449.08/455.56	c current bound: 47882
449.81/456.20	c current bound: 47882
450.16/456.81	c current bound: 47882
450.78/457.44	c current bound: 47882
451.39/458.05	c current bound: 47882
452.21/458.67	c current bound: 47882
452.91/459.33	c current bound: 47882
453.47/459.95	c current bound: 47882
453.88/460.57	c current bound: 47882
454.51/461.19	c current bound: 47882
455.13/461.81	c current bound: 47882
455.75/462.43	c current bound: 47882
456.58/463.05	c current bound: 47882
456.99/463.67	c current bound: 47882
457.79/464.29	c current bound: 47882
458.24/464.91	c current bound: 47882
458.86/465.53	c current bound: 47882
459.48/466.15	c current bound: 47882
460.10/466.77	c current bound: 47882
460.72/467.39	c current bound: 47882
461.33/468.01	c current bound: 47882
462.19/468.63	c current bound: 47882
462.59/469.53	c current bound: 47882
463.22/470.15	c current bound: 47882
464.02/470.77	c current bound: 47882
464.45/471.39	c current bound: 47882
465.33/472.01	c current bound: 47882
465.70/472.63	c current bound: 47882
466.32/473.25	c current bound: 47882
466.95/473.88	c current bound: 47882
467.83/474.50	c current bound: 47882
468.43/475.13	c current bound: 47882
468.82/475.75	c current bound: 47882
469.64/476.37	c current bound: 47882
470.06/476.99	c current bound: 47882
470.68/477.61	c current bound: 47882
471.29/478.23	c current bound: 47882
471.92/478.85	c current bound: 47882
472.54/479.47	c current bound: 47882
473.16/480.09	c current bound: 47882
474.05/480.71	c current bound: 47882
474.41/481.33	c current bound: 47882
475.23/481.95	c current bound: 47882
475.64/482.57	c current bound: 47882
476.26/483.19	c current bound: 47882
476.88/483.80	c current bound: 47882
477.78/484.58	c current bound: 47882
478.37/485.20	c current bound: 47882
478.76/485.82	c current bound: 47882
479.36/486.44	c current bound: 47882
479.98/487.06	c current bound: 47882
480.61/487.67	c current bound: 47882
481.22/488.29	c current bound: 47882
481.85/488.91	c current bound: 47882
482.70/489.53	c current bound: 47882
483.10/490.15	c current bound: 47882
483.72/490.77	c current bound: 47882
484.34/491.39	c current bound: 47882
484.97/492.01	c current bound: 47882
485.59/492.63	c current bound: 47882
486.22/493.25	c current bound: 47882
487.02/493.87	c current bound: 47882
487.73/494.55	c current bound: 47882
488.09/495.18	c current bound: 47882
488.72/495.79	c current bound: 47882
489.32/496.42	c current bound: 47882
489.94/497.03	c current bound: 47882
490.57/497.65	c current bound: 47882
491.38/498.27	c current bound: 47882
491.82/498.89	c current bound: 47882
492.67/499.51	c current bound: 47882
493.04/500.13	c current bound: 47882
493.67/500.75	c current bound: 47882
494.30/501.37	c current bound: 47882
494.92/502.00	c current bound: 47882
495.79/502.62	c current bound: 47882
496.16/503.24	c current bound: 47882
496.98/503.86	c current bound: 47882
497.42/504.51	c current bound: 47882
498.04/505.14	c current bound: 47882
498.66/505.76	c current bound: 47882
499.29/506.37	c current bound: 47882
499.90/506.99	c current bound: 47882
500.52/507.61	c current bound: 47882
501.38/508.23	c current bound: 47882
501.77/508.85	c current bound: 47882
502.66/509.53	c current bound: 47882
503.02/510.15	c current bound: 47882
503.63/510.77	c current bound: 47882
504.25/511.38	c current bound: 47882
505.14/512.00	c current bound: 47882
505.73/512.62	c current bound: 47882
506.11/513.24	c current bound: 47882
506.93/513.86	c current bound: 47882
507.36/514.48	c current bound: 47882
507.97/515.10	c current bound: 47882
508.60/515.71	c current bound: 47882
509.22/516.33	c current bound: 47882
510.04/516.95	c current bound: 47882
510.46/517.57	c current bound: 47882
511.24/518.19	c current bound: 47882
511.70/518.81	c current bound: 47882
512.58/519.56	c current bound: 47882
512.94/520.18	c current bound: 47882
513.83/520.80	c current bound: 47882
514.41/521.42	c current bound: 47882
514.80/522.04	c current bound: 47882
515.60/522.66	c current bound: 47882
516.05/523.28	c current bound: 47882
516.67/523.90	c current bound: 47882
517.55/524.73	c current bound: 47882
517.92/525.35	c current bound: 47882
518.53/525.97	c current bound: 47882
519.16/526.59	c current bound: 47882
519.78/527.21	c current bound: 47882
520.41/527.83	c current bound: 47882
521.02/528.46	c current bound: 47882
521.83/529.08	c current bound: 47882
522.27/529.97	c current bound: 47882
522.89/530.59	c current bound: 47882
523.76/531.21	c current bound: 47882
524.13/531.83	c current bound: 47882
524.97/532.45	c current bound: 47882
525.37/533.08	c current bound: 47882
526.28/533.70	c current bound: 47882
526.62/534.31	c current bound: 47882
527.23/534.96	c current bound: 47882
527.86/535.58	c current bound: 47882
528.75/536.20	c current bound: 47882
529.34/536.81	c current bound: 47882
529.72/537.44	c current bound: 47882
530.54/538.06	c current bound: 47882
530.97/538.68	c current bound: 47882
531.59/539.30	c current bound: 47882
532.22/539.91	c current bound: 47882
532.83/540.54	c current bound: 47882
533.66/541.16	c current bound: 47882
534.08/541.78	c current bound: 47882
534.97/542.40	c current bound: 47882
535.31/543.01	c current bound: 47882
535.94/543.64	c current bound: 47882
536.56/544.25	c current bound: 47882
537.45/545.01	c current bound: 47882
538.02/545.64	c current bound: 47882
538.43/546.26	c current bound: 47882
539.06/546.88	c current bound: 47882
539.68/547.50	c current bound: 47882
540.30/548.12	c current bound: 47882
540.92/548.74	c current bound: 47882
541.54/549.36	c current bound: 47882
542.43/550.22	c current bound: 47882
542.78/550.84	c current bound: 47882
543.40/551.45	c current bound: 47882
544.03/552.07	c current bound: 47882
544.65/552.71	c current bound: 47882
545.53/553.33	c current bound: 47882
545.91/553.94	c current bound: 47882
546.52/554.56	c current bound: 47882
547.15/555.18	c current bound: 47882
548.03/555.80	c current bound: 47882
548.39/556.42	c current bound: 47882
549.01/557.05	c current bound: 47882
549.83/557.67	c current bound: 47882
550.26/558.29	c current bound: 47882
551.12/558.90	c current bound: 47882
551.50/559.52	c current bound: 47882
552.39/560.28	c current bound: 47882
552.75/560.90	c current bound: 47882
553.38/561.52	c current bound: 47882
554.21/562.14	c current bound: 47882
554.62/562.76	c current bound: 47882
555.23/563.38	c current bound: 47882
555.85/564.00	c current bound: 47882
556.48/564.62	c current bound: 47882
557.10/565.24	c current bound: 47882
557.72/565.86	c current bound: 47882
558.51/566.48	c current bound: 47882
558.95/567.10	c current bound: 47882
559.81/567.72	c current bound: 47882
560.20/568.34	c current bound: 47882
560.82/568.96	c current bound: 47882
561.43/569.58	c current bound: 47882
562.32/570.20	c current bound: 47882
562.91/570.82	c current bound: 47882
563.30/571.44	c current bound: 47882
564.12/572.06	c current bound: 47882
564.53/572.68	c current bound: 47882
565.42/573.30	c current bound: 47882
565.78/573.92	c current bound: 47882
566.39/574.53	c current bound: 47882
567.28/575.23	c current bound: 47882
567.63/575.85	c current bound: 47882
568.43/576.47	c current bound: 47882
568.88/577.09	c current bound: 47882
569.49/577.70	c current bound: 47882
570.11/578.32	c current bound: 47882
570.73/578.94	c current bound: 47882
571.35/579.56	c current bound: 47882
571.97/580.18	c current bound: 47882
572.75/580.80	c current bound: 47882
573.21/581.43	c current bound: 47882
574.05/582.05	c current bound: 47882
574.47/582.67	c current bound: 47882
575.09/583.29	c current bound: 47882
575.71/583.91	c current bound: 47882
576.33/584.53	c current bound: 47882
577.21/585.34	c current bound: 47882
577.58/585.96	c current bound: 47882
578.20/586.57	c current bound: 47882
579.10/587.20	c current bound: 47882
579.44/587.82	c current bound: 47882
580.30/588.44	c current bound: 47882
580.70/589.06	c current bound: 47882
581.49/589.68	c current bound: 47882
581.93/590.38	c current bound: 47882
582.56/591.01	c current bound: 47882
583.18/591.63	c current bound: 47882
583.82/592.26	c current bound: 47882
584.63/592.88	c current bound: 47882
585.33/593.50	c current bound: 47882
585.92/594.12	c current bound: 47882
586.31/594.74	c current bound: 47882
586.93/595.56	c current bound: 47882
587.74/596.17	c current bound: 47882
588.17/596.79	c current bound: 47882
589.02/597.41	c current bound: 47882
589.42/598.03	c current bound: 47882
590.02/598.65	c current bound: 47882
590.66/599.27	c current bound: 47882
591.28/599.89	c current bound: 47882
592.15/600.55	c current bound: 47882
592.51/601.17	c current bound: 47882
593.30/601.79	c current bound: 47882
593.75/602.41	c current bound: 47882
594.37/603.03	c current bound: 47882
594.99/603.67	c current bound: 47882
595.64/604.29	c current bound: 47882
596.51/604.91	c current bound: 47882
596.88/605.69	c current bound: 47882
597.51/606.31	c current bound: 47882
598.13/606.93	c current bound: 47882
598.75/607.55	c current bound: 47882
599.37/608.17	c current bound: 47882
600.00/608.79	c current bound: 47882
600.87/609.41	c current bound: 47882
601.24/610.04	c current bound: 47882
602.12/610.85	c current bound: 47882
602.50/611.47	c current bound: 47882
603.12/612.09	c current bound: 47882
603.99/612.71	c current bound: 47882
604.37/613.33	c current bound: 47882
605.20/613.95	c current bound: 47882
605.62/614.58	c current bound: 47882
606.25/615.20	c current bound: 47882
607.14/616.15	c current bound: 47882
607.50/616.77	c current bound: 47882
608.12/617.39	c current bound: 47882
608.74/618.01	c current bound: 47882
609.36/618.63	c current bound: 47882
610.20/619.25	c current bound: 47882
610.61/619.87	c current bound: 47882
611.40/620.49	c current bound: 47882
611.84/621.11	c current bound: 47882
612.47/621.72	c current bound: 47882
613.08/622.34	c current bound: 47882
613.70/622.96	c current bound: 47882
614.32/623.58	c current bound: 47882
615.22/624.20	c current bound: 47882
615.81/624.82	c current bound: 47882
616.19/625.45	c current bound: 47882
617.08/626.17	c current bound: 47882
617.45/626.79	c current bound: 47882
618.06/627.41	c current bound: 47882
618.90/628.03	c current bound: 47882
619.30/628.65	c current bound: 47882
620.11/629.27	c current bound: 47882
620.56/629.89	c current bound: 47882
621.17/630.51	c current bound: 47882
622.06/631.30	c current bound: 47882
622.42/631.93	c current bound: 47882
623.26/632.55	c current bound: 47882
623.66/633.17	c current bound: 47882
624.28/633.79	c current bound: 47882
624.92/634.41	c current bound: 47882
625.52/635.03	c current bound: 47882
626.17/635.65	c current bound: 47882
626.79/636.58	c current bound: 47882
627.41/637.20	c current bound: 47882
628.04/637.82	c current bound: 47882
628.65/638.45	c current bound: 47882
629.46/639.07	c current bound: 47882
629.89/639.68	c current bound: 47882
630.76/640.32	c current bound: 47882
631.15/640.93	c current bound: 47882
631.77/641.56	c current bound: 47882
632.38/642.18	c current bound: 47882
633.01/642.79	c current bound: 47882
633.86/643.41	c current bound: 47882
634.24/644.03	c current bound: 47882
635.07/644.65	c current bound: 47882
635.47/645.27	c current bound: 47882
636.10/645.88	c current bound: 47882
636.72/646.57	c current bound: 47882
637.33/647.19	c current bound: 47882
638.21/647.82	c current bound: 47882
638.59/648.45	c current bound: 47882
639.41/649.07	c current bound: 47882
639.82/649.68	c current bound: 47882
640.46/650.30	c current bound: 47882
641.07/650.93	c current bound: 47882
641.97/651.76	c current bound: 47882
642.50/652.38	c current bound: 47882
643.20/653.00	c current bound: 47882
643.56/653.62	c current bound: 47882
644.18/654.25	c current bound: 47882
644.81/654.86	c current bound: 47882
645.42/655.48	c current bound: 47882
646.04/656.10	c current bound: 47882
646.93/656.92	c current bound: 47882
647.29/657.54	c current bound: 47882
647.91/658.16	c current bound: 47882
648.54/658.78	c current bound: 47882
649.42/659.40	c current bound: 47882
650.01/660.02	c current bound: 47882
650.37/660.64	c current bound: 47882
651.20/661.26	c current bound: 47882
651.62/661.88	c current bound: 47882
652.26/662.50	c current bound: 47882
652.86/663.14	c current bound: 47882
653.50/663.76	c current bound: 47882
654.30/664.38	c current bound: 47882
654.75/665.01	c current bound: 47882
655.60/665.63	c current bound: 47882
656.00/666.25	c current bound: 47882
656.88/667.00	c current bound: 47882
657.48/667.62	c current bound: 47882
657.85/668.24	c current bound: 47882
658.68/668.86	c current bound: 47882
659.09/669.48	c current bound: 47882
659.72/670.09	c current bound: 47882
660.34/670.71	c current bound: 47882
660.95/671.33	c current bound: 47882
661.85/672.06	c current bound: 47882
662.19/672.68	c current bound: 47882
663.07/673.30	c current bound: 47882
663.43/673.92	c current bound: 47882
664.05/674.54	c current bound: 47882
664.68/675.16	c current bound: 47882
665.30/675.79	c current bound: 47882
666.20/676.41	c current bound: 47882
666.83/677.37	c current bound: 47882
667.19/677.99	c current bound: 47882
668.07/678.60	c current bound: 47882
668.41/679.22	c current bound: 47882
669.26/679.85	c current bound: 47882
669.67/680.47	c current bound: 47882
670.27/681.08	c current bound: 47882
670.90/681.70	c current bound: 47882
671.52/682.33	c current bound: 47882
672.15/682.96	c current bound: 47882
672.77/683.58	c current bound: 47882
673.55/684.19	c current bound: 47882
674.01/684.81	c current bound: 47882
674.83/685.44	c current bound: 47882
675.25/686.06	c current bound: 47882
675.86/686.68	c current bound: 47882
676.50/687.35	c current bound: 47882
677.12/687.97	c current bound: 47882
677.90/688.59	c current bound: 47882
678.36/689.21	c current bound: 47882
679.19/689.84	c current bound: 47882
679.61/690.46	c current bound: 47882
680.22/691.08	c current bound: 47882
681.11/691.70	c current bound: 47882
681.46/692.35	c current bound: 47882
682.27/692.98	c current bound: 47882
682.72/693.60	c current bound: 47882
683.57/694.22	c current bound: 47882
683.96/694.86	c current bound: 47882
684.60/695.48	c current bound: 47882
685.21/696.09	c current bound: 47882
685.82/696.71	c current bound: 47882
686.73/697.48	c current bound: 47882
687.36/698.10	c current bound: 47882
687.69/698.72	c current bound: 47882
688.32/699.34	c current bound: 47882
688.94/699.95	c current bound: 47882
689.56/700.57	c current bound: 47882
690.18/701.19	c current bound: 47882
691.05/701.81	c current bound: 47882
691.42/702.43	c current bound: 47882
692.23/703.05	c current bound: 47882
692.66/703.67	c current bound: 47882
693.28/704.29	c current bound: 47882
693.90/704.91	c current bound: 47882
694.52/705.53	c current bound: 47882
695.35/706.15	c current bound: 47882
695.75/706.76	c current bound: 47882
696.55/707.38	c current bound: 47882
696.99/708.01	c current bound: 47882
697.63/708.63	c current bound: 47882
698.25/709.25	c current bound: 47882
698.87/709.87	c current bound: 47882
699.48/710.49	c current bound: 47882
700.09/711.11	c current bound: 47882
700.96/711.73	c current bound: 47882
701.35/712.58	c current bound: 47882
701.98/713.21	c current bound: 47882
702.82/713.83	c current bound: 47882
703.22/714.45	c current bound: 47882
704.04/715.07	c current bound: 47882
704.46/715.70	c current bound: 47882
705.11/716.32	c current bound: 47882
705.74/716.94	c current bound: 47882
706.35/717.87	c current bound: 47882
706.97/718.49	c current bound: 47882
707.59/719.11	c current bound: 47882
708.21/719.73	c current bound: 47882
708.84/720.36	c current bound: 47882
709.48/720.98	c current bound: 47882
710.36/721.60	c current bound: 47882
710.71/722.22	c current bound: 47882
711.54/722.84	c current bound: 47882
711.95/723.49	c current bound: 47882
712.61/724.11	c current bound: 47882
713.22/724.73	c current bound: 47882
713.85/725.35	c current bound: 47882
714.65/725.97	c current bound: 47882
715.09/726.59	c current bound: 47882
715.95/727.22	c current bound: 47882
716.34/727.87	c current bound: 47882
716.98/728.49	c current bound: 47882
717.60/729.11	c current bound: 47882
718.22/729.73	c current bound: 47882
719.05/730.35	c current bound: 47882
719.46/730.97	c current bound: 47882
720.25/731.59	c current bound: 47882
720.70/732.21	c current bound: 47882
721.33/732.84	c current bound: 47882
721.95/733.46	c current bound: 47882
722.57/734.08	c current bound: 47882
723.46/734.71	c current bound: 47882
723.82/735.33	c current bound: 47882
724.65/735.96	c current bound: 47882
725.07/736.58	c current bound: 47882
725.96/737.20	c current bound: 47882
726.31/737.82	c current bound: 47882
726.93/738.44	c current bound: 47882
727.55/739.06	c current bound: 47882
728.17/739.68	c current bound: 47882
728.95/740.30	c current bound: 47882
729.41/740.92	c current bound: 47882
730.27/741.54	c current bound: 47882
730.66/742.16	c current bound: 47882
731.55/742.94	c current bound: 47882
732.11/743.56	c current bound: 47882
732.53/744.19	c current bound: 47882
733.40/744.81	c current bound: 47882
733.80/745.43	c current bound: 47882
734.41/746.05	c current bound: 47882
735.03/746.67	c current bound: 47882
735.65/747.29	c current bound: 47882
736.52/747.93	c current bound: 47882
736.89/748.55	c current bound: 47882
737.69/749.18	c current bound: 47882
738.41/749.80	c current bound: 47882
738.76/750.41	c current bound: 47882
739.38/751.03	c current bound: 47882
740.01/751.66	c current bound: 47882
740.63/752.28	c current bound: 47882
741.52/752.90	c current bound: 47882
742.12/753.61	c current bound: 47882
742.50/754.24	c current bound: 47882
743.12/754.86	c current bound: 47882
743.75/755.48	c current bound: 47882
744.37/756.11	c current bound: 47882
745.22/756.73	c current bound: 47882
745.62/757.35	c current bound: 47882
746.52/758.16	c current bound: 47882
746.87/758.78	c current bound: 47882
747.48/759.39	c current bound: 47882
748.35/760.01	c current bound: 47882
748.73/760.63	c current bound: 47882
749.56/761.25	c current bound: 47882
749.97/761.87	c current bound: 47882
750.58/762.49	c current bound: 47882
751.47/763.42	c current bound: 47882
751.82/764.03	c current bound: 47882
752.63/764.65	c current bound: 47882
753.07/765.28	c current bound: 47882
753.69/765.90	c current bound: 47882
754.30/766.52	c current bound: 47882
754.93/767.14	c current bound: 47882
755.74/767.77	c current bound: 47882
756.45/768.42	c current bound: 47882
757.00/769.05	c current bound: 47882
757.43/769.67	c current bound: 47882
758.05/770.29	c current bound: 47882
758.66/770.91	c current bound: 47882
759.29/771.54	c current bound: 47882
760.12/772.15	c current bound: 47882
760.53/772.77	c current bound: 47882
761.42/773.40	c current bound: 47882
761.77/774.02	c current bound: 47882
762.40/774.64	c current bound: 47882
763.00/775.26	c current bound: 47882
763.62/775.88	c current bound: 47882
764.24/776.49	c current bound: 47882
764.86/777.11	c current bound: 47882
765.70/777.73	c current bound: 47882
766.10/778.36	c current bound: 47882
766.72/778.98	c current bound: 47882
767.60/779.60	c current bound: 47882
767.97/780.23	c current bound: 47882
768.59/780.85	c current bound: 47882
769.21/781.47	c current bound: 47882
770.01/782.09	c current bound: 47882
770.45/782.71	c current bound: 47882
771.32/783.57	c current bound: 47882
771.70/784.20	c current bound: 47882
772.32/784.82	c current bound: 47882
773.16/785.44	c current bound: 47882
773.57/786.06	c current bound: 47882
774.18/786.68	c current bound: 47882
775.08/787.30	c current bound: 47882
775.42/787.92	c current bound: 47882
776.30/788.72	c current bound: 47882
776.67/789.34	c current bound: 47882
777.48/789.96	c current bound: 47882
777.93/790.58	c current bound: 47882
778.54/791.20	c current bound: 47882
779.16/791.82	c current bound: 47882
779.79/792.44	c current bound: 47882
780.61/793.07	c current bound: 47882
781.02/793.82	c current bound: 47882
781.65/794.44	c current bound: 47882
782.27/795.06	c current bound: 47882
782.90/795.68	c current bound: 47882
783.79/796.31	c current bound: 47882
784.15/796.93	c current bound: 47882
784.98/797.55	c current bound: 47882
785.41/798.17	c current bound: 47882
786.29/799.00	c current bound: 47882
786.88/799.64	c current bound: 47882
787.28/800.28	c current bound: 47882
788.17/800.90	c current bound: 47882
788.53/801.52	c current bound: 47882
789.15/802.15	c current bound: 47882
789.77/802.78	c current bound: 47882
790.68/803.40	c current bound: 47882
791.28/804.12	c current bound: 47882
791.65/804.75	c current bound: 47882
792.28/805.38	c current bound: 47882
792.92/806.00	c current bound: 47882
793.54/806.62	c current bound: 47882
794.15/807.24	c current bound: 47882
794.78/807.87	c current bound: 47882
795.57/808.49	c current bound: 47882
796.03/809.26	c current bound: 47882
796.66/809.88	c current bound: 47882
797.28/810.50	c current bound: 47882
797.91/811.13	c current bound: 47882
798.74/811.75	c current bound: 47882
799.15/812.37	c current bound: 47882
800.04/813.00	c current bound: 47882
800.41/813.62	c current bound: 47882
801.03/814.62	c current bound: 47882
801.85/815.24	c current bound: 47882
802.28/815.86	c current bound: 47882
802.89/816.48	c current bound: 47882
803.52/817.09	c current bound: 47882
804.13/817.71	c current bound: 47882
804.98/818.33	c current bound: 47882
805.37/818.95	c current bound: 47882
806.18/819.57	c current bound: 47882
806.61/820.19	c current bound: 47882
807.23/820.81	c current bound: 47882
807.85/821.43	c current bound: 47882
808.48/822.05	c current bound: 47882
809.09/822.67	c current bound: 47882
809.71/823.29	c current bound: 47882
810.60/823.91	c current bound: 47882
810.96/824.56	c current bound: 47882
811.59/825.18	c current bound: 47882
812.48/825.80	c current bound: 47882
812.84/826.42	c current bound: 47882
813.45/827.04	c current bound: 47882
814.08/827.66	c current bound: 47882
814.88/828.28	c current bound: 47882
815.31/828.91	c current bound: 47882
816.16/829.53	c current bound: 47882
816.57/830.15	c current bound: 47882
817.19/830.77	c current bound: 47882
817.81/831.39	c current bound: 47882
818.43/832.01	c current bound: 47882
819.27/832.64	c current bound: 47882
819.69/833.26	c current bound: 47882
820.48/833.88	c current bound: 47882
820.93/834.69	c current bound: 47882
821.55/835.31	c current bound: 47882
822.39/835.93	c current bound: 47882
822.79/836.55	c current bound: 47882
823.61/837.17	c current bound: 47882
824.04/837.79	c current bound: 47882
824.66/838.42	c current bound: 47882
825.28/839.04	c current bound: 47882
826.18/839.90	c current bound: 47882
826.76/840.52	c current bound: 47882
827.15/841.14	c current bound: 47882
827.77/841.76	c current bound: 47882
828.67/842.40	c current bound: 47882
829.03/843.02	c current bound: 47882
829.88/843.64	c current bound: 47882
830.28/844.26	c current bound: 47882
831.15/844.92	c current bound: 47882
831.52/845.54	c current bound: 47882
832.14/846.16	c current bound: 47882
832.77/846.78	c current bound: 47882
833.65/847.40	c current bound: 47882
834.25/848.02	c current bound: 47882
834.63/848.64	c current bound: 47882
835.44/849.26	c current bound: 47882
836.14/850.23	c current bound: 47882
836.52/850.85	c current bound: 47882
837.33/851.47	c current bound: 47882
838.04/852.10	c current bound: 47882
838.39/852.71	c current bound: 47882
838.99/853.34	c current bound: 47882
839.63/853.96	c current bound: 47882
840.24/854.57	c current bound: 47882
841.13/855.23	c current bound: 47882
841.71/855.85	c current bound: 47882
842.11/856.47	c current bound: 47882
842.72/857.08	c current bound: 47882
843.60/857.70	c current bound: 47882
843.96/858.32	c current bound: 47882
844.57/858.94	c current bound: 47882
845.19/859.55	c current bound: 47882
846.01/860.17	c current bound: 47882
846.43/860.79	c current bound: 47882
847.29/861.41	c current bound: 47882
847.68/862.03	c current bound: 47882
848.31/862.66	c current bound: 47882
848.92/863.28	c current bound: 47882
849.82/863.90	c current bound: 47882
850.41/864.53	c current bound: 47882
850.79/865.38	c current bound: 47882
851.71/866.00	c current bound: 47882
852.07/866.61	c current bound: 47882
852.67/867.23	c current bound: 47882
853.50/867.85	c current bound: 47882
853.92/868.47	c current bound: 47882
854.71/869.09	c current bound: 47882
855.16/869.71	c current bound: 47882
855.77/870.45	c current bound: 47882
856.39/871.07	c current bound: 47882
857.01/871.70	c current bound: 47882
857.88/872.32	c current bound: 47882
858.26/872.94	c current bound: 47882
858.88/873.56	c current bound: 47882
859.50/874.18	c current bound: 47882
860.12/874.80	c current bound: 47882
860.99/875.62	c current bound: 47882
861.36/876.24	c current bound: 47882
862.18/876.86	c current bound: 47882
862.60/877.48	c current bound: 47882
863.23/878.09	c current bound: 47882
863.84/878.71	c current bound: 47882
864.45/879.33	c current bound: 47882
865.28/879.94	c current bound: 47882
865.95/880.64	c current bound: 47882
866.50/881.26	c current bound: 47882
866.92/881.88	c current bound: 47882
867.55/882.50	c current bound: 47882
868.16/883.12	c current bound: 47882
868.79/883.74	c current bound: 47882
869.61/884.36	c current bound: 47882
870.03/884.98	c current bound: 47882
870.92/885.66	c current bound: 47882
871.26/886.28	c current bound: 47882
872.15/886.90	c current bound: 47882
872.50/887.52	c current bound: 47882
873.12/888.14	c current bound: 47882
873.95/888.75	c current bound: 47882
874.36/889.37	c current bound: 47882
875.16/889.99	c current bound: 47882
875.61/890.87	c current bound: 47882
876.22/891.49	c current bound: 47882
877.10/892.11	c current bound: 47882
877.47/892.73	c current bound: 47882
878.30/893.35	c current bound: 47882
878.72/893.97	c current bound: 47882
879.35/894.59	c current bound: 47882
879.97/895.22	c current bound: 47882
880.86/896.05	c current bound: 47882
881.21/896.67	c current bound: 47882
881.83/897.29	c current bound: 47882
882.46/897.91	c current bound: 47882
883.08/898.53	c current bound: 47882
883.68/899.15	c current bound: 47882
884.51/899.77	c current bound: 47882
884.93/900.38	c current bound: 47882
885.81/901.06	c current bound: 47882
886.17/901.68	c current bound: 47882
887.04/902.30	c current bound: 47882
887.40/902.92	c current bound: 47882
888.04/903.53	c current bound: 47882
888.85/904.15	c current bound: 47882
889.27/904.77	c current bound: 47882
890.06/905.39	c current bound: 47882
890.51/906.04	c current bound: 47882
891.13/906.66	c current bound: 47882
891.75/907.28	c current bound: 47882
892.37/907.90	c current bound: 47882
893.23/908.52	c current bound: 47882
893.61/909.14	c current bound: 47882
894.43/909.76	c current bound: 47882
894.85/910.38	c current bound: 47882
895.73/911.34	c current bound: 47882
896.29/911.96	c current bound: 47882
896.73/912.58	c current bound: 47882
897.60/913.20	c current bound: 47882
897.96/913.82	c current bound: 47882
898.56/914.44	c current bound: 47882
899.20/915.06	c current bound: 47882
899.80/915.68	c current bound: 47882
900.69/916.41	c current bound: 47882
901.05/917.03	c current bound: 47882
901.66/917.64	c current bound: 47882
902.28/918.27	c current bound: 47882
902.90/918.88	c current bound: 47882
903.53/919.51	c current bound: 47882
904.15/920.13	c current bound: 47882
904.98/920.74	c current bound: 47882
905.39/921.36	c current bound: 47882
906.30/922.00	c current bound: 47882
906.65/922.61	c current bound: 47882
907.27/923.23	c current bound: 47882
907.88/923.85	c current bound: 47882
908.51/924.47	c current bound: 47882
909.30/925.09	c current bound: 47882
909.76/925.71	c current bound: 47882
910.65/926.40	c current bound: 47882
911.00/927.02	c current bound: 47882
911.63/927.64	c current bound: 47882
912.25/928.26	c current bound: 47882
912.86/928.88	c current bound: 47882
913.75/929.50	c current bound: 47882
914.11/930.12	c current bound: 47882
914.92/930.74	c current bound: 47882
915.61/931.49	c current bound: 47882
915.96/932.10	c current bound: 47882
916.82/932.72	c current bound: 47882
917.20/933.34	c current bound: 47882
918.00/933.96	c current bound: 47882
918.43/934.58	c current bound: 47882
919.05/935.21	c current bound: 47882
919.68/935.83	c current bound: 47882
920.56/936.50	c current bound: 47882
921.15/937.11	c current bound: 47882
921.52/937.73	c current bound: 47882
922.35/938.35	c current bound: 47882
922.76/938.97	c current bound: 47882
923.39/939.59	c current bound: 47882
924.00/940.27	c current bound: 47882
924.63/940.89	c current bound: 47882
925.49/941.51	c current bound: 47882
925.86/942.13	c current bound: 47882
926.70/942.75	c current bound: 47882
927.11/943.38	c current bound: 47882
927.74/943.99	c current bound: 47882
928.35/944.61	c current bound: 47882
928.98/945.23	c current bound: 47882
929.59/945.84	c current bound: 47882
930.22/946.46	c current bound: 47882
931.01/947.08	c current bound: 47882
931.46/947.71	c current bound: 47882
932.29/948.33	c current bound: 47882
932.71/948.95	c current bound: 47882
933.31/949.58	c current bound: 47882
934.21/950.20	c current bound: 47882
934.58/950.82	c current bound: 47882
935.42/951.67	c current bound: 47882
935.80/952.29	c current bound: 47882
936.42/952.92	c current bound: 47882
937.06/953.54	c current bound: 47882
937.67/954.16	c current bound: 47882
938.48/954.78	c current bound: 47882
938.92/955.40	c current bound: 47882
939.76/956.03	c current bound: 47882
940.43/956.94	c current bound: 47882
940.79/957.56	c current bound: 47882
941.58/958.18	c current bound: 47882
942.01/958.80	c current bound: 47882
942.64/959.42	c current bound: 47882
943.27/960.04	c current bound: 47882
943.88/960.66	c current bound: 47882
944.51/961.28	c current bound: 47882
945.12/961.89	c current bound: 47882
945.99/962.52	c current bound: 47882
946.36/963.14	c current bound: 47882
947.17/963.76	c current bound: 47882
947.62/964.38	c current bound: 47882
948.23/965.00	c current bound: 47882
948.86/965.62	c current bound: 47882
949.48/966.24	c current bound: 47882
950.38/967.07	c current bound: 47882
950.73/967.70	c current bound: 47882
951.36/968.32	c current bound: 47882
951.99/968.95	c current bound: 47882
952.61/969.57	c current bound: 47882
953.40/970.19	c current bound: 47882
953.84/970.80	c current bound: 47882
954.70/971.42	c current bound: 47882
955.08/972.04	c current bound: 47882
955.69/972.66	c current bound: 47882
956.32/973.28	c current bound: 47882
956.93/973.89	c current bound: 47882
957.80/974.51	c current bound: 47882
958.44/975.32	c current bound: 47882
958.79/975.94	c current bound: 47882
959.42/976.56	c current bound: 47882
960.04/977.19	c current bound: 47882
960.91/977.81	c current bound: 47882
961.29/978.44	c current bound: 47882
962.11/979.06	c current bound: 47882
962.53/979.68	c current bound: 47882
963.15/980.30	c current bound: 47882
963.78/980.92	c current bound: 47882
964.40/981.54	c current bound: 47882
965.02/982.18	c current bound: 47882
965.90/982.80	c current bound: 47882
966.50/983.42	c current bound: 47882
966.88/984.04	c current bound: 47882
967.70/984.66	c current bound: 47882
968.12/985.28	c current bound: 47882
968.74/985.90	c current bound: 47882
969.37/986.52	c current bound: 47882
969.99/987.21	c current bound: 47882
970.85/987.84	c current bound: 47882
971.25/988.46	c current bound: 47882
971.86/989.08	c current bound: 47882
972.76/989.70	c current bound: 47882
973.11/990.32	c current bound: 47882
973.73/990.94	c current bound: 47882
974.35/991.56	c current bound: 47882
975.23/992.59	c current bound: 47882
975.83/993.21	c current bound: 47882
976.21/993.84	c current bound: 47882
977.03/994.45	c current bound: 47882
977.45/995.07	c current bound: 47882
978.07/995.69	c current bound: 47882
978.70/996.31	c current bound: 47882
979.32/996.93	c current bound: 47882
979.94/997.55	c current bound: 47882
980.57/998.17	c current bound: 47882
981.35/998.79	c current bound: 47882
981.82/999.41	c current bound: 47882
982.63/1000.03	c current bound: 47882
983.05/1000.65	c current bound: 47882
983.66/1001.27	c current bound: 47882
984.56/1001.90	c current bound: 47882
984.91/1002.55	c current bound: 47882
985.72/1003.17	c current bound: 47882
986.15/1003.79	c current bound: 47882
987.01/1004.41	c current bound: 47882
987.40/1005.04	c current bound: 47882
988.02/1005.66	c current bound: 47882
988.64/1006.28	c current bound: 47882
989.27/1006.89	c current bound: 47882
990.13/1007.55	c current bound: 47882
990.51/1008.18	c current bound: 47882
991.38/1008.81	c current bound: 47882
991.77/1009.43	c current bound: 47882
992.39/1010.05	c current bound: 47882
993.00/1010.67	c current bound: 47882
993.64/1011.29	c current bound: 47882
994.50/1011.91	c current bound: 47882
994.87/1012.53	c current bound: 47882
995.69/1013.16	c current bound: 47882
996.11/1013.79	c current bound: 47882
996.75/1014.41	c current bound: 47882
997.37/1015.03	c current bound: 47882
997.99/1015.65	c current bound: 47882
998.60/1016.27	c current bound: 47882
999.23/1016.89	c current bound: 47882
1000.13/1017.67	c current bound: 47882
1000.47/1018.28	c current bound: 47882
1001.09/1018.90	c current bound: 47882
1001.70/1019.52	c current bound: 47882
1002.32/1020.14	c current bound: 47882
1003.15/1020.76	c current bound: 47882
1003.56/1021.38	c current bound: 47882
1004.34/1022.00	c current bound: 47882
1004.79/1022.61	c current bound: 47882
1005.41/1023.23	c current bound: 47882
1006.04/1023.85	c current bound: 47882
1006.65/1024.46	c current bound: 47882
1007.28/1025.08	c current bound: 47882
1008.15/1025.70	c current bound: 47882
1008.76/1026.32	c current bound: 47882
1009.13/1026.93	c current bound: 47882
1009.99/1027.82	c current bound: 47882
1010.58/1028.44	c current bound: 47882
1010.98/1029.06	c current bound: 47882
1011.79/1029.68	c current bound: 47882
1012.48/1030.30	c current bound: 47882
1012.84/1030.92	c current bound: 47882
1013.47/1031.54	c current bound: 47882
1014.09/1032.15	c current bound: 47882
1014.72/1032.77	c current bound: 47882
1015.33/1033.40	c current bound: 47882
1016.20/1034.02	c current bound: 47882
1016.58/1034.64	c current bound: 47882
1017.39/1035.26	c current bound: 47882
1017.81/1035.88	c current bound: 47882
1018.71/1036.50	c current bound: 47882
1019.07/1037.12	c current bound: 47882
1019.68/1037.76	c current bound: 47882
1020.49/1038.38	c current bound: 47882
1021.19/1039.00	c current bound: 47882
1021.78/1039.62	c current bound: 47882
1022.17/1040.24	c current bound: 47882
1022.79/1040.86	c current bound: 47882
1023.40/1041.48	c current bound: 47882
1024.03/1042.09	c current bound: 47882
1024.88/1042.71	c current bound: 47882
1025.25/1043.34	c current bound: 47882
1026.08/1043.96	c current bound: 47882
1026.50/1044.59	c current bound: 47882
1027.13/1045.20	c current bound: 47882
1027.75/1045.82	c current bound: 47882
1028.37/1046.44	c current bound: 47882
1028.98/1047.06	c current bound: 47882
1029.90/1047.90	c current bound: 47882
1030.24/1048.52	c current bound: 47882
1030.86/1049.14	c current bound: 47882
1031.49/1049.76	c current bound: 47882
1032.10/1050.38	c current bound: 47882
1032.99/1051.00	c current bound: 47882
1033.57/1051.62	c current bound: 47882
1033.96/1052.24	c current bound: 47882
1034.77/1052.86	c current bound: 47882
1035.19/1053.48	c current bound: 47882
1036.09/1054.10	c current bound: 47882
1036.44/1054.72	c current bound: 47882
1037.07/1055.34	c current bound: 47882
1037.87/1055.96	c current bound: 47882
1038.32/1056.58	c current bound: 47882
1039.19/1057.21	c current bound: 47882
1039.82/1058.06	c current bound: 47882
1040.18/1058.68	c current bound: 47882
1040.95/1059.30	c current bound: 47882
1041.41/1059.92	c current bound: 47882
1042.25/1060.54	c current bound: 47882
1042.66/1061.16	c current bound: 47882
1043.27/1061.78	c current bound: 47882
1043.89/1062.39	c current bound: 47882
1044.78/1063.20	c current bound: 47882
1045.36/1063.81	c current bound: 47882
1045.75/1064.43	c current bound: 47882
1046.37/1065.05	c current bound: 47882
1046.98/1065.67	c current bound: 47882
1047.60/1066.29	c current bound: 47882
1048.47/1066.91	c current bound: 47882
1048.84/1067.53	c current bound: 47882
1049.67/1068.16	c current bound: 47882
1050.10/1068.78	c current bound: 47882
1050.73/1069.40	c current bound: 47882
1051.36/1070.02	c current bound: 47882
1051.97/1070.64	c current bound: 47882
1052.60/1071.27	c current bound: 47882
1053.23/1071.89	c current bound: 47882
1054.11/1072.51	c current bound: 47882
1054.73/1073.36	c current bound: 47882
1055.09/1073.97	c current bound: 47882
1055.71/1074.59	c current bound: 47882
1056.33/1075.21	c current bound: 47882
1057.16/1075.83	c current bound: 47882
1057.57/1076.45	c current bound: 47882
1058.18/1077.07	c current bound: 47882
1058.81/1077.69	c current bound: 47882
1059.42/1078.31	c current bound: 47882
1060.03/1078.93	c current bound: 47882
1060.67/1079.55	c current bound: 47882
1061.56/1080.34	c current bound: 47882
1061.92/1080.96	c current bound: 47882
1062.52/1081.58	c current bound: 47882
1063.16/1082.20	c current bound: 47882
1063.78/1082.82	c current bound: 47882
1064.61/1083.44	c current bound: 47882
1065.01/1084.06	c current bound: 47882
1065.83/1084.68	c current bound: 47882
1066.51/1085.30	c current bound: 47882
1066.88/1085.92	c current bound: 47882
1067.49/1086.53	c current bound: 47882
1068.11/1087.15	c current bound: 47882
1068.73/1087.77	c current bound: 47882
1069.36/1088.39	c current bound: 47882
1070.24/1089.01	c current bound: 47882
1070.60/1089.63	c current bound: 47882
1071.43/1090.25	c current bound: 47882
1071.84/1090.87	c current bound: 47882
1072.48/1091.49	c current bound: 47882
1073.09/1092.11	c current bound: 47882
1073.71/1092.73	c current bound: 47882
1074.55/1093.35	c current bound: 47882
1074.96/1093.97	c current bound: 47882
1075.74/1094.60	c current bound: 47882
1076.21/1095.22	c current bound: 47882
1076.83/1095.84	c current bound: 47882
1077.45/1096.46	c current bound: 47882
1078.07/1097.08	c current bound: 47882
1078.70/1097.70	c current bound: 47882
1079.32/1098.48	c current bound: 47882
1079.93/1099.10	c current bound: 47882
1080.56/1099.72	c current bound: 47882
1081.18/1100.34	c current bound: 47882
1081.78/1100.96	c current bound: 47882
1082.42/1101.57	c current bound: 47882
1083.20/1102.19	c current bound: 47882
1083.64/1102.81	c current bound: 47882
1084.52/1103.58	c current bound: 47882
1084.88/1104.19	c current bound: 47882
1085.51/1104.81	c current bound: 47882
1086.34/1105.43	c current bound: 47882
1086.73/1106.05	c current bound: 47882
1087.55/1106.67	c current bound: 47882
1087.99/1107.29	c current bound: 47882
1088.61/1107.91	c current bound: 47882
1089.49/1108.63	c current bound: 47882
1089.84/1109.25	c current bound: 47882
1090.66/1109.86	c current bound: 47882
1091.08/1110.48	c current bound: 47882
1091.97/1111.10	c current bound: 47882
1092.32/1111.72	c current bound: 47882
1092.94/1112.34	c current bound: 47882
1093.56/1112.96	c current bound: 47882
1094.19/1113.58	c current bound: 47882
1095.07/1114.20	c current bound: 47882
1095.43/1114.83	c current bound: 47882
1096.27/1115.46	c current bound: 47882
1096.69/1116.08	c current bound: 47882
1097.58/1116.70	c current bound: 47882
1097.94/1117.32	c current bound: 47882
1098.56/1117.94	c current bound: 47882
1099.42/1118.64	c current bound: 47882
1099.80/1119.26	c current bound: 47882
1100.61/1119.88	c current bound: 47882
1101.05/1120.50	c current bound: 47882
1101.68/1121.13	c current bound: 47882
1102.31/1121.76	c current bound: 47882
1102.93/1122.38	c current bound: 47882
1103.82/1123.00	c current bound: 47882
1104.44/1123.86	c current bound: 47882
1104.80/1124.48	c current bound: 47882
1105.43/1125.09	c current bound: 47882
1106.03/1125.71	c current bound: 47882
1106.89/1126.33	c current bound: 47882
1107.27/1126.95	c current bound: 47882
1108.08/1127.57	c current bound: 47882
1108.52/1128.19	c current bound: 47882
1109.13/1128.86	c current bound: 47882
1109.75/1129.48	c current bound: 47882
1110.37/1130.09	c current bound: 47882
1111.24/1130.71	c current bound: 47882
1111.62/1131.33	c current bound: 47882
1112.43/1131.96	c current bound: 47882
1112.86/1132.58	c current bound: 47882
1113.47/1133.20	c current bound: 47882
1114.10/1133.91	c current bound: 47882
1114.72/1134.53	c current bound: 47882
1115.55/1135.15	c current bound: 47882
1115.96/1135.77	c current bound: 47882
1116.75/1136.39	c current bound: 47882
1117.19/1137.01	c current bound: 47882
1117.82/1137.63	c current bound: 47882
1118.43/1138.24	c current bound: 47882
1119.34/1138.94	c current bound: 47882
1119.88/1139.56	c current bound: 47882
1120.30/1140.18	c current bound: 47882
1121.18/1140.80	c current bound: 47882
1121.55/1141.42	c current bound: 47882
1122.16/1142.04	c current bound: 47882
1122.78/1142.66	c current bound: 47882
1123.40/1143.27	c current bound: 47882
1124.03/1143.90	c current bound: 47882
1124.65/1144.52	c current bound: 47882
1125.49/1145.13	c current bound: 47882
1125.89/1145.75	c current bound: 47882
1126.51/1146.37	c current bound: 47882
1127.14/1146.99	c current bound: 47882
1127.75/1147.61	c current bound: 47882
1128.38/1148.23	c current bound: 47882
1128.99/1148.85	c current bound: 47882
1129.79/1149.47	c current bound: 47882
1130.50/1150.13	c current bound: 47882
1131.05/1150.75	c current bound: 47882
1131.48/1151.37	c current bound: 47882
1132.11/1151.99	c current bound: 47882
1132.74/1152.61	c current bound: 47882
1133.35/1153.24	c current bound: 47882
1134.18/1153.86	c current bound: 47882
1134.61/1154.49	c current bound: 47882
1135.48/1155.11	c current bound: 47882
1135.84/1155.73	c current bound: 47882
1136.47/1156.35	c current bound: 47882
1137.08/1156.96	c current bound: 47882
1137.70/1157.58	c current bound: 47882
1138.59/1158.20	c current bound: 47882
1138.94/1159.03	c current bound: 47882
1139.56/1159.65	c current bound: 47882
1140.19/1160.29	c current bound: 47882
1140.83/1160.91	c current bound: 47882
1141.67/1161.54	c current bound: 47882
1142.08/1162.16	c current bound: 47882
1142.88/1162.78	c current bound: 47882
1143.32/1163.39	c current bound: 47882
1143.95/1164.01	c current bound: 47882
1144.55/1164.63	c current bound: 47882
1145.19/1165.25	c current bound: 47882
1145.80/1165.87	c current bound: 47882
1146.42/1166.49	c current bound: 47882
1147.30/1167.12	c current bound: 47882
1147.68/1167.74	c current bound: 47882
1148.49/1168.36	c current bound: 47882
1148.93/1169.11	c current bound: 47882
1149.55/1169.73	c current bound: 47882
1150.38/1170.35	c current bound: 47882
1150.79/1170.97	c current bound: 47882
1151.58/1171.59	c current bound: 47882
1152.04/1172.22	c current bound: 47882
1152.67/1172.84	c current bound: 47882
1153.29/1173.46	c current bound: 47882
1153.92/1174.23	c current bound: 47882
1154.75/1174.85	c current bound: 47882
1155.17/1175.47	c current bound: 47882
1156.06/1176.10	c current bound: 47882
1156.41/1176.72	c current bound: 47882
1157.04/1177.34	c current bound: 47882
1157.67/1177.96	c current bound: 47882
1158.28/1178.58	c current bound: 47882
1159.16/1179.39	c current bound: 47882
1159.53/1180.01	c current bound: 47882
1160.14/1180.63	c current bound: 47882
1160.75/1181.25	c current bound: 47882
1161.39/1181.87	c current bound: 47882
1162.19/1182.49	c current bound: 47882
1162.63/1183.11	c current bound: 47882
1163.47/1183.73	c current bound: 47882
1164.15/1184.53	c current bound: 47882
1164.50/1185.15	c current bound: 47882
1165.30/1185.77	c current bound: 47882
1165.75/1186.40	c current bound: 47882
1166.60/1187.02	c current bound: 47882
1166.98/1187.64	c current bound: 47882
1167.62/1188.26	c current bound: 47882
1168.22/1188.88	c current bound: 47882
1168.86/1189.67	c current bound: 47882
1169.65/1190.29	c current bound: 47882
1170.10/1190.91	c current bound: 47882
1170.72/1191.54	c current bound: 47882
1171.34/1192.16	c current bound: 47882
1171.98/1192.78	c current bound: 47882
1172.60/1193.40	c current bound: 47882
1173.22/1194.02	c current bound: 47882
1174.12/1195.03	c current bound: 47882
1174.68/1195.65	c current bound: 47882
1175.10/1196.26	c current bound: 47882
1175.88/1196.88	c current bound: 47882
1176.34/1197.50	c current bound: 47882
1176.95/1198.13	c current bound: 47882
1177.59/1198.75	c current bound: 47882
1178.19/1199.38	c current bound: 47882
1178.84/1200.00	c current bound: 47882
1179.46/1200.63	c current bound: 47882
1180.30/1201.26	c current bound: 47882
1180.72/1201.89	c current bound: 47882
1181.34/1202.51	c current bound: 47882
1181.98/1203.13	c current bound: 47882
1182.59/1203.76	c current bound: 47882
1183.23/1204.38	c current bound: 47882
1184.10/1205.00	c current bound: 47882
1184.70/1205.62	c current bound: 47882
1185.09/1206.24	c current bound: 47882
1185.91/1206.86	c current bound: 47882
1186.33/1207.48	c current bound: 47882
1186.95/1208.10	c current bound: 47882
1187.57/1208.72	c current bound: 47882
1188.20/1209.34	c current bound: 47882
1189.08/1210.01	c current bound: 47882
1189.43/1210.65	c current bound: 47882
1190.07/1211.27	c current bound: 47882
1190.69/1211.88	c current bound: 47882
1191.30/1212.50	c current bound: 47882
1191.91/1213.13	c current bound: 47882
1192.55/1213.75	c current bound: 47882
1193.35/1214.37	c current bound: 47882
1194.05/1215.00	c current bound: 47882
1194.63/1215.62	c current bound: 47882
1195.03/1216.24	c current bound: 47882
1195.65/1216.86	c current bound: 47882
1196.28/1217.49	c current bound: 47882
1196.91/1218.11	c current bound: 47882
1197.75/1218.73	c current bound: 47882
1198.16/1219.35	c current bound: 47882
1198.95/1219.97	c current bound: 47882
1199.39/1220.59	c current bound: 47882
1200.03/1221.21	c current bound: 47882
1200.63/1221.83	c current bound: 47882
1201.27/1222.46	c current bound: 47882
1201.88/1223.08	c current bound: 47882
1202.78/1223.70	c current bound: 47882
1203.37/1224.32	c current bound: 47882
1204.02/1225.15	c current bound: 47882
1204.37/1225.77	c current bound: 47882
1204.99/1226.38	c current bound: 47882
1205.60/1227.00	c current bound: 47882
1206.46/1227.62	c current bound: 47882
1206.85/1228.24	c current bound: 47882
1207.67/1228.86	c current bound: 47882
1208.09/1229.48	c current bound: 47882
1208.71/1230.09	c current bound: 47882
1209.34/1230.71	c current bound: 47882
1209.95/1231.33	c current bound: 47882
1210.77/1231.95	c current bound: 47882
1211.20/1232.57	c current bound: 47882
1211.98/1233.19	c current bound: 47882
1212.43/1233.81	c current bound: 47882
1213.06/1234.42	c current bound: 47882
1213.94/1235.43	c current bound: 47882
1214.29/1236.05	c current bound: 47882
1214.91/1236.67	c current bound: 47882
1215.54/1237.29	c current bound: 47882
1216.16/1237.91	c current bound: 47882
1216.99/1238.53	c current bound: 47882
1217.40/1239.14	c current bound: 47882
1218.20/1239.77	c current bound: 47882
1218.90/1240.44	c current bound: 47882
1219.25/1241.06	c current bound: 47882
1219.88/1241.69	c current bound: 47882
1220.49/1242.31	c current bound: 47882
1221.35/1242.94	c current bound: 47882
1221.75/1243.57	c current bound: 47882
1222.54/1244.19	c current bound: 47882
1222.99/1244.81	c current bound: 47882
1223.61/1245.43	c current bound: 47882
1224.24/1246.05	c current bound: 47882
1224.86/1246.67	c current bound: 47882
1225.49/1247.29	c current bound: 47882
1226.10/1247.91	c current bound: 47882
1226.95/1248.54	c current bound: 47882
1227.34/1249.16	c current bound: 47882
1227.95/1249.77	c current bound: 47882
1228.85/1250.44	c current bound: 47882
1229.20/1251.06	c current bound: 47882
1229.84/1251.68	c current bound: 47882
1230.71/1252.30	c current bound: 47882
1231.30/1252.92	c current bound: 47882
1231.70/1253.54	c current bound: 47882
1232.51/1254.16	c current bound: 47882
1232.94/1254.79	c current bound: 47882
1233.57/1255.41	c current bound: 47882
1234.20/1256.04	c current bound: 47882
1234.82/1256.66	c current bound: 47882
1235.63/1257.28	c current bound: 47882
1236.34/1257.90	c current bound: 47882
1236.92/1258.52	c current bound: 47882
1237.31/1259.14	c current bound: 47882
1237.94/1259.76	c current bound: 47882
1238.80/1260.57	c current bound: 47882
1239.16/1261.19	c current bound: 47882
1240.03/1261.81	c current bound: 47882
1240.39/1262.43	c current bound: 47882
1241.03/1263.05	c current bound: 47882
1241.64/1263.66	c current bound: 47882
1242.25/1264.28	c current bound: 47882
1242.89/1264.90	c current bound: 47882
1243.49/1265.77	c current bound: 47882
1244.12/1266.39	c current bound: 47882
1244.74/1267.01	c current bound: 47882
1245.36/1267.63	c current bound: 47882
1246.19/1268.26	c current bound: 47882
1246.62/1268.88	c current bound: 47882
1247.51/1269.50	c current bound: 47882
1247.87/1270.12	c current bound: 47882
1248.51/1270.75	c current bound: 47882
1249.12/1271.37	c current bound: 47882
1249.75/1271.99	c current bound: 47882
1250.61/1272.61	c current bound: 47882
1250.98/1273.24	c current bound: 47882
1251.81/1273.86	c current bound: 47882
1252.24/1274.48	c current bound: 47882
1252.86/1275.11	c current bound: 47882
1253.49/1275.73	c current bound: 47882
1254.11/1276.35	c current bound: 47882
1254.73/1276.97	c current bound: 47882
1255.37/1277.59	c current bound: 47882
1256.23/1278.21	c current bound: 47882
1256.60/1278.84	c current bound: 47882
1257.43/1279.46	c current bound: 47882
1257.86/1280.08	c current bound: 47882
1258.48/1280.70	c current bound: 47882
1259.11/1281.32	c current bound: 47882
1259.72/1281.94	c current bound: 47882
1260.55/1282.56	c current bound: 47882
1260.96/1283.19	c current bound: 47882
1261.82/1283.81	c current bound: 47882
1262.22/1284.43	c current bound: 47882
1262.83/1285.05	c current bound: 47882
1263.71/1285.88	c current bound: 47882
1264.08/1286.49	c current bound: 47882
1264.93/1287.11	c current bound: 47882
1265.32/1287.73	c current bound: 47882
1265.93/1288.35	c current bound: 47882
1266.56/1288.97	c current bound: 47882
1267.44/1289.60	c current bound: 47882
1268.03/1290.22	c current bound: 47882
1268.42/1290.89	c current bound: 47882
1269.28/1291.51	c current bound: 47882
1269.65/1292.13	c current bound: 47882
1270.27/1292.75	c current bound: 47882
1270.89/1293.37	c current bound: 47882
1271.51/1293.98	c current bound: 47882
1272.39/1294.60	c current bound: 47882
1272.75/1295.22	c current bound: 47882
1273.63/1295.92	c current bound: 47882
1273.98/1296.54	c current bound: 47882
1274.61/1297.16	c current bound: 47882
1275.23/1297.78	c current bound: 47882
1276.11/1298.40	c current bound: 47882
1276.71/1299.02	c current bound: 47882
1277.08/1299.64	c current bound: 47882
1277.92/1300.25	c current bound: 47882
1278.31/1300.88	c current bound: 47882
1278.95/1301.50	c current bound: 47882
1279.56/1302.13	c current bound: 47882
1280.20/1302.75	c current bound: 47882
1280.81/1303.37	c current bound: 47882
1281.45/1303.99	c current bound: 47882
1282.30/1304.61	c current bound: 47882
1282.69/1305.24	c current bound: 47882
1283.55/1306.12	c current bound: 47882
1284.14/1306.74	c current bound: 47882
1284.55/1307.36	c current bound: 47882
1285.35/1307.98	c current bound: 47882
1285.80/1308.60	c current bound: 47882
1286.41/1309.22	c current bound: 47882
1287.03/1309.85	c current bound: 47882
1287.66/1310.47	c current bound: 47882
1288.28/1311.09	c current bound: 47882
1288.91/1311.71	c current bound: 47882
1289.76/1312.33	c current bound: 47882
1290.15/1312.95	c current bound: 47882
1290.78/1313.57	c current bound: 47882
1291.41/1314.19	c current bound: 47882
1292.03/1314.81	c current bound: 47882
1292.65/1315.44	c current bound: 47882
1293.27/1316.28	c current bound: 47882
1293.90/1316.90	c current bound: 47882
1294.52/1317.53	c current bound: 47882
1295.14/1318.14	c current bound: 47882
1295.76/1318.76	c current bound: 47882
1296.39/1319.38	c current bound: 47882
1297.16/1320.00	c current bound: 47882
1297.62/1320.61	c current bound: 47882
1298.49/1321.38	c current bound: 47882
1299.12/1322.00	c current bound: 47882
1299.47/1322.62	c current bound: 47882
1300.32/1323.24	c current bound: 47882
1300.71/1323.85	c current bound: 47882
1301.51/1324.47	c current bound: 47882
1302.21/1325.33	c current bound: 47882
1302.57/1325.95	c current bound: 47882
1303.44/1326.61	c current bound: 47882
1303.81/1327.23	c current bound: 47882
1304.64/1327.85	c current bound: 47882
1305.06/1328.47	c current bound: 47882
1305.68/1329.09	c current bound: 47882
1306.28/1329.71	c current bound: 47882
1306.92/1330.33	c current bound: 47882
1307.74/1330.95	c current bound: 47882
1308.16/1331.64	c current bound: 47882
1308.97/1332.26	c current bound: 47882
1309.40/1332.88	c current bound: 47882
1310.03/1333.51	c current bound: 47882
1310.66/1334.13	c current bound: 47882
1311.28/1334.75	c current bound: 47882
1312.09/1335.37	c current bound: 47882
1312.52/1335.99	c current bound: 47882
1313.36/1336.64	c current bound: 47882
1313.77/1337.27	c current bound: 47882
1314.40/1337.89	c current bound: 47882
1315.01/1338.51	c current bound: 47882
1315.64/1339.14	c current bound: 47882
1316.47/1339.77	c current bound: 47882
1316.91/1340.39	c current bound: 47882
1317.76/1341.01	c current bound: 47882
1318.13/1341.66	c current bound: 47882
1318.75/1342.28	c current bound: 47882
1319.38/1342.91	c current bound: 47882
1320.01/1343.53	c current bound: 47882
1320.84/1344.15	c current bound: 47882
1321.25/1344.77	c current bound: 47882
1322.03/1345.39	c current bound: 47882
1322.49/1346.02	c current bound: 47882
1323.40/1346.70	c current bound: 47882
1323.74/1347.32	c current bound: 47882
1324.39/1347.94	c current bound: 47882
1325.20/1348.56	c current bound: 47882
1325.62/1349.18	c current bound: 47882
1326.50/1349.80	c current bound: 47882
1326.85/1350.42	c current bound: 47882
1327.47/1351.03	c current bound: 47882
1328.09/1351.69	c current bound: 47882
1328.72/1352.30	c current bound: 47882
1329.56/1352.92	c current bound: 47882
1329.96/1353.54	c current bound: 47882
1330.77/1354.16	c current bound: 47882
1331.19/1354.78	c current bound: 47882
1331.81/1355.39	c current bound: 47882
1332.43/1356.01	c current bound: 47882
1333.05/1356.63	c current bound: 47882
1333.67/1357.25	c current bound: 47882
1334.29/1357.87	c current bound: 47882
1335.08/1358.49	c current bound: 47882
1335.52/1359.11	c current bound: 47882
1336.37/1359.73	c current bound: 47882
1336.78/1360.35	c current bound: 47882
1337.40/1360.96	c current bound: 47882
1338.02/1361.58	c current bound: 47882
1338.64/1362.21	c current bound: 47882
1339.49/1362.82	c current bound: 47882
1339.86/1363.44	c current bound: 47882
1340.70/1364.06	c current bound: 47882
1341.13/1364.68	c current bound: 47882
1341.74/1365.30	c current bound: 47882
1342.37/1365.92	c current bound: 47882
1343.00/1366.54	c current bound: 47882
1343.61/1367.16	c current bound: 47882
1344.24/1367.79	c current bound: 47882
1345.10/1368.41	c current bound: 47882
1345.50/1369.04	c current bound: 47882
1346.31/1369.69	c current bound: 47882
1346.77/1370.30	c current bound: 47882
1347.37/1370.92	c current bound: 47882
1348.00/1371.54	c current bound: 47882
1348.63/1372.16	c current bound: 47882
1349.43/1372.78	c current bound: 47882
1349.86/1373.41	c current bound: 47882
1350.72/1374.03	c current bound: 47882
1351.11/1374.65	c current bound: 47882
1351.75/1375.27	c current bound: 47882
1352.64/1375.90	c current bound: 47882
1352.98/1376.84	c current bound: 47882
1353.60/1377.46	c current bound: 47882
1354.22/1378.08	c current bound: 47882
1354.86/1378.70	c current bound: 47882
1355.70/1379.31	c current bound: 47882
1356.09/1379.93	c current bound: 47882
1356.93/1380.55	c current bound: 47882
1357.35/1381.17	c current bound: 47882
1358.24/1381.80	c current bound: 47882
1358.59/1382.42	c current bound: 47882
1359.21/1383.04	c current bound: 47882
1359.84/1383.66	c current bound: 47882
1360.47/1384.28	c current bound: 47882
1361.34/1384.90	c current bound: 47882
1361.71/1385.52	c current bound: 47882
1362.53/1386.14	c current bound: 47882
1362.94/1386.79	c current bound: 47882
1363.58/1387.42	c current bound: 47882
1364.18/1388.04	c current bound: 47882
1364.82/1388.66	c current bound: 47882
1365.62/1389.28	c current bound: 47882
1366.06/1389.91	c current bound: 47882
1366.92/1390.54	c current bound: 47882
1367.32/1391.15	c current bound: 47882
1367.95/1391.78	c current bound: 47882
1368.82/1392.40	c current bound: 47882
1369.19/1393.02	c current bound: 47882
1370.03/1393.64	c current bound: 47882
1370.43/1394.26	c current bound: 47882
1371.23/1394.87	c current bound: 47882
1371.67/1395.49	c current bound: 47882
1372.28/1396.11	c current bound: 47882
1373.17/1396.83	c current bound: 47882
1373.53/1397.45	c current bound: 47882
1374.33/1398.07	c current bound: 47882
1374.76/1398.70	c current bound: 47882
1375.63/1399.31	c current bound: 47882
1376.01/1399.93	c current bound: 47882
1376.62/1400.55	c current bound: 47882
1377.25/1401.17	c current bound: 47882
1377.87/1401.79	c current bound: 47882
1378.75/1402.41	c current bound: 47882
1379.10/1403.03	c current bound: 47882
1379.93/1403.64	c current bound: 47882
1380.35/1404.26	c current bound: 47882
1380.97/1404.88	c current bound: 47882
1381.85/1405.50	c current bound: 47882
1382.21/1406.12	c current bound: 47882
1383.09/1406.99	c current bound: 47882
1383.46/1407.61	c current bound: 47882
1384.07/1408.23	c current bound: 47882
1384.70/1408.85	c current bound: 47882
1385.31/1409.47	c current bound: 47882
1385.94/1410.09	c current bound: 47882
1386.55/1410.70	c current bound: 47882
1387.42/1411.33	c current bound: 47882
1387.81/1411.94	c current bound: 47882
1388.41/1412.57	c current bound: 47882
1389.04/1413.19	c current bound: 47882
1389.67/1413.81	c current bound: 47882
1390.29/1414.43	c current bound: 47882
1390.90/1415.05	c current bound: 47882
1391.71/1415.67	c current bound: 47882
1392.13/1416.29	c current bound: 47882
1393.00/1416.97	c current bound: 47882
1393.37/1417.59	c current bound: 47882
1394.01/1418.21	c current bound: 47882
1394.62/1418.83	c current bound: 47882
1395.22/1419.44	c current bound: 47882
1396.04/1420.06	c current bound: 47882
1396.47/1420.68	c current bound: 47882
1397.35/1421.30	c current bound: 47882
1397.70/1421.92	c current bound: 47882
1398.34/1422.54	c current bound: 47882
1398.96/1423.16	c current bound: 47882
1399.57/1423.78	c current bound: 47882
1400.19/1424.40	c current bound: 47882
1400.83/1425.02	c current bound: 47882
1401.66/1425.64	c current bound: 47882
1402.06/1426.26	c current bound: 47882
1402.96/1427.08	c current bound: 47882
1403.30/1427.70	c current bound: 47882
1403.93/1428.32	c current bound: 47882
1404.77/1428.94	c current bound: 47882
1405.17/1429.56	c current bound: 47882
1406.05/1430.23	c current bound: 47882
1406.42/1430.84	c current bound: 47882
1407.03/1431.46	c current bound: 47882
1407.65/1432.08	c current bound: 47882
1408.28/1432.70	c current bound: 47882
1409.13/1433.32	c current bound: 47882
1409.52/1433.94	c current bound: 47882
1410.32/1434.56	c current bound: 47882
1410.76/1435.18	c current bound: 47882
1411.65/1435.80	c current bound: 47882
1412.01/1436.42	c current bound: 47882
1412.89/1437.23	c current bound: 47882
1413.44/1437.85	c current bound: 47882
1413.86/1438.47	c current bound: 47882
1414.49/1439.09	c current bound: 47882
1415.10/1439.70	c current bound: 47882
1415.73/1440.34	c current bound: 47882
1416.56/1440.96	c current bound: 47882
1416.97/1441.58	c current bound: 47882
1417.88/1442.20	c current bound: 47882
1418.22/1442.82	c current bound: 47882
1418.85/1443.44	c current bound: 47882
1419.48/1444.06	c current bound: 47882
1420.09/1444.68	c current bound: 47882
1420.72/1445.30	c current bound: 47882
1421.34/1445.92	c current bound: 47882
1422.17/1446.54	c current bound: 47882
1422.58/1447.16	c current bound: 47882
1423.19/1447.77	c current bound: 47882
1424.08/1448.40	c current bound: 47882
1424.44/1449.02	c current bound: 47882
1425.05/1449.63	c current bound: 47882
1425.67/1450.25	c current bound: 47882
1426.48/1450.87	c current bound: 47882
1426.91/1451.49	c current bound: 47882
1427.80/1452.32	c current bound: 47882
1428.15/1452.94	c current bound: 47882
1428.77/1453.56	c current bound: 47882
1429.58/1454.18	c current bound: 47882
1430.02/1454.79	c current bound: 47882
1430.88/1455.41	c current bound: 47882
1431.25/1456.03	c current bound: 47882
1431.87/1456.65	c current bound: 47882
1432.50/1457.27	c current bound: 47882
1433.12/1457.89	c current bound: 47882
1434.00/1458.52	c current bound: 47882
1434.37/1459.14	c current bound: 47882
1435.19/1459.77	c current bound: 47882
1435.64/1460.39	c current bound: 47882
1436.26/1461.01	c current bound: 47882
1436.86/1461.62	c current bound: 47882
1437.49/1462.24	c current bound: 47882
1438.12/1462.86	c current bound: 47882
1438.74/1463.48	c current bound: 47882
1439.60/1464.11	c current bound: 47882
1439.98/1464.73	c current bound: 47882
1440.81/1465.36	c current bound: 47882
1441.25/1465.98	c current bound: 47882
1441.86/1466.59	c current bound: 47882
1442.74/1467.41	c current bound: 47882
1443.09/1468.03	c current bound: 47882
1443.92/1468.65	c current bound: 47882
1444.34/1469.27	c current bound: 47882
1444.96/1469.88	c current bound: 47882
1445.57/1470.50	c current bound: 47882
1446.19/1471.12	c current bound: 47882
1447.04/1471.74	c current bound: 47882
1447.44/1472.38	c current bound: 47882
1448.31/1473.01	c current bound: 47882
1448.70/1473.63	c current bound: 47882
1449.32/1474.25	c current bound: 47882
1449.94/1474.87	c current bound: 47882
1450.55/1475.50	c current bound: 47882
1451.44/1476.12	c current bound: 47882
1451.81/1476.74	c current bound: 47882
1452.64/1477.36	c current bound: 47882
1453.33/1478.00	c current bound: 47882
1453.68/1478.62	c current bound: 47882
1454.30/1479.25	c current bound: 47882
1454.94/1479.87	c current bound: 47882
1455.56/1480.49	c current bound: 47882
1456.18/1481.12	c current bound: 47882
1457.03/1481.74	c current bound: 47882
1457.43/1482.38	c current bound: 47882
1458.06/1483.01	c current bound: 47882
1458.69/1483.63	c current bound: 47882
1459.30/1484.25	c current bound: 47882
1459.94/1484.87	c current bound: 47882
1460.54/1485.49	c current bound: 47882
1461.42/1486.11	c current bound: 47882
1461.79/1486.73	c current bound: 47882
1462.68/1487.40	c current bound: 47882
1463.03/1488.02	c current bound: 47882
1463.66/1488.64	c current bound: 47882
1464.28/1489.26	c current bound: 47882
1464.90/1489.88	c current bound: 47882
1465.68/1490.49	c current bound: 47882
1466.14/1491.11	c current bound: 47882
1466.99/1491.74	c current bound: 47882
1467.38/1492.36	c current bound: 47882
1468.02/1492.97	c current bound: 47882
1468.64/1493.59	c current bound: 47882
1469.26/1494.21	c current bound: 47882
1470.11/1494.83	c current bound: 47882
1470.50/1495.45	c current bound: 47882
1471.32/1496.07	c current bound: 47882
1471.75/1496.69	c current bound: 47882
1472.36/1497.37	c current bound: 47882
1472.99/1497.99	c current bound: 47882
1473.62/1498.61	c current bound: 47882
1474.47/1499.23	c current bound: 47882
1474.86/1499.85	c current bound: 47882
1475.68/1500.47	c current bound: 47882
1476.11/1501.09	c current bound: 47882
1476.73/1501.71	c current bound: 47882
1477.61/1502.46	c current bound: 47882
1477.97/1503.08	c current bound: 47882
1478.85/1503.70	c current bound: 47882
1479.21/1504.34	c current bound: 47882
1480.03/1504.96	c current bound: 47882
1480.47/1505.58	c current bound: 47882
1481.09/1506.20	c current bound: 47882
1481.72/1506.82	c current bound: 47882
1482.34/1507.46	c current bound: 47882
1483.13/1508.09	c current bound: 47882
1483.60/1508.71	c current bound: 47882
1484.45/1509.33	c current bound: 47882
1484.83/1509.94	c current bound: 47882
1485.46/1510.56	c current bound: 47882
1486.07/1511.18	c current bound: 47882
1486.97/1511.80	c current bound: 47882
1487.58/1512.60	c current bound: 47882
1487.93/1513.22	c current bound: 47882
1488.57/1513.85	c current bound: 47882
1489.19/1514.47	c current bound: 47882
1489.80/1515.09	c current bound: 47882
1490.70/1515.70	c current bound: 47882
1491.05/1516.33	c current bound: 47882
1491.87/1516.95	c current bound: 47882
1492.56/1517.60	c current bound: 47882
1492.91/1518.22	c current bound: 47882
1493.54/1518.84	c current bound: 47882
1494.15/1519.46	c current bound: 47882
1494.78/1520.08	c current bound: 47882
1495.66/1520.70	c current bound: 47882
1496.26/1521.32	c current bound: 47882
1496.63/1521.94	c current bound: 47882
1497.43/1522.56	c current bound: 47882
1497.87/1523.18	c current bound: 47882
1498.76/1523.80	c current bound: 47882
1499.11/1524.42	c current bound: 47882
1499.73/1525.04	c current bound: 47882
1500.55/1525.66	c current bound: 47882
1500.97/1526.27	c current bound: 47882
1501.87/1526.90	c current bound: 47882
1502.48/1527.71	c current bound: 47882
1502.84/1528.33	c current bound: 47882
1503.67/1528.95	c current bound: 47882
1504.08/1529.57	c current bound: 47882
1504.88/1530.19	c current bound: 47882
1505.33/1530.81	c current bound: 47882
1505.95/1531.43	c current bound: 47882
1506.55/1532.05	c current bound: 47882
1507.19/1532.66	c current bound: 47882
1508.08/1533.30	c current bound: 47882
1508.45/1533.92	c current bound: 47882
1509.29/1534.54	c current bound: 47882
1509.96/1535.22	c current bound: 47882
1510.30/1535.84	c current bound: 47882
1510.94/1536.47	c current bound: 47882
1511.56/1537.08	c current bound: 47882
1512.45/1537.71	c current bound: 47882
1512.80/1538.33	c current bound: 47882
1513.64/1538.95	c current bound: 47882
1514.05/1539.57	c current bound: 47882
1514.67/1540.19	c current bound: 47882
1515.28/1540.81	c current bound: 47882
1515.92/1541.43	c current bound: 47882
1516.52/1542.04	c current bound: 47882
1517.15/1542.66	c current bound: 47882
1517.93/1543.30	c current bound: 47882
1518.39/1543.92	c current bound: 47882
1519.23/1544.54	c current bound: 47882
1519.64/1545.16	c current bound: 47882
1520.25/1545.77	c current bound: 47882
1520.88/1546.41	c current bound: 47882
1521.51/1547.02	c current bound: 47882
1522.34/1547.68	c current bound: 47882
1522.76/1548.30	c current bound: 47882
1523.61/1548.92	c current bound: 47882
1523.99/1549.54	c current bound: 47882
1524.62/1550.16	c current bound: 47882
1525.25/1550.78	c current bound: 47882
1525.87/1551.40	c current bound: 47882
1526.72/1552.02	c current bound: 47882
1527.12/1552.79	c current bound: 47882
1527.74/1553.41	c current bound: 47882
1528.36/1554.03	c current bound: 47882
1528.99/1554.65	c current bound: 47882
1529.60/1555.27	c current bound: 47882
1530.50/1555.90	c current bound: 47882
1531.08/1556.52	c current bound: 47882
1531.47/1557.13	c current bound: 47882
1532.34/1557.90	c current bound: 47882
1532.71/1558.52	c current bound: 47882
1533.34/1559.14	c current bound: 47882
1534.15/1559.76	c current bound: 47882
1534.58/1560.38	c current bound: 47882
1535.35/1560.99	c current bound: 47882
1535.82/1561.62	c current bound: 47882
1536.45/1562.24	c current bound: 47882
1537.33/1563.04	c current bound: 47882
1537.68/1563.66	c current bound: 47882
1538.50/1564.28	c current bound: 47882
1539.20/1564.90	c current bound: 47882
1539.54/1565.52	c current bound: 47882
1540.17/1566.14	c current bound: 47882
1540.79/1566.75	c current bound: 47882
1541.41/1567.37	c current bound: 47882
1542.03/1567.99	c current bound: 47882
1542.91/1568.61	c current bound: 47882
1543.27/1569.23	c current bound: 47882
1544.11/1569.85	c current bound: 47882
1544.51/1570.47	c current bound: 47882
1545.13/1571.09	c current bound: 47882
1545.76/1571.71	c current bound: 47882
1546.37/1572.33	c current bound: 47882
1547.25/1573.05	c current bound: 47882
1547.63/1573.67	c current bound: 47882
1548.25/1574.29	c current bound: 47882
1548.86/1574.91	c current bound: 47882
1549.49/1575.53	c current bound: 47882
1550.12/1576.15	c current bound: 47882
1550.73/1576.77	c current bound: 47882
1551.64/1577.41	c current bound: 47882
1552.27/1578.31	c current bound: 47882
1552.63/1578.93	c current bound: 47882
1553.45/1579.55	c current bound: 47882
1553.87/1580.17	c current bound: 47882
1554.65/1580.79	c current bound: 47882
1555.11/1581.40	c current bound: 47882
1555.72/1582.02	c current bound: 47882
1556.35/1582.64	c current bound: 47882
1556.96/1583.26	c current bound: 47882
1557.58/1583.88	c current bound: 47882
1558.48/1584.50	c current bound: 47882
1559.07/1585.12	c current bound: 47882
1559.44/1585.73	c current bound: 47882
1560.26/1586.35	c current bound: 47882
1560.68/1586.97	c current bound: 47882
1561.30/1587.59	c current bound: 47882
1561.92/1588.21	c current bound: 47882
1562.54/1588.83	c current bound: 47882
1563.37/1589.45	c current bound: 47882
1563.79/1590.07	c current bound: 47882
1564.59/1590.70	c current bound: 47882
1565.03/1591.32	c current bound: 47882
1565.65/1591.94	c current bound: 47882
1566.27/1592.56	c current bound: 47882
1566.91/1593.41	c current bound: 47882
1567.74/1594.03	c current bound: 47882
1568.15/1594.65	c current bound: 47882
1568.77/1595.27	c current bound: 47882
1569.39/1595.89	c current bound: 47882
1570.01/1596.51	c current bound: 47882
1570.87/1597.13	c current bound: 47882
1571.25/1597.74	c current bound: 47882
1572.07/1598.36	c current bound: 47882
1572.50/1598.98	c current bound: 47882
1573.37/1599.60	c current bound: 47882
1573.73/1600.22	c current bound: 47882
1574.34/1600.83	c current bound: 47882
1574.96/1601.46	c current bound: 47882
1575.59/1602.08	c current bound: 47882
1576.36/1602.70	c current bound: 47882
1577.10/1603.42	c current bound: 47882
1577.45/1604.04	c current bound: 47882
1578.08/1604.66	c current bound: 47882
1578.70/1605.28	c current bound: 47882
1579.58/1605.91	c current bound: 47882
1579.94/1606.53	c current bound: 47882
1580.77/1607.15	c current bound: 47882
1581.18/1607.76	c current bound: 47882
1581.81/1608.54	c current bound: 47882
1582.42/1609.15	c current bound: 47882
1583.04/1609.77	c current bound: 47882
1583.84/1610.39	c current bound: 47882
1584.30/1611.01	c current bound: 47882
1585.14/1611.63	c current bound: 47882
1585.54/1612.24	c current bound: 47882
1586.15/1612.86	c current bound: 47882
1586.78/1613.48	c current bound: 47882
1587.67/1614.10	c current bound: 47882
1588.25/1614.72	c current bound: 47882
1588.63/1615.34	c current bound: 47882
1589.46/1615.95	c current bound: 47882
1589.88/1616.57	c current bound: 47882
1590.50/1617.19	c current bound: 47882
1591.11/1617.81	c current bound: 47882
1591.74/1618.69	c current bound: 47882
1592.60/1619.31	c current bound: 47882
1592.98/1619.93	c current bound: 47882
1593.61/1620.55	c current bound: 47882
1594.22/1621.17	c current bound: 47882
1594.85/1621.79	c current bound: 47882
1595.72/1622.41	c current bound: 47882
1596.08/1623.03	c current bound: 47882
1596.92/1623.65	c current bound: 47882
1597.33/1624.27	c current bound: 47882
1597.94/1624.89	c current bound: 47882
1598.57/1625.50	c current bound: 47882
1599.18/1626.13	c current bound: 47882
1599.82/1626.75	c current bound: 47882
1600.44/1627.37	c current bound: 47882
1601.23/1627.99	c current bound: 47882
1601.68/1628.62	c current bound: 47882
1602.53/1629.23	c current bound: 47882
1602.92/1629.85	c current bound: 47882
1603.55/1630.47	c current bound: 47882
1604.18/1631.09	c current bound: 47882
1604.79/1631.71	c current bound: 47882
1605.64/1632.33	c current bound: 47882
1606.03/1632.95	c current bound: 47882
1606.85/1633.57	c current bound: 47882
1607.28/1634.18	c current bound: 47882
1607.90/1634.81	c current bound: 47882
1608.52/1635.43	c current bound: 47882
1609.13/1636.05	c current bound: 47882
1609.76/1636.66	c current bound: 47882
1610.38/1637.28	c current bound: 47882
1611.15/1637.90	c current bound: 47882
1611.88/1638.67	c current bound: 47882
1612.24/1639.29	c current bound: 47882
1612.86/1639.91	c current bound: 47882
1613.48/1640.53	c current bound: 47882
1614.31/1641.16	c current bound: 47882
1614.73/1641.78	c current bound: 47882
1615.63/1642.40	c current bound: 47882
1615.97/1643.02	c current bound: 47882
1616.87/1643.71	c current bound: 47882
1617.22/1644.33	c current bound: 47882
1617.84/1644.96	c current bound: 47882
1618.65/1645.58	c current bound: 47882
1619.09/1646.21	c current bound: 47882
1619.93/1646.83	c current bound: 47882
1620.33/1647.44	c current bound: 47882
1620.97/1648.08	c current bound: 47882
1621.60/1648.69	c current bound: 47882
1622.21/1649.31	c current bound: 47882
1623.07/1649.93	c current bound: 47882
1623.46/1650.55	c current bound: 47882
1624.27/1651.17	c current bound: 47882
1624.70/1651.79	c current bound: 47882
1625.32/1652.41	c current bound: 47882
1625.94/1653.03	c current bound: 47882
1626.56/1653.65	c current bound: 47882
1627.20/1654.27	c current bound: 47882
1627.81/1654.89	c current bound: 47882
1628.68/1655.51	c current bound: 47882
1629.07/1656.13	c current bound: 47882
1629.87/1656.77	c current bound: 47882
1630.32/1657.38	c current bound: 47882
1630.94/1658.00	c current bound: 47882
1631.81/1658.84	c current bound: 47882
1632.19/1659.45	c current bound: 47882
1632.81/1660.07	c current bound: 47882
1633.44/1660.69	c current bound: 47882
1634.06/1661.31	c current bound: 47882
1634.68/1661.93	c current bound: 47882
1635.30/1662.55	c current bound: 47882
1636.11/1663.17	c current bound: 47882
1636.55/1663.79	c current bound: 47882
1637.41/1664.40	c current bound: 47882
1637.78/1665.02	c current bound: 47882
1638.40/1665.64	c current bound: 47882
1639.02/1666.26	c current bound: 47882
1639.63/1666.88	c current bound: 47882
1640.26/1667.50	c current bound: 47882
1640.87/1668.12	c current bound: 47882
1641.77/1668.85	c current bound: 47882
1642.12/1669.48	c current bound: 47882
1643.02/1670.10	c current bound: 47882
1643.37/1670.73	c current bound: 47882
1644.01/1671.35	c current bound: 47882
1644.82/1671.97	c current bound: 47882
1645.25/1672.59	c current bound: 47882
1646.13/1673.21	c current bound: 47882
1646.49/1674.03	c current bound: 47882
1647.12/1674.64	c current bound: 47882
1647.94/1675.28	c current bound: 47882
1648.63/1675.90	c current bound: 47882
1649.24/1676.52	c current bound: 47882
1649.60/1677.14	c current bound: 47882
1650.24/1677.76	c current bound: 47882
1650.85/1678.37	c current bound: 47882
1651.48/1678.99	c current bound: 47882
1652.34/1679.61	c current bound: 47882
1652.71/1680.23	c current bound: 47882
1653.54/1680.85	c current bound: 47882
1653.95/1681.46	c current bound: 47882
1654.56/1682.08	c current bound: 47882
1655.18/1682.70	c current bound: 47882
1655.80/1683.32	c current bound: 47882
1656.43/1684.00	c current bound: 47882
1657.04/1684.62	c current bound: 47882
1657.89/1685.24	c current bound: 47882
1658.30/1685.86	c current bound: 47882
1658.92/1686.48	c current bound: 47882
1659.54/1687.10	c current bound: 47882
1660.16/1687.72	c current bound: 47882
1660.78/1688.34	c current bound: 47882
1661.41/1688.96	c current bound: 47882
1662.20/1689.58	c current bound: 47882
1662.66/1690.20	c current bound: 47882
1663.50/1690.82	c current bound: 47882
1663.90/1691.44	c current bound: 47882
1664.52/1692.06	c current bound: 47882
1665.13/1692.68	c current bound: 47882
1666.02/1693.30	c current bound: 47882
1666.61/1693.98	c current bound: 47882
1667.27/1694.60	c current bound: 47882
1667.86/1695.22	c current bound: 47882
1668.24/1695.83	c current bound: 47882
1668.86/1696.45	c current bound: 47882
1669.48/1697.07	c current bound: 47882
1670.11/1697.69	c current bound: 47882
1670.97/1698.31	c current bound: 47882
1671.62/1699.24	c current bound: 47882
1671.96/1699.86	c current bound: 47882
1672.58/1700.48	c current bound: 47882
1673.48/1701.10	c current bound: 47882
1674.07/1701.72	c current bound: 47882
1674.45/1702.34	c current bound: 47882
1675.25/1702.96	c current bound: 47882
1675.68/1703.58	c current bound: 47882
1676.32/1704.20	c current bound: 47882
1676.93/1704.82	c current bound: 47882
1677.56/1705.45	c current bound: 47882
1678.37/1706.07	c current bound: 47882
1678.81/1706.69	c current bound: 47882
1679.67/1707.30	c current bound: 47882
1680.04/1707.92	c current bound: 47882
1680.66/1708.54	c current bound: 47882
1681.29/1709.16	c current bound: 47882
1681.91/1709.78	c current bound: 47882
1682.81/1710.40	c current bound: 47882
1683.16/1711.02	c current bound: 47882
1683.99/1711.64	c current bound: 47882
1684.40/1712.27	c current bound: 47882
1685.03/1712.88	c current bound: 47882
1685.64/1713.50	c current bound: 47882
1686.26/1714.35	c current bound: 47882
1687.08/1714.97	c current bound: 47882
1687.50/1715.58	c current bound: 47882
1688.12/1716.20	c current bound: 47882
1688.74/1716.82	c current bound: 47882
1689.36/1717.44	c current bound: 47882
1689.99/1718.06	c current bound: 47882
1690.60/1718.68	c current bound: 47882
1691.40/1719.30	c current bound: 47882
1691.86/1719.92	c current bound: 47882
1692.68/1720.54	c current bound: 47882
1693.09/1721.16	c current bound: 47882
1693.71/1721.78	c current bound: 47882
1694.33/1722.39	c current bound: 47882
1694.96/1723.02	c current bound: 47882
1695.80/1723.63	c current bound: 47882
1696.47/1724.43	c current bound: 47882
1696.83/1725.05	c current bound: 47882
1697.43/1725.67	c current bound: 47882
1698.06/1726.29	c current bound: 47882
1698.95/1726.91	c current bound: 47882
1699.30/1727.53	c current bound: 47882
1700.14/1728.15	c current bound: 47882
1700.55/1728.77	c current bound: 47882
1701.17/1729.38	c current bound: 47882
1701.79/1730.01	c current bound: 47882
1702.41/1730.63	c current bound: 47882
1703.03/1731.25	c current bound: 47882
1703.67/1731.87	c current bound: 47882
1704.45/1732.49	c current bound: 47882
1704.90/1733.11	c current bound: 47882
1705.75/1733.73	c current bound: 47882
1706.42/1734.54	c current bound: 47882
1706.78/1735.16	c current bound: 47882
1707.57/1735.78	c current bound: 47882
1708.01/1736.40	c current bound: 47882
1708.87/1737.02	c current bound: 47882
1709.24/1737.65	c current bound: 47882
1709.88/1738.27	c current bound: 47882
1710.49/1738.89	c current bound: 47882
1711.13/1739.50	c current bound: 47882
1711.97/1740.12	c current bound: 47882
1712.37/1740.74	c current bound: 47882
1713.20/1741.36	c current bound: 47882
1713.61/1741.99	c current bound: 47882
1714.25/1742.61	c current bound: 47882
1714.86/1743.23	c current bound: 47882
1715.50/1743.85	c current bound: 47882
1716.36/1744.69	c current bound: 47882
1716.74/1745.31	c current bound: 47882
1717.35/1745.93	c current bound: 47882
1717.98/1746.55	c current bound: 47882
1718.60/1747.17	c current bound: 47882
1719.23/1747.79	c current bound: 47882
1719.84/1748.41	c current bound: 47882
1720.71/1749.04	c current bound: 47882
1721.36/1749.96	c current bound: 47882
1721.71/1750.58	c current bound: 47882
1722.51/1751.20	c current bound: 47882
1722.96/1751.82	c current bound: 47882
1723.79/1752.44	c current bound: 47882
1724.21/1753.07	c current bound: 47882
1724.84/1753.70	c current bound: 47882
1725.46/1754.32	c current bound: 47882
1726.09/1754.94	c current bound: 47882
1726.90/1755.56	c current bound: 47882
1727.33/1756.18	c current bound: 47882
1728.22/1756.80	c current bound: 47882
1728.58/1757.42	c current bound: 47882
1729.20/1758.03	c current bound: 47882
1729.82/1758.65	c current bound: 47882
1730.43/1759.28	c current bound: 47882
1731.29/1760.05	c current bound: 47882
1731.69/1760.67	c current bound: 47882
1732.30/1761.29	c current bound: 47882
1732.94/1761.91	c current bound: 47882
1733.55/1762.54	c current bound: 47882
1734.18/1763.16	c current bound: 47882
1734.80/1763.78	c current bound: 47882
1735.57/1764.40	c current bound: 47882
1736.04/1765.02	c current bound: 47882
1736.86/1765.64	c current bound: 47882
1737.27/1766.26	c current bound: 47882
1737.90/1766.89	c current bound: 47882
1738.53/1767.51	c current bound: 47882
1739.14/1768.12	c current bound: 47882
1739.99/1768.74	c current bound: 47882
1740.38/1769.36	c current bound: 47882
1741.20/1769.98	c current bound: 47882
1741.88/1770.60	c current bound: 47882
1742.24/1771.22	c current bound: 47882
1742.86/1771.84	c current bound: 47882
1743.48/1772.46	c current bound: 47882
1744.11/1773.08	c current bound: 47882
1744.72/1773.69	c current bound: 47882
1745.60/1774.31	c current bound: 47882
1746.24/1775.04	c current bound: 47882
1746.60/1775.66	c current bound: 47882
1747.22/1776.28	c current bound: 47882
1747.84/1776.91	c current bound: 47882
1748.69/1777.53	c current bound: 47882
1749.09/1778.15	c current bound: 47882
1749.90/1778.77	c current bound: 47882
1750.34/1779.39	c current bound: 47882
1751.21/1780.12	c current bound: 47882
1751.58/1780.74	c current bound: 47882
1752.19/1781.36	c current bound: 47882
1753.00/1781.97	c current bound: 47882
1753.44/1782.59	c current bound: 47882
1754.29/1783.21	c current bound: 47882
1754.67/1783.83	c current bound: 47882
1755.29/1784.45	c current bound: 47882
1755.92/1785.19	c current bound: 47882
1756.54/1785.81	c current bound: 47882
1757.40/1786.43	c current bound: 47882
1757.79/1787.06	c current bound: 47882
1758.41/1787.68	c current bound: 47882
1759.29/1788.30	c current bound: 47882
1759.65/1788.92	c current bound: 47882
1760.27/1789.54	c current bound: 47882
1760.90/1790.16	c current bound: 47882
1761.69/1790.78	c current bound: 47882
1762.14/1791.40	c current bound: 47882
1763.00/1792.02	c current bound: 47882
1763.39/1792.64	c current bound: 47882
1764.01/1793.27	c current bound: 47882
1764.64/1793.89	c current bound: 47882
1765.25/1794.52	c current bound: 47882
1766.11/1795.15	c current bound: 47882
1766.51/1795.77	c current bound: 47882
1767.29/1796.39	c current bound: 47882
1767.76/1797.01	c current bound: 47882
1768.37/1797.63	c current bound: 47882
1768.99/1798.25	c current bound: 47882
1769.60/1798.87	c current bound: 47882
1770.23/1799.49	c current bound: 47882
1770.84/1800.11	c current bound: 47882
1771.71/1800.72	c current bound: 47882
1772.08/1801.34	c current bound: 47882
1772.90/1801.96	c current bound: 47882
1773.32/1802.58	c current bound: 47882
1773.96/1803.20	c current bound: 47882
1774.56/1803.82	c current bound: 47882
1775.18/1804.44	c current bound: 47882
1776.07/1805.13	c current bound: 47882
1776.42/1805.75	c current bound: 47882
1777.04/1806.37	c current bound: 47882
1777.94/1807.00	c current bound: 47882
1778.29/1807.62	c current bound: 47882
1778.90/1808.24	c current bound: 47882
1779.53/1808.86	c current bound: 47882
1780.33/1809.48	c current bound: 47882
1780.78/1810.19	c current bound: 47882
1781.40/1810.81	c current bound: 47882
1782.02/1811.43	c current bound: 47882
1782.64/1812.05	c current bound: 47882
1783.25/1812.67	c current bound: 47882
1783.88/1813.29	c current bound: 47882
1784.74/1813.91	c current bound: 47882
1785.12/1814.53	c current bound: 47882
1785.94/1815.15	c current bound: 47882
1786.35/1815.77	c current bound: 47882
1786.99/1816.39	c current bound: 47882
1787.60/1817.00	c current bound: 47882
1788.22/1817.62	c current bound: 47882
1789.06/1818.24	c current bound: 47882
1789.46/1818.86	c current bound: 47882
1790.26/1819.48	c current bound: 47882
1790.69/1820.13	c current bound: 47882
1791.32/1820.75	c current bound: 47882
1791.93/1821.37	c current bound: 47882
1792.57/1821.99	c current bound: 47882
1793.42/1822.61	c current bound: 47882
1793.81/1823.23	c current bound: 47882
1794.63/1823.85	c current bound: 47882
1795.04/1824.47	c current bound: 47882
1795.66/1825.09	c current bound: 47882
1796.27/1825.71	c current bound: 47882
1796.91/1826.33	c current bound: 47882
1797.53/1826.95	c current bound: 47882
1798.14/1827.57	c current bound: 47882
1798.93/1828.19	c current bound: 47882
1799.38/1828.81	c current bound: 47882
1800.05/1829.23	HOME/npSolver-wbo-Itdqb.sh: line 18:  4512 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715559-1338255513/watcher-3715559-1338255513 -o /tmp/evaluation-result-3715559-1338255513/solver-3715559-1338255513 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715559-1338255513.wbo 1311161728 HOME HOME 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4511
/proc/meminfo: memFree=21238252/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0

[startup+0.0318031 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4511
/proc/meminfo: memFree=21238252/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100261 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4511
/proc/meminfo: memFree=21238252/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300267 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4511
/proc/meminfo: memFree=21238252/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700258 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 4511
/proc/meminfo: memFree=21238252/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 1.92 1.99 1.99 2/178 4532
/proc/meminfo: memFree=26961088/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1.48 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) R 4511 4511 2640 0 -1 4202496 7855 38093 0 0 26 5 87 30 20 0 1 0 291675797 21012480 4074 33554432000 4194304 5990268 140735330409424 140735330401408 4523032 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4074 175 439 0 4687 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29668

[startup+3.10033 s]
/proc/loadavg: 1.92 1.99 1.99 3/174 4567
/proc/meminfo: memFree=27332096/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=3 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 12323 79701 0 0 42 9 186 63 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 29668

[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 2.00 2/182 4651
/proc/meminfo: memFree=30397968/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=6.09 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 23468 157789 0 0 80 15 380 134 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 29668

[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.01 3/183 4800
/proc/meminfo: memFree=30430064/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=12.66 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) R 4511 4511 2640 0 -1 4202496 47977 315296 0 0 163 30 783 290 20 0 1 0 291675797 21012480 4074 33554432000 4194304 5990268 140735330409424 140735330401408 4523127 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4074 175 439 0 4687 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 29668

[startup+25.5003 s]
/proc/loadavg: 2.30 2.07 2.02 3/184 5093
/proc/meminfo: memFree=30425336/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=8232 CPUtime=25.06 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) R 4511 4511 2640 0 -1 4202496 91582 625193 0 0 310 58 1553 585 20 0 1 0 291675797 8429568 1566 33554432000 4194304 5990268 140735330409424 140735330401408 5042513 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 2058 1567 175 439 0 1615 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 17380

[startup+51.1003 s]
/proc/loadavg: 2.50 2.14 2.04 3/181 5655
/proc/meminfo: memFree=30446788/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=50.18 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 181727 1254030 0 0 620 113 3138 1147 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 29668

[startup+102.307 s]
/proc/loadavg: 2.15 2.10 2.03 3/182 6817
/proc/meminfo: memFree=30433528/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=100.82 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 364498 2502777 0 0 1242 228 6306 2306 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
[pid=6816] ppid=4512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6816/stat : 6816 (satsolver.sh) S 4512 4511 2640 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291686013 9367552 267 33554432000 4194304 5064252 140734716618464 140734716617376 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6816/statm: 2287 267 226 213 0 72 0
[pid=6817] ppid=6816 vsize=46936 CPUtime=0.12 cores=1,3,5,7
/proc/6817/stat : 6817 (glucose) R 6816 4511 2640 0 -1 4202496 10483 0 0 0 10 2 0 0 20 0 1 0 291686014 48062464 10225 33554432000 4194304 5208918 140733344810528 140733343760024 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6817/statm: 11734 10225 95 248 0 11483 0
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (KiB) 85752

[startup+162.3 s]
/proc/loadavg: 1.93 2.04 2.01 3/181 8133
/proc/meminfo: memFree=30423552/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=159.97 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 576002 3971817 0 0 1961 364 9989 3683 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 159.97
Current children cumulated vsize (KiB) 29668

[startup+222.3 s]
/proc/loadavg: 1.86 2.00 2.00 3/183 9478
/proc/meminfo: memFree=30419304/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=5160 CPUtime=219.01 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) R 4511 4511 2640 0 -1 4202496 786147 5435846 0 0 2672 499 13672 5058 20 0 1 0 291675797 5283840 934 33554432000 4194304 5990268 140735330409424 140735330401408 5042529 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4512/statm: 1290 934 175 439 0 847 0
Current children cumulated CPU time (s) 219.01
Current children cumulated vsize (KiB) 14308

[startup+282.3 s]
/proc/loadavg: 1.95 2.00 2.00 3/181 10801
/proc/meminfo: memFree=30391964/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=278.13 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 999512 6902450 0 0 3401 631 17342 6439 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 278.13
Current children cumulated vsize (KiB) 29668

[startup+342.3 s]
/proc/loadavg: 1.85 1.95 1.98 3/183 12164
/proc/meminfo: memFree=30385548/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=337.49 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 1211274 8390747 0 0 4120 767 21040 7822 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 337.49

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

/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 4627830 32108642 0 0 15723 2947 80542 29866 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
[pid=1340] ppid=4512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1340/stat : 1340 (satsolver.sh) S 4512 4511 2640 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291807101 9367552 267 33554432000 4194304 5064252 140736189150800 140736189149712 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 2287 267 226 213 0 72 0
[pid=1341] ppid=1340 vsize=0 CPUtime=0.25 cores=1,3,5,7
/proc/1341/stat : 1341 (glucose) R 1340 4511 2640 0 -1 4202500 10977 0 0 0 23 2 0 0 20 0 1 0 291807101 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1341/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1291.03
Current children cumulated vsize (KiB) 38816

[startup+1313.41 s]
/proc/loadavg: 2.30 2.08 2.01 3/185 1346
/proc/meminfo: memFree=30376504/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1290.78 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 4627830 32108642 0 0 15723 2947 80542 29866 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1290.78
Current children cumulated vsize (KiB) 29668
#
############


[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/185 2501
/proc/meminfo: memFree=30386244/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1339.01 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 4801685 33300085 0 0 16315 3055 83535 30996 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1339.01
Current children cumulated vsize (KiB) 29668

[startup+1422.31 s]
/proc/loadavg: 1.93 2.01 1.99 3/184 3865
/proc/meminfo: memFree=30371640/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1398.34 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 5013447 34785320 0 0 17031 3193 87225 32385 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1398.34
Current children cumulated vsize (KiB) 29668

[startup+1482.3 s]
/proc/loadavg: 1.86 1.98 1.98 3/184 5221
/proc/meminfo: memFree=30406084/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1457.43 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 5225202 36247839 0 0 17751 3327 90906 33759 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1457.43
Current children cumulated vsize (KiB) 29668

[startup+1542.3 s]
/proc/loadavg: 1.83 1.95 1.97 3/182 6592
/proc/meminfo: memFree=30393884/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1516.89 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 5439179 37729582 0 0 18479 3462 94602 35146 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1516.89
Current children cumulated vsize (KiB) 29668

[startup+1602.3 s]
/proc/loadavg: 1.86 1.94 1.96 3/182 7925
/proc/meminfo: memFree=30426856/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1575.94 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 5650934 39199421 0 0 19198 3597 98282 36517 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1575.94
Current children cumulated vsize (KiB) 29668

[startup+1662.3 s]
/proc/loadavg: 1.84 1.91 1.95 3/183 9290
/proc/meminfo: memFree=30422076/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1635.3 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 5862696 40684542 0 0 19918 3731 101993 37888 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1635.3
Current children cumulated vsize (KiB) 29668

[startup+1722.3 s]
/proc/loadavg: 1.89 1.91 1.95 3/184 10629
/proc/meminfo: memFree=30371600/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1694.33 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 6074451 42156612 0 0 20639 3865 105682 39247 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1694.33
Current children cumulated vsize (KiB) 29668

[startup+1782.3 s]
/proc/loadavg: 2.01 1.94 1.95 3/182 11986
/proc/meminfo: memFree=30424780/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1753.18 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 6286199 43610953 0 0 21358 4001 109345 40614 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400832 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
Current children cumulated CPU time (s) 1753.18
Current children cumulated vsize (KiB) 29668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1829.2 s]
/proc/loadavg: 1.96 1.93 1.95 3/185 13066
/proc/meminfo: memFree=30373740/32873844 swapFree=7900/7900
[pid=4511] ppid=4509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4511/stat : 4511 (npSolver-wbo-It) S 4509 4511 2640 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291675796 9367552 275 33554432000 4194304 5064252 140734939248896 140734939247808 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4511/statm: 2287 275 233 213 0 72 0
[pid=4512] ppid=4511 vsize=20520 CPUtime=1800.01 cores=1,3,5,7
/proc/4512/stat : 4512 (npSolver-wbo) S 4511 4511 2640 0 -1 4202496 6453381 44780682 0 0 21924 4107 112283 41687 20 0 1 0 291675797 21012480 4586 33554432000 4194304 5990268 140735330409424 140735330400320 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 20 0 0
/proc/4512/statm: 5130 4586 175 439 0 4687 0
[pid=13064] ppid=4512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13064/stat : 13064 (cp2_post.sh) S 4512 4511 2640 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 291858712 9367552 266 33554432000 4194304 5064252 140734594974176 140734594972464 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13064/statm: 2287 266 225 213 0 72 0
[pid=13066] ppid=13064 vsize=8228 CPUtime=0.04 cores=1,3,5,7
/proc/13066/stat : 13066 (coprocessor) R 13064 4511 2640 0 -1 4202496 1911 0 0 0 4 0 0 0 20 0 1 0 291858713 8425472 1347 33554432000 4194304 6586260 140735600992256 140735600989272 5161674 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/13066/statm: 2057 1347 148 584 0 1469 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 47044

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4511 and gives
#  childrusage.ru_utime.tv_sec=1342
#  childrusage.ru_utime.tv_usec=84972
#  childrusage.ru_stime.tv_sec=457
#  childrusage.ru_stime.tv_usec=956380
# CPU time returned by wait4() is 1800.04
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.25
#  lost CPU user time (s): 0.22998
#  lost CPU system time (s): 0.019989

Real time (s): 1829.23
CPU time (s): 1800.3
CPU user time (s): 1342.34
CPU system time (s): 457.96
CPU usage (%): 98.4184
Max. virtual memory (cumulated for all children) (KiB): 87616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1342.08
system time used= 457.956
maximum resident set size= 45132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51236199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38492976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 806139
involuntary context switches= 35535

runsolver used 3.9114 second user time and 10.9033 second system time

The end

Begin job on node137 at 2012-05-29 03:38:33
IDJOB=3715559
IDBENCH=79584
IDSOLVER=2297
FILE ID=node137/3715559-1338255513
RUNJOBID= node137-1338253712-4395
PBS_JOBID= 14624624
Free space on /tmp= 67888 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/zenotravel/normalized-zenotravel02cc_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715559-1338255513/watcher-3715559-1338255513 -o /tmp/evaluation-result-3715559-1338255513/solver-3715559-1338255513 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715559-1338255513.wbo 1311161728 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= f7fbceb2db366adfa00d3571e2c07795
RANDOM SEED=1311161728

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        20919572 kB
Buffers:          438036 kB
Cached:          4463480 kB
SwapCached:        20904 kB
Active:         10699264 kB
Inactive:         321376 kB
Active(anon):    6098568 kB
Inactive(anon):    22936 kB
Active(file):    4600696 kB
Inactive(file):   298440 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              8960 kB
Writeback:             0 kB
AnonPages:       6257272 kB
Mapped:             9496 kB
Shmem:                 0 kB
Slab:             780188 kB
SReclaimable:     221712 kB
SUnreclaim:       558476 kB
KernelStack:        1520 kB
PageTables:        17344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    7305788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2484224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71200 MiB
End job on node137 at 2012-05-29 04:09:02