Trace number 3715813

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) 1785.54 1900.02

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh15_wcsp.wbo
MD5SUM415715e3de5713a6aca23e12a1a413cb
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark206
Best CPU time to get the best result obtained on this benchmark0.100984
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 constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c run usual solver
0.00/0.05	o 6890
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 21.1867
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 3445
0.00/0.69	c current bound: 3445
1.04/1.33	c current bound: 3445
1.67/1.96	c current bound: 3445
2.31/2.60	c current bound: 3445
2.95/3.24	c current bound: 3445
3.59/3.87	c current bound: 3445
4.46/4.51	c current bound: 3445
4.85/5.15	c current bound: 3445
5.50/5.79	c current bound: 3445
6.14/6.43	c current bound: 3445
6.78/7.06	c current bound: 3445
7.68/7.70	c current bound: 3445
8.06/8.34	c current bound: 3445
8.70/8.98	c current bound: 3445
9.33/9.62	c current bound: 3445
9.97/10.26	c current bound: 3445
10.63/10.90	c current bound: 3445
11.26/11.54	c current bound: 3445
12.08/12.18	c current bound: 3445
12.53/12.82	c current bound: 3445
13.17/13.45	c current bound: 3445
13.82/14.09	c current bound: 3445
14.45/14.73	c current bound: 3445
15.28/15.37	c current bound: 3445
15.73/16.00	c current bound: 3445
16.57/16.64	c current bound: 3445
17.01/17.28	c current bound: 3445
17.64/17.93	c current bound: 3445
18.29/18.57	c current bound: 3445
18.93/19.21	c current bound: 3445
19.78/19.85	c current bound: 3445
20.20/20.48	c current bound: 3445
20.85/21.12	c current bound: 3445
21.48/21.76	c current bound: 3445
22.39/22.40	c current bound: 3445
22.98/23.03	c current bound: 3445
23.39/23.67	c current bound: 3445
24.27/24.31	c current bound: 3445
24.67/24.95	c current bound: 3445
25.29/25.59	c current bound: 3445
25.95/26.23	c current bound: 3445
26.58/26.86	c current bound: 3445
27.48/27.50	c current bound: 3445
27.85/28.14	c current bound: 3445
28.49/28.79	c current bound: 3445
29.14/29.42	c current bound: 3445
29.77/30.07	c current bound: 3445
30.68/30.70	c current bound: 3445
31.05/31.35	c current bound: 3445
31.86/31.98	c current bound: 3445
32.33/32.62	c current bound: 3445
32.97/33.26	c current bound: 3445
33.87/33.90	c current bound: 3445
34.25/34.54	c current bound: 3445
35.05/35.18	c current bound: 3445
35.52/35.81	c current bound: 3445
36.35/36.45	c current bound: 3445
36.79/37.09	c current bound: 3445
37.44/37.73	c current bound: 3445
38.07/38.36	c current bound: 3445
38.71/39.12	c current bound: 3445
39.35/39.76	c current bound: 3445
39.99/40.40	c current bound: 3445
40.61/41.03	c current bound: 3445
41.26/41.67	c current bound: 3445
41.88/42.31	c current bound: 3445
42.75/42.95	c current bound: 3445
43.18/43.82	c current bound: 3445
43.81/44.46	c current bound: 3445
44.61/45.10	c current bound: 3445
45.08/45.74	c current bound: 3445
45.72/46.38	c current bound: 3445
46.36/47.01	c current bound: 3445
47.00/47.65	c current bound: 3445
47.64/48.30	c current bound: 3445
48.28/48.93	c current bound: 3445
49.11/49.57	c current bound: 3445
49.56/50.21	c current bound: 3445
50.19/50.84	c current bound: 3445
50.84/51.48	c current bound: 3445
51.47/52.12	c current bound: 3445
52.30/52.76	c current bound: 3445
52.74/53.39	c current bound: 3445
53.60/54.03	c current bound: 3445
54.02/54.67	c current bound: 3445
54.66/55.31	c current bound: 3445
55.30/55.94	c current bound: 3445
55.93/56.58	c current bound: 3445
56.81/57.22	c current bound: 3445
57.20/57.86	c current bound: 3445
58.10/58.50	c current bound: 3445
58.48/59.13	c current bound: 3445
59.12/59.77	c current bound: 3445
60.02/60.41	c current bound: 3445
60.39/61.04	c current bound: 3445
61.21/61.68	c current bound: 3445
61.67/62.32	c current bound: 3445
62.30/62.95	c current bound: 3445
62.94/63.59	c current bound: 3445
63.57/64.23	c current bound: 3445
64.38/64.87	c current bound: 3445
64.86/65.52	c current bound: 3445
65.50/66.17	c current bound: 3445
66.14/66.81	c current bound: 3445
66.80/67.44	c current bound: 3445
67.42/68.08	c current bound: 3445
68.07/68.73	c current bound: 3445
68.91/69.36	c current bound: 3445
69.35/70.00	c current bound: 3445
69.99/70.64	c current bound: 3445
70.64/71.27	c current bound: 3445
71.26/71.91	c current bound: 3445
72.11/72.55	c current bound: 3445
72.53/73.18	c current bound: 3445
73.40/73.83	c current bound: 3445
73.82/74.47	c current bound: 3445
74.46/75.11	c current bound: 3445
75.09/75.75	c current bound: 3445
75.74/76.39	c current bound: 3445
76.61/77.03	c current bound: 3445
77.01/77.67	c current bound: 3445
77.65/78.30	c current bound: 3445
78.30/78.94	c current bound: 3445
78.92/79.57	c current bound: 3445
79.80/80.21	c current bound: 3445
80.20/80.85	c current bound: 3445
81.01/81.48	c current bound: 3445
81.47/82.13	c current bound: 3445
82.12/82.76	c current bound: 3445
82.76/83.40	c current bound: 3445
83.40/84.04	c current bound: 3445
84.21/84.67	c current bound: 3445
84.67/85.33	c current bound: 3445
85.31/85.97	c current bound: 3445
85.96/86.60	c current bound: 3445
86.60/87.24	c current bound: 3445
87.24/87.88	c current bound: 3445
87.86/88.52	c current bound: 3445
88.71/89.16	c current bound: 3445
89.42/89.80	c current bound: 3445
89.79/90.43	c current bound: 3445
90.43/91.07	c current bound: 3445
91.06/91.71	c current bound: 3445
91.92/92.35	c current bound: 3445
92.34/92.99	c current bound: 3445
93.21/93.63	c current bound: 3445
93.63/94.28	c current bound: 3445
94.28/94.96	c current bound: 3445
95.21/95.60	c current bound: 3445
95.58/96.24	c current bound: 3445
96.38/96.88	c current bound: 3445
96.85/97.51	c current bound: 3445
97.49/98.15	c current bound: 3445
98.12/98.80	c current bound: 3445
99.04/99.72	c current bound: 3445
99.41/100.37	c current bound: 3445
100.06/101.07	c current bound: 3445
100.71/101.71	c current bound: 3445
101.56/102.35	c current bound: 3445
101.99/102.99	c current bound: 3445
102.64/103.63	c current bound: 3445
103.28/104.26	c current bound: 3445
104.18/104.90	c current bound: 3445
104.77/105.53	c current bound: 3445
105.19/106.19	c current bound: 3445
106.07/106.83	c current bound: 3445
106.48/107.47	c current bound: 3445
107.12/108.11	c current bound: 3445
107.76/108.74	c current bound: 3445
108.40/109.38	c current bound: 3445
109.26/110.02	c current bound: 3445
109.67/110.65	c current bound: 3445
110.30/111.29	c current bound: 3445
110.94/111.93	c current bound: 3445
111.58/112.57	c current bound: 3445
112.46/113.21	c current bound: 3445
112.86/113.84	c current bound: 3445
113.67/114.48	c current bound: 3445
114.13/115.12	c current bound: 3445
114.78/115.76	c current bound: 3445
115.67/116.40	c current bound: 3445
116.05/117.03	c current bound: 3445
116.87/117.68	c current bound: 3445
117.33/118.32	c current bound: 3445
118.15/118.96	c current bound: 3445
118.61/119.59	c current bound: 3445
119.23/120.23	c current bound: 3445
119.88/120.86	c current bound: 3445
120.50/121.50	c current bound: 3445
121.36/122.14	c current bound: 3445
121.79/122.78	c current bound: 3445
122.42/123.42	c current bound: 3445
123.06/124.05	c current bound: 3445
123.71/124.69	c current bound: 3445
124.56/125.32	c current bound: 3445
124.97/125.96	c current bound: 3445
125.85/126.60	c current bound: 3445
126.25/127.24	c current bound: 3445
126.88/127.88	c current bound: 3445
127.53/128.51	c current bound: 3445
128.16/129.15	c current bound: 3445
128.97/129.80	c current bound: 3445
129.45/130.44	c current bound: 3445
130.09/131.08	c current bound: 3445
130.72/131.71	c current bound: 3445
131.37/132.36	c current bound: 3445
132.00/132.99	c current bound: 3445
132.64/133.63	c current bound: 3445
133.47/134.27	c current bound: 3445
133.92/134.91	c current bound: 3445
134.57/135.55	c current bound: 3445
135.21/136.19	c current bound: 3445
135.84/136.82	c current bound: 3445
136.67/137.46	c current bound: 3445
137.37/138.10	c current bound: 3445
137.97/138.73	c current bound: 3445
138.39/139.37	c current bound: 3445
139.03/140.01	c current bound: 3445
139.67/140.64	c current bound: 3445
140.30/141.28	c current bound: 3445
141.18/141.92	c current bound: 3445
141.58/142.55	c current bound: 3445
142.48/143.20	c current bound: 3445
142.85/143.84	c current bound: 3445
143.50/144.47	c current bound: 3445
144.37/145.12	c current bound: 3445
144.77/145.76	c current bound: 3445
145.67/146.40	c current bound: 3445
146.04/147.03	c current bound: 3445
146.68/147.68	c current bound: 3445
147.33/148.32	c current bound: 3445
147.97/148.95	c current bound: 3445
148.76/149.60	c current bound: 3445
149.25/150.24	c current bound: 3445
149.89/150.88	c current bound: 3445
150.53/151.52	c current bound: 3445
151.17/152.16	c current bound: 3445
151.81/152.80	c current bound: 3445
152.45/153.44	c current bound: 3445
153.28/154.08	c current bound: 3445
153.73/154.72	c current bound: 3445
154.39/155.36	c current bound: 3445
155.29/156.00	c current bound: 3445
155.65/156.63	c current bound: 3445
156.46/157.28	c current bound: 3445
156.94/157.91	c current bound: 3445
157.78/158.55	c current bound: 3445
158.22/159.19	c current bound: 3445
158.85/159.83	c current bound: 3445
159.48/160.46	c current bound: 3445
160.12/161.11	c current bound: 3445
160.98/161.76	c current bound: 3445
161.41/162.39	c current bound: 3445
162.04/163.03	c current bound: 3445
162.69/163.66	c current bound: 3445
163.58/164.30	c current bound: 3445
164.18/164.95	c current bound: 3445
164.60/165.58	c current bound: 3445
165.47/166.22	c current bound: 3445
165.87/166.86	c current bound: 3445
166.78/167.50	c current bound: 3445
167.15/168.13	c current bound: 3445
167.78/168.77	c current bound: 3445
168.68/169.41	c current bound: 3445
169.08/170.05	c current bound: 3445
169.70/170.68	c current bound: 3445
170.34/171.36	c current bound: 3445
170.97/171.99	c current bound: 3445
171.84/172.64	c current bound: 3445
172.25/173.28	c current bound: 3445
173.13/173.92	c current bound: 3445
173.53/174.55	c current bound: 3445
174.16/175.19	c current bound: 3445
175.05/175.97	c current bound: 3445
175.44/176.61	c current bound: 3445
176.27/177.25	c current bound: 3445
176.71/177.89	c current bound: 3445
177.35/178.52	c current bound: 3445
177.98/179.17	c current bound: 3445
178.63/179.80	c current bound: 3445
179.49/180.44	c current bound: 3445
179.90/181.08	c current bound: 3445
180.55/181.72	c current bound: 3445
181.19/182.35	c current bound: 3445
181.83/182.99	c current bound: 3445
182.68/183.62	c current bound: 3445
183.10/184.26	c current bound: 3445
184.00/184.90	c current bound: 3445
184.37/185.54	c current bound: 3445
185.01/186.18	c current bound: 3445
185.66/186.81	c current bound: 3445
186.30/187.46	c current bound: 3445
187.09/188.09	c current bound: 3445
187.57/188.73	c current bound: 3445
188.20/189.37	c current bound: 3445
188.83/190.02	c current bound: 3445
189.49/190.66	c current bound: 3445
190.12/191.29	c current bound: 3445
190.76/191.93	c current bound: 3445
191.59/192.57	c current bound: 3445
192.04/193.21	c current bound: 3445
192.68/193.84	c current bound: 3445
193.30/194.48	c current bound: 3445
193.95/195.12	c current bound: 3445
194.77/195.76	c current bound: 3445
195.22/196.39	c current bound: 3445
196.07/197.04	c current bound: 3445
196.50/197.68	c current bound: 3445
197.15/198.33	c current bound: 3445
197.79/198.97	c current bound: 3445
198.44/199.61	c current bound: 3445
199.29/200.25	c current bound: 3445
199.98/200.90	c current bound: 3445
200.36/201.53	c current bound: 3445
201.00/202.17	c current bound: 3445
201.64/202.81	c current bound: 3445
202.47/203.44	c current bound: 3445
202.90/204.08	c current bound: 3445
203.77/204.72	c current bound: 3445
204.16/205.36	c current bound: 3445
204.82/205.99	c current bound: 3445
205.46/206.63	c current bound: 3445
206.09/207.27	c current bound: 3445
206.99/207.91	c current bound: 3445
207.37/208.55	c current bound: 3445
208.01/209.19	c current bound: 3445
208.66/209.83	c current bound: 3445
209.28/210.46	c current bound: 3445
209.93/211.10	c current bound: 3445
210.57/211.77	c current bound: 3445
211.45/212.40	c current bound: 3445
211.84/213.04	c current bound: 3445
212.47/213.69	c current bound: 3445
213.11/214.33	c current bound: 3445
213.76/214.96	c current bound: 3445
214.65/215.62	c current bound: 3445
215.05/216.39	c current bound: 3445
215.68/217.02	c current bound: 3445
216.31/217.66	c current bound: 3445
217.22/218.30	c current bound: 3445
217.81/218.94	c current bound: 3445
218.23/219.57	c current bound: 3445
218.87/220.21	c current bound: 3445
219.51/220.84	c current bound: 3445
220.40/221.62	c current bound: 3445
220.98/222.25	c current bound: 3445
221.42/222.89	c current bound: 3445
222.06/223.53	c current bound: 3445
222.69/224.17	c current bound: 3445
223.33/224.81	c current bound: 3445
224.19/225.44	c current bound: 3445
224.61/226.08	c current bound: 3445
225.48/226.76	c current bound: 3445
226.14/227.40	c current bound: 3445
226.53/228.04	c current bound: 3445
227.16/228.67	c current bound: 3445
227.80/229.31	c current bound: 3445
228.64/229.94	c current bound: 3445
229.07/230.58	c current bound: 3445
229.70/231.21	c current bound: 3445
230.34/231.85	c current bound: 3445
230.98/232.49	c current bound: 3445
231.83/233.13	c current bound: 3445
232.26/233.77	c current bound: 3445
233.14/234.40	c current bound: 3445
233.53/235.04	c current bound: 3445
234.16/235.68	c current bound: 3445
234.81/236.31	c current bound: 3445
235.44/236.95	c current bound: 3445
236.24/237.59	c current bound: 3445
236.73/238.23	c current bound: 3445
237.36/238.87	c current bound: 3445
238.00/239.50	c current bound: 3445
238.64/240.14	c current bound: 3445
239.27/240.78	c current bound: 3445
239.91/241.41	c current bound: 3445
240.75/242.05	c current bound: 3445
241.48/242.70	c current bound: 3445
241.84/243.33	c current bound: 3445
242.48/243.97	c current bound: 3445
243.10/244.60	c current bound: 3445
243.97/245.24	c current bound: 3445
244.39/245.87	c current bound: 3445
245.25/246.51	c current bound: 3445
245.65/247.15	c current bound: 3445
246.29/247.78	c current bound: 3445
246.93/248.42	c current bound: 3445
247.57/249.05	c current bound: 3445
248.35/249.69	c current bound: 3445
248.83/250.33	c current bound: 3445
249.47/250.97	c current bound: 3445
250.12/251.61	c current bound: 3445
250.76/252.25	c current bound: 3445
251.40/252.88	c current bound: 3445
252.03/253.52	c current bound: 3445
252.87/254.16	c current bound: 3445
253.57/254.80	c current bound: 3445
253.94/255.44	c current bound: 3445
254.58/256.07	c current bound: 3445
255.23/256.71	c current bound: 3445
256.05/257.35	c current bound: 3445
256.49/257.98	c current bound: 3445
257.37/258.62	c current bound: 3445
257.76/259.26	c current bound: 3445
258.67/259.90	c current bound: 3445
259.04/260.54	c current bound: 3445
259.68/261.17	c current bound: 3445
260.57/261.81	c current bound: 3445
260.95/262.44	c current bound: 3445
261.58/263.08	c current bound: 3445
262.23/263.72	c current bound: 3445
262.87/264.36	c current bound: 3445
263.77/265.00	c current bound: 3445
264.14/265.64	c current bound: 3445
264.96/266.27	c current bound: 3445
265.42/266.91	c current bound: 3445
266.05/267.54	c current bound: 3445
266.68/268.18	c current bound: 3445
267.32/268.82	c current bound: 3445
268.14/269.46	c current bound: 3445
268.60/270.10	c current bound: 3445
269.45/270.74	c current bound: 3445
269.87/271.38	c current bound: 3445
270.52/272.02	c current bound: 3445
271.14/272.65	c current bound: 3445
271.79/273.29	c current bound: 3445
272.65/273.92	c current bound: 3445
273.06/274.56	c current bound: 3445
273.69/275.20	c current bound: 3445
274.35/275.84	c current bound: 3445
274.99/276.48	c current bound: 3445
275.85/277.12	c current bound: 3445
276.25/277.75	c current bound: 3445
277.07/278.39	c current bound: 3445
277.53/279.03	c current bound: 3445
278.17/279.66	c current bound: 3445
278.81/280.30	c current bound: 3445
279.45/280.94	c current bound: 3445
280.27/281.58	c current bound: 3445
280.72/282.22	c current bound: 3445
281.35/282.88	c current bound: 3445
281.99/283.52	c current bound: 3445
282.64/284.16	c current bound: 3445
283.28/284.80	c current bound: 3445
283.91/285.43	c current bound: 3445
284.74/286.07	c current bound: 3445
285.19/286.70	c current bound: 3445
286.08/287.60	c current bound: 3445
286.69/288.24	c current bound: 3445
287.10/288.87	c current bound: 3445
287.73/289.51	c current bound: 3445
288.38/290.15	c current bound: 3445
289.00/290.78	c current bound: 3445
289.87/291.42	c current bound: 3445
290.28/292.06	c current bound: 3445
291.08/292.69	c current bound: 3445
291.55/293.33	c current bound: 3445
292.19/293.96	c current bound: 3445
293.09/294.60	c current bound: 3445
293.46/295.24	c current bound: 3445
294.27/295.87	c current bound: 3445
294.73/296.51	c current bound: 3445
295.58/297.15	c current bound: 3445
296.01/297.79	c current bound: 3445
296.65/298.43	c current bound: 3445
297.29/299.06	c current bound: 3445
297.93/299.70	c current bound: 3445
298.79/300.34	c current bound: 3445
299.21/300.97	c current bound: 3445
299.84/301.62	c current bound: 3445
300.49/302.26	c current bound: 3445
301.39/302.90	c current bound: 3445
301.99/303.53	c current bound: 3445
302.41/304.17	c current bound: 3445
303.29/304.81	c current bound: 3445
303.68/305.44	c current bound: 3445
304.32/306.08	c current bound: 3445
304.96/306.72	c current bound: 3445
305.59/307.36	c current bound: 3445
306.40/307.99	c current bound: 3445
306.86/308.64	c current bound: 3445
307.51/309.28	c current bound: 3445
308.15/309.91	c current bound: 3445
308.79/310.55	c current bound: 3445
309.43/311.18	c current bound: 3445
310.06/311.83	c current bound: 3445
310.88/312.46	c current bound: 3445
311.34/313.11	c current bound: 3445
311.97/313.75	c current bound: 3445
312.62/314.39	c current bound: 3445
313.27/315.04	c current bound: 3445
314.08/315.68	c current bound: 3445
314.55/316.31	c current bound: 3445
315.38/316.95	c current bound: 3445
315.81/317.59	c current bound: 3445
316.45/318.22	c current bound: 3445
317.09/318.86	c current bound: 3445
317.99/319.50	c current bound: 3445
318.58/320.14	c current bound: 3445
319.01/320.78	c current bound: 3445
319.65/321.42	c current bound: 3445
320.29/322.06	c current bound: 3445
320.93/322.69	c current bound: 3445
321.80/323.33	c current bound: 3445
322.20/323.98	c current bound: 3445
323.08/324.61	c current bound: 3445
323.48/325.25	c current bound: 3445
324.12/325.89	c current bound: 3445
324.76/326.52	c current bound: 3445
325.39/327.16	c current bound: 3445
326.17/327.80	c current bound: 3445
326.67/328.46	c current bound: 3445
327.30/329.09	c current bound: 3445
327.94/329.73	c current bound: 3445
328.58/330.37	c current bound: 3445
329.46/331.01	c current bound: 3445
329.85/331.64	c current bound: 3445
330.67/332.29	c current bound: 3445
331.14/333.15	c current bound: 3445
331.78/333.79	c current bound: 3445
332.64/334.43	c current bound: 3445
333.06/335.06	c current bound: 3445
333.68/335.70	c current bound: 3445
334.32/336.34	c current bound: 3445
334.96/336.98	c current bound: 3445
335.83/337.61	c current bound: 3445
336.23/338.25	c current bound: 3445
337.04/338.89	c current bound: 3445
337.52/339.53	c current bound: 3445
338.14/340.16	c current bound: 3445
338.78/340.81	c current bound: 3445
339.42/341.44	c current bound: 3445
340.21/342.08	c current bound: 3445
340.69/342.71	c current bound: 3445
341.51/343.35	c current bound: 3445
341.96/343.98	c current bound: 3445
342.61/344.63	c current bound: 3445
343.25/345.28	c current bound: 3445
343.89/345.92	c current bound: 3445
344.74/346.56	c current bound: 3445
345.45/347.20	c current bound: 3445
345.82/347.83	c current bound: 3445
346.46/348.47	c current bound: 3445
347.09/349.11	c current bound: 3445
347.95/349.75	c current bound: 3445
348.36/350.38	c current bound: 3445
349.24/351.02	c current bound: 3445
349.64/351.65	c current bound: 3445
350.29/352.29	c current bound: 3445
350.92/352.93	c current bound: 3445
351.56/353.57	c current bound: 3445
352.35/354.20	c current bound: 3445
352.83/354.84	c current bound: 3445
353.46/355.48	c current bound: 3445
354.11/356.11	c current bound: 3445
354.74/356.75	c current bound: 3445
355.38/357.39	c current bound: 3445
356.01/358.02	c current bound: 3445
356.84/358.66	c current bound: 3445
357.55/359.30	c current bound: 3445
357.92/359.94	c current bound: 3445
358.56/360.58	c current bound: 3445
359.20/361.22	c current bound: 3445
360.05/361.85	c current bound: 3445
360.48/362.49	c current bound: 3445
361.33/363.13	c current bound: 3445
361.76/363.77	c current bound: 3445
362.40/364.40	c current bound: 3445
363.03/365.04	c current bound: 3445
363.67/365.68	c current bound: 3445
364.55/366.32	c current bound: 3445
364.93/366.96	c current bound: 3445
365.58/367.59	c current bound: 3445
366.23/368.23	c current bound: 3445
366.85/368.87	c current bound: 3445
367.76/369.51	c current bound: 3445
368.13/370.14	c current bound: 3445
368.94/370.78	c current bound: 3445
369.41/371.41	c current bound: 3445
370.04/372.05	c current bound: 3445
370.66/372.68	c current bound: 3445
371.31/373.32	c current bound: 3445
372.15/373.96	c current bound: 3445
372.59/374.60	c current bound: 3445
373.43/375.23	c current bound: 3445
373.87/375.87	c current bound: 3445
374.50/376.50	c current bound: 3445
375.13/377.14	c current bound: 3445
375.77/377.78	c current bound: 3445
376.65/378.41	c current bound: 3445
377.05/379.05	c current bound: 3445
377.68/379.69	c current bound: 3445
378.33/380.32	c current bound: 3445
378.97/380.96	c current bound: 3445
379.87/381.60	c current bound: 3445
380.23/382.23	c current bound: 3445
381.07/382.87	c current bound: 3445
381.51/383.51	c current bound: 3445
382.15/384.16	c current bound: 3445
382.80/384.79	c current bound: 3445
383.43/385.43	c current bound: 3445
384.24/386.08	c current bound: 3445
384.72/386.71	c current bound: 3445
385.53/387.35	c current bound: 3445
385.99/387.99	c current bound: 3445
386.63/388.63	c current bound: 3445
387.27/389.28	c current bound: 3445
387.90/389.92	c current bound: 3445
388.75/390.55	c current bound: 3445
389.18/391.19	c current bound: 3445
389.83/391.83	c current bound: 3445
390.46/392.46	c current bound: 3445
391.09/393.10	c current bound: 3445
391.99/393.91	c current bound: 3445
392.37/394.55	c current bound: 3445
393.00/395.19	c current bound: 3445
393.64/395.82	c current bound: 3445
394.28/396.46	c current bound: 3445
395.08/397.09	c current bound: 3445
395.56/397.73	c current bound: 3445
396.19/398.37	c current bound: 3445
396.82/399.00	c current bound: 3445
397.47/399.64	c current bound: 3445
398.11/400.28	c current bound: 3445
398.74/400.92	c current bound: 3445
399.59/401.55	c current bound: 3445
400.02/402.19	c current bound: 3445
400.66/402.83	c current bound: 3445
401.29/403.46	c current bound: 3445
401.93/404.10	c current bound: 3445
402.78/404.74	c current bound: 3445
403.20/405.38	c current bound: 3445
404.07/406.01	c current bound: 3445
404.47/406.65	c current bound: 3445
405.11/407.29	c current bound: 3445
405.75/407.92	c current bound: 3445
406.37/408.56	c current bound: 3445
407.19/409.20	c current bound: 3445
407.66/409.84	c current bound: 3445
408.30/410.48	c current bound: 3445
408.95/411.12	c current bound: 3445
409.57/411.76	c current bound: 3445
410.48/412.40	c current bound: 3445
410.86/413.04	c current bound: 3445
411.69/413.68	c current bound: 3445
412.13/414.31	c current bound: 3445
412.77/414.96	c current bound: 3445
413.41/415.59	c current bound: 3445
414.04/416.23	c current bound: 3445
414.88/416.87	c current bound: 3445
415.33/417.50	c current bound: 3445
416.17/418.14	c current bound: 3445
416.61/418.78	c current bound: 3445
417.23/419.42	c current bound: 3445
417.89/420.06	c current bound: 3445
418.52/420.70	c current bound: 3445
419.38/421.34	c current bound: 3445
419.80/421.98	c current bound: 3445
420.44/422.62	c current bound: 3445
421.09/423.26	c current bound: 3445
421.99/423.90	c current bound: 3445
422.58/424.54	c current bound: 3445
423.00/425.17	c current bound: 3445
423.88/425.81	c current bound: 3445
424.27/426.44	c current bound: 3445
424.91/427.08	c current bound: 3445
425.56/427.72	c current bound: 3445
426.19/428.36	c current bound: 3445
426.99/428.99	c current bound: 3445
427.47/429.63	c current bound: 3445
428.11/430.27	c current bound: 3445
428.75/430.90	c current bound: 3445
429.37/431.54	c current bound: 3445
430.01/432.18	c current bound: 3445
430.65/432.81	c current bound: 3445
431.50/433.45	c current bound: 3445
431.92/434.08	c current bound: 3445
432.57/434.72	c current bound: 3445
433.19/435.36	c current bound: 3445
434.10/436.00	c current bound: 3445
434.70/436.63	c current bound: 3445
435.11/437.27	c current bound: 3445
436.00/437.91	c current bound: 3445
436.39/438.55	c current bound: 3445
437.03/439.18	c current bound: 3445
437.67/439.82	c current bound: 3445
438.31/440.46	c current bound: 3445
439.10/441.09	c current bound: 3445
439.57/441.73	c current bound: 3445
440.21/442.37	c current bound: 3445
440.85/443.00	c current bound: 3445
441.48/443.64	c current bound: 3445
442.12/444.28	c current bound: 3445
442.76/444.91	c current bound: 3445
443.58/445.55	c current bound: 3445
444.04/446.19	c current bound: 3445
444.66/446.83	c current bound: 3445
445.31/447.46	c current bound: 3445
446.20/448.10	c current bound: 3445
446.79/448.73	c current bound: 3445
447.22/449.39	c current bound: 3445
448.07/450.05	c current bound: 3445
448.51/450.69	c current bound: 3445
449.14/451.33	c current bound: 3445
449.78/451.96	c current bound: 3445
450.67/452.60	c current bound: 3445
451.28/453.24	c current bound: 3445
451.69/453.88	c current bound: 3445
452.33/454.63	c current bound: 3445
452.97/455.26	c current bound: 3445
453.59/455.92	c current bound: 3445
454.47/456.55	c current bound: 3445
454.89/457.19	c current bound: 3445
455.53/457.83	c current bound: 3445
456.18/458.47	c current bound: 3445
456.81/459.10	c current bound: 3445
457.72/459.80	c current bound: 3445
458.09/460.44	c current bound: 3445
458.74/461.08	c current bound: 3445
459.37/461.72	c current bound: 3445
460.01/462.37	c current bound: 3445
460.91/463.00	c current bound: 3445
461.28/463.64	c current bound: 3445
462.11/464.28	c current bound: 3445
462.56/464.93	c current bound: 3445
463.22/465.57	c current bound: 3445
463.86/466.20	c current bound: 3445
464.50/466.84	c current bound: 3445
465.30/467.48	c current bound: 3445
465.76/468.11	c current bound: 3445
466.60/468.75	c current bound: 3445
467.05/469.39	c current bound: 3445
467.67/470.02	c current bound: 3445
468.31/470.66	c current bound: 3445
469.22/471.30	c current bound: 3445
469.80/471.93	c current bound: 3445
470.22/472.57	c current bound: 3445
470.86/473.22	c current bound: 3445
471.51/473.85	c current bound: 3445
472.14/474.49	c current bound: 3445
473.00/475.13	c current bound: 3445
473.41/475.76	c current bound: 3445
474.30/476.40	c current bound: 3445
474.68/477.03	c current bound: 3445
475.32/477.67	c current bound: 3445
475.95/478.31	c current bound: 3445
476.59/478.95	c current bound: 3445
477.40/479.59	c current bound: 3445
477.87/480.26	c current bound: 3445
478.51/480.90	c current bound: 3445
479.15/481.54	c current bound: 3445
479.79/482.18	c current bound: 3445
480.66/482.81	c current bound: 3445
481.06/483.45	c current bound: 3445
481.87/484.08	c current bound: 3445
482.59/485.00	c current bound: 3445
482.96/485.63	c current bound: 3445
483.80/486.27	c current bound: 3445
484.24/486.90	c current bound: 3445
484.88/487.54	c current bound: 3445
485.52/488.18	c current bound: 3445
486.16/488.81	c current bound: 3445
487.00/489.45	c current bound: 3445
487.42/490.09	c current bound: 3445
488.29/490.72	c current bound: 3445
488.70/491.36	c current bound: 3445
489.34/492.00	c current bound: 3445
489.98/492.64	c current bound: 3445
490.62/493.28	c current bound: 3445
491.49/493.92	c current bound: 3445
491.90/494.56	c current bound: 3445
492.81/495.20	c current bound: 3445
493.18/495.83	c current bound: 3445
493.82/496.48	c current bound: 3445
494.70/497.12	c current bound: 3445
495.09/497.75	c current bound: 3445
495.91/498.39	c current bound: 3445
496.38/499.03	c current bound: 3445
497.01/499.68	c current bound: 3445
497.66/500.32	c current bound: 3445
498.31/500.97	c current bound: 3445
499.20/501.61	c current bound: 3445
499.59/502.25	c current bound: 3445
500.23/502.88	c current bound: 3445
500.87/503.52	c current bound: 3445
501.51/504.16	c current bound: 3445
502.15/504.80	c current bound: 3445
502.78/505.45	c current bound: 3445
503.69/506.10	c current bound: 3445
504.09/506.74	c current bound: 3445
504.71/507.39	c current bound: 3445
505.37/508.02	c current bound: 3445
506.00/508.66	c current bound: 3445
506.91/509.30	c current bound: 3445
507.28/509.94	c current bound: 3445
507.90/510.58	c current bound: 3445
508.56/511.21	c current bound: 3445
509.19/511.85	c current bound: 3445
509.82/512.48	c current bound: 3445
510.47/513.12	c current bound: 3445
511.30/513.76	c current bound: 3445
512.01/514.40	c current bound: 3445
512.38/515.04	c current bound: 3445
513.01/515.71	c current bound: 3445
513.66/516.34	c current bound: 3445
514.45/516.99	c current bound: 3445
514.93/517.63	c current bound: 3445
515.57/518.27	c current bound: 3445
516.21/518.91	c current bound: 3445
516.85/519.55	c current bound: 3445
517.76/520.43	c current bound: 3445
518.39/521.10	c current bound: 3445
518.77/521.74	c current bound: 3445
519.41/522.37	c current bound: 3445
520.04/523.01	c current bound: 3445
520.89/523.65	c current bound: 3445
521.31/524.29	c current bound: 3445
521.96/524.92	c current bound: 3445
522.59/525.57	c current bound: 3445
523.25/526.21	c current bound: 3445
524.09/526.85	c current bound: 3445
524.51/527.48	c current bound: 3445
525.38/528.14	c current bound: 3445
525.79/528.77	c current bound: 3445
526.43/529.41	c current bound: 3445
527.08/530.05	c current bound: 3445
527.72/530.68	c current bound: 3445
528.59/531.32	c current bound: 3445
528.98/531.96	c current bound: 3445
529.62/532.60	c current bound: 3445
530.27/533.24	c current bound: 3445
530.90/533.87	c current bound: 3445
531.77/534.51	c current bound: 3445
532.17/535.15	c current bound: 3445
532.99/535.79	c current bound: 3445
533.46/536.42	c current bound: 3445
534.09/537.06	c current bound: 3445
535.00/537.70	c current bound: 3445
535.38/538.34	c current bound: 3445
536.19/538.99	c current bound: 3445
536.66/539.62	c current bound: 3445
537.48/540.26	c current bound: 3445
537.93/540.90	c current bound: 3445
538.57/541.55	c current bound: 3445
539.22/542.18	c current bound: 3445
539.86/542.82	c current bound: 3445
540.70/543.46	c current bound: 3445
541.14/544.09	c current bound: 3445
541.78/544.73	c current bound: 3445
542.41/545.36	c current bound: 3445
543.31/546.00	c current bound: 3445
543.90/546.63	c current bound: 3445
544.32/547.27	c current bound: 3445
545.19/547.91	c current bound: 3445
545.60/548.54	c current bound: 3445
546.23/549.19	c current bound: 3445
546.89/549.83	c current bound: 3445
547.52/550.46	c current bound: 3445
548.38/551.23	c current bound: 3445
548.79/551.86	c current bound: 3445
549.43/552.50	c current bound: 3445
550.08/553.14	c current bound: 3445
550.71/553.77	c current bound: 3445
551.58/554.41	c current bound: 3445
551.97/555.04	c current bound: 3445
552.61/555.82	c current bound: 3445
553.25/556.46	c current bound: 3445
553.89/557.09	c current bound: 3445
554.74/557.73	c current bound: 3445
555.16/558.37	c current bound: 3445
555.80/559.02	c current bound: 3445
556.46/559.66	c current bound: 3445
557.08/560.29	c current bound: 3445
557.94/560.93	c current bound: 3445
558.35/561.56	c current bound: 3445
559.24/562.20	c current bound: 3445
559.63/562.84	c current bound: 3445
560.27/563.47	c current bound: 3445
560.90/564.12	c current bound: 3445
561.55/564.75	c current bound: 3445
562.35/565.39	c current bound: 3445
562.83/566.14	c current bound: 3445
563.46/566.78	c current bound: 3445
564.10/567.42	c current bound: 3445
564.74/568.06	c current bound: 3445
565.54/568.69	c current bound: 3445
566.02/569.33	c current bound: 3445
566.67/569.97	c current bound: 3445
567.29/570.60	c current bound: 3445
567.93/571.24	c current bound: 3445
568.57/571.88	c current bound: 3445
569.20/572.51	c current bound: 3445
570.05/573.15	c current bound: 3445
570.48/573.78	c current bound: 3445
571.13/574.42	c current bound: 3445
571.76/575.06	c current bound: 3445
572.39/575.69	c current bound: 3445
573.25/576.33	c current bound: 3445
573.67/576.97	c current bound: 3445
574.54/577.61	c current bound: 3445
574.94/578.24	c current bound: 3445
575.58/578.88	c current bound: 3445
576.22/579.52	c current bound: 3445
576.85/580.15	c current bound: 3445
577.65/580.79	c current bound: 3445
578.13/581.42	c current bound: 3445
578.76/582.06	c current bound: 3445
579.66/582.70	c current bound: 3445
580.03/583.33	c current bound: 3445
580.66/583.97	c current bound: 3445
581.30/584.60	c current bound: 3445
582.16/585.24	c current bound: 3445
582.58/585.87	c current bound: 3445
583.22/586.51	c current bound: 3445
583.85/587.15	c current bound: 3445
584.48/587.78	c current bound: 3445
585.36/588.42	c current bound: 3445
585.76/589.05	c current bound: 3445
586.55/589.69	c current bound: 3445
587.03/590.33	c current bound: 3445
587.69/590.97	c current bound: 3445
588.52/591.74	c current bound: 3445
588.95/592.38	c current bound: 3445
589.83/593.02	c current bound: 3445
590.23/593.65	c current bound: 3445
590.86/594.29	c current bound: 3445
591.51/594.93	c current bound: 3445
592.14/595.57	c current bound: 3445
593.05/596.20	c current bound: 3445
593.41/596.84	c current bound: 3445
594.04/597.48	c current bound: 3445
594.68/598.12	c current bound: 3445
595.34/598.75	c current bound: 3445
595.97/599.39	c current bound: 3445
596.61/600.03	c current bound: 3445
597.44/600.66	c current bound: 3445
597.89/601.35	c current bound: 3445
598.52/601.99	c current bound: 3445
599.16/602.63	c current bound: 3445
599.80/603.26	c current bound: 3445
600.60/603.90	c current bound: 3445
601.06/604.53	c current bound: 3445
601.70/605.17	c current bound: 3445
602.33/605.81	c current bound: 3445
602.97/606.44	c current bound: 3445
603.61/607.08	c current bound: 3445
604.25/607.72	c current bound: 3445
605.09/608.35	c current bound: 3445
605.53/608.99	c current bound: 3445
606.16/609.62	c current bound: 3445
606.79/610.26	c current bound: 3445
607.70/610.90	c current bound: 3445
608.28/611.54	c current bound: 3445
608.71/612.18	c current bound: 3445
609.59/612.81	c current bound: 3445
609.99/613.45	c current bound: 3445
610.63/614.08	c current bound: 3445
611.27/614.72	c current bound: 3445
611.90/615.36	c current bound: 3445
612.69/615.99	c current bound: 3445
613.18/616.63	c current bound: 3445
613.80/617.26	c current bound: 3445
614.70/617.90	c current bound: 3445
615.07/618.54	c current bound: 3445
615.72/619.17	c current bound: 3445
616.35/619.81	c current bound: 3445
617.20/620.44	c current bound: 3445
617.89/621.18	c current bound: 3445
618.25/621.82	c current bound: 3445
618.90/622.46	c current bound: 3445
619.54/623.09	c current bound: 3445
620.41/623.73	c current bound: 3445
620.81/624.38	c current bound: 3445
621.46/625.02	c current bound: 3445
622.10/625.65	c current bound: 3445
622.74/626.29	c current bound: 3445
623.61/626.93	c current bound: 3445
624.01/627.56	c current bound: 3445
624.92/628.20	c current bound: 3445
625.29/628.83	c current bound: 3445
625.92/629.47	c current bound: 3445
626.57/630.11	c current bound: 3445
627.20/630.74	c current bound: 3445
628.01/631.38	c current bound: 3445
628.48/632.01	c current bound: 3445
629.30/632.66	c current bound: 3445
629.75/633.31	c current bound: 3445
630.40/633.94	c current bound: 3445
631.05/634.58	c current bound: 3445
631.69/635.23	c current bound: 3445
632.52/635.87	c current bound: 3445
632.97/636.50	c current bound: 3445
633.60/637.14	c current bound: 3445
634.24/637.77	c current bound: 3445
634.87/638.41	c current bound: 3445
635.72/639.04	c current bound: 3445
636.16/639.68	c current bound: 3445
637.02/640.32	c current bound: 3445
637.42/640.95	c current bound: 3445
638.06/641.60	c current bound: 3445
638.70/642.24	c current bound: 3445
639.33/642.87	c current bound: 3445
640.22/643.51	c current bound: 3445
640.62/644.15	c current bound: 3445
641.25/644.78	c current bound: 3445
641.89/645.42	c current bound: 3445
642.52/646.05	c current bound: 3445
643.16/646.70	c current bound: 3445
643.80/647.37	c current bound: 3445
644.69/648.01	c current bound: 3445
645.08/648.65	c current bound: 3445
645.73/649.29	c current bound: 3445
646.37/649.93	c current bound: 3445
647.01/650.57	c current bound: 3445
647.91/651.20	c current bound: 3445
648.53/652.00	c current bound: 3445
648.92/652.63	c current bound: 3445
649.55/653.28	c current bound: 3445
650.19/653.91	c current bound: 3445
651.04/654.55	c current bound: 3445
651.47/655.18	c current bound: 3445
652.10/655.82	c current bound: 3445
652.74/656.46	c current bound: 3445
653.64/657.10	c current bound: 3445
654.24/657.73	c current bound: 3445
654.66/658.37	c current bound: 3445
655.53/659.01	c current bound: 3445
655.93/659.65	c current bound: 3445
656.57/660.30	c current bound: 3445
657.22/660.94	c current bound: 3445
657.86/661.57	c current bound: 3445
658.74/662.23	c current bound: 3445
659.13/662.87	c current bound: 3445
659.78/663.50	c current bound: 3445
660.41/664.14	c current bound: 3445
661.04/664.77	c current bound: 3445
661.93/665.41	c current bound: 3445
662.31/666.04	c current bound: 3445
663.11/666.68	c current bound: 3445
663.59/667.31	c current bound: 3445
664.23/667.95	c current bound: 3445
665.13/668.60	c current bound: 3445
665.51/669.24	c current bound: 3445
666.31/669.87	c current bound: 3445
666.79/670.51	c current bound: 3445
667.62/671.14	c current bound: 3445
668.05/671.78	c current bound: 3445
668.70/672.41	c current bound: 3445
669.33/673.05	c current bound: 3445
669.96/673.69	c current bound: 3445
670.83/674.33	c current bound: 3445
671.25/674.97	c current bound: 3445
671.89/675.60	c current bound: 3445
672.52/676.24	c current bound: 3445
673.16/676.88	c current bound: 3445
674.04/677.51	c current bound: 3445
674.43/678.16	c current bound: 3445
675.35/678.80	c current bound: 3445
675.72/679.44	c current bound: 3445
676.35/680.08	c current bound: 3445
677.00/680.73	c current bound: 3445
677.64/681.36	c current bound: 3445
678.43/682.00	c current bound: 3445
678.91/682.63	c current bound: 3445
679.54/683.27	c current bound: 3445
680.19/683.91	c current bound: 3445
680.83/684.54	c current bound: 3445
681.46/685.18	c current bound: 3445
682.09/685.83	c current bound: 3445
682.93/686.46	c current bound: 3445
683.37/687.11	c current bound: 3445
684.01/687.75	c current bound: 3445
684.65/688.38	c current bound: 3445
685.29/689.02	c current bound: 3445
686.13/689.66	c current bound: 3445
686.57/690.29	c current bound: 3445
687.42/690.94	c current bound: 3445
687.86/691.57	c current bound: 3445
688.48/692.21	c current bound: 3445
689.12/692.88	c current bound: 3445
689.75/693.52	c current bound: 3445
690.60/694.15	c current bound: 3445
691.03/694.79	c current bound: 3445
691.67/695.43	c current bound: 3445
692.31/696.06	c current bound: 3445
693.21/696.70	c current bound: 3445
693.84/697.60	c current bound: 3445
694.22/698.23	c current bound: 3445
694.85/698.87	c current bound: 3445
695.75/699.50	c current bound: 3445
696.12/700.14	c current bound: 3445
696.95/700.77	c current bound: 3445
697.40/701.41	c current bound: 3445
698.04/702.05	c current bound: 3445
698.68/702.68	c current bound: 3445
699.32/703.32	c current bound: 3445
700.14/703.96	c current bound: 3445
700.85/704.60	c current bound: 3445
701.45/705.23	c current bound: 3445
701.86/705.87	c current bound: 3445
702.49/706.51	c current bound: 3445
703.13/707.15	c current bound: 3445
703.77/707.79	c current bound: 3445
704.64/708.43	c current bound: 3445
705.05/709.06	c current bound: 3445
705.69/709.70	c current bound: 3445
706.33/710.34	c current bound: 3445
706.96/710.97	c current bound: 3445
707.84/711.61	c current bound: 3445
708.25/712.25	c current bound: 3445
708.87/712.97	c current bound: 3445
709.51/713.61	c current bound: 3445
710.16/714.25	c current bound: 3445
710.78/714.88	c current bound: 3445
711.43/715.52	c current bound: 3445
712.26/716.15	c current bound: 3445
712.70/716.79	c current bound: 3445
713.33/717.53	c current bound: 3445
713.97/718.17	c current bound: 3445
714.61/718.80	c current bound: 3445
715.45/719.44	c current bound: 3445
715.88/720.08	c current bound: 3445
716.52/720.71	c current bound: 3445
717.15/721.35	c current bound: 3445
717.79/721.98	c current bound: 3445
718.69/722.71	c current bound: 3445
719.07/723.34	c current bound: 3445
719.70/723.98	c current bound: 3445
720.34/724.62	c current bound: 3445
720.98/725.25	c current bound: 3445
721.62/725.89	c current bound: 3445
722.26/726.52	c current bound: 3445
723.09/727.16	c current bound: 3445
723.53/727.79	c current bound: 3445
724.15/728.43	c current bound: 3445
724.80/729.06	c current bound: 3445
725.70/729.70	c current bound: 3445
726.30/730.34	c current bound: 3445
726.71/730.97	c current bound: 3445
727.58/731.61	c current bound: 3445
727.98/732.24	c current bound: 3445
728.62/732.88	c current bound: 3445
729.26/733.51	c current bound: 3445
729.88/734.15	c current bound: 3445
730.70/734.79	c current bound: 3445
731.17/735.44	c current bound: 3445
731.83/736.08	c current bound: 3445
732.47/736.72	c current bound: 3445
733.11/737.36	c current bound: 3445
733.74/738.00	c current bound: 3445
734.37/738.63	c current bound: 3445
735.20/739.26	c current bound: 3445
735.90/739.90	c current bound: 3445
736.29/740.54	c current bound: 3445
736.92/741.18	c current bound: 3445
737.57/741.82	c current bound: 3445
738.41/742.46	c current bound: 3445
738.85/743.09	c current bound: 3445
739.72/743.73	c current bound: 3445
740.12/744.36	c current bound: 3445
740.75/745.00	c current bound: 3445
741.40/745.64	c current bound: 3445
742.03/746.29	c current bound: 3445
742.92/746.93	c current bound: 3445
743.32/747.56	c current bound: 3445
744.21/748.20	c current bound: 3445
744.59/748.83	c current bound: 3445
745.22/749.47	c current bound: 3445
746.38/750.11	c current bound: 3445
746.51/750.74	c current bound: 3445
747.32/751.38	c current bound: 3445
747.79/752.01	c current bound: 3445
748.42/752.65	c current bound: 3445
749.05/753.29	c current bound: 3445
749.68/753.93	c current bound: 3445
750.51/754.56	c current bound: 3445
751.23/755.20	c current bound: 3445
751.81/755.84	c current bound: 3445
752.24/756.47	c current bound: 3445
752.87/757.13	c current bound: 3445
753.53/757.76	c current bound: 3445
754.17/758.40	c current bound: 3445
755.03/759.04	c current bound: 3445
755.46/759.67	c current bound: 3445
756.08/760.31	c current bound: 3445
756.72/760.95	c current bound: 3445
757.36/761.58	c current bound: 3445
758.21/762.22	c current bound: 3445
758.64/762.86	c current bound: 3445
759.55/763.50	c current bound: 3445
759.92/764.14	c current bound: 3445
760.55/764.77	c current bound: 3445
761.18/765.41	c current bound: 3445
761.83/766.04	c current bound: 3445
762.64/766.68	c current bound: 3445
763.11/767.32	c current bound: 3445
763.93/767.95	c current bound: 3445
764.38/768.59	c current bound: 3445
765.00/769.22	c current bound: 3445
765.65/769.87	c current bound: 3445
766.30/770.51	c current bound: 3445
767.14/771.14	c current bound: 3445
767.56/771.78	c current bound: 3445
768.20/772.41	c current bound: 3445
768.84/773.05	c current bound: 3445
769.48/773.68	c current bound: 3445
770.34/774.32	c current bound: 3445
770.74/774.96	c current bound: 3445
771.54/775.59	c current bound: 3445
772.02/776.23	c current bound: 3445
772.64/776.86	c current bound: 3445
773.54/777.50	c current bound: 3445
773.94/778.13	c current bound: 3445
774.75/778.77	c current bound: 3445
775.19/779.40	c current bound: 3445
776.06/780.04	c current bound: 3445
776.48/780.68	c current bound: 3445
777.12/781.31	c current bound: 3445
777.75/781.95	c current bound: 3445
778.38/782.59	c current bound: 3445
779.26/783.23	c current bound: 3445
779.67/783.86	c current bound: 3445
780.56/784.50	c current bound: 3445
780.94/785.13	c current bound: 3445
781.58/785.77	c current bound: 3445
782.45/786.41	c current bound: 3445
782.86/787.05	c current bound: 3445
783.66/787.68	c current bound: 3445
784.12/788.32	c current bound: 3445
784.76/788.96	c current bound: 3445
785.40/789.59	c current bound: 3445
786.03/790.23	c current bound: 3445
786.87/790.86	c current bound: 3445
787.30/791.50	c current bound: 3445
788.16/792.14	c current bound: 3445
788.58/792.77	c current bound: 3445
789.22/793.41	c current bound: 3445
789.86/794.04	c current bound: 3445
790.50/794.68	c current bound: 3445
791.36/795.32	c current bound: 3445
791.78/795.95	c current bound: 3445
792.41/796.59	c current bound: 3445
793.04/797.22	c current bound: 3445
793.67/797.86	c current bound: 3445
794.31/798.50	c current bound: 3445
794.95/799.13	c current bound: 3445
795.78/799.77	c current bound: 3445
796.22/800.41	c current bound: 3445
796.86/801.05	c current bound: 3445
797.51/801.69	c current bound: 3445
798.15/802.33	c current bound: 3445
798.98/802.97	c current bound: 3445
799.43/803.61	c current bound: 3445
800.07/804.28	c current bound: 3445
800.71/804.93	c current bound: 3445
801.36/805.57	c current bound: 3445
802.24/806.21	c current bound: 3445
802.64/806.84	c current bound: 3445
803.46/807.48	c current bound: 3445
803.92/808.11	c current bound: 3445
804.82/809.00	c current bound: 3445
805.40/809.63	c current bound: 3445
805.83/810.27	c current bound: 3445
806.46/810.91	c current bound: 3445
807.08/811.55	c current bound: 3445
807.74/812.19	c current bound: 3445
808.61/812.82	c current bound: 3445
809.01/813.46	c current bound: 3445
809.91/814.10	c current bound: 3445
810.30/814.74	c current bound: 3445
810.93/815.38	c current bound: 3445
811.56/816.01	c current bound: 3445
812.19/816.65	c current bound: 3445
813.02/817.29	c current bound: 3445
813.49/817.93	c current bound: 3445
814.12/818.57	c current bound: 3445
814.75/819.20	c current bound: 3445
815.41/819.84	c current bound: 3445
816.03/820.47	c current bound: 3445
816.67/821.11	c current bound: 3445
817.51/821.74	c current bound: 3445
817.94/822.38	c current bound: 3445
818.57/823.02	c current bound: 3445
819.23/823.65	c current bound: 3445
819.86/824.29	c current bound: 3445
820.73/824.93	c current bound: 3445
821.12/825.56	c current bound: 3445
822.03/826.20	c current bound: 3445
822.40/826.84	c current bound: 3445
823.03/827.48	c current bound: 3445
823.67/828.11	c current bound: 3445
824.32/828.75	c current bound: 3445
825.18/829.42	c current bound: 3445
825.59/830.06	c current bound: 3445
826.24/830.70	c current bound: 3445
826.86/831.34	c current bound: 3445
827.50/831.97	c current bound: 3445
828.37/832.61	c current bound: 3445
828.78/833.24	c current bound: 3445
829.68/834.10	c current bound: 3445
830.05/834.74	c current bound: 3445
830.69/835.37	c current bound: 3445
831.58/836.02	c current bound: 3445
831.96/836.65	c current bound: 3445
832.60/837.29	c current bound: 3445
833.23/837.93	c current bound: 3445
833.87/838.57	c current bound: 3445
834.77/839.20	c current bound: 3445
835.15/839.84	c current bound: 3445
835.94/840.48	c current bound: 3445
836.42/841.11	c current bound: 3445
837.05/841.75	c current bound: 3445
837.70/842.38	c current bound: 3445
838.33/843.02	c current bound: 3445
839.17/843.66	c current bound: 3445
839.59/844.29	c current bound: 3445
840.45/844.93	c current bound: 3445
840.88/845.56	c current bound: 3445
841.51/846.20	c current bound: 3445
842.14/846.84	c current bound: 3445
842.76/847.49	c current bound: 3445
843.65/848.13	c current bound: 3445
844.06/848.76	c current bound: 3445
844.70/849.41	c current bound: 3445
845.34/850.05	c current bound: 3445
845.96/850.69	c current bound: 3445
846.83/851.33	c current bound: 3445
847.25/851.96	c current bound: 3445
848.14/852.60	c current bound: 3445
848.53/853.24	c current bound: 3445
849.17/853.88	c current bound: 3445
849.80/854.51	c current bound: 3445
850.44/855.15	c current bound: 3445
851.26/855.78	c current bound: 3445
851.72/856.42	c current bound: 3445
852.54/857.06	c current bound: 3445
852.99/857.69	c current bound: 3445
853.63/858.33	c current bound: 3445
854.26/858.97	c current bound: 3445
854.90/859.60	c current bound: 3445
855.76/860.24	c current bound: 3445
856.18/860.88	c current bound: 3445
856.81/861.51	c current bound: 3445
857.44/862.15	c current bound: 3445
858.09/862.79	c current bound: 3445
858.94/863.43	c current bound: 3445
859.35/864.06	c current bound: 3445
860.00/864.70	c current bound: 3445
860.63/865.34	c current bound: 3445
861.26/865.98	c current bound: 3445
861.91/866.61	c current bound: 3445
862.55/867.25	c current bound: 3445
863.34/867.89	c current bound: 3445
863.82/868.53	c current bound: 3445
864.45/869.17	c current bound: 3445
865.09/869.85	c current bound: 3445
865.73/870.49	c current bound: 3445
866.59/871.13	c current bound: 3445
867.02/871.76	c current bound: 3445
867.91/872.40	c current bound: 3445
868.28/873.03	c current bound: 3445
868.92/873.67	c current bound: 3445
869.81/874.45	c current bound: 3445
870.19/875.09	c current bound: 3445
871.05/875.72	c current bound: 3445
871.47/876.36	c current bound: 3445
872.36/877.00	c current bound: 3445
872.73/877.63	c current bound: 3445
873.38/878.27	c current bound: 3445
874.26/878.91	c current bound: 3445
874.65/879.59	c current bound: 3445
875.30/880.23	c current bound: 3445
875.94/880.87	c current bound: 3445
876.57/881.50	c current bound: 3445
877.42/882.14	c current bound: 3445
877.85/882.77	c current bound: 3445
878.74/883.41	c current bound: 3445
879.12/884.05	c current bound: 3445
879.76/884.68	c current bound: 3445
880.39/885.32	c current bound: 3445
881.02/885.96	c current bound: 3445
881.83/886.60	c current bound: 3445
882.31/887.23	c current bound: 3445
882.95/887.87	c current bound: 3445
883.57/888.51	c current bound: 3445
884.22/889.14	c current bound: 3445
884.86/889.78	c current bound: 3445
885.48/890.41	c current bound: 3445
886.32/891.05	c current bound: 3445
886.77/891.69	c current bound: 3445
887.39/892.33	c current bound: 3445
888.04/892.96	c current bound: 3445
888.94/893.60	c current bound: 3445
889.53/894.23	c current bound: 3445
889.94/894.87	c current bound: 3445
890.81/895.52	c current bound: 3445
891.23/896.15	c current bound: 3445
891.86/896.79	c current bound: 3445
892.50/897.43	c current bound: 3445
893.14/898.06	c current bound: 3445
894.04/898.70	c current bound: 3445
894.40/899.34	c current bound: 3445
895.04/900.13	c current bound: 3445
895.69/900.77	c current bound: 3445
896.32/901.40	c current bound: 3445
897.17/902.04	c current bound: 3445
897.59/902.68	c current bound: 3445
898.23/903.31	c current bound: 3445
898.87/903.95	c current bound: 3445
899.77/904.66	c current bound: 3445
900.30/905.30	c current bound: 3445
900.79/905.94	c current bound: 3445
901.42/906.58	c current bound: 3445
902.07/907.21	c current bound: 3445
902.71/907.85	c current bound: 3445
903.34/908.48	c current bound: 3445
903.98/909.12	c current bound: 3445
904.80/909.77	c current bound: 3445
905.26/910.41	c current bound: 3445
905.89/911.06	c current bound: 3445
906.81/911.70	c current bound: 3445
907.19/912.34	c current bound: 3445
908.00/912.98	c current bound: 3445
908.47/913.62	c current bound: 3445
909.29/914.26	c current bound: 3445
909.74/914.89	c current bound: 3445
910.38/915.53	c current bound: 3445
911.01/916.17	c current bound: 3445
911.64/916.81	c current bound: 3445
912.50/917.45	c current bound: 3445
913.21/918.10	c current bound: 3445
913.57/918.74	c current bound: 3445
914.22/919.38	c current bound: 3445
914.87/920.02	c current bound: 3445
915.69/920.65	c current bound: 3445
916.13/921.29	c current bound: 3445
916.98/921.94	c current bound: 3445
917.42/922.59	c current bound: 3445
918.06/923.23	c current bound: 3445
918.70/923.87	c current bound: 3445
919.35/924.51	c current bound: 3445
920.19/925.16	c current bound: 3445
920.89/925.80	c current bound: 3445
921.28/926.44	c current bound: 3445
921.92/927.08	c current bound: 3445
922.53/927.71	c current bound: 3445
923.38/928.35	c current bound: 3445
923.81/928.99	c current bound: 3445
924.68/929.62	c current bound: 3445
925.09/930.26	c current bound: 3445
925.73/930.89	c current bound: 3445
926.36/931.53	c current bound: 3445
927.01/932.16	c current bound: 3445
927.89/932.81	c current bound: 3445
928.29/933.45	c current bound: 3445
928.92/934.08	c current bound: 3445
929.55/934.72	c current bound: 3445
930.19/935.35	c current bound: 3445
930.83/935.99	c current bound: 3445
931.46/936.63	c current bound: 3445
932.31/937.27	c current bound: 3445
932.75/937.91	c current bound: 3445
933.38/938.54	c current bound: 3445
934.03/939.18	c current bound: 3445
934.66/939.81	c current bound: 3445
935.49/940.45	c current bound: 3445
935.94/941.10	c current bound: 3445
936.79/941.75	c current bound: 3445
937.50/942.40	c current bound: 3445
937.89/943.05	c current bound: 3445
938.53/943.68	c current bound: 3445
939.16/944.33	c current bound: 3445
940.01/944.97	c current bound: 3445
940.45/945.61	c current bound: 3445
941.10/946.25	c current bound: 3445
942.01/946.90	c current bound: 3445
942.37/947.53	c current bound: 3445
943.19/948.18	c current bound: 3445
943.66/948.82	c current bound: 3445
944.49/949.46	c current bound: 3445
945.20/950.10	c current bound: 3445
945.56/950.89	c current bound: 3445
946.44/951.53	c current bound: 3445
946.85/952.17	c current bound: 3445
947.49/952.81	c current bound: 3445
948.12/953.44	c current bound: 3445
948.76/954.08	c current bound: 3445
949.63/954.72	c current bound: 3445
950.03/955.35	c current bound: 3445
950.94/956.00	c current bound: 3445
951.31/956.63	c current bound: 3445
951.95/957.28	c current bound: 3445
952.59/957.91	c current bound: 3445
953.24/958.56	c current bound: 3445
954.02/959.20	c current bound: 3445
954.51/959.83	c current bound: 3445
955.14/960.47	c current bound: 3445
955.80/961.11	c current bound: 3445
956.42/961.75	c current bound: 3445
957.07/962.39	c current bound: 3445
957.70/963.03	c current bound: 3445
958.52/963.66	c current bound: 3445
959.25/964.30	c current bound: 3445
959.63/964.94	c current bound: 3445
960.27/965.57	c current bound: 3445
960.91/966.21	c current bound: 3445
961.74/966.85	c current bound: 3445
962.17/967.48	c current bound: 3445
963.02/968.12	c current bound: 3445
963.44/968.76	c current bound: 3445
964.33/969.40	c current bound: 3445
964.71/970.04	c current bound: 3445
965.35/970.67	c current bound: 3445
966.23/971.31	c current bound: 3445
966.63/971.95	c current bound: 3445
967.27/972.59	c current bound: 3445
967.91/973.22	c current bound: 3445
968.54/973.86	c current bound: 3445
969.43/974.51	c current bound: 3445
969.83/975.15	c current bound: 3445
970.63/975.78	c current bound: 3445
971.10/976.42	c current bound: 3445
971.72/977.05	c current bound: 3445
972.37/977.69	c current bound: 3445
973.00/978.33	c current bound: 3445
973.82/978.97	c current bound: 3445
974.28/979.60	c current bound: 3445
975.12/980.24	c current bound: 3445
975.55/980.88	c current bound: 3445
976.18/981.51	c current bound: 3445
976.81/982.15	c current bound: 3445
977.47/982.79	c current bound: 3445
978.33/983.43	c current bound: 3445
978.74/984.06	c current bound: 3445
979.64/984.70	c current bound: 3445
980.00/985.33	c current bound: 3445
980.64/985.98	c current bound: 3445
981.51/986.62	c current bound: 3445
981.91/987.25	c current bound: 3445
982.71/987.89	c current bound: 3445
983.19/988.53	c current bound: 3445
983.81/989.16	c current bound: 3445
984.46/989.80	c current bound: 3445
985.11/990.44	c current bound: 3445
985.92/991.08	c current bound: 3445
986.37/991.71	c current bound: 3445
987.21/992.35	c current bound: 3445
987.65/992.99	c current bound: 3445
988.29/993.63	c current bound: 3445
988.93/994.27	c current bound: 3445
989.57/994.91	c current bound: 3445
990.41/995.54	c current bound: 3445
990.84/996.18	c current bound: 3445
991.48/996.82	c current bound: 3445
992.11/997.45	c current bound: 3445
992.75/998.09	c current bound: 3445
993.61/998.73	c current bound: 3445
994.03/999.37	c current bound: 3445
994.91/1000.01	c current bound: 3445
995.32/1000.64	c current bound: 3445
995.95/1001.28	c current bound: 3445
996.59/1001.92	c current bound: 3445
997.22/1002.56	c current bound: 3445
998.12/1003.22	c current bound: 3445
998.52/1003.86	c current bound: 3445
999.15/1004.49	c current bound: 3445
999.79/1005.13	c current bound: 3445
1000.43/1005.77	c current bound: 3445
1001.34/1006.40	c current bound: 3445
1001.71/1007.04	c current bound: 3445
1002.51/1007.68	c current bound: 3445
1002.98/1008.32	c current bound: 3445
1003.63/1008.95	c current bound: 3445
1004.26/1009.59	c current bound: 3445
1004.89/1010.23	c current bound: 3445
1005.72/1010.87	c current bound: 3445
1006.17/1011.50	c current bound: 3445
1007.01/1012.15	c current bound: 3445
1007.45/1012.79	c current bound: 3445
1008.09/1013.43	c current bound: 3445
1008.73/1014.07	c current bound: 3445
1009.37/1014.70	c current bound: 3445
1010.22/1015.34	c current bound: 3445
1010.65/1015.98	c current bound: 3445
1011.29/1016.61	c current bound: 3445
1011.92/1017.25	c current bound: 3445
1012.56/1017.88	c current bound: 3445
1013.43/1018.52	c current bound: 3445
1013.83/1019.16	c current bound: 3445
1014.73/1019.80	c current bound: 3445
1015.11/1020.43	c current bound: 3445
1015.75/1021.07	c current bound: 3445
1016.39/1021.71	c current bound: 3445
1017.01/1022.34	c current bound: 3445
1017.84/1022.98	c current bound: 3445
1018.30/1023.62	c current bound: 3445
1019.14/1024.26	c current bound: 3445
1019.57/1024.90	c current bound: 3445
1020.22/1025.54	c current bound: 3445
1020.85/1026.18	c current bound: 3445
1021.50/1026.86	c current bound: 3445
1022.40/1027.50	c current bound: 3445
1022.78/1028.13	c current bound: 3445
1023.42/1028.77	c current bound: 3445
1024.05/1029.41	c current bound: 3445
1024.69/1030.04	c current bound: 3445
1025.52/1030.68	c current bound: 3445
1026.24/1031.58	c current bound: 3445
1026.61/1032.21	c current bound: 3445
1027.45/1032.85	c current bound: 3445
1027.89/1033.49	c current bound: 3445
1028.73/1034.13	c current bound: 3445
1029.16/1034.77	c current bound: 3445
1029.81/1035.41	c current bound: 3445
1030.43/1036.04	c current bound: 3445
1031.07/1036.68	c current bound: 3445
1031.94/1037.32	c current bound: 3445
1032.35/1037.96	c current bound: 3445
1032.99/1038.59	c current bound: 3445
1033.62/1039.23	c current bound: 3445
1034.27/1039.87	c current bound: 3445
1035.15/1040.51	c current bound: 3445
1035.54/1041.15	c current bound: 3445
1036.34/1041.79	c current bound: 3445
1036.81/1042.42	c current bound: 3445
1037.45/1043.06	c current bound: 3445
1038.35/1043.70	c current bound: 3445
1038.72/1044.34	c current bound: 3445
1039.55/1044.98	c current bound: 3445
1040.00/1045.61	c current bound: 3445
1040.83/1046.25	c current bound: 3445
1041.28/1046.92	c current bound: 3445
1041.91/1047.57	c current bound: 3445
1042.82/1048.22	c current bound: 3445
1043.21/1048.85	c current bound: 3445
1044.11/1049.50	c current bound: 3445
1044.51/1050.14	c current bound: 3445
1045.13/1050.79	c current bound: 3445
1046.05/1051.64	c current bound: 3445
1046.43/1052.29	c current bound: 3445
1047.08/1052.93	c current bound: 3445
1047.72/1053.58	c current bound: 3445
1048.37/1054.22	c current bound: 3445
1049.20/1054.88	c current bound: 3445
1049.67/1055.52	c current bound: 3445
1050.51/1056.17	c current bound: 3445
1050.96/1056.81	c current bound: 3445
1051.61/1057.45	c current bound: 3445
1052.24/1058.09	c current bound: 3445
1052.88/1058.72	c current bound: 3445
1053.71/1059.36	c current bound: 3445
1054.42/1060.00	c current bound: 3445
1054.79/1060.64	c current bound: 3445
1055.43/1061.28	c current bound: 3445
1056.08/1061.93	c current bound: 3445
1056.90/1062.57	c current bound: 3445
1057.37/1063.21	c current bound: 3445
1058.21/1063.85	c current bound: 3445
1058.65/1064.49	c current bound: 3445
1059.29/1065.12	c current bound: 3445
1059.93/1065.76	c current bound: 3445
1060.55/1066.39	c current bound: 3445
1061.41/1067.03	c current bound: 3445
1061.82/1067.67	c current bound: 3445
1062.46/1068.31	c current bound: 3445
1063.11/1068.96	c current bound: 3445
1063.74/1069.59	c current bound: 3445
1064.62/1070.23	c current bound: 3445
1065.03/1070.87	c current bound: 3445
1065.91/1071.51	c current bound: 3445
1066.31/1072.14	c current bound: 3445
1066.94/1072.78	c current bound: 3445
1067.57/1073.42	c current bound: 3445
1068.21/1074.05	c current bound: 3445
1069.01/1074.70	c current bound: 3445
1069.48/1075.33	c current bound: 3445
1070.12/1075.97	c current bound: 3445
1070.74/1076.61	c current bound: 3445
1071.39/1077.25	c current bound: 3445
1072.03/1077.88	c current bound: 3445
1072.67/1078.52	c current bound: 3445
1073.51/1079.16	c current bound: 3445
1073.95/1079.79	c current bound: 3445
1074.59/1080.43	c current bound: 3445
1075.23/1081.06	c current bound: 3445
1076.13/1081.70	c current bound: 3445
1076.71/1082.33	c current bound: 3445
1077.12/1082.97	c current bound: 3445
1078.01/1083.61	c current bound: 3445
1078.40/1084.25	c current bound: 3445
1079.04/1084.88	c current bound: 3445
1079.67/1085.52	c current bound: 3445
1080.31/1086.16	c current bound: 3445
1081.12/1086.80	c current bound: 3445
1081.59/1087.45	c current bound: 3445
1082.23/1088.08	c current bound: 3445
1082.86/1088.72	c current bound: 3445
1083.50/1089.36	c current bound: 3445
1084.13/1089.99	c current bound: 3445
1084.78/1090.63	c current bound: 3445
1085.61/1091.27	c current bound: 3445
1086.05/1092.17	c current bound: 3445
1086.69/1092.80	c current bound: 3445
1087.52/1093.44	c current bound: 3445
1087.96/1094.08	c current bound: 3445
1088.61/1094.71	c current bound: 3445
1089.23/1095.35	c current bound: 3445
1089.87/1095.98	c current bound: 3445
1090.75/1096.62	c current bound: 3445
1091.14/1097.26	c current bound: 3445
1091.94/1097.89	c current bound: 3445
1092.42/1098.53	c current bound: 3445
1093.06/1099.17	c current bound: 3445
1093.69/1099.80	c current bound: 3445
1094.33/1100.44	c current bound: 3445
1095.15/1101.07	c current bound: 3445
1095.60/1101.71	c current bound: 3445
1096.44/1102.34	c current bound: 3445
1096.87/1102.98	c current bound: 3445
1097.51/1103.61	c current bound: 3445
1098.14/1104.25	c current bound: 3445
1098.78/1104.89	c current bound: 3445
1099.65/1105.52	c current bound: 3445
1100.06/1106.17	c current bound: 3445
1100.71/1106.80	c current bound: 3445
1101.33/1107.44	c current bound: 3445
1101.97/1108.08	c current bound: 3445
1102.85/1108.71	c current bound: 3445
1103.24/1109.35	c current bound: 3445
1104.05/1109.98	c current bound: 3445
1104.52/1110.62	c current bound: 3445
1105.15/1111.25	c current bound: 3445
1105.80/1111.90	c current bound: 3445
1106.43/1112.55	c current bound: 3445
1107.24/1113.19	c current bound: 3445
1107.72/1113.82	c current bound: 3445
1108.35/1114.46	c current bound: 3445
1109.25/1115.10	c current bound: 3445
1109.62/1115.73	c current bound: 3445
1110.26/1116.37	c current bound: 3445
1110.90/1117.01	c current bound: 3445
1111.71/1117.69	c current bound: 3445
1112.16/1118.32	c current bound: 3445
1112.81/1118.96	c current bound: 3445
1113.44/1119.60	c current bound: 3445
1114.09/1120.23	c current bound: 3445
1114.91/1120.87	c current bound: 3445
1115.36/1121.50	c current bound: 3445
1116.26/1122.42	c current bound: 3445
1116.81/1123.06	c current bound: 3445
1117.53/1123.70	c current bound: 3445
1118.12/1124.33	c current bound: 3445
1118.54/1124.97	c current bound: 3445
1119.18/1125.61	c current bound: 3445
1119.82/1126.24	c current bound: 3445
1120.46/1126.88	c current bound: 3445
1121.34/1127.51	c current bound: 3445
1121.72/1128.16	c current bound: 3445
1122.36/1128.79	c current bound: 3445
1123.00/1129.43	c current bound: 3445
1123.64/1130.06	c current bound: 3445
1124.26/1130.70	c current bound: 3445
1124.90/1131.33	c current bound: 3445
1125.73/1131.97	c current bound: 3445
1126.18/1132.61	c current bound: 3445
1126.82/1133.25	c current bound: 3445
1127.45/1133.88	c current bound: 3445
1128.09/1134.52	c current bound: 3445
1128.93/1135.17	c current bound: 3445
1129.37/1135.81	c current bound: 3445
1130.22/1136.45	c current bound: 3445
1130.66/1137.08	c current bound: 3445
1131.29/1137.78	c current bound: 3445
1132.17/1138.42	c current bound: 3445
1132.58/1139.05	c current bound: 3445
1133.47/1139.71	c current bound: 3445
1133.88/1140.34	c current bound: 3445
1134.50/1140.99	c current bound: 3445
1135.15/1141.62	c current bound: 3445
1135.79/1142.46	c current bound: 3445
1136.43/1143.10	c current bound: 3445
1137.06/1143.74	c current bound: 3445
1137.70/1144.37	c current bound: 3445
1138.58/1145.01	c current bound: 3445
1138.96/1145.65	c current bound: 3445
1139.80/1146.29	c current bound: 3445
1140.26/1146.92	c current bound: 3445
1140.90/1147.56	c current bound: 3445
1141.79/1148.20	c current bound: 3445
1142.16/1148.84	c current bound: 3445
1142.97/1149.48	c current bound: 3445
1143.45/1150.11	c current bound: 3445
1144.27/1150.75	c current bound: 3445
1144.71/1151.38	c current bound: 3445
1145.35/1152.02	c current bound: 3445
1146.00/1152.66	c current bound: 3445
1146.63/1153.30	c current bound: 3445
1147.49/1153.94	c current bound: 3445
1147.90/1154.57	c current bound: 3445
1148.54/1155.22	c current bound: 3445
1149.18/1155.85	c current bound: 3445
1149.82/1156.49	c current bound: 3445
1150.69/1157.13	c current bound: 3445
1151.11/1157.77	c current bound: 3445
1151.98/1158.40	c current bound: 3445
1152.37/1159.04	c current bound: 3445
1153.01/1159.69	c current bound: 3445
1153.64/1160.32	c current bound: 3445
1154.29/1160.96	c current bound: 3445
1155.09/1161.60	c current bound: 3445
1155.57/1162.24	c current bound: 3445
1156.21/1163.02	c current bound: 3445
1156.85/1163.66	c current bound: 3445
1157.49/1164.29	c current bound: 3445
1158.34/1164.93	c current bound: 3445
1158.75/1165.57	c current bound: 3445
1159.39/1166.21	c current bound: 3445
1160.02/1166.85	c current bound: 3445
1160.93/1167.50	c current bound: 3445
1161.51/1168.14	c current bound: 3445
1161.96/1168.78	c current bound: 3445
1162.81/1169.41	c current bound: 3445
1163.22/1170.05	c current bound: 3445
1163.86/1170.69	c current bound: 3445
1164.48/1171.33	c current bound: 3445
1165.13/1171.96	c current bound: 3445
1166.02/1172.69	c current bound: 3445
1166.40/1173.32	c current bound: 3445
1167.05/1173.96	c current bound: 3445
1167.94/1174.60	c current bound: 3445
1168.32/1175.23	c current bound: 3445
1169.14/1175.87	c current bound: 3445
1169.59/1176.51	c current bound: 3445
1170.44/1177.14	c current bound: 3445
1170.87/1177.78	c current bound: 3445
1171.49/1178.42	c current bound: 3445
1172.13/1179.07	c current bound: 3445
1172.78/1179.70	c current bound: 3445
1173.65/1180.35	c current bound: 3445
1174.08/1181.00	c current bound: 3445
1174.72/1181.64	c current bound: 3445
1175.36/1182.28	c current bound: 3445
1176.00/1182.92	c current bound: 3445
1176.84/1183.56	c current bound: 3445
1177.53/1184.20	c current bound: 3445
1178.14/1184.83	c current bound: 3445
1178.55/1185.47	c current bound: 3445
1179.20/1186.11	c current bound: 3445
1179.84/1186.75	c current bound: 3445
1180.47/1187.38	c current bound: 3445
1181.34/1188.02	c current bound: 3445
1181.74/1188.65	c current bound: 3445
1182.37/1189.29	c current bound: 3445
1183.01/1189.92	c current bound: 3445
1183.65/1190.57	c current bound: 3445
1184.55/1191.20	c current bound: 3445
1184.92/1191.84	c current bound: 3445
1185.75/1192.48	c current bound: 3445
1186.20/1193.11	c current bound: 3445
1186.83/1193.76	c current bound: 3445
1187.75/1194.40	c current bound: 3445
1188.12/1195.03	c current bound: 3445
1188.94/1195.67	c current bound: 3445
1189.39/1196.31	c current bound: 3445
1190.22/1196.95	c current bound: 3445
1190.67/1197.59	c current bound: 3445
1191.31/1198.22	c current bound: 3445
1191.95/1198.86	c current bound: 3445
1192.83/1199.50	c current bound: 3445
1193.43/1200.14	c current bound: 3445
1193.86/1200.77	c current bound: 3445
1194.50/1201.41	c current bound: 3445
1195.13/1202.05	c current bound: 3445
1195.77/1202.69	c current bound: 3445
1196.64/1203.33	c current bound: 3445
1197.05/1203.96	c current bound: 3445
1197.93/1204.62	c current bound: 3445
1198.35/1205.26	c current bound: 3445
1198.97/1205.89	c current bound: 3445
1199.62/1206.53	c current bound: 3445
1200.26/1207.17	c current bound: 3445
1201.15/1207.80	c current bound: 3445
1201.53/1208.44	c current bound: 3445
1202.17/1209.08	c current bound: 3445
1202.80/1209.72	c current bound: 3445
1203.45/1210.36	c current bound: 3445
1204.08/1210.99	c current bound: 3445
1204.73/1211.63	c current bound: 3445
1205.55/1212.26	c current bound: 3445
1206.00/1212.90	c current bound: 3445
1206.64/1213.54	c current bound: 3445
1207.28/1214.18	c current bound: 3445
1207.91/1214.82	c current bound: 3445
1208.73/1215.46	c current bound: 3445
1209.19/1216.09	c current bound: 3445
1210.06/1216.74	c current bound: 3445
1210.48/1217.37	c current bound: 3445
1211.12/1218.01	c current bound: 3445
1211.74/1218.64	c current bound: 3445
1212.38/1219.28	c current bound: 3445
1213.27/1219.92	c current bound: 3445
1213.66/1220.57	c current bound: 3445
1214.31/1221.21	c current bound: 3445
1214.95/1221.85	c current bound: 3445
1215.58/1222.48	c current bound: 3445
1216.46/1223.12	c current bound: 3445
1216.85/1223.79	c current bound: 3445
1217.72/1224.42	c current bound: 3445
1218.14/1225.06	c current bound: 3445
1218.77/1225.70	c current bound: 3445
1219.41/1226.34	c current bound: 3445
1220.05/1226.97	c current bound: 3445
1220.92/1227.61	c current bound: 3445
1221.33/1228.52	c current bound: 3445
1221.96/1229.16	c current bound: 3445
1222.75/1229.80	c current bound: 3445
1223.24/1230.43	c current bound: 3445
1223.87/1231.07	c current bound: 3445
1224.52/1231.71	c current bound: 3445
1225.15/1232.35	c current bound: 3445
1225.77/1232.98	c current bound: 3445
1226.42/1233.62	c current bound: 3445
1227.26/1234.25	c current bound: 3445
1227.69/1234.89	c current bound: 3445
1228.32/1235.53	c current bound: 3445
1228.97/1236.18	c current bound: 3445
1229.62/1236.83	c current bound: 3445
1230.44/1237.47	c current bound: 3445
1230.90/1238.10	c current bound: 3445
1231.75/1238.74	c current bound: 3445
1232.17/1239.38	c current bound: 3445
1232.82/1240.03	c current bound: 3445
1233.47/1240.67	c current bound: 3445
1234.09/1241.31	c current bound: 3445
1234.93/1241.95	c current bound: 3445
1235.39/1242.59	c current bound: 3445
1236.02/1243.23	c current bound: 3445
1236.65/1243.87	c current bound: 3445
1237.30/1244.51	c current bound: 3445
1238.14/1245.14	c current bound: 3445
1238.56/1245.78	c current bound: 3445
1239.42/1246.42	c current bound: 3445
1239.85/1247.06	c current bound: 3445
1240.47/1247.69	c current bound: 3445
1241.35/1248.50	c current bound: 3445
1241.75/1249.13	c current bound: 3445
1242.39/1249.77	c current bound: 3445
1243.02/1250.41	c current bound: 3445
1243.68/1251.05	c current bound: 3445
1244.31/1251.69	c current bound: 3445
1244.94/1252.33	c current bound: 3445
1245.78/1252.97	c current bound: 3445
1246.23/1253.60	c current bound: 3445
1246.86/1254.24	c current bound: 3445
1247.50/1254.88	c current bound: 3445
1248.14/1255.52	c current bound: 3445
1248.98/1256.16	c current bound: 3445
1249.43/1256.79	c current bound: 3445
1250.27/1257.43	c current bound: 3445
1250.69/1258.06	c current bound: 3445
1251.32/1258.70	c current bound: 3445
1251.97/1259.34	c current bound: 3445
1252.60/1259.98	c current bound: 3445
1253.49/1260.61	c current bound: 3445
1253.88/1261.27	c current bound: 3445
1254.53/1261.90	c current bound: 3445
1255.17/1262.54	c current bound: 3445
1255.81/1263.18	c current bound: 3445
1256.67/1263.81	c current bound: 3445
1257.07/1264.45	c current bound: 3445
1257.88/1265.09	c current bound: 3445
1258.35/1265.72	c current bound: 3445
1258.99/1266.36	c current bound: 3445
1259.89/1267.00	c current bound: 3445
1260.26/1267.64	c current bound: 3445
1261.08/1268.27	c current bound: 3445
1261.54/1268.92	c current bound: 3445
1262.37/1269.56	c current bound: 3445
1262.83/1270.19	c current bound: 3445
1263.46/1270.83	c current bound: 3445
1264.09/1271.48	c current bound: 3445
1264.75/1272.12	c current bound: 3445
1265.58/1272.76	c current bound: 3445
1266.02/1273.39	c current bound: 3445
1266.66/1274.03	c current bound: 3445
1267.30/1274.66	c current bound: 3445
1267.93/1275.30	c current bound: 3445
1268.79/1275.94	c current bound: 3445
1269.20/1276.58	c current bound: 3445
1270.07/1277.22	c current bound: 3445
1270.48/1277.85	c current bound: 3445
1271.12/1278.49	c current bound: 3445
1271.75/1279.13	c current bound: 3445
1272.39/1279.76	c current bound: 3445
1273.19/1280.40	c current bound: 3445
1273.67/1281.03	c current bound: 3445
1274.30/1281.68	c current bound: 3445
1274.94/1282.32	c current bound: 3445
1275.58/1282.95	c current bound: 3445
1276.22/1283.59	c current bound: 3445
1276.86/1284.23	c current bound: 3445
1277.68/1284.87	c current bound: 3445
1278.13/1285.50	c current bound: 3445
1278.77/1286.19	c current bound: 3445
1279.43/1286.82	c current bound: 3445
1280.06/1287.46	c current bound: 3445
1280.85/1288.10	c current bound: 3445
1281.33/1288.73	c current bound: 3445
1281.98/1289.37	c current bound: 3445
1282.60/1290.01	c current bound: 3445
1283.23/1290.64	c current bound: 3445
1283.87/1291.28	c current bound: 3445
1284.51/1291.92	c current bound: 3445
1285.34/1292.55	c current bound: 3445
1285.78/1293.19	c current bound: 3445
1286.42/1293.82	c current bound: 3445
1287.06/1294.46	c current bound: 3445
1287.70/1295.10	c current bound: 3445
1288.56/1295.74	c current bound: 3445
1288.98/1296.37	c current bound: 3445
1289.85/1297.01	c current bound: 3445
1290.25/1297.65	c current bound: 3445
1290.89/1298.28	c current bound: 3445
1291.52/1298.92	c current bound: 3445
1292.15/1299.59	c current bound: 3445
1293.02/1300.23	c current bound: 3445
1293.43/1300.87	c current bound: 3445
1294.07/1301.50	c current bound: 3445
1294.71/1302.14	c current bound: 3445
1295.35/1302.78	c current bound: 3445
1296.22/1303.42	c current bound: 3445
1296.62/1304.29	c current bound: 3445
1297.26/1304.93	c current bound: 3445
1297.90/1305.56	c current bound: 3445
1298.78/1306.20	c current bound: 3445
1299.40/1306.84	c current bound: 3445
1299.80/1307.47	c current bound: 3445
1300.44/1308.11	c current bound: 3445
1301.08/1308.75	c current bound: 3445
1301.71/1309.39	c current bound: 3445
1302.59/1310.03	c current bound: 3445
1303.00/1310.67	c current bound: 3445
1303.87/1311.30	c current bound: 3445
1304.27/1311.94	c current bound: 3445
1304.91/1312.58	c current bound: 3445
1305.55/1313.22	c current bound: 3445
1306.18/1313.85	c current bound: 3445
1306.98/1314.49	c current bound: 3445
1307.45/1315.12	c current bound: 3445
1308.09/1315.76	c current bound: 3445
1308.99/1316.40	c current bound: 3445
1309.36/1317.04	c current bound: 3445
1310.00/1317.68	c current bound: 3445
1310.64/1318.31	c current bound: 3445
1311.49/1318.95	c current bound: 3445
1311.92/1319.60	c current bound: 3445
1312.57/1320.25	c current bound: 3445
1313.20/1320.90	c current bound: 3445
1313.86/1321.56	c current bound: 3445
1314.68/1322.19	c current bound: 3445
1315.16/1322.84	c current bound: 3445
1315.80/1323.48	c current bound: 3445
1316.44/1324.23	c current bound: 3445
1317.09/1324.87	c current bound: 3445
1317.98/1325.51	c current bound: 3445
1318.35/1326.15	c current bound: 3445
1319.01/1326.80	c current bound: 3445
1319.66/1327.44	c current bound: 3445
1320.29/1328.08	c current bound: 3445
1321.16/1328.72	c current bound: 3445
1321.58/1329.51	c current bound: 3445
1322.23/1330.15	c current bound: 3445
1323.14/1330.80	c current bound: 3445
1323.52/1331.44	c current bound: 3445
1324.32/1332.10	c current bound: 3445
1324.81/1332.74	c current bound: 3445
1325.45/1333.39	c current bound: 3445
1326.11/1334.03	c current bound: 3445
1326.74/1334.67	c current bound: 3445
1327.64/1335.34	c current bound: 3445
1328.05/1335.97	c current bound: 3445
1328.93/1336.61	c current bound: 3445
1329.31/1337.26	c current bound: 3445
1329.97/1337.90	c current bound: 3445
1330.61/1338.54	c current bound: 3445
1331.25/1339.17	c current bound: 3445
1332.14/1339.82	c current bound: 3445
1332.54/1340.47	c current bound: 3445
1333.19/1341.12	c current bound: 3445
1333.83/1341.75	c current bound: 3445
1334.47/1342.40	c current bound: 3445
1335.33/1343.05	c current bound: 3445
1336.04/1343.70	c current bound: 3445
1336.63/1344.33	c current bound: 3445
1337.05/1345.03	c current bound: 3445
1337.70/1345.68	c current bound: 3445
1338.60/1346.32	c current bound: 3445
1339.00/1346.97	c current bound: 3445
1339.90/1347.62	c current bound: 3445
1340.30/1348.27	c current bound: 3445
1340.95/1348.91	c current bound: 3445
1341.84/1349.67	c current bound: 3445
1342.24/1350.30	c current bound: 3445
1343.08/1350.96	c current bound: 3445
1343.52/1351.59	c current bound: 3445
1344.16/1352.24	c current bound: 3445
1344.81/1352.87	c current bound: 3445
1345.45/1353.52	c current bound: 3445
1346.30/1354.16	c current bound: 3445
1346.73/1354.84	c current bound: 3445
1347.37/1355.48	c current bound: 3445
1348.01/1356.12	c current bound: 3445
1348.65/1356.75	c current bound: 3445
1349.57/1357.41	c current bound: 3445
1349.93/1358.05	c current bound: 3445
1350.85/1358.70	c current bound: 3445
1351.24/1359.33	c current bound: 3445
1351.86/1359.97	c current bound: 3445
1352.76/1360.62	c current bound: 3445
1353.15/1361.26	c current bound: 3445
1354.06/1361.90	c current bound: 3445
1354.43/1362.54	c current bound: 3445
1355.07/1363.19	c current bound: 3445
1355.73/1363.82	c current bound: 3445
1356.35/1364.46	c current bound: 3445
1357.25/1365.12	c current bound: 3445
1357.63/1365.76	c current bound: 3445
1358.27/1366.41	c current bound: 3445
1358.93/1367.05	c current bound: 3445
1359.56/1367.72	c current bound: 3445
1360.43/1368.35	c current bound: 3445
1360.87/1368.99	c current bound: 3445
1361.73/1369.62	c current bound: 3445
1362.14/1370.26	c current bound: 3445
1362.78/1370.90	c current bound: 3445
1363.41/1371.54	c current bound: 3445
1364.05/1372.18	c current bound: 3445
1364.93/1372.83	c current bound: 3445
1365.34/1373.47	c current bound: 3445
1365.98/1374.10	c current bound: 3445
1366.63/1374.74	c current bound: 3445
1367.26/1375.40	c current bound: 3445
1368.10/1376.04	c current bound: 3445
1368.53/1376.68	c current bound: 3445
1369.41/1377.31	c current bound: 3445
1369.80/1377.95	c current bound: 3445
1370.72/1378.60	c current bound: 3445
1371.08/1379.24	c current bound: 3445
1372.00/1380.00	c current bound: 3445
1372.58/1380.64	c current bound: 3445
1373.01/1381.27	c current bound: 3445
1373.66/1381.91	c current bound: 3445
1374.29/1382.55	c current bound: 3445
1374.93/1383.19	c current bound: 3445
1375.79/1383.83	c current bound: 3445
1376.21/1384.46	c current bound: 3445
1377.10/1385.22	c current bound: 3445
1377.49/1385.86	c current bound: 3445
1378.40/1386.50	c current bound: 3445
1379.00/1387.14	c current bound: 3445
1379.41/1387.77	c current bound: 3445
1380.03/1388.41	c current bound: 3445
1380.68/1389.06	c current bound: 3445
1381.32/1389.70	c current bound: 3445
1382.22/1390.43	c current bound: 3445
1382.60/1391.07	c current bound: 3445
1383.24/1391.71	c current bound: 3445
1383.88/1392.36	c current bound: 3445
1384.53/1393.02	c current bound: 3445
1385.39/1393.67	c current bound: 3445
1385.83/1394.32	c current bound: 3445
1386.67/1394.95	c current bound: 3445
1387.12/1395.59	c current bound: 3445
1387.75/1396.23	c current bound: 3445
1388.39/1396.86	c current bound: 3445
1389.29/1397.50	c current bound: 3445
1389.89/1398.13	c current bound: 3445
1390.31/1398.77	c current bound: 3445
1390.95/1399.41	c current bound: 3445
1391.59/1400.05	c current bound: 3445
1392.50/1400.70	c current bound: 3445
1393.09/1401.33	c current bound: 3445
1393.51/1401.97	c current bound: 3445
1394.39/1402.61	c current bound: 3445
1394.79/1403.25	c current bound: 3445
1395.43/1403.89	c current bound: 3445
1396.07/1404.53	c current bound: 3445
1396.71/1405.17	c current bound: 3445
1397.60/1405.86	c current bound: 3445
1398.25/1406.50	c current bound: 3445
1398.63/1407.14	c current bound: 3445
1399.26/1407.78	c current bound: 3445
1399.90/1408.42	c current bound: 3445
1400.75/1409.05	c current bound: 3445
1401.44/1409.70	c current bound: 3445
1402.03/1410.33	c current bound: 3445
1402.46/1410.98	c current bound: 3445
1403.11/1411.63	c current bound: 3445
1403.75/1412.26	c current bound: 3445
1404.64/1412.90	c current bound: 3445
1405.23/1413.53	c current bound: 3445
1405.65/1414.17	c current bound: 3445
1406.29/1414.81	c current bound: 3445
1406.94/1415.44	c current bound: 3445
1407.56/1416.11	c current bound: 3445
1408.40/1416.75	c current bound: 3445
1408.83/1417.38	c current bound: 3445
1409.70/1418.02	c current bound: 3445
1410.11/1418.66	c current bound: 3445
1411.01/1419.30	c current bound: 3445
1411.39/1419.93	c current bound: 3445
1412.29/1420.70	c current bound: 3445
1412.87/1421.34	c current bound: 3445
1413.30/1421.98	c current bound: 3445
1413.94/1422.63	c current bound: 3445
1414.57/1423.26	c current bound: 3445
1415.22/1423.90	c current bound: 3445
1416.08/1424.54	c current bound: 3445
1416.49/1425.18	c current bound: 3445
1417.41/1425.90	c current bound: 3445
1417.78/1426.55	c current bound: 3445
1418.44/1427.21	c current bound: 3445
1419.29/1427.84	c current bound: 3445
1419.73/1428.48	c current bound: 3445
1420.35/1429.11	c current bound: 3445
1420.99/1429.75	c current bound: 3445
1421.64/1430.40	c current bound: 3445
1422.50/1431.04	c current bound: 3445
1422.93/1431.68	c current bound: 3445
1423.79/1432.31	c current bound: 3445
1424.20/1432.95	c current bound: 3445
1424.83/1433.59	c current bound: 3445
1425.47/1434.22	c current bound: 3445
1426.11/1434.86	c current bound: 3445
1426.90/1435.50	c current bound: 3445
1427.38/1436.15	c current bound: 3445
1428.03/1436.79	c current bound: 3445
1428.66/1437.43	c current bound: 3445
1429.32/1438.07	c current bound: 3445
1430.46/1438.71	c current bound: 3445
1430.58/1439.34	c current bound: 3445
1431.40/1439.98	c current bound: 3445
1431.86/1440.62	c current bound: 3445
1432.50/1441.25	c current bound: 3445
1433.14/1441.89	c current bound: 3445
1433.78/1442.53	c current bound: 3445
1434.60/1443.16	c current bound: 3445
1435.31/1443.80	c current bound: 3445
1435.90/1444.44	c current bound: 3445
1436.32/1445.09	c current bound: 3445
1436.98/1445.73	c current bound: 3445
1437.63/1446.37	c current bound: 3445
1438.24/1447.01	c current bound: 3445
1439.11/1447.65	c current bound: 3445
1439.53/1448.28	c current bound: 3445
1440.18/1448.92	c current bound: 3445
1440.80/1449.56	c current bound: 3445
1441.44/1450.19	c current bound: 3445
1442.30/1450.83	c current bound: 3445
1442.71/1451.47	c current bound: 3445
1443.60/1452.11	c current bound: 3445
1443.99/1452.74	c current bound: 3445
1444.64/1453.38	c current bound: 3445
1445.27/1454.02	c current bound: 3445
1445.92/1454.66	c current bound: 3445
1446.70/1455.29	c current bound: 3445
1447.19/1455.93	c current bound: 3445
1447.82/1456.74	c current bound: 3445
1448.46/1457.37	c current bound: 3445
1449.10/1458.03	c current bound: 3445
1449.92/1458.67	c current bound: 3445
1450.40/1459.31	c current bound: 3445
1451.03/1459.94	c current bound: 3445
1451.67/1460.58	c current bound: 3445
1452.29/1461.25	c current bound: 3445
1453.11/1461.88	c current bound: 3445
1453.58/1462.52	c current bound: 3445
1454.41/1463.16	c current bound: 3445
1454.85/1463.79	c current bound: 3445
1455.48/1464.43	c current bound: 3445
1456.11/1465.07	c current bound: 3445
1456.74/1465.71	c current bound: 3445
1457.60/1466.37	c current bound: 3445
1458.04/1467.01	c current bound: 3445
1458.67/1467.65	c current bound: 3445
1459.31/1468.29	c current bound: 3445
1459.94/1468.94	c current bound: 3445
1460.77/1469.58	c current bound: 3445
1461.23/1470.21	c current bound: 3445
1462.07/1470.85	c current bound: 3445
1462.77/1471.50	c current bound: 3445
1463.16/1472.14	c current bound: 3445
1463.80/1472.77	c current bound: 3445
1464.42/1473.41	c current bound: 3445
1465.26/1474.04	c current bound: 3445
1465.70/1474.68	c current bound: 3445
1466.34/1475.32	c current bound: 3445
1466.97/1475.95	c current bound: 3445
1467.60/1476.59	c current bound: 3445
1468.47/1477.22	c current bound: 3445
1468.86/1477.87	c current bound: 3445
1469.77/1478.50	c current bound: 3445
1470.16/1479.14	c current bound: 3445
1470.79/1479.78	c current bound: 3445
1471.43/1480.42	c current bound: 3445
1472.07/1481.06	c current bound: 3445
1472.87/1481.69	c current bound: 3445
1473.34/1482.33	c current bound: 3445
1473.98/1482.97	c current bound: 3445
1474.62/1483.62	c current bound: 3445
1475.27/1484.26	c current bound: 3445
1475.89/1484.90	c current bound: 3445
1476.55/1485.53	c current bound: 3445
1477.37/1486.17	c current bound: 3445
1477.81/1486.81	c current bound: 3445
1478.46/1487.45	c current bound: 3445
1479.11/1488.08	c current bound: 3445
1479.74/1488.72	c current bound: 3445
1480.56/1489.36	c current bound: 3445
1481.27/1490.00	c current bound: 3445
1481.84/1490.63	c current bound: 3445
1482.27/1491.29	c current bound: 3445
1482.93/1491.93	c current bound: 3445
1483.57/1492.57	c current bound: 3445
1484.20/1493.20	c current bound: 3445
1485.05/1493.84	c current bound: 3445
1485.48/1494.48	c current bound: 3445
1486.12/1495.11	c current bound: 3445
1486.77/1495.75	c current bound: 3445
1487.39/1496.39	c current bound: 3445
1488.21/1497.06	c current bound: 3445
1488.92/1497.70	c current bound: 3445
1489.52/1498.34	c current bound: 3445
1489.93/1498.97	c current bound: 3445
1490.58/1499.61	c current bound: 3445
1491.21/1500.25	c current bound: 3445
1491.84/1500.88	c current bound: 3445
1492.74/1501.79	c current bound: 3445
1493.13/1502.42	c current bound: 3445
1493.75/1503.06	c current bound: 3445
1494.56/1503.70	c current bound: 3445
1495.04/1504.33	c current bound: 3445
1495.68/1504.97	c current bound: 3445
1496.31/1505.61	c current bound: 3445
1496.94/1506.25	c current bound: 3445
1497.59/1506.88	c current bound: 3445
1498.23/1507.52	c current bound: 3445
1499.07/1508.16	c current bound: 3445
1499.50/1508.80	c current bound: 3445
1500.14/1509.44	c current bound: 3445
1500.78/1510.08	c current bound: 3445
1501.42/1510.71	c current bound: 3445
1502.26/1511.35	c current bound: 3445
1502.70/1511.99	c current bound: 3445
1503.56/1512.62	c current bound: 3445
1503.96/1513.26	c current bound: 3445
1504.62/1513.90	c current bound: 3445
1505.25/1514.54	c current bound: 3445
1505.90/1515.18	c current bound: 3445
1506.77/1515.82	c current bound: 3445
1507.17/1516.45	c current bound: 3445
1507.81/1517.09	c current bound: 3445
1508.44/1517.73	c current bound: 3445
1509.08/1518.37	c current bound: 3445
1509.96/1519.01	c current bound: 3445
1510.36/1519.64	c current bound: 3445
1511.17/1520.28	c current bound: 3445
1511.63/1520.92	c current bound: 3445
1512.28/1521.56	c current bound: 3445
1512.90/1522.20	c current bound: 3445
1513.54/1522.83	c current bound: 3445
1514.36/1523.47	c current bound: 3445
1514.82/1524.10	c current bound: 3445
1515.66/1524.74	c current bound: 3445
1516.09/1525.38	c current bound: 3445
1516.73/1526.01	c current bound: 3445
1517.35/1526.70	c current bound: 3445
1518.00/1527.34	c current bound: 3445
1518.82/1527.98	c current bound: 3445
1519.28/1528.61	c current bound: 3445
1519.92/1529.25	c current bound: 3445
1520.55/1529.89	c current bound: 3445
1521.19/1530.52	c current bound: 3445
1522.01/1531.16	c current bound: 3445
1522.73/1531.80	c current bound: 3445
1523.32/1532.43	c current bound: 3445
1523.73/1533.07	c current bound: 3445
1524.38/1533.71	c current bound: 3445
1525.02/1534.34	c current bound: 3445
1525.65/1534.99	c current bound: 3445
1526.52/1535.62	c current bound: 3445
1526.93/1536.26	c current bound: 3445
1527.56/1536.91	c current bound: 3445
1528.21/1537.58	c current bound: 3445
1528.86/1538.22	c current bound: 3445
1529.67/1538.86	c current bound: 3445
1530.38/1539.50	c current bound: 3445
1530.98/1540.13	c current bound: 3445
1531.39/1540.77	c current bound: 3445
1532.02/1541.41	c current bound: 3445
1532.91/1542.18	c current bound: 3445
1533.30/1542.81	c current bound: 3445
1534.14/1543.45	c current bound: 3445
1534.58/1544.09	c current bound: 3445
1535.20/1544.72	c current bound: 3445
1535.84/1545.36	c current bound: 3445
1536.49/1546.00	c current bound: 3445
1537.35/1546.64	c current bound: 3445
1537.77/1547.36	c current bound: 3445
1538.40/1548.00	c current bound: 3445
1539.05/1548.64	c current bound: 3445
1539.69/1549.27	c current bound: 3445
1540.57/1549.91	c current bound: 3445
1540.96/1550.55	c current bound: 3445
1541.58/1551.19	c current bound: 3445
1542.23/1551.82	c current bound: 3445
1542.87/1552.46	c current bound: 3445
1543.49/1553.09	c current bound: 3445
1544.13/1553.73	c current bound: 3445
1544.97/1554.37	c current bound: 3445
1545.41/1555.00	c current bound: 3445
1546.05/1555.64	c current bound: 3445
1546.69/1556.28	c current bound: 3445
1547.33/1556.92	c current bound: 3445
1548.15/1557.56	c current bound: 3445
1548.62/1558.19	c current bound: 3445
1549.47/1558.83	c current bound: 3445
1549.88/1559.47	c current bound: 3445
1550.52/1560.10	c current bound: 3445
1551.16/1560.74	c current bound: 3445
1551.80/1561.38	c current bound: 3445
1552.67/1562.02	c current bound: 3445
1553.07/1562.66	c current bound: 3445
1553.71/1563.31	c current bound: 3445
1554.36/1563.94	c current bound: 3445
1554.99/1564.58	c current bound: 3445
1555.87/1565.21	c current bound: 3445
1556.26/1565.85	c current bound: 3445
1557.07/1566.49	c current bound: 3445
1557.55/1567.12	c current bound: 3445
1558.19/1567.76	c current bound: 3445
1558.81/1568.39	c current bound: 3445
1559.45/1569.03	c current bound: 3445
1560.29/1569.67	c current bound: 3445
1560.73/1570.31	c current bound: 3445
1561.58/1570.94	c current bound: 3445
1562.00/1571.58	c current bound: 3445
1562.65/1572.23	c current bound: 3445
1563.30/1572.86	c current bound: 3445
1563.96/1573.51	c current bound: 3445
1564.61/1574.15	c current bound: 3445
1565.26/1574.79	c current bound: 3445
1565.91/1575.43	c current bound: 3445
1566.58/1576.08	c current bound: 3445
1567.24/1576.72	c current bound: 3445
1567.90/1577.36	c current bound: 3445
1568.57/1578.00	c current bound: 3445
1569.22/1578.65	c current bound: 3445
1569.89/1579.29	c current bound: 3445
1570.54/1579.94	c current bound: 3445
1571.20/1580.58	c current bound: 3445
1571.86/1581.23	c current bound: 3445
1572.53/1581.88	c current bound: 3445
1573.19/1582.53	c current bound: 3445
1573.85/1583.18	c current bound: 3445
1574.79/1583.83	c current bound: 3445
1575.18/1584.48	c current bound: 3445
1575.85/1585.12	c current bound: 3445
1576.50/1585.77	c current bound: 3445
1577.16/1586.41	c current bound: 3445
1577.83/1587.06	c current bound: 3445
1578.49/1588.00	c current bound: 3445
1579.15/1588.65	c current bound: 3445
1579.81/1589.29	c current bound: 3445
1580.73/1589.94	c current bound: 3445
1581.12/1590.58	c current bound: 3445
1581.79/1591.22	c current bound: 3445
1582.44/1591.87	c current bound: 3445
1583.11/1592.51	c current bound: 3445
1583.76/1593.16	c current bound: 3445
1584.42/1593.80	c current bound: 3445
1585.08/1594.46	c current bound: 3445
1586.02/1595.10	c current bound: 3445
1586.41/1595.75	c current bound: 3445
1587.08/1596.40	c current bound: 3445
1587.73/1597.04	c current bound: 3445
1588.39/1597.68	c current bound: 3445
1589.05/1598.33	c current bound: 3445
1589.71/1598.97	c current bound: 3445
1590.37/1599.62	c current bound: 3445
1591.02/1600.26	c current bound: 3445
1591.68/1600.90	c current bound: 3445
1592.35/1601.56	c current bound: 3445
1593.02/1602.20	c current bound: 3445
1593.67/1602.97	c current bound: 3445
1594.61/1603.62	c current bound: 3445
1595.00/1604.26	c current bound: 3445
1595.65/1604.91	c current bound: 3445
1596.32/1605.57	c current bound: 3445
1597.00/1606.21	c current bound: 3445
1597.66/1606.86	c current bound: 3445
1598.32/1607.50	c current bound: 3445
1599.24/1608.22	c current bound: 3445
1599.63/1608.87	c current bound: 3445
1600.29/1609.52	c current bound: 3445
1600.94/1610.16	c current bound: 3445
1601.61/1610.82	c current bound: 3445
1602.53/1611.47	c current bound: 3445
1602.94/1612.11	c current bound: 3445
1603.86/1612.75	c current bound: 3445
1604.52/1613.42	c current bound: 3445
1604.92/1614.08	c current bound: 3445
1605.85/1614.73	c current bound: 3445
1606.25/1615.38	c current bound: 3445
1607.17/1616.02	c current bound: 3445
1607.58/1616.67	c current bound: 3445
1608.25/1617.31	c current bound: 3445
1608.89/1617.95	c current bound: 3445
1609.56/1618.62	c current bound: 3445
1610.21/1619.26	c current bound: 3445
1610.86/1619.92	c current bound: 3445
1611.81/1620.57	c current bound: 3445
1612.22/1621.21	c current bound: 3445
1613.12/1621.86	c current bound: 3445
1613.52/1622.50	c current bound: 3445
1614.43/1623.14	c current bound: 3445
1615.11/1623.84	c current bound: 3445
1615.49/1624.49	c current bound: 3445
1616.41/1625.14	c current bound: 3445
1616.81/1625.78	c current bound: 3445
1617.73/1626.42	c current bound: 3445
1618.13/1627.06	c current bound: 3445
1618.79/1627.71	c current bound: 3445
1619.44/1628.36	c current bound: 3445
1620.11/1629.00	c current bound: 3445
1621.04/1629.66	c current bound: 3445
1621.44/1630.30	c current bound: 3445
1622.35/1630.95	c current bound: 3445
1622.76/1631.59	c current bound: 3445
1623.41/1632.24	c current bound: 3445
1624.06/1632.89	c current bound: 3445
1624.74/1633.53	c current bound: 3445
1625.39/1634.17	c current bound: 3445
1626.04/1634.82	c current bound: 3445
1626.97/1635.46	c current bound: 3445
1627.64/1636.10	c current bound: 3445
1628.03/1636.75	c current bound: 3445
1628.68/1637.39	c current bound: 3445
1629.33/1638.04	c current bound: 3445
1630.20/1638.68	c current bound: 3445
1630.66/1639.33	c current bound: 3445
1631.32/1639.99	c current bound: 3445
1631.98/1640.63	c current bound: 3445
1632.64/1641.28	c current bound: 3445
1633.32/1641.93	c current bound: 3445
1633.99/1642.58	c current bound: 3445
1634.64/1643.24	c current bound: 3445
1635.31/1643.89	c current bound: 3445
1636.22/1644.53	c current bound: 3445
1636.63/1645.17	c current bound: 3445
1637.53/1645.82	c current bound: 3445
1637.95/1646.46	c current bound: 3445
1638.60/1647.11	c current bound: 3445
1639.27/1647.76	c current bound: 3445
1639.93/1648.40	c current bound: 3445
1640.59/1649.05	c current bound: 3445
1641.52/1649.71	c current bound: 3445
1642.13/1650.35	c current bound: 3445
1642.56/1650.99	c current bound: 3445
1643.22/1651.64	c current bound: 3445
1643.87/1652.28	c current bound: 3445
1644.81/1652.93	c current bound: 3445
1645.20/1653.57	c current bound: 3445
1645.86/1654.22	c current bound: 3445
1646.51/1654.88	c current bound: 3445
1647.17/1655.51	c current bound: 3445
1647.83/1656.15	c current bound: 3445
1648.49/1656.79	c current bound: 3445
1649.12/1657.42	c current bound: 3445
1649.79/1658.07	c current bound: 3445
1650.60/1658.70	c current bound: 3445
1651.09/1659.34	c current bound: 3445
1651.74/1659.98	c current bound: 3445
1652.40/1660.62	c current bound: 3445
1653.30/1661.27	c current bound: 3445
1653.72/1661.90	c current bound: 3445
1654.63/1662.54	c current bound: 3445
1655.03/1663.18	c current bound: 3445
1655.95/1663.82	c current bound: 3445
1656.35/1664.46	c current bound: 3445
1657.29/1665.10	c current bound: 3445
1657.67/1665.74	c current bound: 3445
1658.31/1666.37	c current bound: 3445
1658.96/1667.02	c current bound: 3445
1659.63/1667.65	c current bound: 3445
1660.28/1668.29	c current bound: 3445
1660.94/1668.93	c current bound: 3445
1661.59/1669.57	c current bound: 3445
1662.52/1670.32	c current bound: 3445
1662.90/1670.96	c current bound: 3445
1663.56/1671.60	c current bound: 3445
1664.22/1672.25	c current bound: 3445
1664.88/1672.88	c current bound: 3445
1665.52/1673.54	c current bound: 3445
1666.20/1674.17	c current bound: 3445
1666.86/1674.82	c current bound: 3445
1667.51/1675.45	c current bound: 3445
1668.16/1676.10	c current bound: 3445
1668.82/1676.73	c current bound: 3445
1669.48/1677.38	c current bound: 3445
1670.13/1678.01	c current bound: 3445
1671.02/1678.65	c current bound: 3445
1671.44/1679.29	c current bound: 3445
1672.34/1679.93	c current bound: 3445
1672.75/1680.56	c current bound: 3445
1673.68/1681.20	c current bound: 3445
1674.07/1681.84	c current bound: 3445
1674.97/1682.48	c current bound: 3445
1675.38/1683.12	c current bound: 3445
1676.04/1683.75	c current bound: 3445
1676.69/1684.40	c current bound: 3445
1677.35/1685.03	c current bound: 3445
1678.00/1685.67	c current bound: 3445
1678.66/1686.31	c current bound: 3445
1679.31/1686.96	c current bound: 3445
1679.96/1687.60	c current bound: 3445
1680.64/1688.24	c current bound: 3445
1681.28/1688.95	c current bound: 3445
1681.96/1689.60	c current bound: 3445
1682.62/1690.25	c current bound: 3445
1683.54/1690.88	c current bound: 3445
1683.93/1691.52	c current bound: 3445
1684.85/1692.16	c current bound: 3445
1685.52/1692.80	c current bound: 3445
1685.91/1693.44	c current bound: 3445
1686.57/1694.07	c current bound: 3445
1687.22/1694.71	c current bound: 3445
1687.89/1695.35	c current bound: 3445
1688.55/1695.99	c current bound: 3445
1689.20/1696.64	c current bound: 3445
1689.86/1697.27	c current bound: 3445
1690.51/1697.92	c current bound: 3445
1691.17/1698.56	c current bound: 3445
1692.11/1699.20	c current bound: 3445
1692.51/1699.85	c current bound: 3445
1693.17/1700.50	c current bound: 3445
1693.82/1701.20	c current bound: 3445
1694.48/1701.85	c current bound: 3445
1695.12/1702.48	c current bound: 3445
1695.79/1703.13	c current bound: 3445
1696.63/1703.76	c current bound: 3445
1697.09/1704.40	c current bound: 3445
1697.75/1705.04	c current bound: 3445
1698.41/1705.69	c current bound: 3445
1699.31/1706.33	c current bound: 3445
1699.72/1706.97	c current bound: 3445
1700.38/1707.61	c current bound: 3445
1701.04/1708.25	c current bound: 3445
1701.69/1708.88	c current bound: 3445
1702.34/1709.53	c current bound: 3445
1703.00/1710.17	c current bound: 3445
1703.65/1710.82	c current bound: 3445
1704.56/1711.46	c current bound: 3445
1705.26/1712.10	c current bound: 3445
1705.88/1712.74	c current bound: 3445
1706.30/1713.38	c current bound: 3445
1707.20/1714.01	c current bound: 3445
1707.59/1714.65	c current bound: 3445
1708.25/1715.29	c current bound: 3445
1708.91/1715.93	c current bound: 3445
1709.57/1716.57	c current bound: 3445
1710.23/1717.21	c current bound: 3445
1710.89/1717.86	c current bound: 3445
1711.83/1718.50	c current bound: 3445
1712.20/1719.15	c current bound: 3445
1712.87/1719.79	c current bound: 3445
1713.53/1720.43	c current bound: 3445
1714.18/1721.07	c current bound: 3445
1714.83/1721.71	c current bound: 3445
1715.50/1722.35	c current bound: 3445
1716.14/1722.99	c current bound: 3445
1716.80/1723.64	c current bound: 3445
1717.47/1724.27	c current bound: 3445
1718.12/1724.93	c current bound: 3445
1718.78/1725.56	c current bound: 3445
1719.44/1726.21	c current bound: 3445
1720.39/1726.97	c current bound: 3445
1720.78/1727.63	c current bound: 3445
1721.47/1728.27	c current bound: 3445
1721.82/1728.91	c current bound: 3445
1722.76/1729.57	c current bound: 3445
1723.69/1730.21	c current bound: 3445
1724.10/1730.85	c current bound: 3445
1724.75/1731.49	c current bound: 3445
1725.41/1732.13	c current bound: 3445
1726.06/1732.77	c current bound: 3445
1726.72/1733.42	c current bound: 3445
1727.65/1734.08	c current bound: 3445
1728.05/1734.72	c current bound: 3445
1728.98/1735.36	c current bound: 3445
1729.37/1736.01	c current bound: 3445
1730.29/1736.79	c current bound: 3445
1730.68/1737.43	c current bound: 3445
1731.33/1738.08	c current bound: 3445
1731.99/1738.72	c current bound: 3445
1732.64/1739.37	c current bound: 3445
1733.29/1740.02	c current bound: 3445
1733.96/1740.67	c current bound: 3445
1734.89/1741.31	c current bound: 3445
1735.28/1741.94	c current bound: 3445
1735.92/1742.58	c current bound: 3445
1736.58/1743.22	c current bound: 3445
1737.48/1743.85	c current bound: 3445
1737.88/1744.50	c current bound: 3445
1738.53/1745.14	c current bound: 3445
1739.19/1745.78	c current bound: 3445
1739.85/1746.43	c current bound: 3445
1740.49/1747.07	c current bound: 3445
1741.15/1747.70	c current bound: 3445
1741.79/1748.34	c current bound: 3445
1742.46/1748.98	c current bound: 3445
1743.35/1749.62	c current bound: 3445
1743.75/1750.26	c current bound: 3445
1744.65/1750.90	c current bound: 3445
1745.07/1751.53	c current bound: 3445
1745.99/1752.17	c current bound: 3445
1746.37/1752.81	c current bound: 3445
1747.29/1753.45	c current bound: 3445
1747.68/1754.09	c current bound: 3445
1748.33/1754.77	c current bound: 3445
1748.98/1755.41	c current bound: 3445
1749.64/1756.05	c current bound: 3445
1750.29/1756.70	c current bound: 3445
1750.95/1757.34	c current bound: 3445
1751.61/1757.98	c current bound: 3445
1752.25/1758.61	c current bound: 3445
1752.90/1759.25	c current bound: 3445
1753.56/1759.90	c current bound: 3445
1754.22/1760.53	c current bound: 3445
1754.87/1761.17	c current bound: 3445
1755.52/1761.81	c current bound: 3445
1756.43/1871.57	c current bound: 3445
1756.82/1872.21	c current bound: 3445
1757.44/1872.85	c current bound: 3445
1758.09/1873.48	c current bound: 3445
1758.73/1874.12	c current bound: 3445
1759.56/1874.75	c current bound: 3445
1760.00/1875.39	c current bound: 3445
1760.85/1876.03	c current bound: 3445
1761.26/1876.66	c current bound: 3445
1761.90/1877.30	c current bound: 3445
1762.54/1877.94	c current bound: 3445
1763.17/1878.57	c current bound: 3445
1764.07/1879.21	c current bound: 3445
1764.45/1879.85	c current bound: 3445
1765.09/1880.49	c current bound: 3445
1765.73/1881.12	c current bound: 3445
1766.37/1881.77	c current bound: 3445
1767.27/1882.40	c current bound: 3445
1767.65/1883.04	c current bound: 3445
1768.46/1883.68	c current bound: 3445
1768.92/1884.31	c current bound: 3445
1769.57/1884.95	c current bound: 3445
1770.20/1885.59	c current bound: 3445
1770.83/1886.22	c current bound: 3445
1771.65/1886.86	c current bound: 3445
1772.37/1887.50	c current bound: 3445
1772.96/1888.13	c current bound: 3445
1773.38/1888.77	c current bound: 3445
1774.02/1889.41	c current bound: 3445
1774.66/1890.05	c current bound: 3445
1775.30/1890.69	c current bound: 3445
1776.16/1891.32	c current bound: 3445
1776.57/1891.96	c current bound: 3445
1777.47/1892.60	c current bound: 3445
1777.85/1893.23	c current bound: 3445
1778.48/1893.87	c current bound: 3445
1779.38/1894.50	c current bound: 3445
1779.75/1895.14	c current bound: 3445
1780.58/1895.78	c current bound: 3445
1781.04/1896.41	c current bound: 3445
1781.67/1897.05	c current bound: 3445
1782.31/1897.69	c current bound: 3445
1782.95/1898.33	c current bound: 3445
1783.77/1898.97	c current bound: 3445
1784.23/1899.62	c current bound: 3445
1784.88/1900.02	HOME/npSolver-wbo-Itdqb.sh: line 18: 19236 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-3715813-1338241640/watcher-3715813-1338241640 -o /tmp/evaluation-result-3715813-1338241640/solver-3715813-1338241640 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715813-1338241640.wbo 1329727302 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.10 1.97 4/179 19235
/proc/meminfo: memFree=31069044/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0

