Trace number 3752987

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.13 1800.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-25s.smv--soft-33-100-0.wbo
MD5SUM24165b373ac62bb316922f56a500ddfe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.154976
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5072
Total number of constraints12829
Number of soft constraints8490
Number of constraints which are clauses11721
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1108
Minimum length of a constraint1
Maximum length of a constraint15
Top cost 429589
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 429588
Biggest number in a constraint 165
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
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.19	c run usual solver
0.00/0.97	o 997
0.00/0.97	c starting approximation
0.00/0.97	c factor = 2
0.00/0.97	c factor still to low - shrinking to 50.7872
0.00/0.97	c approx number of clauses: 1e+06
0.00/0.97	c current bound: 498
1.67/2.33	c current bound: 498
2.14/3.07	c current bound: 498
2.87/3.81	c current bound: 498
3.83/4.54	c current bound: 498
4.35/5.28	c current bound: 498
5.09/6.02	c current bound: 498
6.09/6.92	c current bound: 498
6.78/7.65	c current bound: 498
7.58/8.40	c current bound: 498
8.04/9.13	c current bound: 498
8.98/9.87	c current bound: 498
9.51/10.61	c current bound: 498
10.24/11.34	c current bound: 498
11.18/12.08	c current bound: 498
11.72/12.82	c current bound: 498
12.46/13.56	c current bound: 498
13.37/14.29	c current bound: 498
13.93/15.03	c current bound: 498
14.67/15.77	c current bound: 498
15.69/16.51	c current bound: 498
16.15/17.25	c current bound: 498
16.88/17.99	c current bound: 498
17.88/18.73	c current bound: 498
18.36/19.46	c current bound: 498
19.37/20.20	c current bound: 498
20.06/20.94	c current bound: 498
20.57/21.67	c current bound: 498
21.30/22.41	c current bound: 498
22.28/23.15	c current bound: 498
22.79/23.88	c current bound: 498
23.52/24.62	c current bound: 498
24.48/25.35	c current bound: 498
25.27/26.10	c current bound: 498
25.73/26.83	c current bound: 498
26.67/27.57	c current bound: 498
27.21/28.31	c current bound: 498
27.97/29.07	c current bound: 498
28.96/29.81	c current bound: 498
29.44/30.55	c current bound: 498
30.47/31.30	c current bound: 498
31.17/32.04	c current bound: 498
31.68/32.78	c current bound: 498
32.43/33.53	c current bound: 498
33.37/34.27	c current bound: 498
33.91/35.01	c current bound: 498
34.65/35.74	c current bound: 498
35.38/36.48	c current bound: 498
36.12/37.21	c current bound: 498
36.86/37.95	c current bound: 498
37.60/38.69	c current bound: 498
38.34/39.43	c current bound: 498
39.08/40.17	c current bound: 498
39.81/40.91	c current bound: 498
40.54/41.64	c current bound: 498
41.28/42.38	c current bound: 498
42.01/43.12	c current bound: 498
42.75/43.85	c current bound: 498
43.49/44.59	c current bound: 498
44.23/45.33	c current bound: 498
44.97/46.06	c current bound: 498
45.97/46.80	c current bound: 498
46.47/47.56	c current bound: 498
47.20/48.30	c current bound: 498
47.93/49.03	c current bound: 498
48.67/49.77	c current bound: 498
49.68/50.51	c current bound: 498
50.15/51.24	c current bound: 498
50.88/51.98	c current bound: 498
51.86/52.72	c current bound: 498
52.35/53.45	c current bound: 498
53.10/54.19	c current bound: 498
54.08/54.92	c current bound: 498
54.57/55.66	c current bound: 498
55.57/56.40	c current bound: 498
56.27/57.14	c current bound: 498
56.78/57.87	c current bound: 498
57.51/58.62	c current bound: 498
58.46/59.35	c current bound: 498
58.98/60.09	c current bound: 498
59.72/60.83	c current bound: 498
60.65/61.57	c current bound: 498
61.20/62.31	c current bound: 498
61.96/63.06	c current bound: 498
62.87/63.80	c current bound: 498
63.44/64.54	c current bound: 498
64.19/65.28	c current bound: 498
65.16/66.03	c current bound: 498
65.67/66.77	c current bound: 498
66.42/67.52	c current bound: 498
67.38/68.26	c current bound: 498
67.92/69.01	c current bound: 498
68.65/69.75	c current bound: 498
69.68/70.54	c current bound: 498
70.14/71.28	c current bound: 498
70.87/72.02	c current bound: 498
71.81/72.78	c current bound: 498
72.37/73.52	c current bound: 498
73.12/74.26	c current bound: 498
74.14/75.00	c current bound: 498
74.61/75.74	c current bound: 498
75.35/76.48	c current bound: 498
76.09/77.22	c current bound: 498
76.83/77.98	c current bound: 498
77.59/78.72	c current bound: 498
78.33/79.46	c current bound: 498
79.09/80.20	c current bound: 498
79.81/80.94	c current bound: 498
80.85/81.70	c current bound: 498
81.54/82.44	c current bound: 498
82.05/83.18	c current bound: 498
82.79/83.92	c current bound: 498
83.75/84.67	c current bound: 498
84.29/85.41	c current bound: 498
85.03/86.16	c current bound: 498
85.94/86.90	c current bound: 498
86.52/87.64	c current bound: 498
87.26/88.38	c current bound: 498
88.24/89.13	c current bound: 498
88.76/89.89	c current bound: 498
89.52/90.64	c current bound: 498
90.45/91.39	c current bound: 498
91.01/92.13	c current bound: 498
91.75/92.87	c current bound: 498
92.74/93.61	c current bound: 498
93.23/94.35	c current bound: 498
93.98/95.09	c current bound: 498
94.94/95.84	c current bound: 498
95.47/96.58	c current bound: 498
96.20/97.32	c current bound: 498
97.15/98.06	c current bound: 498
97.69/98.81	c current bound: 498
98.43/99.54	c current bound: 498
99.17/100.28	c current bound: 498
99.92/101.02	c current bound: 498
100.66/101.77	c current bound: 498
101.39/102.51	c current bound: 498
102.13/103.25	c current bound: 498
103.17/104.00	c current bound: 498
103.62/104.74	c current bound: 498
104.37/105.48	c current bound: 498
105.11/106.22	c current bound: 498
105.86/106.97	c current bound: 498
106.88/107.71	c current bound: 498
107.34/108.45	c current bound: 498
108.10/109.19	c current bound: 498
109.07/109.93	c current bound: 498
109.57/110.67	c current bound: 498
110.32/111.41	c current bound: 498
111.28/112.15	c current bound: 498
111.79/112.89	c current bound: 498
112.54/113.63	c current bound: 498
113.49/114.38	c current bound: 498
114.02/115.12	c current bound: 498
114.76/115.86	c current bound: 498
115.67/116.60	c current bound: 498
116.24/117.34	c current bound: 498
117.00/118.08	c current bound: 498
117.97/118.83	c current bound: 498
118.48/119.57	c current bound: 498
119.22/120.31	c current bound: 498
120.19/121.06	c current bound: 498
121.00/121.80	c current bound: 498
121.46/122.54	c current bound: 498
122.38/123.28	c current bound: 498
122.94/124.02	c current bound: 498
123.68/124.76	c current bound: 498
124.67/125.51	c current bound: 498
125.43/126.41	c current bound: 498
125.90/127.15	c current bound: 498
126.64/127.89	c current bound: 498
127.61/128.63	c current bound: 498
128.13/129.37	c current bound: 498
128.87/130.12	c current bound: 498
129.83/130.86	c current bound: 498
130.36/131.68	c current bound: 498
131.10/132.43	c current bound: 498
132.07/133.19	c current bound: 498
132.61/133.94	c current bound: 498
133.37/134.69	c current bound: 498
134.37/135.44	c current bound: 498
135.17/136.30	c current bound: 498
135.62/137.03	c current bound: 498
136.35/137.78	c current bound: 498
137.35/138.53	c current bound: 498
137.85/139.29	c current bound: 498
138.61/140.03	c current bound: 498
139.56/140.78	c current bound: 498
140.12/141.53	c current bound: 498
140.87/142.29	c current bound: 498
141.87/143.04	c current bound: 498
142.37/143.79	c current bound: 498
143.12/144.54	c current bound: 498
144.07/145.29	c current bound: 498
144.63/146.04	c current bound: 498
145.38/146.78	c current bound: 498
146.37/147.53	c current bound: 498
146.88/148.28	c current bound: 498
147.63/149.03	c current bound: 498
148.56/149.78	c current bound: 498
149.13/150.53	c current bound: 498
149.87/151.28	c current bound: 498
150.63/152.02	c current bound: 498
151.37/152.77	c current bound: 498
152.13/153.52	c current bound: 498
152.86/154.27	c current bound: 498
153.89/155.02	c current bound: 498
154.37/155.77	c current bound: 498
155.13/156.53	c current bound: 498
156.09/157.27	c current bound: 498
156.64/158.02	c current bound: 498
157.38/158.77	c current bound: 498
158.40/159.52	c current bound: 498
158.88/160.27	c current bound: 498
159.62/161.02	c current bound: 498
160.61/161.78	c current bound: 498
161.13/162.52	c current bound: 498
161.88/163.27	c current bound: 498
162.90/164.02	c current bound: 498
163.37/164.77	c current bound: 498
164.13/165.52	c current bound: 498
165.08/166.27	c current bound: 498
165.65/167.02	c current bound: 498
166.38/167.77	c current bound: 498
167.15/168.53	c current bound: 498
167.91/169.28	c current bound: 498
168.66/170.03	c current bound: 498
169.41/170.76	c current bound: 498
170.41/171.51	c current bound: 498
170.88/172.26	c current bound: 498
171.65/173.02	c current bound: 498
172.61/173.77	c current bound: 498
173.14/174.52	c current bound: 498
173.90/175.27	c current bound: 498
174.92/176.02	c current bound: 498
175.40/176.77	c current bound: 498
176.15/177.52	c current bound: 498
177.12/178.27	c current bound: 498
177.65/179.02	c current bound: 498
178.40/179.77	c current bound: 498
179.42/180.51	c current bound: 498
179.91/181.26	c current bound: 498
180.66/182.01	c current bound: 498
181.63/182.76	c current bound: 498
182.15/183.50	c current bound: 498
182.89/184.26	c current bound: 498
183.65/185.01	c current bound: 498
184.40/185.75	c current bound: 498
185.14/186.49	c current bound: 498
185.87/187.24	c current bound: 498
186.62/187.99	c current bound: 498
187.39/188.74	c current bound: 498
188.14/189.49	c current bound: 498
189.13/190.24	c current bound: 498
189.64/190.98	c current bound: 498
190.38/191.74	c current bound: 498
191.33/192.48	c current bound: 498
191.89/193.22	c current bound: 498
192.63/193.97	c current bound: 498
193.63/194.72	c current bound: 498
194.13/195.47	c current bound: 498
194.88/196.22	c current bound: 498
195.84/196.97	c current bound: 498
196.38/197.72	c current bound: 498
197.12/198.45	c current bound: 498
198.15/199.20	c current bound: 498
198.61/199.95	c current bound: 498
199.66/200.70	c current bound: 498
200.35/201.45	c current bound: 498
201.16/202.20	c current bound: 498
201.62/202.95	c current bound: 498
202.66/203.70	c current bound: 498
203.12/204.45	c current bound: 498
204.16/205.20	c current bound: 498
204.61/205.96	c current bound: 498
205.66/206.72	c current bound: 498
206.14/207.46	c current bound: 498
206.88/208.21	c current bound: 498
207.85/208.96	c current bound: 498
208.65/209.70	c current bound: 498
209.41/210.61	c current bound: 498
210.09/211.35	c current bound: 498
210.60/212.09	c current bound: 498
211.35/212.84	c current bound: 498
212.10/213.58	c current bound: 498
212.84/214.33	c current bound: 498
213.60/215.15	c current bound: 498
214.63/215.90	c current bound: 498
215.31/216.65	c current bound: 498
215.84/217.39	c current bound: 498
216.58/218.14	c current bound: 498
217.53/218.89	c current bound: 498
218.07/219.78	c current bound: 498
218.83/220.53	c current bound: 498
219.77/221.28	c current bound: 498
220.32/222.02	c current bound: 498
221.07/222.77	c current bound: 498
221.81/223.51	c current bound: 498
222.57/224.26	c current bound: 498
223.30/225.01	c current bound: 498
224.06/225.76	c current bound: 498
225.09/226.51	c current bound: 498
225.56/227.26	c current bound: 498
226.32/228.01	c current bound: 498
227.29/228.74	c current bound: 498
227.80/229.49	c current bound: 498
228.54/230.24	c current bound: 498
229.49/230.99	c current bound: 498
230.04/231.74	c current bound: 498
230.80/232.49	c current bound: 498
231.79/233.23	c current bound: 498
232.30/233.98	c current bound: 498
233.04/234.72	c current bound: 498
233.99/235.47	c current bound: 498
234.54/236.22	c current bound: 498
235.29/236.97	c current bound: 498
236.29/237.70	c current bound: 498
236.77/238.46	c current bound: 498
237.52/239.20	c current bound: 498
238.50/239.96	c current bound: 498
239.32/240.70	c current bound: 498
239.79/241.44	c current bound: 498
240.70/242.19	c current bound: 498
241.27/242.94	c current bound: 498
242.02/243.68	c current bound: 498
242.77/244.43	c current bound: 498
243.52/245.18	c current bound: 498
244.27/245.93	c current bound: 498
245.02/246.67	c current bound: 498
246.02/247.42	c current bound: 498
246.52/248.17	c current bound: 498
247.26/248.91	c current bound: 498
248.23/249.66	c current bound: 498
248.75/250.41	c current bound: 498
249.52/251.15	c current bound: 498
250.43/251.90	c current bound: 498
251.00/252.65	c current bound: 498
252.04/253.40	c current bound: 498
252.74/254.15	c current bound: 498
253.55/254.90	c current bound: 498
254.01/255.65	c current bound: 498
255.05/256.40	c current bound: 498
255.50/257.15	c current bound: 498
256.54/257.90	c current bound: 498
257.23/258.65	c current bound: 498
258.05/259.40	c current bound: 498
258.50/260.15	c current bound: 498
259.55/260.90	c current bound: 498
260.00/261.64	c current bound: 498
260.74/262.39	c current bound: 498
261.49/263.13	c current bound: 498
262.25/263.87	c current bound: 498
262.98/264.62	c current bound: 498
263.73/265.39	c current bound: 498
264.75/266.14	c current bound: 498
265.56/266.90	c current bound: 498
266.02/267.63	c current bound: 498
266.96/268.38	c current bound: 498
267.50/269.13	c current bound: 498
268.25/269.88	c current bound: 498
269.27/270.63	c current bound: 498
269.75/271.38	c current bound: 498
270.51/272.12	c current bound: 498
271.45/272.87	c current bound: 498
271.98/273.62	c current bound: 498
272.74/274.37	c current bound: 498
273.75/275.12	c current bound: 498
274.25/275.87	c current bound: 498
274.99/276.62	c current bound: 498
275.95/277.36	c current bound: 498
276.49/278.11	c current bound: 498
277.25/278.86	c current bound: 498
278.00/279.61	c current bound: 498
278.75/280.35	c current bound: 498
279.79/281.10	c current bound: 498
280.24/281.84	c current bound: 498
280.98/282.59	c current bound: 498
281.74/283.34	c current bound: 498
282.48/284.08	c current bound: 498
283.49/284.83	c current bound: 498
283.98/285.58	c current bound: 498
284.74/286.33	c current bound: 498
285.69/287.08	c current bound: 498
286.23/287.83	c current bound: 498
286.97/288.58	c current bound: 498
287.98/289.33	c current bound: 498
288.49/290.08	c current bound: 498
289.23/290.83	c current bound: 498
290.19/291.58	c current bound: 498
290.73/292.33	c current bound: 498
291.49/293.07	c current bound: 498
292.48/293.82	c current bound: 498
292.99/294.57	c current bound: 498
293.72/295.32	c current bound: 498
294.69/296.07	c current bound: 498
295.23/296.82	c current bound: 498
295.96/297.56	c current bound: 498
296.72/298.31	c current bound: 498
297.47/299.07	c current bound: 498
298.23/299.82	c current bound: 498
298.97/300.57	c current bound: 498
299.99/301.31	c current bound: 498
300.47/302.06	c current bound: 498
301.21/302.81	c current bound: 498
302.19/303.56	c current bound: 498
302.71/304.31	c current bound: 498
303.47/305.07	c current bound: 498
304.50/305.81	c current bound: 498
304.99/306.57	c current bound: 498
306.02/307.30	c current bound: 498
306.71/308.05	c current bound: 498
307.52/308.80	c current bound: 498
307.98/309.54	c current bound: 498
308.92/310.29	c current bound: 498
309.46/311.04	c current bound: 498
310.21/311.79	c current bound: 498
311.19/312.54	c current bound: 498
311.72/313.29	c current bound: 498
312.47/314.04	c current bound: 498
313.23/314.78	c current bound: 498
313.95/315.54	c current bound: 498
314.71/316.29	c current bound: 498
315.46/317.04	c current bound: 498
316.21/317.79	c current bound: 498
316.95/318.54	c current bound: 498
317.71/319.28	c current bound: 498
318.71/320.03	c current bound: 498
319.20/320.77	c current bound: 498
319.95/321.51	c current bound: 498
320.91/322.26	c current bound: 498
321.44/323.02	c current bound: 498
322.19/323.77	c current bound: 498
323.22/324.51	c current bound: 498
323.69/325.26	c current bound: 498
324.44/326.01	c current bound: 498
325.42/326.76	c current bound: 498
325.95/327.51	c current bound: 498
326.69/328.26	c current bound: 498
327.71/329.01	c current bound: 498
328.19/329.75	c current bound: 498
328.93/330.51	c current bound: 498
329.91/331.26	c current bound: 498
330.44/332.00	c current bound: 498
331.19/332.74	c current bound: 498
331.92/333.48	c current bound: 498
332.66/334.21	c current bound: 498
333.40/334.96	c current bound: 498
334.15/335.71	c current bound: 498
334.89/336.46	c current bound: 498
335.66/337.21	c current bound: 498
336.41/337.96	c current bound: 498
337.45/338.71	c current bound: 498
337.91/339.46	c current bound: 498
338.66/340.21	c current bound: 498
339.63/340.96	c current bound: 498
340.14/341.71	c current bound: 498
340.91/342.46	c current bound: 498
341.95/343.21	c current bound: 498
342.41/343.96	c current bound: 498
343.43/344.70	c current bound: 498
344.13/345.45	c current bound: 498
344.64/346.19	c current bound: 498
345.40/346.94	c current bound: 498
346.35/347.68	c current bound: 498
346.88/348.42	c current bound: 498
347.62/349.17	c current bound: 498
348.65/349.92	c current bound: 498
349.13/350.67	c current bound: 498
349.87/351.42	c current bound: 498
350.85/352.17	c current bound: 498
351.37/352.92	c current bound: 498
352.13/353.67	c current bound: 498
352.88/354.43	c current bound: 498
353.63/355.18	c current bound: 498
354.41/355.92	c current bound: 498
355.15/356.68	c current bound: 498
356.14/357.43	c current bound: 498
356.65/358.18	c current bound: 498
357.39/358.93	c current bound: 498
358.35/359.68	c current bound: 498
358.89/360.43	c current bound: 498
359.64/361.17	c current bound: 498
360.66/361.92	c current bound: 498
361.15/362.67	c current bound: 498
361.89/363.42	c current bound: 498
362.85/364.17	c current bound: 498
363.38/364.92	c current bound: 498
364.14/365.67	c current bound: 498
365.16/366.41	c current bound: 498
365.64/367.17	c current bound: 498
366.40/367.91	c current bound: 498
367.36/368.66	c current bound: 498
367.88/369.41	c current bound: 498
368.64/370.16	c current bound: 498
369.67/370.90	c current bound: 498
370.13/371.65	c current bound: 498
371.18/372.40	c current bound: 498
371.64/373.15	c current bound: 498
372.39/373.90	c current bound: 498
373.14/374.64	c current bound: 498
373.89/375.39	c current bound: 498
374.87/376.14	c current bound: 498
375.39/376.89	c current bound: 498
376.13/377.64	c current bound: 498
377.08/378.39	c current bound: 498
377.63/379.14	c current bound: 498
378.37/379.89	c current bound: 498
379.38/380.64	c current bound: 498
379.88/381.38	c current bound: 498
380.63/382.13	c current bound: 498
381.59/382.88	c current bound: 498
382.12/383.62	c current bound: 498
382.87/384.37	c current bound: 498
383.88/385.12	c current bound: 498
384.36/385.86	c current bound: 498
385.11/386.62	c current bound: 498
386.07/387.37	c current bound: 498
386.61/388.12	c current bound: 498
387.37/388.86	c current bound: 498
388.11/389.61	c current bound: 498
388.86/390.36	c current bound: 498
389.61/391.11	c current bound: 498
390.37/391.86	c current bound: 498
391.40/392.61	c current bound: 498
391.86/393.36	c current bound: 498
392.63/394.11	c current bound: 498
393.60/394.86	c current bound: 498
394.41/395.60	c current bound: 498
394.86/396.35	c current bound: 498
395.81/397.09	c current bound: 498
396.36/397.84	c current bound: 498
397.10/398.59	c current bound: 498
398.11/399.32	c current bound: 498
398.58/400.07	c current bound: 498
399.35/400.82	c current bound: 498
400.30/401.57	c current bound: 498
400.85/402.32	c current bound: 498
401.60/403.07	c current bound: 498
402.61/403.81	c current bound: 498
403.09/404.56	c current bound: 498
403.83/405.31	c current bound: 498
404.80/406.06	c current bound: 498
405.34/406.81	c current bound: 498
406.09/407.56	c current bound: 498
406.84/408.32	c current bound: 498
407.60/409.06	c current bound: 498
408.35/409.81	c current bound: 498
409.10/410.56	c current bound: 498
410.13/411.31	c current bound: 498
410.61/412.06	c current bound: 498
411.36/412.81	c current bound: 498
412.31/413.56	c current bound: 498
412.85/414.31	c current bound: 498
413.60/415.06	c current bound: 498
414.64/415.80	c current bound: 498
415.10/416.55	c current bound: 498
416.14/417.30	c current bound: 498
416.82/418.04	c current bound: 498
417.33/418.79	c current bound: 498
418.09/419.54	c current bound: 498
419.02/420.29	c current bound: 498
419.58/421.05	c current bound: 498
420.63/421.80	c current bound: 498
421.33/422.55	c current bound: 498
422.14/423.30	c current bound: 498
422.59/424.04	c current bound: 498
423.35/424.77	c current bound: 498
424.07/425.52	c current bound: 498
424.82/426.27	c current bound: 498
425.57/427.02	c current bound: 498
426.32/427.77	c current bound: 498
427.07/428.51	c current bound: 498
427.83/429.26	c current bound: 498
428.84/430.00	c current bound: 498
429.30/430.75	c current bound: 498
430.34/431.50	c current bound: 498
431.04/432.25	c current bound: 498
431.55/433.00	c current bound: 498
432.30/433.73	c current bound: 498
433.24/434.47	c current bound: 498
433.79/435.22	c current bound: 498
434.54/435.96	c current bound: 498
435.57/436.71	c current bound: 498
436.03/437.46	c current bound: 498
437.06/438.20	c current bound: 498
437.76/438.95	c current bound: 498
438.28/439.71	c current bound: 498
439.03/440.45	c current bound: 498
439.97/441.19	c current bound: 498
440.52/441.94	c current bound: 498
441.27/442.69	c current bound: 498
442.26/443.44	c current bound: 498
442.76/444.17	c current bound: 498
443.51/444.92	c current bound: 498
444.45/445.67	c current bound: 498
445.02/446.42	c current bound: 498
445.76/447.17	c current bound: 498
446.51/447.91	c current bound: 498
447.26/448.66	c current bound: 498
448.01/449.41	c current bound: 498
448.75/450.16	c current bound: 498
449.79/450.91	c current bound: 498
450.26/451.64	c current bound: 498
450.99/452.39	c current bound: 498
451.97/453.14	c current bound: 498
452.50/453.89	c current bound: 498
453.24/454.65	c current bound: 498
454.19/455.39	c current bound: 498
454.75/456.15	c current bound: 498
455.80/456.90	c current bound: 498
456.49/457.64	c current bound: 498
457.00/458.39	c current bound: 498
457.75/459.14	c current bound: 498
458.69/459.89	c current bound: 498
459.24/460.63	c current bound: 498
459.98/461.38	c current bound: 498
460.98/462.13	c current bound: 498
461.48/462.88	c current bound: 498
462.24/463.63	c current bound: 498
463.19/464.36	c current bound: 498
464.00/465.10	c current bound: 498
464.46/465.84	c current bound: 498
465.20/466.58	c current bound: 498
465.93/467.31	c current bound: 498
466.67/468.06	c current bound: 498
467.41/468.81	c current bound: 498
468.18/469.56	c current bound: 498
468.92/470.31	c current bound: 498
469.67/471.06	c current bound: 498
470.71/471.81	c current bound: 498
471.18/472.56	c current bound: 498
471.93/473.31	c current bound: 498
472.90/474.07	c current bound: 498
473.43/474.82	c current bound: 498
474.19/475.57	c current bound: 498
475.19/476.31	c current bound: 498
475.68/477.06	c current bound: 498
476.43/477.81	c current bound: 498
477.39/478.57	c current bound: 498
477.94/479.32	c current bound: 498
478.68/480.06	c current bound: 498
479.71/480.80	c current bound: 498
480.19/481.54	c current bound: 498
480.91/482.28	c current bound: 498
481.91/483.02	c current bound: 498
482.39/483.77	c current bound: 498
483.15/484.52	c current bound: 498
484.11/485.26	c current bound: 498
484.65/486.01	c current bound: 498
485.40/486.77	c current bound: 498
486.15/487.52	c current bound: 498
486.90/488.27	c current bound: 498
487.66/489.02	c current bound: 498
488.40/489.76	c current bound: 498
489.41/490.51	c current bound: 498
489.88/491.26	c current bound: 498
490.63/492.01	c current bound: 498
491.62/492.74	c current bound: 498
492.12/493.49	c current bound: 498
492.88/494.24	c current bound: 498
493.83/494.98	c current bound: 498
494.38/495.73	c current bound: 498
495.13/496.48	c current bound: 498
496.13/497.22	c current bound: 498
496.61/497.97	c current bound: 498
497.37/498.72	c current bound: 498
498.34/499.47	c current bound: 498
498.86/500.21	c current bound: 498
499.62/500.96	c current bound: 498
500.64/501.71	c current bound: 498
501.13/502.46	c current bound: 498
501.86/503.21	c current bound: 498
502.84/503.96	c current bound: 498
503.66/504.70	c current bound: 498
504.10/505.45	c current bound: 498
505.15/506.20	c current bound: 498
505.61/506.95	c current bound: 498
506.38/507.69	c current bound: 498
507.11/508.44	c current bound: 498
507.86/509.19	c current bound: 498
508.62/509.94	c current bound: 498
509.37/510.68	c current bound: 498
510.36/511.42	c current bound: 498
510.85/512.17	c current bound: 498
511.60/512.92	c current bound: 498
512.57/513.67	c current bound: 498
513.10/514.42	c current bound: 498
513.85/515.17	c current bound: 498
514.89/515.91	c current bound: 498
515.35/516.66	c current bound: 498
516.10/517.41	c current bound: 498
517.07/518.15	c current bound: 498
517.59/518.89	c current bound: 498
518.33/519.65	c current bound: 498
519.28/520.39	c current bound: 498
519.83/521.14	c current bound: 498
520.58/521.88	c current bound: 498
521.58/522.64	c current bound: 498
522.08/523.38	c current bound: 498
522.83/524.13	c current bound: 498
523.78/524.88	c current bound: 498
524.32/525.67	c current bound: 498
525.07/526.41	c current bound: 498
525.82/527.16	c current bound: 498
526.84/527.91	c current bound: 498
527.33/528.66	c current bound: 498
528.07/529.41	c current bound: 498
529.04/530.16	c current bound: 498
529.58/530.91	c current bound: 498
530.32/531.66	c current bound: 498
531.37/532.40	c current bound: 498
531.82/533.15	c current bound: 498
532.86/533.90	c current bound: 498
533.57/534.64	c current bound: 498
534.06/535.39	c current bound: 498
534.82/536.14	c current bound: 498
535.75/536.87	c current bound: 498
536.28/537.62	c current bound: 498
537.04/538.36	c current bound: 498
538.06/539.11	c current bound: 498
538.54/539.86	c current bound: 498
539.57/540.60	c current bound: 498
540.25/541.35	c current bound: 498
540.78/542.10	c current bound: 498
541.52/542.83	c current bound: 498
542.46/543.56	c current bound: 498
543.26/544.30	c current bound: 498
543.72/545.03	c current bound: 498
544.66/545.77	c current bound: 498
545.20/546.51	c current bound: 498
545.93/547.24	c current bound: 498
546.66/547.97	c current bound: 498
547.40/548.71	c current bound: 498
548.15/549.46	c current bound: 498
549.17/550.20	c current bound: 498
549.63/550.94	c current bound: 498
550.36/551.68	c current bound: 498
551.11/552.42	c current bound: 498
551.85/553.15	c current bound: 498
552.58/553.89	c current bound: 498
553.32/554.63	c current bound: 498
554.04/555.36	c current bound: 498
554.79/556.11	c current bound: 498
555.52/556.84	c current bound: 498
556.26/557.58	c current bound: 498
557.01/558.31	c current bound: 498
557.74/559.05	c current bound: 498
558.47/559.79	c current bound: 498
559.22/560.53	c current bound: 498
559.95/561.27	c current bound: 498
560.97/562.01	c current bound: 498
561.42/562.75	c current bound: 498
562.16/563.48	c current bound: 498
563.15/564.23	c current bound: 498
563.65/564.97	c current bound: 498
564.41/565.73	c current bound: 498
565.35/566.47	c current bound: 498
565.89/567.21	c current bound: 498
566.63/567.95	c current bound: 498
567.56/568.70	c current bound: 498
568.12/569.43	c current bound: 498
568.87/570.19	c current bound: 498
569.87/570.92	c current bound: 498
570.36/571.66	c current bound: 498
571.37/572.40	c current bound: 498
572.07/573.15	c current bound: 498
572.58/573.88	c current bound: 498
573.31/574.62	c current bound: 498
574.25/575.37	c current bound: 498
574.80/576.11	c current bound: 498
575.54/576.85	c current bound: 498
576.47/577.60	c current bound: 498
577.01/578.33	c current bound: 498
577.75/579.07	c current bound: 498
578.75/579.83	c current bound: 498
579.26/580.57	c current bound: 498
580.01/581.31	c current bound: 498
580.96/582.07	c current bound: 498
581.49/582.80	c current bound: 498
582.22/583.54	c current bound: 498
582.96/584.29	c current bound: 498
583.73/585.03	c current bound: 498
584.47/585.77	c current bound: 498
585.19/586.51	c current bound: 498
585.94/587.25	c current bound: 498
586.68/587.99	c current bound: 498
587.42/588.72	c current bound: 498
588.16/589.46	c current bound: 498
589.18/590.20	c current bound: 498
589.65/590.94	c current bound: 498
590.39/591.68	c current bound: 498
591.12/592.42	c current bound: 498
591.86/593.16	c current bound: 498
592.59/593.90	c current bound: 498
593.34/594.64	c current bound: 498
594.08/595.38	c current bound: 498
595.07/596.12	c current bound: 498
595.56/596.86	c current bound: 498
596.58/597.60	c current bound: 498
597.27/598.34	c current bound: 498
597.78/599.08	c current bound: 498
598.53/599.82	c current bound: 498
599.49/600.57	c current bound: 498
600.02/601.31	c current bound: 498
600.75/602.05	c current bound: 498
601.79/602.81	c current bound: 498
602.25/603.55	c current bound: 498
602.99/604.29	c current bound: 498
603.98/605.03	c current bound: 498
604.49/605.77	c current bound: 498
605.23/606.51	c current bound: 498
606.17/607.26	c current bound: 498
606.99/608.00	c current bound: 498
607.44/608.74	c current bound: 498
608.39/609.48	c current bound: 498
608.94/610.22	c current bound: 498
609.66/610.96	c current bound: 498
610.68/611.70	c current bound: 498
611.15/612.44	c current bound: 498
611.89/613.18	c current bound: 498
612.87/613.92	c current bound: 498
613.37/614.66	c current bound: 498
614.39/615.40	c current bound: 498
615.08/616.15	c current bound: 498
615.60/616.89	c current bound: 498
616.34/617.64	c current bound: 498
617.07/618.38	c current bound: 498
617.82/619.11	c current bound: 498
618.55/619.85	c current bound: 498
619.29/620.59	c current bound: 498
620.03/621.33	c current bound: 498
620.76/622.07	c current bound: 498
621.51/622.81	c current bound: 498
622.25/623.54	c current bound: 498
622.98/624.28	c current bound: 498
623.72/625.02	c current bound: 498
624.47/625.76	c current bound: 498
625.21/626.51	c current bound: 498
625.96/627.24	c current bound: 498
626.69/627.98	c current bound: 498
627.43/628.72	c current bound: 498
628.17/629.46	c current bound: 498
629.19/630.20	c current bound: 498
629.66/630.95	c current bound: 498
630.40/631.68	c current bound: 498
631.38/632.42	c current bound: 498
631.88/633.17	c current bound: 498
632.62/633.90	c current bound: 498
633.58/634.65	c current bound: 498
634.11/635.39	c current bound: 498
634.85/636.13	c current bound: 498
635.78/636.87	c current bound: 498
636.33/637.61	c current bound: 498
637.07/638.35	c current bound: 498
638.00/639.09	c current bound: 498
638.57/639.84	c current bound: 498
639.31/640.58	c current bound: 498
640.30/641.32	c current bound: 498
640.79/642.06	c current bound: 498
641.80/642.80	c current bound: 498
642.50/643.54	c current bound: 498
643.01/644.28	c current bound: 498
643.75/645.02	c current bound: 498
644.71/645.76	c current bound: 498
645.51/646.50	c current bound: 498
645.98/647.24	c current bound: 498
646.94/648.06	c current bound: 498
647.47/648.80	c current bound: 498
648.22/649.54	c current bound: 498
648.97/650.28	c current bound: 498
649.70/651.02	c current bound: 498
650.44/651.76	c current bound: 498
651.17/652.65	c current bound: 498
652.09/653.39	c current bound: 498
652.66/654.14	c current bound: 498
653.40/654.87	c current bound: 498
654.39/655.62	c current bound: 498
654.89/656.36	c current bound: 498
655.90/657.10	c current bound: 498
656.61/657.85	c current bound: 498
657.09/658.59	c current bound: 498
657.85/659.34	c current bound: 498
658.79/660.09	c current bound: 498
659.34/660.84	c current bound: 498
660.09/661.59	c current bound: 498
661.08/662.34	c current bound: 498
661.60/663.07	c current bound: 498
662.33/663.81	c current bound: 498
663.29/664.55	c current bound: 498
664.10/665.30	c current bound: 498
664.55/666.05	c current bound: 498
665.31/666.81	c current bound: 498
666.06/667.56	c current bound: 498
666.82/668.31	c current bound: 498
667.58/669.06	c current bound: 498
668.62/669.81	c current bound: 498
669.07/670.55	c current bound: 498
670.11/671.30	c current bound: 498
670.82/672.06	c current bound: 498
671.61/672.80	c current bound: 498
672.07/673.56	c current bound: 498
673.11/674.30	c current bound: 498
673.58/675.04	c current bound: 498
674.32/675.79	c current bound: 498
675.31/676.54	c current bound: 498
675.81/677.29	c current bound: 498
676.55/678.06	c current bound: 498
677.61/678.81	c current bound: 498
678.08/679.56	c current bound: 498
679.11/680.30	c current bound: 498
679.81/681.06	c current bound: 498
680.33/681.81	c current bound: 498
681.09/682.56	c current bound: 498
681.85/683.31	c current bound: 498
682.59/684.05	c current bound: 498
683.34/684.81	c current bound: 498
684.09/685.55	c current bound: 498
684.85/686.30	c current bound: 498
685.59/687.04	c current bound: 498
686.34/687.79	c current bound: 498
687.33/688.54	c current bound: 498
687.83/689.28	c current bound: 498
688.58/690.03	c current bound: 498
689.54/690.78	c current bound: 498
690.08/691.52	c current bound: 498
690.83/692.28	c current bound: 498
691.85/693.05	c current bound: 498
692.34/693.79	c current bound: 498
693.08/694.54	c current bound: 498
694.03/695.28	c current bound: 498
694.59/696.03	c current bound: 498
695.32/696.77	c current bound: 498
696.33/697.52	c current bound: 498
696.81/698.27	c current bound: 498
697.57/699.02	c current bound: 498
698.53/699.77	c current bound: 498
699.07/700.53	c current bound: 498
699.83/701.30	c current bound: 498
700.60/702.05	c current bound: 498
701.36/702.80	c current bound: 498
702.12/703.55	c current bound: 498
703.16/704.30	c current bound: 498
703.86/705.04	c current bound: 498
704.36/705.80	c current bound: 498
705.11/706.55	c current bound: 498
706.04/707.28	c current bound: 498
706.58/708.03	c current bound: 498
707.33/708.78	c current bound: 498
708.34/709.53	c current bound: 498
708.84/710.27	c current bound: 498
709.59/711.02	c current bound: 498
710.54/711.76	c current bound: 498
711.07/712.51	c current bound: 498
711.83/713.26	c current bound: 498
712.85/714.03	c current bound: 498
713.35/714.78	c current bound: 498
714.11/715.52	c current bound: 498
715.06/716.27	c current bound: 498
715.60/717.02	c current bound: 498
716.35/717.78	c current bound: 498
717.11/718.52	c current bound: 498
717.84/719.26	c current bound: 498
718.58/720.01	c current bound: 498
719.33/720.76	c current bound: 498
720.37/721.51	c current bound: 498
720.84/722.25	c current bound: 498
721.87/723.00	c current bound: 498
722.58/723.75	c current bound: 498
723.08/724.49	c current bound: 498
723.82/725.24	c current bound: 498
724.77/725.98	c current bound: 498
725.31/726.73	c current bound: 498
726.07/727.48	c current bound: 498
727.08/728.21	c current bound: 498
727.54/728.96	c current bound: 498
728.57/729.70	c current bound: 498
729.27/730.45	c current bound: 498
729.78/731.19	c current bound: 498
730.53/731.94	c current bound: 498
731.46/732.69	c current bound: 498
732.02/733.44	c current bound: 498
732.77/734.17	c current bound: 498
733.78/734.92	c current bound: 498
734.55/735.70	c current bound: 498
735.00/736.45	c current bound: 498
735.76/737.18	c current bound: 498
736.49/737.93	c current bound: 498
737.24/738.67	c current bound: 498
737.99/739.42	c current bound: 498
738.74/740.17	c current bound: 498
739.49/740.92	c current bound: 498
740.24/741.66	c current bound: 498
741.25/742.41	c current bound: 498
741.74/743.16	c current bound: 498
742.76/743.90	c current bound: 498
743.46/744.65	c current bound: 498
743.97/745.39	c current bound: 498
744.72/746.14	c current bound: 498
745.66/746.88	c current bound: 498
746.20/747.63	c current bound: 498
746.97/748.39	c current bound: 498
747.98/749.14	c current bound: 498
748.49/749.89	c current bound: 498
749.23/750.63	c current bound: 498
750.19/751.38	c current bound: 498
750.73/752.13	c current bound: 498
751.46/752.87	c current bound: 498
752.47/753.62	c current bound: 498
752.96/754.36	c current bound: 498
753.71/755.12	c current bound: 498
754.67/755.86	c current bound: 498
755.49/756.60	c current bound: 498
755.95/757.35	c current bound: 498
756.69/758.08	c current bound: 498
757.43/758.81	c current bound: 498
758.15/759.56	c current bound: 498
758.91/760.32	c current bound: 498
759.66/761.07	c current bound: 498
760.41/761.81	c current bound: 498
761.17/762.56	c current bound: 498
762.19/763.31	c current bound: 498
762.65/764.04	c current bound: 498
763.39/764.77	c current bound: 498
764.38/765.52	c current bound: 498
764.88/766.27	c current bound: 498
765.63/767.02	c current bound: 498
766.59/767.77	c current bound: 498
767.13/768.52	c current bound: 498
767.87/769.26	c current bound: 498
768.89/770.02	c current bound: 498
769.37/770.76	c current bound: 498
770.12/771.51	c current bound: 498
771.10/772.27	c current bound: 498
771.62/773.01	c current bound: 498
772.38/773.76	c current bound: 498
773.39/774.51	c current bound: 498
773.87/775.26	c current bound: 498
774.92/776.00	c current bound: 498
775.60/776.74	c current bound: 498
776.10/777.48	c current bound: 498
776.85/778.22	c current bound: 498
777.80/778.97	c current bound: 498
778.33/779.72	c current bound: 498
779.09/780.47	c current bound: 498
780.11/781.20	c current bound: 498
780.56/781.95	c current bound: 498
781.61/782.70	c current bound: 498
782.07/783.45	c current bound: 498
782.82/784.19	c current bound: 498
783.56/784.94	c current bound: 498
784.32/785.69	c current bound: 498
785.30/786.44	c current bound: 498
785.81/787.18	c current bound: 498
786.55/787.93	c current bound: 498
787.51/788.67	c current bound: 498
788.05/789.42	c current bound: 498
788.80/790.17	c current bound: 498
789.80/790.92	c current bound: 498
790.30/791.67	c current bound: 498
791.04/792.41	c current bound: 498
792.03/793.16	c current bound: 498
792.54/793.91	c current bound: 498
793.28/794.65	c current bound: 498
794.32/795.40	c current bound: 498
794.78/796.15	c current bound: 498
795.83/796.90	c current bound: 498
796.52/797.65	c current bound: 498
797.03/798.42	c current bound: 498
797.81/799.17	c current bound: 498
798.84/799.90	c current bound: 498
799.30/800.65	c current bound: 498
800.04/801.39	c current bound: 498
800.78/802.13	c current bound: 498
801.52/802.87	c current bound: 498
802.26/803.62	c current bound: 498
803.02/804.37	c current bound: 498
804.03/805.11	c current bound: 498
804.50/805.86	c current bound: 498
805.55/806.60	c current bound: 498
806.23/807.35	c current bound: 498
807.05/808.10	c current bound: 498
807.50/808.85	c current bound: 498
808.43/809.59	c current bound: 498
808.99/810.32	c current bound: 498
809.72/811.06	c current bound: 498
810.75/811.80	c current bound: 498
811.21/812.54	c current bound: 498
811.95/813.29	c current bound: 498
812.94/814.03	c current bound: 498
813.44/814.77	c current bound: 498
814.17/815.51	c current bound: 498
815.14/816.25	c current bound: 498
815.66/816.99	c current bound: 498
816.40/817.73	c current bound: 498
817.35/818.47	c current bound: 498
817.89/819.20	c current bound: 498
818.63/819.94	c current bound: 498
819.56/820.69	c current bound: 498
820.11/821.42	c current bound: 498
820.84/822.17	c current bound: 498
821.86/822.91	c current bound: 498
822.33/823.65	c current bound: 498
823.06/824.38	c current bound: 498
824.04/825.13	c current bound: 498
824.55/825.87	c current bound: 498
825.29/826.61	c current bound: 498
826.25/827.35	c current bound: 498
826.79/828.11	c current bound: 498
827.53/828.84	c current bound: 498
828.27/829.58	c current bound: 498
829.01/830.32	c current bound: 498
829.76/831.06	c current bound: 498
830.77/831.80	c current bound: 498
831.23/832.53	c current bound: 498
831.97/833.31	c current bound: 498
832.74/834.06	c current bound: 498
833.49/834.79	c current bound: 498
834.24/835.54	c current bound: 498
834.97/836.29	c current bound: 498
835.96/837.06	c current bound: 498
836.50/837.82	c current bound: 498
837.27/838.57	c current bound: 498
838.27/839.32	c current bound: 498
838.75/840.07	c current bound: 498
839.51/840.82	c current bound: 498
840.47/841.57	c current bound: 498
841.02/842.32	c current bound: 498
841.76/843.06	c current bound: 498
842.76/843.81	c current bound: 498
843.25/844.56	c current bound: 498
844.00/845.31	c current bound: 498
844.97/846.05	c current bound: 498
845.49/846.79	c current bound: 498
846.22/847.54	c current bound: 498
847.17/848.28	c current bound: 498
847.72/849.03	c current bound: 498
848.47/849.78	c current bound: 498
849.22/850.51	c current bound: 498
849.96/851.26	c current bound: 498
850.70/852.01	c current bound: 498
851.44/852.75	c current bound: 498
852.19/853.49	c current bound: 498
852.94/854.24	c current bound: 498
853.67/854.99	c current bound: 498
854.67/855.72	c current bound: 498
855.16/856.47	c current bound: 498
855.90/857.22	c current bound: 498
856.88/857.96	c current bound: 498
857.41/858.71	c current bound: 498
858.17/859.46	c current bound: 498
859.19/860.21	c current bound: 498
859.65/860.96	c current bound: 498
860.70/861.70	c current bound: 498
861.38/862.45	c current bound: 498
862.19/863.20	c current bound: 498
862.64/863.95	c current bound: 498
863.57/864.69	c current bound: 498
864.14/865.43	c current bound: 498
864.89/866.18	c current bound: 498
865.90/866.93	c current bound: 498
866.38/867.68	c current bound: 498
867.13/868.42	c current bound: 498
868.08/869.16	c current bound: 498
868.63/869.90	c current bound: 498
869.37/870.67	c current bound: 498
870.12/871.41	c current bound: 498
870.87/872.16	c current bound: 498
871.62/872.91	c current bound: 498
872.37/873.66	c current bound: 498
873.68/874.41	c current bound: 498
873.89/875.16	c current bound: 498
874.63/875.91	c current bound: 498
875.60/876.66	c current bound: 498
876.42/877.40	c current bound: 498
876.88/878.16	c current bound: 498
877.91/878.91	c current bound: 498
878.38/879.65	c current bound: 498
879.41/880.40	c current bound: 498
880.11/881.15	c current bound: 498
880.92/881.90	c current bound: 498
881.36/882.65	c current bound: 498
882.31/883.39	c current bound: 498
882.86/884.13	c current bound: 498
883.61/884.88	c current bound: 498
884.61/885.62	c current bound: 498
885.11/886.37	c current bound: 498
885.85/887.12	c current bound: 498
886.81/887.86	c current bound: 498
887.34/888.61	c current bound: 498
888.11/889.37	c current bound: 498
888.84/890.12	c current bound: 498
889.59/890.87	c current bound: 498
890.36/891.62	c current bound: 498
891.09/892.36	c current bound: 498
892.13/893.11	c current bound: 498
892.60/893.87	c current bound: 498
893.35/894.61	c current bound: 498
894.32/895.36	c current bound: 498
894.84/896.11	c current bound: 498
895.60/896.85	c current bound: 498
896.52/897.59	c current bound: 498
897.07/898.33	c current bound: 498
897.83/899.08	c current bound: 498
898.84/899.84	c current bound: 498
899.33/900.58	c current bound: 498
900.08/901.34	c current bound: 498
901.03/902.09	c current bound: 498
901.57/902.84	c current bound: 498
902.32/903.58	c current bound: 498
903.33/904.33	c current bound: 498
903.82/905.08	c current bound: 498
904.57/905.83	c current bound: 498
905.51/906.57	c current bound: 498
906.05/907.32	c current bound: 498
906.80/908.07	c current bound: 498
907.55/908.81	c current bound: 498
908.30/909.56	c current bound: 498
909.06/910.31	c current bound: 498
909.79/911.05	c current bound: 498
910.55/911.80	c current bound: 498
911.30/912.55	c current bound: 498
912.33/913.30	c current bound: 498
913.01/914.05	c current bound: 498
913.53/914.79	c current bound: 498
914.28/915.54	c current bound: 498
915.22/916.28	c current bound: 498
915.78/917.03	c current bound: 498
916.53/917.78	c current bound: 498
917.54/918.53	c current bound: 498
918.03/919.28	c current bound: 498
918.78/920.02	c current bound: 498
919.73/920.77	c current bound: 498
920.26/921.51	c current bound: 498
921.02/922.26	c current bound: 498
922.03/923.01	c current bound: 498
922.51/923.76	c current bound: 498
923.27/924.51	c current bound: 498
924.23/925.26	c current bound: 498
924.76/926.01	c current bound: 498
925.52/926.77	c current bound: 498
926.27/927.53	c current bound: 498
927.02/928.27	c current bound: 498
927.77/929.02	c current bound: 498
928.53/929.77	c current bound: 498
929.54/930.52	c current bound: 498
930.02/931.27	c current bound: 498
930.78/932.02	c current bound: 498
931.73/932.78	c current bound: 498
932.27/933.53	c current bound: 498
933.02/934.28	c current bound: 498
934.03/935.02	c current bound: 498
934.53/935.77	c current bound: 498
935.27/936.52	c current bound: 498
936.25/937.27	c current bound: 498
936.77/938.02	c current bound: 498
937.52/938.77	c current bound: 498
938.53/939.52	c current bound: 498
939.02/940.28	c current bound: 498
939.80/941.03	c current bound: 498
940.72/941.77	c current bound: 498
941.28/942.52	c current bound: 498
942.02/943.27	c current bound: 498
942.77/944.02	c current bound: 498
943.53/944.76	c current bound: 498
944.54/945.50	c current bound: 498
945.00/946.26	c current bound: 498
946.05/947.01	c current bound: 498
946.51/947.76	c current bound: 498
947.26/948.51	c current bound: 498
948.24/949.27	c current bound: 498
948.77/950.02	c current bound: 498
949.53/950.77	c current bound: 498
950.54/951.51	c current bound: 498
951.01/952.26	c current bound: 498
951.77/953.01	c current bound: 498
952.72/953.75	c current bound: 498
953.26/954.49	c current bound: 498
953.99/955.23	c current bound: 498
954.94/955.98	c current bound: 498
955.49/956.73	c current bound: 498
956.23/957.48	c current bound: 498
957.24/958.22	c current bound: 498
957.73/958.97	c current bound: 498
958.47/959.72	c current bound: 498
959.44/960.47	c current bound: 498
959.97/961.21	c current bound: 498
960.72/961.96	c current bound: 498
961.47/962.71	c current bound: 498
962.22/963.44	c current bound: 498
962.96/964.19	c current bound: 498
963.71/964.94	c current bound: 498
964.46/965.70	c current bound: 498
965.22/966.44	c current bound: 498
965.95/967.18	c current bound: 498
966.95/967.93	c current bound: 498
967.44/968.68	c current bound: 498
968.20/969.42	c current bound: 498
969.16/970.17	c current bound: 498
969.69/970.92	c current bound: 498
970.45/971.67	c current bound: 498
971.45/972.41	c current bound: 498
971.93/973.16	c current bound: 498
972.67/973.91	c current bound: 498
973.65/974.65	c current bound: 498
974.45/975.40	c current bound: 498
974.93/976.16	c current bound: 498
975.97/976.90	c current bound: 498
976.43/977.65	c current bound: 498
977.47/978.40	c current bound: 498
978.16/979.15	c current bound: 498
978.98/979.90	c current bound: 498
979.72/980.86	c current bound: 498
980.18/981.81	c current bound: 498
980.93/982.56	c current bound: 498
981.95/983.32	c current bound: 498
982.44/984.07	c current bound: 498
983.19/984.82	c current bound: 498
984.16/985.57	c current bound: 498
984.68/986.31	c current bound: 498
985.43/987.06	c current bound: 498
986.48/987.80	c current bound: 498
986.94/988.55	c current bound: 498
987.97/989.30	c current bound: 498
988.67/990.05	c current bound: 498
989.18/990.79	c current bound: 498
989.92/991.54	c current bound: 498
990.87/992.29	c current bound: 498
991.41/993.04	c current bound: 498
992.18/993.77	c current bound: 498
993.17/994.52	c current bound: 498
993.65/995.27	c current bound: 498
994.68/996.00	c current bound: 498
995.35/996.75	c current bound: 498
995.88/997.49	c current bound: 498
996.62/998.24	c current bound: 498
997.55/998.98	c current bound: 498
998.11/999.73	c current bound: 498
998.84/1000.46	c current bound: 498
999.59/1001.21	c current bound: 498
1000.34/1001.96	c current bound: 498
1001.09/1002.70	c current bound: 498
1001.85/1003.45	c current bound: 498
1002.87/1004.20	c current bound: 498
1003.34/1004.95	c current bound: 498
1004.38/1005.70	c current bound: 498
1005.07/1006.45	c current bound: 498
1005.58/1007.19	c current bound: 498
1006.33/1007.94	c current bound: 498
1007.25/1008.68	c current bound: 498
1007.81/1009.43	c current bound: 498
1008.55/1010.16	c current bound: 498
1009.57/1010.91	c current bound: 498
1010.04/1011.66	c current bound: 498
1010.78/1012.41	c current bound: 498
1011.76/1013.15	c current bound: 498
1012.29/1013.91	c current bound: 498
1013.03/1014.67	c current bound: 498
1014.07/1015.41	c current bound: 498
1014.56/1016.17	c current bound: 498
1015.30/1016.92	c current bound: 498
1016.27/1017.66	c current bound: 498
1016.79/1018.41	c current bound: 498
1017.54/1019.16	c current bound: 498
1018.30/1019.91	c current bound: 498
1019.04/1020.66	c current bound: 498
1020.08/1021.40	c current bound: 498
1020.54/1022.15	c current bound: 498
1021.59/1022.90	c current bound: 498
1022.05/1023.65	c current bound: 498
1023.09/1024.40	c current bound: 498
1023.78/1025.15	c current bound: 498
1024.58/1025.90	c current bound: 498
1025.04/1026.63	c current bound: 498
1025.97/1027.39	c current bound: 498
1026.54/1028.14	c current bound: 498
1027.27/1028.88	c current bound: 498
1028.30/1029.64	c current bound: 498
1028.78/1030.39	c current bound: 498
1029.53/1031.12	c current bound: 498
1030.48/1031.87	c current bound: 498
1031.02/1032.62	c current bound: 498
1031.78/1033.37	c current bound: 498
1032.79/1034.11	c current bound: 498
1033.26/1034.86	c current bound: 498
1034.31/1035.60	c current bound: 498
1035.00/1036.36	c current bound: 498
1035.52/1037.11	c current bound: 498
1036.30/1037.87	c current bound: 498
1037.03/1038.62	c current bound: 498
1037.78/1039.36	c current bound: 498
1038.52/1040.11	c current bound: 498
1039.28/1040.86	c current bound: 498
1040.30/1041.62	c current bound: 498
1040.79/1042.38	c current bound: 498
1041.56/1043.13	c current bound: 498
1042.51/1043.88	c current bound: 498
1043.05/1044.63	c current bound: 498
1043.80/1045.38	c current bound: 498
1044.82/1046.12	c current bound: 498
1045.30/1046.87	c current bound: 498
1046.06/1047.61	c current bound: 498
1047.03/1048.37	c current bound: 498
1047.54/1049.11	c current bound: 498
1048.30/1049.86	c current bound: 498
1049.31/1050.62	c current bound: 498
1049.80/1051.37	c current bound: 498
1050.55/1052.11	c current bound: 498
1051.52/1052.86	c current bound: 498
1052.05/1053.61	c current bound: 498
1052.80/1054.35	c current bound: 498
1053.82/1055.10	c current bound: 498
1054.28/1055.84	c current bound: 498
1055.04/1056.59	c current bound: 498
1055.78/1057.34	c current bound: 498
1056.54/1058.09	c current bound: 498
1057.29/1058.84	c current bound: 498
1058.03/1059.58	c current bound: 498
1059.03/1060.33	c current bound: 498
1059.52/1061.08	c current bound: 498
1060.28/1061.83	c current bound: 498
1061.24/1062.58	c current bound: 498
1061.77/1063.32	c current bound: 498
1062.51/1064.07	c current bound: 498
1063.54/1064.83	c current bound: 498
1064.03/1065.58	c current bound: 498
1064.78/1066.33	c current bound: 498
1065.74/1067.08	c current bound: 498
1066.28/1067.82	c current bound: 498
1067.02/1068.57	c current bound: 498
1068.03/1069.32	c current bound: 498
1068.53/1070.07	c current bound: 498
1069.28/1070.82	c current bound: 498
1070.24/1071.57	c current bound: 498
1070.78/1072.32	c current bound: 498
1071.54/1073.07	c current bound: 498
1072.29/1073.82	c current bound: 498
1073.04/1074.57	c current bound: 498
1073.78/1075.31	c current bound: 498
1074.53/1076.06	c current bound: 498
1075.56/1076.81	c current bound: 498
1076.04/1077.56	c current bound: 498
1076.78/1078.31	c current bound: 498
1077.76/1079.06	c current bound: 498
1078.28/1079.81	c current bound: 498
1079.03/1080.56	c current bound: 498
1079.80/1081.31	c current bound: 498
1080.54/1082.06	c current bound: 498
1081.29/1082.81	c current bound: 498
1082.28/1083.57	c current bound: 498
1082.79/1084.31	c current bound: 498
1083.54/1085.06	c current bound: 498
1084.56/1085.82	c current bound: 498
1085.03/1086.57	c current bound: 498
1085.79/1087.32	c current bound: 498
1086.75/1088.05	c current bound: 498
1087.57/1088.80	c current bound: 498
1088.02/1089.55	c current bound: 498
1088.77/1090.28	c current bound: 498
1089.51/1091.02	c current bound: 498
1090.26/1091.77	c current bound: 498
1091.01/1092.52	c current bound: 498
1091.75/1093.26	c current bound: 498
1092.50/1094.01	c current bound: 498
1093.24/1094.76	c current bound: 498
1094.28/1095.51	c current bound: 498
1094.74/1096.26	c current bound: 498
1095.79/1097.00	c current bound: 498
1096.48/1097.75	c current bound: 498
1096.99/1098.51	c current bound: 498
1097.74/1099.25	c current bound: 498
1098.79/1100.01	c current bound: 498
1099.24/1100.76	c current bound: 498
1100.00/1101.51	c current bound: 498
1100.98/1102.25	c current bound: 498
1101.80/1103.00	c current bound: 498
1102.26/1103.75	c current bound: 498
1103.29/1104.50	c current bound: 498
1103.75/1105.24	c current bound: 498
1104.49/1105.99	c current bound: 498
1105.48/1106.72	c current bound: 498
1105.98/1107.47	c current bound: 498
1106.72/1108.21	c current bound: 498
1107.69/1108.96	c current bound: 498
1108.22/1109.72	c current bound: 498
1108.97/1110.47	c current bound: 498
1109.73/1111.22	c current bound: 498
1110.47/1111.97	c current bound: 498
1111.23/1112.72	c current bound: 498
1111.98/1113.46	c current bound: 498
1112.99/1114.21	c current bound: 498
1113.48/1114.96	c current bound: 498
1114.23/1115.71	c current bound: 498
1115.21/1116.46	c current bound: 498
1115.74/1117.21	c current bound: 498
1116.47/1117.95	c current bound: 498
1117.40/1118.70	c current bound: 498
1117.97/1119.44	c current bound: 498
1118.72/1120.19	c current bound: 498
1119.71/1120.94	c current bound: 498
1120.22/1121.68	c current bound: 498
1120.95/1122.43	c current bound: 498
1121.91/1123.17	c current bound: 498
1122.46/1123.92	c current bound: 498
1123.19/1124.66	c current bound: 498
1124.20/1125.41	c current bound: 498
1124.69/1126.15	c current bound: 498
1125.72/1126.90	c current bound: 498
1126.42/1127.65	c current bound: 498
1126.93/1128.39	c current bound: 498
1127.68/1129.14	c current bound: 498
1128.44/1129.89	c current bound: 498
1129.18/1130.64	c current bound: 498
1130.23/1131.40	c current bound: 498
1130.69/1132.15	c current bound: 498
1131.42/1132.89	c current bound: 498
1132.18/1133.62	c current bound: 498
1132.91/1134.37	c current bound: 498
1133.94/1135.13	c current bound: 498
1134.42/1135.88	c current bound: 498
1135.16/1136.63	c current bound: 498
1136.13/1137.36	c current bound: 498
1136.65/1138.11	c current bound: 498
1137.39/1138.86	c current bound: 498
1138.45/1139.61	c current bound: 498
1138.89/1140.35	c current bound: 498
1139.94/1141.10	c current bound: 498
1140.64/1141.84	c current bound: 498
1141.14/1142.58	c current bound: 498
1141.88/1143.33	c current bound: 498
1142.83/1144.08	c current bound: 498
1143.36/1144.83	c current bound: 498
1144.12/1145.58	c current bound: 498
1145.13/1146.33	c current bound: 498
1145.63/1147.08	c current bound: 498
1146.38/1147.82	c current bound: 498
1147.33/1148.57	c current bound: 498
1147.89/1149.33	c current bound: 498
1148.62/1150.08	c current bound: 498
1149.38/1150.82	c current bound: 498
1150.12/1151.58	c current bound: 498
1150.87/1152.32	c current bound: 498
1151.62/1153.07	c current bound: 498
1152.65/1153.82	c current bound: 498
1153.13/1154.56	c current bound: 498
1153.86/1155.33	c current bound: 498
1154.84/1156.08	c current bound: 498
1155.39/1156.82	c current bound: 498
1156.13/1157.57	c current bound: 498
1157.15/1158.32	c current bound: 498
1157.63/1159.06	c current bound: 498
1158.39/1159.81	c current bound: 498
1159.36/1160.55	c current bound: 498
1160.17/1161.30	c current bound: 498
1160.62/1162.05	c current bound: 498
1161.54/1162.79	c current bound: 498
1162.10/1163.54	c current bound: 498
1162.86/1164.29	c current bound: 498
1163.84/1165.04	c current bound: 498
1164.36/1165.79	c current bound: 498
1165.11/1166.54	c current bound: 498
1166.05/1167.28	c current bound: 498
1166.60/1168.02	c current bound: 498
1167.33/1168.77	c current bound: 498
1168.09/1169.52	c current bound: 498
1168.83/1170.26	c current bound: 498
1169.59/1171.01	c current bound: 498
1170.33/1171.76	c current bound: 498
1171.38/1172.51	c current bound: 498
1171.83/1173.26	c current bound: 498
1172.59/1173.99	c current bound: 498
1173.57/1174.74	c current bound: 498
1174.05/1175.49	c current bound: 498
1174.82/1176.25	c current bound: 498
1175.87/1177.00	c current bound: 498
1176.34/1177.75	c current bound: 498
1177.38/1178.50	c current bound: 498
1178.07/1179.24	c current bound: 498
1178.59/1179.99	c current bound: 498
1179.32/1180.74	c current bound: 498
1180.28/1181.48	c current bound: 498
1180.81/1182.23	c current bound: 498
1181.88/1183.00	c current bound: 498
1182.57/1183.75	c current bound: 498
1183.38/1184.50	c current bound: 498
1183.84/1185.24	c current bound: 498
1184.58/1185.98	c current bound: 498
1185.33/1186.71	c current bound: 498
1186.07/1187.47	c current bound: 498
1186.81/1188.22	c current bound: 498
1187.56/1188.97	c current bound: 498
1188.31/1189.71	c current bound: 498
1189.05/1190.46	c current bound: 498
1190.10/1191.21	c current bound: 498
1190.55/1191.95	c current bound: 498
1191.60/1192.70	c current bound: 498
1192.29/1193.45	c current bound: 498
1192.79/1194.19	c current bound: 498
1193.55/1194.94	c current bound: 498
1194.48/1195.69	c current bound: 498
1195.03/1196.44	c current bound: 498
1195.78/1197.19	c current bound: 498
1196.79/1197.94	c current bound: 498
1197.28/1198.68	c current bound: 498
1198.04/1199.43	c current bound: 498
1199.00/1200.18	c current bound: 498
1199.53/1200.91	c current bound: 498
1200.26/1201.67	c current bound: 498
1201.30/1202.42	c current bound: 498
1201.78/1203.18	c current bound: 498
1202.54/1203.92	c current bound: 498
1203.49/1204.66	c current bound: 498
1204.01/1205.39	c current bound: 498
1204.76/1206.14	c current bound: 498
1205.51/1206.88	c current bound: 498
1206.25/1207.63	c current bound: 498
1206.99/1208.38	c current bound: 498
1207.75/1209.13	c current bound: 498
1208.50/1209.88	c current bound: 498
1209.25/1210.63	c current bound: 498
1210.00/1211.38	c current bound: 498
1210.99/1212.13	c current bound: 498
1211.49/1212.88	c current bound: 498
1212.24/1213.63	c current bound: 498
1213.21/1214.37	c current bound: 498
1213.74/1215.12	c current bound: 498
1214.49/1215.87	c current bound: 498
1215.52/1216.61	c current bound: 498
1215.98/1217.35	c current bound: 498
1217.01/1218.10	c current bound: 498
1217.72/1218.85	c current bound: 498
1218.52/1219.60	c current bound: 498
1218.97/1220.35	c current bound: 498
1220.02/1221.10	c current bound: 498
1220.47/1221.85	c current bound: 498
1221.51/1222.60	c current bound: 498
1222.20/1223.36	c current bound: 498
1223.01/1224.10	c current bound: 498
1223.48/1224.85	c current bound: 498
1224.52/1225.60	c current bound: 498
1224.98/1226.35	c current bound: 498
1225.74/1227.09	c current bound: 498
1226.47/1227.83	c current bound: 498
1227.21/1228.57	c current bound: 498
1227.95/1229.32	c current bound: 498
1228.69/1230.06	c current bound: 498
1229.44/1230.79	c current bound: 498
1230.17/1231.52	c current bound: 498
1230.89/1232.26	c current bound: 498
1231.64/1232.99	c current bound: 498
1232.37/1233.73	c current bound: 498
1233.10/1234.47	c current bound: 498
1234.12/1235.20	c current bound: 498
1234.58/1235.94	c current bound: 498
1235.33/1236.68	c current bound: 498
1236.32/1237.41	c current bound: 498
1236.80/1238.15	c current bound: 498
1237.52/1238.88	c current bound: 498
1238.50/1239.62	c current bound: 498
1238.99/1240.35	c current bound: 498
1239.74/1241.09	c current bound: 498
1240.71/1241.82	c current bound: 498
1241.21/1242.56	c current bound: 498
1242.22/1243.30	c current bound: 498
1242.92/1244.03	c current bound: 498
1243.40/1244.77	c current bound: 498
1244.15/1245.51	c current bound: 498
1245.10/1246.24	c current bound: 498
1245.62/1246.98	c current bound: 498
1246.35/1247.71	c current bound: 498
1247.32/1248.45	c current bound: 498
1247.82/1249.19	c current bound: 498
1248.56/1249.93	c current bound: 498
1249.50/1250.67	c current bound: 498
1250.31/1251.40	c current bound: 498
1250.77/1252.14	c current bound: 498
1251.70/1252.88	c current bound: 498
1252.25/1253.61	c current bound: 498
1252.98/1254.35	c current bound: 498
1253.90/1255.09	c current bound: 498
1254.47/1255.83	c current bound: 498
1255.20/1256.57	c current bound: 498
1256.22/1257.31	c current bound: 498
1256.68/1258.05	c current bound: 498
1257.42/1258.79	c current bound: 498
1258.40/1259.53	c current bound: 498
1258.89/1260.27	c current bound: 498
1259.64/1261.01	c current bound: 498
1260.59/1261.75	c current bound: 498
1261.39/1262.50	c current bound: 498
1261.85/1263.24	c current bound: 498
1262.79/1263.99	c current bound: 498
1263.34/1264.73	c current bound: 498
1264.09/1265.46	c current bound: 498
1265.08/1266.21	c current bound: 498
1265.58/1266.95	c current bound: 498
1266.31/1267.69	c current bound: 498
1267.28/1268.44	c current bound: 498
1267.79/1269.19	c current bound: 498
1268.55/1269.95	c current bound: 498
1269.30/1270.69	c current bound: 498
1270.04/1271.43	c current bound: 498
1270.78/1272.17	c current bound: 498
1271.53/1272.91	c current bound: 498
1272.28/1273.64	c current bound: 498
1273.01/1274.38	c current bound: 498
1273.75/1275.12	c current bound: 498
1274.49/1275.86	c current bound: 498
1275.50/1276.60	c current bound: 498
1275.97/1277.34	c current bound: 498
1276.71/1278.08	c current bound: 498
1277.44/1278.82	c current bound: 498
1278.18/1279.56	c current bound: 498
1278.93/1280.30	c current bound: 498
1279.66/1281.04	c current bound: 498
1280.40/1281.78	c current bound: 498
1281.40/1282.52	c current bound: 498
1281.88/1283.26	c current bound: 498
1282.90/1284.00	c current bound: 498
1283.60/1284.74	c current bound: 498
1284.12/1285.49	c current bound: 498
1284.86/1286.23	c current bound: 498
1285.80/1286.97	c current bound: 498
1286.34/1287.71	c current bound: 498
1287.08/1288.45	c current bound: 498
1287.99/1289.19	c current bound: 498
1288.56/1289.93	c current bound: 498
1289.30/1290.68	c current bound: 498
1290.29/1291.43	c current bound: 498
1290.80/1292.17	c current bound: 498
1291.54/1292.92	c current bound: 498
1292.51/1293.67	c current bound: 498
1293.04/1294.41	c current bound: 498
1293.79/1295.15	c current bound: 498
1294.81/1295.90	c current bound: 498
1295.27/1296.64	c current bound: 498
1296.01/1297.38	c current bound: 498
1297.00/1298.13	c current bound: 498
1297.50/1298.86	c current bound: 498
1298.24/1299.60	c current bound: 498
1299.20/1300.36	c current bound: 498
1299.75/1301.11	c current bound: 498
1300.49/1301.85	c current bound: 498
1301.23/1302.59	c current bound: 498
1301.97/1303.33	c current bound: 498
1302.70/1304.07	c current bound: 498
1303.44/1304.81	c current bound: 498
1304.18/1305.55	c current bound: 498
1304.92/1306.28	c current bound: 498
1305.65/1307.02	c current bound: 498
1306.40/1307.77	c current bound: 498
1307.15/1308.52	c current bound: 498
1307.89/1309.26	c current bound: 498
1308.63/1309.99	c current bound: 498
1309.37/1310.73	c current bound: 498
1310.11/1311.47	c current bound: 498
1311.12/1312.21	c current bound: 498
1311.59/1312.95	c current bound: 498
1312.33/1313.69	c current bound: 498
1313.30/1314.43	c current bound: 498
1313.80/1315.17	c current bound: 498
1314.55/1315.91	c current bound: 498
1315.52/1316.65	c current bound: 498
1316.31/1317.40	c current bound: 498
1316.78/1318.14	c current bound: 498
1317.70/1318.88	c current bound: 498
1318.26/1319.63	c current bound: 498
1319.01/1320.37	c current bound: 498
1320.01/1321.11	c current bound: 498
1320.50/1321.85	c current bound: 498
1321.23/1322.59	c current bound: 498
1322.20/1323.34	c current bound: 498
1322.71/1324.09	c current bound: 498
1323.47/1324.82	c current bound: 498
1324.41/1325.57	c current bound: 498
1324.95/1326.31	c current bound: 498
1325.70/1327.05	c current bound: 498
1326.60/1327.79	c current bound: 498
1327.17/1328.53	c current bound: 498
1327.90/1329.27	c current bound: 498
1328.90/1330.01	c current bound: 498
1329.66/1330.84	c current bound: 498
1330.13/1331.58	c current bound: 498
1330.87/1332.33	c current bound: 498
1331.62/1333.07	c current bound: 498
1332.63/1333.80	c current bound: 498
1333.10/1334.54	c current bound: 498
1333.84/1335.29	c current bound: 498
1334.58/1336.02	c current bound: 498
1335.33/1336.77	c current bound: 498
1336.34/1337.51	c current bound: 498
1336.80/1338.24	c current bound: 498
1337.54/1338.98	c current bound: 498
1338.51/1339.73	c current bound: 498
1339.01/1340.46	c current bound: 498
1339.75/1341.21	c current bound: 498
1340.72/1341.94	c current bound: 498
1341.23/1342.69	c current bound: 498
1341.98/1343.43	c current bound: 498
1342.92/1344.17	c current bound: 498
1343.46/1344.91	c current bound: 498
1344.21/1345.65	c current bound: 498
1345.11/1346.40	c current bound: 498
1345.68/1347.13	c current bound: 498
1346.43/1347.87	c current bound: 498
1347.42/1348.61	c current bound: 498
1347.90/1349.35	c current bound: 498
1348.64/1350.09	c current bound: 498
1349.62/1350.83	c current bound: 498
1350.13/1351.58	c current bound: 498
1350.86/1352.32	c current bound: 498
1351.81/1353.06	c current bound: 498
1352.62/1353.80	c current bound: 498
1353.08/1354.54	c current bound: 498
1354.00/1355.29	c current bound: 498
1354.57/1356.03	c current bound: 498
1355.31/1356.77	c current bound: 498
1356.30/1357.52	c current bound: 498
1356.80/1358.26	c current bound: 498
1357.55/1359.01	c current bound: 498
1358.52/1359.75	c current bound: 498
1359.04/1360.49	c current bound: 498
1359.77/1361.22	c current bound: 498
1360.71/1361.98	c current bound: 498
1361.26/1362.72	c current bound: 498
1362.01/1363.45	c current bound: 498
1362.77/1364.22	c current bound: 498
1363.51/1364.96	c current bound: 498
1364.54/1365.86	c current bound: 498
1365.29/1366.60	c current bound: 498
1366.04/1367.51	c current bound: 498
1366.51/1368.25	c current bound: 498
1367.25/1368.99	c current bound: 498
1368.00/1369.73	c current bound: 498
1368.74/1370.47	c current bound: 498
1369.47/1371.21	c current bound: 498
1370.20/1371.95	c current bound: 498
1370.95/1372.69	c current bound: 498
1371.69/1373.43	c current bound: 498
1372.43/1374.16	c current bound: 498
1373.44/1374.90	c current bound: 498
1373.90/1375.65	c current bound: 498
1374.64/1376.39	c current bound: 498
1375.61/1377.13	c current bound: 498
1376.12/1377.87	c current bound: 498
1376.86/1378.61	c current bound: 498
1377.81/1379.35	c current bound: 498
1378.33/1380.09	c current bound: 498
1379.08/1380.83	c current bound: 498
1380.01/1381.57	c current bound: 498
1380.55/1382.31	c current bound: 498
1381.29/1383.05	c current bound: 498
1382.22/1383.79	c current bound: 498
1382.78/1384.53	c current bound: 498
1383.53/1385.27	c current bound: 498
1384.53/1386.02	c current bound: 498
1385.00/1386.75	c current bound: 498
1385.75/1387.49	c current bound: 498
1386.71/1388.23	c current bound: 498
1387.22/1388.97	c current bound: 498
1387.95/1389.71	c current bound: 498
1388.91/1390.46	c current bound: 498
1389.71/1391.20	c current bound: 498
1390.18/1391.94	c current bound: 498
1391.12/1392.69	c current bound: 498
1391.67/1393.43	c current bound: 498
1392.41/1394.17	c current bound: 498
1393.40/1394.92	c current bound: 498
1393.89/1395.65	c current bound: 498
1394.64/1396.39	c current bound: 498
1395.61/1397.13	c current bound: 498
1396.12/1397.88	c current bound: 498
1396.86/1398.62	c current bound: 498
1397.80/1399.36	c current bound: 498
1398.61/1400.10	c current bound: 498
1399.07/1400.85	c current bound: 498
1399.82/1401.59	c current bound: 498
1400.55/1402.33	c current bound: 498
1401.29/1403.07	c current bound: 498
1402.03/1403.81	c current bound: 498
1402.77/1404.55	c current bound: 498
1403.52/1405.29	c current bound: 498
1404.26/1406.03	c current bound: 498
1405.00/1406.77	c current bound: 498
1406.01/1407.50	c current bound: 498
1406.47/1408.24	c current bound: 498
1407.21/1408.98	c current bound: 498
1407.95/1409.72	c current bound: 498
1408.71/1410.48	c current bound: 498
1409.69/1411.22	c current bound: 498
1410.19/1411.96	c current bound: 498
1411.21/1412.70	c current bound: 498
1411.90/1413.44	c current bound: 498
1412.42/1414.18	c current bound: 498
1413.14/1414.93	c current bound: 498
1414.10/1415.69	c current bound: 498
1414.66/1416.43	c current bound: 498
1415.39/1417.17	c current bound: 498
1416.40/1417.91	c current bound: 498
1416.89/1418.65	c current bound: 498
1417.62/1419.39	c current bound: 498
1418.60/1420.14	c current bound: 498
1419.11/1420.88	c current bound: 498
1419.85/1421.62	c current bound: 498
1420.80/1422.36	c current bound: 498
1421.60/1423.10	c current bound: 498
1422.06/1423.85	c current bound: 498
1422.99/1424.59	c current bound: 498
1423.55/1425.33	c current bound: 498
1424.29/1426.07	c current bound: 498
1425.29/1426.82	c current bound: 498
1425.78/1427.56	c current bound: 498
1426.79/1428.30	c current bound: 498
1427.49/1429.04	c current bound: 498
1428.01/1429.78	c current bound: 498
1428.74/1430.52	c current bound: 498
1429.69/1431.27	c current bound: 498
1430.24/1432.01	c current bound: 498
1430.98/1432.75	c current bound: 498
1431.73/1433.49	c current bound: 498
1432.46/1434.23	c current bound: 498
1433.20/1434.96	c current bound: 498
1434.22/1435.77	c current bound: 498
1434.95/1436.51	c current bound: 498
1435.41/1437.25	c current bound: 498
1436.15/1437.98	c current bound: 498
1437.13/1438.73	c current bound: 498
1437.63/1439.47	c current bound: 498
1438.37/1440.21	c current bound: 498
1439.33/1440.95	c current bound: 498
1439.85/1441.69	c current bound: 498
1440.59/1442.43	c current bound: 498
1441.52/1443.17	c current bound: 498
1442.07/1443.91	c current bound: 498
1442.82/1444.65	c current bound: 498
1443.73/1445.39	c current bound: 498
1444.30/1446.14	c current bound: 498
1445.04/1446.87	c current bound: 498
1446.03/1447.62	c current bound: 498
1446.52/1448.35	c current bound: 498
1447.26/1449.09	c current bound: 498
1448.23/1449.84	c current bound: 498
1448.74/1450.58	c current bound: 498
1449.48/1451.32	c current bound: 498
1450.45/1452.07	c current bound: 498
1450.99/1452.81	c current bound: 498
1451.72/1453.55	c current bound: 498
1452.74/1454.30	c current bound: 498
1453.21/1455.04	c current bound: 498
1453.95/1455.79	c current bound: 498
1454.92/1456.54	c current bound: 498
1455.44/1457.29	c current bound: 498
1456.19/1458.03	c current bound: 498
1457.13/1458.78	c current bound: 498
1457.69/1459.52	c current bound: 498
1458.43/1460.26	c current bound: 498
1459.45/1461.00	c current bound: 498
1459.91/1461.74	c current bound: 498
1460.65/1462.48	c current bound: 498
1461.39/1463.21	c current bound: 498
1462.13/1463.95	c current bound: 498
1462.87/1464.69	c current bound: 498
1463.61/1465.43	c current bound: 498
1464.34/1466.17	c current bound: 498
1465.09/1466.91	c current bound: 498
1465.83/1467.65	c current bound: 498
1466.56/1468.39	c current bound: 498
1467.31/1469.14	c current bound: 498
1468.06/1469.88	c current bound: 498
1469.04/1470.62	c current bound: 498
1469.54/1471.36	c current bound: 498
1470.55/1472.10	c current bound: 498
1471.25/1472.85	c current bound: 498
1472.07/1473.60	c current bound: 498
1472.52/1474.35	c current bound: 498
1473.46/1475.10	c current bound: 498
1474.03/1475.85	c current bound: 498
1474.77/1476.59	c current bound: 498
1475.76/1477.34	c current bound: 498
1476.27/1478.09	c current bound: 498
1477.02/1478.84	c current bound: 498
1477.97/1479.58	c current bound: 498
1478.53/1480.33	c current bound: 498
1479.28/1481.08	c current bound: 498
1480.27/1481.83	c current bound: 498
1480.76/1482.58	c current bound: 498
1481.52/1483.31	c current bound: 498
1482.48/1484.06	c current bound: 498
1483.01/1484.81	c current bound: 498
1483.78/1485.57	c current bound: 498
1484.51/1486.32	c current bound: 498
1485.27/1487.06	c current bound: 498
1486.02/1487.81	c current bound: 498
1486.77/1488.56	c current bound: 498
1487.81/1489.31	c current bound: 498
1488.28/1490.06	c current bound: 498
1489.02/1490.81	c current bound: 498
1490.00/1491.56	c current bound: 498
1490.53/1492.31	c current bound: 498
1491.28/1493.06	c current bound: 498
1492.32/1493.80	c current bound: 498
1492.77/1494.55	c current bound: 498
1493.82/1495.30	c current bound: 498
1494.52/1496.05	c current bound: 498
1495.01/1496.79	c current bound: 498
1495.77/1497.54	c current bound: 498
1496.71/1498.28	c current bound: 498
1497.27/1499.03	c current bound: 498
1498.01/1499.77	c current bound: 498
1499.00/1500.51	c current bound: 498
1499.49/1501.26	c current bound: 498
1500.23/1502.01	c current bound: 498
1501.20/1502.76	c current bound: 498
1502.01/1503.50	c current bound: 498
1502.48/1504.24	c current bound: 498
1503.23/1504.98	c current bound: 498
1503.96/1505.79	c current bound: 498
1504.71/1506.53	c current bound: 498
1505.45/1507.27	c current bound: 498
1506.43/1508.02	c current bound: 498
1506.91/1508.76	c current bound: 498
1507.94/1509.50	c current bound: 498
1508.63/1510.24	c current bound: 498
1509.13/1510.98	c current bound: 498
1509.88/1511.72	c current bound: 498
1510.83/1512.46	c current bound: 498
1511.65/1513.20	c current bound: 498
1512.10/1513.94	c current bound: 498
1513.03/1514.68	c current bound: 498
1513.59/1515.42	c current bound: 498
1514.34/1516.16	c current bound: 498
1515.35/1516.91	c current bound: 498
1515.81/1517.65	c current bound: 498
1516.56/1518.38	c current bound: 498
1517.54/1519.13	c current bound: 498
1518.05/1519.87	c current bound: 498
1518.80/1520.61	c current bound: 498
1519.73/1521.36	c current bound: 498
1520.55/1522.10	c current bound: 498
1521.01/1522.84	c current bound: 498
1521.94/1523.58	c current bound: 498
1522.50/1524.34	c current bound: 498
1523.25/1525.07	c current bound: 498
1524.25/1525.82	c current bound: 498
1524.74/1526.56	c current bound: 498
1525.76/1527.30	c current bound: 498
1526.43/1528.05	c current bound: 498
1526.96/1528.79	c current bound: 498
1527.70/1529.53	c current bound: 498
1528.64/1530.28	c current bound: 498
1529.19/1531.01	c current bound: 498
1529.93/1531.75	c current bound: 498
1530.68/1532.49	c current bound: 498
1531.41/1533.23	c current bound: 498
1532.15/1533.97	c current bound: 498
1532.89/1534.71	c current bound: 498
1533.63/1535.45	c current bound: 498
1534.38/1536.19	c current bound: 498
1535.10/1536.93	c current bound: 498
1535.86/1537.67	c current bound: 498
1536.59/1538.41	c current bound: 498
1537.35/1539.15	c current bound: 498
1538.08/1539.89	c current bound: 498
1538.81/1540.63	c current bound: 498
1539.55/1541.37	c current bound: 498
1540.58/1542.11	c current bound: 498
1541.03/1542.85	c current bound: 498
1541.78/1543.59	c current bound: 498
1542.75/1544.34	c current bound: 498
1543.26/1545.09	c current bound: 498
1544.01/1545.83	c current bound: 498
1544.97/1546.58	c current bound: 498
1545.50/1547.32	c current bound: 498
1546.25/1548.06	c current bound: 498
1547.15/1548.80	c current bound: 498
1547.73/1549.56	c current bound: 498
1548.77/1550.30	c current bound: 498
1549.47/1551.04	c current bound: 498
1549.97/1551.78	c current bound: 498
1550.71/1552.52	c current bound: 498
1551.66/1553.27	c current bound: 498
1552.19/1554.00	c current bound: 498
1552.93/1554.75	c current bound: 498
1553.86/1555.49	c current bound: 498
1554.42/1556.23	c current bound: 498
1555.16/1556.98	c current bound: 498
1556.15/1557.71	c current bound: 498
1556.64/1558.46	c current bound: 498
1557.66/1559.20	c current bound: 498
1558.36/1559.95	c current bound: 498
1558.89/1560.69	c current bound: 498
1559.62/1561.44	c current bound: 498
1560.66/1562.20	c current bound: 498
1561.13/1562.94	c current bound: 498
1561.85/1563.68	c current bound: 498
1562.59/1564.42	c current bound: 498
1563.34/1565.16	c current bound: 498
1564.36/1565.90	c current bound: 498
1564.83/1566.64	c current bound: 498
1565.57/1567.38	c current bound: 498
1566.31/1568.12	c current bound: 498
1567.05/1568.86	c current bound: 498
1567.79/1569.60	c current bound: 498
1568.53/1570.35	c current bound: 498
1569.27/1571.09	c current bound: 498
1570.26/1571.83	c current bound: 498
1570.75/1572.57	c current bound: 498
1571.75/1573.30	c current bound: 498
1572.46/1574.04	c current bound: 498
1572.97/1574.78	c current bound: 498
1573.70/1575.52	c current bound: 498
1574.65/1576.26	c current bound: 498
1575.17/1577.01	c current bound: 498
1575.92/1577.75	c current bound: 498
1576.83/1578.49	c current bound: 498
1577.39/1579.23	c current bound: 498
1578.14/1579.96	c current bound: 498
1579.15/1580.71	c current bound: 498
1579.62/1581.45	c current bound: 498
1580.37/1582.19	c current bound: 498
1581.34/1582.93	c current bound: 498
1581.85/1583.68	c current bound: 498
1582.59/1584.42	c current bound: 498
1583.55/1585.16	c current bound: 498
1584.07/1585.91	c current bound: 498
1584.82/1586.65	c current bound: 498
1585.86/1587.40	c current bound: 498
1586.32/1588.15	c current bound: 498
1587.06/1588.91	c current bound: 498
1588.04/1589.66	c current bound: 498
1588.58/1590.41	c current bound: 498
1589.35/1591.17	c current bound: 498
1590.10/1591.92	c current bound: 498
1590.84/1592.68	c current bound: 498
1591.61/1593.43	c current bound: 498
1592.36/1594.17	c current bound: 498
1593.36/1594.92	c current bound: 498
1593.84/1595.66	c current bound: 498
1594.60/1596.41	c current bound: 498
1595.56/1597.16	c current bound: 498
1596.09/1597.90	c current bound: 498
1596.84/1598.65	c current bound: 498
1597.77/1599.40	c current bound: 498
1598.34/1600.15	c current bound: 498
1599.08/1600.89	c current bound: 498
1600.07/1601.64	c current bound: 498
1600.58/1602.39	c current bound: 498
1601.34/1603.14	c current bound: 498
1602.28/1603.87	c current bound: 498
1602.82/1604.62	c current bound: 498
1603.57/1605.38	c current bound: 498
1604.56/1606.13	c current bound: 498
1605.08/1606.88	c current bound: 498
1605.81/1607.63	c current bound: 498
1606.78/1608.38	c current bound: 498
1607.32/1609.13	c current bound: 498
1608.07/1609.88	c current bound: 498
1608.82/1610.62	c current bound: 498
1609.57/1611.37	c current bound: 498
1610.33/1612.12	c current bound: 498
1611.08/1612.87	c current bound: 498
1612.09/1613.62	c current bound: 498
1612.57/1614.37	c current bound: 498
1613.32/1615.11	c current bound: 498
1614.29/1615.86	c current bound: 498
1614.82/1616.61	c current bound: 498
1615.57/1617.36	c current bound: 498
1616.60/1618.10	c current bound: 498
1617.06/1618.85	c current bound: 498
1617.82/1619.61	c current bound: 498
1618.80/1620.36	c current bound: 498
1619.32/1621.11	c current bound: 498
1620.08/1621.87	c current bound: 498
1621.09/1622.61	c current bound: 498
1621.57/1623.36	c current bound: 498
1622.31/1624.11	c current bound: 498
1623.29/1624.87	c current bound: 498
1623.83/1625.62	c current bound: 498
1624.58/1626.37	c current bound: 498
1625.34/1627.12	c current bound: 498
1626.10/1627.86	c current bound: 498
1626.82/1628.61	c current bound: 498
1627.58/1629.36	c current bound: 498
1628.62/1630.11	c current bound: 498
1629.08/1630.85	c current bound: 498
1630.11/1631.60	c current bound: 498
1630.80/1632.36	c current bound: 498
1631.62/1633.10	c current bound: 498
1632.08/1633.85	c current bound: 498
1633.01/1634.60	c current bound: 498
1633.57/1635.36	c current bound: 498
1634.61/1636.10	c current bound: 498
1635.31/1636.86	c current bound: 498
1635.84/1637.59	c current bound: 498
1636.58/1638.34	c current bound: 498
1637.52/1639.08	c current bound: 498
1638.06/1639.83	c current bound: 498
1638.81/1640.58	c current bound: 498
1639.81/1641.33	c current bound: 498
1640.31/1642.08	c current bound: 498
1641.07/1642.83	c current bound: 498
1642.00/1643.58	c current bound: 498
1642.55/1644.32	c current bound: 498
1643.29/1645.06	c current bound: 498
1644.04/1645.86	c current bound: 498
1645.08/1646.61	c current bound: 498
1645.53/1647.35	c current bound: 498
1646.57/1648.10	c current bound: 498
1647.27/1648.85	c current bound: 498
1647.78/1649.59	c current bound: 498
1648.53/1650.34	c current bound: 498
1649.47/1651.09	c current bound: 498
1650.02/1651.84	c current bound: 498
1650.77/1652.59	c current bound: 498
1651.78/1653.34	c current bound: 498
1652.27/1654.08	c current bound: 498
1653.03/1654.83	c current bound: 498
1653.96/1655.59	c current bound: 498
1654.53/1656.35	c current bound: 498
1655.29/1657.09	c current bound: 498
1656.28/1657.84	c current bound: 498
1656.78/1658.59	c current bound: 498
1657.52/1659.34	c current bound: 498
1658.48/1660.08	c current bound: 498
1659.02/1660.83	c current bound: 498
1659.76/1661.57	c current bound: 498
1660.51/1662.32	c current bound: 498
1661.26/1663.07	c current bound: 498
1662.03/1663.82	c current bound: 498
1662.77/1664.57	c current bound: 498
1663.77/1665.32	c current bound: 498
1664.27/1666.07	c current bound: 498
1665.02/1666.83	c current bound: 498
1665.99/1667.58	c current bound: 498
1666.54/1668.33	c current bound: 498
1667.28/1669.08	c current bound: 498
1668.30/1669.83	c current bound: 498
1668.78/1670.57	c current bound: 498
1669.52/1671.32	c current bound: 498
1670.50/1672.07	c current bound: 498
1671.03/1672.83	c current bound: 498
1671.78/1673.58	c current bound: 498
1672.79/1674.33	c current bound: 498
1673.29/1675.08	c current bound: 498
1674.05/1675.85	c current bound: 498
1675.10/1676.60	c current bound: 498
1675.57/1677.35	c current bound: 498
1676.60/1678.10	c current bound: 498
1677.07/1678.85	c current bound: 498
1678.12/1679.60	c current bound: 498
1678.58/1680.35	c current bound: 498
1679.33/1681.09	c current bound: 498
1680.32/1681.83	c current bound: 498
1680.82/1682.58	c current bound: 498
1681.57/1683.32	c current bound: 498
1682.52/1684.06	c current bound: 498
1683.05/1684.82	c current bound: 498
1683.81/1685.57	c current bound: 498
1684.83/1686.32	c current bound: 498
1685.31/1687.07	c current bound: 498
1686.06/1687.81	c current bound: 498
1687.02/1688.56	c current bound: 498
1687.55/1689.31	c current bound: 498
1688.29/1690.06	c current bound: 498
1689.31/1690.81	c current bound: 498
1689.80/1691.56	c current bound: 498
1690.56/1692.29	c current bound: 498
1691.53/1693.03	c current bound: 498
1692.03/1693.78	c current bound: 498
1692.78/1694.53	c current bound: 498
1693.73/1695.28	c current bound: 498
1694.27/1696.02	c current bound: 498
1695.02/1696.77	c current bound: 498
1695.77/1697.53	c current bound: 498
1696.54/1698.28	c current bound: 498
1697.28/1699.02	c current bound: 498
1698.02/1699.77	c current bound: 498
1699.05/1700.52	c current bound: 498
1699.53/1701.27	c current bound: 498
1700.29/1702.02	c current bound: 498
1701.25/1702.77	c current bound: 498
1701.78/1703.52	c current bound: 498
1702.54/1704.28	c current bound: 498
1703.54/1705.02	c current bound: 498
1704.04/1705.77	c current bound: 498
1704.79/1706.52	c current bound: 498
1705.75/1707.27	c current bound: 498
1706.29/1708.02	c current bound: 498
1707.04/1708.77	c current bound: 498
1708.06/1709.51	c current bound: 498
1708.54/1710.26	c current bound: 498
1709.28/1711.01	c current bound: 498
1710.25/1711.75	c current bound: 498
1711.06/1712.50	c current bound: 498
1711.53/1713.26	c current bound: 498
1712.28/1714.02	c current bound: 498
1713.03/1714.76	c current bound: 498
1713.79/1715.51	c current bound: 498
1714.54/1716.26	c current bound: 498
1715.57/1717.01	c current bound: 498
1716.04/1717.76	c current bound: 498
1716.79/1718.51	c current bound: 498
1717.77/1719.27	c current bound: 498
1718.31/1720.02	c current bound: 498
1719.05/1720.78	c current bound: 498
1720.10/1721.85	c current bound: 498
1720.75/1722.60	c current bound: 498
1721.32/1723.35	c current bound: 498
1722.35/1724.10	c current bound: 498
1723.06/1724.84	c current bound: 498
1723.56/1725.59	c current bound: 498
1724.31/1726.33	c current bound: 498
1725.25/1727.08	c current bound: 498
1725.81/1727.83	c current bound: 498
1726.54/1728.57	c current bound: 498
1727.55/1729.31	c current bound: 498
1728.03/1730.06	c current bound: 498
1728.77/1730.80	c current bound: 498
1729.74/1731.55	c current bound: 498
1730.27/1732.30	c current bound: 498
1731.02/1733.04	c current bound: 498
1731.77/1733.79	c current bound: 498
1732.51/1734.54	c current bound: 498
1733.26/1735.29	c current bound: 498
1734.01/1736.04	c current bound: 498
1734.76/1736.78	c current bound: 498
1735.51/1737.53	c current bound: 498
1736.25/1738.28	c current bound: 498
1737.25/1739.02	c current bound: 498
1737.76/1739.76	c current bound: 498
1738.49/1740.49	c current bound: 498
1739.47/1741.24	c current bound: 498
1739.97/1741.99	c current bound: 498
1740.72/1742.73	c current bound: 498
1741.67/1743.49	c current bound: 498
1742.22/1744.24	c current bound: 498
1742.97/1744.99	c current bound: 498
1743.97/1745.75	c current bound: 498
1744.50/1746.51	c current bound: 498
1745.25/1747.26	c current bound: 498
1746.27/1748.01	c current bound: 498
1746.73/1748.76	c current bound: 498
1747.78/1749.50	c current bound: 498
1748.47/1750.25	c current bound: 498
1748.99/1750.99	c current bound: 498
1749.74/1751.74	c current bound: 498
1750.48/1752.48	c current bound: 498
1751.22/1753.23	c current bound: 498
1751.97/1753.98	c current bound: 498
1752.73/1754.73	c current bound: 498
1753.46/1755.48	c current bound: 498
1754.23/1756.22	c current bound: 498
1754.97/1756.97	c current bound: 498
1755.99/1757.72	c current bound: 498
1756.48/1758.47	c current bound: 498
1757.22/1759.21	c current bound: 498
1758.19/1759.96	c current bound: 498
1758.72/1760.73	c current bound: 498
1759.49/1761.48	c current bound: 498
1760.49/1762.22	c current bound: 498
1760.98/1762.97	c current bound: 498
1761.75/1763.72	c current bound: 498
1762.71/1764.47	c current bound: 498
1763.24/1765.21	c current bound: 498
1763.99/1765.96	c current bound: 498
1765.01/1766.70	c current bound: 498
1765.48/1767.45	c current bound: 498
1766.23/1768.19	c current bound: 498
1767.20/1768.94	c current bound: 498
1767.73/1769.69	c current bound: 498
1768.48/1770.44	c current bound: 498
1769.43/1771.18	c current bound: 498
1769.96/1771.93	c current bound: 498
1770.71/1772.68	c current bound: 498
1771.46/1773.42	c current bound: 498
1772.21/1774.17	c current bound: 498
1772.96/1774.92	c current bound: 498
1773.71/1775.67	c current bound: 498
1774.73/1776.42	c current bound: 498
1775.21/1777.17	c current bound: 498
1775.97/1777.92	c current bound: 498
1776.92/1778.67	c current bound: 498
1777.45/1779.42	c current bound: 498
1778.23/1780.19	c current bound: 498
1779.23/1780.93	c current bound: 498
1779.72/1781.67	c current bound: 498
1780.46/1782.42	c current bound: 498
1781.43/1783.16	c current bound: 498
1781.95/1783.91	c current bound: 498
1782.70/1784.66	c current bound: 498
1783.72/1785.40	c current bound: 498
1784.21/1786.15	c current bound: 498
1785.23/1786.90	c current bound: 498
1785.93/1787.65	c current bound: 498
1786.74/1788.40	c current bound: 498
1787.19/1789.15	c current bound: 498
1787.95/1789.88	c current bound: 498
1788.68/1790.63	c current bound: 498
1789.44/1791.38	c current bound: 498
1790.19/1792.13	c current bound: 498
1790.93/1792.88	c current bound: 498
1791.68/1793.63	c current bound: 498
1792.45/1794.37	c current bound: 498
1793.45/1795.12	c current bound: 498
1793.94/1795.87	c current bound: 498
1794.68/1796.62	c current bound: 498
1795.64/1797.36	c current bound: 498
1796.18/1798.11	c current bound: 498
1796.93/1798.85	c current bound: 498
1797.86/1799.60	c current bound: 498
1798.42/1800.34	c current bound: 498
1799.06/1800.71	./satsolver.sh: line 5: 10536 Terminated              ./glucose $1 > $2 2> /dev/null
1799.06/1800.71	c error: unexpected solver exit code
1799.06/1800.71	s UNKNOWN

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.03 1.37 2/180 25961
/proc/meminfo: memFree=30632940/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0

