Trace number 3753125

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.25 1842.32

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
MD5SUM7b7f899ec609c9207642e3bd82d991a6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark0.013997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints900
Number of soft constraints800
Number of constraints which are clauses800
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.03	c run usual solver
0.00/0.06	o 3642
0.00/0.06	c starting approximation
0.00/0.06	c factor = 2
0.00/0.06	c factor still to low - shrinking to 17.4816
0.00/0.06	c approx number of clauses: 1e+06
0.00/0.06	c current bound: 1821
0.00/0.69	c current bound: 1821
1.00/1.31	c current bound: 1821
1.62/1.94	c current bound: 1821
2.25/2.55	c current bound: 1821
2.88/3.18	c current bound: 1821
3.50/3.79	c current bound: 1821
4.37/4.41	c current bound: 1821
4.73/5.02	c current bound: 1821
5.57/5.65	c current bound: 1821
5.96/6.26	c current bound: 1821
6.57/6.86	c current bound: 1821
7.18/7.48	c current bound: 1821
7.79/8.09	c current bound: 1821
8.67/8.82	c current bound: 1821
9.01/9.43	c current bound: 1821
9.83/10.04	c current bound: 1821
10.22/10.65	c current bound: 1821
10.85/11.26	c current bound: 1821
11.46/11.87	c current bound: 1821
12.07/12.48	c current bound: 1821
12.68/13.10	c current bound: 1821
13.30/13.72	c current bound: 1821
14.15/14.33	c current bound: 1821
14.53/14.94	c current bound: 1821
15.35/15.57	c current bound: 1821
15.77/16.18	c current bound: 1821
16.40/16.79	c current bound: 1821
17.00/17.39	c current bound: 1821
17.88/18.00	c current bound: 1821
18.49/18.92	c current bound: 1821
18.85/19.53	c current bound: 1821
19.45/20.13	c current bound: 1821
20.06/20.74	c current bound: 1821
20.68/21.35	c current bound: 1821
21.48/21.96	c current bound: 1821
21.88/22.57	c current bound: 1821
22.68/23.18	c current bound: 1821
23.38/23.80	c current bound: 1821
23.72/24.41	c current bound: 1821
24.34/25.01	c current bound: 1821
24.94/25.62	c current bound: 1821
25.54/26.23	c current bound: 1821
26.16/26.85	c current bound: 1821
26.97/27.46	c current bound: 1821
27.37/28.07	c current bound: 1821
28.26/28.80	c current bound: 1821
28.59/29.41	c current bound: 1821
29.19/30.02	c current bound: 1821
29.83/30.63	c current bound: 1821
30.43/31.24	c current bound: 1821
31.25/31.86	c current bound: 1821
31.66/32.47	c current bound: 1821
32.42/33.08	c current bound: 1821
32.87/33.71	c current bound: 1821
33.48/34.31	c current bound: 1821
34.08/34.91	c current bound: 1821
34.68/35.53	c current bound: 1821
35.30/36.15	c current bound: 1821
35.93/36.78	c current bound: 1821
36.74/37.40	c current bound: 1821
37.17/38.02	c current bound: 1821
38.04/38.64	c current bound: 1821
38.42/39.42	c current bound: 1821
39.04/40.04	c current bound: 1821
39.89/40.66	c current bound: 1821
40.30/41.28	c current bound: 1821
41.18/41.90	c current bound: 1821
41.55/42.53	c current bound: 1821
42.15/43.15	c current bound: 1821
43.07/44.10	c current bound: 1821
43.40/44.73	c current bound: 1821
44.03/45.34	c current bound: 1821
44.65/45.97	c current bound: 1821
45.27/46.59	c current bound: 1821
45.90/47.19	c current bound: 1821
46.51/47.82	c current bound: 1821
47.37/48.45	c current bound: 1821
47.77/49.07	c current bound: 1821
48.38/49.67	c current bound: 1821
48.99/50.29	c current bound: 1821
49.60/50.91	c current bound: 1821
50.23/51.51	c current bound: 1821
50.85/52.16	c current bound: 1821
51.69/52.78	c current bound: 1821
52.38/53.40	c current bound: 1821
53.00/54.49	c current bound: 1821
53.61/55.11	c current bound: 1821
53.96/55.73	c current bound: 1821
54.58/56.35	c current bound: 1821
55.19/56.97	c current bound: 1821
55.81/57.60	c current bound: 1821
56.70/58.22	c current bound: 1821
57.07/58.84	c current bound: 1821
57.91/59.46	c current bound: 1821
58.32/60.09	c current bound: 1821
58.94/60.71	c current bound: 1821
59.57/61.33	c current bound: 1821
60.19/61.93	c current bound: 1821
60.78/62.55	c current bound: 1821
61.41/63.17	c current bound: 1821
62.23/63.79	c current bound: 1821
62.65/64.80	c current bound: 1821
63.28/65.42	c current bound: 1821
64.13/66.05	c current bound: 1821
64.52/66.67	c current bound: 1821
65.14/67.27	c current bound: 1821
65.75/67.89	c current bound: 1821
66.37/68.49	c current bound: 1821
66.97/69.10	c current bound: 1821
67.59/69.75	c current bound: 1821
68.42/70.37	c current bound: 1821
68.84/70.99	c current bound: 1821
69.72/71.62	c current bound: 1821
70.08/72.24	c current bound: 1821
70.71/72.86	c current bound: 1821
71.34/73.49	c current bound: 1821
71.96/74.11	c current bound: 1821
72.84/74.72	c current bound: 1821
73.20/75.35	c current bound: 1821
74.03/75.97	c current bound: 1821
74.44/76.59	c current bound: 1821
75.07/77.21	c current bound: 1821
75.69/77.83	c current bound: 1821
76.32/78.46	c current bound: 1821
76.93/79.08	c current bound: 1821
77.55/79.70	c current bound: 1821
78.44/80.32	c current bound: 1821
78.81/80.94	c current bound: 1821
79.62/81.58	c current bound: 1821
80.35/82.20	c current bound: 1821
80.68/82.82	c current bound: 1821
81.29/83.44	c current bound: 1821
81.92/84.06	c current bound: 1821
82.75/84.68	c current bound: 1821
83.17/85.31	c current bound: 1821
84.05/85.92	c current bound: 1821
84.41/86.56	c current bound: 1821
85.04/87.18	c current bound: 1821
85.66/87.80	c current bound: 1821
86.28/88.42	c current bound: 1821
87.14/89.06	c current bound: 1821
87.54/89.78	c current bound: 1821
88.17/90.43	c current bound: 1821
88.80/91.04	c current bound: 1821
89.42/91.66	c current bound: 1821
90.04/92.29	c current bound: 1821
90.67/92.91	c current bound: 1821
91.54/93.55	c current bound: 1821
91.94/94.17	c current bound: 1821
92.56/94.78	c current bound: 1821
93.17/95.40	c current bound: 1821
93.79/96.02	c current bound: 1821
94.40/96.64	c current bound: 1821
95.02/97.27	c current bound: 1821
95.83/97.89	c current bound: 1821
96.28/98.51	c current bound: 1821
97.13/99.13	c current bound: 1821
97.80/99.92	c current bound: 1821
98.14/100.54	c current bound: 1821
98.98/101.14	c current bound: 1821
99.36/101.76	c current bound: 1821
100.19/102.38	c current bound: 1821
100.89/103.00	c current bound: 1821
101.22/103.61	c current bound: 1821
101.85/104.23	c current bound: 1821
102.46/104.85	c current bound: 1821
103.07/105.47	c current bound: 1821
103.69/106.09	c current bound: 1821
104.58/106.72	c current bound: 1821
104.95/107.34	c current bound: 1821
105.77/107.96	c current bound: 1821
106.18/108.58	c current bound: 1821
106.81/109.20	c current bound: 1821
107.73/110.10	c current bound: 1821
108.06/110.72	c current bound: 1821
108.69/111.34	c current bound: 1821
109.30/111.97	c current bound: 1821
109.93/112.59	c current bound: 1821
110.80/113.21	c current bound: 1821
111.15/113.83	c current bound: 1821
112.01/114.45	c current bound: 1821
112.40/115.07	c current bound: 1821
113.02/115.67	c current bound: 1821
113.63/116.29	c current bound: 1821
114.25/116.91	c current bound: 1821
114.86/117.52	c current bound: 1821
115.48/118.14	c current bound: 1821
116.33/118.76	c current bound: 1821
117.03/119.40	c current bound: 1821
117.64/120.24	c current bound: 1821
117.99/120.87	c current bound: 1821
118.61/121.47	c current bound: 1821
119.40/122.09	c current bound: 1821
119.84/122.71	c current bound: 1821
120.69/123.33	c current bound: 1821
121.08/123.94	c current bound: 1821
121.70/124.57	c current bound: 1821
122.31/125.18	c current bound: 1821
122.94/125.80	c current bound: 1821
123.82/126.43	c current bound: 1821
124.18/127.03	c current bound: 1821
125.00/127.65	c current bound: 1821
125.40/128.27	c current bound: 1821
126.02/128.87	c current bound: 1821
126.61/129.49	c current bound: 1821
127.24/130.19	c current bound: 1821
128.14/130.81	c current bound: 1821
128.48/131.43	c current bound: 1821
129.33/132.05	c current bound: 1821
129.72/132.67	c current bound: 1821
130.33/133.27	c current bound: 1821
130.94/133.89	c current bound: 1821
131.55/134.53	c current bound: 1821
132.49/135.25	c current bound: 1821
132.82/135.87	c current bound: 1821
133.75/136.50	c current bound: 1821
134.07/137.12	c current bound: 1821
134.70/137.74	c current bound: 1821
135.32/138.37	c current bound: 1821
135.95/138.99	c current bound: 1821
136.83/139.62	c current bound: 1821
137.20/140.37	c current bound: 1821
137.82/140.98	c current bound: 1821
138.42/141.58	c current bound: 1821
139.02/142.19	c current bound: 1821
139.64/142.81	c current bound: 1821
140.28/143.45	c current bound: 1821
141.09/144.07	c current bound: 1821
141.52/144.69	c current bound: 1821
142.43/145.43	c current bound: 1821
142.76/146.05	c current bound: 1821
143.38/146.67	c current bound: 1821
144.00/147.29	c current bound: 1821
144.63/147.90	c current bound: 1821
145.49/148.52	c current bound: 1821
145.85/149.14	c current bound: 1821
146.68/149.77	c current bound: 1821
147.10/150.53	c current bound: 1821
147.72/151.15	c current bound: 1821
148.55/151.77	c current bound: 1821
148.95/152.40	c current bound: 1821
149.84/153.02	c current bound: 1821
150.22/153.64	c current bound: 1821
150.83/154.27	c current bound: 1821
151.46/154.88	c current bound: 1821
152.08/155.66	c current bound: 1821
152.89/156.29	c current bound: 1821
153.32/156.91	c current bound: 1821
153.94/157.53	c current bound: 1821
154.56/158.14	c current bound: 1821
155.19/158.76	c current bound: 1821
155.80/159.38	c current bound: 1821
156.70/160.00	c current bound: 1821
157.33/160.77	c current bound: 1821
157.68/161.37	c current bound: 1821
158.29/161.99	c current bound: 1821
158.91/162.61	c current bound: 1821
159.51/163.23	c current bound: 1821
160.36/163.85	c current bound: 1821
160.76/164.47	c current bound: 1821
161.58/165.08	c current bound: 1821
161.99/165.87	c current bound: 1821
162.62/166.47	c current bound: 1821
163.22/167.09	c current bound: 1821
163.85/167.69	c current bound: 1821
164.71/168.31	c current bound: 1821
165.06/168.93	c current bound: 1821
165.89/169.55	c current bound: 1821
166.30/170.16	c current bound: 1821
167.20/171.00	c current bound: 1821
167.79/171.62	c current bound: 1821
168.16/172.23	c current bound: 1821
169.00/172.86	c current bound: 1821
169.39/173.46	c current bound: 1821
169.99/174.08	c current bound: 1821
170.91/174.70	c current bound: 1821
171.24/175.32	c current bound: 1821
172.10/175.95	c current bound: 1821
172.49/176.57	c current bound: 1821
173.30/177.19	c current bound: 1821
173.73/177.81	c current bound: 1821
174.35/178.44	c current bound: 1821
174.98/179.04	c current bound: 1821
175.59/179.66	c current bound: 1821
176.19/180.25	c current bound: 1821
176.79/180.96	c current bound: 1821
177.59/181.56	c current bound: 1821
177.99/182.16	c current bound: 1821
178.78/182.76	c current bound: 1821
179.20/183.36	c current bound: 1821
179.79/183.96	c current bound: 1821
180.39/184.56	c current bound: 1821
181.01/185.17	c current bound: 1821
181.60/185.77	c current bound: 1821
182.20/186.37	c current bound: 1821
182.99/186.97	c current bound: 1821
183.39/187.56	c current bound: 1821
184.20/188.17	c current bound: 1821
184.60/188.76	c current bound: 1821
185.38/189.36	c current bound: 1821
185.80/189.96	c current bound: 1821
186.41/190.58	c current bound: 1821
187.01/191.18	c current bound: 1821
187.89/191.80	c current bound: 1821
188.23/192.40	c current bound: 1821
189.09/193.00	c current bound: 1821
189.60/193.60	c current bound: 1821
190.29/194.20	c current bound: 1821
190.90/194.80	c current bound: 1821
191.50/195.40	c current bound: 1821
192.09/196.30	c current bound: 1821
192.70/196.91	c current bound: 1821
193.04/197.51	c current bound: 1821
193.89/198.11	c current bound: 1821
194.24/198.71	c current bound: 1821
194.84/199.31	c current bound: 1821
195.45/199.91	c current bound: 1821
196.05/200.52	c current bound: 1821
196.64/201.17	c current bound: 1821
197.26/201.77	c current bound: 1821
198.04/202.36	c current bound: 1821
198.44/202.96	c current bound: 1821
199.23/203.57	c current bound: 1821
199.65/204.18	c current bound: 1821
200.26/204.78	c current bound: 1821
200.85/205.37	c current bound: 1821
201.47/205.98	c current bound: 1821
202.06/206.58	c current bound: 1821
202.66/207.18	c current bound: 1821
203.26/207.78	c current bound: 1821
203.85/208.37	c current bound: 1821
204.62/208.97	c current bound: 1821
205.06/209.57	c current bound: 1821
205.84/210.17	c current bound: 1821
206.25/210.77	c current bound: 1821
206.84/211.52	c current bound: 1821
207.45/212.12	c current bound: 1821
208.06/212.71	c current bound: 1821
208.88/213.31	c current bound: 1821
209.23/213.92	c current bound: 1821
210.09/214.52	c current bound: 1821
210.44/215.12	c current bound: 1821
211.28/215.71	c current bound: 1821
211.64/216.31	c current bound: 1821
212.25/216.98	c current bound: 1821
212.85/217.58	c current bound: 1821
213.44/218.18	c current bound: 1821
214.05/218.78	c current bound: 1821
214.64/219.38	c current bound: 1821
215.42/219.98	c current bound: 1821
215.85/220.58	c current bound: 1821
216.62/221.18	c current bound: 1821
217.03/221.77	c current bound: 1821
217.63/222.37	c current bound: 1821
218.23/222.97	c current bound: 1821
218.84/223.58	c current bound: 1821
219.43/224.17	c current bound: 1821
220.03/224.77	c current bound: 1821
220.63/225.37	c current bound: 1821
221.22/225.98	c current bound: 1821
222.10/226.82	c current bound: 1821
222.43/227.43	c current bound: 1821
223.06/228.05	c current bound: 1821
223.66/228.64	c current bound: 1821
224.25/229.24	c current bound: 1821
225.07/229.84	c current bound: 1821
225.45/230.44	c current bound: 1821
226.27/231.03	c current bound: 1821
226.92/231.82	c current bound: 1821
227.27/232.42	c current bound: 1821
227.89/233.04	c current bound: 1821
228.50/233.64	c current bound: 1821
229.31/234.26	c current bound: 1821
229.72/234.87	c current bound: 1821
230.51/235.49	c current bound: 1821
231.22/236.10	c current bound: 1821
231.57/236.99	c current bound: 1821
232.42/237.61	c current bound: 1821
232.77/238.22	c current bound: 1821
233.62/238.83	c current bound: 1821
234.00/239.44	c current bound: 1821
234.62/240.04	c current bound: 1821
235.21/240.65	c current bound: 1821
235.83/241.27	c current bound: 1821
236.44/241.88	c current bound: 1821
237.06/242.49	c current bound: 1821
237.94/243.11	c current bound: 1821
238.29/243.71	c current bound: 1821
239.12/244.32	c current bound: 1821
239.49/244.94	c current bound: 1821
240.11/245.54	c current bound: 1821
240.72/246.15	c current bound: 1821
241.32/246.88	c current bound: 1821
242.11/247.50	c current bound: 1821
242.55/248.10	c current bound: 1821
243.39/248.72	c current bound: 1821
243.78/249.33	c current bound: 1821
244.38/249.93	c current bound: 1821
244.99/250.55	c current bound: 1821
245.60/251.15	c current bound: 1821
246.46/252.22	c current bound: 1821
246.81/252.83	c current bound: 1821
247.44/253.44	c current bound: 1821
248.25/254.05	c current bound: 1821
248.65/254.65	c current bound: 1821
249.44/255.27	c current bound: 1821
249.88/255.88	c current bound: 1821
250.48/256.48	c current bound: 1821
251.08/257.09	c current bound: 1821
251.68/257.70	c current bound: 1821
252.30/258.30	c current bound: 1821
252.91/258.91	c current bound: 1821
253.76/259.53	c current bound: 1821
254.12/260.13	c current bound: 1821
254.97/260.75	c current bound: 1821
255.36/261.36	c current bound: 1821
255.97/262.33	c current bound: 1821
256.82/262.94	c current bound: 1821
257.22/263.55	c current bound: 1821
258.01/264.15	c current bound: 1821
258.42/264.77	c current bound: 1821
259.05/265.38	c current bound: 1821
259.65/265.99	c current bound: 1821
260.26/266.59	c current bound: 1821
261.13/267.21	c current bound: 1821
261.47/267.82	c current bound: 1821
262.33/268.43	c current bound: 1821
262.70/269.04	c current bound: 1821
263.50/269.65	c current bound: 1821
263.91/270.25	c current bound: 1821
264.52/270.86	c current bound: 1821
265.12/271.47	c current bound: 1821
265.72/272.07	c current bound: 1821
266.35/272.68	c current bound: 1821
266.94/273.29	c current bound: 1821
267.83/273.91	c current bound: 1821
268.18/274.51	c current bound: 1821
269.01/275.14	c current bound: 1821
269.41/275.74	c current bound: 1821
270.02/276.36	c current bound: 1821
270.62/276.97	c current bound: 1821
271.24/277.58	c current bound: 1821
271.84/278.19	c current bound: 1821
272.47/278.82	c current bound: 1821
273.32/279.44	c current bound: 1821
273.71/280.06	c current bound: 1821
274.51/280.68	c current bound: 1821
274.94/281.29	c current bound: 1821
275.56/281.91	c current bound: 1821
276.46/282.60	c current bound: 1821
276.80/283.22	c current bound: 1821
277.65/283.84	c current bound: 1821
278.03/284.44	c current bound: 1821
278.84/285.06	c current bound: 1821
279.26/285.68	c current bound: 1821
279.87/286.28	c current bound: 1821
280.46/286.89	c current bound: 1821
281.10/287.67	c current bound: 1821
282.02/288.30	c current bound: 1821
282.34/288.92	c current bound: 1821
282.96/289.54	c current bound: 1821
283.59/290.17	c current bound: 1821
284.22/290.79	c current bound: 1821
285.11/291.41	c current bound: 1821
285.46/292.02	c current bound: 1821
286.35/292.85	c current bound: 1821
286.70/293.47	c current bound: 1821
287.33/294.09	c current bound: 1821
288.22/294.71	c current bound: 1821
288.56/295.31	c current bound: 1821
289.41/295.93	c current bound: 1821
289.80/296.56	c current bound: 1821
290.61/297.18	c current bound: 1821
291.03/297.94	c current bound: 1821
291.67/298.56	c current bound: 1821
292.49/299.18	c current bound: 1821
292.90/299.79	c current bound: 1821
293.78/300.41	c current bound: 1821
294.14/301.03	c current bound: 1821
294.74/301.65	c current bound: 1821
295.37/302.26	c current bound: 1821
296.28/303.14	c current bound: 1821
296.81/303.76	c current bound: 1821
297.22/304.38	c current bound: 1821
298.13/305.00	c current bound: 1821
298.47/305.62	c current bound: 1821
299.08/306.25	c current bound: 1821
299.92/306.87	c current bound: 1821
300.34/307.49	c current bound: 1821
301.21/308.11	c current bound: 1821
301.59/308.73	c current bound: 1821
302.20/309.35	c current bound: 1821
302.83/309.97	c current bound: 1821
303.44/310.59	c current bound: 1821
304.33/311.21	c current bound: 1821
304.68/311.83	c current bound: 1821
305.54/312.43	c current bound: 1821
305.90/313.05	c current bound: 1821
306.72/313.66	c current bound: 1821
307.13/314.28	c current bound: 1821
307.74/314.91	c current bound: 1821
308.38/315.53	c current bound: 1821
309.00/316.15	c current bound: 1821
309.81/316.77	c current bound: 1821
310.24/317.39	c current bound: 1821
311.13/318.02	c current bound: 1821
311.50/318.66	c current bound: 1821
312.12/319.27	c current bound: 1821
312.74/319.89	c current bound: 1821
313.36/320.51	c current bound: 1821
314.22/321.13	c current bound: 1821
314.60/321.75	c current bound: 1821
315.42/322.37	c current bound: 1821
315.83/323.01	c current bound: 1821
316.46/323.62	c current bound: 1821
317.08/324.25	c current bound: 1821
317.72/324.87	c current bound: 1821
318.33/325.49	c current bound: 1821
318.95/326.11	c current bound: 1821
319.83/326.73	c current bound: 1821
320.20/327.35	c current bound: 1821
321.02/327.97	c current bound: 1821
321.44/328.59	c current bound: 1821
322.06/329.22	c current bound: 1821
322.68/329.84	c current bound: 1821
323.30/330.46	c current bound: 1821
324.13/331.08	c current bound: 1821
324.55/331.67	c current bound: 1821
325.43/332.30	c current bound: 1821
325.77/332.92	c current bound: 1821
326.66/333.66	c current bound: 1821
326.99/334.28	c current bound: 1821
327.62/334.90	c current bound: 1821
328.48/335.52	c current bound: 1821
328.83/336.14	c current bound: 1821
329.67/336.76	c current bound: 1821
330.10/337.38	c current bound: 1821
330.70/338.00	c current bound: 1821
331.33/338.62	c current bound: 1821
331.95/339.24	c current bound: 1821
332.79/339.86	c current bound: 1821
333.19/340.48	c current bound: 1821
334.08/341.10	c current bound: 1821
334.43/341.73	c current bound: 1821
335.05/342.35	c current bound: 1821
335.67/342.97	c current bound: 1821
336.30/343.66	c current bound: 1821
337.12/344.28	c current bound: 1821
337.53/344.90	c current bound: 1821
338.41/345.52	c current bound: 1821
338.77/346.14	c current bound: 1821
339.40/346.76	c current bound: 1821
340.01/347.38	c current bound: 1821
340.65/348.00	c current bound: 1821
341.51/348.69	c current bound: 1821
341.87/349.31	c current bound: 1821
342.74/349.93	c current bound: 1821
343.12/350.55	c current bound: 1821
343.74/351.17	c current bound: 1821
344.36/351.78	c current bound: 1821
344.98/352.40	c current bound: 1821
345.86/353.03	c current bound: 1821
346.22/353.77	c current bound: 1821
346.84/354.38	c current bound: 1821
347.46/354.98	c current bound: 1821
348.07/355.58	c current bound: 1821
348.66/356.21	c current bound: 1821
349.27/356.83	c current bound: 1821
350.13/357.45	c current bound: 1821
350.53/358.06	c current bound: 1821
351.42/358.98	c current bound: 1821
352.03/359.61	c current bound: 1821
352.38/360.22	c current bound: 1821
353.23/360.84	c current bound: 1821
353.62/361.47	c current bound: 1821
354.25/362.08	c current bound: 1821
354.85/362.72	c current bound: 1821
355.49/363.33	c current bound: 1821
356.38/364.10	c current bound: 1821
356.73/364.72	c current bound: 1821
357.57/365.33	c current bound: 1821
357.96/365.95	c current bound: 1821
358.57/366.58	c current bound: 1821
359.19/367.19	c current bound: 1821
359.82/367.81	c current bound: 1821
360.69/368.43	c current bound: 1821
361.34/369.34	c current bound: 1821
361.68/369.96	c current bound: 1821
362.30/370.58	c current bound: 1821
362.92/371.20	c current bound: 1821
363.78/371.82	c current bound: 1821
364.15/372.44	c current bound: 1821
364.98/373.06	c current bound: 1821
365.40/373.68	c current bound: 1821
366.01/374.30	c current bound: 1821
366.64/374.92	c current bound: 1821
367.26/375.54	c current bound: 1821
368.08/376.16	c current bound: 1821
368.50/376.76	c current bound: 1821
369.30/377.38	c current bound: 1821
370.01/378.00	c current bound: 1821
370.34/378.62	c current bound: 1821
370.96/379.36	c current bound: 1821
371.57/379.98	c current bound: 1821
372.37/380.60	c current bound: 1821
372.81/381.22	c current bound: 1821
373.68/381.84	c current bound: 1821
374.06/382.46	c current bound: 1821
374.68/383.08	c current bound: 1821
375.31/383.70	c current bound: 1821
375.93/384.30	c current bound: 1821
376.79/384.92	c current bound: 1821
377.15/385.54	c current bound: 1821
377.99/386.16	c current bound: 1821
378.40/386.79	c current bound: 1821
379.02/387.41	c current bound: 1821
379.65/388.03	c current bound: 1821
380.27/388.65	c current bound: 1821
380.91/389.30	c current bound: 1821
381.50/389.92	c current bound: 1821
382.37/390.55	c current bound: 1821
382.75/391.17	c current bound: 1821
383.37/391.77	c current bound: 1821
383.96/392.39	c current bound: 1821
384.58/393.01	c current bound: 1821
385.21/393.62	c current bound: 1821
386.12/394.34	c current bound: 1821
386.67/394.96	c current bound: 1821
387.07/395.60	c current bound: 1821
387.72/396.22	c current bound: 1821
388.34/396.84	c current bound: 1821
388.95/397.46	c current bound: 1821
389.57/398.08	c current bound: 1821
390.19/398.68	c current bound: 1821
391.06/399.41	c current bound: 1821
391.41/400.03	c current bound: 1821
392.02/400.65	c current bound: 1821
392.65/401.27	c current bound: 1821
393.27/401.89	c current bound: 1821
394.16/402.51	c current bound: 1821
394.51/403.12	c current bound: 1821
395.36/403.74	c current bound: 1821
396.01/404.51	c current bound: 1821
396.35/405.13	c current bound: 1821
396.98/405.75	c current bound: 1821
397.59/406.37	c current bound: 1821
398.40/406.99	c current bound: 1821
398.84/407.61	c current bound: 1821
399.69/408.23	c current bound: 1821
400.08/408.88	c current bound: 1821
400.72/409.77	c current bound: 1821
401.54/410.38	c current bound: 1821
401.96/411.00	c current bound: 1821
402.58/411.62	c current bound: 1821
403.21/412.24	c current bound: 1821
403.81/412.86	c current bound: 1821
404.43/413.48	c current bound: 1821
405.35/414.10	c current bound: 1821
405.93/414.72	c current bound: 1821
406.29/415.32	c current bound: 1821
407.14/415.93	c current bound: 1821
407.51/416.56	c current bound: 1821
408.13/417.19	c current bound: 1821
408.76/417.80	c current bound: 1821
409.39/418.43	c current bound: 1821
410.24/419.05	c current bound: 1821
410.91/419.90	c current bound: 1821
411.24/420.52	c current bound: 1821
411.86/421.14	c current bound: 1821
412.47/421.75	c current bound: 1821
413.30/422.37	c current bound: 1821
413.72/422.99	c current bound: 1821
414.59/423.61	c current bound: 1821
414.96/424.23	c current bound: 1821
415.58/424.85	c current bound: 1821
416.19/425.47	c current bound: 1821
416.82/426.09	c current bound: 1821
417.99/426.71	c current bound: 1821
418.05/427.32	c current bound: 1821
418.90/427.94	c current bound: 1821
419.29/428.56	c current bound: 1821
420.11/429.16	c current bound: 1821
420.52/429.99	c current bound: 1821
421.13/430.61	c current bound: 1821
422.00/431.23	c current bound: 1821
422.37/431.85	c current bound: 1821
423.20/432.45	c current bound: 1821
423.60/433.07	c current bound: 1821
424.22/433.69	c current bound: 1821
424.84/434.31	c current bound: 1821
425.75/435.02	c current bound: 1821
426.32/435.64	c current bound: 1821
426.69/436.26	c current bound: 1821
427.33/436.87	c current bound: 1821
427.93/437.49	c current bound: 1821
428.56/438.12	c current bound: 1821
429.18/438.75	c current bound: 1821
429.82/439.37	c current bound: 1821
430.71/440.12	c current bound: 1821
431.06/440.74	c current bound: 1821
431.67/441.37	c current bound: 1821
432.30/441.99	c current bound: 1821
432.92/442.61	c current bound: 1821
433.80/443.23	c current bound: 1821
434.17/443.85	c current bound: 1821
435.00/444.47	c current bound: 1821
435.41/445.15	c current bound: 1821
436.03/445.77	c current bound: 1821
436.93/446.40	c current bound: 1821
437.27/447.02	c current bound: 1821
438.13/447.64	c current bound: 1821
438.53/448.26	c current bound: 1821
439.33/448.88	c current bound: 1821
439.75/449.50	c current bound: 1821
440.68/450.21	c current bound: 1821
441.00/450.84	c current bound: 1821
441.64/451.46	c current bound: 1821
442.45/452.08	c current bound: 1821
443.15/452.70	c current bound: 1821
443.75/453.31	c current bound: 1821
444.11/453.93	c current bound: 1821
444.71/454.55	c current bound: 1821
445.63/455.42	c current bound: 1821
445.97/456.04	c current bound: 1821
446.80/456.66	c current bound: 1821
447.21/457.28	c current bound: 1821
447.82/457.90	c current bound: 1821
448.45/458.52	c current bound: 1821
449.06/459.14	c current bound: 1821
449.91/459.76	c current bound: 1821
450.30/460.52	c current bound: 1821
450.92/461.15	c current bound: 1821
451.55/461.76	c current bound: 1821
452.18/462.38	c current bound: 1821
452.79/463.00	c current bound: 1821
453.40/463.63	c current bound: 1821
454.27/464.25	c current bound: 1821
454.66/464.87	c current bound: 1821
455.55/465.76	c current bound: 1821
456.09/466.38	c current bound: 1821
456.79/467.00	c current bound: 1821
457.38/467.63	c current bound: 1821
457.75/468.25	c current bound: 1821
458.39/468.87	c current bound: 1821
459.01/469.49	c current bound: 1821
459.62/470.11	c current bound: 1821
460.49/470.73	c current bound: 1821
460.87/471.33	c current bound: 1821
461.71/471.95	c current bound: 1821
462.08/472.57	c current bound: 1821
462.71/473.17	c current bound: 1821
463.30/473.79	c current bound: 1821
463.93/474.41	c current bound: 1821
464.55/475.03	c current bound: 1821
465.45/475.82	c current bound: 1821
466.03/476.44	c current bound: 1821
466.41/477.05	c current bound: 1821
467.03/477.67	c current bound: 1821
467.64/478.29	c current bound: 1821
468.27/478.91	c current bound: 1821
469.12/479.53	c current bound: 1821
469.49/480.16	c current bound: 1821
470.34/480.77	c current bound: 1821
470.73/481.37	c current bound: 1821
471.34/481.97	c current bound: 1821
471.94/482.58	c current bound: 1821
472.56/483.20	c current bound: 1821
473.18/483.82	c current bound: 1821
473.80/484.44	c current bound: 1821
474.63/485.06	c current bound: 1821
475.32/485.87	c current bound: 1821
475.65/486.49	c current bound: 1821
476.27/487.09	c current bound: 1821
476.86/487.69	c current bound: 1821
477.73/488.31	c current bound: 1821
478.09/488.93	c current bound: 1821
478.94/489.55	c current bound: 1821
479.33/490.15	c current bound: 1821
480.13/490.75	c current bound: 1821
480.53/491.37	c current bound: 1821
481.15/491.99	c current bound: 1821
481.77/492.59	c current bound: 1821
482.37/493.21	c current bound: 1821
483.25/493.83	c current bound: 1821
483.60/494.45	c current bound: 1821
484.44/495.07	c current bound: 1821
484.86/495.86	c current bound: 1821
485.47/496.48	c current bound: 1821
486.09/497.10	c current bound: 1821
486.72/497.71	c current bound: 1821
487.57/498.31	c current bound: 1821
487.92/498.93	c current bound: 1821
488.78/499.57	c current bound: 1821
489.49/500.20	c current bound: 1821
490.09/501.02	c current bound: 1821
490.65/501.65	c current bound: 1821
491.06/502.27	c current bound: 1821
491.67/502.88	c current bound: 1821
492.29/503.50	c current bound: 1821
492.91/504.12	c current bound: 1821
493.53/504.74	c current bound: 1821
494.15/505.34	c current bound: 1821
495.03/506.15	c current bound: 1821
495.37/506.76	c current bound: 1821
495.98/507.38	c current bound: 1821
496.60/508.01	c current bound: 1821
497.23/508.60	c current bound: 1821
498.07/509.22	c current bound: 1821
498.44/509.85	c current bound: 1821
499.28/510.47	c current bound: 1821
499.69/511.21	c current bound: 1821
500.31/511.83	c current bound: 1821
500.93/512.46	c current bound: 1821
501.56/513.08	c current bound: 1821
502.36/513.70	c current bound: 1821
502.79/514.31	c current bound: 1821
503.65/514.91	c current bound: 1821
504.01/515.53	c current bound: 1821
504.92/516.20	c current bound: 1821
505.25/516.82	c current bound: 1821
505.86/517.44	c current bound: 1821
506.71/518.06	c current bound: 1821
507.11/518.68	c current bound: 1821
508.02/519.30	c current bound: 1821
508.61/519.90	c current bound: 1821
509.21/520.50	c current bound: 1821
509.55/521.12	c current bound: 1821
510.17/521.84	c current bound: 1821
511.02/522.48	c current bound: 1821
511.73/523.10	c current bound: 1821
512.33/523.71	c current bound: 1821
512.67/524.33	c current bound: 1821
513.29/524.95	c current bound: 1821
513.91/525.57	c current bound: 1821
514.83/526.20	c current bound: 1821
515.39/526.87	c current bound: 1821
516.08/527.50	c current bound: 1821
516.67/528.12	c current bound: 1821
517.04/528.74	c current bound: 1821
517.68/529.36	c current bound: 1821
518.28/529.98	c current bound: 1821
518.90/530.60	c current bound: 1821
519.82/531.35	c current bound: 1821
520.16/531.97	c current bound: 1821
520.77/532.57	c current bound: 1821
521.37/533.19	c current bound: 1821
521.99/533.81	c current bound: 1821
522.61/534.43	c current bound: 1821
523.23/535.05	c current bound: 1821
524.06/535.66	c current bound: 1821
524.77/536.40	c current bound: 1821
525.09/537.03	c current bound: 1821
525.72/537.66	c current bound: 1821
526.36/538.28	c current bound: 1821
526.97/538.90	c current bound: 1821
527.59/539.52	c current bound: 1821
528.46/540.14	c current bound: 1821
528.83/540.76	c current bound: 1821
529.73/541.57	c current bound: 1821
530.09/542.18	c current bound: 1821
530.68/542.80	c current bound: 1821
531.55/543.43	c current bound: 1821
531.93/544.05	c current bound: 1821
532.77/544.64	c current bound: 1821
533.14/545.24	c current bound: 1821
533.76/545.85	c current bound: 1821
534.64/546.52	c current bound: 1821
534.96/547.12	c current bound: 1821
535.80/547.72	c current bound: 1821
536.16/548.31	c current bound: 1821
536.99/548.92	c current bound: 1821
537.36/549.51	c current bound: 1821
538.18/550.11	c current bound: 1821
538.54/550.71	c current bound: 1821
539.16/551.31	c current bound: 1821
539.75/551.95	c current bound: 1821
540.35/552.55	c current bound: 1821
540.95/553.15	c current bound: 1821
541.55/553.75	c current bound: 1821
542.36/554.35	c current bound: 1821
542.75/554.95	c current bound: 1821
543.57/555.55	c current bound: 1821
543.95/556.15	c current bound: 1821
544.76/556.75	c current bound: 1821
545.15/557.34	c current bound: 1821
545.75/557.95	c current bound: 1821
546.35/558.55	c current bound: 1821
546.96/559.15	c current bound: 1821
547.55/559.76	c current bound: 1821
548.16/560.36	c current bound: 1821
548.95/560.96	c current bound: 1821
549.37/561.69	c current bound: 1821
549.96/562.29	c current bound: 1821
550.56/562.89	c current bound: 1821
551.45/563.50	c current bound: 1821
551.76/564.09	c current bound: 1821
552.37/564.69	c current bound: 1821
552.97/565.29	c current bound: 1821
553.57/565.89	c current bound: 1821
554.33/566.49	c current bound: 1821
554.76/567.14	c current bound: 1821
555.58/567.75	c current bound: 1821
555.97/568.35	c current bound: 1821
556.57/568.96	c current bound: 1821
557.18/569.55	c current bound: 1821
557.78/570.17	c current bound: 1821
558.39/570.77	c current bound: 1821
558.98/571.36	c current bound: 1821
559.78/571.97	c current bound: 1821
560.19/572.57	c current bound: 1821
560.98/573.17	c current bound: 1821
561.39/573.78	c current bound: 1821
562.00/574.38	c current bound: 1821
562.60/574.98	c current bound: 1821
563.21/575.59	c current bound: 1821
563.80/576.19	c current bound: 1821
564.66/577.13	c current bound: 1821
565.01/577.73	c current bound: 1821
565.62/578.34	c current bound: 1821
566.22/578.94	c current bound: 1821
566.82/579.55	c current bound: 1821
567.44/580.16	c current bound: 1821
568.24/580.78	c current bound: 1821
568.66/581.39	c current bound: 1821
569.54/582.18	c current bound: 1821
569.88/582.79	c current bound: 1821
570.76/583.40	c current bound: 1821
571.36/584.01	c current bound: 1821
571.72/584.62	c current bound: 1821
572.56/585.23	c current bound: 1821
572.93/585.84	c current bound: 1821
573.73/586.48	c current bound: 1821
574.44/587.43	c current bound: 1821
574.79/588.03	c current bound: 1821
575.62/588.65	c current bound: 1821
576.02/589.26	c current bound: 1821
576.63/589.86	c current bound: 1821
577.24/590.48	c current bound: 1821
577.85/591.08	c current bound: 1821
578.45/591.68	c current bound: 1821
579.06/592.41	c current bound: 1821
579.90/593.02	c current bound: 1821
580.27/593.62	c current bound: 1821
580.88/594.24	c current bound: 1821
581.50/594.84	c current bound: 1821
582.10/595.45	c current bound: 1821
582.72/596.06	c current bound: 1821
583.32/596.69	c current bound: 1821
584.20/597.71	c current bound: 1821
584.79/598.31	c current bound: 1821
585.16/598.93	c current bound: 1821
586.01/599.55	c current bound: 1821
586.40/600.16	c current bound: 1821
587.01/600.77	c current bound: 1821
587.62/601.37	c current bound: 1821
588.23/601.98	c current bound: 1821
588.84/602.59	c current bound: 1821
589.72/603.20	c current bound: 1821
590.04/603.80	c current bound: 1821
590.66/604.41	c current bound: 1821
591.49/605.02	c current bound: 1821
591.88/605.63	c current bound: 1821
592.70/606.25	c current bound: 1821
593.09/606.86	c current bound: 1821
593.71/607.67	c current bound: 1821
594.49/608.29	c current bound: 1821
594.94/608.90	c current bound: 1821
595.80/609.51	c current bound: 1821
596.15/610.12	c current bound: 1821
596.77/610.73	c current bound: 1821
597.37/611.33	c current bound: 1821
597.98/611.95	c current bound: 1821
598.84/612.66	c current bound: 1821
599.22/613.27	c current bound: 1821
599.99/613.89	c current bound: 1821
600.43/614.51	c current bound: 1821
601.04/615.13	c current bound: 1821
601.68/615.75	c current bound: 1821
602.28/616.37	c current bound: 1821
602.91/617.00	c current bound: 1821
603.53/617.97	c current bound: 1821
604.15/618.56	c current bound: 1821
604.74/619.18	c current bound: 1821
605.37/619.80	c current bound: 1821
606.25/620.42	c current bound: 1821
606.61/621.02	c current bound: 1821
607.44/621.64	c current bound: 1821
607.82/622.26	c current bound: 1821
608.45/623.07	c current bound: 1821
609.27/623.69	c current bound: 1821
609.68/624.31	c current bound: 1821
610.54/624.93	c current bound: 1821
610.94/625.55	c current bound: 1821
611.55/626.16	c current bound: 1821
612.17/626.78	c current bound: 1821
612.78/627.39	c current bound: 1821
613.69/628.24	c current bound: 1821
614.01/628.86	c current bound: 1821
614.64/629.48	c current bound: 1821
615.26/630.11	c current bound: 1821
615.88/630.74	c current bound: 1821
616.73/631.37	c current bound: 1821
617.44/632.00	c current bound: 1821
618.01/632.62	c current bound: 1821
618.39/633.24	c current bound: 1821
619.01/633.86	c current bound: 1821
619.63/634.48	c current bound: 1821
620.25/635.10	c current bound: 1821
621.14/635.72	c current bound: 1821
621.48/636.32	c current bound: 1821
622.33/636.94	c current bound: 1821
622.71/637.56	c current bound: 1821
623.61/638.23	c current bound: 1821
623.95/638.85	c current bound: 1821
624.56/639.48	c current bound: 1821
625.48/640.12	c current bound: 1821
625.84/640.74	c current bound: 1821
626.68/641.36	c current bound: 1821
627.08/641.99	c current bound: 1821
627.70/642.61	c current bound: 1821
628.32/643.22	c current bound: 1821
628.94/643.85	c current bound: 1821
629.56/644.47	c current bound: 1821
630.18/645.08	c current bound: 1821
631.08/645.71	c current bound: 1821
631.43/646.33	c current bound: 1821
632.27/646.95	c current bound: 1821
632.66/647.58	c current bound: 1821
633.59/648.35	c current bound: 1821
634.13/648.97	c current bound: 1821
634.55/649.59	c current bound: 1821
635.33/650.19	c current bound: 1821
635.75/650.81	c current bound: 1821
636.38/651.43	c current bound: 1821
637.00/652.06	c current bound: 1821
637.63/652.68	c current bound: 1821
638.24/653.29	c current bound: 1821
638.87/653.91	c current bound: 1821
639.73/654.53	c current bound: 1821
640.11/655.15	c current bound: 1821
640.93/655.77	c current bound: 1821
641.35/656.39	c current bound: 1821
642.24/657.00	c current bound: 1821
642.58/657.62	c current bound: 1821
643.48/658.42	c current bound: 1821
644.04/659.04	c current bound: 1821
644.43/659.63	c current bound: 1821
645.04/660.25	c current bound: 1821
645.65/660.87	c current bound: 1821
646.27/661.47	c current bound: 1821
646.87/662.09	c current bound: 1821
647.49/662.71	c current bound: 1821
648.36/663.59	c current bound: 1821
648.72/664.21	c current bound: 1821
649.36/664.85	c current bound: 1821
650.19/665.47	c current bound: 1821
650.60/666.09	c current bound: 1821
651.48/666.71	c current bound: 1821
651.83/667.33	c current bound: 1821
652.46/667.94	c current bound: 1821
653.35/668.76	c current bound: 1821
653.69/669.38	c current bound: 1821
654.48/669.99	c current bound: 1821
654.93/670.61	c current bound: 1821
655.55/671.23	c current bound: 1821
656.16/671.85	c current bound: 1821
656.78/672.48	c current bound: 1821
657.41/673.10	c current bound: 1821
658.03/673.85	c current bound: 1821
658.85/674.45	c current bound: 1821
659.25/675.07	c current bound: 1821
660.17/675.70	c current bound: 1821
660.49/676.29	c current bound: 1821
661.09/676.91	c current bound: 1821
661.95/677.53	c current bound: 1821
662.33/678.13	c current bound: 1821
663.20/679.08	c current bound: 1821
663.57/679.69	c current bound: 1821
664.45/680.30	c current bound: 1821
665.04/680.92	c current bound: 1821
665.40/681.53	c current bound: 1821
666.23/682.15	c current bound: 1821
666.65/682.77	c current bound: 1821
667.25/683.37	c current bound: 1821
668.12/684.15	c current bound: 1821
668.47/684.76	c current bound: 1821
669.28/685.38	c current bound: 1821
669.70/685.99	c current bound: 1821
670.31/686.59	c current bound: 1821
671.18/687.20	c current bound: 1821
671.53/687.80	c current bound: 1821
672.14/688.41	c current bound: 1821
672.73/689.13	c current bound: 1821
673.57/689.75	c current bound: 1821
673.97/690.36	c current bound: 1821
674.57/690.99	c current bound: 1821
675.47/691.60	c current bound: 1821
675.81/692.20	c current bound: 1821
676.42/692.81	c current bound: 1821
677.04/693.41	c current bound: 1821
677.90/694.16	c current bound: 1821
678.25/694.77	c current bound: 1821
678.86/695.39	c current bound: 1821
679.74/696.00	c current bound: 1821
680.09/696.60	c current bound: 1821
680.71/697.21	c current bound: 1821
681.30/697.82	c current bound: 1821
682.14/698.42	c current bound: 1821
682.78/699.22	c current bound: 1821
683.13/699.82	c current bound: 1821
683.73/700.43	c current bound: 1821
684.34/701.04	c current bound: 1821
684.95/701.64	c current bound: 1821
685.55/702.25	c current bound: 1821
686.37/702.86	c current bound: 1821
686.78/703.46	c current bound: 1821
687.65/704.22	c current bound: 1821
687.98/704.83	c current bound: 1821
688.59/705.44	c current bound: 1821
689.21/706.05	c current bound: 1821
689.81/706.66	c current bound: 1821
690.62/707.27	c current bound: 1821
691.04/707.88	c current bound: 1821
691.81/708.49	c current bound: 1821
692.26/709.25	c current bound: 1821
692.86/709.86	c current bound: 1821
693.46/710.46	c current bound: 1821
694.06/711.07	c current bound: 1821
694.86/711.68	c current bound: 1821
695.28/712.28	c current bound: 1821
696.15/712.91	c current bound: 1821
696.50/713.51	c current bound: 1821
697.37/714.26	c current bound: 1821
697.72/714.86	c current bound: 1821
698.32/715.47	c current bound: 1821
699.11/716.08	c current bound: 1821
699.55/716.69	c current bound: 1821
700.40/717.31	c current bound: 1821
700.77/717.92	c current bound: 1821
701.38/718.53	c current bound: 1821
701.98/719.29	c current bound: 1821
702.60/719.90	c current bound: 1821
703.36/720.50	c current bound: 1821
703.82/721.11	c current bound: 1821
704.66/721.74	c current bound: 1821
705.05/722.35	c current bound: 1821
705.67/722.97	c current bound: 1821
706.29/723.58	c current bound: 1821
707.16/724.52	c current bound: 1821
707.48/725.12	c current bound: 1821
708.10/725.73	c current bound: 1821
708.71/726.34	c current bound: 1821
709.33/726.95	c current bound: 1821
709.92/727.55	c current bound: 1821
710.73/728.15	c current bound: 1821
711.14/728.76	c current bound: 1821
712.02/729.55	c current bound: 1821
712.38/730.15	c current bound: 1821
712.99/730.77	c current bound: 1821
713.60/731.39	c current bound: 1821
714.49/732.00	c current bound: 1821
715.08/732.61	c current bound: 1821
715.45/733.22	c current bound: 1821
716.29/733.85	c current bound: 1821
716.96/734.83	c current bound: 1821
717.30/735.44	c current bound: 1821
718.12/736.07	c current bound: 1821
718.54/736.68	c current bound: 1821
719.16/737.28	c current bound: 1821
719.77/737.89	c current bound: 1821
720.64/738.50	c current bound: 1821
721.51/739.11	c current bound: 1821
721.59/739.93	c current bound: 1821
722.19/740.54	c current bound: 1821
722.81/741.14	c current bound: 1821
723.42/741.75	c current bound: 1821
724.03/742.36	c current bound: 1821
724.63/742.97	c current bound: 1821
725.43/743.58	c current bound: 1821
725.86/744.19	c current bound: 1821
726.73/745.11	c current bound: 1821
727.31/745.72	c current bound: 1821
727.69/746.32	c current bound: 1821
728.52/746.94	c current bound: 1821
728.91/747.55	c current bound: 1821
729.72/748.16	c current bound: 1821
730.12/748.77	c current bound: 1821
730.74/749.37	c current bound: 1821
731.60/750.16	c current bound: 1821
731.96/750.77	c current bound: 1821
732.73/751.39	c current bound: 1821
733.19/752.00	c current bound: 1821
733.79/752.61	c current bound: 1821
734.39/753.21	c current bound: 1821
735.01/753.82	c current bound: 1821
735.61/754.43	c current bound: 1821
736.22/755.38	c current bound: 1821
736.82/755.98	c current bound: 1821
737.43/756.59	c current bound: 1821
738.02/757.20	c current bound: 1821
738.87/757.81	c current bound: 1821
739.24/758.42	c current bound: 1821
740.07/759.04	c current bound: 1821
740.47/759.64	c current bound: 1821
741.28/760.27	c current bound: 1821
741.71/760.88	c current bound: 1821
742.32/761.49	c current bound: 1821
742.92/762.10	c current bound: 1821
743.54/762.70	c current bound: 1821
744.39/763.31	c current bound: 1821
744.74/763.92	c current bound: 1821
745.58/764.54	c current bound: 1821
745.98/765.14	c current bound: 1821
746.79/765.77	c current bound: 1821
747.21/766.38	c current bound: 1821
747.82/766.98	c current bound: 1821
748.42/767.59	c current bound: 1821
749.03/768.20	c current bound: 1821
749.88/768.82	c current bound: 1821
750.26/769.43	c current bound: 1821
751.10/770.05	c current bound: 1821
751.77/770.73	c current bound: 1821
752.09/771.35	c current bound: 1821
752.71/771.96	c current bound: 1821
753.33/772.58	c current bound: 1821
753.95/773.20	c current bound: 1821
754.58/773.82	c current bound: 1821
755.43/774.43	c current bound: 1821
755.80/775.05	c current bound: 1821
756.63/775.67	c current bound: 1821
757.04/776.31	c current bound: 1821
757.68/776.92	c current bound: 1821
758.31/777.57	c current bound: 1821
759.24/778.20	c current bound: 1821
759.83/778.81	c current bound: 1821
760.19/779.46	c current bound: 1821
761.04/780.08	c current bound: 1821
761.73/780.70	c current bound: 1821
762.07/781.32	c current bound: 1821
762.70/781.93	c current bound: 1821
763.31/782.55	c current bound: 1821
764.14/783.17	c current bound: 1821
764.56/783.79	c current bound: 1821
765.44/784.41	c current bound: 1821
765.79/785.03	c current bound: 1821
766.41/785.69	c current bound: 1821
767.04/786.30	c current bound: 1821
767.65/786.93	c current bound: 1821
768.51/787.55	c current bound: 1821
768.90/788.16	c current bound: 1821
769.70/788.79	c current bound: 1821
770.14/789.41	c current bound: 1821
770.76/790.03	c current bound: 1821
771.37/790.66	c current bound: 1821
772.00/791.28	c current bound: 1821
772.63/791.90	c current bound: 1821
773.26/792.52	c current bound: 1821
774.09/793.13	c current bound: 1821
774.48/793.75	c current bound: 1821
775.31/794.38	c current bound: 1821
775.74/794.99	c current bound: 1821
776.62/795.79	c current bound: 1821
777.26/796.41	c current bound: 1821
777.60/797.03	c current bound: 1821
778.44/797.65	c current bound: 1821
778.82/798.27	c current bound: 1821
779.45/798.89	c current bound: 1821
780.07/799.51	c current bound: 1821
780.71/800.16	c current bound: 1821
781.54/800.79	c current bound: 1821
781.96/801.40	c current bound: 1821
782.82/802.02	c current bound: 1821
783.19/802.65	c current bound: 1821
783.83/803.27	c current bound: 1821
784.45/803.89	c current bound: 1821
785.06/804.51	c current bound: 1821
785.93/805.13	c current bound: 1821
786.31/805.95	c current bound: 1821
786.92/806.57	c current bound: 1821
787.53/807.18	c current bound: 1821
788.16/807.81	c current bound: 1821
789.03/808.42	c current bound: 1821
789.40/809.05	c current bound: 1821
790.24/809.67	c current bound: 1821
790.65/810.28	c current bound: 1821
791.27/811.09	c current bound: 1821
792.17/811.70	c current bound: 1821
792.49/812.33	c current bound: 1821
793.36/812.95	c current bound: 1821
793.76/813.57	c current bound: 1821
794.37/814.17	c current bound: 1821
794.97/814.79	c current bound: 1821
795.60/815.41	c current bound: 1821
796.49/816.17	c current bound: 1821
796.82/816.77	c current bound: 1821
797.63/817.39	c current bound: 1821
798.05/818.00	c current bound: 1821
798.67/818.62	c current bound: 1821
799.28/819.24	c current bound: 1821
799.90/819.86	c current bound: 1821
800.52/820.48	c current bound: 1821
801.15/821.34	c current bound: 1821
801.73/821.97	c current bound: 1821
802.36/822.58	c current bound: 1821
802.98/823.21	c current bound: 1821
803.86/823.83	c current bound: 1821
804.23/824.44	c current bound: 1821
805.06/825.06	c current bound: 1821
805.46/825.68	c current bound: 1821
806.09/826.31	c current bound: 1821
806.71/826.93	c current bound: 1821
807.33/827.55	c current bound: 1821
807.96/828.17	c current bound: 1821
808.59/828.77	c current bound: 1821
809.35/829.39	c current bound: 1821
809.80/830.01	c current bound: 1821
810.65/830.63	c current bound: 1821
811.02/831.25	c current bound: 1821
811.65/831.88	c current bound: 1821
812.55/832.50	c current bound: 1821
812.89/833.12	c current bound: 1821
813.77/833.74	c current bound: 1821
814.13/834.36	c current bound: 1821
814.95/834.98	c current bound: 1821
815.37/835.60	c current bound: 1821
816.00/836.22	c current bound: 1821
816.62/836.85	c current bound: 1821
817.24/837.48	c current bound: 1821
817.87/838.09	c current bound: 1821
818.49/838.71	c current bound: 1821
819.36/839.33	c current bound: 1821
819.72/839.95	c current bound: 1821
820.54/840.55	c current bound: 1821
820.95/841.17	c current bound: 1821
821.57/841.79	c current bound: 1821
822.18/842.41	c current bound: 1821
822.81/843.03	c current bound: 1821
823.66/843.65	c current bound: 1821
824.05/844.24	c current bound: 1821
824.87/844.87	c current bound: 1821
825.27/845.48	c current bound: 1821
825.89/846.11	c current bound: 1821
826.51/846.74	c current bound: 1821
827.13/847.36	c current bound: 1821
827.75/847.98	c current bound: 1821
828.38/848.62	c current bound: 1821
829.25/849.24	c current bound: 1821
829.63/849.87	c current bound: 1821
830.26/850.47	c current bound: 1821
830.87/851.09	c current bound: 1821
831.48/851.83	c current bound: 1821
832.33/852.46	c current bound: 1821
832.73/853.08	c current bound: 1821
833.52/853.68	c current bound: 1821
833.94/854.32	c current bound: 1821
834.58/854.94	c current bound: 1821
835.21/855.56	c current bound: 1821
835.83/856.18	c current bound: 1821
836.73/857.04	c current bound: 1821
837.06/857.66	c current bound: 1821
837.68/858.27	c current bound: 1821
838.30/858.87	c current bound: 1821
838.91/859.51	c current bound: 1821
839.78/860.12	c current bound: 1821
840.15/860.74	c current bound: 1821
841.00/861.36	c current bound: 1821
841.40/862.08	c current bound: 1821
842.01/862.68	c current bound: 1821
842.62/863.30	c current bound: 1821
843.24/863.92	c current bound: 1821
844.10/864.54	c current bound: 1821
844.47/865.16	c current bound: 1821
845.29/865.78	c current bound: 1821
845.71/866.42	c current bound: 1821
846.36/867.43	c current bound: 1821
847.22/868.04	c current bound: 1821
847.60/868.66	c current bound: 1821
848.22/869.29	c current bound: 1821
848.84/869.90	c current bound: 1821
849.46/870.52	c current bound: 1821
850.32/871.14	c current bound: 1821
850.71/871.76	c current bound: 1821
851.60/872.42	c current bound: 1821
851.94/873.04	c current bound: 1821
852.57/873.66	c current bound: 1821
853.20/874.27	c current bound: 1821
853.82/874.89	c current bound: 1821
854.68/875.51	c current bound: 1821
855.06/876.12	c current bound: 1821
855.89/876.74	c current bound: 1821
856.28/877.36	c current bound: 1821
856.89/877.97	c current bound: 1821
857.51/878.59	c current bound: 1821
858.14/879.23	c current bound: 1821
858.77/879.84	c current bound: 1821
859.39/880.47	c current bound: 1821
860.19/881.08	c current bound: 1821
860.89/881.70	c current bound: 1821
861.49/882.32	c current bound: 1821
861.86/882.94	c current bound: 1821
862.48/883.55	c current bound: 1821
863.09/884.18	c current bound: 1821
863.73/884.79	c current bound: 1821
864.59/885.41	c current bound: 1821
864.96/886.03	c current bound: 1821
865.78/886.65	c current bound: 1821
866.46/887.34	c current bound: 1821
866.82/887.96	c current bound: 1821
867.45/888.59	c current bound: 1821
868.05/889.20	c current bound: 1821
868.92/889.82	c current bound: 1821
869.30/890.44	c current bound: 1821
870.13/891.05	c current bound: 1821
870.54/891.67	c current bound: 1821
871.15/892.47	c current bound: 1821
871.78/893.09	c current bound: 1821
872.38/893.69	c current bound: 1821
873.26/894.31	c current bound: 1821
873.59/894.91	c current bound: 1821
874.43/895.52	c current bound: 1821
874.82/896.12	c current bound: 1821
875.43/896.73	c current bound: 1821
876.28/897.68	c current bound: 1821
876.63/898.30	c current bound: 1821
877.25/898.91	c current bound: 1821
877.86/899.52	c current bound: 1821
878.48/900.12	c current bound: 1821
879.08/900.73	c current bound: 1821
879.70/901.34	c current bound: 1821
880.52/901.95	c current bound: 1821
880.91/902.69	c current bound: 1821
881.53/903.29	c current bound: 1821
882.13/903.91	c current bound: 1821
882.76/904.51	c current bound: 1821
883.36/905.12	c current bound: 1821
883.95/905.73	c current bound: 1821
884.78/906.34	c current bound: 1821
885.17/906.96	c current bound: 1821
886.07/907.88	c current bound: 1821
886.70/908.60	c current bound: 1821
887.03/909.21	c current bound: 1821
887.88/909.82	c current bound: 1821
888.25/910.42	c current bound: 1821
888.85/911.03	c current bound: 1821
889.46/911.63	c current bound: 1821
890.08/912.24	c current bound: 1821
890.67/912.85	c current bound: 1821
891.28/913.45	c current bound: 1821
892.09/914.06	c current bound: 1821
892.50/914.67	c current bound: 1821
893.39/915.30	c current bound: 1821
893.74/915.91	c current bound: 1821
894.35/916.52	c current bound: 1821
894.95/917.12	c current bound: 1821
895.82/918.03	c current bound: 1821
896.38/918.65	c current bound: 1821
896.80/919.27	c current bound: 1821
897.41/919.88	c current bound: 1821
898.01/920.48	c current bound: 1821
898.62/921.09	c current bound: 1821
899.23/921.69	c current bound: 1821
899.84/922.30	c current bound: 1821
900.69/922.91	c current bound: 1821
901.06/923.52	c current bound: 1821
901.88/924.15	c current bound: 1821
902.28/924.76	c current bound: 1821
902.89/925.37	c current bound: 1821
903.49/925.97	c current bound: 1821
904.10/926.57	c current bound: 1821
904.71/927.18	c current bound: 1821
905.31/928.11	c current bound: 1821
905.93/928.72	c current bound: 1821
906.53/929.33	c current bound: 1821
907.14/929.93	c current bound: 1821
907.97/930.55	c current bound: 1821
908.36/931.16	c current bound: 1821
909.16/931.78	c current bound: 1821
909.59/932.38	c current bound: 1821
910.18/932.99	c current bound: 1821
910.81/933.59	c current bound: 1821
911.42/934.20	c current bound: 1821
912.02/934.81	c current bound: 1821
912.62/935.41	c current bound: 1821
913.48/936.02	c current bound: 1821
913.85/936.63	c current bound: 1821
914.68/937.25	c current bound: 1821
915.35/938.13	c current bound: 1821
915.69/938.74	c current bound: 1821
916.50/939.37	c current bound: 1821
916.91/939.97	c current bound: 1821
917.70/940.58	c current bound: 1821
918.41/941.20	c current bound: 1821
918.74/941.80	c current bound: 1821
919.36/942.41	c current bound: 1821
919.98/943.31	c current bound: 1821
920.81/943.92	c current bound: 1821
921.19/944.52	c current bound: 1821
921.80/945.13	c current bound: 1821
922.41/945.74	c current bound: 1821
923.02/946.35	c current bound: 1821
923.63/946.97	c current bound: 1821
924.25/947.57	c current bound: 1821
925.13/948.51	c current bound: 1821
925.47/949.11	c current bound: 1821
926.06/949.73	c current bound: 1821
926.91/950.34	c current bound: 1821
927.29/950.94	c current bound: 1821
928.10/951.56	c current bound: 1821
928.51/952.16	c current bound: 1821
929.12/952.76	c current bound: 1821
929.72/953.52	c current bound: 1821
930.33/954.13	c current bound: 1821
931.16/954.74	c current bound: 1821
931.55/955.35	c current bound: 1821
932.36/955.96	c current bound: 1821
932.77/956.57	c current bound: 1821
933.36/957.18	c current bound: 1821
933.99/957.78	c current bound: 1821
934.60/958.51	c current bound: 1821
935.45/959.12	c current bound: 1821
935.81/959.73	c current bound: 1821
936.65/960.34	c current bound: 1821
937.02/960.94	c current bound: 1821
937.83/961.56	c current bound: 1821
938.25/962.17	c current bound: 1821
938.87/962.78	c current bound: 1821
939.73/963.55	c current bound: 1821
940.09/964.15	c current bound: 1821
940.88/964.77	c current bound: 1821
941.31/965.39	c current bound: 1821
941.93/965.99	c current bound: 1821
942.53/966.60	c current bound: 1821
943.15/967.21	c current bound: 1821
943.76/967.82	c current bound: 1821
944.64/968.79	c current bound: 1821
945.25/969.40	c current bound: 1821
945.58/970.00	c current bound: 1821
946.21/970.61	c current bound: 1821
947.04/971.21	c current bound: 1821
947.42/971.82	c current bound: 1821
948.25/972.43	c current bound: 1821
948.63/973.03	c current bound: 1821
949.48/973.77	c current bound: 1821
949.84/974.37	c current bound: 1821
950.45/974.98	c current bound: 1821
951.05/975.59	c current bound: 1821
951.66/976.19	c current bound: 1821
952.52/976.82	c current bound: 1821
952.90/977.42	c current bound: 1821
953.72/978.05	c current bound: 1821
954.12/978.74	c current bound: 1821
954.73/979.35	c current bound: 1821
955.34/979.95	c current bound: 1821
955.95/980.56	c current bound: 1821
956.74/981.18	c current bound: 1821
957.18/981.79	c current bound: 1821
958.04/982.41	c current bound: 1821
958.41/983.01	c current bound: 1821
959.01/983.62	c current bound: 1821
959.64/984.26	c current bound: 1821
960.23/984.87	c current bound: 1821
960.85/985.47	c current bound: 1821
961.45/986.08	c current bound: 1821
962.23/986.69	c current bound: 1821
962.67/987.30	c current bound: 1821
963.53/987.90	c current bound: 1821
963.88/988.51	c current bound: 1821
964.49/989.11	c current bound: 1821
965.09/989.72	c current bound: 1821
965.73/990.33	c current bound: 1821
966.32/990.94	c current bound: 1821
966.93/991.55	c current bound: 1821
967.74/992.17	c current bound: 1821
968.17/992.78	c current bound: 1821
969.05/993.41	c current bound: 1821
969.40/994.01	c current bound: 1821
970.01/994.62	c current bound: 1821
970.62/995.23	c current bound: 1821
971.22/995.84	c current bound: 1821
971.84/996.45	c current bound: 1821
972.43/997.05	c current bound: 1821
973.25/997.67	c current bound: 1821
973.68/998.27	c current bound: 1821
974.52/999.12	c current bound: 1821
974.89/999.73	c current bound: 1821
975.50/1000.34	c current bound: 1821
976.33/1000.94	c current bound: 1821
976.73/1001.55	c current bound: 1821
977.54/1002.17	c current bound: 1821
977.95/1002.78	c current bound: 1821
978.55/1003.39	c current bound: 1821
979.16/1004.19	c current bound: 1821
979.78/1004.79	c current bound: 1821
980.66/1005.40	c current bound: 1821
980.98/1006.01	c current bound: 1821
981.83/1006.62	c current bound: 1821
982.20/1007.24	c current bound: 1821
982.83/1007.85	c current bound: 1821
983.43/1008.45	c current bound: 1821
984.31/1009.40	c current bound: 1821
984.64/1010.00	c current bound: 1821
985.26/1010.61	c current bound: 1821
985.86/1011.21	c current bound: 1821
986.46/1011.82	c current bound: 1821
987.07/1012.43	c current bound: 1821
987.90/1013.04	c current bound: 1821
988.30/1013.65	c current bound: 1821
989.09/1014.26	c current bound: 1821
989.51/1014.86	c current bound: 1821
990.12/1015.49	c current bound: 1821
991.02/1016.10	c current bound: 1821
991.36/1016.70	c current bound: 1821
991.96/1017.31	c current bound: 1821
992.58/1017.92	c current bound: 1821
993.41/1018.53	c current bound: 1821
993.80/1019.15	c current bound: 1821
994.60/1019.77	c current bound: 1821
995.02/1020.37	c current bound: 1821
995.63/1020.98	c current bound: 1821
996.25/1021.59	c current bound: 1821
997.12/1022.20	c current bound: 1821
997.45/1022.81	c current bound: 1821
998.06/1023.41	c current bound: 1821
998.91/1024.02	c current bound: 1821
999.28/1024.62	c current bound: 1821
1000.10/1025.24	c current bound: 1821
1000.49/1025.85	c current bound: 1821
1001.29/1026.46	c current bound: 1821
1001.71/1027.06	c current bound: 1821
1002.32/1027.67	c current bound: 1821
1002.92/1028.27	c current bound: 1821
1003.53/1028.87	c current bound: 1821
1004.40/1029.75	c current bound: 1821
1004.73/1030.36	c current bound: 1821
1005.36/1030.96	c current bound: 1821
1005.95/1031.57	c current bound: 1821
1006.56/1032.17	c current bound: 1821
1007.17/1032.78	c current bound: 1821
1007.77/1033.39	c current bound: 1821
1008.67/1034.01	c current bound: 1821
1009.00/1034.74	c current bound: 1821
1009.61/1035.35	c current bound: 1821
1010.22/1035.95	c current bound: 1821
1010.84/1036.56	c current bound: 1821
1011.44/1037.16	c current bound: 1821
1012.04/1037.77	c current bound: 1821
1012.83/1038.38	c current bound: 1821
1013.26/1038.99	c current bound: 1821
1014.15/1039.88	c current bound: 1821
1014.48/1040.48	c current bound: 1821
1015.09/1041.09	c current bound: 1821
1015.97/1041.70	c current bound: 1821
1016.31/1042.30	c current bound: 1821
1017.14/1042.91	c current bound: 1821
1017.52/1043.53	c current bound: 1821
1018.13/1044.13	c current bound: 1821
1018.75/1044.90	c current bound: 1821
1019.38/1045.51	c current bound: 1821
1020.23/1046.12	c current bound: 1821
1020.59/1046.73	c current bound: 1821
1021.43/1047.36	c current bound: 1821
1021.84/1047.96	c current bound: 1821
1022.46/1048.57	c current bound: 1821
1023.06/1049.18	c current bound: 1821
1023.93/1050.15	c current bound: 1821
1024.27/1050.76	c current bound: 1821
1024.89/1051.37	c current bound: 1821
1025.51/1051.98	c current bound: 1821
1026.10/1052.58	c current bound: 1821
1026.72/1053.19	c current bound: 1821
1027.59/1053.81	c current bound: 1821
1027.94/1054.41	c current bound: 1821
1028.83/1055.15	c current bound: 1821
1029.17/1055.77	c current bound: 1821
1029.78/1056.37	c current bound: 1821
1030.39/1056.98	c current bound: 1821
1031.00/1057.59	c current bound: 1821
1031.89/1058.20	c current bound: 1821
1032.24/1058.81	c current bound: 1821
1033.07/1059.42	c current bound: 1821
1033.44/1060.02	c current bound: 1821
1034.05/1060.67	c current bound: 1821
1034.65/1061.28	c current bound: 1821
1035.27/1061.88	c current bound: 1821
1035.86/1062.49	c current bound: 1821
1036.49/1063.09	c current bound: 1821
1037.37/1063.71	c current bound: 1821
1037.70/1064.31	c current bound: 1821
1038.54/1064.92	c current bound: 1821
1038.91/1065.53	c current bound: 1821
1039.53/1066.13	c current bound: 1821
1040.14/1066.74	c current bound: 1821
1040.74/1067.35	c current bound: 1821
1041.35/1067.96	c current bound: 1821
1041.96/1068.57	c current bound: 1821
1042.74/1069.18	c current bound: 1821
1043.18/1069.79	c current bound: 1821
1043.94/1070.40	c current bound: 1821
1044.40/1071.00	c current bound: 1821
1044.99/1071.61	c current bound: 1821
1045.61/1072.22	c current bound: 1821
1046.21/1072.83	c current bound: 1821
1046.84/1073.45	c current bound: 1821
1047.46/1074.06	c current bound: 1821
1048.25/1074.69	c current bound: 1821
1048.70/1075.61	c current bound: 1821
1049.30/1076.23	c current bound: 1821
1050.13/1076.84	c current bound: 1821
1050.52/1077.45	c current bound: 1821
1051.34/1078.07	c current bound: 1821
1051.77/1078.68	c current bound: 1821
1052.38/1079.28	c current bound: 1821
1053.26/1079.90	c current bound: 1821
1053.60/1080.51	c current bound: 1821
1054.22/1081.11	c current bound: 1821
1054.83/1081.72	c current bound: 1821
1055.67/1082.33	c current bound: 1821
1056.04/1082.94	c current bound: 1821
1056.84/1083.56	c current bound: 1821
1057.26/1084.17	c current bound: 1821
1057.87/1084.79	c current bound: 1821
1058.50/1085.51	c current bound: 1821
1059.09/1086.12	c current bound: 1821
1059.93/1086.73	c current bound: 1821
1060.32/1087.34	c current bound: 1821
1061.14/1087.96	c current bound: 1821
1061.54/1088.56	c current bound: 1821
1062.15/1089.17	c current bound: 1821
1062.75/1089.78	c current bound: 1821
1063.36/1090.38	c current bound: 1821
1063.98/1090.99	c current bound: 1821
1064.86/1091.60	c current bound: 1821
1065.45/1092.22	c current bound: 1821
1065.82/1092.82	c current bound: 1821
1066.66/1093.45	c current bound: 1821
1067.04/1094.06	c current bound: 1821
1067.66/1094.67	c current bound: 1821
1068.26/1095.28	c current bound: 1821
1068.88/1095.89	c current bound: 1821
1069.75/1096.50	c current bound: 1821
1070.10/1097.11	c current bound: 1821
1070.94/1097.71	c current bound: 1821
1071.31/1098.32	c current bound: 1821
1072.14/1098.93	c current bound: 1821
1072.53/1099.53	c current bound: 1821
1073.35/1100.14	c current bound: 1821
1073.74/1100.75	c current bound: 1821
1074.34/1101.36	c current bound: 1821
1074.96/1101.96	c current bound: 1821
1075.57/1102.57	c current bound: 1821
1076.17/1103.17	c current bound: 1821
1076.78/1103.78	c current bound: 1821
1077.55/1104.39	c current bound: 1821
1077.99/1104.99	c current bound: 1821
1078.87/1105.79	c current bound: 1821
1079.23/1106.40	c current bound: 1821
1079.83/1107.01	c current bound: 1821
1080.68/1107.62	c current bound: 1821
1081.06/1108.23	c current bound: 1821
1081.89/1108.84	c current bound: 1821
1082.28/1109.46	c current bound: 1821
1082.89/1110.08	c current bound: 1821
1083.75/1110.97	c current bound: 1821
1084.11/1111.58	c current bound: 1821
1085.01/1112.20	c current bound: 1821
1085.33/1112.81	c current bound: 1821
1085.93/1113.41	c current bound: 1821
1086.55/1114.02	c current bound: 1821
1087.16/1114.62	c current bound: 1821
1087.76/1115.24	c current bound: 1821
1088.40/1115.95	c current bound: 1821
1089.19/1116.56	c current bound: 1821
1089.60/1117.17	c current bound: 1821
1090.22/1117.77	c current bound: 1821
1090.83/1118.38	c current bound: 1821
1091.44/1118.98	c current bound: 1821
1092.31/1119.60	c current bound: 1821
1092.65/1120.20	c current bound: 1821
1093.51/1120.81	c current bound: 1821
1093.87/1121.59	c current bound: 1821
1094.49/1122.21	c current bound: 1821
1095.11/1122.84	c current bound: 1821
1095.73/1123.46	c current bound: 1821
1096.36/1124.06	c current bound: 1821
1096.96/1124.69	c current bound: 1821
1097.86/1125.31	c current bound: 1821
1098.21/1126.14	c current bound: 1821
1098.83/1126.77	c current bound: 1821
1099.45/1127.38	c current bound: 1821
1100.07/1128.00	c current bound: 1821
1100.95/1128.62	c current bound: 1821
1101.32/1129.25	c current bound: 1821
1102.15/1129.87	c current bound: 1821
1102.56/1130.47	c current bound: 1821
1103.45/1131.30	c current bound: 1821
1104.04/1131.92	c current bound: 1821
1104.41/1132.53	c current bound: 1821
1105.25/1133.16	c current bound: 1821
1105.65/1133.79	c current bound: 1821
1106.29/1134.41	c current bound: 1821
1106.90/1135.03	c current bound: 1821
1107.52/1135.65	c current bound: 1821
1108.35/1136.27	c current bound: 1821
1108.76/1136.89	c current bound: 1821
1109.65/1137.51	c current bound: 1821
1110.02/1138.13	c current bound: 1821
1110.62/1138.75	c current bound: 1821
1111.25/1139.37	c current bound: 1821
1112.17/1140.00	c current bound: 1821
1112.77/1140.62	c current bound: 1821
1113.12/1141.27	c current bound: 1821
1114.02/1141.90	c current bound: 1821
1114.36/1142.52	c current bound: 1821
1114.97/1143.14	c current bound: 1821
1115.59/1143.75	c current bound: 1821
1116.22/1144.38	c current bound: 1821
1116.83/1145.00	c current bound: 1821
1117.45/1145.61	c current bound: 1821
1118.32/1146.24	c current bound: 1821
1118.68/1146.85	c current bound: 1821
1119.50/1147.47	c current bound: 1821
1119.92/1148.09	c current bound: 1821
1120.55/1148.71	c current bound: 1821
1121.16/1149.32	c current bound: 1821
1121.78/1149.94	c current bound: 1821
1122.61/1150.57	c current bound: 1821
1123.01/1151.39	c current bound: 1821
1123.62/1152.01	c current bound: 1821
1124.24/1152.63	c current bound: 1821
1124.86/1153.25	c current bound: 1821
1125.67/1153.87	c current bound: 1821
1126.10/1154.49	c current bound: 1821
1126.98/1155.10	c current bound: 1821
1127.33/1155.72	c current bound: 1821
1127.94/1156.34	c current bound: 1821
1128.57/1156.96	c current bound: 1821
1129.18/1157.57	c current bound: 1821
1129.80/1158.20	c current bound: 1821
1130.43/1158.79	c current bound: 1821
1131.29/1159.41	c current bound: 1821
1131.64/1160.03	c current bound: 1821
1132.48/1160.66	c current bound: 1821
1132.88/1161.39	c current bound: 1821
1133.51/1162.00	c current bound: 1821
1134.38/1162.65	c current bound: 1821
1134.76/1163.26	c current bound: 1821
1135.58/1163.88	c current bound: 1821
1136.00/1164.50	c current bound: 1821
1136.63/1165.12	c current bound: 1821
1137.24/1165.74	c current bound: 1821
1138.15/1166.45	c current bound: 1821
1138.71/1167.08	c current bound: 1821
1139.41/1167.70	c current bound: 1821
1140.01/1168.32	c current bound: 1821
1140.36/1168.94	c current bound: 1821
1140.99/1169.56	c current bound: 1821
1141.61/1170.19	c current bound: 1821
1142.24/1170.81	c current bound: 1821
1143.10/1171.55	c current bound: 1821
1143.46/1172.16	c current bound: 1821
1144.27/1172.76	c current bound: 1821
1144.69/1173.38	c current bound: 1821
1145.30/1173.99	c current bound: 1821
1145.92/1174.61	c current bound: 1821
1146.56/1175.25	c current bound: 1821
1147.40/1175.87	c current bound: 1821
1148.09/1176.65	c current bound: 1821
1148.43/1177.27	c current bound: 1821
1149.05/1177.89	c current bound: 1821
1149.67/1178.51	c current bound: 1821
1150.54/1179.13	c current bound: 1821
1150.91/1179.75	c current bound: 1821
1151.74/1180.37	c current bound: 1821
1152.15/1180.99	c current bound: 1821
1152.78/1181.73	c current bound: 1821
1153.39/1182.35	c current bound: 1821
1154.01/1182.97	c current bound: 1821
1154.82/1183.57	c current bound: 1821
1155.23/1184.19	c current bound: 1821
1156.11/1184.80	c current bound: 1821
1156.47/1185.42	c current bound: 1821
1157.09/1186.04	c current bound: 1821
1158.01/1186.79	c current bound: 1821
1158.33/1187.41	c current bound: 1821
1159.21/1188.02	c current bound: 1821
1159.57/1188.65	c current bound: 1821
1160.40/1189.28	c current bound: 1821
1160.83/1189.91	c current bound: 1821
1161.45/1190.51	c current bound: 1821
1162.06/1191.14	c current bound: 1821
1162.98/1191.90	c current bound: 1821
1163.57/1192.52	c current bound: 1821
1163.93/1193.14	c current bound: 1821
1164.55/1193.75	c current bound: 1821
1165.17/1194.37	c current bound: 1821
1165.78/1195.01	c current bound: 1821
1166.67/1195.62	c current bound: 1821
1167.03/1196.24	c current bound: 1821
1167.92/1197.24	c current bound: 1821
1168.49/1197.86	c current bound: 1821
1168.88/1198.48	c current bound: 1821
1169.78/1199.10	c current bound: 1821
1170.13/1199.72	c current bound: 1821
1170.75/1200.34	c current bound: 1821
1171.36/1200.96	c current bound: 1821
1171.99/1201.58	c current bound: 1821
1172.91/1202.20	c current bound: 1821
1173.23/1202.82	c current bound: 1821
1174.09/1203.45	c current bound: 1821
1174.49/1204.07	c current bound: 1821
1175.11/1204.67	c current bound: 1821
1175.70/1205.29	c current bound: 1821
1176.33/1205.91	c current bound: 1821
1176.95/1206.53	c current bound: 1821
1177.84/1207.22	c current bound: 1821
1178.43/1207.84	c current bound: 1821
1178.79/1208.46	c current bound: 1821
1179.60/1209.07	c current bound: 1821
1180.02/1209.69	c current bound: 1821
1180.66/1210.31	c current bound: 1821
1181.26/1210.93	c current bound: 1821
1181.89/1211.55	c current bound: 1821
1182.71/1212.17	c current bound: 1821
1183.12/1212.79	c current bound: 1821
1184.00/1213.41	c current bound: 1821
1184.36/1214.04	c current bound: 1821
1184.99/1214.66	c current bound: 1821
1185.61/1215.28	c current bound: 1821
1186.53/1215.90	c current bound: 1821
1187.11/1216.53	c current bound: 1821
1187.47/1217.27	c current bound: 1821
1188.10/1217.86	c current bound: 1821
1188.71/1218.49	c current bound: 1821
1189.31/1219.08	c current bound: 1821
1189.93/1219.68	c current bound: 1821
1190.53/1220.31	c current bound: 1821
1191.38/1220.93	c current bound: 1821
1191.76/1221.54	c current bound: 1821
1192.67/1222.24	c current bound: 1821
1193.00/1222.86	c current bound: 1821
1193.90/1223.57	c current bound: 1821
1194.23/1224.19	c current bound: 1821
1194.85/1224.81	c current bound: 1821
1195.72/1225.44	c current bound: 1821
1196.11/1226.06	c current bound: 1821
1196.91/1226.68	c current bound: 1821
1197.61/1227.60	c current bound: 1821
1198.23/1228.20	c current bound: 1821
1198.82/1228.80	c current bound: 1821
1199.42/1229.40	c current bound: 1821
1200.03/1230.00	c current bound: 1821
1200.64/1230.60	c current bound: 1821
1200.96/1231.21	c current bound: 1821
1201.57/1231.81	c current bound: 1821
1202.16/1232.57	c current bound: 1821
1202.97/1233.17	c current bound: 1821
1203.36/1233.76	c current bound: 1821
1203.96/1234.38	c current bound: 1821
1204.58/1234.98	c current bound: 1821
1205.18/1235.59	c current bound: 1821
1205.78/1236.19	c current bound: 1821
1206.40/1236.81	c current bound: 1821
1207.27/1237.40	c current bound: 1821
1207.59/1238.08	c current bound: 1821
1208.38/1238.68	c current bound: 1821
1208.80/1239.28	c current bound: 1821
1209.40/1239.88	c current bound: 1821
1209.99/1240.48	c current bound: 1821
1210.61/1241.09	c current bound: 1821
1211.20/1241.69	c current bound: 1821
1211.81/1242.29	c current bound: 1821
1212.40/1242.89	c current bound: 1821
1212.99/1243.49	c current bound: 1821
1213.77/1244.09	c current bound: 1821
1214.20/1244.69	c current bound: 1821
1214.96/1245.29	c current bound: 1821
1215.39/1245.89	c current bound: 1821
1216.00/1246.49	c current bound: 1821
1216.59/1247.09	c current bound: 1821
1217.20/1248.06	c current bound: 1821
1218.00/1248.66	c current bound: 1821
1218.40/1249.26	c current bound: 1821
1219.02/1249.88	c current bound: 1821
1219.62/1250.48	c current bound: 1821
1220.22/1251.08	c current bound: 1821
1220.82/1251.69	c current bound: 1821
1221.42/1252.30	c current bound: 1821
1222.30/1253.05	c current bound: 1821
1222.66/1253.65	c current bound: 1821
1223.27/1254.26	c current bound: 1821
1223.85/1254.86	c current bound: 1821
1224.45/1255.46	c current bound: 1821
1225.06/1256.06	c current bound: 1821
1225.65/1256.66	c current bound: 1821
1226.44/1257.26	c current bound: 1821
1226.85/1257.85	c current bound: 1821
1227.45/1258.60	c current bound: 1821
1228.05/1259.20	c current bound: 1821
1228.66/1259.81	c current bound: 1821
1229.25/1260.41	c current bound: 1821
1229.88/1261.02	c current bound: 1821
1230.71/1261.62	c current bound: 1821
1231.06/1262.22	c current bound: 1821
1231.91/1262.82	c current bound: 1821
1232.29/1263.47	c current bound: 1821
1232.90/1264.07	c current bound: 1821
1233.48/1264.67	c current bound: 1821
1234.09/1265.28	c current bound: 1821
1234.69/1265.88	c current bound: 1821
1235.31/1266.50	c current bound: 1821
1236.16/1267.11	c current bound: 1821
1236.52/1267.71	c current bound: 1821
1237.38/1268.37	c current bound: 1821
1237.72/1268.97	c current bound: 1821
1238.31/1269.58	c current bound: 1821
1238.92/1270.18	c current bound: 1821
1239.52/1270.78	c current bound: 1821
1240.13/1271.38	c current bound: 1821
1241.00/1272.00	c current bound: 1821
1241.33/1272.59	c current bound: 1821
1242.20/1273.22	c current bound: 1821
1242.76/1273.83	c current bound: 1821
1243.14/1274.43	c current bound: 1821
1243.97/1275.03	c current bound: 1821
1244.35/1275.63	c current bound: 1821
1244.94/1276.24	c current bound: 1821
1245.55/1276.84	c current bound: 1821
1246.15/1277.44	c current bound: 1821
1246.75/1278.04	c current bound: 1821
1247.34/1278.64	c current bound: 1821
1248.16/1279.24	c current bound: 1821
1248.55/1279.84	c current bound: 1821
1249.37/1280.43	c current bound: 1821
1249.73/1281.03	c current bound: 1821
1250.56/1281.63	c current bound: 1821
1250.94/1282.23	c current bound: 1821
1251.54/1282.84	c current bound: 1821
1252.15/1283.49	c current bound: 1821
1252.74/1284.09	c current bound: 1821
1253.34/1284.69	c current bound: 1821
1253.94/1285.28	c current bound: 1821
1254.73/1285.88	c current bound: 1821
1255.14/1286.48	c current bound: 1821
1255.91/1287.08	c current bound: 1821
1256.34/1287.68	c current bound: 1821
1256.95/1288.28	c current bound: 1821
1257.53/1288.93	c current bound: 1821
1258.15/1289.53	c current bound: 1821
1258.75/1290.13	c current bound: 1821
1259.35/1290.73	c current bound: 1821
1260.17/1291.33	c current bound: 1821
1260.54/1291.93	c current bound: 1821
1261.38/1292.53	c current bound: 1821
1261.74/1293.13	c current bound: 1821
1262.56/1293.72	c current bound: 1821
1262.93/1294.32	c current bound: 1821
1263.54/1294.93	c current bound: 1821
1264.14/1295.53	c current bound: 1821
1264.75/1296.14	c current bound: 1821
1265.36/1296.74	c current bound: 1821
1265.95/1297.34	c current bound: 1821
1266.76/1297.94	c current bound: 1821
1267.15/1298.53	c current bound: 1821
1267.96/1299.13	c current bound: 1821
1268.35/1299.74	c current bound: 1821
1269.16/1300.34	c current bound: 1821
1269.54/1300.93	c current bound: 1821
1270.15/1301.54	c current bound: 1821
1270.75/1302.14	c current bound: 1821
1271.35/1302.76	c current bound: 1821
1271.96/1303.37	c current bound: 1821
1272.58/1304.01	c current bound: 1821
1273.42/1304.61	c current bound: 1821
1273.78/1305.22	c current bound: 1821
1274.61/1305.82	c current bound: 1821
1274.98/1306.42	c current bound: 1821
1275.58/1307.03	c current bound: 1821
1276.19/1307.63	c current bound: 1821
1276.79/1308.25	c current bound: 1821
1277.40/1308.85	c current bound: 1821
1278.00/1309.44	c current bound: 1821
1278.81/1310.04	c current bound: 1821
1279.20/1310.64	c current bound: 1821
1280.01/1311.24	c current bound: 1821
1280.39/1311.84	c current bound: 1821
1281.21/1312.44	c current bound: 1821
1281.60/1313.05	c current bound: 1821
1282.47/1313.80	c current bound: 1821
1282.81/1314.40	c current bound: 1821
1283.68/1315.00	c current bound: 1821
1284.18/1315.59	c current bound: 1821
1284.87/1316.20	c current bound: 1821
1285.36/1316.79	c current bound: 1821
1285.81/1317.39	c current bound: 1821
1286.39/1317.99	c current bound: 1821
1287.00/1318.59	c current bound: 1821
1287.61/1319.21	c current bound: 1821
1288.21/1319.81	c current bound: 1821
1288.81/1320.43	c current bound: 1821
1289.66/1321.03	c current bound: 1821
1290.02/1321.63	c current bound: 1821
1290.85/1322.23	c current bound: 1821
1291.22/1322.83	c current bound: 1821
1292.05/1323.43	c current bound: 1821
1292.42/1324.03	c current bound: 1821
1293.02/1324.64	c current bound: 1821
1293.62/1325.24	c current bound: 1821
1294.24/1325.86	c current bound: 1821
1294.84/1326.46	c current bound: 1821
1295.44/1327.06	c current bound: 1821
1296.26/1327.66	c current bound: 1821
1296.64/1328.26	c current bound: 1821
1297.51/1328.90	c current bound: 1821
1297.84/1329.50	c current bound: 1821
1298.44/1330.10	c current bound: 1821
1299.31/1330.70	c current bound: 1821
1299.65/1331.30	c current bound: 1821
1300.24/1331.90	c current bound: 1821
1300.87/1332.53	c current bound: 1821
1301.69/1333.13	c current bound: 1821
1302.08/1333.73	c current bound: 1821
1302.86/1334.36	c current bound: 1821
1303.26/1334.96	c current bound: 1821
1304.06/1335.56	c current bound: 1821
1304.47/1336.16	c current bound: 1821
1305.08/1336.76	c current bound: 1821
1305.66/1337.36	c current bound: 1821
1306.28/1337.99	c current bound: 1821
1306.89/1338.59	c current bound: 1821
1307.49/1339.19	c current bound: 1821
1308.27/1339.79	c current bound: 1821
1308.69/1340.39	c current bound: 1821
1309.45/1340.99	c current bound: 1821
1309.89/1341.59	c current bound: 1821
1310.49/1342.19	c current bound: 1821
1311.08/1342.79	c current bound: 1821
1311.70/1343.40	c current bound: 1821
1312.56/1344.15	c current bound: 1821
1312.90/1344.75	c current bound: 1821
1313.71/1345.36	c current bound: 1821
1314.11/1345.96	c current bound: 1821
1314.90/1346.56	c current bound: 1821
1315.31/1347.16	c current bound: 1821
1315.92/1347.76	c current bound: 1821
1316.52/1348.36	c current bound: 1821
1317.14/1348.98	c current bound: 1821
1317.99/1349.70	c current bound: 1821
1318.32/1350.30	c current bound: 1821
1319.18/1350.90	c current bound: 1821
1319.79/1351.50	c current bound: 1821
1320.12/1352.10	c current bound: 1821
1320.73/1352.70	c current bound: 1821
1321.33/1353.31	c current bound: 1821
1321.92/1353.91	c current bound: 1821
1322.54/1354.52	c current bound: 1821
1323.38/1355.12	c current bound: 1821
1323.75/1355.72	c current bound: 1821
1324.57/1356.32	c current bound: 1821
1324.94/1356.92	c current bound: 1821
1325.77/1357.52	c current bound: 1821
1326.12/1358.11	c current bound: 1821
1326.74/1358.72	c current bound: 1821
1327.59/1359.59	c current bound: 1821
1327.93/1360.19	c current bound: 1821
1328.71/1360.79	c current bound: 1821
1329.12/1361.38	c current bound: 1821
1329.74/1361.99	c current bound: 1821
1330.33/1362.59	c current bound: 1821
1330.94/1363.20	c current bound: 1821
1331.53/1363.80	c current bound: 1821
1332.41/1364.75	c current bound: 1821
1332.75/1365.36	c current bound: 1821
1333.34/1365.96	c current bound: 1821
1333.95/1366.57	c current bound: 1821
1334.55/1367.17	c current bound: 1821
1335.17/1367.77	c current bound: 1821
1335.94/1368.37	c current bound: 1821
1336.35/1368.99	c current bound: 1821
1337.23/1369.73	c current bound: 1821
1337.58/1370.32	c current bound: 1821
1338.18/1370.93	c current bound: 1821
1338.78/1371.53	c current bound: 1821
1339.39/1372.13	c current bound: 1821
1340.22/1372.73	c current bound: 1821
1340.57/1373.33	c current bound: 1821
1341.41/1373.93	c current bound: 1821
1341.78/1374.53	c current bound: 1821
1342.59/1375.15	c current bound: 1821
1343.00/1375.75	c current bound: 1821
1343.60/1376.36	c current bound: 1821
1344.20/1376.96	c current bound: 1821
1344.81/1377.56	c current bound: 1821
1345.40/1378.16	c current bound: 1821
1346.00/1378.76	c current bound: 1821
1346.80/1379.36	c current bound: 1821
1347.21/1379.96	c current bound: 1821
1348.00/1380.56	c current bound: 1821
1348.40/1381.16	c current bound: 1821
1349.20/1381.76	c current bound: 1821
1349.62/1382.36	c current bound: 1821
1350.22/1382.97	c current bound: 1821
1350.81/1383.57	c current bound: 1821
1351.44/1384.19	c current bound: 1821
1352.30/1385.04	c current bound: 1821
1352.63/1385.64	c current bound: 1821
1353.24/1386.24	c current bound: 1821
1353.84/1386.84	c current bound: 1821
1354.44/1387.46	c current bound: 1821
1355.05/1388.06	c current bound: 1821
1355.66/1388.66	c current bound: 1821
1356.45/1389.25	c current bound: 1821
1356.85/1390.00	c current bound: 1821
1357.45/1390.61	c current bound: 1821
1358.05/1391.21	c current bound: 1821
1358.65/1391.82	c current bound: 1821
1359.26/1392.42	c current bound: 1821
1359.85/1393.01	c current bound: 1821
1360.68/1393.61	c current bound: 1821
1361.05/1394.21	c current bound: 1821
1361.90/1394.81	c current bound: 1821
1362.24/1395.46	c current bound: 1821
1363.03/1396.05	c current bound: 1821
1363.44/1396.66	c current bound: 1821
1364.04/1397.26	c current bound: 1821
1364.63/1397.86	c current bound: 1821
1365.51/1398.63	c current bound: 1821
1366.08/1399.23	c current bound: 1821
1366.45/1399.84	c current bound: 1821
1367.05/1400.49	c current bound: 1821
1367.68/1401.09	c current bound: 1821
1368.55/1401.70	c current bound: 1821
1369.16/1402.30	c current bound: 1821
1369.76/1402.90	c current bound: 1821
1370.08/1403.50	c current bound: 1821
1370.95/1404.10	c current bound: 1821
1371.44/1404.70	c current bound: 1821
1372.15/1405.30	c current bound: 1821
1372.63/1405.89	c current bound: 1821
1373.07/1406.49	c current bound: 1821
1373.68/1407.11	c current bound: 1821
1374.28/1407.70	c current bound: 1821
1374.88/1408.31	c current bound: 1821
1375.49/1408.91	c current bound: 1821
1376.10/1409.53	c current bound: 1821
1376.95/1410.19	c current bound: 1821
1377.59/1410.80	c current bound: 1821
1378.18/1411.40	c current bound: 1821
1378.51/1412.00	c current bound: 1821
1379.12/1412.60	c current bound: 1821
1379.70/1413.20	c current bound: 1821
1380.31/1413.81	c current bound: 1821
1380.92/1414.41	c current bound: 1821
1381.53/1415.01	c current bound: 1821
1382.36/1415.61	c current bound: 1821
1382.72/1416.21	c current bound: 1821
1383.58/1416.82	c current bound: 1821
1383.92/1417.42	c current bound: 1821
1384.76/1418.01	c current bound: 1821
1385.13/1418.61	c current bound: 1821
1385.72/1419.22	c current bound: 1821
1386.32/1419.82	c current bound: 1821
1386.94/1420.57	c current bound: 1821
1387.73/1421.17	c current bound: 1821
1388.12/1421.78	c current bound: 1821
1388.92/1422.37	c current bound: 1821
1389.34/1422.98	c current bound: 1821
1389.94/1423.58	c current bound: 1821
1390.54/1424.18	c current bound: 1821
1391.15/1424.78	c current bound: 1821
1391.75/1425.38	c current bound: 1821
1392.35/1426.09	c current bound: 1821
1393.10/1426.69	c current bound: 1821
1393.55/1427.29	c current bound: 1821
1394.30/1427.89	c current bound: 1821
1394.74/1428.49	c current bound: 1821
1395.34/1429.09	c current bound: 1821
1395.95/1429.70	c current bound: 1821
1396.56/1430.32	c current bound: 1821
1397.16/1430.91	c current bound: 1821
1397.76/1431.51	c current bound: 1821
1398.61/1432.13	c current bound: 1821
1398.98/1432.74	c current bound: 1821
1399.80/1433.38	c current bound: 1821
1400.20/1433.98	c current bound: 1821
1400.80/1434.60	c current bound: 1821
1401.42/1435.20	c current bound: 1821
1402.03/1436.08	c current bound: 1821
1402.81/1436.67	c current bound: 1821
1403.24/1437.27	c current bound: 1821
1403.84/1437.88	c current bound: 1821
1404.44/1438.48	c current bound: 1821
1405.32/1439.10	c current bound: 1821
1405.92/1439.70	c current bound: 1821
1406.26/1440.32	c current bound: 1821
1407.13/1441.03	c current bound: 1821
1407.48/1441.62	c current bound: 1821
1408.31/1442.23	c current bound: 1821
1408.68/1442.82	c current bound: 1821
1409.27/1443.43	c current bound: 1821
1409.88/1444.02	c current bound: 1821
1410.47/1444.63	c current bound: 1821
1411.08/1445.23	c current bound: 1821
1411.67/1445.83	c current bound: 1821
1412.51/1446.53	c current bound: 1821
1412.89/1447.13	c current bound: 1821
1413.69/1447.72	c current bound: 1821
1414.08/1448.32	c current bound: 1821
1414.70/1448.93	c current bound: 1821
1415.29/1449.52	c current bound: 1821
1415.88/1450.14	c current bound: 1821
1416.49/1450.73	c current bound: 1821
1417.09/1451.33	c current bound: 1821
1417.90/1451.93	c current bound: 1821
1418.29/1452.53	c current bound: 1821
1419.11/1453.12	c current bound: 1821
1419.49/1453.72	c current bound: 1821
1420.30/1454.33	c current bound: 1821
1420.69/1454.92	c current bound: 1821
1421.28/1455.53	c current bound: 1821
1422.13/1456.38	c current bound: 1821
1422.50/1456.99	c current bound: 1821
1423.28/1457.59	c current bound: 1821
1423.70/1458.19	c current bound: 1821
1424.30/1458.79	c current bound: 1821
1424.90/1459.39	c current bound: 1821
1425.51/1460.00	c current bound: 1821
1426.38/1460.60	c current bound: 1821
1426.71/1461.34	c current bound: 1821
1427.53/1461.94	c current bound: 1821
1427.90/1462.53	c current bound: 1821
1428.73/1463.13	c current bound: 1821
1429.10/1463.73	c current bound: 1821
1429.70/1464.34	c current bound: 1821
1430.30/1464.94	c current bound: 1821
1430.92/1465.56	c current bound: 1821
1431.52/1466.16	c current bound: 1821
1432.12/1466.82	c current bound: 1821
1432.96/1467.43	c current bound: 1821
1433.32/1468.02	c current bound: 1821
1434.14/1468.63	c current bound: 1821
1434.52/1469.22	c current bound: 1821
1435.13/1469.83	c current bound: 1821
1435.73/1470.42	c current bound: 1821
1436.33/1471.04	c current bound: 1821
1436.94/1471.66	c current bound: 1821
1437.53/1472.26	c current bound: 1821
1438.35/1472.85	c current bound: 1821
1438.73/1473.46	c current bound: 1821
1439.54/1474.06	c current bound: 1821
1439.94/1474.66	c current bound: 1821
1440.74/1475.26	c current bound: 1821
1441.14/1475.85	c current bound: 1821
1441.74/1476.89	c current bound: 1821
1442.35/1477.49	c current bound: 1821
1442.95/1478.09	c current bound: 1821
1443.55/1478.69	c current bound: 1821
1444.14/1479.29	c current bound: 1821
1444.75/1479.89	c current bound: 1821
1445.62/1480.50	c current bound: 1821
1445.96/1481.10	c current bound: 1821
1446.79/1481.81	c current bound: 1821
1447.15/1482.41	c current bound: 1821
1447.76/1483.01	c current bound: 1821
1448.36/1483.61	c current bound: 1821
1448.96/1484.21	c current bound: 1821
1449.56/1484.81	c current bound: 1821
1450.16/1485.43	c current bound: 1821
1451.00/1486.03	c current bound: 1821
1451.37/1486.62	c current bound: 1821
1452.17/1487.26	c current bound: 1821
1452.56/1487.86	c current bound: 1821
1453.36/1488.46	c current bound: 1821
1453.77/1489.07	c current bound: 1821
1454.39/1489.68	c current bound: 1821
1454.98/1490.27	c current bound: 1821
1455.58/1490.87	c current bound: 1821
1456.18/1491.47	c current bound: 1821
1456.77/1492.08	c current bound: 1821
1457.56/1492.67	c current bound: 1821
1457.98/1493.28	c current bound: 1821
1458.78/1493.88	c current bound: 1821
1459.17/1494.47	c current bound: 1821
1459.78/1495.07	c current bound: 1821
1460.39/1495.68	c current bound: 1821
1460.99/1496.29	c current bound: 1821
1461.85/1497.19	c current bound: 1821
1462.19/1497.79	c current bound: 1821
1463.05/1498.40	c current bound: 1821
1463.38/1499.00	c current bound: 1821
1464.00/1499.61	c current bound: 1821
1464.60/1500.21	c current bound: 1821
1465.21/1500.83	c current bound: 1821
1466.04/1501.43	c current bound: 1821
1466.42/1502.15	c current bound: 1821
1467.22/1502.75	c current bound: 1821
1467.61/1503.38	c current bound: 1821
1468.21/1503.99	c current bound: 1821
1468.81/1504.59	c current bound: 1821
1469.42/1505.19	c current bound: 1821
1470.02/1505.79	c current bound: 1821
1470.61/1506.39	c current bound: 1821
1471.38/1506.98	c current bound: 1821
1471.81/1507.66	c current bound: 1821
1472.61/1508.26	c current bound: 1821
1473.02/1508.86	c current bound: 1821
1473.62/1509.47	c current bound: 1821
1474.22/1510.07	c current bound: 1821
1474.83/1510.68	c current bound: 1821
1475.44/1511.28	c current bound: 1821
1476.03/1511.88	c current bound: 1821
1476.80/1512.48	c current bound: 1821
1477.24/1513.08	c current bound: 1821
1478.02/1513.68	c current bound: 1821
1478.43/1514.28	c current bound: 1821
1479.03/1514.88	c current bound: 1821
1479.64/1515.48	c current bound: 1821
1480.24/1516.08	c current bound: 1821
1480.83/1516.68	c current bound: 1821
1481.73/1517.53	c current bound: 1821
1482.29/1518.14	c current bound: 1821
1482.68/1518.74	c current bound: 1821
1483.28/1519.35	c current bound: 1821
1483.89/1519.95	c current bound: 1821
1484.48/1520.55	c current bound: 1821
1485.08/1521.14	c current bound: 1821
1485.68/1521.74	c current bound: 1821
1486.54/1522.49	c current bound: 1821
1486.89/1523.09	c current bound: 1821
1487.49/1523.69	c current bound: 1821
1488.07/1524.29	c current bound: 1821
1488.95/1524.90	c current bound: 1821
1489.29/1525.49	c current bound: 1821
1489.90/1526.11	c current bound: 1821
1490.74/1526.71	c current bound: 1821
1491.11/1527.31	c current bound: 1821
1491.92/1527.95	c current bound: 1821
1492.29/1528.55	c current bound: 1821
1493.10/1529.15	c current bound: 1821
1493.50/1529.75	c current bound: 1821
1494.12/1530.36	c current bound: 1821
1494.70/1530.95	c current bound: 1821
1495.31/1531.57	c current bound: 1821
1495.93/1532.17	c current bound: 1821
1496.52/1532.79	c current bound: 1821
1497.28/1533.38	c current bound: 1821
1497.72/1533.99	c current bound: 1821
1498.48/1534.59	c current bound: 1821
1498.92/1535.19	c current bound: 1821
1499.53/1535.79	c current bound: 1821
1500.12/1536.39	c current bound: 1821
1500.73/1537.00	c current bound: 1821
1501.62/1537.92	c current bound: 1821
1501.95/1538.51	c current bound: 1821
1502.53/1539.12	c current bound: 1821
1503.13/1539.72	c current bound: 1821
1503.75/1540.32	c current bound: 1821
1504.34/1540.93	c current bound: 1821
1504.95/1541.53	c current bound: 1821
1505.78/1542.13	c current bound: 1821
1506.16/1542.85	c current bound: 1821
1506.94/1543.46	c current bound: 1821
1507.35/1544.05	c current bound: 1821
1507.97/1544.66	c current bound: 1821
1508.56/1545.27	c current bound: 1821
1509.17/1545.89	c current bound: 1821
1509.78/1546.49	c current bound: 1821
1510.40/1547.09	c current bound: 1821
1511.16/1547.69	c current bound: 1821
1511.60/1548.36	c current bound: 1821
1512.38/1548.96	c current bound: 1821
1512.79/1549.56	c current bound: 1821
1513.40/1550.16	c current bound: 1821
1514.00/1550.76	c current bound: 1821
1514.60/1551.37	c current bound: 1821
1515.20/1551.97	c current bound: 1821
1515.81/1552.58	c current bound: 1821
1516.61/1553.18	c current bound: 1821
1517.01/1553.78	c current bound: 1821
1517.80/1554.38	c current bound: 1821
1518.21/1554.97	c current bound: 1821
1518.81/1555.58	c current bound: 1821
1519.41/1556.18	c current bound: 1821
1520.02/1556.80	c current bound: 1821
1520.62/1557.40	c current bound: 1821
1521.51/1558.41	c current bound: 1821
1521.86/1559.01	c current bound: 1821
1522.45/1559.61	c current bound: 1821
1523.05/1560.21	c current bound: 1821
1523.89/1560.81	c current bound: 1821
1524.26/1561.41	c current bound: 1821
1525.10/1562.01	c current bound: 1821
1525.46/1562.62	c current bound: 1821
1526.29/1563.23	c current bound: 1821
1526.66/1563.84	c current bound: 1821
1527.27/1564.44	c current bound: 1821
1527.87/1565.04	c current bound: 1821
1528.47/1565.66	c current bound: 1821
1529.09/1566.27	c current bound: 1821
1529.69/1566.87	c current bound: 1821
1530.48/1567.48	c current bound: 1821
1530.90/1568.08	c current bound: 1821
1531.68/1568.67	c current bound: 1821
1532.10/1569.27	c current bound: 1821
1532.70/1569.87	c current bound: 1821
1533.29/1570.47	c current bound: 1821
1533.90/1571.08	c current bound: 1821
1534.50/1571.68	c current bound: 1821
1535.12/1572.29	c current bound: 1821
1535.71/1572.89	c current bound: 1821
1536.32/1573.68	c current bound: 1821
1536.92/1574.28	c current bound: 1821
1537.53/1574.88	c current bound: 1821
1538.14/1575.49	c current bound: 1821
1538.72/1576.09	c current bound: 1821
1539.35/1576.71	c current bound: 1821
1540.20/1577.31	c current bound: 1821
1540.56/1577.91	c current bound: 1821
1541.41/1578.67	c current bound: 1821
1541.76/1579.27	c current bound: 1821
1542.35/1579.88	c current bound: 1821
1542.95/1580.48	c current bound: 1821
1543.57/1581.09	c current bound: 1821
1544.18/1581.69	c current bound: 1821
1544.77/1582.29	c current bound: 1821
1545.53/1582.89	c current bound: 1821
1545.97/1583.49	c current bound: 1821
1546.79/1584.13	c current bound: 1821
1547.16/1584.73	c current bound: 1821
1547.76/1585.34	c current bound: 1821
1548.38/1585.94	c current bound: 1821
1548.98/1586.54	c current bound: 1821
1549.57/1587.14	c current bound: 1821
1550.18/1587.74	c current bound: 1821
1551.00/1588.34	c current bound: 1821
1551.38/1588.94	c current bound: 1821
1552.20/1589.54	c current bound: 1821
1552.59/1590.14	c current bound: 1821
1553.39/1590.73	c current bound: 1821
1553.79/1591.33	c current bound: 1821
1554.39/1591.94	c current bound: 1821
1554.99/1592.54	c current bound: 1821
1555.60/1593.15	c current bound: 1821
1556.46/1593.87	c current bound: 1821
1556.80/1594.47	c current bound: 1821
1557.58/1595.06	c current bound: 1821
1558.00/1595.66	c current bound: 1821
1558.80/1596.27	c current bound: 1821
1559.20/1596.86	c current bound: 1821
1559.81/1597.47	c current bound: 1821
1560.42/1598.07	c current bound: 1821
1561.02/1598.68	c current bound: 1821
1561.82/1599.35	c current bound: 1821
1562.22/1599.94	c current bound: 1821
1563.03/1600.55	c current bound: 1821
1563.43/1601.15	c current bound: 1821
1564.23/1601.75	c current bound: 1821
1564.63/1602.35	c current bound: 1821
1565.23/1602.96	c current bound: 1821
1565.84/1603.56	c current bound: 1821
1566.45/1604.17	c current bound: 1821
1567.04/1604.77	c current bound: 1821
1567.65/1605.37	c current bound: 1821
1568.44/1605.97	c current bound: 1821
1568.86/1606.57	c current bound: 1821
1569.64/1607.17	c current bound: 1821
1570.04/1607.77	c current bound: 1821
1570.93/1608.49	c current bound: 1821
1571.51/1609.17	c current bound: 1821
1571.85/1609.77	c current bound: 1821
1572.65/1610.37	c current bound: 1821
1573.05/1610.96	c current bound: 1821
1573.84/1611.57	c current bound: 1821
1574.25/1612.16	c current bound: 1821
1574.86/1612.76	c current bound: 1821
1575.45/1613.37	c current bound: 1821
1576.06/1613.97	c current bound: 1821
1576.67/1614.57	c current bound: 1821
1577.26/1615.18	c current bound: 1821
1577.88/1615.79	c current bound: 1821
1578.48/1616.38	c current bound: 1821
1579.24/1616.98	c current bound: 1821
1579.67/1617.58	c current bound: 1821
1580.46/1618.18	c current bound: 1821
1580.87/1618.78	c current bound: 1821
1581.47/1619.49	c current bound: 1821
1582.07/1620.09	c current bound: 1821
1582.69/1620.71	c current bound: 1821
1583.54/1621.31	c current bound: 1821
1583.89/1621.91	c current bound: 1821
1584.76/1622.50	c current bound: 1821
1585.10/1623.11	c current bound: 1821
1585.93/1623.71	c current bound: 1821
1586.28/1624.30	c current bound: 1821
1586.90/1624.92	c current bound: 1821
1587.51/1625.52	c current bound: 1821
1588.10/1626.12	c current bound: 1821
1588.70/1626.72	c current bound: 1821
1589.30/1627.32	c current bound: 1821
1590.13/1627.92	c current bound: 1821
1590.51/1628.52	c current bound: 1821
1591.33/1629.13	c current bound: 1821
1591.70/1629.72	c current bound: 1821
1592.54/1630.32	c current bound: 1821
1592.91/1630.92	c current bound: 1821
1593.51/1631.53	c current bound: 1821
1594.11/1632.13	c current bound: 1821
1594.72/1632.74	c current bound: 1821
1595.32/1633.34	c current bound: 1821
1595.91/1633.94	c current bound: 1821
1596.77/1634.72	c current bound: 1821
1597.12/1635.32	c current bound: 1821
1597.72/1635.93	c current bound: 1821
1598.31/1636.52	c current bound: 1821
1598.92/1637.12	c current bound: 1821
1599.51/1637.72	c current bound: 1821
1600.11/1638.32	c current bound: 1821
1600.95/1638.91	c current bound: 1821
1601.31/1639.62	c current bound: 1821
1602.13/1640.23	c current bound: 1821
1602.51/1640.83	c current bound: 1821
1603.12/1641.45	c current bound: 1821
1603.73/1642.05	c current bound: 1821
1604.34/1642.66	c current bound: 1821
1604.94/1643.25	c current bound: 1821
1605.52/1643.85	c current bound: 1821
1606.33/1644.45	c current bound: 1821
1606.74/1645.13	c current bound: 1821
1607.58/1645.73	c current bound: 1821
1607.94/1646.33	c current bound: 1821
1608.55/1646.95	c current bound: 1821
1609.16/1647.56	c current bound: 1821
1609.80/1648.17	c current bound: 1821
1610.39/1648.77	c current bound: 1821
1610.99/1649.37	c current bound: 1821
1611.78/1649.97	c current bound: 1821
1612.20/1650.57	c current bound: 1821
1612.99/1651.17	c current bound: 1821
1613.39/1651.77	c current bound: 1821
1613.98/1652.37	c current bound: 1821
1614.59/1652.97	c current bound: 1821
1615.21/1653.57	c current bound: 1821
1615.80/1654.17	c current bound: 1821
1616.67/1655.12	c current bound: 1821
1617.01/1655.73	c current bound: 1821
1617.62/1656.35	c current bound: 1821
1618.25/1656.97	c current bound: 1821
1618.87/1657.59	c current bound: 1821
1619.48/1658.21	c current bound: 1821
1620.37/1658.81	c current bound: 1821
1620.71/1659.42	c current bound: 1821
1621.60/1660.17	c current bound: 1821
1621.95/1660.79	c current bound: 1821
1622.56/1661.42	c current bound: 1821
1623.43/1662.04	c current bound: 1821
1623.82/1662.64	c current bound: 1821
1624.65/1663.24	c current bound: 1821
1625.01/1663.84	c current bound: 1821
1625.83/1664.44	c current bound: 1821
1626.22/1665.04	c current bound: 1821
1626.83/1665.76	c current bound: 1821
1627.44/1666.36	c current bound: 1821
1628.04/1666.96	c current bound: 1821
1628.82/1667.56	c current bound: 1821
1629.23/1668.16	c current bound: 1821
1630.04/1668.76	c current bound: 1821
1630.43/1669.36	c current bound: 1821
1631.22/1669.96	c current bound: 1821
1631.64/1670.59	c current bound: 1821
1632.23/1671.20	c current bound: 1821
1632.83/1671.80	c current bound: 1821
1633.45/1672.42	c current bound: 1821
1634.30/1673.01	c current bound: 1821
1634.64/1673.61	c current bound: 1821
1635.51/1674.21	c current bound: 1821
1635.84/1674.81	c current bound: 1821
1636.69/1675.41	c current bound: 1821
1637.05/1676.00	c current bound: 1821
1637.65/1676.61	c current bound: 1821
1638.24/1677.21	c current bound: 1821
1638.84/1677.82	c current bound: 1821
1639.45/1678.42	c current bound: 1821
1640.07/1679.03	c current bound: 1821
1640.89/1679.63	c current bound: 1821
1641.27/1680.34	c current bound: 1821
1642.08/1680.94	c current bound: 1821
1642.46/1681.53	c current bound: 1821
1643.05/1682.13	c current bound: 1821
1643.66/1682.73	c current bound: 1821
1644.27/1683.34	c current bound: 1821
1644.87/1683.94	c current bound: 1821
1645.46/1684.54	c current bound: 1821
1646.29/1685.14	c current bound: 1821
1646.66/1685.79	c current bound: 1821
1647.44/1686.39	c current bound: 1821
1647.86/1686.99	c current bound: 1821
1648.46/1687.59	c current bound: 1821
1649.07/1688.19	c current bound: 1821
1649.67/1688.80	c current bound: 1821
1650.26/1689.40	c current bound: 1821
1650.88/1690.02	c current bound: 1821
1651.72/1690.62	c current bound: 1821
1652.08/1691.22	c current bound: 1821
1652.92/1691.82	c current bound: 1821
1653.29/1692.42	c current bound: 1821
1654.12/1693.02	c current bound: 1821
1654.50/1693.62	c current bound: 1821
1655.09/1694.23	c current bound: 1821
1655.69/1694.82	c current bound: 1821
1656.56/1695.75	c current bound: 1821
1657.10/1696.35	c current bound: 1821
1657.49/1696.95	c current bound: 1821
1658.10/1697.56	c current bound: 1821
1658.70/1698.16	c current bound: 1821
1659.32/1698.77	c current bound: 1821
1659.91/1699.37	c current bound: 1821
1660.50/1699.97	c current bound: 1821
1661.38/1700.71	c current bound: 1821
1661.71/1701.31	c current bound: 1821
1662.32/1701.91	c current bound: 1821
1662.92/1702.51	c current bound: 1821
1663.52/1703.12	c current bound: 1821
1664.12/1703.72	c current bound: 1821
1664.72/1704.32	c current bound: 1821
1665.56/1704.92	c current bound: 1821
1665.91/1705.52	c current bound: 1821
1666.71/1706.17	c current bound: 1821
1667.12/1706.77	c current bound: 1821
1667.71/1707.36	c current bound: 1821
1668.32/1707.96	c current bound: 1821
1668.93/1708.58	c current bound: 1821
1669.53/1709.18	c current bound: 1821
1670.13/1709.78	c current bound: 1821
1670.73/1710.39	c current bound: 1821
1671.33/1711.00	c current bound: 1821
1672.11/1711.60	c current bound: 1821
1672.55/1712.20	c current bound: 1821
1673.39/1712.80	c current bound: 1821
1673.74/1713.40	c current bound: 1821
1674.35/1714.01	c current bound: 1821
1674.96/1714.61	c current bound: 1821
1675.55/1715.20	c current bound: 1821
1676.41/1716.15	c current bound: 1821
1676.74/1716.75	c current bound: 1821
1677.35/1717.36	c current bound: 1821
1677.96/1717.96	c current bound: 1821
1678.57/1718.57	c current bound: 1821
1679.17/1719.17	c current bound: 1821
1679.77/1719.77	c current bound: 1821
1680.57/1720.36	c current bound: 1821
1680.96/1721.16	c current bound: 1821
1681.57/1721.77	c current bound: 1821
1682.17/1722.38	c current bound: 1821
1682.78/1722.98	c current bound: 1821
1683.37/1723.58	c current bound: 1821
1683.98/1724.18	c current bound: 1821
1684.77/1724.78	c current bound: 1821
1685.19/1725.37	c current bound: 1821
1686.05/1726.25	c current bound: 1821
1686.38/1726.85	c current bound: 1821
1686.97/1727.46	c current bound: 1821
1687.79/1728.05	c current bound: 1821
1688.18/1728.66	c current bound: 1821
1688.99/1729.27	c current bound: 1821
1689.40/1729.87	c current bound: 1821
1689.99/1730.46	c current bound: 1821
1690.86/1731.23	c current bound: 1821
1691.19/1731.83	c current bound: 1821
1692.03/1732.43	c current bound: 1821
1692.39/1733.03	c current bound: 1821
1693.22/1733.63	c current bound: 1821
1693.59/1734.22	c current bound: 1821
1694.42/1734.82	c current bound: 1821
1694.79/1735.42	c current bound: 1821
1695.38/1736.02	c current bound: 1821
1695.99/1736.69	c current bound: 1821
1696.60/1737.29	c current bound: 1821
1697.19/1737.89	c current bound: 1821
1697.79/1738.49	c current bound: 1821
1698.57/1739.10	c current bound: 1821
1699.00/1739.69	c current bound: 1821
1699.77/1740.29	c current bound: 1821
1700.18/1740.89	c current bound: 1821
1701.05/1741.50	c current bound: 1821
1701.39/1742.10	c current bound: 1821
1702.01/1742.71	c current bound: 1821
1702.61/1743.33	c current bound: 1821
1703.23/1743.92	c current bound: 1821
1704.05/1744.52	c current bound: 1821
1704.42/1745.13	c current bound: 1821
1705.26/1745.73	c current bound: 1821
1705.91/1746.65	c current bound: 1821
1706.23/1747.25	c current bound: 1821
1707.04/1747.85	c current bound: 1821
1707.43/1748.45	c current bound: 1821
1708.25/1749.06	c current bound: 1821
1708.64/1749.66	c current bound: 1821
1709.44/1750.26	c current bound: 1821
1709.85/1750.85	c current bound: 1821
1710.45/1751.59	c current bound: 1821
1711.05/1752.18	c current bound: 1821
1711.65/1752.78	c current bound: 1821
1712.41/1753.39	c current bound: 1821
1712.84/1753.99	c current bound: 1821
1713.63/1754.58	c current bound: 1821
1714.04/1755.19	c current bound: 1821
1714.92/1755.80	c current bound: 1821
1715.53/1756.40	c current bound: 1821
1715.86/1757.08	c current bound: 1821
1716.49/1757.67	c current bound: 1821
1717.09/1758.27	c current bound: 1821
1717.87/1758.87	c current bound: 1821
1718.28/1759.47	c current bound: 1821
1719.07/1760.07	c current bound: 1821
1719.47/1760.66	c current bound: 1821
1720.26/1761.26	c current bound: 1821
1720.68/1761.86	c current bound: 1821
1721.29/1762.47	c current bound: 1821
1721.89/1763.07	c current bound: 1821
1722.49/1763.68	c current bound: 1821
1723.09/1764.28	c current bound: 1821
1723.68/1764.88	c current bound: 1821
1724.47/1765.48	c current bound: 1821
1724.89/1766.08	c current bound: 1821
1725.74/1767.04	c current bound: 1821
1726.30/1767.66	c current bound: 1821
1726.70/1768.28	c current bound: 1821
1727.50/1768.89	c current bound: 1821
1727.93/1769.49	c current bound: 1821
1728.54/1770.11	c current bound: 1821
1729.16/1770.73	c current bound: 1821
1729.78/1771.35	c current bound: 1821
1730.40/1771.97	c current bound: 1821
1731.01/1772.59	c current bound: 1821
1731.91/1773.20	c current bound: 1821
1732.25/1773.82	c current bound: 1821
1733.10/1774.44	c current bound: 1821
1733.47/1775.06	c current bound: 1821
1734.11/1775.68	c current bound: 1821
1734.73/1776.31	c current bound: 1821
1735.34/1777.19	c current bound: 1821
1735.97/1777.80	c current bound: 1821
1736.60/1778.40	c current bound: 1821
1737.19/1779.02	c current bound: 1821
1737.81/1779.64	c current bound: 1821
1738.44/1780.26	c current bound: 1821
1739.26/1780.89	c current bound: 1821
1739.68/1781.51	c current bound: 1821
1740.55/1782.19	c current bound: 1821
1740.92/1782.80	c current bound: 1821
1741.54/1783.43	c current bound: 1821
1742.17/1784.05	c current bound: 1821
1742.79/1784.67	c current bound: 1821
1743.70/1785.30	c current bound: 1821
1744.04/1785.94	c current bound: 1821
1744.90/1786.55	c current bound: 1821
1745.58/1787.43	c current bound: 1821
1745.91/1788.05	c current bound: 1821
1746.76/1788.67	c current bound: 1821
1747.17/1789.29	c current bound: 1821
1747.77/1789.91	c current bound: 1821
1748.40/1790.53	c current bound: 1821
1749.03/1791.15	c current bound: 1821
1749.64/1791.77	c current bound: 1821
1750.56/1792.75	c current bound: 1821
1750.89/1793.37	c current bound: 1821
1751.50/1793.99	c current bound: 1821
1752.13/1794.61	c current bound: 1821
1753.01/1795.23	c current bound: 1821
1753.36/1795.85	c current bound: 1821
1754.19/1796.47	c current bound: 1821
1754.61/1797.09	c current bound: 1821
1755.24/1797.71	c current bound: 1821
1755.83/1798.32	c current bound: 1821
1756.46/1798.94	c current bound: 1821
1757.31/1799.56	c current bound: 1821
1758.01/1800.20	c current bound: 1821
1758.59/1800.81	c current bound: 1821
1758.97/1801.41	c current bound: 1821
1759.56/1802.03	c current bound: 1821
1760.48/1802.96	c current bound: 1821
1760.81/1803.58	c current bound: 1821
1761.71/1804.20	c current bound: 1821
1762.04/1804.79	c current bound: 1821
1762.65/1805.41	c current bound: 1821
1763.27/1806.03	c current bound: 1821
1763.88/1806.65	c current bound: 1821
1764.71/1807.27	c current bound: 1821
1765.12/1807.89	c current bound: 1821
1766.01/1808.51	c current bound: 1821
1766.35/1809.14	c current bound: 1821
1766.99/1809.78	c current bound: 1821
1767.92/1810.40	c current bound: 1821
1768.24/1811.02	c current bound: 1821
1769.11/1811.64	c current bound: 1821
1769.50/1812.26	c current bound: 1821
1770.32/1812.88	c current bound: 1821
1770.74/1813.49	c current bound: 1821
1771.35/1814.12	c current bound: 1821
1771.99/1814.75	c current bound: 1821
1772.61/1815.37	c current bound: 1821
1773.53/1816.00	c current bound: 1821
1773.86/1816.62	c current bound: 1821
1774.72/1817.22	c current bound: 1821
1775.35/1818.30	c current bound: 1821
1775.70/1818.89	c current bound: 1821
1776.57/1819.51	c current bound: 1821
1776.91/1820.13	c current bound: 1821
1777.53/1820.74	c current bound: 1821
1778.14/1821.36	c current bound: 1821
1778.77/1821.97	c current bound: 1821
1779.38/1822.59	c current bound: 1821
1780.00/1823.26	c current bound: 1821
1780.84/1823.88	c current bound: 1821
1781.23/1824.50	c current bound: 1821
1781.87/1825.14	c current bound: 1821
1782.49/1825.75	c current bound: 1821
1783.11/1826.36	c current bound: 1821
1783.72/1826.96	c current bound: 1821
1784.33/1827.58	c current bound: 1821
1785.14/1828.19	c current bound: 1821
1785.55/1828.81	c current bound: 1821
1786.42/1829.42	c current bound: 1821
1786.80/1830.04	c current bound: 1821
1787.40/1830.66	c current bound: 1821
1788.02/1831.27	c current bound: 1821
1788.64/1831.89	c current bound: 1821
1789.53/1832.51	c current bound: 1821
1789.87/1833.18	c current bound: 1821
1790.79/1833.80	c current bound: 1821
1791.13/1834.43	c current bound: 1821
1791.75/1835.05	c current bound: 1821
1792.38/1835.67	c current bound: 1821
1792.99/1836.29	c current bound: 1821
1793.89/1836.90	c current bound: 1821
1794.22/1837.52	c current bound: 1821
1795.11/1838.27	c current bound: 1821
1795.82/1839.00	c current bound: 1821
1796.06/1839.50	c current bound: 1821
1796.69/1840.12	c current bound: 1821
1797.32/1840.73	c current bound: 1821
1798.14/1841.35	c current bound: 1821
1798.54/1841.96	c current bound: 1821
1799.15/1842.31	HOME/npSolver-wbo-Itdqb.sh: line 18: 24809 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

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-3753125-1339210074/watcher-3753125-1339210074 -o /tmp/evaluation-result-3753125-1339210074/solver-3753125-1339210074 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753125-1339210074.wbo 192918261 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 24804
/proc/meminfo: memFree=28800188/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (runsolver) D 24801 24804 21931 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 387131965 12095488 50 33554432000 4194304 5436572 140734217739232 140734217735528 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/24804/statm: 2953 50 31 304 0 2645 0

