0.00/0.56	c run usual solver
4.38/4.47	o 84
4.38/4.47	c starting approximation
4.38/4.47	c factor = 2
4.38/4.47	c factor still to low - shrinking to 5.7771
4.38/4.47	c approx number of clauses: 1e+06
4.38/4.48	c current bound: 42
4.95/5.72	c current bound: 42
5.26/6.26	c current bound: 42
5.80/6.79	c current bound: 42
6.33/7.33	c current bound: 42
6.86/7.86	c current bound: 42
7.40/8.39	c current bound: 42
8.15/8.93	c current bound: 42
8.48/9.46	c current bound: 42
9.24/10.27	c current bound: 42
9.80/10.81	c current bound: 42
10.08/11.34	c current bound: 42
10.61/11.87	c current bound: 42
11.40/12.41	c current bound: 42
11.67/12.94	c current bound: 42
12.21/13.48	c current bound: 42
13.00/14.01	c current bound: 42
13.27/14.55	c current bound: 42
14.06/15.20	c current bound: 42
14.35/15.74	c current bound: 42
14.88/16.27	c current bound: 42
15.66/16.81	c current bound: 42
15.94/17.34	c current bound: 42
16.48/17.88	c current bound: 42
17.27/18.41	c current bound: 42
17.54/18.95	c current bound: 42
18.08/19.48	c current bound: 42
18.87/20.02	c current bound: 42
19.14/20.68	c current bound: 42
19.68/21.22	c current bound: 42
20.22/21.75	c current bound: 42
20.74/22.29	c current bound: 42
21.28/22.82	c current bound: 42
21.82/23.36	c current bound: 42
22.35/23.89	c current bound: 42
22.88/24.42	c current bound: 42
23.43/24.96	c current bound: 42
23.95/25.49	c current bound: 42
24.49/26.02	c current bound: 42
25.19/26.56	c current bound: 42
25.54/27.09	c current bound: 42
26.31/27.62	c current bound: 42
26.62/28.16	c current bound: 42
27.30/28.69	c current bound: 42
27.69/29.22	c current bound: 42
28.42/29.75	c current bound: 42
29.01/30.40	c current bound: 42
29.51/30.93	c current bound: 42
29.82/31.46	c current bound: 42
30.51/32.00	c current bound: 42
30.89/32.53	c current bound: 42
31.61/33.06	c current bound: 42
31.95/33.59	c current bound: 42
32.72/34.12	c current bound: 42
33.04/34.66	c current bound: 42
33.71/35.19	c current bound: 42
34.09/35.72	c current bound: 42
34.83/36.25	c current bound: 42
35.16/36.79	c current bound: 42
35.94/37.32	c current bound: 42
36.21/37.85	c current bound: 42
36.76/38.38	c current bound: 42
37.54/38.91	c current bound: 42
37.83/39.44	c current bound: 42
38.36/39.98	c current bound: 42
39.12/40.64	c current bound: 42
39.43/41.17	c current bound: 42
39.95/41.70	c current bound: 42
40.49/42.23	c current bound: 42
41.03/42.76	c current bound: 42
41.55/43.29	c current bound: 42
42.07/43.83	c current bound: 42
42.62/44.36	c current bound: 42
43.15/44.89	c current bound: 42
43.67/45.42	c current bound: 42
44.22/46.09	c current bound: 42
44.73/46.62	c current bound: 42
45.28/47.15	c current bound: 42
45.80/47.69	c current bound: 42
46.33/48.22	c current bound: 42
46.87/48.75	c current bound: 42
47.41/49.29	c current bound: 42
47.93/49.82	c current bound: 42
48.48/50.35	c current bound: 42
49.00/50.88	c current bound: 42
49.53/51.42	c current bound: 42
50.07/51.95	c current bound: 42
50.60/52.49	c current bound: 42
51.14/53.02	c current bound: 42
51.67/53.55	c current bound: 42
52.49/54.11	c current bound: 42
52.76/54.64	c current bound: 42
53.29/55.17	c current bound: 42
53.82/55.84	c current bound: 42
54.36/56.37	c current bound: 42
55.13/56.91	c current bound: 42
55.41/57.44	c current bound: 42
55.95/57.97	c current bound: 42
56.74/58.50	c current bound: 42
57.01/59.03	c current bound: 42
57.55/59.57	c current bound: 42
58.33/60.10	c current bound: 42
58.83/60.63	c current bound: 42
59.15/61.22	c current bound: 42
59.88/61.75	c current bound: 42
60.21/62.29	c current bound: 42
60.97/62.82	c current bound: 42
61.27/63.35	c current bound: 42
61.99/63.88	c current bound: 42
62.33/64.42	c current bound: 42
63.08/64.95	c current bound: 42
63.41/65.48	c current bound: 42
64.20/66.02	c current bound: 42
64.48/66.55	c current bound: 42
65.18/67.08	c current bound: 42
65.78/67.61	c current bound: 42
66.29/68.15	c current bound: 42
66.61/68.68	c current bound: 42
67.40/69.21	c current bound: 42
67.93/69.80	c current bound: 42
68.44/70.33	c current bound: 42
69.00/70.90	c current bound: 42
69.51/71.43	c current bound: 42
69.82/71.96	c current bound: 42
70.35/72.49	c current bound: 42
70.88/73.03	c current bound: 42
71.41/73.56	c current bound: 42
72.20/74.10	c current bound: 42
72.49/74.63	c current bound: 42
73.02/75.16	c current bound: 42
73.55/75.69	c current bound: 42
74.09/76.23	c current bound: 42
74.62/76.76	c current bound: 42
75.16/77.29	c current bound: 42
75.68/77.83	c current bound: 42
76.22/78.36	c current bound: 42
76.74/78.89	c current bound: 42
77.29/79.43	c current bound: 42
77.82/79.96	c current bound: 42
78.35/80.49	c current bound: 42
78.88/81.18	c current bound: 42
79.67/81.71	c current bound: 42
79.95/82.24	c current bound: 42
80.49/82.78	c current bound: 42
81.26/83.31	c current bound: 42
81.55/83.84	c current bound: 42
82.09/84.38	c current bound: 42
82.87/84.91	c current bound: 42
83.15/85.44	c current bound: 42
83.67/85.97	c current bound: 42
84.22/86.64	c current bound: 42
84.75/87.18	c current bound: 42
85.54/87.71	c current bound: 42
85.82/88.24	c current bound: 42
86.35/88.78	c current bound: 42
87.14/89.31	c current bound: 42
87.42/89.86	c current bound: 42
88.24/90.40	c current bound: 42
88.51/90.93	c current bound: 42
89.05/91.46	c current bound: 42
89.58/91.99	c current bound: 42
90.33/92.53	c current bound: 42
90.65/93.06	c current bound: 42
91.34/93.59	c current bound: 42
91.71/94.13	c current bound: 42
92.46/94.66	c current bound: 42
92.78/95.19	c current bound: 42
93.54/95.73	c current bound: 42
93.85/96.38	c current bound: 42
94.63/96.91	c current bound: 42
94.91/97.45	c current bound: 42
95.62/97.98	c current bound: 42
96.23/98.51	c current bound: 42
96.72/99.04	c current bound: 42
97.05/99.58	c current bound: 42
97.84/100.11	c current bound: 42
98.12/100.64	c current bound: 42
98.84/101.17	c current bound: 42
99.44/101.81	c current bound: 42
99.93/102.34	c current bound: 42
100.26/102.87	c current bound: 42
101.04/103.41	c current bound: 42
101.33/103.94	c current bound: 42
102.04/104.47	c current bound: 42
102.65/105.00	c current bound: 42
103.15/105.54	c current bound: 42
103.46/106.07	c current bound: 42
104.00/106.60	c current bound: 42
104.53/107.13	c current bound: 42
105.08/107.67	c current bound: 42
105.85/108.20	c current bound: 42
106.14/108.73	c current bound: 42
106.67/109.27	c current bound: 42
107.46/109.80	c current bound: 42
107.73/110.34	c current bound: 42
108.26/110.87	c current bound: 42
108.79/111.53	c current bound: 42
109.33/112.06	c current bound: 42
109.87/112.59	c current bound: 42
110.40/113.13	c current bound: 42
110.93/113.66	c current bound: 42
111.46/114.19	c current bound: 42
112.00/114.73	c current bound: 42
112.53/115.27	c current bound: 42
113.32/115.80	c current bound: 42
113.60/116.34	c current bound: 42
114.13/116.98	c current bound: 42
114.91/117.51	c current bound: 42
115.19/118.05	c current bound: 42
115.73/118.58	c current bound: 42
116.27/119.12	c current bound: 42
116.79/119.65	c current bound: 42
117.33/120.19	c current bound: 42
117.87/120.72	c current bound: 42
118.40/121.25	c current bound: 42
118.93/121.79	c current bound: 42
119.46/122.32	c current bound: 42
119.99/122.85	c current bound: 42
120.53/123.39	c current bound: 42
121.07/123.92	c current bound: 42
121.79/124.45	c current bound: 42
122.13/124.99	c current bound: 42
122.90/125.52	c current bound: 42
123.22/126.06	c current bound: 42
123.97/126.73	c current bound: 42
124.27/127.26	c current bound: 42
125.08/127.80	c current bound: 42
125.34/128.33	c current bound: 42
125.88/128.86	c current bound: 42
126.67/129.40	c current bound: 42
127.16/129.93	c current bound: 42
127.48/130.46	c current bound: 42
128.28/131.00	c current bound: 42
128.56/131.53	c current bound: 42
129.30/132.13	c current bound: 42
129.61/132.66	c current bound: 42
130.41/133.20	c current bound: 42
130.69/133.73	c current bound: 42
131.41/134.26	c current bound: 42
131.76/134.79	c current bound: 42
132.51/135.33	c current bound: 42
132.83/135.86	c current bound: 42
133.53/136.39	c current bound: 42
133.89/136.93	c current bound: 42
134.63/137.46	c current bound: 42
134.97/137.99	c current bound: 42
135.74/138.52	c current bound: 42
136.04/139.06	c current bound: 42
136.57/139.59	c current bound: 42
137.11/140.13	c current bound: 42
137.64/140.66	c current bound: 42
138.17/141.19	c current bound: 42
138.91/141.86	c current bound: 42
139.50/142.40	c current bound: 42
140.00/142.93	c current bound: 42
140.31/143.46	c current bound: 42
140.84/144.00	c current bound: 42
141.37/144.53	c current bound: 42
141.91/145.06	c current bound: 42
142.44/145.59	c current bound: 42
142.98/146.12	c current bound: 42
143.52/146.66	c current bound: 42
144.29/147.32	c current bound: 42
144.58/147.85	c current bound: 42
145.13/148.39	c current bound: 42
145.66/148.92	c current bound: 42
146.19/149.45	c current bound: 42
146.72/149.99	c current bound: 42
147.26/150.52	c current bound: 42
147.79/151.05	c current bound: 42
148.33/151.59	c current bound: 42
148.87/152.12	c current bound: 42
149.39/152.65	c current bound: 42
149.93/153.19	c current bound: 42
150.47/153.72	c current bound: 42
151.00/154.25	c current bound: 42
151.53/154.79	c current bound: 42
152.06/155.32	c current bound: 42
152.60/155.85	c current bound: 42
153.14/156.38	c current bound: 42
153.67/157.04	c current bound: 42
154.21/157.57	c current bound: 42
154.99/158.10	c current bound: 42
155.27/158.63	c current bound: 42
155.80/159.17	c current bound: 42
156.60/159.70	c current bound: 42
156.86/160.23	c current bound: 42
157.41/160.77	c current bound: 42
158.19/161.30	c current bound: 42
158.69/161.83	c current bound: 42
158.99/162.43	c current bound: 42
159.54/162.96	c current bound: 42
160.07/163.49	c current bound: 42
160.82/164.04	c current bound: 42
161.14/164.57	c current bound: 42
161.93/165.11	c current bound: 42
162.21/165.64	c current bound: 42
162.92/166.17	c current bound: 42
163.52/166.70	c current bound: 42
164.03/167.26	c current bound: 42
164.35/167.79	c current bound: 42
165.13/168.33	c current bound: 42
165.42/168.86	c current bound: 42
166.14/169.39	c current bound: 42
166.49/169.92	c current bound: 42
167.22/170.46	c current bound: 42
167.56/170.99	c current bound: 42
168.33/171.52	c current bound: 42
168.63/172.18	c current bound: 42
169.42/172.72	c current bound: 42
169.69/173.25	c current bound: 42
170.40/173.79	c current bound: 42
170.76/174.32	c current bound: 42
171.50/174.86	c current bound: 42
171.84/175.39	c current bound: 42
172.61/175.92	c current bound: 42
172.90/176.46	c current bound: 42
173.44/176.99	c current bound: 42
173.96/177.63	c current bound: 42
174.69/178.17	c current bound: 42
175.29/178.70	c current bound: 42
175.78/179.23	c current bound: 42
176.11/179.76	c current bound: 42
176.63/180.30	c current bound: 42
177.17/180.83	c current bound: 42
177.70/181.36	c current bound: 42
178.48/181.90	c current bound: 42
178.78/182.43	c current bound: 42
179.31/182.96	c current bound: 42
179.84/183.49	c current bound: 42
180.37/184.03	c current bound: 42
180.90/184.56	c current bound: 42
181.43/185.09	c current bound: 42
181.96/185.62	c current bound: 42
182.50/186.16	c current bound: 42
183.03/186.69	c current bound: 42
183.56/187.36	c current bound: 42
184.09/187.89	c current bound: 42
184.63/188.42	c current bound: 42
185.17/188.95	c current bound: 42
185.71/189.49	c current bound: 42
186.24/190.02	c current bound: 42
186.77/190.55	c current bound: 42
187.31/191.08	c current bound: 42
188.07/191.62	c current bound: 42
188.36/192.15	c current bound: 42
188.90/192.75	c current bound: 42
189.44/193.29	c current bound: 42
189.96/193.83	c current bound: 42
190.51/194.36	c current bound: 42
191.05/194.89	c current bound: 42
191.57/195.42	c current bound: 42
192.30/195.96	c current bound: 42
192.64/196.49	c current bound: 42
193.40/197.02	c current bound: 42
193.70/197.56	c current bound: 42
194.41/198.09	c current bound: 42
194.76/198.62	c current bound: 42
195.50/199.16	c current bound: 42
195.83/199.69	c current bound: 42
196.61/200.22	c current bound: 42
196.90/200.76	c current bound: 42
197.61/201.29	c current bound: 42
197.97/201.82	c current bound: 42
198.75/202.51	c current bound: 42
199.04/203.04	c current bound: 42
199.74/203.58	c current bound: 42
200.36/204.11	c current bound: 42
200.83/204.65	c current bound: 42
201.18/205.18	c current bound: 42
201.96/205.71	c current bound: 42
202.23/206.24	c current bound: 42
202.93/206.78	c current bound: 42
203.55/207.31	c current bound: 42
204.02/207.86	c current bound: 42
204.37/208.39	c current bound: 42
205.12/208.93	c current bound: 42
205.43/209.46	c current bound: 42
205.97/209.99	c current bound: 42
206.50/210.52	c current bound: 42
207.04/211.06	c current bound: 42
207.56/211.59	c current bound: 42
208.10/212.12	c current bound: 42
208.64/212.65	c current bound: 42
209.17/213.19	c current bound: 42
209.96/213.72	c current bound: 42
210.24/214.25	c current bound: 42
210.77/214.78	c current bound: 42
211.56/215.31	c current bound: 42
211.82/215.84	c current bound: 42
212.36/216.38	c current bound: 42
213.16/216.91	c current bound: 42
213.44/217.57	c current bound: 42
214.23/218.10	c current bound: 42
214.50/218.63	c current bound: 42
215.04/219.16	c current bound: 42
215.57/219.69	c current bound: 42
216.10/220.22	c current bound: 42
216.65/220.76	c current bound: 42
217.43/221.30	c current bound: 42
217.71/221.83	c current bound: 42
218.25/222.36	c current bound: 42
218.78/222.96	c current bound: 42
219.32/223.49	c current bound: 42
219.85/224.02	c current bound: 42
220.56/224.56	c current bound: 42
220.90/225.09	c current bound: 42
221.67/225.62	c current bound: 42
221.98/226.16	c current bound: 42
222.67/226.69	c current bound: 42
223.04/227.22	c current bound: 42
223.76/227.76	c current bound: 42
224.10/228.29	c current bound: 42
224.88/228.82	c current bound: 42
225.17/229.36	c current bound: 42
225.86/229.89	c current bound: 42
226.24/230.42	c current bound: 42
226.97/230.95	c current bound: 42
227.31/231.49	c current bound: 42
228.08/232.02	c current bound: 42
228.37/232.69	c current bound: 42
229.14/233.22	c current bound: 42
229.43/233.76	c current bound: 42
230.13/234.29	c current bound: 42
230.50/234.83	c current bound: 42
231.22/235.36	c current bound: 42
231.57/235.89	c current bound: 42
232.33/236.43	c current bound: 42
232.63/236.96	c current bound: 42
233.17/237.49	c current bound: 42
233.71/238.13	c current bound: 42
234.43/238.67	c current bound: 42
235.03/239.20	c current bound: 42
235.53/239.74	c current bound: 42
235.84/240.27	c current bound: 42
236.63/240.81	c current bound: 42
236.91/241.34	c current bound: 42
237.44/241.87	c current bound: 42
237.98/242.42	c current bound: 42
238.52/242.95	c current bound: 42
239.05/243.49	c current bound: 42
239.59/244.02	c current bound: 42
240.13/244.56	c current bound: 42
240.66/245.09	c current bound: 42
241.20/245.62	c current bound: 42
241.73/246.15	c current bound: 42
242.26/246.69	c current bound: 42
242.81/247.22	c current bound: 42
243.32/247.88	c current bound: 42
244.11/248.42	c current bound: 42
244.41/248.95	c current bound: 42
244.92/249.48	c current bound: 42
245.71/250.01	c current bound: 42
245.99/250.54	c current bound: 42
246.52/251.08	c current bound: 42
247.30/251.61	c current bound: 42
247.58/252.14	c current bound: 42
248.12/252.67	c current bound: 42
248.65/253.27	c current bound: 42
249.46/253.80	c current bound: 42
249.72/254.34	c current bound: 42
250.26/254.87	c current bound: 42
251.06/255.40	c current bound: 42
251.32/255.93	c current bound: 42
251.86/256.47	c current bound: 42
252.65/257.00	c current bound: 42
253.14/257.54	c current bound: 42
253.46/258.07	c current bound: 42
254.24/258.60	c current bound: 42
254.52/259.14	c current bound: 42
255.23/259.67	c current bound: 42
255.84/260.20	c current bound: 42
256.33/260.74	c current bound: 42
256.65/261.27	c current bound: 42
257.45/261.81	c current bound: 42
257.73/262.34	c current bound: 42
258.48/263.03	c current bound: 42
258.79/263.56	c current bound: 42
259.57/264.10	c current bound: 42
259.86/264.63	c current bound: 42
260.58/265.18	c current bound: 42
261.19/265.71	c current bound: 42
261.68/266.24	c current bound: 42
262.01/266.77	c current bound: 42
262.80/267.31	c current bound: 42
263.07/268.02	c current bound: 42
263.81/268.55	c current bound: 42
264.14/269.08	c current bound: 42
264.91/269.62	c current bound: 42
265.20/270.16	c current bound: 42
265.92/270.69	c current bound: 42
266.28/271.23	c current bound: 42
267.00/271.76	c current bound: 42
267.36/272.29	c current bound: 42
268.11/272.83	c current bound: 42
268.42/273.38	c current bound: 42
269.21/273.91	c current bound: 42
269.49/274.45	c current bound: 42
270.20/274.98	c current bound: 42
270.80/275.51	c current bound: 42
271.29/276.05	c current bound: 42
271.63/276.58	c current bound: 42
272.42/277.11	c current bound: 42
272.69/277.65	c current bound: 42
273.23/278.18	c current bound: 42
274.01/278.71	c current bound: 42
274.29/279.24	c current bound: 42
275.08/279.81	c current bound: 42
275.34/280.36	c current bound: 42
276.16/280.90	c current bound: 42
276.43/281.43	c current bound: 42
276.96/281.96	c current bound: 42
277.51/282.49	c current bound: 42
278.03/283.17	c current bound: 42
278.83/283.70	c current bound: 42
279.10/284.23	c current bound: 42
279.64/284.77	c current bound: 42
280.42/285.30	c current bound: 42
280.70/285.83	c current bound: 42
281.24/286.36	c current bound: 42
281.76/286.89	c current bound: 42
282.29/287.43	c current bound: 42
282.83/287.96	c current bound: 42
283.36/288.58	c current bound: 42
284.15/289.11	c current bound: 42
284.42/289.64	c current bound: 42
284.97/290.17	c current bound: 42
285.75/290.71	c current bound: 42
286.04/291.24	c current bound: 42
286.56/291.77	c current bound: 42
287.36/292.30	c current bound: 42
287.64/292.84	c current bound: 42
288.17/293.37	c current bound: 42
288.95/293.90	c current bound: 42
289.24/294.43	c current bound: 42
289.77/294.97	c current bound: 42
290.56/295.50	c current bound: 42
291.07/296.03	c current bound: 42
291.38/296.56	c current bound: 42
292.16/297.10	c current bound: 42
292.44/297.63	c current bound: 42
293.18/298.30	c current bound: 42
293.49/298.83	c current bound: 42
294.03/299.36	c current bound: 42
294.82/299.90	c current bound: 42
295.31/300.44	c current bound: 42
295.63/300.97	c current bound: 42
296.42/301.50	c current bound: 42
296.69/302.03	c current bound: 42
297.42/302.57	c current bound: 42
298.01/303.10	c current bound: 42
298.49/303.74	c current bound: 42
298.83/304.28	c current bound: 42
299.61/304.81	c current bound: 42
299.88/305.34	c current bound: 42
300.59/305.88	c current bound: 42
301.20/306.41	c current bound: 42
301.69/306.95	c current bound: 42
302.02/307.48	c current bound: 42
302.80/308.02	c current bound: 42
303.09/308.55	c current bound: 42
303.79/309.09	c current bound: 42
304.15/309.62	c current bound: 42
304.89/310.15	c current bound: 42
305.23/310.69	c current bound: 42
305.99/311.22	c current bound: 42
306.29/311.76	c current bound: 42
306.84/312.29	c current bound: 42
307.36/312.82	c current bound: 42
308.10/313.48	c current bound: 42
308.67/314.02	c current bound: 42
309.17/314.55	c current bound: 42
309.50/315.08	c current bound: 42
310.29/315.62	c current bound: 42
310.58/316.17	c current bound: 42
311.38/316.71	c current bound: 42
311.66/317.24	c current bound: 42
312.19/317.77	c current bound: 42
312.98/318.30	c current bound: 42
313.52/318.91	c current bound: 42
313.80/319.44	c current bound: 42
314.34/319.98	c current bound: 42
315.14/320.51	c current bound: 42
315.40/321.04	c current bound: 42
315.94/321.58	c current bound: 42
316.73/322.11	c current bound: 42
317.01/322.64	c current bound: 42
317.55/323.17	c current bound: 42
318.33/323.70	c current bound: 42
318.61/324.23	c current bound: 42
319.14/324.77	c current bound: 42
319.95/325.30	c current bound: 42
320.22/325.84	c current bound: 42
320.75/326.37	c current bound: 42
321.55/326.90	c current bound: 42
321.82/327.43	c current bound: 42
322.36/327.96	c current bound: 42
322.89/328.64	c current bound: 42
323.42/329.17	c current bound: 42
324.21/329.70	c current bound: 42
324.49/330.24	c current bound: 42
325.02/330.77	c current bound: 42
325.81/331.31	c current bound: 42
326.10/331.84	c current bound: 42
326.64/332.37	c current bound: 42
327.42/332.91	c current bound: 42
327.90/333.44	c current bound: 42
328.49/334.11	c current bound: 42
328.76/334.64	c current bound: 42
329.29/335.17	c current bound: 42
330.08/335.70	c current bound: 42
330.37/336.24	c current bound: 42
330.89/336.77	c current bound: 42
331.69/337.30	c current bound: 42
332.16/337.84	c current bound: 42
332.49/338.37	c current bound: 42
333.28/338.91	c current bound: 42
333.56/339.44	c current bound: 42
334.28/339.97	c current bound: 42
334.87/340.51	c current bound: 42
335.37/341.04	c current bound: 42
335.70/341.57	c current bound: 42
336.49/342.11	c current bound: 42
336.75/342.64	c current bound: 42
337.47/343.17	c current bound: 42
337.84/343.84	c current bound: 42
338.53/344.37	c current bound: 42
339.15/344.90	c current bound: 42
339.64/345.44	c current bound: 42
339.96/345.97	c current bound: 42
340.76/346.50	c current bound: 42
341.03/347.04	c current bound: 42
341.75/347.57	c current bound: 42
342.35/348.10	c current bound: 42
342.85/348.64	c current bound: 42
343.16/349.24	c current bound: 42
343.96/349.82	c current bound: 42
344.24/350.36	c current bound: 42
344.93/350.89	c current bound: 42
345.30/351.42	c current bound: 42
346.04/351.96	c current bound: 42
346.37/352.49	c current bound: 42
347.14/353.02	c current bound: 42
347.45/353.56	c current bound: 42
347.98/354.09	c current bound: 42
348.51/354.62	c current bound: 42
349.03/355.15	c current bound: 42
349.56/355.69	c current bound: 42
350.11/356.22	c current bound: 42
350.64/356.75	c current bound: 42
351.17/357.28	c current bound: 42
351.71/357.82	c current bound: 42
352.24/358.35	c current bound: 42
352.78/359.03	c current bound: 42
353.31/359.56	c current bound: 42
353.85/360.09	c current bound: 42
354.39/360.62	c current bound: 42
354.91/361.15	c current bound: 42
355.45/361.69	c current bound: 42
355.99/362.22	c current bound: 42
356.51/362.75	c current bound: 42
357.07/363.29	c current bound: 42
357.59/363.82	c current bound: 42
358.12/364.47	c current bound: 42
358.91/365.00	c current bound: 42
359.19/365.53	c current bound: 42
359.72/366.06	c current bound: 42
360.25/366.59	c current bound: 42
360.78/367.13	c current bound: 42
361.32/367.66	c current bound: 42
361.85/368.19	c current bound: 42
362.38/368.73	c current bound: 42
362.92/369.26	c current bound: 42
363.45/369.79	c current bound: 42
363.99/370.32	c current bound: 42
364.70/370.86	c current bound: 42
365.05/371.39	c current bound: 42
365.81/371.92	c current bound: 42
366.12/372.45	c current bound: 42
366.82/372.99	c current bound: 42
367.18/373.52	c current bound: 42
367.96/374.20	c current bound: 42
368.26/374.73	c current bound: 42
368.79/375.26	c current bound: 42
369.59/375.80	c current bound: 42
370.07/376.33	c current bound: 42
370.39/376.86	c current bound: 42
371.18/377.40	c current bound: 42
371.46/377.93	c current bound: 42
372.16/378.47	c current bound: 42
372.78/379.00	c current bound: 42
373.31/379.60	c current bound: 42
373.59/380.14	c current bound: 42
374.29/380.67	c current bound: 42
374.91/381.20	c current bound: 42
375.41/381.74	c current bound: 42
375.72/382.27	c current bound: 42
376.52/382.81	c current bound: 42
376.80/383.34	c current bound: 42
377.51/383.88	c current bound: 42
378.11/384.41	c current bound: 42
378.60/384.94	c current bound: 42
378.94/385.48	c current bound: 42
379.72/386.01	c current bound: 42
380.00/386.54	c current bound: 42
380.54/387.07	c current bound: 42
381.31/387.60	c current bound: 42
381.60/388.14	c current bound: 42
382.13/388.67	c current bound: 42
382.88/389.35	c current bound: 42
383.20/389.88	c current bound: 42
383.99/390.41	c current bound: 42
384.27/390.95	c current bound: 42
384.81/391.48	c current bound: 42
385.60/392.01	c current bound: 42
385.89/392.55	c current bound: 42
386.41/393.08	c current bound: 42
387.19/393.61	c current bound: 42
387.48/394.16	c current bound: 42
388.03/394.74	c current bound: 42
388.58/395.27	c current bound: 42
389.36/395.80	c current bound: 42
389.63/396.34	c current bound: 42
390.16/396.87	c current bound: 42
390.95/397.40	c current bound: 42
391.23/397.93	c current bound: 42
391.77/398.46	c current bound: 42
392.31/398.99	c current bound: 42
392.82/399.53	c current bound: 42
393.37/400.06	c current bound: 42
394.16/400.60	c current bound: 42
394.44/401.13	c current bound: 42
394.97/401.66	c current bound: 42
395.51/402.19	c current bound: 42
396.26/402.73	c current bound: 42
396.57/403.26	c current bound: 42
397.36/403.80	c current bound: 42
397.89/404.50	c current bound: 42
398.17/405.03	c current bound: 42
398.70/405.57	c current bound: 42
399.49/406.10	c current bound: 42
399.77/406.63	c current bound: 42
400.30/407.16	c current bound: 42
400.84/407.70	c current bound: 42
401.60/408.23	c current bound: 42
401.91/408.76	c current bound: 42
402.71/409.48	c current bound: 42
403.23/410.01	c current bound: 42
403.50/410.54	c current bound: 42
404.04/411.07	c current bound: 42
404.83/411.60	c current bound: 42
405.11/412.14	c current bound: 42
405.64/412.67	c current bound: 42
406.43/413.20	c current bound: 42
406.92/413.74	c current bound: 42
407.25/414.27	c current bound: 42
408.05/414.80	c current bound: 42
408.32/415.33	c current bound: 42
409.03/415.87	c current bound: 42
409.64/416.40	c current bound: 42
410.14/416.94	c current bound: 42
410.46/417.47	c current bound: 42
411.25/418.01	c current bound: 42
411.53/418.56	c current bound: 42
412.23/419.09	c current bound: 42
412.61/419.76	c current bound: 42
413.29/420.29	c current bound: 42
413.67/420.83	c current bound: 42
414.41/421.36	c current bound: 42
414.74/421.89	c current bound: 42
415.50/422.43	c current bound: 42
415.81/422.96	c current bound: 42
416.48/423.50	c current bound: 42
416.87/424.03	c current bound: 42
417.60/424.56	c current bound: 42
418.19/425.21	c current bound: 42
418.68/425.74	c current bound: 42
419.01/426.28	c current bound: 42
419.80/426.81	c current bound: 42
420.06/427.34	c current bound: 42
420.77/427.88	c current bound: 42
421.39/428.41	c current bound: 42
421.87/428.94	c current bound: 42
422.19/429.48	c current bound: 42
422.98/430.01	c current bound: 42
423.26/430.54	c current bound: 42
423.78/431.07	c current bound: 42
424.58/431.61	c current bound: 42
424.85/432.14	c current bound: 42
425.39/432.67	c current bound: 42
426.17/433.20	c current bound: 42
426.45/433.74	c current bound: 42
426.98/434.27	c current bound: 42
427.78/434.87	c current bound: 42
428.32/435.40	c current bound: 42
428.58/435.93	c current bound: 42
429.13/436.46	c current bound: 42
429.66/436.99	c current bound: 42
430.20/437.53	c current bound: 42
430.73/438.06	c current bound: 42
431.25/438.59	c current bound: 42
431.80/439.12	c current bound: 42
432.32/439.65	c current bound: 42
432.86/440.19	c current bound: 42
433.39/440.72	c current bound: 42
434.12/441.25	c current bound: 42
434.45/441.79	c current bound: 42
435.22/442.32	c current bound: 42
435.51/442.85	c current bound: 42
436.22/443.39	c current bound: 42
436.58/443.92	c current bound: 42
437.31/444.46	c current bound: 42
437.66/445.13	c current bound: 42
438.18/445.66	c current bound: 42
438.98/446.20	c current bound: 42
439.47/446.73	c current bound: 42
439.79/447.26	c current bound: 42
440.58/447.80	c current bound: 42
440.86/448.33	c current bound: 42
441.58/448.86	c current bound: 42
442.18/449.40	c current bound: 42
442.68/449.93	c current bound: 42
443.24/450.51	c current bound: 42
443.74/451.05	c current bound: 42
444.07/451.58	c current bound: 42
444.84/452.11	c current bound: 42
445.14/452.64	c current bound: 42
445.82/453.18	c current bound: 42
446.45/453.71	c current bound: 42
446.94/454.24	c current bound: 42
447.52/454.84	c current bound: 42
448.00/455.37	c current bound: 42
448.59/455.90	c current bound: 42
449.09/456.43	c current bound: 42
449.39/456.96	c current bound: 42
449.94/457.49	c current bound: 42
450.46/458.03	c current bound: 42
451.00/458.56	c current bound: 42
451.53/459.09	c current bound: 42
452.06/459.63	c current bound: 42
452.85/460.30	c current bound: 42
453.35/460.84	c current bound: 42
453.66/461.37	c current bound: 42
454.20/461.90	c current bound: 42
454.73/462.43	c current bound: 42
455.27/462.97	c current bound: 42
456.06/463.50	c current bound: 42
456.33/464.03	c current bound: 42
456.87/464.58	c current bound: 42
457.42/465.12	c current bound: 42
457.96/465.75	c current bound: 42
458.49/466.28	c current bound: 42
459.27/466.81	c current bound: 42
459.55/467.35	c current bound: 42
460.09/467.88	c current bound: 42
460.88/468.41	c current bound: 42
461.15/468.95	c current bound: 42
461.69/469.48	c current bound: 42
462.48/470.01	c current bound: 42
462.75/470.55	c current bound: 42
463.30/471.08	c current bound: 42
464.08/471.62	c current bound: 42
464.36/472.15	c current bound: 42
464.90/472.68	c current bound: 42
465.42/473.22	c current bound: 42
465.95/473.75	c current bound: 42
466.50/474.29	c current bound: 42
467.02/474.82	c current bound: 42
467.83/475.50	c current bound: 42
468.09/476.04	c current bound: 42
468.64/476.57	c current bound: 42
469.42/477.10	c current bound: 42
469.70/477.64	c current bound: 42
470.24/478.17	c current bound: 42
471.02/478.71	c current bound: 42
471.30/479.24	c current bound: 42
471.82/479.77	c current bound: 42
472.62/480.31	c current bound: 42
472.90/480.95	c current bound: 42
473.43/481.49	c current bound: 42
473.97/482.02	c current bound: 42
474.49/482.56	c current bound: 42
475.04/483.09	c current bound: 42
475.56/483.62	c current bound: 42
476.28/484.16	c current bound: 42
476.63/484.69	c current bound: 42
477.40/485.22	c current bound: 42
477.70/485.75	c current bound: 42
478.41/486.29	c current bound: 42
478.76/486.82	c current bound: 42
479.51/487.35	c current bound: 42
479.83/487.89	c current bound: 42
480.63/488.42	c current bound: 42
480.91/488.95	c current bound: 42
481.61/489.48	c current bound: 42
482.22/490.01	c current bound: 42
482.75/490.71	c current bound: 42
483.05/491.25	c current bound: 42
483.74/491.78	c current bound: 42
484.36/492.31	c current bound: 42
484.85/492.84	c current bound: 42
485.17/493.38	c current bound: 42
485.97/493.91	c current bound: 42
486.24/494.44	c current bound: 42
486.95/494.97	c current bound: 42
487.56/495.51	c current bound: 42
488.06/496.05	c current bound: 42
488.38/496.58	c current bound: 42
489.16/497.12	c current bound: 42
489.44/497.65	c current bound: 42
489.97/498.18	c current bound: 42
490.76/498.71	c current bound: 42
491.04/499.25	c current bound: 42
491.58/499.78	c current bound: 42
492.11/500.32	c current bound: 42
492.65/500.85	c current bound: 42
493.18/501.39	c current bound: 42
493.72/501.92	c current bound: 42
494.26/502.46	c current bound: 42
494.79/502.99	c current bound: 42
495.33/503.53	c current bound: 42
495.87/504.06	c current bound: 42
496.39/504.59	c current bound: 42
496.92/505.13	c current bound: 42
497.45/505.83	c current bound: 42
497.98/506.36	c current bound: 42
498.51/506.89	c current bound: 42
499.05/507.43	c current bound: 42
499.58/507.96	c current bound: 42
500.36/508.50	c current bound: 42
500.66/509.03	c current bound: 42
501.18/509.57	c current bound: 42
501.96/510.10	c current bound: 42
502.50/510.80	c current bound: 42
502.78/511.33	c current bound: 42
503.32/511.86	c current bound: 42
504.10/512.40	c current bound: 42
504.38/512.93	c current bound: 42
504.92/513.47	c current bound: 42
505.71/514.00	c current bound: 42
505.99/514.53	c current bound: 42
506.51/515.06	c current bound: 42
507.31/515.60	c current bound: 42
507.57/516.28	c current bound: 42
508.37/516.81	c current bound: 42
508.65/517.35	c current bound: 42
509.17/517.88	c current bound: 42
509.96/518.41	c current bound: 42
510.25/518.95	c current bound: 42
510.79/519.48	c current bound: 42
511.55/520.02	c current bound: 42
511.86/520.55	c current bound: 42
512.39/521.09	c current bound: 42
512.92/521.62	c current bound: 42
513.46/522.16	c current bound: 42
513.99/522.69	c current bound: 42
514.52/523.22	c current bound: 42
515.06/523.76	c current bound: 42
515.59/524.29	c current bound: 42
516.34/524.83	c current bound: 42
516.66/525.36	c current bound: 42
517.44/526.01	c current bound: 42
517.72/526.55	c current bound: 42
518.26/527.08	c current bound: 42
519.03/527.61	c current bound: 42
519.52/528.15	c current bound: 42
519.86/528.68	c current bound: 42
520.65/529.21	c current bound: 42
520.93/529.74	c current bound: 42
521.64/530.28	c current bound: 42
522.25/530.81	c current bound: 42
522.79/531.41	c current bound: 42
523.06/531.94	c current bound: 42
523.79/532.47	c current bound: 42
524.39/533.00	c current bound: 42
524.88/533.53	c current bound: 42
525.19/534.07	c current bound: 42
525.88/534.60	c current bound: 42
526.25/535.14	c current bound: 42
526.98/535.67	c current bound: 42
527.59/536.20	c current bound: 42
528.07/536.73	c current bound: 42
528.40/537.27	c current bound: 42
528.93/537.80	c current bound: 42
529.47/538.33	c current bound: 42
530.00/538.87	c current bound: 42
530.79/539.40	c current bound: 42
531.07/539.93	c current bound: 42
531.60/540.48	c current bound: 42
532.38/541.13	c current bound: 42
532.69/541.66	c current bound: 42
533.21/542.19	c current bound: 42
533.75/542.73	c current bound: 42
534.29/543.26	c current bound: 42
534.82/543.79	c current bound: 42
535.35/544.33	c current bound: 42
535.90/544.86	c current bound: 42
536.43/545.40	c current bound: 42
536.97/545.93	c current bound: 42
537.49/546.53	c current bound: 42
538.02/547.06	c current bound: 42
538.55/547.59	c current bound: 42
539.09/548.13	c current bound: 42
539.62/548.66	c current bound: 42
540.41/549.20	c current bound: 42
540.69/549.73	c current bound: 42
541.21/550.26	c current bound: 42
542.01/550.80	c current bound: 42
542.28/551.33	c current bound: 42
542.82/551.86	c current bound: 42
543.61/552.40	c current bound: 42
543.88/552.93	c current bound: 42
544.43/553.46	c current bound: 42
544.96/554.00	c current bound: 42
545.71/554.53	c current bound: 42
546.04/555.06	c current bound: 42
546.72/555.59	c current bound: 42
547.10/556.29	c current bound: 42
547.62/556.83	c current bound: 42
548.17/557.36	c current bound: 42
548.69/557.89	c current bound: 42
549.22/558.42	c current bound: 42
549.95/558.96	c current bound: 42
550.30/559.49	c current bound: 42
551.04/560.02	c current bound: 42
551.36/560.55	c current bound: 42
552.15/561.26	c current bound: 42
552.42/561.80	c current bound: 42
552.96/562.33	c current bound: 42
553.50/562.87	c current bound: 42
554.29/563.40	c current bound: 42
554.57/563.93	c current bound: 42
555.10/564.47	c current bound: 42
555.89/565.00	c current bound: 42
556.38/565.53	c current bound: 42
556.71/566.09	c current bound: 42
557.50/566.62	c current bound: 42
557.79/567.15	c current bound: 42
558.50/567.68	c current bound: 42
559.10/568.21	c current bound: 42
559.60/568.75	c current bound: 42
559.94/569.28	c current bound: 42
560.71/569.81	c current bound: 42
560.99/570.34	c current bound: 42
561.70/570.88	c current bound: 42
562.06/571.53	c current bound: 42
562.79/572.06	c current bound: 42
563.37/572.60	c current bound: 42
563.88/573.13	c current bound: 42
564.19/573.66	c current bound: 42
564.90/574.19	c current bound: 42
565.26/574.73	c current bound: 42
565.99/575.26	c current bound: 42
566.59/575.80	c current bound: 42
567.08/576.33	c current bound: 42
567.40/576.98	c current bound: 42
568.19/577.51	c current bound: 42
568.45/578.04	c current bound: 42
569.18/578.58	c current bound: 42
569.78/579.11	c current bound: 42
570.27/579.64	c current bound: 42
570.61/580.17	c current bound: 42
571.39/580.70	c current bound: 42
571.66/581.24	c current bound: 42
572.20/581.77	c current bound: 42
572.99/582.30	c current bound: 42
573.26/582.83	c current bound: 42
573.81/583.37	c current bound: 42
574.59/583.90	c current bound: 42
574.87/584.44	c current bound: 42
575.39/584.97	c current bound: 42
576.19/585.51	c current bound: 42
576.48/586.05	c current bound: 42
577.01/586.74	c current bound: 42
577.56/587.27	c current bound: 42
578.35/587.81	c current bound: 42
578.61/588.34	c current bound: 42
579.16/588.88	c current bound: 42
579.95/589.41	c current bound: 42
580.22/589.95	c current bound: 42
580.76/590.48	c current bound: 42
581.29/591.02	c current bound: 42
581.82/591.55	c current bound: 42
582.36/592.16	c current bound: 42
582.89/592.69	c current bound: 42
583.43/593.22	c current bound: 42
583.96/593.76	c current bound: 42
584.50/594.29	c current bound: 42
585.03/594.85	c current bound: 42
585.57/595.39	c current bound: 42
586.09/595.92	c current bound: 42
586.63/596.47	c current bound: 42
587.43/597.00	c current bound: 42
587.72/597.54	c current bound: 42
588.25/598.07	c current bound: 42
589.03/598.60	c current bound: 42
589.31/599.14	c current bound: 42
589.84/599.67	c current bound: 42
590.64/600.20	c current bound: 42
591.13/600.74	c current bound: 42
591.46/601.27	c current bound: 42
592.24/601.90	c current bound: 42
592.53/602.43	c current bound: 42
593.05/602.97	c current bound: 42
593.84/603.50	c current bound: 42
594.33/604.03	c current bound: 42
594.66/604.56	c current bound: 42
595.45/605.10	c current bound: 42
595.73/605.63	c current bound: 42
596.45/606.16	c current bound: 42
597.06/606.70	c current bound: 42
597.56/607.23	c current bound: 42
597.86/607.76	c current bound: 42
598.55/608.30	c current bound: 42
598.92/608.83	c current bound: 42
599.65/609.36	c current bound: 42
599.99/609.89	c current bound: 42
600.75/610.43	c current bound: 42
601.06/610.96	c current bound: 42
601.60/611.49	c current bound: 42
602.12/612.18	c current bound: 42
602.91/612.72	c current bound: 42
603.20/613.25	c current bound: 42
603.90/613.78	c current bound: 42
604.50/614.32	c current bound: 42
604.99/614.85	c current bound: 42
605.33/615.38	c current bound: 42
606.11/615.91	c current bound: 42
606.40/616.45	c current bound: 42
606.94/616.98	c current bound: 42
607.70/617.52	c current bound: 42
608.00/618.05	c current bound: 42
608.52/618.58	c current bound: 42
609.30/619.12	c current bound: 42
609.60/619.65	c current bound: 42
610.13/620.18	c current bound: 42
610.66/620.72	c current bound: 42
611.18/621.25	c current bound: 42
611.73/621.79	c current bound: 42
612.26/622.32	c current bound: 42
612.80/622.85	c current bound: 42
613.33/623.39	c current bound: 42
613.86/623.92	c current bound: 42
614.40/624.45	c current bound: 42
614.93/624.99	c current bound: 42
615.46/625.52	c current bound: 42
616.18/626.05	c current bound: 42
616.53/626.58	c current bound: 42
617.28/627.24	c current bound: 42
617.61/627.77	c current bound: 42
618.38/628.31	c current bound: 42
618.67/628.84	c current bound: 42
619.21/629.38	c current bound: 42
619.98/629.91	c current bound: 42
620.47/630.44	c current bound: 42
620.80/630.98	c current bound: 42
621.58/631.51	c current bound: 42
621.86/632.04	c current bound: 42
622.41/632.67	c current bound: 42
623.19/633.20	c current bound: 42
623.68/633.74	c current bound: 42
624.02/634.27	c current bound: 42
624.79/634.80	c current bound: 42
625.07/635.34	c current bound: 42
625.78/635.87	c current bound: 42
626.39/636.40	c current bound: 42
626.89/636.94	c current bound: 42
627.21/637.47	c current bound: 42
627.89/638.00	c current bound: 42
628.28/638.54	c current bound: 42
629.02/639.07	c current bound: 42
629.60/639.61	c current bound: 42
630.11/640.15	c current bound: 42
630.43/640.68	c current bound: 42
631.21/641.21	c current bound: 42
631.50/641.75	c current bound: 42
632.27/642.42	c current bound: 42
632.56/642.96	c current bound: 42
633.26/643.49	c current bound: 42
633.63/644.02	c current bound: 42
634.36/644.56	c current bound: 42
634.69/645.09	c current bound: 42
635.47/645.62	c current bound: 42
635.76/646.16	c current bound: 42
636.30/646.69	c current bound: 42
636.83/647.23	c current bound: 42
637.55/647.87	c current bound: 42
638.16/648.41	c current bound: 42
638.65/648.94	c current bound: 42
638.98/649.47	c current bound: 42
639.76/650.00	c current bound: 42
640.04/650.54	c current bound: 42
640.58/651.07	c current bound: 42
641.36/651.60	c current bound: 42
641.65/652.13	c current bound: 42
642.17/652.67	c current bound: 42
642.97/653.20	c current bound: 42
643.24/653.74	c current bound: 42
643.77/654.27	c current bound: 42
644.57/654.80	c current bound: 42
644.85/655.34	c current bound: 42
645.38/655.87	c current bound: 42
646.17/656.40	c current bound: 42
646.44/656.94	c current bound: 42
646.98/657.63	c current bound: 42
647.51/658.16	c current bound: 42
648.05/658.69	c current bound: 42
648.58/659.23	c current bound: 42
649.11/659.76	c current bound: 42
649.65/660.29	c current bound: 42
650.18/660.83	c current bound: 42
650.72/661.36	c current bound: 42
651.26/661.89	c current bound: 42
651.79/662.43	c current bound: 42
652.33/662.97	c current bound: 42
653.11/663.51	c current bound: 42
653.39/664.04	c current bound: 42
653.92/664.58	c current bound: 42
654.71/665.11	c current bound: 42
655.20/665.65	c current bound: 42
655.53/666.18	c current bound: 42
656.31/666.71	c current bound: 42
656.59/667.24	c current bound: 42
657.30/667.78	c current bound: 42
657.90/668.31	c current bound: 42
658.40/668.84	c current bound: 42
658.72/669.37	c current bound: 42
659.52/669.92	c current bound: 42
659.80/670.45	c current bound: 42
660.51/670.98	c current bound: 42
660.87/671.52	c current bound: 42
661.62/672.07	c current bound: 42
661.95/672.76	c current bound: 42
662.75/673.30	c current bound: 42
663.02/673.83	c current bound: 42
663.76/674.36	c current bound: 42
664.09/674.89	c current bound: 42
664.86/675.43	c current bound: 42
665.17/675.96	c current bound: 42
665.85/676.49	c current bound: 42
666.24/677.03	c current bound: 42
666.97/677.56	c current bound: 42
667.29/678.14	c current bound: 42
668.02/678.67	c current bound: 42
668.62/679.20	c current bound: 42
669.12/679.73	c current bound: 42
669.43/680.27	c current bound: 42
670.23/680.80	c current bound: 42
670.50/681.33	c current bound: 42
671.03/681.86	c current bound: 42
671.56/682.39	c current bound: 42
672.09/682.93	c current bound: 42
672.63/683.46	c current bound: 42
673.43/684.00	c current bound: 42
673.70/684.53	c current bound: 42
674.23/685.06	c current bound: 42
675.01/685.60	c current bound: 42
675.30/686.13	c current bound: 42
675.83/686.67	c current bound: 42
676.61/687.20	c current bound: 42
676.90/687.85	c current bound: 42
677.44/688.38	c current bound: 42
677.96/688.92	c current bound: 42
678.49/689.45	c current bound: 42
679.04/689.99	c current bound: 42
679.57/690.52	c current bound: 42
680.10/691.06	c current bound: 42
680.63/691.59	c current bound: 42
681.16/692.12	c current bound: 42
681.70/692.65	c current bound: 42
682.49/693.31	c current bound: 42
682.76/693.84	c current bound: 42
683.30/694.38	c current bound: 42
684.09/694.91	c current bound: 42
684.36/695.45	c current bound: 42
684.91/695.98	c current bound: 42
685.68/696.52	c current bound: 42
685.98/697.05	c current bound: 42
686.51/697.58	c current bound: 42
687.28/698.11	c current bound: 42
687.76/698.65	c current bound: 42
688.10/699.18	c current bound: 42
688.88/699.71	c current bound: 42
689.16/700.24	c current bound: 42
689.88/700.78	c current bound: 42
690.48/701.31	c current bound: 42
690.98/701.84	c current bound: 42
691.31/702.38	c current bound: 42
692.05/703.06	c current bound: 42
692.37/703.59	c current bound: 42
693.13/704.13	c current bound: 42
693.44/704.66	c current bound: 42
694.12/705.19	c current bound: 42
694.50/705.72	c current bound: 42
695.24/706.25	c current bound: 42
695.56/706.79	c current bound: 42
696.35/707.32	c current bound: 42
696.63/707.85	c current bound: 42
697.32/708.49	c current bound: 42
697.70/709.03	c current bound: 42
698.43/709.56	c current bound: 42
698.76/710.09	c current bound: 42
699.53/710.63	c current bound: 42
699.84/711.16	c current bound: 42
700.53/711.69	c current bound: 42
700.90/712.22	c current bound: 42
701.63/712.75	c current bound: 42
701.98/713.29	c current bound: 42
702.75/713.82	c current bound: 42
703.05/714.35	c current bound: 42
703.56/714.88	c current bound: 42
704.36/715.41	c current bound: 42
704.65/715.95	c current bound: 42
705.17/716.49	c current bound: 42
705.70/717.02	c current bound: 42
706.24/717.55	c current bound: 42
706.97/718.25	c current bound: 42
707.31/718.79	c current bound: 42
708.10/719.32	c current bound: 42
708.38/719.85	c current bound: 42
708.90/720.38	c current bound: 42
709.69/720.92	c current bound: 42
709.98/721.45	c current bound: 42
710.50/721.98	c current bound: 42
711.30/722.52	c current bound: 42
711.83/723.22	c current bound: 42
712.31/723.75	c current bound: 42
712.65/724.29	c current bound: 42
713.43/724.82	c current bound: 42
713.72/725.35	c current bound: 42
714.25/725.89	c current bound: 42
714.79/726.42	c current bound: 42
715.33/726.95	c current bound: 42
715.87/727.49	c current bound: 42
716.40/728.02	c current bound: 42
716.93/728.56	c current bound: 42
717.46/729.09	c current bound: 42
718.00/729.62	c current bound: 42
718.52/730.16	c current bound: 42
719.07/730.69	c current bound: 42
719.59/731.22	c current bound: 42
720.13/731.76	c current bound: 42
720.66/732.29	c current bound: 42
721.19/732.83	c current bound: 42
721.72/733.53	c current bound: 42
722.25/734.06	c current bound: 42
722.80/734.59	c current bound: 42
723.34/735.13	c current bound: 42
723.86/735.66	c current bound: 42
724.66/736.20	c current bound: 42
724.93/736.73	c current bound: 42
725.47/737.27	c current bound: 42
726.27/737.80	c current bound: 42
726.79/738.52	c current bound: 42
727.06/739.05	c current bound: 42
727.60/739.59	c current bound: 42
728.13/740.14	c current bound: 42
728.69/740.67	c current bound: 42
729.47/741.20	c current bound: 42
729.74/741.74	c current bound: 42
730.29/742.27	c current bound: 42
731.07/742.81	c current bound: 42
731.35/743.49	c current bound: 42
731.89/744.03	c current bound: 42
732.42/744.56	c current bound: 42
732.95/745.09	c current bound: 42
733.49/745.62	c current bound: 42
734.02/746.16	c current bound: 42
734.55/746.69	c current bound: 42
735.09/747.22	c current bound: 42
735.62/747.76	c current bound: 42
736.15/748.29	c current bound: 42
736.68/748.97	c current bound: 42
737.48/749.51	c current bound: 42
737.76/750.04	c current bound: 42
738.28/750.57	c current bound: 42
739.07/751.11	c current bound: 42
739.36/751.64	c current bound: 42
739.88/752.17	c current bound: 42
740.67/752.71	c current bound: 42
740.95/753.24	c current bound: 42
741.49/753.78	c current bound: 42
742.27/754.31	c current bound: 42
742.55/754.85	c current bound: 42
743.09/755.38	c current bound: 42
743.63/755.92	c current bound: 42
744.16/756.46	c current bound: 42
744.68/756.99	c current bound: 42
745.23/757.52	c current bound: 42
745.95/758.06	c current bound: 42
746.55/758.71	c current bound: 42
746.83/759.24	c current bound: 42
747.37/759.78	c current bound: 42
748.14/760.31	c current bound: 42
748.43/760.87	c current bound: 42
749.24/761.40	c current bound: 42
749.51/761.94	c current bound: 42
750.05/762.47	c current bound: 42
750.83/763.00	c current bound: 42
751.33/763.54	c current bound: 42
751.64/764.15	c current bound: 42
752.18/764.68	c current bound: 42
752.70/765.22	c current bound: 42
753.44/765.75	c current bound: 42
753.77/766.28	c current bound: 42
754.56/766.81	c current bound: 42
754.85/767.35	c current bound: 42
755.55/767.88	c current bound: 42
756.16/768.41	c current bound: 42
756.65/768.94	c current bound: 42
756.97/769.48	c current bound: 42
757.77/770.01	c current bound: 42
758.05/770.54	c current bound: 42
758.75/771.07	c current bound: 42
759.37/771.61	c current bound: 42
759.87/772.14	c current bound: 42
760.18/772.67	c current bound: 42
760.97/773.21	c current bound: 42
761.51/773.90	c current bound: 42
761.99/774.43	c current bound: 42
762.30/774.97	c current bound: 42
762.99/775.50	c current bound: 42
763.37/776.03	c current bound: 42
764.09/776.56	c current bound: 42
764.70/777.10	c current bound: 42
765.18/777.63	c current bound: 42
765.50/778.16	c current bound: 42
766.03/778.70	c current bound: 42
766.56/779.23	c current bound: 42
767.11/779.77	c current bound: 42
767.90/780.30	c current bound: 42
768.18/780.83	c current bound: 42
768.71/781.37	c current bound: 42
769.51/781.90	c current bound: 42
769.78/782.44	c current bound: 42
770.32/782.97	c current bound: 42
771.11/783.50	c current bound: 42
771.39/784.04	c current bound: 42
771.92/784.57	c current bound: 42
772.71/785.11	c current bound: 42
772.99/785.64	c current bound: 42
773.51/786.17	c current bound: 42
774.30/786.71	c current bound: 42
774.59/787.24	c current bound: 42
775.12/787.78	c current bound: 42
775.91/788.31	c current bound: 42
776.38/788.97	c current bound: 42
776.97/789.51	c current bound: 42
777.25/790.04	c current bound: 42
777.78/790.57	c current bound: 42
778.57/791.11	c current bound: 42
778.84/791.64	c current bound: 42
779.37/792.17	c current bound: 42
780.16/792.70	c current bound: 42
780.66/793.24	c current bound: 42
780.98/793.77	c current bound: 42
781.51/794.38	c current bound: 42
782.30/794.91	c current bound: 42
782.78/795.44	c current bound: 42
783.11/795.98	c current bound: 42
783.90/796.51	c current bound: 42
784.19/797.04	c current bound: 42
784.89/797.58	c current bound: 42
785.51/798.11	c current bound: 42
785.99/798.64	c current bound: 42
786.32/799.17	c current bound: 42
787.12/799.71	c current bound: 42
787.40/800.24	c current bound: 42
788.11/800.77	c current bound: 42
788.72/801.31	c current bound: 42
789.22/801.84	c current bound: 42
789.54/802.37	c current bound: 42
790.32/802.91	c current bound: 42
790.61/803.44	c current bound: 42
791.35/804.09	c current bound: 42
791.68/804.63	c current bound: 42
792.40/805.16	c current bound: 42
792.74/805.69	c current bound: 42
793.51/806.22	c current bound: 42
793.81/806.76	c current bound: 42
794.35/807.29	c current bound: 42
794.89/807.82	c current bound: 42
795.42/808.36	c current bound: 42
795.96/808.89	c current bound: 42
796.66/809.57	c current bound: 42
797.28/810.10	c current bound: 42
797.78/810.64	c current bound: 42
798.09/811.17	c current bound: 42
798.63/811.70	c current bound: 42
799.16/812.23	c current bound: 42
799.69/812.77	c current bound: 42
800.50/813.30	c current bound: 42
800.77/813.84	c current bound: 42
801.31/814.37	c current bound: 42
801.83/814.92	c current bound: 42
802.40/815.46	c current bound: 42
802.94/815.99	c current bound: 42
803.47/816.53	c current bound: 42
804.00/817.06	c current bound: 42
804.54/817.59	c current bound: 42
805.07/818.13	c current bound: 42
805.61/818.67	c current bound: 42
806.14/819.32	c current bound: 42
806.68/819.86	c current bound: 42
807.21/820.39	c current bound: 42
807.74/820.92	c current bound: 42
808.29/821.46	c current bound: 42
808.82/821.99	c current bound: 42
809.35/822.52	c current bound: 42
809.88/823.06	c current bound: 42
810.42/823.59	c current bound: 42
810.94/824.13	c current bound: 42
811.48/824.78	c current bound: 42
812.01/825.32	c current bound: 42
812.55/825.85	c current bound: 42
813.08/826.38	c current bound: 42
813.85/826.92	c current bound: 42
814.16/827.45	c current bound: 42
814.67/827.99	c current bound: 42
815.21/828.52	c current bound: 42
815.75/829.05	c current bound: 42
816.28/829.58	c current bound: 42
816.80/830.12	c current bound: 42
817.54/830.65	c current bound: 42
817.89/831.18	c current bound: 42
818.66/831.72	c current bound: 42
818.94/832.25	c current bound: 42
819.65/832.78	c current bound: 42
820.28/833.32	c current bound: 42
820.75/833.85	c current bound: 42
821.09/834.55	c current bound: 42
821.63/835.09	c current bound: 42
822.15/835.62	c current bound: 42
822.88/836.15	c current bound: 42
823.22/836.68	c current bound: 42
823.99/837.22	c current bound: 42
824.29/837.75	c current bound: 42
825.00/838.28	c current bound: 42
825.60/838.81	c current bound: 42
826.15/839.50	c current bound: 42
826.42/840.04	c current bound: 42
826.96/840.57	c current bound: 42
827.75/841.11	c current bound: 42
828.23/841.64	c current bound: 42
828.56/842.17	c current bound: 42
829.36/842.70	c current bound: 42
829.62/843.24	c current bound: 42
830.34/843.77	c current bound: 42
830.95/844.30	c current bound: 42
831.45/844.83	c current bound: 42
831.76/845.37	c current bound: 42
832.44/845.90	c current bound: 42
832.82/846.43	c current bound: 42
833.55/846.96	c current bound: 42
833.88/847.49	c current bound: 42
834.66/848.03	c current bound: 42
834.96/848.56	c current bound: 42
835.49/849.09	c current bound: 42
836.02/849.76	c current bound: 42
836.72/850.29	c current bound: 42
837.09/850.82	c current bound: 42
837.83/851.36	c current bound: 42
838.16/851.89	c current bound: 42
838.94/852.42	c current bound: 42
839.23/852.96	c current bound: 42
839.77/853.49	c current bound: 42
840.30/854.03	c current bound: 42
840.84/854.56	c current bound: 42
841.36/855.15	c current bound: 42
841.90/855.68	c current bound: 42
842.67/856.22	c current bound: 42
842.97/856.75	c current bound: 42
843.50/857.28	c current bound: 42
844.27/857.82	c current bound: 42
844.56/858.35	c current bound: 42
845.10/858.88	c current bound: 42
845.62/859.42	c current bound: 42
846.17/859.95	c current bound: 42
846.70/860.48	c current bound: 42
847.24/861.02	c current bound: 42
847.76/861.55	c current bound: 42
848.30/862.08	c current bound: 42
848.83/862.62	c current bound: 42
849.36/863.16	c current bound: 42
849.91/863.69	c current bound: 42
850.45/864.23	c current bound: 42
851.24/864.88	c current bound: 42
851.75/865.41	c current bound: 42
852.04/865.95	c current bound: 42
852.58/866.48	c current bound: 42
853.11/867.02	c current bound: 42
853.65/867.55	c current bound: 42
854.17/868.09	c current bound: 42
854.71/868.62	c current bound: 42
855.44/869.15	c current bound: 42
855.79/869.68	c current bound: 42
856.30/870.27	c current bound: 42
857.09/870.81	c current bound: 42
857.59/871.34	c current bound: 42
857.91/871.87	c current bound: 42
858.70/872.40	c current bound: 42
858.96/872.93	c current bound: 42
859.70/873.47	c current bound: 42
860.31/874.00	c current bound: 42
860.79/874.53	c current bound: 42
861.11/875.06	c current bound: 42
861.80/875.60	c current bound: 42
862.17/876.13	c current bound: 42
862.92/876.66	c current bound: 42
863.24/877.19	c current bound: 42
864.01/877.73	c current bound: 42
864.31/878.26	c current bound: 42
864.84/878.79	c current bound: 42
865.39/879.32	c current bound: 42
866.11/879.98	c current bound: 42
866.69/880.51	c current bound: 42
867.19/881.05	c current bound: 42
867.52/881.58	c current bound: 42
868.30/882.11	c current bound: 42
868.58/882.64	c current bound: 42
869.11/883.18	c current bound: 42
869.91/883.71	c current bound: 42
870.19/884.24	c current bound: 42
870.72/884.78	c current bound: 42
871.52/885.41	c current bound: 42
871.80/885.94	c current bound: 42
872.35/886.48	c current bound: 42
873.13/887.01	c current bound: 42
873.42/887.54	c current bound: 42
873.94/888.08	c current bound: 42
874.72/888.61	c current bound: 42
875.01/889.14	c current bound: 42
875.53/889.68	c current bound: 42
876.32/890.21	c current bound: 42
876.62/890.74	c current bound: 42
877.14/891.28	c current bound: 42
877.93/891.81	c current bound: 42
878.20/892.34	c current bound: 42
878.73/892.88	c current bound: 42
879.51/893.41	c current bound: 42
879.79/893.94	c current bound: 42
880.34/894.48	c current bound: 42
880.86/895.14	c current bound: 42
881.40/895.68	c current bound: 42
882.18/896.21	c current bound: 42
882.46/896.74	c current bound: 42
883.00/897.27	c current bound: 42
883.79/897.81	c current bound: 42
884.07/898.34	c current bound: 42
884.61/898.87	c current bound: 42
885.39/899.41	c current bound: 42
885.88/899.94	c current bound: 42
886.20/900.53	c current bound: 42
886.73/901.07	c current bound: 42
887.52/901.60	c current bound: 42
888.03/902.13	c current bound: 42
888.33/902.67	c current bound: 42
889.12/903.20	c current bound: 42
889.39/903.73	c current bound: 42
890.13/904.26	c current bound: 42
890.74/904.84	c current bound: 42
891.18/905.37	c current bound: 42
891.79/905.91	c current bound: 42
892.28/906.44	c current bound: 42
892.61/906.97	c current bound: 42
893.40/907.51	c current bound: 42
893.67/908.04	c current bound: 42
894.39/908.57	c current bound: 42
895.00/909.11	c current bound: 42
895.49/909.64	c current bound: 42
896.07/910.31	c current bound: 42
896.57/910.84	c current bound: 42
896.88/911.37	c current bound: 42
897.68/911.90	c current bound: 42
897.94/912.43	c current bound: 42
898.67/912.97	c current bound: 42
899.28/913.50	c current bound: 42
899.78/914.03	c current bound: 42
900.09/914.57	c current bound: 42
900.62/915.10	c current bound: 42
901.16/915.75	c current bound: 42
901.87/916.28	c current bound: 42
902.48/916.81	c current bound: 42
902.98/917.35	c current bound: 42
903.28/917.88	c current bound: 42
904.09/918.41	c current bound: 42
904.37/918.94	c current bound: 42
904.90/919.48	c current bound: 42
905.68/920.01	c current bound: 42
905.97/920.54	c current bound: 42
906.50/921.08	c current bound: 42
907.29/921.61	c current bound: 42
907.57/922.15	c current bound: 42
908.10/922.68	c current bound: 42
908.87/923.21	c current bound: 42
909.16/923.75	c current bound: 42
909.69/924.28	c current bound: 42
910.47/924.81	c current bound: 42
911.02/925.50	c current bound: 42
911.30/926.03	c current bound: 42
911.83/926.57	c current bound: 42
912.61/927.10	c current bound: 42
912.89/927.64	c current bound: 42
913.42/928.17	c current bound: 42
914.21/928.71	c current bound: 42
914.50/929.24	c current bound: 42
915.04/929.78	c current bound: 42
915.82/930.31	c current bound: 42
916.11/930.86	c current bound: 42
916.63/931.39	c current bound: 42
917.17/931.92	c current bound: 42
917.70/932.46	c current bound: 42
918.23/932.99	c current bound: 42
918.77/933.53	c current bound: 42
919.30/934.06	c current bound: 42
919.84/934.59	c current bound: 42
920.59/935.13	c current bound: 42
920.91/935.66	c current bound: 42
921.60/936.19	c current bound: 42
921.98/936.72	c current bound: 42
922.72/937.26	c current bound: 42
923.04/937.79	c current bound: 42
923.82/938.32	c current bound: 42
924.12/938.85	c current bound: 42
924.81/939.39	c current bound: 42
925.17/939.92	c current bound: 42
925.91/940.57	c current bound: 42
926.51/941.10	c current bound: 42
927.00/941.64	c current bound: 42
927.31/942.17	c current bound: 42
928.10/942.70	c current bound: 42
928.38/943.23	c current bound: 42
929.09/943.77	c current bound: 42
929.70/944.30	c current bound: 42
930.20/944.84	c current bound: 42
930.52/945.37	c current bound: 42
931.23/945.97	c current bound: 42
931.83/946.50	c current bound: 42
932.33/947.03	c current bound: 42
932.66/947.57	c current bound: 42
933.18/948.10	c current bound: 42
933.72/948.63	c current bound: 42
934.25/949.16	c current bound: 42
935.04/949.70	c current bound: 42
935.33/950.23	c current bound: 42
935.85/950.76	c current bound: 42
936.39/951.29	c current bound: 42
936.91/951.83	c current bound: 42
937.46/952.36	c current bound: 42
937.97/952.89	c current bound: 42
938.51/953.42	c current bound: 42
939.05/953.96	c current bound: 42
939.58/954.49	c current bound: 42
940.12/955.03	c current bound: 42
940.65/955.67	c current bound: 42
941.43/956.20	c current bound: 42
941.72/956.74	c current bound: 42
942.25/957.28	c current bound: 42
943.03/957.81	c current bound: 42
943.31/958.34	c current bound: 42
943.84/958.88	c current bound: 42
944.63/959.41	c current bound: 42
944.91/959.94	c current bound: 42
945.44/960.48	c current bound: 42
945.98/961.07	c current bound: 42
946.52/961.62	c current bound: 42
947.05/962.15	c current bound: 42
947.59/962.69	c current bound: 42
948.13/963.22	c current bound: 42
948.85/963.75	c current bound: 42
949.19/964.29	c current bound: 42
949.96/964.82	c current bound: 42
950.26/965.35	c current bound: 42
950.98/965.88	c current bound: 42
951.57/966.41	c current bound: 42
952.07/966.95	c current bound: 42
952.39/967.48	c current bound: 42
953.18/968.01	c current bound: 42
953.47/968.55	c current bound: 42
954.16/969.08	c current bound: 42
954.78/969.61	c current bound: 42
955.27/970.15	c current bound: 42
955.60/970.79	c current bound: 42
956.36/971.33	c current bound: 42
956.67/971.86	c current bound: 42
957.36/972.39	c current bound: 42
957.74/972.93	c current bound: 42
958.46/973.46	c current bound: 42
958.81/973.99	c current bound: 42
959.56/974.52	c current bound: 42
959.87/975.06	c current bound: 42
960.41/975.59	c current bound: 42
960.95/976.12	c current bound: 42
961.48/976.65	c current bound: 42
962.00/977.19	c current bound: 42
962.54/977.72	c current bound: 42
963.06/978.26	c current bound: 42
963.61/978.79	c current bound: 42
964.14/979.32	c current bound: 42
964.67/979.86	c current bound: 42
965.21/980.39	c current bound: 42
965.74/980.92	c current bound: 42
966.28/981.46	c current bound: 42
966.80/981.99	c current bound: 42
967.33/982.53	c current bound: 42
967.88/983.06	c current bound: 42
968.66/983.60	c current bound: 42
968.93/984.15	c current bound: 42
969.48/984.69	c current bound: 42
970.03/985.22	c current bound: 42
970.81/985.88	c current bound: 42
971.33/986.41	c current bound: 42
971.63/986.95	c current bound: 42
972.15/987.48	c current bound: 42
972.69/988.02	c current bound: 42
973.22/988.55	c current bound: 42
973.76/989.09	c current bound: 42
974.28/989.62	c current bound: 42
975.02/990.15	c current bound: 42
975.36/990.69	c current bound: 42
975.89/991.32	c current bound: 42
976.42/991.85	c current bound: 42
976.95/992.39	c current bound: 42
977.49/992.92	c current bound: 42
978.21/993.45	c current bound: 42
978.56/993.98	c current bound: 42
979.35/994.51	c current bound: 42
979.62/995.05	c current bound: 42
980.33/995.58	c current bound: 42
980.94/996.11	c current bound: 42
981.44/996.65	c current bound: 42
981.76/997.18	c current bound: 42
982.55/997.71	c current bound: 42
982.83/998.24	c current bound: 42
983.54/998.78	c current bound: 42
984.16/999.31	c current bound: 42
984.65/999.84	c current bound: 42
984.97/1000.37	c current bound: 42
985.69/1001.07	c current bound: 42
986.30/1001.60	c current bound: 42
986.78/1002.13	c current bound: 42
987.11/1002.66	c current bound: 42
987.79/1003.20	c current bound: 42
988.17/1003.73	c current bound: 42
988.90/1004.26	c current bound: 42
989.24/1004.79	c current bound: 42
990.00/1005.33	c current bound: 42
990.31/1005.86	c current bound: 42
991.10/1006.40	c current bound: 42
991.36/1006.94	c current bound: 42
991.90/1007.47	c current bound: 42
992.68/1008.00	c current bound: 42
992.96/1008.53	c current bound: 42
993.49/1009.07	c current bound: 42
994.28/1009.60	c current bound: 42
994.56/1010.14	c current bound: 42
995.11/1010.67	c current bound: 42
995.89/1011.21	c current bound: 42
996.16/1011.74	c current bound: 42
996.70/1012.28	c current bound: 42
997.49/1012.81	c current bound: 42
997.77/1013.34	c current bound: 42
998.29/1013.87	c current bound: 42
999.07/1014.41	c current bound: 42
999.35/1014.94	c current bound: 42
999.89/1015.48	c current bound: 42
1000.42/1016.12	c current bound: 42
1000.96/1016.66	c current bound: 42
1001.49/1017.19	c current bound: 42
1002.03/1017.73	c current bound: 42
1002.57/1018.26	c current bound: 42
1003.36/1018.80	c current bound: 42
1003.64/1019.33	c current bound: 42
1004.16/1019.86	c current bound: 42
1004.69/1020.40	c current bound: 42
1005.46/1020.93	c current bound: 42
1005.77/1021.53	c current bound: 42
1006.29/1022.06	c current bound: 42
1007.09/1022.60	c current bound: 42
1007.59/1023.13	c current bound: 42
1007.90/1023.66	c current bound: 42
1008.59/1024.19	c current bound: 42
1008.97/1024.73	c current bound: 42
1009.69/1025.26	c current bound: 42
1010.02/1025.79	c current bound: 42
1010.80/1026.32	c current bound: 42
1011.11/1026.86	c current bound: 42
1011.80/1027.39	c current bound: 42
1012.18/1027.92	c current bound: 42
1012.90/1028.45	c current bound: 42
1013.24/1028.99	c current bound: 42
1014.01/1029.52	c current bound: 42
1014.32/1030.06	c current bound: 42
1014.83/1030.59	c current bound: 42
1015.38/1031.25	c current bound: 42
1016.10/1031.78	c current bound: 42
1016.70/1032.31	c current bound: 42
1017.19/1032.85	c current bound: 42
1017.52/1033.38	c current bound: 42
1018.31/1033.91	c current bound: 42
1018.58/1034.44	c current bound: 42
1019.12/1034.98	c current bound: 42
1019.91/1035.51	c current bound: 42
1020.19/1036.05	c current bound: 42
1020.73/1036.64	c current bound: 42
1021.27/1037.17	c current bound: 42
1022.06/1037.70	c current bound: 42
1022.33/1038.23	c current bound: 42
1022.86/1038.77	c current bound: 42
1023.66/1039.30	c current bound: 42
1023.94/1039.84	c current bound: 42
1024.47/1040.37	c current bound: 42
1025.25/1040.91	c current bound: 42
1025.53/1041.44	c current bound: 42
1026.06/1041.97	c current bound: 42
1026.85/1042.50	c current bound: 42
1027.14/1043.04	c current bound: 42
1027.68/1043.57	c current bound: 42
1028.46/1044.11	c current bound: 42
1028.74/1044.64	c current bound: 42
1029.28/1045.18	c current bound: 42
1030.06/1045.71	c current bound: 42
1030.61/1046.40	c current bound: 42
1030.88/1046.93	c current bound: 42
1031.41/1047.46	c current bound: 42
1031.95/1048.00	c current bound: 42
1032.48/1048.53	c current bound: 42
1033.03/1049.06	c current bound: 42
1033.80/1049.60	c current bound: 42
1034.08/1050.13	c current bound: 42
1034.62/1050.66	c current bound: 42
1035.40/1051.20	c current bound: 42
1035.67/1051.87	c current bound: 42
1036.48/1052.41	c current bound: 42
1036.76/1052.94	c current bound: 42
1037.29/1053.47	c current bound: 42
1038.07/1054.01	c current bound: 42
1038.35/1054.54	c current bound: 42
1038.89/1055.08	c current bound: 42
1039.67/1055.61	c current bound: 42
1040.16/1056.14	c current bound: 42
1040.50/1056.68	c current bound: 42
1041.27/1057.21	c current bound: 42
1041.56/1057.74	c current bound: 42
1042.26/1058.27	c current bound: 42
1042.88/1058.80	c current bound: 42
1043.37/1059.34	c current bound: 42
1043.70/1059.87	c current bound: 42
1044.48/1060.41	c current bound: 42
1044.76/1060.94	c current bound: 42
1045.50/1061.59	c current bound: 42
1045.82/1062.12	c current bound: 42
1046.56/1062.66	c current bound: 42
1046.89/1063.19	c current bound: 42
1047.66/1063.72	c current bound: 42
1047.96/1064.26	c current bound: 42
1048.65/1064.79	c current bound: 42
1049.02/1065.32	c current bound: 42
1049.77/1065.85	c current bound: 42
1050.09/1066.39	c current bound: 42
1050.80/1066.99	c current bound: 42
1051.17/1067.52	c current bound: 42
1051.90/1068.05	c current bound: 42
1052.23/1068.58	c current bound: 42
1053.02/1069.12	c current bound: 42
1053.30/1069.65	c current bound: 42
1053.83/1070.18	c current bound: 42
1054.61/1070.71	c current bound: 42
1054.91/1071.24	c current bound: 42
1055.44/1071.78	c current bound: 42
1056.21/1072.31	c current bound: 42
1056.50/1072.85	c current bound: 42
1057.04/1073.38	c current bound: 42
1057.81/1073.91	c current bound: 42
1058.10/1074.46	c current bound: 42
1058.66/1074.99	c current bound: 42
1059.18/1075.53	c current bound: 42
1059.72/1076.06	c current bound: 42
1060.25/1076.73	c current bound: 42
1060.77/1077.27	c current bound: 42
1061.56/1077.80	c current bound: 42
1061.85/1078.34	c current bound: 42
1062.39/1078.88	c current bound: 42
1063.17/1079.41	c current bound: 42
1063.45/1079.94	c current bound: 42
1063.99/1080.48	c current bound: 42
1064.78/1081.01	c current bound: 42
1065.06/1081.55	c current bound: 42
1065.58/1082.19	c current bound: 42
1066.13/1082.72	c current bound: 42
1066.65/1083.25	c current bound: 42
1067.18/1083.79	c current bound: 42
1067.72/1084.32	c current bound: 42
1068.26/1084.86	c current bound: 42
1068.79/1085.39	c current bound: 42
1069.34/1085.92	c current bound: 42
1069.86/1086.46	c current bound: 42
1070.65/1087.00	c current bound: 42
1070.93/1087.53	c current bound: 42
1071.47/1088.07	c current bound: 42
1072.26/1088.60	c current bound: 42
1072.74/1089.13	c current bound: 42
1073.07/1089.67	c current bound: 42
1073.85/1090.20	c current bound: 42
1074.13/1090.73	c current bound: 42
1074.85/1091.26	c current bound: 42
1075.46/1091.87	c current bound: 42
1075.99/1092.40	c current bound: 42
1076.27/1092.94	c current bound: 42
1076.98/1093.47	c current bound: 42
1077.59/1094.00	c current bound: 42
1078.09/1094.53	c current bound: 42
1078.41/1095.07	c current bound: 42
1079.09/1095.60	c current bound: 42
1079.47/1096.13	c current bound: 42
1080.18/1096.66	c current bound: 42
1080.80/1097.20	c current bound: 42
1081.29/1097.73	c current bound: 42
1081.61/1098.26	c current bound: 42
1082.15/1098.80	c current bound: 42
1082.69/1099.33	c current bound: 42
1083.21/1099.86	c current bound: 42
1084.01/1100.41	c current bound: 42
1084.30/1100.94	c current bound: 42
1084.81/1101.47	c current bound: 42
1085.57/1102.14	c current bound: 42
1085.89/1102.68	c current bound: 42
1086.68/1103.21	c current bound: 42
1086.97/1103.74	c current bound: 42
1087.49/1104.27	c current bound: 42
1088.28/1104.80	c current bound: 42
1088.56/1105.34	c current bound: 42
1089.10/1105.87	c current bound: 42
1089.89/1106.40	c current bound: 42
1090.16/1106.94	c current bound: 42
1090.69/1107.52	c current bound: 42
1091.22/1108.06	c current bound: 42
1091.76/1108.59	c current bound: 42
1092.30/1109.13	c current bound: 42
1092.84/1109.66	c current bound: 42
1093.36/1110.19	c current bound: 42
1093.89/1110.73	c current bound: 42
1094.43/1111.26	c current bound: 42
1094.96/1111.79	c current bound: 42
1095.49/1112.33	c current bound: 42
1096.02/1112.86	c current bound: 42
1096.81/1113.40	c current bound: 42
1097.09/1113.93	c current bound: 42
1097.62/1114.47	c current bound: 42
1098.41/1115.00	c current bound: 42
1098.91/1115.53	c current bound: 42
1099.23/1116.06	c current bound: 42
1100.02/1116.60	c current bound: 42
1100.30/1117.26	c current bound: 42
1101.10/1117.80	c current bound: 42
1101.38/1118.33	c current bound: 42
1101.90/1118.86	c current bound: 42
1102.71/1119.40	c current bound: 42
1103.20/1119.93	c current bound: 42
1103.51/1120.47	c current bound: 42
1104.29/1121.00	c current bound: 42
1104.58/1121.53	c current bound: 42
1105.30/1122.07	c current bound: 42
1105.91/1122.70	c current bound: 42
1106.39/1123.23	c current bound: 42
1106.72/1123.76	c current bound: 42
1107.51/1124.30	c current bound: 42
1107.78/1124.83	c current bound: 42
1108.51/1125.36	c current bound: 42
1108.86/1125.90	c current bound: 42
1109.62/1126.43	c current bound: 42
1109.93/1126.96	c current bound: 42
1110.62/1127.49	c current bound: 42
1110.99/1128.03	c current bound: 42
1111.71/1128.56	c current bound: 42
1112.07/1129.09	c current bound: 42
1112.60/1129.63	c current bound: 42
1113.13/1130.16	c current bound: 42
1113.67/1130.69	c current bound: 42
1114.20/1131.22	c current bound: 42
1114.74/1131.76	c current bound: 42
1115.28/1132.43	c current bound: 42
1116.01/1132.96	c current bound: 42
1116.60/1133.50	c current bound: 42
1117.10/1134.03	c current bound: 42
1117.41/1134.56	c current bound: 42
1117.94/1135.09	c current bound: 42
1118.48/1135.63	c current bound: 42
1119.01/1136.16	c current bound: 42
1119.55/1136.69	c current bound: 42
1120.09/1137.22	c current bound: 42
1120.62/1137.92	c current bound: 42
1121.35/1138.46	c current bound: 42
1121.96/1139.00	c current bound: 42
1122.46/1139.53	c current bound: 42
1122.77/1140.07	c current bound: 42
1123.31/1140.60	c current bound: 42
1123.84/1141.13	c current bound: 42
1124.39/1141.67	c current bound: 42
1125.18/1142.20	c current bound: 42
1125.44/1142.73	c current bound: 42
1125.99/1143.27	c current bound: 42
1126.77/1143.80	c current bound: 42
1127.05/1144.33	c current bound: 42
1127.58/1144.87	c current bound: 42
1128.37/1145.40	c current bound: 42
1128.66/1145.93	c current bound: 42
1129.19/1146.47	c current bound: 42
1129.98/1147.00	c current bound: 42
1130.25/1147.68	c current bound: 42
1131.03/1148.21	c current bound: 42
1131.32/1148.75	c current bound: 42
1131.85/1149.28	c current bound: 42
1132.38/1149.83	c current bound: 42
1132.93/1150.37	c current bound: 42
1133.71/1150.90	c current bound: 42
1133.99/1151.43	c current bound: 42
1134.53/1151.97	c current bound: 42
1135.31/1152.58	c current bound: 42
1135.85/1153.11	c current bound: 42
1136.12/1153.64	c current bound: 42
1136.64/1154.18	c current bound: 42
1137.43/1154.71	c current bound: 42
1137.72/1155.25	c current bound: 42
1138.26/1155.78	c current bound: 42
1138.79/1156.32	c current bound: 42
1139.33/1156.85	c current bound: 42
1139.87/1157.39	c current bound: 42
1140.39/1157.92	c current bound: 42
1141.13/1158.45	c current bound: 42
1141.47/1158.99	c current bound: 42
1142.24/1159.52	c current bound: 42
1142.54/1160.05	c current bound: 42
1143.24/1160.58	c current bound: 42
1143.85/1161.12	c current bound: 42
1144.35/1161.66	c current bound: 42
1144.68/1162.19	c current bound: 42
1145.43/1162.84	c current bound: 42
1145.74/1163.37	c current bound: 42
1146.54/1163.90	c current bound: 42
1146.81/1164.44	c current bound: 42
1147.53/1164.97	c current bound: 42
1148.14/1165.50	c current bound: 42
1148.64/1166.04	c current bound: 42
1148.95/1166.57	c current bound: 42
1149.64/1167.10	c current bound: 42
1150.03/1167.63	c current bound: 42
1150.81/1168.31	c current bound: 42
1151.10/1168.84	c current bound: 42
1151.81/1169.37	c current bound: 42
1152.41/1169.91	c current bound: 42
1152.91/1170.44	c current bound: 42
1153.21/1170.97	c current bound: 42
1154.01/1171.51	c current bound: 42
1154.30/1172.04	c current bound: 42
1155.00/1172.57	c current bound: 42
1155.62/1173.10	c current bound: 42
1156.12/1173.64	c current bound: 42
1156.43/1174.17	c current bound: 42
1157.23/1174.70	c current bound: 42
1157.49/1175.24	c current bound: 42
1158.03/1175.77	c current bound: 42
1158.83/1176.30	c current bound: 42
1159.11/1176.83	c current bound: 42
1159.64/1177.37	c current bound: 42
1160.43/1178.01	c current bound: 42
1160.72/1178.55	c current bound: 42
1161.25/1179.08	c current bound: 42
1162.02/1179.61	c current bound: 42
1162.31/1180.14	c current bound: 42
1162.84/1180.68	c current bound: 42
1163.38/1181.22	c current bound: 42
1163.92/1181.75	c current bound: 42
1164.45/1182.29	c current bound: 42
1164.98/1182.82	c current bound: 42
1165.52/1183.43	c current bound: 42
1166.05/1183.97	c current bound: 42
1166.84/1184.50	c current bound: 42
1167.14/1185.03	c current bound: 42
1167.65/1185.57	c current bound: 42
1168.44/1186.10	c current bound: 42
1168.73/1186.64	c current bound: 42
1169.25/1187.17	c current bound: 42
1170.05/1187.70	c current bound: 42
1170.31/1188.24	c current bound: 42
1170.86/1188.77	c current bound: 42
1171.65/1189.30	c current bound: 42
1171.92/1189.84	c current bound: 42
1172.46/1190.37	c current bound: 42
1173.26/1190.91	c current bound: 42
1173.73/1191.44	c current bound: 42
1174.07/1191.97	c current bound: 42
1174.85/1192.50	c current bound: 42
1175.12/1193.17	c current bound: 42
1175.92/1193.70	c current bound: 42
1176.19/1194.24	c current bound: 42
1176.73/1194.77	c current bound: 42
1177.51/1195.31	c current bound: 42
1178.00/1195.84	c current bound: 42
1178.32/1196.37	c current bound: 42
1179.13/1196.90	c current bound: 42
1179.39/1197.44	c current bound: 42
1180.12/1197.97	c current bound: 42
1180.47/1198.57	c current bound: 42
1181.27/1199.10	c current bound: 42
1181.54/1199.63	c current bound: 42
1182.26/1200.17	c current bound: 42
1182.86/1200.70	c current bound: 42
1183.37/1201.23	c current bound: 42
1183.68/1201.77	c current bound: 42
1184.37/1202.30	c current bound: 42
1184.74/1202.83	c current bound: 42
1185.47/1203.36	c current bound: 42
1186.06/1203.90	c current bound: 42
1186.56/1204.43	c current bound: 42
1186.88/1204.96	c current bound: 42
1187.42/1205.49	c current bound: 42
1187.95/1206.03	c current bound: 42
1188.48/1206.56	c current bound: 42
1189.01/1207.10	c current bound: 42
1189.56/1207.63	c current bound: 42
1190.34/1208.31	c current bound: 42
1190.83/1208.84	c current bound: 42
1191.15/1209.38	c current bound: 42
1191.94/1209.91	c current bound: 42
1192.22/1210.45	c current bound: 42
1192.76/1210.98	c current bound: 42
1193.55/1211.51	c current bound: 42
1193.82/1212.04	c current bound: 42
1194.37/1212.58	c current bound: 42
1195.15/1213.11	c current bound: 42
1195.42/1213.76	c current bound: 42
1195.95/1214.30	c current bound: 42
1196.48/1214.83	c current bound: 42
1197.02/1215.36	c current bound: 42
1197.56/1215.89	c current bound: 42
1198.08/1216.42	c current bound: 42
1198.63/1216.96	c current bound: 42
1199.16/1217.49	c current bound: 42
1199.69/1218.03	c current bound: 42
1200.23/1218.56	c current bound: 42
1201.01/1219.10	c current bound: 42
1201.29/1219.63	c current bound: 42
1201.82/1220.16	c current bound: 42
1202.61/1220.70	c current bound: 42
1202.89/1221.23	c current bound: 42
1203.42/1221.76	c current bound: 42
1204.22/1222.30	c current bound: 42
1204.49/1222.83	c current bound: 42
1205.26/1223.51	c current bound: 42
1205.56/1224.04	c current bound: 42
1206.10/1224.58	c current bound: 42
1206.87/1225.11	c current bound: 42
1207.16/1225.64	c current bound: 42
1207.69/1226.18	c current bound: 42
1208.46/1226.71	c current bound: 42
1208.77/1227.25	c current bound: 42
1209.29/1227.78	c current bound: 42
1210.07/1228.31	c current bound: 42
1210.62/1229.00	c current bound: 42
1210.88/1229.53	c current bound: 42
1211.43/1230.07	c current bound: 42
1212.21/1230.60	c current bound: 42
1212.48/1231.13	c current bound: 42
1213.03/1231.67	c current bound: 42
1213.81/1232.20	c current bound: 42
1214.09/1232.73	c current bound: 42
1214.62/1233.27	c current bound: 42
1215.42/1233.80	c current bound: 42
1215.91/1234.33	c current bound: 42
1216.22/1234.86	c current bound: 42
1217.03/1235.40	c current bound: 42
1217.29/1235.93	c current bound: 42
1218.02/1236.46	c current bound: 42
1218.36/1236.99	c current bound: 42
1219.11/1237.53	c current bound: 42
1219.42/1238.06	c current bound: 42
1220.18/1238.73	c current bound: 42
1220.49/1239.26	c current bound: 42
1221.20/1239.79	c current bound: 42
1221.56/1240.33	c current bound: 42
1222.28/1240.88	c current bound: 42
1222.89/1241.41	c current bound: 42
1223.38/1241.95	c current bound: 42
1223.71/1242.48	c current bound: 42
1224.50/1243.01	c current bound: 42
1224.77/1243.54	c current bound: 42
1225.47/1244.10	c current bound: 42
1225.85/1244.63	c current bound: 42
1226.57/1245.16	c current bound: 42
1226.91/1245.69	c current bound: 42
1227.67/1246.23	c current bound: 42
1227.98/1246.76	c current bound: 42
1228.52/1247.29	c current bound: 42
1229.05/1247.83	c current bound: 42
1229.58/1248.36	c current bound: 42
1230.11/1248.89	c current bound: 42
1230.64/1249.42	c current bound: 42
1231.18/1249.96	c current bound: 42
1231.71/1250.49	c current bound: 42
1232.26/1251.03	c current bound: 42
1232.78/1251.56	c current bound: 42
1233.31/1252.09	c current bound: 42
1233.84/1252.63	c current bound: 42
1234.39/1253.16	c current bound: 42
1234.91/1253.85	c current bound: 42
1235.46/1254.38	c current bound: 42
1236.23/1254.91	c current bound: 42
1236.52/1255.45	c current bound: 42
1237.05/1255.98	c current bound: 42
1237.82/1256.52	c current bound: 42
1238.12/1257.05	c current bound: 42
1238.64/1257.58	c current bound: 42
1239.18/1258.12	c current bound: 42
1239.71/1258.65	c current bound: 42
1240.24/1259.19	c current bound: 42
1240.79/1259.73	c current bound: 42
1241.32/1260.27	c current bound: 42
1242.12/1260.81	c current bound: 42
1242.40/1261.34	c current bound: 42
1242.94/1261.87	c current bound: 42
1243.72/1262.41	c current bound: 42
1244.21/1262.94	c current bound: 42
1244.54/1263.47	c current bound: 42
1245.33/1264.00	c current bound: 42
1245.60/1264.54	c current bound: 42
1246.33/1265.07	c current bound: 42
1246.94/1265.60	c current bound: 42
1247.41/1266.13	c current bound: 42
1247.74/1266.67	c current bound: 42
1248.42/1267.20	c current bound: 42
1248.81/1267.73	c current bound: 42
1249.53/1268.26	c current bound: 42
1250.12/1268.89	c current bound: 42
1250.64/1269.43	c current bound: 42
1250.93/1269.96	c current bound: 42
1251.64/1270.49	c current bound: 42
1252.00/1271.02	c current bound: 42
1252.73/1271.56	c current bound: 42
1253.07/1272.09	c current bound: 42
1253.86/1272.62	c current bound: 42
1254.14/1273.15	c current bound: 42
1254.68/1273.69	c current bound: 42
1255.20/1274.22	c current bound: 42
1255.74/1274.75	c current bound: 42
1256.27/1275.29	c current bound: 42
1256.80/1275.82	c current bound: 42
1257.33/1276.36	c current bound: 42
1257.88/1276.89	c current bound: 42
1258.39/1277.44	c current bound: 42
1258.95/1277.97	c current bound: 42
1259.74/1278.50	c current bound: 42
1260.02/1279.16	c current bound: 42
1260.55/1279.69	c current bound: 42
1261.08/1280.23	c current bound: 42
1261.62/1280.76	c current bound: 42
1262.15/1281.29	c current bound: 42
1262.68/1281.83	c current bound: 42
1263.23/1282.36	c current bound: 42
1264.01/1282.90	c current bound: 42
1264.29/1283.43	c current bound: 42
1264.83/1283.96	c current bound: 42
1265.36/1284.55	c current bound: 42
1265.90/1285.09	c current bound: 42
1266.44/1285.62	c current bound: 42
1266.97/1286.15	c current bound: 42
1267.50/1286.69	c current bound: 42
1268.04/1287.22	c current bound: 42
1268.57/1287.75	c current bound: 42
1269.11/1288.29	c current bound: 42
1269.64/1288.82	c current bound: 42
1270.37/1289.35	c current bound: 42
1270.71/1289.89	c current bound: 42
1271.48/1290.42	c current bound: 42
1271.78/1290.95	c current bound: 42
1272.49/1291.48	c current bound: 42
1273.08/1292.02	c current bound: 42
1273.59/1292.55	c current bound: 42
1273.91/1293.08	c current bound: 42
1274.69/1293.61	c current bound: 42
1274.97/1294.26	c current bound: 42
1275.67/1294.79	c current bound: 42
1276.04/1295.33	c current bound: 42
1276.77/1295.86	c current bound: 42
1277.11/1296.39	c current bound: 42
1277.88/1296.92	c current bound: 42
1278.18/1297.46	c current bound: 42
1278.87/1297.99	c current bound: 42
1279.25/1298.53	c current bound: 42
1279.99/1299.06	c current bound: 42
1280.32/1299.59	c current bound: 42
1281.09/1300.13	c current bound: 42
1281.39/1300.66	c current bound: 42
1281.92/1301.19	c current bound: 42
1282.46/1301.72	c current bound: 42
1282.99/1302.26	c current bound: 42
1283.53/1302.79	c current bound: 42
1284.07/1303.32	c current bound: 42
1284.59/1303.86	c current bound: 42
1285.14/1304.39	c current bound: 42
1285.67/1304.93	c current bound: 42
1286.20/1305.46	c current bound: 42
1286.99/1306.00	c current bound: 42
1287.26/1306.53	c current bound: 42
1287.80/1307.06	c current bound: 42
1288.58/1307.60	c current bound: 42
1288.87/1308.13	c current bound: 42
1289.39/1308.67	c current bound: 42
1289.93/1309.37	c current bound: 42
1290.72/1309.91	c current bound: 42
1290.99/1310.44	c current bound: 42
1291.53/1310.98	c current bound: 42
1292.31/1311.51	c current bound: 42
1292.59/1312.04	c current bound: 42
1293.13/1312.58	c current bound: 42
1293.90/1313.11	c current bound: 42
1294.20/1313.65	c current bound: 42
1294.73/1314.33	c current bound: 42
1295.26/1314.87	c current bound: 42
1296.06/1315.40	c current bound: 42
1296.33/1315.94	c current bound: 42
1296.86/1316.47	c current bound: 42
1297.65/1317.00	c current bound: 42
1297.92/1317.54	c current bound: 42
1298.46/1318.07	c current bound: 42
1299.25/1318.60	c current bound: 42
1299.54/1319.14	c current bound: 42
1300.32/1319.81	c current bound: 42
1300.60/1320.34	c current bound: 42
1301.14/1320.88	c current bound: 42
1301.66/1321.44	c current bound: 42
1302.24/1321.97	c current bound: 42
1303.01/1322.51	c current bound: 42
1303.30/1323.04	c current bound: 42
1303.82/1323.58	c current bound: 42
1304.62/1324.11	c current bound: 42
1304.91/1324.65	c current bound: 42
1305.43/1325.18	c current bound: 42
1306.20/1325.72	c current bound: 42
1306.50/1326.25	c current bound: 42
1307.03/1326.79	c current bound: 42
1307.56/1327.32	c current bound: 42
1308.28/1327.85	c current bound: 42
1308.63/1328.39	c current bound: 42
1309.39/1328.92	c current bound: 42
1309.71/1329.57	c current bound: 42
1310.51/1330.10	c current bound: 42
1310.77/1330.64	c current bound: 42
1311.32/1331.17	c current bound: 42
1312.09/1331.71	c current bound: 42
1312.58/1332.24	c current bound: 42
1312.91/1332.77	c current bound: 42
1313.70/1333.31	c current bound: 42
1313.98/1333.84	c current bound: 42
1314.69/1334.37	c current bound: 42
1315.04/1335.04	c current bound: 42
1315.58/1335.57	c current bound: 42
1316.37/1336.10	c current bound: 42
1316.86/1336.64	c current bound: 42
1317.18/1337.17	c current bound: 42
1317.96/1337.70	c current bound: 42
1318.25/1338.24	c current bound: 42
1318.96/1338.79	c current bound: 42
1319.33/1339.32	c current bound: 42
1320.08/1339.86	c current bound: 42
1320.41/1340.39	c current bound: 42
1321.19/1340.92	c current bound: 42
1321.48/1341.45	c current bound: 42
1322.18/1341.99	c current bound: 42
1322.54/1342.52	c current bound: 42
1323.28/1343.05	c current bound: 42
1323.61/1343.58	c current bound: 42
1324.39/1344.12	c current bound: 42
1324.68/1344.77	c current bound: 42
1325.46/1345.30	c current bound: 42
1325.74/1345.84	c current bound: 42
1326.46/1346.37	c current bound: 42
1327.07/1346.91	c current bound: 42
1327.56/1347.44	c current bound: 42
1327.88/1347.97	c current bound: 42
1328.67/1348.50	c current bound: 42
1328.94/1349.04	c current bound: 42
1329.48/1349.57	c current bound: 42
1330.01/1350.16	c current bound: 42
1330.54/1350.69	c current bound: 42
1331.08/1351.23	c current bound: 42
1331.62/1351.76	c current bound: 42
1332.15/1352.29	c current bound: 42
1332.68/1352.83	c current bound: 42
1333.23/1353.36	c current bound: 42
1333.75/1353.89	c current bound: 42
1334.29/1354.43	c current bound: 42
1334.83/1354.96	c current bound: 42
1335.34/1355.49	c current bound: 42
1335.88/1356.03	c current bound: 42
1336.42/1356.56	c current bound: 42
1337.22/1357.10	c current bound: 42
1337.48/1357.63	c current bound: 42
1338.03/1358.18	c current bound: 42
1338.58/1358.72	c current bound: 42
1339.11/1359.26	c current bound: 42
1339.90/1359.87	c current bound: 42
1340.44/1360.40	c current bound: 42
1340.71/1360.94	c current bound: 42
1341.24/1361.47	c current bound: 42
1342.04/1362.00	c current bound: 42
1342.32/1362.54	c current bound: 42
1342.84/1363.07	c current bound: 42
1343.65/1363.60	c current bound: 42
1344.11/1364.14	c current bound: 42
1344.45/1364.67	c current bound: 42
1345.23/1365.20	c current bound: 42
1345.52/1365.73	c current bound: 42
1346.23/1366.27	c current bound: 42
1346.84/1366.80	c current bound: 42
1347.34/1367.33	c current bound: 42
1347.66/1367.86	c current bound: 42
1348.34/1368.40	c current bound: 42
1348.72/1368.93	c current bound: 42
1349.45/1369.46	c current bound: 42
1350.04/1370.11	c current bound: 42
1350.54/1370.64	c current bound: 42
1350.85/1371.18	c current bound: 42
1351.65/1371.71	c current bound: 42
1351.93/1372.24	c current bound: 42
1352.64/1372.77	c current bound: 42
1353.24/1373.31	c current bound: 42
1353.75/1373.84	c current bound: 42
1354.06/1374.37	c current bound: 42
1354.85/1374.91	c current bound: 42
1355.38/1375.60	c current bound: 42
1355.88/1376.13	c current bound: 42
1356.19/1376.67	c current bound: 42
1356.98/1377.21	c current bound: 42
1357.27/1377.74	c current bound: 42
1357.98/1378.27	c current bound: 42
1358.59/1378.81	c current bound: 42
1359.08/1379.34	c current bound: 42
1359.40/1379.88	c current bound: 42
1360.19/1380.41	c current bound: 42
1360.47/1380.94	c current bound: 42
1361.00/1381.47	c current bound: 42
1361.80/1382.00	c current bound: 42
1362.07/1382.54	c current bound: 42
1362.61/1383.07	c current bound: 42
1363.39/1383.60	c current bound: 42
1363.67/1384.14	c current bound: 42
1364.21/1384.67	c current bound: 42
1364.75/1385.34	c current bound: 42
1365.27/1385.87	c current bound: 42
1366.07/1386.40	c current bound: 42
1366.35/1386.94	c current bound: 42
1366.88/1387.47	c current bound: 42
1367.68/1388.00	c current bound: 42
1367.96/1388.54	c current bound: 42
1368.49/1389.07	c current bound: 42
1369.27/1389.60	c current bound: 42
1369.56/1390.14	c current bound: 42
1370.09/1390.75	c current bound: 42
1370.63/1391.28	c current bound: 42
1371.15/1391.82	c current bound: 42
1371.70/1392.35	c current bound: 42
1372.23/1392.88	c current bound: 42
1372.76/1393.42	c current bound: 42
1373.30/1393.95	c current bound: 42
1373.84/1394.49	c current bound: 42
1374.37/1395.02	c current bound: 42
1374.91/1395.56	c current bound: 42
1375.43/1396.09	c current bound: 42
1375.97/1396.62	c current bound: 42
1376.70/1397.16	c current bound: 42
1377.04/1397.69	c current bound: 42
1377.79/1398.23	c current bound: 42
1378.12/1398.76	c current bound: 42
1378.89/1399.30	c current bound: 42
1379.18/1399.83	c current bound: 42
1379.96/1400.41	c current bound: 42
1380.25/1400.94	c current bound: 42
1380.96/1401.48	c current bound: 42
1381.57/1402.01	c current bound: 42
1382.07/1402.54	c current bound: 42
1382.38/1403.07	c current bound: 42
1383.17/1403.60	c current bound: 42
1383.44/1404.14	c current bound: 42
1384.16/1404.68	c current bound: 42
1384.76/1405.21	c current bound: 42
1385.30/1406.00	c current bound: 42
1385.59/1406.53	c current bound: 42
1386.11/1407.06	c current bound: 42
1386.66/1407.59	c current bound: 42
1387.40/1408.13	c current bound: 42
1387.72/1408.66	c current bound: 42
1388.40/1409.19	c current bound: 42
1388.78/1409.75	c current bound: 42
1389.57/1410.42	c current bound: 42
1389.87/1410.95	c current bound: 42
1390.40/1411.48	c current bound: 42
1390.94/1412.02	c current bound: 42
1391.67/1412.55	c current bound: 42
1392.02/1413.08	c current bound: 42
1392.77/1413.62	c current bound: 42
1393.08/1414.15	c current bound: 42
1393.78/1414.69	c current bound: 42
1394.15/1415.22	c current bound: 42
1394.93/1415.82	c current bound: 42
1395.21/1416.35	c current bound: 42
1395.91/1416.88	c current bound: 42
1396.52/1417.41	c current bound: 42
1397.01/1417.95	c current bound: 42
1397.33/1418.48	c current bound: 42
1398.13/1419.01	c current bound: 42
1398.41/1419.55	c current bound: 42
1399.10/1420.08	c current bound: 42
1399.72/1420.61	c current bound: 42
1400.21/1421.15	c current bound: 42
1400.54/1421.68	c current bound: 42
1401.33/1422.21	c current bound: 42
1401.61/1422.75	c current bound: 42
1402.14/1423.28	c current bound: 42
1402.93/1423.81	c current bound: 42
1403.21/1424.34	c current bound: 42
1404.00/1424.98	c current bound: 42
1404.53/1425.66	c current bound: 42
1404.81/1426.19	c current bound: 42
1405.57/1426.73	c current bound: 42
1405.88/1427.26	c current bound: 42
1406.58/1427.79	c current bound: 42
1406.96/1428.32	c current bound: 42
1407.67/1428.86	c current bound: 42
1408.02/1429.39	c current bound: 42
1408.79/1429.93	c current bound: 42
1409.09/1430.46	c current bound: 42
1409.88/1431.12	c current bound: 42
1410.16/1431.65	c current bound: 42
1410.86/1432.19	c current bound: 42
1411.23/1432.72	c current bound: 42
1411.97/1433.25	c current bound: 42
1412.29/1433.79	c current bound: 42
1413.07/1434.32	c current bound: 42
1413.37/1434.85	c current bound: 42
1413.90/1435.38	c current bound: 42
1414.67/1435.92	c current bound: 42
1414.96/1436.45	c current bound: 42
1415.50/1436.98	c current bound: 42
1416.27/1437.51	c current bound: 42
1416.57/1438.05	c current bound: 42
1417.09/1438.58	c current bound: 42
1417.88/1439.11	c current bound: 42
1418.17/1439.64	c current bound: 42
1418.70/1440.18	c current bound: 42
1419.24/1440.87	c current bound: 42
1420.03/1441.40	c current bound: 42
1420.30/1441.94	c current bound: 42
1420.83/1442.47	c current bound: 42
1421.63/1443.00	c current bound: 42
1421.89/1443.53	c current bound: 42
1422.43/1444.06	c current bound: 42
1422.96/1444.60	c current bound: 42
1423.49/1445.13	c current bound: 42
1424.03/1445.66	c current bound: 42
1424.55/1446.25	c current bound: 42
1425.10/1446.79	c current bound: 42
1425.63/1447.32	c current bound: 42
1426.16/1447.85	c current bound: 42
1426.69/1448.38	c current bound: 42
1427.22/1448.92	c current bound: 42
1427.75/1449.45	c current bound: 42
1428.30/1449.98	c current bound: 42
1429.08/1450.51	c current bound: 42
1429.56/1451.05	c current bound: 42
1429.89/1451.58	c current bound: 42
1430.69/1452.11	c current bound: 42
1430.97/1452.64	c current bound: 42
1431.69/1453.18	c current bound: 42
1432.29/1453.71	c current bound: 42
1432.78/1454.25	c current bound: 42
1433.10/1454.78	c current bound: 42
1433.90/1455.31	c current bound: 42
1434.19/1455.94	c current bound: 42
1434.87/1456.47	c current bound: 42
1435.50/1457.01	c current bound: 42
1435.98/1457.54	c current bound: 42
1436.32/1458.07	c current bound: 42
1437.11/1458.60	c current bound: 42
1437.38/1459.14	c current bound: 42
1438.09/1459.67	c current bound: 42
1438.71/1460.20	c current bound: 42
1439.21/1460.73	c current bound: 42
1439.51/1461.27	c current bound: 42
1440.33/1461.80	c current bound: 42
1440.58/1462.33	c current bound: 42
1441.12/1462.86	c current bound: 42
1441.92/1463.40	c current bound: 42
1442.19/1463.93	c current bound: 42
1442.72/1464.46	c current bound: 42
1443.26/1465.00	c current bound: 42
1443.78/1465.53	c current bound: 42
1444.32/1466.18	c current bound: 42
1445.10/1466.72	c current bound: 42
1445.39/1467.25	c current bound: 42
1445.92/1467.78	c current bound: 42
1446.71/1468.32	c current bound: 42
1446.99/1468.85	c current bound: 42
1447.53/1469.39	c current bound: 42
1448.05/1469.92	c current bound: 42
1448.60/1470.45	c current bound: 42
1449.12/1470.98	c current bound: 42
1449.67/1471.64	c current bound: 42
1450.21/1472.18	c current bound: 42
1450.73/1472.72	c current bound: 42
1451.27/1473.25	c current bound: 42
1451.81/1473.78	c current bound: 42
1452.33/1474.32	c current bound: 42
1452.87/1474.85	c current bound: 42
1453.41/1475.39	c current bound: 42
1453.94/1475.92	c current bound: 42
1454.47/1476.45	c current bound: 42
1455.01/1476.99	c current bound: 42
1455.53/1477.52	c current bound: 42
1456.07/1478.05	c current bound: 42
1456.60/1478.59	c current bound: 42
1457.14/1479.12	c current bound: 42
1457.87/1479.65	c current bound: 42
1458.21/1480.19	c current bound: 42
1458.96/1480.72	c current bound: 42
1459.28/1481.39	c current bound: 42
1459.80/1481.92	c current bound: 42
1460.34/1482.45	c current bound: 42
1460.88/1482.99	c current bound: 42
1461.40/1483.52	c current bound: 42
1462.14/1484.05	c current bound: 42
1462.48/1484.58	c current bound: 42
1463.23/1485.12	c current bound: 42
1463.54/1485.65	c current bound: 42
1464.24/1486.18	c current bound: 42
1464.60/1486.77	c current bound: 42
1465.40/1487.30	c current bound: 42
1465.67/1487.84	c current bound: 42
1466.39/1488.37	c current bound: 42
1466.99/1488.91	c current bound: 42
1467.48/1489.44	c current bound: 42
1467.81/1489.97	c current bound: 42
1468.60/1490.50	c current bound: 42
1468.88/1491.04	c current bound: 42
1469.60/1491.57	c current bound: 42
1470.20/1492.10	c current bound: 42
1470.69/1492.64	c current bound: 42
1471.01/1493.17	c current bound: 42
1471.80/1493.70	c current bound: 42
1472.08/1494.23	c current bound: 42
1472.61/1494.77	c current bound: 42
1473.41/1495.30	c current bound: 42
1473.68/1495.83	c current bound: 42
1474.47/1496.50	c current bound: 42
1474.97/1497.03	c current bound: 42
1475.29/1497.57	c current bound: 42
1475.81/1498.10	c current bound: 42
1476.35/1498.63	c current bound: 42
1476.90/1499.16	c current bound: 42
1477.67/1499.70	c current bound: 42
1477.96/1500.23	c current bound: 42
1478.49/1500.76	c current bound: 42
1479.03/1501.30	c current bound: 42
1479.57/1501.92	c current bound: 42
1480.09/1502.46	c current bound: 42
1480.63/1502.99	c current bound: 42
1481.17/1503.52	c current bound: 42
1481.71/1504.06	c current bound: 42
1482.24/1504.59	c current bound: 42
1482.77/1505.12	c current bound: 42
1483.30/1505.66	c current bound: 42
1483.84/1506.19	c current bound: 42
1484.37/1506.72	c current bound: 42
1484.91/1507.26	c current bound: 42
1485.44/1507.79	c current bound: 42
1485.98/1508.33	c current bound: 42
1486.52/1508.86	c current bound: 42
1487.04/1509.39	c current bound: 42
1487.57/1509.93	c current bound: 42
1488.11/1510.46	c current bound: 42
1488.64/1510.99	c current bound: 42
1489.37/1511.66	c current bound: 42
1489.72/1512.19	c current bound: 42
1490.23/1512.73	c current bound: 42
1490.77/1513.26	c current bound: 42
1491.57/1513.81	c current bound: 42
1491.86/1514.34	c current bound: 42
1492.39/1514.88	c current bound: 42
1493.18/1515.41	c current bound: 42
1493.66/1515.94	c current bound: 42
1494.00/1516.47	c current bound: 42
1494.53/1517.13	c current bound: 42
1495.06/1517.66	c current bound: 42
1495.60/1518.19	c current bound: 42
1496.12/1518.73	c current bound: 42
1496.66/1519.26	c current bound: 42
1497.19/1519.79	c current bound: 42
1497.95/1520.32	c current bound: 42
1498.26/1520.86	c current bound: 42
1498.95/1521.39	c current bound: 42
1499.33/1521.92	c current bound: 42
1500.05/1522.45	c current bound: 42
1500.39/1522.99	c current bound: 42
1501.18/1523.52	c current bound: 42
1501.47/1524.05	c current bound: 42
1502.18/1524.59	c current bound: 42
1502.53/1525.12	c current bound: 42
1503.27/1525.65	c current bound: 42
1503.60/1526.18	c current bound: 42
1504.34/1526.85	c current bound: 42
1504.66/1527.38	c current bound: 42
1505.46/1527.91	c current bound: 42
1505.74/1528.45	c current bound: 42
1506.44/1528.98	c current bound: 42
1507.06/1529.51	c current bound: 42
1507.55/1530.04	c current bound: 42
1507.87/1530.57	c current bound: 42
1508.65/1531.11	c current bound: 42
1508.94/1531.64	c current bound: 42
1509.68/1532.24	c current bound: 42
1510.01/1532.78	c current bound: 42
1510.80/1533.31	c current bound: 42
1511.08/1533.84	c current bound: 42
1511.61/1534.37	c current bound: 42
1512.40/1534.90	c current bound: 42
1512.67/1535.44	c current bound: 42
1513.20/1535.97	c current bound: 42
1514.01/1536.51	c current bound: 42
1514.28/1537.04	c current bound: 42
1514.81/1537.57	c current bound: 42
1515.61/1538.11	c current bound: 42
1515.89/1538.64	c current bound: 42
1516.42/1539.17	c current bound: 42
1517.20/1539.71	c current bound: 42
1517.49/1540.24	c current bound: 42
1518.01/1540.78	c current bound: 42
1518.79/1541.31	c current bound: 42
1519.09/1541.98	c current bound: 42
1519.86/1542.51	c current bound: 42
1520.15/1543.05	c current bound: 42
1520.69/1543.58	c current bound: 42
1521.46/1544.11	c current bound: 42
1521.75/1544.65	c current bound: 42
1522.28/1545.18	c current bound: 42
1523.08/1545.71	c current bound: 42
1523.35/1546.25	c current bound: 42
1523.89/1546.78	c current bound: 42
1524.42/1547.45	c current bound: 42
1524.95/1547.98	c current bound: 42
1525.49/1548.52	c current bound: 42
1526.02/1549.06	c current bound: 42
1526.55/1549.59	c current bound: 42
1527.09/1550.12	c current bound: 42
1527.62/1550.65	c current bound: 42
1528.15/1551.19	c current bound: 42
1528.69/1551.73	c current bound: 42
1529.22/1552.26	c current bound: 42
1529.75/1552.79	c current bound: 42
1530.51/1553.32	c current bound: 42
1530.83/1553.86	c current bound: 42
1531.52/1554.39	c current bound: 42
1531.89/1554.92	c current bound: 42
1532.62/1555.45	c current bound: 42
1532.96/1555.99	c current bound: 42
1533.74/1556.52	c current bound: 42
1534.03/1557.16	c current bound: 42
1534.81/1557.70	c current bound: 42
1535.10/1558.23	c current bound: 42
1535.82/1558.76	c current bound: 42
1536.16/1559.29	c current bound: 42
1536.92/1559.83	c current bound: 42
1537.22/1560.36	c current bound: 42
1537.93/1560.89	c current bound: 42
1538.29/1561.42	c current bound: 42
1539.03/1561.95	c current bound: 42
1539.36/1562.49	c current bound: 42
1540.15/1563.02	c current bound: 42
1540.43/1563.55	c current bound: 42
1540.96/1564.08	c current bound: 42
1541.49/1564.64	c current bound: 42
1542.05/1565.17	c current bound: 42
1542.85/1565.70	c current bound: 42
1543.11/1566.23	c current bound: 42
1543.65/1566.77	c current bound: 42
1544.44/1567.41	c current bound: 42
1544.72/1567.95	c current bound: 42
1545.26/1568.48	c current bound: 42
1546.04/1569.01	c current bound: 42
1546.33/1569.54	c current bound: 42
1546.87/1570.08	c current bound: 42
1547.63/1570.61	c current bound: 42
1547.92/1571.14	c current bound: 42
1548.47/1571.68	c current bound: 42
1549.23/1572.21	c current bound: 42
1549.53/1572.74	c current bound: 42
1550.05/1573.28	c current bound: 42
1550.84/1573.81	c current bound: 42
1551.11/1574.34	c current bound: 42
1551.65/1574.87	c current bound: 42
1552.44/1575.41	c current bound: 42
1552.72/1575.94	c current bound: 42
1553.26/1576.47	c current bound: 42
1554.04/1577.01	c current bound: 42
1554.53/1577.54	c current bound: 42
1554.85/1578.07	c current bound: 42
1555.64/1578.60	c current bound: 42
1555.92/1579.14	c current bound: 42
1556.63/1579.67	c current bound: 42
1557.24/1580.20	c current bound: 42
1557.75/1580.73	c current bound: 42
1558.05/1581.27	c current bound: 42
1558.74/1581.80	c current bound: 42
1559.11/1582.47	c current bound: 42
1559.92/1583.00	c current bound: 42
1560.18/1583.53	c current bound: 42
1560.91/1584.06	c current bound: 42
1561.25/1584.60	c current bound: 42
1562.02/1585.13	c current bound: 42
1562.32/1585.66	c current bound: 42
1563.02/1586.19	c current bound: 42
1563.38/1586.72	c current bound: 42
1564.13/1587.25	c current bound: 42
1564.45/1587.84	c current bound: 42
1565.16/1588.37	c current bound: 42
1565.78/1588.90	c current bound: 42
1566.27/1589.44	c current bound: 42
1566.59/1589.97	c current bound: 42
1567.11/1590.50	c current bound: 42
1567.65/1591.04	c current bound: 42
1568.19/1591.57	c current bound: 42
1568.97/1592.10	c current bound: 42
1569.27/1592.63	c current bound: 42
1569.78/1593.17	c current bound: 42
1570.58/1593.70	c current bound: 42
1570.86/1594.24	c current bound: 42
1571.40/1594.77	c current bound: 42
1572.19/1595.31	c current bound: 42
1572.47/1595.84	c current bound: 42
1573.00/1596.37	c current bound: 42
1573.78/1596.91	c current bound: 42
1574.06/1597.59	c current bound: 42
1574.59/1598.13	c current bound: 42
1575.13/1598.66	c current bound: 42
1575.67/1599.19	c current bound: 42
1576.19/1599.73	c current bound: 42
1576.73/1600.26	c current bound: 42
1577.26/1600.79	c current bound: 42
1577.80/1601.33	c current bound: 42
1578.33/1601.86	c current bound: 42
1578.86/1602.39	c current bound: 42
1579.40/1602.95	c current bound: 42
1579.92/1603.48	c current bound: 42
1580.47/1604.02	c current bound: 42
1581.00/1604.55	c current bound: 42
1581.53/1605.09	c current bound: 42
1582.07/1605.62	c current bound: 42
1582.79/1606.15	c current bound: 42
1583.13/1606.68	c current bound: 42
1583.90/1607.22	c current bound: 42
1584.21/1607.75	c current bound: 42
1584.91/1608.28	c current bound: 42
1585.52/1608.82	c current bound: 42
1586.01/1609.35	c current bound: 42
1586.35/1609.88	c current bound: 42
1587.12/1610.41	c current bound: 42
1587.40/1610.95	c current bound: 42
1588.12/1611.48	c current bound: 42
1588.72/1612.01	c current bound: 42
1589.22/1612.69	c current bound: 42
1589.54/1613.22	c current bound: 42
1590.28/1613.75	c current bound: 42
1590.62/1614.29	c current bound: 42
1591.40/1614.82	c current bound: 42
1591.68/1615.35	c current bound: 42
1592.40/1615.88	c current bound: 42
1592.99/1616.42	c current bound: 42
1593.50/1616.95	c current bound: 42
1593.83/1617.49	c current bound: 42
1594.59/1618.14	c current bound: 42
1594.90/1618.68	c current bound: 42
1595.71/1619.21	c current bound: 42
1595.99/1619.75	c current bound: 42
1596.70/1620.28	c current bound: 42
1597.31/1620.81	c current bound: 42
1597.79/1621.35	c current bound: 42
1598.12/1621.88	c current bound: 42
1598.92/1622.41	c current bound: 42
1599.20/1622.94	c current bound: 42
1599.73/1623.48	c current bound: 42
1600.52/1624.01	c current bound: 42
1600.79/1624.55	c current bound: 42
1601.34/1625.09	c current bound: 42
1601.88/1625.62	c current bound: 42
1602.40/1626.15	c current bound: 42
1602.94/1626.69	c current bound: 42
1603.47/1627.22	c current bound: 42
1604.00/1627.88	c current bound: 42
1604.80/1628.41	c current bound: 42
1605.08/1628.94	c current bound: 42
1605.60/1629.48	c current bound: 42
1606.38/1630.01	c current bound: 42
1606.68/1630.55	c current bound: 42
1607.21/1631.08	c current bound: 42
1608.00/1631.61	c current bound: 42
1608.28/1632.14	c current bound: 42
1608.81/1632.68	c current bound: 42
1609.35/1633.27	c current bound: 42
1610.13/1633.80	c current bound: 42
1610.41/1634.34	c current bound: 42
1611.21/1634.93	c current bound: 42
1611.48/1635.47	c current bound: 42
1612.28/1636.00	c current bound: 42
1612.56/1636.53	c current bound: 42
1613.09/1637.07	c current bound: 42
1613.88/1637.60	c current bound: 42
1614.14/1638.14	c current bound: 42
1614.68/1638.67	c current bound: 42
1615.47/1639.20	c current bound: 42
1615.76/1639.73	c current bound: 42
1616.28/1640.27	c current bound: 42
1617.06/1640.80	c current bound: 42
1617.56/1641.33	c current bound: 42
1617.87/1641.87	c current bound: 42
1618.67/1642.40	c current bound: 42
1618.94/1643.07	c current bound: 42
1619.74/1643.60	c current bound: 42
1620.02/1644.13	c current bound: 42
1620.55/1644.67	c current bound: 42
1621.34/1645.20	c current bound: 42
1621.83/1645.73	c current bound: 42
1622.15/1646.27	c current bound: 42
1622.94/1646.80	c current bound: 42
1623.21/1647.33	c current bound: 42
1623.94/1647.86	c current bound: 42
1624.29/1648.45	c current bound: 42
1624.99/1648.99	c current bound: 42
1625.61/1649.52	c current bound: 42
1626.11/1650.05	c current bound: 42
1626.43/1650.58	c current bound: 42
1627.21/1651.11	c current bound: 42
1627.49/1651.65	c current bound: 42
1628.21/1652.18	c current bound: 42
1628.81/1652.71	c current bound: 42
1629.30/1653.25	c current bound: 42
1629.64/1653.78	c current bound: 42
1630.43/1654.31	c current bound: 42
1630.71/1654.85	c current bound: 42
1631.23/1655.38	c current bound: 42
1632.03/1655.91	c current bound: 42
1632.31/1656.45	c current bound: 42
1632.85/1656.98	c current bound: 42
1633.63/1657.51	c current bound: 42
1633.92/1658.17	c current bound: 42
1634.70/1658.71	c current bound: 42
1634.98/1659.24	c current bound: 42
1635.51/1659.77	c current bound: 42
1636.31/1660.30	c current bound: 42
1636.59/1660.84	c current bound: 42
1637.11/1661.37	c current bound: 42
1637.91/1661.90	c current bound: 42
1638.18/1662.44	c current bound: 42
1638.72/1662.97	c current bound: 42
1639.25/1663.62	c current bound: 42
1639.78/1664.15	c current bound: 42
1640.32/1664.69	c current bound: 42
1640.86/1665.22	c current bound: 42
1641.39/1665.75	c current bound: 42
1641.93/1666.29	c current bound: 42
1642.45/1666.82	c current bound: 42
1642.99/1667.35	c current bound: 42
1643.53/1667.89	c current bound: 42
1644.06/1668.42	c current bound: 42
1644.60/1668.96	c current bound: 42
1645.12/1669.49	c current bound: 42
1645.66/1670.02	c current bound: 42
1646.19/1670.55	c current bound: 42
1646.73/1671.09	c current bound: 42
1647.25/1671.62	c current bound: 42
1647.98/1672.15	c current bound: 42
1648.32/1672.69	c current bound: 42
1649.05/1673.35	c current bound: 42
1649.38/1673.88	c current bound: 42
1649.91/1674.42	c current bound: 42
1650.45/1674.95	c current bound: 42
1650.99/1675.49	c current bound: 42
1651.52/1676.02	c current bound: 42
1652.26/1676.55	c current bound: 42
1652.58/1677.08	c current bound: 42
1653.34/1677.62	c current bound: 42
1653.65/1678.15	c current bound: 42
1654.43/1678.80	c current bound: 42
1654.72/1679.33	c current bound: 42
1655.25/1679.87	c current bound: 42
1656.03/1680.40	c current bound: 42
1656.52/1680.93	c current bound: 42
1656.85/1681.46	c current bound: 42
1657.65/1682.01	c current bound: 42
1657.94/1682.54	c current bound: 42
1658.65/1683.07	c current bound: 42
1659.26/1683.60	c current bound: 42
1659.75/1684.14	c current bound: 42
1660.07/1684.67	c current bound: 42
1660.86/1685.21	c current bound: 42
1661.14/1685.74	c current bound: 42
1661.85/1686.27	c current bound: 42
1662.46/1686.80	c current bound: 42
1662.97/1687.34	c current bound: 42
1663.27/1687.87	c current bound: 42
1664.02/1688.56	c current bound: 42
1664.36/1689.09	c current bound: 42
1665.09/1689.63	c current bound: 42
1665.41/1690.16	c current bound: 42
1666.10/1690.69	c current bound: 42
1666.48/1691.23	c current bound: 42
1667.21/1691.77	c current bound: 42
1667.81/1692.30	c current bound: 42
1668.31/1692.83	c current bound: 42
1668.87/1693.54	c current bound: 42
1669.32/1694.07	c current bound: 42
1669.94/1694.61	c current bound: 42
1670.45/1695.14	c current bound: 42
1670.76/1695.67	c current bound: 42
1671.55/1696.20	c current bound: 42
1671.83/1696.74	c current bound: 42
1672.55/1697.27	c current bound: 42
1673.15/1697.80	c current bound: 42
1673.63/1698.33	c current bound: 42
1673.96/1698.87	c current bound: 42
1674.50/1699.40	c current bound: 42
1675.03/1699.93	c current bound: 42
1675.56/1700.46	c current bound: 42
1676.36/1701.00	c current bound: 42
1676.63/1701.53	c current bound: 42
1677.16/1702.07	c current bound: 42
1677.95/1702.60	c current bound: 42
1678.23/1703.14	c current bound: 42
1678.99/1703.83	c current bound: 42
1679.31/1704.36	c current bound: 42
1680.09/1704.91	c current bound: 42
1680.38/1705.45	c current bound: 42
1680.91/1705.98	c current bound: 42
1681.67/1706.51	c current bound: 42
1681.96/1707.04	c current bound: 42
1682.50/1707.58	c current bound: 42
1683.28/1708.11	c current bound: 42
1683.82/1708.81	c current bound: 42
1684.31/1709.34	c current bound: 42
1684.63/1709.88	c current bound: 42
1685.43/1710.41	c current bound: 42
1685.70/1710.95	c current bound: 42
1686.25/1711.48	c current bound: 42
1687.03/1712.01	c current bound: 42
1687.31/1712.55	c current bound: 42
1687.84/1713.08	c current bound: 42
1688.63/1713.61	c current bound: 42
1689.18/1714.30	c current bound: 42
1689.66/1714.83	c current bound: 42
1689.99/1715.37	c current bound: 42
1690.52/1715.90	c current bound: 42
1691.06/1716.43	c current bound: 42
1691.60/1716.97	c current bound: 42
1692.38/1717.50	c current bound: 42
1692.66/1718.03	c current bound: 42
1693.20/1718.57	c current bound: 42
1694.00/1719.10	c current bound: 42
1694.27/1719.64	c current bound: 42
1694.81/1720.17	c current bound: 42
1695.60/1720.71	c current bound: 42
1695.87/1721.24	c current bound: 42
1696.40/1721.78	c current bound: 42
1697.19/1722.31	c current bound: 42
1697.48/1722.84	c current bound: 42
1698.01/1723.38	c current bound: 42
1698.54/1724.04	c current bound: 42
1699.08/1724.57	c current bound: 42
1699.87/1725.11	c current bound: 42
1700.15/1725.64	c current bound: 42
1700.69/1726.18	c current bound: 42
1701.47/1726.71	c current bound: 42
1701.76/1727.24	c current bound: 42
1702.28/1727.78	c current bound: 42
1702.82/1728.32	c current bound: 42
1703.35/1728.85	c current bound: 42
1703.89/1729.46	c current bound: 42
1704.42/1729.99	c current bound: 42
1704.96/1730.53	c current bound: 42
1705.50/1731.07	c current bound: 42
1706.29/1731.60	c current bound: 42
1706.56/1732.13	c current bound: 42
1707.09/1732.67	c current bound: 42
1707.89/1733.20	c current bound: 42
1708.38/1733.74	c current bound: 42
1708.70/1734.27	c current bound: 42
1709.49/1734.81	c current bound: 42
1709.77/1735.34	c current bound: 42
1710.49/1735.87	c current bound: 42
1711.09/1736.41	c current bound: 42
1711.58/1736.94	c current bound: 42
1711.91/1737.47	c current bound: 42
1712.70/1738.00	c current bound: 42
1712.98/1738.54	c current bound: 42
1713.77/1739.21	c current bound: 42
1714.05/1739.74	c current bound: 42
1714.75/1740.27	c current bound: 42
1715.37/1740.80	c current bound: 42
1715.84/1741.36	c current bound: 42
1716.20/1741.89	c current bound: 42
1716.98/1742.42	c current bound: 42
1717.26/1742.95	c current bound: 42
1717.96/1743.48	c current bound: 42
1718.32/1744.02	c current bound: 42
1719.07/1744.65	c current bound: 42
1719.39/1745.19	c current bound: 42
1720.18/1745.72	c current bound: 42
1720.46/1746.25	c current bound: 42
1721.17/1746.79	c current bound: 42
1721.53/1747.32	c current bound: 42
1722.27/1747.85	c current bound: 42
1722.60/1748.38	c current bound: 42
1723.38/1748.92	c current bound: 42
1723.67/1749.45	c current bound: 42
1724.20/1749.98	c current bound: 42
1724.98/1750.52	c current bound: 42
1725.25/1751.05	c current bound: 42
1725.80/1751.58	c current bound: 42
1726.57/1752.11	c current bound: 42
1726.86/1752.64	c current bound: 42
1727.40/1753.17	c current bound: 42
1728.19/1753.71	c current bound: 42
1728.47/1754.39	c current bound: 42
1729.00/1754.93	c current bound: 42
1729.54/1755.46	c current bound: 42
1730.08/1755.99	c current bound: 42
1730.61/1756.52	c current bound: 42
1731.15/1757.06	c current bound: 42
1731.69/1757.59	c current bound: 42
1732.21/1758.12	c current bound: 42
1732.75/1758.65	c current bound: 42
1733.29/1759.19	c current bound: 42
1733.81/1759.87	c current bound: 42
1734.60/1760.40	c current bound: 42
1734.89/1760.94	c current bound: 42
1735.42/1761.47	c current bound: 42
1736.22/1762.01	c current bound: 42
1736.50/1762.54	c current bound: 42
1737.02/1763.07	c current bound: 42
1737.82/1763.60	c current bound: 42
1738.09/1764.13	c current bound: 42
1738.63/1764.67	c current bound: 42
1739.41/1765.20	c current bound: 42
1739.69/1765.73	c current bound: 42
1740.24/1766.26	c current bound: 42
1740.76/1766.79	c current bound: 42
1741.30/1767.33	c current bound: 42
1741.82/1767.86	c current bound: 42
1742.62/1768.40	c current bound: 42
1743.10/1768.93	c current bound: 42
1743.68/1769.60	c current bound: 42
1743.96/1770.14	c current bound: 42
1744.49/1770.67	c current bound: 42
1745.28/1771.20	c current bound: 42
1745.56/1771.73	c current bound: 42
1746.10/1772.27	c current bound: 42
1746.88/1772.80	c current bound: 42
1747.37/1773.33	c current bound: 42
1747.69/1773.87	c current bound: 42
1748.49/1774.40	c current bound: 42
1748.75/1775.07	c current bound: 42
1749.55/1775.60	c current bound: 42
1749.83/1776.14	c current bound: 42
1750.37/1776.67	c current bound: 42
1751.15/1777.20	c current bound: 42
1751.65/1777.73	c current bound: 42
1751.97/1778.27	c current bound: 42
1752.76/1778.80	c current bound: 42
1753.03/1779.33	c current bound: 42
1753.74/1779.87	c current bound: 42
1754.35/1780.40	c current bound: 42
1754.85/1780.93	c current bound: 42
1755.16/1781.46	c current bound: 42
1755.86/1782.00	c current bound: 42
1756.23/1782.53	c current bound: 42
1756.96/1783.06	c current bound: 42
1757.56/1783.60	c current bound: 42
1758.06/1784.13	c current bound: 42
1758.61/1784.80	c current bound: 42
1759.11/1785.34	c current bound: 42
1759.42/1785.87	c current bound: 42
1760.11/1786.40	c current bound: 42
1760.49/1786.93	c current bound: 42
1761.21/1787.47	c current bound: 42
1761.83/1788.00	c current bound: 42
1762.31/1788.53	c current bound: 42
1762.63/1789.06	c current bound: 42
1763.16/1789.59	c current bound: 42
1763.69/1790.25	c current bound: 42
1764.39/1790.78	c current bound: 42
1764.99/1791.32	c current bound: 42
1765.49/1791.85	c current bound: 42
1765.83/1792.38	c current bound: 42
1766.61/1792.91	c current bound: 42
1766.89/1793.45	c current bound: 42
1767.42/1793.98	c current bound: 42
1768.20/1794.51	c current bound: 42
1768.49/1795.04	c current bound: 42
1769.02/1795.58	c current bound: 42
1769.80/1796.11	c current bound: 42
1770.10/1796.65	c current bound: 42
1770.63/1797.18	c current bound: 42
1771.40/1797.71	c current bound: 42
1771.70/1798.25	c current bound: 42
1772.22/1798.78	c current bound: 42
1773.02/1799.32	c current bound: 42
1773.56/1800.01	c current bound: 42
1773.83/1800.54	c current bound: 42
1774.38/1801.07	c current bound: 42
1775.16/1801.61	c current bound: 42
1775.44/1802.14	c current bound: 42
1775.97/1802.67	c current bound: 42
1776.76/1803.21	c current bound: 42
1777.05/1803.74	c current bound: 42
1777.57/1804.28	c current bound: 42
1778.36/1804.81	c current bound: 42
1778.64/1805.67	c current bound: 42
1779.43/1806.20	c current bound: 42
1779.71/1806.74	c current bound: 42
1780.43/1807.27	c current bound: 42
1781.03/1807.80	c current bound: 42
1781.53/1808.33	c current bound: 42
1781.84/1808.87	c current bound: 42
1782.37/1809.40	c current bound: 42
1782.90/1810.06	c current bound: 42
1783.61/1810.59	c current bound: 42
1783.97/1811.12	c current bound: 42
1784.70/1811.65	c current bound: 42
1785.04/1812.19	c current bound: 42
1785.83/1812.72	c current bound: 42
1786.12/1813.25	c current bound: 42
1786.64/1813.78	c current bound: 42
1787.18/1814.32	c current bound: 42
1787.70/1814.85	c current bound: 42
1788.24/1815.49	c current bound: 42
1789.00/1816.03	c current bound: 42
1789.31/1816.56	c current bound: 42
1789.83/1817.09	c current bound: 42
1790.37/1817.62	c current bound: 42
1790.90/1818.15	c current bound: 42
1791.43/1818.69	c current bound: 42
1791.96/1819.22	c current bound: 42
1792.50/1819.75	c current bound: 42
1793.04/1820.29	c current bound: 42
1793.57/1820.82	c current bound: 42
1794.11/1821.35	c current bound: 42
1794.65/1821.88	c current bound: 42
1795.18/1822.42	c current bound: 42
1795.72/1822.95	c current bound: 42
1796.26/1823.48	c current bound: 42
1797.03/1824.02	c current bound: 42
1797.33/1824.55	c current bound: 42
1798.11/1825.21	c current bound: 42
1798.39/1825.74	c current bound: 42
1798.91/1826.27	c current bound: 42
1799.70/1826.81	c current bound: 42
1799.99/1827.34	c current bound: 42
1800.29/1827.40	./satsolver.sh: line 5: 31374 Terminated              ./glucose $1 > $2 2> /dev/null
1800.29/1827.40	c error: unexpected solver exit code
1800.29/1827.40	s UNKNOWN

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715875-1338217256/watcher-3715875-1338217256 -o /tmp/evaluation-result-3715875-1338217256/solver-3715875-1338217256 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715875-1338217256.wbo 415900271 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: 1.79 1.94 2.01 3/176 7712
/proc/meminfo: memFree=29742740/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0

