Trace number 3715665

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.04 1801.82

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-41-40--soft-66-100-0.wbo
MD5SUMb19b36a9eeef0aa91319f6277ed84276
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.334948
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1640
Total number of constraints81
Number of soft constraints21
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Top cost 1107
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 1106
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
Number of bits of the biggest sum of numbers6
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.12	c run usual solver
1.56/1.69	o 523
1.56/1.69	c starting approximation
1.56/1.69	c factor = 2
1.56/1.69	c current bound: 261
2.27/2.36	c current bound: 261
2.93/3.02	c current bound: 261
3.57/3.69	c current bound: 261
4.27/4.35	c current bound: 261
4.93/5.03	c current bound: 261
5.65/5.70	c current bound: 261
5.66/6.37	c current bound: 261
6.92/7.03	c current bound: 261
7.54/7.70	c current bound: 261
7.65/8.36	c current bound: 261
8.90/9.03	c current bound: 261
8.99/9.69	c current bound: 261
10.30/10.40	c current bound: 261
10.92/11.06	c current bound: 261
11.58/11.73	c current bound: 261
12.30/12.40	c current bound: 261
12.31/13.07	c current bound: 261
13.57/13.73	c current bound: 261
14.31/14.40	c current bound: 261
14.89/15.05	c current bound: 261
15.57/15.72	c current bound: 261
15.63/16.39	c current bound: 261
16.90/17.05	c current bound: 261
17.55/17.71	c current bound: 261
17.63/18.37	c current bound: 261
18.87/19.04	c current bound: 261
18.95/19.70	c current bound: 261
19.60/20.37	c current bound: 261
20.88/21.04	c current bound: 261
21.55/21.70	c current bound: 261
22.19/22.37	c current bound: 261
22.90/23.04	c current bound: 261
23.55/23.71	c current bound: 261
24.19/24.38	c current bound: 261
24.88/25.04	c current bound: 261
25.61/25.80	c current bound: 261
26.21/26.46	c current bound: 261
26.88/27.13	c current bound: 261
27.62/27.80	c current bound: 261
27.62/28.47	c current bound: 261
28.89/29.14	c current bound: 261
29.56/29.81	c current bound: 261
29.62/30.47	c current bound: 261
30.88/31.13	c current bound: 261
31.61/31.81	c current bound: 261
31.62/32.47	c current bound: 261
32.87/33.14	c current bound: 261
33.55/33.80	c current bound: 261
34.20/34.46	c current bound: 261
34.89/35.13	c current bound: 261
35.59/35.80	c current bound: 261
36.26/36.50	c current bound: 261
36.26/37.17	c current bound: 261
37.53/37.84	c current bound: 261
38.19/38.51	c current bound: 261
38.26/39.18	c current bound: 261
39.52/39.83	c current bound: 261
40.19/40.51	c current bound: 261
40.84/41.17	c current bound: 261
41.52/41.83	c current bound: 261
42.25/42.50	c current bound: 261
42.85/43.16	c current bound: 261
43.52/43.83	c current bound: 261
44.14/44.49	c current bound: 261
44.83/45.15	c current bound: 261
45.51/45.82	c current bound: 261
46.14/46.48	c current bound: 261
46.84/47.14	c current bound: 261
47.49/47.80	c current bound: 261
48.15/48.47	c current bound: 261
48.82/49.13	c current bound: 261
49.51/49.80	c current bound: 261
49.57/50.47	c current bound: 261
50.82/51.13	c current bound: 261
51.46/51.79	c current bound: 261
52.14/52.44	c current bound: 261
52.81/53.10	c current bound: 261
52.87/53.77	c current bound: 261
54.12/54.43	c current bound: 261
54.74/55.09	c current bound: 261
55.45/55.74	c current bound: 261
56.16/56.40	c current bound: 261
56.17/57.07	c current bound: 261
57.43/57.75	c current bound: 261
58.10/58.42	c current bound: 261
58.16/59.09	c current bound: 261
59.43/59.76	c current bound: 261
60.13/60.42	c current bound: 261
60.17/61.09	c current bound: 261
61.43/61.75	c current bound: 261
62.09/62.41	c current bound: 261
62.76/63.11	c current bound: 261
63.39/63.78	c current bound: 261
64.09/64.45	c current bound: 261
64.76/65.11	c current bound: 261
64.82/65.78	c current bound: 261
66.08/66.45	c current bound: 261
66.74/67.11	c current bound: 261
66.81/67.77	c current bound: 261
68.07/68.44	c current bound: 261
68.75/69.10	c current bound: 261
69.40/69.76	c current bound: 261
70.06/70.42	c current bound: 261
70.13/71.08	c current bound: 261
71.38/71.75	c current bound: 261
72.06/72.41	c current bound: 261
72.69/73.08	c current bound: 261
73.39/73.74	c current bound: 261
74.04/74.41	c current bound: 261
74.69/75.07	c current bound: 261
75.38/75.73	c current bound: 261
76.10/76.40	c current bound: 261
76.71/77.07	c current bound: 261
77.38/77.74	c current bound: 261
78.11/78.40	c current bound: 261
78.70/79.06	c current bound: 261
79.38/79.73	c current bound: 261
80.00/80.39	c current bound: 261
80.71/81.06	c current bound: 261
81.38/81.73	c current bound: 261
81.45/82.40	c current bound: 261
82.12/83.07	c current bound: 261
83.40/83.74	c current bound: 261
84.06/84.44	c current bound: 261
84.73/85.11	c current bound: 261
85.37/85.77	c current bound: 261
86.04/86.43	c current bound: 261
86.78/87.10	c current bound: 261
86.78/87.76	c current bound: 261
88.05/88.43	c current bound: 261
88.66/89.09	c current bound: 261
89.38/89.76	c current bound: 261
90.04/90.42	c current bound: 261
90.10/91.09	c current bound: 261
91.37/91.75	c current bound: 261
92.03/92.42	c current bound: 261
92.10/93.09	c current bound: 261
93.36/93.75	c current bound: 261
94.02/94.41	c current bound: 261
94.66/95.08	c current bound: 261
95.36/95.74	c current bound: 261
96.02/96.40	c current bound: 261
96.67/97.07	c current bound: 261
97.34/97.72	c current bound: 261
97.95/98.39	c current bound: 261
98.67/99.06	c current bound: 261
99.34/99.73	c current bound: 261
100.08/100.46	c current bound: 261
100.70/101.13	c current bound: 261
100.75/101.80	c current bound: 261
102.00/102.46	c current bound: 261
102.68/103.12	c current bound: 261
103.30/103.79	c current bound: 261
104.01/104.45	c current bound: 261
104.71/105.10	c current bound: 261
105.29/105.77	c current bound: 261
105.98/106.44	c current bound: 261
106.65/107.11	c current bound: 261
107.31/107.77	c current bound: 261
107.99/108.44	c current bound: 261
108.66/109.11	c current bound: 261
108.74/109.78	c current bound: 261
110.00/110.44	c current bound: 261
110.66/111.11	c current bound: 261
110.73/111.78	c current bound: 261
112.00/112.44	c current bound: 261
112.65/113.10	c current bound: 261
113.31/113.77	c current bound: 261
113.98/114.43	c current bound: 261
114.06/115.09	c current bound: 261
115.32/115.75	c current bound: 261
115.98/116.42	c current bound: 261
116.61/117.08	c current bound: 261
117.31/117.75	c current bound: 261
117.98/118.42	c current bound: 261
118.60/119.08	c current bound: 261
119.31/119.75	c current bound: 261
119.97/120.42	c current bound: 261
120.69/121.13	c current bound: 261
121.30/121.80	c current bound: 261
121.97/122.46	c current bound: 261
122.66/123.13	c current bound: 261
122.69/123.79	c current bound: 261
123.96/124.45	c current bound: 261
124.61/125.12	c current bound: 261
125.26/125.78	c current bound: 261
125.97/126.50	c current bound: 261
126.02/127.17	c current bound: 261
127.29/127.83	c current bound: 261
127.37/128.50	c current bound: 261
128.61/129.16	c current bound: 261
129.29/129.83	c current bound: 261
129.36/130.49	c current bound: 261
130.61/131.16	c current bound: 261
131.29/131.83	c current bound: 261
132.03/132.50	c current bound: 261
132.62/133.17	c current bound: 261
133.30/133.84	c current bound: 261
134.02/134.50	c current bound: 261
134.02/135.16	c current bound: 261
135.29/135.83	c current bound: 261
135.91/136.49	c current bound: 261
136.63/137.15	c current bound: 261
137.28/137.81	c current bound: 261
137.34/138.48	c current bound: 261
138.61/139.14	c current bound: 261
139.26/139.80	c current bound: 261
139.34/140.46	c current bound: 261
140.58/141.12	c current bound: 261
140.65/141.78	c current bound: 261
141.90/142.44	c current bound: 261
142.57/143.10	c current bound: 261
142.63/143.77	c current bound: 261
143.89/144.43	c current bound: 261
143.96/145.08	c current bound: 261
145.21/145.74	c current bound: 261
145.87/146.41	c current bound: 261
145.94/147.08	c current bound: 261
147.21/147.74	c current bound: 261
147.92/148.41	c current bound: 261
147.93/149.07	c current bound: 261
149.19/149.74	c current bound: 261
149.86/150.40	c current bound: 261
150.52/151.07	c current bound: 261
151.22/151.73	c current bound: 261
151.26/152.39	c current bound: 261
152.52/153.05	c current bound: 261
153.18/153.72	c current bound: 261
153.81/154.39	c current bound: 261
154.52/155.05	c current bound: 261
155.18/155.72	c current bound: 261
155.81/156.39	c current bound: 261
156.51/157.05	c current bound: 261
157.19/157.72	c current bound: 261
157.90/158.43	c current bound: 261
157.91/159.09	c current bound: 261
159.17/159.76	c current bound: 261
159.84/160.42	c current bound: 261
160.47/161.08	c current bound: 261
161.16/161.75	c current bound: 261
161.84/162.42	c current bound: 261
162.47/163.09	c current bound: 261
163.17/163.74	c current bound: 261
163.83/164.41	c current bound: 261
164.47/165.08	c current bound: 261
165.16/165.74	c current bound: 261
165.83/166.40	c current bound: 261
165.90/167.07	c current bound: 261
167.16/167.74	c current bound: 261
167.88/168.40	c current bound: 261
168.47/169.05	c current bound: 261
169.15/169.72	c current bound: 261
169.20/170.38	c current bound: 261
170.47/171.05	c current bound: 261
171.14/171.72	c current bound: 261
171.21/172.37	c current bound: 261
172.46/173.04	c current bound: 261
173.21/173.71	c current bound: 261
173.21/174.36	c current bound: 261
174.46/175.03	c current bound: 261
175.19/175.70	c current bound: 261
175.78/176.37	c current bound: 261
176.49/177.03	c current bound: 261
177.18/177.70	c current bound: 261
177.77/178.36	c current bound: 261
178.45/179.03	c current bound: 261
179.07/179.69	c current bound: 261
179.78/180.35	c current bound: 261
180.44/181.02	c current bound: 261
181.07/181.68	c current bound: 261
181.76/182.34	c current bound: 261
182.49/183.00	c current bound: 261
183.10/183.66	c current bound: 261
183.76/184.33	c current bound: 261
184.39/184.99	c current bound: 261
185.08/185.65	c current bound: 261
185.74/186.31	c current bound: 261
186.38/186.97	c current bound: 261
187.06/187.64	c current bound: 261
187.68/188.29	c current bound: 261
188.37/188.95	c current bound: 261
189.04/189.61	c current bound: 261
189.68/190.28	c current bound: 261
190.38/190.95	c current bound: 261
191.04/191.61	c current bound: 261
191.10/192.28	c current bound: 261
192.36/192.95	c current bound: 261
193.02/193.61	c current bound: 261
193.10/194.27	c current bound: 261
194.36/194.94	c current bound: 261
194.43/195.59	c current bound: 261
195.67/196.26	c current bound: 261
196.35/196.93	c current bound: 261
197.07/197.60	c current bound: 261
197.67/198.27	c current bound: 261
198.35/198.94	c current bound: 261
199.02/199.60	c current bound: 261
199.67/200.27	c current bound: 261
200.36/200.93	c current bound: 261
200.97/201.59	c current bound: 261
201.68/202.26	c current bound: 261
202.34/202.93	c current bound: 261
203.08/203.60	c current bound: 261
203.09/204.27	c current bound: 261
204.35/204.94	c current bound: 261
204.43/205.60	c current bound: 261
205.08/206.27	c current bound: 261
206.36/206.93	c current bound: 261
206.43/207.60	c current bound: 261
207.69/208.26	c current bound: 261
208.38/208.93	c current bound: 261
209.08/209.60	c current bound: 261
209.67/210.26	c current bound: 261
210.34/210.92	c current bound: 261
210.98/211.58	c current bound: 261
211.68/212.25	c current bound: 261
212.34/212.91	c current bound: 261
212.98/213.58	c current bound: 261
213.67/214.25	c current bound: 261
214.35/214.92	c current bound: 261
214.98/215.58	c current bound: 261
215.67/216.24	c current bound: 261
216.34/216.91	c current bound: 261
216.40/217.57	c current bound: 261
217.67/218.24	c current bound: 261
218.39/218.91	c current bound: 261
218.40/219.57	c current bound: 261
219.67/220.24	c current bound: 261
220.33/220.90	c current bound: 261
220.99/221.56	c current bound: 261
221.65/222.23	c current bound: 261
221.73/222.89	c current bound: 261
222.99/223.56	c current bound: 261
223.66/224.23	c current bound: 261
224.29/224.89	c current bound: 261
224.99/225.55	c current bound: 261
225.66/226.22	c current bound: 261
226.28/226.88	c current bound: 261
226.98/227.54	c current bound: 261
227.64/228.20	c current bound: 261
228.32/228.86	c current bound: 261
228.96/229.52	c current bound: 261
229.58/230.19	c current bound: 261
230.29/230.85	c current bound: 261
230.95/231.52	c current bound: 261
231.61/232.18	c current bound: 261
232.28/232.83	c current bound: 261
233.01/233.50	c current bound: 261
233.61/234.16	c current bound: 261
234.26/234.82	c current bound: 261
234.90/235.49	c current bound: 261
235.60/236.15	c current bound: 261
236.26/236.82	c current bound: 261
236.33/237.49	c current bound: 261
237.59/238.14	c current bound: 261
238.25/238.81	c current bound: 261
238.32/239.47	c current bound: 261
239.59/240.14	c current bound: 261
240.31/240.80	c current bound: 261
240.32/241.47	c current bound: 261
241.57/242.14	c current bound: 261
242.24/242.81	c current bound: 261
242.91/243.51	c current bound: 261
243.55/244.17	c current bound: 261
244.23/244.84	c current bound: 261
244.89/245.51	c current bound: 261
244.98/246.17	c current bound: 261
246.23/246.83	c current bound: 261
246.97/247.50	c current bound: 261
246.97/248.17	c current bound: 261
248.24/248.84	c current bound: 261
248.91/249.51	c current bound: 261
249.54/250.18	c current bound: 261
250.25/250.85	c current bound: 261
250.91/251.51	c current bound: 261
251.55/252.18	c current bound: 261
252.24/252.84	c current bound: 261
252.98/253.63	c current bound: 261
253.58/254.30	c current bound: 261
253.66/254.97	c current bound: 261
254.90/255.63	c current bound: 261
255.54/256.30	c current bound: 261
255.65/256.96	c current bound: 261
256.91/257.63	c current bound: 261
256.97/258.29	c current bound: 261
258.23/258.96	c current bound: 261
258.91/259.63	c current bound: 261
258.97/260.28	c current bound: 261
260.23/260.95	c current bound: 261
260.89/261.62	c current bound: 261
261.52/262.28	c current bound: 261
262.21/262.94	c current bound: 261
262.88/263.60	c current bound: 261
263.52/264.27	c current bound: 261
264.19/264.93	c current bound: 261
264.93/265.60	c current bound: 261
265.54/266.26	c current bound: 261
266.21/266.93	c current bound: 261
266.95/267.60	c current bound: 261
267.54/268.26	c current bound: 261
268.20/268.92	c current bound: 261
268.92/269.62	c current bound: 261
268.93/270.28	c current bound: 261
270.19/270.94	c current bound: 261
270.91/271.60	c current bound: 261
271.51/272.26	c current bound: 261
272.16/272.92	c current bound: 261
272.25/273.58	c current bound: 261
273.48/274.23	c current bound: 261
273.55/274.89	c current bound: 261
274.81/275.55	c current bound: 261
275.46/276.22	c current bound: 261
275.54/276.87	c current bound: 261
276.79/277.53	c current bound: 261
276.84/278.20	c current bound: 261
278.10/278.86	c current bound: 261
278.78/279.52	c current bound: 261
278.85/280.18	c current bound: 261
280.10/280.85	c current bound: 261
280.80/281.52	c current bound: 261
280.84/282.18	c current bound: 261
282.10/282.85	c current bound: 261
282.76/283.52	c current bound: 261
283.39/284.18	c current bound: 261
284.11/284.85	c current bound: 261
284.76/285.55	c current bound: 261
285.42/286.21	c current bound: 261
285.48/286.86	c current bound: 261
286.76/287.53	c current bound: 261
287.37/288.20	c current bound: 261
288.08/288.86	c current bound: 261
288.74/289.53	c current bound: 261
289.48/290.20	c current bound: 261
290.07/290.86	c current bound: 261
290.76/291.53	c current bound: 261
291.42/292.20	c current bound: 261
292.06/292.87	c current bound: 261
292.77/293.54	c current bound: 261
293.44/294.21	c current bound: 261
294.09/294.87	c current bound: 261
294.77/295.54	c current bound: 261
295.50/296.20	c current bound: 261
295.50/296.86	c current bound: 261
296.77/297.53	c current bound: 261
297.39/298.19	c current bound: 261
298.10/298.86	c current bound: 261
298.77/299.53	c current bound: 261
298.84/300.20	c current bound: 261
300.10/300.86	c current bound: 261
300.76/301.58	c current bound: 261
301.43/302.26	c current bound: 261
302.10/302.92	c current bound: 261
302.73/303.58	c current bound: 261
303.43/304.25	c current bound: 261
304.10/304.92	c current bound: 261
304.17/305.58	c current bound: 261
305.44/306.24	c current bound: 261
306.10/306.91	c current bound: 261
306.17/307.58	c current bound: 261
307.43/308.25	c current bound: 261
308.09/308.91	c current bound: 261
308.73/309.58	c current bound: 261
309.41/310.24	c current bound: 261
310.08/310.91	c current bound: 261
310.72/311.57	c current bound: 261
311.42/312.24	c current bound: 261
312.07/312.91	c current bound: 261
312.72/313.57	c current bound: 261
313.40/314.23	c current bound: 261
314.01/314.90	c current bound: 261
314.73/315.55	c current bound: 261
315.38/316.22	c current bound: 261
316.02/316.88	c current bound: 261
316.72/317.55	c current bound: 261
317.38/318.21	c current bound: 261
317.45/318.88	c current bound: 261
318.72/319.55	c current bound: 261
319.38/320.22	c current bound: 261
319.45/320.87	c current bound: 261
320.70/321.53	c current bound: 261
320.77/322.20	c current bound: 261
321.43/322.87	c current bound: 261
322.69/323.53	c current bound: 261
322.76/324.19	c current bound: 261
324.00/324.86	c current bound: 261
324.72/325.53	c current bound: 261
325.43/326.20	c current bound: 261
326.03/326.86	c current bound: 261
326.69/327.53	c current bound: 261
327.42/328.24	c current bound: 261
328.10/328.90	c current bound: 261
328.11/329.57	c current bound: 261
329.36/330.23	c current bound: 261
330.10/330.90	c current bound: 261
330.68/331.56	c current bound: 261
331.34/332.22	c current bound: 261
331.42/332.89	c current bound: 261
332.69/333.56	c current bound: 261
333.34/334.22	c current bound: 261
333.98/334.89	c current bound: 261
334.69/335.56	c current bound: 261
335.35/336.23	c current bound: 261
336.09/336.90	c current bound: 261
336.10/337.57	c current bound: 261
337.36/338.24	c current bound: 261
338.03/338.91	c current bound: 261
338.11/339.56	c current bound: 261
339.35/340.22	c current bound: 261
339.43/340.89	c current bound: 261
340.68/341.55	c current bound: 261
341.34/342.22	c current bound: 261
341.42/342.89	c current bound: 261
342.70/343.56	c current bound: 261
343.41/344.22	c current bound: 261
343.42/344.88	c current bound: 261
344.69/345.55	c current bound: 261
345.34/346.21	c current bound: 261
345.99/346.88	c current bound: 261
346.69/347.55	c current bound: 261
347.35/348.21	c current bound: 261
347.99/348.88	c current bound: 261
348.69/349.58	c current bound: 261
349.35/350.25	c current bound: 261
350.02/350.91	c current bound: 261
350.08/351.58	c current bound: 261
351.37/352.25	c current bound: 261
352.03/352.91	c current bound: 261
352.66/353.58	c current bound: 261
353.36/354.25	c current bound: 261
354.02/354.91	c current bound: 261
354.66/355.58	c current bound: 261
355.35/356.24	c current bound: 261
356.02/356.91	c current bound: 261
356.66/357.57	c current bound: 261
357.35/358.23	c current bound: 261
357.96/358.89	c current bound: 261
358.67/359.55	c current bound: 261
359.33/360.21	c current bound: 261
359.99/360.87	c current bound: 261
360.66/361.54	c current bound: 261
361.33/362.20	c current bound: 261
361.39/362.87	c current bound: 261
362.64/363.52	c current bound: 261
363.27/364.18	c current bound: 261
363.96/364.85	c current bound: 261
364.63/365.51	c current bound: 261
364.70/366.18	c current bound: 261
365.97/366.84	c current bound: 261
366.63/367.51	c current bound: 261
366.70/368.17	c current bound: 261
367.95/368.83	c current bound: 261
368.69/369.51	c current bound: 261
368.69/370.17	c current bound: 261
369.94/370.83	c current bound: 261
370.01/371.49	c current bound: 261
371.26/372.16	c current bound: 261
371.95/372.82	c current bound: 261
372.00/373.48	c current bound: 261
373.25/374.15	c current bound: 261
373.93/374.82	c current bound: 261
374.55/375.48	c current bound: 261
375.27/376.20	c current bound: 261
375.32/376.86	c current bound: 261
376.58/377.53	c current bound: 261
376.66/378.20	c current bound: 261
377.91/378.86	c current bound: 261
378.57/379.52	c current bound: 261
378.63/380.18	c current bound: 261
379.90/380.85	c current bound: 261
380.56/381.55	c current bound: 261
381.23/382.22	c current bound: 261
381.85/382.89	c current bound: 261
382.56/383.56	c current bound: 261
383.23/384.22	c current bound: 261
383.29/384.89	c current bound: 261
384.56/385.55	c current bound: 261
385.23/386.21	c current bound: 261
385.28/386.88	c current bound: 261
386.54/387.55	c current bound: 261
387.27/388.21	c current bound: 261
387.28/388.87	c current bound: 261
388.56/389.54	c current bound: 261
389.28/390.20	c current bound: 261
389.86/390.87	c current bound: 261
390.55/391.54	c current bound: 261
391.21/392.20	c current bound: 261
391.85/392.87	c current bound: 261
392.54/393.53	c current bound: 261
393.16/394.19	c current bound: 261
393.87/394.86	c current bound: 261
394.53/395.53	c current bound: 261
395.15/396.19	c current bound: 261
395.86/396.86	c current bound: 261
396.53/397.51	c current bound: 261
397.16/398.17	c current bound: 261
397.86/398.84	c current bound: 261
398.52/399.51	c current bound: 261
398.59/400.17	c current bound: 261
399.85/400.84	c current bound: 261
400.58/401.50	c current bound: 261
400.58/402.16	c current bound: 261
401.83/402.82	c current bound: 261
401.90/403.47	c current bound: 261
403.16/404.14	c current bound: 261
403.89/404.80	c current bound: 261
403.90/405.47	c current bound: 261
405.15/406.13	c current bound: 261
405.21/406.79	c current bound: 261
406.46/407.44	c current bound: 261
407.12/408.11	c current bound: 261
407.19/408.77	c current bound: 261
408.44/409.43	c current bound: 261
408.52/410.09	c current bound: 261
409.76/410.75	c current bound: 261
410.43/411.42	c current bound: 261
410.50/412.08	c current bound: 261
411.76/412.75	c current bound: 261
412.44/413.43	c current bound: 261
413.04/414.09	c current bound: 261
413.77/414.76	c current bound: 261
414.42/415.43	c current bound: 261
415.17/416.10	c current bound: 261
415.17/416.77	c current bound: 261
416.43/417.43	c current bound: 261
417.07/418.09	c current bound: 261
417.76/418.75	c current bound: 261
418.42/419.41	c current bound: 261
418.49/420.08	c current bound: 261
419.74/420.75	c current bound: 261
420.41/421.42	c current bound: 261
420.48/422.09	c current bound: 261
421.76/422.75	c current bound: 261
422.45/423.42	c current bound: 261
422.50/424.08	c current bound: 261
423.75/424.75	c current bound: 261
424.41/425.41	c current bound: 261
425.04/426.07	c current bound: 261
425.75/426.74	c current bound: 261
426.40/427.41	c current bound: 261
427.03/428.07	c current bound: 261
427.72/428.74	c current bound: 261
428.39/429.40	c current bound: 261
429.07/430.06	c current bound: 261
429.72/430.73	c current bound: 261
430.45/431.40	c current bound: 261
431.05/432.06	c current bound: 261
431.72/432.72	c current bound: 261
432.36/433.39	c current bound: 261
433.05/434.05	c current bound: 261
433.70/434.76	c current bound: 261
434.37/435.42	c current bound: 261
435.00/436.08	c current bound: 261
435.70/436.75	c current bound: 261
436.37/437.42	c current bound: 261
436.99/438.09	c current bound: 261
437.71/438.76	c current bound: 261
438.37/439.43	c current bound: 261
439.00/440.09	c current bound: 261
439.70/440.76	c current bound: 261
440.36/441.42	c current bound: 261
440.43/442.09	c current bound: 261
441.10/442.76	c current bound: 261
442.36/443.43	c current bound: 261
442.44/444.09	c current bound: 261
443.68/444.76	c current bound: 261
444.40/445.43	c current bound: 261
444.44/446.09	c current bound: 261
445.70/446.75	c current bound: 261
446.36/447.41	c current bound: 261
446.99/448.06	c current bound: 261
447.70/448.72	c current bound: 261
447.73/449.38	c current bound: 261
449.00/450.05	c current bound: 261
449.65/450.72	c current bound: 261
450.30/451.37	c current bound: 261
450.99/452.04	c current bound: 261
451.04/452.69	c current bound: 261
452.29/453.35	c current bound: 261
452.95/454.01	c current bound: 261
453.59/454.67	c current bound: 261
454.29/455.33	c current bound: 261
454.34/455.98	c current bound: 261
455.59/456.65	c current bound: 261
456.25/457.31	c current bound: 261
456.88/457.97	c current bound: 261
457.60/458.64	c current bound: 261
458.25/459.31	c current bound: 261
458.88/459.97	c current bound: 261
459.57/460.63	c current bound: 261
460.29/461.34	c current bound: 261
460.84/462.00	c current bound: 261
460.96/462.67	c current bound: 261
462.24/463.34	c current bound: 261
462.90/464.01	c current bound: 261
463.53/464.68	c current bound: 261
464.24/465.35	c current bound: 261
464.91/466.01	c current bound: 261
465.54/466.68	c current bound: 261
466.24/467.34	c current bound: 261
466.90/468.01	c current bound: 261
467.54/468.68	c current bound: 261
468.23/469.35	c current bound: 261
468.89/470.01	c current bound: 261
468.98/470.67	c current bound: 261
470.23/471.33	c current bound: 261
470.96/472.00	c current bound: 261
470.96/472.67	c current bound: 261
472.24/473.34	c current bound: 261
472.96/474.00	c current bound: 261
472.96/474.67	c current bound: 261
474.23/475.33	c current bound: 261
474.90/476.01	c current bound: 261
475.56/476.67	c current bound: 261
476.26/477.33	c current bound: 261
476.30/477.99	c current bound: 261
477.57/478.66	c current bound: 261
478.23/479.33	c current bound: 261
478.85/479.99	c current bound: 261
479.56/480.66	c current bound: 261
480.23/481.33	c current bound: 261
480.85/481.99	c current bound: 261
481.57/482.66	c current bound: 261
482.23/483.32	c current bound: 261
482.86/483.99	c current bound: 261
483.55/484.65	c current bound: 261
484.22/485.32	c current bound: 261
484.29/485.98	c current bound: 261
485.55/486.65	c current bound: 261
486.23/487.34	c current bound: 261
486.88/488.00	c current bound: 261
487.52/488.66	c current bound: 261
488.20/489.32	c current bound: 261
488.84/489.99	c current bound: 261
489.54/490.65	c current bound: 261
490.19/491.31	c current bound: 261
490.83/491.97	c current bound: 261
491.52/492.63	c current bound: 261
492.25/493.30	c current bound: 261
492.84/493.96	c current bound: 261
493.51/494.62	c current bound: 261
494.13/495.29	c current bound: 261
494.83/495.95	c current bound: 261
495.50/496.60	c current bound: 261
496.14/497.27	c current bound: 261
496.83/497.93	c current bound: 261
497.56/498.60	c current bound: 261
497.56/499.27	c current bound: 261
498.82/499.93	c current bound: 261
499.45/500.59	c current bound: 261
500.14/501.25	c current bound: 261
500.81/501.92	c current bound: 261
500.87/502.58	c current bound: 261
502.13/503.24	c current bound: 261
502.78/503.90	c current bound: 261
502.86/504.57	c current bound: 261
504.12/505.24	c current bound: 261
504.84/505.91	c current bound: 261
504.86/506.57	c current bound: 261
506.13/507.23	c current bound: 261
506.85/507.90	c current bound: 261
507.45/508.57	c current bound: 261
508.15/509.24	c current bound: 261
508.79/509.90	c current bound: 261
509.44/510.57	c current bound: 261
510.11/511.23	c current bound: 261
510.85/511.90	c current bound: 261
511.45/512.56	c current bound: 261
512.12/513.23	c current bound: 261
512.85/513.90	c current bound: 261
512.85/514.57	c current bound: 261
514.13/515.23	c current bound: 261
514.74/515.90	c current bound: 261
514.87/516.57	c current bound: 261
516.11/517.23	c current bound: 261
516.19/517.89	c current bound: 261
517.44/518.55	c current bound: 261
518.10/519.22	c current bound: 261
518.17/519.88	c current bound: 261
519.44/520.55	c current bound: 261
520.11/521.22	c current bound: 261
520.74/521.87	c current bound: 261
521.43/522.54	c current bound: 261
522.10/523.21	c current bound: 261
522.74/523.87	c current bound: 261
523.42/524.53	c current bound: 261
524.03/525.19	c current bound: 261
524.74/525.85	c current bound: 261
525.40/526.51	c current bound: 261
526.04/527.18	c current bound: 261
526.72/527.84	c current bound: 261
527.44/528.50	c current bound: 261
528.05/529.16	c current bound: 261
528.71/529.82	c current bound: 261
529.35/530.49	c current bound: 261
530.05/531.15	c current bound: 261
530.70/531.81	c current bound: 261
531.35/532.47	c current bound: 261
532.03/533.14	c current bound: 261
532.70/533.80	c current bound: 261
532.76/534.47	c current bound: 261
534.03/535.15	c current bound: 261
534.70/535.81	c current bound: 261
534.76/536.48	c current bound: 261
536.02/537.14	c current bound: 261
536.08/537.80	c current bound: 261
536.75/538.46	c current bound: 261
538.01/539.13	c current bound: 261
538.08/539.79	c current bound: 261
539.33/540.44	c current bound: 261
539.40/541.10	c current bound: 261
540.06/541.76	c current bound: 261
541.33/542.43	c current bound: 261
542.05/543.10	c current bound: 261
542.65/543.76	c current bound: 261
543.35/544.43	c current bound: 261
543.38/545.09	c current bound: 261
544.05/545.76	c current bound: 261
545.31/546.41	c current bound: 261
545.94/547.07	c current bound: 261
546.66/547.74	c current bound: 261
547.30/548.40	c current bound: 261
547.94/549.07	c current bound: 261
548.64/549.74	c current bound: 261
549.30/550.41	c current bound: 261
549.97/551.06	c current bound: 261
550.62/551.73	c current bound: 261
551.35/552.40	c current bound: 261
551.36/553.07	c current bound: 261
552.64/553.74	c current bound: 261
553.31/554.41	c current bound: 261
553.37/555.08	c current bound: 261
554.64/555.74	c current bound: 261
555.37/556.40	c current bound: 261
555.96/557.05	c current bound: 261
556.60/557.71	c current bound: 261
556.68/558.38	c current bound: 261
557.93/559.04	c current bound: 261
558.66/559.70	c current bound: 261
559.25/560.37	c current bound: 261
559.93/561.03	c current bound: 261
560.66/561.70	c current bound: 261
561.25/562.35	c current bound: 261
561.93/563.02	c current bound: 261
562.55/563.68	c current bound: 261
563.25/564.35	c current bound: 261
563.91/565.02	c current bound: 261
564.55/565.68	c current bound: 261
565.23/566.33	c current bound: 261
565.96/567.00	c current bound: 261
566.57/567.67	c current bound: 261
567.23/568.33	c current bound: 261
567.90/569.01	c current bound: 261
567.99/569.67	c current bound: 261
569.24/570.34	c current bound: 261
569.97/571.00	c current bound: 261
570.56/571.66	c current bound: 261
571.23/572.32	c current bound: 261
571.30/572.99	c current bound: 261
572.55/573.65	c current bound: 261
573.22/574.32	c current bound: 261
573.30/574.99	c current bound: 261
574.56/575.65	c current bound: 261
575.26/576.32	c current bound: 261
575.31/576.98	c current bound: 261
576.56/577.69	c current bound: 261
577.22/578.36	c current bound: 261
577.88/579.02	c current bound: 261
578.53/579.68	c current bound: 261
579.20/580.34	c current bound: 261
579.92/581.00	c current bound: 261
579.93/581.66	c current bound: 261
581.19/582.32	c current bound: 261
581.82/582.98	c current bound: 261
582.51/583.65	c current bound: 261
583.18/584.31	c current bound: 261
583.24/584.97	c current bound: 261
584.51/585.63	c current bound: 261
585.12/586.29	c current bound: 261
585.82/586.95	c current bound: 261
586.48/587.62	c current bound: 261
586.55/588.29	c current bound: 261
587.81/588.95	c current bound: 261
588.49/589.62	c current bound: 261
588.55/590.28	c current bound: 261
589.82/590.95	c current bound: 261
590.48/591.62	c current bound: 261
591.11/592.29	c current bound: 261
591.82/592.95	c current bound: 261
592.48/593.68	c current bound: 261
593.16/594.35	c current bound: 261
593.88/595.01	c current bound: 261
593.90/595.68	c current bound: 261
595.16/596.35	c current bound: 261
595.83/597.01	c current bound: 261
596.47/597.68	c current bound: 261
597.17/598.35	c current bound: 261
597.83/599.01	c current bound: 261
598.47/599.68	c current bound: 261
599.16/600.34	c current bound: 261
599.82/601.01	c current bound: 261
600.48/601.67	c current bound: 261
601.15/602.34	c current bound: 261
601.84/603.01	c current bound: 261
601.90/603.68	c current bound: 261
603.16/604.33	c current bound: 261
603.79/605.00	c current bound: 261
604.49/605.66	c current bound: 261
605.15/606.33	c current bound: 261
605.23/606.99	c current bound: 261
606.48/607.65	c current bound: 261
607.15/608.32	c current bound: 261
607.21/608.98	c current bound: 261
608.47/609.69	c current bound: 261
609.12/610.35	c current bound: 261
609.78/611.01	c current bound: 261
610.43/611.68	c current bound: 261
611.11/612.34	c current bound: 261
611.80/613.01	c current bound: 261
611.85/613.68	c current bound: 261
613.11/614.34	c current bound: 261
613.79/615.01	c current bound: 261
613.84/615.67	c current bound: 261
615.11/616.34	c current bound: 261
615.84/617.00	c current bound: 261
615.85/617.67	c current bound: 261
617.11/618.33	c current bound: 261
617.76/619.00	c current bound: 261
618.42/619.67	c current bound: 261
619.12/620.33	c current bound: 261
619.83/621.00	c current bound: 261
620.41/621.67	c current bound: 261
621.11/622.33	c current bound: 261
621.84/623.00	c current bound: 261
622.44/623.66	c current bound: 261
623.09/624.32	c current bound: 261
623.72/624.98	c current bound: 261
624.41/625.64	c current bound: 261
625.09/626.31	c current bound: 261
625.73/626.97	c current bound: 261
626.39/627.63	c current bound: 261
627.13/628.30	c current bound: 261
627.13/628.96	c current bound: 261
628.40/629.62	c current bound: 261
629.12/630.34	c current bound: 261
629.72/631.00	c current bound: 261
630.37/631.66	c current bound: 261
631.03/632.32	c current bound: 261
631.65/632.98	c current bound: 261
632.35/633.64	c current bound: 261
633.07/634.30	c current bound: 261
633.66/634.96	c current bound: 261
634.31/635.67	c current bound: 261
634.97/636.34	c current bound: 261
635.64/637.00	c current bound: 261
635.71/637.67	c current bound: 261
636.98/638.33	c current bound: 261
637.05/639.00	c current bound: 261
637.72/639.67	c current bound: 261
638.98/640.33	c current bound: 261
639.64/641.00	c current bound: 261
640.29/641.67	c current bound: 261
640.99/642.34	c current bound: 261
641.64/643.00	c current bound: 261
642.29/643.66	c current bound: 261
642.98/644.33	c current bound: 261
643.70/645.00	c current bound: 261
644.31/645.66	c current bound: 261
644.96/646.31	c current bound: 261
645.58/646.98	c current bound: 261
646.29/647.65	c current bound: 261
646.95/648.31	c current bound: 261
647.60/648.97	c current bound: 261
648.28/649.64	c current bound: 261
648.95/650.31	c current bound: 261
649.03/650.97	c current bound: 261
650.28/651.64	c current bound: 261
651.01/652.30	c current bound: 261
651.01/652.97	c current bound: 261
652.28/653.64	c current bound: 261
652.94/654.30	c current bound: 261
653.59/654.97	c current bound: 261
654.27/655.63	c current bound: 261
654.93/656.44	c current bound: 261
655.62/657.11	c current bound: 261
656.26/657.78	c current bound: 261
656.95/658.44	c current bound: 261
657.61/659.11	c current bound: 261
657.69/659.77	c current bound: 261
658.94/660.44	c current bound: 261
659.62/661.11	c current bound: 261
659.68/661.77	c current bound: 261
660.93/662.43	c current bound: 261
661.66/663.10	c current bound: 261
662.25/663.76	c current bound: 261
662.93/664.43	c current bound: 261
663.00/665.09	c current bound: 261
664.27/665.76	c current bound: 261
664.93/666.42	c current bound: 261
665.55/667.09	c current bound: 261
666.25/667.75	c current bound: 261
666.91/668.41	c current bound: 261
667.55/669.07	c current bound: 261
668.24/669.73	c current bound: 261
668.96/670.40	c current bound: 261
669.57/671.07	c current bound: 261
670.23/671.73	c current bound: 261
670.85/672.39	c current bound: 261
671.56/673.05	c current bound: 261
672.24/673.72	c current bound: 261
672.87/674.38	c current bound: 261
673.57/675.04	c current bound: 261
674.28/675.70	c current bound: 261
674.28/676.36	c current bound: 261
675.56/677.03	c current bound: 261
676.27/677.70	c current bound: 261
676.28/678.36	c current bound: 261
677.54/679.03	c current bound: 261
677.62/679.70	c current bound: 261
678.27/680.37	c current bound: 261
679.56/681.04	c current bound: 261
680.23/681.71	c current bound: 261
680.90/682.48	c current bound: 261
681.55/683.14	c current bound: 261
682.26/683.80	c current bound: 261
682.86/684.45	c current bound: 261
683.52/685.12	c current bound: 261
684.15/685.78	c current bound: 261
684.84/686.44	c current bound: 261
685.51/687.11	c current bound: 261
686.15/687.77	c current bound: 261
686.84/688.44	c current bound: 261
687.52/689.11	c current bound: 261
688.16/689.77	c current bound: 261
688.85/690.44	c current bound: 261
689.52/691.11	c current bound: 261
689.59/691.78	c current bound: 261
690.85/692.44	c current bound: 261
691.52/693.10	c current bound: 261
692.18/693.76	c current bound: 261
692.84/694.42	c current bound: 261
692.91/695.09	c current bound: 261
694.17/695.75	c current bound: 261
694.84/696.43	c current bound: 261
695.57/697.10	c current bound: 261
696.18/697.76	c current bound: 261
696.86/698.42	c current bound: 261
696.91/699.09	c current bound: 261
698.16/699.75	c current bound: 261
698.83/700.41	c current bound: 261
699.46/701.07	c current bound: 261
700.18/701.74	c current bound: 261
700.82/702.41	c current bound: 261
701.47/703.07	c current bound: 261
702.16/703.75	c current bound: 261
702.82/704.42	c current bound: 261
703.45/705.09	c current bound: 261
704.15/705.75	c current bound: 261
704.81/706.41	c current bound: 261
704.88/707.08	c current bound: 261
706.14/707.74	c current bound: 261
706.80/708.41	c current bound: 261
706.88/709.07	c current bound: 261
708.14/709.74	c current bound: 261
708.86/710.40	c current bound: 261
709.46/711.06	c current bound: 261
710.12/711.71	c current bound: 261
710.18/712.37	c current bound: 261
711.44/713.04	c current bound: 261
712.11/713.71	c current bound: 261
712.75/714.37	c current bound: 261
713.44/715.03	c current bound: 261
714.17/715.70	c current bound: 261
714.17/716.36	c current bound: 261
715.43/717.02	c current bound: 261
716.06/717.68	c current bound: 261
716.75/718.34	c current bound: 261
717.42/719.00	c current bound: 261
718.12/719.73	c current bound: 261
718.13/720.40	c current bound: 261
718.80/721.07	c current bound: 261
720.06/721.74	c current bound: 261
720.13/722.39	c current bound: 261
721.38/723.05	c current bound: 261
722.09/723.72	c current bound: 261
722.11/724.38	c current bound: 261
723.38/725.04	c current bound: 261
724.04/725.71	c current bound: 261
724.68/726.38	c current bound: 261
725.38/727.04	c current bound: 261
726.04/727.71	c current bound: 261
726.67/728.37	c current bound: 261
727.37/729.04	c current bound: 261
728.03/729.71	c current bound: 261
728.69/730.37	c current bound: 261
729.36/731.04	c current bound: 261
729.97/731.69	c current bound: 261
730.69/732.36	c current bound: 261
731.35/733.02	c current bound: 261
731.98/733.70	c current bound: 261
732.09/734.36	c current bound: 261
733.35/735.03	c current bound: 261
733.43/735.69	c current bound: 261
734.68/736.36	c current bound: 261
735.35/737.02	c current bound: 261
735.41/737.68	c current bound: 261
736.67/738.34	c current bound: 261
737.34/739.01	c current bound: 261
737.98/739.67	c current bound: 261
738.67/740.33	c current bound: 261
738.73/740.99	c current bound: 261
739.99/741.66	c current bound: 261
740.64/742.31	c current bound: 261
741.29/742.98	c current bound: 261
741.97/743.65	c current bound: 261
742.65/744.32	c current bound: 261
743.27/744.99	c current bound: 261
743.99/745.65	c current bound: 261
744.66/746.32	c current bound: 261
745.29/746.98	c current bound: 261
745.98/747.65	c current bound: 261
746.65/748.31	c current bound: 261
746.71/748.98	c current bound: 261
747.98/749.64	c current bound: 261
748.64/750.31	c current bound: 261
748.71/750.97	c current bound: 261
749.96/751.63	c current bound: 261
750.04/752.30	c current bound: 261
750.69/752.96	c current bound: 261
751.98/753.63	c current bound: 261
752.70/754.30	c current bound: 261
753.28/754.96	c current bound: 261
753.99/755.63	c current bound: 261
754.03/756.30	c current bound: 261
755.28/756.96	c current bound: 261
755.97/757.62	c current bound: 261
756.59/758.28	c current bound: 261
757.31/758.95	c current bound: 261
757.95/759.60	c current bound: 261
758.59/760.26	c current bound: 261
759.27/760.92	c current bound: 261
759.89/761.58	c current bound: 261
760.60/762.25	c current bound: 261
761.26/762.92	c current bound: 261
761.89/763.58	c current bound: 261
762.59/764.25	c current bound: 261
763.24/764.91	c current bound: 261
763.90/765.58	c current bound: 261
764.58/766.25	c current bound: 261
765.26/767.01	c current bound: 261
765.33/767.68	c current bound: 261
766.59/768.35	c current bound: 261
767.24/769.01	c current bound: 261
767.32/769.68	c current bound: 261
768.58/770.34	c current bound: 261
769.31/771.00	c current bound: 261
769.90/771.66	c current bound: 261
770.56/772.36	c current bound: 261
771.23/773.03	c current bound: 261
771.85/773.69	c current bound: 261
772.56/774.35	c current bound: 261
773.20/775.01	c current bound: 261
773.84/775.67	c current bound: 261
774.54/776.34	c current bound: 261
775.20/777.01	c current bound: 261
775.85/777.68	c current bound: 261
776.53/778.33	c current bound: 261
777.19/779.00	c current bound: 261
777.86/779.66	c current bound: 261
778.52/780.33	c current bound: 261
779.16/780.99	c current bound: 261
779.85/781.66	c current bound: 261
780.52/782.33	c current bound: 261
781.26/783.00	c current bound: 261
781.85/783.67	c current bound: 261
782.54/784.34	c current bound: 261
783.20/785.00	c current bound: 261
783.85/785.67	c current bound: 261
784.53/786.33	c current bound: 261
785.15/786.99	c current bound: 261
785.86/787.66	c current bound: 261
786.52/788.32	c current bound: 261
787.14/788.99	c current bound: 261
787.83/789.64	c current bound: 261
788.49/790.30	c current bound: 261
789.15/790.97	c current bound: 261
789.83/791.64	c current bound: 261
790.50/792.30	c current bound: 261
790.57/792.97	c current bound: 261
791.83/793.69	c current bound: 261
792.48/794.35	c current bound: 261
793.15/795.02	c current bound: 261
793.77/795.68	c current bound: 261
794.49/796.34	c current bound: 261
795.14/797.00	c current bound: 261
795.79/797.67	c current bound: 261
796.47/798.34	c current bound: 261
797.07/798.99	c current bound: 261
797.79/799.66	c current bound: 261
798.46/800.32	c current bound: 261
799.09/800.98	c current bound: 261
799.78/801.64	c current bound: 261
800.44/802.30	c current bound: 261
801.08/802.97	c current bound: 261
801.77/803.63	c current bound: 261
802.38/804.29	c current bound: 261
803.08/804.95	c current bound: 261
803.75/805.61	c current bound: 261
804.40/806.26	c current bound: 261
805.07/806.93	c current bound: 261
805.68/807.59	c current bound: 261
806.39/808.26	c current bound: 261
807.05/808.92	c current bound: 261
807.68/809.58	c current bound: 261
808.38/810.25	c current bound: 261
809.05/810.91	c current bound: 261
809.12/811.58	c current bound: 261
810.39/812.25	c current bound: 261
811.06/812.92	c current bound: 261
811.13/813.58	c current bound: 261
812.38/814.24	c current bound: 261
813.04/814.91	c current bound: 261
813.68/815.57	c current bound: 261
814.37/816.24	c current bound: 261
815.04/816.91	c current bound: 261
815.67/817.57	c current bound: 261
816.37/818.23	c current bound: 261
817.03/818.90	c current bound: 261
817.69/819.57	c current bound: 261
818.37/820.23	c current bound: 261
819.08/820.90	c current bound: 261
819.69/821.56	c current bound: 261
820.35/822.22	c current bound: 261
820.99/822.88	c current bound: 261
821.67/823.55	c current bound: 261
822.33/824.21	c current bound: 261
822.41/824.88	c current bound: 261
823.66/825.54	c current bound: 261
824.38/826.20	c current bound: 261
824.98/826.86	c current bound: 261
825.65/827.52	c current bound: 261
825.71/828.18	c current bound: 261
826.97/828.85	c current bound: 261
827.64/829.52	c current bound: 261
827.71/830.19	c current bound: 261
828.99/830.85	c current bound: 261
829.67/831.52	c current bound: 261
829.72/832.19	c current bound: 261
831.00/832.86	c current bound: 261
831.67/833.53	c current bound: 261
832.40/834.20	c current bound: 261
833.00/834.86	c current bound: 261
833.66/835.53	c current bound: 261
834.32/836.25	c current bound: 261
834.99/836.91	c current bound: 261
835.63/837.57	c current bound: 261
836.32/838.24	c current bound: 261
836.99/838.90	c current bound: 261
837.62/839.57	c current bound: 261
838.32/840.24	c current bound: 261
838.98/840.90	c current bound: 261
839.64/841.56	c current bound: 261
840.30/842.22	c current bound: 261
840.93/842.88	c current bound: 261
841.61/843.54	c current bound: 261
842.28/844.21	c current bound: 261
842.92/844.87	c current bound: 261
843.62/845.54	c current bound: 261
844.23/846.19	c current bound: 261
844.94/846.86	c current bound: 261
845.60/847.52	c current bound: 261
846.24/848.18	c current bound: 261
846.93/848.85	c current bound: 261
847.59/849.51	c current bound: 261
847.66/850.17	c current bound: 261
848.91/850.83	c current bound: 261
849.58/851.51	c current bound: 261
849.64/852.18	c current bound: 261
850.91/852.85	c current bound: 261
851.63/853.51	c current bound: 261
851.65/854.18	c current bound: 261
852.92/854.85	c current bound: 261
853.58/855.51	c current bound: 261
854.21/856.17	c current bound: 261
854.91/856.83	c current bound: 261
855.62/857.50	c current bound: 261
856.23/858.16	c current bound: 261
856.90/858.82	c current bound: 261
857.52/859.49	c current bound: 261
858.22/860.16	c current bound: 261
858.90/860.83	c current bound: 261
859.51/861.49	c current bound: 261
860.28/862.20	c current bound: 261
860.86/862.87	c current bound: 261
861.55/863.53	c current bound: 261
862.27/864.20	c current bound: 261
862.86/864.86	c current bound: 261
863.54/865.53	c current bound: 261
864.16/866.19	c current bound: 261
864.88/866.86	c current bound: 261
865.52/867.51	c current bound: 261
866.17/868.17	c current bound: 261
866.85/868.84	c current bound: 261
867.53/869.51	c current bound: 261
868.17/870.18	c current bound: 261
868.85/870.85	c current bound: 261
869.52/871.51	c current bound: 261
869.60/872.17	c current bound: 261
870.86/872.84	c current bound: 261
871.52/873.51	c current bound: 261
871.60/874.17	c current bound: 261
872.85/874.84	c current bound: 261
873.59/875.51	c current bound: 261
873.59/876.17	c current bound: 261
874.85/876.83	c current bound: 261
875.52/877.50	c current bound: 261
876.17/878.17	c current bound: 261
876.89/878.84	c current bound: 261
877.53/879.51	c current bound: 261
878.18/880.18	c current bound: 261
878.87/880.84	c current bound: 261
879.52/881.50	c current bound: 261
880.19/882.16	c current bound: 261
880.84/882.83	c current bound: 261
881.47/883.49	c current bound: 261
882.18/884.16	c current bound: 261
882.86/884.82	c current bound: 261
883.48/885.48	c current bound: 261
884.18/886.15	c current bound: 261
884.84/886.82	c current bound: 261
884.91/887.48	c current bound: 261
886.18/888.14	c current bound: 261
886.83/888.81	c current bound: 261
886.91/889.48	c current bound: 261
888.16/890.14	c current bound: 261
888.88/890.80	c current bound: 261
889.47/891.45	c current bound: 261
890.13/892.11	c current bound: 261
890.21/892.77	c current bound: 261
891.46/893.43	c current bound: 261
892.18/894.13	c current bound: 261
892.73/894.79	c current bound: 261
893.45/895.45	c current bound: 261
894.12/896.12	c current bound: 261
894.74/896.79	c current bound: 261
895.45/897.45	c current bound: 261
896.11/898.12	c current bound: 261
896.75/898.78	c current bound: 261
897.44/899.45	c current bound: 261
898.11/900.11	c current bound: 261
898.19/900.78	c current bound: 261
899.43/901.44	c current bound: 261
900.06/902.09	c current bound: 261
900.15/902.76	c current bound: 261
901.42/903.42	c current bound: 261
901.49/904.08	c current bound: 261
902.76/904.75	c current bound: 261
903.40/905.41	c current bound: 261
903.47/906.08	c current bound: 261
904.73/906.74	c current bound: 261
905.46/907.41	c current bound: 261
905.46/908.07	c current bound: 261
906.74/908.74	c current bound: 261
907.41/909.41	c current bound: 261
908.04/910.07	c current bound: 261
908.75/910.74	c current bound: 261
909.45/911.40	c current bound: 261
910.05/912.06	c current bound: 261
910.72/912.73	c current bound: 261
911.46/913.40	c current bound: 261
912.05/914.05	c current bound: 261
912.72/914.72	c current bound: 261
913.38/915.43	c current bound: 261
914.12/916.10	c current bound: 261
914.72/916.76	c current bound: 261
915.39/917.43	c current bound: 261
915.45/918.09	c current bound: 261
916.72/918.75	c current bound: 261
917.38/919.42	c current bound: 261
918.00/920.09	c current bound: 261
918.72/920.75	c current bound: 261
919.38/921.43	c current bound: 261
920.01/922.09	c current bound: 261
920.11/922.76	c current bound: 261
921.39/923.43	c current bound: 261
922.01/924.09	c current bound: 261
922.70/924.75	c current bound: 261
923.36/925.42	c current bound: 261
923.44/926.10	c current bound: 261
924.10/926.77	c current bound: 261
925.37/927.44	c current bound: 261
926.04/928.11	c current bound: 261
926.69/928.77	c current bound: 261
927.38/929.44	c current bound: 261
928.03/930.10	c current bound: 261
928.69/930.76	c current bound: 261
929.35/931.42	c current bound: 261
929.99/932.09	c current bound: 261
930.70/932.75	c current bound: 261
931.35/933.41	c current bound: 261
931.99/934.07	c current bound: 261
932.68/934.74	c current bound: 261
933.34/935.41	c current bound: 261
933.99/936.07	c current bound: 261
934.67/936.73	c current bound: 261
935.28/937.39	c current bound: 261
935.98/938.06	c current bound: 261
936.67/938.72	c current bound: 261
937.29/939.38	c current bound: 261
937.99/940.04	c current bound: 261
938.65/940.70	c current bound: 261
938.72/941.36	c current bound: 261
939.96/942.02	c current bound: 261
940.59/942.68	c current bound: 261
941.27/943.34	c current bound: 261
941.94/944.00	c current bound: 261
942.01/944.67	c current bound: 261
943.27/945.34	c current bound: 261
943.90/946.00	c current bound: 261
944.00/946.67	c current bound: 261
945.27/947.35	c current bound: 261
945.93/948.01	c current bound: 261
946.58/948.68	c current bound: 261
947.26/949.34	c current bound: 261
947.98/950.00	c current bound: 261
948.57/950.67	c current bound: 261
949.25/951.33	c current bound: 261
949.92/952.00	c current bound: 261
950.56/952.67	c current bound: 261
951.24/953.33	c current bound: 261
951.86/953.99	c current bound: 261
952.57/954.66	c current bound: 261
953.24/955.32	c current bound: 261
953.87/955.98	c current bound: 261
954.55/956.64	c current bound: 261
955.22/957.31	c current bound: 261
955.29/957.97	c current bound: 261
956.55/958.64	c current bound: 261
957.20/959.30	c current bound: 261
957.29/959.97	c current bound: 261
958.55/960.64	c current bound: 261
959.34/961.31	c current bound: 261
959.29/961.97	c current bound: 261
960.55/962.69	c current bound: 261
961.21/963.36	c current bound: 261
961.89/964.03	c current bound: 261
962.50/964.70	c current bound: 261
962.63/965.37	c current bound: 261
963.89/966.04	c current bound: 261
964.56/966.71	c current bound: 261
965.20/967.37	c current bound: 261
965.89/968.04	c current bound: 261
966.54/968.70	c current bound: 261
967.21/969.36	c current bound: 261
967.87/970.03	c current bound: 261
968.55/970.70	c current bound: 261
969.21/971.36	c current bound: 261
969.88/972.03	c current bound: 261
970.61/972.70	c current bound: 261
970.61/973.36	c current bound: 261
971.88/974.03	c current bound: 261
972.50/974.69	c current bound: 261
973.20/975.36	c current bound: 261
973.87/976.02	c current bound: 261
973.94/976.69	c current bound: 261
975.21/977.36	c current bound: 261
975.86/978.01	c current bound: 261
976.58/978.70	c current bound: 261
977.19/979.36	c current bound: 261
977.88/980.02	c current bound: 261
977.92/980.69	c current bound: 261
979.19/981.35	c current bound: 261
979.84/982.01	c current bound: 261
980.48/982.68	c current bound: 261
981.18/983.34	c current bound: 261
981.84/984.00	c current bound: 261
982.49/984.66	c current bound: 261
983.15/985.32	c current bound: 261
983.78/985.99	c current bound: 261
984.48/986.64	c current bound: 261
985.15/987.30	c current bound: 261
985.78/987.97	c current bound: 261
986.47/988.63	c current bound: 261
987.08/989.29	c current bound: 261
987.79/989.96	c current bound: 261
988.47/990.63	c current bound: 261
989.19/991.30	c current bound: 261
989.21/991.97	c current bound: 261
990.46/992.63	c current bound: 261
991.08/993.29	c current bound: 261
991.77/993.95	c current bound: 261
992.45/994.63	c current bound: 261
992.51/995.29	c current bound: 261
993.75/995.94	c current bound: 261
994.43/996.61	c current bound: 261
994.49/997.27	c current bound: 261
995.75/997.94	c current bound: 261
996.42/998.60	c current bound: 261
997.07/999.27	c current bound: 261
997.75/999.94	c current bound: 261
998.42/1000.60	c current bound: 261
999.07/1001.27	c current bound: 261
999.73/1001.93	c current bound: 261
1000.36/1002.59	c current bound: 261
1001.07/1003.26	c current bound: 261
1001.74/1003.91	c current bound: 261
1002.38/1004.58	c current bound: 261
1003.07/1005.24	c current bound: 261
1003.73/1005.90	c current bound: 261
1004.38/1006.57	c current bound: 261
1005.05/1007.24	c current bound: 261
1005.72/1007.90	c current bound: 261
1005.80/1008.57	c current bound: 261
1007.06/1009.24	c current bound: 261
1007.73/1009.91	c current bound: 261
1007.80/1010.57	c current bound: 261
1009.06/1011.24	c current bound: 261
1009.12/1011.90	c current bound: 261
1009.79/1012.57	c current bound: 261
1011.05/1013.24	c current bound: 261
1011.72/1013.91	c current bound: 261
1012.37/1014.57	c current bound: 261
1013.10/1015.31	c current bound: 261
1013.13/1015.97	c current bound: 261
1014.38/1016.64	c current bound: 261
1015.11/1017.30	c current bound: 261
1015.69/1017.97	c current bound: 261
1016.39/1018.63	c current bound: 261
1017.11/1019.30	c current bound: 261
1017.71/1019.96	c current bound: 261
1018.37/1020.63	c current bound: 261
1019.10/1021.30	c current bound: 261
1019.71/1021.96	c current bound: 261
1020.37/1022.63	c current bound: 261
1020.99/1023.28	c current bound: 261
1021.69/1023.95	c current bound: 261
1022.34/1024.60	c current bound: 261
1022.99/1025.27	c current bound: 261
1023.67/1025.94	c current bound: 261
1024.40/1026.60	c current bound: 261
1024.98/1027.25	c current bound: 261
1025.66/1027.92	c current bound: 261
1026.30/1028.59	c current bound: 261
1026.99/1029.25	c current bound: 261
1027.66/1029.92	c current bound: 261
1027.72/1030.58	c current bound: 261
1028.99/1031.24	c current bound: 261
1029.64/1031.90	c current bound: 261
1029.72/1032.57	c current bound: 261
1030.97/1033.23	c current bound: 261
1031.03/1033.89	c current bound: 261
1032.30/1034.56	c current bound: 261
1032.96/1035.23	c current bound: 261
1033.70/1035.90	c current bound: 261
1034.36/1036.61	c current bound: 261
1034.95/1037.28	c current bound: 261
1035.63/1037.94	c current bound: 261
1036.34/1038.60	c current bound: 261
1036.35/1039.27	c current bound: 261
1037.61/1039.94	c current bound: 261
1038.35/1040.60	c current bound: 261
1038.35/1041.26	c current bound: 261
1039.62/1041.93	c current bound: 261
1040.29/1042.60	c current bound: 261
1040.94/1043.27	c current bound: 261
1041.62/1043.94	c current bound: 261
1042.29/1044.60	c current bound: 261
1042.92/1045.27	c current bound: 261
1043.61/1045.94	c current bound: 261
1044.34/1046.60	c current bound: 261
1044.94/1047.26	c current bound: 261
1045.61/1047.93	c current bound: 261
1046.28/1048.60	c current bound: 261
1046.35/1049.26	c current bound: 261
1047.61/1049.92	c current bound: 261
1048.25/1050.59	c current bound: 261
1048.94/1051.26	c current bound: 261
1049.61/1051.93	c current bound: 261
1050.35/1052.64	c current bound: 261
1050.95/1053.31	c current bound: 261
1051.59/1053.98	c current bound: 261
1052.28/1054.64	c current bound: 261
1052.95/1055.31	c current bound: 261
1053.59/1055.98	c current bound: 261
1054.29/1056.65	c current bound: 261
1054.96/1057.32	c current bound: 261
1055.03/1057.98	c current bound: 261
1056.28/1058.65	c current bound: 261
1056.96/1059.31	c current bound: 261
1057.02/1059.98	c current bound: 261
1058.29/1060.65	c current bound: 261
1058.94/1061.31	c current bound: 261
1059.58/1061.97	c current bound: 261
1060.28/1062.64	c current bound: 261
1060.35/1063.29	c current bound: 261
1061.61/1063.96	c current bound: 261
1062.26/1064.62	c current bound: 261
1062.89/1065.28	c current bound: 261
1063.58/1065.94	c current bound: 261
1064.25/1066.61	c current bound: 261
1064.89/1067.27	c current bound: 261
1065.58/1067.93	c current bound: 261
1066.30/1068.67	c current bound: 261
1066.92/1069.34	c current bound: 261
1067.57/1070.00	c current bound: 261
1068.23/1070.67	c current bound: 261
1068.92/1071.33	c current bound: 261
1068.98/1071.99	c current bound: 261
1070.23/1072.65	c current bound: 261
1070.89/1073.32	c current bound: 261
1071.51/1073.99	c current bound: 261
1072.22/1074.66	c current bound: 261
1072.88/1075.31	c current bound: 261
1073.51/1075.98	c current bound: 261
1074.21/1076.65	c current bound: 261
1074.87/1077.31	c current bound: 261
1075.53/1077.96	c current bound: 261
1076.19/1078.63	c current bound: 261
1076.83/1079.28	c current bound: 261
1077.52/1079.95	c current bound: 261
1078.18/1080.62	c current bound: 261
1078.83/1081.29	c current bound: 261
1079.51/1081.95	c current bound: 261
1080.19/1082.63	c current bound: 261
1080.26/1083.29	c current bound: 261
1081.51/1083.96	c current bound: 261
1082.18/1084.62	c current bound: 261
1082.24/1085.29	c current bound: 261
1083.54/1085.96	c current bound: 261
1084.19/1086.63	c current bound: 261
1084.92/1087.30	c current bound: 261
1085.52/1087.96	c current bound: 261
1086.19/1088.63	c current bound: 261
1086.82/1089.29	c current bound: 261
1087.53/1089.96	c current bound: 261
1088.19/1090.62	c current bound: 261
1088.81/1091.29	c current bound: 261
1089.50/1091.95	c current bound: 261
1090.18/1092.61	c current bound: 261
1090.25/1093.27	c current bound: 261
1091.51/1093.94	c current bound: 261
1092.17/1094.61	c current bound: 261
1092.24/1095.27	c current bound: 261
1093.50/1095.94	c current bound: 261
1094.24/1096.60	c current bound: 261
1094.24/1097.27	c current bound: 261
1095.49/1097.93	c current bound: 261
1096.23/1098.60	c current bound: 261
1096.81/1099.26	c current bound: 261
1097.53/1099.93	c current bound: 261
1097.56/1100.59	c current bound: 261
1098.83/1101.26	c current bound: 261
1099.51/1101.93	c current bound: 261
1100.24/1102.60	c current bound: 261
1100.84/1103.26	c current bound: 261
1101.50/1103.93	c current bound: 261
1102.13/1104.59	c current bound: 261
1102.82/1105.25	c current bound: 261
1103.49/1105.91	c current bound: 261
1104.12/1106.58	c current bound: 261
1104.81/1107.24	c current bound: 261
1105.41/1107.89	c current bound: 261
1106.14/1108.56	c current bound: 261
1106.80/1109.22	c current bound: 261
1107.43/1109.89	c current bound: 261
1108.13/1110.55	c current bound: 261
1108.79/1111.21	c current bound: 261
1108.86/1111.88	c current bound: 261
1110.13/1112.54	c current bound: 261
1110.85/1113.21	c current bound: 261
1110.85/1113.87	c current bound: 261
1112.12/1114.53	c current bound: 261
1112.18/1115.19	c current bound: 261
1113.44/1115.85	c current bound: 261
1114.09/1116.51	c current bound: 261
1114.16/1117.17	c current bound: 261
1115.42/1117.84	c current bound: 261
1116.14/1118.50	c current bound: 261
1116.73/1119.16	c current bound: 261
1117.41/1119.83	c current bound: 261
1117.48/1120.49	c current bound: 261
1118.74/1121.15	c current bound: 261
1119.41/1121.82	c current bound: 261
1120.04/1122.49	c current bound: 261
1120.75/1123.16	c current bound: 261
1121.40/1123.82	c current bound: 261
1122.04/1124.49	c current bound: 261
1122.74/1125.15	c current bound: 261
1123.41/1125.81	c current bound: 261
1124.04/1126.48	c current bound: 261
1124.73/1127.14	c current bound: 261
1125.39/1127.80	c current bound: 261
1125.47/1128.47	c current bound: 261
1126.72/1129.13	c current bound: 261
1127.40/1129.80	c current bound: 261
1127.47/1130.47	c current bound: 261
1128.73/1131.14	c current bound: 261
1128.80/1131.80	c current bound: 261
1129.46/1132.47	c current bound: 261
1130.72/1133.13	c current bound: 261
1130.79/1133.79	c current bound: 261
1132.05/1134.45	c current bound: 261
1132.76/1135.12	c current bound: 261
1132.79/1135.79	c current bound: 261
1134.05/1136.46	c current bound: 261
1134.71/1137.12	c current bound: 261
1135.38/1137.83	c current bound: 261
1136.00/1138.50	c current bound: 261
1136.13/1139.16	c current bound: 261
1137.39/1139.83	c current bound: 261
1138.13/1140.50	c current bound: 261
1138.71/1141.17	c current bound: 261
1139.40/1141.84	c current bound: 261
1140.06/1142.50	c current bound: 261
1140.80/1143.21	c current bound: 261
1140.80/1143.88	c current bound: 261
1142.05/1144.54	c current bound: 261
1142.72/1145.21	c current bound: 261
1142.79/1145.87	c current bound: 261
1144.06/1146.54	c current bound: 261
1144.76/1147.21	c current bound: 261
1144.79/1147.88	c current bound: 261
1146.07/1148.54	c current bound: 261
1146.74/1149.21	c current bound: 261
1147.39/1149.86	c current bound: 261
1148.09/1150.53	c current bound: 261
1148.79/1151.20	c current bound: 261
1149.38/1151.87	c current bound: 261
1150.06/1152.53	c current bound: 261
1150.68/1153.19	c current bound: 261
1151.39/1153.86	c current bound: 261
1152.06/1154.53	c current bound: 261
1152.66/1155.19	c current bound: 261
1153.37/1155.85	c current bound: 261
1154.03/1156.51	c current bound: 261
1154.68/1157.17	c current bound: 261
1155.37/1157.84	c current bound: 261
1156.08/1158.50	c current bound: 261
1156.10/1159.16	c current bound: 261
1157.35/1159.82	c current bound: 261
1157.99/1160.48	c current bound: 261
1158.68/1161.14	c current bound: 261
1159.34/1161.81	c current bound: 261
1159.41/1162.47	c current bound: 261
1160.67/1163.14	c current bound: 261
1161.40/1163.80	c current bound: 261
1161.40/1164.47	c current bound: 261
1162.67/1165.14	c current bound: 261
1163.39/1165.80	c current bound: 261
1163.98/1166.47	c current bound: 261
1164.66/1167.13	c current bound: 261
1165.40/1167.80	c current bound: 261
1166.00/1168.46	c current bound: 261
1166.67/1169.13	c current bound: 261
1167.29/1169.79	c current bound: 261
1168.00/1170.46	c current bound: 261
1168.67/1171.13	c current bound: 261
1169.28/1171.79	c current bound: 261
1170.00/1172.46	c current bound: 261
1170.66/1173.12	c current bound: 261
1171.29/1173.79	c current bound: 261
1171.98/1174.45	c current bound: 261
1172.66/1175.16	c current bound: 261
1173.35/1175.82	c current bound: 261
1173.39/1176.49	c current bound: 261
1174.65/1177.15	c current bound: 261
1175.32/1177.82	c current bound: 261
1175.95/1178.48	c current bound: 261
1176.66/1179.15	c current bound: 261
1177.30/1179.81	c current bound: 261
1177.95/1180.48	c current bound: 261
1178.64/1181.14	c current bound: 261
1179.30/1181.81	c current bound: 261
1179.96/1182.48	c current bound: 261
1180.64/1183.15	c current bound: 261
1181.31/1183.81	c current bound: 261
1181.38/1184.48	c current bound: 261
1182.64/1185.14	c current bound: 261
1183.37/1185.80	c current bound: 261
1183.37/1186.47	c current bound: 261
1184.64/1187.13	c current bound: 261
1185.37/1187.80	c current bound: 261
1185.95/1188.47	c current bound: 261
1186.64/1189.14	c current bound: 261
1187.36/1189.80	c current bound: 261
1187.94/1190.46	c current bound: 261
1188.64/1191.13	c current bound: 261
1189.24/1191.79	c current bound: 261
1189.95/1192.45	c current bound: 261
1190.62/1193.12	c current bound: 261
1191.25/1193.78	c current bound: 261
1191.95/1194.45	c current bound: 261
1192.62/1195.11	c current bound: 261
1193.26/1195.78	c current bound: 261
1193.95/1196.44	c current bound: 261
1194.63/1197.11	c current bound: 261
1194.70/1197.76	c current bound: 261
1195.95/1198.43	c current bound: 261
1196.57/1199.09	c current bound: 261
1197.27/1199.75	c current bound: 261
1197.93/1200.41	c current bound: 261
1197.99/1201.08	c current bound: 261
1199.25/1201.73	c current bound: 261
1199.86/1202.39	c current bound: 261
1199.98/1203.06	c current bound: 261
1201.23/1203.72	c current bound: 261
1201.30/1204.38	c current bound: 261
1202.56/1205.04	c current bound: 261
1203.22/1205.70	c current bound: 261
1203.29/1206.37	c current bound: 261
1204.54/1207.03	c current bound: 261
1204.61/1207.70	c current bound: 261
1205.27/1208.37	c current bound: 261
1206.55/1209.04	c current bound: 261
1207.22/1209.70	c current bound: 261
1207.86/1210.37	c current bound: 261
1208.56/1211.04	c current bound: 261
1209.27/1211.70	c current bound: 261
1209.87/1212.36	c current bound: 261
1210.55/1213.03	c current bound: 261
1211.28/1213.70	c current bound: 261
1211.88/1214.36	c current bound: 261
1212.54/1215.03	c current bound: 261
1213.28/1215.70	c current bound: 261
1213.29/1216.37	c current bound: 261
1214.57/1217.04	c current bound: 261
1215.22/1217.71	c current bound: 261
1215.30/1218.38	c current bound: 261
1216.55/1219.04	c current bound: 261
1217.23/1219.71	c current bound: 261
1217.87/1220.38	c current bound: 261
1218.56/1221.04	c current bound: 261
1219.22/1221.71	c current bound: 261
1219.87/1222.37	c current bound: 261
1220.55/1223.03	c current bound: 261
1221.28/1223.70	c current bound: 261
1221.88/1224.36	c current bound: 261
1222.55/1225.03	c current bound: 261
1223.19/1225.69	c current bound: 261
1223.88/1226.35	c current bound: 261
1224.55/1227.01	c current bound: 261
1225.26/1227.71	c current bound: 261
1225.27/1228.38	c current bound: 261
1226.52/1229.04	c current bound: 261
1227.25/1229.71	c current bound: 261
1227.26/1230.37	c current bound: 261
1228.51/1231.04	c current bound: 261
1229.25/1231.70	c current bound: 261
1229.83/1232.37	c current bound: 261
1230.54/1233.04	c current bound: 261
1231.18/1233.70	c current bound: 261
1231.83/1234.37	c current bound: 261
1232.52/1235.04	c current bound: 261
1233.12/1235.69	c current bound: 261
1233.84/1236.35	c current bound: 261
1234.49/1237.02	c current bound: 261
1235.13/1237.69	c current bound: 261
1235.83/1238.35	c current bound: 261
1236.51/1239.02	c current bound: 261
1237.14/1239.68	c current bound: 261
1237.84/1240.35	c current bound: 261
1238.50/1241.01	c current bound: 261
1238.57/1241.68	c current bound: 261
1239.83/1242.34	c current bound: 261
1240.49/1243.01	c current bound: 261
1240.57/1243.67	c current bound: 261
1241.81/1244.33	c current bound: 261
1242.54/1245.00	c current bound: 261
1243.12/1245.66	c current bound: 261
1243.82/1246.32	c current bound: 261
1243.88/1246.98	c current bound: 261
1245.14/1247.64	c current bound: 261
1245.80/1248.31	c current bound: 261
1246.45/1248.97	c current bound: 261
1247.12/1249.64	c current bound: 261
1247.80/1250.31	c current bound: 261
1248.44/1250.96	c current bound: 261
1249.12/1251.63	c current bound: 261
1249.86/1252.30	c current bound: 261
1250.45/1252.96	c current bound: 261
1251.13/1253.63	c current bound: 261
1251.75/1254.29	c current bound: 261
1252.45/1254.96	c current bound: 261
1253.11/1255.62	c current bound: 261
1253.76/1256.29	c current bound: 261
1254.44/1256.95	c current bound: 261
1255.10/1257.61	c current bound: 261
1255.18/1258.28	c current bound: 261
1256.44/1258.95	c current bound: 261
1257.12/1259.61	c current bound: 261
1257.18/1260.28	c current bound: 261
1258.45/1260.95	c current bound: 261
1259.15/1261.61	c current bound: 261
1259.18/1262.28	c current bound: 261
1260.44/1262.94	c current bound: 261
1261.10/1263.60	c current bound: 261
1261.75/1264.27	c current bound: 261
1262.45/1264.93	c current bound: 261
1262.49/1265.59	c current bound: 261
1263.75/1266.25	c current bound: 261
1264.42/1266.91	c current bound: 261
1265.05/1267.58	c current bound: 261
1265.75/1268.24	c current bound: 261
1266.40/1268.91	c current bound: 261
1267.04/1269.57	c current bound: 261
1267.73/1270.23	c current bound: 261
1268.34/1270.89	c current bound: 261
1269.06/1271.55	c current bound: 261
1269.72/1272.22	c current bound: 261
1270.34/1272.88	c current bound: 261
1271.06/1273.55	c current bound: 261
1271.72/1274.22	c current bound: 261
1272.36/1274.89	c current bound: 261
1273.06/1275.54	c current bound: 261
1273.72/1276.20	c current bound: 261
1273.78/1276.87	c current bound: 261
1275.04/1277.53	c current bound: 261
1275.66/1278.20	c current bound: 261
1276.37/1278.86	c current bound: 261
1277.03/1279.53	c current bound: 261
1277.77/1280.20	c current bound: 261
1278.36/1280.87	c current bound: 261
1279.05/1281.53	c current bound: 261
1279.79/1282.20	c current bound: 261
1280.38/1282.86	c current bound: 261
1281.04/1283.52	c current bound: 261
1281.67/1284.19	c current bound: 261
1282.38/1284.85	c current bound: 261
1283.05/1285.52	c current bound: 261
1283.68/1286.18	c current bound: 261
1284.37/1286.85	c current bound: 261
1285.04/1287.51	c current bound: 261
1285.67/1288.17	c current bound: 261
1286.37/1288.84	c current bound: 261
1287.09/1289.50	c current bound: 261
1287.09/1290.16	c current bound: 261
1288.36/1290.82	c current bound: 261
1289.07/1291.55	c current bound: 261
1289.67/1292.20	c current bound: 261
1290.30/1292.87	c current bound: 261
1291.02/1293.53	c current bound: 261
1291.06/1294.20	c current bound: 261
1292.32/1294.85	c current bound: 261
1292.99/1295.52	c current bound: 261
1293.63/1296.19	c current bound: 261
1294.32/1296.85	c current bound: 261
1294.97/1297.51	c current bound: 261
1295.62/1298.17	c current bound: 261
1296.30/1298.83	c current bound: 261
1296.92/1299.49	c current bound: 261
1297.62/1300.16	c current bound: 261
1298.29/1300.83	c current bound: 261
1298.91/1301.49	c current bound: 261
1299.62/1302.15	c current bound: 261
1300.28/1302.81	c current bound: 261
1300.94/1303.48	c current bound: 261
1301.61/1304.14	c current bound: 261
1302.28/1304.81	c current bound: 261
1302.35/1305.47	c current bound: 261
1303.62/1306.14	c current bound: 261
1304.34/1306.80	c current bound: 261
1305.00/1307.51	c current bound: 261
1305.57/1308.18	c current bound: 261
1306.27/1308.84	c current bound: 261
1306.94/1309.51	c current bound: 261
1307.58/1310.17	c current bound: 261
1308.27/1310.84	c current bound: 261
1308.93/1311.50	c current bound: 261
1309.01/1312.17	c current bound: 261
1310.26/1312.83	c current bound: 261
1310.98/1313.50	c current bound: 261
1311.00/1314.17	c current bound: 261
1312.26/1314.83	c current bound: 261
1312.33/1315.50	c current bound: 261
1312.99/1316.17	c current bound: 261
1314.26/1316.83	c current bound: 261
1314.34/1317.49	c current bound: 261
1315.59/1318.16	c current bound: 261
1316.28/1318.82	c current bound: 261
1316.32/1319.49	c current bound: 261
1317.59/1320.16	c current bound: 261
1318.26/1320.82	c current bound: 261
1318.89/1321.49	c current bound: 261
1319.60/1322.15	c current bound: 261
1320.24/1322.81	c current bound: 261
1320.89/1323.47	c current bound: 261
1321.57/1324.14	c current bound: 261
1322.23/1324.81	c current bound: 261
1322.88/1325.47	c current bound: 261
1323.57/1326.14	c current bound: 261
1324.19/1326.79	c current bound: 261
1324.89/1327.45	c current bound: 261
1325.56/1328.12	c current bound: 261
1326.19/1328.78	c current bound: 261
1326.88/1329.45	c current bound: 261
1327.53/1330.11	c current bound: 261
1327.61/1330.76	c current bound: 261
1328.87/1331.43	c current bound: 261
1329.49/1332.09	c current bound: 261
1330.19/1332.75	c current bound: 261
1330.85/1333.41	c current bound: 261
1330.92/1334.08	c current bound: 261
1332.19/1334.75	c current bound: 261
1332.84/1335.41	c current bound: 261
1332.91/1336.07	c current bound: 261
1334.17/1336.73	c current bound: 261
1334.89/1337.40	c current bound: 261
1335.47/1338.06	c current bound: 261
1336.16/1338.73	c current bound: 261
1336.88/1339.44	c current bound: 261
1337.49/1340.10	c current bound: 261
1337.54/1340.77	c current bound: 261
1338.83/1341.44	c current bound: 261
1339.54/1342.10	c current bound: 261
1339.55/1342.77	c current bound: 261
1340.82/1343.43	c current bound: 261
1341.54/1344.10	c current bound: 261
1341.56/1344.79	c current bound: 261
1342.82/1345.45	c current bound: 261
1343.49/1346.12	c current bound: 261
1344.11/1346.79	c current bound: 261
1344.83/1347.45	c current bound: 261
1345.47/1348.12	c current bound: 261
1346.11/1348.78	c current bound: 261
1346.82/1349.45	c current bound: 261
1347.47/1350.17	c current bound: 261
1348.13/1350.83	c current bound: 261
1348.85/1351.50	c current bound: 261
1349.44/1352.16	c current bound: 261
1350.12/1352.83	c current bound: 261
1350.79/1353.50	c current bound: 261
1351.46/1354.17	c current bound: 261
1352.13/1354.84	c current bound: 261
1352.75/1355.49	c current bound: 261
1353.46/1356.16	c current bound: 261
1354.13/1356.83	c current bound: 261
1354.75/1357.49	c current bound: 261
1355.47/1358.16	c current bound: 261
1356.13/1358.83	c current bound: 261
1356.20/1359.50	c current bound: 261
1356.86/1360.17	c current bound: 261
1358.13/1360.83	c current bound: 261
1358.86/1361.50	c current bound: 261
1359.44/1362.16	c current bound: 261
1360.15/1362.83	c current bound: 261
1360.85/1363.50	c current bound: 261
1361.44/1364.17	c current bound: 261
1362.12/1364.83	c current bound: 261
1362.75/1365.49	c current bound: 261
1363.46/1366.16	c current bound: 261
1364.11/1366.82	c current bound: 261
1364.74/1367.48	c current bound: 261
1365.45/1368.14	c current bound: 261
1366.17/1368.80	c current bound: 261
1366.77/1369.46	c current bound: 261
1367.43/1370.13	c current bound: 261
1368.05/1370.79	c current bound: 261
1368.76/1371.46	c current bound: 261
1369.43/1372.13	c current bound: 261
1370.07/1372.79	c current bound: 261
1370.75/1373.45	c current bound: 261
1371.41/1374.11	c current bound: 261
1371.48/1374.78	c current bound: 261
1372.75/1375.44	c current bound: 261
1373.42/1376.11	c current bound: 261
1373.48/1376.78	c current bound: 261
1374.75/1377.44	c current bound: 261
1375.40/1378.10	c current bound: 261
1376.06/1378.76	c current bound: 261
1376.73/1379.43	c current bound: 261
1376.79/1380.09	c current bound: 261
1378.06/1380.76	c current bound: 261
1378.72/1381.42	c current bound: 261
1379.35/1382.08	c current bound: 261
1380.04/1382.74	c current bound: 261
1380.71/1383.40	c current bound: 261
1381.35/1384.07	c current bound: 261
1382.03/1384.73	c current bound: 261
1382.76/1385.40	c current bound: 261
1383.37/1386.07	c current bound: 261
1384.03/1386.73	c current bound: 261
1384.70/1387.40	c current bound: 261
1385.34/1388.06	c current bound: 261
1386.01/1388.73	c current bound: 261
1386.64/1389.40	c current bound: 261
1386.75/1390.06	c current bound: 261
1388.03/1390.73	c current bound: 261
1388.74/1391.52	c current bound: 261
1388.76/1392.19	c current bound: 261
1390.03/1392.86	c current bound: 261
1390.70/1393.53	c current bound: 261
1391.33/1394.19	c current bound: 261
1392.01/1394.84	c current bound: 261
1392.69/1395.51	c current bound: 261
1393.32/1396.18	c current bound: 261
1394.02/1396.84	c current bound: 261
1394.68/1397.50	c current bound: 261
1395.35/1398.17	c current bound: 261
1396.01/1398.84	c current bound: 261
1396.74/1399.50	c current bound: 261
1397.35/1400.16	c current bound: 261
1398.03/1400.83	c current bound: 261
1398.76/1401.50	c current bound: 261
1398.77/1402.17	c current bound: 261
1400.03/1402.83	c current bound: 261
1400.76/1403.50	c current bound: 261
1400.76/1404.17	c current bound: 261
1402.03/1404.84	c current bound: 261
1402.75/1405.50	c current bound: 261
1403.33/1406.17	c current bound: 261
1404.04/1406.83	c current bound: 261
1404.75/1407.54	c current bound: 261
1405.35/1408.21	c current bound: 261
1405.41/1408.87	c current bound: 261
1406.69/1409.54	c current bound: 261
1407.35/1410.21	c current bound: 261
1407.43/1410.87	c current bound: 261
1408.68/1411.54	c current bound: 261
1409.36/1412.21	c current bound: 261
1410.00/1412.87	c current bound: 261
1410.68/1413.54	c current bound: 261
1411.34/1414.20	c current bound: 261
1411.99/1414.87	c current bound: 261
1412.69/1415.54	c current bound: 261
1413.41/1416.20	c current bound: 261
1414.01/1416.86	c current bound: 261
1414.67/1417.53	c current bound: 261
1415.29/1418.19	c current bound: 261
1415.99/1418.85	c current bound: 261
1416.67/1419.52	c current bound: 261
1417.30/1420.18	c current bound: 261
1418.01/1420.85	c current bound: 261
1418.66/1421.51	c current bound: 261
1418.73/1422.17	c current bound: 261
1419.99/1422.83	c current bound: 261
1420.72/1423.50	c current bound: 261
1420.72/1424.16	c current bound: 261
1421.97/1424.83	c current bound: 261
1422.06/1425.48	c current bound: 261
1423.29/1426.13	c current bound: 261
1424.02/1426.80	c current bound: 261
1424.02/1427.47	c current bound: 261
1425.29/1428.13	c current bound: 261
1425.36/1428.79	c current bound: 261
1426.62/1429.46	c current bound: 261
1427.30/1430.13	c current bound: 261
1427.36/1430.79	c current bound: 261
1428.62/1431.46	c current bound: 261
1429.32/1432.13	c current bound: 261
1429.35/1432.79	c current bound: 261
1430.62/1433.46	c current bound: 261
1431.29/1434.12	c current bound: 261
1431.91/1434.79	c current bound: 261
1432.63/1435.45	c current bound: 261
1433.29/1436.12	c current bound: 261
1433.92/1436.78	c current bound: 261
1434.62/1437.44	c current bound: 261
1435.28/1438.11	c current bound: 261
1435.91/1438.78	c current bound: 261
1436.62/1439.44	c current bound: 261
1437.27/1440.10	c current bound: 261
1437.34/1440.77	c current bound: 261
1438.60/1441.43	c current bound: 261
1439.23/1442.10	c current bound: 261
1439.34/1442.77	c current bound: 261
1440.60/1443.44	c current bound: 261
1441.28/1444.11	c current bound: 261
1441.92/1444.78	c current bound: 261
1442.62/1445.45	c current bound: 261
1443.28/1446.12	c current bound: 261
1444.03/1446.80	c current bound: 261
1444.03/1447.47	c current bound: 261
1445.29/1448.14	c current bound: 261
1446.03/1448.80	c current bound: 261
1446.63/1449.46	c current bound: 261
1447.31/1450.13	c current bound: 261
1448.04/1450.80	c current bound: 261
1448.05/1451.47	c current bound: 261
1449.30/1452.13	c current bound: 261
1449.98/1452.80	c current bound: 261
1450.62/1453.48	c current bound: 261
1451.33/1454.15	c current bound: 261
1452.00/1454.82	c current bound: 261
1452.62/1455.49	c current bound: 261
1453.34/1456.16	c current bound: 261
1454.01/1456.83	c current bound: 261
1454.64/1457.50	c current bound: 261
1454.75/1458.17	c current bound: 261
1456.02/1458.84	c current bound: 261
1456.69/1459.51	c current bound: 261
1457.33/1460.17	c current bound: 261
1458.02/1460.84	c current bound: 261
1458.68/1461.50	c current bound: 261
1458.76/1462.16	c current bound: 261
1460.00/1462.83	c current bound: 261
1460.63/1463.49	c current bound: 261
1461.33/1464.16	c current bound: 261
1462.01/1464.83	c current bound: 261
1462.63/1465.49	c current bound: 261
1463.34/1466.16	c current bound: 261
1464.01/1466.82	c current bound: 261
1464.63/1467.49	c current bound: 261
1465.33/1468.16	c current bound: 261
1466.01/1468.82	c current bound: 261
1466.06/1469.49	c current bound: 261
1467.34/1470.15	c current bound: 261
1468.00/1470.82	c current bound: 261
1468.07/1471.48	c current bound: 261
1469.32/1472.15	c current bound: 261
1470.04/1472.83	c current bound: 261
1470.07/1473.49	c current bound: 261
1471.34/1474.16	c current bound: 261
1472.00/1474.83	c current bound: 261
1472.74/1475.50	c current bound: 261
1473.34/1476.16	c current bound: 261
1474.00/1476.83	c current bound: 261
1474.68/1477.50	c current bound: 261
1474.75/1478.17	c current bound: 261
1476.02/1478.84	c current bound: 261
1476.75/1479.51	c current bound: 261
1476.76/1480.17	c current bound: 261
1478.01/1480.84	c current bound: 261
1478.69/1481.51	c current bound: 261
1479.32/1482.18	c current bound: 261
1480.03/1482.85	c current bound: 261
1480.69/1483.53	c current bound: 261
1481.33/1484.19	c current bound: 261
1481.44/1484.87	c current bound: 261
1482.71/1485.53	c current bound: 261
1483.44/1486.20	c current bound: 261
1483.44/1486.87	c current bound: 261
1484.72/1487.55	c current bound: 261
1485.43/1488.21	c current bound: 261
1485.46/1488.89	c current bound: 261
1486.73/1489.55	c current bound: 261
1487.39/1490.21	c current bound: 261
1488.02/1490.87	c current bound: 261
1488.72/1491.54	c current bound: 261
1489.37/1492.21	c current bound: 261
1490.02/1492.89	c current bound: 261
1490.72/1493.56	c current bound: 261
1491.37/1494.22	c current bound: 261
1492.01/1494.89	c current bound: 261
1492.72/1495.56	c current bound: 261
1493.39/1496.23	c current bound: 261
1494.07/1496.91	c current bound: 261
1494.71/1497.58	c current bound: 261
1495.41/1498.25	c current bound: 261
1496.07/1498.92	c current bound: 261
1496.71/1499.58	c current bound: 261
1497.40/1500.25	c current bound: 261
1498.09/1500.92	c current bound: 261
1498.72/1501.59	c current bound: 261
1498.83/1502.27	c current bound: 261
1500.10/1502.93	c current bound: 261
1500.17/1503.60	c current bound: 261
1500.82/1504.26	c current bound: 261
1502.09/1504.93	c current bound: 261
1502.82/1505.60	c current bound: 261
1503.41/1506.27	c current bound: 261
1504.11/1506.92	c current bound: 261
1504.16/1507.59	c current bound: 261
1505.43/1508.26	c current bound: 261
1506.08/1508.91	c current bound: 261
1506.75/1509.60	c current bound: 261
1507.40/1510.26	c current bound: 261
1508.06/1510.93	c current bound: 261
1508.68/1511.59	c current bound: 261
1509.39/1512.25	c current bound: 261
1510.06/1512.92	c current bound: 261
1510.69/1513.57	c current bound: 261
1511.38/1514.24	c current bound: 261
1512.05/1514.90	c current bound: 261
1512.70/1515.56	c current bound: 261
1513.37/1516.22	c current bound: 261
1513.99/1516.89	c current bound: 261
1514.71/1517.56	c current bound: 261
1515.37/1518.23	c current bound: 261
1515.44/1518.89	c current bound: 261
1516.70/1519.56	c current bound: 261
1517.37/1520.23	c current bound: 261
1518.11/1520.90	c current bound: 261
1518.69/1521.57	c current bound: 261
1519.37/1522.23	c current bound: 261
1519.99/1522.89	c current bound: 261
1520.69/1523.57	c current bound: 261
1521.36/1524.24	c current bound: 261
1522.04/1524.91	c current bound: 261
1522.11/1525.57	c current bound: 261
1523.37/1526.24	c current bound: 261
1524.04/1526.91	c current bound: 261
1524.11/1527.57	c current bound: 261
1525.38/1528.24	c current bound: 261
1526.10/1528.91	c current bound: 261
1526.11/1529.58	c current bound: 261
1527.37/1530.25	c current bound: 261
1528.05/1530.92	c current bound: 261
1528.69/1531.59	c current bound: 261
1529.40/1532.26	c current bound: 261
1530.05/1532.93	c current bound: 261
1530.70/1533.59	c current bound: 261
1530.80/1534.27	c current bound: 261
1532.07/1534.93	c current bound: 261
1532.68/1535.59	c current bound: 261
1532.80/1536.27	c current bound: 261
1534.07/1536.94	c current bound: 261
1534.73/1537.60	c current bound: 261
1535.39/1538.26	c current bound: 261
1536.05/1538.93	c current bound: 261
1536.78/1539.60	c current bound: 261
1537.38/1540.26	c current bound: 261
1538.04/1540.93	c current bound: 261
1538.68/1541.59	c current bound: 261
1539.37/1542.26	c current bound: 261
1540.05/1542.92	c current bound: 261
1540.68/1543.59	c current bound: 261
1540.80/1544.27	c current bound: 261
1542.06/1544.93	c current bound: 261
1542.69/1545.59	c current bound: 261
1543.39/1546.26	c current bound: 261
1544.06/1546.93	c current bound: 261
1544.13/1547.59	c current bound: 261
1544.80/1548.29	c current bound: 261
1546.09/1548.96	c current bound: 261
1546.76/1549.62	c current bound: 261
1547.37/1550.29	c current bound: 261
1548.09/1550.95	c current bound: 261
1548.75/1551.62	c current bound: 261
1549.37/1552.28	c current bound: 261
1550.08/1552.94	c current bound: 261
1550.75/1553.61	c current bound: 261
1551.40/1554.27	c current bound: 261
1552.07/1554.93	c current bound: 261
1552.80/1555.60	c current bound: 261
1552.81/1556.26	c current bound: 261
1554.06/1556.93	c current bound: 261
1554.70/1557.60	c current bound: 261
1554.80/1558.26	c current bound: 261
1556.06/1558.92	c current bound: 261
1556.12/1559.60	c current bound: 261
1557.40/1560.26	c current bound: 261
1558.07/1560.93	c current bound: 261
1558.74/1561.61	c current bound: 261
1559.39/1562.28	c current bound: 261
1560.07/1562.94	c current bound: 261
1560.75/1563.62	c current bound: 261
1561.39/1564.28	c current bound: 261
1562.08/1564.93	c current bound: 261
1562.74/1565.60	c current bound: 261
1562.82/1566.27	c current bound: 261
1564.07/1566.94	c current bound: 261
1564.81/1567.60	c current bound: 261
1564.81/1568.27	c current bound: 261
1566.08/1568.93	c current bound: 261
1566.80/1569.61	c current bound: 261
1566.81/1570.28	c current bound: 261
1568.08/1570.94	c current bound: 261
1568.74/1571.61	c current bound: 261
1569.39/1572.28	c current bound: 261
1570.08/1572.95	c current bound: 261
1570.74/1573.61	c current bound: 261
1571.38/1574.27	c current bound: 261
1572.07/1574.94	c current bound: 261
1572.74/1575.61	c current bound: 261
1573.39/1576.27	c current bound: 261
1574.07/1576.94	c current bound: 261
1574.74/1577.61	c current bound: 261
1574.81/1578.28	c current bound: 261
1576.08/1578.95	c current bound: 261
1576.75/1579.62	c current bound: 261
1576.82/1580.28	c current bound: 261
1578.09/1580.96	c current bound: 261
1578.75/1581.63	c current bound: 261
1579.39/1582.29	c current bound: 261
1580.10/1582.96	c current bound: 261
1580.76/1583.63	c current bound: 261
1581.50/1584.30	c current bound: 261
1582.11/1584.96	c current bound: 261
1582.77/1585.63	c current bound: 261
1583.50/1586.30	c current bound: 261
1584.10/1586.96	c current bound: 261
1584.77/1587.63	c current bound: 261
1584.82/1588.30	c current bound: 261
1585.51/1588.97	c current bound: 261
1586.77/1589.63	c current bound: 261
1587.49/1590.30	c current bound: 261
1588.09/1590.96	c current bound: 261
1588.79/1591.64	c current bound: 261
1589.44/1592.31	c current bound: 261
1590.09/1592.98	c current bound: 261
1590.78/1593.65	c current bound: 261
1591.45/1594.32	c current bound: 261
1592.19/1595.04	c current bound: 261
1592.19/1595.69	c current bound: 261
1593.44/1596.35	c current bound: 261
1594.11/1597.01	c current bound: 261
1594.75/1597.68	c current bound: 261
1595.43/1598.34	c current bound: 261
1596.10/1599.01	c current bound: 261
1596.73/1599.67	c current bound: 261
1597.42/1600.34	c current bound: 261
1598.14/1601.00	c current bound: 261
1598.73/1601.66	c current bound: 261
1599.42/1602.33	c current bound: 261
1600.04/1602.99	c current bound: 261
1600.74/1603.65	c current bound: 261
1601.41/1604.32	c current bound: 261
1602.04/1604.99	c current bound: 261
1602.74/1605.66	c current bound: 261
1603.42/1606.33	c current bound: 261
1603.49/1607.00	c current bound: 261
1604.79/1607.71	c current bound: 261
1605.43/1608.38	c current bound: 261
1606.13/1609.05	c current bound: 261
1606.81/1609.72	c current bound: 261
1607.45/1610.39	c current bound: 261
1608.15/1611.06	c current bound: 261
1608.82/1611.73	c current bound: 261
1608.90/1612.39	c current bound: 261
1610.15/1613.06	c current bound: 261
1610.83/1613.73	c current bound: 261
1610.89/1614.40	c current bound: 261
1612.16/1615.06	c current bound: 261
1612.83/1615.73	c current bound: 261
1613.49/1616.40	c current bound: 261
1614.15/1617.07	c current bound: 261
1614.83/1617.74	c current bound: 261
1615.52/1618.41	c current bound: 261
1615.57/1619.08	c current bound: 261
1616.84/1619.75	c current bound: 261
1617.51/1620.43	c current bound: 261
1617.59/1621.09	c current bound: 261
1618.85/1621.75	c current bound: 261
1619.55/1622.42	c current bound: 261
1619.58/1623.09	c current bound: 261
1620.86/1623.76	c current bound: 261
1621.51/1624.43	c current bound: 261
1622.14/1625.09	c current bound: 261
1622.83/1625.77	c current bound: 261
1623.50/1626.43	c current bound: 261
1624.12/1627.09	c current bound: 261
1624.83/1627.76	c current bound: 261
1625.50/1628.43	c current bound: 261
1626.13/1629.10	c current bound: 261
1626.24/1629.77	c current bound: 261
1627.51/1630.44	c current bound: 261
1628.17/1631.11	c current bound: 261
1628.83/1631.78	c current bound: 261
1629.52/1632.45	c current bound: 261
1630.18/1633.12	c current bound: 261
1630.81/1633.78	c current bound: 261
1631.51/1634.45	c current bound: 261
1632.18/1635.12	c current bound: 261
1632.81/1635.79	c current bound: 261
1633.53/1636.46	c current bound: 261
1634.19/1637.12	c current bound: 261
1634.24/1637.79	c current bound: 261
1635.52/1638.46	c current bound: 261
1636.17/1639.12	c current bound: 261
1636.25/1639.79	c current bound: 261
1637.51/1640.45	c current bound: 261
1638.23/1641.11	c current bound: 261
1638.24/1641.77	c current bound: 261
1639.50/1642.44	c current bound: 261
1640.23/1643.10	c current bound: 261
1640.83/1643.76	c current bound: 261
1641.52/1644.42	c current bound: 261
1642.22/1645.13	c current bound: 261
1642.78/1645.79	c current bound: 261
1643.49/1646.45	c current bound: 261
1644.15/1647.12	c current bound: 261
1644.80/1647.79	c current bound: 261
1645.48/1648.45	c current bound: 261
1646.15/1649.12	c current bound: 261
1646.22/1649.78	c current bound: 261
1647.50/1650.45	c current bound: 261
1648.16/1651.12	c current bound: 261
1648.23/1651.79	c current bound: 261
1649.50/1652.46	c current bound: 261
1650.17/1653.13	c current bound: 261
1650.90/1653.80	c current bound: 261
1651.49/1654.45	c current bound: 261
1652.16/1655.18	c current bound: 261
1652.82/1655.85	c current bound: 261
1653.52/1656.51	c current bound: 261
1653.56/1657.17	c current bound: 261
1654.81/1657.84	c current bound: 261
1655.48/1658.51	c current bound: 261
1656.12/1659.18	c current bound: 261
1656.83/1659.85	c current bound: 261
1657.50/1660.52	c current bound: 261
1658.24/1661.20	c current bound: 261
1658.83/1661.86	c current bound: 261
1659.50/1662.53	c current bound: 261
1660.13/1663.19	c current bound: 261
1660.82/1663.86	c current bound: 261
1661.49/1664.53	c current bound: 261
1662.23/1665.23	c current bound: 261
1662.84/1665.90	c current bound: 261
1663.49/1666.58	c current bound: 261
1664.20/1667.25	c current bound: 261
1664.85/1667.92	c current bound: 261
1664.94/1668.58	c current bound: 261
1666.20/1669.26	c current bound: 261
1666.88/1669.93	c current bound: 261
1667.61/1670.60	c current bound: 261
1668.20/1671.27	c current bound: 261
1668.89/1671.94	c current bound: 261
1669.56/1672.62	c current bound: 261
1670.20/1673.29	c current bound: 261
1670.90/1673.96	c current bound: 261
1671.58/1674.63	c current bound: 261
1672.21/1675.29	c current bound: 261
1672.90/1675.95	c current bound: 261
1673.56/1676.62	c current bound: 261
1673.63/1677.29	c current bound: 261
1674.89/1677.95	c current bound: 261
1675.57/1678.62	c current bound: 261
1675.64/1679.29	c current bound: 261
1676.90/1679.96	c current bound: 261
1677.57/1680.62	c current bound: 261
1678.31/1681.30	c current bound: 261
1678.90/1681.96	c current bound: 261
1679.56/1682.62	c current bound: 261
1680.19/1683.29	c current bound: 261
1680.90/1683.96	c current bound: 261
1681.56/1684.62	c current bound: 261
1682.23/1685.32	c current bound: 261
1682.30/1685.99	c current bound: 261
1683.57/1686.66	c current bound: 261
1684.26/1687.32	c current bound: 261
1684.30/1687.99	c current bound: 261
1685.56/1688.65	c current bound: 261
1686.22/1689.31	c current bound: 261
1686.85/1689.97	c current bound: 261
1687.57/1690.64	c current bound: 261
1688.28/1691.30	c current bound: 261
1688.87/1691.97	c current bound: 261
1689.55/1692.63	c current bound: 261
1690.16/1693.29	c current bound: 261
1690.87/1693.95	c current bound: 261
1691.54/1694.62	c current bound: 261
1692.17/1695.29	c current bound: 261
1692.88/1695.96	c current bound: 261
1693.53/1696.62	c current bound: 261
1694.17/1697.29	c current bound: 261
1694.87/1697.96	c current bound: 261
1695.54/1698.63	c current bound: 261
1695.61/1699.29	c current bound: 261
1696.87/1699.95	c current bound: 261
1697.54/1700.63	c current bound: 261
1698.29/1701.30	c current bound: 261
1698.87/1701.96	c current bound: 261
1699.53/1702.62	c current bound: 261
1700.17/1703.30	c current bound: 261
1700.87/1703.96	c current bound: 261
1701.54/1704.63	c current bound: 261
1702.23/1705.30	c current bound: 261
1702.30/1705.98	c current bound: 261
1703.56/1706.65	c current bound: 261
1704.23/1707.32	c current bound: 261
1704.30/1707.98	c current bound: 261
1705.57/1708.65	c current bound: 261
1706.27/1709.33	c current bound: 261
1706.98/1710.00	c current bound: 261
1707.57/1710.67	c current bound: 261
1708.26/1711.33	c current bound: 261
1708.92/1712.01	c current bound: 261
1709.58/1712.68	c current bound: 261
1710.26/1713.35	c current bound: 261
1710.93/1714.01	c current bound: 261
1711.00/1714.68	c current bound: 261
1712.27/1715.35	c current bound: 261
1712.95/1716.02	c current bound: 261
1713.02/1716.69	c current bound: 261
1714.29/1717.36	c current bound: 261
1714.96/1718.02	c current bound: 261
1715.58/1718.68	c current bound: 261
1716.27/1719.35	c current bound: 261
1716.94/1720.02	c current bound: 261
1717.57/1720.68	c current bound: 261
1718.28/1721.35	c current bound: 261
1718.95/1722.02	c current bound: 261
1719.59/1722.69	c current bound: 261
1720.28/1723.35	c current bound: 261
1720.94/1724.02	c current bound: 261
1721.03/1724.69	c current bound: 261
1722.28/1725.36	c current bound: 261
1722.96/1726.03	c current bound: 261
1723.70/1726.70	c current bound: 261
1724.30/1727.36	c current bound: 261
1724.99/1728.02	c current bound: 261
1725.03/1728.68	c current bound: 261
1726.28/1729.35	c current bound: 261
1726.94/1730.01	c current bound: 261
1727.66/1730.74	c current bound: 261
1728.26/1731.41	c current bound: 261
1728.33/1732.07	c current bound: 261
1729.58/1732.74	c current bound: 261
1730.25/1733.40	c current bound: 261
1730.90/1734.07	c current bound: 261
1731.59/1734.73	c current bound: 261
1731.66/1735.39	c current bound: 261
1732.92/1736.06	c current bound: 261
1733.59/1736.73	c current bound: 261
1734.33/1737.40	c current bound: 261
1734.92/1738.07	c current bound: 261
1735.58/1738.73	c current bound: 261
1736.33/1739.40	c current bound: 261
1736.92/1740.06	c current bound: 261
1737.59/1740.72	c current bound: 261
1738.22/1741.39	c current bound: 261
1738.93/1742.06	c current bound: 261
1739.58/1742.72	c current bound: 261
1739.65/1743.39	c current bound: 261
1740.91/1744.06	c current bound: 261
1741.58/1744.72	c current bound: 261
1741.65/1745.39	c current bound: 261
1742.91/1746.06	c current bound: 261
1743.62/1746.74	c current bound: 261
1744.26/1747.40	c current bound: 261
1744.92/1748.07	c current bound: 261
1745.60/1748.75	c current bound: 261
1746.27/1749.41	c current bound: 261
1746.91/1750.08	c current bound: 261
1747.60/1750.79	c current bound: 261
1748.27/1751.46	c current bound: 261
1748.94/1752.13	c current bound: 261
1749.68/1752.80	c current bound: 261
1750.28/1753.47	c current bound: 261
1750.96/1754.13	c current bound: 261
1751.63/1754.81	c current bound: 261
1751.70/1755.48	c current bound: 261
1752.98/1756.15	c current bound: 261
1753.64/1756.81	c current bound: 261
1753.71/1757.48	c current bound: 261
1754.97/1758.15	c current bound: 261
1755.69/1758.82	c current bound: 261
1755.71/1759.47	c current bound: 261
1756.96/1760.14	c current bound: 261
1757.63/1760.87	c current bound: 261
1758.31/1761.54	c current bound: 261
1759.04/1762.20	c current bound: 261
1759.05/1762.87	c current bound: 261
1760.32/1763.54	c current bound: 261
1760.98/1764.21	c current bound: 261
1761.62/1764.87	c current bound: 261
1762.31/1765.54	c current bound: 261
1762.99/1766.21	c current bound: 261
1763.64/1766.87	c current bound: 261
1764.32/1767.53	c current bound: 261
1765.05/1768.20	c current bound: 261
1765.64/1768.87	c current bound: 261
1766.33/1769.54	c current bound: 261
1766.99/1770.20	c current bound: 261
1767.65/1770.89	c current bound: 261
1767.72/1771.58	c current bound: 261
1769.00/1772.24	c current bound: 261
1769.66/1772.91	c current bound: 261
1770.29/1773.57	c current bound: 261
1771.00/1774.22	c current bound: 261
1771.04/1774.88	c current bound: 261
1772.29/1775.54	c current bound: 261
1772.96/1776.21	c current bound: 261
1773.59/1776.88	c current bound: 261
1774.32/1777.54	c current bound: 261
1774.95/1778.20	c current bound: 261
1775.61/1778.87	c current bound: 261
1776.28/1779.53	c current bound: 261
1776.90/1780.19	c current bound: 261
1777.68/1780.92	c current bound: 261
1777.69/1781.58	c current bound: 261
1778.93/1782.25	c current bound: 261
1779.60/1782.91	c current bound: 261
1780.23/1783.57	c current bound: 261
1780.92/1784.24	c current bound: 261
1781.59/1784.90	c current bound: 261
1782.25/1785.58	c current bound: 261
1782.94/1786.25	c current bound: 261
1783.60/1786.91	c current bound: 261
1784.26/1787.57	c current bound: 261
1784.93/1788.24	c current bound: 261
1785.59/1788.91	c current bound: 261
1785.66/1789.57	c current bound: 261
1786.92/1790.23	c current bound: 261
1787.59/1790.92	c current bound: 261
1787.67/1791.59	c current bound: 261
1788.92/1792.25	c current bound: 261
1789.64/1792.92	c current bound: 261
1789.67/1793.58	c current bound: 261
1790.94/1794.25	c current bound: 261
1791.60/1794.92	c current bound: 261
1792.23/1795.58	c current bound: 261
1792.95/1796.26	c current bound: 261
1793.60/1796.93	c current bound: 261
1794.25/1797.60	c current bound: 261
1794.36/1798.26	c current bound: 261
1795.62/1798.93	c current bound: 261
1796.25/1799.60	c current bound: 261
1796.95/1800.26	c current bound: 261
1797.62/1800.98	c current bound: 261
1798.27/1801.64	c current bound: 261
1798.50/1801.81	./satsolver.sh: line 5: 31176 Terminated              ./glucose $1 > $2 2> /dev/null
1798.50/1801.81	c error: unexpected solver exit code
1798.50/1801.81	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22167
/proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (runsolver) D 22165 22167 21579 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 284831306 12095488 51 33554432000 4194304 5436572 140733567165904 140733567162200 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/22167/statm: 2953 51 31 304 0 2645 0