[startup+0.077184 s]
/proc/loadavg: 2.07 2.10 1.97 4/179 19235
/proc/meminfo: memFree=31069044/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100222 s]
/proc/loadavg: 2.07 2.10 1.97 4/179 19235
/proc/meminfo: memFree=31069044/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300264 s]
/proc/loadavg: 2.07 2.10 1.97 4/179 19235
/proc/meminfo: memFree=31069044/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700108 s]
/proc/loadavg: 2.07 2.10 1.97 4/179 19235
/proc/meminfo: memFree=31069044/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.06 2.10 1.97 3/183 19267
/proc/meminfo: memFree=30995968/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1.39 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 6424 35276 0 0 25 3 83 28 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 28760

[startup+3.10017 s]
/proc/loadavg: 2.06 2.10 1.97 3/183 19288
/proc/meminfo: memFree=30989748/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=2.95 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 10097 74961 0 0 41 5 190 59 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 28760

[startup+6.30017 s]
/proc/loadavg: 2.06 2.10 1.97 3/183 19351
/proc/meminfo: memFree=30971372/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=6.14 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 19262 149758 0 0 79 12 402 121 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 28760

[startup+12.7002 s]
/proc/loadavg: 1.98 2.08 1.96 3/183 19483
/proc/meminfo: memFree=31041376/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=12.53 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 37592 297775 0 0 155 25 811 262 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 28760

