Trace number 3715614

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.36 1861.72

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
MD5SUMe5d1aa875e736e237b742aec181b44f0
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark15.1687
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints937
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46894
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46893
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 667
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.02	c run usual solver
0.00/0.14	o 1063
0.00/0.14	c starting approximation
0.00/0.14	c factor = 2
0.00/0.14	c factor still to low - shrinking to 3.04231
0.00/0.14	c approx number of clauses: 1e+06
0.00/0.14	c current bound: 531
0.00/0.84	c current bound: 531
1.28/1.55	c current bound: 531
2.17/2.26	c current bound: 531
2.68/2.97	c current bound: 531
3.40/3.68	c current bound: 531
4.27/4.39	c current bound: 531
5.07/5.10	c current bound: 531
5.52/5.81	c current bound: 531
6.47/6.51	c current bound: 531
6.94/7.22	c current bound: 531
7.64/7.93	c current bound: 531
8.35/8.63	c current bound: 531
9.06/9.34	c current bound: 531
10.01/10.19	c current bound: 531
10.48/10.89	c current bound: 531
11.43/11.60	c current bound: 531
11.89/12.30	c current bound: 531
12.59/13.01	c current bound: 531
13.29/13.72	c current bound: 531
14.22/14.44	c current bound: 531
14.98/15.37	c current bound: 531
15.44/16.07	c current bound: 531
16.14/16.78	c current bound: 531
16.85/17.49	c current bound: 531
17.82/18.20	c current bound: 531
18.27/18.90	c current bound: 531
18.97/19.61	c current bound: 531
19.66/20.44	c current bound: 531
20.37/21.14	c current bound: 531
21.10/21.85	c current bound: 531
21.81/22.56	c current bound: 531
22.50/23.26	c current bound: 531
23.22/23.97	c current bound: 531
23.92/24.68	c current bound: 531
24.90/25.62	c current bound: 531
25.59/26.32	c current bound: 531
26.06/27.03	c current bound: 531
26.76/27.74	c current bound: 531
27.48/28.45	c current bound: 531
28.18/29.15	c current bound: 531
28.90/29.86	c current bound: 531
29.85/30.82	c current bound: 531
30.30/31.53	c current bound: 531
31.01/32.24	c current bound: 531
31.92/32.94	c current bound: 531
32.43/33.65	c current bound: 531
33.14/34.36	c current bound: 531
33.84/35.06	c current bound: 531
34.81/35.82	c current bound: 531
35.25/36.53	c current bound: 531
35.97/37.23	c current bound: 531
36.67/37.94	c current bound: 531
37.59/38.65	c current bound: 531
38.10/39.36	c current bound: 531
38.80/40.06	c current bound: 531
39.76/40.98	c current bound: 531
40.22/41.70	c current bound: 531
40.92/42.40	c current bound: 531
41.63/43.11	c current bound: 531
42.34/43.82	c current bound: 531
43.04/44.52	c current bound: 531
43.97/45.23	c current bound: 531
44.46/45.94	c current bound: 531
45.42/46.70	c current bound: 531
46.11/47.42	c current bound: 531
46.61/48.13	c current bound: 531
47.32/48.84	c current bound: 531
48.23/49.55	c current bound: 531
48.72/50.25	c current bound: 531
49.44/50.96	c current bound: 531
50.30/51.70	c current bound: 531
50.85/52.40	c current bound: 531
51.57/53.11	c current bound: 531
52.51/53.82	c current bound: 531
52.98/54.52	c current bound: 531
53.68/55.24	c current bound: 531
54.38/55.94	c current bound: 531
55.10/56.65	c current bound: 531
55.81/57.36	c current bound: 531
56.51/58.06	c current bound: 531
57.23/58.77	c current bound: 531
58.09/59.48	c current bound: 531
58.63/60.18	c current bound: 531
59.33/60.90	c current bound: 531
60.30/61.61	c current bound: 531
60.78/62.32	c current bound: 531
61.49/63.03	c current bound: 531
62.40/63.73	c current bound: 531
62.89/64.44	c current bound: 531
63.60/65.15	c current bound: 531
64.30/65.85	c current bound: 531
65.27/66.76	c current bound: 531
65.72/67.48	c current bound: 531
66.59/68.20	c current bound: 531
67.15/68.91	c current bound: 531
67.86/69.62	c current bound: 531
68.81/70.33	c current bound: 531
69.29/71.03	c current bound: 531
70.26/71.85	c current bound: 531
70.89/72.55	c current bound: 531
71.41/73.26	c current bound: 531
72.12/73.97	c current bound: 531
72.84/74.68	c current bound: 531
73.54/75.39	c current bound: 531
74.50/76.10	c current bound: 531
75.19/77.06	c current bound: 531
75.66/77.77	c current bound: 531
76.39/78.48	c current bound: 531
77.26/79.18	c current bound: 531
77.79/79.89	c current bound: 531
78.50/80.59	c current bound: 531
79.20/81.30	c current bound: 531
79.92/82.26	c current bound: 531
80.64/82.96	c current bound: 531
81.52/83.67	c current bound: 531
82.04/84.37	c current bound: 531
82.74/85.08	c current bound: 531
83.62/85.80	c current bound: 531
84.18/86.50	c current bound: 531
84.89/87.48	c current bound: 531
85.60/88.19	c current bound: 531
86.30/88.89	c current bound: 531
87.01/89.60	c current bound: 531
87.94/90.31	c current bound: 531
88.44/91.03	c current bound: 531
89.15/91.74	c current bound: 531
90.10/92.61	c current bound: 531
90.56/93.31	c current bound: 531
91.27/94.02	c current bound: 531
92.20/94.73	c current bound: 531
92.68/95.45	c current bound: 531
93.42/96.16	c current bound: 531
94.29/96.86	c current bound: 531
94.83/97.70	c current bound: 531
95.53/98.40	c current bound: 531
96.46/99.11	c current bound: 531
96.94/99.81	c current bound: 531
97.65/100.52	c current bound: 531
98.58/101.22	c current bound: 531
99.06/101.93	c current bound: 531
99.77/102.81	c current bound: 531
100.71/103.52	c current bound: 531
101.18/104.22	c current bound: 531
101.89/104.93	c current bound: 531
102.81/105.64	c current bound: 531
103.32/106.35	c current bound: 531
104.02/107.05	c current bound: 531
104.98/108.00	c current bound: 531
105.43/108.71	c current bound: 531
106.14/109.42	c current bound: 531
107.05/110.15	c current bound: 531
107.57/110.86	c current bound: 531
108.29/111.56	c current bound: 531
109.16/112.27	c current bound: 531
109.94/113.22	c current bound: 531
110.41/113.93	c current bound: 531
111.11/114.64	c current bound: 531
111.82/115.34	c current bound: 531
112.51/116.05	c current bound: 531
113.23/116.75	c current bound: 531
113.93/117.47	c current bound: 531
114.65/118.41	c current bound: 531
115.37/119.12	c current bound: 531
116.29/119.85	c current bound: 531
116.81/120.58	c current bound: 531
117.54/121.29	c current bound: 531
118.23/122.00	c current bound: 531
118.94/122.70	c current bound: 531
119.65/123.76	c current bound: 531
120.36/124.47	c current bound: 531
121.07/125.18	c current bound: 531
121.79/125.89	c current bound: 531
122.64/126.59	c current bound: 531
123.18/127.30	c current bound: 531
123.91/128.01	c current bound: 531
124.84/128.71	c current bound: 531
125.33/129.44	c current bound: 531
126.04/130.14	c current bound: 531
126.95/130.85	c current bound: 531
127.46/131.56	c current bound: 531
128.16/132.26	c current bound: 531
128.87/132.97	c current bound: 531
129.57/133.69	c current bound: 531
130.29/134.39	c current bound: 531
131.02/135.11	c current bound: 531
131.72/135.81	c current bound: 531
132.65/136.52	c current bound: 531
133.12/137.22	c current bound: 531
133.84/137.93	c current bound: 531
134.79/138.82	c current bound: 531
135.25/139.52	c current bound: 531
135.96/140.23	c current bound: 531
136.88/140.93	c current bound: 531
137.37/141.64	c current bound: 531
138.09/142.35	c current bound: 531
138.98/143.06	c current bound: 531
139.52/143.98	c current bound: 531
140.22/144.68	c current bound: 531
140.92/145.39	c current bound: 531
141.64/146.10	c current bound: 531
142.35/146.81	c current bound: 531
143.28/147.52	c current bound: 531
143.75/148.22	c current bound: 531
144.47/149.08	c current bound: 531
145.17/149.79	c current bound: 531
145.87/150.49	c current bound: 531
146.84/151.20	c current bound: 531
147.53/151.91	c current bound: 531
148.00/152.62	c current bound: 531
148.71/153.32	c current bound: 531
149.68/154.25	c current bound: 531
150.12/154.95	c current bound: 531
150.83/155.66	c current bound: 531
151.54/156.37	c current bound: 531
152.25/157.08	c current bound: 531
152.95/157.79	c current bound: 531
153.82/158.49	c current bound: 531
154.64/159.42	c current bound: 531
155.10/160.13	c current bound: 531
155.81/160.86	c current bound: 531
156.53/161.56	c current bound: 531
157.24/162.27	c current bound: 531
157.93/162.97	c current bound: 531
158.64/163.68	c current bound: 531
159.36/164.62	c current bound: 531
160.07/165.32	c current bound: 531
161.00/166.04	c current bound: 531
161.50/166.75	c current bound: 531
162.20/167.46	c current bound: 531
162.91/168.16	c current bound: 531
163.61/168.87	c current bound: 531
164.33/169.76	c current bound: 531
165.22/170.47	c current bound: 531
165.74/171.17	c current bound: 531
166.46/171.89	c current bound: 531
167.16/172.59	c current bound: 531
168.13/173.30	c current bound: 531
168.58/174.01	c current bound: 531
169.54/174.82	c current bound: 531
170.00/175.53	c current bound: 531
170.71/176.24	c current bound: 531
171.41/176.94	c current bound: 531
172.12/177.65	c current bound: 531
172.82/178.36	c current bound: 531
173.53/179.07	c current bound: 531
174.24/180.02	c current bound: 531
174.95/180.73	c current bound: 531
175.87/181.43	c current bound: 531
176.36/182.14	c current bound: 531
177.06/182.84	c current bound: 531
177.78/183.55	c current bound: 531
178.48/184.26	c current bound: 531
179.18/185.09	c current bound: 531
180.15/185.80	c current bound: 531
180.60/186.51	c current bound: 531
181.30/187.22	c current bound: 531
182.02/187.93	c current bound: 531
182.72/188.63	c current bound: 531
183.62/189.34	c current bound: 531
184.39/190.27	c current bound: 531
184.85/190.97	c current bound: 531
185.55/191.68	c current bound: 531
186.25/192.39	c current bound: 531
186.97/193.09	c current bound: 531
187.67/193.80	c current bound: 531
188.38/194.51	c current bound: 531
189.36/195.50	c current bound: 531
189.81/196.21	c current bound: 531
190.74/196.92	c current bound: 531
191.22/197.63	c current bound: 531
191.94/198.33	c current bound: 531
192.85/199.04	c current bound: 531
193.35/199.75	c current bound: 531
194.33/200.70	c current bound: 531
195.03/201.40	c current bound: 531
195.48/202.11	c current bound: 531
196.20/202.81	c current bound: 531
197.13/203.52	c current bound: 531
197.61/204.23	c current bound: 531
198.31/204.94	c current bound: 531
199.28/205.72	c current bound: 531
199.74/206.43	c current bound: 531
200.44/207.15	c current bound: 531
201.34/207.85	c current bound: 531
201.87/208.56	c current bound: 531
202.58/209.27	c current bound: 531
203.27/209.97	c current bound: 531
204.24/210.92	c current bound: 531
204.70/211.63	c current bound: 531
205.62/212.33	c current bound: 531
206.11/213.04	c current bound: 531
206.83/213.75	c current bound: 531
207.71/214.45	c current bound: 531
208.23/215.16	c current bound: 531
209.20/216.11	c current bound: 531
209.88/216.83	c current bound: 531
210.36/217.53	c current bound: 531
211.07/218.24	c current bound: 531
211.98/218.95	c current bound: 531
212.49/219.67	c current bound: 531
213.21/220.38	c current bound: 531
214.17/221.35	c current bound: 531
214.63/222.06	c current bound: 531
215.35/222.77	c current bound: 531
216.05/223.47	c current bound: 531
216.76/224.18	c current bound: 531
217.47/224.89	c current bound: 531
218.44/225.60	c current bound: 531
219.15/226.53	c current bound: 531
219.59/227.23	c current bound: 531
220.30/227.94	c current bound: 531
221.00/228.65	c current bound: 531
221.72/229.36	c current bound: 531
222.42/230.06	c current bound: 531
223.13/230.77	c current bound: 531
224.11/231.71	c current bound: 531
224.55/232.42	c current bound: 531
225.47/233.12	c current bound: 531
225.97/233.83	c current bound: 531
226.67/234.54	c current bound: 531
227.38/235.25	c current bound: 531
228.08/235.96	c current bound: 531
229.05/236.90	c current bound: 531
229.72/237.61	c current bound: 531
230.20/238.31	c current bound: 531
230.91/239.02	c current bound: 531
231.81/239.73	c current bound: 531
232.33/240.44	c current bound: 531
233.04/241.16	c current bound: 531
234.01/242.01	c current bound: 531
234.47/242.72	c current bound: 531
235.18/243.43	c current bound: 531
236.09/244.15	c current bound: 531
236.60/244.86	c current bound: 531
237.32/245.57	c current bound: 531
238.03/246.29	c current bound: 531
239.00/247.28	c current bound: 531
239.45/248.00	c current bound: 531
240.41/248.72	c current bound: 531
240.90/249.42	c current bound: 531
241.61/250.13	c current bound: 531
242.52/250.84	c current bound: 531
243.02/251.56	c current bound: 531
243.73/252.27	c current bound: 531
244.60/252.97	c current bound: 531
245.14/253.68	c current bound: 531
245.86/254.39	c current bound: 531
246.81/255.11	c current bound: 531
247.29/255.81	c current bound: 531
247.99/256.52	c current bound: 531
248.94/257.48	c current bound: 531
249.41/258.19	c current bound: 531
250.11/258.89	c current bound: 531
250.96/259.60	c current bound: 531
251.52/260.31	c current bound: 531
252.23/261.01	c current bound: 531
253.18/261.72	c current bound: 531
253.65/262.68	c current bound: 531
254.37/263.39	c current bound: 531
255.22/264.10	c current bound: 531
255.79/264.80	c current bound: 531
256.49/265.52	c current bound: 531
257.42/266.22	c current bound: 531
257.92/266.93	c current bound: 531
258.88/267.80	c current bound: 531
259.56/268.50	c current bound: 531
260.03/269.21	c current bound: 531
260.74/269.92	c current bound: 531
261.67/270.62	c current bound: 531
262.14/271.33	c current bound: 531
262.86/272.04	c current bound: 531
263.80/273.02	c current bound: 531
264.26/273.72	c current bound: 531
264.98/274.44	c current bound: 531
265.87/275.15	c current bound: 531
266.40/275.86	c current bound: 531
267.11/276.56	c current bound: 531
267.99/277.28	c current bound: 531
268.54/278.13	c current bound: 531
269.23/278.83	c current bound: 531
270.15/279.54	c current bound: 531
270.65/280.25	c current bound: 531
271.36/280.95	c current bound: 531
272.25/281.66	c current bound: 531
272.78/282.37	c current bound: 531
273.73/283.36	c current bound: 531
274.19/284.07	c current bound: 531
274.90/284.78	c current bound: 531
275.60/285.48	c current bound: 531
276.31/286.19	c current bound: 531
277.27/286.90	c current bound: 531
277.72/287.60	c current bound: 531
278.68/288.56	c current bound: 531
279.32/289.26	c current bound: 531
279.86/289.97	c current bound: 531
280.56/290.68	c current bound: 531
281.26/291.38	c current bound: 531
281.97/292.09	c current bound: 531
282.68/292.80	c current bound: 531
283.63/293.77	c current bound: 531
284.10/294.47	c current bound: 531
284.81/295.18	c current bound: 531
285.66/295.89	c current bound: 531
286.48/296.60	c current bound: 531
286.93/297.31	c current bound: 531
287.86/298.01	c current bound: 531
288.34/298.87	c current bound: 531
289.05/299.58	c current bound: 531
289.91/300.28	c current bound: 531
290.47/300.99	c current bound: 531
291.17/301.69	c current bound: 531
291.87/302.40	c current bound: 531
292.57/303.11	c current bound: 531
293.29/304.05	c current bound: 531
294.20/304.76	c current bound: 531
294.72/305.46	c current bound: 531
295.42/306.17	c current bound: 531
296.29/306.88	c current bound: 531
296.84/307.59	c current bound: 531
297.54/308.29	c current bound: 531
298.51/309.00	c current bound: 531
298.96/309.71	c current bound: 531
299.67/310.43	c current bound: 531
300.39/311.14	c current bound: 531
301.11/311.85	c current bound: 531
301.82/312.55	c current bound: 531
302.51/313.26	c current bound: 531
303.22/314.09	c current bound: 531
303.94/314.80	c current bound: 531
304.64/315.51	c current bound: 531
305.35/316.22	c current bound: 531
306.26/316.93	c current bound: 531
306.76/317.63	c current bound: 531
307.46/318.34	c current bound: 531
308.43/319.28	c current bound: 531
308.88/319.98	c current bound: 531
309.59/320.69	c current bound: 531
310.30/321.40	c current bound: 531
311.01/322.11	c current bound: 531
311.71/322.83	c current bound: 531
312.64/323.54	c current bound: 531
313.15/324.40	c current bound: 531
313.86/325.12	c current bound: 531
314.59/325.84	c current bound: 531
315.31/326.55	c current bound: 531
316.03/327.26	c current bound: 531
316.73/327.97	c current bound: 531
317.44/328.67	c current bound: 531
318.14/329.64	c current bound: 531
318.87/330.35	c current bound: 531
319.76/331.06	c current bound: 531
320.28/331.77	c current bound: 531
320.98/332.47	c current bound: 531
321.68/333.18	c current bound: 531
322.40/333.89	c current bound: 531
323.38/334.82	c current bound: 531
324.04/335.53	c current bound: 531
324.52/336.23	c current bound: 531
325.23/336.94	c current bound: 531
326.15/337.65	c current bound: 531
326.65/338.35	c current bound: 531
327.36/339.07	c current bound: 531
328.30/339.99	c current bound: 531
328.79/340.70	c current bound: 531
329.49/341.41	c current bound: 531
330.44/342.11	c current bound: 531
330.90/342.82	c current bound: 531
331.60/343.53	c current bound: 531
332.53/344.23	c current bound: 531
333.02/344.99	c current bound: 531
333.75/345.69	c current bound: 531
334.44/346.40	c current bound: 531
335.16/347.11	c current bound: 531
335.87/347.81	c current bound: 531
336.58/348.52	c current bound: 531
337.29/349.23	c current bound: 531
338.22/350.09	c current bound: 531
338.94/350.81	c current bound: 531
339.42/351.52	c current bound: 531
340.11/352.23	c current bound: 531
340.82/352.93	c current bound: 531
341.53/353.64	c current bound: 531
342.43/354.34	c current bound: 531
343.21/355.33	c current bound: 531
343.67/356.04	c current bound: 531
344.36/356.75	c current bound: 531
345.27/357.46	c current bound: 531
345.79/358.16	c current bound: 531
346.49/358.87	c current bound: 531
347.21/359.58	c current bound: 531
347.92/360.44	c current bound: 531
348.62/361.15	c current bound: 531
349.53/361.86	c current bound: 531
350.04/362.56	c current bound: 531
350.74/363.27	c current bound: 531
351.46/363.98	c current bound: 531
352.17/364.69	c current bound: 531
352.87/365.65	c current bound: 531
353.76/366.37	c current bound: 531
354.31/367.07	c current bound: 531
355.01/367.78	c current bound: 531
355.87/368.49	c current bound: 531
356.42/369.19	c current bound: 531
357.14/369.90	c current bound: 531
358.09/370.89	c current bound: 531
358.54/371.60	c current bound: 531
359.25/372.32	c current bound: 531
360.20/373.05	c current bound: 531
360.70/373.75	c current bound: 531
361.41/374.46	c current bound: 531
362.29/375.17	c current bound: 531
362.83/375.88	c current bound: 531
363.52/376.58	c current bound: 531
364.40/377.29	c current bound: 531
365.21/378.00	c current bound: 531
365.66/378.71	c current bound: 531
366.58/379.41	c current bound: 531
367.06/380.12	c current bound: 531
368.03/381.00	c current bound: 531
368.72/381.71	c current bound: 531
369.19/382.42	c current bound: 531
369.89/383.13	c current bound: 531
370.83/383.83	c current bound: 531
371.31/384.54	c current bound: 531
372.03/385.25	c current bound: 531
372.98/386.12	c current bound: 531
373.44/386.83	c current bound: 531
374.16/387.54	c current bound: 531
375.07/388.24	c current bound: 531
375.58/388.95	c current bound: 531
376.28/389.66	c current bound: 531
376.99/390.37	c current bound: 531
377.70/391.31	c current bound: 531
378.40/392.02	c current bound: 531
379.33/392.74	c current bound: 531
379.82/393.44	c current bound: 531
380.54/394.15	c current bound: 531
381.45/394.86	c current bound: 531
381.96/395.56	c current bound: 531
382.91/396.53	c current bound: 531
383.56/397.24	c current bound: 531
384.07/397.96	c current bound: 531
384.79/398.67	c current bound: 531
385.67/399.37	c current bound: 531
386.20/400.08	c current bound: 531
386.91/400.79	c current bound: 531
387.88/401.73	c current bound: 531
388.32/402.43	c current bound: 531
389.04/403.14	c current bound: 531
389.93/403.85	c current bound: 531
390.45/404.55	c current bound: 531
391.16/405.26	c current bound: 531
392.05/405.98	c current bound: 531
392.58/406.84	c current bound: 531
393.30/407.55	c current bound: 531
394.01/408.25	c current bound: 531
394.71/408.96	c current bound: 531
395.41/409.67	c current bound: 531
396.30/410.37	c current bound: 531
396.84/411.09	c current bound: 531
397.82/412.04	c current bound: 531
398.26/412.74	c current bound: 531
398.96/413.45	c current bound: 531
399.67/414.16	c current bound: 531
400.39/414.87	c current bound: 531
401.09/415.57	c current bound: 531
401.79/416.28	c current bound: 531
402.67/416.99	c current bound: 531
403.47/417.70	c current bound: 531
403.91/418.40	c current bound: 531
404.86/419.11	c current bound: 531
405.33/419.82	c current bound: 531
406.04/420.53	c current bound: 531
406.96/421.23	c current bound: 531
407.71/422.10	c current bound: 531
408.15/422.80	c current bound: 531
409.10/423.51	c current bound: 531
409.58/424.22	c current bound: 531
410.27/424.92	c current bound: 531
411.21/425.63	c current bound: 531
411.70/426.34	c current bound: 531
412.41/427.28	c current bound: 531
413.27/427.98	c current bound: 531
413.83/428.69	c current bound: 531
414.52/429.39	c current bound: 531
415.39/430.10	c current bound: 531
415.94/430.81	c current bound: 531
416.65/431.51	c current bound: 531
417.60/432.45	c current bound: 531
418.07/433.16	c current bound: 531
418.77/433.86	c current bound: 531
419.68/434.57	c current bound: 531
420.19/435.28	c current bound: 531
420.90/435.98	c current bound: 531
421.75/436.69	c current bound: 531
422.58/437.67	c current bound: 531
423.03/438.38	c current bound: 531
423.73/439.08	c current bound: 531
424.43/439.79	c current bound: 531
425.40/440.50	c current bound: 531
426.08/441.20	c current bound: 531
426.56/441.91	c current bound: 531
427.51/442.82	c current bound: 531
427.97/443.53	c current bound: 531
428.68/444.24	c current bound: 531
429.39/444.96	c current bound: 531
430.10/445.67	c current bound: 531
430.81/446.37	c current bound: 531
431.52/447.08	c current bound: 531
432.49/448.05	c current bound: 531
433.14/448.75	c current bound: 531
433.64/449.46	c current bound: 531
434.35/450.17	c current bound: 531
435.05/450.87	c current bound: 531
435.76/451.58	c current bound: 531
436.47/452.28	c current bound: 531
437.41/453.17	c current bound: 531
437.87/453.88	c current bound: 531
438.60/454.59	c current bound: 531
439.29/455.29	c current bound: 531
440.00/456.00	c current bound: 531
440.71/456.71	c current bound: 531
441.43/457.41	c current bound: 531
442.38/458.35	c current bound: 531
442.83/459.05	c current bound: 531
443.73/459.76	c current bound: 531
444.24/460.46	c current bound: 531
444.96/461.17	c current bound: 531
445.67/461.88	c current bound: 531
446.38/462.58	c current bound: 531
447.08/463.54	c current bound: 531
447.98/464.25	c current bound: 531
448.51/464.95	c current bound: 531
449.20/465.66	c current bound: 531
450.10/466.37	c current bound: 531
450.61/467.07	c current bound: 531
451.33/467.78	c current bound: 531
452.28/468.74	c current bound: 531
452.74/469.45	c current bound: 531
453.45/470.16	c current bound: 531
454.35/470.87	c current bound: 531
454.87/471.57	c current bound: 531
455.57/472.28	c current bound: 531
456.44/472.98	c current bound: 531
457.25/473.71	c current bound: 531
457.70/474.42	c current bound: 531
458.64/475.13	c current bound: 531
459.12/475.83	c current bound: 531
459.82/476.55	c current bound: 531
460.52/477.26	c current bound: 531
461.23/477.96	c current bound: 531
461.94/478.67	c current bound: 531
462.65/479.42	c current bound: 531
463.36/480.13	c current bound: 531
464.26/480.83	c current bound: 531
464.77/481.54	c current bound: 531
465.48/482.25	c current bound: 531
466.38/482.95	c current bound: 531
466.90/483.66	c current bound: 531
467.59/484.41	c current bound: 531
468.54/485.11	c current bound: 531
469.01/485.82	c current bound: 531
469.72/486.52	c current bound: 531
470.65/487.23	c current bound: 531
471.14/487.94	c current bound: 531
471.84/488.65	c current bound: 531
472.54/489.36	c current bound: 531
473.27/490.07	c current bound: 531
473.97/490.78	c current bound: 531
474.68/491.48	c current bound: 531
475.38/492.19	c current bound: 531
476.25/492.89	c current bound: 531
476.80/493.60	c current bound: 531
477.51/494.32	c current bound: 531
478.45/495.02	c current bound: 531
478.92/495.73	c current bound: 531
479.63/496.44	c current bound: 531
480.54/497.14	c current bound: 531
481.03/497.85	c current bound: 531
481.75/498.56	c current bound: 531
482.69/499.39	c current bound: 531
483.42/500.10	c current bound: 531
483.88/500.81	c current bound: 531
484.80/501.51	c current bound: 531
485.29/502.22	c current bound: 531
486.00/502.93	c current bound: 531
486.69/503.63	c current bound: 531
487.40/504.58	c current bound: 531
488.12/505.29	c current bound: 531
488.98/505.99	c current bound: 531
489.78/506.70	c current bound: 531
490.25/507.41	c current bound: 531
491.18/508.11	c current bound: 531
491.66/508.82	c current bound: 531
492.36/509.75	c current bound: 531
493.25/510.46	c current bound: 531
493.77/511.16	c current bound: 531
494.49/511.87	c current bound: 531
495.38/512.58	c current bound: 531
495.89/513.29	c current bound: 531
496.60/513.99	c current bound: 531
497.56/514.82	c current bound: 531
498.02/515.52	c current bound: 531
498.73/516.23	c current bound: 531
499.66/516.94	c current bound: 531
500.15/517.65	c current bound: 531
500.86/518.35	c current bound: 531
501.57/519.08	c current bound: 531
502.53/520.02	c current bound: 531
502.98/520.73	c current bound: 531
503.90/521.44	c current bound: 531
504.40/522.15	c current bound: 531
505.11/522.86	c current bound: 531
506.01/523.56	c current bound: 531
506.52/524.27	c current bound: 531
507.23/525.25	c current bound: 531
508.14/525.95	c current bound: 531
508.64/526.66	c current bound: 531
509.34/527.37	c current bound: 531
510.25/528.07	c current bound: 531
510.77/528.78	c current bound: 531
511.48/529.49	c current bound: 531
512.33/530.20	c current bound: 531
512.90/530.90	c current bound: 531
513.60/531.61	c current bound: 531
514.53/532.31	c current bound: 531
515.01/533.02	c current bound: 531
515.71/533.73	c current bound: 531
516.43/534.43	c current bound: 531
517.13/535.14	c current bound: 531
517.84/535.89	c current bound: 531
518.55/536.60	c current bound: 531
519.25/537.31	c current bound: 531
520.19/538.01	c current bound: 531
520.68/538.73	c current bound: 531
521.38/539.43	c current bound: 531
522.30/540.14	c current bound: 531
522.79/540.89	c current bound: 531
523.75/541.60	c current bound: 531
524.47/542.31	c current bound: 531
524.91/543.01	c current bound: 531
525.62/543.72	c current bound: 531
526.55/544.42	c current bound: 531
527.04/545.13	c current bound: 531
527.75/545.84	c current bound: 531
528.45/546.54	c current bound: 531
529.15/547.25	c current bound: 531
529.86/547.96	c current bound: 531
530.56/548.66	c current bound: 531
531.26/549.37	c current bound: 531
532.16/550.08	c current bound: 531
532.94/550.82	c current bound: 531
533.40/551.53	c current bound: 531
534.32/552.23	c current bound: 531
534.81/552.94	c current bound: 531
535.53/553.65	c current bound: 531
536.44/554.36	c current bound: 531
536.94/555.07	c current bound: 531
537.65/555.77	c current bound: 531
538.58/556.52	c current bound: 531
539.06/557.23	c current bound: 531
539.76/557.94	c current bound: 531
540.47/558.64	c current bound: 531
541.19/559.35	c current bound: 531
541.89/560.06	c current bound: 531
542.60/560.76	c current bound: 531
543.30/561.47	c current bound: 531
544.19/562.18	c current bound: 531
544.71/562.88	c current bound: 531
545.43/563.59	c current bound: 531
546.28/564.30	c current bound: 531
546.84/565.01	c current bound: 531
547.55/565.71	c current bound: 531
548.48/566.42	c current bound: 531
548.96/567.13	c current bound: 531
549.67/567.84	c current bound: 531
550.37/568.54	c current bound: 531
551.08/569.25	c current bound: 531
551.79/569.95	c current bound: 531
552.50/570.66	c current bound: 531
553.47/571.63	c current bound: 531
553.91/572.34	c current bound: 531
554.84/573.04	c current bound: 531
555.34/573.75	c current bound: 531
556.04/574.46	c current bound: 531
556.76/575.16	c current bound: 531
557.47/575.87	c current bound: 531
558.43/576.83	c current bound: 531
559.09/577.53	c current bound: 531
559.59/578.24	c current bound: 531
560.30/578.94	c current bound: 531
561.20/579.65	c current bound: 531
561.70/580.36	c current bound: 531
562.43/581.07	c current bound: 531
563.40/582.02	c current bound: 531
563.83/582.73	c current bound: 531
564.54/583.44	c current bound: 531
565.45/584.14	c current bound: 531
565.96/584.85	c current bound: 531
566.67/585.56	c current bound: 531
567.55/586.27	c current bound: 531
568.35/587.24	c current bound: 531
568.79/587.94	c current bound: 531
569.68/588.65	c current bound: 531
570.21/589.36	c current bound: 531
570.92/590.07	c current bound: 531
571.81/590.77	c current bound: 531
572.33/591.48	c current bound: 531
573.04/592.46	c current bound: 531
573.76/593.17	c current bound: 531
574.47/593.87	c current bound: 531
575.16/594.58	c current bound: 531
575.87/595.29	c current bound: 531
576.59/595.99	c current bound: 531
577.30/596.71	c current bound: 531
578.25/597.61	c current bound: 531
578.94/598.32	c current bound: 531
579.42/599.02	c current bound: 531
580.12/599.73	c current bound: 531
580.82/600.44	c current bound: 531
581.53/601.14	c current bound: 531
582.44/601.85	c current bound: 531
583.19/602.76	c current bound: 531
583.66/603.46	c current bound: 531
584.37/604.17	c current bound: 531
585.08/604.88	c current bound: 531
585.78/605.58	c current bound: 531
586.47/606.29	c current bound: 531
587.45/607.00	c current bound: 531
587.90/607.83	c current bound: 531
588.62/608.55	c current bound: 531
589.33/609.26	c current bound: 531
590.04/609.97	c current bound: 531
590.75/610.68	c current bound: 531
591.45/611.38	c current bound: 531
592.17/612.09	c current bound: 531
593.11/613.05	c current bound: 531
593.76/613.76	c current bound: 531
594.29/614.47	c current bound: 531
595.00/615.17	c current bound: 531
595.70/615.88	c current bound: 531
596.41/616.58	c current bound: 531
597.12/617.29	c current bound: 531
598.07/618.23	c current bound: 531
598.53/618.94	c current bound: 531
599.23/619.65	c current bound: 531
600.14/620.35	c current bound: 531
600.65/621.06	c current bound: 531
601.35/621.77	c current bound: 531
602.06/622.47	c current bound: 531
603.03/623.49	c current bound: 531
603.73/624.20	c current bound: 531
604.41/624.90	c current bound: 531
604.89/625.61	c current bound: 531
605.60/626.33	c current bound: 531
606.54/627.04	c current bound: 531
607.03/627.74	c current bound: 531
607.73/628.49	c current bound: 531
608.59/629.20	c current bound: 531
609.14/629.91	c current bound: 531
609.84/630.61	c current bound: 531
610.79/631.32	c current bound: 531
611.25/632.03	c current bound: 531
611.96/632.73	c current bound: 531
612.67/633.44	c current bound: 531
613.38/634.16	c current bound: 531
614.10/634.87	c current bound: 531
614.81/635.57	c current bound: 531
615.50/636.28	c current bound: 531
616.39/636.98	c current bound: 531
616.92/637.70	c current bound: 531
617.64/638.50	c current bound: 531
618.59/639.20	c current bound: 531
619.07/639.91	c current bound: 531
619.77/640.62	c current bound: 531
620.70/641.32	c current bound: 531
621.19/642.03	c current bound: 531
621.90/642.74	c current bound: 531
622.83/643.60	c current bound: 531
623.32/644.31	c current bound: 531
624.02/645.02	c current bound: 531
624.96/645.72	c current bound: 531
625.43/646.43	c current bound: 531
626.14/647.14	c current bound: 531
627.05/647.84	c current bound: 531
627.55/648.79	c current bound: 531
628.26/649.49	c current bound: 531
629.21/650.20	c current bound: 531
629.67/650.91	c current bound: 531
630.38/651.63	c current bound: 531
631.31/652.34	c current bound: 531
631.81/653.05	c current bound: 531
632.79/653.86	c current bound: 531
633.40/654.57	c current bound: 531
633.95/655.27	c current bound: 531
634.65/655.98	c current bound: 531
635.52/656.68	c current bound: 531
636.06/657.40	c current bound: 531
636.79/658.12	c current bound: 531
637.77/659.10	c current bound: 531
638.23/659.81	c current bound: 531
638.94/660.52	c current bound: 531
639.86/661.23	c current bound: 531
640.37/661.94	c current bound: 531
641.06/662.65	c current bound: 531
641.98/663.36	c current bound: 531
642.48/664.29	c current bound: 531
643.19/664.99	c current bound: 531
643.90/665.70	c current bound: 531
644.61/666.41	c current bound: 531
645.31/667.11	c current bound: 531
646.24/667.82	c current bound: 531
646.73/668.53	c current bound: 531
647.70/669.46	c current bound: 531
648.14/670.17	c current bound: 531
648.85/670.87	c current bound: 531
649.57/671.58	c current bound: 531
650.27/672.28	c current bound: 531
650.97/672.99	c current bound: 531
651.68/673.71	c current bound: 531
652.64/674.56	c current bound: 531
653.10/675.27	c current bound: 531
653.81/675.98	c current bound: 531
654.52/676.69	c current bound: 531
655.24/677.39	c current bound: 531
656.20/678.10	c current bound: 531
656.88/678.80	c current bound: 531
657.34/679.56	c current bound: 531
658.06/680.26	c current bound: 531
658.96/680.97	c current bound: 531
659.49/681.68	c current bound: 531
660.19/682.39	c current bound: 531
661.05/683.10	c current bound: 531
661.60/683.81	c current bound: 531
662.32/684.67	c current bound: 531
663.18/685.38	c current bound: 531
663.72/686.08	c current bound: 531
664.44/686.79	c current bound: 531
665.29/687.50	c current bound: 531
665.86/688.21	c current bound: 531
666.56/688.91	c current bound: 531
667.51/689.80	c current bound: 531
667.97/690.51	c current bound: 531
668.68/691.22	c current bound: 531
669.60/691.92	c current bound: 531
670.08/692.63	c current bound: 531
670.81/693.34	c current bound: 531
671.71/694.04	c current bound: 531
672.22/694.98	c current bound: 531
672.94/695.69	c current bound: 531
673.80/696.39	c current bound: 531
674.59/697.10	c current bound: 531
675.05/697.80	c current bound: 531
676.00/698.51	c current bound: 531
676.46/699.22	c current bound: 531
677.17/700.22	c current bound: 531
677.87/700.93	c current bound: 531
678.57/701.64	c current bound: 531
679.28/702.34	c current bound: 531
680.20/703.05	c current bound: 531
680.71/703.75	c current bound: 531
681.41/704.46	c current bound: 531
682.38/705.27	c current bound: 531
682.83/705.98	c current bound: 531
683.54/706.68	c current bound: 531
684.40/707.39	c current bound: 531
684.94/708.11	c current bound: 531
685.67/708.81	c current bound: 531
686.62/709.52	c current bound: 531
687.34/710.35	c current bound: 531
687.79/711.06	c current bound: 531
688.69/711.76	c current bound: 531
689.21/712.47	c current bound: 531
689.92/713.18	c current bound: 531
690.79/713.88	c current bound: 531
691.33/714.61	c current bound: 531
692.05/715.56	c current bound: 531
692.77/716.26	c current bound: 531
693.46/716.97	c current bound: 531
694.18/717.68	c current bound: 531
695.15/718.40	c current bound: 531
695.61/719.11	c current bound: 531
696.31/719.82	c current bound: 531
697.27/720.66	c current bound: 531
697.73/721.36	c current bound: 531
698.43/722.08	c current bound: 531
699.31/722.78	c current bound: 531
699.85/723.49	c current bound: 531
700.82/724.20	c current bound: 531
701.52/724.91	c current bound: 531
702.24/725.83	c current bound: 531
702.69/726.53	c current bound: 531
703.60/727.25	c current bound: 531
704.11/727.96	c current bound: 531
704.82/728.66	c current bound: 531
705.70/729.37	c current bound: 531
706.23/730.07	c current bound: 531
706.93/731.04	c current bound: 531
707.64/731.75	c current bound: 531
708.36/732.46	c current bound: 531
709.06/733.16	c current bound: 531
709.76/733.87	c current bound: 531
710.47/734.57	c current bound: 531
711.18/735.28	c current bound: 531
712.14/736.25	c current bound: 531
712.81/736.96	c current bound: 531
713.33/737.66	c current bound: 531
714.03/738.38	c current bound: 531
714.75/739.08	c current bound: 531
715.46/739.79	c current bound: 531
716.15/740.50	c current bound: 531
717.12/741.46	c current bound: 531
717.57/742.17	c current bound: 531
718.28/742.88	c current bound: 531
719.16/743.59	c current bound: 531
719.69/744.29	c current bound: 531
720.42/745.01	c current bound: 531
721.35/745.72	c current bound: 531
721.83/746.56	c current bound: 531
722.54/747.27	c current bound: 531
723.43/747.98	c current bound: 531
723.95/748.69	c current bound: 531
724.93/749.40	c current bound: 531
725.63/750.10	c current bound: 531
726.08/750.81	c current bound: 531
726.79/751.76	c current bound: 531
727.67/752.47	c current bound: 531
728.21/753.18	c current bound: 531
728.91/753.89	c current bound: 531
729.79/754.60	c current bound: 531
730.33/755.30	c current bound: 531
731.04/756.01	c current bound: 531
731.98/756.72	c current bound: 531
732.45/757.43	c current bound: 531
733.17/758.14	c current bound: 531
733.87/758.85	c current bound: 531
734.58/759.55	c current bound: 531
735.27/760.26	c current bound: 531
735.98/760.97	c current bound: 531
736.70/761.68	c current bound: 531
737.62/762.43	c current bound: 531
738.13/763.14	c current bound: 531
738.83/763.85	c current bound: 531
739.72/764.56	c current bound: 531
740.24/765.26	c current bound: 531
740.95/765.97	c current bound: 531
741.84/766.68	c current bound: 531
742.38/767.42	c current bound: 531
743.09/768.12	c current bound: 531
743.99/768.83	c current bound: 531
744.49/769.54	c current bound: 531
745.20/770.25	c current bound: 531
745.92/770.96	c current bound: 531
746.61/771.66	c current bound: 531
747.32/772.37	c current bound: 531
748.03/773.08	c current bound: 531
748.74/773.81	c current bound: 531
749.69/774.51	c current bound: 531
750.16/775.23	c current bound: 531
750.88/775.94	c current bound: 531
751.78/776.65	c current bound: 531
752.29/777.37	c current bound: 531
753.01/778.08	c current bound: 531
753.88/778.79	c current bound: 531
754.68/779.50	c current bound: 531
755.14/780.22	c current bound: 531
756.08/780.92	c current bound: 531
756.56/781.63	c current bound: 531
757.27/782.34	c current bound: 531
757.97/783.05	c current bound: 531
758.68/783.76	c current bound: 531
759.39/784.46	c current bound: 531
760.10/785.18	c current bound: 531
760.81/785.88	c current bound: 531
761.69/786.59	c current bound: 531
762.48/787.52	c current bound: 531
762.94/788.23	c current bound: 531
763.65/788.94	c current bound: 531
764.36/789.64	c current bound: 531
765.07/790.35	c current bound: 531
765.78/791.06	c current bound: 531
766.49/791.77	c current bound: 531
767.20/792.68	c current bound: 531
767.91/793.39	c current bound: 531
768.63/794.10	c current bound: 531
769.33/794.80	c current bound: 531
770.04/795.51	c current bound: 531
770.74/796.23	c current bound: 531
771.45/796.93	c current bound: 531
772.42/797.73	c current bound: 531
772.87/798.44	c current bound: 531
773.58/799.15	c current bound: 531
774.27/799.85	c current bound: 531
775.00/800.56	c current bound: 531
775.69/801.27	c current bound: 531
776.57/801.98	c current bound: 531
777.37/802.91	c current bound: 531
777.81/803.62	c current bound: 531
778.52/804.32	c current bound: 531
779.23/805.03	c current bound: 531
779.93/805.73	c current bound: 531
780.85/806.44	c current bound: 531
781.35/807.14	c current bound: 531
782.05/808.06	c current bound: 531
782.76/808.77	c current bound: 531
783.47/809.48	c current bound: 531
784.18/810.19	c current bound: 531
784.89/810.89	c current bound: 531
785.85/811.60	c current bound: 531
786.30/812.31	c current bound: 531
787.26/813.22	c current bound: 531
787.95/813.93	c current bound: 531
788.42/814.63	c current bound: 531
789.14/815.34	c current bound: 531
789.83/816.06	c current bound: 531
790.56/816.77	c current bound: 531
791.27/817.47	c current bound: 531
792.25/818.41	c current bound: 531
792.69/819.12	c current bound: 531
793.41/819.82	c current bound: 531
794.33/820.53	c current bound: 531
794.82/821.24	c current bound: 531
795.52/821.94	c current bound: 531
796.23/822.65	c current bound: 531
796.95/823.56	c current bound: 531
797.65/824.27	c current bound: 531
798.52/824.98	c current bound: 531
799.06/825.69	c current bound: 531
799.77/826.39	c current bound: 531
800.48/827.10	c current bound: 531
801.19/827.81	c current bound: 531
801.89/828.63	c current bound: 531
802.81/829.33	c current bound: 531
803.32/830.04	c current bound: 531
804.01/830.75	c current bound: 531
804.72/831.46	c current bound: 531
805.43/832.17	c current bound: 531
806.14/832.88	c current bound: 531
807.11/833.72	c current bound: 531
807.55/834.43	c current bound: 531
808.26/835.14	c current bound: 531
808.98/835.85	c current bound: 531
809.68/836.56	c current bound: 531
810.39/837.28	c current bound: 531
811.10/837.98	c current bound: 531
812.06/838.90	c current bound: 531
812.52/839.61	c current bound: 531
813.45/840.32	c current bound: 531
813.93/841.03	c current bound: 531
814.64/841.74	c current bound: 531
815.35/842.44	c current bound: 531
816.04/843.15	c current bound: 531
816.99/844.08	c current bound: 531
817.64/844.78	c current bound: 531
818.17/845.49	c current bound: 531
819.14/846.20	c current bound: 531
819.82/846.91	c current bound: 531
820.32/847.63	c current bound: 531
821.01/848.34	c current bound: 531
821.96/849.29	c current bound: 531
822.44/849.99	c current bound: 531
823.15/850.70	c current bound: 531
824.10/851.41	c current bound: 531
824.56/852.12	c current bound: 531
825.27/852.83	c current bound: 531
826.20/853.54	c current bound: 531
826.68/854.47	c current bound: 531
827.40/855.18	c current bound: 531
828.26/855.89	c current bound: 531
828.81/856.59	c current bound: 531
829.52/857.31	c current bound: 531
830.47/858.01	c current bound: 531
830.93/858.72	c current bound: 531
831.64/859.64	c current bound: 531
832.53/860.35	c current bound: 531
833.05/861.05	c current bound: 531
833.77/861.76	c current bound: 531
834.66/862.47	c current bound: 531
835.18/863.18	c current bound: 531
835.89/863.88	c current bound: 531
836.83/864.81	c current bound: 531
837.29/865.51	c current bound: 531
838.01/866.22	c current bound: 531
838.94/866.93	c current bound: 531
839.41/867.63	c current bound: 531
840.12/868.34	c current bound: 531
841.03/869.04	c current bound: 531
841.55/869.79	c current bound: 531
842.51/870.50	c current bound: 531
843.20/871.20	c current bound: 531
843.67/871.93	c current bound: 531
844.38/872.63	c current bound: 531
845.29/873.34	c current bound: 531
845.80/874.05	c current bound: 531
846.51/874.88	c current bound: 531
847.37/875.58	c current bound: 531
847.92/876.29	c current bound: 531
848.62/877.00	c current bound: 531
849.58/877.71	c current bound: 531
850.04/878.42	c current bound: 531
850.76/879.13	c current bound: 531
851.70/880.05	c current bound: 531
852.17/880.76	c current bound: 531
852.89/881.47	c current bound: 531
853.76/882.17	c current bound: 531
854.30/882.88	c current bound: 531
855.02/883.59	c current bound: 531
855.98/884.30	c current bound: 531
856.43/885.11	c current bound: 531
857.14/885.81	c current bound: 531
858.08/886.52	c current bound: 531
858.56/887.23	c current bound: 531
859.26/887.94	c current bound: 531
859.98/888.65	c current bound: 531
860.68/889.36	c current bound: 531
861.38/890.24	c current bound: 531
862.30/890.95	c current bound: 531
862.80/891.66	c current bound: 531
863.51/892.36	c current bound: 531
864.21/893.07	c current bound: 531
864.93/893.78	c current bound: 531
865.64/894.49	c current bound: 531
866.59/895.40	c current bound: 531
867.06/896.11	c current bound: 531
867.76/896.82	c current bound: 531
868.68/897.53	c current bound: 531
869.17/898.23	c current bound: 531
869.89/898.95	c current bound: 531
870.59/899.66	c current bound: 531
871.31/900.60	c current bound: 531
872.01/901.30	c current bound: 531
872.95/902.01	c current bound: 531
873.42/902.72	c current bound: 531
874.13/903.42	c current bound: 531
875.05/904.14	c current bound: 531
875.56/904.84	c current bound: 531
876.52/905.81	c current bound: 531
877.20/906.51	c current bound: 531
877.68/907.22	c current bound: 531
878.37/907.93	c current bound: 531
879.31/908.64	c current bound: 531
879.80/909.35	c current bound: 531
880.51/910.06	c current bound: 531
881.40/910.80	c current bound: 531
881.94/911.51	c current bound: 531
882.64/912.21	c current bound: 531
883.58/912.92	c current bound: 531
884.06/913.64	c current bound: 531
884.78/914.34	c current bound: 531
885.48/915.05	c current bound: 531
886.19/915.98	c current bound: 531
886.90/916.69	c current bound: 531
887.85/917.41	c current bound: 531
888.33/918.12	c current bound: 531
889.04/918.83	c current bound: 531
889.97/919.54	c current bound: 531
890.46/920.25	c current bound: 531
891.42/921.10	c current bound: 531
892.11/921.81	c current bound: 531
892.59/922.52	c current bound: 531
893.29/923.23	c current bound: 531
894.21/923.94	c current bound: 531
894.72/924.64	c current bound: 531
895.42/925.35	c current bound: 531
896.36/926.29	c current bound: 531
896.84/927.00	c current bound: 531
897.55/927.71	c current bound: 531
898.48/928.42	c current bound: 531
898.96/929.12	c current bound: 531
899.67/929.83	c current bound: 531
900.57/930.54	c current bound: 531
901.07/931.48	c current bound: 531
901.78/932.19	c current bound: 531
902.77/932.90	c current bound: 531
903.20/933.61	c current bound: 531
903.92/934.31	c current bound: 531
904.84/935.02	c current bound: 531
905.32/935.73	c current bound: 531
906.04/936.68	c current bound: 531
907.01/937.40	c current bound: 531
907.46/938.10	c current bound: 531
908.16/938.81	c current bound: 531
909.10/939.52	c current bound: 531
909.58/940.23	c current bound: 531
910.29/940.94	c current bound: 531
911.26/941.82	c current bound: 531
911.72/942.52	c current bound: 531
912.43/943.23	c current bound: 531
913.33/943.94	c current bound: 531
913.84/944.64	c current bound: 531
914.55/945.35	c current bound: 531
915.44/946.06	c current bound: 531
915.96/946.98	c current bound: 531
916.67/947.69	c current bound: 531
917.64/948.40	c current bound: 531
918.09/949.10	c current bound: 531
918.79/949.81	c current bound: 531
919.73/950.52	c current bound: 531
920.20/951.23	c current bound: 531
920.91/952.17	c current bound: 531
921.62/952.88	c current bound: 531
922.33/953.58	c current bound: 531
923.04/954.29	c current bound: 531
923.74/955.00	c current bound: 531
924.45/955.70	c current bound: 531
925.15/956.41	c current bound: 531
926.11/957.23	c current bound: 531
926.58/957.94	c current bound: 531
927.28/958.65	c current bound: 531
927.99/959.35	c current bound: 531
928.71/960.06	c current bound: 531
929.41/960.77	c current bound: 531
930.28/961.48	c current bound: 531
931.07/962.42	c current bound: 531
931.52/963.13	c current bound: 531
932.24/963.84	c current bound: 531
932.95/964.55	c current bound: 531
933.65/965.26	c current bound: 531
934.37/965.97	c current bound: 531
935.07/966.67	c current bound: 531
936.03/967.57	c current bound: 531
936.50/968.27	c current bound: 531
937.19/968.98	c current bound: 531
937.90/969.69	c current bound: 531
938.87/970.40	c current bound: 531
939.30/971.10	c current bound: 531
940.02/971.81	c current bound: 531
940.95/972.56	c current bound: 531
941.43/973.26	c current bound: 531
942.15/973.97	c current bound: 531
943.03/974.68	c current bound: 531
943.55/975.39	c current bound: 531
944.26/976.10	c current bound: 531
945.21/976.81	c current bound: 531
945.68/977.65	c current bound: 531
946.38/978.35	c current bound: 531
947.28/979.06	c current bound: 531
947.81/979.77	c current bound: 531
948.52/980.48	c current bound: 531
949.38/981.19	c current bound: 531
950.20/981.90	c current bound: 531
950.89/982.77	c current bound: 531
951.50/983.48	c current bound: 531
952.05/984.19	c current bound: 531
952.77/984.90	c current bound: 531
953.71/985.61	c current bound: 531
954.18/986.32	c current bound: 531
954.90/987.03	c current bound: 531
955.86/987.96	c current bound: 531
956.32/988.67	c current bound: 531
957.03/989.38	c current bound: 531
957.90/990.09	c current bound: 531
958.70/990.80	c current bound: 531
959.15/991.50	c current bound: 531
960.10/992.21	c current bound: 531
960.83/993.13	c current bound: 531
961.27/993.85	c current bound: 531
962.00/994.56	c current bound: 531
962.70/995.26	c current bound: 531
963.41/995.97	c current bound: 531
964.28/996.69	c current bound: 531
964.84/997.41	c current bound: 531
965.83/998.32	c current bound: 531
966.28/999.03	c current bound: 531
966.99/999.73	c current bound: 531
967.70/1000.44	c current bound: 531
968.58/1001.15	c current bound: 531
969.11/1001.86	c current bound: 531
969.82/1002.57	c current bound: 531
970.79/1003.52	c current bound: 531
971.47/1004.23	c current bound: 531
971.95/1004.94	c current bound: 531
972.66/1005.64	c current bound: 531
973.37/1006.35	c current bound: 531
974.07/1007.06	c current bound: 531
974.79/1007.77	c current bound: 531
975.74/1008.70	c current bound: 531
976.21/1009.41	c current bound: 531
976.90/1010.12	c current bound: 531
977.83/1010.82	c current bound: 531
978.32/1011.53	c current bound: 531
979.04/1012.24	c current bound: 531
979.74/1012.95	c current bound: 531
980.71/1013.81	c current bound: 531
981.17/1014.52	c current bound: 531
982.09/1015.23	c current bound: 531
982.58/1015.93	c current bound: 531
983.28/1016.64	c current bound: 531
984.00/1017.35	c current bound: 531
984.70/1018.06	c current bound: 531
985.40/1018.90	c current bound: 531
986.36/1019.61	c current bound: 531
986.82/1020.31	c current bound: 531
987.53/1021.02	c current bound: 531
988.24/1021.73	c current bound: 531
988.94/1022.43	c current bound: 531
989.85/1023.14	c current bound: 531
990.36/1023.93	c current bound: 531
991.07/1024.65	c current bound: 531
991.97/1025.35	c current bound: 531
992.49/1026.06	c current bound: 531
993.19/1026.77	c current bound: 531
994.18/1027.51	c current bound: 531
994.64/1028.22	c current bound: 531
995.37/1028.93	c current bound: 531
996.28/1029.64	c current bound: 531
996.78/1030.35	c current bound: 531
997.48/1031.05	c current bound: 531
998.37/1031.77	c current bound: 531
998.91/1032.47	c current bound: 531
999.62/1033.18	c current bound: 531
1000.32/1033.89	c current bound: 531
1001.02/1034.59	c current bound: 531
1001.99/1035.30	c current bound: 531
1002.44/1036.01	c current bound: 531
1003.15/1036.72	c current bound: 531
1004.07/1037.43	c current bound: 531
1004.58/1038.14	c current bound: 531
1005.28/1038.99	c current bound: 531
1006.25/1039.70	c current bound: 531
1006.70/1040.41	c current bound: 531
1007.41/1041.11	c current bound: 531
1008.35/1041.82	c current bound: 531
1008.84/1042.54	c current bound: 531
1009.55/1043.25	c current bound: 531
1010.51/1044.21	c current bound: 531
1011.19/1044.92	c current bound: 531
1011.68/1045.63	c current bound: 531
1012.39/1046.35	c current bound: 531
1013.10/1047.06	c current bound: 531
1013.82/1047.76	c current bound: 531
1014.53/1048.47	c current bound: 531
1015.49/1049.30	c current bound: 531
1015.93/1050.01	c current bound: 531
1016.64/1050.72	c current bound: 531
1017.35/1051.43	c current bound: 531
1018.06/1052.13	c current bound: 531
1018.97/1052.84	c current bound: 531
1019.48/1053.55	c current bound: 531
1020.19/1054.50	c current bound: 531
1020.89/1055.21	c current bound: 531
1021.84/1055.92	c current bound: 531
1022.30/1056.62	c current bound: 531
1023.02/1057.33	c current bound: 531
1023.73/1058.04	c current bound: 531
1024.44/1058.75	c current bound: 531
1025.14/1059.58	c current bound: 531
1026.11/1060.30	c current bound: 531
1026.56/1061.01	c current bound: 531
1027.26/1061.72	c current bound: 531
1027.99/1062.42	c current bound: 531
1028.69/1063.13	c current bound: 531
1029.60/1063.84	c current bound: 531
1030.34/1064.78	c current bound: 531
1030.82/1065.50	c current bound: 531
1031.54/1066.21	c current bound: 531
1032.48/1066.92	c current bound: 531
1032.95/1067.63	c current bound: 531
1033.66/1068.33	c current bound: 531
1034.37/1069.04	c current bound: 531
1035.07/1069.84	c current bound: 531
1035.79/1070.56	c current bound: 531
1036.51/1071.26	c current bound: 531
1037.22/1071.97	c current bound: 531
1037.92/1072.68	c current bound: 531
1038.62/1073.39	c current bound: 531
1039.34/1074.09	c current bound: 531
1040.29/1075.03	c current bound: 531
1040.95/1075.74	c current bound: 531
1041.46/1076.45	c current bound: 531
1042.17/1077.16	c current bound: 531
1042.87/1077.87	c current bound: 531
1043.58/1078.58	c current bound: 531
1044.30/1079.28	c current bound: 531
1045.23/1080.21	c current bound: 531
1045.70/1080.92	c current bound: 531
1046.41/1081.62	c current bound: 531
1047.32/1082.33	c current bound: 531
1047.82/1083.03	c current bound: 531
1048.53/1083.74	c current bound: 531
1049.23/1084.45	c current bound: 531
1049.93/1085.44	c current bound: 531
1050.64/1086.16	c current bound: 531
1051.54/1086.87	c current bound: 531
1052.06/1087.58	c current bound: 531
1052.78/1088.29	c current bound: 531
1053.63/1088.99	c current bound: 531
1054.19/1089.70	c current bound: 531
1054.91/1090.41	c current bound: 531
1055.82/1091.12	c current bound: 531
1056.32/1091.83	c current bound: 531
1057.02/1092.54	c current bound: 531
1057.73/1093.25	c current bound: 531
1058.44/1093.95	c current bound: 531
1059.14/1094.66	c current bound: 531
1060.08/1095.52	c current bound: 531
1060.56/1096.23	c current bound: 531
1061.28/1096.96	c current bound: 531
1061.99/1097.66	c current bound: 531
1062.69/1098.37	c current bound: 531
1063.40/1099.08	c current bound: 531
1064.11/1099.78	c current bound: 531
1064.82/1100.62	c current bound: 531
1065.53/1101.33	c current bound: 531
1066.24/1102.04	c current bound: 531
1066.95/1102.75	c current bound: 531
1067.64/1103.46	c current bound: 531
1068.36/1104.16	c current bound: 531
1069.07/1104.87	c current bound: 531
1070.02/1105.80	c current bound: 531
1070.72/1106.51	c current bound: 531
1071.19/1107.22	c current bound: 531
1071.89/1107.93	c current bound: 531
1072.60/1108.64	c current bound: 531
1073.30/1109.34	c current bound: 531
1074.22/1110.05	c current bound: 531
1074.98/1110.82	c current bound: 531
1075.43/1111.52	c current bound: 531
1076.35/1112.23	c current bound: 531
1076.84/1112.94	c current bound: 531
1077.55/1113.65	c current bound: 531
1078.45/1114.35	c current bound: 531
1078.97/1115.06	c current bound: 531
1079.68/1115.99	c current bound: 531
1080.65/1116.70	c current bound: 531
1081.10/1117.41	c current bound: 531
1081.79/1118.12	c current bound: 531
1082.72/1118.82	c current bound: 531
1083.21/1119.53	c current bound: 531
1083.91/1120.25	c current bound: 531
1084.89/1121.16	c current bound: 531
1085.34/1121.87	c current bound: 531
1086.07/1122.58	c current bound: 531
1086.77/1123.29	c current bound: 531
1087.74/1124.00	c current bound: 531
1088.19/1124.70	c current bound: 531
1089.13/1125.41	c current bound: 531
1089.84/1126.37	c current bound: 531
1090.30/1127.07	c current bound: 531
1091.01/1127.78	c current bound: 531
1091.73/1128.49	c current bound: 531
1092.70/1129.20	c current bound: 531
1093.14/1129.91	c current bound: 531
1093.85/1130.62	c current bound: 531
1094.56/1131.46	c current bound: 531
1095.27/1132.16	c current bound: 531
1095.98/1132.87	c current bound: 531
1096.68/1133.58	c current bound: 531
1097.38/1134.29	c current bound: 531
1098.36/1135.00	c current bound: 531
1098.80/1135.71	c current bound: 531
1099.77/1136.63	c current bound: 531
1100.44/1137.34	c current bound: 531
1100.93/1138.05	c current bound: 531
1101.64/1138.76	c current bound: 531
1102.35/1139.47	c current bound: 531
1103.06/1140.19	c current bound: 531
1104.02/1140.90	c current bound: 531
1104.76/1141.83	c current bound: 531
1105.21/1142.54	c current bound: 531
1105.91/1143.25	c current bound: 531
1106.80/1143.97	c current bound: 531
1107.33/1144.68	c current bound: 531
1108.04/1145.39	c current bound: 531
1108.76/1146.09	c current bound: 531
1109.46/1147.04	c current bound: 531
1110.17/1147.75	c current bound: 531
1111.06/1148.46	c current bound: 531
1111.59/1149.17	c current bound: 531
1112.29/1149.87	c current bound: 531
1113.17/1150.58	c current bound: 531
1113.70/1151.29	c current bound: 531
1114.67/1152.23	c current bound: 531
1115.33/1152.93	c current bound: 531
1115.81/1153.64	c current bound: 531
1116.53/1154.35	c current bound: 531
1117.43/1155.05	c current bound: 531
1117.94/1155.76	c current bound: 531
1118.65/1156.47	c current bound: 531
1119.59/1157.32	c current bound: 531
1120.07/1158.02	c current bound: 531
1120.77/1158.73	c current bound: 531
1121.69/1159.44	c current bound: 531
1122.20/1160.15	c current bound: 531
1122.90/1160.86	c current bound: 531
1123.78/1161.57	c current bound: 531
1124.57/1162.53	c current bound: 531
1125.04/1163.23	c current bound: 531
1125.93/1163.95	c current bound: 531
1126.45/1164.65	c current bound: 531
1127.15/1165.36	c current bound: 531
1128.05/1166.07	c current bound: 531
1128.58/1166.77	c current bound: 531
1129.27/1167.67	c current bound: 531
1129.98/1168.39	c current bound: 531
1130.95/1169.10	c current bound: 531
1131.40/1169.81	c current bound: 531
1132.32/1170.51	c current bound: 531
1132.81/1171.22	c current bound: 531
1133.52/1171.93	c current bound: 531
1134.47/1172.84	c current bound: 531
1134.93/1173.55	c current bound: 531
1135.65/1174.26	c current bound: 531
1136.35/1174.97	c current bound: 531
1137.06/1175.67	c current bound: 531
1137.77/1176.38	c current bound: 531
1138.63/1177.09	c current bound: 531
1139.42/1178.03	c current bound: 531
1139.88/1178.74	c current bound: 531
1140.60/1179.45	c current bound: 531
1141.30/1180.16	c current bound: 531
1142.01/1180.86	c current bound: 531
1142.71/1181.57	c current bound: 531
1143.44/1182.28	c current bound: 531
1144.14/1183.20	c current bound: 531
1144.84/1183.91	c current bound: 531
1145.79/1184.62	c current bound: 531
1146.26/1185.33	c current bound: 531
1146.96/1186.04	c current bound: 531
1147.68/1186.75	c current bound: 531
1148.39/1187.46	c current bound: 531
1149.10/1188.38	c current bound: 531
1149.97/1189.09	c current bound: 531
1150.76/1189.80	c current bound: 531
1151.22/1190.51	c current bound: 531
1152.17/1191.23	c current bound: 531
1152.65/1191.94	c current bound: 531
1153.36/1192.65	c current bound: 531
1154.30/1193.58	c current bound: 531
1154.77/1194.29	c current bound: 531
1155.74/1195.00	c current bound: 531
1156.46/1195.71	c current bound: 531
1156.90/1196.41	c current bound: 531
1157.60/1197.13	c current bound: 531
1158.52/1197.84	c current bound: 531
1159.29/1198.74	c current bound: 531
1159.74/1199.46	c current bound: 531
1160.64/1200.16	c current bound: 531
1161.15/1200.87	c current bound: 531
1161.86/1201.59	c current bound: 531
1162.83/1202.32	c current bound: 531
1163.30/1203.02	c current bound: 531
1164.27/1203.83	c current bound: 531
1164.94/1204.54	c current bound: 531
1165.43/1205.26	c current bound: 531
1166.16/1205.97	c current bound: 531
1167.03/1206.68	c current bound: 531
1167.56/1207.39	c current bound: 531
1168.28/1208.10	c current bound: 531
1169.25/1209.02	c current bound: 531
1169.69/1209.73	c current bound: 531
1170.40/1210.44	c current bound: 531
1171.31/1211.16	c current bound: 531
1171.83/1211.86	c current bound: 531
1172.55/1212.59	c current bound: 531
1173.42/1213.29	c current bound: 531
1173.96/1214.13	c current bound: 531
1174.67/1214.84	c current bound: 531
1175.58/1215.55	c current bound: 531
1176.09/1216.25	c current bound: 531
1176.79/1216.96	c current bound: 531
1177.67/1217.67	c current bound: 531
1178.21/1218.38	c current bound: 531
1178.94/1219.21	c current bound: 531
1179.87/1219.91	c current bound: 531
1180.35/1220.62	c current bound: 531
1181.05/1221.33	c current bound: 531
1181.97/1222.04	c current bound: 531
1182.47/1222.75	c current bound: 531
1183.19/1223.47	c current bound: 531
1184.15/1224.40	c current bound: 531
1184.60/1225.11	c current bound: 531
1185.31/1225.82	c current bound: 531
1186.24/1226.53	c current bound: 531
1186.73/1227.23	c current bound: 531
1187.42/1227.96	c current bound: 531
1188.35/1228.66	c current bound: 531
1189.12/1229.58	c current bound: 531
1189.57/1230.28	c current bound: 531
1190.44/1230.99	c current bound: 531
1191.25/1231.70	c current bound: 531
1191.69/1232.40	c current bound: 531
1192.65/1233.11	c current bound: 531
1193.11/1233.82	c current bound: 531
1193.81/1234.68	c current bound: 531
1194.69/1235.38	c current bound: 531
1195.23/1236.09	c current bound: 531
1196.19/1236.80	c current bound: 531
1196.90/1237.50	c current bound: 531
1197.35/1238.21	c current bound: 531
1198.06/1238.92	c current bound: 531
1199.00/1239.84	c current bound: 531
1199.47/1240.55	c current bound: 531
1200.18/1241.26	c current bound: 531
1201.06/1241.96	c current bound: 531
1201.59/1242.67	c current bound: 531
1202.30/1243.38	c current bound: 531
1203.17/1244.08	c current bound: 531
1203.96/1245.04	c current bound: 531
1204.42/1245.74	c current bound: 531
1205.32/1246.46	c current bound: 531
1205.85/1247.17	c current bound: 531
1206.55/1247.88	c current bound: 531
1207.41/1248.58	c current bound: 531
1208.23/1249.30	c current bound: 531
1208.93/1250.23	c current bound: 531
1209.38/1250.94	c current bound: 531
1210.08/1251.65	c current bound: 531
1210.79/1252.35	c current bound: 531
1211.49/1253.06	c current bound: 531
1212.20/1253.76	c current bound: 531
1212.91/1254.47	c current bound: 531
1213.88/1255.41	c current bound: 531
1214.55/1256.11	c current bound: 531
1215.04/1256.82	c current bound: 531
1215.74/1257.53	c current bound: 531
1216.44/1258.24	c current bound: 531
1217.16/1258.97	c current bound: 531
1217.90/1259.68	c current bound: 531
1218.85/1260.61	c current bound: 531
1219.31/1261.32	c current bound: 531
1220.01/1262.03	c current bound: 531
1220.92/1262.74	c current bound: 531
1221.42/1263.46	c current bound: 531
1222.16/1264.17	c current bound: 531
1222.85/1264.87	c current bound: 531
1223.81/1265.88	c current bound: 531
1224.27/1266.58	c current bound: 531
1225.14/1267.29	c current bound: 531
1225.94/1268.00	c current bound: 531
1226.39/1268.71	c current bound: 531
1227.34/1269.41	c current bound: 531
1227.80/1270.12	c current bound: 531
1228.51/1270.83	c current bound: 531
1229.44/1271.53	c current bound: 531
1229.93/1272.24	c current bound: 531
1230.63/1272.94	c current bound: 531
1231.33/1273.65	c current bound: 531
1232.04/1274.36	c current bound: 531
1232.75/1275.06	c current bound: 531
1233.70/1275.92	c current bound: 531
1234.16/1276.63	c current bound: 531
1234.87/1277.33	c current bound: 531
1235.58/1278.04	c current bound: 531
1236.28/1278.75	c current bound: 531
1237.00/1279.46	c current bound: 531
1237.70/1280.17	c current bound: 531
1238.41/1281.13	c current bound: 531
1239.12/1281.84	c current bound: 531
1240.03/1282.55	c current bound: 531
1240.54/1283.25	c current bound: 531
1241.26/1283.97	c current bound: 531
1241.96/1284.69	c current bound: 531
1242.93/1285.40	c current bound: 531
1243.65/1286.39	c current bound: 531
1244.35/1287.10	c current bound: 531
1244.79/1287.81	c current bound: 531
1245.51/1288.52	c current bound: 531
1246.44/1289.23	c current bound: 531
1246.93/1289.93	c current bound: 531
1247.63/1290.64	c current bound: 531
1248.59/1291.63	c current bound: 531
1249.06/1292.33	c current bound: 531
1249.76/1293.04	c current bound: 531
1250.66/1293.76	c current bound: 531
1251.18/1294.46	c current bound: 531
1251.90/1295.17	c current bound: 531
1252.78/1295.87	c current bound: 531
1253.56/1296.81	c current bound: 531
1254.01/1297.51	c current bound: 531
1254.71/1298.22	c current bound: 531
1255.42/1298.92	c current bound: 531
1256.13/1299.63	c current bound: 531
1257.03/1300.35	c current bound: 531
1257.56/1301.05	c current bound: 531
1258.52/1302.01	c current bound: 531
1258.96/1302.71	c current bound: 531
1259.90/1303.43	c current bound: 531
1260.39/1304.13	c current bound: 531
1261.08/1304.84	c current bound: 531
1261.81/1305.55	c current bound: 531
1262.51/1306.25	c current bound: 531
1263.21/1307.09	c current bound: 531
1263.92/1307.79	c current bound: 531
1264.88/1308.50	c current bound: 531
1265.33/1309.20	c current bound: 531
1266.04/1309.91	c current bound: 531
1266.75/1310.61	c current bound: 531
1267.66/1311.32	c current bound: 531
1268.41/1312.24	c current bound: 531
1268.88/1312.95	c current bound: 531
1269.58/1313.66	c current bound: 531
1270.28/1314.36	c current bound: 531
1270.99/1315.07	c current bound: 531
1271.70/1315.78	c current bound: 531
1272.41/1316.49	c current bound: 531
1273.38/1317.42	c current bound: 531
1273.82/1318.14	c current bound: 531
1274.73/1318.84	c current bound: 531
1275.25/1319.55	c current bound: 531
1275.95/1320.25	c current bound: 531
1276.65/1320.96	c current bound: 531
1277.36/1321.67	c current bound: 531
1278.07/1322.38	c current bound: 531
1278.78/1323.09	c current bound: 531
1279.49/1323.79	c current bound: 531
1280.44/1324.50	c current bound: 531
1280.90/1325.21	c current bound: 531
1281.61/1325.91	c current bound: 531
1282.53/1326.62	c current bound: 531
1283.02/1327.48	c current bound: 531
1284.00/1328.20	c current bound: 531
1284.70/1328.91	c current bound: 531
1285.15/1329.61	c current bound: 531
1285.88/1330.32	c current bound: 531
1286.81/1331.03	c current bound: 531
1287.29/1331.74	c current bound: 531
1288.25/1332.70	c current bound: 531
1288.71/1333.40	c current bound: 531
1289.42/1334.11	c current bound: 531
1290.13/1334.82	c current bound: 531
1291.06/1335.53	c current bound: 531
1291.55/1336.24	c current bound: 531
1292.26/1336.95	c current bound: 531
1293.22/1337.81	c current bound: 531
1293.67/1338.51	c current bound: 531
1294.38/1339.23	c current bound: 531
1295.30/1339.94	c current bound: 531
1295.80/1340.65	c current bound: 531
1296.51/1341.36	c current bound: 531
1297.41/1342.08	c current bound: 531
1298.19/1343.05	c current bound: 531
1298.65/1343.76	c current bound: 531
1299.36/1344.48	c current bound: 531
1300.34/1345.21	c current bound: 531
1300.82/1345.93	c current bound: 531
1301.53/1346.64	c current bound: 531
1302.24/1347.34	c current bound: 531
1302.94/1348.06	c current bound: 531
1303.66/1348.77	c current bound: 531
1304.36/1349.48	c current bound: 531
1305.06/1350.18	c current bound: 531
1305.94/1350.89	c current bound: 531
1306.48/1351.59	c current bound: 531
1307.19/1352.30	c current bound: 531
1308.13/1353.27	c current bound: 531
1308.61/1353.98	c current bound: 531
1309.31/1354.70	c current bound: 531
1310.04/1355.41	c current bound: 531
1310.74/1356.12	c current bound: 531
1311.45/1356.83	c current bound: 531
1312.38/1357.53	c current bound: 531
1313.12/1358.48	c current bound: 531
1313.58/1359.19	c current bound: 531
1314.29/1359.90	c current bound: 531
1315.25/1360.61	c current bound: 531
1315.70/1361.31	c current bound: 531
1316.41/1362.02	c current bound: 531
1317.11/1362.73	c current bound: 531
1318.08/1363.71	c current bound: 531
1318.53/1364.42	c current bound: 531
1319.47/1365.13	c current bound: 531
1319.95/1365.85	c current bound: 531
1320.68/1366.56	c current bound: 531
1321.56/1367.27	c current bound: 531
1322.09/1367.98	c current bound: 531
1323.07/1368.84	c current bound: 531
1323.71/1369.55	c current bound: 531
1324.22/1370.25	c current bound: 531
1324.92/1370.96	c current bound: 531
1325.82/1371.67	c current bound: 531
1326.35/1372.37	c current bound: 531
1327.06/1373.08	c current bound: 531
1328.01/1374.04	c current bound: 531
1328.46/1374.75	c current bound: 531
1329.17/1375.46	c current bound: 531
1330.07/1376.17	c current bound: 531
1330.59/1376.88	c current bound: 531
1331.57/1377.60	c current bound: 531
1332.25/1378.31	c current bound: 531
1332.73/1379.17	c current bound: 531
1333.43/1379.88	c current bound: 531
1334.31/1380.58	c current bound: 531
1334.85/1381.29	c current bound: 531
1335.55/1381.99	c current bound: 531
1336.53/1382.70	c current bound: 531
1336.98/1383.41	c current bound: 531
1337.67/1384.12	c current bound: 531
1338.60/1384.83	c current bound: 531
1339.09/1385.54	c current bound: 531
1339.81/1386.26	c current bound: 531
1340.52/1386.96	c current bound: 531
1341.23/1387.67	c current bound: 531
1341.93/1388.37	c current bound: 531
1342.91/1389.23	c current bound: 531
1343.35/1389.94	c current bound: 531
1344.05/1390.65	c current bound: 531
1344.76/1391.35	c current bound: 531
1345.47/1392.06	c current bound: 531
1346.18/1392.77	c current bound: 531
1346.90/1393.48	c current bound: 531
1347.61/1394.31	c current bound: 531
1348.31/1395.02	c current bound: 531
1349.02/1395.73	c current bound: 531
1349.73/1396.43	c current bound: 531
1350.64/1397.14	c current bound: 531
1351.14/1397.84	c current bound: 531
1351.85/1398.55	c current bound: 531
1352.81/1399.51	c current bound: 531
1353.48/1400.22	c current bound: 531
1353.97/1400.93	c current bound: 531
1354.67/1401.63	c current bound: 531
1355.38/1402.34	c current bound: 531
1356.08/1403.05	c current bound: 531
1356.99/1403.75	c current bound: 531
1357.50/1404.57	c current bound: 531
1358.22/1405.28	c current bound: 531
1359.18/1406.00	c current bound: 531
1359.63/1406.71	c current bound: 531
1360.35/1407.41	c current bound: 531
1361.27/1408.12	c current bound: 531
1361.76/1408.83	c current bound: 531
1362.47/1409.78	c current bound: 531
1363.18/1410.49	c current bound: 531
1363.87/1411.20	c current bound: 531
1364.59/1411.90	c current bound: 531
1365.30/1412.62	c current bound: 531
1366.01/1413.32	c current bound: 531
1366.72/1414.03	c current bound: 531
1367.66/1414.82	c current bound: 531
1368.14/1415.53	c current bound: 531
1368.84/1416.24	c current bound: 531
1369.74/1416.95	c current bound: 531
1370.26/1417.66	c current bound: 531
1370.97/1418.37	c current bound: 531
1371.87/1419.09	c current bound: 531
1372.41/1419.92	c current bound: 531
1373.11/1420.63	c current bound: 531
1374.03/1421.34	c current bound: 531
1374.53/1422.04	c current bound: 531
1375.23/1422.75	c current bound: 531
1376.13/1423.46	c current bound: 531
1376.65/1424.17	c current bound: 531
1377.61/1425.10	c current bound: 531
1378.06/1425.81	c current bound: 531
1378.77/1426.52	c current bound: 531
1379.50/1427.23	c current bound: 531
1380.41/1427.94	c current bound: 531
1380.91/1428.64	c current bound: 531
1381.61/1429.35	c current bound: 531
1382.57/1430.24	c current bound: 531
1383.02/1430.95	c current bound: 531
1383.73/1431.65	c current bound: 531
1384.45/1432.36	c current bound: 531
1385.15/1433.07	c current bound: 531
1385.86/1433.78	c current bound: 531
1386.74/1434.48	c current bound: 531
1387.53/1435.37	c current bound: 531
1387.98/1436.08	c current bound: 531
1388.68/1436.80	c current bound: 531
1389.40/1437.51	c current bound: 531
1390.11/1438.22	c current bound: 531
1391.03/1438.93	c current bound: 531
1391.52/1439.64	c current bound: 531
1392.23/1440.46	c current bound: 531
1392.94/1441.17	c current bound: 531
1393.65/1441.88	c current bound: 531
1394.36/1442.59	c current bound: 531
1395.22/1443.29	c current bound: 531
1395.77/1444.00	c current bound: 531
1396.48/1444.71	c current bound: 531
1397.43/1445.66	c current bound: 531
1397.89/1446.37	c current bound: 531
1398.61/1447.07	c current bound: 531
1399.31/1447.78	c current bound: 531
1400.02/1448.49	c current bound: 531
1400.98/1449.20	c current bound: 531
1401.67/1449.90	c current bound: 531
1402.40/1450.73	c current bound: 531
1402.85/1451.43	c current bound: 531
1403.76/1452.14	c current bound: 531
1404.27/1452.85	c current bound: 531
1404.96/1453.56	c current bound: 531
1405.94/1454.33	c current bound: 531
1406.39/1455.04	c current bound: 531
1407.09/1455.86	c current bound: 531
1407.80/1456.57	c current bound: 531
1408.50/1457.29	c current bound: 531
1409.23/1457.99	c current bound: 531
1410.18/1458.70	c current bound: 531
1410.63/1459.41	c current bound: 531
1411.34/1460.12	c current bound: 531
1412.29/1461.07	c current bound: 531
1412.76/1461.78	c current bound: 531
1413.47/1462.49	c current bound: 531
1414.18/1463.21	c current bound: 531
1414.91/1463.92	c current bound: 531
1415.61/1464.62	c current bound: 531
1416.53/1465.34	c current bound: 531
1417.27/1466.27	c current bound: 531
1417.73/1466.98	c current bound: 531
1418.44/1467.69	c current bound: 531
1419.15/1468.40	c current bound: 531
1419.86/1469.11	c current bound: 531
1420.56/1469.82	c current bound: 531
1421.27/1470.53	c current bound: 531
1421.98/1471.47	c current bound: 531
1422.69/1472.18	c current bound: 531
1423.56/1472.89	c current bound: 531
1424.11/1473.59	c current bound: 531
1424.82/1474.30	c current bound: 531
1425.76/1475.01	c current bound: 531
1426.22/1475.72	c current bound: 531
1426.94/1476.58	c current bound: 531
1427.81/1477.29	c current bound: 531
1428.35/1477.99	c current bound: 531
1429.06/1478.70	c current bound: 531
1429.99/1479.41	c current bound: 531
1430.47/1480.12	c current bound: 531
1431.18/1480.83	c current bound: 531
1432.13/1481.77	c current bound: 531
1432.60/1482.48	c current bound: 531
1433.31/1483.19	c current bound: 531
1434.18/1483.90	c current bound: 531
1434.72/1484.61	c current bound: 531
1435.44/1485.31	c current bound: 531
1436.39/1486.02	c current bound: 531
1437.11/1486.84	c current bound: 531
1437.56/1487.55	c current bound: 531
1438.44/1488.26	c current bound: 531
1438.96/1488.97	c current bound: 531
1439.68/1489.68	c current bound: 531
1440.39/1490.38	c current bound: 531
1441.09/1491.09	c current bound: 531
1442.05/1492.04	c current bound: 531
1442.70/1492.75	c current bound: 531
1443.22/1493.46	c current bound: 531
1443.92/1494.17	c current bound: 531
1444.80/1494.88	c current bound: 531
1445.34/1495.60	c current bound: 531
1446.06/1496.31	c current bound: 531
1447.00/1497.09	c current bound: 531
1447.48/1497.80	c current bound: 531
1448.19/1498.51	c current bound: 531
1449.10/1499.22	c current bound: 531
1449.59/1499.93	c current bound: 531
1450.32/1500.64	c current bound: 531
1451.01/1501.35	c current bound: 531
1451.72/1502.15	c current bound: 531
1452.44/1502.86	c current bound: 531
1453.14/1503.57	c current bound: 531
1453.84/1504.28	c current bound: 531
1454.56/1504.99	c current bound: 531
1455.27/1505.70	c current bound: 531
1455.98/1506.41	c current bound: 531
1456.92/1507.12	c current bound: 531
1457.39/1507.82	c current bound: 531
1458.10/1508.54	c current bound: 531
1459.01/1509.25	c current bound: 531
1459.53/1509.95	c current bound: 531
1460.23/1510.66	c current bound: 531
1461.11/1511.37	c current bound: 531
1461.90/1512.20	c current bound: 531
1462.35/1512.91	c current bound: 531
1463.28/1513.61	c current bound: 531
1463.76/1514.32	c current bound: 531
1464.48/1515.03	c current bound: 531
1465.40/1515.73	c current bound: 531
1465.88/1516.44	c current bound: 531
1466.59/1517.38	c current bound: 531
1467.48/1518.08	c current bound: 531
1468.01/1518.79	c current bound: 531
1468.96/1519.50	c current bound: 531
1469.66/1520.21	c current bound: 531
1470.13/1520.92	c current bound: 531
1470.84/1521.63	c current bound: 531
1471.80/1522.53	c current bound: 531
1472.26/1523.24	c current bound: 531
1472.95/1523.95	c current bound: 531
1473.87/1524.66	c current bound: 531
1474.37/1525.36	c current bound: 531
1475.08/1526.07	c current bound: 531
1475.96/1526.78	c current bound: 531
1476.50/1527.73	c current bound: 531
1477.20/1528.44	c current bound: 531
1478.11/1529.15	c current bound: 531
1478.63/1529.86	c current bound: 531
1479.33/1530.57	c current bound: 531
1480.22/1531.28	c current bound: 531
1480.75/1531.99	c current bound: 531
1481.71/1532.81	c current bound: 531
1482.40/1533.52	c current bound: 531
1482.88/1534.22	c current bound: 531
1483.59/1534.93	c current bound: 531
1484.50/1535.64	c current bound: 531
1485.00/1536.35	c current bound: 531
1485.72/1537.06	c current bound: 531
1486.66/1538.02	c current bound: 531
1487.12/1538.73	c current bound: 531
1487.84/1539.43	c current bound: 531
1488.74/1540.14	c current bound: 531
1489.24/1540.85	c current bound: 531
1489.94/1541.56	c current bound: 531
1490.84/1542.28	c current bound: 531
1491.63/1543.22	c current bound: 531
1492.09/1543.93	c current bound: 531
1492.80/1544.64	c current bound: 531
1493.51/1545.35	c current bound: 531
1494.22/1546.05	c current bound: 531
1494.92/1546.76	c current bound: 531
1495.64/1547.47	c current bound: 531
1496.34/1548.43	c current bound: 531
1497.04/1549.14	c current bound: 531
1497.96/1549.84	c current bound: 531
1498.46/1550.55	c current bound: 531
1499.16/1551.26	c current bound: 531
1499.86/1551.97	c current bound: 531
1500.57/1552.68	c current bound: 531
1501.30/1553.62	c current bound: 531
1502.22/1554.33	c current bound: 531
1502.73/1555.04	c current bound: 531
1503.43/1555.76	c current bound: 531
1504.34/1556.48	c current bound: 531
1504.85/1557.18	c current bound: 531
1505.57/1557.91	c current bound: 531
1506.55/1558.70	c current bound: 531
1507.01/1559.41	c current bound: 531
1507.70/1560.12	c current bound: 531
1508.64/1560.83	c current bound: 531
1509.12/1561.54	c current bound: 531
1509.83/1562.25	c current bound: 531
1510.54/1562.96	c current bound: 531
1511.26/1563.71	c current bound: 531
1511.98/1564.42	c current bound: 531
1512.69/1565.13	c current bound: 531
1513.40/1565.84	c current bound: 531
1514.29/1566.54	c current bound: 531
1514.81/1567.25	c current bound: 531
1515.51/1567.97	c current bound: 531
1516.40/1568.68	c current bound: 531
1516.93/1569.38	c current bound: 531
1517.64/1570.09	c current bound: 531
1518.60/1570.81	c current bound: 531
1519.07/1571.52	c current bound: 531
1519.77/1572.23	c current bound: 531
1520.71/1572.93	c current bound: 531
1521.45/1573.71	c current bound: 531
1521.91/1574.43	c current bound: 531
1522.82/1575.13	c current bound: 531
1523.31/1575.84	c current bound: 531
1524.03/1576.55	c current bound: 531
1524.73/1577.25	c current bound: 531
1525.43/1577.96	c current bound: 531
1526.13/1578.88	c current bound: 531
1527.01/1579.59	c current bound: 531
1527.82/1580.30	c current bound: 531
1528.27/1581.01	c current bound: 531
1529.21/1581.71	c current bound: 531
1529.68/1582.43	c current bound: 531
1530.40/1583.14	c current bound: 531
1531.36/1584.05	c current bound: 531
1531.81/1584.76	c current bound: 531
1532.52/1585.47	c current bound: 531
1533.40/1586.18	c current bound: 531
1533.94/1586.89	c current bound: 531
1534.66/1587.60	c current bound: 531
1535.60/1588.31	c current bound: 531
1536.07/1589.26	c current bound: 531
1536.78/1589.96	c current bound: 531
1537.67/1590.67	c current bound: 531
1538.19/1591.38	c current bound: 531
1538.90/1592.10	c current bound: 531
1539.87/1592.81	c current bound: 531
1540.33/1593.52	c current bound: 531
1541.03/1594.46	c current bound: 531
1541.74/1595.19	c current bound: 531
1542.47/1595.89	c current bound: 531
1543.17/1596.60	c current bound: 531
1544.11/1597.31	c current bound: 531
1544.59/1598.02	c current bound: 531
1545.30/1598.73	c current bound: 531
1546.27/1599.68	c current bound: 531
1546.73/1600.38	c current bound: 531
1547.44/1601.09	c current bound: 531
1548.40/1601.80	c current bound: 531
1548.84/1602.50	c current bound: 531
1549.55/1603.22	c current bound: 531
1550.48/1603.92	c current bound: 531
1551.20/1604.83	c current bound: 531
1551.68/1605.54	c current bound: 531
1552.40/1606.25	c current bound: 531
1553.10/1606.96	c current bound: 531
1553.81/1607.67	c current bound: 531
1554.52/1608.38	c current bound: 531
1555.23/1609.09	c current bound: 531
1555.93/1610.00	c current bound: 531
1556.64/1610.71	c current bound: 531
1557.57/1611.42	c current bound: 531
1558.06/1612.12	c current bound: 531
1558.77/1612.83	c current bound: 531
1559.46/1613.54	c current bound: 531
1560.17/1614.25	c current bound: 531
1560.88/1615.10	c current bound: 531
1561.85/1615.80	c current bound: 531
1562.29/1616.51	c current bound: 531
1563.01/1617.22	c current bound: 531
1563.72/1617.93	c current bound: 531
1564.43/1618.64	c current bound: 531
1565.33/1619.35	c current bound: 531
1566.07/1620.26	c current bound: 531
1566.53/1620.97	c current bound: 531
1567.25/1621.68	c current bound: 531
1567.94/1622.38	c current bound: 531
1568.65/1623.10	c current bound: 531
1569.37/1623.81	c current bound: 531
1570.07/1624.52	c current bound: 531
1570.78/1625.26	c current bound: 531
1571.51/1625.97	c current bound: 531
1572.21/1626.67	c current bound: 531
1572.92/1627.38	c current bound: 531
1573.79/1628.09	c current bound: 531
1574.60/1628.80	c current bound: 531
1575.05/1629.51	c current bound: 531
1576.00/1630.30	c current bound: 531
1576.47/1631.01	c current bound: 531
1577.18/1631.72	c current bound: 531
1578.11/1632.42	c current bound: 531
1578.60/1633.13	c current bound: 531
1579.29/1633.83	c current bound: 531
1580.20/1634.54	c current bound: 531
1580.71/1635.36	c current bound: 531
1581.41/1636.07	c current bound: 531
1582.28/1636.78	c current bound: 531
1582.82/1637.49	c current bound: 531
1583.53/1638.20	c current bound: 531
1584.49/1638.91	c current bound: 531
1584.95/1639.62	c current bound: 531
1585.68/1640.47	c current bound: 531
1586.55/1641.18	c current bound: 531
1587.08/1641.88	c current bound: 531
1587.79/1642.59	c current bound: 531
1588.52/1643.30	c current bound: 531
1589.23/1644.01	c current bound: 531
1589.92/1644.72	c current bound: 531
1590.87/1645.67	c current bound: 531
1591.35/1646.38	c current bound: 531
1592.06/1647.09	c current bound: 531
1592.90/1647.80	c current bound: 531
1593.47/1648.50	c current bound: 531
1594.18/1649.21	c current bound: 531
1595.12/1649.92	c current bound: 531
1595.84/1650.73	c current bound: 531
1596.29/1651.44	c current bound: 531
1597.20/1652.15	c current bound: 531
1597.70/1652.86	c current bound: 531
1598.43/1653.57	c current bound: 531
1599.13/1654.27	c current bound: 531
1599.84/1654.98	c current bound: 531
1600.54/1655.87	c current bound: 531
1601.41/1656.58	c current bound: 531
1601.96/1657.29	c current bound: 531
1602.91/1658.00	c current bound: 531
1603.62/1658.71	c current bound: 531
1604.08/1659.41	c current bound: 531
1604.79/1660.12	c current bound: 531
1605.73/1661.04	c current bound: 531
1606.19/1661.75	c current bound: 531
1606.91/1662.45	c current bound: 531
1607.80/1663.17	c current bound: 531
1608.33/1663.87	c current bound: 531
1609.03/1664.58	c current bound: 531
1609.74/1665.29	c current bound: 531
1610.45/1666.27	c current bound: 531
1611.17/1666.99	c current bound: 531
1612.03/1667.69	c current bound: 531
1612.84/1668.40	c current bound: 531
1613.29/1669.11	c current bound: 531
1614.24/1669.82	c current bound: 531
1614.71/1670.52	c current bound: 531
1615.42/1671.56	c current bound: 531
1616.13/1672.27	c current bound: 531
1616.84/1672.97	c current bound: 531
1617.54/1673.68	c current bound: 531
1618.24/1674.38	c current bound: 531
1618.95/1675.09	c current bound: 531
1619.91/1675.80	c current bound: 531
1620.61/1676.50	c current bound: 531
1621.07/1677.21	c current bound: 531
1621.77/1677.92	c current bound: 531
1622.72/1678.63	c current bound: 531
1623.21/1679.34	c current bound: 531
1623.91/1680.05	c current bound: 531
1624.81/1680.76	c current bound: 531
1625.31/1681.72	c current bound: 531
1626.03/1682.43	c current bound: 531
1626.96/1683.13	c current bound: 531
1627.45/1683.84	c current bound: 531
1628.15/1684.55	c current bound: 531
1629.05/1685.26	c current bound: 531
1629.57/1685.96	c current bound: 531
1630.28/1686.68	c current bound: 531
1631.15/1687.39	c current bound: 531
1631.97/1688.10	c current bound: 531
1632.42/1688.81	c current bound: 531
1633.36/1689.51	c current bound: 531
1633.83/1690.23	c current bound: 531
1634.54/1690.94	c current bound: 531
1635.51/1691.84	c current bound: 531
1635.96/1692.54	c current bound: 531
1636.68/1693.25	c current bound: 531
1637.57/1693.96	c current bound: 531
1638.09/1694.66	c current bound: 531
1638.79/1695.37	c current bound: 531
1639.51/1696.07	c current bound: 531
1640.21/1696.93	c current bound: 531
1640.92/1697.63	c current bound: 531
1641.84/1698.34	c current bound: 531
1642.33/1699.05	c current bound: 531
1643.05/1699.75	c current bound: 531
1643.75/1700.46	c current bound: 531
1644.47/1701.17	c current bound: 531
1645.42/1702.12	c current bound: 531
1646.10/1702.83	c current bound: 531
1646.59/1703.53	c current bound: 531
1647.28/1704.24	c current bound: 531
1648.20/1704.95	c current bound: 531
1648.70/1705.66	c current bound: 531
1649.41/1706.36	c current bound: 531
1650.36/1707.30	c current bound: 531
1650.83/1708.01	c current bound: 531
1651.53/1708.71	c current bound: 531
1652.47/1709.42	c current bound: 531
1652.95/1710.13	c current bound: 531
1653.66/1710.83	c current bound: 531
1654.57/1711.54	c current bound: 531
1655.07/1712.48	c current bound: 531
1655.78/1713.19	c current bound: 531
1656.64/1713.89	c current bound: 531
1657.20/1714.60	c current bound: 531
1657.91/1715.31	c current bound: 531
1658.85/1716.02	c current bound: 531
1659.32/1716.72	c current bound: 531
1660.03/1717.63	c current bound: 531
1660.93/1718.34	c current bound: 531
1661.45/1719.05	c current bound: 531
1662.16/1719.76	c current bound: 531
1663.05/1720.47	c current bound: 531
1663.56/1721.17	c current bound: 531
1664.28/1721.88	c current bound: 531
1665.22/1722.78	c current bound: 531
1665.68/1723.49	c current bound: 531
1666.39/1724.19	c current bound: 531
1667.35/1724.90	c current bound: 531
1667.81/1725.61	c current bound: 531
1668.52/1726.32	c current bound: 531
1669.47/1727.03	c current bound: 531
1669.94/1727.82	c current bound: 531
1670.65/1728.53	c current bound: 531
1671.56/1729.24	c current bound: 531
1672.06/1729.94	c current bound: 531
1672.77/1730.65	c current bound: 531
1673.66/1731.36	c current bound: 531
1674.19/1732.06	c current bound: 531
1674.89/1733.01	c current bound: 531
1675.82/1733.72	c current bound: 531
1676.58/1734.52	c current bound: 531
1677.03/1735.23	c current bound: 531
1677.95/1735.94	c current bound: 531
1678.45/1736.65	c current bound: 531
1679.14/1737.35	c current bound: 531
1680.04/1738.07	c current bound: 531
1680.58/1738.78	c current bound: 531
1681.28/1739.49	c current bound: 531
1682.14/1740.20	c current bound: 531
1682.69/1740.90	c current bound: 531
1683.41/1741.61	c current bound: 531
1684.34/1742.32	c current bound: 531
1684.82/1743.05	c current bound: 531
1685.53/1743.75	c current bound: 531
1686.24/1744.46	c current bound: 531
1686.94/1745.17	c current bound: 531
1687.65/1745.89	c current bound: 531
1688.39/1746.59	c current bound: 531
1689.08/1747.30	c current bound: 531
1690.02/1748.01	c current bound: 531
1690.51/1748.72	c current bound: 531
1691.21/1749.42	c current bound: 531
1692.14/1750.13	c current bound: 531
1692.62/1750.84	c current bound: 531
1693.34/1751.55	c current bound: 531
1694.23/1752.25	c current bound: 531
1694.98/1753.40	c current bound: 531
1695.45/1754.10	c current bound: 531
1696.17/1754.82	c current bound: 531
1697.10/1755.52	c current bound: 531
1697.58/1756.23	c current bound: 531
1698.29/1756.93	c current bound: 531
1698.99/1757.64	c current bound: 531
1699.70/1758.35	c current bound: 531
1700.41/1759.06	c current bound: 531
1701.12/1759.76	c current bound: 531
1701.82/1760.47	c current bound: 531
1702.71/1761.18	c current bound: 531
1703.24/1761.89	c current bound: 531
1703.95/1762.60	c current bound: 531
1704.92/1763.30	c current bound: 531
1705.35/1764.01	c current bound: 531
1706.07/1764.72	c current bound: 531
1707.01/1765.42	c current bound: 531
1707.49/1766.13	c current bound: 531
1708.20/1766.84	c current bound: 531
1708.91/1767.55	c current bound: 531
1709.60/1768.44	c current bound: 531
1710.32/1769.15	c current bound: 531
1711.21/1769.88	c current bound: 531
1711.76/1770.58	c current bound: 531
1712.47/1771.29	c current bound: 531
1713.16/1772.00	c current bound: 531
1713.88/1772.70	c current bound: 531
1714.58/1773.53	c current bound: 531
1715.51/1774.23	c current bound: 531
1715.99/1774.94	c current bound: 531
1716.71/1775.65	c current bound: 531
1717.42/1776.35	c current bound: 531
1718.12/1777.06	c current bound: 531
1718.83/1777.77	c current bound: 531
1719.78/1778.65	c current bound: 531
1720.25/1779.36	c current bound: 531
1720.95/1780.07	c current bound: 531
1721.67/1780.77	c current bound: 531
1722.37/1781.48	c current bound: 531
1723.08/1782.18	c current bound: 531
1723.78/1782.89	c current bound: 531
1724.74/1783.72	c current bound: 531
1725.19/1784.42	c current bound: 531
1725.90/1785.13	c current bound: 531
1726.62/1785.84	c current bound: 531
1727.52/1786.55	c current bound: 531
1728.03/1787.26	c current bound: 531
1728.74/1787.96	c current bound: 531
1729.69/1788.86	c current bound: 531
1730.17/1789.56	c current bound: 531
1730.86/1790.27	c current bound: 531
1731.57/1790.97	c current bound: 531
1732.27/1791.68	c current bound: 531
1732.99/1792.39	c current bound: 531
1733.84/1793.09	c current bound: 531
1734.40/1793.96	c current bound: 531
1735.09/1794.67	c current bound: 531
1735.81/1795.37	c current bound: 531
1736.51/1796.08	c current bound: 531
1737.22/1796.79	c current bound: 531
1738.10/1797.49	c current bound: 531
1738.90/1798.20	c current bound: 531
1739.35/1799.07	c current bound: 531
1740.06/1799.78	c current bound: 531
1740.77/1800.49	c current bound: 531
1741.48/1801.19	c current bound: 531
1742.42/1801.90	c current bound: 531
1742.89/1802.62	c current bound: 531
1743.60/1803.32	c current bound: 531
1744.57/1804.16	c current bound: 531
1745.02/1804.86	c current bound: 531
1745.72/1805.57	c current bound: 531
1746.60/1806.28	c current bound: 531
1747.15/1806.99	c current bound: 531
1747.86/1807.70	c current bound: 531
1748.80/1808.41	c current bound: 531
1749.52/1809.23	c current bound: 531
1749.97/1809.94	c current bound: 531
1750.89/1810.65	c current bound: 531
1751.41/1811.36	c current bound: 531
1752.11/1812.07	c current bound: 531
1752.98/1812.77	c current bound: 531
1753.53/1813.48	c current bound: 531
1754.50/1814.34	c current bound: 531
1755.15/1815.05	c current bound: 531
1755.64/1815.76	c current bound: 531
1756.35/1816.46	c current bound: 531
1757.25/1817.17	c current bound: 531
1757.77/1817.88	c current bound: 531
1758.48/1818.60	c current bound: 531
1759.44/1819.46	c current bound: 531
1759.90/1820.17	c current bound: 531
1760.62/1820.88	c current bound: 531
1761.49/1821.58	c current bound: 531
1762.04/1822.29	c current bound: 531
1762.75/1823.00	c current bound: 531
1763.71/1823.71	c current bound: 531
1764.44/1824.70	c current bound: 531
1764.89/1825.41	c current bound: 531
1765.83/1826.12	c current bound: 531
1766.31/1826.82	c current bound: 531
1767.01/1827.53	c current bound: 531
1767.93/1828.24	c current bound: 531
1768.42/1828.94	c current bound: 531
1769.13/1829.69	c current bound: 531
1770.09/1830.41	c current bound: 531
1770.55/1831.11	c current bound: 531
1771.26/1831.82	c current bound: 531
1772.19/1832.53	c current bound: 531
1772.68/1833.24	c current bound: 531
1773.39/1833.95	c current bound: 531
1774.35/1834.81	c current bound: 531
1774.81/1835.52	c current bound: 531
1775.52/1836.24	c current bound: 531
1776.45/1836.94	c current bound: 531
1776.95/1837.65	c current bound: 531
1777.66/1838.36	c current bound: 531
1778.36/1839.06	c current bound: 531
1779.07/1839.77	c current bound: 531
1779.78/1840.49	c current bound: 531
1780.49/1841.19	c current bound: 531
1781.21/1841.91	c current bound: 531
1782.14/1842.62	c current bound: 531
1782.63/1843.33	c current bound: 531
1783.34/1844.04	c current bound: 531
1784.30/1845.00	c current bound: 531
1785.01/1845.71	c current bound: 531
1785.46/1846.41	c current bound: 531
1786.17/1847.12	c current bound: 531
1786.87/1847.83	c current bound: 531
1787.58/1848.54	c current bound: 531
1788.51/1849.25	c current bound: 531
1789.25/1850.18	c current bound: 531
1789.72/1850.89	c current bound: 531
1790.43/1851.60	c current bound: 531
1791.37/1852.31	c current bound: 531
1791.84/1853.02	c current bound: 531
1792.54/1853.73	c current bound: 531
1793.25/1854.44	c current bound: 531
1793.96/1855.32	c current bound: 531
1794.67/1856.02	c current bound: 531
1795.60/1856.73	c current bound: 531
1796.08/1857.44	c current bound: 531
1796.79/1858.15	c current bound: 531
1797.50/1858.85	c current bound: 531
1798.20/1859.56	c current bound: 531
1799.17/1860.53	c current bound: 531
1799.84/1861.24	c current bound: 531
1800.33/1861.71	HOME/npSolver-wbo-Itdqb.sh: line 18: 30413 Terminated              ./npSolver-wbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715614-1338198477/watcher-3715614-1338198477 -o /tmp/evaluation-result-3715614-1338198477/solver-3715614-1338198477 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715614-1338198477.wbo 1202352013 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.91 1.96 1.92 2/179 30412
/proc/meminfo: memFree=29245524/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0

