0.00/0.53	c run usual solver
3.37/3.43	o 84
3.37/3.43	c starting approximation
3.37/3.43	c factor = 2
3.37/3.43	c factor still to low - shrinking to 11.4353
3.37/3.43	c approx number of clauses: 1e+06
3.37/3.43	c current bound: 42
3.68/3.86	c current bound: 42
4.12/4.29	c current bound: 42
4.54/4.73	c current bound: 42
4.97/5.16	c current bound: 42
5.57/5.60	c current bound: 42
5.86/6.26	c current bound: 42
6.29/6.69	c current bound: 42
6.73/7.13	c current bound: 42
7.16/7.56	c current bound: 42
7.75/8.00	c current bound: 42
8.03/8.43	c current bound: 42
8.47/8.87	c current bound: 42
9.06/9.30	c current bound: 42
9.34/9.73	c current bound: 42
9.77/10.16	c current bound: 42
10.36/10.60	c current bound: 42
10.79/11.41	c current bound: 42
11.07/11.85	c current bound: 42
11.52/12.28	c current bound: 42
12.09/12.71	c current bound: 42
12.49/13.15	c current bound: 42
12.82/13.58	c current bound: 42
13.25/14.02	c current bound: 42
13.70/14.45	c current bound: 42
14.13/14.89	c current bound: 42
14.71/15.32	c current bound: 42
15.00/15.76	c current bound: 42
15.44/16.19	c current bound: 42
15.87/16.63	c current bound: 42
16.30/17.06	c current bound: 42
16.74/17.50	c current bound: 42
17.18/17.93	c current bound: 42
17.61/18.37	c current bound: 42
18.21/18.80	c current bound: 42
18.49/19.24	c current bound: 42
18.94/19.67	c current bound: 42
19.52/20.11	c current bound: 42
19.80/20.54	c current bound: 42
20.23/20.98	c current bound: 42
20.67/21.75	c current bound: 42
21.11/22.19	c current bound: 42
21.54/22.62	c current bound: 42
22.07/23.06	c current bound: 42
22.41/23.49	c current bound: 42
22.85/23.92	c current bound: 42
23.28/24.36	c current bound: 42
23.72/24.79	c current bound: 42
24.29/25.23	c current bound: 42
24.59/25.66	c current bound: 42
25.18/26.53	c current bound: 42
25.46/26.96	c current bound: 42
25.89/27.40	c current bound: 42
26.33/27.83	c current bound: 42
26.76/28.26	c current bound: 42
27.35/28.70	c current bound: 42
27.64/29.14	c current bound: 42
28.08/29.57	c current bound: 42
28.67/30.00	c current bound: 42
28.95/30.44	c current bound: 42
29.38/30.87	c current bound: 42
29.98/31.57	c current bound: 42
30.41/32.01	c current bound: 42
30.70/32.44	c current bound: 42
31.14/32.88	c current bound: 42
31.72/33.31	c current bound: 42
32.00/33.75	c current bound: 42
32.44/34.18	c current bound: 42
32.87/34.62	c current bound: 42
33.31/35.05	c current bound: 42
33.75/35.48	c current bound: 42
34.34/35.92	c current bound: 42
34.77/36.56	c current bound: 42
35.22/37.01	c current bound: 42
35.62/37.44	c current bound: 42
35.94/37.87	c current bound: 42
36.54/38.31	c current bound: 42
36.82/38.75	c current bound: 42
37.27/39.19	c current bound: 42
37.84/39.62	c current bound: 42
38.13/40.06	c current bound: 42
38.56/40.49	c current bound: 42
39.00/40.93	c current bound: 42
39.60/41.56	c current bound: 42
40.02/42.00	c current bound: 42
40.31/42.43	c current bound: 42
40.83/42.87	c current bound: 42
41.34/43.30	c current bound: 42
41.62/43.73	c current bound: 42
42.06/44.17	c current bound: 42
42.65/44.60	c current bound: 42
43.05/45.04	c current bound: 42
43.36/45.47	c current bound: 42
43.95/45.91	c current bound: 42
44.24/46.64	c current bound: 42
44.67/47.07	c current bound: 42
45.26/47.51	c current bound: 42
45.53/47.94	c current bound: 42
46.05/48.37	c current bound: 42
46.56/48.81	c current bound: 42
46.84/49.25	c current bound: 42
47.27/49.68	c current bound: 42
47.72/50.12	c current bound: 42
48.26/50.55	c current bound: 42
48.59/50.99	c current bound: 42
49.03/51.42	c current bound: 42
49.48/51.86	c current bound: 42
49.91/52.29	c current bound: 42
50.33/52.72	c current bound: 42
50.77/53.16	c current bound: 42
51.21/53.59	c current bound: 42
51.64/54.03	c current bound: 42
52.08/54.46	c current bound: 42
52.52/54.89	c current bound: 42
52.95/55.33	c current bound: 42
53.39/55.76	c current bound: 42
53.98/56.58	c current bound: 42
54.42/57.01	c current bound: 42
54.70/57.45	c current bound: 42
55.12/57.88	c current bound: 42
55.73/58.32	c current bound: 42
56.00/58.75	c current bound: 42
56.45/59.19	c current bound: 42
56.89/59.63	c current bound: 42
57.31/60.06	c current bound: 42
57.82/60.50	c current bound: 42
58.19/60.93	c current bound: 42
58.76/61.59	c current bound: 42
59.06/62.03	c current bound: 42
59.50/62.46	c current bound: 42
60.09/62.90	c current bound: 42
60.38/63.33	c current bound: 42
60.89/63.76	c current bound: 42
61.40/64.20	c current bound: 42
61.69/64.64	c current bound: 42
62.12/65.07	c current bound: 42
62.72/65.51	c current bound: 42
63.11/65.94	c current bound: 42
63.59/66.52	c current bound: 42
63.87/66.95	c current bound: 42
64.30/67.39	c current bound: 42
64.74/67.82	c current bound: 42
65.28/68.25	c current bound: 42
65.62/68.69	c current bound: 42
66.06/69.12	c current bound: 42
66.48/69.56	c current bound: 42
66.92/69.99	c current bound: 42
67.49/70.42	c current bound: 42
67.80/70.86	c current bound: 42
68.37/71.69	c current bound: 42
68.66/72.12	c current bound: 42
69.20/72.55	c current bound: 42
69.53/72.99	c current bound: 42
69.98/73.42	c current bound: 42
70.42/73.86	c current bound: 42
70.85/74.29	c current bound: 42
71.42/74.73	c current bound: 42
71.72/75.16	c current bound: 42
72.32/75.60	c current bound: 42
72.59/76.03	c current bound: 42
73.02/76.64	c current bound: 42
73.47/77.08	c current bound: 42
74.06/77.51	c current bound: 42
74.35/77.95	c current bound: 42
74.77/78.38	c current bound: 42
75.21/78.82	c current bound: 42
75.75/79.25	c current bound: 42
76.08/79.69	c current bound: 42
76.51/80.12	c current bound: 42
76.96/80.55	c current bound: 42
77.39/80.99	c current bound: 42
77.97/81.47	c current bound: 42
78.41/81.90	c current bound: 42
78.69/82.34	c current bound: 42
79.13/82.78	c current bound: 42
79.72/83.21	c current bound: 42
80.12/83.65	c current bound: 42
80.44/84.08	c current bound: 42
81.03/84.51	c current bound: 42
81.32/84.95	c current bound: 42
81.74/85.38	c current bound: 42
82.33/85.82	c current bound: 42
82.61/86.25	c current bound: 42
83.21/86.82	c current bound: 42
83.49/87.26	c current bound: 42
83.92/87.69	c current bound: 42
84.36/88.13	c current bound: 42
84.79/88.56	c current bound: 42
85.23/88.99	c current bound: 42
85.66/89.43	c current bound: 42
86.10/89.86	c current bound: 42
86.69/90.30	c current bound: 42
86.98/90.73	c current bound: 42
87.39/91.17	c current bound: 42
87.84/91.77	c current bound: 42
88.44/92.20	c current bound: 42
88.71/92.64	c current bound: 42
89.16/93.08	c current bound: 42
89.75/93.51	c current bound: 42
90.03/93.96	c current bound: 42
90.63/94.40	c current bound: 42
90.91/94.84	c current bound: 42
91.34/95.27	c current bound: 42
91.94/95.70	c current bound: 42
92.21/96.14	c current bound: 42
92.81/96.78	c current bound: 42
93.23/97.21	c current bound: 42
93.52/97.64	c current bound: 42
93.95/98.08	c current bound: 42
94.53/98.51	c current bound: 42
94.94/98.95	c current bound: 42
95.25/99.38	c current bound: 42
95.84/99.81	c current bound: 42
96.13/100.26	c current bound: 42
96.57/100.69	c current bound: 42
97.14/101.12	c current bound: 42
97.44/101.56	c current bound: 42
98.04/102.20	c current bound: 42
98.32/102.64	c current bound: 42
98.75/103.07	c current bound: 42
99.34/103.51	c current bound: 42
99.63/103.94	c current bound: 42
100.06/104.38	c current bound: 42
100.65/104.81	c current bound: 42
100.94/105.24	c current bound: 42
101.37/105.68	c current bound: 42
101.97/106.11	c current bound: 42
102.24/106.54	c current bound: 42
102.84/107.20	c current bound: 42
103.13/107.63	c current bound: 42
103.55/108.07	c current bound: 42
104.16/108.51	c current bound: 42
104.55/108.94	c current bound: 42
104.86/109.37	c current bound: 42
105.46/109.81	c current bound: 42
105.74/110.25	c current bound: 42
106.18/110.68	c current bound: 42
106.76/111.12	c current bound: 42
107.04/111.55	c current bound: 42
107.64/112.15	c current bound: 42
107.91/112.58	c current bound: 42
108.50/113.01	c current bound: 42
108.79/113.45	c current bound: 42
109.23/113.88	c current bound: 42
109.80/114.32	c current bound: 42
110.09/114.75	c current bound: 42
110.53/115.19	c current bound: 42
110.96/115.62	c current bound: 42
111.40/116.06	c current bound: 42
111.84/116.49	c current bound: 42
112.28/117.07	c current bound: 42
112.86/117.50	c current bound: 42
113.15/117.94	c current bound: 42
113.58/118.37	c current bound: 42
114.17/118.81	c current bound: 42
114.45/119.24	c current bound: 42
114.89/119.67	c current bound: 42
115.47/120.12	c current bound: 42
115.77/120.56	c current bound: 42
116.28/120.99	c current bound: 42
116.64/121.42	c current bound: 42
117.08/121.86	c current bound: 42
117.51/122.48	c current bound: 42
118.10/122.91	c current bound: 42
118.39/123.35	c current bound: 42
118.83/123.78	c current bound: 42
119.41/124.22	c current bound: 42
119.69/124.65	c current bound: 42
120.13/125.09	c current bound: 42
120.57/125.52	c current bound: 42
121.00/125.96	c current bound: 42
121.45/126.39	c current bound: 42
121.87/126.82	c current bound: 42
122.48/127.30	c current bound: 42
122.76/127.73	c current bound: 42
123.20/128.16	c current bound: 42
123.62/128.60	c current bound: 42
124.07/129.04	c current bound: 42
124.52/129.48	c current bound: 42
125.10/129.91	c current bound: 42
125.40/130.35	c current bound: 42
125.82/130.78	c current bound: 42
126.41/131.21	c current bound: 42
126.69/131.65	c current bound: 42
127.28/132.10	c current bound: 42
127.57/132.53	c current bound: 42
128.01/132.97	c current bound: 42
128.60/133.40	c current bound: 42
128.87/133.83	c current bound: 42
129.29/134.27	c current bound: 42
129.89/134.70	c current bound: 42
130.17/135.14	c current bound: 42
130.62/135.57	c current bound: 42
131.20/136.01	c current bound: 42
131.60/136.45	c current bound: 42
131.93/136.89	c current bound: 42
132.38/137.69	c current bound: 42
132.80/138.13	c current bound: 42
133.33/138.56	c current bound: 42
133.69/138.99	c current bound: 42
134.11/139.43	c current bound: 42
134.54/139.86	c current bound: 42
134.97/140.29	c current bound: 42
135.53/140.73	c current bound: 42
135.84/141.17	c current bound: 42
136.29/141.62	c current bound: 42
136.75/142.15	c current bound: 42
137.17/142.58	c current bound: 42
137.76/143.02	c current bound: 42
138.04/143.45	c current bound: 42
138.48/143.89	c current bound: 42
138.91/144.32	c current bound: 42
139.35/144.76	c current bound: 42
139.85/145.19	c current bound: 42
140.22/145.63	c current bound: 42
140.65/146.06	c current bound: 42
141.09/146.49	c current bound: 42
141.52/146.93	c current bound: 42
142.11/147.57	c current bound: 42
142.56/148.00	c current bound: 42
142.95/148.43	c current bound: 42
143.26/148.87	c current bound: 42
143.85/149.30	c current bound: 42
144.13/149.73	c current bound: 42
144.57/150.17	c current bound: 42
145.16/150.60	c current bound: 42
145.44/151.04	c current bound: 42
145.87/151.47	c current bound: 42
146.48/151.90	c current bound: 42
146.74/152.35	c current bound: 42
147.18/152.79	c current bound: 42
147.62/153.22	c current bound: 42
148.05/153.66	c current bound: 42
148.49/154.09	c current bound: 42
148.93/154.53	c current bound: 42
149.36/154.96	c current bound: 42
149.96/155.40	c current bound: 42
150.24/155.83	c current bound: 42
150.68/156.26	c current bound: 42
151.27/156.70	c current bound: 42
151.54/157.13	c current bound: 42
151.98/157.92	c current bound: 42
152.52/158.35	c current bound: 42
152.86/158.79	c current bound: 42
153.29/159.22	c current bound: 42
153.72/159.66	c current bound: 42
154.15/160.09	c current bound: 42
154.73/160.52	c current bound: 42
155.03/160.96	c current bound: 42
155.46/161.39	c current bound: 42
155.89/161.83	c current bound: 42
156.50/162.41	c current bound: 42
156.88/162.84	c current bound: 42
157.21/163.28	c current bound: 42
157.81/163.71	c current bound: 42
158.08/164.15	c current bound: 42
158.53/164.58	c current bound: 42
159.12/165.01	c current bound: 42
159.39/165.45	c current bound: 42
159.82/165.88	c current bound: 42
160.26/166.32	c current bound: 42
160.70/166.75	c current bound: 42
161.20/167.19	c current bound: 42
161.58/167.99	c current bound: 42
162.00/168.43	c current bound: 42
162.44/168.86	c current bound: 42
162.89/169.30	c current bound: 42
163.31/169.73	c current bound: 42
163.75/170.16	c current bound: 42
164.34/170.60	c current bound: 42
164.62/171.03	c current bound: 42
165.05/171.47	c current bound: 42
165.65/171.90	c current bound: 42
166.07/172.69	c current bound: 42
166.37/173.12	c current bound: 42
166.81/173.56	c current bound: 42
167.23/173.99	c current bound: 42
167.67/174.42	c current bound: 42
168.20/174.86	c current bound: 42
168.53/175.29	c current bound: 42
168.97/175.73	c current bound: 42
169.41/176.17	c current bound: 42
170.00/176.60	c current bound: 42
170.41/177.03	c current bound: 42
170.88/177.66	c current bound: 42
171.15/178.10	c current bound: 42
171.59/178.53	c current bound: 42
172.02/178.96	c current bound: 42
172.61/179.40	c current bound: 42
172.89/179.83	c current bound: 42
173.34/180.27	c current bound: 42
173.93/180.70	c current bound: 42
174.20/181.13	c current bound: 42
174.63/181.57	c current bound: 42
175.22/182.00	c current bound: 42
175.65/182.67	c current bound: 42
176.10/183.11	c current bound: 42
176.37/183.54	c current bound: 42
176.81/183.98	c current bound: 42
177.39/184.41	c current bound: 42
177.78/184.85	c current bound: 42
178.29/185.30	c current bound: 42
178.56/185.73	c current bound: 42
179.01/186.17	c current bound: 42
179.60/186.60	c current bound: 42
180.01/187.03	c current bound: 42
180.49/187.67	c current bound: 42
180.84/188.10	c current bound: 42
181.20/188.53	c current bound: 42
181.64/188.97	c current bound: 42
182.24/189.40	c current bound: 42
182.51/189.84	c current bound: 42
183.04/190.27	c current bound: 42
183.54/190.70	c current bound: 42
183.82/191.14	c current bound: 42
184.26/191.57	c current bound: 42
184.85/192.01	c current bound: 42
185.25/192.46	c current bound: 42
185.56/192.89	c current bound: 42
186.00/193.33	c current bound: 42
186.44/193.77	c current bound: 42
187.04/194.20	c current bound: 42
187.44/194.63	c current bound: 42
187.76/195.07	c current bound: 42
188.34/195.50	c current bound: 42
188.63/195.94	c current bound: 42
189.05/196.38	c current bound: 42
189.65/196.81	c current bound: 42
189.94/197.24	c current bound: 42
190.50/197.94	c current bound: 42
190.81/198.37	c current bound: 42
191.39/198.80	c current bound: 42
191.68/199.24	c current bound: 42
192.12/199.68	c current bound: 42
192.71/200.11	c current bound: 42
193.00/200.54	c current bound: 42
193.42/200.98	c current bound: 42
193.86/201.42	c current bound: 42
194.30/201.85	c current bound: 42
194.73/202.28	c current bound: 42
195.17/202.97	c current bound: 42
195.60/203.40	c current bound: 42
196.04/203.83	c current bound: 42
196.48/204.27	c current bound: 42
197.07/204.70	c current bound: 42
197.36/205.14	c current bound: 42
197.79/205.57	c current bound: 42
198.39/206.01	c current bound: 42
198.67/206.44	c current bound: 42
199.09/206.88	c current bound: 42
199.70/207.84	c current bound: 42
199.98/208.27	c current bound: 42
200.57/208.71	c current bound: 42
200.85/209.14	c current bound: 42
201.28/209.58	c current bound: 42
201.88/210.01	c current bound: 42
202.16/210.44	c current bound: 42
202.59/210.88	c current bound: 42
203.18/211.31	c current bound: 42
203.46/211.74	c current bound: 42
203.90/212.18	c current bound: 42
204.48/212.69	c current bound: 42
204.77/213.12	c current bound: 42
205.19/213.55	c current bound: 42
205.64/213.99	c current bound: 42
206.24/214.42	c current bound: 42
206.51/214.86	c current bound: 42
206.96/215.29	c current bound: 42
207.39/215.73	c current bound: 42
207.83/216.16	c current bound: 42
208.27/216.60	c current bound: 42
208.71/217.03	c current bound: 42
209.29/217.72	c current bound: 42
209.59/218.15	c current bound: 42
210.01/218.59	c current bound: 42
210.46/219.02	c current bound: 42
210.89/219.46	c current bound: 42
211.33/219.89	c current bound: 42
211.76/220.33	c current bound: 42
212.19/220.76	c current bound: 42
212.63/221.20	c current bound: 42
213.06/221.63	c current bound: 42
213.50/222.08	c current bound: 42
214.11/222.72	c current bound: 42
214.39/223.16	c current bound: 42
214.84/223.59	c current bound: 42
215.27/224.03	c current bound: 42
215.71/224.46	c current bound: 42
216.31/224.90	c current bound: 42
216.58/225.33	c current bound: 42
217.01/225.77	c current bound: 42
217.61/226.21	c current bound: 42
218.01/226.64	c current bound: 42
218.32/227.07	c current bound: 42
218.89/227.68	c current bound: 42
219.35/228.11	c current bound: 42
219.65/228.54	c current bound: 42
220.07/228.98	c current bound: 42
220.67/229.41	c current bound: 42
221.06/229.85	c current bound: 42
221.38/230.28	c current bound: 42
221.97/230.71	c current bound: 42
222.26/231.15	c current bound: 42
222.69/231.58	c current bound: 42
223.29/232.02	c current bound: 42
223.72/232.61	c current bound: 42
224.02/233.04	c current bound: 42
224.44/233.48	c current bound: 42
225.02/233.91	c current bound: 42
225.42/234.34	c current bound: 42
225.74/234.78	c current bound: 42
226.32/235.21	c current bound: 42
226.61/235.65	c current bound: 42
227.06/236.09	c current bound: 42
227.64/236.52	c current bound: 42
227.93/236.95	c current bound: 42
228.36/237.39	c current bound: 42
228.80/238.22	c current bound: 42
229.31/238.66	c current bound: 42
229.68/239.09	c current bound: 42
230.11/239.53	c current bound: 42
230.56/239.96	c current bound: 42
231.14/240.40	c current bound: 42
231.55/240.83	c current bound: 42
231.84/241.27	c current bound: 42
232.43/241.70	c current bound: 42
232.72/242.14	c current bound: 42
233.16/242.69	c current bound: 42
233.74/243.12	c current bound: 42
234.03/243.56	c current bound: 42
234.46/243.99	c current bound: 42
234.89/244.43	c current bound: 42
235.33/244.86	c current bound: 42
235.82/245.30	c current bound: 42
236.20/245.73	c current bound: 42
236.63/246.16	c current bound: 42
237.22/246.60	c current bound: 42
237.51/247.03	c current bound: 42
238.03/247.47	c current bound: 42
238.53/248.10	c current bound: 42
238.94/248.53	c current bound: 42
239.24/248.96	c current bound: 42
239.84/249.40	c current bound: 42
240.12/249.84	c current bound: 42
240.56/250.27	c current bound: 42
241.14/250.70	c current bound: 42
241.42/251.14	c current bound: 42
241.86/251.57	c current bound: 42
242.45/252.01	c current bound: 42
242.73/252.45	c current bound: 42
243.34/253.10	c current bound: 42
243.61/253.54	c current bound: 42
244.06/253.97	c current bound: 42
244.63/254.41	c current bound: 42
244.93/254.84	c current bound: 42
245.36/255.28	c current bound: 42
245.95/255.71	c current bound: 42
246.23/256.15	c current bound: 42
246.67/256.58	c current bound: 42
247.11/257.02	c current bound: 42
247.66/257.45	c current bound: 42
247.99/258.09	c current bound: 42
248.56/258.52	c current bound: 42
248.87/258.95	c current bound: 42
249.29/259.39	c current bound: 42
249.73/259.82	c current bound: 42
250.18/260.26	c current bound: 42
250.67/260.70	c current bound: 42
251.05/261.13	c current bound: 42
251.48/261.57	c current bound: 42
252.08/262.01	c current bound: 42
252.36/262.44	c current bound: 42
252.87/262.89	c current bound: 42
253.22/263.32	c current bound: 42
253.67/263.76	c current bound: 42
254.10/264.19	c current bound: 42
254.54/264.63	c current bound: 42
255.06/265.06	c current bound: 42
255.40/265.50	c current bound: 42
255.86/265.93	c current bound: 42
256.29/266.36	c current bound: 42
256.89/266.80	c current bound: 42
257.28/267.24	c current bound: 42
257.60/267.67	c current bound: 42
258.17/268.43	c current bound: 42
258.46/268.86	c current bound: 42
259.06/269.30	c current bound: 42
259.35/269.74	c current bound: 42
259.78/270.17	c current bound: 42
260.37/270.61	c current bound: 42
260.66/271.04	c current bound: 42
261.09/271.48	c current bound: 42
261.68/271.91	c current bound: 42
261.97/272.35	c current bound: 42
262.56/273.21	c current bound: 42
262.84/273.64	c current bound: 42
263.27/274.08	c current bound: 42
263.87/274.51	c current bound: 42
264.25/274.94	c current bound: 42
264.57/275.38	c current bound: 42
265.16/275.81	c current bound: 42
265.44/276.25	c current bound: 42
265.88/276.69	c current bound: 42
266.47/277.12	c current bound: 42
266.75/277.55	c current bound: 42
267.20/278.18	c current bound: 42
267.62/278.62	c current bound: 42
268.07/279.05	c current bound: 42
268.49/279.49	c current bound: 42
268.92/279.92	c current bound: 42
269.37/280.36	c current bound: 42
269.81/280.79	c current bound: 42
270.24/281.23	c current bound: 42
270.68/281.66	c current bound: 42
271.12/282.09	c current bound: 42
271.55/282.53	c current bound: 42
272.15/283.16	c current bound: 42
272.57/283.60	c current bound: 42
272.86/284.04	c current bound: 42
273.31/284.47	c current bound: 42
273.90/284.91	c current bound: 42
274.17/285.35	c current bound: 42
274.61/285.78	c current bound: 42
275.04/286.22	c current bound: 42
275.48/286.65	c current bound: 42
275.97/287.08	c current bound: 42
276.35/287.52	c current bound: 42
276.93/288.19	c current bound: 42
277.21/288.62	c current bound: 42
277.64/289.06	c current bound: 42
278.08/289.49	c current bound: 42
278.50/289.93	c current bound: 42
279.05/290.36	c current bound: 42
279.54/290.80	c current bound: 42
279.81/291.23	c current bound: 42
280.26/291.67	c current bound: 42
280.85/292.10	c current bound: 42
281.25/292.53	c current bound: 42
281.57/292.97	c current bound: 42
282.16/293.41	c current bound: 42
282.44/293.84	c current bound: 42
282.86/294.28	c current bound: 42
283.46/294.73	c current bound: 42
283.76/295.16	c current bound: 42
284.35/295.60	c current bound: 42
284.62/296.03	c current bound: 42
285.06/296.47	c current bound: 42
285.50/296.90	c current bound: 42
285.94/297.34	c current bound: 42
286.37/297.77	c current bound: 42
286.81/298.54	c current bound: 42
287.25/298.98	c current bound: 42
287.84/299.41	c current bound: 42
288.12/299.85	c current bound: 42
288.63/300.28	c current bound: 42
288.99/300.72	c current bound: 42
289.42/301.15	c current bound: 42
289.86/301.59	c current bound: 42
290.28/302.02	c current bound: 42
290.82/302.46	c current bound: 42
291.16/302.98	c current bound: 42
291.60/303.42	c current bound: 42
292.04/303.86	c current bound: 42
292.47/304.29	c current bound: 42
293.03/304.72	c current bound: 42
293.34/305.16	c current bound: 42
293.78/305.59	c current bound: 42
294.21/306.03	c current bound: 42
294.66/306.46	c current bound: 42
295.15/306.90	c current bound: 42
295.53/307.33	c current bound: 42
295.97/307.76	c current bound: 42
296.40/308.58	c current bound: 42
296.98/309.01	c current bound: 42
297.26/309.45	c current bound: 42
297.70/309.88	c current bound: 42
298.28/310.31	c current bound: 42
298.58/310.75	c current bound: 42
299.01/311.18	c current bound: 42
299.45/311.62	c current bound: 42
299.88/312.05	c current bound: 42
300.32/312.49	c current bound: 42
300.74/313.06	c current bound: 42
301.25/313.50	c current bound: 42
301.63/313.93	c current bound: 42
302.06/314.37	c current bound: 42
302.67/314.80	c current bound: 42
302.94/315.24	c current bound: 42
303.46/315.67	c current bound: 42
303.97/316.11	c current bound: 42
304.25/316.54	c current bound: 42
304.69/316.98	c current bound: 42
305.26/317.41	c current bound: 42
305.65/317.85	c current bound: 42
305.99/318.65	c current bound: 42
306.42/319.09	c current bound: 42
306.86/319.52	c current bound: 42
307.29/319.96	c current bound: 42
307.73/320.39	c current bound: 42
308.17/320.83	c current bound: 42
308.60/321.26	c current bound: 42
309.19/321.70	c current bound: 42
309.48/322.13	c current bound: 42
309.92/322.57	c current bound: 42
310.51/323.10	c current bound: 42
310.79/323.54	c current bound: 42
311.24/323.98	c current bound: 42
311.84/324.41	c current bound: 42
312.10/324.85	c current bound: 42
312.55/325.28	c current bound: 42
313.13/325.71	c current bound: 42
313.42/326.15	c current bound: 42
313.85/326.58	c current bound: 42
314.29/327.02	c current bound: 42
314.73/327.45	c current bound: 42
315.16/327.89	c current bound: 42
315.75/328.60	c current bound: 42
316.02/329.04	c current bound: 42
316.47/329.48	c current bound: 42
317.06/329.91	c current bound: 42
317.34/330.34	c current bound: 42
317.77/330.78	c current bound: 42
318.21/331.22	c current bound: 42
318.65/331.65	c current bound: 42
319.08/332.09	c current bound: 42
319.51/332.52	c current bound: 42
320.12/333.10	c current bound: 42
320.40/333.54	c current bound: 42
320.84/333.97	c current bound: 42
321.43/334.40	c current bound: 42
321.70/334.84	c current bound: 42
322.14/335.27	c current bound: 42
322.73/335.71	c current bound: 42
323.02/336.15	c current bound: 42
323.51/336.58	c current bound: 42
324.04/337.01	c current bound: 42
324.32/337.45	c current bound: 42
324.75/337.88	c current bound: 42
325.21/338.32	c current bound: 42
325.73/338.76	c current bound: 42
326.07/339.19	c current bound: 42
326.50/339.63	c current bound: 42
326.93/340.06	c current bound: 42
327.54/340.50	c current bound: 42
327.93/340.93	c current bound: 42
328.25/341.36	c current bound: 42
328.68/341.80	c current bound: 42
329.12/342.23	c current bound: 42
329.55/342.67	c current bound: 42
330.15/343.36	c current bound: 42
330.58/343.80	c current bound: 42
330.98/344.23	c current bound: 42
331.28/344.66	c current bound: 42
331.88/345.10	c current bound: 42
332.18/345.54	c current bound: 42
332.60/345.97	c current bound: 42
333.21/346.41	c current bound: 42
333.48/346.85	c current bound: 42
333.92/347.28	c current bound: 42
334.37/347.72	c current bound: 42
334.95/348.38	c current bound: 42
335.39/348.93	c current bound: 42
335.68/349.37	c current bound: 42
336.16/349.80	c current bound: 42
336.54/350.24	c current bound: 42
336.98/350.67	c current bound: 42
337.58/351.10	c current bound: 42
337.85/351.54	c current bound: 42
338.36/351.97	c current bound: 42
338.88/352.41	c current bound: 42
339.15/352.84	c current bound: 42
339.75/353.48	c current bound: 42
340.18/353.91	c current bound: 42
340.46/354.35	c current bound: 42
340.89/354.78	c current bound: 42
341.48/355.22	c current bound: 42
341.75/355.65	c current bound: 42
342.20/356.08	c current bound: 42
342.64/356.52	c current bound: 42
343.06/356.96	c current bound: 42
343.50/357.39	c current bound: 42
343.93/357.82	c current bound: 42
344.38/358.26	c current bound: 42
344.81/358.69	c current bound: 42
345.24/359.13	c current bound: 42
345.67/359.56	c current bound: 42
346.11/359.99	c current bound: 42
346.55/360.43	c current bound: 42
346.98/360.86	c current bound: 42
347.41/361.29	c current bound: 42
347.83/361.73	c current bound: 42
348.28/362.16	c current bound: 42
348.87/362.60	c current bound: 42
349.27/363.03	c current bound: 42
349.74/363.90	c current bound: 42
350.03/364.34	c current bound: 42
350.46/364.77	c current bound: 42
351.06/365.21	c current bound: 42
351.32/365.64	c current bound: 42
351.76/366.08	c current bound: 42
352.36/366.52	c current bound: 42
352.64/366.95	c current bound: 42
353.16/367.38	c current bound: 42
353.51/367.82	c current bound: 42
353.95/368.25	c current bound: 42
354.38/368.69	c current bound: 42
354.82/369.12	c current bound: 42
355.34/369.55	c current bound: 42
355.68/369.99	c current bound: 42
356.11/370.42	c current bound: 42
356.55/370.85	c current bound: 42
356.99/371.29	c current bound: 42
357.57/371.72	c current bound: 42
357.85/372.16	c current bound: 42
358.29/372.59	c current bound: 42
358.72/373.03	c current bound: 42
359.17/373.63	c current bound: 42
359.60/374.07	c current bound: 42
360.19/374.51	c current bound: 42
360.46/374.94	c current bound: 42
360.91/375.37	c current bound: 42
361.49/375.81	c current bound: 42
361.89/376.24	c current bound: 42
362.22/376.68	c current bound: 42
362.81/377.11	c current bound: 42
363.10/377.56	c current bound: 42
363.53/377.99	c current bound: 42
364.12/378.65	c current bound: 42
364.41/379.08	c current bound: 42
365.01/379.52	c current bound: 42
365.28/379.95	c current bound: 42
365.71/380.39	c current bound: 42
366.15/380.82	c current bound: 42
366.58/381.26	c current bound: 42
367.09/381.69	c current bound: 42
367.46/382.12	c current bound: 42
367.89/382.55	c current bound: 42
368.33/382.99	c current bound: 42
368.75/383.58	c current bound: 42
369.35/384.01	c current bound: 42
369.63/384.45	c current bound: 42
370.06/384.88	c current bound: 42
370.50/385.32	c current bound: 42
370.93/385.75	c current bound: 42
371.37/386.18	c current bound: 42
371.96/386.62	c current bound: 42
372.24/387.05	c current bound: 42
372.68/387.48	c current bound: 42
373.12/387.92	c current bound: 42
373.68/388.52	c current bound: 42
373.99/388.95	c current bound: 42
374.50/389.39	c current bound: 42
374.86/389.83	c current bound: 42
375.31/390.27	c current bound: 42
375.90/390.70	c current bound: 42
376.18/391.13	c current bound: 42
376.72/391.57	c current bound: 42
377.21/392.01	c current bound: 42
377.49/392.44	c current bound: 42
377.92/392.88	c current bound: 42
378.51/393.31	c current bound: 42
378.94/394.01	c current bound: 42
379.24/394.44	c current bound: 42
379.73/394.88	c current bound: 42
380.25/395.31	c current bound: 42
380.54/395.75	c current bound: 42
380.97/396.18	c current bound: 42
381.41/396.62	c current bound: 42
381.96/397.05	c current bound: 42
382.29/397.49	c current bound: 42
382.72/397.92	c current bound: 42
383.31/398.85	c current bound: 42
383.67/399.29	c current bound: 42
384.02/399.74	c current bound: 42
384.48/400.17	c current bound: 42
385.07/400.61	c current bound: 42
385.36/401.04	c current bound: 42
385.88/401.48	c current bound: 42
386.39/401.91	c current bound: 42
386.67/402.34	c current bound: 42
387.11/402.78	c current bound: 42
387.69/403.21	c current bound: 42
388.14/403.82	c current bound: 42
388.42/404.25	c current bound: 42
388.86/404.69	c current bound: 42
389.31/405.12	c current bound: 42
389.74/405.56	c current bound: 42
390.18/405.99	c current bound: 42
390.60/406.42	c current bound: 42
391.06/406.86	c current bound: 42
391.65/407.30	c current bound: 42
391.93/407.74	c current bound: 42
392.36/408.17	c current bound: 42
392.96/408.64	c current bound: 42
393.24/409.07	c current bound: 42
393.82/409.51	c current bound: 42
394.11/409.95	c current bound: 42
394.54/410.38	c current bound: 42
395.14/410.81	c current bound: 42
395.41/411.25	c current bound: 42
395.86/411.68	c current bound: 42
396.29/412.12	c current bound: 42
396.82/412.55	c current bound: 42
397.16/412.99	c current bound: 42
397.60/413.42	c current bound: 42
398.04/414.26	c current bound: 42
398.53/414.70	c current bound: 42
398.91/415.13	c current bound: 42
399.34/415.57	c current bound: 42
399.93/416.00	c current bound: 42
400.21/416.44	c current bound: 42
400.73/416.88	c current bound: 42
401.24/417.32	c current bound: 42
401.52/417.75	c current bound: 42
401.95/418.19	c current bound: 42
402.40/418.94	c current bound: 42
402.83/419.37	c current bound: 42
403.43/419.80	c current bound: 42
403.82/420.24	c current bound: 42
404.14/420.68	c current bound: 42
404.73/421.11	c current bound: 42
405.01/421.54	c current bound: 42
405.45/421.97	c current bound: 42
406.04/422.41	c current bound: 42
406.32/422.85	c current bound: 42
406.76/423.28	c current bound: 42
407.34/423.90	c current bound: 42
407.63/424.33	c current bound: 42
408.07/424.76	c current bound: 42
408.65/425.20	c current bound: 42
409.04/425.63	c current bound: 42
409.36/426.07	c current bound: 42
409.95/426.50	c current bound: 42
410.23/426.94	c current bound: 42
410.67/427.37	c current bound: 42
411.25/427.81	c current bound: 42
411.52/428.24	c current bound: 42
412.12/428.71	c current bound: 42
412.40/429.14	c current bound: 42
412.83/429.58	c current bound: 42
413.42/430.01	c current bound: 42
413.69/430.44	c current bound: 42
414.14/430.88	c current bound: 42
414.72/431.31	c current bound: 42
415.01/431.74	c current bound: 42
415.45/432.18	c current bound: 42
416.03/432.61	c current bound: 42
416.30/433.05	c current bound: 42
416.74/433.48	c current bound: 42
417.18/434.29	c current bound: 42
417.61/434.72	c current bound: 42
418.04/435.15	c current bound: 42
418.55/435.59	c current bound: 42
418.91/436.02	c current bound: 42
419.35/436.46	c current bound: 42
419.78/436.90	c current bound: 42
420.22/437.33	c current bound: 42
420.75/437.76	c current bound: 42
421.26/438.20	c current bound: 42
421.69/439.00	c current bound: 42
421.97/439.44	c current bound: 42
422.39/439.87	c current bound: 42
422.98/440.30	c current bound: 42
423.26/440.74	c current bound: 42
423.69/441.17	c current bound: 42
424.29/441.60	c current bound: 42
424.56/442.04	c current bound: 42
425.00/442.48	c current bound: 42
425.44/442.92	c current bound: 42
425.99/443.35	c current bound: 42
426.48/443.97	c current bound: 42
426.92/444.41	c current bound: 42
427.21/444.85	c current bound: 42
427.65/445.28	c current bound: 42
428.23/445.71	c current bound: 42
428.51/446.15	c current bound: 42
429.00/446.58	c current bound: 42
429.39/447.02	c current bound: 42
429.82/447.45	c current bound: 42
430.25/447.89	c current bound: 42
430.68/448.32	c current bound: 42
431.29/449.14	c current bound: 42
431.56/449.57	c current bound: 42
432.15/450.01	c current bound: 42
432.43/450.44	c current bound: 42
432.88/450.88	c current bound: 42
433.46/451.32	c current bound: 42
433.74/451.75	c current bound: 42
434.18/452.18	c current bound: 42
434.61/452.62	c current bound: 42
435.04/453.05	c current bound: 42
435.49/453.49	c current bound: 42
436.07/454.11	c current bound: 42
436.36/454.54	c current bound: 42
436.80/454.98	c current bound: 42
437.39/455.41	c current bound: 42
437.67/455.85	c current bound: 42
438.10/456.28	c current bound: 42
438.55/456.72	c current bound: 42
438.98/457.16	c current bound: 42
439.48/457.59	c current bound: 42
439.84/458.02	c current bound: 42
440.28/458.46	c current bound: 42
440.72/459.19	c current bound: 42
441.16/459.63	c current bound: 42
441.58/460.06	c current bound: 42
442.03/460.49	c current bound: 42
442.59/460.93	c current bound: 42
442.90/461.36	c current bound: 42
443.50/461.80	c current bound: 42
443.77/462.24	c current bound: 42
444.21/462.67	c current bound: 42
444.81/463.11	c current bound: 42
445.08/463.54	c current bound: 42
445.68/464.18	c current bound: 42
445.97/464.62	c current bound: 42
446.41/465.05	c current bound: 42
446.84/465.49	c current bound: 42
447.27/465.92	c current bound: 42
447.80/466.36	c current bound: 42
448.14/466.79	c current bound: 42
448.58/467.23	c current bound: 42
449.01/467.66	c current bound: 42
449.44/468.09	c current bound: 42
450.01/468.53	c current bound: 42
450.32/468.96	c current bound: 42
450.91/469.40	c current bound: 42
451.20/469.83	c current bound: 42
451.63/470.27	c current bound: 42
452.07/470.70	c current bound: 42
452.49/471.14	c current bound: 42
452.93/471.57	c current bound: 42
453.52/472.00	c current bound: 42
453.80/472.44	c current bound: 42
454.24/472.87	c current bound: 42
454.83/473.31	c current bound: 42
455.11/473.74	c current bound: 42
455.54/474.55	c current bound: 42
455.97/474.98	c current bound: 42
456.41/475.42	c current bound: 42
456.86/475.85	c current bound: 42
457.35/476.28	c current bound: 42
457.71/476.72	c current bound: 42
458.15/477.15	c current bound: 42
458.59/477.58	c current bound: 42
459.02/478.02	c current bound: 42
459.55/478.46	c current bound: 42
459.89/479.27	c current bound: 42
460.48/479.71	c current bound: 42
460.76/480.14	c current bound: 42
461.19/480.57	c current bound: 42
461.79/481.01	c current bound: 42
462.07/481.44	c current bound: 42
462.51/481.88	c current bound: 42
463.08/482.31	c current bound: 42
463.37/482.74	c current bound: 42
463.80/483.18	c current bound: 42
464.39/483.61	c current bound: 42
464.78/484.08	c current bound: 42
465.26/484.51	c current bound: 42
465.56/484.94	c current bound: 42
465.98/485.38	c current bound: 42
466.58/485.81	c current bound: 42
466.96/486.25	c current bound: 42
467.29/486.68	c current bound: 42
467.88/487.11	c current bound: 42
468.16/487.55	c current bound: 42
468.60/487.98	c current bound: 42
469.19/488.42	c current bound: 42
469.48/488.85	c current bound: 42
470.05/489.52	c current bound: 42
470.35/489.95	c current bound: 42
470.78/490.38	c current bound: 42
471.21/490.82	c current bound: 42
471.64/491.27	c current bound: 42
472.25/491.71	c current bound: 42
472.52/492.14	c current bound: 42
472.97/492.58	c current bound: 42
473.54/493.01	c current bound: 42
473.83/493.45	c current bound: 42
474.44/494.32	c current bound: 42
474.72/494.75	c current bound: 42
475.15/495.19	c current bound: 42
475.58/495.62	c current bound: 42
476.12/496.06	c current bound: 42
476.44/496.49	c current bound: 42
476.88/496.92	c current bound: 42
477.31/497.36	c current bound: 42
477.75/497.79	c current bound: 42
478.31/498.23	c current bound: 42
478.62/498.66	c current bound: 42
479.05/499.27	c current bound: 42
479.65/499.70	c current bound: 42
479.92/500.13	c current bound: 42
480.36/500.57	c current bound: 42
480.96/501.00	c current bound: 42
481.24/501.43	c current bound: 42
481.68/501.87	c current bound: 42
482.25/502.30	c current bound: 42
482.66/502.74	c current bound: 42
482.98/503.17	c current bound: 42
483.56/503.61	c current bound: 42
483.85/504.34	c current bound: 42
484.28/504.78	c current bound: 42
484.87/505.21	c current bound: 42
485.16/505.65	c current bound: 42
485.60/506.09	c current bound: 42
486.04/506.52	c current bound: 42
486.48/506.96	c current bound: 42
487.07/507.40	c current bound: 42
487.34/507.83	c current bound: 42
487.78/508.26	c current bound: 42
488.38/508.70	c current bound: 42
488.79/509.35	c current bound: 42
489.10/509.78	c current bound: 42
489.53/510.22	c current bound: 42
489.97/510.65	c current bound: 42
490.41/511.08	c current bound: 42
490.98/511.52	c current bound: 42
491.28/511.95	c current bound: 42
491.70/512.39	c current bound: 42
492.15/512.82	c current bound: 42
492.59/513.26	c current bound: 42
493.08/513.69	c current bound: 42
493.46/514.38	c current bound: 42
494.05/514.81	c current bound: 42
494.33/515.24	c current bound: 42
494.76/515.68	c current bound: 42
495.35/516.11	c current bound: 42
495.64/516.55	c current bound: 42
496.14/516.98	c current bound: 42
496.66/517.42	c current bound: 42
496.94/517.85	c current bound: 42
497.36/518.28	c current bound: 42
497.80/518.72	c current bound: 42
498.37/519.15	c current bound: 42
498.68/519.59	c current bound: 42
499.12/520.02	c current bound: 42
499.55/520.46	c current bound: 42
499.99/520.89	c current bound: 42
500.56/521.33	c current bound: 42
500.87/521.76	c current bound: 42
501.46/522.20	c current bound: 42
501.74/522.63	c current bound: 42
502.18/523.07	c current bound: 42
502.78/523.50	c current bound: 42
503.05/523.94	c current bound: 42
503.60/524.75	c current bound: 42
503.94/525.19	c current bound: 42
504.38/525.63	c current bound: 42
504.82/526.06	c current bound: 42
505.25/526.49	c current bound: 42
505.81/526.93	c current bound: 42
506.12/527.36	c current bound: 42
506.71/527.80	c current bound: 42
506.99/528.23	c current bound: 42
507.43/528.67	c current bound: 42
507.98/529.28	c current bound: 42
508.46/529.71	c current bound: 42
508.84/530.15	c current bound: 42
509.17/530.58	c current bound: 42
509.76/531.02	c current bound: 42
510.05/531.45	c current bound: 42
510.49/531.89	c current bound: 42
511.07/532.32	c current bound: 42
511.36/532.76	c current bound: 42
511.80/533.19	c current bound: 42
512.24/533.63	c current bound: 42
512.67/534.07	c current bound: 42
513.12/534.79	c current bound: 42
513.55/535.22	c current bound: 42
514.09/535.66	c current bound: 42
514.42/536.09	c current bound: 42
514.85/536.52	c current bound: 42
515.28/536.96	c current bound: 42
515.74/537.39	c current bound: 42
516.29/537.83	c current bound: 42
516.60/538.26	c current bound: 42
517.05/538.69	c current bound: 42
517.62/539.40	c current bound: 42
517.92/539.83	c current bound: 42
518.35/540.27	c current bound: 42
518.94/540.70	c current bound: 42
519.33/541.14	c current bound: 42
519.65/541.57	c current bound: 42
520.24/542.00	c current bound: 42
520.54/542.44	c current bound: 42
520.97/542.88	c current bound: 42
521.56/543.31	c current bound: 42
521.83/543.74	c current bound: 42
522.43/544.55	c current bound: 42
522.71/544.98	c current bound: 42
523.15/545.42	c current bound: 42
523.58/545.85	c current bound: 42
524.02/546.29	c current bound: 42
524.59/546.72	c current bound: 42
524.90/547.16	c current bound: 42
525.33/547.59	c current bound: 42
525.76/548.03	c current bound: 42
526.21/548.46	c current bound: 42
526.70/548.90	c current bound: 42
527.07/549.56	c current bound: 42
527.55/550.00	c current bound: 42
527.95/550.43	c current bound: 42
528.38/550.87	c current bound: 42
528.96/551.30	c current bound: 42
529.25/551.74	c current bound: 42
529.76/552.18	c current bound: 42
530.27/552.61	c current bound: 42
530.56/553.04	c current bound: 42
531.00/553.48	c current bound: 42
531.58/553.91	c current bound: 42
532.01/554.65	c current bound: 42
532.29/555.08	c current bound: 42
532.88/555.52	c current bound: 42
533.17/555.95	c current bound: 42
533.61/556.38	c current bound: 42
534.03/556.82	c current bound: 42
534.47/557.25	c current bound: 42
534.97/557.69	c current bound: 42
535.35/558.13	c current bound: 42
535.78/558.56	c current bound: 42
536.22/559.00	c current bound: 42
536.82/559.52	c current bound: 42
537.19/559.96	c current bound: 42
537.54/560.39	c current bound: 42
537.96/560.83	c current bound: 42
538.40/561.26	c current bound: 42
538.83/561.69	c current bound: 42
539.40/562.13	c current bound: 42
539.71/562.57	c current bound: 42
540.29/563.00	c current bound: 42
540.58/563.43	c current bound: 42
541.01/563.87	c current bound: 42
541.58/564.68	c current bound: 42
542.03/565.11	c current bound: 42
542.31/565.55	c current bound: 42
542.75/565.98	c current bound: 42
543.34/566.41	c current bound: 42
543.61/566.85	c current bound: 42
544.05/567.29	c current bound: 42
544.50/567.72	c current bound: 42
544.94/568.15	c current bound: 42
545.37/568.59	c current bound: 42
545.81/569.03	c current bound: 42
546.40/569.66	c current bound: 42
546.68/570.09	c current bound: 42
547.10/570.52	c current bound: 42
547.64/570.96	c current bound: 42
547.98/571.39	c current bound: 42
548.42/571.82	c current bound: 42
548.84/572.26	c current bound: 42
549.46/572.70	c current bound: 42
549.85/573.14	c current bound: 42
550.18/573.57	c current bound: 42
550.77/574.00	c current bound: 42
551.20/574.67	c current bound: 42
551.64/575.10	c current bound: 42
551.91/575.54	c current bound: 42
552.35/575.97	c current bound: 42
552.94/576.41	c current bound: 42
553.21/576.84	c current bound: 42
553.66/577.27	c current bound: 42
554.23/577.71	c current bound: 42
554.52/578.14	c current bound: 42
555.02/578.58	c current bound: 42
555.53/579.02	c current bound: 42
555.83/579.45	c current bound: 42
556.26/579.89	c current bound: 42
556.70/580.32	c current bound: 42
557.23/580.76	c current bound: 42
557.74/581.20	c current bound: 42
558.01/581.63	c current bound: 42
558.43/582.06	c current bound: 42
559.03/582.50	c current bound: 42
559.43/582.93	c current bound: 42
559.75/583.37	c current bound: 42
560.35/583.80	c current bound: 42
560.62/584.23	c current bound: 42
561.21/585.00	c current bound: 42
561.48/585.44	c current bound: 42
561.91/585.87	c current bound: 42
562.51/586.30	c current bound: 42
562.78/586.74	c current bound: 42
563.22/587.17	c current bound: 42
563.82/587.61	c current bound: 42
564.09/588.04	c current bound: 42
564.61/588.48	c current bound: 42
565.11/588.91	c current bound: 42
565.39/589.46	c current bound: 42
565.99/589.90	c current bound: 42
566.27/590.33	c current bound: 42
566.71/590.77	c current bound: 42
567.30/591.20	c current bound: 42
567.58/591.64	c current bound: 42
568.01/592.07	c current bound: 42
568.60/592.50	c current bound: 42
569.00/592.94	c current bound: 42
569.32/593.37	c current bound: 42
569.92/593.81	c current bound: 42
570.20/594.25	c current bound: 42
570.64/594.68	c current bound: 42
571.23/595.12	c current bound: 42
571.51/595.56	c current bound: 42
572.11/596.01	c current bound: 42
572.39/596.45	c current bound: 42
572.82/596.88	c current bound: 42
573.42/597.32	c current bound: 42
573.70/597.75	c current bound: 42
574.15/598.19	c current bound: 42
574.58/598.63	c current bound: 42
575.02/599.06	c current bound: 42
575.61/599.75	c current bound: 42
575.89/600.19	c current bound: 42
576.47/600.62	c current bound: 42
576.77/601.06	c current bound: 42
577.20/601.49	c current bound: 42
577.63/601.93	c current bound: 42
578.06/602.36	c current bound: 42
578.56/602.79	c current bound: 42
578.93/603.23	c current bound: 42
579.37/603.66	c current bound: 42
579.97/604.10	c current bound: 42
580.25/604.76	c current bound: 42
580.84/605.20	c current bound: 42
581.12/605.63	c current bound: 42
581.65/606.07	c current bound: 42
582.15/606.51	c current bound: 42
582.43/606.94	c current bound: 42
582.88/607.38	c current bound: 42
583.46/607.81	c current bound: 42
583.86/608.25	c current bound: 42
584.18/608.69	c current bound: 42
584.62/609.12	c current bound: 42
585.22/609.76	c current bound: 42
585.50/610.19	c current bound: 42
585.95/610.63	c current bound: 42
586.38/611.06	c current bound: 42
586.81/611.49	c current bound: 42
587.25/611.93	c current bound: 42
587.69/612.36	c current bound: 42
588.12/612.79	c current bound: 42
588.54/613.23	c current bound: 42
588.98/613.66	c current bound: 42
589.41/614.09	c current bound: 42
589.86/614.53	c current bound: 42
590.37/614.96	c current bound: 42
590.73/615.39	c current bound: 42
591.15/615.83	c current bound: 42
591.59/616.27	c current bound: 42
592.19/616.70	c current bound: 42
592.59/617.13	c current bound: 42
592.90/617.57	c current bound: 42
593.51/618.00	c current bound: 42
593.77/618.44	c current bound: 42
594.20/618.87	c current bound: 42
594.80/619.31	c current bound: 42
595.09/620.15	c current bound: 42
595.51/620.58	c current bound: 42
595.96/621.02	c current bound: 42
596.50/621.45	c current bound: 42
596.83/621.89	c current bound: 42
597.27/622.32	c current bound: 42
597.69/622.76	c current bound: 42
598.30/623.20	c current bound: 42
598.71/623.64	c current bound: 42
599.02/624.07	c current bound: 42
599.60/624.86	c current bound: 42
599.90/625.30	c current bound: 42
600.34/625.73	c current bound: 42
600.77/626.17	c current bound: 42
601.37/626.60	c current bound: 42
601.76/627.04	c current bound: 42
602.08/627.47	c current bound: 42
602.67/627.91	c current bound: 42
602.96/628.34	c current bound: 42
603.39/628.78	c current bound: 42
603.98/629.21	c current bound: 42
604.43/629.85	c current bound: 42
604.77/630.29	c current bound: 42
605.14/630.72	c current bound: 42
605.58/631.15	c current bound: 42
606.00/631.59	c current bound: 42
606.44/632.03	c current bound: 42
606.96/632.47	c current bound: 42
607.49/632.90	c current bound: 42
607.76/633.34	c current bound: 42
608.19/633.77	c current bound: 42
608.78/634.21	c current bound: 42
609.22/634.87	c current bound: 42
609.66/635.31	c current bound: 42
610.06/635.75	c current bound: 42
610.38/636.18	c current bound: 42
610.96/636.62	c current bound: 42
611.25/637.05	c current bound: 42
611.68/637.48	c current bound: 42
612.27/637.92	c current bound: 42
612.55/638.35	c current bound: 42
612.99/638.79	c current bound: 42
613.42/639.22	c current bound: 42
614.01/639.85	c current bound: 42
614.29/640.28	c current bound: 42
614.87/640.71	c current bound: 42
615.16/641.15	c current bound: 42
615.60/641.58	c current bound: 42
616.04/642.02	c current bound: 42
616.57/642.46	c current bound: 42
616.91/642.89	c current bound: 42
617.35/643.33	c current bound: 42
617.78/643.77	c current bound: 42
618.38/644.20	c current bound: 42
618.77/644.65	c current bound: 42
619.10/645.08	c current bound: 42
619.69/645.52	c current bound: 42
619.97/645.95	c current bound: 42
620.41/646.38	c current bound: 42
620.99/646.82	c current bound: 42
621.28/647.26	c current bound: 42
621.72/647.69	c current bound: 42
622.15/648.13	c current bound: 42
622.59/648.56	c current bound: 42
623.08/649.00	c current bound: 42
623.47/649.43	c current bound: 42
623.90/650.24	c current bound: 42
624.33/650.68	c current bound: 42
624.93/651.11	c current bound: 42
625.22/651.54	c current bound: 42
625.65/651.98	c current bound: 42
626.23/652.41	c current bound: 42
626.51/652.84	c current bound: 42
626.95/653.28	c current bound: 42
627.54/653.71	c current bound: 42
627.83/654.15	c current bound: 42
628.43/654.71	c current bound: 42
628.70/655.19	c current bound: 42
629.26/655.63	c current bound: 42
629.57/656.06	c current bound: 42
630.15/656.50	c current bound: 42
630.45/656.93	c current bound: 42
630.87/657.37	c current bound: 42
631.47/657.80	c current bound: 42
631.75/658.24	c current bound: 42
632.18/658.67	c current bound: 42
632.77/659.10	c current bound: 42
633.05/659.54	c current bound: 42
633.48/660.32	c current bound: 42
633.94/660.77	c current bound: 42
634.52/661.20	c current bound: 42
634.79/661.63	c current bound: 42
635.25/662.07	c current bound: 42
635.83/662.50	c current bound: 42
636.11/662.94	c current bound: 42
636.54/663.37	c current bound: 42
637.13/663.81	c current bound: 42
637.42/664.24	c current bound: 42
637.85/664.86	c current bound: 42
638.45/665.30	c current bound: 42
638.72/665.73	c current bound: 42
639.16/666.16	c current bound: 42
639.64/666.60	c current bound: 42
640.03/667.03	c current bound: 42
640.46/667.47	c current bound: 42
641.07/667.90	c current bound: 42
641.35/668.34	c current bound: 42
641.87/668.77	c current bound: 42
642.38/669.21	c current bound: 42
642.66/669.64	c current bound: 42
643.10/670.38	c current bound: 42
643.68/670.81	c current bound: 42
643.97/671.25	c current bound: 42
644.40/671.69	c current bound: 42
644.97/672.12	c current bound: 42
645.27/672.56	c current bound: 42
645.71/672.99	c current bound: 42
646.15/673.43	c current bound: 42
646.59/673.86	c current bound: 42
647.07/674.30	c current bound: 42
647.45/674.88	c current bound: 42
648.05/675.32	c current bound: 42
648.34/675.76	c current bound: 42
648.78/676.19	c current bound: 42
649.20/676.62	c current bound: 42
649.65/677.06	c current bound: 42
650.07/677.49	c current bound: 42
650.52/677.93	c current bound: 42
650.95/678.36	c current bound: 42
651.55/678.80	c current bound: 42
651.82/679.23	c current bound: 42
652.26/679.66	c current bound: 42
652.69/680.28	c current bound: 42
653.13/680.72	c current bound: 42
653.57/681.15	c current bound: 42
654.01/681.59	c current bound: 42
654.59/682.02	c current bound: 42
654.87/682.45	c current bound: 42
655.31/682.89	c current bound: 42
655.75/683.33	c current bound: 42
656.19/683.76	c current bound: 42
656.69/684.19	c current bound: 42
657.06/684.63	c current bound: 42
657.65/685.15	c current bound: 42
657.93/685.58	c current bound: 42
658.51/686.01	c current bound: 42
658.92/686.45	c current bound: 42
659.24/686.89	c current bound: 42
659.68/687.32	c current bound: 42
660.12/687.75	c current bound: 42
660.55/688.19	c current bound: 42
661.13/688.63	c current bound: 42
661.44/689.06	c current bound: 42
661.87/689.50	c current bound: 42
662.47/690.13	c current bound: 42
662.74/690.56	c current bound: 42
663.34/691.00	c current bound: 42
663.61/691.43	c current bound: 42
664.15/691.87	c current bound: 42
664.64/692.31	c current bound: 42
664.93/692.74	c current bound: 42
665.37/693.17	c current bound: 42
665.96/693.61	c current bound: 42
666.35/694.04	c current bound: 42
666.67/694.47	c current bound: 42
667.25/695.14	c current bound: 42
667.55/695.58	c current bound: 42
668.15/696.01	c current bound: 42
668.43/696.44	c current bound: 42
668.87/696.88	c current bound: 42
669.45/697.31	c current bound: 42
669.73/697.75	c current bound: 42
670.17/698.18	c current bound: 42
670.76/698.62	c current bound: 42
671.04/699.05	c current bound: 42
671.48/699.48	c current bound: 42
671.92/699.92	c current bound: 42
672.35/700.35	c current bound: 42
672.97/700.81	c current bound: 42
673.25/701.24	c current bound: 42
673.68/701.67	c current bound: 42
674.27/702.11	c current bound: 42
674.55/702.54	c current bound: 42
674.99/702.98	c current bound: 42
675.42/703.42	c current bound: 42
675.85/703.85	c current bound: 42
676.29/704.29	c current bound: 42
676.88/704.85	c current bound: 42
677.16/705.28	c current bound: 42
677.59/705.72	c current bound: 42
678.14/706.15	c current bound: 42
678.47/706.59	c current bound: 42
678.91/707.02	c current bound: 42
679.36/707.46	c current bound: 42
679.78/707.89	c current bound: 42
680.37/708.32	c current bound: 42
680.66/708.76	c current bound: 42
681.09/709.19	c current bound: 42
681.52/709.63	c current bound: 42
681.98/710.06	c current bound: 42
682.40/710.50	c current bound: 42
682.84/710.93	c current bound: 42
683.27/711.37	c current bound: 42
683.87/711.81	c current bound: 42
684.15/712.24	c current bound: 42
684.59/712.67	c current bound: 42
685.17/713.11	c current bound: 42
685.44/713.55	c current bound: 42
685.90/713.98	c current bound: 42
686.48/714.41	c current bound: 42
686.76/714.85	c current bound: 42
687.20/715.58	c current bound: 42
687.79/716.01	c current bound: 42
688.07/716.45	c current bound: 42
688.50/716.88	c current bound: 42
688.94/717.32	c current bound: 42
689.38/717.75	c current bound: 42
689.82/718.19	c current bound: 42
690.26/718.62	c current bound: 42
690.69/719.06	c current bound: 42
691.13/719.49	c current bound: 42
691.56/720.06	c current bound: 42
692.06/720.49	c current bound: 42
692.44/720.93	c current bound: 42
692.87/721.37	c current bound: 42
693.47/721.80	c current bound: 42
693.74/722.23	c current bound: 42
694.27/722.67	c current bound: 42
694.78/723.10	c current bound: 42
695.06/723.54	c current bound: 42
695.48/723.97	c current bound: 42
696.08/724.41	c current bound: 42
696.47/724.84	c current bound: 42
696.95/725.32	c current bound: 42
697.23/725.75	c current bound: 42
697.67/726.19	c current bound: 42
698.11/726.62	c current bound: 42
698.64/727.06	c current bound: 42
698.98/727.49	c current bound: 42
699.42/727.93	c current bound: 42
699.85/728.36	c current bound: 42
700.45/728.80	c current bound: 42
700.83/729.23	c current bound: 42
701.16/729.67	c current bound: 42
701.75/730.34	c current bound: 42
702.03/730.77	c current bound: 42
702.63/731.21	c current bound: 42
702.90/731.64	c current bound: 42
703.35/732.08	c current bound: 42
703.93/732.51	c current bound: 42
704.21/732.95	c current bound: 42
704.64/733.38	c current bound: 42
705.09/733.82	c current bound: 42
705.53/734.25	c current bound: 42
705.96/734.69	c current bound: 42
706.56/735.32	c current bound: 42
706.83/735.76	c current bound: 42
707.27/736.20	c current bound: 42
707.70/736.63	c current bound: 42
708.16/737.06	c current bound: 42
708.74/737.50	c current bound: 42
709.02/737.93	c current bound: 42
709.45/738.37	c current bound: 42
710.05/738.80	c current bound: 42
710.45/739.24	c current bound: 42
710.76/739.67	c current bound: 42
711.36/740.33	c current bound: 42
711.64/740.77	c current bound: 42
712.24/741.20	c current bound: 42
712.52/741.64	c current bound: 42
712.95/742.07	c current bound: 42
713.53/742.51	c current bound: 42
713.82/742.94	c current bound: 42
714.26/743.38	c current bound: 42
714.83/743.81	c current bound: 42
715.12/744.24	c current bound: 42
715.63/744.68	c current bound: 42
716.14/745.12	c current bound: 42
716.44/745.55	c current bound: 42
716.87/745.98	c current bound: 42
717.31/746.42	c current bound: 42
717.85/746.85	c current bound: 42
718.19/747.29	c current bound: 42
718.62/747.73	c current bound: 42
719.06/748.16	c current bound: 42
719.50/748.59	c current bound: 42
720.06/749.03	c current bound: 42
720.37/749.46	c current bound: 42
720.97/749.90	c current bound: 42
721.24/750.64	c current bound: 42
721.67/751.07	c current bound: 42
722.26/751.50	c current bound: 42
722.54/751.94	c current bound: 42
723.04/752.37	c current bound: 42
723.57/752.81	c current bound: 42
723.85/753.24	c current bound: 42
724.28/753.68	c current bound: 42
724.87/754.11	c current bound: 42
725.26/754.55	c current bound: 42
725.76/755.16	c current bound: 42
726.05/755.60	c current bound: 42
726.47/756.03	c current bound: 42
726.91/756.47	c current bound: 42
727.51/756.90	c current bound: 42
727.78/757.33	c current bound: 42
728.21/757.77	c current bound: 42
728.81/758.20	c current bound: 42
729.09/758.64	c current bound: 42
729.53/759.07	c current bound: 42
730.12/759.50	c current bound: 42
730.40/759.94	c current bound: 42
730.83/760.76	c current bound: 42
731.32/761.20	c current bound: 42
731.69/761.63	c current bound: 42
732.12/762.06	c current bound: 42
732.73/762.50	c current bound: 42
733.00/762.93	c current bound: 42
733.53/763.37	c current bound: 42
734.03/763.80	c current bound: 42
734.30/764.24	c current bound: 42
734.75/764.67	c current bound: 42
735.19/765.33	c current bound: 42
735.63/765.77	c current bound: 42
736.21/766.20	c current bound: 42
736.62/766.64	c current bound: 42
736.93/767.07	c current bound: 42
737.52/767.51	c current bound: 42
737.80/767.95	c current bound: 42
738.24/768.39	c current bound: 42
738.84/768.82	c current bound: 42
739.12/769.27	c current bound: 42
739.73/769.71	c current bound: 42
740.17/770.33	c current bound: 42
740.45/770.77	c current bound: 42
741.05/771.21	c current bound: 42
741.32/771.64	c current bound: 42
741.75/772.07	c current bound: 42
742.35/772.51	c current bound: 42
742.63/772.94	c current bound: 42
743.07/773.38	c current bound: 42
743.65/773.81	c current bound: 42
743.94/774.25	c current bound: 42
744.38/774.69	c current bound: 42
744.97/775.31	c current bound: 42
745.25/775.74	c current bound: 42
745.70/776.18	c current bound: 42
746.28/776.61	c current bound: 42
746.57/777.04	c current bound: 42
747.00/777.48	c current bound: 42
747.57/777.92	c current bound: 42
747.87/778.35	c current bound: 42
748.36/778.78	c current bound: 42
748.74/779.22	c current bound: 42
749.18/779.65	c current bound: 42
749.61/780.09	c current bound: 42
750.06/780.53	c current bound: 42
750.58/780.97	c current bound: 42
751.08/781.40	c current bound: 42
751.36/781.84	c current bound: 42
751.80/782.28	c current bound: 42
752.38/782.71	c current bound: 42
752.78/783.15	c current bound: 42
753.11/783.59	c current bound: 42
753.55/784.02	c current bound: 42
753.99/784.46	c current bound: 42
754.43/784.89	c current bound: 42
755.02/785.56	c current bound: 42
755.46/786.00	c current bound: 42
755.84/786.44	c current bound: 42
756.16/786.87	c current bound: 42
756.76/787.31	c current bound: 42
757.04/787.75	c current bound: 42
757.48/788.18	c current bound: 42
758.07/788.61	c current bound: 42
758.35/789.05	c current bound: 42
758.79/789.48	c current bound: 42
759.23/789.92	c current bound: 42
759.66/790.35	c current bound: 42
760.09/791.18	c current bound: 42
760.52/791.62	c current bound: 42
761.07/792.05	c current bound: 42
761.39/792.48	c current bound: 42
761.84/792.92	c current bound: 42
762.27/793.36	c current bound: 42
762.70/793.79	c current bound: 42
763.27/794.23	c current bound: 42
763.57/794.67	c current bound: 42
764.17/795.10	c current bound: 42
764.44/795.85	c current bound: 42
764.89/796.28	c current bound: 42
765.32/796.72	c current bound: 42
765.76/797.15	c current bound: 42
766.20/797.59	c current bound: 42
766.62/798.02	c current bound: 42
767.07/798.45	c current bound: 42
767.49/798.89	c current bound: 42
767.93/799.32	c current bound: 42
768.47/799.76	c current bound: 42
768.81/800.19	c current bound: 42
769.38/800.99	c current bound: 42
769.68/801.43	c current bound: 42
770.22/801.86	c current bound: 42
770.55/802.30	c current bound: 42
770.99/802.73	c current bound: 42
771.42/803.16	c current bound: 42
772.01/803.60	c current bound: 42
772.42/804.04	c current bound: 42
772.73/804.47	c current bound: 42
773.33/804.90	c current bound: 42
773.60/805.34	c current bound: 42
774.04/805.77	c current bound: 42
774.63/806.21	c current bound: 42
774.92/806.64	c current bound: 42
775.35/807.08	c current bound: 42
775.94/807.51	c current bound: 42
776.22/807.95	c current bound: 42
776.67/808.38	c current bound: 42
777.09/808.82	c current bound: 42
777.54/809.25	c current bound: 42
777.98/809.69	c current bound: 42
778.41/810.12	c current bound: 42
778.84/810.56	c current bound: 42
779.28/811.32	c current bound: 42
779.81/811.75	c current bound: 42
780.14/812.19	c current bound: 42
780.58/812.62	c current bound: 42
781.01/813.06	c current bound: 42
781.45/813.49	c current bound: 42
782.01/813.92	c current bound: 42
782.31/814.36	c current bound: 42
782.74/814.79	c current bound: 42
783.19/815.23	c current bound: 42
783.77/815.81	c current bound: 42
784.17/816.24	c current bound: 42
784.49/816.67	c current bound: 42
785.08/817.11	c current bound: 42
785.36/817.54	c current bound: 42
785.80/817.98	c current bound: 42
786.38/818.41	c current bound: 42
786.66/818.84	c current bound: 42
787.27/819.30	c current bound: 42
787.55/819.73	c current bound: 42
787.98/820.16	c current bound: 42
788.48/820.60	c current bound: 42
788.86/821.28	c current bound: 42
789.46/821.72	c current bound: 42
789.74/822.16	c current bound: 42
790.18/822.59	c current bound: 42
790.61/823.03	c current bound: 42
791.05/823.46	c current bound: 42
791.53/823.90	c current bound: 42
791.93/824.33	c current bound: 42
792.36/824.77	c current bound: 42
792.95/825.21	c current bound: 42
793.24/825.65	c current bound: 42
793.68/826.45	c current bound: 42
794.11/826.88	c current bound: 42
794.53/827.32	c current bound: 42
794.99/827.75	c current bound: 42
795.41/828.19	c current bound: 42
795.86/828.62	c current bound: 42
796.28/829.05	c current bound: 42
796.71/829.49	c current bound: 42
797.15/829.92	c current bound: 42
797.59/830.36	c current bound: 42
798.02/830.89	c current bound: 42
798.47/831.33	c current bound: 42
798.89/831.77	c current bound: 42
799.49/832.20	c current bound: 42
799.89/832.63	c current bound: 42
800.20/833.07	c current bound: 42
800.80/833.51	c current bound: 42
801.08/833.94	c current bound: 42
801.52/834.38	c current bound: 42
802.11/834.81	c current bound: 42
802.39/835.24	c current bound: 42
802.81/835.68	c current bound: 42
803.42/836.29	c current bound: 42
803.70/836.72	c current bound: 42
804.24/837.16	c current bound: 42
804.56/837.59	c current bound: 42
805.01/838.03	c current bound: 42
805.43/838.46	c current bound: 42
805.87/838.89	c current bound: 42
806.44/839.33	c current bound: 42
806.75/839.76	c current bound: 42
807.18/840.19	c current bound: 42
807.62/840.63	c current bound: 42
808.22/841.32	c current bound: 42
808.50/841.76	c current bound: 42
808.93/842.19	c current bound: 42
809.51/842.62	c current bound: 42
809.82/843.06	c current bound: 42
810.25/843.49	c current bound: 42
810.69/843.93	c current bound: 42
811.12/844.37	c current bound: 42
811.60/844.80	c current bound: 42
811.99/845.23	c current bound: 42
812.42/845.67	c current bound: 42
813.02/846.10	c current bound: 42
813.30/846.54	c current bound: 42
813.80/846.97	c current bound: 42
814.32/847.41	c current bound: 42
814.60/847.84	c current bound: 42
815.04/848.28	c current bound: 42
815.48/848.72	c current bound: 42
816.02/849.15	c current bound: 42
816.34/849.59	c current bound: 42
816.79/850.02	c current bound: 42
817.23/850.46	c current bound: 42
817.67/850.89	c current bound: 42
818.26/851.70	c current bound: 42
818.55/852.14	c current bound: 42
818.98/852.57	c current bound: 42
819.57/853.01	c current bound: 42
819.84/853.44	c current bound: 42
820.28/853.87	c current bound: 42
820.87/854.31	c current bound: 42
821.26/854.75	c current bound: 42
821.75/855.26	c current bound: 42
822.04/855.70	c current bound: 42
822.63/856.34	c current bound: 42
822.91/856.78	c current bound: 42
823.49/857.21	c current bound: 42
823.77/857.65	c current bound: 42
824.23/858.09	c current bound: 42
824.65/858.52	c current bound: 42
825.10/858.96	c current bound: 42
825.53/859.39	c current bound: 42
825.96/859.82	c current bound: 42
826.50/860.26	c current bound: 42
826.83/860.69	c current bound: 42
827.43/861.31	c current bound: 42
827.70/861.74	c current bound: 42
828.14/862.18	c current bound: 42
828.73/862.61	c current bound: 42
829.00/863.05	c current bound: 42
829.53/863.48	c current bound: 42
830.03/863.91	c current bound: 42
830.32/864.35	c current bound: 42
830.74/864.79	c current bound: 42
831.18/865.22	c current bound: 42
831.70/865.65	c current bound: 42
832.20/866.45	c current bound: 42
832.49/866.89	c current bound: 42
832.93/867.32	c current bound: 42
833.36/867.76	c current bound: 42
833.79/868.19	c current bound: 42
834.24/868.63	c current bound: 42
834.66/869.06	c current bound: 42
835.26/869.50	c current bound: 42
835.53/869.93	c current bound: 42
835.98/870.37	c current bound: 42
836.58/870.80	c current bound: 42
837.01/871.46	c current bound: 42
837.30/871.89	c current bound: 42
837.86/872.33	c current bound: 42
838.16/872.76	c current bound: 42
838.78/873.20	c current bound: 42
839.05/873.63	c current bound: 42
839.47/874.07	c current bound: 42
839.97/874.50	c current bound: 42
840.35/874.93	c current bound: 42
840.78/875.37	c current bound: 42
841.37/875.80	c current bound: 42
841.64/876.52	c current bound: 42
842.08/876.96	c current bound: 42
842.53/877.39	c current bound: 42
843.10/877.83	c current bound: 42
843.39/878.26	c current bound: 42
843.83/878.69	c current bound: 42
844.28/879.13	c current bound: 42
844.71/879.57	c current bound: 42
845.30/880.00	c current bound: 42
845.59/880.44	c current bound: 42
846.02/880.87	c current bound: 42
846.62/881.51	c current bound: 42
846.90/881.95	c current bound: 42
847.34/882.38	c current bound: 42
847.78/882.82	c current bound: 42
848.31/883.25	c current bound: 42
848.64/883.69	c current bound: 42
849.09/884.13	c current bound: 42
849.53/884.56	c current bound: 42
850.11/885.00	c current bound: 42
850.53/885.44	c current bound: 42
850.84/885.87	c current bound: 42
851.43/886.31	c current bound: 42
851.72/886.74	c current bound: 42
852.15/887.18	c current bound: 42
852.75/887.62	c current bound: 42
853.03/888.05	c current bound: 42
853.47/888.48	c current bound: 42
853.89/888.92	c current bound: 42
854.34/889.36	c current bound: 42
854.77/889.79	c current bound: 42
855.20/890.25	c current bound: 42
855.65/890.69	c current bound: 42
856.23/891.52	c current bound: 42
856.51/891.96	c current bound: 42
856.94/892.39	c current bound: 42
857.38/892.83	c current bound: 42
857.81/893.26	c current bound: 42
858.26/893.69	c current bound: 42
858.68/894.13	c current bound: 42
859.11/894.56	c current bound: 42
859.56/894.99	c current bound: 42
860.13/895.43	c current bound: 42
860.43/895.87	c current bound: 42
861.03/896.50	c current bound: 42
861.31/896.93	c current bound: 42
861.74/897.37	c current bound: 42
862.34/897.80	c current bound: 42
862.62/898.24	c current bound: 42
863.13/898.67	c current bound: 42
863.65/899.11	c current bound: 42
863.94/899.54	c current bound: 42
864.37/899.98	c current bound: 42
864.95/900.41	c current bound: 42
865.34/900.85	c current bound: 42
865.84/901.52	c current bound: 42
866.22/901.95	c current bound: 42
866.54/902.39	c current bound: 42
866.98/902.82	c current bound: 42
867.43/903.25	c current bound: 42
867.86/903.69	c current bound: 42
868.44/904.12	c current bound: 42
868.72/904.56	c current bound: 42
869.17/904.99	c current bound: 42
869.61/905.42	c current bound: 42
870.03/905.86	c current bound: 42
870.63/906.51	c current bound: 42
870.92/906.94	c current bound: 42
871.34/907.37	c current bound: 42
871.93/907.81	c current bound: 42
872.21/908.24	c current bound: 42
872.65/908.67	c current bound: 42
873.25/909.11	c current bound: 42
873.52/909.54	c current bound: 42
873.96/909.97	c current bound: 42
874.55/910.41	c current bound: 42
874.94/910.84	c current bound: 42
875.27/911.28	c current bound: 42
875.85/911.71	c current bound: 42
876.14/912.15	c current bound: 42
876.57/912.58	c current bound: 42
877.14/913.02	c current bound: 42
877.44/913.46	c current bound: 42
877.88/913.89	c current bound: 42
878.31/914.33	c current bound: 42
878.75/914.76	c current bound: 42
879.22/915.20	c current bound: 42
879.62/915.63	c current bound: 42
880.06/916.07	c current bound: 42
880.48/916.72	c current bound: 42
880.92/917.15	c current bound: 42
881.35/917.59	c current bound: 42
881.79/918.02	c current bound: 42
882.33/918.46	c current bound: 42
882.66/918.89	c current bound: 42
883.10/919.33	c current bound: 42
883.52/919.76	c current bound: 42
884.13/920.20	c current bound: 42
884.54/920.63	c current bound: 42
884.85/921.07	c current bound: 42
885.27/921.89	c current bound: 42
885.71/922.33	c current bound: 42
886.15/922.76	c current bound: 42
886.58/923.19	c current bound: 42
887.02/923.63	c current bound: 42
887.47/924.06	c current bound: 42
887.89/924.49	c current bound: 42
888.34/924.93	c current bound: 42
888.76/925.37	c current bound: 42
889.36/925.80	c current bound: 42
889.79/926.54	c current bound: 42
890.07/926.97	c current bound: 42
890.66/927.41	c current bound: 42
890.95/927.84	c current bound: 42
891.38/928.27	c current bound: 42
891.97/928.70	c current bound: 42
892.24/929.14	c current bound: 42
892.68/929.57	c current bound: 42
893.26/930.00	c current bound: 42
893.55/930.44	c current bound: 42
893.98/930.87	c current bound: 42
894.58/931.50	c current bound: 42
894.86/931.93	c current bound: 42
895.30/932.37	c current bound: 42
895.90/932.81	c current bound: 42
896.17/933.25	c current bound: 42
896.61/933.68	c current bound: 42
897.20/934.11	c current bound: 42
897.48/934.55	c current bound: 42
897.99/934.99	c current bound: 42
898.36/935.42	c current bound: 42
898.80/935.85	c current bound: 42
899.39/936.52	c current bound: 42
899.67/936.96	c current bound: 42
900.09/937.39	c current bound: 42
900.54/937.83	c current bound: 42
901.07/938.26	c current bound: 42
901.41/938.69	c current bound: 42
901.85/939.13	c current bound: 42
902.28/939.56	c current bound: 42
902.87/940.00	c current bound: 42
903.27/940.43	c current bound: 42
903.59/940.87	c current bound: 42
904.18/941.50	c current bound: 42
904.46/941.93	c current bound: 42
904.90/942.37	c current bound: 42
905.48/942.81	c current bound: 42
905.77/943.24	c current bound: 42
906.20/943.68	c current bound: 42
906.80/944.11	c current bound: 42
907.08/944.54	c current bound: 42
907.51/944.98	c current bound: 42
908.10/945.41	c current bound: 42
908.39/945.85	c current bound: 42
908.81/946.29	c current bound: 42
909.26/946.72	c current bound: 42
909.69/947.16	c current bound: 42
910.12/947.60	c current bound: 42
910.56/948.03	c current bound: 42
910.99/948.46	c current bound: 42
911.59/948.91	c current bound: 42
911.98/949.34	c current bound: 42
912.31/949.78	c current bound: 42
912.89/950.21	c current bound: 42
913.18/950.64	c current bound: 42
913.61/951.08	c current bound: 42
914.05/951.89	c current bound: 42
914.49/952.33	c current bound: 42
914.92/952.77	c current bound: 42
915.51/953.20	c current bound: 42
915.92/953.64	c current bound: 42
916.24/954.07	c current bound: 42
916.83/954.50	c current bound: 42
917.10/954.94	c current bound: 42
917.54/955.37	c current bound: 42
918.13/955.81	c current bound: 42
918.41/956.52	c current bound: 42
918.95/956.96	c current bound: 42
919.29/957.39	c current bound: 42
919.72/957.83	c current bound: 42
920.17/958.26	c current bound: 42
920.76/958.70	c current bound: 42
921.17/959.13	c current bound: 42
921.48/959.57	c current bound: 42
922.07/960.00	c current bound: 42
922.34/960.44	c current bound: 42
922.79/960.87	c current bound: 42
923.38/961.63	c current bound: 42
923.65/962.06	c current bound: 42
924.13/962.50	c current bound: 42
924.53/962.93	c current bound: 42
924.96/963.37	c current bound: 42
925.55/963.80	c current bound: 42
925.84/964.24	c current bound: 42
926.35/964.67	c current bound: 42
926.86/965.11	c current bound: 42
927.13/965.54	c current bound: 42
927.57/965.98	c current bound: 42
928.16/966.67	c current bound: 42
928.61/967.11	c current bound: 42
928.89/967.54	c current bound: 42
929.41/967.98	c current bound: 42
929.77/968.42	c current bound: 42
930.19/968.85	c current bound: 42
930.64/969.29	c current bound: 42
931.08/969.72	c current bound: 42
931.61/970.16	c current bound: 42
932.13/970.60	c current bound: 42
932.40/971.04	c current bound: 42
933.00/971.68	c current bound: 42
933.42/972.11	c current bound: 42
933.69/972.55	c current bound: 42
934.13/972.98	c current bound: 42
934.71/973.42	c current bound: 42
935.01/973.86	c current bound: 42
935.44/974.29	c current bound: 42
935.88/974.72	c current bound: 42
936.32/975.16	c current bound: 42
936.75/975.59	c current bound: 42
937.18/976.03	c current bound: 42
937.79/976.66	c current bound: 42
938.07/977.09	c current bound: 42
938.51/977.53	c current bound: 42
938.94/977.96	c current bound: 42
939.54/978.40	c current bound: 42
939.82/978.83	c current bound: 42
940.24/979.27	c current bound: 42
940.85/979.70	c current bound: 42
941.24/980.14	c current bound: 42
941.57/980.57	c current bound: 42
942.15/981.01	c current bound: 42
942.44/981.45	c current bound: 42
942.88/981.88	c current bound: 42
943.47/982.32	c current bound: 42
943.75/982.75	c current bound: 42
944.18/983.19	c current bound: 42
944.63/983.62	c current bound: 42
945.06/984.06	c current bound: 42
945.57/984.49	c current bound: 42
945.93/984.93	c current bound: 42
946.37/985.36	c current bound: 42
946.94/985.80	c current bound: 42
947.24/986.23	c current bound: 42
947.66/987.04	c current bound: 42
948.11/987.47	c current bound: 42
948.69/987.91	c current bound: 42
948.98/988.34	c current bound: 42
949.42/988.78	c current bound: 42
950.00/989.21	c current bound: 42
950.29/989.65	c current bound: 42
950.72/990.08	c current bound: 42
951.31/990.51	c current bound: 42
951.58/990.95	c current bound: 42
952.03/991.56	c current bound: 42
952.62/992.00	c current bound: 42
952.89/992.43	c current bound: 42
953.32/992.86	c current bound: 42
953.81/993.30	c current bound: 42
954.21/993.73	c current bound: 42
954.64/994.17	c current bound: 42
955.23/994.60	c current bound: 42
955.51/995.03	c current bound: 42
956.02/995.48	c current bound: 42
956.55/995.91	c current bound: 42
956.83/996.34	c current bound: 42
957.26/997.05	c current bound: 42
957.70/997.48	c current bound: 42
958.28/997.91	c current bound: 42
958.57/998.35	c current bound: 42
959.08/998.78	c current bound: 42
959.59/999.21	c current bound: 42
959.87/999.65	c current bound: 42
960.30/1000.08	c current bound: 42
960.89/1000.51	c current bound: 42
961.28/1000.95	c current bound: 42
961.77/1001.80	c current bound: 42
962.04/1002.23	c current bound: 42
962.48/1002.67	c current bound: 42
963.07/1003.10	c current bound: 42
963.34/1003.54	c current bound: 42
963.77/1003.97	c current bound: 42
964.37/1004.41	c current bound: 42
964.65/1004.84	c current bound: 42
965.08/1005.27	c current bound: 42
965.67/1005.71	c current bound: 42
965.95/1006.14	c current bound: 42
966.38/1006.58	c current bound: 42
966.97/1007.01	c current bound: 42
967.25/1007.45	c current bound: 42
967.68/1007.88	c current bound: 42
968.13/1008.32	c current bound: 42
968.65/1008.75	c current bound: 42
969.01/1009.18	c current bound: 42
969.44/1009.62	c current bound: 42
969.87/1010.05	c current bound: 42
970.32/1010.49	c current bound: 42
970.89/1010.92	c current bound: 42
971.18/1011.36	c current bound: 42
971.77/1012.11	c current bound: 42
972.06/1012.55	c current bound: 42
972.49/1012.98	c current bound: 42
972.93/1013.42	c current bound: 42
973.36/1013.85	c current bound: 42
973.81/1014.29	c current bound: 42
974.23/1014.73	c current bound: 42
974.67/1015.16	c current bound: 42
975.11/1015.60	c current bound: 42
975.55/1016.03	c current bound: 42
976.11/1016.63	c current bound: 42
976.42/1017.06	c current bound: 42
976.91/1017.50	c current bound: 42
977.30/1017.93	c current bound: 42
977.74/1018.37	c current bound: 42
978.33/1018.81	c current bound: 42
978.61/1019.24	c current bound: 42
979.12/1019.67	c current bound: 42
979.62/1020.11	c current bound: 42
979.91/1020.55	c current bound: 42
980.35/1020.98	c current bound: 42
980.93/1021.91	c current bound: 42
981.21/1022.35	c current bound: 42
981.64/1022.78	c current bound: 42
982.08/1023.22	c current bound: 42
982.52/1023.65	c current bound: 42
983.03/1024.09	c current bound: 42
983.41/1024.52	c current bound: 42
983.84/1024.96	c current bound: 42
984.28/1025.39	c current bound: 42
984.70/1025.83	c current bound: 42
985.23/1026.26	c current bound: 42
985.74/1026.81	c current bound: 42
986.00/1027.25	c current bound: 42
986.46/1027.68	c current bound: 42
986.89/1028.12	c current bound: 42
987.43/1028.55	c current bound: 42
987.76/1028.99	c current bound: 42
988.20/1029.42	c current bound: 42
988.63/1029.86	c current bound: 42
989.22/1030.33	c current bound: 42
989.51/1030.78	c current bound: 42
990.11/1031.21	c current bound: 42
990.39/1031.65	c current bound: 42
990.82/1032.08	c current bound: 42
991.26/1032.52	c current bound: 42
991.80/1032.95	c current bound: 42
992.15/1033.39	c current bound: 42
992.59/1033.82	c current bound: 42
993.02/1034.26	c current bound: 42
993.46/1034.69	c current bound: 42
994.01/1035.13	c current bound: 42
994.32/1035.56	c current bound: 42
994.75/1035.99	c current bound: 42
995.18/1036.43	c current bound: 42
995.70/1037.29	c current bound: 42
996.06/1037.72	c current bound: 42
996.51/1038.16	c current bound: 42
996.94/1038.59	c current bound: 42
997.37/1039.02	c current bound: 42
997.92/1039.46	c current bound: 42
998.24/1039.89	c current bound: 42
998.68/1040.32	c current bound: 42
999.12/1040.76	c current bound: 42
999.71/1041.20	c current bound: 42
1000.12/1041.95	c current bound: 42
1000.43/1042.38	c current bound: 42
1001.02/1042.82	c current bound: 42
1001.31/1043.25	c current bound: 42
1001.73/1043.69	c current bound: 42
1002.17/1044.12	c current bound: 42
1002.61/1044.56	c current bound: 42
1003.10/1045.00	c current bound: 42
1003.48/1045.43	c current bound: 42
1003.92/1045.86	c current bound: 42
1004.51/1046.30	c current bound: 42
1004.94/1046.91	c current bound: 42
1005.22/1047.35	c current bound: 42
1005.67/1047.79	c current bound: 42
1006.24/1048.23	c current bound: 42
1006.55/1048.66	c current bound: 42
1006.99/1049.09	c current bound: 42
1007.42/1049.53	c current bound: 42
1007.87/1049.96	c current bound: 42
1008.30/1050.40	c current bound: 42
1008.73/1050.83	c current bound: 42
1009.16/1051.27	c current bound: 42
1009.76/1051.71	c current bound: 42
1010.04/1052.14	c current bound: 42
1010.48/1052.58	c current bound: 42
1011.06/1053.01	c current bound: 42
1011.35/1053.44	c current bound: 42
1011.77/1053.88	c current bound: 42
1012.37/1054.31	c current bound: 42
1012.64/1054.75	c current bound: 42
1013.09/1055.18	c current bound: 42
1013.67/1055.61	c current bound: 42
1014.07/1056.05	c current bound: 42
1014.39/1056.48	c current bound: 42
1014.93/1057.06	c current bound: 42
1015.27/1057.49	c current bound: 42
1015.71/1057.93	c current bound: 42
1016.15/1058.36	c current bound: 42
1016.59/1058.80	c current bound: 42
1017.13/1059.23	c current bound: 42
1017.45/1059.66	c current bound: 42
1018.04/1060.10	c current bound: 42
1018.31/1060.53	c current bound: 42
1018.74/1060.97	c current bound: 42
1019.19/1061.40	c current bound: 42
1019.78/1061.97	c current bound: 42
1020.21/1062.40	c current bound: 42
1020.49/1062.84	c current bound: 42
1020.92/1063.27	c current bound: 42
1021.51/1063.71	c current bound: 42
1021.79/1064.14	c current bound: 42
1022.24/1064.58	c current bound: 42
1022.66/1065.02	c current bound: 42
1023.10/1065.45	c current bound: 42
1023.60/1065.89	c current bound: 42
1023.98/1066.32	c current bound: 42
1024.56/1067.14	c current bound: 42
1024.84/1067.57	c current bound: 42
1025.44/1068.01	c current bound: 42
1025.71/1068.44	c current bound: 42
1026.14/1068.87	c current bound: 42
1026.58/1069.32	c current bound: 42
1027.03/1069.76	c current bound: 42
1027.47/1070.20	c current bound: 42
1027.91/1070.63	c current bound: 42
1028.34/1071.07	c current bound: 42
1028.94/1071.50	c current bound: 42
1029.37/1072.14	c current bound: 42
1029.66/1072.58	c current bound: 42
1030.09/1073.02	c current bound: 42
1030.53/1073.45	c current bound: 42
1030.95/1073.89	c current bound: 42
1031.40/1074.32	c current bound: 42
1031.93/1074.75	c current bound: 42
1032.27/1075.19	c current bound: 42
1032.70/1075.62	c current bound: 42
1033.13/1076.06	c current bound: 42
1033.56/1076.49	c current bound: 42
1034.15/1077.13	c current bound: 42
1034.43/1077.57	c current bound: 42
1034.91/1078.00	c current bound: 42
1035.31/1078.43	c current bound: 42
1035.74/1078.87	c current bound: 42
1036.32/1079.30	c current bound: 42
1036.62/1079.74	c current bound: 42
1037.13/1080.17	c current bound: 42
1037.64/1080.61	c current bound: 42
1037.91/1081.04	c current bound: 42
1038.36/1081.48	c current bound: 42
1038.80/1081.92	c current bound: 42
1039.34/1082.35	c current bound: 42
1039.67/1082.79	c current bound: 42
1040.10/1083.22	c current bound: 42
1040.54/1083.66	c current bound: 42
1040.98/1084.09	c current bound: 42
1041.54/1084.53	c current bound: 42
1041.86/1084.96	c current bound: 42
1042.29/1085.40	c current bound: 42
1042.73/1085.83	c current bound: 42
1043.17/1086.26	c current bound: 42
1043.60/1086.70	c current bound: 42
1044.20/1087.50	c current bound: 42
1044.58/1087.94	c current bound: 42
1044.90/1088.37	c current bound: 42
1045.49/1088.81	c current bound: 42
1045.78/1089.24	c current bound: 42
1046.21/1089.68	c current bound: 42
1046.81/1090.11	c current bound: 42
1047.08/1090.55	c current bound: 42
1047.52/1090.98	c current bound: 42
1048.09/1091.41	c current bound: 42
1048.39/1091.99	c current bound: 42
1048.82/1092.42	c current bound: 42
1049.26/1092.86	c current bound: 42
1049.69/1093.29	c current bound: 42
1050.13/1093.72	c current bound: 42
1050.56/1094.16	c current bound: 42
1051.01/1094.59	c current bound: 42
1051.43/1095.03	c current bound: 42
1051.87/1095.47	c current bound: 42
1052.46/1095.90	c current bound: 42
1052.76/1096.33	c current bound: 42
1053.18/1096.77	c current bound: 42
1053.78/1097.24	c current bound: 42
1054.04/1097.67	c current bound: 42
1054.66/1098.11	c current bound: 42
1054.93/1098.55	c current bound: 42
1055.37/1098.98	c current bound: 42
1055.96/1099.41	c current bound: 42
1056.24/1099.85	c current bound: 42
1056.85/1100.34	c current bound: 42
1057.13/1100.78	c current bound: 42
1057.57/1101.22	c current bound: 42
1058.01/1101.65	c current bound: 42
1058.60/1102.24	c current bound: 42
1058.87/1102.68	c current bound: 42
1059.47/1103.11	c current bound: 42
1059.74/1103.55	c current bound: 42
1060.19/1103.98	c current bound: 42
1060.78/1104.42	c current bound: 42
1061.06/1104.85	c current bound: 42
1061.49/1105.29	c current bound: 42
1061.92/1105.72	c current bound: 42
1062.36/1106.16	c current bound: 42
1062.86/1106.59	c current bound: 42
1063.40/1107.36	c current bound: 42
1063.83/1107.80	c current bound: 42
1064.12/1108.24	c current bound: 42
1064.54/1108.67	c current bound: 42
1065.14/1109.10	c current bound: 42
1065.41/1109.54	c current bound: 42
1065.86/1109.97	c current bound: 42
1066.45/1110.41	c current bound: 42
1066.72/1110.84	c current bound: 42
1067.16/1111.28	c current bound: 42
1067.60/1111.72	c current bound: 42
1068.20/1112.28	c current bound: 42
1068.62/1112.72	c current bound: 42
1069.01/1113.15	c current bound: 42
1069.36/1113.59	c current bound: 42
1069.79/1114.02	c current bound: 42
1070.22/1114.46	c current bound: 42
1070.66/1114.89	c current bound: 42
1071.21/1115.33	c current bound: 42
1071.53/1115.77	c current bound: 42
1072.12/1116.20	c current bound: 42
1072.41/1116.64	c current bound: 42
1073.00/1117.27	c current bound: 42
1073.45/1117.71	c current bound: 42
1073.72/1118.14	c current bound: 42
1074.15/1118.58	c current bound: 42
1074.73/1119.01	c current bound: 42
1075.03/1119.44	c current bound: 42
1075.45/1119.88	c current bound: 42
1076.04/1120.31	c current bound: 42
1076.34/1120.75	c current bound: 42
1076.77/1121.18	c current bound: 42
1077.22/1121.62	c current bound: 42
1077.80/1122.33	c current bound: 42
1078.09/1122.76	c current bound: 42
1078.69/1123.20	c current bound: 42
1078.96/1123.63	c current bound: 42
1079.40/1124.07	c current bound: 42
1079.99/1124.50	c current bound: 42
1080.28/1124.93	c current bound: 42
1080.71/1125.37	c current bound: 42
1081.30/1125.80	c current bound: 42
1081.58/1126.24	c current bound: 42
1082.02/1126.67	c current bound: 42
1082.61/1127.32	c current bound: 42
1082.89/1127.76	c current bound: 42
1083.33/1128.19	c current bound: 42
1083.88/1128.63	c current bound: 42
1084.20/1129.06	c current bound: 42
1084.64/1129.50	c current bound: 42
1085.07/1129.93	c current bound: 42
1085.51/1130.37	c current bound: 42
1086.00/1130.80	c current bound: 42
1086.38/1131.24	c current bound: 42
1086.81/1131.67	c current bound: 42
1087.41/1132.11	c current bound: 42
1087.69/1132.55	c current bound: 42
1088.20/1132.98	c current bound: 42
1088.71/1133.42	c current bound: 42
1089.01/1133.85	c current bound: 42
1089.44/1134.29	c current bound: 42
1089.87/1134.72	c current bound: 42
1090.40/1135.16	c current bound: 42
1090.75/1135.59	c current bound: 42
1091.18/1136.03	c current bound: 42
1091.61/1136.46	c current bound: 42
1092.21/1136.90	c current bound: 42
1092.49/1137.59	c current bound: 42
1092.93/1138.03	c current bound: 42
1093.46/1138.46	c current bound: 42
1093.81/1138.90	c current bound: 42
1094.24/1139.33	c current bound: 42
1094.68/1139.77	c current bound: 42
1095.27/1140.20	c current bound: 42
1095.67/1140.63	c current bound: 42
1095.99/1141.07	c current bound: 42
1096.58/1141.50	c current bound: 42
1097.03/1142.11	c current bound: 42
1097.30/1142.55	c current bound: 42
1097.73/1142.99	c current bound: 42
1098.17/1143.42	c current bound: 42
1098.61/1143.86	c current bound: 42
1099.21/1144.30	c current bound: 42
1099.49/1144.73	c current bound: 42
1099.93/1145.16	c current bound: 42
1100.51/1145.60	c current bound: 42
1100.79/1146.03	c current bound: 42
1101.24/1146.47	c current bound: 42
1101.82/1146.91	c current bound: 42
1102.11/1147.66	c current bound: 42
1102.69/1148.10	c current bound: 42
1102.97/1148.54	c current bound: 42
1103.41/1148.97	c current bound: 42
1104.00/1149.41	c current bound: 42
1104.28/1149.84	c current bound: 42
1104.72/1150.27	c current bound: 42
1105.31/1150.71	c current bound: 42
1105.59/1151.14	c current bound: 42
1106.03/1151.58	c current bound: 42
1106.47/1152.15	c current bound: 42
1106.90/1152.59	c current bound: 42
1107.34/1153.03	c current bound: 42
1107.78/1153.46	c current bound: 42
1108.28/1153.89	c current bound: 42
1108.64/1154.33	c current bound: 42
1109.09/1154.76	c current bound: 42
1109.68/1155.20	c current bound: 42
1109.96/1155.63	c current bound: 42
1110.49/1156.07	c current bound: 42
1110.99/1156.51	c current bound: 42
1111.27/1156.94	c current bound: 42
1111.70/1157.73	c current bound: 42
1112.14/1158.16	c current bound: 42
1112.59/1158.59	c current bound: 42
1113.01/1159.03	c current bound: 42
1113.46/1159.46	c current bound: 42
1114.06/1159.90	c current bound: 42
1114.34/1160.33	c current bound: 42
1114.77/1160.78	c current bound: 42
1115.37/1161.21	c current bound: 42
1115.75/1161.65	c current bound: 42
1116.09/1162.22	c current bound: 42
1116.61/1162.66	c current bound: 42
1116.96/1163.09	c current bound: 42
1117.40/1163.53	c current bound: 42
1117.83/1163.96	c current bound: 42
1118.42/1164.40	c current bound: 42
1118.83/1164.83	c current bound: 42
1119.13/1165.26	c current bound: 42
1119.73/1165.70	c current bound: 42
1120.01/1166.13	c current bound: 42
1120.44/1166.57	c current bound: 42
1121.04/1167.20	c current bound: 42
1121.33/1167.64	c current bound: 42
1121.77/1168.07	c current bound: 42
1122.36/1168.51	c current bound: 42
1122.64/1168.94	c current bound: 42
1123.06/1169.38	c current bound: 42
1123.66/1169.81	c current bound: 42
1124.09/1170.59	c current bound: 42
1124.39/1171.03	c current bound: 42
1124.91/1171.46	c current bound: 42
1125.25/1171.89	c current bound: 42
1125.85/1172.48	c current bound: 42
1126.12/1172.92	c current bound: 42
1126.56/1173.35	c current bound: 42
1126.99/1173.79	c current bound: 42
1127.42/1174.22	c current bound: 42
1127.86/1174.66	c current bound: 42
1128.29/1175.09	c current bound: 42
1128.73/1175.52	c current bound: 42
1129.17/1175.96	c current bound: 42
1129.61/1176.39	c current bound: 42
1130.05/1176.83	c current bound: 42
1130.49/1177.44	c current bound: 42
1130.92/1177.88	c current bound: 42
1131.36/1178.32	c current bound: 42
1131.80/1178.76	c current bound: 42
1132.31/1179.19	c current bound: 42
1132.67/1179.62	c current bound: 42
1133.11/1180.06	c current bound: 42
1133.55/1180.49	c current bound: 42
1133.99/1180.93	c current bound: 42
1134.50/1181.36	c current bound: 42
1134.86/1181.79	c current bound: 42
1135.29/1182.23	c current bound: 42
1135.88/1183.02	c current bound: 42
1136.16/1183.45	c current bound: 42
1136.59/1183.89	c current bound: 42
1137.03/1184.32	c current bound: 42
1137.59/1184.76	c current bound: 42
1137.91/1185.19	c current bound: 42
1138.35/1185.63	c current bound: 42
1138.78/1186.06	c current bound: 42
1139.37/1186.50	c current bound: 42
1139.78/1186.93	c current bound: 42
1140.09/1187.77	c current bound: 42
1140.68/1188.21	c current bound: 42
1140.96/1188.64	c current bound: 42
1141.48/1189.07	c current bound: 42
1141.99/1189.51	c current bound: 42
1142.26/1189.94	c current bound: 42
1142.70/1190.38	c current bound: 42
1143.13/1190.82	c current bound: 42
1143.68/1191.25	c current bound: 42
1144.00/1191.69	c current bound: 42
1144.44/1192.12	c current bound: 42
1144.86/1192.56	c current bound: 42
1145.32/1192.99	c current bound: 42
1145.89/1193.43	c current bound: 42
1146.19/1193.86	c current bound: 42
1146.63/1194.29	c current bound: 42
1147.06/1194.74	c current bound: 42
1147.49/1195.17	c current bound: 42
1148.09/1195.60	c current bound: 42
1148.38/1196.04	c current bound: 42
1148.81/1196.47	c current bound: 42
1149.39/1196.91	c current bound: 42
1149.69/1197.35	c current bound: 42
1150.12/1197.99	c current bound: 42
1150.55/1198.42	c current bound: 42
1150.99/1198.86	c current bound: 42
1151.43/1199.29	c current bound: 42
1151.86/1199.73	c current bound: 42
1152.29/1200.17	c current bound: 42
1152.89/1200.60	c current bound: 42
1153.17/1201.04	c current bound: 42
1153.61/1201.47	c current bound: 42
1154.20/1201.91	c current bound: 42
1154.61/1202.34	c current bound: 42
1154.94/1203.09	c current bound: 42
1155.37/1203.53	c current bound: 42
1155.81/1203.96	c current bound: 42
1156.25/1204.39	c current bound: 42
1156.67/1204.83	c current bound: 42
1157.27/1205.60	c current bound: 42
1157.54/1206.03	c current bound: 42
1157.98/1206.47	c current bound: 42
1158.57/1206.90	c current bound: 42
1158.86/1207.34	c current bound: 42
1159.28/1207.92	c current bound: 42
1159.73/1208.36	c current bound: 42
1160.16/1208.79	c current bound: 42
1160.60/1209.22	c current bound: 42
1161.02/1209.66	c current bound: 42
1161.46/1210.09	c current bound: 42
1161.90/1210.53	c current bound: 42
1162.33/1210.96	c current bound: 42
1162.77/1211.40	c current bound: 42
1163.19/1211.83	c current bound: 42
1163.64/1212.27	c current bound: 42
1164.24/1212.88	c current bound: 42
1164.66/1213.32	c current bound: 42
1164.95/1213.75	c current bound: 42
1165.38/1214.19	c current bound: 42
1165.81/1214.63	c current bound: 42
1166.26/1215.06	c current bound: 42
1166.76/1215.50	c current bound: 42
1167.13/1215.93	c current bound: 42
1167.56/1216.36	c current bound: 42
1168.15/1216.80	c current bound: 42
1168.43/1217.24	c current bound: 42
1169.02/1217.82	c current bound: 42
1169.31/1218.26	c current bound: 42
1169.75/1218.69	c current bound: 42
1170.19/1219.13	c current bound: 42
1170.62/1219.56	c current bound: 42
1171.05/1220.00	c current bound: 42
1171.48/1220.43	c current bound: 42
1171.94/1220.86	c current bound: 42
1172.52/1221.30	c current bound: 42
1172.81/1221.73	c current bound: 42
1173.24/1222.17	c current bound: 42
1173.67/1222.99	c current bound: 42
1174.11/1223.43	c current bound: 42
1174.56/1223.87	c current bound: 42
1175.03/1224.30	c current bound: 42
1175.41/1224.73	c current bound: 42
1175.84/1225.17	c current bound: 42
1176.44/1225.60	c current bound: 42
1176.73/1226.04	c current bound: 42
1177.24/1226.47	c current bound: 42
1177.76/1226.91	c current bound: 42
1178.05/1227.34	c current bound: 42
1178.48/1227.95	c current bound: 42
1178.92/1228.38	c current bound: 42
1179.36/1228.82	c current bound: 42
1179.79/1229.26	c current bound: 42
1180.23/1229.69	c current bound: 42
1180.67/1230.13	c current bound: 42
1181.10/1230.56	c current bound: 42
1181.69/1231.00	c current bound: 42
1181.99/1231.44	c current bound: 42
1182.41/1231.87	c current bound: 42
1183.01/1232.31	c current bound: 42
1183.28/1232.77	c current bound: 42
1183.88/1233.21	c current bound: 42
1184.15/1233.64	c current bound: 42
1184.59/1234.08	c current bound: 42
1185.19/1234.51	c current bound: 42
1185.47/1234.95	c current bound: 42
1185.90/1235.38	c current bound: 42
1186.34/1235.82	c current bound: 42
1186.77/1236.25	c current bound: 42
1187.21/1236.69	c current bound: 42
1187.65/1237.13	c current bound: 42
1188.09/1237.56	c current bound: 42
1188.67/1238.40	c current bound: 42
1188.95/1238.85	c current bound: 42
1189.39/1239.28	c current bound: 42
1189.99/1239.71	c current bound: 42
1190.26/1240.15	c current bound: 42
1190.71/1240.58	c current bound: 42
1191.15/1241.02	c current bound: 42
1191.58/1241.46	c current bound: 42
1192.08/1241.90	c current bound: 42
1192.47/1242.33	c current bound: 42
1193.07/1243.11	c current bound: 42
1193.33/1243.54	c current bound: 42
1193.77/1243.98	c current bound: 42
1194.35/1244.41	c current bound: 42
1194.64/1244.84	c current bound: 42
1195.08/1245.28	c current bound: 42
1195.66/1245.72	c current bound: 42
1195.94/1246.15	c current bound: 42
1196.38/1246.59	c current bound: 42
1196.82/1247.02	c current bound: 42
1197.36/1247.45	c current bound: 42
1197.86/1248.07	c current bound: 42
1198.30/1248.51	c current bound: 42
1198.57/1248.94	c current bound: 42
1199.01/1249.37	c current bound: 42
1199.60/1249.81	c current bound: 42
1199.88/1250.25	c current bound: 42
1200.39/1250.68	c current bound: 42
1200.90/1251.11	c current bound: 42
1201.18/1251.55	c current bound: 42
1201.61/1251.99	c current bound: 42
1202.05/1252.42	c current bound: 42
1202.63/1253.12	c current bound: 42
1202.92/1253.56	c current bound: 42
1203.43/1253.99	c current bound: 42
1203.80/1254.43	c current bound: 42
1204.24/1254.86	c current bound: 42
1204.84/1255.31	c current bound: 42
1205.11/1255.74	c current bound: 42
1205.64/1256.18	c current bound: 42
1206.15/1256.61	c current bound: 42
1206.44/1257.05	c current bound: 42
1206.88/1257.48	c current bound: 42
1207.48/1258.11	c current bound: 42
1207.76/1258.55	c current bound: 42
1208.19/1258.98	c current bound: 42
1208.79/1259.42	c current bound: 42
1209.06/1259.85	c current bound: 42
1209.50/1260.29	c current bound: 42
1209.94/1260.72	c current bound: 42
1210.38/1261.16	c current bound: 42
1210.81/1261.59	c current bound: 42
1211.26/1262.02	c current bound: 42
1211.68/1262.46	c current bound: 42
1212.28/1262.91	c current bound: 42
1212.57/1263.35	c current bound: 42
1213.00/1263.78	c current bound: 42
1213.42/1264.22	c current bound: 42
1213.87/1264.65	c current bound: 42
1214.30/1265.09	c current bound: 42
1214.74/1265.52	c current bound: 42
1215.17/1265.96	c current bound: 42
1215.61/1266.39	c current bound: 42
1216.05/1266.83	c current bound: 42
1216.47/1267.26	c current bound: 42
1217.10/1267.70	c current bound: 42
1217.37/1268.47	c current bound: 42
1217.95/1268.90	c current bound: 42
1218.35/1269.34	c current bound: 42
1218.67/1269.77	c current bound: 42
1219.26/1270.20	c current bound: 42
1219.54/1270.64	c current bound: 42
1219.98/1271.08	c current bound: 42
1220.57/1271.51	c current bound: 42
1220.86/1271.94	c current bound: 42
1221.29/1272.38	c current bound: 42
1221.74/1272.98	c current bound: 42
1222.32/1273.42	c current bound: 42
1222.72/1273.85	c current bound: 42
1223.03/1274.28	c current bound: 42
1223.47/1274.72	c current bound: 42
1223.92/1275.15	c current bound: 42
1224.50/1275.60	c current bound: 42
1224.91/1276.03	c current bound: 42
1225.22/1276.47	c current bound: 42
1225.82/1276.90	c current bound: 42
1226.10/1277.34	c current bound: 42
1226.54/1277.77	c current bound: 42
1226.98/1278.58	c current bound: 42
1227.42/1279.02	c current bound: 42
1227.86/1279.45	c current bound: 42
1228.28/1279.89	c current bound: 42
1228.85/1280.32	c current bound: 42
1229.16/1280.76	c current bound: 42
1229.60/1281.19	c current bound: 42
1230.04/1281.63	c current bound: 42
1230.48/1282.07	c current bound: 42
1231.08/1282.51	c current bound: 42
1231.34/1283.09	c current bound: 42
1231.80/1283.52	c current bound: 42
1232.23/1283.96	c current bound: 42
1232.67/1284.39	c current bound: 42
1233.23/1284.83	c current bound: 42
1233.54/1285.26	c current bound: 42
1234.14/1285.70	c current bound: 42
1234.43/1286.14	c current bound: 42
1234.85/1286.57	c current bound: 42
1235.45/1287.01	c current bound: 42
1235.72/1287.44	c current bound: 42
1236.16/1287.87	c current bound: 42
1236.76/1288.72	c current bound: 42
1237.15/1289.15	c current bound: 42
1237.48/1289.59	c current bound: 42
1237.92/1290.02	c current bound: 42
1238.35/1290.45	c current bound: 42
1238.79/1290.89	c current bound: 42
1239.36/1291.33	c current bound: 42
1239.67/1291.77	c current bound: 42
1240.26/1292.20	c current bound: 42
1240.54/1292.63	c current bound: 42
1241.14/1293.21	c current bound: 42
1241.54/1293.65	c current bound: 42
1241.86/1294.08	c current bound: 42
1242.30/1294.52	c current bound: 42
1242.73/1294.95	c current bound: 42
1243.17/1295.39	c current bound: 42
1243.76/1295.82	c current bound: 42
1244.04/1296.25	c current bound: 42
1244.49/1296.69	c current bound: 42
1244.93/1297.13	c current bound: 42
1245.37/1297.57	c current bound: 42
1245.96/1298.00	c current bound: 42
1246.24/1298.78	c current bound: 42
1246.83/1299.21	c current bound: 42
1247.11/1299.65	c current bound: 42
1247.56/1300.08	c current bound: 42
1247.99/1300.52	c current bound: 42
1248.43/1300.95	c current bound: 42
1248.86/1301.39	c current bound: 42
1249.30/1301.82	c current bound: 42
1249.73/1302.25	c current bound: 42
1250.17/1302.69	c current bound: 42
1250.62/1303.26	c current bound: 42
1251.21/1303.70	c current bound: 42
1251.49/1304.13	c current bound: 42
1252.03/1304.57	c current bound: 42
1252.53/1305.01	c current bound: 42
1252.81/1305.44	c current bound: 42
1253.25/1305.88	c current bound: 42
1253.83/1306.31	c current bound: 42
1254.23/1306.74	c current bound: 42
1254.55/1307.18	c current bound: 42
1255.14/1307.61	c current bound: 42
1255.43/1308.05	c current bound: 42
1255.86/1308.49	c current bound: 42
1256.45/1308.92	c current bound: 42
1256.74/1309.36	c current bound: 42
1257.17/1309.79	c current bound: 42
1257.61/1310.23	c current bound: 42
1258.04/1310.66	c current bound: 42
1258.48/1311.09	c current bound: 42
1258.92/1311.53	c current bound: 42
1259.34/1311.96	c current bound: 42
1259.78/1312.39	c current bound: 42
1260.23/1312.83	c current bound: 42
1260.79/1313.64	c current bound: 42
1261.10/1314.07	c current bound: 42
1261.69/1314.51	c current bound: 42
1261.97/1314.94	c current bound: 42
1262.41/1315.38	c current bound: 42
1263.01/1315.81	c current bound: 42
1263.29/1316.25	c current bound: 42
1263.79/1316.69	c current bound: 42
1264.16/1317.12	c current bound: 42
1264.60/1317.56	c current bound: 42
1265.03/1317.99	c current bound: 42
1265.63/1318.60	c current bound: 42
1265.91/1319.04	c current bound: 42
1266.35/1319.47	c current bound: 42
1266.79/1319.90	c current bound: 42
1267.22/1320.34	c current bound: 42
1267.65/1320.77	c current bound: 42
1268.25/1321.21	c current bound: 42
1268.53/1321.64	c current bound: 42
1268.98/1322.07	c current bound: 42
1269.56/1322.51	c current bound: 42
1269.83/1322.94	c current bound: 42
1270.42/1323.66	c current bound: 42
1270.70/1324.09	c current bound: 42
1271.14/1324.52	c current bound: 42
1271.56/1324.96	c current bound: 42
1272.01/1325.39	c current bound: 42
1272.44/1325.82	c current bound: 42
1272.88/1326.26	c current bound: 42
1273.33/1326.69	c current bound: 42
1273.76/1327.13	c current bound: 42
1274.20/1327.58	c current bound: 42
1274.79/1328.01	c current bound: 42
1275.07/1328.45	c current bound: 42
1275.52/1328.88	c current bound: 42
1275.96/1329.32	c current bound: 42
1276.38/1329.75	c current bound: 42
1276.82/1330.19	c current bound: 42
1277.25/1330.62	c current bound: 42
1277.78/1331.06	c current bound: 42
1278.13/1331.49	c current bound: 42
1278.56/1331.93	c current bound: 42
1279.00/1332.36	c current bound: 42
1279.44/1332.79	c current bound: 42
1279.99/1333.23	c current bound: 42
1280.46/1333.91	c current bound: 42
1280.83/1334.35	c current bound: 42
1281.17/1334.78	c current bound: 42
1281.76/1335.22	c current bound: 42
1282.05/1335.65	c current bound: 42
1282.48/1336.08	c current bound: 42
1283.08/1336.52	c current bound: 42
1283.35/1336.95	c current bound: 42
1283.78/1337.38	c current bound: 42
1284.22/1337.82	c current bound: 42
1284.82/1338.42	c current bound: 42
1285.09/1338.86	c current bound: 42
1285.69/1339.30	c current bound: 42
1286.09/1339.74	c current bound: 42
1286.41/1340.17	c current bound: 42
1287.00/1340.61	c current bound: 42
1287.27/1341.04	c current bound: 42
1287.72/1341.48	c current bound: 42
1288.32/1341.91	c current bound: 42
1288.60/1342.35	c current bound: 42
1289.03/1342.78	c current bound: 42
1289.48/1343.22	c current bound: 42
1289.91/1344.04	c current bound: 42
1290.35/1344.47	c current bound: 42
1290.95/1344.90	c current bound: 42
1291.37/1345.63	c current bound: 42
1291.66/1346.07	c current bound: 42
1292.25/1346.50	c current bound: 42
1292.52/1346.94	c current bound: 42
1292.95/1347.37	c current bound: 42
1293.54/1347.80	c current bound: 42
1293.83/1348.23	c current bound: 42
1294.26/1349.02	c current bound: 42
1294.70/1349.45	c current bound: 42
1295.14/1349.89	c current bound: 42
1295.57/1350.32	c current bound: 42
1296.10/1350.75	c current bound: 42
1296.45/1351.19	c current bound: 42
1296.87/1351.62	c current bound: 42
1297.32/1352.06	c current bound: 42
1297.75/1352.49	c current bound: 42
1298.31/1352.93	c current bound: 42
1298.61/1353.49	c current bound: 42
1299.06/1353.93	c current bound: 42
1299.49/1354.36	c current bound: 42
1300.08/1354.80	c current bound: 42
1300.50/1355.23	c current bound: 42
1300.80/1355.67	c current bound: 42
1301.40/1356.10	c current bound: 42
1301.67/1356.54	c current bound: 42
1302.11/1356.97	c current bound: 42
1302.71/1357.40	c current bound: 42
1302.98/1357.84	c current bound: 42
1303.41/1358.27	c current bound: 42
1304.00/1358.82	c current bound: 42
1304.29/1359.25	c current bound: 42
1304.72/1359.69	c current bound: 42
1305.15/1360.12	c current bound: 42
1305.59/1360.55	c current bound: 42
1306.02/1360.99	c current bound: 42
1306.45/1361.42	c current bound: 42
1306.98/1361.86	c current bound: 42
1307.33/1362.29	c current bound: 42
1307.77/1362.73	c current bound: 42
1308.20/1363.16	c current bound: 42
1308.78/1363.99	c current bound: 42
1309.06/1364.42	c current bound: 42
1309.51/1364.86	c current bound: 42
1309.94/1365.29	c current bound: 42
1310.38/1365.72	c current bound: 42
1310.90/1366.16	c current bound: 42
1311.40/1366.60	c current bound: 42
1311.68/1367.03	c current bound: 42
1312.12/1367.46	c current bound: 42
1312.71/1367.90	c current bound: 42
1313.11/1368.33	c current bound: 42
1313.57/1368.99	c current bound: 42
1314.01/1369.42	c current bound: 42
1314.29/1369.86	c current bound: 42
1314.74/1370.29	c current bound: 42
1315.17/1370.73	c current bound: 42
1315.61/1371.16	c current bound: 42
1316.22/1371.61	c current bound: 42
1316.49/1372.04	c current bound: 42
1316.93/1372.48	c current bound: 42
1317.52/1372.91	c current bound: 42
1317.81/1373.34	c current bound: 42
1318.23/1373.78	c current bound: 42
1318.83/1374.21	c current bound: 42
1319.11/1374.64	c current bound: 42
1319.55/1375.08	c current bound: 42
1320.13/1375.51	c current bound: 42
1320.42/1375.95	c current bound: 42
1320.85/1376.38	c current bound: 42
1321.43/1376.81	c current bound: 42
1321.82/1377.27	c current bound: 42
1322.32/1377.71	c current bound: 42
1322.61/1378.14	c current bound: 42
1323.20/1378.69	c current bound: 42
1323.48/1379.15	c current bound: 42
1323.92/1379.59	c current bound: 42
1324.35/1380.02	c current bound: 42
1324.95/1380.61	c current bound: 42
1325.22/1381.05	c current bound: 42
1325.66/1381.48	c current bound: 42
1326.25/1381.92	c current bound: 42
1326.53/1382.35	c current bound: 42
1326.97/1382.78	c current bound: 42
1327.40/1383.22	c current bound: 42
1327.83/1383.65	c current bound: 42
1328.42/1384.21	c current bound: 42
1328.71/1384.65	c current bound: 42
1329.14/1385.09	c current bound: 42
1329.58/1385.52	c current bound: 42
1330.10/1385.96	c current bound: 42
1330.45/1386.39	c current bound: 42
1330.89/1386.82	c current bound: 42
1331.32/1387.26	c current bound: 42
1331.91/1387.70	c current bound: 42
1332.30/1388.13	c current bound: 42
1332.63/1388.57	c current bound: 42
1333.23/1389.11	c current bound: 42
1333.51/1389.55	c current bound: 42
1333.96/1389.98	c current bound: 42
1334.54/1390.41	c current bound: 42
1334.82/1390.85	c current bound: 42
1335.26/1391.28	c current bound: 42
1335.70/1391.72	c current bound: 42
1336.14/1392.16	c current bound: 42
1336.63/1392.59	c current bound: 42
1337.01/1393.03	c current bound: 42
1337.44/1393.46	c current bound: 42
1338.04/1394.18	c current bound: 42
1338.48/1394.61	c current bound: 42
1338.75/1395.04	c current bound: 42
1339.20/1395.48	c current bound: 42
1339.78/1395.91	c current bound: 42
1340.06/1396.34	c current bound: 42
1340.49/1396.78	c current bound: 42
1341.08/1397.22	c current bound: 42
1341.37/1397.65	c current bound: 42
1341.87/1398.08	c current bound: 42
1342.23/1398.52	c current bound: 42
1342.66/1398.95	c current bound: 42
1343.10/1399.39	c current bound: 42
1343.54/1399.83	c current bound: 42
1344.06/1400.26	c current bound: 42
1344.57/1400.70	c current bound: 42
1344.84/1401.13	c current bound: 42
1345.28/1401.57	c current bound: 42
1345.88/1402.00	c current bound: 42
1346.26/1402.43	c current bound: 42
1346.58/1402.87	c current bound: 42
1347.17/1403.30	c current bound: 42
1347.46/1403.74	c current bound: 42
1348.05/1404.40	c current bound: 42
1348.33/1404.84	c current bound: 42
1348.76/1405.27	c current bound: 42
1349.35/1405.70	c current bound: 42
1349.64/1406.14	c current bound: 42
1350.08/1406.57	c current bound: 42
1350.67/1407.01	c current bound: 42
1350.94/1407.44	c current bound: 42
1351.38/1407.88	c current bound: 42
1351.96/1408.31	c current bound: 42
1352.25/1408.75	c current bound: 42
1352.68/1409.28	c current bound: 42
1353.27/1409.71	c current bound: 42
1353.66/1410.14	c current bound: 42
1353.99/1410.58	c current bound: 42
1354.43/1411.02	c current bound: 42
1354.87/1411.46	c current bound: 42
1355.31/1411.89	c current bound: 42
1355.87/1412.33	c current bound: 42
1356.19/1412.76	c current bound: 42
1356.80/1413.20	c current bound: 42
1357.07/1413.63	c current bound: 42
1357.66/1414.24	c current bound: 42
1357.94/1414.68	c current bound: 42
1358.52/1415.11	c current bound: 42
1358.81/1415.55	c current bound: 42
1359.25/1415.99	c current bound: 42
1359.69/1416.45	c current bound: 42
1360.16/1416.89	c current bound: 42
1360.59/1417.33	c current bound: 42
1361.03/1417.76	c current bound: 42
1361.46/1418.20	c current bound: 42
1361.90/1418.63	c current bound: 42
1362.34/1419.07	c current bound: 42
1362.92/1419.50	c current bound: 42
1363.22/1419.94	c current bound: 42
1363.66/1420.38	c current bound: 42
1364.24/1420.81	c current bound: 42
1364.63/1421.25	c current bound: 42
1364.96/1421.68	c current bound: 42
1365.54/1422.11	c current bound: 42
1365.83/1422.55	c current bound: 42
1366.27/1422.99	c current bound: 42
1366.85/1423.42	c current bound: 42
1367.12/1423.86	c current bound: 42
1367.58/1424.58	c current bound: 42
1368.15/1425.01	c current bound: 42
1368.45/1425.45	c current bound: 42
1368.88/1425.89	c current bound: 42
1369.32/1426.32	c current bound: 42
1369.84/1426.76	c current bound: 42
1370.18/1427.19	c current bound: 42
1370.61/1427.62	c current bound: 42
1371.06/1428.06	c current bound: 42
1371.50/1428.49	c current bound: 42
1372.10/1429.34	c current bound: 42
1372.37/1429.77	c current bound: 42
1372.96/1430.21	c current bound: 42
1373.24/1430.64	c current bound: 42
1373.74/1431.08	c current bound: 42
1374.27/1431.51	c current bound: 42
1374.56/1431.95	c current bound: 42
1374.99/1432.38	c current bound: 42
1375.43/1432.82	c current bound: 42
1375.96/1433.25	c current bound: 42
1376.47/1433.70	c current bound: 42
1376.90/1434.32	c current bound: 42
1377.19/1434.75	c current bound: 42
1377.63/1435.19	c current bound: 42
1378.06/1435.62	c current bound: 42
1378.51/1436.06	c current bound: 42
1378.93/1436.49	c current bound: 42
1379.37/1436.93	c current bound: 42
1379.80/1437.36	c current bound: 42
1380.25/1437.80	c current bound: 42
1380.67/1438.23	c current bound: 42
1381.12/1438.66	c current bound: 42
1381.72/1439.28	c current bound: 42
1382.14/1439.71	c current bound: 42
1382.44/1440.15	c current bound: 42
1383.05/1440.60	c current bound: 42
1383.45/1441.03	c current bound: 42
1383.76/1441.47	c current bound: 42
1384.35/1441.90	c current bound: 42
1384.63/1442.34	c current bound: 42
1385.06/1442.77	c current bound: 42
1385.66/1443.21	c current bound: 42
1385.94/1443.64	c current bound: 42
1386.54/1444.33	c current bound: 42
1386.81/1444.76	c current bound: 42
1387.39/1445.20	c current bound: 42
1387.68/1445.64	c current bound: 42
1388.11/1446.07	c current bound: 42
1388.71/1446.51	c current bound: 42
1388.98/1446.94	c current bound: 42
1389.43/1447.37	c current bound: 42
1390.00/1447.81	c current bound: 42
1390.29/1448.24	c current bound: 42
1390.79/1448.68	c current bound: 42
1391.16/1449.18	c current bound: 42
1391.60/1449.62	c current bound: 42
1392.05/1450.06	c current bound: 42
1392.48/1450.50	c current bound: 42
1393.04/1450.93	c current bound: 42
1393.36/1451.36	c current bound: 42
1393.95/1451.80	c current bound: 42
1394.22/1452.23	c current bound: 42
1394.67/1452.67	c current bound: 42
1395.15/1453.10	c current bound: 42
1395.54/1453.54	c current bound: 42
1395.96/1454.06	c current bound: 42
1396.56/1454.50	c current bound: 42
1396.86/1454.94	c current bound: 42
1397.29/1455.37	c current bound: 42
1397.88/1455.81	c current bound: 42
1398.15/1456.24	c current bound: 42
1398.59/1456.68	c current bound: 42
1399.18/1457.11	c current bound: 42
1399.58/1457.55	c current bound: 42
1399.91/1457.98	c current bound: 42
1400.51/1458.41	c current bound: 42
1400.78/1458.85	c current bound: 42
1401.38/1459.51	c current bound: 42
1401.66/1459.95	c current bound: 42
1402.10/1460.38	c current bound: 42
1402.70/1460.81	c current bound: 42
1402.97/1461.25	c current bound: 42
1403.41/1461.68	c current bound: 42
1403.83/1462.12	c current bound: 42
1404.28/1462.56	c current bound: 42
1404.77/1462.99	c current bound: 42
1405.15/1463.43	c current bound: 42
1405.59/1463.86	c current bound: 42
1406.17/1464.30	c current bound: 42
1406.45/1464.74	c current bound: 42
1406.95/1465.17	c current bound: 42
1407.47/1465.60	c current bound: 42
1407.75/1466.04	c current bound: 42
1408.19/1466.48	c current bound: 42
1408.78/1466.91	c current bound: 42
1409.17/1467.35	c current bound: 42
1409.50/1467.78	c current bound: 42
1410.09/1468.21	c current bound: 42
1410.37/1468.65	c current bound: 42
1410.81/1469.08	c current bound: 42
1411.41/1469.80	c current bound: 42
1411.69/1470.24	c current bound: 42
1412.22/1470.67	c current bound: 42
1412.71/1471.10	c current bound: 42
1413.00/1471.54	c current bound: 42
1413.42/1471.98	c current bound: 42
1414.02/1472.42	c current bound: 42
1414.41/1472.85	c current bound: 42
1414.75/1473.28	c current bound: 42
1415.18/1473.72	c current bound: 42
1415.78/1474.37	c current bound: 42
1416.22/1474.80	c current bound: 42
1416.49/1475.24	c current bound: 42
1416.94/1475.67	c current bound: 42
1417.53/1476.11	c current bound: 42
1417.82/1476.54	c current bound: 42
1418.24/1476.98	c current bound: 42
1418.82/1477.42	c current bound: 42
1419.11/1477.85	c current bound: 42
1419.55/1478.28	c current bound: 42
1419.98/1478.72	c current bound: 42
1420.57/1479.31	c current bound: 42
1420.85/1479.75	c current bound: 42
1421.28/1480.19	c current bound: 42
1421.88/1480.62	c current bound: 42
1422.15/1481.05	c current bound: 42
1422.60/1481.49	c current bound: 42
1423.03/1481.93	c current bound: 42
1423.46/1482.36	c current bound: 42
1423.96/1482.80	c current bound: 42
1424.33/1483.23	c current bound: 42
1424.77/1483.66	c current bound: 42
1425.36/1484.10	c current bound: 42
1425.65/1484.73	c current bound: 42
1426.08/1485.17	c current bound: 42
1426.68/1485.60	c current bound: 42
1427.08/1486.04	c current bound: 42
1427.40/1486.47	c current bound: 42
1427.98/1486.91	c current bound: 42
1428.27/1487.35	c current bound: 42
1428.72/1487.78	c current bound: 42
1429.30/1488.22	c current bound: 42
1429.58/1488.65	c current bound: 42
1430.01/1489.08	c current bound: 42
1430.46/1489.56	c current bound: 42
1430.90/1489.99	c current bound: 42
1431.46/1490.42	c current bound: 42
1431.77/1490.86	c current bound: 42
1432.20/1491.29	c current bound: 42
1432.64/1491.73	c current bound: 42
1433.08/1492.17	c current bound: 42
1433.51/1492.60	c current bound: 42
1433.95/1493.03	c current bound: 42
1434.38/1493.47	c current bound: 42
1434.98/1493.90	c current bound: 42
1435.26/1494.52	c current bound: 42
1435.78/1494.96	c current bound: 42
1436.12/1495.39	c current bound: 42
1436.56/1495.83	c current bound: 42
1436.99/1496.26	c current bound: 42
1437.59/1496.70	c current bound: 42
1437.99/1497.13	c current bound: 42
1438.30/1497.56	c current bound: 42
1438.89/1498.00	c current bound: 42
1439.17/1498.43	c current bound: 42
1439.60/1498.87	c current bound: 42
1440.20/1499.51	c current bound: 42
1440.49/1499.94	c current bound: 42
1440.99/1500.38	c current bound: 42
1441.35/1500.82	c current bound: 42
1441.79/1501.25	c current bound: 42
1442.22/1501.69	c current bound: 42
1442.65/1502.12	c current bound: 42
1443.19/1502.56	c current bound: 42
1443.54/1502.99	c current bound: 42
1443.97/1503.43	c current bound: 42
1444.41/1503.86	c current bound: 42
1445.01/1504.31	c current bound: 42
1445.42/1504.75	c current bound: 42
1445.75/1505.19	c current bound: 42
1446.19/1505.63	c current bound: 42
1446.63/1506.06	c current bound: 42
1447.06/1506.49	c current bound: 42
1447.63/1506.93	c current bound: 42
1447.93/1507.37	c current bound: 42
1448.53/1507.81	c current bound: 42
1448.81/1508.24	c current bound: 42
1449.24/1508.68	c current bound: 42
1449.84/1509.11	c current bound: 42
1450.27/1509.90	c current bound: 42
1450.67/1510.34	c current bound: 42
1450.98/1510.77	c current bound: 42
1451.57/1511.21	c current bound: 42
1451.86/1511.64	c current bound: 42
1452.28/1512.08	c current bound: 42
1452.88/1512.51	c current bound: 42
1453.16/1512.95	c current bound: 42
1453.59/1513.38	c current bound: 42
1454.04/1513.82	c current bound: 42
1454.47/1514.39	c current bound: 42
1454.91/1514.82	c current bound: 42
1455.33/1515.26	c current bound: 42
1455.77/1515.69	c current bound: 42
1456.19/1516.12	c current bound: 42
1456.63/1516.56	c current bound: 42
1457.08/1516.99	c current bound: 42
1457.51/1517.42	c current bound: 42
1457.95/1517.86	c current bound: 42
1458.55/1518.30	c current bound: 42
1458.82/1518.73	c current bound: 42
1459.26/1519.17	c current bound: 42
1459.85/1519.78	c current bound: 42
1460.29/1520.21	c current bound: 42
1460.57/1520.64	c current bound: 42
1461.02/1521.08	c current bound: 42
1461.58/1521.51	c current bound: 42
1461.88/1521.94	c current bound: 42
1462.37/1522.38	c current bound: 42
1462.75/1522.82	c current bound: 42
1463.18/1523.26	c current bound: 42
1463.62/1523.69	c current bound: 42
1464.06/1524.13	c current bound: 42
1464.60/1524.57	c current bound: 42
1465.10/1525.00	c current bound: 42
1465.37/1525.43	c current bound: 42
1465.81/1525.87	c current bound: 42
1466.40/1526.30	c current bound: 42
1466.81/1526.74	c current bound: 42
1467.12/1527.17	c current bound: 42
1467.72/1527.60	c current bound: 42
1467.98/1528.04	c current bound: 42
1468.43/1528.48	c current bound: 42
1469.01/1528.91	c current bound: 42
1469.30/1529.35	c current bound: 42
1469.73/1530.16	c current bound: 42
1470.35/1530.60	c current bound: 42
1470.62/1531.03	c current bound: 42
1471.06/1531.47	c current bound: 42
1471.66/1531.91	c current bound: 42
1472.03/1532.35	c current bound: 42
1472.38/1532.78	c current bound: 42
1472.80/1533.22	c current bound: 42
1473.25/1533.65	c current bound: 42
1473.67/1534.08	c current bound: 42
1474.24/1534.88	c current bound: 42
1474.70/1535.31	c current bound: 42
1474.98/1535.75	c current bound: 42
1475.42/1536.18	c current bound: 42
1476.02/1536.62	c current bound: 42
1476.28/1537.05	c current bound: 42
1476.72/1537.48	c current bound: 42
1477.16/1537.92	c current bound: 42
1477.60/1538.35	c current bound: 42
1478.02/1538.79	c current bound: 42
1478.46/1539.22	c current bound: 42
1479.05/1539.99	c current bound: 42
1479.33/1540.42	c current bound: 42
1479.77/1540.85	c current bound: 42
1480.20/1541.29	c current bound: 42
1480.63/1541.72	c current bound: 42
1481.15/1542.16	c current bound: 42
1481.51/1542.59	c current bound: 42
1481.95/1543.03	c current bound: 42
1482.38/1543.46	c current bound: 42
1482.97/1543.90	c current bound: 42
1483.38/1544.33	c current bound: 42
1483.84/1544.96	c current bound: 42
1484.12/1545.39	c current bound: 42
1484.56/1545.82	c current bound: 42
1485.00/1546.26	c current bound: 42
1485.42/1546.69	c current bound: 42
1485.86/1547.13	c current bound: 42
1486.29/1547.56	c current bound: 42
1486.73/1547.99	c current bound: 42
1487.16/1548.43	c current bound: 42
1487.59/1548.86	c current bound: 42
1488.04/1549.29	c current bound: 42
1488.65/1549.92	c current bound: 42
1488.92/1550.36	c current bound: 42
1489.36/1550.79	c current bound: 42
1489.79/1551.23	c current bound: 42
1490.23/1551.66	c current bound: 42
1490.72/1552.10	c current bound: 42
1491.10/1552.53	c current bound: 42
1491.54/1552.96	c current bound: 42
1492.14/1553.40	c current bound: 42
1492.41/1553.83	c current bound: 42
1492.92/1554.27	c current bound: 42
1493.29/1554.87	c current bound: 42
1493.88/1555.60	c current bound: 42
1494.16/1556.03	c current bound: 42
1494.68/1556.47	c current bound: 42
1495.17/1556.90	c current bound: 42
1495.46/1557.34	c current bound: 42
1495.89/1557.77	c current bound: 42
1496.47/1558.22	c current bound: 42
1496.88/1558.65	c current bound: 42
1497.21/1559.09	c current bound: 42
1497.65/1559.52	c current bound: 42
1498.23/1560.10	c current bound: 42
1498.52/1560.53	c current bound: 42
1498.94/1560.97	c current bound: 42
1499.55/1561.40	c current bound: 42
1499.82/1561.84	c current bound: 42
1500.27/1562.27	c current bound: 42
1500.86/1562.70	c current bound: 42
1501.25/1563.14	c current bound: 42
1501.57/1563.57	c current bound: 42
1502.16/1564.01	c current bound: 42
1502.43/1564.44	c current bound: 42
1503.03/1565.31	c current bound: 42
1503.31/1565.74	c current bound: 42
1503.75/1566.18	c current bound: 42
1504.33/1566.62	c current bound: 42
1504.63/1567.05	c current bound: 42
1505.12/1567.49	c current bound: 42
1505.50/1567.92	c current bound: 42
1505.93/1568.36	c current bound: 42
1506.37/1568.79	c current bound: 42
1506.80/1569.23	c current bound: 42
1507.34/1569.66	c current bound: 42
1507.83/1570.30	c current bound: 42
1508.23/1570.74	c current bound: 42
1508.54/1571.17	c current bound: 42
1509.14/1571.61	c current bound: 42
1509.42/1572.04	c current bound: 42
1509.85/1572.48	c current bound: 42
1510.45/1572.92	c current bound: 42
1510.72/1573.35	c current bound: 42
1511.17/1573.78	c current bound: 42
1511.59/1574.22	c current bound: 42
1512.03/1574.66	c current bound: 42
1512.63/1575.32	c current bound: 42
1512.92/1575.76	c current bound: 42
1513.35/1576.19	c current bound: 42
1513.79/1576.63	c current bound: 42
1514.24/1577.06	c current bound: 42
1514.82/1577.50	c current bound: 42
1515.10/1577.93	c current bound: 42
1515.53/1578.36	c current bound: 42
1516.13/1578.80	c current bound: 42
1516.41/1579.23	c current bound: 42
1516.83/1579.67	c current bound: 42
1517.44/1580.31	c current bound: 42
1517.82/1580.75	c current bound: 42
1518.16/1581.18	c current bound: 42
1518.59/1581.62	c current bound: 42
1519.02/1582.05	c current bound: 42
1519.47/1582.49	c current bound: 42
1519.89/1582.93	c current bound: 42
1520.34/1583.36	c current bound: 42
1520.77/1583.79	c current bound: 42
1521.21/1584.23	c current bound: 42
1521.65/1584.66	c current bound: 42
1522.14/1585.10	c current bound: 42
1522.52/1585.53	c current bound: 42
1522.95/1585.97	c current bound: 42
1523.55/1586.41	c current bound: 42
1523.82/1586.84	c current bound: 42
1524.34/1587.28	c current bound: 42
1524.86/1587.71	c current bound: 42
1525.14/1588.14	c current bound: 42
1525.57/1588.58	c current bound: 42
1526.15/1589.01	c current bound: 42
1526.55/1589.45	c current bound: 42
1526.88/1589.88	c current bound: 42
1527.42/1590.64	c current bound: 42
1527.76/1591.07	c current bound: 42
1528.35/1591.51	c current bound: 42
1528.62/1591.94	c current bound: 42
1529.05/1592.38	c current bound: 42
1529.65/1592.81	c current bound: 42
1529.93/1593.25	c current bound: 42
1530.36/1593.68	c current bound: 42
1530.79/1594.12	c current bound: 42
1531.23/1594.55	c current bound: 42
1531.78/1595.12	c current bound: 42
1532.10/1595.56	c current bound: 42
1532.54/1595.99	c current bound: 42
1532.97/1596.43	c current bound: 42
1533.41/1596.86	c current bound: 42
1534.00/1597.30	c current bound: 42
1534.28/1597.73	c current bound: 42
1534.70/1598.16	c current bound: 42
1535.30/1598.60	c current bound: 42
1535.57/1599.03	c current bound: 42
1536.02/1599.47	c current bound: 42
1536.60/1599.90	c current bound: 42
1536.88/1600.59	c current bound: 42
1537.33/1601.02	c current bound: 42
1537.76/1601.46	c current bound: 42
1538.19/1601.89	c current bound: 42
1538.62/1602.32	c current bound: 42
1539.16/1602.76	c current bound: 42
1539.65/1603.20	c current bound: 42
1539.93/1603.63	c current bound: 42
1540.37/1604.07	c current bound: 42
1540.96/1604.50	c current bound: 42
1541.36/1605.05	c current bound: 42
1541.68/1605.49	c current bound: 42
1542.26/1605.92	c current bound: 42
1542.56/1606.36	c current bound: 42
1543.00/1606.79	c current bound: 42
1543.43/1607.23	c current bound: 42
1543.87/1607.66	c current bound: 42
1544.30/1608.10	c current bound: 42
1544.73/1608.53	c current bound: 42
1545.17/1608.97	c current bound: 42
1545.77/1609.40	c current bound: 42
1546.05/1609.84	c current bound: 42
1546.49/1610.29	c current bound: 42
1546.92/1610.73	c current bound: 42
1547.36/1611.17	c current bound: 42
1547.96/1611.60	c current bound: 42
1548.24/1612.03	c current bound: 42
1548.68/1612.47	c current bound: 42
1549.26/1612.90	c current bound: 42
1549.54/1613.34	c current bound: 42
1549.99/1613.78	c current bound: 42
1550.42/1614.22	c current bound: 42
1550.86/1614.65	c current bound: 42
1551.29/1615.12	c current bound: 42
1551.72/1615.56	c current bound: 42
1552.16/1616.00	c current bound: 42
1552.60/1616.43	c current bound: 42
1553.03/1616.86	c current bound: 42
1553.62/1617.30	c current bound: 42
1553.92/1617.73	c current bound: 42
1554.35/1618.17	c current bound: 42
1554.95/1618.60	c current bound: 42
1555.22/1619.04	c current bound: 42
1555.66/1619.47	c current bound: 42
1556.25/1619.90	c current bound: 42
1556.54/1620.68	c current bound: 42
1557.13/1621.11	c current bound: 42
1557.41/1621.55	c current bound: 42
1557.85/1621.98	c current bound: 42
1558.44/1622.41	c current bound: 42
1558.72/1622.85	c current bound: 42
1559.15/1623.28	c current bound: 42
1559.60/1623.72	c current bound: 42
1560.03/1624.15	c current bound: 42
1560.47/1624.59	c current bound: 42
1560.90/1625.17	c current bound: 42
1561.49/1625.61	c current bound: 42
1561.77/1626.05	c current bound: 42
1562.21/1626.48	c current bound: 42
1562.80/1626.91	c current bound: 42
1563.09/1627.35	c current bound: 42
1563.53/1627.78	c current bound: 42
1564.11/1628.22	c current bound: 42
1564.40/1628.65	c current bound: 42
1564.91/1629.08	c current bound: 42
1565.27/1629.52	c current bound: 42
1565.70/1629.97	c current bound: 42
1566.15/1630.76	c current bound: 42
1566.60/1631.20	c current bound: 42
1567.03/1631.63	c current bound: 42
1567.47/1632.07	c current bound: 42
1568.07/1632.51	c current bound: 42
1568.35/1632.94	c current bound: 42
1568.78/1633.37	c current bound: 42
1569.36/1633.81	c current bound: 42
1569.65/1634.24	c current bound: 42
1570.08/1634.68	c current bound: 42
1570.52/1635.24	c current bound: 42
1571.05/1635.67	c current bound: 42
1571.55/1636.11	c current bound: 42
1571.84/1636.54	c current bound: 42
1572.26/1636.98	c current bound: 42
1572.87/1637.41	c current bound: 42
1573.24/1637.84	c current bound: 42
1573.56/1638.28	c current bound: 42
1574.16/1638.71	c current bound: 42
1574.44/1639.15	c current bound: 42
1574.89/1639.58	c current bound: 42
1575.48/1640.19	c current bound: 42
1575.76/1640.63	c current bound: 42
1576.19/1641.06	c current bound: 42
1576.63/1641.49	c current bound: 42
1577.05/1641.93	c current bound: 42
1577.50/1642.36	c current bound: 42
1577.92/1642.79	c current bound: 42
1578.37/1643.23	c current bound: 42
1578.79/1643.66	c current bound: 42
1579.39/1644.10	c current bound: 42
1579.78/1644.53	c current bound: 42
1580.09/1644.97	c current bound: 42
1580.69/1645.58	c current bound: 42
1581.12/1646.01	c current bound: 42
1581.41/1646.45	c current bound: 42
1581.83/1646.88	c current bound: 42
1582.28/1647.32	c current bound: 42
1582.81/1647.75	c current bound: 42
1583.14/1648.19	c current bound: 42
1583.58/1648.62	c current bound: 42
1584.02/1649.06	c current bound: 42
1584.62/1649.50	c current bound: 42
1585.03/1649.93	c current bound: 42
1585.33/1650.70	c current bound: 42
1585.89/1651.13	c current bound: 42
1586.20/1651.56	c current bound: 42
1586.79/1652.00	c current bound: 42
1587.09/1652.43	c current bound: 42
1587.52/1652.87	c current bound: 42
1588.00/1653.30	c current bound: 42
1588.39/1653.73	c current bound: 42
1588.82/1654.17	c current bound: 42
1589.42/1654.61	c current bound: 42
1589.69/1655.04	c current bound: 42
1590.28/1655.66	c current bound: 42
1590.57/1656.09	c current bound: 42
1591.13/1656.52	c current bound: 42
1591.44/1656.96	c current bound: 42
1591.87/1657.39	c current bound: 42
1592.31/1657.83	c current bound: 42
1592.74/1658.26	c current bound: 42
1593.18/1658.70	c current bound: 42
1593.61/1659.13	c current bound: 42
1594.05/1659.56	c current bound: 42
1594.65/1660.00	c current bound: 42
1594.93/1660.69	c current bound: 42
1595.38/1661.12	c current bound: 42
1595.80/1661.56	c current bound: 42
1596.24/1661.99	c current bound: 42
1596.68/1662.43	c current bound: 42
1597.12/1662.86	c current bound: 42
1597.71/1663.30	c current bound: 42
1597.99/1663.73	c current bound: 42
1598.42/1664.16	c current bound: 42
1599.03/1664.60	c current bound: 42
1599.30/1665.03	c current bound: 42
1599.74/1665.47	c current bound: 42
1600.33/1665.91	c current bound: 42
1600.62/1666.34	c current bound: 42
1601.05/1666.77	c current bound: 42
1601.63/1667.21	c current bound: 42
1602.04/1667.64	c current bound: 42
1602.35/1668.09	c current bound: 42
1602.80/1668.53	c current bound: 42
1603.23/1668.96	c current bound: 42
1603.83/1669.40	c current bound: 42
1604.23/1669.83	c current bound: 42
1604.55/1670.49	c current bound: 42
1605.15/1670.92	c current bound: 42
1605.44/1671.35	c current bound: 42
1605.88/1671.79	c current bound: 42
1606.31/1672.23	c current bound: 42
1606.74/1672.66	c current bound: 42
1607.24/1673.09	c current bound: 42
1607.62/1673.53	c current bound: 42
1608.04/1673.96	c current bound: 42
1608.64/1674.40	c current bound: 42
1608.92/1674.84	c current bound: 42
1609.45/1675.27	c current bound: 42
1609.95/1676.00	c current bound: 42
1610.35/1676.44	c current bound: 42
1610.67/1676.87	c current bound: 42
1611.26/1677.31	c current bound: 42
1611.54/1677.74	c current bound: 42
1611.98/1678.18	c current bound: 42
1612.57/1678.61	c current bound: 42
1612.86/1679.05	c current bound: 42
1613.30/1679.48	c current bound: 42
1613.88/1679.91	c current bound: 42
1614.30/1680.75	c current bound: 42
1614.60/1681.18	c current bound: 42
1615.18/1681.61	c current bound: 42
1615.47/1682.05	c current bound: 42
1615.92/1682.49	c current bound: 42
1616.50/1682.92	c current bound: 42
1616.79/1683.36	c current bound: 42
1617.24/1683.79	c current bound: 42
1617.67/1684.22	c current bound: 42
1618.10/1684.66	c current bound: 42
1618.54/1685.09	c current bound: 42
1619.14/1685.70	c current bound: 42
1619.42/1686.14	c current bound: 42
1619.86/1686.57	c current bound: 42
1620.43/1687.00	c current bound: 42
1620.84/1687.44	c current bound: 42
1621.17/1687.87	c current bound: 42
1621.74/1688.30	c current bound: 42
1622.03/1688.74	c current bound: 42
1622.45/1689.17	c current bound: 42
1623.05/1689.61	c current bound: 42
1623.33/1690.04	c current bound: 42
1623.92/1690.73	c current bound: 42
1624.20/1691.16	c current bound: 42
1624.79/1691.60	c current bound: 42
1625.07/1692.04	c current bound: 42
1625.51/1692.47	c current bound: 42
1626.09/1692.91	c current bound: 42
1626.38/1693.34	c current bound: 42
1626.80/1693.77	c current bound: 42
1627.39/1694.21	c current bound: 42
1627.68/1694.65	c current bound: 42
1628.18/1695.08	c current bound: 42
1628.70/1695.51	c current bound: 42
1628.98/1695.95	c current bound: 42
1629.42/1696.39	c current bound: 42
1629.85/1696.82	c current bound: 42
1630.40/1697.25	c current bound: 42
1630.73/1697.69	c current bound: 42
1631.17/1698.12	c current bound: 42
1631.61/1698.56	c current bound: 42
1632.05/1698.99	c current bound: 42
1632.62/1699.43	c current bound: 42
1632.92/1699.86	c current bound: 42
1633.51/1700.30	c current bound: 42
1633.94/1701.00	c current bound: 42
1634.23/1701.43	c current bound: 42
1634.66/1701.87	c current bound: 42
1635.26/1702.30	c current bound: 42
1635.65/1702.74	c current bound: 42
1635.96/1703.17	c current bound: 42
1636.55/1703.60	c current bound: 42
1636.84/1704.04	c current bound: 42
1637.27/1704.48	c current bound: 42
1637.87/1704.91	c current bound: 42
1638.30/1705.74	c current bound: 42
1638.58/1706.18	c current bound: 42
1639.17/1706.61	c current bound: 42
1639.44/1707.05	c current bound: 42
1639.88/1707.48	c current bound: 42
1640.31/1707.92	c current bound: 42
1640.88/1708.35	c current bound: 42
1641.20/1708.78	c current bound: 42
1641.63/1709.22	c current bound: 42
1642.08/1709.65	c current bound: 42
1642.50/1710.09	c current bound: 42
1643.12/1710.75	c current bound: 42
1643.38/1711.18	c current bound: 42
1643.98/1711.62	c current bound: 42
1644.27/1712.05	c current bound: 42
1644.70/1712.49	c current bound: 42
1645.14/1712.92	c current bound: 42
1645.57/1713.35	c current bound: 42
1646.07/1713.79	c current bound: 42
1646.43/1714.22	c current bound: 42
1646.87/1714.66	c current bound: 42
1647.31/1715.09	c current bound: 42
1647.90/1715.70	c current bound: 42
1648.18/1716.14	c current bound: 42
1648.62/1716.57	c current bound: 42
1649.21/1717.00	c current bound: 42
1649.49/1717.44	c current bound: 42
1649.91/1717.87	c current bound: 42
1650.51/1718.31	c current bound: 42
1650.80/1718.74	c current bound: 42
1651.23/1719.18	c current bound: 42
1651.84/1719.61	c current bound: 42
1652.11/1720.05	c current bound: 42
1652.55/1720.73	c current bound: 42
1652.98/1721.16	c current bound: 42
1653.58/1721.60	c current bound: 42
1653.85/1722.03	c current bound: 42
1654.30/1722.47	c current bound: 42
1654.88/1722.90	c current bound: 42
1655.17/1723.34	c current bound: 42
1655.60/1723.77	c current bound: 42
1656.19/1724.21	c current bound: 42
1656.47/1724.64	c current bound: 42
1656.91/1725.08	c current bound: 42
1657.51/1725.51	c current bound: 42
1657.90/1725.95	c current bound: 42
1658.22/1726.38	c current bound: 42
1658.65/1726.82	c current bound: 42
1659.09/1727.26	c current bound: 42
1659.52/1727.69	c current bound: 42
1660.10/1728.13	c current bound: 42
1660.39/1728.56	c current bound: 42
1660.99/1729.00	c current bound: 42
1661.27/1729.44	c current bound: 42
1661.72/1729.88	c current bound: 42
1662.31/1730.31	c current bound: 42
1662.58/1731.06	c current bound: 42
1663.19/1731.51	c current bound: 42
1663.47/1731.95	c current bound: 42
1663.91/1732.38	c current bound: 42
1664.49/1732.82	c current bound: 42
1664.78/1733.25	c current bound: 42
1665.21/1733.69	c current bound: 42
1665.65/1734.12	c current bound: 42
1666.08/1734.56	c current bound: 42
1666.52/1734.99	c current bound: 42
1667.09/1735.86	c current bound: 42
1667.56/1736.30	c current bound: 42
1667.84/1736.74	c current bound: 42
1668.27/1737.17	c current bound: 42
1668.86/1737.61	c current bound: 42
1669.27/1738.04	c current bound: 42
1669.58/1738.48	c current bound: 42
1670.18/1738.91	c current bound: 42
1670.47/1739.35	c current bound: 42
1670.91/1739.78	c current bound: 42
1671.49/1740.22	c current bound: 42
1671.93/1740.81	c current bound: 42
1672.33/1741.24	c current bound: 42
1672.65/1741.68	c current bound: 42
1673.24/1742.11	c current bound: 42
1673.52/1742.55	c current bound: 42
1673.96/1742.98	c current bound: 42
1674.55/1743.42	c current bound: 42
1674.85/1743.86	c current bound: 42
1675.27/1744.29	c current bound: 42
1675.71/1744.73	c current bound: 42
1676.14/1745.16	c current bound: 42
1676.73/1745.82	c current bound: 42
1677.02/1746.26	c current bound: 42
1677.46/1746.70	c current bound: 42
1677.89/1747.13	c current bound: 42
1678.34/1747.56	c current bound: 42
1678.94/1748.00	c current bound: 42
1679.20/1748.43	c current bound: 42
1679.64/1748.87	c current bound: 42
1680.23/1749.30	c current bound: 42
1680.52/1749.74	c current bound: 42
1680.95/1750.17	c current bound: 42
1681.38/1750.79	c current bound: 42
1681.95/1751.23	c current bound: 42
1682.26/1751.66	c current bound: 42
1682.71/1752.10	c current bound: 42
1683.13/1752.53	c current bound: 42
1683.58/1752.96	c current bound: 42
1684.06/1753.40	c current bound: 42
1684.44/1753.83	c current bound: 42
1684.88/1754.27	c current bound: 42
1685.47/1754.70	c current bound: 42
1685.75/1755.14	c current bound: 42
1686.33/1755.72	c current bound: 42
1686.63/1756.16	c current bound: 42
1687.05/1756.59	c current bound: 42
1687.49/1757.03	c current bound: 42
1687.92/1757.46	c current bound: 42
1688.53/1757.90	c current bound: 42
1688.82/1758.33	c current bound: 42
1689.24/1758.76	c current bound: 42
1689.83/1759.20	c current bound: 42
1690.11/1759.63	c current bound: 42
1690.55/1760.07	c current bound: 42
1691.14/1760.50	c current bound: 42
1691.57/1761.11	c current bound: 42
1691.85/1761.55	c current bound: 42
1692.28/1761.98	c current bound: 42
1692.74/1762.42	c current bound: 42
1693.16/1762.85	c current bound: 42
1693.67/1763.28	c current bound: 42
1694.02/1763.72	c current bound: 42
1694.47/1764.16	c current bound: 42
1694.91/1764.59	c current bound: 42
1695.34/1765.03	c current bound: 42
1695.86/1765.46	c current bound: 42
1696.36/1766.15	c current bound: 42
1696.73/1766.58	c current bound: 42
1697.24/1767.01	c current bound: 42
1697.51/1767.45	c current bound: 42
1697.95/1767.88	c current bound: 42
1698.38/1768.32	c current bound: 42
1698.92/1768.75	c current bound: 42
1699.27/1769.19	c current bound: 42
1699.70/1769.62	c current bound: 42
1700.14/1770.06	c current bound: 42
1700.57/1770.49	c current bound: 42
1701.17/1771.14	c current bound: 42
1701.43/1771.57	c current bound: 42
1702.04/1772.00	c current bound: 42
1702.30/1772.44	c current bound: 42
1702.75/1772.87	c current bound: 42
1703.34/1773.31	c current bound: 42
1703.62/1773.74	c current bound: 42
1704.06/1774.18	c current bound: 42
1704.64/1774.61	c current bound: 42
1704.92/1775.05	c current bound: 42
1705.36/1775.49	c current bound: 42
1705.80/1775.95	c current bound: 42
1706.24/1776.38	c current bound: 42
1706.68/1776.82	c current bound: 42
1707.10/1777.25	c current bound: 42
1707.54/1777.69	c current bound: 42
1707.97/1778.12	c current bound: 42
1708.41/1778.55	c current bound: 42
1708.86/1778.99	c current bound: 42
1709.29/1779.43	c current bound: 42
1709.73/1779.87	c current bound: 42
1710.33/1780.31	c current bound: 42
1710.75/1780.86	c current bound: 42
1711.20/1781.30	c current bound: 42
1711.47/1781.73	c current bound: 42
1711.91/1782.17	c current bound: 42
1712.51/1782.60	c current bound: 42
1712.91/1783.04	c current bound: 42
1713.21/1783.47	c current bound: 42
1713.80/1783.91	c current bound: 42
1714.09/1784.34	c current bound: 42
1714.54/1784.78	c current bound: 42
1715.13/1785.21	c current bound: 42
1715.41/1785.64	c current bound: 42
1716.00/1786.26	c current bound: 42
1716.43/1786.70	c current bound: 42
1716.72/1787.14	c current bound: 42
1717.15/1787.57	c current bound: 42
1717.76/1788.01	c current bound: 42
1718.02/1788.44	c current bound: 42
1718.48/1788.88	c current bound: 42
1719.06/1789.31	c current bound: 42
1719.46/1789.75	c current bound: 42
1719.79/1790.18	c current bound: 42
1720.37/1790.62	c current bound: 42
1720.65/1791.05	c current bound: 42
1721.08/1791.49	c current bound: 42
1721.68/1791.92	c current bound: 42
1721.95/1792.36	c current bound: 42
1722.41/1792.79	c current bound: 42
1722.83/1793.23	c current bound: 42
1723.27/1793.66	c current bound: 42
1723.76/1794.10	c current bound: 42
1724.14/1794.53	c current bound: 42
1724.58/1794.97	c current bound: 42
1725.18/1795.40	c current bound: 42
1725.45/1795.84	c current bound: 42
1725.89/1796.56	c current bound: 42
1726.48/1797.00	c current bound: 42
1726.88/1797.43	c current bound: 42
1727.20/1797.86	c current bound: 42
1727.78/1798.30	c current bound: 42
1728.07/1798.74	c current bound: 42
1728.50/1799.17	c current bound: 42
1728.99/1799.60	c current bound: 42
1729.38/1800.04	c current bound: 42
1729.81/1800.47	c current bound: 42
1730.43/1801.30	c current bound: 42
1730.82/1801.74	c current bound: 42
1731.14/1802.18	c current bound: 42
1731.72/1802.61	c current bound: 42
1732.00/1803.05	c current bound: 42
1732.42/1803.48	c current bound: 42
1733.01/1803.91	c current bound: 42
1733.29/1804.35	c current bound: 42
1733.74/1804.78	c current bound: 42
1734.16/1805.22	c current bound: 42
1734.60/1805.65	c current bound: 42
1735.03/1806.08	c current bound: 42
1735.46/1806.52	c current bound: 42
1735.90/1806.96	c current bound: 42
1736.35/1807.39	c current bound: 42
1736.77/1807.82	c current bound: 42
1737.21/1808.25	c current bound: 42
1737.64/1808.69	c current bound: 42
1738.08/1809.13	c current bound: 42
1738.51/1809.56	c current bound: 42
1738.95/1809.99	c current bound: 42
1739.37/1810.42	c current bound: 42
1739.81/1810.86	c current bound: 42
1740.24/1811.53	c current bound: 42
1740.68/1811.97	c current bound: 42
1741.28/1812.40	c current bound: 42
1741.66/1812.83	c current bound: 42
1741.99/1813.27	c current bound: 42
1742.57/1813.71	c current bound: 42
1742.86/1814.14	c current bound: 42
1743.29/1814.58	c current bound: 42
1743.87/1815.01	c current bound: 42
1744.16/1815.44	c current bound: 42
1744.59/1815.87	c current bound: 42
1745.17/1816.41	c current bound: 42
1745.45/1816.84	c current bound: 42
1745.89/1817.28	c current bound: 42
1746.47/1817.71	c current bound: 42
1746.75/1818.14	c current bound: 42
1747.19/1818.58	c current bound: 42
1747.77/1819.01	c current bound: 42
1748.18/1819.44	c current bound: 42
1748.49/1819.88	c current bound: 42
1749.09/1820.31	c current bound: 42
1749.36/1820.74	c current bound: 42
1749.80/1821.17	c current bound: 42
1750.39/1821.61	c current bound: 42
1750.66/1822.04	c current bound: 42
1751.11/1822.47	c current bound: 42
1751.68/1822.91	c current bound: 42
1751.97/1823.34	c current bound: 42
1752.48/1823.78	c current bound: 42
1753.00/1824.21	c current bound: 42
1753.27/1824.64	c current bound: 42
1753.71/1825.07	c current bound: 42
1754.30/1825.51	c current bound: 42
1754.69/1825.94	c current bound: 42
1755.17/1826.50	c current bound: 42
1755.44/1826.93	c current bound: 42
1755.88/1827.37	c current bound: 42
1756.46/1827.80	c current bound: 42
1756.87/1828.23	c current bound: 42
1757.18/1828.66	c current bound: 42
1757.78/1829.10	c current bound: 42
1758.04/1829.53	c current bound: 42
1758.48/1829.96	c current bound: 42
1758.96/1830.40	c current bound: 42
1759.35/1830.83	c current bound: 42
1759.77/1831.26	c current bound: 42
1760.38/1831.70	c current bound: 42
1760.65/1832.13	c current bound: 42
1761.18/1832.56	c current bound: 42
1761.52/1832.99	c current bound: 42
1761.95/1833.43	c current bound: 42
1762.38/1833.86	c current bound: 42
1762.98/1834.30	c current bound: 42
1763.38/1834.73	c current bound: 42
1763.69/1835.16	c current bound: 42
1764.12/1835.59	c current bound: 42
1764.55/1836.03	c current bound: 42
1764.98/1836.62	c current bound: 42
1765.52/1837.06	c current bound: 42
1765.86/1837.49	c current bound: 42
1766.30/1837.92	c current bound: 42
1766.74/1838.36	c current bound: 42
1767.18/1838.79	c current bound: 42
1767.73/1839.22	c current bound: 42
1768.04/1839.66	c current bound: 42
1768.47/1840.09	c current bound: 42
1768.91/1840.52	c current bound: 42
1769.35/1840.96	c current bound: 42
1769.84/1841.39	c current bound: 42
1770.20/1841.82	c current bound: 42
1770.64/1842.25	c current bound: 42
1771.08/1842.69	c current bound: 42
1771.51/1843.12	c current bound: 42
1772.04/1843.55	c current bound: 42
1772.37/1843.99	c current bound: 42
1772.80/1844.42	c current bound: 42
1773.25/1844.86	c current bound: 42
1773.68/1845.29	c current bound: 42
1774.26/1845.72	c current bound: 42
1774.55/1846.15	c current bound: 42
1774.98/1846.75	c current bound: 42
1775.42/1847.19	c current bound: 42
1775.85/1847.63	c current bound: 42
1776.38/1848.06	c current bound: 42
1776.72/1848.49	c current bound: 42
1777.15/1848.93	c current bound: 42
1777.58/1849.36	c current bound: 42
1778.18/1849.80	c current bound: 42
1778.58/1850.23	c current bound: 42
1778.89/1850.66	c current bound: 42
1779.33/1851.09	c current bound: 42
1779.76/1851.53	c current bound: 42
1780.20/1851.96	c current bound: 42
1780.68/1852.40	c current bound: 42
1781.08/1852.83	c current bound: 42
1781.50/1853.26	c current bound: 42
1782.10/1853.70	c current bound: 42
1782.38/1854.13	c current bound: 42
1782.90/1854.56	c current bound: 42
1783.25/1854.99	c current bound: 42
1783.67/1855.43	c current bound: 42
1784.12/1855.86	c current bound: 42
1784.54/1856.29	c current bound: 42
1784.99/1856.88	c current bound: 42
1785.58/1857.31	c current bound: 42
1785.85/1857.75	c current bound: 42
1786.29/1858.18	c current bound: 42
1786.72/1858.62	c current bound: 42
1787.27/1859.05	c current bound: 42
1787.59/1859.48	c current bound: 42
1788.17/1859.91	c current bound: 42
1788.45/1860.35	c current bound: 42
1788.88/1860.78	c current bound: 42
1789.47/1861.21	c current bound: 42
1789.77/1861.65	c current bound: 42
1790.19/1862.08	c current bound: 42
1790.62/1862.52	c current bound: 42
1791.06/1862.95	c current bound: 42
1791.58/1863.38	c current bound: 42
1791.93/1863.82	c current bound: 42
1792.37/1864.25	c current bound: 42
1792.80/1864.69	c current bound: 42
1793.24/1865.12	c current bound: 42
1793.77/1865.55	c current bound: 42
1794.12/1865.98	c current bound: 42
1794.56/1866.42	c current bound: 42
1794.99/1866.98	c current bound: 42
1795.58/1867.41	c current bound: 42
1795.96/1867.84	c current bound: 42
1796.30/1868.28	c current bound: 42
1796.89/1868.71	c current bound: 42
1797.17/1869.14	c current bound: 42
1797.61/1869.58	c current bound: 42
1798.21/1870.01	c current bound: 42
1798.48/1870.45	c current bound: 42
1798.91/1870.88	c current bound: 42
1799.35/1871.32	c current bound: 42
1799.81/1871.61	HOME/npSolver-wbo-Itdqb.sh: line 18: 30982 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3753177-1339206496/watcher-3753177-1339206496 -o /tmp/evaluation-result-3753177-1339206496/solver-3753177-1339206496 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753177-1339206496.wbo 1769398129 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.06 1.95 1.95 4/181 30981
/proc/meminfo: memFree=29475756/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0

