0.00/0.53	c run usual solver
3.68/3.73	o 68
3.68/3.73	c starting approximation
3.68/3.73	c factor = 2
3.68/3.73	c factor still to low - shrinking to 7.57207
3.68/3.73	c approx number of clauses: 1e+06
3.68/3.73	c current bound: 34
3.93/4.17	c current bound: 34
4.57/4.61	c current bound: 34
4.82/5.05	c current bound: 34
5.37/5.49	c current bound: 34
5.70/6.08	c current bound: 34
6.33/6.51	c current bound: 34
6.57/6.95	c current bound: 34
7.22/7.40	c current bound: 34
7.45/7.84	c current bound: 34
7.91/8.28	c current bound: 34
8.53/8.73	c current bound: 34
8.79/9.17	c current bound: 34
9.43/9.61	c current bound: 34
9.67/10.05	c current bound: 34
10.11/10.49	c current bound: 34
10.66/10.99	c current bound: 34
10.99/11.43	c current bound: 34
11.44/11.87	c current bound: 34
11.87/12.32	c current bound: 34
12.32/12.75	c current bound: 34
12.87/13.19	c current bound: 34
13.19/13.63	c current bound: 34
13.64/14.06	c current bound: 34
14.28/14.50	c current bound: 34
14.50/14.94	c current bound: 34
15.07/15.37	c current bound: 34
15.59/16.07	c current bound: 34
16.03/16.51	c current bound: 34
16.25/16.95	c current bound: 34
16.69/17.38	c current bound: 34
17.13/17.82	c current bound: 34
17.57/18.26	c current bound: 34
18.12/18.69	c current bound: 34
18.43/19.13	c current bound: 34
18.87/19.56	c current bound: 34
19.52/20.00	c current bound: 34
19.75/20.44	c current bound: 34
20.32/20.88	c current bound: 34
20.81/21.31	c current bound: 34
21.05/21.75	c current bound: 34
21.49/22.19	c current bound: 34
21.93/22.62	c current bound: 34
22.51/23.06	c current bound: 34
23.01/23.50	c current bound: 34
23.25/23.93	c current bound: 34
23.67/24.37	c current bound: 34
24.31/24.80	c current bound: 34
24.70/25.24	c current bound: 34
24.98/25.79	c current bound: 34
25.42/26.23	c current bound: 34
25.86/26.66	c current bound: 34
26.49/27.10	c current bound: 34
26.90/27.54	c current bound: 34
27.17/27.97	c current bound: 34
27.80/28.41	c current bound: 34
28.03/28.84	c current bound: 34
28.47/29.28	c current bound: 34
29.11/29.72	c current bound: 34
29.33/30.15	c current bound: 34
29.78/30.59	c current bound: 34
30.21/31.03	c current bound: 34
30.65/31.46	c current bound: 34
31.20/31.90	c current bound: 34
31.51/32.34	c current bound: 34
31.96/32.77	c current bound: 34
32.62/33.21	c current bound: 34
32.85/33.65	c current bound: 34
33.41/34.09	c current bound: 34
33.73/34.53	c current bound: 34
34.16/34.96	c current bound: 34
34.80/35.41	c current bound: 34
35.25/36.00	c current bound: 34
35.69/36.52	c current bound: 34
35.93/36.96	c current bound: 34
36.47/37.39	c current bound: 34
36.81/37.83	c current bound: 34
37.25/38.27	c current bound: 34
37.89/38.71	c current bound: 34
38.12/39.15	c current bound: 34
38.67/39.59	c current bound: 34
39.00/40.02	c current bound: 34
39.44/40.46	c current bound: 34
39.87/41.48	c current bound: 34
40.31/41.92	c current bound: 34
40.74/42.35	c current bound: 34
41.18/42.79	c current bound: 34
41.63/43.23	c current bound: 34
42.06/43.66	c current bound: 34
42.70/44.10	c current bound: 34
42.93/44.53	c current bound: 34
43.36/44.97	c current bound: 34
44.01/45.41	c current bound: 34
44.25/45.85	c current bound: 34
44.68/46.34	c current bound: 34
45.11/46.78	c current bound: 34
45.76/47.22	c current bound: 34
45.99/47.65	c current bound: 34
46.43/48.09	c current bound: 34
46.87/48.53	c current bound: 34
47.31/48.96	c current bound: 34
47.75/49.40	c current bound: 34
48.18/49.84	c current bound: 34
48.61/50.27	c current bound: 34
49.26/50.71	c current bound: 34
49.49/51.15	c current bound: 34
49.94/51.59	c current bound: 34
50.38/52.04	c current bound: 34
50.83/52.48	c current bound: 34
51.27/52.92	c current bound: 34
51.71/53.35	c current bound: 34
52.15/53.79	c current bound: 34
52.58/54.23	c current bound: 34
53.02/54.66	c current bound: 34
53.66/55.10	c current bound: 34
53.90/55.54	c current bound: 34
54.49/56.09	c current bound: 34
54.78/56.53	c current bound: 34
55.20/56.97	c current bound: 34
55.85/57.40	c current bound: 34
56.09/57.84	c current bound: 34
56.65/58.28	c current bound: 34
56.96/58.72	c current bound: 34
57.40/59.15	c current bound: 34
57.83/59.59	c current bound: 34
58.28/60.03	c current bound: 34
58.85/60.47	c current bound: 34
59.37/60.92	c current bound: 34
59.62/61.42	c current bound: 34
60.04/61.86	c current bound: 34
60.49/62.32	c current bound: 34
61.10/62.76	c current bound: 34
61.39/63.20	c current bound: 34
61.82/63.63	c current bound: 34
62.25/64.07	c current bound: 34
62.90/64.51	c current bound: 34
63.29/64.95	c current bound: 34
63.57/65.39	c current bound: 34
64.01/65.83	c current bound: 34
64.46/66.72	c current bound: 34
65.04/67.15	c current bound: 34
65.33/67.59	c current bound: 34
65.78/68.03	c current bound: 34
66.20/68.46	c current bound: 34
66.84/68.90	c current bound: 34
67.25/69.34	c current bound: 34
67.51/69.77	c current bound: 34
68.16/70.21	c current bound: 34
68.40/70.64	c current bound: 34
68.83/71.23	c current bound: 34
69.28/71.67	c current bound: 34
69.91/72.10	c current bound: 34
70.31/72.54	c current bound: 34
70.59/72.98	c current bound: 34
71.21/73.41	c current bound: 34
71.46/73.85	c current bound: 34
71.89/74.29	c current bound: 34
72.50/74.72	c current bound: 34
72.75/75.16	c current bound: 34
73.20/75.60	c current bound: 34
73.63/76.03	c current bound: 34
74.27/76.51	c current bound: 34
74.67/76.95	c current bound: 34
74.95/77.38	c current bound: 34
75.37/77.82	c current bound: 34
75.82/78.26	c current bound: 34
76.47/78.70	c current bound: 34
76.87/79.13	c current bound: 34
77.13/79.57	c current bound: 34
77.78/80.00	c current bound: 34
78.00/80.44	c current bound: 34
78.45/80.88	c current bound: 34
79.09/81.32	c current bound: 34
79.31/81.75	c current bound: 34
79.76/82.19	c current bound: 34
80.20/82.63	c current bound: 34
80.63/83.06	c current bound: 34
81.07/83.50	c current bound: 34
81.51/83.94	c current bound: 34
81.95/84.37	c current bound: 34
82.58/84.81	c current bound: 34
82.82/85.25	c current bound: 34
83.27/85.69	c current bound: 34
83.70/86.24	c current bound: 34
84.14/86.68	c current bound: 34
84.58/87.12	c current bound: 34
85.03/87.56	c current bound: 34
85.68/88.00	c current bound: 34
85.90/88.44	c current bound: 34
86.35/88.88	c current bound: 34
86.79/89.32	c current bound: 34
87.23/89.76	c current bound: 34
87.78/90.20	c current bound: 34
88.10/90.64	c current bound: 34
88.55/91.08	c current bound: 34
88.98/91.73	c current bound: 34
89.43/92.17	c current bound: 34
90.07/92.61	c current bound: 34
90.30/93.05	c current bound: 34
90.86/93.48	c current bound: 34
91.17/93.92	c current bound: 34
91.61/94.35	c current bound: 34
92.05/94.79	c current bound: 34
92.49/95.23	c current bound: 34
93.07/95.67	c current bound: 34
93.57/96.10	c current bound: 34
93.81/96.65	c current bound: 34
94.23/97.09	c current bound: 34
94.67/97.53	c current bound: 34
95.25/97.96	c current bound: 34
95.75/98.40	c current bound: 34
95.97/98.84	c current bound: 34
96.41/99.27	c current bound: 34
97.05/99.71	c current bound: 34
97.45/100.15	c current bound: 34
97.73/100.59	c current bound: 34
98.17/101.02	c current bound: 34
98.60/101.46	c current bound: 34
99.25/101.90	c current bound: 34
99.65/102.34	c current bound: 34
99.92/102.77	c current bound: 34
100.55/103.21	c current bound: 34
100.79/103.65	c current bound: 34
101.22/104.08	c current bound: 34
101.86/104.52	c current bound: 34
102.10/104.96	c current bound: 34
102.75/105.40	c current bound: 34
102.98/105.84	c current bound: 34
103.41/106.37	c current bound: 34
104.05/106.81	c current bound: 34
104.30/107.25	c current bound: 34
104.73/107.69	c current bound: 34
105.17/108.12	c current bound: 34
105.60/108.56	c current bound: 34
106.25/109.00	c current bound: 34
106.49/109.44	c current bound: 34
106.92/109.87	c current bound: 34
107.55/110.31	c current bound: 34
107.80/110.75	c current bound: 34
108.35/111.18	c current bound: 34
108.67/111.62	c current bound: 34
109.11/112.06	c current bound: 34
109.76/112.50	c current bound: 34
110.00/112.94	c current bound: 34
110.56/113.38	c current bound: 34
110.88/113.82	c current bound: 34
111.31/114.26	c current bound: 34
111.96/114.70	c current bound: 34
112.20/115.14	c current bound: 34
112.75/115.58	c current bound: 34
113.07/116.02	c current bound: 34
113.67/116.55	c current bound: 34
113.95/116.99	c current bound: 34
114.40/117.43	c current bound: 34
114.84/117.87	c current bound: 34
115.48/118.31	c current bound: 34
115.87/118.75	c current bound: 34
116.17/119.18	c current bound: 34
116.60/119.62	c current bound: 34
117.03/120.06	c current bound: 34
117.46/120.49	c current bound: 34
118.08/120.93	c current bound: 34
118.34/121.37	c current bound: 34
118.99/121.80	c current bound: 34
119.23/122.24	c current bound: 34
119.66/122.68	c current bound: 34
120.30/123.12	c current bound: 34
120.54/123.55	c current bound: 34
120.98/123.99	c current bound: 34
121.40/124.43	c current bound: 34
121.84/124.86	c current bound: 34
122.29/125.30	c current bound: 34
122.73/125.74	c current bound: 34
123.15/126.18	c current bound: 34
123.59/126.72	c current bound: 34
124.03/127.16	c current bound: 34
124.60/127.60	c current bound: 34
124.92/128.03	c current bound: 34
125.36/128.47	c current bound: 34
125.99/128.91	c current bound: 34
126.23/129.35	c current bound: 34
126.79/129.78	c current bound: 34
127.11/130.22	c current bound: 34
127.55/130.66	c current bound: 34
127.99/131.10	c current bound: 34
128.42/131.53	c current bound: 34
129.01/131.97	c current bound: 34
129.50/132.41	c current bound: 34
129.74/132.85	c current bound: 34
130.18/133.29	c current bound: 34
130.61/133.72	c current bound: 34
131.19/134.16	c current bound: 34
131.70/134.60	c current bound: 34
131.93/135.04	c current bound: 34
132.37/135.47	c current bound: 34
133.01/135.91	c current bound: 34
133.40/136.35	c current bound: 34
133.68/136.89	c current bound: 34
134.12/137.33	c current bound: 34
134.55/137.77	c current bound: 34
135.21/138.21	c current bound: 34
135.60/138.64	c current bound: 34
135.87/139.08	c current bound: 34
136.31/139.54	c current bound: 34
136.78/139.98	c current bound: 34
137.21/140.42	c current bound: 34
137.80/140.86	c current bound: 34
138.30/141.30	c current bound: 34
138.53/141.74	c current bound: 34
138.98/142.18	c current bound: 34
139.43/142.63	c current bound: 34
139.99/143.06	c current bound: 34
140.51/143.50	c current bound: 34
140.74/143.96	c current bound: 34
141.41/144.40	c current bound: 34
141.65/144.84	c current bound: 34
142.21/145.28	c current bound: 34
142.72/145.71	c current bound: 34
142.96/146.15	c current bound: 34
143.39/146.59	c current bound: 34
144.03/147.41	c current bound: 34
144.26/147.85	c current bound: 34
144.70/148.29	c current bound: 34
145.14/148.72	c current bound: 34
145.57/149.16	c current bound: 34
146.13/149.60	c current bound: 34
146.45/150.03	c current bound: 34
146.88/150.47	c current bound: 34
147.52/150.91	c current bound: 34
147.77/151.34	c current bound: 34
148.37/151.89	c current bound: 34
148.64/152.32	c current bound: 34
149.08/152.76	c current bound: 34
149.72/153.20	c current bound: 34
149.95/153.63	c current bound: 34
150.52/154.07	c current bound: 34
151.03/154.51	c current bound: 34
151.26/154.94	c current bound: 34
151.70/155.38	c current bound: 34
152.14/155.82	c current bound: 34
152.72/156.26	c current bound: 34
153.02/156.69	c current bound: 34
153.45/157.13	c current bound: 34
153.89/157.57	c current bound: 34
154.54/158.00	c current bound: 34
154.93/158.44	c current bound: 34
155.21/158.88	c current bound: 34
155.65/159.32	c current bound: 34
156.08/159.75	c current bound: 34
156.51/160.19	c current bound: 34
157.15/160.63	c current bound: 34
157.40/161.06	c current bound: 34
158.05/161.50	c current bound: 34
158.27/162.05	c current bound: 34
158.72/162.49	c current bound: 34
159.15/162.93	c current bound: 34
159.59/163.37	c current bound: 34
160.02/163.80	c current bound: 34
160.45/164.24	c current bound: 34
160.90/164.68	c current bound: 34
161.34/165.12	c current bound: 34
161.78/165.56	c current bound: 34
162.22/166.00	c current bound: 34
162.65/166.44	c current bound: 34
163.10/166.88	c current bound: 34
163.55/167.37	c current bound: 34
164.19/167.81	c current bound: 34
164.57/168.25	c current bound: 34
164.86/168.69	c current bound: 34
165.30/169.13	c current bound: 34
165.74/169.56	c current bound: 34
166.40/170.00	c current bound: 34
166.79/170.44	c current bound: 34
167.07/170.88	c current bound: 34
167.50/171.32	c current bound: 34
167.95/171.76	c current bound: 34
168.38/172.59	c current bound: 34
168.83/173.03	c current bound: 34
169.25/173.46	c current bound: 34
169.90/173.90	c current bound: 34
170.13/174.34	c current bound: 34
170.56/174.77	c current bound: 34
171.20/175.21	c current bound: 34
171.43/175.65	c current bound: 34
171.99/176.08	c current bound: 34
172.32/176.53	c current bound: 34
172.90/177.09	c current bound: 34
173.19/177.52	c current bound: 34
173.63/177.96	c current bound: 34
174.06/178.39	c current bound: 34
174.50/178.83	c current bound: 34
175.08/179.27	c current bound: 34
175.58/179.71	c current bound: 34
175.80/180.14	c current bound: 34
176.25/180.58	c current bound: 34
176.68/181.02	c current bound: 34
177.27/181.45	c current bound: 34
177.57/181.89	c current bound: 34
177.99/182.33	c current bound: 34
178.44/182.76	c current bound: 34
179.07/183.20	c current bound: 34
179.48/183.64	c current bound: 34
179.74/184.08	c current bound: 34
180.39/184.51	c current bound: 34
180.63/184.95	c current bound: 34
181.07/185.39	c current bound: 34
181.67/185.83	c current bound: 34
181.94/186.27	c current bound: 34
182.59/186.70	c current bound: 34
182.82/187.27	c current bound: 34
183.47/187.71	c current bound: 34
183.85/188.14	c current bound: 34
184.14/188.58	c current bound: 34
184.57/189.02	c current bound: 34
185.01/189.45	c current bound: 34
185.44/189.89	c current bound: 34
186.06/190.33	c current bound: 34
186.32/190.76	c current bound: 34
186.96/191.20	c current bound: 34
187.19/191.64	c current bound: 34
187.63/192.08	c current bound: 34
188.22/192.56	c current bound: 34
188.52/193.02	c current bound: 34
188.99/193.46	c current bound: 34
189.65/193.90	c current bound: 34
189.87/194.34	c current bound: 34
190.43/194.78	c current bound: 34
190.76/195.22	c current bound: 34
191.20/195.66	c current bound: 34
191.84/196.10	c current bound: 34
192.08/196.54	c current bound: 34
192.63/196.98	c current bound: 34
192.95/197.78	c current bound: 34
193.59/198.21	c current bound: 34
193.83/198.65	c current bound: 34
194.40/199.09	c current bound: 34
194.70/199.52	c current bound: 34
195.14/199.96	c current bound: 34
195.58/200.39	c current bound: 34
196.02/200.83	c current bound: 34
196.58/201.27	c current bound: 34
197.10/201.70	c current bound: 34
197.33/202.14	c current bound: 34
197.77/202.62	c current bound: 34
198.21/203.05	c current bound: 34
198.75/203.49	c current bound: 34
199.09/203.93	c current bound: 34
199.52/204.36	c current bound: 34
200.16/204.80	c current bound: 34
200.40/205.24	c current bound: 34
200.96/205.67	c current bound: 34
201.46/206.11	c current bound: 34
201.70/206.55	c current bound: 34
202.14/206.98	c current bound: 34
202.58/207.42	c current bound: 34
203.17/207.86	c current bound: 34
203.47/208.29	c current bound: 34
203.89/208.73	c current bound: 34
204.34/209.16	c current bound: 34
204.98/209.60	c current bound: 34
205.37/210.04	c current bound: 34
205.65/210.47	c current bound: 34
206.09/210.92	c current bound: 34
206.53/211.35	c current bound: 34
206.96/211.79	c current bound: 34
207.56/212.34	c current bound: 34
207.84/212.78	c current bound: 34
208.47/213.21	c current bound: 34
208.71/213.65	c current bound: 34
209.15/214.09	c current bound: 34
209.78/214.52	c current bound: 34
210.02/214.96	c current bound: 34
210.67/215.40	c current bound: 34
210.91/215.83	c current bound: 34
211.35/216.27	c current bound: 34
211.99/216.71	c current bound: 34
212.22/217.15	c current bound: 34
212.65/217.58	c current bound: 34
213.08/218.02	c current bound: 34
213.53/218.47	c current bound: 34
214.19/218.91	c current bound: 34
214.41/219.35	c current bound: 34
214.86/219.79	c current bound: 34
215.31/220.23	c current bound: 34
215.73/220.67	c current bound: 34
216.38/221.11	c current bound: 34
216.62/221.55	c current bound: 34
217.05/221.98	c current bound: 34
217.50/222.43	c current bound: 34
217.94/222.86	c current bound: 34
218.58/223.30	c current bound: 34
218.82/223.74	c current bound: 34
219.26/224.18	c current bound: 34
219.89/224.61	c current bound: 34
220.13/225.05	c current bound: 34
220.68/225.49	c current bound: 34
221.01/225.93	c current bound: 34
221.44/226.37	c current bound: 34
222.09/226.80	c current bound: 34
222.52/227.84	c current bound: 34
222.76/228.28	c current bound: 34
223.39/228.72	c current bound: 34
223.63/229.16	c current bound: 34
224.08/229.59	c current bound: 34
224.51/230.03	c current bound: 34
224.96/230.47	c current bound: 34
225.60/230.90	c current bound: 34
225.83/231.34	c current bound: 34
226.27/231.78	c current bound: 34
226.92/232.31	c current bound: 34
227.15/232.75	c current bound: 34
227.72/233.19	c current bound: 34
228.02/233.62	c current bound: 34
228.46/234.06	c current bound: 34
229.11/234.50	c current bound: 34
229.34/234.93	c current bound: 34
229.92/235.37	c current bound: 34
230.41/235.81	c current bound: 34
230.65/236.25	c current bound: 34
231.09/236.68	c current bound: 34
231.52/237.12	c current bound: 34
232.12/237.56	c current bound: 34
232.62/238.00	c current bound: 34
232.85/238.44	c current bound: 34
233.29/238.87	c current bound: 34
233.94/239.31	c current bound: 34
234.32/239.75	c current bound: 34
234.83/240.20	c current bound: 34
235.06/240.64	c current bound: 34
235.51/241.08	c current bound: 34
235.93/241.52	c current bound: 34
236.52/241.95	c current bound: 34
236.82/242.49	c current bound: 34
237.27/242.92	c current bound: 34
237.69/243.36	c current bound: 34
238.34/243.80	c current bound: 34
238.73/244.24	c current bound: 34
239.02/244.68	c current bound: 34
239.46/245.12	c current bound: 34
239.90/245.56	c current bound: 34
240.54/246.01	c current bound: 34
240.95/246.45	c current bound: 34
241.24/246.89	c current bound: 34
241.67/247.33	c current bound: 34
242.12/247.83	c current bound: 34
242.56/248.27	c current bound: 34
243.19/248.71	c current bound: 34
243.42/249.14	c current bound: 34
243.86/249.58	c current bound: 34
244.31/250.02	c current bound: 34
244.75/250.46	c current bound: 34
245.29/250.89	c current bound: 34
245.61/251.33	c current bound: 34
246.06/251.76	c current bound: 34
246.69/252.20	c current bound: 34
247.11/253.05	c current bound: 34
247.37/253.49	c current bound: 34
247.81/253.92	c current bound: 34
248.25/254.36	c current bound: 34
248.87/254.80	c current bound: 34
249.29/255.23	c current bound: 34
249.54/255.67	c current bound: 34
250.19/256.11	c current bound: 34
250.42/256.54	c current bound: 34
250.87/256.98	c current bound: 34
251.45/257.56	c current bound: 34
251.94/258.00	c current bound: 34
252.33/258.44	c current bound: 34
252.62/258.88	c current bound: 34
253.25/259.31	c current bound: 34
253.50/259.75	c current bound: 34
253.92/260.19	c current bound: 34
254.54/260.62	c current bound: 34
254.80/261.06	c current bound: 34
255.44/261.50	c current bound: 34
255.67/261.93	c current bound: 34
256.12/262.37	c current bound: 34
256.71/262.84	c current bound: 34
257.00/263.28	c current bound: 34
257.42/263.72	c current bound: 34
257.86/264.15	c current bound: 34
258.30/264.59	c current bound: 34
258.90/265.03	c current bound: 34
259.18/265.46	c current bound: 34
259.83/265.90	c current bound: 34
260.04/266.34	c current bound: 34
260.49/266.78	c current bound: 34
261.14/267.21	c current bound: 34
261.37/267.65	c current bound: 34
261.80/268.09	c current bound: 34
262.24/268.52	c current bound: 34
262.68/268.96	c current bound: 34
263.12/269.40	c current bound: 34
263.56/269.84	c current bound: 34
264.00/270.28	c current bound: 34
264.45/270.72	c current bound: 34
264.89/271.16	c current bound: 34
265.53/271.60	c current bound: 34
265.76/272.04	c current bound: 34
266.40/272.61	c current bound: 34
266.65/273.05	c current bound: 34
267.08/273.49	c current bound: 34
267.70/273.93	c current bound: 34
267.96/274.37	c current bound: 34
268.60/274.81	c current bound: 34
268.84/275.25	c current bound: 34
269.28/275.69	c current bound: 34
269.89/276.14	c current bound: 34
270.15/276.57	c current bound: 34
270.79/277.01	c current bound: 34
271.04/277.44	c current bound: 34
271.69/278.40	c current bound: 34
271.91/278.84	c current bound: 34
272.35/279.28	c current bound: 34
272.79/279.72	c current bound: 34
273.22/280.15	c current bound: 34
273.77/280.59	c current bound: 34
274.09/281.02	c current bound: 34
274.53/281.46	c current bound: 34
275.18/281.90	c current bound: 34
275.41/282.33	c current bound: 34
275.99/282.77	c current bound: 34
276.48/283.21	c current bound: 34
276.72/283.64	c current bound: 34
277.15/284.08	c current bound: 34
277.60/284.52	c current bound: 34
278.20/284.96	c current bound: 34
278.68/285.40	c current bound: 34
278.91/285.83	c current bound: 34
279.36/286.28	c current bound: 34
279.99/286.71	c current bound: 34
280.40/287.15	c current bound: 34
280.87/287.70	c current bound: 34
281.25/288.14	c current bound: 34
281.54/288.58	c current bound: 34
281.97/289.02	c current bound: 34
282.41/289.46	c current bound: 34
283.06/289.90	c current bound: 34
283.46/290.34	c current bound: 34
283.73/290.77	c current bound: 34
284.37/291.21	c current bound: 34
284.60/291.65	c current bound: 34
285.04/292.08	c current bound: 34
285.66/292.52	c current bound: 34
286.12/293.00	c current bound: 34
286.35/293.43	c current bound: 34
286.79/293.87	c current bound: 34
287.43/294.31	c current bound: 34
287.82/294.74	c current bound: 34
288.10/295.18	c current bound: 34
288.54/295.62	c current bound: 34
288.99/296.06	c current bound: 34
289.63/296.50	c current bound: 34
290.01/296.94	c current bound: 34
290.30/297.38	c current bound: 34
290.74/297.82	c current bound: 34
291.17/298.26	c current bound: 34
291.83/298.70	c current bound: 34
292.23/299.14	c current bound: 34
292.50/299.58	c current bound: 34
292.95/300.02	c current bound: 34
293.37/300.46	c current bound: 34
294.03/300.90	c current bound: 34
294.43/301.33	c current bound: 34
294.70/301.78	c current bound: 34
295.34/302.21	c current bound: 34
295.58/303.37	c current bound: 34
296.24/303.81	c current bound: 34
296.46/304.24	c current bound: 34
297.02/304.68	c current bound: 34
297.33/305.12	c current bound: 34
297.78/305.55	c current bound: 34
298.21/305.99	c current bound: 34
298.65/306.43	c current bound: 34
299.22/306.87	c current bound: 34
299.73/307.30	c current bound: 34
299.96/307.87	c current bound: 34
300.62/308.30	c current bound: 34
300.85/308.74	c current bound: 34
301.41/309.18	c current bound: 34
301.91/309.61	c current bound: 34
302.15/310.05	c current bound: 34
302.58/310.49	c current bound: 34
303.02/310.92	c current bound: 34
303.61/311.36	c current bound: 34
303.90/311.80	c current bound: 34
304.34/312.23	c current bound: 34
304.78/312.67	c current bound: 34
305.21/313.16	c current bound: 34
305.86/313.60	c current bound: 34
306.09/314.03	c current bound: 34
306.53/314.47	c current bound: 34
307.16/314.91	c current bound: 34
307.41/315.34	c current bound: 34
307.95/315.78	c current bound: 34
308.28/316.22	c current bound: 34
308.72/316.65	c current bound: 34
309.16/317.09	c current bound: 34
309.59/317.53	c current bound: 34
310.17/317.96	c current bound: 34
310.67/318.40	c current bound: 34
310.90/318.84	c current bound: 34
311.35/319.28	c current bound: 34
311.79/319.72	c current bound: 34
312.38/320.15	c current bound: 34
312.68/320.59	c current bound: 34
313.10/321.03	c current bound: 34
313.54/321.47	c current bound: 34
314.19/321.90	c current bound: 34
314.58/322.34	c current bound: 34
314.86/322.94	c current bound: 34
315.42/323.38	c current bound: 34
315.74/323.82	c current bound: 34
316.17/324.26	c current bound: 34
316.81/324.70	c current bound: 34
317.06/325.14	c current bound: 34
317.62/325.58	c current bound: 34
317.94/326.02	c current bound: 34
318.38/326.46	c current bound: 34
319.03/326.90	c current bound: 34
319.26/327.34	c current bound: 34
319.87/328.05	c current bound: 34
320.14/328.49	c current bound: 34
320.76/328.93	c current bound: 34
321.00/329.37	c current bound: 34
321.65/329.80	c current bound: 34
321.89/330.24	c current bound: 34
322.33/330.67	c current bound: 34
322.96/331.11	c current bound: 34
323.20/331.55	c current bound: 34
323.63/331.98	c current bound: 34
324.06/332.42	c current bound: 34
324.69/333.42	c current bound: 34
324.95/333.85	c current bound: 34
325.37/334.29	c current bound: 34
325.82/334.73	c current bound: 34
326.25/335.16	c current bound: 34
326.79/335.60	c current bound: 34
327.13/336.04	c current bound: 34
327.57/336.48	c current bound: 34
328.21/336.91	c current bound: 34
328.45/337.35	c current bound: 34
329.01/337.79	c current bound: 34
329.53/338.31	c current bound: 34
329.91/338.74	c current bound: 34
330.42/339.20	c current bound: 34
330.65/339.63	c current bound: 34
331.09/340.07	c current bound: 34
331.72/340.51	c current bound: 34
332.11/340.94	c current bound: 34
332.39/341.38	c current bound: 34
332.82/341.82	c current bound: 34
333.27/342.26	c current bound: 34
333.70/342.69	c current bound: 34
334.31/343.13	c current bound: 34
334.58/343.57	c current bound: 34
335.22/344.01	c current bound: 34
335.45/344.45	c current bound: 34
335.91/344.89	c current bound: 34
336.51/345.33	c current bound: 34
336.78/345.77	c current bound: 34
337.42/346.21	c current bound: 34
337.66/346.65	c current bound: 34
338.08/347.09	c current bound: 34
338.73/347.53	c current bound: 34
338.98/348.09	c current bound: 34
339.41/348.53	c current bound: 34
339.85/348.97	c current bound: 34
340.49/349.41	c current bound: 34
340.89/349.85	c current bound: 34
341.18/350.29	c current bound: 34
341.62/350.73	c current bound: 34
342.06/351.18	c current bound: 34
342.51/351.62	c current bound: 34
343.09/352.05	c current bound: 34
343.38/352.49	c current bound: 34
344.03/353.01	c current bound: 34
344.27/353.45	c current bound: 34
344.69/353.89	c current bound: 34
345.14/354.33	c current bound: 34
345.57/354.77	c current bound: 34
346.22/355.20	c current bound: 34
346.46/355.64	c current bound: 34
346.90/356.08	c current bound: 34
347.54/356.51	c current bound: 34
347.76/356.95	c current bound: 34
348.20/357.39	c current bound: 34
348.64/357.82	c current bound: 34
349.29/358.69	c current bound: 34
349.51/359.13	c current bound: 34
349.95/359.57	c current bound: 34
350.59/360.00	c current bound: 34
350.82/360.44	c current bound: 34
351.39/360.87	c current bound: 34
351.89/361.31	c current bound: 34
352.13/361.74	c current bound: 34
352.56/362.18	c current bound: 34
353.00/362.62	c current bound: 34
353.59/363.16	c current bound: 34
354.07/363.60	c current bound: 34
354.48/364.03	c current bound: 34
354.74/364.47	c current bound: 34
355.39/364.90	c current bound: 34
355.63/365.34	c current bound: 34
356.05/365.78	c current bound: 34
356.70/366.22	c current bound: 34
356.93/366.65	c current bound: 34
357.37/367.09	c current bound: 34
357.81/367.53	c current bound: 34
358.25/367.96	c current bound: 34
358.68/368.40	c current bound: 34
359.12/368.84	c current bound: 34
359.55/369.27	c current bound: 34
360.19/369.71	c current bound: 34
360.43/370.15	c current bound: 34
360.87/370.59	c current bound: 34
361.31/371.02	c current bound: 34
361.74/371.47	c current bound: 34
362.39/371.90	c current bound: 34
362.63/372.34	c current bound: 34
363.06/372.78	c current bound: 34
363.49/373.39	c current bound: 34
363.93/373.83	c current bound: 34
364.36/374.27	c current bound: 34
365.01/374.71	c current bound: 34
365.41/375.14	c current bound: 34
365.69/375.58	c current bound: 34
366.13/376.02	c current bound: 34
366.56/376.47	c current bound: 34
367.21/376.91	c current bound: 34
367.59/377.35	c current bound: 34
367.88/377.79	c current bound: 34
368.49/378.37	c current bound: 34
368.97/378.81	c current bound: 34
369.21/379.26	c current bound: 34
369.87/379.70	c current bound: 34
370.08/380.14	c current bound: 34
370.66/380.58	c current bound: 34
371.16/381.01	c current bound: 34
371.41/381.45	c current bound: 34
371.84/381.89	c current bound: 34
372.28/382.32	c current bound: 34
372.87/382.76	c current bound: 34
373.36/383.20	c current bound: 34
373.59/384.23	c current bound: 34
374.04/384.66	c current bound: 34
374.67/385.10	c current bound: 34
374.91/385.54	c current bound: 34
375.33/385.97	c current bound: 34
375.98/386.41	c current bound: 34
376.23/386.85	c current bound: 34
376.79/387.29	c current bound: 34
377.11/387.72	c current bound: 34
377.54/388.16	c current bound: 34
377.98/388.63	c current bound: 34
378.42/389.07	c current bound: 34
379.06/389.51	c current bound: 34
379.30/389.94	c current bound: 34
379.75/390.38	c current bound: 34
380.17/390.82	c current bound: 34
380.60/391.25	c current bound: 34
381.17/391.69	c current bound: 34
381.49/392.13	c current bound: 34
381.92/392.56	c current bound: 34
382.56/393.00	c current bound: 34
382.79/393.44	c current bound: 34
383.38/393.87	c current bound: 34
383.87/394.31	c current bound: 34
384.10/394.74	c current bound: 34
384.55/395.18	c current bound: 34
384.97/395.62	c current bound: 34
385.57/396.06	c current bound: 34
385.85/396.50	c current bound: 34
386.29/396.93	c current bound: 34
386.73/397.37	c current bound: 34
387.37/397.81	c current bound: 34
387.78/398.42	c current bound: 34
388.04/398.85	c current bound: 34
388.61/399.29	c current bound: 34
388.92/399.73	c current bound: 34
389.36/400.18	c current bound: 34
389.81/400.62	c current bound: 34
390.25/401.06	c current bound: 34
390.80/401.50	c current bound: 34
391.14/401.94	c current bound: 34
391.58/402.37	c current bound: 34
392.02/402.82	c current bound: 34
392.65/403.41	c current bound: 34
392.90/403.85	c current bound: 34
393.34/404.29	c current bound: 34
393.95/404.74	c current bound: 34
394.22/405.18	c current bound: 34
394.66/405.62	c current bound: 34
395.11/406.06	c current bound: 34
395.75/406.50	c current bound: 34
396.17/406.94	c current bound: 34
396.44/407.38	c current bound: 34
397.07/407.81	c current bound: 34
397.31/408.95	c current bound: 34
397.75/409.39	c current bound: 34
398.19/409.82	c current bound: 34
398.77/410.26	c current bound: 34
399.05/410.69	c current bound: 34
399.49/411.13	c current bound: 34
399.94/411.57	c current bound: 34
400.57/412.01	c current bound: 34
400.96/412.44	c current bound: 34
401.25/412.88	c current bound: 34
401.68/413.42	c current bound: 34
402.13/413.85	c current bound: 34
402.55/414.29	c current bound: 34
403.16/414.73	c current bound: 34
403.43/415.16	c current bound: 34
404.07/415.60	c current bound: 34
404.30/416.04	c current bound: 34
404.73/416.47	c current bound: 34
405.39/416.91	c current bound: 34
405.62/417.35	c current bound: 34
406.05/417.78	c current bound: 34
406.49/418.22	c current bound: 34
406.94/418.66	c current bound: 34
407.48/419.10	c current bound: 34
407.80/419.53	c current bound: 34
408.25/419.98	c current bound: 34
408.68/420.42	c current bound: 34
409.13/420.86	c current bound: 34
409.68/421.29	c current bound: 34
410.00/421.73	c current bound: 34
410.44/422.17	c current bound: 34
411.08/422.61	c current bound: 34
411.32/423.04	c current bound: 34
411.92/423.66	c current bound: 34
412.20/424.09	c current bound: 34
412.80/424.53	c current bound: 34
413.08/424.97	c current bound: 34
413.72/425.40	c current bound: 34
413.96/425.84	c current bound: 34
414.39/426.28	c current bound: 34
415.01/426.73	c current bound: 34
415.28/427.17	c current bound: 34
415.93/427.60	c current bound: 34
416.16/428.05	c current bound: 34
416.59/428.64	c current bound: 34
417.16/429.08	c current bound: 34
417.48/429.52	c current bound: 34
417.92/429.96	c current bound: 34
418.57/430.40	c current bound: 34
418.80/430.84	c current bound: 34
419.38/431.28	c current bound: 34
419.69/431.72	c current bound: 34
420.13/432.16	c current bound: 34
420.78/432.60	c current bound: 34
421.00/433.04	c current bound: 34
421.63/434.15	c current bound: 34
422.01/434.59	c current bound: 34
422.33/435.02	c current bound: 34
422.77/435.46	c current bound: 34
423.42/435.90	c current bound: 34
423.64/436.33	c current bound: 34
424.21/436.77	c current bound: 34
424.72/437.21	c current bound: 34
424.96/437.64	c current bound: 34
425.39/438.08	c current bound: 34
425.83/438.69	c current bound: 34
426.26/439.12	c current bound: 34
426.70/439.56	c current bound: 34
427.26/440.00	c current bound: 34
427.58/440.43	c current bound: 34
428.01/440.87	c current bound: 34
428.66/441.31	c current bound: 34
428.90/441.74	c current bound: 34
429.45/442.18	c current bound: 34
429.78/442.62	c current bound: 34
430.21/443.05	c current bound: 34
430.85/443.59	c current bound: 34
431.09/444.03	c current bound: 34
431.67/444.47	c current bound: 34
432.18/444.90	c current bound: 34
432.41/445.34	c current bound: 34
432.85/445.78	c current bound: 34
433.29/446.22	c current bound: 34
433.87/446.66	c current bound: 34
434.16/447.09	c current bound: 34
434.60/447.53	c current bound: 34
435.04/447.97	c current bound: 34
435.68/448.41	c current bound: 34
436.07/448.84	c current bound: 34
436.35/449.28	c current bound: 34
436.79/449.72	c current bound: 34
437.23/450.16	c current bound: 34
437.67/450.59	c current bound: 34
438.27/451.03	c current bound: 34
438.54/451.47	c current bound: 34
439.19/451.90	c current bound: 34
439.42/452.34	c current bound: 34
439.86/452.78	c current bound: 34
440.48/453.23	c current bound: 34
440.75/453.77	c current bound: 34
441.38/454.22	c current bound: 34
441.64/454.66	c current bound: 34
442.28/455.10	c current bound: 34
442.51/455.55	c current bound: 34
442.95/455.99	c current bound: 34
443.58/456.43	c current bound: 34
443.83/456.87	c current bound: 34
444.48/457.30	c current bound: 34
444.71/457.75	c current bound: 34
445.15/458.19	c current bound: 34
445.77/458.63	c current bound: 34
446.03/459.28	c current bound: 34
446.68/459.72	c current bound: 34
446.90/460.15	c current bound: 34
447.34/460.59	c current bound: 34
447.78/461.03	c current bound: 34
448.21/461.46	c current bound: 34
448.66/461.90	c current bound: 34
449.09/462.34	c current bound: 34
449.53/462.78	c current bound: 34
450.15/463.21	c current bound: 34
450.58/464.37	c current bound: 34
451.06/464.81	c current bound: 34
451.44/465.24	c current bound: 34
451.72/465.68	c current bound: 34
452.15/466.12	c current bound: 34
452.58/466.56	c current bound: 34
453.03/466.99	c current bound: 34
453.62/467.43	c current bound: 34
453.89/467.87	c current bound: 34
454.54/468.30	c current bound: 34
454.77/468.86	c current bound: 34
455.42/469.30	c current bound: 34
455.81/469.73	c current bound: 34
456.07/470.17	c current bound: 34
456.73/470.60	c current bound: 34
456.96/471.04	c current bound: 34
457.39/471.48	c current bound: 34
458.03/471.91	c current bound: 34
458.26/472.35	c current bound: 34
458.71/472.79	c current bound: 34
459.15/473.22	c current bound: 34
459.58/473.66	c current bound: 34
460.13/474.10	c current bound: 34
460.45/474.53	c current bound: 34
460.90/474.97	c current bound: 34
461.55/475.41	c current bound: 34
461.78/475.84	c current bound: 34
462.33/476.28	c current bound: 34
462.65/476.72	c current bound: 34
463.10/477.15	c current bound: 34
463.54/477.59	c current bound: 34
463.96/478.03	c current bound: 34
464.55/478.47	c current bound: 34
464.84/479.02	c current bound: 34
465.27/479.46	c current bound: 34
465.72/479.89	c current bound: 34
466.17/480.33	c current bound: 34
466.73/480.77	c current bound: 34
467.23/481.21	c current bound: 34
467.49/481.65	c current bound: 34
468.13/482.10	c current bound: 34
468.37/482.54	c current bound: 34
468.94/482.97	c current bound: 34
469.45/483.41	c current bound: 34
469.69/483.85	c current bound: 34
470.12/484.38	c current bound: 34
470.57/484.82	c current bound: 34
471.00/485.26	c current bound: 34
471.66/485.70	c current bound: 34
472.07/486.14	c current bound: 34
472.32/486.57	c current bound: 34
472.96/487.01	c current bound: 34
473.21/487.45	c current bound: 34
473.63/487.88	c current bound: 34
474.45/488.32	c current bound: 34
474.50/488.76	c current bound: 34
475.16/489.65	c current bound: 34
475.38/490.08	c current bound: 34
476.03/490.52	c current bound: 34
476.26/490.95	c current bound: 34
476.70/491.39	c current bound: 34
477.15/491.83	c current bound: 34
477.57/492.27	c current bound: 34
478.01/492.70	c current bound: 34
478.46/493.14	c current bound: 34
478.90/493.57	c current bound: 34
479.33/494.12	c current bound: 34
479.77/494.56	c current bound: 34
480.31/494.99	c current bound: 34
480.64/495.43	c current bound: 34
481.08/495.86	c current bound: 34
481.73/496.30	c current bound: 34
481.96/496.74	c current bound: 34
482.52/497.19	c current bound: 34
482.85/497.63	c current bound: 34
483.29/498.07	c current bound: 34
483.93/498.50	c current bound: 34
484.17/498.94	c current bound: 34
484.74/499.38	c current bound: 34
485.24/499.81	c current bound: 34
485.48/500.25	c current bound: 34
485.91/500.69	c current bound: 34
486.35/501.13	c current bound: 34
486.93/501.56	c current bound: 34
487.44/502.00	c current bound: 34
487.67/502.43	c current bound: 34
488.11/502.87	c current bound: 34
488.75/503.31	c current bound: 34
489.14/503.75	c current bound: 34
489.42/504.19	c current bound: 34
489.86/504.62	c current bound: 34
490.31/505.06	c current bound: 34
490.94/505.50	c current bound: 34
491.35/505.94	c current bound: 34
491.62/506.37	c current bound: 34
492.26/506.81	c current bound: 34
492.50/507.25	c current bound: 34
492.95/507.69	c current bound: 34
493.55/508.14	c current bound: 34
493.83/508.58	c current bound: 34
494.26/509.02	c current bound: 34
494.70/509.45	c current bound: 34
495.14/509.89	c current bound: 34
495.75/510.33	c current bound: 34
496.02/510.77	c current bound: 34
496.65/511.21	c current bound: 34
496.89/511.65	c current bound: 34
497.33/512.09	c current bound: 34
497.94/512.53	c current bound: 34
498.19/512.96	c current bound: 34
498.85/513.40	c current bound: 34
499.07/513.83	c current bound: 34
499.69/514.97	c current bound: 34
500.17/515.40	c current bound: 34
500.54/515.84	c current bound: 34
500.83/516.28	c current bound: 34
501.47/516.71	c current bound: 34
501.70/517.15	c current bound: 34
502.15/517.59	c current bound: 34
502.76/518.02	c current bound: 34
503.01/518.46	c current bound: 34
503.67/518.90	c current bound: 34
503.91/519.43	c current bound: 34
504.34/519.86	c current bound: 34
504.88/520.30	c current bound: 34
505.22/520.74	c current bound: 34
505.67/521.18	c current bound: 34
506.31/521.61	c current bound: 34
506.53/522.05	c current bound: 34
507.10/522.49	c current bound: 34
507.41/522.92	c current bound: 34
507.86/523.36	c current bound: 34
508.50/523.80	c current bound: 34
508.74/524.23	c current bound: 34
509.30/524.67	c current bound: 34
509.81/525.11	c current bound: 34
510.05/525.55	c current bound: 34
510.48/525.99	c current bound: 34
510.93/526.43	c current bound: 34
511.51/526.86	c current bound: 34
512.01/527.31	c current bound: 34
512.25/527.75	c current bound: 34
512.69/528.18	c current bound: 34
513.13/528.62	c current bound: 34
513.71/529.06	c current bound: 34
514.21/529.60	c current bound: 34
514.44/530.04	c current bound: 34
514.88/530.48	c current bound: 34
515.32/530.92	c current bound: 34
515.92/531.36	c current bound: 34
516.41/531.80	c current bound: 34
516.64/532.23	c current bound: 34
517.09/532.68	c current bound: 34
517.72/533.11	c current bound: 34
518.12/533.56	c current bound: 34
518.63/534.00	c current bound: 34
518.85/534.44	c current bound: 34
519.29/534.93	c current bound: 34
519.73/535.37	c current bound: 34
520.37/535.81	c current bound: 34
520.60/536.25	c current bound: 34
521.05/536.68	c current bound: 34
521.49/537.12	c current bound: 34
521.93/537.56	c current bound: 34
522.57/538.00	c current bound: 34
522.80/538.43	c current bound: 34
523.23/538.87	c current bound: 34
523.88/539.31	c current bound: 34
524.32/540.02	c current bound: 34
524.56/540.46	c current bound: 34
524.99/540.89	c current bound: 34
525.42/541.33	c current bound: 34
525.86/541.76	c current bound: 34
526.31/542.20	c current bound: 34
526.73/542.64	c current bound: 34
527.18/543.07	c current bound: 34
527.82/543.51	c current bound: 34
528.05/543.94	c current bound: 34
528.49/544.38	c current bound: 34
528.93/544.82	c current bound: 34
529.36/545.26	c current bound: 34
529.91/545.69	c current bound: 34
530.23/546.13	c current bound: 34
530.68/546.57	c current bound: 34
531.33/547.00	c current bound: 34
531.56/547.44	c current bound: 34
532.12/547.88	c current bound: 34
532.63/548.31	c current bound: 34
532.86/548.75	c current bound: 34
533.31/549.19	c current bound: 34
533.73/549.79	c current bound: 34
534.18/550.23	c current bound: 34
534.62/550.66	c current bound: 34
535.14/551.10	c current bound: 34
535.48/551.54	c current bound: 34
535.94/551.97	c current bound: 34
536.56/552.41	c current bound: 34
536.81/552.85	c current bound: 34
537.37/553.28	c current bound: 34
537.69/553.72	c current bound: 34
538.12/554.15	c current bound: 34
538.76/554.66	c current bound: 34
538.99/555.13	c current bound: 34
539.56/555.57	c current bound: 34
540.07/556.00	c current bound: 34
540.30/556.44	c current bound: 34
540.74/556.88	c current bound: 34
541.18/557.32	c current bound: 34
541.76/557.75	c current bound: 34
542.05/558.19	c current bound: 34
542.49/558.63	c current bound: 34
542.93/559.06	c current bound: 34
543.57/559.50	c current bound: 34
543.96/559.94	c current bound: 34
544.24/560.38	c current bound: 34
544.69/560.82	c current bound: 34
545.13/561.27	c current bound: 34
545.78/561.71	c current bound: 34
546.16/562.15	c current bound: 34
546.45/562.59	c current bound: 34
546.89/563.03	c current bound: 34
547.33/563.47	c current bound: 34
547.97/563.90	c current bound: 34
548.37/564.34	c current bound: 34
548.82/565.44	c current bound: 34
549.09/565.88	c current bound: 34
549.53/566.32	c current bound: 34
549.97/566.76	c current bound: 34
550.41/567.19	c current bound: 34
551.01/567.64	c current bound: 34
551.29/568.07	c current bound: 34
551.92/568.51	c current bound: 34
552.15/568.94	c current bound: 34
552.60/569.38	c current bound: 34
553.19/569.96	c current bound: 34
553.48/570.39	c current bound: 34
554.08/570.83	c current bound: 34
554.34/571.27	c current bound: 34
554.99/571.70	c current bound: 34
555.22/572.14	c current bound: 34
555.66/572.58	c current bound: 34
556.30/573.01	c current bound: 34
556.53/573.45	c current bound: 34
556.97/573.89	c current bound: 34
557.41/574.32	c current bound: 34
557.84/574.76	c current bound: 34
558.46/575.23	c current bound: 34
558.72/575.67	c current bound: 34
559.37/576.10	c current bound: 34
559.60/576.54	c current bound: 34
560.04/576.98	c current bound: 34
560.68/577.42	c current bound: 34
560.90/577.85	c current bound: 34
561.35/578.29	c current bound: 34
561.78/578.73	c current bound: 34
562.23/579.17	c current bound: 34
562.87/579.61	c current bound: 34
563.09/580.05	c current bound: 34
563.54/580.48	c current bound: 34
563.98/580.92	c current bound: 34
564.41/581.36	c current bound: 34
564.86/581.79	c current bound: 34
565.30/582.23	c current bound: 34
565.74/582.67	c current bound: 34
566.38/583.11	c current bound: 34
566.60/583.54	c current bound: 34
567.05/583.98	c current bound: 34
567.48/584.42	c current bound: 34
567.92/585.04	c current bound: 34
568.38/585.48	c current bound: 34
568.82/585.92	c current bound: 34
569.39/586.36	c current bound: 34
569.91/586.80	c current bound: 34
570.15/587.25	c current bound: 34
570.58/587.68	c current bound: 34
571.03/588.12	c current bound: 34
571.59/588.56	c current bound: 34
572.11/589.00	c current bound: 34
572.34/589.44	c current bound: 34
572.78/590.09	c current bound: 34
573.22/590.53	c current bound: 34
573.66/590.97	c current bound: 34
574.31/591.40	c current bound: 34
574.71/591.84	c current bound: 34
574.97/592.27	c current bound: 34
575.61/592.71	c current bound: 34
575.85/593.15	c current bound: 34
576.50/593.60	c current bound: 34
576.90/594.04	c current bound: 34
577.17/594.47	c current bound: 34
577.78/595.55	c current bound: 34
578.05/595.99	c current bound: 34
578.49/596.43	c current bound: 34
578.92/596.87	c current bound: 34
579.57/597.30	c current bound: 34
579.80/597.74	c current bound: 34
580.25/598.18	c current bound: 34
580.66/598.62	c current bound: 34
581.12/599.06	c current bound: 34
581.67/599.49	c current bound: 34
581.99/600.03	c current bound: 34
582.44/600.47	c current bound: 34
583.08/600.91	c current bound: 34
583.33/601.34	c current bound: 34
583.88/601.78	c current bound: 34
584.19/602.22	c current bound: 34
584.64/602.66	c current bound: 34
585.28/603.10	c current bound: 34
585.51/603.53	c current bound: 34
586.07/603.97	c current bound: 34
586.58/604.41	c current bound: 34
586.82/604.85	c current bound: 34
587.26/605.29	c current bound: 34
587.68/605.73	c current bound: 34
588.26/606.17	c current bound: 34
588.78/606.61	c current bound: 34
589.01/607.04	c current bound: 34
589.45/607.48	c current bound: 34
589.88/607.92	c current bound: 34
590.46/608.36	c current bound: 34
590.77/608.79	c current bound: 34
591.20/609.23	c current bound: 34
591.64/609.67	c current bound: 34
592.08/610.22	c current bound: 34
592.52/610.66	c current bound: 34
593.15/611.10	c current bound: 34
593.56/611.54	c current bound: 34
593.84/611.98	c current bound: 34
594.26/612.42	c current bound: 34
594.71/612.86	c current bound: 34
595.36/613.30	c current bound: 34
595.75/613.74	c current bound: 34
596.03/614.18	c current bound: 34
596.47/614.62	c current bound: 34
596.93/615.06	c current bound: 34
597.37/615.54	c current bound: 34
597.93/615.98	c current bound: 34
598.24/616.42	c current bound: 34
598.69/616.86	c current bound: 34
599.34/617.30	c current bound: 34
599.56/617.74	c current bound: 34
600.14/618.17	c current bound: 34
600.65/618.61	c current bound: 34
600.88/619.05	c current bound: 34
601.32/619.48	c current bound: 34
601.75/619.92	c current bound: 34
602.37/620.77	c current bound: 34
602.82/621.21	c current bound: 34
603.07/621.65	c current bound: 34
603.50/622.08	c current bound: 34
604.13/622.52	c current bound: 34
604.36/622.96	c current bound: 34
604.80/623.39	c current bound: 34
605.24/623.83	c current bound: 34
605.68/624.27	c current bound: 34
606.32/624.71	c current bound: 34
606.55/625.24	c current bound: 34
606.99/625.68	c current bound: 34
607.44/626.12	c current bound: 34
607.88/626.56	c current bound: 34
608.42/626.99	c current bound: 34
608.75/627.43	c current bound: 34
609.19/627.87	c current bound: 34
609.84/628.31	c current bound: 34
610.07/628.75	c current bound: 34
610.64/629.18	c current bound: 34
610.94/629.62	c current bound: 34
611.37/630.07	c current bound: 34
611.83/630.56	c current bound: 34
612.48/631.00	c current bound: 34
612.89/631.43	c current bound: 34
613.16/631.87	c current bound: 34
613.79/632.31	c current bound: 34
614.03/632.75	c current bound: 34
614.46/633.18	c current bound: 34
615.10/633.62	c current bound: 34
615.34/634.06	c current bound: 34
615.99/634.50	c current bound: 34
616.21/634.94	c current bound: 34
616.66/635.37	c current bound: 34
617.29/635.82	c current bound: 34
617.54/636.25	c current bound: 34
617.98/636.69	c current bound: 34
618.42/637.13	c current bound: 34
618.84/637.56	c current bound: 34
619.50/638.00	c current bound: 34
619.74/638.44	c current bound: 34
620.18/638.89	c current bound: 34
620.62/639.33	c current bound: 34
621.06/639.77	c current bound: 34
621.65/640.36	c current bound: 34
622.14/640.80	c current bound: 34
622.55/641.24	c current bound: 34
622.82/641.68	c current bound: 34
623.27/642.12	c current bound: 34
623.71/642.56	c current bound: 34
624.14/643.00	c current bound: 34
624.74/643.43	c current bound: 34
625.02/643.87	c current bound: 34
625.66/644.31	c current bound: 34
625.91/644.75	c current bound: 34
626.54/645.86	c current bound: 34
626.99/646.30	c current bound: 34
627.39/646.73	c current bound: 34
627.65/647.17	c current bound: 34
628.29/647.61	c current bound: 34
628.52/648.04	c current bound: 34
628.97/648.48	c current bound: 34
629.60/648.92	c current bound: 34
629.84/649.36	c current bound: 34
630.28/649.79	c current bound: 34
630.71/650.35	c current bound: 34
631.15/650.79	c current bound: 34
631.76/651.23	c current bound: 34
632.03/651.66	c current bound: 34
632.67/652.10	c current bound: 34
632.90/652.54	c current bound: 34
633.35/652.98	c current bound: 34
633.98/653.41	c current bound: 34
634.22/653.85	c current bound: 34
634.66/654.29	c current bound: 34
635.10/654.73	c current bound: 34
635.53/655.17	c current bound: 34
636.12/655.65	c current bound: 34
636.41/656.09	c current bound: 34
636.84/656.54	c current bound: 34
637.30/656.98	c current bound: 34
637.74/657.43	c current bound: 34
638.33/657.87	c current bound: 34
638.84/658.30	c current bound: 34
639.08/658.74	c current bound: 34
639.50/659.18	c current bound: 34
639.95/659.62	c current bound: 34
640.53/660.06	c current bound: 34
640.83/660.49	c current bound: 34
641.27/660.93	c current bound: 34
641.71/661.37	c current bound: 34
642.35/661.81	c current bound: 34
642.73/662.25	c current bound: 34
643.02/662.69	c current bound: 34
643.46/663.13	c current bound: 34
643.90/663.57	c current bound: 34
644.55/664.00	c current bound: 34
644.95/664.45	c current bound: 34
645.22/664.89	c current bound: 34
645.83/665.44	c current bound: 34
646.11/665.88	c current bound: 34
646.54/666.32	c current bound: 34
646.99/666.76	c current bound: 34
647.65/667.21	c current bound: 34
648.05/667.65	c current bound: 34
648.31/668.09	c current bound: 34
648.76/668.52	c current bound: 34
649.19/668.96	c current bound: 34
649.85/669.40	c current bound: 34
650.24/669.84	c current bound: 34
650.52/670.29	c current bound: 34
650.96/671.23	c current bound: 34
651.40/671.67	c current bound: 34
652.04/672.10	c current bound: 34
652.27/672.54	c current bound: 34
652.72/672.98	c current bound: 34
653.15/673.42	c current bound: 34
653.60/673.86	c current bound: 34
654.15/674.29	c current bound: 34
654.47/674.73	c current bound: 34
654.91/675.17	c current bound: 34
655.35/675.62	c current bound: 34
655.79/676.06	c current bound: 34
656.34/676.49	c current bound: 34
656.66/676.93	c current bound: 34
657.11/677.37	c current bound: 34
657.75/677.80	c current bound: 34
657.98/678.24	c current bound: 34
658.55/678.68	c current bound: 34
659.07/679.11	c current bound: 34
659.29/679.55	c current bound: 34
659.72/679.99	c current bound: 34
660.17/680.53	c current bound: 34
660.75/680.97	c current bound: 34
661.25/681.40	c current bound: 34
661.48/681.84	c current bound: 34
661.92/682.27	c current bound: 34
662.56/682.71	c current bound: 34
662.95/683.15	c current bound: 34
663.24/683.58	c current bound: 34
663.68/684.03	c current bound: 34
664.12/684.46	c current bound: 34
664.76/684.90	c current bound: 34
665.16/685.34	c current bound: 34
665.43/685.78	c current bound: 34
666.07/686.21	c current bound: 34
666.31/686.65	c current bound: 34
666.75/687.09	c current bound: 34
667.37/687.53	c current bound: 34
667.64/687.96	c current bound: 34
668.28/688.40	c current bound: 34
668.51/688.84	c current bound: 34
668.95/689.28	c current bound: 34
669.59/689.71	c current bound: 34
669.81/690.15	c current bound: 34
670.48/690.71	c current bound: 34
670.71/691.15	c current bound: 34
671.16/691.59	c current bound: 34
671.60/692.03	c current bound: 34
672.04/692.47	c current bound: 34
672.68/692.91	c current bound: 34
672.92/693.35	c current bound: 34
673.37/693.79	c current bound: 34
673.80/694.23	c current bound: 34
674.25/694.67	c current bound: 34
674.88/695.11	c current bound: 34
675.12/695.55	c current bound: 34
675.56/696.49	c current bound: 34
675.99/696.93	c current bound: 34
676.58/697.36	c current bound: 34
677.09/697.80	c current bound: 34
677.32/698.23	c current bound: 34
677.75/698.67	c current bound: 34
678.40/699.11	c current bound: 34
678.80/699.54	c current bound: 34
679.07/699.98	c current bound: 34
679.69/700.41	c current bound: 34
679.94/700.85	c current bound: 34
680.37/701.29	c current bound: 34
680.99/701.72	c current bound: 34
681.25/702.16	c current bound: 34
681.69/702.59	c current bound: 34
682.13/703.03	c current bound: 34
682.57/703.47	c current bound: 34
683.21/703.91	c current bound: 34
683.43/704.34	c current bound: 34
683.87/704.78	c current bound: 34
684.31/705.22	c current bound: 34
684.75/705.73	c current bound: 34
685.32/706.17	c current bound: 34
685.83/706.61	c current bound: 34
686.07/707.05	c current bound: 34
686.50/707.48	c current bound: 34
686.94/707.92	c current bound: 34
687.52/708.35	c current bound: 34
687.81/708.79	c current bound: 34
688.25/709.22	c current bound: 34
688.69/709.66	c current bound: 34
689.12/710.09	c current bound: 34
689.74/710.53	c current bound: 34
689.99/710.97	c current bound: 34
690.64/711.40	c current bound: 34
690.87/711.84	c current bound: 34
691.31/712.27	c current bound: 34
691.94/712.71	c current bound: 34
692.17/713.15	c current bound: 34
692.61/713.58	c current bound: 34
693.06/714.02	c current bound: 34
693.49/714.45	c current bound: 34
693.94/714.89	c current bound: 34
694.35/715.33	c current bound: 34
694.80/715.87	c current bound: 34
695.45/716.30	c current bound: 34
695.67/716.74	c current bound: 34
696.22/717.18	c current bound: 34
696.54/717.62	c current bound: 34
696.98/718.06	c current bound: 34
697.64/718.50	c current bound: 34
697.86/718.94	c current bound: 34
698.43/719.38	c current bound: 34
698.76/719.82	c current bound: 34
699.19/720.26	c current bound: 34
699.83/720.70	c current bound: 34
700.06/721.25	c current bound: 34
700.62/721.69	c current bound: 34
700.95/722.13	c current bound: 34
701.38/722.56	c current bound: 34
702.02/723.00	c current bound: 34
702.25/723.44	c current bound: 34
702.82/723.88	c current bound: 34
703.33/724.31	c current bound: 34
703.56/724.75	c current bound: 34
704.00/725.19	c current bound: 34
704.44/725.62	c current bound: 34
705.06/726.48	c current bound: 34
705.31/726.92	c current bound: 34
705.76/727.35	c current bound: 34
706.18/727.79	c current bound: 34
706.81/728.23	c current bound: 34
707.06/728.66	c current bound: 34
707.71/729.10	c current bound: 34
707.93/729.54	c current bound: 34
708.38/729.97	c current bound: 34
709.03/730.41	c current bound: 34
709.24/730.99	c current bound: 34
709.86/731.43	c current bound: 34
710.13/731.86	c current bound: 34
710.77/732.30	c current bound: 34
711.00/732.74	c current bound: 34
711.44/733.17	c current bound: 34
712.09/733.61	c current bound: 34
712.32/734.04	c current bound: 34
712.76/734.48	c current bound: 34
713.39/734.91	c current bound: 34
713.63/735.35	c current bound: 34
714.06/735.79	c current bound: 34
714.72/736.30	c current bound: 34
714.95/736.73	c current bound: 34
715.39/737.17	c current bound: 34
716.02/737.61	c current bound: 34
716.41/738.04	c current bound: 34
716.69/738.48	c current bound: 34
717.33/738.91	c current bound: 34
717.58/739.35	c current bound: 34
718.01/739.78	c current bound: 34
718.64/740.22	c current bound: 34
718.87/740.65	c current bound: 34
719.32/741.09	c current bound: 34
719.74/741.53	c current bound: 34
720.19/741.96	c current bound: 34
720.63/742.40	c current bound: 34
721.06/742.83	c current bound: 34
721.50/743.27	c current bound: 34
722.15/743.71	c current bound: 34
722.37/744.15	c current bound: 34
722.82/744.59	c current bound: 34
723.26/745.02	c current bound: 34
723.69/745.46	c current bound: 34
724.29/746.06	c current bound: 34
724.78/746.50	c current bound: 34
725.19/746.94	c current bound: 34
725.45/747.38	c current bound: 34
725.90/747.82	c current bound: 34
726.34/748.26	c current bound: 34
726.99/748.70	c current bound: 34
727.39/749.14	c current bound: 34
727.67/749.58	c current bound: 34
728.29/750.01	c current bound: 34
728.53/750.45	c current bound: 34
729.16/751.55	c current bound: 34
729.43/751.99	c current bound: 34
730.03/752.43	c current bound: 34
730.30/752.87	c current bound: 34
730.95/753.31	c current bound: 34
731.17/753.74	c current bound: 34
731.62/754.18	c current bound: 34
732.25/754.62	c current bound: 34
732.50/755.05	c current bound: 34
732.93/755.49	c current bound: 34
733.36/756.05	c current bound: 34
733.80/756.48	c current bound: 34
734.23/756.92	c current bound: 34
734.67/757.36	c current bound: 34
735.10/757.79	c current bound: 34
735.55/758.23	c current bound: 34
735.97/758.66	c current bound: 34
736.64/759.10	c current bound: 34
736.88/759.54	c current bound: 34
737.30/759.98	c current bound: 34
737.94/760.41	c current bound: 34
738.17/760.85	c current bound: 34
738.73/761.28	c current bound: 34
739.04/761.72	c current bound: 34
739.48/762.16	c current bound: 34
739.92/762.59	c current bound: 34
740.37/763.03	c current bound: 34
740.94/763.47	c current bound: 34
741.44/763.90	c current bound: 34
741.67/764.34	c current bound: 34
742.10/764.78	c current bound: 34
742.74/765.21	c current bound: 34
743.13/765.65	c current bound: 34
743.63/766.20	c current bound: 34
744.03/766.64	c current bound: 34
744.29/767.07	c current bound: 34
744.94/767.51	c current bound: 34
745.18/767.94	c current bound: 34
745.60/768.38	c current bound: 34
746.25/768.82	c current bound: 34
746.49/769.26	c current bound: 34
746.92/769.69	c current bound: 34
747.36/770.13	c current bound: 34
747.81/770.57	c current bound: 34
748.45/771.01	c current bound: 34
748.69/771.45	c current bound: 34
749.11/771.89	c current bound: 34
749.56/772.33	c current bound: 34
750.01/772.77	c current bound: 34
750.65/773.21	c current bound: 34
750.89/773.65	c current bound: 34
751.33/774.08	c current bound: 34
751.76/774.52	c current bound: 34
752.21/774.96	c current bound: 34
752.65/775.40	c current bound: 34
753.08/775.84	c current bound: 34
753.71/776.73	c current bound: 34
753.96/777.16	c current bound: 34
754.40/777.60	c current bound: 34
754.83/778.03	c current bound: 34
755.27/778.47	c current bound: 34
755.91/778.91	c current bound: 34
756.14/779.34	c current bound: 34
756.58/779.78	c current bound: 34
757.22/780.21	c current bound: 34
757.46/780.65	c current bound: 34
758.06/781.19	c current bound: 34
758.33/781.63	c current bound: 34
758.90/782.06	c current bound: 34
759.42/782.50	c current bound: 34
759.65/782.94	c current bound: 34
760.09/783.38	c current bound: 34
760.73/783.81	c current bound: 34
761.12/784.25	c current bound: 34
761.40/784.68	c current bound: 34
761.83/785.12	c current bound: 34
762.28/785.56	c current bound: 34
762.70/785.99	c current bound: 34
763.31/786.43	c current bound: 34
763.58/786.87	c current bound: 34
764.23/787.30	c current bound: 34
764.46/787.74	c current bound: 34
764.90/788.18	c current bound: 34
765.54/788.61	c current bound: 34
765.77/789.05	c current bound: 34
766.21/789.49	c current bound: 34
766.65/789.93	c current bound: 34
767.09/790.37	c current bound: 34
767.52/790.80	c current bound: 34
767.96/791.36	c current bound: 34
768.61/791.80	c current bound: 34
768.83/792.23	c current bound: 34
769.27/792.67	c current bound: 34
769.90/793.11	c current bound: 34
770.14/793.55	c current bound: 34
770.57/793.98	c current bound: 34
771.01/794.42	c current bound: 34
771.45/794.85	c current bound: 34
771.99/795.29	c current bound: 34
772.33/795.73	c current bound: 34
772.76/796.16	c current bound: 34
773.21/796.67	c current bound: 34
773.85/797.11	c current bound: 34
774.25/797.55	c current bound: 34
774.52/797.99	c current bound: 34
774.96/798.43	c current bound: 34
775.42/798.86	c current bound: 34
776.06/799.30	c current bound: 34
776.44/799.74	c current bound: 34
776.72/800.18	c current bound: 34
777.16/800.62	c current bound: 34
777.61/801.06	c current bound: 34
778.05/801.62	c current bound: 34
778.50/802.07	c current bound: 34
779.15/802.50	c current bound: 34
779.53/802.94	c current bound: 34
779.81/803.37	c current bound: 34
780.46/803.81	c current bound: 34
780.69/804.25	c current bound: 34
781.12/804.68	c current bound: 34
781.75/805.12	c current bound: 34
782.01/805.56	c current bound: 34
782.65/806.00	c current bound: 34
783.09/806.51	c current bound: 34
783.31/806.95	c current bound: 34
783.87/807.38	c current bound: 34
784.19/807.82	c current bound: 34
784.62/808.26	c current bound: 34
785.28/808.70	c current bound: 34
785.51/809.13	c current bound: 34
786.06/809.57	c current bound: 34
786.58/810.01	c current bound: 34
786.82/810.44	c current bound: 34
787.25/810.88	c current bound: 34
787.68/811.32	c current bound: 34
788.27/811.76	c current bound: 34
788.56/812.19	c current bound: 34
789.00/812.63	c current bound: 34
789.45/813.07	c current bound: 34
790.08/813.50	c current bound: 34
790.48/813.94	c current bound: 34
790.75/814.38	c current bound: 34
791.39/814.81	c current bound: 34
791.63/815.25	c current bound: 34
792.07/815.69	c current bound: 34
792.70/816.13	c current bound: 34
793.15/816.71	c current bound: 34
793.38/817.15	c current bound: 34
793.82/817.58	c current bound: 34
794.26/818.02	c current bound: 34
794.85/818.48	c current bound: 34
795.36/818.91	c current bound: 34
795.59/819.35	c current bound: 34
796.03/819.79	c current bound: 34
796.45/820.23	c current bound: 34
797.04/820.66	c current bound: 34
797.55/821.10	c current bound: 34
797.97/821.66	c current bound: 34
798.41/822.10	c current bound: 34
798.65/822.54	c current bound: 34
799.08/822.97	c current bound: 34
799.72/823.41	c current bound: 34
800.11/823.85	c current bound: 34
800.39/824.29	c current bound: 34
800.84/824.73	c current bound: 34
801.29/825.17	c current bound: 34
801.91/825.61	c current bound: 34
802.31/826.05	c current bound: 34
802.81/826.51	c current bound: 34
803.05/826.95	c current bound: 34
803.50/827.39	c current bound: 34
803.94/827.83	c current bound: 34
804.50/828.27	c current bound: 34
805.01/828.71	c current bound: 34
805.25/829.15	c current bound: 34
805.68/829.59	c current bound: 34
806.12/830.03	c current bound: 34
806.71/830.47	c current bound: 34
807.21/830.91	c current bound: 34
807.45/831.35	c current bound: 34
807.89/832.47	c current bound: 34
808.52/832.91	c current bound: 34
808.75/833.35	c current bound: 34
809.31/833.78	c current bound: 34
809.63/834.22	c current bound: 34
810.06/834.65	c current bound: 34
810.51/835.09	c current bound: 34
810.94/835.53	c current bound: 34
811.53/835.97	c current bound: 34
812.03/836.41	c current bound: 34
812.25/836.95	c current bound: 34
812.69/837.38	c current bound: 34
813.14/837.82	c current bound: 34
813.71/838.26	c current bound: 34
814.22/838.70	c current bound: 34
814.44/839.14	c current bound: 34
814.88/839.58	c current bound: 34
815.53/840.01	c current bound: 34
815.91/840.45	c current bound: 34
816.20/840.89	c current bound: 34
816.63/841.33	c current bound: 34
817.08/841.76	c current bound: 34
817.72/842.20	c current bound: 34
818.13/842.64	c current bound: 34
818.39/843.08	c current bound: 34
818.83/843.52	c current bound: 34
819.27/843.95	c current bound: 34
819.70/844.39	c current bound: 34
820.33/844.83	c current bound: 34
820.58/845.27	c current bound: 34
821.22/845.70	c current bound: 34
821.46/846.14	c current bound: 34
821.89/846.58	c current bound: 34
822.50/847.05	c current bound: 34
822.78/847.49	c current bound: 34
823.22/847.92	c current bound: 34
823.64/848.36	c current bound: 34
824.29/848.80	c current bound: 34
824.69/849.24	c current bound: 34
824.95/849.67	c current bound: 34
825.59/850.11	c current bound: 34
825.83/850.55	c current bound: 34
826.27/850.99	c current bound: 34
826.89/851.43	c current bound: 34
827.14/851.87	c current bound: 34
827.80/852.31	c current bound: 34
828.03/852.75	c current bound: 34
828.48/853.19	c current bound: 34
829.08/853.63	c current bound: 34
829.36/854.07	c current bound: 34
830.00/854.51	c current bound: 34
830.23/854.95	c current bound: 34
830.68/855.39	c current bound: 34
831.28/855.83	c current bound: 34
831.56/856.27	c current bound: 34
832.19/856.71	c current bound: 34
832.43/857.34	c current bound: 34
832.87/857.78	c current bound: 34
833.30/858.22	c current bound: 34
833.74/858.66	c current bound: 34
834.30/859.09	c current bound: 34
834.63/859.53	c current bound: 34
835.06/859.96	c current bound: 34
835.71/860.40	c current bound: 34
835.94/860.84	c current bound: 34
836.51/861.28	c current bound: 34
837.01/861.71	c current bound: 34
837.26/862.26	c current bound: 34
837.90/862.70	c current bound: 34
838.13/863.13	c current bound: 34
838.70/863.57	c current bound: 34
839.21/864.01	c current bound: 34
839.44/864.44	c current bound: 34
839.88/864.88	c current bound: 34
840.32/865.32	c current bound: 34
840.91/865.76	c current bound: 34
841.19/866.19	c current bound: 34
841.63/866.63	c current bound: 34
842.08/867.07	c current bound: 34
842.72/867.50	c current bound: 34
843.11/867.94	c current bound: 34
843.37/868.38	c current bound: 34
844.01/868.81	c current bound: 34
844.25/869.25	c current bound: 34
844.69/869.69	c current bound: 34
845.31/870.12	c current bound: 34
845.56/870.56	c current bound: 34
846.20/871.00	c current bound: 34
846.44/871.44	c current bound: 34
846.88/871.88	c current bound: 34
847.50/872.42	c current bound: 34
847.74/872.85	c current bound: 34
848.19/873.29	c current bound: 34
848.62/873.73	c current bound: 34
849.06/874.17	c current bound: 34
849.71/874.61	c current bound: 34
849.94/875.05	c current bound: 34
850.38/875.48	c current bound: 34
850.83/875.92	c current bound: 34
851.27/876.36	c current bound: 34
851.91/876.80	c current bound: 34
852.13/877.23	c current bound: 34
852.56/877.67	c current bound: 34
853.21/878.11	c current bound: 34
853.45/878.55	c current bound: 34
854.01/878.99	c current bound: 34
854.32/879.43	c current bound: 34
854.77/879.87	c current bound: 34
855.41/880.31	c current bound: 34
855.66/880.75	c current bound: 34
856.33/881.20	c current bound: 34
856.55/881.64	c current bound: 34
856.99/882.08	c current bound: 34
857.42/882.52	c current bound: 34
857.87/882.96	c current bound: 34
858.41/883.39	c current bound: 34
858.74/883.83	c current bound: 34
859.19/884.27	c current bound: 34
859.85/884.71	c current bound: 34
860.08/885.14	c current bound: 34
860.64/885.58	c current bound: 34
860.95/886.02	c current bound: 34
861.39/886.46	c current bound: 34
861.83/886.89	c current bound: 34
862.48/888.01	c current bound: 34
862.70/888.44	c current bound: 34
863.27/888.88	c current bound: 34
863.80/889.31	c current bound: 34
864.01/889.75	c current bound: 34
864.46/890.19	c current bound: 34
864.90/890.62	c current bound: 34
865.49/891.06	c current bound: 34
865.99/891.50	c current bound: 34
866.21/891.94	c current bound: 34
866.65/892.48	c current bound: 34
867.09/892.92	c current bound: 34
867.53/893.35	c current bound: 34
867.96/893.79	c current bound: 34
868.59/894.23	c current bound: 34
868.86/894.66	c current bound: 34
869.49/895.10	c current bound: 34
869.73/895.54	c current bound: 34
870.17/895.97	c current bound: 34
870.81/896.41	c current bound: 34
871.05/896.85	c current bound: 34
871.48/897.28	c current bound: 34
871.91/897.72	c current bound: 34
872.36/898.16	c current bound: 34
872.81/898.60	c current bound: 34
873.23/899.04	c current bound: 34
873.67/899.48	c current bound: 34
874.31/899.91	c current bound: 34
874.56/900.35	c current bound: 34
874.99/900.78	c current bound: 34
875.42/901.23	c current bound: 34
875.87/901.66	c current bound: 34
876.51/902.10	c current bound: 34
876.95/902.71	c current bound: 34
877.34/903.15	c current bound: 34
877.64/903.59	c current bound: 34
878.05/904.02	c current bound: 34
878.50/904.46	c current bound: 34
879.16/904.90	c current bound: 34
879.54/905.34	c current bound: 34
879.83/905.78	c current bound: 34
880.26/906.22	c current bound: 34
880.70/906.66	c current bound: 34
881.35/907.10	c current bound: 34
881.75/907.64	c current bound: 34
882.02/908.08	c current bound: 34
882.64/908.52	c current bound: 34
882.92/908.96	c current bound: 34
883.56/909.40	c current bound: 34
883.80/909.84	c current bound: 34
884.23/910.28	c current bound: 34
884.88/910.72	c current bound: 34
885.11/911.15	c current bound: 34
885.76/911.66	c current bound: 34
885.99/912.10	c current bound: 34
886.60/913.23	c current bound: 34
886.86/913.67	c current bound: 34
887.51/914.10	c current bound: 34
887.73/914.54	c current bound: 34
888.17/914.98	c current bound: 34
888.80/915.41	c current bound: 34
889.05/915.85	c current bound: 34
889.59/916.29	c current bound: 34
889.92/916.72	c current bound: 34
890.36/917.16	c current bound: 34
890.80/917.72	c current bound: 34
891.25/918.15	c current bound: 34
891.81/918.59	c current bound: 34
892.11/919.02	c current bound: 34
892.56/919.46	c current bound: 34
893.20/919.90	c current bound: 34
893.43/920.34	c current bound: 34
894.00/920.77	c current bound: 34
894.50/921.21	c current bound: 34
894.74/921.65	c current bound: 34
895.19/922.08	c current bound: 34
895.62/922.52	c current bound: 34
896.21/922.96	c current bound: 34
896.49/923.39	c current bound: 34
896.94/923.83	c current bound: 34
897.37/924.27	c current bound: 34
898.02/924.70	c current bound: 34
898.41/925.14	c current bound: 34
898.70/925.58	c current bound: 34
899.12/926.02	c current bound: 34
899.56/926.46	c current bound: 34
900.00/926.89	c current bound: 34
900.61/927.33	c current bound: 34
900.88/927.87	c current bound: 34
901.53/928.31	c current bound: 34
901.75/928.75	c current bound: 34
902.20/929.18	c current bound: 34
902.62/929.62	c current bound: 34
903.07/930.06	c current bound: 34
903.51/930.50	c current bound: 34
903.95/930.93	c current bound: 34
904.37/931.37	c current bound: 34
905.02/931.81	c current bound: 34
905.25/932.25	c current bound: 34
905.71/932.69	c current bound: 34
906.14/933.13	c current bound: 34
906.58/933.58	c current bound: 34
907.23/934.02	c current bound: 34
907.47/934.45	c current bound: 34
907.91/934.89	c current bound: 34
908.35/935.33	c current bound: 34
908.78/935.77	c current bound: 34
909.42/936.21	c current bound: 34
909.66/936.65	c current bound: 34
910.10/937.09	c current bound: 34
910.54/937.53	c current bound: 34
911.18/938.44	c current bound: 34
911.42/938.87	c current bound: 34
912.08/939.31	c current bound: 34
912.30/939.75	c current bound: 34
912.74/940.18	c current bound: 34
913.16/940.62	c current bound: 34
913.61/941.06	c current bound: 34
914.05/941.49	c current bound: 34
914.49/941.93	c current bound: 34
914.91/942.36	c current bound: 34
915.53/942.93	c current bound: 34
915.80/943.37	c current bound: 34
916.34/943.80	c current bound: 34
916.67/944.24	c current bound: 34
917.09/944.67	c current bound: 34
917.74/945.11	c current bound: 34
917.98/945.55	c current bound: 34
918.53/945.99	c current bound: 34
918.85/946.42	c current bound: 34
919.28/946.86	c current bound: 34
919.94/947.30	c current bound: 34
920.16/947.74	c current bound: 34
920.81/948.21	c current bound: 34
921.03/948.64	c current bound: 34
921.48/949.08	c current bound: 34
921.92/949.52	c current bound: 34
922.36/949.96	c current bound: 34
922.90/950.39	c current bound: 34
923.24/950.83	c current bound: 34
923.68/951.27	c current bound: 34
924.32/951.70	c current bound: 34
924.54/952.14	c current bound: 34
925.11/952.58	c current bound: 34
925.43/953.02	c current bound: 34
925.87/953.46	c current bound: 34
926.53/953.90	c current bound: 34
926.76/954.34	c current bound: 34
927.33/954.77	c current bound: 34
927.84/955.21	c current bound: 34
928.08/955.65	c current bound: 34
928.52/956.09	c current bound: 34
928.97/956.53	c current bound: 34
929.54/956.96	c current bound: 34
930.05/957.40	c current bound: 34
930.28/957.99	c current bound: 34
930.73/958.43	c current bound: 34
931.17/958.87	c current bound: 34
931.81/959.31	c current bound: 34
932.05/959.75	c current bound: 34
932.49/960.19	c current bound: 34
932.93/960.63	c current bound: 34
933.37/961.07	c current bound: 34
934.02/961.51	c current bound: 34
934.25/961.95	c current bound: 34
934.68/962.39	c current bound: 34
935.34/962.91	c current bound: 34
935.59/963.36	c current bound: 34
936.23/963.80	c current bound: 34
936.46/964.23	c current bound: 34
937.05/964.67	c current bound: 34
937.55/965.10	c current bound: 34
937.78/965.54	c current bound: 34
938.22/965.98	c current bound: 34
938.66/966.42	c current bound: 34
939.24/966.85	c current bound: 34
939.53/967.29	c current bound: 34
939.97/967.72	c current bound: 34
940.41/968.16	c current bound: 34
941.05/968.60	c current bound: 34
941.46/969.03	c current bound: 34
941.72/969.47	c current bound: 34
942.36/969.90	c current bound: 34
942.59/970.34	c current bound: 34
943.04/970.78	c current bound: 34
943.68/971.21	c current bound: 34
943.91/971.65	c current bound: 34
944.35/972.09	c current bound: 34
944.78/972.52	c current bound: 34
945.22/973.13	c current bound: 34
945.79/973.56	c current bound: 34
946.31/974.00	c current bound: 34
946.54/974.44	c current bound: 34
946.97/974.88	c current bound: 34
947.41/975.32	c current bound: 34
948.00/975.75	c current bound: 34
948.29/976.19	c current bound: 34
948.72/976.62	c current bound: 34
949.16/977.06	c current bound: 34
949.80/977.50	c current bound: 34
950.22/978.07	c current bound: 34
950.68/978.51	c current bound: 34
951.07/978.95	c current bound: 34
951.36/979.38	c current bound: 34
951.79/979.82	c current bound: 34
952.24/980.26	c current bound: 34
952.67/980.69	c current bound: 34
953.28/981.13	c current bound: 34
953.55/981.57	c current bound: 34
954.19/982.00	c current bound: 34
954.43/982.44	c current bound: 34
954.86/982.88	c current bound: 34
955.50/983.31	c current bound: 34
955.73/983.75	c current bound: 34
956.18/984.19	c current bound: 34
956.62/984.65	c current bound: 34
957.08/985.09	c current bound: 34
957.69/985.53	c current bound: 34
957.96/985.97	c current bound: 34
958.60/986.41	c current bound: 34
958.84/986.85	c current bound: 34
959.28/987.29	c current bound: 34
959.90/987.73	c current bound: 34
960.15/988.44	c current bound: 34
960.74/988.88	c current bound: 34
961.05/989.32	c current bound: 34
961.47/989.75	c current bound: 34
961.92/990.18	c current bound: 34
962.36/990.62	c current bound: 34
962.92/991.06	c current bound: 34
963.23/991.49	c current bound: 34
963.65/991.93	c current bound: 34
964.09/992.37	c current bound: 34
964.75/992.80	c current bound: 34
965.15/993.96	c current bound: 34
965.51/994.39	c current bound: 34
965.85/994.83	c current bound: 34
966.28/995.27	c current bound: 34
966.91/995.70	c current bound: 34
967.14/996.14	c current bound: 34
967.72/996.58	c current bound: 34
968.23/997.01	c current bound: 34
968.47/997.45	c current bound: 34
968.90/997.89	c current bound: 34
969.34/998.47	c current bound: 34
969.98/998.91	c current bound: 34
970.22/999.35	c current bound: 34
970.66/999.78	c current bound: 34
971.09/1000.22	c current bound: 34
971.51/1000.66	c current bound: 34
972.07/1001.10	c current bound: 34
972.40/1001.53	c current bound: 34
972.84/1001.97	c current bound: 34
973.48/1002.40	c current bound: 34
973.71/1002.84	c current bound: 34
974.28/1003.28	c current bound: 34
974.59/1003.77	c current bound: 34
975.23/1004.20	c current bound: 34
975.47/1004.64	c current bound: 34
975.90/1005.08	c current bound: 34
976.54/1005.51	c current bound: 34
976.78/1005.95	c current bound: 34
977.22/1006.39	c current bound: 34
977.65/1006.83	c current bound: 34
978.08/1007.26	c current bound: 34
978.73/1007.70	c current bound: 34
978.96/1008.14	c current bound: 34
979.40/1008.58	c current bound: 34
979.85/1009.02	c current bound: 34
980.28/1009.45	c current bound: 34
980.82/1009.89	c current bound: 34
981.15/1010.33	c current bound: 34
981.59/1010.77	c current bound: 34
982.24/1011.21	c current bound: 34
982.47/1011.65	c current bound: 34
983.13/1012.10	c current bound: 34
983.36/1012.54	c current bound: 34
983.81/1012.98	c current bound: 34
984.23/1013.59	c current bound: 34
984.68/1014.03	c current bound: 34
985.12/1014.47	c current bound: 34
985.76/1014.91	c current bound: 34
986.14/1015.35	c current bound: 34
986.43/1015.79	c current bound: 34
986.87/1016.22	c current bound: 34
987.29/1016.66	c current bound: 34
987.74/1017.09	c current bound: 34
988.35/1017.53	c current bound: 34
988.60/1017.97	c current bound: 34
989.23/1019.12	c current bound: 34
989.47/1019.56	c current bound: 34
989.92/1019.99	c current bound: 34
990.37/1020.43	c current bound: 34
990.92/1020.87	c current bound: 34
991.44/1021.30	c current bound: 34
991.67/1021.74	c current bound: 34
992.11/1022.18	c current bound: 34
992.75/1022.61	c current bound: 34
993.14/1023.05	c current bound: 34
993.42/1023.66	c current bound: 34
993.96/1024.10	c current bound: 34
994.30/1024.53	c current bound: 34
994.73/1024.97	c current bound: 34
995.38/1025.41	c current bound: 34
995.60/1025.84	c current bound: 34
996.17/1026.28	c current bound: 34
996.49/1026.72	c current bound: 34
996.92/1027.16	c current bound: 34
997.58/1027.60	c current bound: 34
997.80/1028.03	c current bound: 34
998.45/1028.60	c current bound: 34
998.69/1029.04	c current bound: 34
999.12/1029.47	c current bound: 34
999.76/1029.91	c current bound: 34
1000.01/1030.35	c current bound: 34
1000.56/1030.79	c current bound: 34
1000.89/1031.23	c current bound: 34
1001.31/1031.67	c current bound: 34
1001.97/1032.11	c current bound: 34
1002.20/1032.54	c current bound: 34
1002.77/1032.98	c current bound: 34
1003.27/1033.41	c current bound: 34
1003.73/1033.90	c current bound: 34
1003.95/1034.34	c current bound: 34
1004.40/1034.78	c current bound: 34
1004.84/1035.22	c current bound: 34
1005.28/1035.65	c current bound: 34
1005.71/1036.09	c current bound: 34
1006.15/1036.53	c current bound: 34
1006.60/1036.97	c current bound: 34
1007.24/1037.41	c current bound: 34
1007.48/1037.85	c current bound: 34
1007.93/1038.29	c current bound: 34
1008.36/1038.73	c current bound: 34
1008.79/1039.17	c current bound: 34
1009.44/1039.61	c current bound: 34
1009.67/1040.05	c current bound: 34
1010.11/1040.49	c current bound: 34
1010.55/1040.93	c current bound: 34
1011.00/1041.37	c current bound: 34
1011.64/1041.81	c current bound: 34
1011.87/1042.24	c current bound: 34
1012.31/1042.68	c current bound: 34
1012.93/1043.11	c current bound: 34
1013.37/1044.28	c current bound: 34
1013.82/1044.71	c current bound: 34
1014.04/1045.15	c current bound: 34
1014.50/1045.59	c current bound: 34
1015.12/1046.04	c current bound: 34
1015.39/1046.48	c current bound: 34
1015.84/1046.92	c current bound: 34
1016.28/1047.35	c current bound: 34
1016.71/1047.79	c current bound: 34
1017.33/1048.23	c current bound: 34
1017.58/1048.82	c current bound: 34
1018.03/1049.26	c current bound: 34
1018.46/1049.69	c current bound: 34
1018.91/1050.13	c current bound: 34
1019.48/1050.57	c current bound: 34
1019.99/1051.01	c current bound: 34
1020.24/1051.45	c current bound: 34
1020.67/1051.88	c current bound: 34
1021.10/1052.32	c current bound: 34
1021.68/1052.76	c current bound: 34
1021.98/1053.19	c current bound: 34
1022.63/1053.72	c current bound: 34
1022.86/1054.16	c current bound: 34
1023.51/1054.60	c current bound: 34
1023.74/1055.04	c current bound: 34
1024.18/1055.47	c current bound: 34
1024.82/1055.91	c current bound: 34
1025.05/1056.35	c current bound: 34
1025.49/1056.79	c current bound: 34
1025.94/1057.22	c current bound: 34
1026.37/1057.66	c current bound: 34
1026.81/1058.10	c current bound: 34
1027.25/1058.54	c current bound: 34
1027.68/1058.98	c current bound: 34
1028.13/1059.42	c current bound: 34
1028.56/1059.85	c current bound: 34
1029.00/1060.29	c current bound: 34
1029.44/1060.73	c current bound: 34
1029.88/1061.16	c current bound: 34
1030.52/1061.60	c current bound: 34
1030.75/1062.04	c current bound: 34
1031.20/1062.48	c current bound: 34
1031.64/1062.92	c current bound: 34
1032.07/1063.36	c current bound: 34
1032.66/1063.99	c current bound: 34
1032.96/1064.43	c current bound: 34
1033.52/1064.87	c current bound: 34
1034.04/1065.31	c current bound: 34
1034.28/1065.75	c current bound: 34
1034.72/1066.19	c current bound: 34
1035.15/1066.63	c current bound: 34
1035.73/1067.07	c current bound: 34
1036.24/1067.51	c current bound: 34
1036.47/1067.94	c current bound: 34
1036.91/1068.38	c current bound: 34
1037.52/1069.48	c current bound: 34
1037.98/1069.91	c current bound: 34
1038.37/1070.35	c current bound: 34
1038.65/1070.79	c current bound: 34
1039.09/1071.22	c current bound: 34
1039.52/1071.66	c current bound: 34
1040.16/1072.10	c current bound: 34
1040.57/1072.53	c current bound: 34
1040.84/1072.97	c current bound: 34
1041.48/1073.41	c current bound: 34
1041.92/1074.00	c current bound: 34
1042.14/1074.44	c current bound: 34
1042.58/1074.87	c current bound: 34
1043.22/1075.31	c current bound: 34
1043.60/1075.75	c current bound: 34
1043.90/1076.19	c current bound: 34
1044.33/1076.62	c current bound: 34
1044.78/1077.06	c current bound: 34
1045.42/1077.50	c current bound: 34
1045.81/1077.93	c current bound: 34
1046.09/1078.37	c current bound: 34
1046.73/1078.95	c current bound: 34
1046.97/1079.38	c current bound: 34
1047.41/1079.82	c current bound: 34
1047.98/1080.25	c current bound: 34
1048.28/1080.69	c current bound: 34
1048.72/1081.13	c current bound: 34
1049.15/1081.56	c current bound: 34
1049.80/1082.00	c current bound: 34
1050.18/1082.44	c current bound: 34
1050.45/1082.87	c current bound: 34
1051.09/1083.31	c current bound: 34
1051.33/1083.75	c current bound: 34
1051.77/1084.18	c current bound: 34
1052.40/1084.62	c current bound: 34
1052.64/1085.06	c current bound: 34
1053.29/1085.50	c current bound: 34
1053.53/1085.93	c current bound: 34
1053.96/1086.37	c current bound: 34
1054.60/1086.81	c current bound: 34
1054.83/1087.24	c current bound: 34
1055.28/1087.68	c current bound: 34
1055.71/1088.12	c current bound: 34
1056.15/1088.56	c current bound: 34
1056.78/1089.19	c current bound: 34
1057.03/1089.63	c current bound: 34
1057.63/1090.07	c current bound: 34
1058.12/1090.51	c current bound: 34
1058.36/1090.95	c current bound: 34
1058.81/1091.39	c current bound: 34
1059.24/1091.83	c current bound: 34
1059.82/1092.26	c current bound: 34
1060.34/1092.70	c current bound: 34
1060.55/1093.14	c current bound: 34
1061.00/1093.58	c current bound: 34
1061.44/1094.13	c current bound: 34
1062.01/1094.58	c current bound: 34
1062.32/1095.02	c current bound: 34
1062.77/1095.45	c current bound: 34
1063.20/1095.89	c current bound: 34
1063.66/1096.33	c current bound: 34
1064.22/1096.77	c current bound: 34
1064.73/1097.20	c current bound: 34
1064.96/1097.64	c current bound: 34
1065.40/1098.07	c current bound: 34
1066.03/1098.51	c current bound: 34
1066.43/1098.95	c current bound: 34
1066.70/1099.43	c current bound: 34
1067.15/1099.86	c current bound: 34
1067.79/1100.30	c current bound: 34
1068.02/1100.74	c current bound: 34
1068.59/1101.17	c current bound: 34
1069.09/1101.61	c current bound: 34
1069.33/1102.05	c current bound: 34
1069.77/1102.48	c current bound: 34
1070.21/1102.92	c current bound: 34
1070.79/1103.35	c current bound: 34
1071.08/1103.79	c current bound: 34
1071.52/1104.23	c current bound: 34
1071.97/1104.66	c current bound: 34
1072.60/1105.10	c current bound: 34
1073.00/1105.54	c current bound: 34
1073.27/1105.98	c current bound: 34
1073.91/1106.41	c current bound: 34
1074.15/1106.85	c current bound: 34
1074.59/1107.29	c current bound: 34
1075.21/1107.72	c current bound: 34
1075.45/1108.17	c current bound: 34
1076.12/1108.60	c current bound: 34
1076.34/1109.18	c current bound: 34
1076.77/1109.62	c current bound: 34
1077.21/1110.06	c current bound: 34
1077.65/1110.49	c current bound: 34
1078.26/1110.93	c current bound: 34
1078.53/1111.37	c current bound: 34
1079.18/1111.81	c current bound: 34
1079.41/1112.24	c current bound: 34
1079.84/1112.68	c current bound: 34
1080.49/1113.12	c current bound: 34
1080.73/1113.55	c current bound: 34
1081.17/1113.99	c current bound: 34
1081.60/1114.48	c current bound: 34
1082.04/1114.92	c current bound: 34
1082.62/1115.36	c current bound: 34
1083.13/1115.80	c current bound: 34
1083.36/1116.25	c current bound: 34
1083.81/1116.69	c current bound: 34
1084.25/1117.13	c current bound: 34
1084.83/1117.57	c current bound: 34
1085.34/1118.01	c current bound: 34
1085.56/1118.45	c current bound: 34
1086.00/1118.89	c current bound: 34
1086.45/1119.33	c current bound: 34
1087.04/1119.77	c current bound: 34
1087.53/1120.21	c current bound: 34
1087.77/1120.65	c current bound: 34
1088.22/1121.08	c current bound: 34
1088.64/1121.52	c current bound: 34
1089.23/1121.96	c current bound: 34
1089.73/1122.40	c current bound: 34
1089.96/1122.84	c current bound: 34
1090.40/1123.27	c current bound: 34
1091.05/1123.71	c current bound: 34
1091.48/1124.82	c current bound: 34
1091.87/1125.26	c current bound: 34
1092.15/1125.69	c current bound: 34
1092.59/1126.13	c current bound: 34
1093.03/1126.57	c current bound: 34
1093.66/1127.01	c current bound: 34
1094.07/1127.44	c current bound: 34
1094.35/1127.88	c current bound: 34
1094.78/1128.32	c current bound: 34
1095.23/1128.75	c current bound: 34
1095.67/1129.33	c current bound: 34
1096.25/1129.76	c current bound: 34
1096.75/1130.20	c current bound: 34
1096.99/1130.64	c current bound: 34
1097.42/1131.07	c current bound: 34
1098.07/1131.51	c current bound: 34
1098.45/1131.95	c current bound: 34
1098.74/1132.38	c current bound: 34
1099.17/1132.82	c current bound: 34
1099.61/1133.26	c current bound: 34
1100.06/1133.69	c current bound: 34
1100.66/1134.13	c current bound: 34
1101.12/1134.61	c current bound: 34
1101.36/1135.05	c current bound: 34
1101.80/1135.49	c current bound: 34
1102.24/1135.92	c current bound: 34
1102.82/1136.36	c current bound: 34
1103.32/1136.80	c current bound: 34
1103.56/1137.23	c current bound: 34
1103.99/1137.67	c current bound: 34
1104.64/1138.11	c current bound: 34
1105.03/1138.55	c current bound: 34
1105.31/1138.98	c current bound: 34
1105.75/1139.42	c current bound: 34
1106.19/1139.86	c current bound: 34
1106.84/1140.30	c current bound: 34
1107.23/1140.73	c current bound: 34
1107.50/1141.17	c current bound: 34
1108.14/1141.61	c current bound: 34
1108.39/1142.05	c current bound: 34
1109.04/1142.50	c current bound: 34
1109.44/1142.94	c current bound: 34
1109.72/1143.38	c current bound: 34
1110.16/1143.82	c current bound: 34
1110.60/1144.43	c current bound: 34
1111.05/1144.87	c current bound: 34
1111.70/1145.31	c current bound: 34
1111.93/1145.75	c current bound: 34
1112.50/1146.19	c current bound: 34
1112.81/1146.63	c current bound: 34
1113.25/1147.07	c current bound: 34
1113.90/1147.50	c current bound: 34
1114.13/1147.94	c current bound: 34
1114.70/1148.37	c current bound: 34
1115.21/1148.81	c current bound: 34
1115.63/1149.92	c current bound: 34
1115.88/1150.35	c current bound: 34
1116.31/1150.79	c current bound: 34
1116.75/1151.23	c current bound: 34
1117.33/1151.66	c current bound: 34
1117.86/1152.11	c current bound: 34
1118.08/1152.54	c current bound: 34
1118.52/1152.98	c current bound: 34
1119.16/1153.41	c current bound: 34
1119.55/1153.85	c current bound: 34
1120.04/1154.40	c current bound: 34
1120.27/1154.84	c current bound: 34
1120.70/1155.28	c current bound: 34
1121.35/1155.71	c current bound: 34
1121.73/1156.15	c current bound: 34
1122.02/1156.59	c current bound: 34
1122.46/1157.03	c current bound: 34
1122.91/1157.47	c current bound: 34
1123.54/1157.91	c current bound: 34
1123.94/1158.34	c current bound: 34
1124.23/1158.78	c current bound: 34
1124.66/1159.22	c current bound: 34
1125.10/1159.69	c current bound: 34
1125.54/1160.13	c current bound: 34
1126.11/1160.56	c current bound: 34
1126.62/1161.00	c current bound: 34
1126.85/1161.44	c current bound: 34
1127.29/1161.87	c current bound: 34
1127.92/1162.31	c current bound: 34
1128.31/1162.75	c current bound: 34
1128.59/1163.18	c current bound: 34
1129.03/1163.62	c current bound: 34
1129.48/1164.06	c current bound: 34
1130.13/1164.50	c current bound: 34
1130.52/1164.94	c current bound: 34
1130.79/1165.37	c current bound: 34
1131.44/1165.81	c current bound: 34
1131.67/1166.25	c current bound: 34
1132.11/1166.68	c current bound: 34
1132.75/1167.12	c current bound: 34
1132.98/1167.56	c current bound: 34
1133.63/1168.00	c current bound: 34
1133.86/1168.44	c current bound: 34
1134.30/1168.88	c current bound: 34
1134.92/1169.44	c current bound: 34
1135.19/1169.88	c current bound: 34
1135.83/1170.32	c current bound: 34
1136.07/1170.76	c current bound: 34
1136.72/1171.20	c current bound: 34
1136.95/1171.63	c current bound: 34
1137.39/1172.07	c current bound: 34
1138.04/1172.51	c current bound: 34
1138.27/1172.95	c current bound: 34
1138.71/1173.38	c current bound: 34
1139.14/1173.82	c current bound: 34
1139.58/1174.25	c current bound: 34
1140.01/1175.17	c current bound: 34
1140.67/1175.61	c current bound: 34
1140.90/1176.04	c current bound: 34
1141.33/1176.48	c current bound: 34
1141.98/1176.92	c current bound: 34
1142.21/1177.35	c current bound: 34
1142.65/1177.79	c current bound: 34
1143.08/1178.22	c current bound: 34
1143.53/1178.66	c current bound: 34
1144.19/1179.11	c current bound: 34
1144.41/1179.55	c current bound: 34
1144.85/1179.99	c current bound: 34
1145.30/1180.43	c current bound: 34
1145.72/1180.86	c current bound: 34
1146.17/1181.30	c current bound: 34
1146.60/1181.73	c current bound: 34
1147.03/1182.17	c current bound: 34
1147.69/1182.61	c current bound: 34
1147.92/1183.04	c current bound: 34
1148.35/1183.48	c current bound: 34
1148.79/1183.92	c current bound: 34
1149.43/1184.51	c current bound: 34
1149.65/1184.94	c current bound: 34
1150.09/1185.38	c current bound: 34
1150.71/1185.83	c current bound: 34
1150.98/1186.27	c current bound: 34
1151.63/1186.71	c current bound: 34
1151.87/1187.15	c current bound: 34
1152.30/1187.59	c current bound: 34
1152.91/1188.03	c current bound: 34
1153.18/1188.47	c current bound: 34
1153.82/1188.91	c current bound: 34
1154.05/1189.48	c current bound: 34
1154.49/1189.92	c current bound: 34
1154.93/1190.36	c current bound: 34
1155.58/1190.80	c current bound: 34
1155.99/1191.24	c current bound: 34
1156.26/1191.68	c current bound: 34
1156.88/1192.11	c current bound: 34
1157.12/1192.55	c current bound: 34
1157.57/1192.99	c current bound: 34
1158.19/1193.43	c current bound: 34
1158.44/1193.87	c current bound: 34
1159.09/1194.31	c current bound: 34
1159.32/1194.79	c current bound: 34
1159.76/1195.23	c current bound: 34
1160.35/1195.67	c current bound: 34
1160.85/1196.11	c current bound: 34
1161.08/1196.55	c current bound: 34
1161.52/1196.99	c current bound: 34
1161.97/1197.43	c current bound: 34
1162.54/1197.87	c current bound: 34
1163.05/1198.30	c current bound: 34
1163.29/1198.74	c current bound: 34
1163.72/1199.18	c current bound: 34
1164.38/1200.02	c current bound: 34
1164.60/1200.45	c current bound: 34
1165.04/1200.89	c current bound: 34
1165.49/1201.33	c current bound: 34
1165.91/1201.77	c current bound: 34
1166.56/1202.20	c current bound: 34
1166.79/1202.64	c current bound: 34
1167.23/1203.08	c current bound: 34
1167.86/1203.51	c current bound: 34
1168.10/1203.95	c current bound: 34
1168.74/1204.51	c current bound: 34
1168.96/1204.96	c current bound: 34
1169.61/1205.40	c current bound: 34
1169.85/1205.84	c current bound: 34
1170.28/1206.28	c current bound: 34
1170.93/1206.72	c current bound: 34
1171.16/1207.15	c current bound: 34
1171.60/1207.59	c current bound: 34
1172.03/1208.03	c current bound: 34
1172.47/1208.47	c current bound: 34
1173.12/1208.90	c current bound: 34
1173.35/1209.34	c current bound: 34
1173.78/1209.82	c current bound: 34
1174.22/1210.26	c current bound: 34
1174.86/1210.70	c current bound: 34
1175.27/1211.14	c current bound: 34
1175.53/1211.57	c current bound: 34
1176.17/1212.01	c current bound: 34
1176.40/1212.45	c current bound: 34
1176.86/1212.89	c current bound: 34
1177.46/1213.32	c current bound: 34
1177.71/1213.76	c current bound: 34
1178.37/1214.20	c current bound: 34
1178.59/1214.64	c current bound: 34
1179.04/1215.08	c current bound: 34
1179.68/1215.51	c current bound: 34
1179.91/1215.95	c current bound: 34
1180.35/1216.39	c current bound: 34
1180.78/1216.83	c current bound: 34
1181.23/1217.27	c current bound: 34
1181.88/1217.71	c current bound: 34
1182.09/1218.14	c current bound: 34
1182.54/1218.58	c current bound: 34
1182.99/1219.02	c current bound: 34
1183.42/1219.57	c current bound: 34
1184.07/1220.01	c current bound: 34
1184.31/1220.46	c current bound: 34
1184.75/1220.90	c current bound: 34
1185.19/1221.34	c current bound: 34
1185.63/1221.78	c current bound: 34
1186.08/1222.22	c current bound: 34
1186.53/1222.66	c current bound: 34
1187.17/1223.12	c current bound: 34
1187.42/1223.56	c current bound: 34
1188.06/1224.00	c current bound: 34
1188.50/1224.64	c current bound: 34
1188.73/1225.09	c current bound: 34
1189.18/1225.54	c current bound: 34
1189.61/1225.97	c current bound: 34
1190.27/1226.41	c current bound: 34
1190.49/1226.85	c current bound: 34
1190.93/1227.28	c current bound: 34
1191.37/1227.72	c current bound: 34
1191.81/1228.16	c current bound: 34
1192.24/1228.59	c current bound: 34
1192.69/1229.03	c current bound: 34
1193.31/1230.17	c current bound: 34
1193.76/1230.60	c current bound: 34
1194.00/1231.05	c current bound: 34
1194.43/1231.48	c current bound: 34
1195.08/1231.92	c current bound: 34
1195.30/1232.35	c current bound: 34
1195.75/1232.79	c current bound: 34
1196.19/1233.23	c current bound: 34
1196.62/1233.67	c current bound: 34
1197.26/1234.10	c current bound: 34
1197.49/1234.66	c current bound: 34
1198.14/1235.10	c current bound: 34
1198.36/1235.54	c current bound: 34
1198.80/1235.97	c current bound: 34
1199.45/1236.41	c current bound: 34
1199.68/1236.85	c current bound: 34
1200.11/1237.29	c current bound: 34
1200.54/1237.72	c current bound: 34
1200.99/1238.16	c current bound: 34
1201.53/1238.60	c current bound: 34
1201.87/1239.04	c current bound: 34
1202.31/1239.48	c current bound: 34
1202.74/1239.96	c current bound: 34
1203.18/1240.39	c current bound: 34
1203.79/1240.83	c current bound: 34
1204.05/1241.27	c current bound: 34
1204.68/1241.70	c current bound: 34
1204.93/1242.14	c current bound: 34
1205.36/1242.58	c current bound: 34
1206.01/1243.02	c current bound: 34
1206.24/1243.45	c current bound: 34
1206.68/1243.89	c current bound: 34
1207.11/1244.33	c current bound: 34
1207.55/1244.77	c current bound: 34
1208.20/1245.20	c current bound: 34
1208.43/1245.64	c current bound: 34
1208.88/1246.08	c current bound: 34
1209.30/1246.52	c current bound: 34
1209.75/1246.97	c current bound: 34
1210.39/1247.41	c current bound: 34
1210.62/1247.85	c current bound: 34
1211.07/1248.29	c current bound: 34
1211.52/1248.73	c current bound: 34
1211.96/1249.17	c current bound: 34
1212.56/1249.73	c current bound: 34
1212.83/1250.17	c current bound: 34
1213.48/1250.61	c current bound: 34
1213.72/1251.05	c current bound: 34
1214.16/1251.48	c current bound: 34
1214.59/1251.93	c current bound: 34
1215.02/1252.36	c current bound: 34
1215.46/1252.80	c current bound: 34
1215.90/1253.23	c current bound: 34
1216.34/1253.67	c current bound: 34
1216.98/1254.11	c current bound: 34
1217.21/1254.54	c current bound: 34
1217.65/1255.48	c current bound: 34
1218.08/1255.92	c current bound: 34
1218.52/1256.35	c current bound: 34
1218.96/1256.79	c current bound: 34
1219.58/1257.23	c current bound: 34
1219.84/1257.66	c current bound: 34
1220.48/1258.10	c current bound: 34
1220.71/1258.54	c current bound: 34
1221.14/1258.98	c current bound: 34
1221.78/1259.41	c current bound: 34
1222.02/1259.85	c current bound: 34
1222.46/1260.29	c current bound: 34
1222.90/1260.73	c current bound: 34
1223.33/1261.17	c current bound: 34
1223.98/1261.60	c current bound: 34
1224.21/1262.04	c current bound: 34
1224.65/1262.48	c current bound: 34
1225.29/1262.91	c current bound: 34
1225.53/1263.35	c current bound: 34
1225.95/1263.79	c current bound: 34
1226.40/1264.23	c current bound: 34
1226.84/1264.77	c current bound: 34
1227.49/1265.21	c current bound: 34
1227.73/1265.64	c current bound: 34
1228.27/1266.08	c current bound: 34
1228.60/1266.52	c current bound: 34
1229.03/1266.95	c current bound: 34
1229.47/1267.39	c current bound: 34
1229.91/1267.83	c current bound: 34
1230.49/1268.27	c current bound: 34
1230.99/1268.71	c current bound: 34
1231.23/1269.15	c current bound: 34
1231.67/1269.58	c current bound: 34
1232.10/1270.02	c current bound: 34
1232.69/1270.46	c current bound: 34
1233.20/1270.90	c current bound: 34
1233.42/1271.34	c current bound: 34
1233.87/1271.78	c current bound: 34
1234.50/1272.21	c current bound: 34
1234.91/1272.65	c current bound: 34
1235.19/1273.09	c current bound: 34
1235.62/1273.54	c current bound: 34
1236.07/1273.98	c current bound: 34
1236.51/1274.42	c current bound: 34
1237.10/1274.86	c current bound: 34
1237.60/1275.30	c current bound: 34
1237.84/1275.74	c current bound: 34
1238.28/1276.19	c current bound: 34
1238.72/1276.62	c current bound: 34
1239.30/1277.06	c current bound: 34
1239.81/1277.50	c current bound: 34
1240.04/1277.94	c current bound: 34
1240.48/1278.38	c current bound: 34
1241.11/1278.81	c current bound: 34
1241.51/1279.25	c current bound: 34
1241.95/1280.39	c current bound: 34
1242.23/1280.82	c current bound: 34
1242.66/1281.26	c current bound: 34
1243.10/1281.69	c current bound: 34
1243.54/1282.13	c current bound: 34
1244.12/1282.57	c current bound: 34
1244.62/1283.00	c current bound: 34
1244.85/1283.44	c current bound: 34
1245.29/1283.87	c current bound: 34
1245.93/1284.31	c current bound: 34
1246.33/1284.86	c current bound: 34
1246.59/1285.29	c current bound: 34
1247.04/1285.73	c current bound: 34
1247.48/1286.19	c current bound: 34
1247.94/1286.62	c current bound: 34
1248.53/1287.06	c current bound: 34
1249.02/1287.50	c current bound: 34
1249.25/1287.94	c current bound: 34
1249.68/1288.38	c current bound: 34
1250.32/1288.81	c current bound: 34
1250.72/1289.25	c current bound: 34
1251.00/1289.68	c current bound: 34
1251.63/1290.22	c current bound: 34
1251.87/1290.65	c current bound: 34
1252.31/1291.09	c current bound: 34
1252.74/1291.53	c current bound: 34
1253.19/1291.97	c current bound: 34
1253.62/1292.40	c current bound: 34
1254.06/1292.84	c current bound: 34
1254.48/1293.28	c current bound: 34
1254.93/1293.73	c current bound: 34
1255.38/1294.17	c current bound: 34
1256.02/1294.60	c current bound: 34
1256.26/1295.04	c current bound: 34
1256.69/1295.48	c current bound: 34
1257.14/1295.92	c current bound: 34
1257.57/1296.35	c current bound: 34
1258.00/1296.79	c current bound: 34
1258.45/1297.23	c current bound: 34
1258.89/1297.67	c current bound: 34
1259.52/1298.10	c current bound: 34
1259.75/1298.54	c current bound: 34
1260.20/1298.98	c current bound: 34
1260.65/1299.42	c current bound: 34
1261.07/1300.02	c current bound: 34
1261.52/1300.46	c current bound: 34
1262.17/1300.91	c current bound: 34
1262.56/1301.35	c current bound: 34
1262.84/1301.78	c current bound: 34
1263.28/1302.23	c current bound: 34
1263.73/1302.66	c current bound: 34
1264.38/1303.11	c current bound: 34
1264.77/1303.54	c current bound: 34
1265.04/1303.98	c current bound: 34
1265.49/1304.42	c current bound: 34
1265.94/1305.53	c current bound: 34
1266.37/1305.97	c current bound: 34
1267.02/1306.41	c current bound: 34
1267.42/1306.85	c current bound: 34
1267.69/1307.29	c current bound: 34
1268.13/1307.72	c current bound: 34
1268.56/1308.16	c current bound: 34
1269.21/1308.60	c current bound: 34
1269.62/1309.04	c current bound: 34
1269.87/1309.47	c current bound: 34
1270.51/1310.02	c current bound: 34
1270.77/1310.45	c current bound: 34
1271.19/1310.89	c current bound: 34
1271.64/1311.33	c current bound: 34
1272.07/1311.79	c current bound: 34
1272.70/1312.22	c current bound: 34
1272.97/1312.66	c current bound: 34
1273.61/1313.10	c current bound: 34
1273.85/1313.54	c current bound: 34
1274.27/1313.97	c current bound: 34
1274.92/1314.41	c current bound: 34
1275.15/1314.85	c current bound: 34
1275.59/1315.34	c current bound: 34
1276.05/1315.78	c current bound: 34
1276.49/1316.22	c current bound: 34
1277.07/1316.65	c current bound: 34
1277.37/1317.09	c current bound: 34
1277.79/1317.53	c current bound: 34
1278.25/1317.97	c current bound: 34
1278.89/1318.40	c current bound: 34
1279.27/1318.84	c current bound: 34
1279.55/1319.28	c current bound: 34
1280.19/1319.71	c current bound: 34
1280.43/1320.16	c current bound: 34
1280.87/1320.59	c current bound: 34
1281.47/1321.03	c current bound: 34
1281.75/1321.47	c current bound: 34
1282.39/1321.90	c current bound: 34
1282.62/1322.34	c current bound: 34
1283.07/1322.78	c current bound: 34
1283.70/1323.22	c current bound: 34
1283.95/1323.66	c current bound: 34
1284.37/1324.09	c current bound: 34
1284.82/1324.53	c current bound: 34
1285.47/1325.10	c current bound: 34
1285.87/1325.54	c current bound: 34
1286.15/1325.98	c current bound: 34
1286.59/1326.42	c current bound: 34
1287.04/1326.86	c current bound: 34
1287.69/1327.30	c current bound: 34
1288.08/1327.74	c current bound: 34
1288.35/1328.18	c current bound: 34
1288.80/1328.62	c current bound: 34
1289.23/1329.06	c current bound: 34
1289.89/1329.50	c current bound: 34
1290.33/1330.05	c current bound: 34
1290.57/1330.49	c current bound: 34
1291.18/1330.93	c current bound: 34
1291.45/1331.37	c current bound: 34
1292.09/1331.80	c current bound: 34
1292.31/1332.24	c current bound: 34
1292.76/1332.68	c current bound: 34
1293.38/1333.11	c current bound: 34
1293.63/1333.55	c current bound: 34
1294.06/1333.99	c current bound: 34
1294.49/1334.42	c current bound: 34
1294.94/1334.86	c current bound: 34
1295.38/1335.30	c current bound: 34
1295.82/1335.74	c current bound: 34
1296.25/1336.17	c current bound: 34
1296.90/1336.61	c current bound: 34
1297.13/1337.05	c current bound: 34
1297.57/1337.49	c current bound: 34
1298.01/1337.92	c current bound: 34
1298.45/1338.36	c current bound: 34
1299.09/1338.80	c current bound: 34
1299.33/1339.24	c current bound: 34
1299.76/1339.67	c current bound: 34
1300.40/1340.21	c current bound: 34
1300.64/1340.65	c current bound: 34
1301.08/1341.09	c current bound: 34
1301.51/1341.55	c current bound: 34
1302.10/1341.98	c current bound: 34
1302.41/1342.42	c current bound: 34
1302.84/1342.86	c current bound: 34
1303.50/1343.30	c current bound: 34
1303.73/1343.74	c current bound: 34
1304.30/1344.18	c current bound: 34
1304.80/1344.61	c current bound: 34
1305.04/1345.05	c current bound: 34
1305.48/1345.52	c current bound: 34
1305.92/1345.96	c current bound: 34
1306.47/1346.40	c current bound: 34
1306.80/1346.84	c current bound: 34
1307.24/1347.27	c current bound: 34
1307.87/1347.71	c current bound: 34
1308.12/1348.15	c current bound: 34
1308.67/1348.59	c current bound: 34
1308.99/1349.03	c current bound: 34
1309.43/1349.46	c current bound: 34
1310.06/1349.90	c current bound: 34
1310.31/1350.34	c current bound: 34
1310.87/1350.78	c current bound: 34
1311.37/1351.21	c current bound: 34
1311.62/1351.65	c current bound: 34
1312.06/1352.09	c current bound: 34
1312.49/1352.53	c current bound: 34
1313.06/1352.97	c current bound: 34
1313.38/1353.42	c current bound: 34
1313.82/1353.86	c current bound: 34
1314.48/1354.30	c current bound: 34
1314.72/1354.74	c current bound: 34
1315.33/1355.33	c current bound: 34
1315.60/1355.77	c current bound: 34
1316.24/1356.21	c current bound: 34
1316.46/1356.65	c current bound: 34
1316.91/1357.09	c current bound: 34
1317.35/1357.53	c current bound: 34
1317.79/1357.96	c current bound: 34
1318.22/1358.40	c current bound: 34
1318.65/1358.84	c current bound: 34
1319.09/1359.27	c current bound: 34
1319.74/1359.71	c current bound: 34
1319.97/1360.15	c current bound: 34
1320.41/1361.12	c current bound: 34
1320.84/1361.56	c current bound: 34
1321.28/1361.99	c current bound: 34
1321.71/1362.43	c current bound: 34
1322.29/1362.86	c current bound: 34
1322.79/1363.30	c current bound: 34
1323.03/1363.74	c current bound: 34
1323.47/1364.18	c current bound: 34
1324.11/1364.61	c current bound: 34
1324.49/1365.05	c current bound: 34
1324.78/1365.49	c current bound: 34
1325.22/1365.92	c current bound: 34
1325.66/1366.36	c current bound: 34
1326.31/1366.80	c current bound: 34
1326.70/1367.24	c current bound: 34
1326.96/1367.68	c current bound: 34
1327.60/1368.11	c current bound: 34
1327.83/1368.55	c current bound: 34
1328.28/1368.99	c current bound: 34
1328.89/1369.43	c current bound: 34
1329.16/1369.86	c current bound: 34
1329.58/1370.47	c current bound: 34
1330.23/1370.91	c current bound: 34
1330.47/1371.34	c current bound: 34
1331.03/1371.78	c current bound: 34
1331.52/1372.21	c current bound: 34
1331.77/1372.65	c current bound: 34
1332.21/1373.09	c current bound: 34
1332.64/1373.52	c current bound: 34
1333.24/1373.96	c current bound: 34
1333.74/1374.41	c current bound: 34
1333.97/1374.85	c current bound: 34
1334.61/1375.40	c current bound: 34
1334.84/1375.83	c current bound: 34
1335.28/1376.27	c current bound: 34
1335.93/1376.71	c current bound: 34
1336.31/1377.14	c current bound: 34
1336.60/1377.58	c current bound: 34
1337.04/1378.02	c current bound: 34
1337.48/1378.46	c current bound: 34
1338.12/1378.90	c current bound: 34
1338.53/1379.34	c current bound: 34
1338.80/1379.78	c current bound: 34
1339.24/1380.22	c current bound: 34
1339.67/1380.66	c current bound: 34
1340.33/1381.10	c current bound: 34
1340.72/1381.54	c current bound: 34
1340.99/1381.98	c current bound: 34
1341.44/1382.42	c current bound: 34
1341.87/1382.86	c current bound: 34
1342.53/1383.30	c current bound: 34
1342.92/1383.74	c current bound: 34
1343.20/1384.17	c current bound: 34
1343.64/1384.62	c current bound: 34
1344.06/1385.05	c current bound: 34
1344.73/1386.20	c current bound: 34
1344.95/1386.64	c current bound: 34
1345.51/1387.08	c current bound: 34
1345.82/1387.52	c current bound: 34
1346.25/1387.95	c current bound: 34
1346.70/1388.39	c current bound: 34
1347.13/1388.83	c current bound: 34
1347.71/1389.26	c current bound: 34
1348.22/1389.70	c current bound: 34
1348.45/1390.14	c current bound: 34
1348.89/1390.72	c current bound: 34
1349.33/1391.16	c current bound: 34
1349.99/1391.60	c current bound: 34
1350.21/1392.04	c current bound: 34
1350.66/1392.48	c current bound: 34
1351.09/1392.92	c current bound: 34
1351.53/1393.35	c current bound: 34
1352.07/1393.79	c current bound: 34
1352.40/1394.23	c current bound: 34
1352.84/1394.66	c current bound: 34
1353.48/1395.10	c current bound: 34
1353.93/1395.61	c current bound: 34
1354.15/1396.08	c current bound: 34
1354.59/1396.52	c current bound: 34
1355.18/1396.96	c current bound: 34
1355.46/1397.39	c current bound: 34
1355.91/1397.83	c current bound: 34
1356.33/1398.27	c current bound: 34
1356.98/1398.70	c current bound: 34
1357.38/1399.14	c current bound: 34
1357.66/1399.58	c current bound: 34
1358.10/1400.02	c current bound: 34
1358.54/1400.45	c current bound: 34
1358.97/1400.89	c current bound: 34
1359.58/1401.33	c current bound: 34
1359.85/1401.77	c current bound: 34
1360.49/1402.21	c current bound: 34
1360.73/1402.64	c current bound: 34
1361.17/1403.08	c current bound: 34
1361.81/1403.52	c current bound: 34
1362.05/1403.96	c current bound: 34
1362.47/1404.39	c current bound: 34
1362.93/1404.83	c current bound: 34
1363.36/1405.27	c current bound: 34
1363.98/1405.83	c current bound: 34
1364.24/1406.27	c current bound: 34
1364.89/1406.71	c current bound: 34
1365.13/1407.15	c current bound: 34
1365.58/1407.59	c current bound: 34
1366.20/1408.03	c current bound: 34
1366.44/1408.47	c current bound: 34
1367.10/1408.91	c current bound: 34
1367.34/1409.35	c current bound: 34
1367.77/1409.79	c current bound: 34
1368.39/1410.22	c current bound: 34
1368.66/1410.66	c current bound: 34
1369.10/1411.55	c current bound: 34
1369.54/1411.98	c current bound: 34
1370.16/1412.42	c current bound: 34
1370.42/1412.86	c current bound: 34
1370.84/1413.29	c current bound: 34
1371.28/1413.73	c current bound: 34
1371.72/1414.17	c current bound: 34
1372.25/1414.60	c current bound: 34
1372.60/1415.04	c current bound: 34
1373.03/1415.49	c current bound: 34
1373.48/1415.93	c current bound: 34
1373.92/1416.36	c current bound: 34
1374.45/1416.80	c current bound: 34
1374.79/1417.23	c current bound: 34
1375.24/1417.67	c current bound: 34
1375.89/1418.11	c current bound: 34
1376.11/1418.54	c current bound: 34
1376.67/1418.98	c current bound: 34
1376.98/1419.42	c current bound: 34
1377.42/1419.85	c current bound: 34
1377.86/1420.29	c current bound: 34
1378.50/1420.81	c current bound: 34
1378.90/1421.25	c current bound: 34
1379.17/1421.68	c current bound: 34
1379.61/1422.12	c current bound: 34
1380.04/1422.56	c current bound: 34
1380.49/1423.00	c current bound: 34
1381.10/1423.43	c current bound: 34
1381.36/1423.87	c current bound: 34
1382.00/1424.31	c current bound: 34
1382.25/1424.74	c current bound: 34
1382.68/1425.18	c current bound: 34
1383.31/1425.62	c current bound: 34
1383.55/1426.05	c current bound: 34
1383.99/1426.49	c current bound: 34
1384.43/1426.93	c current bound: 34
1384.86/1427.37	c current bound: 34
1385.52/1427.81	c current bound: 34
1385.75/1428.24	c current bound: 34
1386.18/1428.68	c current bound: 34
1386.62/1429.12	c current bound: 34
1387.07/1429.55	c current bound: 34
1387.61/1429.99	c current bound: 34
1387.93/1430.43	c current bound: 34
1388.54/1431.06	c current bound: 34
1389.03/1431.50	c current bound: 34
1389.27/1431.94	c current bound: 34
1389.71/1432.38	c current bound: 34
1390.14/1432.82	c current bound: 34
1390.73/1433.26	c current bound: 34
1391.24/1433.70	c current bound: 34
1391.48/1434.14	c current bound: 34
1391.91/1434.58	c current bound: 34
1392.54/1435.01	c current bound: 34
1392.95/1435.45	c current bound: 34
1393.43/1436.01	c current bound: 34
1393.67/1436.46	c current bound: 34
1394.11/1436.89	c current bound: 34
1394.55/1437.33	c current bound: 34
1395.12/1437.77	c current bound: 34
1395.62/1438.20	c current bound: 34
1395.86/1438.64	c current bound: 34
1396.29/1439.07	c current bound: 34
1396.92/1439.51	c current bound: 34
1397.33/1439.94	c current bound: 34
1397.59/1440.38	c current bound: 34
1398.04/1440.82	c current bound: 34
1398.46/1441.25	c current bound: 34
1398.91/1441.69	c current bound: 34
1399.53/1442.13	c current bound: 34
1399.78/1442.56	c current bound: 34
1400.43/1443.00	c current bound: 34
1400.66/1443.43	c current bound: 34
1401.09/1443.87	c current bound: 34
1401.74/1444.31	c current bound: 34
1401.97/1444.74	c current bound: 34
1402.40/1445.18	c current bound: 34
1403.04/1445.61	c current bound: 34
1403.29/1446.14	c current bound: 34
1403.85/1446.57	c current bound: 34
1404.36/1447.01	c current bound: 34
1404.59/1447.45	c current bound: 34
1405.03/1447.88	c current bound: 34
1405.48/1448.32	c current bound: 34
1406.05/1448.75	c current bound: 34
1406.35/1449.19	c current bound: 34
1406.78/1449.63	c current bound: 34
1407.23/1450.07	c current bound: 34
1407.87/1450.51	c current bound: 34
1408.26/1450.94	c current bound: 34
1408.54/1451.38	c current bound: 34
1408.98/1451.82	c current bound: 34
1409.42/1452.25	c current bound: 34
1409.86/1452.69	c current bound: 34
1410.48/1453.12	c current bound: 34
1410.72/1453.56	c current bound: 34
1411.37/1454.00	c current bound: 34
1411.61/1454.44	c current bound: 34
1412.05/1454.88	c current bound: 34
1412.68/1455.32	c current bound: 34
1412.93/1455.75	c current bound: 34
1413.36/1456.29	c current bound: 34
1413.80/1456.73	c current bound: 34
1414.25/1457.17	c current bound: 34
1414.89/1457.61	c current bound: 34
1415.13/1458.05	c current bound: 34
1415.56/1458.49	c current bound: 34
1416.00/1458.93	c current bound: 34
1416.45/1459.37	c current bound: 34
1417.10/1459.81	c current bound: 34
1417.33/1460.24	c current bound: 34
1417.77/1460.68	c current bound: 34
1418.21/1461.12	c current bound: 34
1418.65/1461.78	c current bound: 34
1419.09/1462.22	c current bound: 34
1419.53/1462.65	c current bound: 34
1420.08/1463.09	c current bound: 34
1420.40/1463.52	c current bound: 34
1420.84/1463.96	c current bound: 34
1421.49/1464.40	c current bound: 34
1421.71/1464.84	c current bound: 34
1422.29/1465.27	c current bound: 34
1422.78/1465.71	c current bound: 34
1423.03/1466.15	c current bound: 34
1423.46/1467.18	c current bound: 34
1423.91/1467.62	c current bound: 34
1424.34/1468.05	c current bound: 34
1424.90/1468.49	c current bound: 34
1425.22/1468.93	c current bound: 34
1425.65/1469.36	c current bound: 34
1426.30/1469.80	c current bound: 34
1426.52/1470.24	c current bound: 34
1427.10/1470.67	c current bound: 34
1427.62/1471.11	c current bound: 34
1427.84/1471.55	c current bound: 34
1428.28/1471.99	c current bound: 34
1428.71/1472.42	c current bound: 34
1429.31/1472.86	c current bound: 34
1429.81/1473.30	c current bound: 34
1430.03/1473.73	c current bound: 34
1430.47/1474.17	c current bound: 34
1431.11/1474.60	c current bound: 34
1431.50/1475.04	c current bound: 34
1431.78/1475.48	c current bound: 34
1432.22/1475.92	c current bound: 34
1432.86/1476.50	c current bound: 34
1433.10/1476.94	c current bound: 34
1433.66/1477.38	c current bound: 34
1434.18/1477.81	c current bound: 34
1434.41/1478.25	c current bound: 34
1434.85/1478.69	c current bound: 34
1435.29/1479.12	c current bound: 34
1435.87/1479.56	c current bound: 34
1436.36/1480.00	c current bound: 34
1436.60/1480.44	c current bound: 34
1437.04/1480.88	c current bound: 34
1437.67/1481.31	c current bound: 34
1438.07/1481.75	c current bound: 34
1438.35/1482.18	c current bound: 34
1438.79/1482.62	c current bound: 34
1439.23/1483.06	c current bound: 34
1439.87/1483.50	c current bound: 34
1440.27/1483.94	c current bound: 34
1440.54/1484.38	c current bound: 34
1440.99/1484.82	c current bound: 34
1441.42/1485.26	c current bound: 34
1442.08/1485.70	c current bound: 34
1442.49/1486.14	c current bound: 34
1442.76/1486.58	c current bound: 34
1443.20/1487.02	c current bound: 34
1443.64/1487.46	c current bound: 34
1444.29/1487.90	c current bound: 34
1444.69/1488.34	c current bound: 34
1444.96/1488.78	c current bound: 34
1445.41/1489.22	c current bound: 34
1445.84/1489.65	c current bound: 34
1446.27/1490.09	c current bound: 34
1446.89/1490.53	c current bound: 34
1447.15/1490.96	c current bound: 34
1447.78/1491.95	c current bound: 34
1448.03/1492.39	c current bound: 34
1448.48/1492.82	c current bound: 34
1448.92/1493.28	c current bound: 34
1449.57/1493.71	c current bound: 34
1449.80/1494.15	c current bound: 34
1450.24/1494.58	c current bound: 34
1450.68/1495.02	c current bound: 34
1451.12/1495.46	c current bound: 34
1451.57/1495.89	c current bound: 34
1451.99/1496.33	c current bound: 34
1452.64/1496.80	c current bound: 34
1452.87/1497.24	c current bound: 34
1453.31/1497.68	c current bound: 34
1453.93/1498.13	c current bound: 34
1454.20/1498.57	c current bound: 34
1454.85/1499.00	c current bound: 34
1455.07/1499.44	c current bound: 34
1455.51/1499.88	c current bound: 34
1456.16/1500.31	c current bound: 34
1456.39/1500.75	c current bound: 34
1456.83/1501.19	c current bound: 34
1457.26/1501.62	c current bound: 34
1457.70/1502.06	c current bound: 34
1458.35/1502.50	c current bound: 34
1458.58/1502.94	c current bound: 34
1459.01/1503.38	c current bound: 34
1459.65/1503.81	c current bound: 34
1459.89/1504.25	c current bound: 34
1460.33/1504.69	c current bound: 34
1460.78/1505.12	c current bound: 34
1461.20/1505.56	c current bound: 34
1461.85/1506.00	c current bound: 34
1462.08/1506.58	c current bound: 34
1462.70/1507.02	c current bound: 34
1462.95/1507.46	c current bound: 34
1463.60/1507.90	c current bound: 34
1463.82/1508.34	c current bound: 34
1464.26/1508.77	c current bound: 34
1464.92/1509.21	c current bound: 34
1465.14/1509.65	c current bound: 34
1465.58/1510.09	c current bound: 34
1466.01/1510.53	c current bound: 34
1466.45/1510.97	c current bound: 34
1467.11/1511.45	c current bound: 34
1467.54/1511.91	c current bound: 34
1467.77/1512.35	c current bound: 34
1468.22/1512.79	c current bound: 34
1468.66/1513.22	c current bound: 34
1469.23/1513.66	c current bound: 34
1469.73/1514.10	c current bound: 34
1469.97/1514.54	c current bound: 34
1470.40/1514.98	c current bound: 34
1470.85/1515.42	c current bound: 34
1471.42/1515.86	c current bound: 34
1471.94/1516.31	c current bound: 34
1472.36/1517.03	c current bound: 34
1472.61/1517.47	c current bound: 34
1473.25/1517.91	c current bound: 34
1473.49/1518.34	c current bound: 34
1473.92/1518.78	c current bound: 34
1474.56/1519.21	c current bound: 34
1474.80/1519.65	c current bound: 34
1475.24/1520.09	c current bound: 34
1475.68/1520.52	c current bound: 34
1476.11/1520.96	c current bound: 34
1476.75/1521.40	c current bound: 34
1476.98/1521.84	c current bound: 34
1477.43/1522.28	c current bound: 34
1478.06/1522.71	c current bound: 34
1478.30/1523.15	c current bound: 34
1478.85/1523.59	c current bound: 34
1479.16/1524.02	c current bound: 34
1479.60/1524.46	c current bound: 34
1480.26/1524.90	c current bound: 34
1480.48/1525.33	c current bound: 34
1481.05/1525.77	c current bound: 34
1481.56/1526.21	c current bound: 34
1481.96/1526.75	c current bound: 34
1482.24/1527.19	c current bound: 34
1482.67/1527.63	c current bound: 34
1483.10/1528.06	c current bound: 34
1483.75/1528.50	c current bound: 34
1484.16/1528.94	c current bound: 34
1484.43/1529.39	c current bound: 34
1484.88/1529.83	c current bound: 34
1485.31/1530.27	c current bound: 34
1485.95/1530.70	c current bound: 34
1486.37/1531.14	c current bound: 34
1486.63/1531.58	c current bound: 34
1487.07/1532.07	c current bound: 34
1487.71/1532.51	c current bound: 34
1487.95/1532.94	c current bound: 34
1488.50/1533.38	c current bound: 34
1488.82/1533.82	c current bound: 34
1489.26/1534.26	c current bound: 34
1489.71/1534.70	c current bound: 34
1490.13/1535.14	c current bound: 34
1490.71/1535.58	c current bound: 34
1491.03/1536.02	c current bound: 34
1491.47/1536.46	c current bound: 34
1491.89/1536.90	c current bound: 34
1492.34/1537.34	c current bound: 34
1492.92/1537.78	c current bound: 34
1493.22/1538.22	c current bound: 34
1493.68/1538.65	c current bound: 34
1494.10/1539.09	c current bound: 34
1494.55/1539.53	c current bound: 34
1495.11/1539.98	c current bound: 34
1495.43/1540.42	c current bound: 34
1495.88/1540.85	c current bound: 34
1496.53/1541.30	c current bound: 34
1496.76/1541.92	c current bound: 34
1497.21/1542.36	c current bound: 34
1497.85/1542.80	c current bound: 34
1498.25/1543.23	c current bound: 34
1498.52/1543.67	c current bound: 34
1499.16/1544.11	c current bound: 34
1499.39/1544.54	c current bound: 34
1499.83/1544.98	c current bound: 34
1500.47/1545.41	c current bound: 34
1500.71/1545.85	c current bound: 34
1501.14/1546.29	c current bound: 34
1501.59/1546.85	c current bound: 34
1502.02/1547.29	c current bound: 34
1502.62/1547.73	c current bound: 34
1502.90/1548.17	c current bound: 34
1503.53/1548.61	c current bound: 34
1503.77/1549.04	c current bound: 34
1504.20/1549.48	c current bound: 34
1504.85/1549.92	c current bound: 34
1505.09/1550.35	c current bound: 34
1505.54/1550.79	c current bound: 34
1505.96/1551.23	c current bound: 34
1506.40/1551.67	c current bound: 34
1507.01/1552.14	c current bound: 34
1507.28/1552.58	c current bound: 34
1507.72/1553.02	c current bound: 34
1508.16/1553.46	c current bound: 34
1508.83/1553.90	c current bound: 34
1509.21/1554.34	c current bound: 34
1509.50/1554.77	c current bound: 34
1510.12/1555.21	c current bound: 34
1510.36/1555.65	c current bound: 34
1510.80/1556.09	c current bound: 34
1511.41/1556.52	c current bound: 34
1511.67/1556.96	c current bound: 34
1512.32/1557.40	c current bound: 34
1512.55/1557.84	c current bound: 34
1512.99/1558.27	c current bound: 34
1513.63/1558.72	c current bound: 34
1513.88/1559.16	c current bound: 34
1514.31/1559.59	c current bound: 34
1514.74/1560.03	c current bound: 34
1515.19/1560.47	c current bound: 34
1515.84/1560.91	c current bound: 34
1516.07/1561.34	c current bound: 34
1516.68/1561.94	c current bound: 34
1516.95/1562.38	c current bound: 34
1517.39/1562.82	c current bound: 34
1517.82/1563.26	c current bound: 34
1518.48/1563.70	c current bound: 34
1518.88/1564.14	c current bound: 34
1519.16/1564.58	c current bound: 34
1519.60/1565.02	c current bound: 34
1520.03/1565.47	c current bound: 34
1520.68/1565.91	c current bound: 34
1521.08/1566.34	c current bound: 34
1521.57/1566.96	c current bound: 34
1521.80/1567.40	c current bound: 34
1522.23/1567.84	c current bound: 34
1522.67/1568.28	c current bound: 34
1523.31/1568.71	c current bound: 34
1523.55/1569.15	c current bound: 34
1524.00/1569.59	c current bound: 34
1524.42/1570.02	c current bound: 34
1524.86/1570.46	c current bound: 34
1525.50/1570.90	c current bound: 34
1525.73/1571.33	c current bound: 34
1526.39/1572.49	c current bound: 34
1526.79/1572.93	c current bound: 34
1527.06/1573.37	c current bound: 34
1527.71/1573.80	c current bound: 34
1527.94/1574.24	c current bound: 34
1528.38/1574.68	c current bound: 34
1529.02/1575.11	c current bound: 34
1529.24/1575.55	c current bound: 34
1529.68/1575.99	c current bound: 34
1530.13/1576.43	c current bound: 34
1530.77/1577.01	c current bound: 34
1531.17/1577.45	c current bound: 34
1531.67/1577.90	c current bound: 34
1531.89/1578.34	c current bound: 34
1532.33/1578.77	c current bound: 34
1532.98/1579.21	c current bound: 34
1533.36/1579.65	c current bound: 34
1533.65/1580.08	c current bound: 34
1534.09/1580.52	c current bound: 34
1534.52/1580.96	c current bound: 34
1535.18/1581.40	c current bound: 34
1535.61/1581.95	c current bound: 34
1535.86/1582.39	c current bound: 34
1536.47/1582.82	c current bound: 34
1536.72/1583.26	c current bound: 34
1537.38/1583.70	c current bound: 34
1537.62/1584.14	c current bound: 34
1538.06/1584.58	c current bound: 34
1538.69/1585.02	c current bound: 34
1538.94/1585.46	c current bound: 34
1539.37/1585.90	c current bound: 34
1539.81/1586.33	c current bound: 34
1540.25/1586.77	c current bound: 34
1540.89/1587.21	c current bound: 34
1541.12/1587.65	c current bound: 34
1541.56/1588.09	c current bound: 34
1542.00/1588.52	c current bound: 34
1542.45/1588.96	c current bound: 34
1542.89/1589.40	c current bound: 34
1543.33/1589.84	c current bound: 34
1543.77/1590.28	c current bound: 34
1544.21/1590.72	c current bound: 34
1544.65/1591.15	c current bound: 34
1545.08/1591.59	c current bound: 34
1545.52/1592.17	c current bound: 34
1546.16/1592.61	c current bound: 34
1546.39/1593.05	c current bound: 34
1546.85/1593.49	c current bound: 34
1547.45/1593.93	c current bound: 34
1547.72/1594.36	c current bound: 34
1548.36/1594.80	c current bound: 34
1548.60/1595.24	c current bound: 34
1549.02/1595.68	c current bound: 34
1549.67/1596.12	c current bound: 34
1549.91/1596.56	c current bound: 34
1550.57/1597.05	c current bound: 34
1550.99/1597.51	c current bound: 34
1551.23/1597.96	c current bound: 34
1551.79/1598.39	c current bound: 34
1552.12/1598.83	c current bound: 34
1552.55/1599.27	c current bound: 34
1553.20/1599.71	c current bound: 34
1553.44/1600.14	c current bound: 34
1554.00/1600.58	c current bound: 34
1554.31/1601.03	c current bound: 34
1554.76/1601.46	c current bound: 34
1555.41/1601.90	c current bound: 34
1555.62/1602.34	c current bound: 34
1556.20/1602.78	c current bound: 34
1556.52/1603.22	c current bound: 34
1556.96/1603.65	c current bound: 34
1557.39/1604.09	c current bound: 34
1557.83/1604.53	c current bound: 34
1558.41/1604.97	c current bound: 34
1558.92/1605.41	c current bound: 34
1559.15/1605.85	c current bound: 34
1559.60/1606.28	c current bound: 34
1560.03/1606.72	c current bound: 34
1560.68/1607.31	c current bound: 34
1560.91/1607.75	c current bound: 34
1561.47/1608.19	c current bound: 34
1561.78/1608.62	c current bound: 34
1562.23/1609.06	c current bound: 34
1562.88/1609.50	c current bound: 34
1563.10/1609.94	c current bound: 34
1563.67/1610.37	c current bound: 34
1564.18/1610.81	c current bound: 34
1564.42/1611.25	c current bound: 34
1565.07/1611.78	c current bound: 34
1565.30/1612.36	c current bound: 34
1565.94/1612.80	c current bound: 34
1566.17/1613.24	c current bound: 34
1566.74/1613.68	c current bound: 34
1567.06/1614.12	c current bound: 34
1567.48/1614.55	c current bound: 34
1567.93/1614.99	c current bound: 34
1568.37/1615.43	c current bound: 34
1568.94/1615.87	c current bound: 34
1569.45/1616.31	c current bound: 34
1569.68/1616.74	c current bound: 34
1570.12/1617.18	c current bound: 34
1570.56/1617.62	c current bound: 34
1571.14/1618.06	c current bound: 34
1571.44/1618.49	c current bound: 34
1571.88/1618.93	c current bound: 34
1572.33/1619.37	c current bound: 34
1572.97/1619.81	c current bound: 34
1573.37/1620.25	c current bound: 34
1573.65/1620.68	c current bound: 34
1574.09/1621.12	c current bound: 34
1574.52/1621.56	c current bound: 34
1575.17/1622.00	c current bound: 34
1575.56/1622.44	c current bound: 34
1575.83/1622.87	c current bound: 34
1576.48/1623.31	c current bound: 34
1576.71/1623.75	c current bound: 34
1577.15/1624.19	c current bound: 34
1577.76/1624.63	c current bound: 34
1578.03/1625.06	c current bound: 34
1578.68/1625.50	c current bound: 34
1578.91/1625.94	c current bound: 34
1579.36/1626.38	c current bound: 34
1580.00/1626.82	c current bound: 34
1580.43/1627.40	c current bound: 34
1580.66/1627.84	c current bound: 34
1581.10/1628.27	c current bound: 34
1581.74/1628.71	c current bound: 34
1582.12/1629.15	c current bound: 34
1582.42/1629.59	c current bound: 34
1582.85/1630.03	c current bound: 34
1583.30/1630.47	c current bound: 34
1583.95/1630.90	c current bound: 34
1584.33/1631.34	c current bound: 34
1584.61/1631.78	c current bound: 34
1585.04/1632.29	c current bound: 34
1585.49/1632.72	c current bound: 34
1585.93/1633.16	c current bound: 34
1586.57/1633.60	c current bound: 34
1586.81/1634.04	c current bound: 34
1587.26/1634.48	c current bound: 34
1587.69/1634.92	c current bound: 34
1588.13/1635.35	c current bound: 34
1588.69/1635.79	c current bound: 34
1589.01/1636.23	c current bound: 34
1589.43/1636.67	c current bound: 34
1590.09/1637.11	c current bound: 34
1590.32/1637.54	c current bound: 34
1590.88/1637.98	c current bound: 34
1591.20/1638.42	c current bound: 34
1591.64/1638.86	c current bound: 34
1592.28/1639.30	c current bound: 34
1592.51/1639.74	c current bound: 34
1593.08/1640.18	c current bound: 34
1593.39/1640.62	c current bound: 34
1593.83/1641.06	c current bound: 34
1594.48/1641.50	c current bound: 34
1594.72/1641.94	c current bound: 34
1595.33/1642.53	c current bound: 34
1595.59/1642.96	c current bound: 34
1596.12/1643.40	c current bound: 34
1596.47/1643.84	c current bound: 34
1596.92/1644.28	c current bound: 34
1597.35/1644.72	c current bound: 34
1597.79/1645.16	c current bound: 34
1598.33/1645.60	c current bound: 34
1598.66/1646.03	c current bound: 34
1599.10/1646.47	c current bound: 34
1599.55/1646.92	c current bound: 34
1599.98/1647.47	c current bound: 34
1600.63/1647.90	c current bound: 34
1600.86/1648.34	c current bound: 34
1601.30/1648.78	c current bound: 34
1601.74/1649.22	c current bound: 34
1602.17/1649.66	c current bound: 34
1602.73/1650.10	c current bound: 34
1603.05/1650.53	c current bound: 34
1603.50/1650.97	c current bound: 34
1604.13/1651.41	c current bound: 34
1604.37/1651.85	c current bound: 34
1604.93/1652.29	c current bound: 34
1605.26/1652.72	c current bound: 34
1605.69/1653.16	c current bound: 34
1606.34/1653.60	c current bound: 34
1606.57/1654.04	c current bound: 34
1607.15/1654.48	c current bound: 34
1607.44/1654.92	c current bound: 34
1607.88/1655.36	c current bound: 34
1608.54/1655.80	c current bound: 34
1608.76/1656.23	c current bound: 34
1609.33/1656.67	c current bound: 34
1609.84/1657.11	c current bound: 34
1610.24/1657.65	c current bound: 34
1610.53/1658.09	c current bound: 34
1610.96/1658.53	c current bound: 34
1611.41/1658.97	c current bound: 34
1612.04/1659.41	c current bound: 34
1612.44/1659.85	c current bound: 34
1612.72/1660.29	c current bound: 34
1613.16/1660.73	c current bound: 34
1613.61/1661.17	c current bound: 34
1614.25/1661.61	c current bound: 34
1614.65/1662.04	c current bound: 34
1614.93/1662.48	c current bound: 34
1615.35/1662.96	c current bound: 34
1616.01/1663.40	c current bound: 34
1616.24/1663.84	c current bound: 34
1616.81/1664.28	c current bound: 34
1617.32/1664.71	c current bound: 34
1617.57/1665.15	c current bound: 34
1618.00/1665.59	c current bound: 34
1618.44/1666.03	c current bound: 34
1619.00/1666.47	c current bound: 34
1619.52/1666.91	c current bound: 34
1619.75/1667.35	c current bound: 34
1620.20/1667.79	c current bound: 34
1620.63/1668.23	c current bound: 34
1621.19/1668.67	c current bound: 34
1621.71/1669.10	c current bound: 34
1621.94/1669.54	c current bound: 34
1622.38/1669.98	c current bound: 34
1622.82/1670.42	c current bound: 34
1623.40/1670.86	c current bound: 34
1623.90/1671.30	c current bound: 34
1624.13/1671.74	c current bound: 34
1624.58/1672.18	c current bound: 34
1625.02/1672.75	c current bound: 34
1625.57/1673.19	c current bound: 34
1625.89/1673.64	c current bound: 34
1626.33/1674.08	c current bound: 34
1626.97/1674.51	c current bound: 34
1627.21/1674.95	c current bound: 34
1627.77/1675.39	c current bound: 34
1628.09/1675.83	c current bound: 34
1628.53/1676.27	c current bound: 34
1629.19/1676.70	c current bound: 34
1629.40/1677.14	c current bound: 34
1630.06/1677.64	c current bound: 34
1630.30/1678.09	c current bound: 34
1630.91/1678.53	c current bound: 34
1631.17/1678.97	c current bound: 34
1631.82/1679.41	c current bound: 34
1632.05/1679.85	c current bound: 34
1632.49/1680.29	c current bound: 34
1633.10/1680.73	c current bound: 34
1633.35/1681.17	c current bound: 34
1634.00/1681.60	c current bound: 34
1634.24/1682.04	c current bound: 34
1634.67/1682.48	c current bound: 34
1635.31/1682.92	c current bound: 34
1635.56/1683.38	c current bound: 34
1636.01/1683.83	c current bound: 34
1636.47/1684.27	c current bound: 34
1637.11/1684.71	c current bound: 34
1637.50/1685.15	c current bound: 34
1637.79/1685.59	c current bound: 34
1638.22/1686.03	c current bound: 34
1638.67/1686.47	c current bound: 34
1639.32/1686.91	c current bound: 34
1639.70/1687.35	c current bound: 34
1639.98/1687.94	c current bound: 34
1640.43/1688.37	c current bound: 34
1641.06/1688.81	c current bound: 34
1641.30/1689.25	c current bound: 34
1641.85/1689.69	c current bound: 34
1642.18/1690.13	c current bound: 34
1642.61/1690.56	c current bound: 34
1643.06/1691.02	c current bound: 34
1643.51/1691.46	c current bound: 34
1644.17/1691.90	c current bound: 34
1644.39/1692.34	c current bound: 34
1645.02/1692.93	c current bound: 34
1645.28/1693.36	c current bound: 34
1645.93/1693.80	c current bound: 34
1646.15/1694.24	c current bound: 34
1646.59/1694.68	c current bound: 34
1647.24/1695.12	c current bound: 34
1647.47/1695.56	c current bound: 34
1647.92/1696.00	c current bound: 34
1648.36/1696.43	c current bound: 34
1648.78/1696.87	c current bound: 34
1649.44/1697.31	c current bound: 34
1649.68/1697.75	c current bound: 34
1650.11/1698.19	c current bound: 34
1650.55/1698.63	c current bound: 34
1650.99/1699.07	c current bound: 34
1651.63/1699.51	c current bound: 34
1651.86/1699.95	c current bound: 34
1652.31/1700.38	c current bound: 34
1652.74/1700.82	c current bound: 34
1653.18/1701.26	c current bound: 34
1653.72/1701.70	c current bound: 34
1654.07/1702.14	c current bound: 34
1654.50/1702.58	c current bound: 34
1654.93/1703.02	c current bound: 34
1655.38/1703.46	c current bound: 34
1655.94/1703.90	c current bound: 34
1656.26/1704.33	c current bound: 34
1656.70/1704.77	c current bound: 34
1657.32/1705.21	c current bound: 34
1657.57/1705.65	c current bound: 34
1658.14/1706.09	c current bound: 34
1658.46/1706.53	c current bound: 34
1658.88/1706.96	c current bound: 34
1659.53/1707.40	c current bound: 34
1659.77/1708.00	c current bound: 34
1660.20/1708.43	c current bound: 34
1660.65/1708.87	c current bound: 34
1661.31/1709.32	c current bound: 34
1661.53/1709.75	c current bound: 34
1661.97/1710.19	c current bound: 34
1662.41/1710.63	c current bound: 34
1662.85/1711.07	c current bound: 34
1663.49/1711.51	c current bound: 34
1663.74/1711.94	c current bound: 34
1664.16/1712.38	c current bound: 34
1664.61/1712.97	c current bound: 34
1665.25/1713.41	c current bound: 34
1665.64/1713.85	c current bound: 34
1665.94/1714.29	c current bound: 34
1666.38/1714.73	c current bound: 34
1666.82/1715.17	c current bound: 34
1667.47/1715.61	c current bound: 34
1667.86/1716.04	c current bound: 34
1668.14/1716.49	c current bound: 34
1668.58/1716.93	c current bound: 34
1669.01/1717.37	c current bound: 34
1669.66/1717.80	c current bound: 34
1670.06/1718.24	c current bound: 34
1670.34/1718.68	c current bound: 34
1670.78/1719.12	c current bound: 34
1671.21/1719.56	c current bound: 34
1671.87/1720.00	c current bound: 34
1672.25/1720.44	c current bound: 34
1672.54/1720.88	c current bound: 34
1672.97/1721.32	c current bound: 34
1673.41/1721.76	c current bound: 34
1674.07/1722.20	c current bound: 34
1674.46/1722.64	c current bound: 34
1674.73/1723.08	c current bound: 34
1675.36/1723.51	c current bound: 34
1675.61/1723.95	c current bound: 34
1676.05/1724.39	c current bound: 34
1676.66/1724.83	c current bound: 34
1676.92/1725.27	c current bound: 34
1677.57/1725.71	c current bound: 34
1677.81/1726.15	c current bound: 34
1678.24/1726.59	c current bound: 34
1678.86/1727.03	c current bound: 34
1679.12/1727.47	c current bound: 34
1679.72/1728.08	c current bound: 34
1680.00/1728.52	c current bound: 34
1680.43/1728.96	c current bound: 34
1681.09/1729.40	c current bound: 34
1681.32/1729.84	c current bound: 34
1681.89/1730.27	c current bound: 34
1682.41/1730.71	c current bound: 34
1682.64/1731.15	c current bound: 34
1683.08/1731.59	c current bound: 34
1683.51/1732.03	c current bound: 34
1684.10/1732.47	c current bound: 34
1684.40/1733.02	c current bound: 34
1684.85/1733.46	c current bound: 34
1685.27/1733.89	c current bound: 34
1685.72/1734.33	c current bound: 34
1686.29/1734.77	c current bound: 34
1686.80/1735.21	c current bound: 34
1687.02/1735.65	c current bound: 34
1687.47/1736.09	c current bound: 34
1687.91/1736.53	c current bound: 34
1688.49/1736.97	c current bound: 34
1689.00/1737.41	c current bound: 34
1689.24/1737.85	c current bound: 34
1689.68/1738.34	c current bound: 34
1690.12/1738.78	c current bound: 34
1690.55/1739.22	c current bound: 34
1691.00/1739.65	c current bound: 34
1691.44/1740.09	c current bound: 34
1691.86/1740.53	c current bound: 34
1692.31/1740.97	c current bound: 34
1692.96/1741.41	c current bound: 34
1693.19/1741.85	c current bound: 34
1693.63/1742.29	c current bound: 34
1694.08/1742.73	c current bound: 34
1694.51/1743.17	c current bound: 34
1695.16/1743.60	c current bound: 34
1695.38/1744.04	c current bound: 34
1695.84/1744.48	c current bound: 34
1696.27/1744.92	c current bound: 34
1696.71/1745.36	c current bound: 34
1697.35/1745.80	c current bound: 34
1697.60/1746.24	c current bound: 34
1698.03/1746.68	c current bound: 34
1698.67/1747.11	c current bound: 34
1698.91/1747.55	c current bound: 34
1699.53/1748.08	c current bound: 34
1699.79/1748.52	c current bound: 34
1700.36/1748.96	c current bound: 34
1700.67/1749.39	c current bound: 34
1701.11/1749.83	c current bound: 34
1701.54/1750.27	c current bound: 34
1702.19/1750.71	c current bound: 34
1702.60/1751.14	c current bound: 34
1702.86/1751.58	c current bound: 34
1703.31/1752.02	c current bound: 34
1703.74/1752.46	c current bound: 34
1704.17/1752.89	c current bound: 34
1704.78/1753.33	c current bound: 34
1705.05/1753.77	c current bound: 34
1705.70/1754.21	c current bound: 34
1705.94/1754.65	c current bound: 34
1706.38/1755.09	c current bound: 34
1706.99/1755.52	c current bound: 34
1707.26/1755.96	c current bound: 34
1707.90/1756.40	c current bound: 34
1708.13/1756.84	c current bound: 34
1708.58/1757.28	c current bound: 34
1709.22/1757.71	c current bound: 34
1709.46/1758.32	c current bound: 34
1709.90/1758.76	c current bound: 34
1710.32/1759.19	c current bound: 34
1710.77/1759.63	c current bound: 34
1711.35/1760.07	c current bound: 34
1711.86/1760.51	c current bound: 34
1712.08/1760.95	c current bound: 34
1712.53/1761.39	c current bound: 34
1712.96/1761.82	c current bound: 34
1713.55/1762.26	c current bound: 34
1714.06/1762.70	c current bound: 34
1714.48/1763.24	c current bound: 34
1714.73/1763.68	c current bound: 34
1715.16/1764.12	c current bound: 34
1715.61/1764.56	c current bound: 34
1716.26/1765.00	c current bound: 34
1716.66/1765.43	c current bound: 34
1716.92/1765.87	c current bound: 34
1717.56/1766.31	c current bound: 34
1717.79/1766.75	c current bound: 34
1718.24/1767.19	c current bound: 34
1718.86/1767.62	c current bound: 34
1719.12/1768.06	c current bound: 34
1719.77/1768.50	c current bound: 34
1720.00/1768.94	c current bound: 34
1720.43/1769.38	c current bound: 34
1721.08/1769.82	c current bound: 34
1721.31/1770.25	c current bound: 34
1721.75/1770.70	c current bound: 34
1722.20/1771.13	c current bound: 34
1722.63/1771.57	c current bound: 34
1723.29/1772.01	c current bound: 34
1723.51/1772.45	c current bound: 34
1723.95/1772.88	c current bound: 34
1724.39/1773.47	c current bound: 34
1725.04/1773.91	c current bound: 34
1725.42/1774.35	c current bound: 34
1725.72/1774.79	c current bound: 34
1726.16/1775.23	c current bound: 34
1726.60/1775.67	c current bound: 34
1727.25/1776.11	c current bound: 34
1727.64/1776.54	c current bound: 34
1727.92/1776.98	c current bound: 34
1728.35/1777.42	c current bound: 34
1728.80/1777.86	c current bound: 34
1729.44/1778.34	c current bound: 34
1729.80/1778.78	c current bound: 34
1730.11/1779.22	c current bound: 34
1730.54/1779.65	c current bound: 34
1730.99/1780.09	c current bound: 34
1731.43/1780.53	c current bound: 34
1732.00/1780.97	c current bound: 34
1732.51/1781.40	c current bound: 34
1732.74/1781.84	c current bound: 34
1733.18/1782.28	c current bound: 34
1733.62/1782.72	c current bound: 34
1734.21/1783.15	c current bound: 34
1734.49/1783.59	c current bound: 34
1734.93/1784.03	c current bound: 34
1735.37/1784.47	c current bound: 34
1736.01/1784.91	c current bound: 34
1736.41/1785.35	c current bound: 34
1736.92/1785.80	c current bound: 34
1737.13/1786.24	c current bound: 34
1737.58/1786.67	c current bound: 34
1738.22/1787.11	c current bound: 34
1738.60/1787.55	c current bound: 34
1738.89/1787.99	c current bound: 34
1739.52/1788.59	c current bound: 34
1739.78/1789.03	c current bound: 34
1740.23/1789.47	c current bound: 34
1740.88/1789.91	c current bound: 34
1741.09/1790.34	c current bound: 34
1741.66/1790.78	c current bound: 34
1741.96/1791.22	c current bound: 34
1742.41/1791.66	c current bound: 34
1743.07/1792.10	c current bound: 34
1743.29/1792.53	c current bound: 34
1743.86/1792.97	c current bound: 34
1744.16/1793.56	c current bound: 34
1744.82/1794.00	c current bound: 34
1745.05/1794.44	c current bound: 34
1745.49/1794.87	c current bound: 34
1746.12/1795.31	c current bound: 34
1746.37/1795.75	c current bound: 34
1746.80/1796.19	c current bound: 34
1747.26/1796.63	c current bound: 34
1747.69/1797.06	c current bound: 34
1748.33/1797.50	c current bound: 34
1748.57/1797.94	c current bound: 34
1749.01/1798.38	c current bound: 34
1749.44/1798.87	c current bound: 34
1750.08/1799.31	c current bound: 34
1750.31/1799.75	c current bound: 34
1750.76/1800.19	c current bound: 34
1751.38/1800.62	c current bound: 34
1751.65/1801.06	c current bound: 34
1752.28/1801.50	c current bound: 34
1752.51/1801.94	c current bound: 34
1752.96/1802.37	c current bound: 34
1753.59/1802.81	c current bound: 34
1753.84/1803.25	c current bound: 34
1754.27/1803.69	c current bound: 34
1754.71/1804.13	c current bound: 34
1755.15/1804.57	c current bound: 34
1755.80/1805.01	c current bound: 34
1756.04/1805.45	c current bound: 34
1756.47/1805.89	c current bound: 34
1756.91/1806.32	c current bound: 34
1757.36/1806.76	c current bound: 34
1757.80/1807.20	c current bound: 34
1758.22/1807.64	c current bound: 34
1758.68/1808.08	c current bound: 34
1759.12/1808.65	c current bound: 34
1759.55/1809.09	c current bound: 34
1760.16/1809.53	c current bound: 34
1760.41/1809.97	c current bound: 34
1761.07/1810.41	c current bound: 34
1761.30/1810.84	c current bound: 34
1761.73/1811.28	c current bound: 34
1762.37/1811.72	c current bound: 34
1762.61/1812.16	c current bound: 34
1763.06/1812.59	c current bound: 34
1763.49/1813.03	c current bound: 34
1763.93/1813.47	c current bound: 34
1764.50/1813.97	c current bound: 34
1765.01/1814.41	c current bound: 34
1765.26/1814.85	c current bound: 34
1765.69/1815.29	c current bound: 34
1766.13/1815.73	c current bound: 34
1766.70/1816.17	c current bound: 34
1767.22/1816.61	c current bound: 34
1767.44/1817.05	c current bound: 34
1767.90/1817.48	c current bound: 34
1768.34/1817.92	c current bound: 34
1768.92/1818.36	c current bound: 34
1769.42/1818.80	c current bound: 34
1769.65/1819.24	c current bound: 34
1770.10/1819.68	c current bound: 34
1770.73/1820.11	c current bound: 34
1771.11/1820.55	c current bound: 34
1771.42/1820.99	c current bound: 34
1771.85/1821.43	c current bound: 34
1772.28/1821.87	c current bound: 34
1772.94/1822.31	c current bound: 34
1773.32/1822.74	c current bound: 34
1773.62/1823.18	c current bound: 34
1774.22/1823.73	c current bound: 34
1774.48/1824.17	c current bound: 34
1775.14/1824.61	c current bound: 34
1775.38/1825.05	c current bound: 34
1775.82/1825.49	c current bound: 34
1776.45/1825.93	c current bound: 34
1776.69/1826.37	c current bound: 34
1777.34/1826.80	c current bound: 34
1777.58/1827.24	c current bound: 34
1778.01/1827.68	c current bound: 34
1778.65/1828.12	c current bound: 34
1778.89/1828.56	c current bound: 34
1779.34/1829.07	c current bound: 34
1779.97/1829.51	c current bound: 34
1780.21/1829.95	c current bound: 34
1780.77/1830.39	c current bound: 34
1781.09/1830.83	c current bound: 34
1781.52/1831.27	c current bound: 34
1782.18/1831.71	c current bound: 34
1782.41/1832.15	c current bound: 34
1782.96/1832.59	c current bound: 34
1783.29/1833.03	c current bound: 34
1783.73/1833.46	c current bound: 34
1784.38/1833.90	c current bound: 34
1784.61/1834.34	c current bound: 34
1785.17/1834.79	c current bound: 34
1785.49/1835.22	c current bound: 34
1785.94/1835.66	c current bound: 34
1786.57/1836.10	c current bound: 34
1786.82/1836.54	c current bound: 34
1787.37/1836.98	c current bound: 34
1787.69/1837.42	c current bound: 34
1788.14/1837.86	c current bound: 34
1788.79/1838.30	c current bound: 34
1789.02/1838.86	c current bound: 34
1789.66/1839.30	c current bound: 34
1789.90/1839.74	c current bound: 34
1790.34/1840.18	c current bound: 34
1790.77/1840.62	c current bound: 34
1791.22/1841.06	c current bound: 34
1791.87/1841.50	c current bound: 34
1792.10/1841.94	c current bound: 34
1792.53/1842.37	c current bound: 34
1793.18/1842.81	c current bound: 34
1793.41/1843.25	c current bound: 34
1793.98/1843.69	c current bound: 34
1794.31/1844.18	c current bound: 34
1794.95/1844.61	c current bound: 34
1795.18/1845.05	c current bound: 34
1795.62/1845.49	c current bound: 34
1796.06/1845.93	c current bound: 34
1796.50/1846.37	c current bound: 34
1797.14/1846.81	c current bound: 34
1797.37/1847.25	c current bound: 34
1797.82/1847.68	c current bound: 34
1798.26/1848.13	c current bound: 34
1798.69/1848.57	c current bound: 34
1799.34/1849.01	c current bound: 34
1799.57/1849.44	c current bound: 34
1799.83/1849.50	./satsolver.sh: line 5: 25544 Terminated              ./glucose $1 > $2 2> /dev/null
1799.83/1849.50	c error: unexpected solver exit code
1799.83/1849.50	s UNKNOWN

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-3715883-1338215765/watcher-3715883-1338215765 -o /tmp/evaluation-result-3715883-1338215765/solver-3715883-1338215765 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715883-1338215765.wbo 736458164 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.02 2.00 3/177 28773
/proc/meminfo: memFree=29250752/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0