[startup+0.0218179 s]
/proc/loadavg: 1.91 1.96 1.92 2/179 30412
/proc/meminfo: memFree=29245524/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100158 s]
/proc/loadavg: 1.91 1.96 1.92 2/179 30412
/proc/meminfo: memFree=29245524/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300284 s]
/proc/loadavg: 1.91 1.96 1.92 2/179 30412
/proc/meminfo: memFree=29245524/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700132 s]
/proc/loadavg: 1.91 1.96 1.92 2/179 30412
/proc/meminfo: memFree=29245524/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50017 s]
/proc/loadavg: 1.92 1.96 1.92 3/183 30433
/proc/meminfo: memFree=29188372/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1.28 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4953 32423 0 0 18 3 90 17 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 28956

[startup+3.1003 s]
/proc/loadavg: 1.92 1.96 1.92 3/183 30450
/proc/meminfo: memFree=29221392/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=3.04 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 10700 67704 0 0 41 6 200 57 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 28956

[startup+6.30023 s]
/proc/loadavg: 1.92 1.96 1.92 3/183 30482
/proc/meminfo: memFree=29181100/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=6.23 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 18379 139860 0 0 72 11 425 115 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 28956

[startup+12.7003 s]
/proc/loadavg: 1.93 1.96 1.92 3/183 30559
/proc/meminfo: memFree=29179828/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=12.23 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 35634 265911 0 0 141 21 820 241 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 28956

