Trace number 3753117

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh18_wcsp.wbo
MD5SUM11b5917216c9682d33b4eac8f024a9c6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark130
Best CPU time to get the best result obtained on this benchmark0.077987
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c run usual solver
0.00/0.05	o 9568
0.00/0.05	c starting approximation
0.00/0.05	c factor = 2
0.00/0.05	c factor still to low - shrinking to 48.7968
0.00/0.05	c approx number of clauses: 1e+06
0.00/0.05	c current bound: 4784
0.00/0.79	c current bound: 4784
1.24/1.66	c current bound: 4784
2.23/2.42	c current bound: 4784
2.72/3.16	c current bound: 4784
3.48/3.89	c current bound: 4784
4.43/4.64	c current bound: 4784
4.96/5.39	c current bound: 4784
5.71/6.23	c current bound: 4784
6.45/6.97	c current bound: 4784
7.43/7.71	c current bound: 4784
7.92/8.44	c current bound: 4784
8.66/9.18	c current bound: 4784
9.64/9.92	c current bound: 4784
10.14/10.65	c current bound: 4784
10.87/11.51	c current bound: 4784
11.81/12.25	c current bound: 4784
12.34/12.99	c current bound: 4784
13.07/13.72	c current bound: 4784
14.01/14.46	c current bound: 4784
14.82/15.20	c current bound: 4784
15.30/15.95	c current bound: 4784
16.30/16.79	c current bound: 4784
16.80/17.53	c current bound: 4784
17.54/18.26	c current bound: 4784
18.55/19.00	c current bound: 4784
19.02/19.73	c current bound: 4784
19.76/20.47	c current bound: 4784
20.49/21.21	c current bound: 4784
21.24/21.95	c current bound: 4784
21.98/22.69	c current bound: 4784
22.72/23.42	c current bound: 4784
23.46/24.16	c current bound: 4784
24.19/24.89	c current bound: 4784
24.94/25.63	c current bound: 4784
25.67/26.37	c current bound: 4784
26.40/27.15	c current bound: 4784
27.15/27.88	c current bound: 4784
28.13/28.62	c current bound: 4784
28.63/29.36	c current bound: 4784
29.63/30.10	c current bound: 4784
30.33/30.83	c current bound: 4784
31.11/31.63	c current bound: 4784
31.57/32.36	c current bound: 4784
32.58/33.10	c current bound: 4784
33.06/33.85	c current bound: 4784
33.79/34.58	c current bound: 4784
34.78/35.33	c current bound: 4784
35.28/36.07	c current bound: 4784
36.28/36.80	c current bound: 4784
36.97/37.54	c current bound: 4784
37.49/38.28	c current bound: 4784
38.23/39.01	c current bound: 4784
39.18/39.76	c current bound: 4784
39.71/40.49	c current bound: 4784
40.44/41.23	c current bound: 4784
41.37/41.99	c current bound: 4784
41.94/42.72	c current bound: 4784
42.68/43.46	c current bound: 4784
43.67/44.22	c current bound: 4784
44.17/44.96	c current bound: 4784
44.91/45.69	c current bound: 4784
45.86/46.45	c current bound: 4784
46.40/47.18	c current bound: 4784
47.14/47.93	c current bound: 4784
47.88/48.67	c current bound: 4784
48.62/49.40	c current bound: 4784
49.36/50.14	c current bound: 4784
50.10/50.88	c current bound: 4784
50.83/51.61	c current bound: 4784
51.56/52.35	c current bound: 4784
52.30/53.08	c current bound: 4784
53.04/53.83	c current bound: 4784
53.79/54.57	c current bound: 4784
54.52/55.30	c current bound: 4784
55.26/56.03	c current bound: 4784
56.00/56.77	c current bound: 4784
56.74/57.51	c current bound: 4784
57.47/58.25	c current bound: 4784
58.22/58.98	c current bound: 4784
58.97/59.75	c current bound: 4784
59.73/60.49	c current bound: 4784
60.46/61.22	c current bound: 4784
61.21/61.97	c current bound: 4784
62.16/62.76	c current bound: 4784
62.69/63.50	c current bound: 4784
63.42/64.24	c current bound: 4784
64.34/64.98	c current bound: 4784
64.90/65.72	c current bound: 4784
65.64/66.45	c current bound: 4784
66.64/67.28	c current bound: 4784
67.13/68.02	c current bound: 4784
67.87/68.76	c current bound: 4784
68.87/69.52	c current bound: 4784
69.37/70.25	c current bound: 4784
70.38/71.00	c current bound: 4784
71.06/71.76	c current bound: 4784
71.60/72.49	c current bound: 4784
72.35/73.23	c current bound: 4784
73.08/73.97	c current bound: 4784
73.81/74.70	c current bound: 4784
74.55/75.44	c current bound: 4784
75.28/76.19	c current bound: 4784
76.05/76.93	c current bound: 4784
76.78/77.68	c current bound: 4784
77.53/78.42	c current bound: 4784
78.27/79.16	c current bound: 4784
79.03/79.90	c current bound: 4784
79.76/80.63	c current bound: 4784
80.48/81.37	c current bound: 4784
81.22/82.11	c current bound: 4784
81.97/82.87	c current bound: 4784
82.97/83.61	c current bound: 4784
83.44/84.34	c current bound: 4784
84.19/85.08	c current bound: 4784
85.17/85.82	c current bound: 4784
85.67/86.57	c current bound: 4784
86.41/87.30	c current bound: 4784
87.34/88.07	c current bound: 4784
87.89/88.81	c current bound: 4784
88.62/89.55	c current bound: 4784
89.54/90.29	c current bound: 4784
90.10/91.03	c current bound: 4784
90.84/91.76	c current bound: 4784
91.84/92.63	c current bound: 4784
92.32/93.37	c current bound: 4784
93.07/94.11	c current bound: 4784
94.02/94.86	c current bound: 4784
94.56/95.60	c current bound: 4784
95.29/96.34	c current bound: 4784
96.03/97.09	c current bound: 4784
96.78/97.82	c current bound: 4784
97.52/98.58	c current bound: 4784
98.27/99.32	c current bound: 4784
99.02/100.06	c current bound: 4784
99.76/100.79	c current bound: 4784
100.50/101.54	c current bound: 4784
101.24/102.28	c current bound: 4784
101.98/103.01	c current bound: 4784
102.71/103.75	c current bound: 4784
103.45/104.49	c current bound: 4784
104.19/105.22	c current bound: 4784
104.93/105.96	c current bound: 4784
105.66/106.69	c current bound: 4784
106.39/107.43	c current bound: 4784
107.13/108.17	c current bound: 4784
108.10/108.91	c current bound: 4784
108.61/109.65	c current bound: 4784
109.35/110.39	c current bound: 4784
110.31/111.14	c current bound: 4784
110.82/111.87	c current bound: 4784
111.57/112.75	c current bound: 4784
112.48/113.49	c current bound: 4784
113.05/114.23	c current bound: 4784
113.78/114.96	c current bound: 4784
114.77/115.70	c current bound: 4784
115.25/116.44	c current bound: 4784
116.00/117.18	c current bound: 4784
116.98/117.92	c current bound: 4784
117.49/118.66	c current bound: 4784
118.23/119.39	c current bound: 4784
119.20/120.15	c current bound: 4784
119.72/120.88	c current bound: 4784
120.45/121.62	c current bound: 4784
121.38/122.36	c current bound: 4784
121.93/123.10	c current bound: 4784
122.68/123.84	c current bound: 4784
123.41/124.58	c current bound: 4784
124.16/125.31	c current bound: 4784
124.90/126.06	c current bound: 4784
125.64/126.79	c current bound: 4784
126.38/127.53	c current bound: 4784
127.12/128.27	c current bound: 4784
127.86/129.00	c current bound: 4784
128.60/129.74	c current bound: 4784
129.35/130.47	c current bound: 4784
130.08/131.22	c current bound: 4784
130.84/131.96	c current bound: 4784
131.56/132.71	c current bound: 4784
132.32/133.45	c current bound: 4784
133.05/134.18	c current bound: 4784
133.80/134.92	c current bound: 4784
134.54/135.66	c current bound: 4784
135.55/136.41	c current bound: 4784
136.02/137.15	c current bound: 4784
136.75/137.88	c current bound: 4784
137.76/138.76	c current bound: 4784
138.23/139.51	c current bound: 4784
138.98/140.24	c current bound: 4784
140.00/141.00	c current bound: 4784
140.48/141.73	c current bound: 4784
141.21/142.47	c current bound: 4784
142.20/143.21	c current bound: 4784
142.70/143.94	c current bound: 4784
143.43/144.69	c current bound: 4784
144.40/145.45	c current bound: 4784
144.94/146.19	c current bound: 4784
145.68/146.93	c current bound: 4784
146.43/147.67	c current bound: 4784
147.15/148.41	c current bound: 4784
147.90/149.14	c current bound: 4784
148.64/149.88	c current bound: 4784
149.37/150.61	c current bound: 4784
150.12/151.35	c current bound: 4784
150.85/152.08	c current bound: 4784
151.59/152.83	c current bound: 4784
152.33/153.59	c current bound: 4784
153.08/154.33	c current bound: 4784
153.84/155.10	c current bound: 4784
154.60/155.85	c current bound: 4784
155.36/156.60	c current bound: 4784
156.33/157.36	c current bound: 4784
156.86/158.11	c current bound: 4784
157.61/158.89	c current bound: 4784
158.59/159.65	c current bound: 4784
159.41/160.40	c current bound: 4784
159.87/161.15	c current bound: 4784
160.90/161.90	c current bound: 4784
161.38/162.66	c current bound: 4784
162.12/163.41	c current bound: 4784
163.10/164.16	c current bound: 4784
163.65/164.91	c current bound: 4784
164.40/165.67	c current bound: 4784
165.14/166.42	c current bound: 4784
165.90/167.17	c current bound: 4784
166.65/167.92	c current bound: 4784
167.39/168.67	c current bound: 4784
168.42/169.42	c current bound: 4784
168.90/170.18	c current bound: 4784
169.66/170.92	c current bound: 4784
170.60/171.67	c current bound: 4784
171.15/172.42	c current bound: 4784
171.90/173.17	c current bound: 4784
172.92/173.93	c current bound: 4784
173.42/174.68	c current bound: 4784
174.16/175.43	c current bound: 4784
175.10/176.18	c current bound: 4784
175.66/176.93	c current bound: 4784
176.41/177.68	c current bound: 4784
177.43/178.55	c current bound: 4784
177.91/179.30	c current bound: 4784
178.66/180.05	c current bound: 4784
179.41/180.79	c current bound: 4784
180.38/181.54	c current bound: 4784
180.91/182.29	c current bound: 4784
181.67/183.02	c current bound: 4784
182.60/183.74	c current bound: 4784
183.11/184.49	c current bound: 4784
183.87/185.24	c current bound: 4784
184.81/186.00	c current bound: 4784
185.38/186.75	c current bound: 4784
186.42/187.50	c current bound: 4784
187.10/188.25	c current bound: 4784
187.93/189.00	c current bound: 4784
188.38/189.74	c current bound: 4784
189.31/190.49	c current bound: 4784
189.87/191.24	c current bound: 4784
190.62/191.99	c current bound: 4784
191.60/192.72	c current bound: 4784
192.11/193.47	c current bound: 4784
192.86/194.24	c current bound: 4784
193.61/194.98	c current bound: 4784
194.35/195.72	c current bound: 4784
195.09/196.47	c current bound: 4784
195.84/197.20	c current bound: 4784
196.57/197.95	c current bound: 4784
197.31/198.83	c current bound: 4784
198.07/199.59	c current bound: 4784
199.05/200.34	c current bound: 4784
199.57/201.09	c current bound: 4784
200.32/201.83	c current bound: 4784
201.27/202.58	c current bound: 4784
201.81/203.33	c current bound: 4784
202.57/204.08	c current bound: 4784
203.55/204.83	c current bound: 4784
204.06/205.58	c current bound: 4784
204.81/206.33	c current bound: 4784
205.75/207.08	c current bound: 4784
206.31/207.83	c current bound: 4784
207.06/208.58	c current bound: 4784
207.81/209.33	c current bound: 4784
208.57/210.08	c current bound: 4784
209.31/210.84	c current bound: 4784
210.08/211.58	c current bound: 4784
211.07/212.34	c current bound: 4784
211.58/213.06	c current bound: 4784
212.30/213.81	c current bound: 4784
213.30/214.63	c current bound: 4784
213.80/215.38	c current bound: 4784
214.56/216.14	c current bound: 4784
215.51/216.89	c current bound: 4784
216.06/217.63	c current bound: 4784
216.81/218.36	c current bound: 4784
217.81/219.15	c current bound: 4784
218.58/219.90	c current bound: 4784
219.04/220.65	c current bound: 4784
220.08/221.40	c current bound: 4784
220.55/222.15	c current bound: 4784
221.60/222.90	c current bound: 4784
222.04/223.64	c current bound: 4784
222.80/224.39	c current bound: 4784
223.55/225.14	c current bound: 4784
224.30/225.90	c current bound: 4784
225.29/226.66	c current bound: 4784
225.82/227.41	c current bound: 4784
226.57/228.17	c current bound: 4784
227.60/228.91	c current bound: 4784
228.06/229.67	c current bound: 4784
228.82/230.42	c current bound: 4784
229.79/231.18	c current bound: 4784
230.35/231.91	c current bound: 4784
231.06/232.67	c current bound: 4784
232.08/233.42	c current bound: 4784
232.57/234.17	c current bound: 4784
233.33/234.94	c current bound: 4784
234.08/235.67	c current bound: 4784
234.80/236.42	c current bound: 4784
235.55/237.16	c current bound: 4784
236.30/237.91	c current bound: 4784
237.06/238.67	c current bound: 4784
237.82/239.43	c current bound: 4784
238.57/240.18	c current bound: 4784
239.57/240.93	c current bound: 4784
240.07/241.68	c current bound: 4784
240.82/242.43	c current bound: 4784
241.76/243.17	c current bound: 4784
242.29/243.92	c current bound: 4784
243.04/244.67	c current bound: 4784
244.05/245.42	c current bound: 4784
244.54/246.17	c current bound: 4784
245.29/246.91	c current bound: 4784
246.24/247.66	c current bound: 4784
246.78/248.41	c current bound: 4784
247.52/249.16	c current bound: 4784
248.53/249.92	c current bound: 4784
249.03/250.67	c current bound: 4784
249.78/251.41	c current bound: 4784
250.74/252.18	c current bound: 4784
251.30/252.93	c current bound: 4784
252.05/253.68	c current bound: 4784
252.80/254.58	c current bound: 4784
253.82/255.32	c current bound: 4784
254.32/256.09	c current bound: 4784
255.09/256.84	c current bound: 4784
256.03/257.59	c current bound: 4784
256.60/258.35	c current bound: 4784
257.64/259.10	c current bound: 4784
258.33/259.84	c current bound: 4784
258.85/260.59	c current bound: 4784
259.59/261.34	c current bound: 4784
260.34/262.09	c current bound: 4784
261.10/262.84	c current bound: 4784
262.14/263.60	c current bound: 4784
262.60/264.34	c current bound: 4784
263.35/265.10	c current bound: 4784
264.10/265.85	c current bound: 4784
264.84/266.60	c current bound: 4784
265.82/267.35	c current bound: 4784
266.64/268.10	c current bound: 4784
267.10/268.83	c current bound: 4784
268.04/269.57	c current bound: 4784
268.58/270.35	c current bound: 4784
269.61/271.10	c current bound: 4784
270.30/271.85	c current bound: 4784
270.82/272.59	c current bound: 4784
271.58/273.35	c current bound: 4784
272.62/274.10	c current bound: 4784
273.09/274.86	c current bound: 4784
273.83/275.61	c current bound: 4784
274.80/276.37	c current bound: 4784
275.34/277.12	c current bound: 4784
276.09/277.87	c current bound: 4784
276.83/278.62	c current bound: 4784
277.59/279.37	c current bound: 4784
278.34/280.12	c current bound: 4784
279.09/280.87	c current bound: 4784
280.11/281.62	c current bound: 4784
280.60/282.37	c current bound: 4784
281.35/283.12	c current bound: 4784
282.32/283.87	c current bound: 4784
282.86/284.62	c current bound: 4784
283.61/285.34	c current bound: 4784
284.52/286.09	c current bound: 4784
285.09/286.84	c current bound: 4784
285.84/287.60	c current bound: 4784
286.82/288.35	c current bound: 4784
287.34/289.10	c current bound: 4784
288.38/290.00	c current bound: 4784
288.85/290.75	c current bound: 4784
289.61/291.50	c current bound: 4784
290.36/292.26	c current bound: 4784
291.11/293.00	c current bound: 4784
292.10/293.75	c current bound: 4784
292.61/294.51	c current bound: 4784
293.36/295.26	c current bound: 4784
294.40/296.01	c current bound: 4784
294.87/296.76	c current bound: 4784
295.62/297.51	c current bound: 4784
296.59/298.26	c current bound: 4784
297.12/299.01	c current bound: 4784
297.88/299.76	c current bound: 4784
298.87/300.53	c current bound: 4784
299.38/301.28	c current bound: 4784
300.12/302.02	c current bound: 4784
301.08/302.77	c current bound: 4784
301.63/303.53	c current bound: 4784
302.38/304.28	c current bound: 4784
303.12/305.14	c current bound: 4784
304.06/305.89	c current bound: 4784
304.63/306.64	c current bound: 4784
305.38/307.39	c current bound: 4784
306.38/308.14	c current bound: 4784
306.89/308.86	c current bound: 4784
307.60/309.61	c current bound: 4784
308.57/310.36	c current bound: 4784
309.11/311.11	c current bound: 4784
309.87/311.86	c current bound: 4784
310.88/312.61	c current bound: 4784
311.35/313.37	c current bound: 4784
312.11/314.11	c current bound: 4784
313.08/314.87	c current bound: 4784
313.62/315.62	c current bound: 4784
314.37/316.35	c current bound: 4784
315.39/317.10	c current bound: 4784
315.85/317.85	c current bound: 4784
316.60/318.60	c current bound: 4784
317.36/319.35	c current bound: 4784
318.39/320.12	c current bound: 4784
318.88/320.88	c current bound: 4784
319.60/321.63	c current bound: 4784
320.55/322.38	c current bound: 4784
321.11/323.13	c current bound: 4784
321.86/323.88	c current bound: 4784
322.87/324.63	c current bound: 4784
323.37/325.38	c current bound: 4784
324.11/326.12	c current bound: 4784
325.06/326.87	c current bound: 4784
325.62/327.63	c current bound: 4784
326.38/328.38	c current bound: 4784
327.36/329.13	c current bound: 4784
327.89/329.88	c current bound: 4784
328.65/330.64	c current bound: 4784
329.41/331.39	c current bound: 4784
330.14/332.13	c current bound: 4784
330.87/332.86	c current bound: 4784
331.62/333.60	c current bound: 4784
332.35/334.34	c current bound: 4784
333.09/335.08	c current bound: 4784
333.83/335.81	c current bound: 4784
334.56/336.55	c current bound: 4784
335.30/337.29	c current bound: 4784
336.05/338.02	c current bound: 4784
336.79/338.76	c current bound: 4784
337.53/339.49	c current bound: 4784
338.25/340.23	c current bound: 4784
338.98/340.96	c current bound: 4784
339.99/341.70	c current bound: 4784
340.46/342.44	c current bound: 4784
341.20/343.18	c current bound: 4784
341.94/343.91	c current bound: 4784
342.67/344.65	c current bound: 4784
343.42/345.39	c current bound: 4784
344.15/346.15	c current bound: 4784
344.89/346.89	c current bound: 4784
345.85/347.63	c current bound: 4784
346.36/348.36	c current bound: 4784
347.37/349.10	c current bound: 4784
348.05/349.84	c current bound: 4784
348.57/350.68	c current bound: 4784
349.31/351.41	c current bound: 4784
350.26/352.16	c current bound: 4784
351.06/352.90	c current bound: 4784
351.54/353.63	c current bound: 4784
352.47/354.37	c current bound: 4784
353.01/355.11	c current bound: 4784
353.76/355.84	c current bound: 4784
354.78/356.60	c current bound: 4784
355.24/357.33	c current bound: 4784
355.98/358.07	c current bound: 4784
356.96/358.80	c current bound: 4784
357.45/359.54	c current bound: 4784
358.20/360.28	c current bound: 4784
359.16/361.01	c current bound: 4784
359.66/361.75	c current bound: 4784
360.40/362.49	c current bound: 4784
361.36/363.22	c current bound: 4784
361.87/363.96	c current bound: 4784
362.87/364.70	c current bound: 4784
363.55/365.43	c current bound: 4784
364.09/366.17	c current bound: 4784
364.83/366.91	c current bound: 4784
365.78/367.66	c current bound: 4784
366.59/368.40	c current bound: 4784
367.05/369.13	c current bound: 4784
367.81/369.89	c current bound: 4784
368.58/370.64	c current bound: 4784
369.31/371.40	c current bound: 4784
370.04/372.13	c current bound: 4784
370.77/372.88	c current bound: 4784
371.53/373.63	c current bound: 4784
372.27/374.38	c current bound: 4784
373.27/375.14	c current bound: 4784
374.08/375.94	c current bound: 4784
374.54/376.69	c current bound: 4784
375.50/377.45	c current bound: 4784
376.31/378.20	c current bound: 4784
376.78/378.94	c current bound: 4784
377.81/379.70	c current bound: 4784
378.28/380.46	c current bound: 4784
379.04/381.21	c current bound: 4784
380.02/381.96	c current bound: 4784
380.56/382.71	c current bound: 4784
381.34/383.49	c current bound: 4784
382.09/384.24	c current bound: 4784
382.83/385.00	c current bound: 4784
383.60/385.79	c current bound: 4784
384.39/386.55	c current bound: 4784
385.32/387.30	c current bound: 4784
385.89/388.05	c current bound: 4784
386.63/388.80	c current bound: 4784
387.62/389.55	c current bound: 4784
388.15/390.30	c current bound: 4784
388.89/391.16	c current bound: 4784
389.65/391.91	c current bound: 4784
390.38/392.66	c current bound: 4784
391.14/393.41	c current bound: 4784
391.89/394.16	c current bound: 4784
392.90/394.92	c current bound: 4784
393.40/395.67	c current bound: 4784
394.16/396.42	c current bound: 4784
395.13/397.15	c current bound: 4784
395.92/397.90	c current bound: 4784
396.38/398.65	c current bound: 4784
397.31/399.40	c current bound: 4784
397.89/400.14	c current bound: 4784
398.62/400.89	c current bound: 4784
399.61/401.65	c current bound: 4784
400.14/402.40	c current bound: 4784
400.89/403.15	c current bound: 4784
401.91/403.91	c current bound: 4784
402.39/404.66	c current bound: 4784
403.14/405.41	c current bound: 4784
404.17/406.27	c current bound: 4784
404.92/407.02	c current bound: 4784
405.40/407.77	c current bound: 4784
406.15/408.52	c current bound: 4784
407.11/409.27	c current bound: 4784
407.65/410.02	c current bound: 4784
408.40/410.77	c current bound: 4784
409.42/411.53	c current bound: 4784
409.93/412.28	c current bound: 4784
410.67/413.05	c current bound: 4784
411.62/413.79	c current bound: 4784
412.18/414.56	c current bound: 4784
412.94/415.30	c current bound: 4784
413.92/416.05	c current bound: 4784
414.74/416.80	c current bound: 4784
415.18/417.55	c current bound: 4784
415.93/418.30	c current bound: 4784
416.69/419.05	c current bound: 4784
417.44/419.81	c current bound: 4784
418.20/420.57	c current bound: 4784
419.24/421.56	c current bound: 4784
419.71/422.31	c current bound: 4784
420.48/423.08	c current bound: 4784
421.24/423.83	c current bound: 4784
421.99/424.56	c current bound: 4784
422.72/425.31	c current bound: 4784
423.47/426.07	c current bound: 4784
424.48/426.82	c current bound: 4784
424.98/427.57	c current bound: 4784
425.72/428.33	c current bound: 4784
426.68/429.08	c current bound: 4784
427.23/429.82	c current bound: 4784
427.98/430.57	c current bound: 4784
428.99/431.32	c current bound: 4784
429.48/432.07	c current bound: 4784
430.23/432.82	c current bound: 4784
431.20/433.57	c current bound: 4784
431.73/434.32	c current bound: 4784
432.48/435.07	c current bound: 4784
433.49/435.82	c current bound: 4784
434.27/436.74	c current bound: 4784
434.73/437.49	c current bound: 4784
435.47/438.24	c current bound: 4784
436.42/438.99	c current bound: 4784
436.98/439.74	c current bound: 4784
437.73/440.50	c current bound: 4784
438.71/441.25	c current bound: 4784
439.52/442.00	c current bound: 4784
439.98/442.75	c current bound: 4784
440.92/443.49	c current bound: 4784
441.48/444.24	c current bound: 4784
442.23/444.99	c current bound: 4784
443.22/445.72	c current bound: 4784
443.72/446.48	c current bound: 4784
444.48/447.22	c current bound: 4784
445.43/447.98	c current bound: 4784
445.98/448.76	c current bound: 4784
446.75/449.51	c current bound: 4784
447.50/450.26	c current bound: 4784
448.53/451.01	c current bound: 4784
449.28/451.83	c current bound: 4784
449.74/452.58	c current bound: 4784
450.75/453.32	c current bound: 4784
451.25/454.09	c current bound: 4784
452.01/454.83	c current bound: 4784
452.95/455.58	c current bound: 4784
453.50/456.33	c current bound: 4784
454.25/457.09	c current bound: 4784
455.25/457.83	c current bound: 4784
455.76/458.59	c current bound: 4784
456.51/459.33	c current bound: 4784
457.45/460.08	c current bound: 4784
458.00/460.83	c current bound: 4784
458.75/461.59	c current bound: 4784
459.52/462.35	c current bound: 4784
460.57/463.10	c current bound: 4784
461.03/463.86	c current bound: 4784
461.80/464.61	c current bound: 4784
462.76/465.36	c current bound: 4784
463.28/466.09	c current bound: 4784
464.02/466.95	c current bound: 4784
464.96/467.69	c current bound: 4784
465.52/468.44	c current bound: 4784
466.26/469.19	c current bound: 4784
467.23/469.94	c current bound: 4784
467.75/470.67	c current bound: 4784
468.48/471.41	c current bound: 4784
469.46/472.17	c current bound: 4784
469.98/472.92	c current bound: 4784
470.72/473.64	c current bound: 4784
471.46/474.37	c current bound: 4784
472.20/475.15	c current bound: 4784
473.27/475.90	c current bound: 4784
473.74/476.65	c current bound: 4784
474.48/477.39	c current bound: 4784
475.24/478.15	c current bound: 4784
475.99/478.90	c current bound: 4784
476.98/479.65	c current bound: 4784
477.49/480.41	c current bound: 4784
478.24/481.15	c current bound: 4784
479.24/481.99	c current bound: 4784
479.73/482.74	c current bound: 4784
480.48/483.49	c current bound: 4784
481.46/484.24	c current bound: 4784
481.97/484.99	c current bound: 4784
482.72/485.75	c current bound: 4784
483.49/486.50	c current bound: 4784
484.23/487.26	c current bound: 4784
484.98/488.01	c current bound: 4784
485.74/488.76	c current bound: 4784
486.76/489.51	c current bound: 4784
487.25/490.26	c current bound: 4784
488.00/491.01	c current bound: 4784
488.96/491.74	c current bound: 4784
489.77/492.50	c current bound: 4784
490.23/493.25	c current bound: 4784
491.18/494.00	c current bound: 4784
491.73/494.76	c current bound: 4784
492.49/495.52	c current bound: 4784
493.46/496.27	c current bound: 4784
494.00/497.14	c current bound: 4784
494.75/497.88	c current bound: 4784
495.51/498.64	c current bound: 4784
496.25/499.39	c current bound: 4784
497.01/500.14	c current bound: 4784
497.76/500.89	c current bound: 4784
498.75/501.64	c current bound: 4784
499.26/502.39	c current bound: 4784
500.02/503.14	c current bound: 4784
500.95/503.89	c current bound: 4784
501.52/504.64	c current bound: 4784
502.27/505.39	c current bound: 4784
503.26/506.14	c current bound: 4784
503.76/506.88	c current bound: 4784
504.51/507.64	c current bound: 4784
505.57/508.40	c current bound: 4784
506.02/509.14	c current bound: 4784
506.76/509.89	c current bound: 4784
507.74/510.62	c current bound: 4784
508.25/511.37	c current bound: 4784
509.00/512.11	c current bound: 4784
509.75/512.89	c current bound: 4784
510.49/513.64	c current bound: 4784
511.24/514.39	c current bound: 4784
511.99/515.14	c current bound: 4784
512.74/515.89	c current bound: 4784
513.50/516.64	c current bound: 4784
514.54/517.40	c current bound: 4784
515.22/518.13	c current bound: 4784
515.72/518.88	c current bound: 4784
516.48/519.63	c current bound: 4784
517.43/520.38	c current bound: 4784
517.99/521.13	c current bound: 4784
518.74/521.88	c current bound: 4784
519.73/522.63	c current bound: 4784
520.24/523.38	c current bound: 4784
520.98/524.13	c current bound: 4784
521.94/524.88	c current bound: 4784
522.48/525.63	c current bound: 4784
523.24/526.39	c current bound: 4784
524.22/527.11	c current bound: 4784
524.71/527.86	c current bound: 4784
525.46/528.61	c current bound: 4784
526.42/529.36	c current bound: 4784
526.95/530.11	c current bound: 4784
527.73/530.89	c current bound: 4784
528.49/531.64	c current bound: 4784
529.54/532.52	c current bound: 4784
530.00/533.25	c current bound: 4784
530.73/534.00	c current bound: 4784
531.70/534.75	c current bound: 4784
532.23/535.51	c current bound: 4784
532.99/536.26	c current bound: 4784
534.01/537.00	c current bound: 4784
534.48/537.76	c current bound: 4784
535.24/538.51	c current bound: 4784
536.21/539.25	c current bound: 4784
536.74/540.02	c current bound: 4784
537.51/540.77	c current bound: 4784
538.25/541.51	c current bound: 4784
539.00/542.27	c current bound: 4784
539.74/543.02	c current bound: 4784
540.50/543.76	c current bound: 4784
541.51/544.52	c current bound: 4784
542.00/545.27	c current bound: 4784
542.74/546.01	c current bound: 4784
543.72/546.76	c current bound: 4784
544.25/547.51	c current bound: 4784
545.00/548.29	c current bound: 4784
546.00/549.04	c current bound: 4784
546.51/549.79	c current bound: 4784
547.25/550.54	c current bound: 4784
548.19/551.29	c current bound: 4784
548.75/552.04	c current bound: 4784
549.50/552.85	c current bound: 4784
550.26/553.58	c current bound: 4784
550.98/554.33	c current bound: 4784
551.73/555.08	c current bound: 4784
552.48/555.84	c current bound: 4784
553.23/556.59	c current bound: 4784
553.98/557.34	c current bound: 4784
554.74/558.09	c current bound: 4784
555.72/558.85	c current bound: 4784
556.26/559.60	c current bound: 4784
557.00/560.35	c current bound: 4784
557.93/561.10	c current bound: 4784
558.49/561.85	c current bound: 4784
559.25/562.60	c current bound: 4784
560.23/563.36	c current bound: 4784
560.75/564.11	c current bound: 4784
561.51/564.86	c current bound: 4784
562.51/565.62	c current bound: 4784
563.02/566.38	c current bound: 4784
563.77/567.13	c current bound: 4784
564.80/567.98	c current bound: 4784
565.53/568.73	c current bound: 4784
566.02/569.48	c current bound: 4784
566.78/570.23	c current bound: 4784
567.72/570.98	c current bound: 4784
568.28/571.73	c current bound: 4784
569.04/572.48	c current bound: 4784
570.01/573.23	c current bound: 4784
570.51/573.98	c current bound: 4784
571.27/574.74	c current bound: 4784
572.22/575.49	c current bound: 4784
572.78/576.22	c current bound: 4784
573.52/576.97	c current bound: 4784
574.51/577.74	c current bound: 4784
575.02/578.49	c current bound: 4784
575.78/579.24	c current bound: 4784
576.53/579.97	c current bound: 4784
577.26/580.72	c current bound: 4784
578.01/581.46	c current bound: 4784
578.76/582.21	c current bound: 4784
579.51/582.97	c current bound: 4784
580.27/583.74	c current bound: 4784
581.31/584.50	c current bound: 4784
582.00/585.25	c current bound: 4784
582.51/586.00	c current bound: 4784
583.27/586.75	c current bound: 4784
584.31/587.50	c current bound: 4784
584.77/588.27	c current bound: 4784
585.52/589.02	c current bound: 4784
586.48/589.77	c current bound: 4784
587.03/590.53	c current bound: 4784
587.79/591.28	c current bound: 4784
588.77/592.03	c current bound: 4784
589.29/592.78	c current bound: 4784
590.03/593.53	c current bound: 4784
590.98/594.26	c current bound: 4784
591.52/594.99	c current bound: 4784
592.25/595.74	c current bound: 4784
593.00/596.47	c current bound: 4784
593.73/597.21	c current bound: 4784
594.48/597.97	c current bound: 4784
595.24/598.72	c current bound: 4784
595.99/599.48	c current bound: 4784
596.74/600.24	c current bound: 4784
597.50/600.99	c current bound: 4784
598.49/601.76	c current bound: 4784
599.02/602.51	c current bound: 4784
599.77/603.26	c current bound: 4784
600.77/604.04	c current bound: 4784
601.28/604.78	c current bound: 4784
602.02/605.53	c current bound: 4784
602.97/606.28	c current bound: 4784
603.52/607.03	c current bound: 4784
604.27/607.78	c current bound: 4784
605.27/608.56	c current bound: 4784
605.77/609.29	c current bound: 4784
606.50/610.04	c current bound: 4784
607.26/610.76	c current bound: 4784
607.98/611.51	c current bound: 4784
608.73/612.27	c current bound: 4784
609.49/613.01	c current bound: 4784
610.23/613.76	c current bound: 4784
610.97/614.52	c current bound: 4784
611.73/615.27	c current bound: 4784
612.75/616.02	c current bound: 4784
613.24/616.77	c current bound: 4784
613.99/617.52	c current bound: 4784
614.94/618.27	c current bound: 4784
615.49/619.02	c current bound: 4784
616.21/619.78	c current bound: 4784
617.23/620.53	c current bound: 4784
617.72/621.28	c current bound: 4784
618.47/622.03	c current bound: 4784
619.43/622.77	c current bound: 4784
619.99/623.53	c current bound: 4784
620.74/624.29	c current bound: 4784
621.73/625.04	c current bound: 4784
622.25/625.79	c current bound: 4784
623.00/626.54	c current bound: 4784
623.74/627.27	c current bound: 4784
624.48/628.02	c current bound: 4784
625.51/628.82	c current bound: 4784
625.97/629.57	c current bound: 4784
626.98/630.32	c current bound: 4784
627.48/631.09	c current bound: 4784
628.24/631.84	c current bound: 4784
629.18/632.59	c current bound: 4784
629.74/633.34	c current bound: 4784
630.50/634.09	c current bound: 4784
631.49/634.81	c current bound: 4784
631.97/635.56	c current bound: 4784
632.72/636.31	c current bound: 4784
633.68/637.06	c current bound: 4784
634.22/637.81	c current bound: 4784
634.97/638.56	c current bound: 4784
635.99/639.31	c current bound: 4784
636.47/640.06	c current bound: 4784
637.23/640.79	c current bound: 4784
638.19/641.55	c current bound: 4784
638.72/642.30	c current bound: 4784
639.47/643.04	c current bound: 4784
640.21/643.79	c current bound: 4784
640.97/644.58	c current bound: 4784
641.73/645.33	c current bound: 4784
642.47/646.08	c current bound: 4784
643.49/646.83	c current bound: 4784
643.97/647.58	c current bound: 4784
644.73/648.30	c current bound: 4784
645.68/649.06	c current bound: 4784
646.20/649.82	c current bound: 4784
646.95/650.57	c current bound: 4784
647.96/651.31	c current bound: 4784
648.44/652.06	c current bound: 4784
649.20/652.81	c current bound: 4784
650.16/653.56	c current bound: 4784
650.70/654.31	c current bound: 4784
651.46/655.07	c current bound: 4784
652.37/655.79	c current bound: 4784
652.93/656.52	c current bound: 4784
653.70/657.27	c current bound: 4784
654.67/658.00	c current bound: 4784
655.15/658.73	c current bound: 4784
655.90/659.48	c current bound: 4784
656.87/660.21	c current bound: 4784
657.35/660.93	c current bound: 4784
658.11/661.69	c current bound: 4784
659.06/662.41	c current bound: 4784
659.56/663.14	c current bound: 4784
660.30/663.89	c current bound: 4784
661.27/664.63	c current bound: 4784
661.77/665.37	c current bound: 4784
662.55/666.13	c current bound: 4784
663.49/666.86	c current bound: 4784
664.01/667.59	c current bound: 4784
664.74/668.33	c current bound: 4784
665.67/669.06	c current bound: 4784
666.21/669.86	c current bound: 4784
666.95/670.58	c current bound: 4784
667.67/671.32	c current bound: 4784
668.41/672.04	c current bound: 4784
669.13/672.78	c current bound: 4784
669.87/673.51	c current bound: 4784
670.86/674.40	c current bound: 4784
671.35/675.13	c current bound: 4784
672.09/675.87	c current bound: 4784
672.97/676.60	c current bound: 4784
673.55/677.32	c current bound: 4784
674.29/678.07	c current bound: 4784
675.19/678.79	c current bound: 4784
675.75/679.52	c current bound: 4784
676.50/680.26	c current bound: 4784
677.40/680.99	c current bound: 4784
677.96/681.71	c current bound: 4784
678.68/682.45	c current bound: 4784
679.60/683.18	c current bound: 4784
680.16/683.91	c current bound: 4784
680.89/684.65	c current bound: 4784
681.78/685.37	c current bound: 4784
682.59/686.10	c current bound: 4784
683.06/686.83	c current bound: 4784
683.99/687.56	c current bound: 4784
684.51/688.28	c current bound: 4784
685.26/689.03	c current bound: 4784
686.19/689.76	c current bound: 4784
686.72/690.48	c current bound: 4784
687.45/691.23	c current bound: 4784
688.39/691.95	c current bound: 4784
688.92/692.68	c current bound: 4784
689.65/693.42	c current bound: 4784
690.59/694.15	c current bound: 4784
691.11/694.87	c current bound: 4784
691.85/695.61	c current bound: 4784
692.79/696.34	c current bound: 4784
693.30/697.07	c current bound: 4784
694.02/697.79	c current bound: 4784
694.98/698.54	c current bound: 4784
695.50/699.26	c current bound: 4784
696.24/700.01	c current bound: 4784
697.20/700.75	c current bound: 4784
697.72/701.49	c current bound: 4784
698.46/702.22	c current bound: 4784
699.41/702.94	c current bound: 4784
699.92/703.67	c current bound: 4784
700.65/704.42	c current bound: 4784
701.59/705.16	c current bound: 4784
702.12/705.88	c current bound: 4784
702.86/706.64	c current bound: 4784
703.79/707.36	c current bound: 4784
704.34/708.09	c current bound: 4784
705.07/708.83	c current bound: 4784
706.00/709.56	c current bound: 4784
706.53/710.34	c current bound: 4784
707.28/711.09	c current bound: 4784
708.25/711.82	c current bound: 4784
708.75/712.55	c current bound: 4784
709.49/713.28	c current bound: 4784
710.45/714.02	c current bound: 4784
710.94/714.86	c current bound: 4784
711.68/715.62	c current bound: 4784
712.62/716.34	c current bound: 4784
713.14/717.08	c current bound: 4784
713.87/717.80	c current bound: 4784
714.82/718.53	c current bound: 4784
715.33/719.26	c current bound: 4784
716.08/720.01	c current bound: 4784
717.03/720.74	c current bound: 4784
717.54/721.46	c current bound: 4784
718.29/722.21	c current bound: 4784
719.24/722.94	c current bound: 4784
719.75/723.67	c current bound: 4784
720.49/724.42	c current bound: 4784
721.44/725.15	c current bound: 4784
721.96/725.87	c current bound: 4784
722.70/726.63	c current bound: 4784
723.62/727.35	c current bound: 4784
724.15/728.08	c current bound: 4784
724.89/728.81	c current bound: 4784
725.83/729.53	c current bound: 4784
726.34/730.26	c current bound: 4784
727.09/731.01	c current bound: 4784
728.05/731.74	c current bound: 4784
728.56/732.47	c current bound: 4784
729.30/733.22	c current bound: 4784
730.24/733.95	c current bound: 4784
730.75/734.67	c current bound: 4784
731.51/735.43	c current bound: 4784
732.44/736.16	c current bound: 4784
732.96/736.89	c current bound: 4784
733.72/737.64	c current bound: 4784
734.46/738.38	c current bound: 4784
735.19/739.11	c current bound: 4784
735.94/739.86	c current bound: 4784
736.67/740.62	c current bound: 4784
737.40/741.35	c current bound: 4784
738.13/742.08	c current bound: 4784
738.86/742.81	c current bound: 4784
739.59/743.54	c current bound: 4784
740.32/744.27	c current bound: 4784
741.06/745.24	c current bound: 4784
741.97/745.96	c current bound: 4784
742.51/746.69	c current bound: 4784
743.26/747.44	c current bound: 4784
744.18/748.17	c current bound: 4784
744.99/748.90	c current bound: 4784
745.46/749.65	c current bound: 4784
746.38/750.38	c current bound: 4784
746.92/751.11	c current bound: 4784
747.67/751.86	c current bound: 4784
748.58/752.58	c current bound: 4784
749.13/753.31	c current bound: 4784
749.88/754.08	c current bound: 4784
750.87/754.80	c current bound: 4784
751.35/755.54	c current bound: 4784
752.07/756.26	c current bound: 4784
752.97/756.99	c current bound: 4784
753.53/757.72	c current bound: 4784
754.28/758.47	c current bound: 4784
755.27/759.20	c current bound: 4784
755.75/759.93	c current bound: 4784
756.51/760.69	c current bound: 4784
757.48/761.41	c current bound: 4784
757.97/762.14	c current bound: 4784
758.72/762.89	c current bound: 4784
759.68/763.64	c current bound: 4784
760.20/764.37	c current bound: 4784
760.95/765.14	c current bound: 4784
761.68/765.86	c current bound: 4784
762.42/766.59	c current bound: 4784
763.15/767.32	c current bound: 4784
764.09/768.04	c current bound: 4784
764.59/768.77	c current bound: 4784
765.35/769.52	c current bound: 4784
766.28/770.25	c current bound: 4784
766.80/771.02	c current bound: 4784
767.54/771.76	c current bound: 4784
768.27/772.49	c current bound: 4784
768.99/773.21	c current bound: 4784
769.72/773.94	c current bound: 4784
770.45/774.66	c current bound: 4784
771.44/775.60	c current bound: 4784
771.91/776.33	c current bound: 4784
772.65/777.07	c current bound: 4784
773.54/777.80	c current bound: 4784
774.11/778.52	c current bound: 4784
774.85/779.27	c current bound: 4784
775.74/780.00	c current bound: 4784
776.31/780.72	c current bound: 4784
777.06/781.47	c current bound: 4784
778.06/782.20	c current bound: 4784
778.51/782.93	c current bound: 4784
779.27/783.67	c current bound: 4784
780.26/784.41	c current bound: 4784
780.73/785.13	c current bound: 4784
781.47/785.88	c current bound: 4784
782.46/786.60	c current bound: 4784
782.93/787.33	c current bound: 4784
783.68/788.08	c current bound: 4784
784.67/788.81	c current bound: 4784
785.12/789.53	c current bound: 4784
785.86/790.28	c current bound: 4784
786.86/791.01	c current bound: 4784
787.32/791.73	c current bound: 4784
788.08/792.48	c current bound: 4784
789.05/793.21	c current bound: 4784
789.56/793.98	c current bound: 4784
790.30/794.72	c current bound: 4784
791.25/795.45	c current bound: 4784
791.77/796.18	c current bound: 4784
792.51/796.93	c current bound: 4784
793.43/797.66	c current bound: 4784
793.98/798.39	c current bound: 4784
794.71/799.12	c current bound: 4784
795.64/799.87	c current bound: 4784
796.23/800.76	c current bound: 4784
797.25/801.50	c current bound: 4784
797.70/802.23	c current bound: 4784
798.45/802.96	c current bound: 4784
799.19/803.70	c current bound: 4784
799.91/804.44	c current bound: 4784
800.65/805.17	c current bound: 4784
801.38/805.91	c current bound: 4784
802.13/806.65	c current bound: 4784
802.87/807.38	c current bound: 4784
803.62/808.12	c current bound: 4784
804.35/808.86	c current bound: 4784
805.08/809.59	c current bound: 4784
805.82/810.33	c current bound: 4784
806.56/811.07	c current bound: 4784
807.56/811.81	c current bound: 4784
808.04/812.55	c current bound: 4784
808.78/813.29	c current bound: 4784
809.76/814.03	c current bound: 4784
810.26/814.77	c current bound: 4784
810.99/815.50	c current bound: 4784
811.96/816.24	c current bound: 4784
812.47/816.98	c current bound: 4784
813.22/817.72	c current bound: 4784
814.15/818.46	c current bound: 4784
814.69/819.21	c current bound: 4784
815.44/819.95	c current bound: 4784
816.36/820.68	c current bound: 4784
816.92/821.42	c current bound: 4784
817.65/822.16	c current bound: 4784
818.54/822.90	c current bound: 4784
819.12/823.65	c current bound: 4784
819.87/824.42	c current bound: 4784
820.85/825.18	c current bound: 4784
821.40/826.05	c current bound: 4784
822.16/826.80	c current bound: 4784
822.91/827.56	c current bound: 4784
823.94/828.31	c current bound: 4784
824.41/829.06	c current bound: 4784
825.16/829.81	c current bound: 4784
826.13/830.56	c current bound: 4784
826.66/831.29	c current bound: 4784
827.38/832.03	c current bound: 4784
828.33/832.78	c current bound: 4784
828.89/833.53	c current bound: 4784
829.64/834.28	c current bound: 4784
830.64/835.03	c current bound: 4784
831.13/835.78	c current bound: 4784
831.89/836.53	c current bound: 4784
832.84/837.28	c current bound: 4784
833.39/838.04	c current bound: 4784
834.13/838.79	c current bound: 4784
835.13/839.52	c current bound: 4784
835.63/840.27	c current bound: 4784
836.38/841.03	c current bound: 4784
837.14/841.81	c current bound: 4784
837.88/842.56	c current bound: 4784
838.64/843.31	c current bound: 4784
839.40/844.07	c current bound: 4784
840.40/844.81	c current bound: 4784
840.88/845.57	c current bound: 4784
841.65/846.32	c current bound: 4784
842.61/847.07	c current bound: 4784
843.15/847.83	c current bound: 4784
843.91/848.58	c current bound: 4784
844.91/849.34	c current bound: 4784
845.42/850.09	c current bound: 4784
846.18/850.81	c current bound: 4784
847.12/851.57	c current bound: 4784
847.65/852.33	c current bound: 4784
848.41/853.07	c current bound: 4784
849.43/853.80	c current bound: 4784
849.89/854.55	c current bound: 4784
850.64/855.30	c current bound: 4784
851.61/856.06	c current bound: 4784
852.15/856.82	c current bound: 4784
852.91/857.57	c current bound: 4784
853.93/858.30	c current bound: 4784
854.39/859.05	c current bound: 4784
855.15/859.80	c current bound: 4784
855.89/860.55	c current bound: 4784
856.92/861.42	c current bound: 4784
857.39/862.18	c current bound: 4784
858.14/862.94	c current bound: 4784
859.10/863.69	c current bound: 4784
859.67/864.44	c current bound: 4784
860.40/865.19	c current bound: 4784
861.40/865.94	c current bound: 4784
861.91/866.68	c current bound: 4784
862.66/867.43	c current bound: 4784
863.59/868.18	c current bound: 4784
864.45/869.01	c current bound: 4784
864.92/869.76	c current bound: 4784
865.67/870.52	c current bound: 4784
866.63/871.27	c current bound: 4784
867.17/872.02	c current bound: 4784
867.93/872.75	c current bound: 4784
868.95/873.50	c current bound: 4784
869.41/874.26	c current bound: 4784
870.16/875.00	c current bound: 4784
871.14/875.75	c current bound: 4784
871.67/876.53	c current bound: 4784
872.40/877.28	c current bound: 4784
873.41/878.00	c current bound: 4784
873.88/878.75	c current bound: 4784
874.63/879.50	c current bound: 4784
875.61/880.25	c current bound: 4784
876.14/881.00	c current bound: 4784
876.88/881.75	c current bound: 4784
877.63/882.48	c current bound: 4784
878.36/883.22	c current bound: 4784
879.11/883.97	c current bound: 4784
879.85/884.72	c current bound: 4784
880.60/885.47	c current bound: 4784
881.36/886.22	c current bound: 4784
882.11/886.97	c current bound: 4784
883.12/887.72	c current bound: 4784
883.61/888.47	c current bound: 4784
884.36/889.22	c current bound: 4784
885.33/889.97	c current bound: 4784
885.86/890.72	c current bound: 4784
886.61/891.47	c current bound: 4784
887.62/892.22	c current bound: 4784
888.12/892.97	c current bound: 4784
888.86/893.72	c current bound: 4784
889.83/894.47	c current bound: 4784
890.64/895.20	c current bound: 4784
891.10/895.94	c current bound: 4784
892.12/896.70	c current bound: 4784
892.60/897.45	c current bound: 4784
893.63/898.20	c current bound: 4784
894.33/898.93	c current bound: 4784
894.83/899.68	c current bound: 4784
895.59/900.40	c current bound: 4784
896.54/901.15	c current bound: 4784
897.06/901.91	c current bound: 4784
897.82/902.66	c current bound: 4784
898.57/903.40	c current bound: 4784
899.32/904.16	c current bound: 4784
900.08/904.91	c current bound: 4784
900.82/905.66	c current bound: 4784
901.85/906.41	c current bound: 4784
902.32/907.14	c current bound: 4784
903.04/907.88	c current bound: 4784
904.05/908.63	c current bound: 4784
904.85/909.40	c current bound: 4784
905.31/910.14	c current bound: 4784
906.25/910.89	c current bound: 4784
906.81/911.64	c current bound: 4784
907.55/912.61	c current bound: 4784
908.29/913.37	c current bound: 4784
909.31/914.12	c current bound: 4784
909.80/914.86	c current bound: 4784
910.56/915.62	c current bound: 4784
911.51/916.36	c current bound: 4784
912.33/917.10	c current bound: 4784
912.79/917.82	c current bound: 4784
913.73/918.56	c current bound: 4784
914.26/919.28	c current bound: 4784
914.99/920.02	c current bound: 4784
915.93/920.75	c current bound: 4784
916.44/921.47	c current bound: 4784
917.18/922.21	c current bound: 4784
918.13/922.94	c current bound: 4784
918.63/923.67	c current bound: 4784
919.37/924.40	c current bound: 4784
920.34/925.12	c current bound: 4784
920.83/925.85	c current bound: 4784
921.56/926.59	c current bound: 4784
922.54/927.32	c current bound: 4784
923.02/928.05	c current bound: 4784
923.77/928.79	c current bound: 4784
924.74/929.52	c current bound: 4784
925.21/930.25	c current bound: 4784
925.95/930.98	c current bound: 4784
926.93/931.71	c current bound: 4784
927.41/932.44	c current bound: 4784
928.14/933.17	c current bound: 4784
928.87/933.90	c current bound: 4784
929.60/934.63	c current bound: 4784
930.34/935.36	c current bound: 4784
931.06/936.08	c current bound: 4784
931.79/936.82	c current bound: 4784
932.52/937.55	c current bound: 4784
933.25/938.27	c current bound: 4784
933.97/939.00	c current bound: 4784
934.70/939.74	c current bound: 4784
935.44/940.47	c current bound: 4784
936.16/941.20	c current bound: 4784
936.90/941.93	c current bound: 4784
937.61/942.68	c current bound: 4784
938.36/943.40	c current bound: 4784
939.10/944.13	c current bound: 4784
939.82/944.86	c current bound: 4784
940.54/945.58	c current bound: 4784
941.29/946.32	c current bound: 4784
942.01/947.05	c current bound: 4784
942.73/947.77	c current bound: 4784
943.46/948.51	c current bound: 4784
944.19/949.23	c current bound: 4784
944.91/949.97	c current bound: 4784
945.91/950.70	c current bound: 4784
946.39/951.43	c current bound: 4784
947.11/952.16	c current bound: 4784
947.85/952.90	c current bound: 4784
948.59/953.64	c current bound: 4784
949.33/954.36	c current bound: 4784
950.04/955.09	c current bound: 4784
950.77/955.82	c current bound: 4784
951.51/956.55	c current bound: 4784
952.23/957.28	c current bound: 4784
952.95/958.01	c current bound: 4784
953.68/958.74	c current bound: 4784
954.41/959.47	c current bound: 4784
955.14/960.19	c current bound: 4784
955.89/960.94	c current bound: 4784
956.61/961.66	c current bound: 4784
957.34/962.39	c current bound: 4784
958.10/963.15	c current bound: 4784
958.84/963.88	c current bound: 4784
959.57/964.61	c current bound: 4784
960.30/965.33	c current bound: 4784
961.21/966.06	c current bound: 4784
961.74/966.79	c current bound: 4784
962.50/967.54	c current bound: 4784
963.23/968.27	c current bound: 4784
963.95/969.00	c current bound: 4784
964.71/969.76	c current bound: 4784
965.44/970.49	c current bound: 4784
966.18/971.21	c current bound: 4784
966.93/971.97	c current bound: 4784
967.93/972.70	c current bound: 4784
968.38/973.43	c current bound: 4784
969.12/974.15	c current bound: 4784
969.85/974.88	c current bound: 4784
970.57/975.61	c current bound: 4784
971.33/976.36	c current bound: 4784
972.06/977.10	c current bound: 4784
972.78/977.83	c current bound: 4784
973.52/978.55	c current bound: 4784
974.23/979.28	c current bound: 4784
974.96/980.01	c current bound: 4784
975.69/980.74	c current bound: 4784
976.43/981.49	c current bound: 4784
977.19/982.23	c current bound: 4784
977.92/982.96	c current bound: 4784
978.64/983.69	c current bound: 4784
979.37/984.42	c current bound: 4784
980.11/985.15	c current bound: 4784
980.83/985.88	c current bound: 4784
981.56/986.60	c current bound: 4784
982.32/987.37	c current bound: 4784
983.05/988.10	c current bound: 4784
983.78/988.83	c current bound: 4784
984.51/989.56	c current bound: 4784
985.24/990.29	c current bound: 4784
985.97/991.02	c current bound: 4784
986.71/991.75	c current bound: 4784
987.43/992.48	c current bound: 4784
988.16/993.20	c current bound: 4784
988.91/993.96	c current bound: 4784
989.65/994.69	c current bound: 4784
990.38/995.41	c current bound: 4784
991.10/996.14	c current bound: 4784
991.83/996.89	c current bound: 4784
992.57/997.62	c current bound: 4784
993.30/998.35	c current bound: 4784
994.04/999.08	c current bound: 4784
994.76/999.80	c current bound: 4784
995.51/1000.56	c current bound: 4784
996.51/1001.30	c current bound: 4784
996.98/1002.03	c current bound: 4784
997.70/1002.77	c current bound: 4784
998.46/1003.50	c current bound: 4784
999.18/1004.24	c current bound: 4784
999.92/1004.98	c current bound: 4784
1000.67/1005.71	c current bound: 4784
1001.41/1006.45	c current bound: 4784
1002.13/1007.18	c current bound: 4784
1002.87/1007.91	c current bound: 4784
1003.60/1008.64	c current bound: 4784
1004.32/1009.36	c current bound: 4784
1005.05/1010.09	c current bound: 4784
1005.78/1010.82	c current bound: 4784
1006.51/1011.55	c current bound: 4784
1007.24/1012.29	c current bound: 4784
1007.98/1013.01	c current bound: 4784
1008.70/1013.74	c current bound: 4784
1009.42/1014.47	c current bound: 4784
1010.42/1015.20	c current bound: 4784
1010.89/1015.92	c current bound: 4784
1011.81/1016.65	c current bound: 4784
1012.34/1017.38	c current bound: 4784
1013.10/1018.13	c current bound: 4784
1014.01/1018.85	c current bound: 4784
1014.82/1019.60	c current bound: 4784
1015.30/1020.35	c current bound: 4784
1016.04/1021.08	c current bound: 4784
1016.77/1021.81	c current bound: 4784
1017.53/1022.57	c current bound: 4784
1018.26/1023.30	c current bound: 4784
1018.98/1024.03	c current bound: 4784
1019.71/1024.76	c current bound: 4784
1020.44/1025.49	c current bound: 4784
1021.17/1026.22	c current bound: 4784
1021.90/1026.95	c current bound: 4784
1022.63/1027.68	c current bound: 4784
1023.35/1028.41	c current bound: 4784
1024.10/1029.16	c current bound: 4784
1024.84/1029.89	c current bound: 4784
1025.57/1030.62	c current bound: 4784
1026.29/1031.35	c current bound: 4784
1027.03/1032.08	c current bound: 4784
1027.76/1032.80	c current bound: 4784
1028.52/1033.56	c current bound: 4784
1029.24/1034.29	c current bound: 4784
1029.97/1035.02	c current bound: 4784
1030.70/1035.75	c current bound: 4784
1031.42/1036.48	c current bound: 4784
1032.16/1037.21	c current bound: 4784
1032.91/1037.96	c current bound: 4784
1033.64/1038.69	c current bound: 4784
1034.36/1039.41	c current bound: 4784
1035.11/1040.17	c current bound: 4784
1035.85/1040.91	c current bound: 4784
1036.58/1041.63	c current bound: 4784
1037.30/1042.36	c current bound: 4784
1038.03/1043.09	c current bound: 4784
1038.77/1043.82	c current bound: 4784
1039.48/1044.55	c current bound: 4784
1040.22/1045.28	c current bound: 4784
1040.94/1046.00	c current bound: 4784
1041.70/1046.76	c current bound: 4784
1042.43/1047.49	c current bound: 4784
1043.15/1048.22	c current bound: 4784
1043.89/1048.95	c current bound: 4784
1044.62/1049.69	c current bound: 4784
1045.36/1050.41	c current bound: 4784
1046.10/1051.16	c current bound: 4784
1046.84/1051.89	c current bound: 4784
1047.56/1052.62	c current bound: 4784
1048.29/1053.35	c current bound: 4784
1049.01/1054.08	c current bound: 4784
1049.75/1054.81	c current bound: 4784
1050.50/1055.57	c current bound: 4784
1051.23/1056.30	c current bound: 4784
1051.95/1057.03	c current bound: 4784
1052.69/1057.76	c current bound: 4784
1053.42/1058.49	c current bound: 4784
1054.15/1059.21	c current bound: 4784
1054.90/1059.97	c current bound: 4784
1055.63/1060.70	c current bound: 4784
1056.36/1061.43	c current bound: 4784
1057.09/1062.15	c current bound: 4784
1057.82/1062.88	c current bound: 4784
1058.54/1063.61	c current bound: 4784
1059.27/1064.33	c current bound: 4784
1060.19/1065.06	c current bound: 4784
1060.73/1065.79	c current bound: 4784
1061.46/1066.53	c current bound: 4784
1062.38/1067.26	c current bound: 4784
1062.93/1067.99	c current bound: 4784
1063.66/1068.72	c current bound: 4784
1064.59/1069.47	c current bound: 4784
1065.13/1070.19	c current bound: 4784
1065.89/1070.95	c current bound: 4784
1066.62/1071.68	c current bound: 4784
1067.35/1072.40	c current bound: 4784
1068.07/1073.13	c current bound: 4784
1068.99/1073.86	c current bound: 4784
1069.53/1074.59	c current bound: 4784
1070.28/1075.34	c current bound: 4784
1071.01/1076.07	c current bound: 4784
1071.73/1076.81	c current bound: 4784
1072.50/1077.57	c current bound: 4784
1073.48/1078.30	c current bound: 4784
1073.95/1079.03	c current bound: 4784
1074.68/1079.76	c current bound: 4784
1075.41/1080.49	c current bound: 4784
1076.14/1081.22	c current bound: 4784
1076.88/1081.94	c current bound: 4784
1077.60/1082.67	c current bound: 4784
1078.59/1083.40	c current bound: 4784
1079.09/1084.16	c current bound: 4784
1079.80/1084.89	c current bound: 4784
1080.55/1085.62	c current bound: 4784
1081.27/1086.35	c current bound: 4784
1082.02/1087.08	c current bound: 4784
1082.74/1087.82	c current bound: 4784
1083.47/1088.55	c current bound: 4784
1084.20/1089.28	c current bound: 4784
1084.95/1090.01	c current bound: 4784
1085.70/1090.76	c current bound: 4784
1086.69/1091.50	c current bound: 4784
1087.15/1092.22	c current bound: 4784
1087.88/1092.95	c current bound: 4784
1088.61/1093.68	c current bound: 4784
1089.34/1094.41	c current bound: 4784
1090.10/1095.17	c current bound: 4784
1091.09/1095.90	c current bound: 4784
1091.56/1096.63	c current bound: 4784
1092.28/1097.36	c current bound: 4784
1093.01/1098.10	c current bound: 4784
1093.75/1098.83	c current bound: 4784
1094.48/1099.56	c current bound: 4784
1095.21/1100.30	c current bound: 4784
1095.94/1101.03	c current bound: 4784
1096.68/1101.75	c current bound: 4784
1097.41/1102.48	c current bound: 4784
1098.13/1103.21	c current bound: 4784
1098.89/1103.97	c current bound: 4784
1099.62/1104.69	c current bound: 4784
1100.35/1105.42	c current bound: 4784
1101.08/1106.15	c current bound: 4784
1101.81/1106.88	c current bound: 4784
1102.54/1107.61	c current bound: 4784
1103.27/1108.34	c current bound: 4784
1104.00/1109.09	c current bound: 4784
1104.74/1109.81	c current bound: 4784
1105.51/1110.57	c current bound: 4784
1106.23/1111.30	c current bound: 4784
1106.95/1112.03	c current bound: 4784
1107.70/1112.76	c current bound: 4784
1108.42/1113.49	c current bound: 4784
1109.14/1114.21	c current bound: 4784
1109.90/1114.97	c current bound: 4784
1110.63/1115.71	c current bound: 4784
1111.36/1116.43	c current bound: 4784
1112.09/1117.16	c current bound: 4784
1112.81/1117.89	c current bound: 4784
1113.54/1118.62	c current bound: 4784
1114.27/1119.34	c current bound: 4784
1114.99/1120.07	c current bound: 4784
1115.99/1120.80	c current bound: 4784
1116.48/1121.55	c current bound: 4784
1117.20/1122.29	c current bound: 4784
1117.94/1123.01	c current bound: 4784
1118.66/1123.74	c current bound: 4784
1119.39/1124.49	c current bound: 4784
1120.15/1125.22	c current bound: 4784
1120.89/1125.95	c current bound: 4784
1121.61/1126.68	c current bound: 4784
1122.34/1127.41	c current bound: 4784
1123.08/1128.14	c current bound: 4784
1123.99/1128.86	c current bound: 4784
1124.52/1129.59	c current bound: 4784
1125.25/1130.32	c current bound: 4784
1126.19/1131.05	c current bound: 4784
1126.72/1131.77	c current bound: 4784
1127.47/1132.53	c current bound: 4784
1128.38/1133.26	c current bound: 4784
1128.92/1133.98	c current bound: 4784
1129.67/1134.74	c current bound: 4784
1130.40/1135.46	c current bound: 4784
1131.13/1136.19	c current bound: 4784
1131.87/1136.92	c current bound: 4784
1132.79/1137.64	c current bound: 4784
1133.32/1138.37	c current bound: 4784
1134.08/1139.12	c current bound: 4784
1135.00/1139.85	c current bound: 4784
1135.53/1140.58	c current bound: 4784
1136.26/1141.31	c current bound: 4784
1137.19/1142.03	c current bound: 4784
1137.71/1142.76	c current bound: 4784
1138.46/1143.51	c current bound: 4784
1139.39/1144.24	c current bound: 4784
1139.91/1144.96	c current bound: 4784
1140.65/1145.72	c current bound: 4784
1141.60/1146.46	c current bound: 4784
1142.12/1147.18	c current bound: 4784
1142.86/1147.92	c current bound: 4784
1143.80/1148.64	c current bound: 4784
1144.31/1149.37	c current bound: 4784
1145.03/1150.10	c current bound: 4784
1145.99/1150.82	c current bound: 4784
1146.49/1151.55	c current bound: 4784
1147.22/1152.28	c current bound: 4784
1148.20/1153.01	c current bound: 4784
1148.68/1153.74	c current bound: 4784
1149.42/1154.49	c current bound: 4784
1150.40/1155.22	c current bound: 4784
1150.89/1155.95	c current bound: 4784
1151.92/1156.70	c current bound: 4784
1152.60/1157.42	c current bound: 4784
1153.09/1158.15	c current bound: 4784
1153.84/1158.90	c current bound: 4784
1154.80/1159.63	c current bound: 4784
1155.31/1160.35	c current bound: 4784
1156.05/1161.11	c current bound: 4784
1157.00/1161.83	c current bound: 4784
1157.51/1162.57	c current bound: 4784
1158.26/1163.30	c current bound: 4784
1159.20/1164.03	c current bound: 4784
1159.70/1164.75	c current bound: 4784
1160.46/1165.51	c current bound: 4784
1161.41/1166.23	c current bound: 4784
1161.92/1166.96	c current bound: 4784
1162.64/1167.69	c current bound: 4784
1163.60/1168.42	c current bound: 4784
1164.10/1169.15	c current bound: 4784
1164.83/1169.87	c current bound: 4784
1165.80/1170.60	c current bound: 4784
1166.27/1171.32	c current bound: 4784
1167.02/1172.08	c current bound: 4784
1168.01/1172.80	c current bound: 4784
1168.48/1173.54	c current bound: 4784
1169.20/1174.27	c current bound: 4784
1170.10/1174.99	c current bound: 4784
1170.67/1175.72	c current bound: 4784
1171.42/1176.47	c current bound: 4784
1172.41/1177.20	c current bound: 4784
1172.87/1177.92	c current bound: 4784
1173.62/1178.68	c current bound: 4784
1174.60/1179.41	c current bound: 4784
1175.09/1180.14	c current bound: 4784
1175.83/1180.89	c current bound: 4784
1176.79/1181.62	c current bound: 4784
1177.29/1182.34	c current bound: 4784
1178.03/1183.08	c current bound: 4784
1178.99/1183.80	c current bound: 4784
1179.47/1184.53	c current bound: 4784
1180.21/1185.26	c current bound: 4784
1181.11/1185.99	c current bound: 4784
1181.66/1186.71	c current bound: 4784
1182.40/1187.45	c current bound: 4784
1183.30/1188.17	c current bound: 4784
1183.86/1188.90	c current bound: 4784
1184.60/1189.65	c current bound: 4784
1185.52/1190.38	c current bound: 4784
1186.07/1191.11	c current bound: 4784
1186.78/1191.84	c current bound: 4784
1187.71/1192.57	c current bound: 4784
1188.51/1193.30	c current bound: 4784
1188.99/1194.05	c current bound: 4784
1189.90/1194.78	c current bound: 4784
1190.44/1195.51	c current bound: 4784
1191.20/1196.26	c current bound: 4784
1192.10/1196.98	c current bound: 4784
1192.65/1197.71	c current bound: 4784
1193.38/1198.44	c current bound: 4784
1194.30/1199.16	c current bound: 4784
1194.83/1199.89	c current bound: 4784
1195.58/1200.64	c current bound: 4784
1196.50/1201.37	c current bound: 4784
1197.04/1202.10	c current bound: 4784
1197.78/1202.84	c current bound: 4784
1198.69/1203.57	c current bound: 4784
1199.51/1204.30	c current bound: 4784
1199.98/1205.04	c current bound: 4784
1200.90/1205.77	c current bound: 4784
1201.43/1206.50	c current bound: 4784
1202.19/1207.25	c current bound: 4784
1203.10/1207.98	c current bound: 4784
1203.65/1208.70	c current bound: 4784
1204.40/1209.46	c current bound: 4784
1205.31/1210.18	c current bound: 4784
1205.86/1210.91	c current bound: 4784
1206.61/1211.66	c current bound: 4784
1207.51/1212.39	c current bound: 4784
1208.06/1213.12	c current bound: 4784
1208.82/1213.87	c current bound: 4784
1209.71/1214.59	c current bound: 4784
1210.28/1215.33	c current bound: 4784
1211.02/1216.08	c current bound: 4784
1211.99/1216.80	c current bound: 4784
1212.48/1217.53	c current bound: 4784
1213.22/1218.28	c current bound: 4784
1214.19/1219.01	c current bound: 4784
1214.68/1219.73	c current bound: 4784
1215.40/1220.46	c current bound: 4784
1216.31/1221.19	c current bound: 4784
1216.87/1221.92	c current bound: 4784
1217.62/1222.67	c current bound: 4784
1218.61/1223.40	c current bound: 4784
1219.06/1224.12	c current bound: 4784
1219.81/1224.87	c current bound: 4784
1220.81/1225.60	c current bound: 4784
1221.27/1226.33	c current bound: 4784
1222.02/1227.08	c current bound: 4784
1222.99/1227.81	c current bound: 4784
1223.49/1228.54	c current bound: 4784
1224.21/1229.26	c current bound: 4784
1225.10/1229.99	c current bound: 4784
1225.66/1230.72	c current bound: 4784
1226.40/1231.47	c current bound: 4784
1227.40/1232.20	c current bound: 4784
1227.86/1232.93	c current bound: 4784
1228.61/1233.68	c current bound: 4784
1229.58/1234.40	c current bound: 4784
1230.07/1235.13	c current bound: 4784
1230.84/1235.89	c current bound: 4784
1231.80/1236.64	c current bound: 4784
1232.31/1237.36	c current bound: 4784
1233.03/1238.09	c current bound: 4784
1233.98/1238.82	c current bound: 4784
1234.49/1239.55	c current bound: 4784
1235.22/1240.28	c current bound: 4784
1236.20/1241.02	c current bound: 4784
1236.69/1241.75	c current bound: 4784
1237.41/1242.48	c current bound: 4784
1238.39/1243.21	c current bound: 4784
1238.88/1243.94	c current bound: 4784
1239.63/1244.69	c current bound: 4784
1240.60/1245.43	c current bound: 4784
1241.10/1246.15	c current bound: 4784
1241.86/1246.91	c current bound: 4784
1242.81/1247.64	c current bound: 4784
1243.34/1248.37	c current bound: 4784
1244.08/1249.13	c current bound: 4784
1245.01/1249.85	c current bound: 4784
1245.54/1250.58	c current bound: 4784
1246.30/1251.33	c current bound: 4784
1247.22/1252.06	c current bound: 4784
1247.75/1252.78	c current bound: 4784
1248.50/1253.54	c current bound: 4784
1249.42/1254.26	c current bound: 4784
1249.96/1254.99	c current bound: 4784
1250.68/1255.72	c current bound: 4784
1251.61/1256.45	c current bound: 4784
1252.14/1257.18	c current bound: 4784
1252.89/1257.93	c current bound: 4784
1253.81/1258.66	c current bound: 4784
1254.34/1259.39	c current bound: 4784
1255.10/1260.14	c current bound: 4784
1255.84/1260.87	c current bound: 4784
1256.83/1261.60	c current bound: 4784
1257.32/1262.35	c current bound: 4784
1258.04/1263.08	c current bound: 4784
1258.77/1263.81	c current bound: 4784
1259.53/1264.56	c current bound: 4784
1260.26/1265.29	c current bound: 4784
1260.97/1266.02	c current bound: 4784
1261.71/1266.75	c current bound: 4784
1262.43/1267.48	c current bound: 4784
1263.16/1268.21	c current bound: 4784
1263.89/1268.93	c current bound: 4784
1264.81/1269.66	c current bound: 4784
1265.34/1270.38	c current bound: 4784
1266.10/1271.14	c current bound: 4784
1266.83/1271.87	c current bound: 4784
1267.56/1272.60	c current bound: 4784
1268.32/1273.35	c current bound: 4784
1269.04/1274.08	c current bound: 4784
1269.77/1274.80	c current bound: 4784
1270.53/1275.56	c current bound: 4784
1271.26/1276.30	c current bound: 4784
1271.99/1277.03	c current bound: 4784
1272.72/1277.76	c current bound: 4784
1273.45/1278.50	c current bound: 4784
1274.19/1279.23	c current bound: 4784
1274.92/1279.96	c current bound: 4784
1275.64/1280.69	c current bound: 4784
1276.37/1281.42	c current bound: 4784
1277.10/1282.14	c current bound: 4784
1277.82/1282.87	c current bound: 4784
1278.83/1283.60	c current bound: 4784
1279.29/1284.33	c current bound: 4784
1280.20/1285.06	c current bound: 4784
1280.73/1285.78	c current bound: 4784
1281.49/1286.55	c current bound: 4784
1282.23/1287.28	c current bound: 4784
1282.96/1288.01	c current bound: 4784
1283.71/1288.77	c current bound: 4784
1284.45/1289.50	c current bound: 4784
1285.18/1290.23	c current bound: 4784
1285.90/1290.95	c current bound: 4784
1286.64/1291.68	c current bound: 4784
1287.37/1292.41	c current bound: 4784
1288.10/1293.13	c current bound: 4784
1289.02/1293.86	c current bound: 4784
1289.56/1294.59	c current bound: 4784
1290.28/1295.32	c current bound: 4784
1291.21/1296.04	c current bound: 4784
1291.72/1296.77	c current bound: 4784
1292.48/1297.53	c current bound: 4784
1293.41/1298.25	c current bound: 4784
1293.94/1298.98	c current bound: 4784
1294.66/1299.71	c current bound: 4784
1295.62/1300.43	c current bound: 4784
1296.12/1301.16	c current bound: 4784
1296.85/1301.89	c current bound: 4784
1297.82/1302.62	c current bound: 4784
1298.31/1303.34	c current bound: 4784
1299.06/1304.09	c current bound: 4784
1300.03/1304.82	c current bound: 4784
1300.51/1305.55	c current bound: 4784
1301.26/1306.29	c current bound: 4784
1302.22/1307.02	c current bound: 4784
1302.71/1307.75	c current bound: 4784
1303.44/1308.48	c current bound: 4784
1304.42/1309.21	c current bound: 4784
1304.90/1309.94	c current bound: 4784
1305.64/1310.68	c current bound: 4784
1306.62/1311.41	c current bound: 4784
1307.11/1312.16	c current bound: 4784
1307.86/1312.92	c current bound: 4784
1308.82/1313.64	c current bound: 4784
1309.33/1314.37	c current bound: 4784
1310.07/1315.12	c current bound: 4784
1311.01/1315.86	c current bound: 4784
1311.54/1316.59	c current bound: 4784
1312.30/1317.34	c current bound: 4784
1313.22/1318.07	c current bound: 4784
1313.74/1318.79	c current bound: 4784
1314.49/1319.54	c current bound: 4784
1315.41/1320.28	c current bound: 4784
1315.96/1321.02	c current bound: 4784
1316.73/1321.77	c current bound: 4784
1317.72/1322.50	c current bound: 4784
1318.17/1323.22	c current bound: 4784
1318.93/1323.97	c current bound: 4784
1319.83/1324.69	c current bound: 4784
1320.38/1325.42	c current bound: 4784
1321.13/1326.17	c current bound: 4784
1322.12/1326.90	c current bound: 4784
1322.59/1327.63	c current bound: 4784
1323.33/1328.37	c current bound: 4784
1324.31/1329.10	c current bound: 4784
1324.79/1329.83	c current bound: 4784
1325.55/1330.58	c current bound: 4784
1326.51/1331.31	c current bound: 4784
1326.99/1332.04	c current bound: 4784
1327.74/1332.79	c current bound: 4784
1328.71/1333.51	c current bound: 4784
1329.20/1334.24	c current bound: 4784
1329.94/1334.99	c current bound: 4784
1330.92/1335.72	c current bound: 4784
1331.41/1336.44	c current bound: 4784
1332.13/1337.17	c current bound: 4784
1333.11/1337.90	c current bound: 4784
1333.58/1338.63	c current bound: 4784
1334.33/1339.38	c current bound: 4784
1335.30/1340.11	c current bound: 4784
1335.80/1340.84	c current bound: 4784
1336.55/1341.59	c current bound: 4784
1337.51/1342.32	c current bound: 4784
1337.99/1343.04	c current bound: 4784
1338.74/1343.79	c current bound: 4784
1339.71/1344.52	c current bound: 4784
1340.20/1345.25	c current bound: 4784
1340.95/1346.00	c current bound: 4784
1341.90/1346.73	c current bound: 4784
1342.42/1347.45	c current bound: 4784
1343.14/1348.18	c current bound: 4784
1344.11/1348.91	c current bound: 4784
1344.60/1349.65	c current bound: 4784
1345.64/1350.40	c current bound: 4784
1346.33/1351.12	c current bound: 4784
1346.83/1351.85	c current bound: 4784
1347.55/1352.58	c current bound: 4784
1348.52/1353.31	c current bound: 4784
1349.01/1354.03	c current bound: 4784
1349.74/1354.78	c current bound: 4784
1350.73/1355.51	c current bound: 4784
1351.20/1356.23	c current bound: 4784
1351.94/1356.99	c current bound: 4784
1352.91/1357.72	c current bound: 4784
1353.42/1358.44	c current bound: 4784
1354.16/1359.19	c current bound: 4784
1355.12/1359.93	c current bound: 4784
1355.62/1360.66	c current bound: 4784
1356.36/1361.39	c current bound: 4784
1357.32/1362.14	c current bound: 4784
1357.84/1362.87	c current bound: 4784
1358.60/1363.63	c current bound: 4784
1359.52/1364.35	c current bound: 4784
1360.05/1365.08	c current bound: 4784
1360.81/1365.84	c current bound: 4784
1361.55/1366.57	c current bound: 4784
1362.28/1367.31	c current bound: 4784
1363.04/1368.06	c current bound: 4784
1363.77/1368.79	c current bound: 4784
1364.49/1369.52	c current bound: 4784
1365.22/1370.24	c current bound: 4784
1365.96/1370.98	c current bound: 4784
1366.69/1371.70	c current bound: 4784
1367.41/1372.43	c current bound: 4784
1368.33/1373.16	c current bound: 4784
1368.87/1373.89	c current bound: 4784
1369.63/1374.64	c current bound: 4784
1370.35/1375.39	c current bound: 4784
1371.11/1376.12	c current bound: 4784
1371.83/1376.85	c current bound: 4784
1372.57/1377.58	c current bound: 4784
1373.31/1378.31	c current bound: 4784
1374.05/1379.07	c current bound: 4784
1374.79/1379.81	c current bound: 4784
1375.53/1380.53	c current bound: 4784
1376.26/1381.27	c current bound: 4784
1377.24/1382.00	c current bound: 4784
1377.70/1382.73	c current bound: 4784
1378.44/1383.46	c current bound: 4784
1379.18/1384.19	c current bound: 4784
1379.91/1384.92	c current bound: 4784
1380.64/1385.65	c current bound: 4784
1381.36/1386.38	c current bound: 4784
1382.09/1387.10	c current bound: 4784
1382.85/1387.86	c current bound: 4784
1383.56/1388.59	c current bound: 4784
1384.29/1389.34	c current bound: 4784
1385.02/1390.07	c current bound: 4784
1386.02/1390.80	c current bound: 4784
1386.49/1391.53	c current bound: 4784
1387.21/1392.26	c current bound: 4784
1387.95/1392.99	c current bound: 4784
1388.67/1393.72	c current bound: 4784
1389.41/1394.45	c current bound: 4784
1390.13/1395.18	c current bound: 4784
1390.86/1395.91	c current bound: 4784
1391.59/1396.64	c current bound: 4784
1392.32/1397.37	c current bound: 4784
1393.05/1398.09	c current bound: 4784
1393.80/1398.85	c current bound: 4784
1394.52/1399.58	c current bound: 4784
1395.26/1400.31	c current bound: 4784
1395.98/1401.04	c current bound: 4784
1396.71/1401.76	c current bound: 4784
1397.44/1402.49	c current bound: 4784
1398.20/1403.24	c current bound: 4784
1398.93/1403.97	c current bound: 4784
1399.66/1404.71	c current bound: 4784
1400.39/1405.45	c current bound: 4784
1401.14/1406.18	c current bound: 4784
1401.87/1406.91	c current bound: 4784
1402.59/1407.64	c current bound: 4784
1403.32/1408.36	c current bound: 4784
1404.05/1409.09	c current bound: 4784
1404.78/1409.82	c current bound: 4784
1405.71/1410.54	c current bound: 4784
1406.22/1411.27	c current bound: 4784
1407.22/1412.00	c current bound: 4784
1407.91/1412.72	c current bound: 4784
1408.41/1413.45	c current bound: 4784
1409.43/1414.20	c current bound: 4784
1410.13/1414.93	c current bound: 4784
1410.63/1415.66	c current bound: 4784
1411.38/1416.42	c current bound: 4784
1412.32/1417.14	c current bound: 4784
1412.84/1417.87	c current bound: 4784
1413.83/1418.60	c current bound: 4784
1414.52/1419.32	c current bound: 4784
1415.02/1420.05	c current bound: 4784
1415.76/1420.80	c current bound: 4784
1416.71/1421.53	c current bound: 4784
1417.22/1422.26	c current bound: 4784
1417.97/1423.01	c current bound: 4784
1418.91/1423.73	c current bound: 4784
1419.42/1424.46	c current bound: 4784
1420.15/1425.19	c current bound: 4784
1421.12/1425.91	c current bound: 4784
1421.60/1426.64	c current bound: 4784
1422.33/1427.37	c current bound: 4784
1423.23/1428.10	c current bound: 4784
1423.79/1428.82	c current bound: 4784
1424.52/1429.55	c current bound: 4784
1425.42/1430.28	c current bound: 4784
1425.97/1431.00	c current bound: 4784
1426.73/1431.76	c current bound: 4784
1427.62/1432.49	c current bound: 4784
1428.19/1433.22	c current bound: 4784
1428.93/1433.97	c current bound: 4784
1429.83/1434.69	c current bound: 4784
1430.39/1435.43	c current bound: 4784
1431.13/1436.17	c current bound: 4784
1432.12/1436.90	c current bound: 4784
1432.59/1437.62	c current bound: 4784
1433.34/1438.37	c current bound: 4784
1434.23/1439.10	c current bound: 4784
1434.79/1439.82	c current bound: 4784
1435.54/1440.58	c current bound: 4784
1436.51/1441.31	c current bound: 4784
1437.00/1442.03	c current bound: 4784
1437.75/1442.78	c current bound: 4784
1438.72/1443.52	c current bound: 4784
1439.23/1444.26	c current bound: 4784
1439.99/1445.01	c current bound: 4784
1440.91/1445.74	c current bound: 4784
1441.43/1446.47	c current bound: 4784
1442.43/1447.20	c current bound: 4784
1443.10/1447.93	c current bound: 4784
1443.61/1448.65	c current bound: 4784
1444.36/1449.40	c current bound: 4784
1445.30/1450.13	c current bound: 4784
1445.80/1450.86	c current bound: 4784
1446.57/1451.61	c current bound: 4784
1447.50/1452.34	c current bound: 4784
1448.01/1453.07	c current bound: 4784
1448.74/1453.79	c current bound: 4784
1449.70/1454.52	c current bound: 4784
1450.20/1455.25	c current bound: 4784
1450.92/1455.98	c current bound: 4784
1451.89/1456.70	c current bound: 4784
1452.39/1457.43	c current bound: 4784
1453.14/1458.18	c current bound: 4784
1454.10/1458.92	c current bound: 4784
1454.61/1459.65	c current bound: 4784
1455.32/1460.38	c current bound: 4784
1456.31/1461.11	c current bound: 4784
1456.79/1461.83	c current bound: 4784
1457.53/1462.57	c current bound: 4784
1458.52/1463.30	c current bound: 4784
1458.98/1464.03	c current bound: 4784
1459.74/1464.79	c current bound: 4784
1460.72/1465.52	c current bound: 4784
1461.20/1466.24	c current bound: 4784
1462.22/1467.00	c current bound: 4784
1462.91/1467.73	c current bound: 4784
1463.41/1468.45	c current bound: 4784
1464.15/1469.20	c current bound: 4784
1465.10/1469.93	c current bound: 4784
1465.61/1470.66	c current bound: 4784
1466.36/1471.41	c current bound: 4784
1467.30/1472.14	c current bound: 4784
1467.82/1472.86	c current bound: 4784
1468.56/1473.62	c current bound: 4784
1469.50/1474.34	c current bound: 4784
1470.02/1475.07	c current bound: 4784
1470.77/1475.83	c current bound: 4784
1471.70/1476.55	c current bound: 4784
1472.23/1477.28	c current bound: 4784
1472.98/1478.03	c current bound: 4784
1473.89/1478.76	c current bound: 4784
1474.43/1479.49	c current bound: 4784
1475.19/1480.25	c current bound: 4784
1475.93/1480.97	c current bound: 4784
1476.66/1481.70	c current bound: 4784
1477.38/1482.43	c current bound: 4784
1478.30/1483.16	c current bound: 4784
1478.85/1483.88	c current bound: 4784
1479.60/1484.64	c current bound: 4784
1480.31/1485.39	c current bound: 4784
1481.06/1486.11	c current bound: 4784
1481.83/1486.87	c current bound: 4784
1482.56/1487.65	c current bound: 4784
1483.28/1488.38	c current bound: 4784
1484.00/1489.11	c current bound: 4784
1484.73/1489.84	c current bound: 4784
1485.46/1490.57	c current bound: 4784
1486.46/1491.30	c current bound: 4784
1486.92/1492.14	c current bound: 4784
1487.85/1492.86	c current bound: 4784
1488.37/1493.59	c current bound: 4784
1489.11/1494.35	c current bound: 4784
1490.02/1495.07	c current bound: 4784
1490.56/1495.80	c current bound: 4784
1491.31/1496.54	c current bound: 4784
1492.23/1497.27	c current bound: 4784
1493.05/1498.00	c current bound: 4784
1493.52/1498.73	c current bound: 4784
1494.44/1499.46	c current bound: 4784
1494.97/1500.19	c current bound: 4784
1495.70/1500.92	c current bound: 4784
1496.64/1501.64	c current bound: 4784
1497.15/1502.37	c current bound: 4784
1497.89/1503.11	c current bound: 4784
1498.84/1503.83	c current bound: 4784
1499.35/1504.56	c current bound: 4784
1500.10/1505.30	c current bound: 4784
1501.05/1506.03	c current bound: 4784
1501.55/1506.76	c current bound: 4784
1502.28/1507.49	c current bound: 4784
1503.25/1508.22	c current bound: 4784
1503.75/1508.94	c current bound: 4784
1504.47/1509.68	c current bound: 4784
1505.45/1510.41	c current bound: 4784
1505.94/1511.14	c current bound: 4784
1506.67/1511.88	c current bound: 4784
1507.39/1512.61	c current bound: 4784
1508.11/1513.33	c current bound: 4784
1508.86/1514.07	c current bound: 4784
1509.59/1514.79	c current bound: 4784
1510.30/1515.52	c current bound: 4784
1511.03/1516.25	c current bound: 4784
1511.76/1516.97	c current bound: 4784
1512.49/1517.70	c current bound: 4784
1513.22/1518.44	c current bound: 4784
1513.94/1519.16	c current bound: 4784
1514.67/1519.89	c current bound: 4784
1515.41/1520.62	c current bound: 4784
1516.14/1521.35	c current bound: 4784
1516.87/1522.08	c current bound: 4784
1517.60/1522.81	c current bound: 4784
1518.32/1523.53	c current bound: 4784
1519.05/1524.26	c current bound: 4784
1519.78/1524.99	c current bound: 4784
1520.51/1525.72	c current bound: 4784
1521.23/1526.44	c current bound: 4784
1521.96/1527.18	c current bound: 4784
1522.69/1527.91	c current bound: 4784
1523.42/1528.64	c current bound: 4784
1524.14/1529.37	c current bound: 4784
1524.88/1530.09	c current bound: 4784
1525.60/1530.82	c current bound: 4784
1526.54/1531.55	c current bound: 4784
1527.05/1532.28	c current bound: 4784
1527.80/1533.03	c current bound: 4784
1528.74/1533.75	c current bound: 4784
1529.26/1534.48	c current bound: 4784
1529.98/1535.21	c current bound: 4784
1530.92/1535.94	c current bound: 4784
1531.44/1536.66	c current bound: 4784
1532.17/1537.39	c current bound: 4784
1533.11/1538.15	c current bound: 4784
1533.62/1538.88	c current bound: 4784
1534.34/1539.60	c current bound: 4784
1535.30/1540.33	c current bound: 4784
1535.81/1541.06	c current bound: 4784
1536.57/1541.81	c current bound: 4784
1537.53/1542.66	c current bound: 4784
1538.02/1543.38	c current bound: 4784
1538.75/1544.11	c current bound: 4784
1539.49/1544.84	c current bound: 4784
1540.22/1545.58	c current bound: 4784
1540.94/1546.30	c current bound: 4784
1541.67/1547.03	c current bound: 4784
1542.67/1547.81	c current bound: 4784
1543.13/1548.53	c current bound: 4784
1543.86/1549.27	c current bound: 4784
1544.59/1549.99	c current bound: 4784
1545.32/1550.72	c current bound: 4784
1546.05/1551.46	c current bound: 4784
1546.77/1552.18	c current bound: 4784
1547.50/1552.91	c current bound: 4784
1548.24/1553.65	c current bound: 4784
1548.97/1554.38	c current bound: 4784
1549.70/1555.11	c current bound: 4784
1550.44/1555.84	c current bound: 4784
1551.16/1556.57	c current bound: 4784
1551.89/1557.29	c current bound: 4784
1552.63/1558.03	c current bound: 4784
1553.35/1558.76	c current bound: 4784
1554.08/1559.48	c current bound: 4784
1554.81/1560.21	c current bound: 4784
1555.53/1560.94	c current bound: 4784
1556.26/1561.67	c current bound: 4784
1557.25/1562.40	c current bound: 4784
1557.72/1563.12	c current bound: 4784
1558.45/1563.85	c current bound: 4784
1559.16/1564.58	c current bound: 4784
1559.88/1565.31	c current bound: 4784
1560.65/1566.06	c current bound: 4784
1561.38/1566.79	c current bound: 4784
1562.11/1567.52	c current bound: 4784
1562.83/1568.25	c current bound: 4784
1563.56/1568.98	c current bound: 4784
1564.29/1569.71	c current bound: 4784
1565.06/1570.47	c current bound: 4784
1565.79/1571.20	c current bound: 4784
1566.51/1571.93	c current bound: 4784
1567.24/1572.65	c current bound: 4784
1567.97/1573.38	c current bound: 4784
1568.70/1574.11	c current bound: 4784
1569.45/1574.86	c current bound: 4784
1570.17/1575.59	c current bound: 4784
1570.90/1576.32	c current bound: 4784
1571.63/1577.04	c current bound: 4784
1572.36/1577.78	c current bound: 4784
1573.09/1578.50	c current bound: 4784
1573.84/1579.26	c current bound: 4784
1574.58/1579.99	c current bound: 4784
1575.30/1580.71	c current bound: 4784
1576.06/1581.48	c current bound: 4784
1576.80/1582.21	c current bound: 4784
1577.53/1582.94	c current bound: 4784
1578.53/1583.70	c current bound: 4784
1578.98/1584.43	c current bound: 4784
1579.71/1585.16	c current bound: 4784
1580.43/1585.88	c current bound: 4784
1581.17/1586.62	c current bound: 4784
1581.89/1587.34	c current bound: 4784
1582.62/1588.23	c current bound: 4784
1583.35/1588.98	c current bound: 4784
1584.36/1589.71	c current bound: 4784
1584.83/1590.44	c current bound: 4784
1585.57/1591.18	c current bound: 4784
1586.55/1591.91	c current bound: 4784
1587.04/1592.64	c current bound: 4784
1588.06/1593.40	c current bound: 4784
1588.76/1594.13	c current bound: 4784
1589.25/1594.85	c current bound: 4784
1590.26/1595.60	c current bound: 4784
1590.96/1596.32	c current bound: 4784
1591.45/1597.06	c current bound: 4784
1592.19/1597.81	c current bound: 4784
1593.15/1598.54	c current bound: 4784
1593.92/1599.32	c current bound: 4784
1594.39/1600.07	c current bound: 4784
1595.37/1600.80	c current bound: 4784
1595.86/1601.53	c current bound: 4784
1596.59/1602.26	c current bound: 4784
1597.48/1602.99	c current bound: 4784
1598.03/1603.71	c current bound: 4784
1598.78/1604.46	c current bound: 4784
1599.68/1605.18	c current bound: 4784
1600.23/1605.91	c current bound: 4784
1600.99/1606.66	c current bound: 4784
1601.87/1607.38	c current bound: 4784
1602.43/1608.12	c current bound: 4784
1603.18/1608.86	c current bound: 4784
1604.07/1609.59	c current bound: 4784
1604.63/1610.31	c current bound: 4784
1605.37/1611.06	c current bound: 4784
1606.27/1611.80	c current bound: 4784
1606.84/1612.52	c current bound: 4784
1607.83/1613.35	c current bound: 4784
1608.29/1614.08	c current bound: 4784
1609.02/1614.81	c current bound: 4784
1609.75/1615.54	c current bound: 4784
1610.48/1616.27	c current bound: 4784
1611.48/1617.00	c current bound: 4784
1611.97/1617.76	c current bound: 4784
1612.98/1618.51	c current bound: 4784
1613.42/1619.23	c current bound: 4784
1614.16/1619.96	c current bound: 4784
1614.90/1620.69	c current bound: 4784
1615.62/1621.42	c current bound: 4784
1616.35/1622.15	c current bound: 4784
1617.07/1622.88	c current bound: 4784
1617.81/1623.61	c current bound: 4784
1618.52/1624.34	c current bound: 4784
1619.45/1625.06	c current bound: 4784
1619.98/1625.79	c current bound: 4784
1620.71/1626.53	c current bound: 4784
1621.64/1627.26	c current bound: 4784
1622.17/1627.98	c current bound: 4784
1622.89/1628.71	c current bound: 4784
1623.84/1629.44	c current bound: 4784
1624.35/1630.17	c current bound: 4784
1625.12/1630.93	c current bound: 4784
1626.04/1631.65	c current bound: 4784
1626.57/1632.38	c current bound: 4784
1627.30/1633.11	c current bound: 4784
1628.24/1633.85	c current bound: 4784
1628.76/1634.57	c current bound: 4784
1629.51/1635.33	c current bound: 4784
1630.44/1636.06	c current bound: 4784
1630.98/1636.79	c current bound: 4784
1631.71/1637.54	c current bound: 4784
1632.44/1638.27	c current bound: 4784
1633.44/1639.00	c current bound: 4784
1633.93/1639.75	c current bound: 4784
1634.66/1640.49	c current bound: 4784
1635.39/1641.22	c current bound: 4784
1636.12/1641.94	c current bound: 4784
1636.85/1642.67	c current bound: 4784
1637.58/1643.40	c current bound: 4784
1638.30/1644.14	c current bound: 4784
1639.05/1644.86	c current bound: 4784
1639.78/1645.60	c current bound: 4784
1640.52/1646.33	c current bound: 4784
1641.43/1647.06	c current bound: 4784
1641.96/1647.78	c current bound: 4784
1642.69/1648.51	c current bound: 4784
1643.62/1649.24	c current bound: 4784
1644.14/1649.97	c current bound: 4784
1644.90/1650.72	c current bound: 4784
1645.82/1651.45	c current bound: 4784
1646.36/1652.18	c current bound: 4784
1647.12/1652.93	c current bound: 4784
1648.04/1653.66	c current bound: 4784
1648.61/1654.46	c current bound: 4784
1649.34/1655.19	c current bound: 4784
1650.06/1655.92	c current bound: 4784
1650.79/1656.66	c current bound: 4784
1651.53/1657.39	c current bound: 4784
1652.25/1658.12	c current bound: 4784
1653.25/1658.94	c current bound: 4784
1653.71/1659.66	c current bound: 4784
1654.45/1660.40	c current bound: 4784
1655.41/1661.13	c current bound: 4784
1655.90/1661.86	c current bound: 4784
1656.64/1662.61	c current bound: 4784
1657.61/1663.36	c current bound: 4784
1658.14/1664.09	c current bound: 4784
1658.86/1664.83	c current bound: 4784
1659.80/1665.56	c current bound: 4784
1660.33/1666.29	c current bound: 4784
1661.06/1667.02	c current bound: 4784
1662.01/1667.75	c current bound: 4784
1662.51/1668.47	c current bound: 4784
1663.25/1669.21	c current bound: 4784
1664.21/1669.94	c current bound: 4784
1664.71/1670.66	c current bound: 4784
1665.45/1671.40	c current bound: 4784
1666.41/1672.13	c current bound: 4784
1666.90/1672.85	c current bound: 4784
1667.64/1673.59	c current bound: 4784
1668.60/1674.32	c current bound: 4784
1669.09/1675.04	c current bound: 4784
1669.83/1675.78	c current bound: 4784
1670.81/1676.51	c current bound: 4784
1671.29/1677.24	c current bound: 4784
1672.02/1677.98	c current bound: 4784
1673.02/1678.71	c current bound: 4784
1673.50/1679.44	c current bound: 4784
1674.22/1680.17	c current bound: 4784
1674.95/1680.89	c current bound: 4784
1675.67/1681.62	c current bound: 4784
1676.41/1682.35	c current bound: 4784
1677.13/1683.08	c current bound: 4784
1677.86/1683.81	c current bound: 4784
1678.60/1684.54	c current bound: 4784
1679.32/1685.27	c current bound: 4784
1680.33/1686.00	c current bound: 4784
1680.79/1686.73	c current bound: 4784
1681.52/1687.46	c current bound: 4784
1682.25/1688.19	c current bound: 4784
1682.98/1688.94	c current bound: 4784
1683.72/1689.66	c current bound: 4784
1684.45/1690.39	c current bound: 4784
1685.19/1691.13	c current bound: 4784
1685.91/1691.86	c current bound: 4784
1686.65/1692.58	c current bound: 4784
1687.36/1693.32	c current bound: 4784
1688.10/1694.06	c current bound: 4784
1688.84/1694.83	c current bound: 4784
1689.56/1695.56	c current bound: 4784
1690.29/1696.29	c current bound: 4784
1691.02/1697.02	c current bound: 4784
1691.76/1697.76	c current bound: 4784
1692.49/1698.48	c current bound: 4784
1693.21/1699.33	c current bound: 4784
1693.96/1700.07	c current bound: 4784
1694.85/1700.80	c current bound: 4784
1695.42/1701.53	c current bound: 4784
1696.15/1702.28	c current bound: 4784
1697.15/1703.00	c current bound: 4784
1697.61/1703.73	c current bound: 4784
1698.35/1704.46	c current bound: 4784
1699.25/1705.19	c current bound: 4784
1699.79/1705.92	c current bound: 4784
1700.54/1706.65	c current bound: 4784
1701.44/1707.37	c current bound: 4784
1702.26/1708.10	c current bound: 4784
1702.72/1708.85	c current bound: 4784
1703.64/1709.58	c current bound: 4784
1704.19/1710.30	c current bound: 4784
1704.92/1711.05	c current bound: 4784
1705.83/1711.78	c current bound: 4784
1706.39/1712.50	c current bound: 4784
1707.13/1713.24	c current bound: 4784
1708.04/1713.97	c current bound: 4784
1708.58/1714.71	c current bound: 4784
1709.33/1715.43	c current bound: 4784
1710.24/1716.16	c current bound: 4784
1710.78/1716.89	c current bound: 4784
1711.51/1717.63	c current bound: 4784
1712.44/1718.36	c current bound: 4784
1712.98/1719.09	c current bound: 4784
1713.72/1719.83	c current bound: 4784
1714.65/1720.55	c current bound: 4784
1715.17/1721.28	c current bound: 4784
1715.91/1722.02	c current bound: 4784
1716.85/1722.74	c current bound: 4784
1717.37/1723.47	c current bound: 4784
1718.09/1724.21	c current bound: 4784
1719.05/1724.94	c current bound: 4784
1719.56/1725.66	c current bound: 4784
1720.30/1726.40	c current bound: 4784
1721.25/1727.13	c current bound: 4784
1721.75/1727.86	c current bound: 4784
1722.49/1728.58	c current bound: 4784
1723.46/1729.31	c current bound: 4784
1723.93/1730.06	c current bound: 4784
1724.95/1730.80	c current bound: 4784
1725.64/1731.53	c current bound: 4784
1726.15/1732.25	c current bound: 4784
1727.16/1733.00	c current bound: 4784
1727.84/1733.72	c current bound: 4784
1728.33/1734.47	c current bound: 4784
1729.09/1735.21	c current bound: 4784
1730.05/1735.93	c current bound: 4784
1730.55/1736.66	c current bound: 4784
1731.54/1737.40	c current bound: 4784
1732.23/1738.13	c current bound: 4784
1732.75/1738.85	c current bound: 4784
1733.77/1739.60	c current bound: 4784
1734.41/1740.37	c current bound: 4784
1734.95/1741.11	c current bound: 4784
1735.71/1741.87	c current bound: 4784
1736.60/1742.59	c current bound: 4784
1737.16/1743.32	c current bound: 4784
1737.90/1744.06	c current bound: 4784
1738.90/1744.88	c current bound: 4784
1739.36/1745.61	c current bound: 4784
1740.10/1746.36	c current bound: 4784
1740.99/1747.09	c current bound: 4784
1741.55/1747.82	c current bound: 4784
1742.29/1748.55	c current bound: 4784
1743.19/1749.28	c current bound: 4784
1743.74/1750.00	c current bound: 4784
1744.46/1750.74	c current bound: 4784
1745.40/1751.46	c current bound: 4784
1746.20/1752.20	c current bound: 4784
1746.67/1752.94	c current bound: 4784
1747.58/1753.67	c current bound: 4784
1748.39/1754.40	c current bound: 4784
1748.86/1755.13	c current bound: 4784
1749.80/1755.86	c current bound: 4784
1750.33/1756.59	c current bound: 4784
1751.06/1757.34	c current bound: 4784
1751.99/1758.07	c current bound: 4784
1752.81/1758.80	c current bound: 4784
1753.28/1759.54	c current bound: 4784
1754.19/1760.27	c current bound: 4784
1754.72/1761.00	c current bound: 4784
1755.49/1761.76	c current bound: 4784
1756.40/1762.48	c current bound: 4784
1756.94/1763.21	c current bound: 4784
1757.67/1763.95	c current bound: 4784
1758.59/1764.67	c current bound: 4784
1759.40/1765.40	c current bound: 4784
1759.87/1766.14	c current bound: 4784
1760.79/1766.87	c current bound: 4784
1761.60/1767.60	c current bound: 4784
1762.07/1768.34	c current bound: 4784
1762.99/1769.06	c current bound: 4784
1763.53/1769.79	c current bound: 4784
1764.26/1770.58	c current bound: 4784
1765.23/1771.31	c current bound: 4784
1765.72/1772.03	c current bound: 4784
1766.46/1772.78	c current bound: 4784
1767.42/1773.51	c current bound: 4784
1767.91/1774.23	c current bound: 4784
1768.65/1774.98	c current bound: 4784
1769.58/1775.75	c current bound: 4784
1770.12/1776.49	c current bound: 4784
1770.85/1777.22	c current bound: 4784
1771.78/1777.95	c current bound: 4784
1772.31/1778.67	c current bound: 4784
1773.07/1779.43	c current bound: 4784
1774.05/1780.29	c current bound: 4784
1774.76/1781.02	c current bound: 4784
1775.26/1781.74	c current bound: 4784
1775.99/1782.48	c current bound: 4784
1776.97/1783.21	c current bound: 4784
1777.44/1783.93	c current bound: 4784
1778.17/1784.67	c current bound: 4784
1779.17/1785.40	c current bound: 4784
1779.64/1786.13	c current bound: 4784
1780.37/1786.87	c current bound: 4784
1781.10/1787.59	c current bound: 4784
1781.82/1788.32	c current bound: 4784
1782.57/1789.06	c current bound: 4784
1783.29/1789.79	c current bound: 4784
1784.02/1790.51	c current bound: 4784
1784.75/1791.25	c current bound: 4784
1785.48/1791.98	c current bound: 4784
1786.20/1792.70	c current bound: 4784
1786.93/1793.44	c current bound: 4784
1787.67/1794.17	c current bound: 4784
1788.67/1794.90	c current bound: 4784
1789.13/1795.63	c current bound: 4784
1789.86/1796.36	c current bound: 4784
1790.58/1797.09	c current bound: 4784
1791.31/1797.82	c current bound: 4784
1792.04/1798.54	c current bound: 4784
1792.78/1799.27	c current bound: 4784
1793.51/1800.00	c current bound: 4784
1794.24/1800.73	c current bound: 4784
1794.96/1801.46	c current bound: 4784
1795.69/1802.19	c current bound: 4784
1796.43/1802.92	c current bound: 4784
1797.15/1803.66	c current bound: 4784
1797.90/1804.39	c current bound: 4784
1798.62/1805.12	c current bound: 4784
1799.36/1805.85	c current bound: 4784
1800.07/1806.31	./satsolver.sh: line 5:   387 Terminated              ./glucose $1 > $2 2> /dev/null
1800.07/1806.31	c error: unexpected solver exit code
1800.07/1806.31	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-3753117-1339210060/watcher-3753117-1339210060 -o /tmp/evaluation-result-3753117-1339210060/solver-3753117-1339210060 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753117-1339210060.wbo 1327104154 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 25899
/proc/meminfo: memFree=30028136/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0