[startup+0.076355 s]
/proc/loadavg: 1.79 1.94 2.01 3/176 7712
/proc/meminfo: memFree=29742740/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100302 s]
/proc/loadavg: 1.79 1.94 2.01 3/176 7712
/proc/meminfo: memFree=29742740/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300296 s]
/proc/loadavg: 1.79 1.94 2.01 3/176 7712
/proc/meminfo: memFree=29742740/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70015 s]
/proc/loadavg: 1.79 1.94 2.01 3/176 7712
/proc/meminfo: memFree=29742740/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 1.79 1.94 2.01 3/184 7720
/proc/meminfo: memFree=29539352/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=19720 CPUtime=0.6 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 5200 0 0 0 54 6 0 0 20 0 1 0 287849698 20193280 3764 33554432000 4194304 5990268 140736168533648 140736168526800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7714/statm: 4930 3764 153 439 0 4487 0
[pid=7717] ppid=7714 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7717/stat : 7717 (cp2_pre.sh) S 7714 7711 7669 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 287849759 9367552 277 33554432000 4194304 5064252 140735754971504 140735754970208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 2287 277 234 213 0 72 0
[pid=7718] ppid=7717 vsize=102044 CPUtime=0.87 cores=1,3,5,7
/proc/7718/stat : 7718 (coprocessor) R 7717 7711 7669 0 -1 4202496 17617 0 0 0 85 2 0 0 20 0 1 0 287849759 104493056 24464 33554432000 4194304 6586260 140735753594704 140735753590728 5599168 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/7718/statm: 25511 24464 191 584 0 24923 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 140060

