Trace number 3752999

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.11 1814.01

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-blast-tlan2.ucl--soft-33-100-0.wbo
MD5SUM5f8009069df980e2f8c5fa5b8614d35c
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.075988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2221
Total number of constraints3050
Number of soft constraints2040
Number of constraints which are clauses2330
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints720
Minimum length of a constraint1
Maximum length of a constraint19
Top cost 104315
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 104314
Biggest number in a constraint 641
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2174
Number of bits of the biggest sum of numbers12
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.10	c run usual solver
0.00/0.62	o 1230
0.00/0.62	c starting approximation
0.00/0.62	c factor = 2
0.00/0.62	c factor still to low - shrinking to 15.0552
0.00/0.62	c approx number of clauses: 1e+06
0.00/0.62	c current bound: 615
1.17/1.24	c current bound: 615
1.54/1.84	c current bound: 615
2.14/2.45	c current bound: 615
2.74/3.05	c current bound: 615
3.36/4.25	c current bound: 615
3.96/4.86	c current bound: 615
4.57/5.46	c current bound: 615
5.38/6.07	c current bound: 615
5.77/6.67	c current bound: 615
6.59/7.28	c current bound: 615
6.99/7.89	c current bound: 615
7.89/8.50	c current bound: 615
8.21/9.11	c current bound: 615
8.82/9.71	c current bound: 615
9.43/10.31	c current bound: 615
10.02/10.92	c current bound: 615
10.89/11.53	c current bound: 615
11.24/12.13	c current bound: 615
12.10/12.74	c current bound: 615
12.46/13.38	c current bound: 615
13.07/13.98	c current bound: 615
13.68/14.59	c current bound: 615
14.29/15.21	c current bound: 615
14.90/15.81	c current bound: 615
15.50/16.42	c current bound: 615
16.35/17.02	c current bound: 615
16.72/17.63	c current bound: 615
17.57/18.23	c current bound: 615
17.93/18.83	c current bound: 615
18.75/19.45	c current bound: 615
19.17/20.06	c current bound: 615
19.76/20.66	c current bound: 615
20.37/21.27	c current bound: 615
20.98/21.87	c current bound: 615
21.58/22.47	c current bound: 615
22.19/23.08	c current bound: 615
23.06/23.80	c current bound: 615
23.39/24.41	c current bound: 615
24.00/25.01	c current bound: 615
24.60/25.61	c current bound: 615
25.22/26.23	c current bound: 615
25.82/26.83	c current bound: 615
26.43/27.43	c current bound: 615
27.27/28.03	c current bound: 615
27.63/28.64	c current bound: 615
28.49/29.31	c current bound: 615
28.84/29.91	c current bound: 615
29.45/30.52	c current bound: 615
30.06/31.12	c current bound: 615
30.66/31.73	c current bound: 615
31.27/32.35	c current bound: 615
32.16/33.02	c current bound: 615
32.74/33.63	c current bound: 615
33.09/34.23	c current bound: 615
33.94/34.84	c current bound: 615
34.31/35.44	c current bound: 615
34.91/36.05	c current bound: 615
35.52/36.65	c current bound: 615
36.12/37.26	c current bound: 615
36.72/37.86	c current bound: 615
37.33/38.47	c current bound: 615
38.14/39.07	c current bound: 615
38.54/39.69	c current bound: 615
39.34/40.29	c current bound: 615
39.76/40.89	c current bound: 615
40.63/41.50	c current bound: 615
40.97/42.10	c current bound: 615
41.57/42.71	c current bound: 615
42.18/43.31	c current bound: 615
42.77/44.05	c current bound: 615
43.61/44.66	c current bound: 615
44.01/45.26	c current bound: 615
44.81/45.87	c current bound: 615
45.20/46.48	c current bound: 615
45.82/47.08	c current bound: 615
46.42/47.69	c current bound: 615
47.03/48.29	c current bound: 615
47.63/48.90	c current bound: 615
48.25/49.55	c current bound: 615
49.08/50.15	c current bound: 615
49.45/50.75	c current bound: 615
50.26/51.36	c current bound: 615
50.66/51.96	c current bound: 615
51.27/52.56	c current bound: 615
51.88/53.17	c current bound: 615
52.48/53.78	c current bound: 615
53.09/54.39	c current bound: 615
53.70/54.99	c current bound: 615
54.48/55.60	c current bound: 615
54.91/56.20	c current bound: 615
55.78/56.81	c current bound: 615
56.13/57.42	c current bound: 615
56.73/58.02	c current bound: 615
57.33/58.63	c current bound: 615
58.23/59.40	c current bound: 615
58.83/60.01	c current bound: 615
59.16/60.61	c current bound: 615
60.02/61.22	c current bound: 615
60.37/61.82	c current bound: 615
60.97/62.43	c current bound: 615
61.58/63.03	c current bound: 615
62.20/63.64	c current bound: 615
63.08/64.44	c current bound: 615
63.40/65.04	c current bound: 615
64.22/65.65	c current bound: 615
64.61/66.25	c current bound: 615
65.21/66.86	c current bound: 615
65.82/67.46	c current bound: 615
66.44/68.07	c current bound: 615
67.04/68.68	c current bound: 615
67.94/69.42	c current bound: 615
68.50/70.03	c current bound: 615
68.85/70.63	c current bound: 615
69.47/71.24	c current bound: 615
70.07/71.84	c current bound: 615
70.67/72.44	c current bound: 615
71.27/73.05	c current bound: 615
71.90/73.65	c current bound: 615
72.71/74.26	c current bound: 615
73.09/74.92	c current bound: 615
73.94/75.53	c current bound: 615
74.30/76.13	c current bound: 615
74.90/76.74	c current bound: 615
75.52/77.34	c current bound: 615
76.12/77.95	c current bound: 615
76.73/78.56	c current bound: 615
77.33/79.16	c current bound: 615
78.15/79.77	c current bound: 615
78.55/80.38	c current bound: 615
79.35/80.99	c current bound: 615
79.77/81.59	c current bound: 615
80.36/82.19	c current bound: 615
81.25/82.80	c current bound: 615
81.59/83.41	c current bound: 615
82.18/84.01	c current bound: 615
82.80/84.92	c current bound: 615
83.40/85.52	c current bound: 615
84.01/86.13	c current bound: 615
84.61/86.73	c current bound: 615
85.22/87.34	c current bound: 615
85.83/87.94	c current bound: 615
86.65/88.55	c current bound: 615
87.03/89.15	c current bound: 615
87.91/89.91	c current bound: 615
88.25/90.52	c current bound: 615
88.86/91.12	c current bound: 615
89.46/91.73	c current bound: 615
90.07/92.34	c current bound: 615
90.91/92.95	c current bound: 615
91.29/93.55	c current bound: 615
92.10/94.16	c current bound: 615
92.49/94.91	c current bound: 615
93.11/95.51	c current bound: 615
93.71/96.12	c current bound: 615
94.32/96.73	c current bound: 615
95.19/97.33	c current bound: 615
95.54/97.94	c current bound: 615
96.37/98.54	c current bound: 615
96.74/99.15	c current bound: 615
97.64/99.91	c current bound: 615
97.97/100.51	c current bound: 615
98.57/101.11	c current bound: 615
99.44/101.72	c current bound: 615
99.77/102.32	c current bound: 615
100.67/103.03	c current bound: 615
101.00/103.64	c current bound: 615
101.60/104.24	c current bound: 615
102.20/104.85	c current bound: 615
102.81/105.53	c current bound: 615
103.67/106.13	c current bound: 615
104.04/106.74	c current bound: 615
104.88/107.34	c current bound: 615
105.26/107.95	c current bound: 615
106.07/108.55	c current bound: 615
106.47/109.16	c current bound: 615
107.07/109.77	c current bound: 615
107.69/110.38	c current bound: 615
108.29/110.98	c current bound: 615
108.91/111.59	c current bound: 615
109.50/112.19	c current bound: 615
110.30/112.80	c current bound: 615
110.73/113.41	c current bound: 615
111.60/114.01	c current bound: 615
111.95/114.62	c current bound: 615
112.55/115.37	c current bound: 615
113.16/115.97	c current bound: 615
113.77/116.58	c current bound: 615
114.57/117.19	c current bound: 615
114.98/117.79	c current bound: 615
115.88/118.40	c current bound: 615
116.20/119.00	c current bound: 615
116.81/119.61	c current bound: 615
117.71/120.38	c current bound: 615
118.02/120.99	c current bound: 615
118.82/121.60	c current bound: 615
119.24/122.20	c current bound: 615
120.10/122.81	c current bound: 615
120.45/123.42	c current bound: 615
121.07/124.02	c current bound: 615
121.67/124.63	c current bound: 615
122.28/125.23	c current bound: 615
122.90/125.85	c current bound: 615
123.50/126.45	c current bound: 615
124.33/127.06	c current bound: 615
124.71/127.66	c current bound: 615
125.53/128.27	c current bound: 615
125.92/128.87	c current bound: 615
126.74/129.48	c current bound: 615
127.14/130.09	c current bound: 615
128.04/130.84	c current bound: 615
128.59/131.45	c current bound: 615
128.98/132.05	c current bound: 615
129.79/132.66	c current bound: 615
130.17/133.26	c current bound: 615
130.99/133.87	c current bound: 615
131.39/134.47	c current bound: 615
132.00/135.08	c current bound: 615
132.60/135.68	c current bound: 615
133.22/136.34	c current bound: 615
134.05/136.95	c current bound: 615
134.43/137.56	c current bound: 615
135.26/138.17	c current bound: 615
135.65/138.77	c current bound: 615
136.45/139.38	c current bound: 615
136.87/139.98	c current bound: 615
137.49/140.59	c current bound: 615
138.09/141.20	c current bound: 615
138.97/141.80	c current bound: 615
139.57/142.41	c current bound: 615
139.91/143.01	c current bound: 615
140.76/143.62	c current bound: 615
141.11/144.22	c current bound: 615
141.97/144.83	c current bound: 615
142.34/145.43	c current bound: 615
142.93/146.18	c current bound: 615
143.54/146.79	c current bound: 615
144.44/147.40	c current bound: 615
145.05/148.00	c current bound: 615
145.37/148.61	c current bound: 615
146.22/149.21	c current bound: 615
146.58/149.82	c current bound: 615
147.18/150.43	c current bound: 615
148.08/151.25	c current bound: 615
148.41/151.85	c current bound: 615
149.22/152.45	c current bound: 615
149.62/153.06	c current bound: 615
150.42/153.66	c current bound: 615
150.83/154.27	c current bound: 615
151.43/154.87	c current bound: 615
152.04/155.48	c current bound: 615
152.65/156.08	c current bound: 615
153.51/156.73	c current bound: 615
153.86/157.33	c current bound: 615
154.71/157.93	c current bound: 615
155.07/158.54	c current bound: 615
155.91/159.15	c current bound: 615
156.29/159.76	c current bound: 615
156.90/160.37	c current bound: 615
157.51/160.98	c current bound: 615
158.13/161.59	c current bound: 615
158.74/162.19	c current bound: 615
159.63/162.80	c current bound: 615
160.12/163.40	c current bound: 615
160.56/164.01	c current bound: 615
161.42/164.61	c current bound: 615
161.77/165.22	c current bound: 615
162.38/165.82	c current bound: 615
163.27/166.59	c current bound: 615
163.88/167.20	c current bound: 615
164.37/167.80	c current bound: 615
164.81/168.41	c current bound: 615
165.68/169.02	c current bound: 615
166.02/169.62	c current bound: 615
166.62/170.23	c current bound: 615
167.23/170.83	c current bound: 615
168.13/171.61	c current bound: 615
168.72/172.21	c current bound: 615
169.05/172.82	c current bound: 615
169.91/173.43	c current bound: 615
170.27/174.03	c current bound: 615
170.88/174.64	c current bound: 615
171.48/175.24	c current bound: 615
172.10/175.85	c current bound: 615
172.98/176.62	c current bound: 615
173.31/177.23	c current bound: 615
174.16/177.84	c current bound: 615
174.54/178.44	c current bound: 615
175.15/179.05	c current bound: 615
175.76/179.66	c current bound: 615
176.35/180.26	c current bound: 615
176.97/180.87	c current bound: 615
177.86/181.64	c current bound: 615
178.41/182.25	c current bound: 615
178.80/182.85	c current bound: 615
179.40/183.46	c current bound: 615
180.01/184.07	c current bound: 615
180.60/184.67	c current bound: 615
181.22/185.29	c current bound: 615
181.84/185.89	c current bound: 615
182.72/186.65	c current bound: 615
183.05/187.25	c current bound: 615
183.65/187.86	c current bound: 615
184.26/188.46	c current bound: 615
184.87/189.07	c current bound: 615
185.47/189.67	c current bound: 615
186.08/190.28	c current bound: 615
186.88/190.88	c current bound: 615
187.29/191.49	c current bound: 615
188.08/192.09	c current bound: 615
188.49/192.71	c current bound: 615
189.11/193.32	c current bound: 615
189.72/193.92	c current bound: 615
190.32/194.52	c current bound: 615
190.95/195.13	c current bound: 615
191.54/195.73	c current bound: 615
192.38/196.33	c current bound: 615
192.74/196.94	c current bound: 615
193.57/197.54	c current bound: 615
193.94/198.15	c current bound: 615
194.78/198.75	c current bound: 615
195.16/199.36	c current bound: 615
195.77/199.96	c current bound: 615
196.37/200.57	c current bound: 615
196.97/201.17	c current bound: 615
197.86/201.91	c current bound: 615
198.19/202.52	c current bound: 615
199.02/203.12	c current bound: 615
199.39/203.73	c current bound: 615
200.00/204.33	c current bound: 615
200.61/204.93	c current bound: 615
201.22/205.54	c current bound: 615
201.82/206.14	c current bound: 615
202.43/206.75	c current bound: 615
203.31/207.40	c current bound: 615
203.63/208.01	c current bound: 615
204.49/208.61	c current bound: 615
204.85/209.22	c current bound: 615
205.46/209.82	c current bound: 615
206.06/210.42	c current bound: 615
206.67/211.03	c current bound: 615
207.27/211.63	c current bound: 615
207.88/212.23	c current bound: 615
208.72/212.84	c current bound: 615
209.09/213.44	c current bound: 615
209.92/214.05	c current bound: 615
210.31/214.66	c current bound: 615
211.12/215.26	c current bound: 615
211.52/215.86	c current bound: 615
212.13/216.47	c current bound: 615
213.02/217.23	c current bound: 615
213.35/217.83	c current bound: 615
214.18/218.44	c current bound: 615
214.55/219.04	c current bound: 615
215.38/219.64	c current bound: 615
215.77/220.25	c current bound: 615
216.38/220.86	c current bound: 615
216.98/221.46	c current bound: 615
217.59/222.07	c current bound: 615
218.20/222.67	c current bound: 615
218.79/223.28	c current bound: 615
219.61/223.88	c current bound: 615
220.01/224.49	c current bound: 615
220.81/225.09	c current bound: 615
221.51/225.70	c current bound: 615
222.12/226.30	c current bound: 615
222.44/226.91	c current bound: 615
223.05/227.51	c current bound: 615
223.65/228.11	c current bound: 615
224.26/228.72	c current bound: 615
225.13/229.33	c current bound: 615
225.47/229.93	c current bound: 615
226.31/230.54	c current bound: 615
226.68/231.14	c current bound: 615
227.51/231.75	c current bound: 615
228.18/232.40	c current bound: 615
228.50/233.01	c current bound: 615
229.12/233.61	c current bound: 615
229.71/234.22	c current bound: 615
230.58/234.82	c current bound: 615
230.92/235.43	c current bound: 615
231.78/236.03	c current bound: 615
232.13/236.63	c current bound: 615
232.96/237.25	c current bound: 615
233.35/237.92	c current bound: 615
233.94/238.52	c current bound: 615
234.56/239.13	c current bound: 615
235.16/239.73	c current bound: 615
236.01/240.33	c current bound: 615
236.36/240.94	c current bound: 615
237.21/241.55	c current bound: 615
237.59/242.16	c current bound: 615
238.41/242.76	c current bound: 615
238.80/243.36	c current bound: 615
239.41/243.97	c current bound: 615
240.01/244.57	c current bound: 615
240.61/245.18	c current bound: 615
241.22/245.78	c current bound: 615
241.83/246.39	c current bound: 615
242.61/247.00	c current bound: 615
243.05/247.74	c current bound: 615
243.64/248.35	c current bound: 615
244.25/248.95	c current bound: 615
244.86/249.56	c current bound: 615
245.46/250.16	c current bound: 615
246.08/250.76	c current bound: 615
246.88/251.37	c current bound: 615
247.29/251.97	c current bound: 615
248.11/252.57	c current bound: 615
248.50/253.23	c current bound: 615
249.11/253.84	c current bound: 615
249.71/254.44	c current bound: 615
250.33/255.04	c current bound: 615
250.92/255.65	c current bound: 615
251.54/256.26	c current bound: 615
252.37/256.86	c current bound: 615
252.74/257.46	c current bound: 615
253.56/258.07	c current bound: 615
253.95/258.68	c current bound: 615
254.58/259.28	c current bound: 615
255.18/259.89	c current bound: 615
255.79/260.49	c current bound: 615
256.67/261.10	c current bound: 615
257.28/261.70	c current bound: 615
257.87/262.30	c current bound: 615
258.21/263.09	c current bound: 615
259.10/263.70	c current bound: 615
259.42/264.31	c current bound: 615
260.02/264.91	c current bound: 615
260.63/265.51	c current bound: 615
261.24/266.12	c current bound: 615
262.09/266.73	c current bound: 615
262.45/267.33	c current bound: 615
263.32/268.09	c current bound: 615
263.66/268.69	c current bound: 615
264.55/269.30	c current bound: 615
264.87/269.91	c current bound: 615
265.48/270.51	c current bound: 615
266.35/271.12	c current bound: 615
266.69/271.72	c current bound: 615
267.55/272.33	c current bound: 615
267.91/273.15	c current bound: 615
268.53/273.75	c current bound: 615
269.14/274.36	c current bound: 615
269.73/274.96	c current bound: 615
270.55/275.56	c current bound: 615
270.94/276.17	c current bound: 615
271.76/276.77	c current bound: 615
272.16/277.37	c current bound: 615
273.03/278.15	c current bound: 615
273.38/278.75	c current bound: 615
273.98/279.36	c current bound: 615
274.80/279.96	c current bound: 615
275.19/280.57	c current bound: 615
276.01/281.17	c current bound: 615
276.40/281.77	c current bound: 615
277.18/282.38	c current bound: 615
277.88/283.14	c current bound: 615
278.20/283.74	c current bound: 615
279.02/284.35	c current bound: 615
279.41/284.95	c current bound: 615
280.23/285.55	c current bound: 615
280.62/286.16	c current bound: 615
281.43/286.76	c current bound: 615
281.83/287.37	c current bound: 615
282.44/287.97	c current bound: 615
283.04/288.57	c current bound: 615
283.64/289.18	c current bound: 615
284.25/289.78	c current bound: 615
284.86/290.39	c current bound: 615
285.65/290.99	c current bound: 615
286.06/291.59	c current bound: 615
286.84/292.19	c current bound: 615
287.55/292.80	c current bound: 615
287.87/293.40	c current bound: 615
288.47/294.00	c current bound: 615
289.08/294.61	c current bound: 615
289.68/295.21	c current bound: 615
290.29/295.82	c current bound: 615
291.14/296.44	c current bound: 615
291.51/297.04	c current bound: 615
292.35/297.65	c current bound: 615
292.73/298.41	c current bound: 615
293.34/299.01	c current bound: 615
293.93/299.62	c current bound: 615
294.54/300.22	c current bound: 615
295.40/300.83	c current bound: 615
295.75/301.43	c current bound: 615
296.60/302.03	c current bound: 615
296.97/302.64	c current bound: 615
297.79/303.24	c current bound: 615
298.17/303.92	c current bound: 615
298.79/304.52	c current bound: 615
299.38/305.13	c current bound: 615
299.99/305.73	c current bound: 615
300.83/306.33	c current bound: 615
301.19/306.94	c current bound: 615
302.04/307.54	c current bound: 615
302.40/308.14	c current bound: 615
303.23/308.75	c current bound: 615
303.61/309.35	c current bound: 615
304.21/309.97	c current bound: 615
304.84/310.58	c current bound: 615
305.43/311.18	c current bound: 615
306.05/311.79	c current bound: 615
306.65/312.39	c current bound: 615
307.42/313.00	c current bound: 615
307.86/313.79	c current bound: 615
308.47/314.39	c current bound: 615
309.09/315.00	c current bound: 615
309.97/315.60	c current bound: 615
310.56/316.21	c current bound: 615
310.89/316.81	c current bound: 615
311.75/317.43	c current bound: 615
312.12/318.04	c current bound: 615
312.99/318.97	c current bound: 615
313.53/319.57	c current bound: 615
313.94/320.17	c current bound: 615
314.74/320.78	c current bound: 615
315.45/321.40	c current bound: 615
315.76/322.00	c current bound: 615
316.36/322.61	c current bound: 615
316.97/323.23	c current bound: 615
317.85/323.96	c current bound: 615
318.20/324.57	c current bound: 615
319.00/325.17	c current bound: 615
319.41/325.78	c current bound: 615
320.00/326.38	c current bound: 615
320.61/326.98	c current bound: 615
321.22/327.59	c current bound: 615
321.82/328.19	c current bound: 615
322.71/328.80	c current bound: 615
323.25/329.46	c current bound: 615
323.64/330.07	c current bound: 615
324.46/330.67	c current bound: 615
324.86/331.28	c current bound: 615
325.47/331.88	c current bound: 615
326.06/332.49	c current bound: 615
326.66/333.09	c current bound: 615
327.26/333.69	c current bound: 615
328.17/334.30	c current bound: 615
328.48/334.90	c current bound: 615
329.09/335.51	c current bound: 615
329.95/336.11	c current bound: 615
330.30/336.72	c current bound: 615
331.15/337.33	c current bound: 615
331.79/338.06	c current bound: 615
332.12/338.66	c current bound: 615
332.72/339.27	c current bound: 615
333.33/339.87	c current bound: 615
334.15/340.47	c current bound: 615
334.54/341.08	c current bound: 615
335.35/341.68	c current bound: 615
335.75/342.28	c current bound: 615
336.35/342.89	c current bound: 615
336.96/343.49	c current bound: 615
337.85/344.23	c current bound: 615
338.41/344.83	c current bound: 615
338.77/345.44	c current bound: 615
339.62/346.04	c current bound: 615
339.99/346.65	c current bound: 615
340.82/347.25	c current bound: 615
341.20/347.85	c current bound: 615
341.81/348.46	c current bound: 615
342.42/349.07	c current bound: 615
343.02/349.72	c current bound: 615
343.88/350.32	c current bound: 615
344.24/350.93	c current bound: 615
345.08/351.53	c current bound: 615
345.45/352.14	c current bound: 615
346.27/352.74	c current bound: 615
346.66/353.34	c current bound: 615
347.26/353.95	c current bound: 615
347.87/354.55	c current bound: 615
348.47/355.16	c current bound: 615
349.07/355.76	c current bound: 615
349.68/356.36	c current bound: 615
350.49/356.97	c current bound: 615
350.89/357.57	c current bound: 615
351.68/358.18	c current bound: 615
352.10/358.78	c current bound: 615
352.69/359.39	c current bound: 615
353.31/359.99	c current bound: 615
354.20/360.60	c current bound: 615
354.80/361.20	c current bound: 615
355.13/361.80	c current bound: 615
355.72/362.41	c current bound: 615
356.33/363.01	c current bound: 615
357.19/363.61	c current bound: 615
357.53/364.22	c current bound: 615
358.39/364.83	c current bound: 615
358.76/365.43	c current bound: 615
359.36/366.04	c current bound: 615
359.96/366.64	c current bound: 615
360.57/367.24	c current bound: 615
361.18/367.85	c current bound: 615
361.78/368.46	c current bound: 615
362.60/369.06	c current bound: 615
363.01/369.83	c current bound: 615
363.60/370.44	c current bound: 615
364.21/371.04	c current bound: 615
364.81/371.65	c current bound: 615
365.42/372.25	c current bound: 615
366.03/372.87	c current bound: 615
366.84/373.49	c current bound: 615
367.26/374.09	c current bound: 615
368.14/374.85	c current bound: 615
368.46/375.45	c current bound: 615
369.06/376.05	c current bound: 615
369.67/376.65	c current bound: 615
370.27/377.26	c current bound: 615
371.11/377.86	c current bound: 615
371.49/378.46	c current bound: 615
372.31/379.07	c current bound: 615
372.70/379.68	c current bound: 615
373.32/380.29	c current bound: 615
374.21/380.90	c current bound: 615
374.81/381.50	c current bound: 615
375.13/382.10	c current bound: 615
375.73/382.71	c current bound: 615
376.59/383.31	c current bound: 615
376.95/383.92	c current bound: 615
377.81/384.52	c current bound: 615
378.15/385.12	c current bound: 615
379.00/385.73	c current bound: 615
379.37/386.33	c current bound: 615
379.97/386.94	c current bound: 615
380.58/387.55	c current bound: 615
381.20/388.15	c current bound: 615
381.80/388.76	c current bound: 615
382.41/389.36	c current bound: 615
383.30/390.10	c current bound: 615
383.62/390.70	c current bound: 615
384.22/391.31	c current bound: 615
384.83/391.92	c current bound: 615
385.44/392.53	c current bound: 615
386.05/393.13	c current bound: 615
386.65/393.74	c current bound: 615
387.50/394.35	c current bound: 615
387.87/394.95	c current bound: 615
388.48/395.75	c current bound: 615
389.08/396.35	c current bound: 615
389.69/396.95	c current bound: 615
390.29/397.56	c current bound: 615
390.89/398.16	c current bound: 615
391.71/398.76	c current bound: 615
392.10/399.36	c current bound: 615
392.91/399.97	c current bound: 615
393.31/400.64	c current bound: 615
393.92/401.24	c current bound: 615
394.51/401.84	c current bound: 615
395.12/402.45	c current bound: 615
395.71/403.05	c current bound: 615
396.33/403.65	c current bound: 615
397.16/404.26	c current bound: 615
397.55/404.86	c current bound: 615
398.38/405.46	c current bound: 615
398.76/406.07	c current bound: 615
399.57/406.67	c current bound: 615
399.97/407.28	c current bound: 615
400.58/407.88	c current bound: 615
401.18/408.48	c current bound: 615
401.79/409.09	c current bound: 615
402.38/409.69	c current bound: 615
403.00/410.48	c current bound: 615
403.61/411.08	c current bound: 615
404.20/411.68	c current bound: 615
404.81/412.29	c current bound: 615
405.41/412.89	c current bound: 615
406.30/413.50	c current bound: 615
406.62/414.10	c current bound: 615
407.50/414.70	c current bound: 615
408.08/415.49	c current bound: 615
408.73/416.10	c current bound: 615
409.04/416.70	c current bound: 615
409.65/417.31	c current bound: 615
410.26/417.91	c current bound: 615
411.11/418.52	c current bound: 615
411.46/419.12	c current bound: 615
412.31/419.72	c current bound: 615
412.95/420.47	c current bound: 615
413.28/421.07	c current bound: 615
413.87/421.68	c current bound: 615
414.48/422.28	c current bound: 615
415.07/422.88	c current bound: 615
415.68/423.49	c current bound: 615
416.47/424.09	c current bound: 615
416.89/424.69	c current bound: 615
417.67/425.29	c current bound: 615
418.11/425.94	c current bound: 615
418.71/426.54	c current bound: 615
419.32/427.15	c current bound: 615
419.91/427.75	c current bound: 615
420.52/428.36	c current bound: 615
421.12/428.96	c current bound: 615
421.95/429.57	c current bound: 615
422.35/430.17	c current bound: 615
423.14/430.78	c current bound: 615
423.55/431.38	c current bound: 615
424.46/432.00	c current bound: 615
424.79/432.61	c current bound: 615
425.39/433.21	c current bound: 615
426.00/433.82	c current bound: 615
426.62/434.42	c current bound: 615
427.46/435.03	c current bound: 615
427.82/435.77	c current bound: 615
428.62/436.38	c current bound: 615
429.04/436.98	c current bound: 615
429.64/437.59	c current bound: 615
430.52/438.20	c current bound: 615
431.14/438.80	c current bound: 615
431.74/439.40	c current bound: 615
432.06/440.00	c current bound: 615
432.97/440.75	c current bound: 615
433.28/441.36	c current bound: 615
433.90/441.96	c current bound: 615
434.51/442.58	c current bound: 615
435.13/443.19	c current bound: 615
435.73/443.79	c current bound: 615
436.35/444.40	c current bound: 615
437.26/445.01	c current bound: 615
437.56/445.61	c current bound: 615
438.43/446.21	c current bound: 615
438.78/446.81	c current bound: 615
439.39/447.43	c current bound: 615
440.00/448.03	c current bound: 615
440.61/448.63	c current bound: 615
441.22/449.24	c current bound: 615
441.82/449.84	c current bound: 615
442.66/450.45	c current bound: 615
443.04/451.18	c current bound: 615
443.94/451.80	c current bound: 615
444.54/452.40	c current bound: 615
445.13/453.00	c current bound: 615
445.46/453.61	c current bound: 615
446.06/454.21	c current bound: 615
446.94/454.82	c current bound: 615
447.29/455.42	c current bound: 615
448.13/456.03	c current bound: 615
448.50/456.68	c current bound: 615
449.11/457.28	c current bound: 615
449.71/457.88	c current bound: 615
450.31/458.49	c current bound: 615
451.21/459.10	c current bound: 615
451.81/459.70	c current bound: 615
452.41/460.30	c current bound: 615
452.74/460.91	c current bound: 615
453.61/461.52	c current bound: 615
453.96/462.12	c current bound: 615
454.81/462.73	c current bound: 615
455.17/463.33	c current bound: 615
455.78/463.94	c current bound: 615
456.38/464.54	c current bound: 615
457.00/465.15	c current bound: 615
457.61/465.76	c current bound: 615
458.51/466.41	c current bound: 615
459.10/467.03	c current bound: 615
459.44/467.64	c current bound: 615
460.29/468.24	c current bound: 615
460.67/468.85	c current bound: 615
461.28/469.45	c current bound: 615
461.88/470.06	c current bound: 615
462.50/470.66	c current bound: 615
463.10/471.27	c current bound: 615
463.71/471.93	c current bound: 615
464.57/472.53	c current bound: 615
464.92/473.14	c current bound: 615
465.76/473.74	c current bound: 615
466.12/474.34	c current bound: 615
466.73/474.95	c current bound: 615
467.34/475.55	c current bound: 615
467.94/476.15	c current bound: 615
468.55/476.77	c current bound: 615
469.16/477.37	c current bound: 615
470.04/478.02	c current bound: 615
470.36/478.62	c current bound: 615
471.22/479.22	c current bound: 615
471.58/479.82	c current bound: 615
472.17/480.43	c current bound: 615
472.78/481.03	c current bound: 615
473.38/481.77	c current bound: 615
474.19/482.37	c current bound: 615
474.59/482.98	c current bound: 615
475.39/483.58	c current bound: 615
475.81/484.19	c current bound: 615
476.41/484.79	c current bound: 615
477.01/485.39	c current bound: 615
477.91/486.00	c current bound: 615
478.23/486.61	c current bound: 615
478.83/487.27	c current bound: 615
479.63/487.87	c current bound: 615
480.04/488.48	c current bound: 615
480.84/489.08	c current bound: 615
481.26/489.69	c current bound: 615
482.16/490.30	c current bound: 615
482.75/490.90	c current bound: 615
483.08/491.51	c current bound: 615
483.69/492.11	c current bound: 615
484.29/492.72	c current bound: 615
485.16/493.33	c current bound: 615
485.52/493.93	c current bound: 615
486.36/494.54	c current bound: 615
486.72/495.15	c current bound: 615
487.55/495.75	c current bound: 615
487.95/496.36	c current bound: 615
488.55/497.12	c current bound: 615
489.41/497.73	c current bound: 615
489.75/498.33	c current bound: 615
490.61/498.93	c current bound: 615
490.98/499.56	c current bound: 615
491.80/500.16	c current bound: 615
492.20/500.77	c current bound: 615
492.82/501.37	c current bound: 615
493.69/502.14	c current bound: 615
494.02/502.74	c current bound: 615
494.86/503.35	c current bound: 615
495.24/503.96	c current bound: 615
496.05/504.56	c current bound: 615
496.45/505.16	c current bound: 615
497.06/505.77	c current bound: 615
497.66/506.37	c current bound: 615
498.27/507.13	c current bound: 615
499.11/507.74	c current bound: 615
499.48/508.34	c current bound: 615
500.31/508.95	c current bound: 615
500.70/509.55	c current bound: 615
501.31/510.16	c current bound: 615
501.91/510.77	c current bound: 615
502.52/511.37	c current bound: 615
503.40/512.12	c current bound: 615
503.73/512.72	c current bound: 615
504.58/513.33	c current bound: 615
504.94/513.93	c current bound: 615
505.55/514.55	c current bound: 615
506.16/515.16	c current bound: 615
506.78/515.76	c current bound: 615
507.39/516.37	c current bound: 615
508.27/517.11	c current bound: 615
508.84/517.71	c current bound: 615
509.20/518.32	c current bound: 615
509.81/518.93	c current bound: 615
510.42/519.53	c current bound: 615
511.02/520.14	c current bound: 615
511.63/520.74	c current bound: 615
512.24/521.34	c current bound: 615
513.05/521.95	c current bound: 615
513.45/522.55	c current bound: 615
514.26/523.15	c current bound: 615
514.65/523.76	c current bound: 615
515.46/524.36	c current bound: 615
515.88/524.97	c current bound: 615
516.47/525.57	c current bound: 615
517.08/526.18	c current bound: 615
517.71/526.78	c current bound: 615
518.30/527.39	c current bound: 615
518.90/528.00	c current bound: 615
519.68/528.60	c current bound: 615
520.12/529.20	c current bound: 615
521.00/529.81	c current bound: 615
521.33/530.41	c current bound: 615
521.94/531.02	c current bound: 615
522.54/531.62	c current bound: 615
523.15/532.23	c current bound: 615
523.76/532.83	c current bound: 615
524.36/533.45	c current bound: 615
525.22/534.06	c current bound: 615
525.61/534.66	c current bound: 615
526.41/535.27	c current bound: 615
526.81/535.88	c current bound: 615
527.42/536.48	c current bound: 615
528.32/537.10	c current bound: 615
528.65/537.88	c current bound: 615
529.44/538.49	c current bound: 615
529.87/539.09	c current bound: 615
530.65/539.70	c current bound: 615
531.36/540.30	c current bound: 615
531.69/540.91	c current bound: 615
532.30/541.51	c current bound: 615
532.91/542.12	c current bound: 615
533.77/542.86	c current bound: 615
534.13/543.46	c current bound: 615
534.94/544.06	c current bound: 615
535.34/544.67	c current bound: 615
536.14/545.28	c current bound: 615
536.55/545.89	c current bound: 615
537.17/546.49	c current bound: 615
538.06/547.10	c current bound: 615
538.67/547.70	c current bound: 615
539.20/548.37	c current bound: 615
539.60/548.97	c current bound: 615
540.41/549.58	c current bound: 615
540.82/550.18	c current bound: 615
541.42/550.80	c current bound: 615
542.04/551.41	c current bound: 615
542.66/552.02	c current bound: 615
543.25/552.62	c current bound: 615
543.87/553.23	c current bound: 615
544.70/553.84	c current bound: 615
545.08/554.44	c current bound: 615
545.90/555.05	c current bound: 615
546.28/555.65	c current bound: 615
547.10/556.26	c current bound: 615
547.49/556.86	c current bound: 615
548.10/557.46	c current bound: 615
548.97/558.22	c current bound: 615
549.32/558.83	c current bound: 615
550.15/559.43	c current bound: 615
550.53/560.03	c current bound: 615
551.35/560.64	c current bound: 615
551.73/561.25	c current bound: 615
552.34/561.85	c current bound: 615
552.95/562.46	c current bound: 615
553.56/563.20	c current bound: 615
554.44/563.81	c current bound: 615
554.77/564.42	c current bound: 615
555.63/565.02	c current bound: 615
555.99/565.63	c current bound: 615
556.62/566.24	c current bound: 615
557.22/566.84	c current bound: 615
557.84/567.44	c current bound: 615
558.43/568.05	c current bound: 615
559.05/568.69	c current bound: 615
559.84/569.29	c current bound: 615
560.55/569.90	c current bound: 615
561.16/570.50	c current bound: 615
561.48/571.10	c current bound: 615
562.09/571.71	c current bound: 615
562.70/572.32	c current bound: 615
563.31/572.93	c current bound: 615
563.92/573.53	c current bound: 615
564.54/574.14	c current bound: 615
565.37/574.74	c current bound: 615
565.75/575.36	c current bound: 615
566.57/575.96	c current bound: 615
566.97/576.57	c current bound: 615
567.77/577.17	c current bound: 615
568.19/577.77	c current bound: 615
568.78/578.38	c current bound: 615
569.40/578.99	c current bound: 615
570.01/579.59	c current bound: 615
570.62/580.20	c current bound: 615
571.51/580.80	c current bound: 615
572.12/581.40	c current bound: 615
572.44/582.01	c current bound: 615
573.30/582.61	c current bound: 615
573.65/583.22	c current bound: 615
574.25/583.83	c current bound: 615
574.86/584.44	c current bound: 615
575.48/585.04	c current bound: 615
576.09/585.64	c current bound: 615
576.69/586.26	c current bound: 615
577.53/586.86	c current bound: 615
577.91/587.46	c current bound: 615
578.72/588.07	c current bound: 615
579.13/588.83	c current bound: 615
579.73/589.43	c current bound: 615
580.35/590.06	c current bound: 615
580.98/590.66	c current bound: 615
581.80/591.28	c current bound: 615
582.21/591.88	c current bound: 615
583.00/592.48	c current bound: 615
583.42/593.09	c current bound: 615
584.32/593.82	c current bound: 615
584.63/594.42	c current bound: 615
585.25/595.03	c current bound: 615
586.09/595.63	c current bound: 615
586.45/596.24	c current bound: 615
587.28/596.84	c current bound: 615
587.67/597.45	c current bound: 615
588.49/598.05	c current bound: 615
588.89/598.66	c current bound: 615
589.50/599.31	c current bound: 615
590.11/599.92	c current bound: 615
590.73/600.53	c current bound: 615
591.58/601.14	c current bound: 615
591.95/601.75	c current bound: 615
592.78/602.36	c current bound: 615
593.18/602.97	c current bound: 615
593.98/603.57	c current bound: 615
594.39/604.17	c current bound: 615
594.99/604.79	c current bound: 615
595.60/605.39	c current bound: 615
596.21/605.99	c current bound: 615
596.82/606.60	c current bound: 615
597.42/607.20	c current bound: 615
598.31/607.81	c current bound: 615
598.64/608.41	c current bound: 615
599.49/609.13	c current bound: 615
599.85/609.74	c current bound: 615
600.47/610.35	c current bound: 615
601.07/610.96	c current bound: 615
601.69/611.56	c current bound: 615
602.50/612.17	c current bound: 615
602.90/612.77	c current bound: 615
603.72/613.37	c current bound: 615
604.12/613.98	c current bound: 615
604.73/614.64	c current bound: 615
605.35/615.24	c current bound: 615
605.95/615.85	c current bound: 615
606.55/616.45	c current bound: 615
607.16/617.05	c current bound: 615
607.97/617.66	c current bound: 615
608.38/618.27	c current bound: 615
609.19/618.87	c current bound: 615
609.58/619.48	c current bound: 615
610.20/620.08	c current bound: 615
610.80/620.69	c current bound: 615
611.40/621.29	c current bound: 615
612.02/621.89	c current bound: 615
612.92/622.50	c current bound: 615
613.51/623.10	c current bound: 615
613.84/623.71	c current bound: 615
614.72/624.37	c current bound: 615
615.06/624.98	c current bound: 615
615.68/625.59	c current bound: 615
616.27/626.19	c current bound: 615
617.17/626.80	c current bound: 615
617.79/627.40	c current bound: 615
618.10/628.01	c current bound: 615
618.99/628.61	c current bound: 615
619.32/629.21	c current bound: 615
620.22/630.00	c current bound: 615
620.54/630.60	c current bound: 615
621.13/631.21	c current bound: 615
621.76/631.81	c current bound: 615
622.34/632.41	c current bound: 615
623.22/633.02	c current bound: 615
623.55/633.62	c current bound: 615
624.41/634.22	c current bound: 615
624.77/634.89	c current bound: 615
625.38/635.49	c current bound: 615
626.26/636.10	c current bound: 615
626.59/636.71	c current bound: 615
627.18/637.31	c current bound: 615
627.79/637.92	c current bound: 615
628.65/638.52	c current bound: 615
629.00/639.12	c current bound: 615
629.85/639.73	c current bound: 615
630.21/640.33	c current bound: 615
631.05/640.94	c current bound: 615
631.41/641.56	c current bound: 615
632.04/642.16	c current bound: 615
632.65/642.77	c current bound: 615
633.26/643.38	c current bound: 615
633.87/643.98	c current bound: 615
634.46/644.77	c current bound: 615
635.26/645.37	c current bound: 615
635.68/645.98	c current bound: 615
636.28/646.58	c current bound: 615
636.90/647.19	c current bound: 615
637.50/647.81	c current bound: 615
638.37/648.42	c current bound: 615
638.73/649.02	c current bound: 615
639.59/649.79	c current bound: 615
639.94/650.39	c current bound: 615
640.83/651.00	c current bound: 615
641.14/651.61	c current bound: 615
641.75/652.22	c current bound: 615
642.61/652.82	c current bound: 615
642.97/653.43	c current bound: 615
643.82/654.03	c current bound: 615
644.46/654.80	c current bound: 615
645.07/655.40	c current bound: 615
645.39/656.01	c current bound: 615
646.00/656.61	c current bound: 615
646.85/657.22	c current bound: 615
647.21/657.82	c current bound: 615
648.05/658.43	c current bound: 615
648.42/659.04	c current bound: 615
649.29/659.82	c current bound: 615
649.63/660.42	c current bound: 615
650.24/661.03	c current bound: 615
651.08/661.63	c current bound: 615
651.43/662.24	c current bound: 615
652.28/662.84	c current bound: 615
652.64/663.44	c current bound: 615
653.47/664.05	c current bound: 615
653.86/664.82	c current bound: 615
654.46/665.42	c current bound: 615
655.32/666.03	c current bound: 615
655.67/666.63	c current bound: 615
656.51/667.23	c current bound: 615
656.89/667.84	c current bound: 615
657.70/668.44	c current bound: 615
658.09/669.06	c current bound: 615
658.70/669.85	c current bound: 615
659.53/670.46	c current bound: 615
659.91/671.06	c current bound: 615
660.73/671.67	c current bound: 615
661.12/672.27	c current bound: 615
661.91/672.87	c current bound: 615
662.33/673.48	c current bound: 615
662.94/674.08	c current bound: 615
663.81/674.85	c current bound: 615
664.16/675.45	c current bound: 615
664.97/676.06	c current bound: 615
665.37/676.66	c current bound: 615
666.17/677.27	c current bound: 615
666.57/677.88	c current bound: 615
667.19/678.48	c current bound: 615
667.79/679.09	c current bound: 615
668.39/679.87	c current bound: 615
669.21/680.48	c current bound: 615
669.60/681.08	c current bound: 615
670.22/681.69	c current bound: 615
670.82/682.29	c current bound: 615
671.71/682.90	c current bound: 615
672.03/683.51	c current bound: 615
672.64/684.12	c current bound: 615
673.52/684.88	c current bound: 615
673.86/685.48	c current bound: 615
674.47/686.09	c current bound: 615
675.07/686.69	c current bound: 615
675.95/687.30	c current bound: 615
676.55/687.90	c current bound: 615
676.88/688.51	c current bound: 615
677.76/689.11	c current bound: 615
678.37/689.85	c current bound: 615
678.91/690.46	c current bound: 615
679.30/691.06	c current bound: 615
679.90/691.67	c current bound: 615
680.52/692.27	c current bound: 615
681.12/692.88	c current bound: 615
681.74/693.48	c current bound: 615
682.34/694.09	c current bound: 615
683.14/694.69	c current bound: 615
683.84/695.30	c current bound: 615
684.45/695.90	c current bound: 615
684.76/696.50	c current bound: 615
685.37/697.11	c current bound: 615
685.99/697.72	c current bound: 615
686.60/698.32	c current bound: 615
687.20/698.93	c current bound: 615
687.82/699.53	c current bound: 615
688.69/700.30	c current bound: 615
689.04/700.91	c current bound: 615
689.64/701.52	c current bound: 615
690.25/702.13	c current bound: 615
690.87/702.73	c current bound: 615
691.48/703.34	c current bound: 615
692.09/703.95	c current bound: 615
692.93/704.57	c current bound: 615
693.33/705.30	c current bound: 615
693.94/705.91	c current bound: 615
694.54/706.51	c current bound: 615
695.15/707.12	c current bound: 615
695.75/707.72	c current bound: 615
696.36/708.33	c current bound: 615
697.23/708.93	c current bound: 615
697.58/709.54	c current bound: 615
698.42/710.14	c current bound: 615
698.80/710.80	c current bound: 615
699.40/711.41	c current bound: 615
700.00/712.01	c current bound: 615
700.61/712.62	c current bound: 615
701.22/713.22	c current bound: 615
701.83/713.82	c current bound: 615
702.66/714.44	c current bound: 615
703.05/715.05	c current bound: 615
703.87/715.65	c current bound: 615
704.25/716.25	c current bound: 615
705.07/716.85	c current bound: 615
705.46/717.46	c current bound: 615
706.06/718.06	c current bound: 615
706.66/718.67	c current bound: 615
707.27/719.27	c current bound: 615
707.88/719.88	c current bound: 615
708.49/720.62	c current bound: 615
709.36/721.23	c current bound: 615
709.71/721.83	c current bound: 615
710.31/722.44	c current bound: 615
710.92/723.08	c current bound: 615
711.52/723.68	c current bound: 615
712.13/724.29	c current bound: 615
712.73/724.89	c current bound: 615
713.60/725.66	c current bound: 615
713.94/726.27	c current bound: 615
714.55/726.88	c current bound: 615
715.16/727.49	c current bound: 615
715.77/728.09	c current bound: 615
716.37/728.69	c current bound: 615
717.26/729.30	c current bound: 615
717.88/729.91	c current bound: 615
718.19/730.66	c current bound: 615
718.81/731.27	c current bound: 615
719.40/731.87	c current bound: 615
720.02/732.48	c current bound: 615
720.62/733.08	c current bound: 615
721.23/733.68	c current bound: 615
722.02/734.29	c current bound: 615
722.45/734.89	c current bound: 615
723.34/735.50	c current bound: 615
723.66/736.15	c current bound: 615
724.25/736.76	c current bound: 615
724.86/737.36	c current bound: 615
725.47/737.97	c current bound: 615
726.07/738.57	c current bound: 615
726.69/739.18	c current bound: 615
727.48/739.78	c current bound: 615
727.90/740.39	c current bound: 615
728.69/740.99	c current bound: 615
729.10/741.59	c current bound: 615
729.99/742.20	c current bound: 615
730.32/742.80	c current bound: 615
730.92/743.41	c current bound: 615
731.53/744.01	c current bound: 615
732.14/744.62	c current bound: 615
733.02/745.22	c current bound: 615
733.36/745.98	c current bound: 615
733.96/746.59	c current bound: 615
734.56/747.19	c current bound: 615
735.18/747.79	c current bound: 615
736.07/748.40	c current bound: 615
736.39/749.00	c current bound: 615
737.27/749.61	c current bound: 615
737.60/750.21	c current bound: 615
738.49/750.96	c current bound: 615
738.81/751.56	c current bound: 615
739.42/752.17	c current bound: 615
740.02/752.78	c current bound: 615
740.63/753.38	c current bound: 615
741.25/753.99	c current bound: 615
742.13/754.60	c current bound: 615
742.63/755.20	c current bound: 615
743.07/755.80	c current bound: 615
743.93/756.41	c current bound: 615
744.28/757.01	c current bound: 615
744.89/757.62	c current bound: 615
745.50/758.22	c current bound: 615
746.11/758.83	c current bound: 615
746.72/759.43	c current bound: 615
747.31/760.04	c current bound: 615
748.16/760.66	c current bound: 615
748.82/761.40	c current bound: 615
749.42/762.00	c current bound: 615
749.74/762.61	c current bound: 615
750.36/763.21	c current bound: 615
750.95/763.82	c current bound: 615
751.56/764.42	c current bound: 615
752.41/765.03	c current bound: 615
752.76/765.63	c current bound: 615
753.60/766.24	c current bound: 615
753.99/766.89	c current bound: 615
754.86/767.50	c current bound: 615
755.48/768.10	c current bound: 615
755.81/768.70	c current bound: 615
756.41/769.32	c current bound: 615
757.02/769.92	c current bound: 615
757.87/770.53	c current bound: 615
758.24/771.13	c current bound: 615
759.09/771.74	c current bound: 615
759.45/772.34	c current bound: 615
760.29/772.95	c current bound: 615
760.66/773.55	c current bound: 615
761.27/774.16	c current bound: 615
761.89/774.77	c current bound: 615
762.48/775.37	c current bound: 615
763.09/775.97	c current bound: 615
763.98/776.70	c current bound: 615
764.56/777.31	c current bound: 615
764.91/777.93	c current bound: 615
765.53/778.54	c current bound: 615
766.13/779.14	c current bound: 615
766.74/779.75	c current bound: 615
767.35/780.35	c current bound: 615
767.95/780.95	c current bound: 615
768.76/781.56	c current bound: 615
769.15/782.21	c current bound: 615
770.02/782.81	c current bound: 615
770.37/783.42	c current bound: 615
770.98/784.03	c current bound: 615
771.59/784.64	c current bound: 615
772.20/785.24	c current bound: 615
772.80/785.85	c current bound: 615
773.40/786.45	c current bound: 615
774.22/787.06	c current bound: 615
774.62/787.67	c current bound: 615
775.43/788.27	c current bound: 615
775.83/788.89	c current bound: 615
776.45/789.49	c current bound: 615
777.34/790.10	c current bound: 615
777.93/790.70	c current bound: 615
778.27/791.31	c current bound: 615
778.86/792.19	c current bound: 615
779.49/792.79	c current bound: 615
780.35/793.40	c current bound: 615
780.69/794.00	c current bound: 615
781.29/794.61	c current bound: 615
781.89/795.21	c current bound: 615
782.76/795.82	c current bound: 615
783.11/796.42	c current bound: 615
784.00/797.20	c current bound: 615
784.58/797.80	c current bound: 615
784.91/798.41	c current bound: 615
785.51/799.02	c current bound: 615
786.12/799.62	c current bound: 615
786.98/800.22	c current bound: 615
787.32/800.82	c current bound: 615
788.18/801.43	c current bound: 615
788.52/802.18	c current bound: 615
789.14/802.79	c current bound: 615
789.75/803.41	c current bound: 615
790.36/804.01	c current bound: 615
791.23/804.62	c current bound: 615
791.57/805.23	c current bound: 615
792.43/805.84	c current bound: 615
792.80/806.44	c current bound: 615
793.67/807.18	c current bound: 615
794.01/807.78	c current bound: 615
794.90/808.40	c current bound: 615
795.50/809.00	c current bound: 615
795.84/809.61	c current bound: 615
796.69/810.21	c current bound: 615
797.04/810.82	c current bound: 615
797.89/811.42	c current bound: 615
798.25/812.02	c current bound: 615
799.14/812.70	c current bound: 615
799.75/813.30	c current bound: 615
800.06/813.91	c current bound: 615
800.94/814.51	c current bound: 615
801.27/815.12	c current bound: 615
802.13/815.72	c current bound: 615
802.49/816.32	c current bound: 615
803.33/816.93	c current bound: 615
803.70/817.53	c current bound: 615
804.30/818.14	c current bound: 615
804.91/818.74	c current bound: 615
805.52/819.35	c current bound: 615
806.12/819.95	c current bound: 615
806.74/820.56	c current bound: 615
807.55/821.16	c current bound: 615
807.93/821.76	c current bound: 615
808.82/822.41	c current bound: 615
809.15/823.01	c current bound: 615
809.74/823.61	c current bound: 615
810.36/824.22	c current bound: 615
810.97/824.82	c current bound: 615
811.56/825.43	c current bound: 615
812.17/826.03	c current bound: 615
813.01/826.64	c current bound: 615
813.38/827.24	c current bound: 615
814.18/827.89	c current bound: 615
814.59/828.49	c current bound: 615
815.48/829.10	c current bound: 615
816.08/829.70	c current bound: 615
816.40/830.31	c current bound: 615
817.01/830.93	c current bound: 615
817.64/831.53	c current bound: 615
818.48/832.14	c current bound: 615
818.85/832.76	c current bound: 615
819.67/833.36	c current bound: 615
820.08/833.97	c current bound: 615
820.87/834.58	c current bound: 615
821.30/835.19	c current bound: 615
821.90/835.79	c current bound: 615
822.79/836.40	c current bound: 615
823.11/837.01	c current bound: 615
823.98/837.77	c current bound: 615
824.32/838.39	c current bound: 615
825.22/839.00	c current bound: 615
825.82/839.60	c current bound: 615
826.15/840.21	c current bound: 615
826.75/840.81	c current bound: 615
827.35/841.41	c current bound: 615
828.24/842.03	c current bound: 615
828.57/842.75	c current bound: 615
829.40/843.35	c current bound: 615
829.78/843.96	c current bound: 615
830.39/844.56	c current bound: 615
830.99/845.17	c current bound: 615
831.60/845.77	c current bound: 615
832.20/846.38	c current bound: 615
832.80/846.98	c current bound: 615
833.60/847.59	c current bound: 615
834.02/848.25	c current bound: 615
834.83/848.85	c current bound: 615
835.23/849.46	c current bound: 615
835.84/850.06	c current bound: 615
836.43/850.67	c current bound: 615
837.04/851.28	c current bound: 615
837.64/851.88	c current bound: 615
838.24/852.48	c current bound: 615
839.03/853.09	c current bound: 615
839.45/853.69	c current bound: 615
840.36/854.30	c current bound: 615
840.95/854.90	c current bound: 615
841.27/855.50	c current bound: 615
841.87/856.11	c current bound: 615
842.47/856.71	c current bound: 615
843.09/857.32	c current bound: 615
843.68/858.06	c current bound: 615
844.49/858.67	c current bound: 615
844.90/859.28	c current bound: 615
845.50/859.88	c current bound: 615
846.11/860.49	c current bound: 615
846.71/861.09	c current bound: 615
847.60/861.70	c current bound: 615
847.93/862.31	c current bound: 615
848.80/862.91	c current bound: 615
849.14/863.51	c current bound: 615
850.00/864.12	c current bound: 615
850.35/864.72	c current bound: 615
851.20/865.34	c current bound: 615
851.56/865.94	c current bound: 615
852.18/866.55	c current bound: 615
852.78/867.15	c current bound: 615
853.38/867.76	c current bound: 615
853.99/868.36	c current bound: 615
854.59/868.97	c current bound: 615
855.41/869.58	c current bound: 615
855.82/870.18	c current bound: 615
856.61/870.79	c current bound: 615
857.02/871.39	c current bound: 615
857.91/872.00	c current bound: 615
858.52/872.60	c current bound: 615
859.12/873.49	c current bound: 615
859.73/874.10	c current bound: 615
860.34/874.70	c current bound: 615
860.93/875.30	c current bound: 615
861.25/875.90	c current bound: 615
861.85/876.50	c current bound: 615
862.46/877.11	c current bound: 615
863.07/877.72	c current bound: 615
863.93/878.39	c current bound: 615
864.28/878.99	c current bound: 615
865.06/879.59	c current bound: 615
865.47/880.19	c current bound: 615
866.07/880.79	c current bound: 615
866.96/881.40	c current bound: 615
867.56/882.00	c current bound: 615
867.89/882.60	c current bound: 615
868.49/883.21	c current bound: 615
869.36/883.81	c current bound: 615
869.69/884.41	c current bound: 615
870.55/885.01	c current bound: 615
870.90/885.61	c current bound: 615
871.76/886.22	c current bound: 615
872.10/886.83	c current bound: 615
872.73/887.43	c current bound: 615
873.32/888.04	c current bound: 615
873.92/888.79	c current bound: 615
874.70/889.39	c current bound: 615
875.42/890.00	c current bound: 615
876.03/890.60	c current bound: 615
876.34/891.20	c current bound: 615
876.95/891.81	c current bound: 615
877.55/892.42	c current bound: 615
878.15/893.02	c current bound: 615
878.76/893.62	c current bound: 615
879.37/894.27	c current bound: 615
880.18/894.88	c current bound: 615
880.58/895.48	c current bound: 615
881.38/896.09	c current bound: 615
881.80/896.69	c current bound: 615
882.40/897.29	c current bound: 615
883.28/897.90	c current bound: 615
883.61/898.50	c current bound: 615
884.20/899.11	c current bound: 615
884.81/899.71	c current bound: 615
885.66/900.31	c current bound: 615
886.01/900.92	c current bound: 615
886.86/901.52	c current bound: 615
887.22/902.13	c current bound: 615
888.07/902.73	c current bound: 615
888.44/903.34	c current bound: 615
889.05/904.10	c current bound: 615
889.94/904.71	c current bound: 615
890.26/905.31	c current bound: 615
891.12/905.91	c current bound: 615
891.47/906.52	c current bound: 615
892.31/907.12	c current bound: 615
892.68/907.73	c current bound: 615
893.28/908.33	c current bound: 615
894.17/909.06	c current bound: 615
894.49/909.67	c current bound: 615
895.30/910.27	c current bound: 615
895.71/910.87	c current bound: 615
896.52/911.48	c current bound: 615
896.92/912.09	c current bound: 615
897.53/912.69	c current bound: 615
898.42/913.30	c current bound: 615
899.02/913.90	c current bound: 615
899.34/914.51	c current bound: 615
899.95/915.11	c current bound: 615
900.83/915.71	c current bound: 615
901.16/916.32	c current bound: 615
902.02/916.92	c current bound: 615
902.37/917.52	c current bound: 615
903.22/918.13	c current bound: 615
903.58/918.73	c current bound: 615
904.18/919.39	c current bound: 615
905.08/920.00	c current bound: 615
905.68/920.60	c current bound: 615
906.29/921.20	c current bound: 615
906.61/921.81	c current bound: 615
907.48/922.41	c current bound: 615
907.82/923.02	c current bound: 615
908.68/923.62	c current bound: 615
909.03/924.23	c current bound: 615
909.64/924.83	c current bound: 615
910.25/925.44	c current bound: 615
910.85/926.04	c current bound: 615
911.46/926.65	c current bound: 615
912.08/927.25	c current bound: 615
912.90/927.85	c current bound: 615
913.28/928.46	c current bound: 615
914.11/929.06	c current bound: 615
914.78/929.80	c current bound: 615
915.11/930.40	c current bound: 615
915.71/931.01	c current bound: 615
916.32/931.61	c current bound: 615
917.19/932.21	c current bound: 615
917.53/932.82	c current bound: 615
918.39/933.42	c current bound: 615
918.74/934.02	c current bound: 615
919.59/934.63	c current bound: 615
919.95/935.28	c current bound: 615
920.57/935.88	c current bound: 615
921.18/936.48	c current bound: 615
921.77/937.09	c current bound: 615
922.39/937.69	c current bound: 615
923.01/938.30	c current bound: 615
923.78/938.90	c current bound: 615
924.22/939.51	c current bound: 615
925.09/940.11	c current bound: 615
925.44/940.72	c current bound: 615
926.09/941.33	c current bound: 615
926.74/941.93	c current bound: 615
927.40/942.54	c current bound: 615
928.03/943.15	c current bound: 615
928.98/943.76	c current bound: 615
929.33/944.37	c current bound: 615
929.98/952.18	c current bound: 615
930.64/952.79	c current bound: 615
931.27/953.39	c current bound: 615
931.93/953.99	c current bound: 615
932.87/954.60	c current bound: 615
933.23/955.21	c current bound: 615
933.89/955.82	c current bound: 615
934.53/956.42	c current bound: 615
935.18/957.03	c current bound: 615
935.82/957.63	c current bound: 615
936.47/958.24	c current bound: 615
937.13/958.86	c current bound: 615
937.79/959.46	c current bound: 615
938.72/960.07	c current bound: 615
939.09/960.68	c current bound: 615
939.73/961.29	c current bound: 615
940.72/961.91	c current bound: 615
941.05/962.51	c current bound: 615
941.70/963.12	c current bound: 615
942.36/963.72	c current bound: 615
943.28/964.33	c current bound: 615
943.65/964.94	c current bound: 615
944.29/965.54	c current bound: 615
945.24/966.15	c current bound: 615
945.59/966.76	c current bound: 615
946.24/967.36	c current bound: 615
946.89/967.97	c current bound: 615
947.54/968.57	c current bound: 615
948.46/969.18	c current bound: 615
948.83/969.78	c current bound: 615
949.47/970.39	c current bound: 615
950.12/970.99	c current bound: 615
951.07/971.61	c current bound: 615
951.42/972.23	c current bound: 615
952.10/972.83	c current bound: 615
953.03/973.44	c current bound: 615
953.40/974.04	c current bound: 615
954.03/974.65	c current bound: 615
954.99/975.26	c current bound: 615
955.33/975.86	c current bound: 615
955.99/976.47	c current bound: 615
956.63/977.08	c current bound: 615
957.28/977.68	c current bound: 615
957.93/978.28	c current bound: 615
958.57/978.89	c current bound: 615
959.22/979.50	c current bound: 615
959.87/980.10	c current bound: 615
960.81/980.71	c current bound: 615
961.17/981.31	c current bound: 615
961.81/981.92	c current bound: 615
962.46/982.52	c current bound: 615
963.10/983.13	c current bound: 615
963.75/983.73	c current bound: 615
964.68/984.35	c current bound: 615
965.04/984.95	c current bound: 615
965.70/985.56	c current bound: 615
966.66/986.17	c current bound: 615
967.01/986.78	c current bound: 615
967.66/987.38	c current bound: 615
968.60/987.99	c current bound: 615
968.95/988.59	c current bound: 615
969.61/989.19	c current bound: 615
970.25/989.80	c current bound: 615
970.90/990.41	c current bound: 615
971.55/991.01	c current bound: 615
972.20/991.62	c current bound: 615
973.15/992.23	c current bound: 615
973.49/992.84	c current bound: 615
974.14/993.44	c current bound: 615
975.08/994.05	c current bound: 615
975.44/994.65	c current bound: 615
976.10/995.25	c current bound: 615
977.04/995.86	c current bound: 615
977.40/996.47	c current bound: 615
978.03/997.08	c current bound: 615
978.69/997.69	c current bound: 615
979.34/998.29	c current bound: 615
979.99/998.90	c current bound: 615
980.95/999.51	c current bound: 615
981.28/1000.12	c current bound: 615
981.94/1000.73	c current bound: 615
982.87/1001.34	c current bound: 615
983.23/1001.94	c current bound: 615
983.87/1002.54	c current bound: 615
984.81/1003.15	c current bound: 615
985.17/1003.75	c current bound: 615
985.82/1004.36	c current bound: 615
986.77/1004.97	c current bound: 615
987.12/1005.59	c current bound: 615
987.79/1006.19	c current bound: 615
988.72/1006.80	c current bound: 615
989.40/1007.64	c current bound: 615
990.04/1008.25	c current bound: 615
990.39/1008.86	c current bound: 615
991.04/1009.46	c current bound: 615
991.97/1010.06	c current bound: 615
992.33/1010.66	c current bound: 615
992.97/1011.27	c current bound: 615
993.92/1011.88	c current bound: 615
994.28/1012.48	c current bound: 615
994.92/1013.08	c current bound: 615
995.86/1013.69	c current bound: 615
996.22/1014.30	c current bound: 615
997.18/1014.90	c current bound: 615
997.82/1015.51	c current bound: 615
998.15/1016.11	c current bound: 615
998.80/1016.71	c current bound: 615
999.45/1017.32	c current bound: 615
1000.10/1017.93	c current bound: 615
1000.74/1018.54	c current bound: 615
1001.39/1019.14	c current bound: 615
1002.03/1019.75	c current bound: 615
1002.68/1020.36	c current bound: 615
1003.65/1020.98	c current bound: 615
1004.00/1021.58	c current bound: 615
1004.64/1022.18	c current bound: 615
1005.29/1022.78	c current bound: 615
1005.94/1023.40	c current bound: 615
1006.58/1024.01	c current bound: 615
1007.23/1024.61	c current bound: 615
1008.18/1025.23	c current bound: 615
1008.54/1025.83	c current bound: 615
1009.18/1026.43	c current bound: 615
1010.13/1027.04	c current bound: 615
1010.48/1027.64	c current bound: 615
1011.13/1028.24	c current bound: 615
1012.07/1028.86	c current bound: 615
1012.41/1029.46	c current bound: 615
1013.07/1030.07	c current bound: 615
1013.73/1030.69	c current bound: 615
1014.70/1031.30	c current bound: 615
1015.04/1031.91	c current bound: 615
1015.97/1032.52	c current bound: 615
1016.32/1033.12	c current bound: 615
1016.98/1033.72	c current bound: 615
1017.92/1034.34	c current bound: 615
1018.27/1034.95	c current bound: 615
1018.93/1035.56	c current bound: 615
1019.86/1036.16	c current bound: 615
1020.21/1036.77	c current bound: 615
1021.16/1037.38	c current bound: 615
1021.51/1037.99	c current bound: 615
1022.17/1038.59	c current bound: 615
1023.12/1039.20	c current bound: 615
1023.47/1039.81	c current bound: 615
1024.11/1040.41	c current bound: 615
1024.77/1041.03	c current bound: 615
1025.42/1041.64	c current bound: 615
1026.35/1042.25	c current bound: 615
1026.72/1042.85	c current bound: 615
1027.37/1043.45	c current bound: 615
1028.30/1044.05	c current bound: 615
1028.66/1044.66	c current bound: 615
1029.59/1045.27	c current bound: 615
1029.96/1045.87	c current bound: 615
1030.60/1046.47	c current bound: 615
1031.25/1047.09	c current bound: 615
1031.90/1047.69	c current bound: 615
1032.56/1048.29	c current bound: 615
1033.20/1048.90	c current bound: 615
1033.84/1049.50	c current bound: 615
1034.78/1050.11	c current bound: 615
1035.13/1050.72	c current bound: 615
1035.77/1051.32	c current bound: 615
1036.72/1051.92	c current bound: 615
1037.07/1052.53	c current bound: 615
1037.73/1053.13	c current bound: 615
1038.67/1053.74	c current bound: 615
1039.02/1054.35	c current bound: 615
1039.98/1054.96	c current bound: 615
1040.32/1055.57	c current bound: 615
1040.98/1056.17	c current bound: 615
1041.93/1056.79	c current bound: 615
1042.28/1057.39	c current bound: 615
1043.24/1058.00	c current bound: 615
1043.86/1058.61	c current bound: 615
1044.22/1059.22	c current bound: 615
1044.88/1059.84	c current bound: 615
1045.54/1060.46	c current bound: 615
1046.20/1061.07	c current bound: 615
1047.14/1061.68	c current bound: 615
1047.83/1062.30	c current bound: 615
1048.16/1062.91	c current bound: 615
1048.83/1063.53	c current bound: 615
1049.48/1064.14	c current bound: 615
1050.13/1064.76	c current bound: 615
1051.10/1065.38	c current bound: 615
1051.46/1065.99	c current bound: 615
1052.12/1066.62	c current bound: 615
1052.81/1067.24	c current bound: 615
1053.47/1067.86	c current bound: 615
1054.12/1068.47	c current bound: 615
1055.06/1069.09	c current bound: 615
1055.76/1069.70	c current bound: 615
1056.10/1070.31	c current bound: 615
1056.76/1070.92	c current bound: 615
1057.40/1071.55	c current bound: 615
1058.07/1072.16	c current bound: 615
1059.01/1072.78	c current bound: 615
1059.39/1073.39	c current bound: 615
1060.36/1074.00	c current bound: 615
1060.70/1074.62	c current bound: 615
1061.35/1075.23	c current bound: 615
1062.01/1075.85	c current bound: 615
1062.98/1076.46	c current bound: 615
1063.34/1077.08	c current bound: 615
1064.33/1077.70	c current bound: 615
1064.94/1078.32	c current bound: 615
1065.31/1078.93	c current bound: 615
1065.96/1079.54	c current bound: 615
1066.92/1080.16	c current bound: 615
1067.27/1080.77	c current bound: 615
1067.94/1081.38	c current bound: 615
1068.91/1082.00	c current bound: 615
1069.24/1082.61	c current bound: 615
1069.90/1083.23	c current bound: 615
1070.85/1083.84	c current bound: 615
1071.22/1084.45	c current bound: 615
1071.88/1085.07	c current bound: 615
1072.83/1085.68	c current bound: 615
1073.18/1086.30	c current bound: 615
1073.84/1086.91	c current bound: 615
1074.79/1087.53	c current bound: 615
1075.15/1088.15	c current bound: 615
1075.83/1088.89	c current bound: 615
1076.78/1089.48	c current bound: 615
1077.13/1090.08	c current bound: 615
1077.75/1090.67	c current bound: 615
1078.68/1091.26	c current bound: 615
1079.02/1091.86	c current bound: 615
1079.67/1092.45	c current bound: 615
1080.59/1093.06	c current bound: 615
1080.95/1093.66	c current bound: 615
1081.59/1094.25	c current bound: 615
1082.22/1094.85	c current bound: 615
1082.87/1095.47	c current bound: 615
1083.80/1096.07	c current bound: 615
1084.15/1096.66	c current bound: 615
1084.79/1097.25	c current bound: 615
1085.70/1097.84	c current bound: 615
1086.05/1098.44	c current bound: 615
1086.69/1099.03	c current bound: 615
1087.58/1099.63	c current bound: 615
1087.94/1100.22	c current bound: 615
1088.57/1100.82	c current bound: 615
1089.21/1101.41	c current bound: 615
1089.84/1102.02	c current bound: 615
1090.48/1102.61	c current bound: 615
1091.11/1103.20	c current bound: 615
1092.05/1103.81	c current bound: 615
1092.39/1104.40	c current bound: 615
1093.01/1104.99	c current bound: 615
1093.66/1105.59	c current bound: 615
1094.29/1106.19	c current bound: 615
1094.91/1106.78	c current bound: 615
1095.55/1107.37	c current bound: 615
1096.48/1107.97	c current bound: 615
1096.82/1108.56	c current bound: 615
1097.46/1109.15	c current bound: 615
1098.39/1109.75	c current bound: 615
1098.74/1110.41	c current bound: 615
1099.69/1111.03	c current bound: 615
1100.05/1111.64	c current bound: 615
1100.71/1112.25	c current bound: 615
1101.66/1112.87	c current bound: 615
1102.02/1113.49	c current bound: 615
1102.69/1114.10	c current bound: 615
1103.64/1114.72	c current bound: 615
1103.99/1115.33	c current bound: 615
1104.66/1115.94	c current bound: 615
1105.62/1116.55	c current bound: 615
1105.97/1117.16	c current bound: 615
1106.63/1117.77	c current bound: 615
1107.62/1118.41	c current bound: 615
1107.98/1119.03	c current bound: 615
1108.64/1119.65	c current bound: 615
1109.61/1120.27	c current bound: 615
1109.96/1120.89	c current bound: 615
1110.64/1121.50	c current bound: 615
1111.29/1122.12	c current bound: 615
1111.95/1122.73	c current bound: 615
1112.60/1123.34	c current bound: 615
1113.27/1123.97	c current bound: 615
1113.92/1124.58	c current bound: 615
1114.58/1125.19	c current bound: 615
1115.23/1125.81	c current bound: 615
1115.89/1126.42	c current bound: 615
1116.55/1127.03	c current bound: 615
1117.49/1127.64	c current bound: 615
1117.85/1128.25	c current bound: 615
1118.50/1128.86	c current bound: 615
1119.46/1129.48	c current bound: 615
1119.82/1130.09	c current bound: 615
1120.81/1130.70	c current bound: 615
1121.14/1131.31	c current bound: 615
1121.80/1131.92	c current bound: 615
1122.44/1132.53	c current bound: 615
1123.40/1133.15	c current bound: 615
1123.76/1133.77	c current bound: 615
1124.43/1134.38	c current bound: 615
1125.07/1135.00	c current bound: 615
1125.72/1135.61	c current bound: 615
1126.38/1136.22	c current bound: 615
1127.33/1136.83	c current bound: 615
1127.69/1137.44	c current bound: 615
1128.35/1138.05	c current bound: 615
1129.29/1138.67	c current bound: 615
1129.64/1139.27	c current bound: 615
1130.31/1139.88	c current bound: 615
1131.28/1140.50	c current bound: 615
1131.63/1141.11	c current bound: 615
1132.27/1141.72	c current bound: 615
1133.22/1142.34	c current bound: 615
1133.58/1142.95	c current bound: 615
1134.22/1143.57	c current bound: 615
1134.89/1144.18	c current bound: 615
1135.55/1144.79	c current bound: 615
1136.20/1145.41	c current bound: 615
1137.14/1146.02	c current bound: 615
1137.50/1146.63	c current bound: 615
1138.16/1147.24	c current bound: 615
1138.81/1147.87	c current bound: 615
1139.48/1148.48	c current bound: 615
1140.13/1149.09	c current bound: 615
1140.79/1149.70	c current bound: 615
1141.45/1150.32	c current bound: 615
1142.11/1150.93	c current bound: 615
1143.07/1151.55	c current bound: 615
1143.41/1152.16	c current bound: 615
1144.09/1152.77	c current bound: 615
1144.74/1153.39	c current bound: 615
1145.71/1154.00	c current bound: 615
1146.04/1154.61	c current bound: 615
1146.99/1155.23	c current bound: 615
1147.36/1155.84	c current bound: 615
1148.01/1156.48	c current bound: 615
1148.98/1157.09	c current bound: 615
1149.34/1157.71	c current bound: 615
1150.00/1158.32	c current bound: 615
1150.66/1158.93	c current bound: 615
1151.30/1159.55	c current bound: 615
1151.97/1160.16	c current bound: 615
1152.91/1160.78	c current bound: 615
1153.27/1161.39	c current bound: 615
1153.93/1162.00	c current bound: 615
1154.59/1162.61	c current bound: 615
1155.54/1163.23	c current bound: 615
1155.90/1163.84	c current bound: 615
1156.88/1164.57	c current bound: 615
1157.20/1165.16	c current bound: 615
1157.83/1165.74	c current bound: 615
1158.74/1166.33	c current bound: 615
1159.08/1166.91	c current bound: 615
1159.71/1167.50	c current bound: 615
1160.63/1168.10	c current bound: 615
1160.96/1168.69	c current bound: 615
1161.58/1169.27	c current bound: 615
1162.50/1169.88	c current bound: 615
1162.86/1170.46	c current bound: 615
1163.75/1171.05	c current bound: 615
1164.09/1171.64	c current bound: 615
1164.72/1172.23	c current bound: 615
1165.62/1172.82	c current bound: 615
1165.97/1173.40	c current bound: 615
1166.58/1173.99	c current bound: 615
1167.21/1174.57	c current bound: 615
1167.84/1175.17	c current bound: 615
1168.46/1175.75	c current bound: 615
1169.35/1176.34	c current bound: 615
1169.71/1176.93	c current bound: 615
1170.33/1177.51	c current bound: 615
1171.23/1178.10	c current bound: 615
1171.58/1178.68	c current bound: 615
1172.20/1179.27	c current bound: 615
1173.10/1179.86	c current bound: 615
1173.45/1180.44	c current bound: 615
1174.07/1181.03	c current bound: 615
1174.98/1181.62	c current bound: 615
1175.32/1182.20	c current bound: 615
1176.25/1182.80	c current bound: 615
1176.57/1183.38	c current bound: 615
1177.18/1183.97	c current bound: 615
1177.82/1184.56	c current bound: 615
1178.44/1185.14	c current bound: 615
1179.06/1185.73	c current bound: 615
1179.68/1186.32	c current bound: 615
1180.61/1186.90	c current bound: 615
1180.93/1187.49	c current bound: 615
1181.56/1188.08	c current bound: 615
1182.18/1188.67	c current bound: 615
1182.83/1189.34	c current bound: 615
1183.49/1189.95	c current bound: 615
1184.47/1190.57	c current bound: 615
1184.82/1191.18	c current bound: 615
1185.48/1191.80	c current bound: 615
1186.43/1192.41	c current bound: 615
1186.81/1193.04	c current bound: 615
1187.47/1193.65	c current bound: 615
1188.44/1194.27	c current bound: 615
1188.79/1194.89	c current bound: 615
1189.77/1195.50	c current bound: 615
1190.10/1196.11	c current bound: 615
1190.78/1196.74	c current bound: 615
1191.43/1197.35	c current bound: 615
1192.38/1197.97	c current bound: 615
1192.75/1198.59	c current bound: 615
1193.42/1199.20	c current bound: 615
1194.06/1199.81	c current bound: 615
1194.72/1200.43	c current bound: 615
1195.38/1201.05	c current bound: 615
1196.36/1201.68	c current bound: 615
1196.71/1202.29	c current bound: 615
1197.37/1202.90	c current bound: 615
1198.04/1203.52	c current bound: 615
1198.70/1204.14	c current bound: 615
1199.35/1204.75	c current bound: 615
1200.31/1205.37	c current bound: 615
1200.68/1205.99	c current bound: 615
1201.33/1206.60	c current bound: 615
1202.31/1207.23	c current bound: 615
1202.66/1207.84	c current bound: 615
1203.32/1208.45	c current bound: 615
1204.27/1209.07	c current bound: 615
1204.65/1209.68	c current bound: 615
1205.31/1210.29	c current bound: 615
1206.26/1210.91	c current bound: 615
1206.62/1211.53	c current bound: 615
1207.28/1212.14	c current bound: 615
1208.25/1212.77	c current bound: 615
1208.61/1213.39	c current bound: 615
1209.27/1214.01	c current bound: 615
1209.94/1214.62	c current bound: 615
1210.89/1215.25	c current bound: 615
1211.27/1215.87	c current bound: 615
1211.92/1216.48	c current bound: 615
1212.59/1217.11	c current bound: 615
1213.26/1217.72	c current bound: 615
1213.91/1218.34	c current bound: 615
1214.88/1218.96	c current bound: 615
1215.24/1219.57	c current bound: 615
1215.90/1220.19	c current bound: 615
1216.84/1220.81	c current bound: 615
1217.22/1221.42	c current bound: 615
1217.88/1222.03	c current bound: 615
1218.83/1222.64	c current bound: 615
1219.20/1223.26	c current bound: 615
1219.85/1223.87	c current bound: 615
1220.81/1224.50	c current bound: 615
1221.18/1225.11	c current bound: 615
1221.83/1225.72	c current bound: 615
1222.78/1226.65	c current bound: 615
1223.14/1227.24	c current bound: 615
1223.78/1227.84	c current bound: 615
1224.44/1228.45	c current bound: 615
1225.06/1229.05	c current bound: 615
1225.98/1229.66	c current bound: 615
1226.34/1230.26	c current bound: 615
1226.99/1230.85	c current bound: 615
1227.89/1231.59	c current bound: 615
1228.26/1232.18	c current bound: 615
1228.89/1232.77	c current bound: 615
1229.80/1233.37	c current bound: 615
1230.15/1233.96	c current bound: 615
1230.78/1234.56	c current bound: 615
1231.41/1235.16	c current bound: 615
1232.06/1235.75	c current bound: 615
1232.98/1236.36	c current bound: 615
1233.34/1237.00	c current bound: 615
1234.29/1237.60	c current bound: 615
1234.93/1238.21	c current bound: 615
1235.28/1238.81	c current bound: 615
1235.91/1239.41	c current bound: 615
1236.85/1240.01	c current bound: 615
1237.19/1240.61	c current bound: 615
1238.03/1241.21	c current bound: 615
1238.66/1241.80	c current bound: 615
1239.26/1242.40	c current bound: 615
1239.86/1243.00	c current bound: 615
1240.46/1243.60	c current bound: 615
1240.78/1244.19	c current bound: 615
1241.37/1244.79	c current bound: 615
1241.97/1245.39	c current bound: 615
1242.58/1245.99	c current bound: 615
1243.43/1246.75	c current bound: 615
1243.78/1247.34	c current bound: 615
1244.37/1247.94	c current bound: 615
1244.97/1248.54	c current bound: 615
1245.57/1249.14	c current bound: 615
1246.18/1249.74	c current bound: 615
1246.78/1250.34	c current bound: 615
1247.61/1250.94	c current bound: 615
1247.99/1251.55	c current bound: 615
1248.84/1252.23	c current bound: 615
1249.20/1252.83	c current bound: 615
1249.81/1253.43	c current bound: 615
1250.41/1254.03	c current bound: 615
1251.01/1254.63	c current bound: 615
1251.62/1255.24	c current bound: 615
1252.22/1255.84	c current bound: 615
1253.07/1256.44	c current bound: 615
1253.44/1257.04	c current bound: 615
1254.28/1257.64	c current bound: 615
1254.94/1258.40	c current bound: 615
1255.25/1259.01	c current bound: 615
1255.86/1259.61	c current bound: 615
1256.47/1260.21	c current bound: 615
1257.33/1260.81	c current bound: 615
1257.68/1261.42	c current bound: 615
1258.54/1262.02	c current bound: 615
1258.89/1262.62	c current bound: 615
1259.73/1263.22	c current bound: 615
1260.10/1263.83	c current bound: 615
1260.69/1264.43	c current bound: 615
1261.29/1265.05	c current bound: 615
1261.91/1265.65	c current bound: 615
1262.52/1266.25	c current bound: 615
1263.13/1267.02	c current bound: 615
1263.98/1267.62	c current bound: 615
1264.34/1268.23	c current bound: 615
1264.94/1268.83	c current bound: 615
1265.54/1269.43	c current bound: 615
1266.15/1270.03	c current bound: 615
1266.75/1270.64	c current bound: 615
1267.36/1271.24	c current bound: 615
1268.19/1271.84	c current bound: 615
1268.56/1272.63	c current bound: 615
1269.18/1273.24	c current bound: 615
1269.78/1273.84	c current bound: 615
1270.39/1274.45	c current bound: 615
1271.00/1275.06	c current bound: 615
1271.61/1275.66	c current bound: 615
1272.44/1276.26	c current bound: 615
1272.82/1276.86	c current bound: 615
1273.68/1277.52	c current bound: 615
1274.02/1278.12	c current bound: 615
1274.63/1278.73	c current bound: 615
1275.23/1279.34	c current bound: 615
1275.86/1279.94	c current bound: 615
1276.46/1280.55	c current bound: 615
1277.07/1281.15	c current bound: 615
1277.89/1281.75	c current bound: 615
1278.28/1282.36	c current bound: 615
1279.10/1282.96	c current bound: 615
1279.49/1283.57	c current bound: 615
1280.29/1284.18	c current bound: 615
1280.71/1284.79	c current bound: 615
1281.33/1285.39	c current bound: 615
1281.94/1285.99	c current bound: 615
1282.82/1286.60	c current bound: 615
1283.40/1287.43	c current bound: 615
1283.74/1288.04	c current bound: 615
1284.35/1288.64	c current bound: 615
1284.95/1289.25	c current bound: 615
1285.56/1289.85	c current bound: 615
1286.17/1290.45	c current bound: 615
1286.77/1291.06	c current bound: 615
1287.59/1291.66	c current bound: 615
1288.26/1292.45	c current bound: 615
1288.59/1293.05	c current bound: 615
1289.20/1293.66	c current bound: 615
1289.80/1294.27	c current bound: 615
1290.42/1294.87	c current bound: 615
1291.02/1295.47	c current bound: 615
1291.83/1296.08	c current bound: 615
1292.24/1296.68	c current bound: 615
1293.10/1297.49	c current bound: 615
1293.45/1298.09	c current bound: 615
1294.05/1298.69	c current bound: 615
1294.67/1299.30	c current bound: 615
1295.27/1299.90	c current bound: 615
1296.17/1300.51	c current bound: 615
1296.49/1301.12	c current bound: 615
1297.35/1301.73	c current bound: 615
1297.99/1302.51	c current bound: 615
1298.32/1303.12	c current bound: 615
1299.16/1303.73	c current bound: 615
1299.53/1304.33	c current bound: 615
1300.36/1304.94	c current bound: 615
1300.75/1305.55	c current bound: 615
1301.58/1306.15	c current bound: 615
1301.96/1306.76	c current bound: 615
1302.86/1307.57	c current bound: 615
1303.39/1308.18	c current bound: 615
1303.78/1308.78	c current bound: 615
1304.59/1309.39	c current bound: 615
1305.00/1309.99	c current bound: 615
1305.61/1310.59	c current bound: 615
1306.22/1311.19	c current bound: 615
1307.11/1311.80	c current bound: 615
1307.70/1312.61	c current bound: 615
1308.05/1313.22	c current bound: 615
1308.89/1313.83	c current bound: 615
1309.26/1314.43	c current bound: 615
1309.86/1315.03	c current bound: 615
1310.45/1315.64	c current bound: 615
1311.07/1316.24	c current bound: 615
1311.67/1316.85	c current bound: 615
1312.28/1317.68	c current bound: 615
1312.88/1318.28	c current bound: 615
1313.49/1318.88	c current bound: 615
1314.10/1319.49	c current bound: 615
1314.71/1320.09	c current bound: 615
1315.30/1320.69	c current bound: 615
1315.91/1321.30	c current bound: 615
1316.80/1321.90	c current bound: 615
1317.40/1322.69	c current bound: 615
1318.01/1323.30	c current bound: 615
1318.61/1323.90	c current bound: 615
1318.93/1324.50	c current bound: 615
1319.54/1325.11	c current bound: 615
1320.14/1325.71	c current bound: 615
1320.75/1326.31	c current bound: 615
1321.61/1326.91	c current bound: 615
1322.25/1327.75	c current bound: 615
1322.86/1328.47	c current bound: 615
1323.38/1329.08	c current bound: 615
1323.80/1329.69	c current bound: 615
1324.59/1330.29	c current bound: 615
1325.29/1330.90	c current bound: 615
1325.61/1331.51	c current bound: 615
1326.23/1332.11	c current bound: 615
1327.11/1332.91	c current bound: 615
1327.71/1333.51	c current bound: 615
1328.04/1334.11	c current bound: 615
1328.90/1334.72	c current bound: 615
1329.26/1335.32	c current bound: 615
1329.85/1335.93	c current bound: 615
1330.46/1336.53	c current bound: 615
1331.06/1337.14	c current bound: 615
1331.94/1338.08	c current bound: 615
1332.29/1338.68	c current bound: 615
1332.88/1339.29	c current bound: 615
1333.50/1339.89	c current bound: 615
1334.10/1340.50	c current bound: 615
1335.00/1341.11	c current bound: 615
1335.32/1341.71	c current bound: 615
1336.19/1342.32	c current bound: 615
1336.54/1343.09	c current bound: 615
1337.13/1343.69	c current bound: 615
1338.02/1344.30	c current bound: 615
1338.63/1344.90	c current bound: 615
1339.23/1345.51	c current bound: 615
1339.56/1346.11	c current bound: 615
1340.41/1346.72	c current bound: 615
1340.77/1347.32	c current bound: 615
1341.64/1348.29	c current bound: 615
1342.15/1348.90	c current bound: 615
1342.86/1349.50	c current bound: 615
1343.47/1350.10	c current bound: 615
1343.80/1350.70	c current bound: 615
1344.39/1351.31	c current bound: 615
1345.00/1351.91	c current bound: 615
1345.60/1352.52	c current bound: 615
1346.47/1353.27	c current bound: 615
1346.81/1353.87	c current bound: 615
1347.62/1354.47	c current bound: 615
1348.03/1355.08	c current bound: 615
1348.63/1355.68	c current bound: 615
1349.23/1356.28	c current bound: 615
1349.85/1356.89	c current bound: 615
1350.45/1357.49	c current bound: 615
1351.35/1358.10	c current bound: 615
1351.90/1358.73	c current bound: 615
1352.27/1359.33	c current bound: 615
1353.13/1359.94	c current bound: 615
1353.48/1360.54	c current bound: 615
1354.31/1361.14	c current bound: 615
1354.69/1361.74	c current bound: 615
1355.31/1362.35	c current bound: 615
1355.89/1362.95	c current bound: 615
1356.51/1363.55	c current bound: 615
1357.11/1364.15	c current bound: 615
1357.71/1364.76	c current bound: 615
1358.53/1365.36	c current bound: 615
1358.94/1365.97	c current bound: 615
1359.75/1366.57	c current bound: 615
1360.16/1367.17	c current bound: 615
1360.94/1367.77	c current bound: 615
1361.36/1368.39	c current bound: 615
1361.96/1368.99	c current bound: 615
1362.57/1369.59	c current bound: 615
1363.45/1370.20	c current bound: 615
1363.77/1370.80	c current bound: 615
1364.66/1371.40	c current bound: 615
1365.28/1372.01	c current bound: 615
1365.60/1372.61	c current bound: 615
1366.46/1373.21	c current bound: 615
1366.80/1373.82	c current bound: 615
1367.41/1374.42	c current bound: 615
1368.02/1375.03	c current bound: 615
1368.62/1375.63	c current bound: 615
1369.23/1376.23	c current bound: 615
1369.81/1376.83	c current bound: 615
1370.68/1377.44	c current bound: 615
1371.02/1378.04	c current bound: 615
1371.92/1378.81	c current bound: 615
1372.25/1379.41	c current bound: 615
1372.86/1380.02	c current bound: 615
1373.46/1380.62	c current bound: 615
1374.06/1381.22	c current bound: 615
1374.91/1381.82	c current bound: 615
1375.27/1382.43	c current bound: 615
1376.12/1383.05	c current bound: 615
1376.50/1383.82	c current bound: 615
1377.10/1384.43	c current bound: 615
1377.70/1385.03	c current bound: 615
1378.32/1385.64	c current bound: 615
1379.14/1386.24	c current bound: 615
1379.52/1386.84	c current bound: 615
1380.36/1387.45	c current bound: 615
1380.74/1388.05	c current bound: 615
1381.64/1388.80	c current bound: 615
1381.96/1389.40	c current bound: 615
1382.57/1390.01	c current bound: 615
1383.17/1390.61	c current bound: 615
1383.78/1391.21	c current bound: 615
1384.64/1391.81	c current bound: 615
1385.00/1392.42	c current bound: 615
1385.84/1393.02	c current bound: 615
1386.20/1393.62	c current bound: 615
1386.81/1394.28	c current bound: 615
1387.41/1394.88	c current bound: 615
1388.02/1395.49	c current bound: 615
1388.63/1396.09	c current bound: 615
1389.23/1396.69	c current bound: 615
1390.03/1397.30	c current bound: 615
1390.45/1397.90	c current bound: 615
1391.32/1398.53	c current bound: 615
1391.69/1399.13	c current bound: 615
1392.30/1399.74	c current bound: 615
1392.91/1400.35	c current bound: 615
1393.52/1400.95	c current bound: 615
1394.12/1401.55	c current bound: 615
1394.74/1402.16	c current bound: 615
1395.54/1402.76	c current bound: 615
1395.95/1403.37	c current bound: 615
1396.81/1404.13	c current bound: 615
1397.16/1404.73	c current bound: 615
1397.77/1405.34	c current bound: 615
1398.37/1405.94	c current bound: 615
1398.97/1406.54	c current bound: 615
1399.79/1407.15	c current bound: 615
1400.19/1407.75	c current bound: 615
1401.01/1408.36	c current bound: 615
1401.69/1409.10	c current bound: 615
1402.28/1409.70	c current bound: 615
1402.61/1410.31	c current bound: 615
1403.21/1410.91	c current bound: 615
1404.09/1411.52	c current bound: 615
1404.44/1412.12	c current bound: 615
1405.29/1412.72	c current bound: 615
1405.64/1413.33	c current bound: 615
1406.48/1413.93	c current bound: 615
1406.84/1414.57	c current bound: 615
1407.45/1415.17	c current bound: 615
1408.05/1415.78	c current bound: 615
1408.66/1416.38	c current bound: 615
1409.27/1416.99	c current bound: 615
1409.87/1417.59	c current bound: 615
1410.66/1418.19	c current bound: 615
1411.36/1418.80	c current bound: 615
1411.97/1419.40	c current bound: 615
1412.29/1420.01	c current bound: 615
1412.90/1420.61	c current bound: 615
1413.50/1421.21	c current bound: 615
1414.11/1421.82	c current bound: 615
1414.71/1422.42	c current bound: 615
1415.32/1423.02	c current bound: 615
1416.15/1423.63	c current bound: 615
1416.52/1424.24	c current bound: 615
1417.35/1424.86	c current bound: 615
1417.75/1425.46	c current bound: 615
1418.57/1426.07	c current bound: 615
1418.96/1426.67	c current bound: 615
1419.57/1427.28	c current bound: 615
1420.17/1427.89	c current bound: 615
1420.79/1428.49	c current bound: 615
1421.67/1429.39	c current bound: 615
1422.01/1429.99	c current bound: 615
1422.61/1430.59	c current bound: 615
1423.50/1431.20	c current bound: 615
1424.10/1431.80	c current bound: 615
1424.71/1432.41	c current bound: 615
1425.03/1433.01	c current bound: 615
1425.89/1433.61	c current bound: 615
1426.23/1434.35	c current bound: 615
1426.84/1434.95	c current bound: 615
1427.45/1435.56	c current bound: 615
1428.06/1436.16	c current bound: 615
1428.66/1436.76	c current bound: 615
1429.27/1437.37	c current bound: 615
1430.08/1437.97	c current bound: 615
1430.46/1438.57	c current bound: 615
1431.28/1439.18	c current bound: 615
1431.68/1439.81	c current bound: 615
1432.29/1440.41	c current bound: 615
1432.89/1441.01	c current bound: 615
1433.49/1441.62	c current bound: 615
1434.09/1442.22	c current bound: 615
1434.70/1442.82	c current bound: 615
1435.55/1443.43	c current bound: 615
1435.91/1444.03	c current bound: 615
1436.75/1444.63	c current bound: 615
1437.12/1445.24	c current bound: 615
1437.96/1445.84	c current bound: 615
1438.33/1446.45	c current bound: 615
1438.94/1447.05	c current bound: 615
1439.54/1447.65	c current bound: 615
1440.15/1448.25	c current bound: 615
1440.76/1448.86	c current bound: 615
1441.36/1449.62	c current bound: 615
1442.25/1450.23	c current bound: 615
1442.59/1450.83	c current bound: 615
1443.20/1451.43	c current bound: 615
1443.81/1452.03	c current bound: 615
1444.42/1452.64	c current bound: 615
1445.02/1453.24	c current bound: 615
1445.63/1453.84	c current bound: 615
1446.46/1454.45	c current bound: 615
1446.85/1455.11	c current bound: 615
1447.70/1455.71	c current bound: 615
1448.06/1456.32	c current bound: 615
1448.66/1456.92	c current bound: 615
1449.27/1457.52	c current bound: 615
1449.88/1458.13	c current bound: 615
1450.49/1458.73	c current bound: 615
1451.09/1459.33	c current bound: 615
1451.93/1459.93	c current bound: 615
1452.29/1460.54	c current bound: 615
1453.13/1461.14	c current bound: 615
1453.51/1461.74	c current bound: 615
1454.34/1462.35	c current bound: 615
1454.72/1462.95	c current bound: 615
1455.33/1463.56	c current bound: 615
1455.94/1464.16	c current bound: 615
1456.55/1464.94	c current bound: 615
1457.38/1465.54	c current bound: 615
1457.76/1466.14	c current bound: 615
1458.58/1466.75	c current bound: 615
1458.97/1467.35	c current bound: 615
1459.56/1467.96	c current bound: 615
1460.18/1468.56	c current bound: 615
1460.79/1469.16	c current bound: 615
1461.68/1469.92	c current bound: 615
1462.00/1470.53	c current bound: 615
1462.84/1471.13	c current bound: 615
1463.21/1471.75	c current bound: 615
1463.84/1472.36	c current bound: 615
1464.45/1472.96	c current bound: 615
1465.05/1473.57	c current bound: 615
1465.66/1474.17	c current bound: 615
1466.27/1474.96	c current bound: 615
1467.08/1475.57	c current bound: 615
1467.49/1476.17	c current bound: 615
1468.10/1476.78	c current bound: 615
1468.70/1477.38	c current bound: 615
1469.31/1477.99	c current bound: 615
1469.91/1478.59	c current bound: 615
1470.52/1479.21	c current bound: 615
1471.41/1479.97	c current bound: 615
1471.76/1480.57	c current bound: 615
1472.35/1481.18	c current bound: 615
1472.97/1481.78	c current bound: 615
1473.58/1482.39	c current bound: 615
1474.19/1482.99	c current bound: 615
1474.80/1483.59	c current bound: 615
1475.58/1484.20	c current bound: 615
1476.30/1484.98	c current bound: 615
1476.62/1485.59	c current bound: 615
1477.24/1486.19	c current bound: 615
1478.11/1486.80	c current bound: 615
1478.72/1487.40	c current bound: 615
1479.04/1488.01	c current bound: 615
1479.91/1488.61	c current bound: 615
1480.27/1489.22	c current bound: 615
1481.15/1490.00	c current bound: 615
1481.48/1490.61	c current bound: 615
1482.08/1491.21	c current bound: 615
1482.94/1491.81	c current bound: 615
1483.28/1492.41	c current bound: 615
1484.16/1493.02	c current bound: 615
1484.49/1493.62	c current bound: 615
1485.34/1494.23	c current bound: 615
1486.01/1495.00	c current bound: 615
1486.32/1495.60	c current bound: 615
1487.21/1496.21	c current bound: 615
1487.54/1496.82	c current bound: 615
1488.41/1497.42	c current bound: 615
1488.75/1498.02	c current bound: 615
1489.59/1498.63	c current bound: 615
1489.97/1499.23	c current bound: 615
1490.55/1500.00	c current bound: 615
1491.17/1500.60	c current bound: 615
1491.78/1501.20	c current bound: 615
1492.68/1501.81	c current bound: 615
1493.01/1502.42	c current bound: 615
1493.86/1503.02	c current bound: 615
1494.21/1503.62	c current bound: 615
1494.82/1504.22	c current bound: 615
1495.43/1504.82	c current bound: 615
1496.02/1505.48	c current bound: 615
1496.63/1506.08	c current bound: 615
1497.24/1506.68	c current bound: 615
1498.03/1507.29	c current bound: 615
1498.45/1507.89	c current bound: 615
1499.35/1508.50	c current bound: 615
1499.66/1509.10	c current bound: 615
1500.28/1509.71	c current bound: 615
1500.89/1510.31	c current bound: 615
1501.49/1510.92	c current bound: 615
1502.10/1511.52	c current bound: 615
1502.70/1512.12	c current bound: 615
1503.56/1512.73	c current bound: 615
1503.92/1513.33	c current bound: 615
1504.76/1513.93	c current bound: 615
1505.13/1514.54	c current bound: 615
1506.01/1515.31	c current bound: 615
1506.36/1515.92	c current bound: 615
1506.97/1516.53	c current bound: 615
1507.83/1517.14	c current bound: 615
1508.19/1517.75	c current bound: 615
1509.04/1518.36	c current bound: 615
1509.42/1518.97	c current bound: 615
1510.23/1519.58	c current bound: 615
1510.65/1520.37	c current bound: 615
1511.25/1520.98	c current bound: 615
1512.05/1521.59	c current bound: 615
1512.46/1522.19	c current bound: 615
1513.25/1522.79	c current bound: 615
1513.68/1523.39	c current bound: 615
1514.57/1524.00	c current bound: 615
1514.89/1524.60	c current bound: 615
1515.50/1525.37	c current bound: 615
1516.32/1525.97	c current bound: 615
1516.72/1526.57	c current bound: 615
1517.51/1527.19	c current bound: 615
1517.94/1527.79	c current bound: 615
1518.83/1528.40	c current bound: 615
1519.15/1529.00	c current bound: 615
1519.76/1529.61	c current bound: 615
1520.62/1530.39	c current bound: 615
1520.98/1530.99	c current bound: 615
1521.85/1531.60	c current bound: 615
1522.47/1532.20	c current bound: 615
1522.78/1532.81	c current bound: 615
1523.40/1533.41	c current bound: 615
1524.01/1534.01	c current bound: 615
1524.61/1534.62	c current bound: 615
1525.22/1535.39	c current bound: 615
1526.03/1535.99	c current bound: 615
1526.43/1536.59	c current bound: 615
1527.33/1537.20	c current bound: 615
1527.95/1537.80	c current bound: 615
1528.26/1538.47	c current bound: 615
1528.88/1539.07	c current bound: 615
1529.47/1539.67	c current bound: 615
1530.35/1540.42	c current bound: 615
1530.69/1541.02	c current bound: 615
1531.29/1541.63	c current bound: 615
1531.91/1542.23	c current bound: 615
1532.51/1542.84	c current bound: 615
1533.12/1543.44	c current bound: 615
1533.73/1544.04	c current bound: 615
1534.57/1544.65	c current bound: 615
1534.95/1545.25	c current bound: 615
1535.81/1545.91	c current bound: 615
1536.16/1546.52	c current bound: 615
1536.77/1547.12	c current bound: 615
1537.38/1547.72	c current bound: 615
1537.98/1548.33	c current bound: 615
1538.60/1548.93	c current bound: 615
1539.20/1549.53	c current bound: 615
1540.04/1550.14	c current bound: 615
1540.42/1550.74	c current bound: 615
1541.25/1551.34	c current bound: 615
1541.63/1551.95	c current bound: 615
1542.44/1552.55	c current bound: 615
1542.84/1553.15	c current bound: 615
1543.45/1553.76	c current bound: 615
1544.04/1554.38	c current bound: 615
1544.68/1554.99	c current bound: 615
1545.54/1555.72	c current bound: 615
1545.90/1556.32	c current bound: 615
1546.74/1556.92	c current bound: 615
1547.11/1557.55	c current bound: 615
1547.74/1558.15	c current bound: 615
1548.34/1558.76	c current bound: 615
1548.95/1559.36	c current bound: 615
1549.55/1559.97	c current bound: 615
1550.17/1560.58	c current bound: 615
1550.97/1561.18	c current bound: 615
1551.38/1561.79	c current bound: 615
1552.18/1562.39	c current bound: 615
1552.89/1563.00	c current bound: 615
1553.50/1563.60	c current bound: 615
1553.83/1564.20	c current bound: 615
1554.42/1564.81	c current bound: 615
1555.03/1565.41	c current bound: 615
1555.64/1566.01	c current bound: 615
1556.49/1566.62	c current bound: 615
1556.86/1567.23	c current bound: 615
1557.71/1567.83	c current bound: 615
1558.08/1568.44	c current bound: 615
1558.91/1569.04	c current bound: 615
1559.30/1569.65	c current bound: 615
1559.91/1570.25	c current bound: 615
1560.80/1571.02	c current bound: 615
1561.13/1571.62	c current bound: 615
1561.99/1572.23	c current bound: 615
1562.34/1572.83	c current bound: 615
1563.20/1573.48	c current bound: 615
1563.56/1574.08	c current bound: 615
1564.18/1574.69	c current bound: 615
1564.77/1575.29	c current bound: 615
1565.39/1576.03	c current bound: 615
1566.23/1576.64	c current bound: 615
1566.60/1577.24	c current bound: 615
1567.43/1577.84	c current bound: 615
1567.82/1578.45	c current bound: 615
1568.42/1579.05	c current bound: 615
1569.04/1579.66	c current bound: 615
1569.63/1580.26	c current bound: 615
1570.25/1580.87	c current bound: 615
1570.85/1581.64	c current bound: 615
1571.70/1582.24	c current bound: 615
1572.09/1582.85	c current bound: 615
1572.68/1583.45	c current bound: 615
1573.29/1584.07	c current bound: 615
1573.91/1584.68	c current bound: 615
1574.51/1585.28	c current bound: 615
1575.13/1585.89	c current bound: 615
1575.99/1586.53	c current bound: 615
1576.36/1587.14	c current bound: 615
1577.18/1587.74	c current bound: 615
1577.56/1588.35	c current bound: 615
1578.17/1588.96	c current bound: 615
1578.78/1589.57	c current bound: 615
1579.40/1590.18	c current bound: 615
1580.01/1590.78	c current bound: 615
1580.62/1591.38	c current bound: 615
1581.41/1591.99	c current bound: 615
1582.11/1592.60	c current bound: 615
1582.72/1593.20	c current bound: 615
1583.04/1593.80	c current bound: 615
1583.65/1594.41	c current bound: 615
1584.26/1595.01	c current bound: 615
1584.85/1595.62	c current bound: 615
1585.74/1596.42	c current bound: 615
1586.08/1597.03	c current bound: 615
1586.92/1597.63	c current bound: 615
1587.29/1598.24	c current bound: 615
1587.89/1598.84	c current bound: 615
1588.50/1599.45	c current bound: 615
1589.11/1600.06	c current bound: 615
1589.72/1600.66	c current bound: 615
1590.33/1601.38	c current bound: 615
1591.13/1601.99	c current bound: 615
1591.54/1602.59	c current bound: 615
1592.43/1603.20	c current bound: 615
1592.75/1603.80	c current bound: 615
1593.36/1604.41	c current bound: 615
1593.98/1605.01	c current bound: 615
1594.57/1605.62	c current bound: 615
1595.43/1606.22	c current bound: 615
1596.06/1606.90	c current bound: 615
1596.66/1607.50	c current bound: 615
1596.99/1608.11	c current bound: 615
1597.60/1608.71	c current bound: 615
1598.20/1609.32	c current bound: 615
1598.82/1609.92	c current bound: 615
1599.42/1610.53	c current bound: 615
1600.04/1611.14	c current bound: 615
1600.88/1611.75	c current bound: 615
1601.24/1612.35	c current bound: 615
1602.08/1612.95	c current bound: 615
1602.47/1613.56	c current bound: 615
1603.28/1614.16	c current bound: 615
1603.68/1614.77	c current bound: 615
1604.29/1615.38	c current bound: 615
1604.89/1615.98	c current bound: 615
1605.50/1616.72	c current bound: 615
1606.36/1617.33	c current bound: 615
1606.71/1617.93	c current bound: 615
1607.56/1618.53	c current bound: 615
1607.93/1619.14	c current bound: 615
1608.52/1619.74	c current bound: 615
1609.13/1620.35	c current bound: 615
1609.73/1620.95	c current bound: 615
1610.35/1621.55	c current bound: 615
1610.96/1622.22	c current bound: 615
1611.82/1622.82	c current bound: 615
1612.16/1623.43	c current bound: 615
1613.01/1624.03	c current bound: 615
1613.37/1624.63	c current bound: 615
1613.98/1625.24	c current bound: 615
1614.59/1625.84	c current bound: 615
1615.20/1626.45	c current bound: 615
1615.80/1627.05	c current bound: 615
1616.42/1627.67	c current bound: 615
1617.23/1628.27	c current bound: 615
1617.64/1628.87	c current bound: 615
1618.43/1629.48	c current bound: 615
1618.85/1630.08	c current bound: 615
1619.45/1630.69	c current bound: 615
1620.34/1631.30	c current bound: 615
1620.67/1632.05	c current bound: 615
1621.51/1632.65	c current bound: 615
1621.88/1633.26	c current bound: 615
1622.71/1633.86	c current bound: 615
1623.10/1634.46	c current bound: 615
1623.91/1635.07	c current bound: 615
1624.30/1635.67	c current bound: 615
1624.92/1636.28	c current bound: 615
1625.51/1636.88	c current bound: 615
1626.13/1637.54	c current bound: 615
1626.97/1638.14	c current bound: 615
1627.34/1638.75	c current bound: 615
1628.18/1639.35	c current bound: 615
1628.54/1639.96	c current bound: 615
1629.36/1640.56	c current bound: 615
1629.78/1641.18	c current bound: 615
1630.38/1641.78	c current bound: 615
1631.00/1642.39	c current bound: 615
1631.60/1643.00	c current bound: 615
1632.22/1643.60	c current bound: 615
1633.11/1644.20	c current bound: 615
1633.72/1644.80	c current bound: 615
1634.04/1645.41	c current bound: 615
1634.90/1646.01	c current bound: 615
1635.25/1646.62	c current bound: 615
1635.86/1647.38	c current bound: 615
1636.46/1647.99	c current bound: 615
1637.08/1648.59	c current bound: 615
1637.85/1649.20	c current bound: 615
1638.57/1649.80	c current bound: 615
1639.16/1650.40	c current bound: 615
1639.51/1651.03	c current bound: 615
1640.13/1651.63	c current bound: 615
1641.02/1652.44	c current bound: 615
1641.35/1653.04	c current bound: 615
1642.18/1653.65	c current bound: 615
1642.56/1654.25	c current bound: 615
1643.38/1654.87	c current bound: 615
1643.78/1655.47	c current bound: 615
1644.38/1656.08	c current bound: 615
1645.00/1656.68	c current bound: 615
1645.89/1657.39	c current bound: 615
1646.39/1658.00	c current bound: 615
1646.82/1658.61	c current bound: 615
1647.69/1659.21	c current bound: 615
1648.04/1659.82	c current bound: 615
1648.65/1660.42	c current bound: 615
1649.25/1661.03	c current bound: 615
1649.86/1661.63	c current bound: 615
1650.47/1662.23	c current bound: 615
1651.07/1663.03	c current bound: 615
1651.91/1663.64	c current bound: 615
1652.28/1664.24	c current bound: 615
1652.88/1664.85	c current bound: 615
1653.49/1665.45	c current bound: 615
1654.08/1666.05	c current bound: 615
1654.69/1666.66	c current bound: 615
1655.29/1667.27	c current bound: 615
1656.16/1667.92	c current bound: 615
1656.51/1668.52	c current bound: 615
1657.37/1669.13	c current bound: 615
1657.73/1669.73	c current bound: 615
1658.33/1670.33	c current bound: 615
1658.94/1670.94	c current bound: 615
1659.55/1671.54	c current bound: 615
1660.15/1672.15	c current bound: 615
1660.76/1672.75	c current bound: 615
1661.58/1673.35	c current bound: 615
1661.96/1673.96	c current bound: 615
1662.78/1674.56	c current bound: 615
1663.17/1675.18	c current bound: 615
1663.79/1675.78	c current bound: 615
1664.40/1676.39	c current bound: 615
1665.01/1676.99	c current bound: 615
1665.87/1677.74	c current bound: 615
1666.22/1678.34	c current bound: 615
1667.06/1678.95	c current bound: 615
1667.43/1679.55	c current bound: 615
1668.25/1680.16	c current bound: 615
1668.64/1680.76	c current bound: 615
1669.26/1681.37	c current bound: 615
1669.86/1681.97	c current bound: 615
1670.47/1682.58	c current bound: 615
1671.31/1683.23	c current bound: 615
1671.67/1683.84	c current bound: 615
1672.50/1684.44	c current bound: 615
1672.88/1685.05	c current bound: 615
1673.71/1685.65	c current bound: 615
1674.09/1686.26	c current bound: 615
1674.71/1686.87	c current bound: 615
1675.31/1687.48	c current bound: 615
1675.93/1688.08	c current bound: 615
1676.53/1688.69	c current bound: 615
1677.13/1689.29	c current bound: 615
1677.92/1689.89	c current bound: 615
1678.62/1690.50	c current bound: 615
1679.22/1691.10	c current bound: 615
1679.56/1691.71	c current bound: 615
1680.17/1692.31	c current bound: 615
1680.76/1693.05	c current bound: 615
1681.37/1693.66	c current bound: 615
1682.19/1694.26	c current bound: 615
1682.58/1694.87	c current bound: 615
1683.39/1695.47	c current bound: 615
1683.80/1696.07	c current bound: 615
1684.60/1696.68	c current bound: 615
1685.02/1697.28	c current bound: 615
1685.63/1697.91	c current bound: 615
1686.25/1698.51	c current bound: 615
1686.85/1699.12	c current bound: 615
1687.71/1699.73	c current bound: 615
1688.06/1700.33	c current bound: 615
1688.91/1700.93	c current bound: 615
1689.27/1701.54	c current bound: 615
1690.11/1702.14	c current bound: 615
1690.48/1702.74	c current bound: 615
1691.09/1703.36	c current bound: 615
1691.70/1703.96	c current bound: 615
1692.30/1704.57	c current bound: 615
1692.92/1705.19	c current bound: 615
1693.54/1705.79	c current bound: 615
1694.32/1706.40	c current bound: 615
1694.75/1707.01	c current bound: 615
1695.62/1707.62	c current bound: 615
1695.97/1708.37	c current bound: 615
1696.58/1708.98	c current bound: 615
1697.18/1709.58	c current bound: 615
1697.79/1710.18	c current bound: 615
1698.57/1710.79	c current bound: 615
1698.99/1711.39	c current bound: 615
1699.89/1712.00	c current bound: 615
1700.22/1712.60	c current bound: 615
1700.82/1713.21	c current bound: 615
1701.44/1713.85	c current bound: 615
1702.04/1714.46	c current bound: 615
1702.66/1715.07	c current bound: 615
1703.27/1715.67	c current bound: 615
1704.05/1716.28	c current bound: 615
1704.48/1716.88	c current bound: 615
1705.27/1717.48	c current bound: 615
1705.69/1718.09	c current bound: 615
1706.30/1718.69	c current bound: 615
1707.19/1719.30	c current bound: 615
1707.52/1719.91	c current bound: 615
1708.13/1720.51	c current bound: 615
1708.74/1721.11	c current bound: 615
1709.60/1721.72	c current bound: 615
1709.96/1722.32	c current bound: 615
1710.82/1722.93	c current bound: 615
1711.17/1723.66	c current bound: 615
1711.77/1724.26	c current bound: 615
1712.38/1724.87	c current bound: 615
1713.00/1725.48	c current bound: 615
1713.61/1726.08	c current bound: 615
1714.21/1726.69	c current bound: 615
1715.00/1727.29	c current bound: 615
1715.44/1727.89	c current bound: 615
1716.31/1728.51	c current bound: 615
1716.65/1729.18	c current bound: 615
1717.26/1729.78	c current bound: 615
1717.87/1730.39	c current bound: 615
1718.48/1730.99	c current bound: 615
1719.08/1731.60	c current bound: 615
1719.97/1732.20	c current bound: 615
1720.58/1732.81	c current bound: 615
1720.90/1733.41	c current bound: 615
1721.78/1734.01	c current bound: 615
1722.12/1734.62	c current bound: 615
1722.73/1735.22	c current bound: 615
1723.34/1735.83	c current bound: 615
1723.94/1736.43	c current bound: 615
1724.56/1737.04	c current bound: 615
1725.16/1737.64	c current bound: 615
1726.00/1738.24	c current bound: 615
1726.65/1739.10	c current bound: 615
1726.97/1739.70	c current bound: 615
1727.59/1740.31	c current bound: 615
1728.19/1740.91	c current bound: 615
1729.05/1741.51	c current bound: 615
1729.40/1742.12	c current bound: 615
1730.26/1742.72	c current bound: 615
1730.61/1743.32	c current bound: 615
1731.49/1744.10	c current bound: 615
1732.10/1744.70	c current bound: 615
1732.42/1745.30	c current bound: 615
1733.28/1745.91	c current bound: 615
1733.65/1746.52	c current bound: 615
1734.50/1747.12	c current bound: 615
1734.85/1747.72	c current bound: 615
1735.69/1748.33	c current bound: 615
1736.05/1749.05	c current bound: 615
1736.66/1749.65	c current bound: 615
1737.27/1750.25	c current bound: 615
1737.87/1750.86	c current bound: 615
1738.70/1751.46	c current bound: 615
1739.09/1752.06	c current bound: 615
1739.91/1752.67	c current bound: 615
1740.30/1753.27	c current bound: 615
1741.09/1753.87	c current bound: 615
1741.51/1754.54	c current bound: 615
1742.11/1755.14	c current bound: 615
1742.72/1755.75	c current bound: 615
1743.32/1756.35	c current bound: 615
1744.15/1756.95	c current bound: 615
1744.53/1757.56	c current bound: 615
1745.35/1758.16	c current bound: 615
1745.74/1758.76	c current bound: 615
1746.54/1759.37	c current bound: 615
1746.94/1759.97	c current bound: 615
1747.54/1760.57	c current bound: 615
1748.15/1761.17	c current bound: 615
1748.76/1761.78	c current bound: 615
1749.36/1762.39	c current bound: 615
1750.26/1763.00	c current bound: 615
1750.76/1763.60	c current bound: 615
1751.19/1764.35	c current bound: 615
1751.80/1764.95	c current bound: 615
1752.40/1765.56	c current bound: 615
1753.01/1766.17	c current bound: 615
1753.62/1766.77	c current bound: 615
1754.22/1767.38	c current bound: 615
1755.01/1767.98	c current bound: 615
1755.44/1768.59	c current bound: 615
1756.22/1769.19	c current bound: 615
1756.93/1769.80	c current bound: 615
1757.53/1770.40	c current bound: 615
1757.86/1771.00	c current bound: 615
1758.46/1771.61	c current bound: 615
1759.08/1772.21	c current bound: 615
1759.69/1772.82	c current bound: 615
1760.55/1773.43	c current bound: 615
1760.90/1774.03	c current bound: 615
1761.74/1774.64	c current bound: 615
1762.11/1775.24	c current bound: 615
1762.96/1775.84	c current bound: 615
1763.32/1776.45	c current bound: 615
1763.93/1777.05	c current bound: 615
1764.52/1777.66	c current bound: 615
1765.13/1778.26	c current bound: 615
1765.75/1778.86	c current bound: 615
1766.34/1779.62	c current bound: 615
1767.20/1780.23	c current bound: 615
1767.56/1780.83	c current bound: 615
1768.17/1781.44	c current bound: 615
1768.76/1782.06	c current bound: 615
1769.39/1782.67	c current bound: 615
1770.00/1783.27	c current bound: 615
1770.61/1783.87	c current bound: 615
1771.48/1784.66	c current bound: 615
1771.82/1785.27	c current bound: 615
1772.42/1785.87	c current bound: 615
1773.03/1786.47	c current bound: 615
1773.63/1787.08	c current bound: 615
1774.24/1787.68	c current bound: 615
1774.84/1788.29	c current bound: 615
1775.63/1788.89	c current bound: 615
1776.33/1789.63	c current bound: 615
1776.66/1790.24	c current bound: 615
1777.27/1790.84	c current bound: 615
1777.86/1791.45	c current bound: 615
1778.47/1792.05	c current bound: 615
1779.07/1792.65	c current bound: 615
1779.89/1793.26	c current bound: 615
1780.27/1793.86	c current bound: 615
1781.11/1794.47	c current bound: 615
1781.49/1795.11	c current bound: 615
1782.10/1795.72	c current bound: 615
1782.71/1796.32	c current bound: 615
1783.32/1796.92	c current bound: 615
1783.93/1797.53	c current bound: 615
1784.53/1798.13	c current bound: 615
1785.38/1798.74	c current bound: 615
1785.75/1799.34	c current bound: 615
1786.57/1799.95	c current bound: 615
1786.95/1800.55	c current bound: 615
1787.77/1801.15	c current bound: 615
1788.16/1801.76	c current bound: 615
1788.76/1802.37	c current bound: 615
1789.40/1802.97	c current bound: 615
1790.00/1803.58	c current bound: 615
1790.61/1804.19	c current bound: 615
1791.23/1805.07	c current bound: 615
1792.14/1805.79	c current bound: 615
1792.44/1806.29	c current bound: 615
1793.33/1806.90	c current bound: 615
1793.94/1807.50	c current bound: 615
1794.26/1808.11	c current bound: 615
1795.14/1808.72	c current bound: 615
1795.48/1809.33	c current bound: 615
1796.37/1810.31	c current bound: 615
1796.97/1810.91	c current bound: 615
1797.30/1811.51	c current bound: 615
1798.16/1812.12	c current bound: 615
1798.52/1812.73	c current bound: 615
1799.12/1813.34	c current bound: 615
1799.73/1813.94	c current bound: 615
1800.08/1814.00	HOME/npSolver-wbo-Itdqb.sh: line 18:   755 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-3752999-1339204598/watcher-3752999-1339204598 -o /tmp/evaluation-result-3752999-1339204598/solver-3752999-1339204598 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752999-1339204598.wbo 1152343992 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.13 2.37 2.36 3/173 754
/proc/meminfo: memFree=30158848/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0