[startup+0.100528 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25899
/proc/meminfo: memFree=30028136/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.20031 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25899
/proc/meminfo: memFree=30028136/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25899
/proc/meminfo: memFree=30028136/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700244 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 25899
/proc/meminfo: memFree=30028136/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25920
/proc/meminfo: memFree=29968100/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1.24 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 5821 30524 0 0 18 3 84 19 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 29016

[startup+3.10016 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 25930
/proc/meminfo: memFree=29991584/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=2.72 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 10201 61011 0 0 35 4 185 48 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 29016

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25967
/proc/meminfo: memFree=30028380/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=6.04 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) R 25899 25899 718 0 -1 4202496 20741 124736 0 0 76 9 400 119 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980472696 5056689 0 0 4096 0 0 0 0 17 0 0 0 13 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 29016

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26028
/proc/meminfo: memFree=29998932/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=11.97 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 38665 242598 0 0 148 18 799 232 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 11.97
Current children cumulated vsize (KiB) 29016

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26336
/proc/meminfo: memFree=29943940/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=24.94 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 75901 507785 0 0 296 35 1684 479 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 29016

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26880
/proc/meminfo: memFree=29971696/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=50.45 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 134660 1019401 0 0 600 70 3405 970 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 18 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 50.45
Current children cumulated vsize (KiB) 29016

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28010
/proc/meminfo: memFree=30005424/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=101.54 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) R 25899 25899 718 0 -1 4202496 249953 2049689 0 0 1198 135 6868 1953 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980472696 5056689 0 0 4096 0 0 0 0 17 0 0 0 25 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 29016

