Trace number 3715804

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? (TO) 1800.13 1821.52

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh01_wcsp.wbo
MD5SUMdc9398e8d8662385aed113468e487865
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004998
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 constraints950
Number of soft constraints850
Number of constraints which are clauses850
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 constraint14
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 27
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.02	c run usual solver
0.00/0.06	o 2646
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 8.37459
0.00/0.06	c approx number of clauses: 1e+06
0.00/0.06	c current bound: 1323
0.00/0.68	c current bound: 1323
0.99/1.30	c current bound: 1323
1.62/1.91	c current bound: 1323
2.23/2.52	c current bound: 1323
2.85/3.13	c current bound: 1323
3.45/3.74	c current bound: 1323
4.28/4.35	c current bound: 1323
4.66/5.19	c current bound: 1323
5.27/5.80	c current bound: 1323
5.88/6.41	c current bound: 1323
6.49/7.02	c current bound: 1323
7.32/7.63	c current bound: 1323
7.71/8.24	c current bound: 1323
8.53/8.85	c current bound: 1323
8.93/9.46	c current bound: 1323
9.55/10.17	c current bound: 1323
10.16/10.79	c current bound: 1323
10.79/11.40	c current bound: 1323
11.64/12.01	c current bound: 1323
12.01/12.62	c current bound: 1323
12.83/13.23	c current bound: 1323
13.22/13.84	c current bound: 1323
14.03/14.46	c current bound: 1323
14.44/15.07	c current bound: 1323
15.05/15.72	c current bound: 1323
15.66/16.33	c current bound: 1323
16.26/16.93	c current bound: 1323
17.09/17.55	c current bound: 1323
17.48/18.16	c current bound: 1323
18.27/18.77	c current bound: 1323
18.71/19.37	c current bound: 1323
19.32/19.99	c current bound: 1323
20.20/20.60	c current bound: 1323
20.54/21.21	c current bound: 1323
21.15/21.81	c current bound: 1323
21.77/22.42	c current bound: 1323
22.60/23.04	c current bound: 1323
23.00/23.65	c current bound: 1323
23.79/24.26	c current bound: 1323
24.21/24.87	c current bound: 1323
24.82/25.49	c current bound: 1323
25.44/26.10	c current bound: 1323
26.04/26.71	c current bound: 1323
26.65/27.32	c current bound: 1323
27.25/27.93	c current bound: 1323
28.07/28.54	c current bound: 1323
28.48/29.16	c current bound: 1323
29.28/29.77	c current bound: 1323
29.70/30.38	c current bound: 1323
30.30/30.99	c current bound: 1323
31.18/31.60	c current bound: 1323
31.53/32.21	c current bound: 1323
32.15/32.81	c current bound: 1323
32.74/33.42	c current bound: 1323
33.57/34.03	c current bound: 1323
33.95/34.64	c current bound: 1323
34.77/35.25	c current bound: 1323
35.17/35.99	c current bound: 1323
35.78/36.59	c current bound: 1323
36.39/37.20	c current bound: 1323
37.01/37.81	c current bound: 1323
37.85/38.42	c current bound: 1323
38.22/39.03	c current bound: 1323
39.05/39.65	c current bound: 1323
39.44/40.26	c current bound: 1323
40.06/40.99	c current bound: 1323
40.67/41.60	c current bound: 1323
41.27/42.21	c current bound: 1323
42.12/42.82	c current bound: 1323
42.50/43.43	c current bound: 1323
43.31/44.04	c current bound: 1323
43.71/44.65	c current bound: 1323
44.50/45.26	c current bound: 1323
44.92/45.98	c current bound: 1323
45.53/46.59	c current bound: 1323
46.14/47.20	c current bound: 1323
46.77/47.81	c current bound: 1323
47.60/48.42	c current bound: 1323
47.99/49.03	c current bound: 1323
48.79/49.65	c current bound: 1323
49.21/50.26	c current bound: 1323
49.82/51.09	c current bound: 1323
50.58/51.69	c current bound: 1323
51.03/52.30	c current bound: 1323
51.90/52.92	c current bound: 1323
52.26/53.53	c current bound: 1323
52.88/54.14	c current bound: 1323
53.48/54.74	c current bound: 1323
54.09/55.35	c current bound: 1323
54.95/56.09	c current bound: 1323
55.31/56.70	c current bound: 1323
56.16/57.31	c current bound: 1323
56.52/57.92	c current bound: 1323
57.15/58.53	c current bound: 1323
57.75/59.14	c current bound: 1323
58.36/59.75	c current bound: 1323
58.97/60.36	c current bound: 1323
59.56/61.09	c current bound: 1323
60.43/61.70	c current bound: 1323
60.78/62.31	c current bound: 1323
61.40/62.92	c current bound: 1323
62.00/63.53	c current bound: 1323
62.61/64.13	c current bound: 1323
63.21/64.74	c current bound: 1323
63.84/65.35	c current bound: 1323
64.64/65.96	c current bound: 1323
65.04/66.57	c current bound: 1323
65.83/67.18	c current bound: 1323
66.27/67.79	c current bound: 1323
66.89/68.40	c current bound: 1323
67.49/69.01	c current bound: 1323
68.11/69.62	c current bound: 1323
68.72/70.23	c current bound: 1323
69.33/70.84	c current bound: 1323
70.15/71.45	c current bound: 1323
70.54/72.05	c current bound: 1323
71.34/72.66	c current bound: 1323
71.75/73.27	c current bound: 1323
72.36/73.88	c current bound: 1323
72.97/74.49	c current bound: 1323
73.58/75.10	c current bound: 1323
74.20/75.71	c current bound: 1323
74.80/76.46	c current bound: 1323
75.59/77.07	c current bound: 1323
76.01/77.68	c current bound: 1323
76.63/78.29	c current bound: 1323
77.24/78.90	c current bound: 1323
77.86/79.51	c current bound: 1323
78.46/80.12	c current bound: 1323
79.07/80.73	c current bound: 1323
79.92/81.43	c current bound: 1323
80.28/82.03	c current bound: 1323
81.09/82.64	c current bound: 1323
81.50/83.25	c current bound: 1323
82.12/83.86	c current bound: 1323
82.72/84.47	c current bound: 1323
83.34/85.08	c current bound: 1323
83.94/85.69	c current bound: 1323
84.56/86.30	c current bound: 1323
85.38/86.93	c current bound: 1323
85.76/87.54	c current bound: 1323
86.57/88.15	c current bound: 1323
86.98/88.76	c current bound: 1323
87.59/89.37	c current bound: 1323
88.20/89.98	c current bound: 1323
88.81/90.59	c current bound: 1323
89.41/91.20	c current bound: 1323
90.04/91.81	c current bound: 1323
90.87/92.42	c current bound: 1323
91.24/93.03	c current bound: 1323
92.08/93.64	c current bound: 1323
92.47/94.25	c current bound: 1323
93.08/94.86	c current bound: 1323
93.69/95.47	c current bound: 1323
94.30/96.08	c current bound: 1323
95.18/96.80	c current bound: 1323
95.52/97.41	c current bound: 1323
96.35/98.03	c current bound: 1323
96.74/98.64	c current bound: 1323
97.35/99.25	c current bound: 1323
97.96/99.86	c current bound: 1323
98.58/100.46	c current bound: 1323
99.19/101.07	c current bound: 1323
99.80/101.68	c current bound: 1323
100.62/102.34	c current bound: 1323
101.03/102.95	c current bound: 1323
101.82/103.56	c current bound: 1323
102.25/104.17	c current bound: 1323
102.86/104.79	c current bound: 1323
103.47/105.39	c current bound: 1323
104.07/106.00	c current bound: 1323
104.93/106.61	c current bound: 1323
105.29/107.22	c current bound: 1323
106.12/107.83	c current bound: 1323
106.51/108.44	c current bound: 1323
107.31/109.05	c current bound: 1323
107.72/109.68	c current bound: 1323
108.34/110.29	c current bound: 1323
108.96/110.90	c current bound: 1323
109.57/111.51	c current bound: 1323
110.43/112.24	c current bound: 1323
110.78/112.85	c current bound: 1323
111.58/113.46	c current bound: 1323
112.01/114.07	c current bound: 1323
112.62/114.68	c current bound: 1323
113.22/115.29	c current bound: 1323
113.83/115.89	c current bound: 1323
114.68/116.51	c current bound: 1323
115.32/117.24	c current bound: 1323
115.87/117.85	c current bound: 1323
116.28/118.46	c current bound: 1323
116.88/119.08	c current bound: 1323
117.50/119.68	c current bound: 1323
118.11/120.30	c current bound: 1323
118.97/120.91	c current bound: 1323
119.34/121.52	c current bound: 1323
120.19/122.25	c current bound: 1323
120.55/122.86	c current bound: 1323
121.16/123.47	c current bound: 1323
121.77/124.08	c current bound: 1323
122.39/124.68	c current bound: 1323
122.99/125.29	c current bound: 1323
123.61/125.90	c current bound: 1323
124.45/126.51	c current bound: 1323
124.82/127.22	c current bound: 1323
125.44/127.83	c current bound: 1323
126.05/128.44	c current bound: 1323
126.66/129.05	c current bound: 1323
127.26/129.66	c current bound: 1323
127.87/130.27	c current bound: 1323
128.67/130.88	c current bound: 1323
129.09/131.49	c current bound: 1323
129.96/132.10	c current bound: 1323
130.30/132.76	c current bound: 1323
130.92/133.37	c current bound: 1323
131.53/133.99	c current bound: 1323
132.15/134.60	c current bound: 1323
133.01/135.21	c current bound: 1323
133.38/135.82	c current bound: 1323
134.19/136.43	c current bound: 1323
134.60/137.04	c current bound: 1323
135.41/137.65	c current bound: 1323
135.80/138.26	c current bound: 1323
136.42/138.87	c current bound: 1323
137.02/139.48	c current bound: 1323
137.62/140.09	c current bound: 1323
138.24/140.70	c current bound: 1323
138.86/141.30	c current bound: 1323
139.70/141.92	c current bound: 1323
140.08/142.53	c current bound: 1323
140.90/143.14	c current bound: 1323
141.29/143.74	c current bound: 1323
141.91/144.35	c current bound: 1323
142.51/144.96	c current bound: 1323
143.12/145.57	c current bound: 1323
143.72/146.18	c current bound: 1323
144.33/146.79	c current bound: 1323
145.09/147.40	c current bound: 1323
145.55/148.01	c current bound: 1323
146.38/148.62	c current bound: 1323
146.77/149.23	c current bound: 1323
147.38/149.84	c current bound: 1323
147.97/150.44	c current bound: 1323
148.58/151.05	c current bound: 1323
149.19/151.66	c current bound: 1323
149.80/152.27	c current bound: 1323
150.65/153.16	c current bound: 1323
151.02/153.76	c current bound: 1323
151.64/154.37	c current bound: 1323
152.24/154.98	c current bound: 1323
152.85/155.59	c current bound: 1323
153.62/156.20	c current bound: 1323
154.07/156.81	c current bound: 1323
154.91/157.42	c current bound: 1323
155.29/158.10	c current bound: 1323
155.89/158.71	c current bound: 1323
156.50/159.32	c current bound: 1323
157.11/159.93	c current bound: 1323
157.92/160.54	c current bound: 1323
158.33/161.15	c current bound: 1323
159.14/161.76	c current bound: 1323
159.56/162.37	c current bound: 1323
160.17/162.99	c current bound: 1323
160.78/163.63	c current bound: 1323
161.39/164.24	c current bound: 1323
161.99/164.85	c current bound: 1323
162.61/165.46	c current bound: 1323
163.40/166.07	c current bound: 1323
163.83/166.68	c current bound: 1323
164.61/167.29	c current bound: 1323
165.31/167.90	c current bound: 1323
165.66/168.51	c current bound: 1323
166.26/169.11	c current bound: 1323
166.87/169.72	c current bound: 1323
167.48/170.33	c current bound: 1323
168.09/170.95	c current bound: 1323
168.91/171.58	c current bound: 1323
169.31/172.19	c current bound: 1323
170.17/172.80	c current bound: 1323
170.52/173.48	c current bound: 1323
171.42/174.10	c current bound: 1323
171.76/174.71	c current bound: 1323
172.37/175.31	c current bound: 1323
173.22/175.93	c current bound: 1323
173.59/176.54	c current bound: 1323
174.41/177.15	c current bound: 1323
174.81/177.75	c current bound: 1323
175.42/178.37	c current bound: 1323
176.02/179.02	c current bound: 1323
176.65/179.63	c current bound: 1323
177.26/180.24	c current bound: 1323
177.86/180.84	c current bound: 1323
178.67/181.46	c current bound: 1323
179.07/182.07	c current bound: 1323
179.86/182.68	c current bound: 1323
180.30/183.29	c current bound: 1323
180.91/183.91	c current bound: 1323
181.54/184.52	c current bound: 1323
182.14/185.13	c current bound: 1323
182.76/185.74	c current bound: 1323
183.35/186.35	c current bound: 1323
184.16/186.96	c current bound: 1323
184.59/187.57	c current bound: 1323
185.38/188.18	c current bound: 1323
185.81/188.91	c current bound: 1323
186.43/189.52	c current bound: 1323
187.03/190.13	c current bound: 1323
187.64/190.74	c current bound: 1323
188.45/191.35	c current bound: 1323
188.85/191.96	c current bound: 1323
189.66/192.57	c current bound: 1323
190.07/193.18	c current bound: 1323
190.70/193.79	c current bound: 1323
191.57/194.40	c current bound: 1323
191.90/195.01	c current bound: 1323
192.53/195.62	c current bound: 1323
193.13/196.23	c current bound: 1323
193.96/196.84	c current bound: 1323
194.35/197.45	c current bound: 1323
195.15/198.06	c current bound: 1323
195.57/198.68	c current bound: 1323
196.19/199.29	c current bound: 1323
197.06/199.90	c current bound: 1323
197.41/200.51	c current bound: 1323
198.03/201.12	c current bound: 1323
198.63/201.73	c current bound: 1323
199.46/202.34	c current bound: 1323
199.85/202.95	c current bound: 1323
200.66/203.56	c current bound: 1323
201.08/204.29	c current bound: 1323
201.68/204.90	c current bound: 1323
202.30/205.51	c current bound: 1323
202.91/206.12	c current bound: 1323
203.74/206.74	c current bound: 1323
204.13/207.34	c current bound: 1323
204.94/207.95	c current bound: 1323
205.34/208.56	c current bound: 1323
205.94/209.30	c current bound: 1323
206.56/209.91	c current bound: 1323
207.16/210.52	c current bound: 1323
207.99/211.13	c current bound: 1323
208.39/211.74	c current bound: 1323
209.20/212.35	c current bound: 1323
209.61/212.96	c current bound: 1323
210.20/213.57	c current bound: 1323
210.83/214.31	c current bound: 1323
211.44/214.92	c current bound: 1323
212.28/215.54	c current bound: 1323
212.66/216.15	c current bound: 1323
213.48/216.76	c current bound: 1323
213.88/217.36	c current bound: 1323
214.49/217.98	c current bound: 1323
215.11/218.59	c current bound: 1323
215.71/219.32	c current bound: 1323
216.55/219.93	c current bound: 1323
216.93/220.54	c current bound: 1323
217.76/221.15	c current bound: 1323
218.16/221.77	c current bound: 1323
218.78/222.38	c current bound: 1323
219.39/222.99	c current bound: 1323
220.26/223.60	c current bound: 1323
220.86/224.34	c current bound: 1323
221.22/224.95	c current bound: 1323
222.03/225.56	c current bound: 1323
222.45/226.17	c current bound: 1323
223.05/226.78	c current bound: 1323
223.66/227.39	c current bound: 1323
224.54/228.00	c current bound: 1323
224.89/228.61	c current bound: 1323
225.49/229.33	c current bound: 1323
226.31/229.94	c current bound: 1323
226.71/230.55	c current bound: 1323
227.31/231.16	c current bound: 1323
227.94/231.77	c current bound: 1323
228.54/232.38	c current bound: 1323
229.41/233.00	c current bound: 1323
229.76/233.60	c current bound: 1323
230.64/234.32	c current bound: 1323
230.98/234.92	c current bound: 1323
231.79/235.53	c current bound: 1323
232.20/236.14	c current bound: 1323
232.81/236.76	c current bound: 1323
233.42/237.37	c current bound: 1323
234.04/237.98	c current bound: 1323
234.64/238.58	c current bound: 1323
235.25/239.20	c current bound: 1323
236.08/239.85	c current bound: 1323
236.48/240.46	c current bound: 1323
237.10/241.08	c current bound: 1323
237.70/241.68	c current bound: 1323
238.32/242.29	c current bound: 1323
238.91/242.90	c current bound: 1323
239.52/243.52	c current bound: 1323
240.37/244.13	c current bound: 1323
240.75/244.74	c current bound: 1323
241.57/245.35	c current bound: 1323
241.96/245.95	c current bound: 1323
242.58/246.56	c current bound: 1323
243.18/247.17	c current bound: 1323
243.79/247.78	c current bound: 1323
244.40/248.39	c current bound: 1323
245.27/249.00	c current bound: 1323
245.87/249.81	c current bound: 1323
246.24/250.41	c current bound: 1323
246.85/251.02	c current bound: 1323
247.45/251.63	c current bound: 1323
248.05/252.24	c current bound: 1323
248.66/252.84	c current bound: 1323
249.27/253.45	c current bound: 1323
250.07/254.06	c current bound: 1323
250.49/254.79	c current bound: 1323
251.36/255.40	c current bound: 1323
251.70/256.00	c current bound: 1323
252.33/256.62	c current bound: 1323
252.93/257.22	c current bound: 1323
253.54/257.83	c current bound: 1323
254.36/258.46	c current bound: 1323
254.77/259.07	c current bound: 1323
255.63/259.79	c current bound: 1323
255.99/260.40	c current bound: 1323
256.61/261.01	c current bound: 1323
257.21/261.62	c current bound: 1323
257.82/262.23	c current bound: 1323
258.63/262.84	c current bound: 1323
259.05/263.45	c current bound: 1323
259.85/264.06	c current bound: 1323
260.26/264.67	c current bound: 1323
260.86/265.31	c current bound: 1323
261.47/265.92	c current bound: 1323
262.09/266.53	c current bound: 1323
262.69/267.13	c current bound: 1323
263.30/267.74	c current bound: 1323
264.11/268.35	c current bound: 1323
264.52/268.96	c current bound: 1323
265.30/269.57	c current bound: 1323
265.73/270.18	c current bound: 1323
266.34/270.79	c current bound: 1323
266.96/271.40	c current bound: 1323
267.56/272.01	c current bound: 1323
268.18/272.62	c current bound: 1323
268.77/273.22	c current bound: 1323
269.61/273.84	c current bound: 1323
269.99/274.45	c current bound: 1323
270.87/275.18	c current bound: 1323
271.23/275.79	c current bound: 1323
272.09/276.40	c current bound: 1323
272.44/277.00	c current bound: 1323
273.04/277.61	c current bound: 1323
273.88/278.22	c current bound: 1323
274.26/278.83	c current bound: 1323
275.08/279.44	c current bound: 1323
275.48/280.05	c current bound: 1323
276.28/280.66	c current bound: 1323
276.70/281.27	c current bound: 1323
277.30/281.88	c current bound: 1323
277.90/282.48	c current bound: 1323
278.53/283.09	c current bound: 1323
279.14/283.70	c current bound: 1323
279.74/284.31	c current bound: 1323
280.59/284.92	c current bound: 1323
280.96/285.53	c current bound: 1323
281.79/286.14	c current bound: 1323
282.18/286.75	c current bound: 1323
282.79/287.36	c current bound: 1323
283.40/287.97	c current bound: 1323
284.01/288.58	c current bound: 1323
284.63/289.18	c current bound: 1323
285.23/289.79	c current bound: 1323
286.10/290.48	c current bound: 1323
286.45/291.09	c current bound: 1323
287.06/291.70	c current bound: 1323
287.68/292.31	c current bound: 1323
288.28/292.92	c current bound: 1323
288.89/293.53	c current bound: 1323
289.50/294.14	c current bound: 1323
290.32/294.75	c current bound: 1323
290.71/295.36	c current bound: 1323
291.58/296.00	c current bound: 1323
291.94/296.61	c current bound: 1323
292.56/297.22	c current bound: 1323
293.16/297.83	c current bound: 1323
293.77/298.44	c current bound: 1323
294.39/299.05	c current bound: 1323
295.00/299.66	c current bound: 1323
295.81/300.27	c current bound: 1323
296.21/300.88	c current bound: 1323
296.98/301.49	c current bound: 1323
297.70/302.10	c current bound: 1323
298.04/302.71	c current bound: 1323
298.66/303.32	c current bound: 1323
299.26/303.93	c current bound: 1323
299.88/304.54	c current bound: 1323
300.48/305.14	c current bound: 1323
301.34/305.88	c current bound: 1323
301.71/306.49	c current bound: 1323
302.58/307.10	c current bound: 1323
302.93/307.71	c current bound: 1323
303.53/308.32	c current bound: 1323
304.15/308.93	c current bound: 1323
304.75/309.54	c current bound: 1323
305.57/310.15	c current bound: 1323
305.98/310.86	c current bound: 1323
306.58/311.47	c current bound: 1323
307.20/312.07	c current bound: 1323
307.80/312.68	c current bound: 1323
308.42/313.29	c current bound: 1323
309.02/313.90	c current bound: 1323
309.87/314.51	c current bound: 1323
310.25/315.12	c current bound: 1323
311.07/315.73	c current bound: 1323
311.46/316.38	c current bound: 1323
312.07/316.99	c current bound: 1323
312.69/317.60	c current bound: 1323
313.30/318.21	c current bound: 1323
313.90/318.82	c current bound: 1323
314.52/319.43	c current bound: 1323
315.35/320.04	c current bound: 1323
315.74/320.65	c current bound: 1323
316.55/321.26	c current bound: 1323
316.96/321.87	c current bound: 1323
317.58/322.48	c current bound: 1323
318.18/323.08	c current bound: 1323
318.80/323.69	c current bound: 1323
319.41/324.30	c current bound: 1323
320.01/324.91	c current bound: 1323
320.87/325.52	c current bound: 1323
321.24/326.24	c current bound: 1323
322.05/326.85	c current bound: 1323
322.46/327.46	c current bound: 1323
323.06/328.07	c current bound: 1323
323.68/328.68	c current bound: 1323
324.55/329.30	c current bound: 1323
325.16/329.90	c current bound: 1323
325.50/330.51	c current bound: 1323
326.35/331.12	c current bound: 1323
326.73/331.76	c current bound: 1323
327.33/332.37	c current bound: 1323
327.94/332.98	c current bound: 1323
328.54/333.59	c current bound: 1323
329.43/334.20	c current bound: 1323
329.77/334.81	c current bound: 1323
330.62/335.42	c current bound: 1323
331.00/336.03	c current bound: 1323
331.81/336.64	c current bound: 1323
332.21/337.25	c current bound: 1323
333.01/337.86	c current bound: 1323
333.44/338.47	c current bound: 1323
334.04/339.08	c current bound: 1323
334.66/339.69	c current bound: 1323
335.52/340.30	c current bound: 1323
335.88/340.91	c current bound: 1323
336.48/341.52	c current bound: 1323
337.32/342.13	c current bound: 1323
337.70/342.74	c current bound: 1323
338.52/343.35	c current bound: 1323
338.92/343.96	c current bound: 1323
339.53/344.57	c current bound: 1323
340.14/345.18	c current bound: 1323
340.75/345.78	c current bound: 1323
341.36/346.39	c current bound: 1323
341.97/347.00	c current bound: 1323
342.82/347.61	c current bound: 1323
343.19/348.22	c current bound: 1323
344.01/348.83	c current bound: 1323
344.40/349.45	c current bound: 1323
345.01/350.06	c current bound: 1323
345.63/350.68	c current bound: 1323
346.24/351.28	c current bound: 1323
347.08/351.97	c current bound: 1323
347.45/352.59	c current bound: 1323
348.34/353.20	c current bound: 1323
348.68/353.81	c current bound: 1323
349.28/354.41	c current bound: 1323
349.89/355.02	c current bound: 1323
350.49/355.63	c current bound: 1323
351.11/356.24	c current bound: 1323
351.71/356.85	c current bound: 1323
352.48/357.49	c current bound: 1323
353.19/358.10	c current bound: 1323
353.78/358.71	c current bound: 1323
354.16/359.32	c current bound: 1323
354.76/359.93	c current bound: 1323
355.37/360.53	c current bound: 1323
355.98/361.15	c current bound: 1323
356.59/361.76	c current bound: 1323
357.19/362.37	c current bound: 1323
357.98/362.98	c current bound: 1323
358.41/363.59	c current bound: 1323
359.29/364.20	c current bound: 1323
359.63/364.81	c current bound: 1323
360.24/365.42	c current bound: 1323
360.84/366.02	c current bound: 1323
361.45/366.63	c current bound: 1323
362.31/367.37	c current bound: 1323
362.68/367.98	c current bound: 1323
363.45/368.59	c current bound: 1323
364.15/369.20	c current bound: 1323
364.50/369.81	c current bound: 1323
365.10/370.42	c current bound: 1323
365.70/371.02	c current bound: 1323
366.31/371.63	c current bound: 1323
367.20/372.36	c current bound: 1323
367.73/372.97	c current bound: 1323
368.14/373.58	c current bound: 1323
368.75/374.19	c current bound: 1323
369.64/374.80	c current bound: 1323
369.98/375.41	c current bound: 1323
370.59/376.02	c current bound: 1323
371.19/376.62	c current bound: 1323
372.03/377.24	c current bound: 1323
372.41/377.84	c current bound: 1323
373.23/378.45	c current bound: 1323
373.64/379.06	c current bound: 1323
374.25/379.67	c current bound: 1323
374.85/380.28	c current bound: 1323
375.46/380.89	c current bound: 1323
376.08/381.50	c current bound: 1323
376.68/382.11	c current bound: 1323
377.54/382.72	c current bound: 1323
377.91/383.33	c current bound: 1323
378.72/383.94	c current bound: 1323
379.12/384.55	c current bound: 1323
379.73/385.16	c current bound: 1323
380.34/385.77	c current bound: 1323
380.94/386.38	c current bound: 1323
381.56/386.99	c current bound: 1323
382.17/387.71	c current bound: 1323
383.00/388.32	c current bound: 1323
383.38/388.93	c current bound: 1323
384.19/389.54	c current bound: 1323
384.59/390.15	c current bound: 1323
385.22/390.77	c current bound: 1323
385.82/391.38	c current bound: 1323
386.43/391.99	c current bound: 1323
387.31/392.69	c current bound: 1323
387.65/393.30	c current bound: 1323
388.50/393.91	c current bound: 1323
388.86/394.52	c current bound: 1323
389.48/395.13	c current bound: 1323
390.08/395.74	c current bound: 1323
390.68/396.35	c current bound: 1323
391.30/396.95	c current bound: 1323
391.92/397.56	c current bound: 1323
392.72/398.17	c current bound: 1323
393.13/398.78	c current bound: 1323
393.90/399.39	c current bound: 1323
394.61/400.00	c current bound: 1323
394.96/400.61	c current bound: 1323
395.57/401.21	c current bound: 1323
396.17/401.83	c current bound: 1323
396.78/402.43	c current bound: 1323
397.39/403.19	c current bound: 1323
398.16/403.79	c current bound: 1323
398.61/404.41	c current bound: 1323
399.23/405.02	c current bound: 1323
399.84/405.63	c current bound: 1323
400.45/406.24	c current bound: 1323
401.06/406.85	c current bound: 1323
401.67/407.46	c current bound: 1323
402.52/408.16	c current bound: 1323
402.89/408.76	c current bound: 1323
403.50/409.37	c current bound: 1323
404.09/409.98	c current bound: 1323
404.72/410.59	c current bound: 1323
405.59/411.20	c current bound: 1323
405.93/411.81	c current bound: 1323
406.79/412.42	c current bound: 1323
407.15/413.03	c current bound: 1323
407.96/413.66	c current bound: 1323
408.36/414.27	c current bound: 1323
408.98/414.88	c current bound: 1323
409.59/415.49	c current bound: 1323
410.21/416.10	c current bound: 1323
410.81/416.72	c current bound: 1323
411.43/417.32	c current bound: 1323
412.26/417.93	c current bound: 1323
412.64/418.54	c current bound: 1323
413.46/419.15	c current bound: 1323
413.86/419.76	c current bound: 1323
414.48/420.37	c current bound: 1323
415.08/420.98	c current bound: 1323
415.96/421.60	c current bound: 1323
416.30/422.21	c current bound: 1323
416.91/422.81	c current bound: 1323
417.74/423.48	c current bound: 1323
418.12/424.09	c current bound: 1323
418.99/424.70	c current bound: 1323
419.35/425.31	c current bound: 1323
419.97/425.92	c current bound: 1323
420.57/426.53	c current bound: 1323
421.17/427.14	c current bound: 1323
421.79/427.75	c current bound: 1323
422.40/428.36	c current bound: 1323
423.17/428.99	c current bound: 1323
423.62/429.60	c current bound: 1323
424.47/430.21	c current bound: 1323
424.84/430.82	c current bound: 1323
425.46/431.43	c current bound: 1323
426.06/432.04	c current bound: 1323
426.67/432.65	c current bound: 1323
427.28/433.26	c current bound: 1323
427.88/433.87	c current bound: 1323
428.69/434.48	c current bound: 1323
429.11/435.09	c current bound: 1323
429.98/435.70	c current bound: 1323
430.33/436.32	c current bound: 1323
430.96/436.93	c current bound: 1323
431.56/437.53	c current bound: 1323
432.17/438.15	c current bound: 1323
433.03/438.87	c current bound: 1323
433.39/439.48	c current bound: 1323
434.17/440.08	c current bound: 1323
434.60/440.69	c current bound: 1323
435.21/441.31	c current bound: 1323
435.81/441.92	c current bound: 1323
436.43/442.54	c current bound: 1323
437.04/443.15	c current bound: 1323
437.65/443.97	c current bound: 1323
438.27/444.58	c current bound: 1323
438.88/445.19	c current bound: 1323
439.49/445.81	c current bound: 1323
440.11/446.42	c current bound: 1323
440.72/447.03	c current bound: 1323
441.54/447.63	c current bound: 1323
441.93/448.25	c current bound: 1323
442.79/448.99	c current bound: 1323
443.43/449.60	c current bound: 1323
443.77/450.22	c current bound: 1323
444.39/450.84	c current bound: 1323
445.01/451.44	c current bound: 1323
445.81/452.05	c current bound: 1323
446.23/452.66	c current bound: 1323
447.03/453.27	c current bound: 1323
447.43/453.99	c current bound: 1323
448.31/454.60	c current bound: 1323
448.66/455.21	c current bound: 1323
449.27/455.82	c current bound: 1323
450.11/456.43	c current bound: 1323
450.50/457.03	c current bound: 1323
451.32/457.65	c current bound: 1323
451.71/458.26	c current bound: 1323
452.32/458.87	c current bound: 1323
452.93/459.48	c current bound: 1323
453.54/460.09	c current bound: 1323
454.41/460.70	c current bound: 1323
454.76/461.31	c current bound: 1323
455.61/461.92	c current bound: 1323
455.98/462.53	c current bound: 1323
456.81/463.14	c current bound: 1323
457.20/463.74	c current bound: 1323
458.00/464.35	c current bound: 1323
458.43/464.96	c current bound: 1323
459.02/465.57	c current bound: 1323
459.63/466.18	c current bound: 1323
460.24/466.79	c current bound: 1323
460.85/467.40	c current bound: 1323
461.46/468.01	c current bound: 1323
462.31/468.62	c current bound: 1323
462.68/469.34	c current bound: 1323
463.30/469.95	c current bound: 1323
463.90/470.56	c current bound: 1323
464.51/471.17	c current bound: 1323
465.11/471.78	c current bound: 1323
465.73/472.39	c current bound: 1323
466.49/473.00	c current bound: 1323
466.95/473.61	c current bound: 1323
467.79/474.22	c current bound: 1323
468.17/474.86	c current bound: 1323
468.79/475.47	c current bound: 1323
469.40/476.08	c current bound: 1323
470.00/476.69	c current bound: 1323
470.61/477.30	c current bound: 1323
471.23/477.91	c current bound: 1323
472.06/478.52	c current bound: 1323
472.44/479.13	c current bound: 1323
473.27/479.74	c current bound: 1323
473.66/480.35	c current bound: 1323
474.27/480.96	c current bound: 1323
474.88/481.57	c current bound: 1323
475.49/482.18	c current bound: 1323
476.09/482.79	c current bound: 1323
476.71/483.39	c current bound: 1323
477.57/484.01	c current bound: 1323
477.94/484.74	c current bound: 1323
478.53/485.35	c current bound: 1323
479.14/485.96	c current bound: 1323
479.74/486.57	c current bound: 1323
480.35/487.18	c current bound: 1323
480.96/487.79	c current bound: 1323
481.74/488.40	c current bound: 1323
482.18/489.01	c current bound: 1323
483.04/489.71	c current bound: 1323
483.40/490.33	c current bound: 1323
484.01/490.93	c current bound: 1323
484.63/491.54	c current bound: 1323
485.23/492.15	c current bound: 1323
486.04/492.76	c current bound: 1323
486.46/493.37	c current bound: 1323
487.25/493.98	c current bound: 1323
487.68/494.58	c current bound: 1323
488.27/495.23	c current bound: 1323
488.89/495.84	c current bound: 1323
489.51/496.45	c current bound: 1323
490.12/497.06	c current bound: 1323
490.72/497.67	c current bound: 1323
491.52/498.28	c current bound: 1323
491.95/498.88	c current bound: 1323
492.71/499.49	c current bound: 1323
493.16/500.10	c current bound: 1323
493.77/500.71	c current bound: 1323
494.39/501.32	c current bound: 1323
494.99/501.93	c current bound: 1323
495.61/502.54	c current bound: 1323
496.21/503.14	c current bound: 1323
497.01/503.75	c current bound: 1323
497.42/504.36	c current bound: 1323
498.27/505.09	c current bound: 1323
498.91/505.70	c current bound: 1323
499.25/506.30	c current bound: 1323
499.86/506.91	c current bound: 1323
500.48/507.52	c current bound: 1323
501.29/508.13	c current bound: 1323
501.69/508.74	c current bound: 1323
502.51/509.35	c current bound: 1323
502.91/509.96	c current bound: 1323
503.51/510.60	c current bound: 1323
504.12/511.21	c current bound: 1323
504.73/511.82	c current bound: 1323
505.33/512.43	c current bound: 1323
505.97/513.03	c current bound: 1323
506.78/513.64	c current bound: 1323
507.19/514.25	c current bound: 1323
507.99/514.86	c current bound: 1323
508.41/515.47	c current bound: 1323
509.01/516.08	c current bound: 1323
509.61/516.68	c current bound: 1323
510.23/517.29	c current bound: 1323
510.84/517.90	c current bound: 1323
511.45/518.51	c current bound: 1323
512.28/519.12	c current bound: 1323
512.66/519.73	c current bound: 1323
513.54/520.45	c current bound: 1323
513.89/521.06	c current bound: 1323
514.50/521.67	c current bound: 1323
515.09/522.28	c current bound: 1323
515.72/522.88	c current bound: 1323
516.32/523.49	c current bound: 1323
516.93/524.10	c current bound: 1323
517.77/524.71	c current bound: 1323
518.14/525.32	c current bound: 1323
518.96/525.95	c current bound: 1323
519.37/526.56	c current bound: 1323
519.97/527.17	c current bound: 1323
520.59/527.79	c current bound: 1323
521.47/528.40	c current bound: 1323
522.06/529.01	c current bound: 1323
522.42/529.62	c current bound: 1323
523.26/530.23	c current bound: 1323
523.65/530.84	c current bound: 1323
524.48/531.45	c current bound: 1323
524.87/532.05	c current bound: 1323
525.48/532.66	c current bound: 1323
526.09/533.27	c current bound: 1323
526.69/533.88	c current bound: 1323
527.30/534.49	c current bound: 1323
527.91/535.11	c current bound: 1323
528.80/535.84	c current bound: 1323
529.16/536.44	c current bound: 1323
529.77/537.05	c current bound: 1323
530.38/537.66	c current bound: 1323
530.98/538.27	c current bound: 1323
531.60/538.89	c current bound: 1323
532.48/539.50	c current bound: 1323
533.08/540.10	c current bound: 1323
533.43/540.71	c current bound: 1323
534.04/541.43	c current bound: 1323
534.65/542.04	c current bound: 1323
535.25/542.65	c current bound: 1323
535.86/543.26	c current bound: 1323
536.49/543.87	c current bound: 1323
537.25/544.48	c current bound: 1323
537.70/545.09	c current bound: 1323
538.57/545.70	c current bound: 1323
538.93/546.31	c current bound: 1323
539.52/546.91	c current bound: 1323
540.14/547.52	c current bound: 1323
540.75/548.13	c current bound: 1323
541.35/548.73	c current bound: 1323
541.97/549.34	c current bound: 1323
542.77/549.95	c current bound: 1323
543.18/550.56	c current bound: 1323
544.02/551.29	c current bound: 1323
544.39/551.90	c current bound: 1323
545.00/552.51	c current bound: 1323
545.61/553.12	c current bound: 1323
546.22/553.73	c current bound: 1323
547.06/554.34	c current bound: 1323
547.44/554.95	c current bound: 1323
548.26/555.55	c current bound: 1323
548.92/556.28	c current bound: 1323
549.27/556.88	c current bound: 1323
550.14/557.50	c current bound: 1323
550.48/558.10	c current bound: 1323
551.33/558.71	c current bound: 1323
551.71/559.32	c current bound: 1323
552.55/559.93	c current bound: 1323
552.92/560.53	c current bound: 1323
553.74/561.14	c current bound: 1323
554.14/561.75	c current bound: 1323
554.74/562.36	c current bound: 1323
555.36/562.97	c current bound: 1323
555.95/563.58	c current bound: 1323
556.57/564.19	c current bound: 1323
557.44/564.80	c current bound: 1323
558.03/565.41	c current bound: 1323
558.39/566.01	c current bound: 1323
559.24/566.71	c current bound: 1323
559.60/567.32	c current bound: 1323
560.20/567.93	c current bound: 1323
560.82/568.54	c current bound: 1323
561.43/569.14	c current bound: 1323
562.24/569.76	c current bound: 1323
562.66/570.37	c current bound: 1323
563.43/570.98	c current bound: 1323
563.87/571.59	c current bound: 1323
564.47/572.23	c current bound: 1323
565.09/572.84	c current bound: 1323
565.69/573.45	c current bound: 1323
566.31/574.06	c current bound: 1323
566.91/574.67	c current bound: 1323
567.69/575.28	c current bound: 1323
568.13/575.89	c current bound: 1323
568.99/576.50	c current bound: 1323
569.35/577.11	c current bound: 1323
569.96/577.72	c current bound: 1323
570.56/578.33	c current bound: 1323
571.16/578.94	c current bound: 1323
571.77/579.55	c current bound: 1323
572.40/580.16	c current bound: 1323
573.19/580.77	c current bound: 1323
573.61/581.38	c current bound: 1323
574.47/582.13	c current bound: 1323
574.84/582.74	c current bound: 1323
575.44/583.35	c current bound: 1323
576.04/583.96	c current bound: 1323
576.66/584.57	c current bound: 1323
577.44/585.18	c current bound: 1323
577.88/585.79	c current bound: 1323
578.73/586.40	c current bound: 1323
579.10/587.12	c current bound: 1323
579.71/587.73	c current bound: 1323
580.32/588.33	c current bound: 1323
580.92/588.94	c current bound: 1323
581.74/589.55	c current bound: 1323
582.15/590.17	c current bound: 1323
582.94/590.78	c current bound: 1323
583.36/591.39	c current bound: 1323
584.24/592.00	c current bound: 1323
584.58/592.65	c current bound: 1323
585.19/593.26	c current bound: 1323
585.80/593.86	c current bound: 1323
586.41/594.47	c current bound: 1323
587.17/595.08	c current bound: 1323
587.89/595.70	c current bound: 1323
588.48/596.31	c current bound: 1323
588.83/596.92	c current bound: 1323
589.44/597.52	c current bound: 1323
590.06/598.13	c current bound: 1323
590.65/598.74	c current bound: 1323
591.27/599.35	c current bound: 1323
591.87/599.96	c current bound: 1323
592.68/600.57	c current bound: 1323
593.10/601.18	c current bound: 1323
593.86/601.79	c current bound: 1323
594.57/602.50	c current bound: 1323
594.92/603.11	c current bound: 1323
595.53/603.72	c current bound: 1323
596.13/604.33	c current bound: 1323
596.94/604.95	c current bound: 1323
597.36/605.57	c current bound: 1323
598.15/606.18	c current bound: 1323
598.57/606.79	c current bound: 1323
599.45/607.50	c current bound: 1323
599.80/608.11	c current bound: 1323
600.40/608.72	c current bound: 1323
601.23/609.33	c current bound: 1323
601.63/609.94	c current bound: 1323
602.43/610.55	c current bound: 1323
602.85/611.16	c current bound: 1323
603.46/611.77	c current bound: 1323
604.07/612.38	c current bound: 1323
604.68/612.99	c current bound: 1323
605.55/613.60	c current bound: 1323
605.90/614.21	c current bound: 1323
606.73/614.82	c current bound: 1323
607.11/615.43	c current bound: 1323
607.94/616.04	c current bound: 1323
608.33/616.65	c current bound: 1323
609.13/617.26	c current bound: 1323
609.55/617.99	c current bound: 1323
610.17/618.60	c current bound: 1323
611.01/619.21	c current bound: 1323
611.38/619.82	c current bound: 1323
612.22/620.43	c current bound: 1323
612.60/621.04	c current bound: 1323
613.42/621.65	c current bound: 1323
613.82/622.26	c current bound: 1323
614.68/622.90	c current bound: 1323
615.03/623.51	c current bound: 1323
615.64/624.11	c current bound: 1323
616.48/624.72	c current bound: 1323
616.86/625.33	c current bound: 1323
617.70/625.94	c current bound: 1323
618.08/626.57	c current bound: 1323
618.69/627.18	c current bound: 1323
619.31/627.79	c current bound: 1323
620.17/628.40	c current bound: 1323
620.52/629.00	c current bound: 1323
621.11/629.61	c current bound: 1323
621.96/630.22	c current bound: 1323
622.33/630.83	c current bound: 1323
623.15/631.44	c current bound: 1323
623.55/632.05	c current bound: 1323
624.16/632.66	c current bound: 1323
624.77/633.41	c current bound: 1323
625.37/634.02	c current bound: 1323
626.21/634.63	c current bound: 1323
626.61/635.23	c current bound: 1323
627.42/635.84	c current bound: 1323
627.82/636.45	c current bound: 1323
628.43/637.06	c current bound: 1323
629.03/637.67	c current bound: 1323
629.64/638.48	c current bound: 1323
630.42/639.09	c current bound: 1323
630.85/639.71	c current bound: 1323
631.71/640.32	c current bound: 1323
632.09/640.93	c current bound: 1323
632.70/641.53	c current bound: 1323
633.31/642.15	c current bound: 1323
633.92/642.77	c current bound: 1323
634.80/643.48	c current bound: 1323
635.14/644.09	c current bound: 1323
636.01/644.70	c current bound: 1323
636.37/645.31	c current bound: 1323
636.99/645.92	c current bound: 1323
637.59/646.53	c current bound: 1323
638.20/647.14	c current bound: 1323
638.81/647.75	c current bound: 1323
639.42/648.36	c current bound: 1323
640.30/649.01	c current bound: 1323
640.65/649.62	c current bound: 1323
641.50/650.23	c current bound: 1323
641.87/650.83	c current bound: 1323
642.48/651.44	c current bound: 1323
643.08/652.05	c current bound: 1323
643.70/652.66	c current bound: 1323
644.30/653.27	c current bound: 1323
644.90/653.88	c current bound: 1323
645.68/654.49	c current bound: 1323
646.12/655.10	c current bound: 1323
646.98/655.71	c current bound: 1323
647.35/656.32	c current bound: 1323
647.96/656.93	c current bound: 1323
648.58/657.54	c current bound: 1323
649.18/658.15	c current bound: 1323
650.04/658.87	c current bound: 1323
650.40/659.48	c current bound: 1323
651.18/660.09	c current bound: 1323
651.61/660.70	c current bound: 1323
652.22/661.31	c current bound: 1323
652.83/661.92	c current bound: 1323
653.44/662.53	c current bound: 1323
654.05/663.14	c current bound: 1323
654.66/663.75	c current bound: 1323
655.53/664.41	c current bound: 1323
655.88/665.02	c current bound: 1323
656.72/665.63	c current bound: 1323
657.10/666.24	c current bound: 1323
657.71/666.85	c current bound: 1323
658.32/667.46	c current bound: 1323
658.93/668.07	c current bound: 1323
659.53/668.68	c current bound: 1323
660.15/669.29	c current bound: 1323
660.93/669.89	c current bound: 1323
661.37/670.51	c current bound: 1323
662.22/671.11	c current bound: 1323
662.59/671.72	c current bound: 1323
663.21/672.33	c current bound: 1323
663.81/672.94	c current bound: 1323
664.42/673.56	c current bound: 1323
665.27/674.28	c current bound: 1323
665.65/674.89	c current bound: 1323
666.52/675.50	c current bound: 1323
666.86/676.11	c current bound: 1323
667.47/676.72	c current bound: 1323
668.07/677.33	c current bound: 1323
668.68/677.93	c current bound: 1323
669.29/678.54	c current bound: 1323
669.89/679.15	c current bound: 1323
670.67/679.79	c current bound: 1323
671.38/680.40	c current bound: 1323
671.96/681.01	c current bound: 1323
672.33/681.62	c current bound: 1323
672.95/682.23	c current bound: 1323
673.56/682.83	c current bound: 1323
674.16/683.45	c current bound: 1323
674.77/684.06	c current bound: 1323
675.39/684.66	c current bound: 1323
676.17/685.27	c current bound: 1323
676.61/685.88	c current bound: 1323
677.37/686.49	c current bound: 1323
677.82/687.10	c current bound: 1323
678.43/687.71	c current bound: 1323
679.04/688.32	c current bound: 1323
679.64/688.93	c current bound: 1323
680.51/689.67	c current bound: 1323
680.86/690.28	c current bound: 1323
681.64/690.89	c current bound: 1323
682.08/691.49	c current bound: 1323
682.69/692.11	c current bound: 1323
683.30/692.72	c current bound: 1323
683.90/693.33	c current bound: 1323
684.51/693.93	c current bound: 1323
685.13/694.65	c current bound: 1323
685.94/695.26	c current bound: 1323
686.35/695.87	c current bound: 1323
686.95/696.48	c current bound: 1323
687.57/697.09	c current bound: 1323
688.18/697.70	c current bound: 1323
688.79/698.31	c current bound: 1323
689.40/698.92	c current bound: 1323
690.23/699.52	c current bound: 1323
690.61/700.17	c current bound: 1323
691.40/700.77	c current bound: 1323
691.83/701.38	c current bound: 1323
692.45/701.99	c current bound: 1323
693.05/702.60	c current bound: 1323
693.65/703.21	c current bound: 1323
694.27/703.82	c current bound: 1323
694.88/704.43	c current bound: 1323
695.71/705.03	c current bound: 1323
696.10/705.65	c current bound: 1323
696.91/706.26	c current bound: 1323
697.33/706.87	c current bound: 1323
697.94/707.49	c current bound: 1323
698.55/708.10	c current bound: 1323
699.15/708.71	c current bound: 1323
699.77/709.31	c current bound: 1323
700.38/710.04	c current bound: 1323
701.20/710.65	c current bound: 1323
701.59/711.26	c current bound: 1323
702.22/711.87	c current bound: 1323
702.83/712.49	c current bound: 1323
703.45/713.10	c current bound: 1323
704.06/713.71	c current bound: 1323
704.68/714.32	c current bound: 1323
705.56/715.00	c current bound: 1323
705.90/715.61	c current bound: 1323
706.75/716.22	c current bound: 1323
707.13/716.83	c current bound: 1323
707.73/717.44	c current bound: 1323
708.34/718.05	c current bound: 1323
708.95/718.67	c current bound: 1323
709.57/719.28	c current bound: 1323
710.19/719.89	c current bound: 1323
711.01/720.53	c current bound: 1323
711.41/721.14	c current bound: 1323
712.22/721.74	c current bound: 1323
712.62/722.35	c current bound: 1323
713.23/722.96	c current bound: 1323
713.84/723.57	c current bound: 1323
714.45/724.18	c current bound: 1323
715.06/724.80	c current bound: 1323
715.67/725.41	c current bound: 1323
716.52/726.03	c current bound: 1323
716.89/726.65	c current bound: 1323
717.70/727.26	c current bound: 1323
718.13/727.87	c current bound: 1323
718.74/728.48	c current bound: 1323
719.34/729.09	c current bound: 1323
720.21/729.70	c current bound: 1323
720.81/730.39	c current bound: 1323
721.17/731.00	c current bound: 1323
722.01/731.61	c current bound: 1323
722.38/732.22	c current bound: 1323
722.99/732.83	c current bound: 1323
723.60/733.44	c current bound: 1323
724.20/734.05	c current bound: 1323
724.82/734.66	c current bound: 1323
725.43/735.26	c current bound: 1323
726.28/735.91	c current bound: 1323
726.65/736.52	c current bound: 1323
727.48/737.13	c current bound: 1323
727.87/737.74	c current bound: 1323
728.47/738.35	c current bound: 1323
729.09/738.96	c current bound: 1323
729.70/739.57	c current bound: 1323
730.31/740.18	c current bound: 1323
730.93/740.79	c current bound: 1323
731.69/741.39	c current bound: 1323
732.14/742.00	c current bound: 1323
732.98/742.61	c current bound: 1323
733.36/743.22	c current bound: 1323
733.97/743.83	c current bound: 1323
734.57/744.45	c current bound: 1323
735.21/745.07	c current bound: 1323
736.06/745.81	c current bound: 1323
736.43/746.41	c current bound: 1323
737.26/747.02	c current bound: 1323
737.63/747.63	c current bound: 1323
738.25/748.25	c current bound: 1323
738.85/748.85	c current bound: 1323
739.46/749.47	c current bound: 1323
740.07/750.08	c current bound: 1323
740.69/750.80	c current bound: 1323
741.53/751.41	c current bound: 1323
741.89/752.02	c current bound: 1323
742.52/752.63	c current bound: 1323
743.12/753.25	c current bound: 1323
743.74/753.86	c current bound: 1323
744.36/754.47	c current bound: 1323
744.97/755.08	c current bound: 1323
745.82/755.82	c current bound: 1323
746.18/756.42	c current bound: 1323
746.79/757.04	c current bound: 1323
747.40/757.65	c current bound: 1323
748.01/758.26	c current bound: 1323
748.62/758.88	c current bound: 1323
749.24/759.49	c current bound: 1323
750.01/760.10	c current bound: 1323
750.46/760.79	c current bound: 1323
751.09/761.40	c current bound: 1323
751.68/762.01	c current bound: 1323
752.29/762.62	c current bound: 1323
752.90/763.23	c current bound: 1323
753.51/763.84	c current bound: 1323
754.33/764.45	c current bound: 1323
754.72/765.05	c current bound: 1323
755.53/765.66	c current bound: 1323
755.93/766.32	c current bound: 1323
756.55/766.93	c current bound: 1323
757.15/767.54	c current bound: 1323
757.77/768.15	c current bound: 1323
758.39/768.76	c current bound: 1323
758.99/769.37	c current bound: 1323
759.79/769.98	c current bound: 1323
760.21/770.59	c current bound: 1323
761.07/771.20	c current bound: 1323
761.43/771.81	c current bound: 1323
762.04/772.42	c current bound: 1323
762.66/773.03	c current bound: 1323
763.26/773.64	c current bound: 1323
763.87/774.25	c current bound: 1323
764.49/774.86	c current bound: 1323
765.29/775.47	c current bound: 1323
765.69/776.18	c current bound: 1323
766.31/776.79	c current bound: 1323
766.92/777.40	c current bound: 1323
767.53/778.01	c current bound: 1323
768.14/778.62	c current bound: 1323
768.74/779.23	c current bound: 1323
769.57/779.84	c current bound: 1323
769.97/780.44	c current bound: 1323
770.77/781.05	c current bound: 1323
771.18/781.70	c current bound: 1323
771.78/782.31	c current bound: 1323
772.41/782.92	c current bound: 1323
773.01/783.53	c current bound: 1323
773.61/784.14	c current bound: 1323
774.23/784.75	c current bound: 1323
775.03/785.36	c current bound: 1323
775.45/785.96	c current bound: 1323
776.23/786.58	c current bound: 1323
776.67/787.19	c current bound: 1323
777.27/787.79	c current bound: 1323
777.89/788.40	c current bound: 1323
778.49/789.01	c current bound: 1323
779.10/789.62	c current bound: 1323
779.71/790.23	c current bound: 1323
780.54/790.84	c current bound: 1323
781.20/791.50	c current bound: 1323
781.78/792.11	c current bound: 1323
782.15/792.72	c current bound: 1323
782.76/793.33	c current bound: 1323
783.37/793.93	c current bound: 1323
783.98/794.54	c current bound: 1323
784.59/795.15	c current bound: 1323
785.21/795.76	c current bound: 1323
786.00/796.37	c current bound: 1323
786.42/797.02	c current bound: 1323
787.25/797.63	c current bound: 1323
787.64/798.24	c current bound: 1323
788.25/798.85	c current bound: 1323
788.86/799.46	c current bound: 1323
789.47/800.07	c current bound: 1323
790.08/800.69	c current bound: 1323
790.96/801.30	c current bound: 1323
791.56/801.91	c current bound: 1323
791.92/802.51	c current bound: 1323
792.76/803.12	c current bound: 1323
793.14/803.74	c current bound: 1323
793.74/804.35	c current bound: 1323
794.36/804.96	c current bound: 1323
794.96/805.57	c current bound: 1323
795.57/806.17	c current bound: 1323
796.18/806.89	c current bound: 1323
797.06/807.50	c current bound: 1323
797.40/808.11	c current bound: 1323
798.02/808.72	c current bound: 1323
798.63/809.33	c current bound: 1323
799.25/809.94	c current bound: 1323
799.85/810.55	c current bound: 1323
800.47/811.16	c current bound: 1323
801.26/811.76	c current bound: 1323
801.68/812.38	c current bound: 1323
802.44/812.99	c current bound: 1323
803.17/813.60	c current bound: 1323
803.51/814.22	c current bound: 1323
804.14/814.83	c current bound: 1323
804.74/815.44	c current bound: 1323
805.34/816.05	c current bound: 1323
805.96/816.66	c current bound: 1323
806.76/817.26	c current bound: 1323
807.18/817.87	c current bound: 1323
807.96/818.48	c current bound: 1323
808.39/819.09	c current bound: 1323
809.01/819.70	c current bound: 1323
809.62/820.31	c current bound: 1323
810.22/820.92	c current bound: 1323
810.83/821.53	c current bound: 1323
811.44/822.24	c current bound: 1323
812.26/822.85	c current bound: 1323
812.66/823.46	c current bound: 1323
813.27/824.07	c current bound: 1323
813.88/824.68	c current bound: 1323
814.48/825.29	c current bound: 1323
815.35/825.90	c current bound: 1323
815.70/826.51	c current bound: 1323
816.55/827.12	c current bound: 1323
816.93/827.76	c current bound: 1323
817.73/828.37	c current bound: 1323
818.15/828.98	c current bound: 1323
819.03/829.60	c current bound: 1323
819.38/830.21	c current bound: 1323
819.99/830.82	c current bound: 1323
820.59/831.43	c current bound: 1323
821.20/832.03	c current bound: 1323
822.01/832.64	c current bound: 1323
822.40/833.25	c current bound: 1323
823.21/833.86	c current bound: 1323
823.62/834.46	c current bound: 1323
824.23/835.08	c current bound: 1323
824.84/835.69	c current bound: 1323
825.45/836.30	c current bound: 1323
826.06/836.91	c current bound: 1323
826.68/837.51	c current bound: 1323
827.51/838.12	c current bound: 1323
827.91/838.74	c current bound: 1323
828.71/839.35	c current bound: 1323
829.12/839.96	c current bound: 1323
829.73/840.57	c current bound: 1323
830.33/841.18	c current bound: 1323
830.95/841.79	c current bound: 1323
831.83/842.40	c current bound: 1323
832.16/843.01	c current bound: 1323
833.01/843.62	c current bound: 1323
833.38/844.23	c current bound: 1323
834.21/844.84	c current bound: 1323
834.60/845.44	c current bound: 1323
835.41/846.05	c current bound: 1323
835.81/846.67	c current bound: 1323
836.43/847.27	c current bound: 1323
837.29/848.03	c current bound: 1323
837.64/848.65	c current bound: 1323
838.45/849.26	c current bound: 1323
838.88/849.87	c current bound: 1323
839.48/850.48	c current bound: 1323
840.09/851.08	c current bound: 1323
840.70/851.69	c current bound: 1323
841.31/852.30	c current bound: 1323
841.92/853.03	c current bound: 1323
842.74/853.64	c current bound: 1323
843.14/854.25	c current bound: 1323
843.75/854.86	c current bound: 1323
844.36/855.47	c current bound: 1323
844.97/856.08	c current bound: 1323
845.58/856.69	c current bound: 1323
846.45/857.30	c current bound: 1323
847.04/858.02	c current bound: 1323
847.40/858.63	c current bound: 1323
848.22/859.24	c current bound: 1323
848.61/859.85	c current bound: 1323
849.23/860.46	c current bound: 1323
849.83/861.06	c current bound: 1323
850.45/861.68	c current bound: 1323
851.06/862.29	c current bound: 1323
851.67/862.90	c current bound: 1323
852.50/863.54	c current bound: 1323
852.88/864.15	c current bound: 1323
853.69/864.76	c current bound: 1323
854.09/865.37	c current bound: 1323
854.70/865.98	c current bound: 1323
855.32/866.59	c current bound: 1323
855.92/867.19	c current bound: 1323
856.78/867.81	c current bound: 1323
857.14/868.42	c current bound: 1323
857.97/869.03	c current bound: 1323
858.36/869.64	c current bound: 1323
859.17/870.25	c current bound: 1323
859.58/870.86	c current bound: 1323
860.19/871.47	c current bound: 1323
860.80/872.08	c current bound: 1323
861.42/872.69	c current bound: 1323
862.27/873.41	c current bound: 1323
862.62/874.03	c current bound: 1323
863.45/874.64	c current bound: 1323
863.85/875.25	c current bound: 1323
864.46/875.85	c current bound: 1323
865.07/876.46	c current bound: 1323
865.67/877.07	c current bound: 1323
866.29/877.68	c current bound: 1323
866.89/878.29	c current bound: 1323
867.75/878.92	c current bound: 1323
868.11/879.54	c current bound: 1323
868.93/880.15	c current bound: 1323
869.33/880.76	c current bound: 1323
869.95/881.37	c current bound: 1323
870.55/881.98	c current bound: 1323
871.17/882.59	c current bound: 1323
871.78/883.20	c current bound: 1323
872.39/883.80	c current bound: 1323
873.23/884.42	c current bound: 1323
873.61/885.02	c current bound: 1323
874.44/885.63	c current bound: 1323
874.82/886.24	c current bound: 1323
875.43/886.86	c current bound: 1323
876.05/887.46	c current bound: 1323
876.66/888.07	c current bound: 1323
877.52/888.83	c current bound: 1323
877.87/889.43	c current bound: 1323
878.69/890.04	c current bound: 1323
879.08/890.65	c current bound: 1323
879.70/891.27	c current bound: 1323
880.31/891.88	c current bound: 1323
880.92/892.49	c current bound: 1323
881.52/893.10	c current bound: 1323
882.14/893.82	c current bound: 1323
882.97/894.43	c current bound: 1323
883.35/895.04	c current bound: 1323
883.97/895.65	c current bound: 1323
884.57/896.26	c current bound: 1323
885.18/896.87	c current bound: 1323
885.80/897.48	c current bound: 1323
886.41/898.09	c current bound: 1323
887.16/898.70	c current bound: 1323
887.63/899.35	c current bound: 1323
888.42/899.96	c current bound: 1323
888.84/900.57	c current bound: 1323
889.45/901.17	c current bound: 1323
890.05/901.78	c current bound: 1323
890.92/902.40	c current bound: 1323
891.51/903.01	c current bound: 1323
891.88/903.62	c current bound: 1323
892.72/904.23	c current bound: 1323
893.10/904.84	c current bound: 1323
893.91/905.45	c current bound: 1323
894.31/906.06	c current bound: 1323
894.93/906.67	c current bound: 1323
895.55/907.28	c current bound: 1323
896.16/907.89	c current bound: 1323
896.78/908.49	c current bound: 1323
897.37/909.22	c current bound: 1323
898.21/909.83	c current bound: 1323
898.59/910.44	c current bound: 1323
899.20/911.05	c current bound: 1323
899.82/911.65	c current bound: 1323
900.42/912.26	c current bound: 1323
901.03/912.87	c current bound: 1323
901.64/913.48	c current bound: 1323
902.41/914.09	c current bound: 1323
902.86/914.73	c current bound: 1323
903.67/915.34	c current bound: 1323
904.08/915.95	c current bound: 1323
904.68/916.56	c current bound: 1323
905.30/917.17	c current bound: 1323
905.90/917.78	c current bound: 1323
906.51/918.39	c current bound: 1323
907.11/919.00	c current bound: 1323
907.98/919.61	c current bound: 1323
908.33/920.22	c current bound: 1323
909.16/920.83	c current bound: 1323
909.55/921.44	c current bound: 1323
910.17/922.05	c current bound: 1323
910.76/922.66	c current bound: 1323
911.38/923.27	c current bound: 1323
911.99/923.87	c current bound: 1323
912.87/924.52	c current bound: 1323
913.42/925.14	c current bound: 1323
913.83/925.75	c current bound: 1323
914.62/926.36	c current bound: 1323
915.05/926.97	c current bound: 1323
915.65/927.59	c current bound: 1323
916.54/928.20	c current bound: 1323
916.88/928.81	c current bound: 1323
917.72/929.42	c current bound: 1323
918.09/930.05	c current bound: 1323
918.89/930.66	c current bound: 1323
919.30/931.27	c current bound: 1323
919.92/931.88	c current bound: 1323
920.52/932.49	c current bound: 1323
921.39/933.10	c current bound: 1323
921.74/933.71	c current bound: 1323
922.35/934.32	c current bound: 1323
923.19/934.93	c current bound: 1323
923.57/935.54	c current bound: 1323
924.39/936.14	c current bound: 1323
924.80/936.75	c current bound: 1323
925.40/937.36	c current bound: 1323
926.00/937.97	c current bound: 1323
926.61/938.58	c current bound: 1323
927.22/939.19	c current bound: 1323
927.83/939.91	c current bound: 1323
928.69/940.52	c current bound: 1323
929.05/941.13	c current bound: 1323
929.88/941.74	c current bound: 1323
930.27/942.35	c current bound: 1323
930.88/942.96	c current bound: 1323
931.48/943.57	c current bound: 1323
932.09/944.18	c current bound: 1323
932.70/944.79	c current bound: 1323
933.31/945.43	c current bound: 1323
934.14/946.04	c current bound: 1323
934.54/946.65	c current bound: 1323
935.15/947.26	c current bound: 1323
935.77/947.87	c current bound: 1323
936.37/948.48	c current bound: 1323
936.98/949.09	c current bound: 1323
937.58/949.70	c current bound: 1323
938.45/950.31	c current bound: 1323
938.82/950.92	c current bound: 1323
939.66/951.53	c current bound: 1323
940.03/952.14	c current bound: 1323
940.85/952.75	c current bound: 1323
941.26/953.36	c current bound: 1323
941.87/953.97	c current bound: 1323
942.47/954.58	c current bound: 1323
943.08/955.31	c current bound: 1323
943.93/955.92	c current bound: 1323
944.30/956.52	c current bound: 1323
945.13/957.13	c current bound: 1323
945.52/957.74	c current bound: 1323
946.12/958.35	c current bound: 1323
946.73/958.96	c current bound: 1323
947.33/959.57	c current bound: 1323
947.95/960.17	c current bound: 1323
948.55/960.83	c current bound: 1323
949.39/961.44	c current bound: 1323
949.77/962.05	c current bound: 1323
950.58/962.66	c current bound: 1323
950.98/963.26	c current bound: 1323
951.61/963.88	c current bound: 1323
952.22/964.48	c current bound: 1323
952.83/965.09	c current bound: 1323
953.95/965.71	c current bound: 1323
954.04/966.31	c current bound: 1323
954.90/966.92	c current bound: 1323
955.26/967.53	c current bound: 1323
956.07/968.14	c current bound: 1323
956.48/968.75	c current bound: 1323
957.09/969.36	c current bound: 1323
957.70/969.97	c current bound: 1323
958.32/970.68	c current bound: 1323
959.09/971.29	c current bound: 1323
959.80/971.90	c current bound: 1323
960.40/972.51	c current bound: 1323
960.76/973.12	c current bound: 1323
961.36/973.73	c current bound: 1323
961.98/974.34	c current bound: 1323
962.59/974.95	c current bound: 1323
963.20/975.56	c current bound: 1323
963.80/976.21	c current bound: 1323
964.66/976.82	c current bound: 1323
965.03/977.42	c current bound: 1323
965.85/978.03	c current bound: 1323
966.24/978.64	c current bound: 1323
966.85/979.25	c current bound: 1323
967.46/979.86	c current bound: 1323
968.07/980.47	c current bound: 1323
968.69/981.08	c current bound: 1323
969.28/981.68	c current bound: 1323
970.07/982.29	c current bound: 1323
970.50/982.90	c current bound: 1323
971.33/983.51	c current bound: 1323
971.72/984.12	c current bound: 1323
972.32/984.73	c current bound: 1323
972.94/985.35	c current bound: 1323
973.55/986.07	c current bound: 1323
974.33/986.68	c current bound: 1323
974.76/987.29	c current bound: 1323
975.64/987.90	c current bound: 1323
975.99/988.51	c current bound: 1323
976.60/989.11	c current bound: 1323
977.20/989.72	c current bound: 1323
977.82/990.33	c current bound: 1323
978.42/990.94	c current bound: 1323
979.04/991.58	c current bound: 1323
979.81/992.19	c current bound: 1323
980.26/992.80	c current bound: 1323
981.10/993.41	c current bound: 1323
981.49/994.02	c current bound: 1323
982.09/994.63	c current bound: 1323
982.70/995.24	c current bound: 1323
983.31/995.85	c current bound: 1323
983.92/996.46	c current bound: 1323
984.52/997.07	c current bound: 1323
985.32/997.68	c current bound: 1323
985.76/998.31	c current bound: 1323
986.62/998.92	c current bound: 1323
986.99/999.53	c current bound: 1323
987.61/1000.14	c current bound: 1323
988.21/1000.75	c current bound: 1323
988.82/1001.47	c current bound: 1323
989.59/1002.08	c current bound: 1323
990.04/1002.69	c current bound: 1323
990.89/1003.30	c current bound: 1323
991.26/1003.91	c current bound: 1323
991.87/1004.52	c current bound: 1323
992.47/1005.13	c current bound: 1323
993.09/1005.73	c current bound: 1323
993.70/1006.34	c current bound: 1323
994.31/1006.99	c current bound: 1323
995.18/1007.60	c current bound: 1323
995.52/1008.21	c current bound: 1323
996.37/1008.82	c current bound: 1323
996.74/1009.43	c current bound: 1323
997.35/1010.04	c current bound: 1323
997.95/1010.65	c current bound: 1323
998.57/1011.26	c current bound: 1323
999.17/1011.86	c current bound: 1323
999.79/1012.47	c current bound: 1323
1000.57/1013.08	c current bound: 1323
1001.01/1013.69	c current bound: 1323
1001.85/1014.30	c current bound: 1323
1002.21/1014.92	c current bound: 1323
1002.83/1015.53	c current bound: 1323
1003.43/1016.14	c current bound: 1323
1004.06/1016.87	c current bound: 1323
1004.84/1017.48	c current bound: 1323
1005.27/1018.09	c current bound: 1323
1006.13/1018.71	c current bound: 1323
1006.51/1019.31	c current bound: 1323
1007.10/1019.92	c current bound: 1323
1007.71/1020.53	c current bound: 1323
1008.32/1021.14	c current bound: 1323
1009.18/1021.84	c current bound: 1323
1009.54/1022.47	c current bound: 1323
1010.34/1023.08	c current bound: 1323
1010.77/1023.68	c current bound: 1323
1011.37/1024.29	c current bound: 1323
1012.00/1024.90	c current bound: 1323
1012.60/1025.51	c current bound: 1323
1013.20/1026.12	c current bound: 1323
1013.82/1026.73	c current bound: 1323
1014.61/1027.38	c current bound: 1323
1015.04/1027.99	c current bound: 1323
1015.91/1028.60	c current bound: 1323
1016.25/1029.21	c current bound: 1323
1016.86/1029.82	c current bound: 1323
1017.47/1030.42	c current bound: 1323
1018.08/1031.03	c current bound: 1323
1018.68/1031.64	c current bound: 1323
1019.30/1032.25	c current bound: 1323
1020.11/1032.86	c current bound: 1323
1020.52/1033.47	c current bound: 1323
1021.30/1034.09	c current bound: 1323
1022.02/1034.70	c current bound: 1323
1022.36/1035.31	c current bound: 1323
1022.97/1035.93	c current bound: 1323
1023.59/1036.54	c current bound: 1323
1024.43/1037.26	c current bound: 1323
1024.80/1037.87	c current bound: 1323
1025.58/1038.48	c current bound: 1323
1026.01/1039.09	c current bound: 1323
1026.63/1039.70	c current bound: 1323
1027.23/1040.31	c current bound: 1323
1027.86/1040.92	c current bound: 1323
1028.47/1041.53	c current bound: 1323
1029.08/1042.26	c current bound: 1323
1029.88/1042.87	c current bound: 1323
1030.30/1043.48	c current bound: 1323
1030.92/1044.09	c current bound: 1323
1031.78/1044.70	c current bound: 1323
1032.14/1045.31	c current bound: 1323
1032.74/1045.91	c current bound: 1323
1033.35/1046.52	c current bound: 1323
1034.18/1047.13	c current bound: 1323
1034.57/1047.78	c current bound: 1323
1035.45/1048.40	c current bound: 1323
1035.79/1049.00	c current bound: 1323
1036.39/1049.61	c current bound: 1323
1037.00/1050.22	c current bound: 1323
1037.62/1050.84	c current bound: 1323
1038.23/1051.45	c current bound: 1323
1038.85/1052.05	c current bound: 1323
1039.64/1052.67	c current bound: 1323
1040.07/1053.27	c current bound: 1323
1040.84/1053.89	c current bound: 1323
1041.55/1054.50	c current bound: 1323
1041.89/1055.10	c current bound: 1323
1042.50/1055.71	c current bound: 1323
1043.11/1056.32	c current bound: 1323
1043.71/1056.93	c current bound: 1323
1044.33/1057.55	c current bound: 1323
1045.14/1058.17	c current bound: 1323
1045.56/1058.77	c current bound: 1323
1046.34/1059.39	c current bound: 1323
1047.04/1060.00	c current bound: 1323
1047.39/1060.61	c current bound: 1323
1047.99/1061.21	c current bound: 1323
1048.60/1061.82	c current bound: 1323
1049.21/1062.43	c current bound: 1323
1049.83/1063.04	c current bound: 1323
1050.64/1063.65	c current bound: 1323
1051.04/1064.26	c current bound: 1323
1051.84/1064.87	c current bound: 1323
1052.25/1065.48	c current bound: 1323
1052.86/1066.09	c current bound: 1323
1053.47/1066.70	c current bound: 1323
1054.09/1067.31	c current bound: 1323
1054.95/1068.04	c current bound: 1323
1055.31/1068.65	c current bound: 1323
1056.11/1069.26	c current bound: 1323
1056.52/1069.87	c current bound: 1323
1057.13/1070.48	c current bound: 1323
1057.74/1071.09	c current bound: 1323
1058.61/1071.70	c current bound: 1323
1058.96/1072.31	c current bound: 1323
1059.58/1073.04	c current bound: 1323
1060.38/1073.65	c current bound: 1323
1060.79/1074.26	c current bound: 1323
1061.40/1074.88	c current bound: 1323
1062.02/1075.50	c current bound: 1323
1062.64/1076.11	c current bound: 1323
1063.24/1076.72	c current bound: 1323
1063.85/1077.33	c current bound: 1323
1064.72/1078.06	c current bound: 1323
1065.07/1078.68	c current bound: 1323
1065.70/1079.29	c current bound: 1323
1066.32/1079.90	c current bound: 1323
1066.92/1080.52	c current bound: 1323
1067.52/1081.12	c current bound: 1323
1068.14/1081.74	c current bound: 1323
1068.94/1082.35	c current bound: 1323
1069.63/1083.10	c current bound: 1323
1069.97/1083.70	c current bound: 1323
1070.57/1084.32	c current bound: 1323
1071.19/1084.93	c current bound: 1323
1071.80/1085.54	c current bound: 1323
1072.41/1086.15	c current bound: 1323
1073.22/1086.76	c current bound: 1323
1073.63/1087.37	c current bound: 1323
1074.48/1088.10	c current bound: 1323
1074.84/1088.70	c current bound: 1323
1075.45/1089.31	c current bound: 1323
1076.06/1089.92	c current bound: 1323
1076.67/1090.53	c current bound: 1323
1077.49/1091.15	c current bound: 1323
1077.89/1091.76	c current bound: 1323
1078.69/1092.37	c current bound: 1323
1079.10/1093.10	c current bound: 1323
1079.73/1093.71	c current bound: 1323
1080.34/1094.32	c current bound: 1323
1080.94/1094.93	c current bound: 1323
1081.78/1095.54	c current bound: 1323
1082.16/1096.15	c current bound: 1323
1082.97/1096.76	c current bound: 1323
1083.38/1097.37	c current bound: 1323
1083.99/1098.10	c current bound: 1323
1084.60/1098.71	c current bound: 1323
1085.21/1099.32	c current bound: 1323
1086.04/1099.93	c current bound: 1323
1086.42/1100.54	c current bound: 1323
1087.24/1101.15	c current bound: 1323
1087.64/1101.76	c current bound: 1323
1088.25/1102.37	c current bound: 1323
1089.14/1103.10	c current bound: 1323
1089.47/1103.71	c current bound: 1323
1090.32/1104.32	c current bound: 1323
1090.70/1104.93	c current bound: 1323
1091.51/1105.54	c current bound: 1323
1091.92/1106.15	c current bound: 1323
1092.52/1106.76	c current bound: 1323
1093.13/1107.37	c current bound: 1323
1093.74/1107.98	c current bound: 1323
1094.35/1108.59	c current bound: 1323
1095.23/1109.20	c current bound: 1323
1095.82/1109.81	c current bound: 1323
1096.17/1110.42	c current bound: 1323
1097.00/1111.03	c current bound: 1323
1097.39/1111.64	c current bound: 1323
1098.20/1112.25	c current bound: 1323
1098.61/1112.86	c current bound: 1323
1099.48/1113.50	c current bound: 1323
1099.85/1114.10	c current bound: 1323
1100.44/1114.71	c current bound: 1323
1101.28/1115.32	c current bound: 1323
1101.66/1115.93	c current bound: 1323
1102.47/1116.54	c current bound: 1323
1102.87/1117.15	c current bound: 1323
1103.67/1117.76	c current bound: 1323
1104.08/1118.37	c current bound: 1323
1104.69/1118.98	c current bound: 1323
1105.30/1119.59	c current bound: 1323
1105.93/1120.20	c current bound: 1323
1106.77/1120.81	c current bound: 1323
1107.15/1121.42	c current bound: 1323
1107.97/1122.03	c current bound: 1323
1108.36/1122.65	c current bound: 1323
1109.16/1123.26	c current bound: 1323
1109.58/1123.99	c current bound: 1323
1110.18/1124.60	c current bound: 1323
1111.03/1125.21	c current bound: 1323
1111.41/1125.82	c current bound: 1323
1112.23/1126.44	c current bound: 1323
1112.63/1127.05	c current bound: 1323
1113.42/1127.66	c current bound: 1323
1113.84/1128.27	c current bound: 1323
1114.45/1129.07	c current bound: 1323
1115.23/1129.68	c current bound: 1323
1115.67/1130.29	c current bound: 1323
1116.54/1130.90	c current bound: 1323
1116.89/1131.50	c current bound: 1323
1117.50/1132.11	c current bound: 1323
1118.10/1132.72	c current bound: 1323
1118.71/1133.33	c current bound: 1323
1119.56/1134.06	c current bound: 1323
1119.93/1134.67	c current bound: 1323
1120.70/1135.29	c current bound: 1323
1121.16/1135.89	c current bound: 1323
1121.77/1136.50	c current bound: 1323
1122.37/1137.11	c current bound: 1323
1122.98/1137.72	c current bound: 1323
1123.59/1138.32	c current bound: 1323
1124.20/1138.93	c current bound: 1323
1124.99/1139.57	c current bound: 1323
1125.41/1140.18	c current bound: 1323
1126.30/1140.80	c current bound: 1323
1126.63/1141.40	c current bound: 1323
1127.25/1142.01	c current bound: 1323
1127.85/1142.62	c current bound: 1323
1128.47/1143.24	c current bound: 1323
1129.07/1143.85	c current bound: 1323
1129.68/1144.45	c current bound: 1323
1130.48/1145.06	c current bound: 1323
1130.90/1145.67	c current bound: 1323
1131.69/1146.28	c current bound: 1323
1132.12/1146.89	c current bound: 1323
1132.99/1147.50	c current bound: 1323
1133.33/1148.11	c current bound: 1323
1133.94/1148.71	c current bound: 1323
1134.81/1149.40	c current bound: 1323
1135.16/1150.02	c current bound: 1323
1136.01/1150.63	c current bound: 1323
1136.39/1151.24	c current bound: 1323
1137.20/1151.85	c current bound: 1323
1137.61/1152.46	c current bound: 1323
1138.21/1153.06	c current bound: 1323
1138.82/1153.67	c current bound: 1323
1139.43/1154.28	c current bound: 1323
1140.26/1154.93	c current bound: 1323
1140.64/1155.53	c current bound: 1323
1141.46/1156.15	c current bound: 1323
1141.86/1156.75	c current bound: 1323
1142.46/1157.36	c current bound: 1323
1143.08/1157.97	c current bound: 1323
1143.68/1158.58	c current bound: 1323
1144.29/1159.19	c current bound: 1323
1145.16/1159.80	c current bound: 1323
1145.75/1160.41	c current bound: 1323
1146.12/1161.02	c current bound: 1323
1146.94/1161.65	c current bound: 1323
1147.36/1162.25	c current bound: 1323
1147.96/1162.86	c current bound: 1323
1148.57/1163.47	c current bound: 1323
1149.19/1164.08	c current bound: 1323
1150.03/1164.82	c current bound: 1323
1150.40/1165.43	c current bound: 1323
1151.22/1166.04	c current bound: 1323
1151.61/1166.65	c current bound: 1323
1152.41/1167.25	c current bound: 1323
1152.83/1167.87	c current bound: 1323
1153.44/1168.48	c current bound: 1323
1154.06/1169.09	c current bound: 1323
1154.65/1169.80	c current bound: 1323
1155.51/1170.42	c current bound: 1323
1155.88/1171.02	c current bound: 1323
1156.71/1171.63	c current bound: 1323
1157.10/1172.24	c current bound: 1323
1157.70/1172.86	c current bound: 1323
1158.32/1173.47	c current bound: 1323
1158.94/1174.07	c current bound: 1323
1159.54/1174.68	c current bound: 1323
1160.16/1175.32	c current bound: 1323
1160.99/1175.93	c current bound: 1323
1161.36/1176.54	c current bound: 1323
1162.18/1177.15	c current bound: 1323
1162.57/1177.75	c current bound: 1323
1163.19/1178.36	c current bound: 1323
1163.80/1178.97	c current bound: 1323
1164.40/1179.58	c current bound: 1323
1165.02/1180.19	c current bound: 1323
1165.88/1180.80	c current bound: 1323
1166.50/1181.40	c current bound: 1323
1166.84/1182.01	c current bound: 1323
1167.68/1182.62	c current bound: 1323
1168.06/1183.23	c current bound: 1323
1168.67/1183.84	c current bound: 1323
1169.27/1184.46	c current bound: 1323
1169.90/1185.18	c current bound: 1323
1170.66/1185.79	c current bound: 1323
1171.38/1186.40	c current bound: 1323
1171.97/1187.01	c current bound: 1323
1172.32/1187.61	c current bound: 1323
1172.94/1188.22	c current bound: 1323
1173.54/1188.83	c current bound: 1323
1174.16/1189.44	c current bound: 1323
1174.76/1190.05	c current bound: 1323
1175.64/1190.70	c current bound: 1323
1176.25/1191.31	c current bound: 1323
1176.59/1191.91	c current bound: 1323
1177.43/1192.52	c current bound: 1323
1177.80/1193.13	c current bound: 1323
1178.42/1193.74	c current bound: 1323
1179.02/1194.35	c current bound: 1323
1179.63/1194.96	c current bound: 1323
1180.24/1195.57	c current bound: 1323
1180.85/1196.17	c current bound: 1323
1181.64/1196.78	c current bound: 1323
1182.06/1197.39	c current bound: 1323
1182.93/1198.00	c current bound: 1323
1183.29/1198.61	c current bound: 1323
1183.89/1199.22	c current bound: 1323
1184.50/1199.82	c current bound: 1323
1185.11/1200.46	c current bound: 1323
1185.73/1201.07	c current bound: 1323
1186.33/1201.67	c current bound: 1323
1187.11/1202.28	c current bound: 1323
1187.55/1202.90	c current bound: 1323
1188.40/1203.50	c current bound: 1323
1188.77/1204.11	c current bound: 1323
1189.36/1204.72	c current bound: 1323
1189.99/1205.33	c current bound: 1323
1190.58/1205.94	c current bound: 1323
1191.19/1206.54	c current bound: 1323
1191.80/1207.15	c current bound: 1323
1192.60/1207.76	c current bound: 1323
1193.02/1208.37	c current bound: 1323
1193.81/1208.98	c current bound: 1323
1194.23/1209.59	c current bound: 1323
1194.85/1210.19	c current bound: 1323
1195.45/1210.93	c current bound: 1323
1196.06/1211.54	c current bound: 1323
1196.89/1212.15	c current bound: 1323
1197.27/1212.76	c current bound: 1323
1198.07/1213.37	c current bound: 1323
1198.50/1213.98	c current bound: 1323
1199.10/1214.59	c current bound: 1323
1199.98/1215.20	c current bound: 1323
1200.32/1215.92	c current bound: 1323
1201.16/1216.52	c current bound: 1323
1201.54/1217.15	c current bound: 1323
1202.37/1217.76	c current bound: 1323
1202.78/1218.37	c current bound: 1323
1203.40/1218.98	c current bound: 1323
1203.99/1219.59	c current bound: 1323
1204.61/1220.20	c current bound: 1323
1205.49/1221.02	c current bound: 1323
1205.82/1221.63	c current bound: 1323
1206.65/1222.24	c current bound: 1323
1207.04/1222.84	c current bound: 1323
1207.65/1223.45	c current bound: 1323
1208.25/1224.06	c current bound: 1323
1208.87/1224.67	c current bound: 1323
1209.48/1225.28	c current bound: 1323
1210.36/1226.01	c current bound: 1323
1210.93/1226.62	c current bound: 1323
1211.31/1227.22	c current bound: 1323
1211.92/1227.84	c current bound: 1323
1212.53/1228.44	c current bound: 1323
1213.14/1229.06	c current bound: 1323
1213.75/1229.67	c current bound: 1323
1214.36/1230.27	c current bound: 1323
1215.15/1230.88	c current bound: 1323
1215.58/1231.49	c current bound: 1323
1216.43/1232.10	c current bound: 1323
1216.79/1232.71	c current bound: 1323
1217.42/1233.32	c current bound: 1323
1218.01/1233.93	c current bound: 1323
1218.63/1234.54	c current bound: 1323
1219.23/1235.15	c current bound: 1323
1219.84/1235.75	c current bound: 1323
1220.65/1236.37	c current bound: 1323
1221.07/1236.98	c current bound: 1323
1221.85/1237.59	c current bound: 1323
1222.55/1238.20	c current bound: 1323
1222.90/1238.81	c current bound: 1323
1223.50/1239.42	c current bound: 1323
1224.11/1240.03	c current bound: 1323
1224.73/1240.64	c current bound: 1323
1225.32/1241.37	c current bound: 1323
1226.12/1241.98	c current bound: 1323
1226.55/1242.58	c current bound: 1323
1227.44/1243.20	c current bound: 1323
1227.78/1243.80	c current bound: 1323
1228.38/1244.42	c current bound: 1323
1229.00/1245.02	c current bound: 1323
1229.60/1245.63	c current bound: 1323
1230.42/1246.24	c current bound: 1323
1230.81/1246.88	c current bound: 1323
1231.60/1247.49	c current bound: 1323
1232.03/1248.10	c current bound: 1323
1232.63/1248.71	c current bound: 1323
1233.25/1249.31	c current bound: 1323
1233.84/1249.92	c current bound: 1323
1234.46/1250.53	c current bound: 1323
1235.07/1251.14	c current bound: 1323
1235.89/1251.75	c current bound: 1323
1236.28/1252.36	c current bound: 1323
1237.08/1252.97	c current bound: 1323
1237.50/1253.58	c current bound: 1323
1238.11/1254.19	c current bound: 1323
1238.71/1254.79	c current bound: 1323
1239.31/1255.40	c current bound: 1323
1239.93/1256.02	c current bound: 1323
1240.54/1256.71	c current bound: 1323
1241.38/1257.32	c current bound: 1323
1241.76/1257.93	c current bound: 1323
1242.58/1258.54	c current bound: 1323
1242.98/1259.15	c current bound: 1323
1243.59/1259.76	c current bound: 1323
1244.20/1260.36	c current bound: 1323
1244.80/1260.97	c current bound: 1323
1245.41/1261.58	c current bound: 1323
1246.02/1262.23	c current bound: 1323
1246.85/1262.84	c current bound: 1323
1247.24/1263.45	c current bound: 1323
1247.86/1264.06	c current bound: 1323
1248.46/1264.67	c current bound: 1323
1249.07/1265.28	c current bound: 1323
1249.68/1265.89	c current bound: 1323
1250.54/1266.50	c current bound: 1323
1251.16/1267.10	c current bound: 1323
1251.51/1267.71	c current bound: 1323
1252.36/1268.32	c current bound: 1323
1252.73/1268.93	c current bound: 1323
1253.53/1269.54	c current bound: 1323
1253.94/1270.15	c current bound: 1323
1254.55/1270.76	c current bound: 1323
1255.16/1271.36	c current bound: 1323
1255.76/1272.08	c current bound: 1323
1256.56/1272.69	c current bound: 1323
1256.99/1273.30	c current bound: 1323
1257.84/1273.91	c current bound: 1323
1258.20/1274.52	c current bound: 1323
1258.81/1275.13	c current bound: 1323
1259.42/1275.74	c current bound: 1323
1260.02/1276.34	c current bound: 1323
1260.64/1276.95	c current bound: 1323
1261.24/1277.60	c current bound: 1323
1262.09/1278.21	c current bound: 1323
1262.47/1278.82	c current bound: 1323
1263.30/1279.43	c current bound: 1323
1263.67/1280.04	c current bound: 1323
1264.29/1280.65	c current bound: 1323
1264.89/1281.26	c current bound: 1323
1265.51/1281.88	c current bound: 1323
1266.13/1282.49	c current bound: 1323
1267.01/1283.10	c current bound: 1323
1267.59/1283.71	c current bound: 1323
1267.96/1284.32	c current bound: 1323
1268.79/1284.93	c current bound: 1323
1269.18/1285.54	c current bound: 1323
1269.78/1286.16	c current bound: 1323
1270.41/1286.77	c current bound: 1323
1271.01/1287.49	c current bound: 1323
1271.90/1288.10	c current bound: 1323
1272.24/1288.71	c current bound: 1323
1273.09/1289.32	c current bound: 1323
1273.46/1289.93	c current bound: 1323
1274.07/1290.54	c current bound: 1323
1274.68/1291.15	c current bound: 1323
1275.28/1291.76	c current bound: 1323
1275.90/1292.37	c current bound: 1323
1276.50/1293.01	c current bound: 1323
1277.35/1293.63	c current bound: 1323
1277.73/1294.24	c current bound: 1323
1278.54/1294.85	c current bound: 1323
1278.94/1295.46	c current bound: 1323
1279.55/1296.07	c current bound: 1323
1280.16/1296.68	c current bound: 1323
1280.78/1297.28	c current bound: 1323
1281.39/1297.90	c current bound: 1323
1282.00/1298.51	c current bound: 1323
1282.84/1299.12	c current bound: 1323
1283.21/1299.72	c current bound: 1323
1284.03/1300.33	c current bound: 1323
1284.43/1300.94	c current bound: 1323
1285.03/1301.55	c current bound: 1323
1285.65/1302.16	c current bound: 1323
1286.26/1302.86	c current bound: 1323
1287.06/1303.47	c current bound: 1323
1287.49/1304.08	c current bound: 1323
1288.26/1304.69	c current bound: 1323
1288.71/1305.30	c current bound: 1323
1289.31/1305.91	c current bound: 1323
1289.92/1306.52	c current bound: 1323
1290.54/1307.13	c current bound: 1323
1291.14/1307.73	c current bound: 1323
1291.76/1308.39	c current bound: 1323
1292.53/1309.00	c current bound: 1323
1292.98/1309.60	c current bound: 1323
1293.82/1310.21	c current bound: 1323
1294.18/1310.82	c current bound: 1323
1294.81/1311.43	c current bound: 1323
1295.40/1312.04	c current bound: 1323
1296.02/1312.65	c current bound: 1323
1296.63/1313.26	c current bound: 1323
1297.25/1313.86	c current bound: 1323
1298.02/1314.48	c current bound: 1323
1298.46/1315.09	c current bound: 1323
1299.33/1315.70	c current bound: 1323
1299.68/1316.31	c current bound: 1323
1300.29/1316.92	c current bound: 1323
1300.89/1317.53	c current bound: 1323
1301.50/1318.26	c current bound: 1323
1302.31/1318.87	c current bound: 1323
1302.73/1319.48	c current bound: 1323
1303.51/1320.09	c current bound: 1323
1303.95/1320.71	c current bound: 1323
1304.55/1321.32	c current bound: 1323
1305.16/1321.92	c current bound: 1323
1305.77/1322.53	c current bound: 1323
1306.63/1323.23	c current bound: 1323
1306.99/1323.84	c current bound: 1323
1307.81/1324.45	c current bound: 1323
1308.23/1325.06	c current bound: 1323
1308.82/1325.67	c current bound: 1323
1309.44/1326.28	c current bound: 1323
1310.05/1326.89	c current bound: 1323
1310.92/1327.50	c current bound: 1323
1311.26/1328.11	c current bound: 1323
1312.06/1328.76	c current bound: 1323
1312.48/1329.37	c current bound: 1323
1313.27/1329.98	c current bound: 1323
1313.69/1330.59	c current bound: 1323
1314.58/1331.20	c current bound: 1323
1314.92/1331.81	c current bound: 1323
1315.52/1332.41	c current bound: 1323
1316.13/1333.02	c current bound: 1323
1316.73/1333.63	c current bound: 1323
1317.56/1334.25	c current bound: 1323
1317.96/1334.86	c current bound: 1323
1318.77/1335.48	c current bound: 1323
1319.20/1336.09	c current bound: 1323
1319.79/1336.69	c current bound: 1323
1320.42/1337.30	c current bound: 1323
1321.02/1337.91	c current bound: 1323
1321.64/1338.52	c current bound: 1323
1322.23/1339.13	c current bound: 1323
1323.07/1339.74	c current bound: 1323
1323.46/1340.35	c current bound: 1323
1324.26/1340.96	c current bound: 1323
1324.68/1341.57	c current bound: 1323
1325.29/1342.17	c current bound: 1323
1325.91/1342.78	c current bound: 1323
1326.51/1343.39	c current bound: 1323
1327.11/1344.00	c current bound: 1323
1327.72/1344.61	c current bound: 1323
1328.57/1345.22	c current bound: 1323
1328.93/1345.83	c current bound: 1323
1329.76/1346.44	c current bound: 1323
1330.15/1347.05	c current bound: 1323
1330.94/1347.66	c current bound: 1323
1331.36/1348.26	c current bound: 1323
1331.98/1348.99	c current bound: 1323
1332.59/1349.60	c current bound: 1323
1333.21/1350.21	c current bound: 1323
1334.04/1350.82	c current bound: 1323
1334.42/1351.43	c current bound: 1323
1335.24/1352.04	c current bound: 1323
1335.64/1352.65	c current bound: 1323
1336.24/1353.26	c current bound: 1323
1336.85/1353.86	c current bound: 1323
1337.46/1354.50	c current bound: 1323
1338.31/1355.11	c current bound: 1323
1338.69/1355.72	c current bound: 1323
1339.52/1356.33	c current bound: 1323
1339.89/1356.94	c current bound: 1323
1340.70/1357.55	c current bound: 1323
1341.11/1358.16	c current bound: 1323
1341.72/1358.77	c current bound: 1323
1342.34/1359.38	c current bound: 1323
1342.95/1359.99	c current bound: 1323
1343.82/1360.60	c current bound: 1323
1344.17/1361.21	c current bound: 1323
1345.01/1361.82	c current bound: 1323
1345.38/1362.44	c current bound: 1323
1346.19/1363.05	c current bound: 1323
1346.60/1363.66	c current bound: 1323
1347.20/1364.38	c current bound: 1323
1347.82/1364.99	c current bound: 1323
1348.69/1365.60	c current bound: 1323
1349.29/1366.21	c current bound: 1323
1349.65/1366.82	c current bound: 1323
1350.47/1367.43	c current bound: 1323
1350.86/1368.03	c current bound: 1323
1351.47/1368.64	c current bound: 1323
1352.09/1369.25	c current bound: 1323
1352.69/1369.90	c current bound: 1323
1353.55/1370.51	c current bound: 1323
1353.91/1371.12	c current bound: 1323
1354.74/1371.74	c current bound: 1323
1355.13/1372.35	c current bound: 1323
1355.94/1372.95	c current bound: 1323
1356.35/1373.56	c current bound: 1323
1356.95/1374.17	c current bound: 1323
1357.56/1374.78	c current bound: 1323
1358.17/1375.39	c current bound: 1323
1358.79/1375.99	c current bound: 1323
1359.38/1376.60	c current bound: 1323
1360.23/1377.22	c current bound: 1323
1360.62/1377.83	c current bound: 1323
1361.44/1378.44	c current bound: 1323
1361.83/1379.05	c current bound: 1323
1362.45/1379.76	c current bound: 1323
1363.05/1380.37	c current bound: 1323
1363.67/1380.98	c current bound: 1323
1364.43/1381.59	c current bound: 1323
1365.14/1382.20	c current bound: 1323
1365.73/1382.81	c current bound: 1323
1366.08/1383.42	c current bound: 1323
1366.71/1384.03	c current bound: 1323
1367.32/1384.64	c current bound: 1323
1367.93/1385.29	c current bound: 1323
1368.53/1385.89	c current bound: 1323
1369.14/1386.50	c current bound: 1323
1369.99/1387.11	c current bound: 1323
1370.37/1387.73	c current bound: 1323
1371.20/1388.34	c current bound: 1323
1371.59/1388.95	c current bound: 1323
1372.19/1389.56	c current bound: 1323
1372.81/1390.17	c current bound: 1323
1373.41/1390.77	c current bound: 1323
1374.03/1391.38	c current bound: 1323
1374.64/1391.99	c current bound: 1323
1375.40/1392.60	c current bound: 1323
1375.85/1393.21	c current bound: 1323
1376.70/1393.82	c current bound: 1323
1377.07/1394.43	c current bound: 1323
1377.69/1395.15	c current bound: 1323
1378.30/1395.75	c current bound: 1323
1378.91/1396.37	c current bound: 1323
1379.71/1396.99	c current bound: 1323
1380.41/1397.60	c current bound: 1323
1381.00/1398.21	c current bound: 1323
1381.37/1398.82	c current bound: 1323
1381.98/1399.43	c current bound: 1323
1382.59/1400.18	c current bound: 1323
1383.21/1400.79	c current bound: 1323
1383.97/1401.40	c current bound: 1323
1384.42/1402.01	c current bound: 1323
1385.26/1402.62	c current bound: 1323
1385.64/1403.23	c current bound: 1323
1386.24/1403.84	c current bound: 1323
1386.86/1404.45	c current bound: 1323
1387.46/1405.29	c current bound: 1323
1388.34/1405.90	c current bound: 1323
1388.68/1406.51	c current bound: 1323
1389.29/1407.12	c current bound: 1323
1389.92/1407.73	c current bound: 1323
1390.52/1408.34	c current bound: 1323
1391.13/1408.95	c current bound: 1323
1391.73/1409.56	c current bound: 1323
1392.59/1410.29	c current bound: 1323
1392.95/1410.90	c current bound: 1323
1393.56/1411.51	c current bound: 1323
1394.17/1412.12	c current bound: 1323
1394.77/1412.73	c current bound: 1323
1395.38/1413.34	c current bound: 1323
1395.99/1413.95	c current bound: 1323
1396.80/1414.56	c current bound: 1323
1397.21/1415.29	c current bound: 1323
1398.08/1415.90	c current bound: 1323
1398.43/1416.50	c current bound: 1323
1399.04/1417.11	c current bound: 1323
1399.65/1417.72	c current bound: 1323
1400.26/1418.34	c current bound: 1323
1401.09/1418.95	c current bound: 1323
1401.48/1419.56	c current bound: 1323
1402.34/1420.29	c current bound: 1323
1402.97/1420.90	c current bound: 1323
1403.31/1421.51	c current bound: 1323
1403.92/1422.12	c current bound: 1323
1404.53/1422.72	c current bound: 1323
1405.36/1423.33	c current bound: 1323
1405.74/1423.95	c current bound: 1323
1406.56/1424.56	c current bound: 1323
1406.96/1425.17	c current bound: 1323
1407.57/1425.78	c current bound: 1323
1408.18/1426.39	c current bound: 1323
1409.05/1427.00	c current bound: 1323
1409.40/1427.60	c current bound: 1323
1410.00/1428.21	c current bound: 1323
1410.83/1428.83	c current bound: 1323
1411.22/1429.45	c current bound: 1323
1412.03/1430.05	c current bound: 1323
1412.45/1430.66	c current bound: 1323
1413.04/1431.27	c current bound: 1323
1413.65/1431.88	c current bound: 1323
1414.27/1432.49	c current bound: 1323
1415.13/1433.10	c current bound: 1323
1415.48/1433.70	c current bound: 1323
1416.32/1434.31	c current bound: 1323
1416.70/1434.92	c current bound: 1323
1417.53/1435.53	c current bound: 1323
1417.91/1436.14	c current bound: 1323
1418.71/1436.75	c current bound: 1323
1419.12/1437.36	c current bound: 1323
1419.74/1437.97	c current bound: 1323
1420.35/1438.58	c current bound: 1323
1420.96/1439.19	c current bound: 1323
1421.57/1439.79	c current bound: 1323
1422.17/1440.40	c current bound: 1323
1423.03/1441.01	c current bound: 1323
1423.38/1441.62	c current bound: 1323
1424.22/1442.23	c current bound: 1323
1424.61/1442.84	c current bound: 1323
1425.21/1443.45	c current bound: 1323
1425.84/1444.06	c current bound: 1323
1426.44/1444.67	c current bound: 1323
1427.04/1445.28	c current bound: 1323
1427.91/1446.00	c current bound: 1323
1428.51/1446.61	c current bound: 1323
1428.87/1447.22	c current bound: 1323
1429.49/1447.83	c current bound: 1323
1430.10/1448.44	c current bound: 1323
1430.69/1449.05	c current bound: 1323
1431.32/1449.66	c current bound: 1323
1431.92/1450.26	c current bound: 1323
1432.71/1450.87	c current bound: 1323
1433.14/1451.51	c current bound: 1323
1433.98/1452.12	c current bound: 1323
1434.36/1452.73	c current bound: 1323
1434.97/1453.34	c current bound: 1323
1435.57/1453.95	c current bound: 1323
1436.19/1454.56	c current bound: 1323
1436.78/1455.16	c current bound: 1323
1437.39/1455.77	c current bound: 1323
1438.17/1456.38	c current bound: 1323
1438.60/1456.99	c current bound: 1323
1439.48/1457.60	c current bound: 1323
1439.81/1458.21	c current bound: 1323
1440.43/1458.82	c current bound: 1323
1441.03/1459.43	c current bound: 1323
1441.64/1460.04	c current bound: 1323
1442.25/1460.65	c current bound: 1323
1442.87/1461.38	c current bound: 1323
1443.63/1461.99	c current bound: 1323
1444.34/1462.60	c current bound: 1323
1444.68/1463.21	c current bound: 1323
1445.30/1463.81	c current bound: 1323
1445.90/1464.42	c current bound: 1323
1446.51/1465.04	c current bound: 1323
1447.12/1465.64	c current bound: 1323
1447.97/1466.37	c current bound: 1323
1448.33/1466.97	c current bound: 1323
1448.93/1467.58	c current bound: 1323
1449.55/1468.19	c current bound: 1323
1450.16/1468.80	c current bound: 1323
1450.77/1469.41	c current bound: 1323
1451.38/1470.02	c current bound: 1323
1452.21/1470.63	c current bound: 1323
1452.60/1471.24	c current bound: 1323
1453.48/1471.90	c current bound: 1323
1453.83/1472.51	c current bound: 1323
1454.43/1473.11	c current bound: 1323
1455.04/1473.72	c current bound: 1323
1455.65/1474.33	c current bound: 1323
1456.26/1474.94	c current bound: 1323
1456.87/1475.56	c current bound: 1323
1457.68/1476.17	c current bound: 1323
1458.10/1476.79	c current bound: 1323
1458.98/1477.40	c current bound: 1323
1459.33/1478.00	c current bound: 1323
1459.94/1478.61	c current bound: 1323
1460.54/1479.22	c current bound: 1323
1461.16/1479.83	c current bound: 1323
1461.76/1480.44	c current bound: 1323
1462.37/1481.05	c current bound: 1323
1463.22/1481.78	c current bound: 1323
1463.85/1482.40	c current bound: 1323
1464.20/1483.00	c current bound: 1323
1464.81/1483.61	c current bound: 1323
1465.41/1484.22	c current bound: 1323
1466.02/1484.83	c current bound: 1323
1466.63/1485.44	c current bound: 1323
1467.44/1486.05	c current bound: 1323
1468.11/1486.78	c current bound: 1323
1468.46/1487.39	c current bound: 1323
1469.33/1488.00	c current bound: 1323
1469.69/1488.61	c current bound: 1323
1470.29/1489.21	c current bound: 1323
1470.90/1489.82	c current bound: 1323
1471.74/1490.43	c current bound: 1323
1472.12/1491.04	c current bound: 1323
1472.94/1491.65	c current bound: 1323
1473.34/1492.30	c current bound: 1323
1473.94/1492.91	c current bound: 1323
1474.55/1493.52	c current bound: 1323
1475.17/1494.14	c current bound: 1323
1475.79/1494.75	c current bound: 1323
1476.41/1495.36	c current bound: 1323
1477.20/1495.98	c current bound: 1323
1477.64/1496.58	c current bound: 1323
1478.40/1497.19	c current bound: 1323
1479.11/1497.80	c current bound: 1323
1479.46/1498.41	c current bound: 1323
1480.06/1499.01	c current bound: 1323
1480.68/1499.62	c current bound: 1323
1481.28/1500.23	c current bound: 1323
1481.90/1500.84	c current bound: 1323
1482.71/1501.44	c current bound: 1323
1483.10/1502.10	c current bound: 1323
1483.97/1502.71	c current bound: 1323
1484.32/1503.32	c current bound: 1323
1484.94/1503.93	c current bound: 1323
1485.54/1504.54	c current bound: 1323
1486.14/1505.14	c current bound: 1323
1486.76/1505.75	c current bound: 1323
1487.36/1506.36	c current bound: 1323
1488.15/1506.97	c current bound: 1323
1488.57/1507.62	c current bound: 1323
1489.42/1508.23	c current bound: 1323
1489.80/1508.84	c current bound: 1323
1490.41/1509.45	c current bound: 1323
1491.01/1510.05	c current bound: 1323
1491.63/1510.66	c current bound: 1323
1492.23/1511.27	c current bound: 1323
1492.85/1511.88	c current bound: 1323
1493.62/1512.49	c current bound: 1323
1494.05/1513.09	c current bound: 1323
1494.90/1513.70	c current bound: 1323
1495.27/1514.31	c current bound: 1323
1495.87/1514.92	c current bound: 1323
1496.49/1515.53	c current bound: 1323
1497.10/1516.13	c current bound: 1323
1497.70/1516.75	c current bound: 1323
1498.33/1517.44	c current bound: 1323
1499.14/1518.04	c current bound: 1323
1499.54/1518.65	c current bound: 1323
1500.16/1519.26	c current bound: 1323
1500.76/1519.87	c current bound: 1323
1501.37/1520.50	c current bound: 1323
1502.00/1521.11	c current bound: 1323
1502.60/1521.71	c current bound: 1323
1503.45/1522.32	c current bound: 1323
1503.82/1522.96	c current bound: 1323
1504.63/1523.57	c current bound: 1323
1505.05/1524.17	c current bound: 1323
1505.66/1524.78	c current bound: 1323
1506.27/1525.39	c current bound: 1323
1507.14/1526.00	c current bound: 1323
1507.48/1526.61	c current bound: 1323
1508.10/1527.21	c current bound: 1323
1508.94/1527.82	c current bound: 1323
1509.31/1528.43	c current bound: 1323
1510.13/1529.04	c current bound: 1323
1510.52/1529.65	c current bound: 1323
1511.32/1530.26	c current bound: 1323
1511.73/1530.87	c current bound: 1323
1512.35/1531.47	c current bound: 1323
1512.95/1532.08	c current bound: 1323
1513.58/1532.79	c current bound: 1323
1514.34/1533.40	c current bound: 1323
1514.79/1534.00	c current bound: 1323
1515.63/1534.62	c current bound: 1323
1516.01/1535.22	c current bound: 1323
1516.61/1535.83	c current bound: 1323
1517.21/1536.44	c current bound: 1323
1517.83/1537.05	c current bound: 1323
1518.43/1537.65	c current bound: 1323
1519.04/1538.29	c current bound: 1323
1519.80/1538.90	c current bound: 1323
1520.25/1539.51	c current bound: 1323
1521.10/1540.12	c current bound: 1323
1521.49/1540.73	c current bound: 1323
1522.09/1541.34	c current bound: 1323
1522.71/1541.95	c current bound: 1323
1523.31/1542.56	c current bound: 1323
1523.92/1543.17	c current bound: 1323
1524.53/1543.77	c current bound: 1323
1525.30/1544.39	c current bound: 1323
1526.02/1545.00	c current bound: 1323
1526.60/1545.60	c current bound: 1323
1526.97/1546.21	c current bound: 1323
1527.58/1546.82	c current bound: 1323
1528.19/1547.44	c current bound: 1323
1528.81/1548.15	c current bound: 1323
1529.62/1548.76	c current bound: 1323
1530.02/1549.37	c current bound: 1323
1530.81/1549.98	c current bound: 1323
1531.24/1550.58	c current bound: 1323
1531.84/1551.19	c current bound: 1323
1532.72/1551.80	c current bound: 1323
1533.07/1552.41	c current bound: 1323
1533.68/1553.01	c current bound: 1323
1534.28/1553.66	c current bound: 1323
1535.08/1554.26	c current bound: 1323
1535.51/1554.87	c current bound: 1323
1536.29/1555.48	c current bound: 1323
1536.72/1556.09	c current bound: 1323
1537.32/1556.69	c current bound: 1323
1537.93/1557.30	c current bound: 1323
1538.55/1557.91	c current bound: 1323
1539.14/1558.52	c current bound: 1323
1539.75/1559.13	c current bound: 1323
1540.59/1559.73	c current bound: 1323
1540.98/1560.34	c current bound: 1323
1541.78/1560.95	c current bound: 1323
1542.19/1561.56	c current bound: 1323
1542.80/1562.17	c current bound: 1323
1543.41/1562.78	c current bound: 1323
1544.02/1563.49	c current bound: 1323
1544.63/1564.10	c current bound: 1323
1545.23/1564.71	c current bound: 1323
1546.08/1565.32	c current bound: 1323
1546.47/1565.93	c current bound: 1323
1547.28/1566.54	c current bound: 1323
1547.69/1567.15	c current bound: 1323
1548.29/1567.76	c current bound: 1323
1548.89/1568.36	c current bound: 1323
1549.51/1569.01	c current bound: 1323
1550.34/1569.62	c current bound: 1323
1550.73/1570.24	c current bound: 1323
1551.55/1570.85	c current bound: 1323
1551.95/1571.45	c current bound: 1323
1552.75/1572.06	c current bound: 1323
1553.17/1572.67	c current bound: 1323
1553.77/1573.28	c current bound: 1323
1554.37/1573.88	c current bound: 1323
1554.99/1574.49	c current bound: 1323
1555.60/1575.10	c current bound: 1323
1556.21/1575.71	c current bound: 1323
1557.05/1576.32	c current bound: 1323
1557.43/1576.92	c current bound: 1323
1558.24/1577.54	c current bound: 1323
1558.65/1578.15	c current bound: 1323
1559.26/1578.85	c current bound: 1323
1559.86/1579.46	c current bound: 1323
1560.48/1580.07	c current bound: 1323
1561.25/1580.67	c current bound: 1323
1561.69/1581.28	c current bound: 1323
1562.47/1581.89	c current bound: 1323
1562.91/1582.50	c current bound: 1323
1563.52/1583.11	c current bound: 1323
1564.13/1583.71	c current bound: 1323
1564.74/1584.36	c current bound: 1323
1565.34/1584.97	c current bound: 1323
1565.96/1585.57	c current bound: 1323
1566.74/1586.20	c current bound: 1323
1567.19/1586.81	c current bound: 1323
1568.04/1587.41	c current bound: 1323
1568.41/1588.03	c current bound: 1323
1569.01/1588.63	c current bound: 1323
1569.63/1589.24	c current bound: 1323
1570.24/1589.85	c current bound: 1323
1570.84/1590.46	c current bound: 1323
1571.45/1591.06	c current bound: 1323
1572.24/1591.67	c current bound: 1323
1572.67/1592.28	c current bound: 1323
1573.46/1592.89	c current bound: 1323
1574.16/1593.50	c current bound: 1323
1574.50/1594.20	c current bound: 1323
1575.12/1594.80	c current bound: 1323
1575.72/1595.42	c current bound: 1323
1576.57/1596.03	c current bound: 1323
1576.95/1596.64	c current bound: 1323
1577.76/1597.24	c current bound: 1323
1578.17/1597.85	c current bound: 1323
1578.97/1598.46	c current bound: 1323
1579.39/1599.07	c current bound: 1323
1579.99/1599.71	c current bound: 1323
1580.61/1600.31	c current bound: 1323
1581.21/1600.92	c current bound: 1323
1582.06/1601.53	c current bound: 1323
1582.44/1602.14	c current bound: 1323
1583.26/1602.74	c current bound: 1323
1583.64/1603.35	c current bound: 1323
1584.25/1603.96	c current bound: 1323
1584.86/1604.57	c current bound: 1323
1585.48/1605.17	c current bound: 1323
1586.08/1605.78	c current bound: 1323
1586.97/1606.40	c current bound: 1323
1587.57/1607.00	c current bound: 1323
1587.91/1607.61	c current bound: 1323
1588.76/1608.22	c current bound: 1323
1589.13/1608.83	c current bound: 1323
1589.94/1609.49	c current bound: 1323
1590.34/1610.09	c current bound: 1323
1590.96/1610.70	c current bound: 1323
1591.56/1611.31	c current bound: 1323
1592.16/1611.92	c current bound: 1323
1593.00/1612.53	c current bound: 1323
1593.39/1613.14	c current bound: 1323
1594.20/1613.75	c current bound: 1323
1594.60/1614.36	c current bound: 1323
1595.22/1615.01	c current bound: 1323
1595.82/1615.61	c current bound: 1323
1596.43/1616.22	c current bound: 1323
1597.05/1616.83	c current bound: 1323
1597.65/1617.44	c current bound: 1323
1598.46/1618.06	c current bound: 1323
1598.88/1618.66	c current bound: 1323
1599.67/1619.27	c current bound: 1323
1600.10/1619.88	c current bound: 1323
1600.70/1620.49	c current bound: 1323
1601.32/1621.09	c current bound: 1323
1601.93/1621.70	c current bound: 1323
1602.54/1622.31	c current bound: 1323
1603.14/1622.92	c current bound: 1323
1603.98/1623.53	c current bound: 1323
1604.36/1624.14	c current bound: 1323
1605.21/1624.84	c current bound: 1323
1605.58/1625.45	c current bound: 1323
1606.19/1626.06	c current bound: 1323
1606.81/1626.67	c current bound: 1323
1607.40/1627.28	c current bound: 1323
1608.02/1627.89	c current bound: 1323
1608.62/1628.50	c current bound: 1323
1609.49/1629.11	c current bound: 1323
1609.84/1629.71	c current bound: 1323
1610.65/1630.35	c current bound: 1323
1611.05/1630.96	c current bound: 1323
1611.67/1631.57	c current bound: 1323
1612.28/1632.18	c current bound: 1323
1612.90/1632.78	c current bound: 1323
1613.50/1633.39	c current bound: 1323
1614.37/1634.00	c current bound: 1323
1614.97/1634.60	c current bound: 1323
1615.32/1635.21	c current bound: 1323
1616.16/1635.82	c current bound: 1323
1616.53/1636.43	c current bound: 1323
1617.15/1637.04	c current bound: 1323
1617.75/1637.65	c current bound: 1323
1618.37/1638.26	c current bound: 1323
1618.97/1638.86	c current bound: 1323
1619.58/1639.47	c current bound: 1323
1620.43/1640.17	c current bound: 1323
1620.80/1640.78	c current bound: 1323
1621.40/1641.38	c current bound: 1323
1622.02/1641.99	c current bound: 1323
1622.63/1642.60	c current bound: 1323
1623.24/1643.21	c current bound: 1323
1623.84/1643.82	c current bound: 1323
1624.69/1644.43	c current bound: 1323
1625.06/1645.04	c current bound: 1323
1625.85/1645.68	c current bound: 1323
1626.28/1646.29	c current bound: 1323
1626.88/1646.89	c current bound: 1323
1627.50/1647.50	c current bound: 1323
1628.10/1648.11	c current bound: 1323
1628.71/1648.72	c current bound: 1323
1629.31/1649.32	c current bound: 1323
1630.14/1649.93	c current bound: 1323
1630.53/1650.54	c current bound: 1323
1631.34/1651.15	c current bound: 1323
1631.75/1651.76	c current bound: 1323
1632.35/1652.37	c current bound: 1323
1632.97/1652.97	c current bound: 1323
1633.58/1653.58	c current bound: 1323
1634.18/1654.19	c current bound: 1323
1634.80/1654.79	c current bound: 1323
1635.66/1655.48	c current bound: 1323
1636.01/1656.08	c current bound: 1323
1636.80/1656.69	c current bound: 1323
1637.23/1657.30	c current bound: 1323
1637.84/1657.91	c current bound: 1323
1638.45/1658.52	c current bound: 1323
1639.06/1659.13	c current bound: 1323
1639.67/1659.74	c current bound: 1323
1640.27/1660.35	c current bound: 1323
1641.03/1661.00	c current bound: 1323
1641.50/1661.60	c current bound: 1323
1642.34/1662.21	c current bound: 1323
1642.71/1662.82	c current bound: 1323
1643.32/1663.43	c current bound: 1323
1643.95/1664.03	c current bound: 1323
1644.55/1664.64	c current bound: 1323
1645.16/1665.25	c current bound: 1323
1645.76/1665.86	c current bound: 1323
1646.55/1666.47	c current bound: 1323
1646.97/1667.07	c current bound: 1323
1647.75/1667.68	c current bound: 1323
1648.19/1668.29	c current bound: 1323
1648.80/1668.89	c current bound: 1323
1649.40/1669.50	c current bound: 1323
1650.01/1670.11	c current bound: 1323
1650.88/1670.84	c current bound: 1323
1651.23/1671.46	c current bound: 1323
1652.04/1672.07	c current bound: 1323
1652.45/1672.68	c current bound: 1323
1653.07/1673.29	c current bound: 1323
1653.68/1673.90	c current bound: 1323
1654.30/1674.51	c current bound: 1323
1654.90/1675.12	c current bound: 1323
1655.50/1675.92	c current bound: 1323
1656.33/1676.52	c current bound: 1323
1656.72/1677.13	c current bound: 1323
1657.33/1677.74	c current bound: 1323
1657.94/1678.35	c current bound: 1323
1658.55/1678.95	c current bound: 1323
1659.16/1679.56	c current bound: 1323
1659.77/1680.17	c current bound: 1323
1660.63/1680.89	c current bound: 1323
1660.98/1681.49	c current bound: 1323
1661.59/1682.10	c current bound: 1323
1662.20/1682.71	c current bound: 1323
1662.81/1683.32	c current bound: 1323
1663.42/1683.93	c current bound: 1323
1664.03/1684.54	c current bound: 1323
1664.85/1685.15	c current bound: 1323
1665.25/1685.76	c current bound: 1323
1666.11/1686.40	c current bound: 1323
1666.47/1687.01	c current bound: 1323
1667.08/1687.62	c current bound: 1323
1667.68/1688.23	c current bound: 1323
1668.29/1688.83	c current bound: 1323
1668.90/1689.44	c current bound: 1323
1669.51/1690.05	c current bound: 1323
1670.31/1690.65	c current bound: 1323
1670.73/1691.26	c current bound: 1323
1671.52/1691.87	c current bound: 1323
1671.94/1692.48	c current bound: 1323
1672.55/1693.08	c current bound: 1323
1673.16/1693.69	c current bound: 1323
1674.02/1694.30	c current bound: 1323
1674.38/1694.91	c current bound: 1323
1674.98/1695.52	c current bound: 1323
1675.83/1696.25	c current bound: 1323
1676.20/1696.86	c current bound: 1323
1676.81/1697.46	c current bound: 1323
1677.42/1698.07	c current bound: 1323
1678.03/1698.69	c current bound: 1323
1678.65/1699.30	c current bound: 1323
1679.25/1699.91	c current bound: 1323
1680.11/1700.52	c current bound: 1323
1680.49/1701.12	c current bound: 1323
1681.31/1701.73	c current bound: 1323
1681.70/1702.34	c current bound: 1323
1682.51/1702.95	c current bound: 1323
1682.92/1703.55	c current bound: 1323
1683.53/1704.16	c current bound: 1323
1684.13/1704.77	c current bound: 1323
1684.74/1705.38	c current bound: 1323
1685.35/1706.00	c current bound: 1323
1685.97/1706.60	c current bound: 1323
1686.81/1707.21	c current bound: 1323
1687.19/1707.82	c current bound: 1323
1688.03/1708.43	c current bound: 1323
1688.40/1709.03	c current bound: 1323
1689.01/1709.65	c current bound: 1323
1689.62/1710.25	c current bound: 1323
1690.22/1710.86	c current bound: 1323
1690.83/1711.48	c current bound: 1323
1691.44/1712.08	c current bound: 1323
1692.23/1712.69	c current bound: 1323
1692.92/1713.30	c current bound: 1323
1693.51/1713.91	c current bound: 1323
1693.88/1714.52	c current bound: 1323
1694.49/1715.13	c current bound: 1323
1695.10/1715.73	c current bound: 1323
1695.71/1716.34	c current bound: 1323
1696.32/1716.95	c current bound: 1323
1696.92/1717.55	c current bound: 1323
1697.73/1718.16	c current bound: 1323
1698.14/1718.77	c current bound: 1323
1698.93/1719.38	c current bound: 1323
1699.36/1719.99	c current bound: 1323
1700.22/1720.60	c current bound: 1323
1700.56/1721.20	c current bound: 1323
1701.19/1721.93	c current bound: 1323
1701.99/1722.54	c current bound: 1323
1702.40/1723.15	c current bound: 1323
1703.21/1723.76	c current bound: 1323
1703.62/1724.36	c current bound: 1323
1704.23/1724.97	c current bound: 1323
1704.84/1725.58	c current bound: 1323
1705.44/1726.19	c current bound: 1323
1706.05/1726.79	c current bound: 1323
1706.67/1727.44	c current bound: 1323
1707.49/1728.05	c current bound: 1323
1707.88/1728.66	c current bound: 1323
1708.67/1729.27	c current bound: 1323
1709.10/1729.88	c current bound: 1323
1709.70/1730.48	c current bound: 1323
1710.31/1731.09	c current bound: 1323
1711.17/1731.70	c current bound: 1323
1711.52/1732.32	c current bound: 1323
1712.15/1732.93	c current bound: 1323
1712.98/1733.54	c current bound: 1323
1713.37/1734.15	c current bound: 1323
1714.19/1734.76	c current bound: 1323
1714.59/1735.37	c current bound: 1323
1715.21/1735.97	c current bound: 1323
1715.82/1736.58	c current bound: 1323
1716.42/1737.31	c current bound: 1323
1717.27/1737.92	c current bound: 1323
1717.63/1738.53	c current bound: 1323
1718.47/1739.14	c current bound: 1323
1718.84/1739.74	c current bound: 1323
1719.66/1740.35	c current bound: 1323
1720.06/1740.96	c current bound: 1323
1720.68/1741.57	c current bound: 1323
1721.28/1742.17	c current bound: 1323
1721.89/1742.82	c current bound: 1323
1722.72/1743.43	c current bound: 1323
1723.11/1744.04	c current bound: 1323
1723.93/1744.65	c current bound: 1323
1724.32/1745.26	c current bound: 1323
1724.94/1745.86	c current bound: 1323
1725.55/1746.47	c current bound: 1323
1726.15/1747.08	c current bound: 1323
1726.76/1747.69	c current bound: 1323
1727.62/1748.30	c current bound: 1323
1728.22/1748.91	c current bound: 1323
1728.59/1749.52	c current bound: 1323
1729.42/1750.13	c current bound: 1323
1729.81/1750.74	c current bound: 1323
1730.62/1751.34	c current bound: 1323
1731.02/1751.95	c current bound: 1323
1731.64/1752.56	c current bound: 1323
1732.24/1753.17	c current bound: 1323
1732.84/1753.79	c current bound: 1323
1733.74/1754.40	c current bound: 1323
1734.08/1755.01	c current bound: 1323
1734.92/1755.62	c current bound: 1323
1735.30/1756.23	c current bound: 1323
1736.13/1756.84	c current bound: 1323
1736.79/1757.91	c current bound: 1323
1737.12/1758.52	c current bound: 1323
1737.74/1759.14	c current bound: 1323
1738.36/1759.74	c current bound: 1323
1738.96/1760.35	c current bound: 1323
1739.57/1760.96	c current bound: 1323
1740.17/1761.57	c current bound: 1323
1740.97/1762.18	c current bound: 1323
1741.67/1762.80	c current bound: 1323
1742.24/1763.41	c current bound: 1323
1742.63/1764.02	c current bound: 1323
1743.22/1764.63	c current bound: 1323
1743.84/1765.24	c current bound: 1323
1744.45/1765.85	c current bound: 1323
1745.07/1766.46	c current bound: 1323
1745.67/1767.07	c current bound: 1323
1746.55/1767.89	c current bound: 1323
1747.16/1768.50	c current bound: 1323
1747.50/1769.11	c current bound: 1323
1748.11/1769.71	c current bound: 1323
1748.72/1770.32	c current bound: 1323
1749.55/1770.93	c current bound: 1323
1749.94/1771.54	c current bound: 1323
1750.76/1772.15	c current bound: 1323
1751.43/1773.06	c current bound: 1323
1751.77/1773.67	c current bound: 1323
1752.56/1774.27	c current bound: 1323
1752.98/1774.88	c current bound: 1323
1753.76/1775.49	c current bound: 1323
1754.21/1776.10	c current bound: 1323
1754.82/1776.71	c current bound: 1323
1755.44/1777.32	c current bound: 1323
1756.04/1778.23	c current bound: 1323
1756.87/1778.83	c current bound: 1323
1757.26/1779.44	c current bound: 1323
1757.86/1780.05	c current bound: 1323
1758.47/1780.66	c current bound: 1323
1759.08/1781.29	c current bound: 1323
1759.97/1781.90	c current bound: 1323
1760.31/1782.51	c current bound: 1323
1761.15/1783.12	c current bound: 1323
1761.53/1783.73	c current bound: 1323
1762.36/1784.34	c current bound: 1323
1762.75/1784.95	c current bound: 1323
1763.37/1785.56	c current bound: 1323
1763.97/1786.17	c current bound: 1323
1764.59/1786.77	c current bound: 1323
1765.20/1787.39	c current bound: 1323
1765.81/1788.07	c current bound: 1323
1766.61/1788.67	c current bound: 1323
1767.03/1789.28	c current bound: 1323
1767.65/1789.89	c current bound: 1323
1768.52/1790.50	c current bound: 1323
1768.87/1791.11	c current bound: 1323
1769.46/1791.71	c current bound: 1323
1770.08/1792.32	c current bound: 1323
1770.91/1792.93	c current bound: 1323
1771.29/1793.59	c current bound: 1323
1772.16/1794.20	c current bound: 1323
1772.51/1794.81	c current bound: 1323
1773.12/1795.41	c current bound: 1323
1773.73/1796.02	c current bound: 1323
1774.35/1796.63	c current bound: 1323
1774.95/1797.24	c current bound: 1323
1775.55/1797.85	c current bound: 1323
1776.37/1798.46	c current bound: 1323
1776.77/1799.07	c current bound: 1323
1777.57/1799.68	c current bound: 1323
1778.01/1800.29	c current bound: 1323
1778.60/1800.91	c current bound: 1323
1779.23/1801.52	c current bound: 1323
1779.84/1802.13	c current bound: 1323
1780.44/1802.73	c current bound: 1323
1781.06/1803.34	c current bound: 1323
1781.87/1803.95	c current bound: 1323
1782.28/1804.56	c current bound: 1323
1783.06/1805.17	c current bound: 1323
1783.48/1805.78	c current bound: 1323
1784.10/1806.38	c current bound: 1323
1784.71/1806.99	c current bound: 1323
1785.58/1807.60	c current bound: 1323
1785.92/1808.22	c current bound: 1323
1786.54/1808.83	c current bound: 1323
1787.35/1809.44	c current bound: 1323
1787.75/1810.05	c current bound: 1323
1788.56/1810.65	c current bound: 1323
1788.96/1811.26	c current bound: 1323
1789.57/1811.87	c current bound: 1323
1790.18/1812.48	c current bound: 1323
1790.79/1813.09	c current bound: 1323
1791.39/1813.72	c current bound: 1323
1792.01/1814.33	c current bound: 1323
1792.84/1814.94	c current bound: 1323
1793.23/1815.55	c current bound: 1323
1794.05/1816.15	c current bound: 1323
1794.46/1816.76	c current bound: 1323
1795.07/1817.37	c current bound: 1323
1795.66/1817.98	c current bound: 1323
1796.28/1818.59	c current bound: 1323
1796.91/1819.19	c current bound: 1323
1797.51/1819.80	c current bound: 1323
1798.36/1820.41	c current bound: 1323
1798.73/1821.02	c current bound: 1323
1799.47/1821.52	HOME/npSolver-wbo-Itdqb.sh: line 18: 27194 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-3715804-1338240841/watcher-3715804-1338240841 -o /tmp/evaluation-result-3715804-1338240841/solver-3715804-1338240841 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715804-1338240841.wbo 1289727496 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.15 2.17 3/179 27193
/proc/meminfo: memFree=29567340/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0