[startup+0.09346 s]
/proc/loadavg: 1.13 2.37 2.36 3/173 754
/proc/meminfo: memFree=30158848/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100324 s]
/proc/loadavg: 1.13 2.37 2.36 3/173 754
/proc/meminfo: memFree=30158848/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300297 s]
/proc/loadavg: 1.13 2.37 2.36 3/173 754
/proc/meminfo: memFree=30158848/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700265 s]
/proc/loadavg: 1.13 2.37 2.36 3/173 754
/proc/meminfo: memFree=30158848/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 1.13 2.37 2.36 3/184 783
/proc/meminfo: memFree=30046556/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1.32 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 7898 28561 0 0 27 9 76 20 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 32264

[startup+3.10028 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 804
/proc/meminfo: memFree=29964056/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=3.08 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) R 754 754 718 0 -1 4202496 14755 78586 0 0 49 12 184 63 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852196304 4584215 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32264

[startup+6.30037 s]
/proc/loadavg: 1.04 2.33 2.35 3/184 842
/proc/meminfo: memFree=30000952/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=5.56 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 25104 146239 0 0 87 17 326 126 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 59 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 32264

[startup+12.7068 s]
/proc/loadavg: 1.18 2.32 2.35 3/184 919
/proc/meminfo: memFree=30000912/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=11.86 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 49691 326467 0 0 174 28 711 273 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 59 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
[pid=917] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/917/stat : 917 (cp2_post.sh) S 755 754 718 0 -1 4202496 611 224 0 0 0 0 0 0 20 0 1 0 386585391 9367552 266 33554432000 4194304 5064252 140733331754800 140733331753088 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/917/statm: 2287 266 225 213 0 72 0
[pid=919] ppid=917 vsize=10544 CPUtime=0.24 cores=1,3,5,7
/proc/919/stat : 919 (coprocessor) R 917 754 718 0 -1 4202496 2262 0 0 0 14 10 0 0 20 0 1 0 386585391 10797056 1880 33554432000 4194304 6586260 140734894920160 140733331753112 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/919/statm: 2636 1880 148 584 0 2048 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 51956