[startup+162.3 s]
/proc/loadavg: 1.89 1.97 1.99 3/184 29306
/proc/meminfo: memFree=29991384/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=161 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 384831 3246268 0 0 1894 212 10891 3103 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 32 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 29016

[startup+222.307 s]
/proc/loadavg: 1.85 1.94 1.98 3/179 30620
/proc/meminfo: memFree=30016332/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=220.93 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 441479 4443783 0 0 2529 278 14997 4289 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 39 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 220.93
Current children cumulated vsize (KiB) 29016

[startup+282.3 s]
/proc/loadavg: 1.88 1.93 1.97 3/183 31911
/proc/meminfo: memFree=29988816/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=280.6 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 493388 5636894 0 0 3158 342 19097 5463 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 44 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 280.6
Current children cumulated vsize (KiB) 29016

[startup+342.3 s]
/proc/loadavg: 2.12 1.98 1.98 3/183 776
/proc/meminfo: memFree=29920052/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=340.46 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 545948 6836676 0 0 3805 407 23178 6656 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 47 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 340.46
Current children cumulated vsize (KiB) 29016

[startup+402.3 s]
/proc/loadavg: 2.15 2.02 2.00 3/181 2128
/proc/meminfo: memFree=29999828/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1237.41
Current children cumulated vsize (KiB) 29016