[startup+0.091966 s]
/proc/loadavg: 0.92 1.03 1.37 2/180 25961
/proc/meminfo: memFree=30632940/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10029 s]
/proc/loadavg: 0.92 1.03 1.37 2/180 25961
/proc/meminfo: memFree=30632940/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300171 s]
/proc/loadavg: 0.92 1.03 1.37 2/180 25961
/proc/meminfo: memFree=30632940/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700116 s]
/proc/loadavg: 0.92 1.03 1.37 2/180 25961
/proc/meminfo: memFree=30632940/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 0.92 1.03 1.37 3/183 25985
/proc/meminfo: memFree=30549488/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1.41 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 7564 27350 0 0 27 12 95 7 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 39276

[startup+3.10027 s]
/proc/loadavg: 1.09 1.06 1.38 2/185 25991
/proc/meminfo: memFree=30527180/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=2.45 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) R 25961 25961 25670 0 -1 4202496 12085 48913 0 0 38 13 165 29 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870545416 5056705 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 39276
heavy processes:

[startup+6.3002 s]
/proc/loadavg: 1.09 1.06 1.38 3/185 26022
/proc/meminfo: memFree=30517088/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=5.46 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 24279 114981 0 0 77 19 368 82 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 39276

[startup+12.7003 s]
/proc/loadavg: 1.23 1.09 1.38 3/185 26081
/proc/meminfo: memFree=30520280/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=11.72 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 46582 263939 0 0 145 27 806 194 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 39276