[startup+0.026096 s]
/proc/loadavg: 2.07 2.15 2.17 3/179 27193
/proc/meminfo: memFree=29567340/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100312 s]
/proc/loadavg: 2.07 2.15 2.17 3/179 27193
/proc/meminfo: memFree=29567340/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300284 s]
/proc/loadavg: 2.07 2.15 2.17 3/179 27193
/proc/meminfo: memFree=29567340/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700142 s]
/proc/loadavg: 2.07 2.15 2.17 3/179 27193
/proc/meminfo: memFree=29567340/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.07 2.15 2.17 4/183 27214
/proc/meminfo: memFree=29502988/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1.36 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 5062 35469 0 0 24 3 80 29 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 28752

[startup+3.10016 s]
/proc/loadavg: 2.07 2.15 2.17 4/183 27228
/proc/meminfo: memFree=29503396/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=2.85 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 6630 74880 0 0 39 6 181 59 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 28752

[startup+6.30019 s]
/proc/loadavg: 2.06 2.15 2.17 4/183 27263
/proc/meminfo: memFree=29500772/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=5.88 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 10527 147268 0 0 76 11 378 123 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 28752

[startup+12.7003 s]
/proc/loadavg: 1.98 2.13 2.16 3/183 27336
/proc/meminfo: memFree=29530968/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=12.34 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) R 27193 27193 7669 0 -1 4202496 19091 298354 0 0 158 22 783 271 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759968 4566209 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 28752