[startup+1302.3 s]
/proc/loadavg: 1.98 1.95 1.96 3/183 21772
/proc/meminfo: memFree=29955908/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1297.21 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 906416 26184937 0 0 14137 1431 88821 25332 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 83 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1297.21
Current children cumulated vsize (KiB) 29016

[startup+1362.3 s]
/proc/loadavg: 1.84 1.91 1.94 3/183 23092
/proc/meminfo: memFree=29992908/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1357.46 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 918388 27412116 0 0 14789 1495 92963 26499 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 83 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1357.46
Current children cumulated vsize (KiB) 29016

[startup+1422.3 s]
/proc/loadavg: 1.88 1.91 1.94 3/184 24389
/proc/meminfo: memFree=29969104/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1417.53 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) R 25899 25899 718 0 -1 4202496 930354 28637873 0 0 15438 1558 97097 27660 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980471264 4535977 0 0 4096 0 0 0 0 17 4 0 0 83 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1417.53
Current children cumulated vsize (KiB) 29016

[startup+1482.3 s]
/proc/loadavg: 1.94 1.93 1.94 3/183 25709
/proc/meminfo: memFree=29965216/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1477.38 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 942192 29858189 0 0 16087 1621 101224 28806 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 83 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1477.38
Current children cumulated vsize (KiB) 29016