[startup+0.0162179 s]
/proc/loadavg: 2.06 1.95 1.95 4/181 30981
/proc/meminfo: memFree=29475756/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10027 s]
/proc/loadavg: 2.06 1.95 1.95 4/181 30981
/proc/meminfo: memFree=29475756/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300285 s]
/proc/loadavg: 2.06 1.95 1.95 4/181 30981
/proc/meminfo: memFree=29475756/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 2.06 1.95 1.95 4/181 30981
/proc/meminfo: memFree=29475756/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 2.06 1.95 1.95 2/184 30996
/proc/meminfo: memFree=29371280/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=34296 CPUtime=0.59 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 5598 0 0 0 51 8 0 0 20 0 1 0 386774023 35119104 7227 33554432000 4194304 6006132 140737047834864 140737047827968 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30982/statm: 8574 7227 157 443 0 8127 0
[pid=30988] ppid=30982 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30988/stat : 30988 (cp2_pre.sh) S 30982 30981 1058 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386774083 9367552 277 33554432000 4194304 5064252 140734037818912 140734037817616 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30988/statm: 2287 277 234 213 0 72 0
[pid=30989] ppid=30988 vsize=81160 CPUtime=0.89 cores=1,3,5,7
/proc/30989/stat : 30989 (coprocessor) R 30988 30981 1058 0 -1 4202496 15014 0 0 0 85 4 0 0 20 0 1 0 386774084 83107840 19333 33554432000 4194304 6586260 140733744213360 140733744208680 5599235 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/30989/statm: 20290 19333 191 584 0 19702 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133752