[startup+25.5002 s]
/proc/loadavg: 1.34 1.12 1.39 3/185 26207
/proc/meminfo: memFree=30516848/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=24.63 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 96741 551990 0 0 297 46 1693 427 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 24.63
Current children cumulated vsize (KiB) 39276

[startup+51.1003 s]
/proc/loadavg: 1.49 1.18 1.40 3/186 26448
/proc/meminfo: memFree=30521068/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=50.15 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 191506 1137093 0 0 584 81 3442 908 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 39276

[startup+102.307 s]
/proc/loadavg: 1.80 1.31 1.43 3/186 26958
/proc/meminfo: memFree=30475584/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=101.39 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 379210 2297624 0 0 1192 156 6897 1894 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 39276

[startup+162.3 s]
/proc/loadavg: 1.98 1.44 1.47 3/185 27514
/proc/meminfo: memFree=30496468/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=161.13 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 561290 3644451 0 0 1886 241 10946 3040 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 161.13
Current children cumulated vsize (KiB) 39276

[startup+222.3 s]
/proc/loadavg: 1.94 1.53 1.49 3/182 28076
/proc/meminfo: memFree=30497912/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=220.71 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 738045 4978379 0 0 2558 326 14995 4192 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 220.71
Current children cumulated vsize (KiB) 39276