[startup+1542.3 s]
/proc/loadavg: 1.98 1.94 1.94 3/184 27051
/proc/meminfo: memFree=29978376/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1537.28 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 954164 31086529 0 0 16739 1685 105336 29968 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 92 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
[pid=27049] ppid=25900 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27049/stat : 27049 (cp2_post.sh) S 25900 25899 718 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 387284584 9367552 266 33554432000 4194304 5064252 140736893048864 140736893047152 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27049/statm: 2287 266 225 213 0 72 0
[pid=27050] ppid=27049 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/27050/stat : 27050 (cat) S 27049 25899 718 0 -1 4202496 217 0 0 0 0 0 0 0 20 0 1 0 387284584 4100096 122 33554432000 4194304 4236627 140734966219216 140734966218312 209883842016 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/27050/statm: 1001 122 96 11 0 67 0
[pid=27051] ppid=27049 vsize=7072 CPUtime=0.02 cores=0,2,4,6
/proc/27051/stat : 27051 (coprocessor) R 27049 25899 718 0 -1 4202496 1534 0 0 0 2 0 0 0 20 0 1 0 387284584 7241728 1221 33554432000 4194304 6586260 140734516423264 140736893047176 5732400 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/27051/statm: 1768 1221 148 584 0 1180 0
Current children cumulated CPU time (s) 1537.3
Current children cumulated vsize (KiB) 49240