[startup+3.10037 s]
/proc/loadavg: 1.79 1.94 2.01 4/184 7720
/proc/meminfo: memFree=29503504/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=19720 CPUtime=0.6 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 5200 0 0 0 54 6 0 0 20 0 1 0 287849698 20193280 3764 33554432000 4194304 5990268 140736168533648 140736168526800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7714/statm: 4930 3764 153 439 0 4487 0
[pid=7717] ppid=7714 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7717/stat : 7717 (cp2_pre.sh) S 7714 7711 7669 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 287849759 9367552 277 33554432000 4194304 5064252 140735754971504 140735754970208 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7717/statm: 2287 277 234 213 0 72 0
[pid=7718] ppid=7717 vsize=111036 CPUtime=2.47 cores=1,3,5,7
/proc/7718/stat : 7718 (coprocessor) R 7717 7711 7669 0 -1 4202496 19560 0 0 0 244 3 0 0 20 0 1 0 287849759 113700864 26594 33554432000 4194304 6586260 140735753594704 140735753590296 4406949 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/7718/statm: 27759 26594 196 584 0 27171 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 149052

[startup+6.30033 s]
/proc/loadavg: 1.80 1.94 2.01 2/184 7745
/proc/meminfo: memFree=29641416/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31452 CPUtime=5.57 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) R 7711 7711 7669 0 -1 4202496 15005 72963 0 0 74 30 391 62 20 0 1 0 287849698 32206848 6699 33554432000 4194304 5990268 140736168533648 140736168525632 5180875 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7714/statm: 7863 6699 177 439 0 7420 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 40600