[startup+25.5002 s]
/proc/loadavg: 1.98 2.07 1.96 3/183 19739
/proc/meminfo: memFree=31006012/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=25.29 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 74252 592101 0 0 310 49 1637 533 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 28760

[startup+51.1003 s]
/proc/loadavg: 1.91 2.05 1.96 3/183 20230
/proc/meminfo: memFree=31005608/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=50.56 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 147565 1173949 0 0 617 101 3256 1082 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 11 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 28760

[startup+102.307 s]
/proc/loadavg: 1.91 2.03 1.95 3/181 21243
/proc/meminfo: memFree=31053632/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=101.36 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 292379 2352970 0 0 1223 199 6535 2179 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
[pid=21239] ppid=19236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21239/stat : 21239 (cp2_post.sh) S 19236 19235 3996 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 290298708 9367552 266 33554432000 4194304 5064252 140736689106912 140736689105200 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21239/statm: 2287 266 225 213 0 72 0
[pid=21241] ppid=21239 vsize=10184 CPUtime=0.2 cores=1,3,5,7
/proc/21241/stat : 21241 (coprocessor) R 21239 19235 3996 0 -1 4202496 2570 0 0 0 13 7 0 0 20 0 1 0 290298708 10428416 1715 33554432000 4194304 6586260 140737388544128 140737388540696 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/21241/statm: 2546 1715 148 584 0 1958 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 48092