[startup+0.0208321 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22167
/proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100152 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22167
/proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22167
/proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700122 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22167
/proc/meminfo: memFree=27205652/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22171
/proc/meminfo: memFree=27162416/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=6308 CPUtime=1.03 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 2468 9334 0 0 11 0 78 14 20 0 1 0 284831306 6459392 852 33554432000 4194304 5990268 140736776619968 140736776614208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22169/statm: 1577 852 157 439 0 1134 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 15456

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22188
/proc/meminfo: memFree=27200588/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=3.01 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 3855 33558 0 0 13 4 262 22 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 17036

[startup+6.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22223
/proc/meminfo: memFree=27196908/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=5.66 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 5683 66401 0 0 15 4 515 32 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 17036

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22300
/proc/meminfo: memFree=27195968/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=12.31 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 10253 151960 0 0 19 5 1152 55 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 17036

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 22454
/proc/meminfo: memFree=27195452/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=24.94 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 18936 308923 0 0 27 7 2359 101 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=22453] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22453/stat : 22453 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284833810 9367552 267 33554432000 4194304 5064252 140736845475984 140736845474896 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22453/statm: 2287 267 226 213 0 72 0
[pid=22454] ppid=22453 vsize=12336 CPUtime=0.44 cores=0,2,4,6
/proc/22454/stat : 22454 (glucose) R 22453 22167 21579 0 -1 4202496 2827 0 0 0 44 0 0 0 20 0 1 0 284833810 12632064 2522 33554432000 4194304 5208918 140736415991568 140736845474920 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22454/statm: 3084 2522 96 248 0 2833 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 38520

[startup+51.1002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 22748
/proc/meminfo: memFree=27195460/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=50.82 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 36311 630463 0 0 44 11 4838 189 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776610864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 17036

[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 23343
/proc/meminfo: memFree=27195088/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=101.41 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 71491 1270007 0 0 79 18 9675 369 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=23342] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23342/stat : 23342 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284841486 9367552 267 33554432000 4194304 5064252 140734946133568 140734946132480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23342/statm: 2287 267 226 213 0 72 0
[pid=23343] ppid=23342 vsize=12332 CPUtime=0.49 cores=0,2,4,6
/proc/23343/stat : 23343 (glucose) R 23342 22167 21579 0 -1 4202496 2928 0 0 0 49 0 0 0 20 0 1 0 284841486 12627968 2573 33554432000 4194304 5208918 140734554016688 140734946132504 4229493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23343/statm: 3083 2573 96 248 0 2832 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 38516

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/183 24032
/proc/meminfo: memFree=27193304/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=161.25 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 112621 2018410 0 0 120 26 15394 585 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 17036

[startup+222.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 24733
/proc/meminfo: memFree=27185752/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=221.73 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 154208 2776784 0 0 161 35 21179 798 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 221.73
Current children cumulated vsize (KiB) 17036

[startup+282.3 s]
/proc/loadavg: 1.97 2.01 2.00 3/183 25429
/proc/meminfo: memFree=27196136/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=281.5 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 195338 3532698 0 0 200 44 26897 1009 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 281.5
Current children cumulated vsize (KiB) 17036

[startup+342.3 s]
/proc/loadavg: 1.90 1.99 1.99 3/183 26126
/proc/meminfo: memFree=27194568/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6

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

[startup+1422.31 s]
/proc/loadavg: 1.96 2.00 1.99 3/184 6281
/proc/meminfo: memFree=27190236/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1419.39 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 977722 17829877 0 0 975 205 135762 4997 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=6280] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6280/stat : 6280 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284973523 9367552 267 33554432000 4194304 5064252 140737076868064 140737076866976 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6280/statm: 2287 267 226 213 0 72 0
[pid=6281] ppid=6280 vsize=14772 CPUtime=0.11 cores=0,2,4,6
/proc/6281/stat : 6281 (glucose) R 6280 22167 21579 0 -1 4202496 2535 0 0 0 11 0 0 0 20 0 1 0 284973523 15126528 2320 33554432000 4194304 5208918 140733311604320 140737076867000 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6281/statm: 3693 2320 95 248 0 3442 0
Current children cumulated CPU time (s) 1419.5
Current children cumulated vsize (KiB) 40956

############
# WARNING:
# current cumulated CPU time (1458.76 s) is less than in the last sample (1459.24 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.47998 s) to the 'lost time'.

[startup+1462 s]
/proc/loadavg: 1.86 1.97 1.98 3/184 7803
/proc/meminfo: memFree=27272816/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1458.76 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1004685 18328091 0 0 1001 212 139526 5137 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=7784] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7784/stat : 7784 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284977457 9367552 267 33554432000 4194304 5064252 140736160541008 140736160539920 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7784/statm: 2287 267 226 213 0 72 0
[pid=7785] ppid=7784 vsize=12336 CPUtime=0.48 cores=0,2,4,6
/proc/7785/stat : 7785 (glucose) R 7784 22167 21579 0 -1 4202496 2832 0 0 0 48 0 0 0 20 0 1 0 284977457 12632064 2558 33554432000 4194304 5208918 140736734608720 140736734606568 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7785/statm: 3084 2558 96 248 0 2833 0
Current children cumulated CPU time (s) 1459.24
Current children cumulated vsize (KiB) 38520

[startup+1462.1 s]
/proc/loadavg: 1.86 1.97 1.98 3/184 7803
/proc/meminfo: memFree=27272816/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1458.76 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1004685 18328091 0 0 1001 212 139526 5137 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1458.76
Current children cumulated vsize (KiB) 17036
#
############


[startup+1482.3 s]
/proc/loadavg: 1.89 1.97 1.98 3/183 9171
/proc/meminfo: memFree=27273992/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1479.42 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1018852 18587249 0 0 1015 214 141501 5212 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1479.42
Current children cumulated vsize (KiB) 17036

[startup+1542.3 s]
/proc/loadavg: 1.86 1.94 1.97 3/182 13320
/proc/meminfo: memFree=27276060/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1539.46 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1059982 19336535 0 0 1055 223 147241 5427 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1539.46
Current children cumulated vsize (KiB) 17036

[startup+1602.3 s]
/proc/loadavg: 1.91 1.94 1.97 3/183 17405
/proc/meminfo: memFree=27270628/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1599.42 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1100664 20082175 0 0 1095 233 152981 5633 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776610864 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1599.42
Current children cumulated vsize (KiB) 17036

[startup+1662.3 s]
/proc/loadavg: 1.80 1.89 1.94 3/183 21564
/proc/meminfo: memFree=27274848/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1658.91 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1141785 20829896 0 0 1137 242 158667 5845 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=21555] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21555/stat : 21555 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284997492 9367552 267 33554432000 4194304 5064252 140733708241008 140733708239920 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21555/statm: 2287 267 226 213 0 72 0
[pid=21556] ppid=21555 vsize=12200 CPUtime=0.42 cores=0,2,4,6
/proc/21556/stat : 21556 (glucose) R 21555 22167 21579 0 -1 4202496 3008 0 0 0 42 0 0 0 20 0 1 0 284997492 12492800 2494 33554432000 4194304 5208918 140734222803008 140733708239944 4211635 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21556/statm: 3050 2494 96 248 0 2799 0
Current children cumulated CPU time (s) 1659.33
Current children cumulated vsize (KiB) 38384