[startup+12.7002 s]
/proc/loadavg: 1.82 1.94 2.01 3/184 7847
/proc/meminfo: memFree=29544772/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=11.67 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 51081 288279 0 0 124 38 826 179 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 40596

[startup+25.5004 s]
/proc/loadavg: 1.86 1.94 2.01 3/184 8015
/proc/meminfo: memFree=29534424/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=24.22 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) R 7711 7711 7669 0 -1 4202496 128306 717674 0 0 231 53 1723 415 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525632 5042551 0 0 4096 0 0 0 0 17 5 0 0 13 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 24.22
Current children cumulated vsize (KiB) 40596

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

[startup+44.1004 s]
/proc/loadavg: 1.90 1.94 2.01 3/184 8260
/proc/meminfo: memFree=29562092/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=42.4 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 241257 1339914 0 0 389 77 3033 741 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
[pid=8259] ppid=7714 vsize=0 CPUtime=0.22 cores=1,3,5,7
/proc/8259/stat : 8259 (satsolver.sh) Z 7714 7711 7669 0 -1 4202508 605 11261 0 0 0 0 20 2 20 0 1 0 287854085 0 0 33554432000 0 0 0 0 0 0 0 4100 65536 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8259/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 42.62
Current children cumulated vsize (KiB) 40596