[startup+25.5003 s]
/proc/loadavg: 1.31 2.31 2.34 3/184 1060
/proc/meminfo: memFree=29961532/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=24.6 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 101309 680206 0 0 353 52 1460 595 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 59 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 32264

[startup+51.1003 s]
/proc/loadavg: 1.54 2.29 2.33 4/185 1368
/proc/meminfo: memFree=30003296/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=50.05 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 204545 1381863 0 0 712 101 2968 1224 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 63 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
[pid=1366] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1366/stat : 1366 (cp2_post.sh) S 755 754 718 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 386589253 9367552 266 33554432000 4194304 5064252 140734365527920 140734365526208 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1366/statm: 2287 266 225 213 0 72 0
[pid=1367] ppid=1366 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/1367/stat : 1367 (cat) S 1366 754 718 0 -1 4202496 215 0 0 0 0 0 0 0 20 0 1 0 386589253 4100096 121 33554432000 4194304 4236627 140733947667392 140733947666488 209883842016 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/1367/statm: 1001 121 96 11 0 67 0
[pid=1368] ppid=1366 vsize=7384 CPUtime=0.02 cores=1,3,5,7
/proc/1368/stat : 1368 (coprocessor) R 1366 754 718 0 -1 4202496 1060 0 0 0 2 0 0 0 20 0 1 0 386589253 7561216 1271 33554432000 4194304 6586260 140734387406704 140734365526232 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1368/statm: 1846 1272 148 584 0 1258 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 52800