[startup+1722.3 s]
/proc/loadavg: 1.88 1.89 1.94 3/182 25667
/proc/meminfo: memFree=27266716/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1719.02 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1182915 21585875 0 0 1177 252 164417 6056 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1719.02
Current children cumulated vsize (KiB) 17036

[startup+1782.3 s]
/proc/loadavg: 1.81 1.85 1.92 3/183 29812
/proc/meminfo: memFree=27269480/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1779 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1224045 22330328 0 0 1220 260 170153 6267 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
Current children cumulated CPU time (s) 1779
Current children cumulated vsize (KiB) 17036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.81 s]
/proc/loadavg: 1.70 1.83 1.91 3/183 31184
/proc/meminfo: memFree=27265036/32873660 swapFree=7120/7120
[pid=22167] ppid=22165 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22167/stat : 22167 (npSolver-wbo-It) S 22165 22167 21579 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284831306 9367552 274 33554432000 4194304 5064252 140733923242672 140733923241584 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22167/statm: 2287 274 233 213 0 72 0
[pid=22169] ppid=22167 vsize=7888 CPUtime=1798.35 cores=0,2,4,6
/proc/22169/stat : 22169 (npSolver-wbo) S 22167 22167 21579 0 -1 4202496 1237298 22571000 0 0 1233 263 172002 6337 20 0 1 0 284831306 8077312 1221 33554432000 4194304 5990268 140736776619968 140736776611376 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22169/statm: 1972 1221 180 439 0 1529 0
[pid=31174] ppid=22169 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31174/stat : 31174 (satsolver.sh) S 22169 22167 21579 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285011471 9367552 267 33554432000 4194304 5064252 140737008485424 140737008484336 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31174/statm: 2287 267 226 213 0 72 0
[pid=31176] ppid=31174 vsize=14772 CPUtime=0.15 cores=0,2,4,6
/proc/31176/stat : 31176 (glucose) R 31174 22167 21579 0 -1 4202496 2339 0 0 0 15 0 0 0 20 0 1 0 285011471 15126528 2656 33554432000 4194304 5208918 140737046885936 140737008484360 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31176/statm: 3693 2656 95 248 0 3442 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 40956

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

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