[startup+44.2002 s]
/proc/loadavg: 1.90 1.94 2.01 3/184 8260
/proc/meminfo: memFree=29562092/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=42.62 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 241263 1351780 0 0 389 77 3053 743 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 42.62
Current children cumulated vsize (KiB) 40596
#
############


[startup+51.1004 s]
/proc/loadavg: 1.91 1.94 2.01 4/184 8344
/proc/meminfo: memFree=29537212/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=49.3 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 283884 1575680 0 0 449 85 3531 865 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 49.3
Current children cumulated vsize (KiB) 40596

[startup+102.307 s]
/proc/loadavg: 1.91 1.94 2.00 4/183 9012
/proc/meminfo: memFree=29556932/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=99.72 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 592116 3312788 0 0 879 149 7155 1789 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 33 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
[pid=9010] ppid=7714 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9010/stat : 9010 (cp2_post.sh) S 7714 7711 7669 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 287859906 9367552 266 33554432000 4194304 5064252 140734602500368 140734602498656 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9010/statm: 2287 266 225 213 0 72 0
[pid=9012] ppid=9010 vsize=28240 CPUtime=0.21 cores=1,3,5,7
/proc/9012/stat : 9012 (coprocessor) R 9010 7711 7669 0 -1 4202496 5547 0 0 0 16 5 0 0 20 0 1 0 287859906 28917760 5828 33554432000 4194304 6586260 140736104917376 140734602498680 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/9012/statm: 7060 5828 151 584 0 6472 0

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