[startup+1602.3 s]
/proc/loadavg: 1.99 1.95 1.94 3/183 28357
/proc/meminfo: memFree=29945684/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1596.89 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) R 25899 25899 718 0 -1 4202496 966124 32303908 0 0 17388 1748 109446 31107 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980471264 4583870 0 0 4096 0 0 0 0 17 4 0 0 95 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1596.89
Current children cumulated vsize (KiB) 29016

[startup+1662.31 s]
/proc/loadavg: 1.94 1.94 1.94 3/183 29684
/proc/meminfo: memFree=29905996/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1656.27 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 977956 33517576 0 0 18036 1811 113549 32231 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 99 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
[pid=29681] ppid=25900 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29681/stat : 29681 (satsolver.sh) S 25900 25899 718 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387296551 9367552 267 33554432000 4194304 5064252 140734892552960 140734892551872 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/29681/statm: 2287 267 226 213 0 72 0
[pid=29682] ppid=29681 vsize=48608 CPUtime=0.34 cores=0,2,4,6
/proc/29682/stat : 29682 (glucose) R 29681 25899 718 0 -1 4202496 9896 0 0 0 33 1 0 0 20 0 1 0 387296551 49774592 10601 33554432000 4194304 5208918 140737043794944 140737043793352 4607488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29682/statm: 12152 10601 105 248 0 11901 0
Current children cumulated CPU time (s) 1656.61
Current children cumulated vsize (KiB) 86772