[startup+282.3 s]
/proc/loadavg: 2.04 1.62 1.53 3/185 28632
/proc/meminfo: memFree=30443732/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=280.63 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 872845 6316466 0 0 3231 403 19064 5365 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 280.63
Current children cumulated vsize (KiB) 39276

[startup+342.3 s]
/proc/loadavg: 1.86 1.66 1.55 3/185 29199
/proc/meminfo: memFree=30418400/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=340.91 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 1007652 7669559 0 0 3904 480 23165 6542 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 4 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 39276

[startup+402.3 s]
/proc/loadavg: 2.00 1.73 1.57 3/185 29762
/proc/meminfo: memFree=30513212/32873844 swapFree=7124/7124

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

/proc/meminfo: memFree=30438408/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1300.86 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 1919539 29255007 0 0 14831 1649 88491 25115 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
[pid=5832] ppid=25962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5832/stat : 5832 (satsolver.sh) S 25962 25961 25670 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 32254454 9367552 266 33554432000 4194304 5064252 140735897460704 140735897459616 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5832/statm: 2287 266 226 213 0 72 0
[pid=5833] ppid=5832 vsize=53636 CPUtime=0.34 cores=0,2,4,6
/proc/5833/stat : 5833 (glucose) R 5832 25961 25670 0 -1 4202496 11478 0 0 0 33 1 0 0 20 0 1 0 32254455 54923264 12083 33554432000 4194304 5208918 140734760329632 140734760327304 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5833/statm: 13409 12083 105 248 0 13158 0
Current children cumulated CPU time (s) 1301.2
Current children cumulated vsize (KiB) 102060