[startup+3.10024 s]
/proc/loadavg: 2.06 1.95 1.95 3/184 31003
/proc/meminfo: memFree=29336672/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=34296 CPUtime=3.01 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 5613 24242 0 0 51 8 235 7 20 0 1 0 386774023 35119104 7228 33554432000 4194304 6006132 140737047834864 140737047828544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30982/statm: 8574 7228 158 443 0 8127 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 43444

[startup+6.30021 s]
/proc/loadavg: 2.06 1.95 1.95 3/185 31072
/proc/meminfo: memFree=29391840/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=6.06 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 10194 114708 0 0 85 37 424 60 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 47544

[startup+12.7003 s]
/proc/loadavg: 2.05 1.95 1.95 3/185 31233
/proc/meminfo: memFree=29393132/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=12.09 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) R 30981 30981 1058 0 -1 4202496 18854 318993 0 0 139 44 855 171 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 4623194 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 47544

[startup+25.5003 s]
/proc/loadavg: 2.04 1.95 1.95 3/184 31565
/proc/meminfo: memFree=29412196/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=24.59 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 37753 740881 0 0 259 60 1732 408 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 47544

[startup+51.1004 s]
/proc/loadavg: 2.02 1.95 1.95 3/184 32192
/proc/meminfo: memFree=29411220/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=48.79 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 74482 1554083 0 0 491 90 3427 871 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 11 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 48.79
Current children cumulated vsize (KiB) 47544