[startup+25.5003 s]
/proc/loadavg: 1.94 1.96 1.92 3/183 30709
/proc/meminfo: memFree=29214908/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=24.64 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 68247 536618 0 0 270 43 1672 479 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
[pid=30707] ppid=30413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30707/stat : 30707 (cp2_post.sh) S 30413 30412 1843 0 -1 4202496 609 225 0 0 0 0 0 0 20 0 1 0 285977624 9367552 265 33554432000 4194304 5064252 140734201146240 140734201144528 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30707/statm: 2287 265 225 213 0 72 0
[pid=30709] ppid=30707 vsize=10932 CPUtime=0.24 cores=1,3,5,7
/proc/30709/stat : 30709 (coprocessor) D 30707 30412 1843 0 -1 4202496 2742 0 0 0 15 9 0 0 20 0 1 0 285977624 11194368 1880 33554432000 4194304 6586260 140736437713360 140736437709096 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 1 0 0 4 0 0
/proc/30709/statm: 2733 1880 150 584 0 2145 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 49036

[startup+51.1003 s]
/proc/loadavg: 2.09 1.99 1.93 3/183 30986
/proc/meminfo: memFree=29181408/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=49.79 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 137288 1074463 0 0 545 87 3372 975 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 49.79
Current children cumulated vsize (KiB) 28956