/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1105.42
Current children cumulated vsize (KiB) 40596

[startup+1182.3 s]
/proc/loadavg: 1.88 1.92 1.96 3/184 22969
/proc/meminfo: memFree=29537420/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1164.73 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) R 7711 7711 7669 0 -1 4202496 7132590 39848620 0 0 10003 1484 83630 21356 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525632 4566802 0 0 4096 0 0 0 0 17 5 0 0 480 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1164.73
Current children cumulated vsize (KiB) 40596

[startup+1242.3 s]
/proc/loadavg: 1.86 1.90 1.95 4/184 23750
/proc/meminfo: memFree=29533888/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1223.71 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 7494411 41867879 0 0 10509 1558 87848 22456 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 521 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1223.71
Current children cumulated vsize (KiB) 40596

[startup+1302.3 s]
/proc/loadavg: 2.01 1.95 1.96 4/181 24537
/proc/meminfo: memFree=29556748/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1283.3 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 7861653 43907687 0 0 11021 1633 92085 23591 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 530 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1283.3
Current children cumulated vsize (KiB) 40596

[startup+1362.3 s]
/proc/loadavg: 1.93 1.94 1.95 4/183 25302
/proc/meminfo: memFree=29513584/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1342.32 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 8222349 45933769 0 0 11525 1706 96328 24673 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 560 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1342.32
Current children cumulated vsize (KiB) 40596