[startup+162.3 s]
/proc/loadavg: 2.15 2.07 1.97 3/184 22420
/proc/meminfo: memFree=31035976/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=161.41 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 464681 3745528 0 0 1948 312 10403 3478 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 161.41
Current children cumulated vsize (KiB) 28760

[startup+222.3 s]
/proc/loadavg: 2.06 2.05 1.97 3/183 23614
/proc/meminfo: memFree=31001944/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=11420 CPUtime=221.09 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) R 19235 19235 3996 0 -1 4202496 636652 5122257 0 0 2665 431 14253 4760 20 0 1 0 290288500 11694080 2214 33554432000 4194304 5990268 140733646449568 140733646441552 5042529 0 0 4096 0 0 0 0 17 3 0 0 21 0 0
/proc/19236/statm: 2855 2214 177 439 0 2412 0
Current children cumulated CPU time (s) 221.09
Current children cumulated vsize (KiB) 20568

[startup+282.3 s]
/proc/loadavg: 1.98 2.03 1.96 3/183 24783
/proc/meminfo: memFree=31001628/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=281.06 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) R 19235 19235 3996 0 -1 4202496 809276 6510949 0 0 3392 546 18122 6046 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646441552 4568336 0 0 4096 0 0 0 0 17 5 0 0 21 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 281.06
Current children cumulated vsize (KiB) 28760