[startup+102.3 s]
/proc/loadavg: 1.77 2.22 2.31 3/184 1990
/proc/meminfo: memFree=29996716/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=99.77 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 406101 2753690 0 0 1414 195 5872 2496 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 65 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 99.77
Current children cumulated vsize (KiB) 32264

[startup+162.307 s]
/proc/loadavg: 1.84 2.15 2.27 3/182 2685
/proc/meminfo: memFree=30013880/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=159.13 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 646978 4383407 0 0 2252 311 9421 3929 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 71 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 159.13
Current children cumulated vsize (KiB) 32264

[startup+222.3 s]
/proc/loadavg: 2.20 2.21 2.28 3/185 3362
/proc/meminfo: memFree=29987252/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=217.98 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 808754 6006000 0 0 3083 417 12903 5395 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 74 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 217.98
Current children cumulated vsize (KiB) 32264

[startup+282.3 s]
/proc/loadavg: 2.07 2.17 2.26 4/185 4059
/proc/meminfo: memFree=30000544/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=276.99 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 898486 7627106 0 0 3915 515 16388 6881 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 76 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
[pid=4057] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4057/stat : 4057 (cp2_post.sh) S 755 754 718 0 -1 4202496 609 224 0 0 0 0 0 0 20 0 1 0 386612355 9367552 265 33554432000 4194304 5064252 140734165712560 140734165710848 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4057/statm: 2287 265 225 213 0 72 0
[pid=4059] ppid=4057 vsize=10544 CPUtime=0.19 cores=1,3,5,7

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