[startup+0.0353961 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28773
/proc/meminfo: memFree=29250752/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100255 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28773
/proc/meminfo: memFree=29250752/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300287 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28773
/proc/meminfo: memFree=29250752/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700145 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 28773
/proc/meminfo: memFree=29250752/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 28777
/proc/meminfo: memFree=29158876/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=20460 CPUtime=0.58 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 5115 0 0 0 52 6 0 0 20 0 1 0 287701974 20951040 3724 33554432000 4194304 5990268 140735679658160 140735679651312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28774/statm: 5115 3724 153 439 0 4672 0
[pid=28776] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28776/stat : 28776 (cp2_pre.sh) S 28774 28773 20162 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 287702033 9367552 277 33554432000 4194304 5064252 140737157367040 140737157365744 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28776/statm: 2287 277 234 213 0 72 0
[pid=28777] ppid=28776 vsize=89376 CPUtime=0.89 cores=1,3,5,7
/proc/28777/stat : 28777 (coprocessor) R 28776 28773 20162 0 -1 4202496 16127 0 0 0 87 2 0 0 20 0 1 0 287702033 91521024 21467 33554432000 4194304 6586260 140734933650608 140734933646808 5599198 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28777/statm: 22344 21467 191 584 0 21756 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 128132

[startup+3.10038 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 28777
/proc/meminfo: memFree=29144548/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=20460 CPUtime=0.58 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 5115 0 0 0 52 6 0 0 20 0 1 0 287701974 20951040 3724 33554432000 4194304 5990268 140735679658160 140735679651312 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28774/statm: 5115 3724 153 439 0 4672 0
[pid=28776] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28776/stat : 28776 (cp2_pre.sh) S 28774 28773 20162 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 287702033 9367552 277 33554432000 4194304 5064252 140737157367040 140737157365744 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28776/statm: 2287 277 234 213 0 72 0
[pid=28777] ppid=28776 vsize=107724 CPUtime=2.5 cores=1,3,5,7
/proc/28777/stat : 28777 (coprocessor) R 28776 28773 20162 0 -1 4202496 18897 0 0 0 225 25 0 0 20 0 1 0 287702033 110309376 25186 33554432000 4194304 6586260 140734933650608 140734933646232 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28777/statm: 26931 25186 200 584 0 26343 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 146480

[startup+6.3002 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 28811
/proc/meminfo: memFree=29194068/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=5.95 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 23173 110916 0 0 79 29 410 77 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 38844

[startup+12.7003 s]
/proc/loadavg: 2.23 2.07 2.02 3/181 28916
/proc/meminfo: memFree=29277704/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=12.32 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 65419 339620 0 0 132 38 868 194 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 38844

[startup+25.5003 s]
/proc/loadavg: 2.27 2.08 2.02 3/181 29126
/proc/meminfo: memFree=29194396/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=24.98 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 152912 794770 0 0 243 55 1773 427 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 5 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 38844

[startup+51.1003 s]
/proc/loadavg: 2.17 2.08 2.02 3/179 29522
/proc/meminfo: memFree=29213040/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=49.49 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 321864 1670762 0 0 458 88 3517 886 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (KiB) 38844

[startup+102.307 s]
/proc/loadavg: 1.99 2.04 2.01 4/182 30345
/proc/meminfo: memFree=29193948/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=99.48 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 665802 3460407 0 0 891 165 7076 1816 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 43 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
[pid=30343] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30343/stat : 30343 (cp2_post.sh) S 28774 28773 20162 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 287712186 9367552 266 33554432000 4194304 5064252 140735171907872 140735171906160 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30343/statm: 2287 266 225 213 0 72 0
[pid=30345] ppid=30343 vsize=26288 CPUtime=0.17 cores=1,3,5,7
/proc/30345/stat : 30345 (coprocessor) R 30343 28773 20162 0 -1 4202496 3802 0 0 0 14 3 0 0 20 0 1 0 287712187 26918912 5121 33554432000 4194304 6586260 140733755364416 140735171906184 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/30345/statm: 6572 5121 150 584 0 5984 0
Current children cumulated CPU time (s) 99.65
Current children cumulated vsize (KiB) 74280

[startup+162.3 s]
/proc/loadavg: 1.95 2.02 2.00 3/181 31294
/proc/meminfo: memFree=29189580/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=158.72 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 1073097 5569125 0 0 1406 250 11277 2939 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 43 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 158.72
Current children cumulated vsize (KiB) 38844

[startup+222.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/182 32256
/proc/meminfo: memFree=29302836/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=217.5 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 1477375 7667537 0 0 1916 336 15453 4045 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 56 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 217.5
Current children cumulated vsize (KiB) 38844

[startup+282.3 s]
/proc/loadavg: 1.84 1.95 1.98 3/181 732
/proc/meminfo: memFree=29212944/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=275.41 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 1875619 9727999 0 0 2420 420 19547 5154 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 117 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 275.41

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

/proc/16843/statm: 7613 5491 70 248 0 7362 0
Current children cumulated CPU time (s) 1263.57
Current children cumulated vsize (KiB) 78444

[startup+1362.3 s]
/proc/loadavg: 1.93 1.94 1.91 3/181 17781
/proc/meminfo: memFree=29169800/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1321.71 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 9071164 47021108 0 0 11495 1958 93821 24897 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 385 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1321.71
Current children cumulated vsize (KiB) 38844

[startup+1422.31 s]
/proc/loadavg: 2.31 2.03 1.94 3/181 18733
/proc/meminfo: memFree=29181016/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1379.86 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 9472417 49085033 0 0 12001 2045 97959 25981 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 397 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
[pid=18732] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18732/stat : 18732 (satsolver.sh) S 28774 28773 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287844190 9367552 266 33554432000 4194304 5064252 140735907282240 140735907281152 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18732/statm: 2287 266 226 213 0 72 0
[pid=18733] ppid=18732 vsize=45016 CPUtime=0.13 cores=1,3,5,7
/proc/18733/stat : 18733 (glucose) R 18732 28773 20162 0 -1 4202496 8145 0 0 0 11 2 0 0 20 0 1 0 287844190 46096384 9868 33554432000 4194304 5208918 140734217917376 140735907281176 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18733/statm: 11254 9868 105 248 0 11003 0
Current children cumulated CPU time (s) 1379.99
Current children cumulated vsize (KiB) 93008

[startup+1482.3 s]
/proc/loadavg: 2.13 2.03 1.94 4/183 19677
/proc/meminfo: memFree=29187812/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1438.6 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 9876695 51179144 0 0 12511 2132 102135 27082 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 418 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1438.6
Current children cumulated vsize (KiB) 38844

[startup+1542.3 s]
/proc/loadavg: 1.91 1.99 1.93 3/182 20668
/proc/meminfo: memFree=29164424/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1497.21 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 10277964 53264557 0 0 13017 2220 106313 28171 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 426 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1497.21
Current children cumulated vsize (KiB) 38844

[startup+1602.3 s]
/proc/loadavg: 1.93 1.97 1.93 3/179 21643
/proc/meminfo: memFree=29568168/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1555.62 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 10679225 55341131 0 0 13521 2307 110466 29268 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 430 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1555.62
Current children cumulated vsize (KiB) 38844

[startup+1662.3 s]
/proc/loadavg: 1.94 1.96 1.92 3/181 22593
/proc/meminfo: memFree=29521516/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1614.93 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 11086520 57446564 0 0 14039 2389 114697 30368 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 430 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1614.93
Current children cumulated vsize (KiB) 38844

[startup+1722.3 s]
/proc/loadavg: 1.97 1.97 1.92 3/181 23528
/proc/meminfo: memFree=29502956/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1674.11 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 11493807 59558764 0 0 14553 2476 118928 31454 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 434 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1674.11
Current children cumulated vsize (KiB) 38844

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/181 24480
/proc/meminfo: memFree=29512264/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1733.42 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) R 28773 28773 20162 0 -1 4202496 11900062 61671049 0 0 15066 2562 123127 32587 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679650144 5042529 0 0 4096 0 0 0 0 17 3 0 0 439 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1733.42
Current children cumulated vsize (KiB) 38844

[startup+1842.3 s]
/proc/loadavg: 1.99 1.97 1.92 3/182 25414
/proc/meminfo: memFree=29499068/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1792.53 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 12305388 63778365 0 0 15576 2649 127326 33702 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 458 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (KiB) 38844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1849.5 s]
/proc/loadavg: 1.91 1.95 1.91 3/181 25544
/proc/meminfo: memFree=29463560/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1799.82 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 12356669 64031806 0 0 15641 2660 127842 33839 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 462 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
[pid=25543] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25543/stat : 25543 (satsolver.sh) S 28774 28773 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287886922 9367552 267 33554432000 4194304 5064252 140733352784288 140733352783200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25543/statm: 2287 267 226 213 0 72 0
[pid=25544] ppid=25543 vsize=23956 CPUtime=0.01 cores=1,3,5,7
/proc/25544/stat : 25544 (glucose) R 25543 28773 20162 0 -1 4202496 4237 0 0 0 1 0 0 0 20 0 1 0 287886922 24530944 4072 33554432000 4194304 5208918 140734080542048 140733352783224 4235112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25544/statm: 5989 4074 70 248 0 5738 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 71948

Sending SIGTERM to process tree (bottom up)

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

[startup+1849.5 s]
/proc/loadavg: 1.91 1.95 1.91 3/181 25544
/proc/meminfo: memFree=29463560/32873852 swapFree=7624/7624
[pid=28773] ppid=28771 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28773/stat : 28773 (npSolver-wbo-It) S 28771 28773 20162 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287701974 9367552 275 33554432000 4194304 5064252 140734561173696 140734561172608 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28773/statm: 2287 275 233 213 0 72 0
[pid=28774] ppid=28773 vsize=29696 CPUtime=1799.82 cores=1,3,5,7
/proc/28774/stat : 28774 (npSolver-wbo) S 28773 28773 20162 0 -1 4202496 12356669 64031806 0 0 15641 2660 127842 33839 20 0 1 0 287701974 30408704 5946 33554432000 4194304 5990268 140735679658160 140735679649568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 462 0 0
/proc/28774/statm: 7424 5946 177 439 0 6981 0
[pid=25543] ppid=28774 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25543/stat : 25543 (satsolver.sh) S 28774 28773 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287886922 9367552 267 33554432000 4194304 5064252 140733352784288 140733352783200 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25543/statm: 2287 267 226 213 0 72 0
[pid=25544] ppid=25543 vsize=23956 CPUtime=0.01 cores=1,3,5,7
/proc/25544/stat : 25544 (glucose) R 25543 28773 20162 0 -1 4202496 4237 0 0 0 1 0 0 0 20 0 1 0 287886922 24530944 4072 33554432000 4194304 5208918 140734080542048 140733352783224 4235112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25544/statm: 5989 4074 70 248 0 5738 0
Current children cumulated CPU time (s) 1799.83
Current children cumulated vsize (KiB) 71948

Child status: 0

# 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.310059
#  lost CPU user time (s): 0.26004
#  lost CPU system time (s): 0.0500031

Real time (s): 1849.51
CPU time (s): 1800.18
CPU user time (s): 1435.11
CPU system time (s): 365.07
CPU usage (%): 97.3329
Max. virtual memory (cumulated for all children) (KiB): 146480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1434.85
system time used= 365.021
maximum resident set size= 103760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76393739
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63634096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1379886
involuntary context switches= 49971

runsolver used 4.66929 second user time and 11.4693 second system time

The end

Begin job on node131 at 2012-05-28 16:36:05
IDJOB=3715883
IDBENCH=79137
IDSOLVER=2297
FILE ID=node131/3715883-1338215765
RUNJOBID= node131-1338189901-20180
PBS_JOBID= 14624570
Free space on /tmp= 71644 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j90/normalized-j903_10-unsat--soft-0-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715883-1338215765/watcher-3715883-1338215765 -o /tmp/evaluation-result-3715883-1338215765/solver-3715883-1338215765 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715883-1338215765.wbo 736458164 HOME HOME

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

MD5SUM BENCH= 79706c02bb02b1a2f2bd4df3be7a3f2b
RANDOM SEED=736458164

node131.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.805
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.61
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.805
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.805
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.91
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.805
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.805
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.805
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.91
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.805
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.92
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.805
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        29251256 kB
Buffers:          495948 kB
Cached:          1959968 kB
SwapCached:         2328 kB
Active:          1127920 kB
Inactive:        1646004 kB
Active(anon):     316556 kB
Inactive(anon):      976 kB
Active(file):     811364 kB
Inactive(file):  1645028 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099048 kB
Dirty:             44572 kB
Writeback:             0 kB
AnonPages:        479840 kB
Mapped:            15400 kB
Shmem:                 0 kB
Slab:             707992 kB
SReclaimable:     150084 kB
SUnreclaim:       557908 kB
KernelStack:        1480 kB
PageTables:         4532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     489660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    299008 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= 71700 MiB
End job on node131 at 2012-05-28 17:06:55