Real time (s): 1801.82
CPU time (s): 1800.04
CPU user time (s): 1734.01
CPU system time (s): 66.028
CPU usage (%): 99.9016
Max. virtual memory (cumulated for all children) (KiB): 65804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.51
system time used= 66.018
maximum resident set size= 39264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23811626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6470008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 220772
involuntary context switches= 29732

runsolver used 3.40448 second user time and 8.71068 second system time

The end

Launcher Data 

Begin job on node117 at 2012-05-28 08:37:35
IDJOB=3715665
IDBENCH=78734
IDSOLVER=2297
FILE ID=node117/3715665-1338187055
RUNJOBID= node117-1338159294-21595
PBS_JOBID= 14624552
Free space on /tmp= 70028 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-41-40--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-3715665-1338187055/watcher-3715665-1338187055 -o /tmp/evaluation-result-3715665-1338187055/solver-3715665-1338187055 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715665-1338187055.wbo 951727350 HOME HOME

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

MD5SUM BENCH= b19b36a9eeef0aa91319f6277ed84276
RANDOM SEED=951727350

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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		: 2667.148
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:       32873660 kB
MemFree:        27205652 kB
Buffers:          542552 kB
Cached:          4109788 kB
SwapCached:            0 kB
Active:          2554488 kB
Inactive:        2199524 kB
Active(anon):      88388 kB
Inactive(anon):    11352 kB
Active(file):    2466100 kB
Inactive(file):  2188172 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             12572 kB
Writeback:             0 kB
AnonPages:        102240 kB
Mapped:            15412 kB
Shmem:               200 kB
Slab:             773732 kB
SReclaimable:     217444 kB
SUnreclaim:       556288 kB
KernelStack:        1520 kB
PageTables:         4188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     228408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 70032 MiB
End job on node117 at 2012-05-28 09:07:37