[startup+342.3 s]
/proc/loadavg: 1.87 1.99 1.95 3/184 25977
/proc/meminfo: memFree=31001208/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=340.41 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 979747 7879108 0 0 4109 659 21939 7334 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 24 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 340.41

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


[startup+1438.81 s]
/proc/loadavg: 2.47 2.04 1.95 3/183 15175
/proc/meminfo: memFree=31001508/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1430.3 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4108678 33068663 0 0 17229 2752 92322 30727 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 149 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1430.3
Current children cumulated vsize (KiB) 28760
#
############


[startup+1482.3 s]
/proc/loadavg: 2.22 2.03 1.95 2/182 16006
/proc/meminfo: memFree=31032012/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1473.34 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4231496 34063872 0 0 17744 2835 95110 31645 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 166 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1473.34
Current children cumulated vsize (KiB) 28760

[startup+1542.3 s]
/proc/loadavg: 1.92 1.99 1.94 2/184 17196
/proc/meminfo: memFree=31026884/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1533.02 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4403791 35437705 0 0 18465 2952 98967 32918 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1533.02
Current children cumulated vsize (KiB) 28760

[startup+1602.3 s]
/proc/loadavg: 1.43 1.86 1.90 5/183 18376
/proc/meminfo: memFree=31008380/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1593.39 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4574260 36813958 0 0 19179 3073 102827 34260 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440976 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1593.39
Current children cumulated vsize (KiB) 28760