[startup+1422.31 s]
/proc/loadavg: 1.82 1.90 1.94 3/181 26090
/proc/meminfo: memFree=29570460/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1401.38 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 8586312 47953660 0 0 12034 1779 100566 25759 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 588 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1401.38
Current children cumulated vsize (KiB) 40596

[startup+1482.3 s]
/proc/loadavg: 1.96 1.92 1.94 3/183 26856
/proc/meminfo: memFree=29524432/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1460.34 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 8947008 49979551 0 0 12534 1857 104803 26840 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 619 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1460.34
Current children cumulated vsize (KiB) 40596

[startup+1542.3 s]
/proc/loadavg: 1.78 1.87 1.92 3/182 27641
/proc/meminfo: memFree=29539692/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1519.62 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 9310977 52019209 0 0 13042 1932 109061 27927 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 653 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1519.62
Current children cumulated vsize (KiB) 40596

[startup+1602.3 s]
/proc/loadavg: 1.92 1.89 1.92 3/184 28413
/proc/meminfo: memFree=29521504/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1578.86 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 9674946 54044168 0 0 13550 2006 113315 29015 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 671 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1578.86
Current children cumulated vsize (KiB) 40596

[startup+1662.3 s]
/proc/loadavg: 1.92 1.89 1.91 3/183 29197
/proc/meminfo: memFree=29544356/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1638.18 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 10038915 56084771 0 0 14058 2081 117573 30106 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 696 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1638.18
Current children cumulated vsize (KiB) 40596