[startup+1122.45 s]
/proc/loadavg: 4.66 3.12 2.51 3/183 13624
/proc/meminfo: memFree=29995572/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1111.95 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2152786 30363932 0 0 15557 1950 64840 28848 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 161 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1111.95
Current children cumulated vsize (KiB) 32264

[startup+1182.3 s]
/proc/loadavg: 5.26 3.54 2.69 3/183 14315
/proc/meminfo: memFree=29971600/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1175.72 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2244354 32015529 0 0 16402 2072 68454 30644 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 161 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1175.72
Current children cumulated vsize (KiB) 32264

[startup+1242.3 s]
/proc/loadavg: 3.85 3.55 2.76 3/184 15012
/proc/meminfo: memFree=29948732/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1238.97 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2334086 33656794 0 0 17238 2193 72014 32452 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 163 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1238.97
Current children cumulated vsize (KiB) 32264

[startup+1302.3 s]
/proc/loadavg: 3.12 3.39 2.75 3/189 15863
/proc/meminfo: memFree=29959824/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1297.71 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2423811 35287113 0 0 18069 2291 75483 33928 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 186 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1297.71
Current children cumulated vsize (KiB) 32264

[startup+1362.3 s]
/proc/loadavg: 2.67 3.22 2.73 3/184 16572
/proc/meminfo: memFree=29911968/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1355.31 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2511686 36876888 0 0 18885 2387 78854 35405 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 188 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1355.31
Current children cumulated vsize (KiB) 32264