[startup+1662.46 s]
/proc/loadavg: 1.32 1.75 1.86 3/182 19578
/proc/meminfo: memFree=31031880/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1654.38 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4742903 38180987 0 0 19884 3203 106672 35679 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
[pid=19573] ppid=19236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19573/stat : 19573 (cp2_post.sh) S 19236 19235 3996 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 290454727 9367552 266 33554432000 4194304 5064252 140735602380016 140735602378304 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19573/statm: 2287 266 225 213 0 72 0
[pid=19575] ppid=19573 vsize=10184 CPUtime=0.17 cores=1,3,5,7
/proc/19575/stat : 19575 (coprocessor) R 19573 19235 3996 0 -1 4202496 2059 0 0 0 10 7 0 0 20 0 1 0 290454728 10428416 1715 33554432000 4194304 6586260 140734321879968 140734321876536 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/19575/statm: 2546 1715 148 584 0 1958 0
Current children cumulated CPU time (s) 1654.55
Current children cumulated vsize (KiB) 48092

[startup+1722.35 s]
/proc/loadavg: 0.48 1.43 1.74 3/183 20755
/proc/meminfo: memFree=30988176/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1715.5 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 4913372 39554882 0 0 20599 3334 110501 37116 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
Current children cumulated CPU time (s) 1715.5
Current children cumulated vsize (KiB) 28760