[startup+102.307 s]
/proc/loadavg: 2.03 1.99 1.93 3/183 31567
/proc/meminfo: memFree=29180684/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=99.41 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 271548 2140280 0 0 1080 173 6737 1951 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
[pid=31566] ppid=30413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31566/stat : 31566 (satsolver.sh) S 30413 30412 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285985313 9367552 266 33554432000 4194304 5064252 140737201537552 140737201536464 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31566/statm: 2287 266 226 213 0 72 0
[pid=31567] ppid=31566 vsize=49584 CPUtime=0.27 cores=1,3,5,7
/proc/31567/stat : 31567 (glucose) R 31566 30412 1843 0 -1 4202496 10019 0 0 0 26 1 0 0 20 0 1 0 285985313 50774016 10735 33554432000 4194304 5208918 140736361274784 140737201536488 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31567/statm: 12396 10735 103 248 0 12145 0
Current children cumulated CPU time (s) 99.68
Current children cumulated vsize (KiB) 87688

[startup+162.3 s]
/proc/loadavg: 2.01 1.99 1.93 3/182 32227
/proc/meminfo: memFree=29234984/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=7520 CPUtime=157.53 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) R 30412 30412 1843 0 -1 4202496 428163 3390321 0 0 1700 273 10696 3084 20 0 1 0 285975111 7700480 1483 33554432000 4194304 5990268 140737117372176 140737117364160 5042529 0 0 4096 0 0 0 0 17 3 0 0 9 0 0
/proc/30413/statm: 1880 1483 177 439 0 1437 0
Current children cumulated CPU time (s) 157.53
Current children cumulated vsize (KiB) 16668