[startup+1422.3 s]
/proc/loadavg: 2.10 2.97 2.67 3/184 17254
/proc/meminfo: memFree=29917832/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1414.71 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2602336 38524952 0 0 19726 2487 82356 36902 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 192 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1414.71
Current children cumulated vsize (KiB) 32264

[startup+1482.3 s]
/proc/loadavg: 2.03 2.77 2.62 3/183 17947
/proc/meminfo: memFree=29952720/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1473.58 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2692061 40149505 0 0 20557 2587 85826 38388 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 194 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1473.58
Current children cumulated vsize (KiB) 32264

[startup+1542.3 s]
/proc/loadavg: 2.01 2.64 2.58 3/183 18620
/proc/meminfo: memFree=29911720/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1532.26 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) R 754 754 718 0 -1 4202496 2781776 41761355 0 0 21388 2685 89278 39875 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852196304 4619138 0 0 4096 0 0 0 0 17 5 0 0 199 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1532.26
Current children cumulated vsize (KiB) 32264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.52 2.54 3/183 19316
/proc/meminfo: memFree=29950272/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1591.31 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 2871504 43396481 0 0 22222 2786 92741 41382 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 219 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1591.31
Current children cumulated vsize (KiB) 32264

[startup+1662.3 s]
/proc/loadavg: 1.99 2.42 2.50 3/181 20011
/proc/meminfo: memFree=29966880/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1650.81 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) R 754 754 718 0 -1 4202496 2962151 45038565 0 0 23061 2886 96231 42903 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852196304 4537479 0 0 4096 0 0 0 0 17 5 0 0 226 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1650.81
Current children cumulated vsize (KiB) 32264