[startup+25.5002 s]
/proc/loadavg: 1.91 2.11 2.15 4/183 27487
/proc/meminfo: memFree=29487312/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=3476 CPUtime=25.09 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) R 27193 27193 7669 0 -1 4202496 35000 605769 0 0 306 45 1599 559 20 0 1 0 290208233 3559424 511 33554432000 4194304 5990268 140733404767984 140733404759968 5042529 0 0 4096 0 0 0 0 17 1 0 0 3 0 0
/proc/27194/statm: 869 511 177 439 0 426 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 12624

[startup+51.1003 s]
/proc/loadavg: 1.94 2.10 2.15 4/183 27781
/proc/meminfo: memFree=29509780/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=5268 CPUtime=50.1 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) R 27193 27193 7669 0 -1 4202496 67320 1202303 0 0 611 90 3185 1124 20 0 1 0 290208233 5394432 872 33554432000 4194304 5990268 140733404767984 140733404760328 5042551 0 0 4096 0 0 0 0 17 1 0 0 3 0 0
/proc/27194/statm: 1317 873 177 439 0 874 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 14416

[startup+102.307 s]
/proc/loadavg: 1.91 2.06 2.13 3/183 28365
/proc/meminfo: memFree=29526196/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=100.4 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 131350 2405588 0 0 1226 180 6361 2273 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 10 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
[pid=28363] ppid=27194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28363/stat : 28363 (cp2_post.sh) S 27194 27193 7669 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 290218440 9367552 266 33554432000 4194304 5064252 140735034796528 140735034794816 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28363/statm: 2287 266 225 213 0 72 0
[pid=28365] ppid=28363 vsize=10188 CPUtime=0.22 cores=1,3,5,7
/proc/28365/stat : 28365 (coprocessor) R 28363 27193 7669 0 -1 4202496 2567 0 0 0 13 9 0 0 20 0 1 0 290218440 10432512 1715 33554432000 4194304 6586260 140734292031936 140734292028504 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/28365/statm: 2547 1715 148 584 0 1959 0
Current children cumulated CPU time (s) 100.62
Current children cumulated vsize (KiB) 48088