[startup+102.307 s]
/proc/loadavg: 1.96 1.94 1.95 3/182 1035
/proc/meminfo: memFree=29400124/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=98.08 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 148610 3216127 0 0 959 153 6885 1811 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 11 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 98.08
Current children cumulated vsize (KiB) 47544

[startup+162.3 s]
/proc/loadavg: 1.80 1.90 1.93 3/184 2597
/proc/meminfo: memFree=29330768/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=156.33 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 235865 5164395 0 0 1511 229 10967 2926 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 57 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 156.33
Current children cumulated vsize (KiB) 47544

[startup+222.3 s]
/proc/loadavg: 1.93 1.92 1.93 3/181 4107
/proc/meminfo: memFree=29396328/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=213.72 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 322450 7092979 0 0 2055 304 14992 4021 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 86 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 213.72
Current children cumulated vsize (KiB) 47544

[startup+282.3 s]
/proc/loadavg: 1.98 1.92 1.92 3/183 5590
/proc/meminfo: memFree=29417980/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=271.33 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 409042 9031691 0 0 2601 379 19029 5124 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 124 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 271.33
Current children cumulated vsize (KiB) 47544

[startup+342.3 s]
/proc/loadavg: 2.61 2.10 1.98 3/183 7105
/proc/meminfo: memFree=29323344/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=329.32 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 496290 10986653 0 0 3153 451 23087 6241 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 159 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 329.32

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