[startup+222.3 s]
/proc/loadavg: 2.19 2.04 1.94 3/181 431
/proc/meminfo: memFree=29234252/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=214.99 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 584182 4622484 0 0 2321 375 14608 4195 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 214.99
Current children cumulated vsize (KiB) 28956

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/183 1094
/proc/meminfo: memFree=29210156/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=272.78 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 739547 5867461 0 0 2939 475 18537 5327 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 9 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 272.78
Current children cumulated vsize (KiB) 28956

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/183 1810
/proc/meminfo: memFree=29212300/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/12484/statm: 2287 266 226 213 0 72 0
[pid=12485] ppid=12484 vsize=47872 CPUtime=0.2 cores=1,3,5,7
/proc/12485/stat : 12485 (glucose) R 12484 30412 1843 0 -1 4202496 9604 0 0 0 19 1 0 0 20 0 1 0 286105321 49020928 10320 33554432000 4194304 5208918 140737273488512 140737247188840 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12485/statm: 11968 10320 95 248 0 11717 0
Current children cumulated CPU time (s) 1258.81
Current children cumulated vsize (KiB) 85976

[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.95 3/184 13147
/proc/meminfo: memFree=29171824/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1316.75 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 3566672 28326370 0 0 14198 2279 89628 25570 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1316.75
Current children cumulated vsize (KiB) 28956

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/183 13819
/proc/meminfo: memFree=29182600/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1374.87 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 3723948 29573191 0 0 14825 2379 93600 26683 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
[pid=13818] ppid=30413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13818/stat : 13818 (satsolver.sh) S 30413 30412 1843 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286117325 9367552 267 33554432000 4194304 5064252 140736734713904 140736734712816 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13818/statm: 2287 267 226 213 0 72 0
[pid=13819] ppid=13818 vsize=47868 CPUtime=0.16 cores=1,3,5,7
/proc/13819/stat : 13819 (glucose) R 13818 30412 1843 0 -1 4202496 10132 0 0 0 15 1 0 0 20 0 1 0 286117325 49016832 10315 33554432000 4194304 5208918 140734023137280 140734022086680 4211750 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13819/statm: 11967 10315 95 248 0 11716 0
Current children cumulated CPU time (s) 1375.03
Current children cumulated vsize (KiB) 85972

[startup+1482.3 s]
/proc/loadavg: 2.11 2.03 1.96 2/183 14466
/proc/meminfo: memFree=29206104/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1432.6 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 3879313 30823896 0 0 15442 2479 97533 27806 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1432.6
Current children cumulated vsize (KiB) 28956

[startup+1542.3 s]
/proc/loadavg: 1.94 1.99 1.95 3/183 15138
/proc/meminfo: memFree=29206764/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=7520 CPUtime=1490.94 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) R 30412 30412 1843 0 -1 4202496 4037614 32080649 0 0 16071 2578 101530 28915 20 0 1 0 285975111 7700480 1258 33554432000 4194304 5990268 140737117372176 140737117364160 5042551 0 0 4096 0 0 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 1880 1259 177 439 0 1437 0
Current children cumulated CPU time (s) 1490.94
Current children cumulated vsize (KiB) 16668