[startup+1722.3 s]
/proc/loadavg: 1.83 1.91 1.92 3/183 30994
/proc/meminfo: memFree=29914200/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1716.27 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 989928 34741660 0 0 18688 1874 117690 33375 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 104 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1716.27
Current children cumulated vsize (KiB) 29016

[startup+1782.3 s]
/proc/loadavg: 1.79 1.88 1.91 3/183 32320
/proc/meminfo: memFree=29937608/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1775.99 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 1001760 35958307 0 0 19332 1937 121797 34533 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470176 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 112 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
Current children cumulated CPU time (s) 1775.99
Current children cumulated vsize (KiB) 29016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.3 s]
/proc/loadavg: 1.73 1.86 1.90 3/182 392
/proc/meminfo: memFree=29944392/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1799.72 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 1006572 36446663 0 0 19594 1963 123419 34996 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 112 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
[pid=386] ppid=25900 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/386/stat : 386 (satsolver.sh) S 25900 25899 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387310951 9367552 266 33554432000 4194304 5064252 140735139692976 140735139691888 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/386/statm: 2287 266 226 213 0 72 0
[pid=387] ppid=386 vsize=48612 CPUtime=0.35 cores=0,2,4,6
/proc/387/stat : 387 (glucose) R 386 25899 718 0 -1 4202496 10182 0 0 0 34 1 0 0 20 0 1 0 387310951 49778688 10906 33554432000 4194304 5208918 140733566465600 140733566462120 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/387/statm: 12153 10906 105 248 0 11902 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 86776