[pid=30982] ppid=30981 vsize=38396 CPUtime=1519.89 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2285865 51052485 0 0 14446 2003 106590 28950 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 914 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
[pid=5704] ppid=30982 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (cp2_post.sh) S 30982 30981 1058 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386932299 9367552 265 33554432000 4194304 5064252 140736545067968 140736545066256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5704/statm: 2287 265 225 213 0 72 0
[pid=5705] ppid=5704 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/5705/stat : 5705 (cat) S 5704 30981 1058 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 386932300 4100096 122 33554432000 4194304 4236627 140734999573664 140734999572760 251044644320 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5705/statm: 1001 122 96 11 0 67 0
[pid=5706] ppid=5704 vsize=8092 CPUtime=0.03 cores=1,3,5,7
/proc/5706/stat : 5706 (coprocessor) R 5704 30981 1058 0 -1 4202496 1862 0 0 0 3 0 0 0 20 0 1 0 386932300 8286208 1525 33554432000 4194304 6586260 140737412842544 140736545066280 4967814 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/5706/statm: 2023 1525 148 584 0 1435 0
Current children cumulated CPU time (s) 1519.92
Current children cumulated vsize (KiB) 68788

[startup+1582.91 s]
/proc/loadavg: 1.74 1.94 1.92 4/183 5706
/proc/meminfo: memFree=29314892/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1519.89 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2285865 51052485 0 0 14446 2003 106590 28950 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 914 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
[pid=5704] ppid=30982 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5704/stat : 5704 (cp2_post.sh) R 30982 30981 1058 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 386932299 9367552 265 33554432000 4194304 5064252 140736545067968 140736545066256 251044456014 0 65536 4100 65538 18446744071579302022 0 0 17 5 0 0 0 0 0
/proc/5704/statm: 2287 265 225 213 0 72 0
Current children cumulated CPU time (s) 1519.89
Current children cumulated vsize (KiB) 56692
#
############