[startup+1871.57 s]
/proc/loadavg: 0.90 1.42 1.72 2/181 21492
/proc/meminfo: memFree=31044684/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1756.18 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 5027018 40470303 0 0 21077 3418 113073 38050 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
[pid=21489] ppid=19236 vsize=9148 CPUtime=0.25 cores=1,3,5,7
/proc/21489/stat : 21489 (cp2_post.sh) S 19236 19235 3996 0 -1 4202496 635 2437 0 0 0 0 16 9 20 0 1 0 290464718 9367552 269 33554432000 4194304 5064252 140734131561392 140734131560304 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21489/statm: 2287 269 228 213 0 72 0
[pid=21492] ppid=21489 vsize=16692 CPUtime=0 cores=1,3,5,7
/proc/21492/stat : 21492 (mv) D 21489 19235 3996 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 290464744 17092608 185 33554432000 4194304 4296580 140735468563808 140735468562040 212072807767 0 0 4096 0 18446744072099229941 0 0 17 1 0 0 0 0 0
/proc/21492/statm: 4173 185 154 25 0 73 0
Current children cumulated CPU time (s) 1756.43
Current children cumulated vsize (KiB) 54600

[startup+1871.6 s]
/proc/loadavg: 0.90 1.42 1.72 2/181 21492
/proc/meminfo: memFree=31044684/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=7324 CPUtime=1756.48 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) R 19235 19235 3996 0 -1 4202496 5028204 40474156 0 0 21079 3418 113090 38061 20 0 1 0 290288500 7499776 1387 33554432000 4194304 5990268 140733646449568 140733646441552 5042529 0 0 4096 0 0 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 1831 1387 177 439 0 1388 0
Current children cumulated CPU time (s) 1756.48
Current children cumulated vsize (KiB) 16472



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 3.49 2.64 2.15 3/184 21936
/proc/meminfo: memFree=30996336/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1784.87 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 5109503 41135062 0 0 21420 3475 114937 38655 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
[pid=21934] ppid=19236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21934/stat : 21934 (cp2_post.sh) S 19236 19235 3996 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 290478499 9367552 266 33554432000 4194304 5064252 140735590125456 140735590123744 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21934/statm: 2287 266 225 213 0 72 0
[pid=21935] ppid=21934 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/21935/stat : 21935 (cat) R 21934 19235 3996 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 290478499 4100096 121 33554432000 4194304 4236627 140735710846032 140735710845128 212073268704 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21935/statm: 1001 121 96 11 0 67 0
[pid=21936] ppid=21934 vsize=6612 CPUtime=0.01 cores=1,3,5,7
/proc/21936/stat : 21936 (coprocessor) R 21934 19235 3996 0 -1 4202496 832 0 0 0 1 0 0 0 20 0 1 0 290478499 6770688 1159 33554432000 4194304 6586260 140735008283376 140735590123768 5468392 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/21936/statm: 1653 1160 148 584 0 1065 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 48524