[startup+1722.3 s]
/proc/loadavg: 2.06 2.36 2.48 3/183 20688
/proc/meminfo: memFree=29948544/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1709.96 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 3051886 46673403 0 0 23896 2986 99707 44407 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195216 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 249 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1709.96
Current children cumulated vsize (KiB) 32264

[startup+1782.31 s]
/proc/loadavg: 2.02 2.29 2.44 3/183 21385
/proc/meminfo: memFree=29940124/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1769.16 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) S 754 754 718 0 -1 4202496 3142529 48307242 0 0 24738 3086 103174 45918 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852195728 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 253 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
[pid=21384] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21384/stat : 21384 (satsolver.sh) S 755 754 718 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386762362 9367552 267 33554432000 4194304 5064252 140733308474352 140733308473264 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21384/statm: 2287 267 226 213 0 72 0
[pid=21385] ppid=21384 vsize=53724 CPUtime=0.13 cores=1,3,5,7
/proc/21385/stat : 21385 (glucose) R 21384 754 718 0 -1 4202496 11188 0 0 0 11 2 0 0 20 0 1 0 386762362 55013376 11792 33554432000 4194304 5208918 140736920382944 140736919332344 4229228 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21385/statm: 13431 11792 95 248 0 13180 0
Current children cumulated CPU time (s) 1769.29
Current children cumulated vsize (KiB) 95136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814 s]
/proc/loadavg: 2.02 2.26 2.43 3/182 21824
/proc/meminfo: memFree=29853348/32873844 swapFree=7632/7632
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (npSolver-wbo-It) S 752 754 718 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386584145 9367552 274 33554432000 4194304 5064252 140734112563648 140734112562560 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 274 233 213 0 72 0
[pid=755] ppid=754 vsize=23116 CPUtime=1800.08 cores=1,3,5,7
/proc/755/stat : 755 (npSolver-wbo) R 754 754 718 0 -1 4202496 3189701 49161854 0 0 25173 3138 104970 46727 20 0 1 0 386584146 23670784 5233 33554432000 4194304 6006132 140734852204368 140734852196304 4537479 0 0 4096 0 0 0 0 17 5 0 0 255 0 0
/proc/755/statm: 5779 5233 177 443 0 5332 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 32264

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1814.01
CPU time (s): 1800.11
CPU user time (s): 1301.45
CPU system time (s): 498.662
CPU usage (%): 99.2338
Max. virtual memory (cumulated for all children) (KiB): 96092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.45
system time used= 498.662
maximum resident set size= 48464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52351930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 49029464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 986606
involuntary context switches= 36747