[startup+1602.3 s]
/proc/loadavg: 1.82 1.94 1.92 3/182 6172
/proc/meminfo: memFree=29328852/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1538.62 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2314073 51685347 0 0 14623 2028 107903 29308 20 0 1 0 386774023 39317504 7877 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 949 0 0
/proc/30982/statm: 9599 7877 176 443 0 9152 0
Current children cumulated CPU time (s) 1538.62
Current children cumulated vsize (KiB) 47544

[startup+1662.3 s]
/proc/loadavg: 1.88 1.93 1.92 3/182 7693
/proc/meminfo: memFree=29381632/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1596.68 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2391259 53638951 0 0 15172 2103 111978 30415 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 974 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
Current children cumulated CPU time (s) 1596.68
Current children cumulated vsize (KiB) 47544

[startup+1722.3 s]
/proc/loadavg: 1.88 1.93 1.91 4/184 9174
/proc/meminfo: memFree=29340296/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1654.06 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2462400 55562125 0 0 15719 2175 115986 31526 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 983 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
Current children cumulated CPU time (s) 1654.06
Current children cumulated vsize (KiB) 47544

############
# WARNING:
# current cumulated CPU time (1680.95 s) is less than in the last sample (1681.16 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.209961 s) to the 'lost time'.

[startup+1750 s]
/proc/loadavg: 1.99 1.95 1.92 3/184 9888
/proc/meminfo: memFree=29340956/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1680.95 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) R 30981 30981 1058 0 -1 4202496 2495285 56468835 0 0 15971 2208 117876 32040 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047826224 4919041 0 65536 4102 0 0 0 0 17 3 0 0 1014 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
[pid=9884] ppid=30982 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9884/stat : 9884 (satsolver.sh) S 30982 30981 1058 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386949001 9367552 266 33554432000 4194304 5064252 140735810415648 140735810414560 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9884/statm: 2287 266 226 213 0 72 0
[pid=9885] ppid=9884 vsize=0 CPUtime=0.21 cores=1,3,5,7
/proc/9885/stat : 9885 (glucose) Z 9884 30981 1058 0 -1 4202508 9788 0 0 0 19 2 0 0 20 0 1 0 386949001 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9885/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1681.16
Current children cumulated vsize (KiB) 56692