[startup+162.3 s]
/proc/loadavg: 2.03 2.06 2.12 3/183 29044
/proc/meminfo: memFree=29538476/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=159.56 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 206961 3823218 0 0 1949 283 10112 3612 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 159.56
Current children cumulated vsize (KiB) 28752

[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.11 4/183 29728
/proc/meminfo: memFree=29477288/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=218.78 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 282573 5242912 0 0 2669 389 13864 4956 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 22 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 218.78
Current children cumulated vsize (KiB) 28752

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.10 3/183 30407
/proc/meminfo: memFree=29493408/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=277.9 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 358184 6661253 0 0 3390 494 17607 6299 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 277.9
Current children cumulated vsize (KiB) 28752

[startup+342.3 s]
/proc/loadavg: 1.95 2.01 2.09 4/183 31096
/proc/meminfo: memFree=29521712/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=337.45 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 434567 8074782 0 0 4118 600 21335 7692 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 39 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 337.45

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

/proc/9687/stat : 9687 (satsolver.sh) S 27194 27193 7669 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 290338457 9367552 266 33554432000 4194304 5064252 140735267516016 140735267514928 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9687/statm: 2287 266 226 213 0 72 0
[pid=9688] ppid=9687 vsize=39300 CPUtime=0.05 cores=1,3,5,7
/proc/9688/stat : 9688 (glucose) R 9687 27193 7669 0 -1 4202496 7547 0 0 0 4 1 0 0 20 0 1 0 290338457 40243200 8488 33554432000 4194304 5208918 140737324341200 140735267514952 4469616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9688/statm: 9825 8488 70 248 0 9574 0
Current children cumulated CPU time (s) 1286.05
Current children cumulated vsize (KiB) 77200

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 2.01 3/183 10370
/proc/meminfo: memFree=29519288/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1345.38 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 1723089 32145834 0 0 16411 2370 85602 30155 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 196 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1345.38
Current children cumulated vsize (KiB) 28752

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 4/181 11059
/proc/meminfo: memFree=29538240/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1404.27 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 1798692 33549146 0 0 17133 2474 89313 31507 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 204 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1404.27
Current children cumulated vsize (KiB) 28752

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11736
/proc/meminfo: memFree=29517612/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1463.59 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 1874312 34971599 0 0 17856 2578 93090 32835 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 211 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1463.59
Current children cumulated vsize (KiB) 28752

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 12433
/proc/meminfo: memFree=29493928/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1523.31 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 1950703 36396866 0 0 18584 2683 96882 34182 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 224 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1523.31
Current children cumulated vsize (KiB) 28752

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/184 13118
/proc/meminfo: memFree=29528456/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1582.79 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2027085 37815936 0 0 19313 2786 100615 35565 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 238 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1582.79
Current children cumulated vsize (KiB) 28752

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 4/184 13834
/proc/meminfo: memFree=29516688/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1642.46 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2103476 39242885 0 0 20042 2891 104416 36897 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404759392 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 252 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1642.46
Current children cumulated vsize (KiB) 28752

[startup+1722.3 s]
/proc/loadavg: 1.97 2.01 2.00 4/183 14518
/proc/meminfo: memFree=29484316/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1701.77 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2179096 40663378 0 0 20761 2996 108173 38247 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 255 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1701.77
Current children cumulated vsize (KiB) 28752

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/182 15607
/proc/meminfo: memFree=29573368/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1760.31 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2253928 42060260 0 0 21473 3100 111882 39576 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 263 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (KiB) 28752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1821.5 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 16554
/proc/meminfo: memFree=29532196/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1799.33 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2303816 42992841 0 0 21949 3169 114357 40458 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 270 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
[pid=16552] ppid=27194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16552/stat : 16552 (cp2_post.sh) S 27194 27193 7669 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 290390369 9367552 265 33554432000 4194304 5064252 140737146727168 140737146725456 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16552/statm: 2287 265 225 213 0 72 0
[pid=16554] ppid=16552 vsize=10188 CPUtime=0.14 cores=1,3,5,7
/proc/16554/stat : 16554 (coprocessor) R 16552 27193 7669 0 -1 4202496 2056 0 0 0 10 4 0 0 20 0 1 0 290390369 10432512 1715 33554432000 4194304 6586260 140735326556016 140735326553032 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/16554/statm: 2547 1715 148 584 0 1959 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 48088

Sending SIGTERM to process tree (bottom up)

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

[startup+1821.5 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 16554
/proc/meminfo: memFree=29532196/32873648 swapFree=7368/7368
[pid=27193] ppid=27191 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27193/stat : 27193 (npSolver-wbo-It) S 27191 27193 7669 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290208233 9367552 275 33554432000 4194304 5064252 140733625362384 140733625361296 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27193/statm: 2287 275 233 213 0 72 0
[pid=27194] ppid=27193 vsize=19604 CPUtime=1799.33 cores=1,3,5,7
/proc/27194/stat : 27194 (npSolver-wbo) S 27193 27193 7669 0 -1 4202496 2303816 42992841 0 0 21949 3169 114357 40458 20 0 1 0 290208233 20074496 4549 33554432000 4194304 5990268 140733404767984 140733404758880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 270 0 0
/proc/27194/statm: 4901 4549 177 439 0 4458 0
[pid=16552] ppid=27194 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16552/stat : 16552 (cp2_post.sh) S 27194 27193 7669 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 290390369 9367552 265 33554432000 4194304 5064252 140737146727168 140737146725456 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16552/statm: 2287 265 225 213 0 72 0
[pid=16554] ppid=16552 vsize=10188 CPUtime=0.14 cores=1,3,5,7
/proc/16554/stat : 16554 (coprocessor) R 16552 27193 7669 0 -1 4202496 2056 0 0 0 10 4 0 0 20 0 1 0 290390369 10432512 1715 33554432000 4194304 6586260 140735326556016 140735326553032 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/16554/statm: 2547 1715 148 584 0 1959 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 48088

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27193 and gives
#  childrusage.ru_utime.tv_sec=1363
#  childrusage.ru_utime.tv_usec=80780
#  childrusage.ru_stime.tv_sec=436
#  childrusage.ru_stime.tv_usec=285674
# CPU time returned by wait4() is 1799.37
# while last known CPU time is 1799.47
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


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

Real time (s): 1821.52
CPU time (s): 1800.13
CPU user time (s): 1363.68
CPU system time (s): 436.45
CPU usage (%): 98.8256
Max. virtual memory (cumulated for all children) (KiB): 85492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1363.08
system time used= 436.286
maximum resident set size= 42404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45298536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39179520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 836602
involuntary context switches= 38240

runsolver used 4.90125 second user time and 12.903 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-28 23:34:01
IDJOB=3715804
IDBENCH=79396
IDSOLVER=2297
FILE ID=node149/3715804-1338240841
RUNJOBID= node149-1338217256-7686
PBS_JOBID= 14624618
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= dc9398e8d8662385aed113468e487865
RANDOM SEED=1289727496

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29567968 kB
Buffers:          613808 kB
Cached:          1768232 kB
SwapCached:         2476 kB
Active:          1181068 kB
Inactive:        1285636 kB
Active(anon):      68920 kB
Inactive(anon):     9368 kB
Active(file):    1112148 kB
Inactive(file):  1276268 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104884 kB
Dirty:              8468 kB
Writeback:             0 kB
AnonPages:         97536 kB
Mapped:            15248 kB
Shmem:                96 kB
Slab:             700836 kB
SReclaimable:     144240 kB
SUnreclaim:       556596 kB
KernelStack:        1520 kB
PageTables:         4220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     196840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node149 at 2012-05-29 00:04:23