[startup+0.01523 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 24804
/proc/meminfo: memFree=28800188/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100188 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 24804
/proc/meminfo: memFree=28800188/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 24804
/proc/meminfo: memFree=28800188/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700123 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 24804
/proc/meminfo: memFree=28800188/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24846
/proc/meminfo: memFree=28718036/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1.36 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 8457 34979 0 0 24 4 81 27 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 28976

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 24869
/proc/meminfo: memFree=28680696/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=2.88 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 12810 77013 0 0 40 6 182 60 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 28976

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 24928
/proc/meminfo: memFree=28706840/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=6.27 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) R 24804 24804 21931 0 -1 4202496 25325 156489 0 0 85 11 382 149 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029824 4583821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28976

[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 25051
/proc/meminfo: memFree=28695544/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=12.44 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 47571 306634 0 0 175 22 755 292 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 28976

[startup+25.5002 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 25296
/proc/meminfo: memFree=28670972/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=24.94 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 91038 619591 0 0 344 41 1534 575 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 28976

[startup+51.1003 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 25772
/proc/meminfo: memFree=28678040/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=49.99 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 180124 1226547 0 0 669 80 3094 1156 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 28976

[startup+102.307 s]
/proc/loadavg: 2.36 2.08 2.02 3/183 26729
/proc/meminfo: memFree=28702404/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=99.99 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 353971 2443158 0 0 1285 155 6213 2346 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=26727] ppid=24809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26727/stat : 26727 (cp2_post.sh) S 24809 24804 21931 0 -1 4202496 613 225 0 0 0 0 0 0 20 0 1 0 387142174 9367552 266 33554432000 4194304 5064252 140737167332976 140737167331264 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26727/statm: 2287 266 225 213 0 72 0
[pid=26729] ppid=26727 vsize=10132 CPUtime=0.2 cores=0,2,4,6
/proc/26729/stat : 26729 (coprocessor) R 26727 24804 21931 0 -1 4202496 2048 0 0 0 11 9 0 0 20 0 1 0 387142174 10375168 1705 33554432000 4194304 6586260 140735147831088 140737167331288 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26729/statm: 2533 1705 148 584 0 1945 0
Current children cumulated CPU time (s) 100.19
Current children cumulated vsize (KiB) 48256

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

[startup+110.007 s]
/proc/loadavg: 2.30 2.08 2.02 2/184 26873
/proc/meminfo: memFree=28741956/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=107.45 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 380047 2626034 0 0 1378 166 6676 2525 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=26867] ppid=24809 vsize=9148 CPUtime=0.28 cores=0,2,4,6
/proc/26867/stat : 26867 (cp2_post.sh) S 24809 24804 21931 0 -1 4202496 636 2939 0 0 0 0 16 12 20 0 1 0 387142919 9367552 269 33554432000 4194304 5064252 140735602780656 140735602779568 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26867/statm: 2287 269 228 213 0 72 0
[pid=26870] ppid=26867 vsize=16692 CPUtime=0 cores=0,2,4,6
/proc/26870/stat : 26870 (mv) D 26867 24804 21931 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 387142947 17092608 185 33554432000 4194304 4296580 140737186871408 140737186869640 225444248919 0 0 4096 0 18446744071580543392 0 0 17 6 0 0 9 0 0
/proc/26870/statm: 4173 185 154 25 0 73 0
Current children cumulated CPU time (s) 107.73
Current children cumulated vsize (KiB) 54816

[startup+110.1 s]
/proc/loadavg: 2.30 2.08 2.02 2/184 26873
/proc/meminfo: memFree=28741956/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=107.73 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 380089 2629876 0 0 1378 166 6692 2537 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029824 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 107.73
Current children cumulated vsize (KiB) 28976
#
############


[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/185 27839
/proc/meminfo: memFree=28703728/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0

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

Current children cumulated CPU time (s) 1505.91
Current children cumulated vsize (KiB) 28976

[startup+1602.3 s]
/proc/loadavg: 1.92 1.97 1.98 3/184 22451
/proc/meminfo: memFree=28731392/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1564.63 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 730379 38585204 0 0 20195 2002 97602 36664 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 155 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1564.63
Current children cumulated vsize (KiB) 28976

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

[startup+1608.1 s]
/proc/loadavg: 1.93 1.97 1.98 3/183 22574
/proc/meminfo: memFree=28655672/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1570.65 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 731669 38738283 0 0 20272 2010 97972 36811 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 155 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=22571] ppid=24809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22571/stat : 22571 (satsolver.sh) S 24809 24804 21931 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387292750 9367552 266 33554432000 4194304 5064252 140737190466080 140737190464992 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22571/statm: 2287 266 226 213 0 72 0
[pid=22572] ppid=22571 vsize=0 CPUtime=0.24 cores=0,2,4,6
/proc/22572/stat : 22572 (glucose) R 22571 24804 21931 0 -1 4202500 10685 0 0 0 22 2 0 0 20 0 1 0 387292751 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/22572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1570.89
Current children cumulated vsize (KiB) 38124

[startup+1608.21 s]
/proc/loadavg: 1.93 1.97 1.98 3/183 22574
/proc/meminfo: memFree=28655672/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1570.65 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 731669 38738283 0 0 20272 2010 97972 36811 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 155 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1570.65
Current children cumulated vsize (KiB) 28976
#
############


[startup+1662.3 s]
/proc/loadavg: 2.28 2.05 2.01 3/183 23593
/proc/meminfo: memFree=28688044/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1623.57 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 743014 40057815 0 0 20948 2077 101268 38064 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 162 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1623.57
Current children cumulated vsize (KiB) 28976

[startup+1722.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 24725
/proc/meminfo: memFree=28700864/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1682.17 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 755534 41530632 0 0 21694 2151 104934 39438 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 178 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1682.17
Current children cumulated vsize (KiB) 28976

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/183 25876
/proc/meminfo: memFree=28687428/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1740.68 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 768040 42978307 0 0 22440 2225 108580 40823 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628029248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 190 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
Current children cumulated CPU time (s) 1740.68
Current children cumulated vsize (KiB) 28976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/184 26843
/proc/meminfo: memFree=25644168/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1799.15 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 780173 44415011 0 0 23164 2297 112244 42210 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 190 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=26841] ppid=24809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26841/stat : 26841 (cp2_post.sh) S 24809 24804 21931 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387316194 9367552 265 33554432000 4194304 5064252 140733963398144 140733963396432 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26841/statm: 2287 265 225 213 0 72 0
[pid=26842] ppid=26841 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/26842/stat : 26842 (cat) S 26841 24804 21931 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 387316194 4100096 122 33554432000 4194304 4236627 140737433859200 140737433858296 225444709856 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26842/statm: 1001 122 96 11 0 67 0
[pid=26843] ppid=26841 vsize=6304 CPUtime=0 cores=0,2,4,6
/proc/26843/stat : 26843 (coprocessor) R 26841 24804 21931 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 387316194 6455296 1078 33554432000 4194304 6586260 140735660115680 140733963396456 4967814 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26843/statm: 1576 1078 148 584 0 988 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 48432

Sending SIGTERM to process tree (bottom up)

[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/184 26843
/proc/meminfo: memFree=25644168/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1799.15 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 780173 44415011 0 0 23164 2297 112244 42210 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 190 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=26841] ppid=24809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26841/stat : 26841 (cp2_post.sh) S 24809 24804 21931 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387316194 9367552 265 33554432000 4194304 5064252 140733963398144 140733963396432 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26841/statm: 2287 265 225 213 0 72 0
[pid=26842] ppid=26841 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/26842/stat : 26842 (cat) S 26841 24804 21931 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 387316194 4100096 122 33554432000 4194304 4236627 140737433859200 140737433858296 225444709856 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26842/statm: 1001 122 96 11 0 67 0
[pid=26843] ppid=26841 vsize=6304 CPUtime=0 cores=0,2,4,6
/proc/26843/stat : 26843 (coprocessor) R 26841 24804 21931 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 387316194 6455296 1078 33554432000 4194304 6586260 140735660115680 140733963396456 4967814 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26843/statm: 1576 1078 148 584 0 988 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 48432

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

[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/184 26843
/proc/meminfo: memFree=25644168/32873844 swapFree=7900/7900
[pid=24804] ppid=24801 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24804/stat : 24804 (npSolver-wbo-It) S 24801 24804 21931 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387131965 9367552 274 33554432000 4194304 5064252 140736396767312 140736396766224 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24804/statm: 2287 274 233 213 0 72 0
[pid=24809] ppid=24804 vsize=19828 CPUtime=1799.15 cores=0,2,4,6
/proc/24809/stat : 24809 (npSolver-wbo) S 24804 24804 21931 0 -1 4202496 780173 44415011 0 0 23164 2297 112244 42210 20 0 1 0 387131965 20303872 3975 33554432000 4194304 6006132 140734628037888 140734628028736 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 190 0 0
/proc/24809/statm: 4957 3975 176 443 0 4510 0
[pid=26841] ppid=24809 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26841/stat : 26841 (cp2_post.sh) S 24809 24804 21931 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 387316194 9367552 265 33554432000 4194304 5064252 140733963398144 140733963396432 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26841/statm: 2287 265 225 213 0 72 0
[pid=26842] ppid=26841 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/26842/stat : 26842 (cat) S 26841 24804 21931 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 387316194 4100096 122 33554432000 4194304 4236627 140737433859200 140737433858296 225444709856 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/26842/statm: 1001 122 96 11 0 67 0
[pid=26843] ppid=26841 vsize=6304 CPUtime=0 cores=0,2,4,6
/proc/26843/stat : 26843 (coprocessor) R 26841 24804 21931 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 387316194 6455296 1078 33554432000 4194304 6586260 140735660115680 140733963396456 4967814 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26843/statm: 1576 1078 148 584 0 988 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 48432

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): 1.07017
#  lost CPU user time (s): 0.820015
#  lost CPU system time (s): 0.249969

Real time (s): 1842.32
CPU time (s): 1800.25
CPU user time (s): 1354.92
CPU system time (s): 445.331
CPU usage (%): 97.7167
Max. virtual memory (cumulated for all children) (KiB): 86396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1354.1
system time used= 445.081
maximum resident set size= 43928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45196438
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39483616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 832510
involuntary context switches= 36500

runsolver used 3.03054 second user time and 8.88465 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-09 04:47:54
IDJOB=3753125
IDBENCH=79403
IDSOLVER=2336
FILE ID=node137/3753125-1339210074
RUNJOBID= node137-1339208273-23917
PBS_JOBID= 14643866
Free space on /tmp= 70940 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh214_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3753125-1339210074/watcher-3753125-1339210074 -o /tmp/evaluation-result-3753125-1339210074/solver-3753125-1339210074 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753125-1339210074.wbo 192918261 HOME HOME

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

MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=192918261

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28801088 kB
Buffers:          507192 kB
Cached:          2664432 kB
SwapCached:         4640 kB
Active:          1398948 kB
Inactive:        1786300 kB
Active(anon):       3552 kB
Inactive(anon):     5860 kB
Active(file):    1395396 kB
Inactive(file):  1780440 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097908 kB
Dirty:             16592 kB
Writeback:             0 kB
AnonPages:         25716 kB
Mapped:             8764 kB
Shmem:                 0 kB
Slab:             747256 kB
SReclaimable:     188088 kB
SUnreclaim:       559168 kB
KernelStack:        1520 kB
PageTables:         3960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70196 MiB
End job on node137 at 2012-06-09 05:18:37