[startup+1750.11 s]
/proc/loadavg: 1.99 1.95 1.92 3/184 9888
/proc/meminfo: memFree=29340956/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1680.95 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2495286 56468835 0 0 15971 2208 117876 32040 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1014 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
Current children cumulated CPU time (s) 1680.95
Current children cumulated vsize (KiB) 47544
#
############


[startup+1782.3 s]
/proc/loadavg: 1.99 1.95 1.92 3/184 10693
/proc/meminfo: memFree=29336716/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1712.12 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2534087 57516901 0 0 16268 2248 120066 32630 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1014 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
Current children cumulated CPU time (s) 1712.12
Current children cumulated vsize (KiB) 47544

[startup+1842.3 s]
/proc/loadavg: 1.93 1.93 1.91 3/183 11830
/proc/meminfo: memFree=29432008/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1770.84 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2606852 59503842 0 0 16825 2323 124208 33728 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047826224 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1073 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
Current children cumulated CPU time (s) 1770.84
Current children cumulated vsize (KiB) 47544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1871.6 s]
/proc/loadavg: 1.89 1.92 1.91 3/184 12320
/proc/meminfo: memFree=29431304/32873844 swapFree=7628/7628
[pid=30981] ppid=30979 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30981/stat : 30981 (npSolver-wbo-It) S 30979 30981 1058 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386774023 9367552 275 33554432000 4194304 5064252 140737201990032 140737201988944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30981/statm: 2287 275 233 213 0 72 0
[pid=30982] ppid=30981 vsize=38396 CPUtime=1799.81 cores=1,3,5,7
/proc/30982/stat : 30982 (npSolver-wbo) S 30981 30981 1058 0 -1 4202496 2642433 60484401 0 0 17098 2361 126244 34278 20 0 1 0 386774023 39317504 8271 33554432000 4194304 6006132 140737047834864 140737047825712 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1091 0 0
/proc/30982/statm: 9599 8271 176 443 0 9152 0
[pid=12318] ppid=30982 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12318/stat : 12318 (cp2_post.sh) S 30982 30981 1058 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 386961183 9367552 266 33554432000 4194304 5064252 140735580168240 140735580166528 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12318/statm: 2287 266 225 213 0 72 0
[pid=12319] ppid=12318 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/12319/stat : 12319 (cat) S 12318 30981 1058 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 386961183 4100096 122 33554432000 4194304 4236627 140735607700256 140735607699352 251044644320 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12319/statm: 1001 122 96 11 0 67 0
[pid=12320] ppid=12318 vsize=7324 CPUtime=0 cores=1,3,5,7
/proc/12320/stat : 12320 (coprocessor) R 12318 30981 1058 0 -1 4202496 1454 0 0 0 0 0 0 0 20 0 1 0 386961183 7499776 1309 33554432000 4194304 6586260 140736777595552 140735580166552 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/12320/statm: 1831 1309 148 584 0 1243 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 68020