Sending SIGTERM to process tree (bottom up)

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

[startup+1900 s]
/proc/loadavg: 3.49 2.64 2.15 3/184 21936
/proc/meminfo: memFree=30996336/32873648 swapFree=6612/6612
[pid=19235] ppid=19233 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (npSolver-wbo-It) S 19233 19235 3996 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 290288499 9367552 275 33554432000 4194304 5064252 140733480261616 140733480260528 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 2287 275 233 213 0 72 0
[pid=19236] ppid=19235 vsize=19612 CPUtime=1784.87 cores=1,3,5,7
/proc/19236/stat : 19236 (npSolver-wbo) S 19235 19235 3996 0 -1 4202496 5109503 41135062 0 0 21420 3475 114937 38655 20 0 1 0 290288500 20082688 4069 33554432000 4194304 5990268 140733646449568 140733646440464 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 173 0 0
/proc/19236/statm: 4903 4069 177 439 0 4460 0
[pid=21934] ppid=19236 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21934/stat : 21934 (cp2_post.sh) S 19236 19235 3996 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 290478499 9367552 266 33554432000 4194304 5064252 140735590125456 140735590123744 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21934/statm: 2287 266 225 213 0 72 0
[pid=21935] ppid=21934 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/21935/stat : 21935 (cat) R 21934 19235 3996 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 290478499 4100096 121 33554432000 4194304 4236627 140735710846032 140735710845128 212073268704 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21935/statm: 1001 121 96 11 0 67 0
[pid=21936] ppid=21934 vsize=6612 CPUtime=0.01 cores=1,3,5,7
/proc/21936/stat : 21936 (coprocessor) R 21934 19235 3996 0 -1 4202496 832 0 0 0 1 0 0 0 20 0 1 0 290478499 6770688 1159 33554432000 4194304 6586260 140735008283376 140735590123768 5468392 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/21936/statm: 1653 1160 148 584 0 1065 0
Current children cumulated CPU time (s) 1784.88
Current children cumulated vsize (KiB) 48524

Child status: 0

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

Real time (s): 1900.02
CPU time (s): 1785.54
CPU user time (s): 1363.99
CPU system time (s): 421.556
CPU usage (%): 93.9749
Max. virtual memory (cumulated for all children) (KiB): 86564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1363.59
system time used= 421.316
maximum resident set size= 44188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46246589
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38193504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 794903
involuntary context switches= 37006

runsolver used 2.94155 second user time and 7.53785 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-28 23:47:20
IDJOB=3715813
IDBENCH=79401
IDSOLVER=2297
FILE ID=node148/3715813-1338241640
RUNJOBID= node148-1338239740-5119
PBS_JOBID= 14624655
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= 415715e3de5713a6aca23e12a1a413cb
RANDOM SEED=1329727302

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
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.90
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		: 2667.284
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31069564 kB
Buffers:          451620 kB
Cached:           442180 kB
SwapCached:          576 kB
Active:           646176 kB
Inactive:         285496 kB
Active(anon):      27068 kB
Inactive(anon):    11140 kB
Active(file):     619108 kB
Inactive(file):   274356 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:             15444 kB
Writeback:             0 kB
AnonPages:        117504 kB
Mapped:            11820 kB
Shmem:                96 kB
Slab:             732704 kB
SReclaimable:     175508 kB
SUnreclaim:       557196 kB
KernelStack:        1528 kB
PageTables:         4296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     153220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 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 node148 at 2012-05-29 00:19:00