[startup+1722.3 s]
/proc/loadavg: 2.07 1.93 1.92 3/183 29960
/proc/meminfo: memFree=29518240/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1697.19 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) R 7711 7711 7669 0 -1 4202496 10400678 58107665 0 0 14562 2154 121807 31196 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 4273870 0 0 4096 0 0 0 0 17 5 0 0 734 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1697.19
Current children cumulated vsize (KiB) 40596

[startup+1782.3 s]
/proc/loadavg: 2.13 1.98 1.94 4/184 30743
/proc/meminfo: memFree=29540660/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1756.23 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 10763574 60134675 0 0 15068 2229 126056 32270 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168524544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 781 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
Current children cumulated CPU time (s) 1756.23
Current children cumulated vsize (KiB) 40596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1827.4 s]
/proc/loadavg: 2.01 1.96 1.93 3/183 31374
/proc/meminfo: memFree=29646176/32873648 swapFree=7368/7368
[pid=7711] ppid=7708 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7711/stat : 7711 (npSolver-wbo-It) S 7708 7711 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287849698 9367552 275 33554432000 4194304 5064252 140736024070240 140736024069152 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7711/statm: 2287 275 233 213 0 72 0
[pid=7714] ppid=7711 vsize=31448 CPUtime=1800.29 cores=1,3,5,7
/proc/7714/stat : 7714 (npSolver-wbo) S 7711 7711 7669 0 -1 4202496 11035725 61647344 0 0 15448 2285 129222 33074 20 0 1 0 287849698 32202752 6699 33554432000 4194304 5990268 140736168533648 140736168525056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 803 0 0
/proc/7714/statm: 7862 6699 177 439 0 7419 0
[pid=31373] ppid=7714 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31373/stat : 31373 (satsolver.sh) S 7714 7711 7669 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288032436 9367552 267 33554432000 4194304 5064252 140735509913648 140735509912560 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31373/statm: 2287 267 226 213 0 72 0
[pid=31374] ppid=31373 vsize=27980 CPUtime=0 cores=1,3,5,7
/proc/31374/stat : 31374 (glucose) R 31373 7711 7669 0 -1 4202496 4372 0 0 0 0 0 0 0 20 0 1 0 288032437 28651520 4234 33554432000 4194304 5208918 140733957547888 140735509912584 4545337 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31374/statm: 6995 4238 70 248 0 6744 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 77724

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): 3.8147e-06
#  lost CPU user time (s): 3.8147e-06
#  lost CPU system time (s): 9.53674e-07

Real time (s): 1827.41
CPU time (s): 1800.34
CPU user time (s): 1446.72
CPU system time (s): 353.614
CPU usage (%): 98.5184
Max. virtual memory (cumulated for all children) (KiB): 158672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1446.72
system time used= 353.614
maximum resident set size= 115600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72688450
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64814200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1363743
involuntary context switches= 43348

runsolver used 2.90456 second user time and 8.99263 second system time

The end

Begin job on node149 at 2012-05-28 17:00:56
IDJOB=3715875
IDBENCH=79146
IDSOLVER=2297
FILE ID=node149/3715875-1338217256
RUNJOBID= node149-1338217256-7686
PBS_JOBID= 14624618
Free space on /tmp= 71696 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-3715875-1338217256/watcher-3715875-1338217256 -o /tmp/evaluation-result-3715875-1338217256/solver-3715875-1338217256 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715875-1338217256.wbo 415900271 HOME HOME

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

MD5SUM BENCH= c217e37672ee06a6aab331743e45a145
RANDOM SEED=415900271

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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	: 5438.55
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.145
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.145
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:       32873648 kB
MemFree:        29743532 kB
Buffers:          513268 kB
Cached:          1762948 kB
SwapCached:         2476 kB
Active:          1003684 kB
Inactive:        1286328 kB
Active(anon):       2172 kB
Inactive(anon):     9372 kB
Active(file):    1001512 kB
Inactive(file):  1276956 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:             18160 kB
Writeback:             0 kB
AnonPages:         14032 kB
Mapped:            13492 kB
Shmem:                96 kB
Slab:             700852 kB
SReclaimable:     143852 kB
SUnreclaim:       557000 kB
KernelStack:        1384 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     102984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node149 at 2012-05-28 17:31:23