[startup+1602.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/183 15793
/proc/meminfo: memFree=29170964/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1548.84 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4193865 33326401 0 0 16695 2677 105471 30041 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1548.84
Current children cumulated vsize (KiB) 28956

[startup+1662.3 s]
/proc/loadavg: 2.07 2.00 1.96 3/183 16459
/proc/meminfo: memFree=29173044/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1606.91 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4351141 34572287 0 0 17324 2773 109387 31207 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1606.91
Current children cumulated vsize (KiB) 28956

[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/183 17117
/proc/meminfo: memFree=29171736/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1664.62 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4508410 35806757 0 0 17953 2872 113329 32308 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1664.62
Current children cumulated vsize (KiB) 28956

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/183 17876
/proc/meminfo: memFree=29169172/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1723.43 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4667604 37074316 0 0 18586 2975 117357 33425 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1723.43
Current children cumulated vsize (KiB) 28956

[startup+1842.3 s]
/proc/loadavg: 1.94 1.98 1.95 3/183 18611
/proc/meminfo: memFree=29204984/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1781.56 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4824880 38323310 0 0 19213 3075 121325 34543 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 28956



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1861.7 s]
/proc/loadavg: 2.03 1.99 1.96 3/184 18859
/proc/meminfo: memFree=29207808/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1800.33 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4874755 38729587 0 0 19411 3107 122623 34892 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
[pid=18857] ppid=30413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18857/stat : 18857 (cp2_post.sh) S 30413 30412 1843 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 286161280 9367552 265 33554432000 4194304 5064252 140734632242176 140734632240464 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18857/statm: 2287 265 225 213 0 72 0
[pid=18858] ppid=18857 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/18858/stat : 18858 (cat) R 18857 30412 1843 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 286161281 4100096 122 33554432000 4194304 4236627 140736636203936 140736636203032 219513964000 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18858/statm: 1001 122 96 11 0 67 0
[pid=18859] ppid=18857 vsize=6540 CPUtime=0 cores=1,3,5,7
/proc/18859/stat : 18859 (coprocessor) R 18857 30412 1843 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 1 0 286161281 6696960 1148 33554432000 4194304 6586260 140734357820800 140734632240488 5468392 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/18859/statm: 1635 1149 148 584 0 1047 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 48648

Sending SIGTERM to process tree (bottom up)

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

[startup+1861.7 s]
/proc/loadavg: 2.03 1.99 1.96 3/184 18859
/proc/meminfo: memFree=29207808/32873648 swapFree=7116/7116
[pid=30412] ppid=30410 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30412/stat : 30412 (npSolver-wbo-It) S 30410 30412 1843 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285975111 9367552 274 33554432000 4194304 5064252 140735335575872 140735335574784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30412/statm: 2287 274 233 213 0 72 0
[pid=30413] ppid=30412 vsize=19808 CPUtime=1800.33 cores=1,3,5,7
/proc/30413/stat : 30413 (npSolver-wbo) S 30412 30412 1843 0 -1 4202496 4874755 38729587 0 0 19411 3107 122623 34892 20 0 1 0 285975111 20283392 4186 33554432000 4194304 5990268 140737117372176 140737117363072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 29 0 0
/proc/30413/statm: 4952 4186 177 439 0 4509 0
[pid=18857] ppid=30413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18857/stat : 18857 (cp2_post.sh) S 30413 30412 1843 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 286161280 9367552 265 33554432000 4194304 5064252 140734632242176 140734632240464 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18857/statm: 2287 265 225 213 0 72 0
[pid=18858] ppid=18857 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/18858/stat : 18858 (cat) R 18857 30412 1843 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 286161281 4100096 122 33554432000 4194304 4236627 140736636203936 140736636203032 219513964000 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18858/statm: 1001 122 96 11 0 67 0
[pid=18859] ppid=18857 vsize=6540 CPUtime=0 cores=1,3,5,7
/proc/18859/stat : 18859 (coprocessor) R 18857 30412 1843 0 -1 4202496 1293 0 0 0 0 0 0 0 20 0 1 0 286161281 6696960 1148 33554432000 4194304 6586260 140734357820800 140734632240488 5468392 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/18859/statm: 1635 1149 148 584 0 1047 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 48648

Child status: 0
Real time (s): 1861.72
CPU time (s): 1800.36
CPU user time (s): 1420.36
CPU system time (s): 380.001
CPU usage (%): 96.7044
Max. virtual memory (cumulated for all children) (KiB): 88212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1420.36
system time used= 380.001
maximum resident set size= 44928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43606345
page faults= 0
swaps= 0
block input operations= 8
block output operations= 34599272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 680954
involuntary context switches= 32431

runsolver used 3.21251 second user time and 8.98063 second system time

The end

Launcher Data 

Begin job on node114 at 2012-05-28 11:47:57
IDJOB=3715614
IDBENCH=78970
IDSOLVER=2297
FILE ID=node114/3715614-1338198477
RUNJOBID= node114-1338194810-1860
PBS_JOBID= 14624601
Free space on /tmp= 71452 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900575442--soft-66-100-0.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715614-1338198477/watcher-3715614-1338198477 -o /tmp/evaluation-result-3715614-1338198477/solver-3715614-1338198477 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715614-1338198477.wbo 1202352013 HOME HOME

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

MD5SUM BENCH= e5d1aa875e736e237b742aec181b44f0
RANDOM SEED=1202352013

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29246168 kB
Buffers:          601076 kB
Cached:          2078492 kB
SwapCached:         2108 kB
Active:          1401032 kB
Inactive:        1348104 kB
Active(anon):      62028 kB
Inactive(anon):     7892 kB
Active(file):    1339004 kB
Inactive(file):  1340212 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67103912 kB
Dirty:             14044 kB
Writeback:             0 kB
AnonPages:         83528 kB
Mapped:            15536 kB
Shmem:               116 kB
Slab:             741104 kB
SReclaimable:     182864 kB
SUnreclaim:       558240 kB
KernelStack:        1528 kB
PageTables:         3772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     192764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71436 MiB
End job on node114 at 2012-05-28 12:18:59