[startup+1362.3 s]
/proc/loadavg: 2.10 2.04 1.85 3/186 6396
/proc/meminfo: memFree=30457292/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1360.9 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 1973242 30616757 0 0 15556 1725 92551 26258 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1360.9
Current children cumulated vsize (KiB) 39276

[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.86 3/185 6970
/proc/meminfo: memFree=30511768/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1420.59 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2026289 31974087 0 0 16273 1800 96605 27381 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
[pid=6968] ppid=25962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6968/stat : 6968 (cp2_post.sh) S 25962 25961 25670 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 32266468 9367552 265 33554432000 4194304 5064252 140735861793280 140735861791568 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6968/statm: 2287 265 225 213 0 72 0
[pid=6970] ppid=6968 vsize=10440 CPUtime=0.21 cores=0,2,4,6
/proc/6970/stat : 6970 (coprocessor) R 6968 25961 25670 0 -1 4202496 2358 0 0 0 14 7 0 0 20 0 1 0 32266468 10690560 1876 33554432000 4194304 6586260 140733517042896 140733517039464 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6970/statm: 2610 1876 148 584 0 2022 0
Current children cumulated CPU time (s) 1420.8
Current children cumulated vsize (KiB) 58864

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 1.87 4/185 7531
/proc/meminfo: memFree=30512024/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1480.76 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2079992 33335764 0 0 16991 1875 100684 28526 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1480.76
Current children cumulated vsize (KiB) 39276

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 1.88 3/185 8098
/proc/meminfo: memFree=30491416/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1540.67 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2133688 34683353 0 0 17703 1948 104729 29687 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1540.67
Current children cumulated vsize (KiB) 39276

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.88 3/185 8658
/proc/meminfo: memFree=30477960/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1600.58 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2186735 36030820 0 0 18406 2023 108797 30832 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1600.58
Current children cumulated vsize (KiB) 39276

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 1.89 3/185 9222
/proc/meminfo: memFree=30416832/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1660.51 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2239775 37380556 0 0 19078 2095 112891 31987 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1660.51
Current children cumulated vsize (KiB) 39276

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.90 3/185 9785
/proc/meminfo: memFree=30513076/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1720.21 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2292808 38709318 0 0 19749 2168 116948 33156 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1720.21
Current children cumulated vsize (KiB) 39276

[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 1.91 3/185 10350
/proc/meminfo: memFree=30469548/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1780.46 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2345855 40067806 0 0 20421 2240 121063 34322 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870542896 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (KiB) 39276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.07 2.04 1.91 2/176 10550
/proc/meminfo: memFree=30550956/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1798.8 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2362423 40473127 0 0 20630 2263 122304 34683 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
[pid=10535] ppid=25962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10535/stat : 10535 (satsolver.sh) S 25962 25961 25670 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 32304303 9367552 267 33554432000 4194304 5064252 140734125524448 140734125523360 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10535/statm: 2287 267 226 213 0 72 0
[pid=10536] ppid=10535 vsize=53360 CPUtime=0.26 cores=0,2,4,6
/proc/10536/stat : 10536 (glucose) R 10535 25961 25670 0 -1 4202496 11546 0 0 0 24 2 0 0 20 0 1 0 32304303 54640640 12160 33554432000 4194304 5208918 140735561892864 140734125523384 4211918 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 13340 12160 95 248 0 13089 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 101784

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.71 s]
/proc/loadavg: 2.07 2.04 1.91 2/176 10550
/proc/meminfo: memFree=30550956/32873844 swapFree=7124/7124
[pid=25961] ppid=25959 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25961/stat : 25961 (npSolver-wbo-It) S 25959 25961 25670 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 32124259 9367552 275 33554432000 4194304 5064252 140736451733824 140736451732736 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25961/statm: 2287 275 233 213 0 72 0
[pid=25962] ppid=25961 vsize=30128 CPUtime=1798.8 cores=0,2,4,6
/proc/25962/stat : 25962 (npSolver-wbo) S 25961 25961 25670 0 -1 4202496 2362423 40473127 0 0 20630 2263 122304 34683 20 0 1 0 32124259 30851072 6699 33554432000 4194304 6006132 140733870552048 140733870543408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 7 0 0
/proc/25962/statm: 7532 6699 177 443 0 7085 0
[pid=10535] ppid=25962 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10535/stat : 10535 (satsolver.sh) S 25962 25961 25670 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 32304303 9367552 267 33554432000 4194304 5064252 140734125524448 140734125523360 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10535/statm: 2287 267 226 213 0 72 0
[pid=10536] ppid=10535 vsize=53360 CPUtime=0.26 cores=0,2,4,6
/proc/10536/stat : 10536 (glucose) R 10535 25961 25670 0 -1 4202496 11546 0 0 0 24 2 0 0 20 0 1 0 32304303 54640640 12160 33554432000 4194304 5208918 140735561892864 140734125523384 4211918 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10536/statm: 13340 12160 95 248 0 13089 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 101784

Child status: 0

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

Real time (s): 1800.72
CPU time (s): 1800.13
CPU user time (s): 1430.44
CPU system time (s): 369.692
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 102568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1429.6
system time used= 369.502
maximum resident set size= 48940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42848085
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41629408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 850612
involuntary context switches= 30439

runsolver used 3.78143 second user time and 9.73052 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-09 07:59:32
IDJOB=3752987
IDBENCH=79001
IDSOLVER=2336
FILE ID=node134/3752987-1339221572
RUNJOBID= node134-1339221572-25932
PBS_JOBID= 14644291
Free space on /tmp= 71144 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-25s.smv--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-3752987-1339221572/watcher-3752987-1339221572 -o /tmp/evaluation-result-3752987-1339221572/solver-3752987-1339221572 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752987-1339221572.wbo 372262569 HOME HOME

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

MD5SUM BENCH= 24165b373ac62bb316922f56a500ddfe
RANDOM SEED=372262569

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30634640 kB
Buffers:          412940 kB
Cached:           968036 kB
SwapCached:            0 kB
Active:           535692 kB
Inactive:         861680 kB
Active(anon):       2136 kB
Inactive(anon):    11184 kB
Active(file):     533556 kB
Inactive(file):   850496 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             17444 kB
Writeback:             8 kB
AnonPages:         18008 kB
Mapped:            13476 kB
Shmem:               212 kB
Slab:             700744 kB
SReclaimable:     143288 kB
SUnreclaim:       557456 kB
KernelStack:        1424 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 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= 71128 MiB
End job on node134 at 2012-06-09 08:29:33