Sending SIGTERM to process tree (bottom up)

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

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.370056
#  lost CPU user time (s): 0.340027
#  lost CPU system time (s): 0.0299835

Real time (s): 1871.62
CPU time (s): 1800.21
CPU user time (s): 1433.77
CPU system time (s): 366.443
CPU usage (%): 96.1848
Max. virtual memory (cumulated for all children) (KiB): 134152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1433.43
system time used= 366.413
maximum resident set size= 80944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63128196
page faults= 0
swaps= 0
block input operations= 8
block output operations= 72208640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1335737
involuntary context switches= 51222

runsolver used 3.56446 second user time and 9.08862 second system time

The end

Begin job on node143 at 2012-06-09 03:48:17
IDJOB=3753177
IDBENCH=79146
IDSOLVER=2336
FILE ID=node143/3753177-1339206496
RUNJOBID= node143-1339204679-1077
PBS_JOBID= 14643867
Free space on /tmp= 70072 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j60/normalized-j606_1-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-3753177-1339206496/watcher-3753177-1339206496 -o /tmp/evaluation-result-3753177-1339206496/solver-3753177-1339206496 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753177-1339206496.wbo 1769398129 HOME HOME

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

MD5SUM BENCH= c217e37672ee06a6aab331743e45a145
RANDOM SEED=1769398129

node143.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.787
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.57
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.787
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.787
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29418796 kB
Buffers:         1852764 kB
Cached:           423192 kB
SwapCached:          196 kB
Active:          2238272 kB
Inactive:         168920 kB
Active(anon):     121612 kB
Inactive(anon):    11456 kB
Active(file):    2116660 kB
Inactive(file):   157464 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108460 kB
Dirty:             45728 kB
Writeback:             0 kB
AnonPages:        165064 kB
Mapped:             9852 kB
Shmem:               160 kB
Slab:             906804 kB
SReclaimable:     347120 kB
SUnreclaim:       559684 kB
KernelStack:        1544 kB
PageTables:         3920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     263744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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= 70072 MiB
End job on node143 at 2012-06-09 04:19:28