runsolver used 3.12352 second user time and 7.84881 second system time

The end

Launcher Data 

Begin job on node141 at 2012-06-09 03:16:38
IDJOB=3752999
IDBENCH=79020
IDSOLVER=2336
FILE ID=node141/3752999-1339204598
RUNJOBID= node141-1339204598-735
PBS_JOBID= 14643863
Free space on /tmp= 69144 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl--soft-33-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752999-1339204598/watcher-3752999-1339204598 -o /tmp/evaluation-result-3752999-1339204598/solver-3752999-1339204598 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752999-1339204598.wbo 1152343992 HOME HOME

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

MD5SUM BENCH= 5f8009069df980e2f8c5fa5b8614d35c
RANDOM SEED=1152343992

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30164204 kB
Buffers:          275656 kB
Cached:          1492496 kB
SwapCached:         2544 kB
Active:           497484 kB
Inactive:        1274536 kB
Active(anon):       3916 kB
Inactive(anon):     2324 kB
Active(file):     493568 kB
Inactive(file):  1272212 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098960 kB
Dirty:             10572 kB
Writeback:             0 kB
AnonPages:         10596 kB
Mapped:             8040 kB
Shmem:                 0 kB
Slab:             795788 kB
SReclaimable:     237276 kB
SUnreclaim:       558512 kB
KernelStack:        1400 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69276 MiB
End job on node141 at 2012-06-09 03:46:52