Sending SIGTERM to process tree (bottom up)

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

[startup+1806.3 s]
/proc/loadavg: 1.73 1.86 1.90 3/182 392
/proc/meminfo: memFree=29944392/32873844 swapFree=7632/7632
[pid=25899] ppid=25897 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25899/stat : 25899 (npSolver-wbo-It) S 25897 25899 718 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 387130356 9367552 275 33554432000 4194304 5064252 140734572038160 140734572037072 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25899/statm: 2287 275 233 213 0 72 0
[pid=25900] ppid=25899 vsize=19868 CPUtime=1799.72 cores=0,2,4,6
/proc/25900/stat : 25900 (npSolver-wbo) S 25899 25899 718 0 -1 4202496 1006572 36446663 0 0 19594 1963 123419 34996 20 0 1 0 387130356 20344832 4505 33554432000 4194304 6006132 140736980479328 140736980470688 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 112 0 0
/proc/25900/statm: 4967 4505 176 443 0 4520 0
[pid=386] ppid=25900 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/386/stat : 386 (satsolver.sh) S 25900 25899 718 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387310951 9367552 266 33554432000 4194304 5064252 140735139692976 140735139691888 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/386/statm: 2287 266 226 213 0 72 0
[pid=387] ppid=386 vsize=48612 CPUtime=0.35 cores=0,2,4,6
/proc/387/stat : 387 (glucose) R 386 25899 718 0 -1 4202496 10182 0 0 0 34 1 0 0 20 0 1 0 387310951 49778688 10906 33554432000 4194304 5208918 140733566465600 140733566462120 4607488 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/387/statm: 12153 10906 105 248 0 11902 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 86776

Child status: 0
Real time (s): 1806.32
CPU time (s): 1800.11
CPU user time (s): 1430.48
CPU system time (s): 369.625
CPU usage (%): 99.6562
Max. virtual memory (cumulated for all children) (KiB): 87336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1430.48
system time used= 369.625
maximum resident set size= 43820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37464407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 33753320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 703119
involuntary context switches= 31977

runsolver used 3.00254 second user time and 7.69283 second system time

The end

Launcher Data

Begin job on node141 at 2012-06-09 04:47:40
IDJOB=3753117
IDBENCH=79400
IDSOLVER=2336
FILE ID=node141/3753117-1339210060
RUNJOBID= node141-1339204598-734
PBS_JOBID= 14643863
Free space on /tmp= 69296 MiB

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

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

MD5SUM BENCH= 11b5917216c9682d33b4eac8f024a9c6
RANDOM SEED=1327104154

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30028664 kB
Buffers:          354416 kB
Cached:          1509156 kB
SwapCached:         3056 kB
Active:           588172 kB
Inactive:        1313000 kB
Active(anon):      35776 kB
Inactive(anon):     2872 kB
Active(file):     552396 kB
Inactive(file):  1310128 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098996 kB
Dirty:              9352 kB
Writeback:             0 kB
AnonPages:         60176 kB
Mapped:            10136 kB
Shmem:                 0 kB
Slab:             803736 kB
SReclaimable:     245176 kB
SUnreclaim:       558560 kB
KernelStack:        1520 kB
PageTables:         4412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     159916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69280 MiB
End job on node141 at 2012-06-09 05:17:47